Rymano dzeta funkcija

Rymano dzeta funkcija (kai kur Oilerio ir Rymano dzeta funkcija),  – Dirichlė eilutės sumos analizinis plėtinys, kompleksinio argumento s (realioji s dalis >1) funkcija:
 

Rymano dzeta funkcija yra kertinis skaičių teorijos akmuo, turi daug taikymų fizikoje, tikimybių teorijoje, statistikoje.

Šią funkciją, tiesa realaus argumento, aštuoniolikto amžiaus pradžioje pirmasis nagrinėjo Leonardas Oileris. Bernhardas Rymanas 1859 m. straipsnyje apie pirminių skaičių pasiskirstymą praplėtė funkcijos apibrėžimą į kompleksinio argumento sritį, įrodė, kad ji yra meromorfinė funkcija bei nustatė sąryšius tarp jos nulių ir pirminių skaičių asimptotinio pasiskirstymo.

Rymano dzeta funkcijos vertes argumentams esant teigiamiems lyginiams skaičiams apskaičiavo L. Oileris. Pirmoji jų, būtent, , yra Bazelio problemos sprendinys. 1979 m. prancūzų matematikas Apéry įrodė  iracionalumą (Šis skaičius vėliau buvo pavadintas jo vardu). L. Oileris taip pat surado, kad funkcijos reikšmės, esant neigiamoms sveikosioms argumento vertėms yra racionalieji skaičiai. Jos vaidina svarbų vaidmenį moduliarinių formų teorijoje. Šiuo metu yra pasiūlyta daug Rymano dzeta funkcijos apibendrinimų, pvz., Dirichlė eilutė, Dirichlė L-funkcija, L-funkcijos.

Apibrėžimas 

Rymano dzeta funkcija  yra kompleksinio  kintamojo funkcija.

Begalinė skaičių eilutė konverguoja visoms  vertėms, kurių realioji dalis > 1:

 

Ji taip pat gali būti užrašyta kaip

 ,

čia
 

yra Gama funkcija.

1740 metais Leonardas Oileris šią eilutę nagrinėjo esant sveikiesiems teigiamiems , o Pafnutijus Čebyšovas praplėtė ją visiems realiems argumentams su .

Rymanas parodė, kad šios eilutės apibrėžimo sritis gali būti analiziškai išplėsta visiems kompleksiniams . Kai , ši eilutė yra vadinama harmonine eilute, ji diverguoja link , ir

 

Taigi, Rymano dzeta funkcija yra meromorfinė funkcija visoje kompleksinėje -plokštumoje. Ji yra holomorfinė funkcija visur, išskyrus pirmos eilės polių  su reziduumu 1.

Kai kurios Rymano dzeta funkcijos vertės 

Bet kokiam lyginiam sveikam argumentui :

 

Čia  yra  eilės Bernulio skaičiai.

Nelyginiams teigiamiems sveikiesiems skaičiams nėra žinomos panašios paprastos išraiškos, tačiau manoma, kad funkcijos vertės turi būti susijusios su algebrine -sveikųjų skaičių teorija (taip vadinamomis L-funkcijų specialiosiomis vertėmis).

Neigiamiems sveikiesiems skaičiams turime

 

dėl  (naudojami žymėjimai )

 yra lygu nuliui visiems neigiamiems lyginiams sveikiems skaičiams, kadangi  visiems nelyginiams , išskyrus  1.

Panaudojant analizinį plėtinį galima parodyti, kad:
 
 Tai leidžia priskirti baigtinę vertę diverguojančiai eilutei , kuri dažnai naudojama stygų teorijoje.
 
 Panašiai samprotaujant tokiu būdu priskiriama baigtinė vertė ir eilutei .
   

 
 jei mes artėsime prie 1 iš didesnių skaičių pusės. Tai yra vadinamoji harmoninė eilutė. Tačiau jos suma Koši prasme
 
 yra baigtinis skaičius, vadinamas Oilerio-Maskeronio konstanta .

   
 Ši vertė naudojama skaičiuojant Boze–Einšteino kondensato kritinę temperatūrą uždarame tūryje su periodinėmis kraštinėmis sąlygomis bei įmagnetėjimo bangų sklidimą nelaidžiose aplinkose.

   
 Ši lygybė yra taip vadinama Bazelio problema. Atvirkštinis šiai sumai skaičius atsako į klausimą: Kokia tikimybė, kad du atsitiktinai pasirinkti teigiami sveikieji skaičiai turės didžiausią bendrąjį daliklį lygų tik 1?
 
   

 Tai yra Apéry konstanta. Atvirkštinis šiai sumai skaičius atsako į klausimą: Kokia tikimybė, kad trys atsitiktinai pasirinkti teigiami sveikieji skaičiai turės didžiausią bedrąjį daliklį lygų 1?

   

 Šis skaičius gaunamas išvedant Stefano ir Bolcmano spinduliuotės dėsnį fizikoje – integruojant Planko spinduliuotės dėsnį.

Oilerio begalinė sandauga 
Vieną įdomiausių skaičių teorijos sąryšių tarp dzeta funkcijos ir pirminių skaičių atrado L. Oileris, įrodęs tapatybę:

 

čia kairėje pusėje yra , o dešinėje pusėje yra begalinė sandauga pagal visus pirminius skaičius :

 

Oilerio tapatybė įrodoma naudojant tik geometrinės progresijos eilutę ir pagrindinę aritmetikos teoremą. Kadangi harmoninė eilutė (gauta kai ) diverguoja, iš Oilerio tapatybės () seka, kad yra be galo daug pirminių skaičių.

Oilerio sandauga gali būti naudojama skaičiuojant tikimybę, kad  atsitiktinai pasirinktų teigiamų sveikųjų skaičių tarpusavyje turės didžiausią bendrąjį daliklį 1. Nesunku įsitikinti, kad tikimybė, jog atsitiktinai paimtas skaičius dalinsis iš skaičiaus  yra . Tuomet tikimybė, kad  skaičių dalinsis iš šio skaičiaus bus , o tikimybė, kad bent vienas iš jų nesidalins bus . Kadangi šie (dalinimo) įvykiai yra nepriklausomi, atsakymas bus jų sandauga. Taigi, galutinai turėsime tokią asimptotinę tikimybę:,

Funkcinės lygtys 
Rymano dzeta funkcija įeina į daugelį funkcinių sąryšių, pvz.:
 

čia  yra Gama funkcija, o pati lygtis yra vadinama Rymano funkcine lygtimi. Ji susieja funkcijos vertes taškuose  ir . Sinusinis narys reiškia, kad  turi paprastus nulius ties lyginiais neigiamais skaičiais  – jie yra žinomi kaip trivialieji  funkcijos nuliai. Kai  yra lyginis teigiamas skaičius, sandauga  dešinėje lygties pusėje yra nenulinė, kadangi  taške yra paprastas polius, o sinuso funkcija tame taške yra paprastas nulis.

Šią tapatybę 1859 metais išvedė Rymanas. Tačiau analogišką sąryšį, tiesa, be įrodymo, jau 1749 metais buvo pateikęs ir L. Oileris Dirichlė  funkcijai (dzeta funkcija su alternuojančiais nariais):

 

Tai leidžia įvertinti   srityje, t. y.

 

Rymanas taip pat surado simetrinę funkcinės lygties versiją įvedus pažymėjimą:

 

Šiai funkcinei lygčiai galioja:

Nuliai, kritinė linija, Rymano hipotezė 

Iš anksčiau minėtos funkcinės lygties seka, kad Rymano dzeta funkcija turi nulius —2, —4,…. Tai yra trivialieji nuliai, taip vadinami, kadangi jų argumentų reikšmes galima paprastai rasti iš funkcinės lygties ( yra 0). Netrivialieji nuliai yra įdomesni ne tik tuo, kad jų pasiskirstymas ne iki galo suprastas. Jų tyrimai davė daug įdomių rezultatų apie pirminius skaičius. Yra žinoma, kad netrivialieji nuliai yra randami juostoje , kuri yra vadinama kritine juosta. Įžymioji Rymano hipotezė teigia, kad bet kuris netrivialusis nulis  turi . Rymano dzeta funkcijos teorijoje aibė  yra vadinama kritine linija. Rymano dzeta funkcijos dalis išilgai kritinės linijos yra vadinama Z funkcija.

Hardy ir Littlewood hipotezė 
1914 metais Godfrey Harold Hardy įrodė, kad  turi be galo daug netrivialiųjų nulių.

Hardy ir John Edensor Littlewood suformulavo du spėjimus apie  nulių išsidėstymo tankį ir atstumus tarp nulių. Toliau,  yra bendras nulių skaičius esant realiesiems argumentams, o  yra bendras funkcijos  nelyginės eilės nulių skaičius esantis intervale .

Kiekvienam , egzistuoja toks , kad
 
intervale  yra nelyginės eilės nulis.
Bet kokiam  egzistuoja  ir  tokie, kad nelygybė
 
yra teisinga, kai
 .

Atvirkštinė funkcija 
Vienetas, padalintas iš dzeta funkcijos gali būti užrašytas Dirichlė eilute panaudojant Miobijaus funkciją :
 
visiems kompleksiniams  kurių realioji dalis didesnė už 1.

Sąryšiai su kitomis funkcijomis

Dirichlė eilutė 
Kiek pertvarkius Rymano dzeta funkciją, galima išplėsti jos konvergavimo sritį. Taip eilutė
 
konverguoja srityje , o
 
konverguoja net . Panašiai konverguojančią eilutę galima gauti  dėl bet kokio neigiamo .

Melino transformacijos 

Funkcijos  Melino transformacija apibrėžiama taip:

 

Yra daug dzeta funkcijos sąryšių su Melino transformacija. Pavyzdžiui, kai realioji  dalis didesnė už 1, turėsime

 

kur  žymi gama funkciją. Modifikavęs integravimo kontūrą, Rymanas parodė, kad

 

visiems  (čia  pažymėtas Hankelio kontūras).

Rymano dzeta funkciją taip pat galima susieti su pirminių skaičių pasiskirstymo funkcija :
 

vertėms .

Įvedus funkciją
 

galima parodyti, kad

 

Šios lygtys gali būti naudojamos analizuojant pirminių skaičių pasiskirstymą.  gali būti atstatyta, panaudojus Miobijaus transformaciją.

Theta funkcijos 
Rymano dzeta funkcija taip pat gali būti susieta su  funkcija per Melino transformaciją

 

Čia

Lorano eilutė 

Rymano dzeta funkcija yra meromorfinė funkcija su pirmos eilės poliumi esant argumentui . Taigi, ji gali būti išskleista Lorano eilute su poliumi :

 

Konstantos  yra vadinamos Stiljeso konstantomis. Jos apibrėžiamos formulėmis:

 

 yra Oilerio-Maskeronio konstanta.

Integralas 
Visiems kompleksiniams  galioja integralinis sąryšis:
 
Jis dažnai naudojamas įvertinant dzeta funkciją skaitmeniškai.

Adamaro sandauga 
Pasinaudodamas Vejerštraso faktorizavimo teorema, Adamaras išvedė tokį dzeta funkcijos skleidinį:

 

Čia dauginama pagal netrivialiuosius dzeta funkcijos nulius , o  žymi Oilerio-Maskeronio konstantą. Dar paprasčiau užrašomas kitas dzeta funkcijos skleidinys begaline sandauga:

 

Čia aiškus polius ties , trivialieji nuliai ties —2,—4,… (dėl Gama funkcijos, vardiklyje) ir netrivialieji nuliai ties .

Globaliai konverguojančios eilutės 
Globaliai konverguojanti dzeta funkcijos eilutę visiems kompleksiniams  išskyrus taškus  bet kokiam sveikam , pirmą kartą užrašė Konrad Knopp, o įrodė Helmut Hasse 1930 metais:

 

Nors ši eilutė buvo pateikta Hasse straipsnyje, ji nebuvo žinoma iki tol kol buvo iš naujo Jonathan Sondow atrasta po 60 metų.

Hasse rado ir kitą išraišką
 
Tačiau ją dar Joseph Ser irgi buvo pateikęs 1926 metais.

Praktiniai taikymai 
Rymano dzeta funkcija dažnai sutinkama statistikoje (pvz., Zipfo dėsnis).

Dzeta funkcija naudojama diverguojančių eilučių ir integralų reguliarizavimui (priskiriama baigtinė vertė šiaip jau diverguojančioms sumoms). Rymano dzeta funkcija naudojama aprašant Kazimiro efektą, dinaminių sistemų analizėje.

Begalinės eilutės 
Rymano dzeta funkcijai galioja:
 

Lyginių ir nelyginių dzeta funkcijos narių sumos duoda tokias vertes:
 
ir

 
Parametrizuotos aukščiau pateiktų sumų versijos gali būti užrašomos kaip:

 
ir

 

su , o  ir  yra poligama funkcija ir Oilerio konstanta atitinkamai. Taip pat:

 .

Galioja ir tokie sąryšiai:

 
 
 
 ,

kur  žymi kompleksinio skaičiaus menamąją dalį.

Rymano dzeta funkcijos apibendrinimai 
Yra žinoma daug funkcijų, susijusių su Rymano dzeta funkcija, kurios gali būti traktuojamos kaip Rymano dzeta funkcijos apibendrinimai. Viena jų yra Hurwitz dzeta funkcija

 
(Konverguojančią eilutę jai pateikė Helmut Hasse 1930 metais,), kuri sutampa su Rymano dzeta funkcija kai  (pažymėtina, kad Hurwitz dzeta funkcijos apatinė sumavimo riba ne 1, o 0), Dirichlė L-funkcija, Dedekindo zeta-funkcija.

Vadinamoji polilogaritminė funkcija užrašoma taip:

 .

Ji sutampa su Rymano dzeta funkcija kai .

Lerch transcendentė yra
 
Ji sutampa su Rymano dzeta funkcija kai  ir .

Clausen funkcija  tai funkcija, gaunama paimant  funkcijos realiąją arba menamąją dalį.

Galima įvesti daugelio kintamųjų dzeta funkciją:

 

Šią funkciją galima analiziškai praplėsti į -matę kompleksinių skaičių sritį.

Trupmeninė išvestinė 
Rymano dzeta funkcijos -eilės trupmeninė išvestinė gali būti užrašyta tokiu pavidalu 

 

Jei  yra trupmena tokia, kad , konvergavimo sritis bus .

Išnašos

Šaltiniai 
 
 
 
 
  Has an English translation of Riemann’s paper.
 
 
  (Globally convergent series expression.)
 
 
 
 
 
 
 
 . In Gesammelte Werke, Teubner, Leipzig (1892), Reprinted by Dover, New York (1953).

Nuorodos 
 Riemann Zeta Function, in Wolfram Mathworld – an explanation with a more mathematical approach
 Tables of selected zeros 
 Prime Numbers Get Hitched  A general, non-technical description of the significance of the zeta function in relation to prime numbers.
 X-Ray of the Zeta Function Visually oriented investigation of where zeta is real or purely imaginary.
 Formulas and identities for the Riemann Zeta function functions.wolfram.com
 Riemann Zeta Function and Other Sums of Reciprocal Powers, section 23.2 of Abramowitz and Stegun
 
 Mellin transform and the functional equation of the Riemann Zeta function—Computational examples of Mellin transform methods involving the Riemann Zeta Function

Specialiosios funkcijos