BE
All
Articles
Dictionary
Quotes
Map

Wikiwand ❤️ Wikipedia

PrivacyTerms
Дзэта-функцыя Рымана

Дзэта-функцыя Рымана

From Wikipedia, the free encyclopedia

Дзэта-функцыя Рымана
Тоеснасць ЭйлераУласцівасціНулі дзэта-функцыіАбагульненніГісторыяЗноскіСпасылкі

Дзэта-функцыя Рымана — функцыя ζ ( s ) {\displaystyle \displaystyle \zeta (s)} {\displaystyle \displaystyle \zeta (s)} камплекснай зменнай s = σ + i t {\displaystyle s=\sigma +it} {\displaystyle s=\sigma +it}, якую пры σ > 1 {\displaystyle \sigma >1} {\displaystyle \sigma >1} вызначаюць з дапамогай рада Дзірыхле:

ζ ( s ) = ∑ n = 1 ∞ 1 n s = 1 1 s + 1 2 s + 1 3 s + … , {\displaystyle \zeta (s)=\sum _{n=1}^{\infty }{\frac {1}{n^{s}}}={\frac {1}{1^{s}}}+{\frac {1}{2^{s}}}+{\frac {1}{3^{s}}}+\ldots ,} {\displaystyle \zeta (s)=\sum _{n=1}^{\infty }{\frac {1}{n^{s}}}={\frac {1}{1^{s}}}+{\frac {1}{2^{s}}}+{\frac {1}{3^{s}}}+\ldots ,}
Хуткія факты Дзэта-функцыя Рымана, Названа ад ...
Дзэта-функцыя Рымана
Thumb
Дзэта-функцыя Рымана на камплекснай плоскасці
Названа ад Бернхард Рыман і Леанард Эйлер
Вывучаецца ў аналітычная тэорыя лікаў[d]
Формула, якая апісвае закон або тэарэму ζ ( z ) = ∑ n = 1 ∞ 1 n z , Re ⁡ z > 1 {\displaystyle \zeta (z)=\sum _{n=1}^{\infty }{\frac {1}{n^{z}}},\operatorname {Re} z>1} {\displaystyle \zeta (z)=\sum _{n=1}^{\infty }{\frac {1}{n^{z}}},\operatorname {Re} z>1}[1]
Пазначэнне ў формуле ζ ( z ) {\displaystyle \zeta (z)} {\displaystyle \zeta (z)}, Re ⁡ z {\displaystyle \operatorname {Re} z} {\displaystyle \operatorname {Re} z}, ∑ n = 1 ∞ {\displaystyle \sum _{n=1}^{\infty }} {\displaystyle \sum _{n=1}^{\infty }} і n z {\displaystyle n^{z}} {\displaystyle n^{z}}
Лагатып Вікісховішча Медыяфайлы на Вікісховішчы
Закрыць
Thumb
Якасны графік дзэта-функцыі Рымана на рэчаіснай восі. Злева ад нуля значэнні функцыі павялічаны ў 100 разоў для нагляднасці

дзе s ∈ C {\displaystyle \displaystyle s\in \mathbb {C} } {\displaystyle \displaystyle s\in \mathbb {C} }.

У зададзенай вобласці σ > 1   ( { s : Re ⁡ s > 1 } ) {\displaystyle \sigma >1~(\left\{s:\operatorname {Re} s>1\right\})} {\displaystyle \sigma >1~(\left\{s:\operatorname {Re} s>1\right\})} гэты рад збягаецца, з’яўляецца аналітычнаю функцыяй і дапушчае аналітычны працяг на ўсю камплексную плоскасць без адзінкі.

Thumb
Дзэта-функцыя Рымана для рэчаісных s > 1

У зыходнай вобласці таксама справядліва прадстаўленне ў выглядзе бесканечнага здабытку (тоеснасць Эйлера)

ζ ( s ) = ∏ p 1 1 − p − s {\displaystyle \zeta (s)=\prod _{p}{\frac {1}{1-p^{-s}}}} {\displaystyle \zeta (s)=\prod _{p}{\frac {1}{1-p^{-s}}}} ,

дзе здабытак бярэцца па ўсіх простых ліках p.

Чаму гэта так  
Thumb
У гэтым доказе для пошуку простых лікаў выкарыстоўваецца рэшата Эратасфена.

Доказ грунтуецца на простых алгебраічных пераўтварэннях, для разумення якіх дастаткова школьных ведаў. Упершыню іменна гэтым спосабам Эйлер вывеў формулу. Наступныя пераўтварэнні па сутнасці з'яўляюцца запісам ідэі Эратасфенавага рэшата:

ζ ( s ) = 1 + 1 2 s + 1 3 s + 1 4 s + 1 5 s + … {\displaystyle \zeta (s)=1+{\frac {1}{2^{s}}}+{\frac {1}{3^{s}}}+{\frac {1}{4^{s}}}+{\frac {1}{5^{s}}}+\ldots } {\displaystyle \zeta (s)=1+{\frac {1}{2^{s}}}+{\frac {1}{3^{s}}}+{\frac {1}{4^{s}}}+{\frac {1}{5^{s}}}+\ldots }
1 2 s ζ ( s ) = 1 2 s + 1 4 s + 1 6 s + 1 8 s + 1 10 s + … {\displaystyle {\frac {1}{2^{s}}}\zeta (s)={\frac {1}{2^{s}}}+{\frac {1}{4^{s}}}+{\frac {1}{6^{s}}}+{\frac {1}{8^{s}}}+{\frac {1}{10^{s}}}+\ldots } {\displaystyle {\frac {1}{2^{s}}}\zeta (s)={\frac {1}{2^{s}}}+{\frac {1}{4^{s}}}+{\frac {1}{6^{s}}}+{\frac {1}{8^{s}}}+{\frac {1}{10^{s}}}+\ldots }

Адымаючы другое з першага, выдаляем элементы з дзельнікам 2:

( 1 − 1 2 s ) ζ ( s ) = 1 + 1 3 s + 1 5 s + 1 7 s + 1 9 s + 1 11 s + 1 13 s + … {\displaystyle \left(1-{\frac {1}{2^{s}}}\right)\zeta (s)=1+{\frac {1}{3^{s}}}+{\frac {1}{5^{s}}}+{\frac {1}{7^{s}}}+{\frac {1}{9^{s}}}+{\frac {1}{11^{s}}}+{\frac {1}{13^{s}}}+\ldots } {\displaystyle \left(1-{\frac {1}{2^{s}}}\right)\zeta (s)=1+{\frac {1}{3^{s}}}+{\frac {1}{5^{s}}}+{\frac {1}{7^{s}}}+{\frac {1}{9^{s}}}+{\frac {1}{11^{s}}}+{\frac {1}{13^{s}}}+\ldots }

Паўтараем для наступнага простага ліку, для тройкі:

1 3 s ( 1 − 1 2 s ) ζ ( s ) = 1 3 s + 1 9 s + 1 15 s + 1 21 s + 1 27 s + 1 33 s + … {\displaystyle {\frac {1}{3^{s}}}\left(1-{\frac {1}{2^{s}}}\right)\zeta (s)={\frac {1}{3^{s}}}+{\frac {1}{9^{s}}}+{\frac {1}{15^{s}}}+{\frac {1}{21^{s}}}+{\frac {1}{27^{s}}}+{\frac {1}{33^{s}}}+\ldots } {\displaystyle {\frac {1}{3^{s}}}\left(1-{\frac {1}{2^{s}}}\right)\zeta (s)={\frac {1}{3^{s}}}+{\frac {1}{9^{s}}}+{\frac {1}{15^{s}}}+{\frac {1}{21^{s}}}+{\frac {1}{27^{s}}}+{\frac {1}{33^{s}}}+\ldots }

Ізноў адымаем, атрымліваем:

( 1 − 1 3 s ) ( 1 − 1 2 s ) ζ ( s ) = 1 + 1 5 s + 1 7 s + 1 11 s + 1 13 s + 1 17 s + … {\displaystyle \left(1-{\frac {1}{3^{s}}}\right)\left(1-{\frac {1}{2^{s}}}\right)\zeta (s)=1+{\frac {1}{5^{s}}}+{\frac {1}{7^{s}}}+{\frac {1}{11^{s}}}+{\frac {1}{13^{s}}}+{\frac {1}{17^{s}}}+\ldots } {\displaystyle \left(1-{\frac {1}{3^{s}}}\right)\left(1-{\frac {1}{2^{s}}}\right)\zeta (s)=1+{\frac {1}{5^{s}}}+{\frac {1}{7^{s}}}+{\frac {1}{11^{s}}}+{\frac {1}{13^{s}}}+{\frac {1}{17^{s}}}+\ldots }

дзе выдалены ўсе элементы з дзельнікамі 2 і/ці 3.

Такім чынам, правая частка прасейваецца праз рэшата. Паўтараючы гэта для ўсіх простых лікаў (іх бесканечна многа), атрымліваем:

… ( 1 − 1 11 s ) ( 1 − 1 7 s ) ( 1 − 1 5 s ) ( 1 − 1 3 s ) ( 1 − 1 2 s ) ζ ( s ) = 1 {\displaystyle \ldots \left(1-{\frac {1}{11^{s}}}\right)\left(1-{\frac {1}{7^{s}}}\right)\left(1-{\frac {1}{5^{s}}}\right)\left(1-{\frac {1}{3^{s}}}\right)\left(1-{\frac {1}{2^{s}}}\right)\zeta (s)=1} {\displaystyle \ldots \left(1-{\frac {1}{11^{s}}}\right)\left(1-{\frac {1}{7^{s}}}\right)\left(1-{\frac {1}{5^{s}}}\right)\left(1-{\frac {1}{3^{s}}}\right)\left(1-{\frac {1}{2^{s}}}\right)\zeta (s)=1}

Падзелім абедзве часткі на ўсё, акрамя ζ ( s ) {\displaystyle \zeta (s)} {\displaystyle \zeta (s)}, атрымаем:

ζ ( s ) = 1 ( 1 − 1 2 s ) ( 1 − 1 3 s ) ( 1 − 1 5 s ) ( 1 − 1 7 s ) ( 1 − 1 11 s ) … {\displaystyle \zeta (s)={\frac {1}{\left(1-{\frac {1}{2^{s}}}\right)\left(1-{\frac {1}{3^{s}}}\right)\left(1-{\frac {1}{5^{s}}}\right)\left(1-{\frac {1}{7^{s}}}\right)\left(1-{\frac {1}{11^{s}}}\right)\ldots }}} {\displaystyle \zeta (s)={\frac {1}{\left(1-{\frac {1}{2^{s}}}\right)\left(1-{\frac {1}{3^{s}}}\right)\left(1-{\frac {1}{5^{s}}}\right)\left(1-{\frac {1}{7^{s}}}\right)\left(1-{\frac {1}{11^{s}}}\right)\ldots }}}

Гэта можна запісаць карацей як бесканечны здабытак па ўсіх простых p:

ζ ( s ) = ∏ p 1 1 − p − s {\displaystyle \zeta (s)=\prod _{p}{\frac {1}{1-p^{-s}}}} {\displaystyle \zeta (s)=\prod _{p}{\frac {1}{1-p^{-s}}}}

Каб зрабіць доказ строгім, неабходна толькі дадаць умову ℜ ( s ) > 1 {\displaystyle \quad \Re (s)>1} {\displaystyle \quad \Re (s)>1}. Пры гэтым рад Дзірыхле збягаецца абсалютна, і ўсе вышэйпрыведзеныя пераўтварэнні з бесканечнымі сумамі і здабыткамі становяцца "законнымі".

Гэта роўнасць з’яўляецца адной з асноўных уласцівасцей дзэта-функцыі.

  • Існуюць яўныя формулы для значэнняў дзэта-функцыі ў цотных цэлых пунктах:
    2 ζ ( 2 m ) = ( − 1 ) m + 1 ( 2 π ) 2 m ( 2 m ) ! B 2 m , {\displaystyle 2\zeta (2m)=(-1)^{m+1}{\frac {(2\pi )^{2m}}{(2m)!}}B_{2m},} {\displaystyle 2\zeta (2m)=(-1)^{m+1}{\frac {(2\pi )^{2m}}{(2m)!}}B_{2m},}
    дзе B 2 m {\displaystyle \displaystyle B_{2m}} {\displaystyle \displaystyle B_{2m}} — лік Бернулі.
    • Напрыклад, ζ ( 2 ) = π 2 6 ,     ζ ( 4 ) = π 4 90 . {\displaystyle \zeta (2)={\frac {\pi ^{2}}{6}},\ \ \zeta (4)={\frac {\pi ^{4}}{90}}.} {\displaystyle \zeta (2)={\frac {\pi ^{2}}{6}},\ \ \zeta (4)={\frac {\pi ^{4}}{90}}.}
  • Пра значэнні дзэта-функцыі ў няцотных цэлых пунктах вядома мала: лічыцца, што яны ірацыянальныя і нават трансцэндэнтныя, але пакуль даказана толькі ірацыянальнасць ліку ζ(3) (Ражэ Аперы, 1978). Таксама даказана, што сярод значэнняў ζ(5), ζ(7), ζ(9), ζ(11) ёсць хаця б адзін ірацыянальны[2].
  • Пры Re ⁡ s > 1 {\displaystyle \operatorname {Re} s>1} {\displaystyle \operatorname {Re} s>1}
    • 1 ζ ( s ) = ∑ n = 1 ∞ μ ( n ) n s , {\displaystyle {\frac {1}{\zeta (s)}}=\sum _{n=1}^{\infty }{\frac {\mu (n)}{n^{s}}},} {\displaystyle {\frac {1}{\zeta (s)}}=\sum _{n=1}^{\infty }{\frac {\mu (n)}{n^{s}}},}
    дзе μ ( n ) {\displaystyle \displaystyle \mu (n)} {\displaystyle \displaystyle \mu (n)} — функцыя Мёбіуса
    • ζ 2 ( s ) = ∑ n = 1 ∞ τ ( n ) n s , {\displaystyle \zeta ^{2}(s)=\sum _{n=1}^{\infty }{\frac {\tau (n)}{n^{s}}},} {\displaystyle \zeta ^{2}(s)=\sum _{n=1}^{\infty }{\frac {\tau (n)}{n^{s}}},}
    дзе τ ( n ) {\displaystyle \displaystyle \tau (n)} {\displaystyle \displaystyle \tau (n)} — лік дзельнікаў ліку n {\displaystyle \displaystyle n} {\displaystyle \displaystyle n}
    • ζ 2 ( s ) ζ ( 2 s ) = ∑ n = 1 ∞ 2 ν ( n ) n s , {\displaystyle {\zeta ^{2}(s)}{\zeta (2s)}=\sum _{n=1}^{\infty }{\frac {2^{\nu (n)}}{n^{s}}},} {\displaystyle {\zeta ^{2}(s)}{\zeta (2s)}=\sum _{n=1}^{\infty }{\frac {2^{\nu (n)}}{n^{s}}},}
    дзе ν ( n ) {\displaystyle \displaystyle \nu (n)} {\displaystyle \displaystyle \nu (n)} — лік простых дзельнікаў ліку n {\displaystyle \displaystyle n} {\displaystyle \displaystyle n}
  • ζ ( s ) {\displaystyle \displaystyle \zeta (s)} {\displaystyle \displaystyle \zeta (s)} мае ў пункце s = 1 {\displaystyle \displaystyle s=1} {\displaystyle \displaystyle s=1} просты полюс з вылікам, роўным 1.
  • Дзэта-функцыя пры s ≠ 0 , s ≠ 1 {\displaystyle \displaystyle s\neq 0,s\neq 1} {\displaystyle \displaystyle s\neq 0,s\neq 1} задавальняе ўраўненне:
    ζ ( s ) = 2 s π s − 1 sin ⁡ ( π s 2 ) Γ ( 1 − s ) ζ ( 1 − s ) , {\displaystyle \zeta (s)=2^{s}\pi ^{s-1}\sin \left({\pi s \over 2}\right)\Gamma (1-s)\zeta (1-s),} {\displaystyle \zeta (s)=2^{s}\pi ^{s-1}\sin \left({\pi s \over 2}\right)\Gamma (1-s)\zeta (1-s),}
    дзе Γ ( z ) {\displaystyle \displaystyle \Gamma (z)} {\displaystyle \displaystyle \Gamma (z)} — гама-функцыя Эйлера. Гэта ўраўненне называецца функцыянальным ураўненнем Рымана.
  • Для так званай ксі-функцыі Рымана
    ξ ( s ) = 1 2 π − s / 2 s ( s − 1 ) Γ ( s 2 ) ζ ( s ) , {\displaystyle \xi (s)={\frac {1}{2}}\pi ^{-s/2}s(s-1)\Gamma \left({\frac {s}{2}}\right)\zeta (s),} {\displaystyle \xi (s)={\frac {1}{2}}\pi ^{-s/2}s(s-1)\Gamma \left({\frac {s}{2}}\right)\zeta (s),}
    уведзенай Рыманам для даследавання ζ ( s ) {\displaystyle \displaystyle \zeta (s)} {\displaystyle \displaystyle \zeta (s)}, гэта ўраўненне прымае выгляд:
      ξ ( s ) = ξ ( 1 − s ) . {\displaystyle \displaystyle \ \xi (s)=\xi (1-s).} {\displaystyle \displaystyle \ \xi (s)=\xi (1-s).}

Нулі дзэта-функцыі

Асноўны артыкул: Гіпотэза Рымана

Як вынікае з функцыянальнага ўраўнення Рымана, у паўплоскасці Re ⁡ s < 0 {\displaystyle \operatorname {Re} s<0} {\displaystyle \operatorname {Re} s<0}, функцыя ζ ( s ) {\displaystyle \zeta (s)} {\displaystyle \zeta (s)} мае толькі простыя нулі ў адмоўных цотных пунктах:

0 = ζ ( − 2 ) = ζ ( − 4 ) = ζ ( − 6 ) = … . {\displaystyle 0=\zeta (-2)=\zeta (-4)=\zeta (-6)=\dots .} {\displaystyle 0=\zeta (-2)=\zeta (-4)=\zeta (-6)=\dots .}

Гэтыя нулі называюцца «трывіяльнымі» нулямі дзэта-функцыі. Далей, ζ ( s ) ≠ 0 {\displaystyle \zeta (s)\neq 0} {\displaystyle \zeta (s)\neq 0} пры рэчаісных s ∈ ( 0 , 1 ) {\displaystyle s\in (0,1)} {\displaystyle s\in (0,1)}. Такім чынам, усе «нетрывіяльныя» нулі дзэта-функцыі — камплексныя лікі. Акрамя таго, яны размяшчаюцца сіметрычна адносна рэчаіснае восі і адносна вертыкалі Re ⁡ s = 1 2 {\displaystyle \operatorname {Re} s={\frac {1}{2}}} {\displaystyle \operatorname {Re} s={\frac {1}{2}}} і ляжаць у паласе 0 ⩽ Re ⁡ s ⩽ 1 {\displaystyle 0\leqslant \operatorname {Re} s\leqslant 1} {\displaystyle 0\leqslant \operatorname {Re} s\leqslant 1}, якая называецца крытычнаю паласою. Згодна з гіпотэзаю Рымана, яны ўсе знаходзяцца на крытычнай прамой Re ⁡ s = 1 2 {\displaystyle \operatorname {Re} s={\frac {1}{2}}} {\displaystyle \operatorname {Re} s={\frac {1}{2}}}.

Існуе даволі вялікая колькасць адмысловых функцый, звязаных з дзэта-функцыяй Рымана і аб’яднаных пад агульнай назваю дзэта-функцыі. Напрыклад:

  • Дзэта-функцыя Гурвіца:
    ζ ( s , q ) = ∑ k = 0 ∞ ( k + q ) − s , {\displaystyle \zeta (s,q)=\sum _{k=0}^{\infty }(k+q)^{-s},} {\displaystyle \zeta (s,q)=\sum _{k=0}^{\infty }(k+q)^{-s},}
якая супадае з дзэта-функцыяй Рымана пры q = 1 (бо сумаванне вядзецца ад 0, а не ад 1).
  • Полілагарыфм:
    L i s ( z ) = ∑ k = 1 ∞ z k k s , {\displaystyle \mathrm {Li} _{s}(z)=\sum _{k=1}^{\infty }{z^{k} \over k^{s}},} {\displaystyle \mathrm {Li} _{s}(z)=\sum _{k=1}^{\infty }{z^{k} \over k^{s}},}
які супадае з дзэта-функцыяй Рымана пры z = 1.
  • Дзэта-функцыя Лерха:
    Φ ( z , s , q ) = ∑ k = 0 ∞ z k ( k + q ) s , {\displaystyle \Phi (z,s,q)=\sum _{k=0}^{\infty }{\frac {z^{k}}{(k+q)^{s}}},} {\displaystyle \Phi (z,s,q)=\sum _{k=0}^{\infty }{\frac {z^{k}}{(k+q)^{s}}},}
якая супадае з дзэта-функцыяй Рымана пры z = 1 і q = 1 (бо сума бярэцца ад 0, а не ад 1).
  • Квантавы аналаг (q-аналаг).

Як функцыя рэчаіснай зменнай, дзэта-функцыя была ўведзена ў 1737 годзе Эйлерам, які і знайшоў формулу яе раскладання ў здабытак. Затым гэту функцыю разглядаў Дзірыхле і, асабліва паспяхова, Чабышоў пры даследаванні закону размеркавання простых лікаў. Але найбольш глыбокія ўласцівасці дзэта-функцыі былі выяўлены пазней, пасля працы Рымана (1859), у якой дзэта-функцыя разглядалася як функцыя камплекснай зменнай.

  1. [1]
    2-20.3 // ISO 80000-2:2019Quantities and units — Part 2: Mathematics — 2 — ISO, 2019. — 36 с.
    <a href='https://wikidata.org/wiki/Track:Q109490582'></a><a href='https://wikidata.org/wiki/Track:Q15028'></a>
  2. [2]
    В. В. Зудилин Об иррациональности значений дзета-функции в нечетных точках // УМН. — 2001. — Т. 56. — № 2(338). — С. 215–216.
  • Jonathan Sondow and Eric W. Weisstein. Riemann Zeta Function (нявызн.). MathWorld.
Edit in WikipediaRevision historyRead in Wikipedia

Wikiwand in your browser!

Seamless Wikipedia browsing. On steroids.

Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.

Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.

Chrome
Wikiwand for Chrome
Edge
Wikiwand for Edge
Firefox
Wikiwand for Firefox

Тоеснасць Эйлера

Уласцівасці

Абагульненні

Гісторыя

Зноскі

Спасылкі