Введение

Особые значения дзета-функции Римана

В математике дзета-функция Римана — это функция в комплексном анализе, которая также важна в теории чисел. Она обычно обозначается ζ(s) и названа в честь математика Бернарда Римана. Когда аргумент s является действительным числом, большим единицы, дзета-функция удовлетворяет уравнению

Поэтому она может представлять собой сумму различных сходящихся бесконечных рядов, таких как. Существуют явные или численно эффективные формулы для ζ(s) при целочисленных аргументах, все из которых имеют действительные значения, включая этот пример. В данной статье перечислены эти формулы вместе с таблицами значений. Также приводятся производные и некоторые ряды, составленные из дзета-функции при целочисленных аргументах. То же уравнение, указанное выше, также справедливо, когда s — комплексное число, чья действительная часть больше единицы, что обеспечивает сходимость бесконечной суммы. Затем дзета-функцию можно расширить на всю комплексную плоскость посредством аналитического продолжения, за исключением простого полюса в точке s = 1. Комплексная производная существует в этой более общей области, что делает дзета-функцию мероморфной функцией. Вышеуказанное уравнение больше не применимо к этим расширенным значениям s, для которых соответствующее суммирование расходится. Например, полная дзета-функция существует в точке s = 0 (и, следовательно, конечна там), но соответствующий ряд будет 1 - 1 + 1 - 1 +…, чьи частичные суммы будут неограниченно возрастать. Значения дзета-функции, перечисленные ниже, включают значения функции при отрицательных четных числах (s = -2, -4,…), для которых ζ(s) = 0 и которые составляют так называемые тривиальные нули. Статья о дзета-функции Римана содержит цветной график, иллюстрирующий изменение функции в непрерывной прямоугольной области комплексной плоскости. Успешная характеристика её нетривиальных нулей в более широкой плоскости важна в теории чисел из-за гипотезы Римана.

ζ(7)

Обратите внимание, что сумма имеет вид ряда Ламберта.

Нетривиальные нули

Нули дзета-функции Римана, за исключением отрицательных четных целых чисел, называются "нетривиальными нулями". Гипотеза Римана утверждает, что действительная часть каждого нетривиального нуля должна быть равна 1/2. Иными словами, все известные нетривиальные нули дзета-функции Римана имеют вид 1/2 + iy, где y – действительное число. В следующей таблице приведено десятичное разложение Im(z) для первых нескольких нетривиальных нулей:

+ Выбранные нетривиальные нули Десятичное разложение Im(z) Источник 14.134725141734693790 21.022039638771554992 25.010857580145688763 30.424876125859513210 32.935061587739189690 37.586178158825671257 40.918719012147495187 43.327073280914999519 48.005150881167159727 49.773832477672302181

Эндрю Одлицко вычислил первые 2 миллиона нетривиальных нулей с точностью до 4 знаков после запятой, и первые 100 нулей с точностью до 1000 знаков после запятой. См. таблицы и библиографии на его веб-сайте. Таблица примерно из 103 миллиардов нулей с высокой точностью (±2·102 ≈ ±2·1031) доступна для интерактивного доступа и загрузки (хотя и в очень неудобном сжатом формате) через LMFDB.