Дзета-функция Римана: различия между версиями

[отпатрулированная версия][отпатрулированная версия]
Содержимое удалено Содержимое добавлено
дополнение, уточнение, оформление
Частичная отмена: было правильно. см. страницу обсуждения
Строка 1:
{{перенаправление|Дзета-функция|Дзета-функции}}
{{другие значения термина|Риман|Риман}}
[[Файл:Zeta function graph.png|thumb|right|300 px|Упрощённый график действительной части <math>Re[\displaystyle \zeta(s)]</math>График дзета-функции Римана вна зависимостидействительной от <math>\sigma</math>оси. ПриСлева <math>\sigmaот < 0</math>нуля значения функции по оси ординат увеличены в 100 раз для наглядности.]]
'''Дзе́та-фу́нкция Ри́мана''' — функция <math>\displaystyle \zeta(s)</math> комплексного переменного <math>s = \sigma + i t</math>, при <math>\sigma > 1 </math> определяемая с помощью [[ряд Дирихле|ряда Дирихле]]:
 
Строка 9:
 
В комплексной полуплоскости при <math>\sigma > 1 ~(\left\{ s\mid\operatorname{Re}\,s > 1\right\})</math> этот [[Ряд (математика)|ряд]] [[Сходимость ряда|сходится]], является [[аналитическая функция|аналитической функцией]] от <math>s</math> и допускает [[аналитическое продолжение]] на всю [[Комплексная плоскость|комплексную плоскость]] за исключением особой точки <math>s = 1</math>.
[[Файл:Zeta.svg|thumb|300px|Модуль дзетаДзета-функциифункция Римана для вещественных (<math>t = 0</math>) <math>''s'' > 1</math>. При <math>s = 1</math> ряд, определяющий дзета-функцию, расходится.]]
 
== Тождество Эйлера ==
Строка 72:
: В частности, <math>\zeta(2) = \frac{\pi^2}{6},\ \ \zeta(4) = \frac{\pi^4}{90},\ \ \zeta(6) = \frac{\pi^6}{945},\ \ \zeta(8) = \frac{\pi^8}{9450}</math><br>
* Кроме того, получено значение <math>\zeta(3) = -\frac{\psi^{(2)}(1)}{2}</math>, где <math>\psi</math> — [[полигамма-функция]];
* Про значения дзета-функции в нечётных отрицательных целых точках известно мало: предполагается, что они являются [[иррациональное число|иррациональными]] и даже [[трансцендентное число|трансцендентными]], но пока (2018 г.) доказана только лишь иррациональность [[постоянная Апери|числа ζ(3)]] ([[Апери, Роже|Роже Апери]], 1978). Также доказано, что среди значений ζ(5), ζ(7), ζ(9), ζ(11) есть хотя бы одно иррациональное<ref>{{статья |автор=Зудилин В. В.|заглавие=Об иррациональности значений дзета-функции в нечетных точках |издание=[[УМН]] |год=2001 |том=56 |номер=2(338) |страницы=215–216 |ссылка=http://www.mathnet.ru/rm389}}</ref>.
* При <math>\operatorname{Re}\,s> 1</math>
** <math>\frac1{\zeta(s)}=\sum_{n=1}^\infty\frac{\mu(n)}{n^s}</math>, где <math>\displaystyle \mu(n)</math> — [[функция Мёбиуса]]