Š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.[2]
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:
1740 metais Leonardas Oileris šią eilutę nagrinėjo esant sveikiesiems teigiamiems , o Pafnutijus Čebyšovas praplėtė ją visiems realiems argumentams su .[3]
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
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.
Š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?[5]
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 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ę:[7],
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ė
Visiems kompleksiniams galioja integralinis sąryšis:
Jis dažnai naudojamas įvertinant dzeta funkciją skaitmeniškai.[10]
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ų.[11]
Hasse rado ir kitą išraišką
Tačiau ją dar Joseph Ser irgi buvo pateikęs 1926 metais.[12]
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.[13]
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,[15]), 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.
↑Blagouchine, Iaroslav V. (2016), "Expansions of generalized Euler's constants into the series of polynomials in π?2 and into the formal enveloping series with rational coefficients only", Journal of Number Theory158: 365–396, doi:10.1016/j.jnt.2015.06.012
↑Guariglia, E. (2015). Fractional derivative of the Riemann zeta function. In: Fractional Dynamics (Cattani, C., Srivastava, H., and Yang, X. Y.). De Gruyter. pp. 357–368. doi:10.1515/9783110472097-022.
Cvijović, Djurdje; Klinowski, Jacek (1997). „Continued-fraction expansions for the Riemann zeta function and polylogarithms“. Proc. Amer. Math. Soc. 125 (9): 2543–2550. doi:10.1090/S0002-9939-97-04102-6.
Edwards, H. M. (1974). Riemann's Zeta Function. Academic Press. ISBN0-486-41740-9. Has an English translation of Riemann’s paper.
Hadamard, Jacques (1896). „Sur la distribution des zéros de la fonction ?(s) et ses conséquences arithmétiques“. Bulletin de la Societé Mathématique de France. 14: 199–220.
Hasse, Helmut (1930). „Ein Summierungsverfahren für die Riemannsche -Reihe“. Math. Z. 32: 458–464. doi:10.1007/BF01194645. MR1545177. (Globally convergent series expression.)
Ivic, A. (1985). The Riemann Zeta Function. John Wiley & Sons. ISBN0-471-80634-X.
Raoh, Guo (1996). „The Distribution of the Logarithmic Derivative of the Riemann Zeta Function“. Proceedings of the London Mathematical Society. s3–72: 1–27. doi:10.1112/plms/s3-72.1.1.