Дзета-функция - аналог дзета-функции Эйлера на комплексной плоскости.
Дзета-функция Эйлера дает значения суммы ряда для различных точек
:
Есть формула суммы такого ряда. Причем для положительных точек формула одна, для отрицательных - другая. Соотношение этих двух формул и есть функциональное соотношение дзета-функции.
Так вот, если рассмотреть разность между количеством простых, не больших
и соотношением
, то это отклонение как раз таки и определяется дзета-функцией Римана. А точнее, вещественной частью ее НЕтривиальных нулей. Ну и собственно, по гипотезе Римана все эти вещественные части равны
.
Т.е. все нетривиальные нули дзета-функции лежат в комплексной плоскости на 1/2.
Что такое нетривиальные нули. Формула, по которой считается значение дзета-функции, содержит т.н. числа Бернулли
(относящихся к суммам одинаковых степеней натуральных чисел) которые определяются через некоторое функциональное соотношение
. Из того, что эта функция - четная, следует, что все числа Бернулли
. Т.е. все нечетные числа Бернулли равны нулю.
Они же зануляют и дзета-функцию в нечетных точках. Т.е.
Нетривиальные нули - это тоже точки, в которых дзета-функция равна нулю. Но отличные от четных чисел.
Т.е. отклонение
- точного количества простых чисел, от теоретического, предсказанного соотношением
определяется именно нетривиальными нулями дзета-функции.
где
- вещественная часть нетривиальных нули дзета-функции Римана.