Рассмотрим тригонометрическую сумму

где 

 пробегает простые числа.
Графики таких сумм при фиксированном 

 напоминают розовый шум, т.к. квадрат амплитуды периодических составляющих обратно пропорционален частоте:
http://www.wolframalpha.com/input/?i=Pl ... %2C1%7D%5DОднако для рациональных 

 видны выбросы, связанные распределением простых в кольцах вычетов по тому или иному модулю. Таким образом, возникает интерес к функции

Очевидно, она обращается в нуль при целых и полуцелых 

. Нетрудно также заметить, что это происходит в рациональных точках 

 с нечётным знаменателем 

 (именно эти "выбросы" хорошо видны на графике).
Но что можно сказать о других её нулях?
Скажем, при чётных 

 набор вычетов по модулю 

, взаимно простых с 

, расположен так, что начинает играть роль баланс простых, сравнимых по данному модулю:
http://mathworld.wolfram.com/ChebyshevBias.htmlhttp://projecteuclid.org/euclid.em/1048515870http://www.dms.umontreal.ca/~andrew/PDF/PrimeRace.pdfНапример, при 

 становится важным небольшое преимущество в количестве простых вида 

 над простыми вида 

. Если учесть, что это преимущество появляется благодаря тому, что все квадраты нечётных простых имеют вид 

, то вполне логично ожидать, что 

 (другими словами, если бы суммирование велось по степеням простых с учётом их 

-веса, то предел бы не существовал, а так наличие упомянутого преимущества уводит сумму в бесконечность, а предел - в ноль).
Возможно, функция обращается в ноль на всех рациональных 

. Но определена ли она на иррациональных 

, и если да, что чему она там равна?