Riemann zeta funktion

Riemann zeta-funktionen  är en funktion av en komplex variabel , at , definierad med Dirichlet-serien :

I det komplexa halvplanet konvergerar denna serie , är en analytisk funktion av och medger en analytisk fortsättning till hela det komplexa planet , med undantag för singularpunkten .

Riemann zeta-funktionen spelar en mycket viktig roll i analytisk talteori , har tillämpningar inom teoretisk fysik , statistik och sannolikhetsteori .

I synnerhet, om varken den bevisade eller vederlagda Riemann-hypotesen om positionen för alla icke-triviala nollor i zetafunktionen på det direkta komplexa planet bevisas eller vederläggs hittills , då är många viktiga primtalssatser baserade på Riemann-hypotesen i bevis blir antingen sant eller falskt.

Eulers identitet

Representationen som en oändlig produkt är också giltig i domänen ( Eulers identitet )

Bevis

Idén med beviset använder bara enkel algebra, tillgänglig för en flitig skolpojke. Euler härledde ursprungligen formeln på detta sätt. Det finns en egenskap hos Eratosthenes såll som vi kan dra nytta av:

Genom att subtrahera den andra från den första tar vi bort alla element med en divisor på 2:

Upprepa för följande:

Subtrahera igen, vi får:

där alla element med divisor 2 och/eller 3 tas bort.

Som du kan se är den högra sidan siktad genom en sil. Upprepa i det oändliga får vi:

Vi delar båda sidor med allt utom , vi får:

som kan skrivas kortare som en oändlig produkt över alla primtal p :

För att göra beviset rigoröst, är det bara nödvändigt att kräva att, när , den siktade högra sidan närmar sig 1, vilket omedelbart följer av konvergensen av Dirichlet-serien för .

Denna likhet är en av de viktigaste egenskaperna hos zeta-funktionen.

Egenskaper

giltigt för , kommer det också att förbli sant för alla , förutom de för vilka (dessa är de triviala rötterna till zeta-funktionen ). Från detta kan följande formler erhållas för :

  1. , at , förutom ;
  2. , med , förutom eller ;
  3. , med , utom , eller etc.
I synnerhet ( omvänd kvadratserier ),
var  är Eulers gammafunktion . Denna ekvation kallas Riemanns funktionella ekvation , även om den senare varken är dess författare eller den som först rigoröst bevisade det [2] . introducerad av Riemann för forskning och kallad Riemanns x-funktion , har denna ekvation formen: .

Nollor för zeta-funktionen

Som följer av Riemanns funktionella ekvation har funktionen i halvplanet endast enkla nollor vid negativa jämna punkter: . Dessa nollor kallas de "triviala" nollorna i zetafunktionen. Vidare, på riktigt . Därför är alla "icke-triviala" nollor i zetafunktionen komplexa tal. Dessutom har de egenskapen symmetri med avseende på den verkliga axeln och med avseende på den vertikala och ligger i ett band som kallas det kritiska bandet . Enligt Riemanns hypotes är de alla på den kritiska linjen .

Konkreta värderepresentationer

ζ(2)

Från formeln , var är Bernoulli-talet , får vi det .

Andra radrepresentationer

Nedan finns andra serier vars summa är [3] :

Det finns också representationer för formen av Bailey-Borwain-Pluff-formeln , som i vissa talsystem gör det möjligt att beräkna det e tecknet i dess rekord utan att beräkna de föregående [3] :

Integral representationer

Nedan finns formler för att involvera integraler erhållna med Riemanns zeta-funktion [4] [5] [6] :

Fortsatt bråk

Några av de fortsatta bråkrepresentationerna erhölls i samband med liknande representationer för Apérys konstant, vilket gjorde det möjligt att bevisa dess irrationalitet.

[7] [7] [åtta] [9]

ζ(3)

En av de kortaste representationerna är , vi får det , var är polygammafunktionen .

Fortsatt bråk

Den fortsatta fraktionen för Apérys konstant (sekvens A013631 i OEIS ) är som följer:

Den första generaliserade fortsatta fraktionen för Apéry-konstanten, som har en regelbundenhet, upptäcktes oberoende av Stieltjes och Ramanujan :

Det kan konverteras till:

Aperi kunde påskynda konvergensen av den fortsatta fraktionen för en konstant:

[10] [9]

ζ(4)

Från formeln , var är Bernoulli-talet , får vi det .

ζ(5)

En av de kortaste representationerna är , vi får det , var är polygammafunktionen .

Generaliseringar

Det finns ett ganska stort antal specialfunktioner förknippade med Riemann zeta-funktionen, som förenas med det gemensamma namnet på zeta-funktionen och är dess generaliseringar. Till exempel:

som sammanfaller med Riemanns zeta-funktion för q = 1 (eftersom summeringen börjar från 0, inte från 1). vilket är samma som Riemann zeta-funktionen vid z = 1.
  • Lerch zeta funktion :
som sammanfaller med Riemann zeta-funktionen vid z = 1 och q = 1 (eftersom summeringen är från 0, inte från 1).
  • Kvantanalog ( q -analog).

Liknande konstruktioner

I teorin om Gaussiska vägintegraler uppstår problemet med regularisering av determinanter . Ett av tillvägagångssätten för dess lösning är införandet av zeta-funktionen för operatorn [11] . Låt vara  en icke-negativt definierad självadjoint operatör , som har ett rent diskret spektrum . Dessutom finns det ett reellt tal så att operatören har ett spår . Sedan definieras zetafunktionen för operatorn för ett godtyckligt komplext tal som ligger i halvplanet och kan ges av en konvergent serie

Om funktionen som definieras på detta sätt tillåter en analytisk fortsättning till en domän som innehåller någon grannskap av punkten , är det på grundval av detta möjligt att bestämma den reguljära determinanten för operatorn i enlighet med formeln

Historik

Som en funktion av en reell variabel introducerades zeta-funktionen 1737 av Euler , som angav dess nedbrytning till en produkt. Sedan övervägdes denna funktion av Dirichlet och, särskilt framgångsrikt, av Chebyshev när han studerade lagen om fördelning av primtal. De mest djupgående egenskaperna hos zetafunktionen upptäcktes dock senare, efter Riemanns arbete (1859), där zetafunktionen betraktades som en funktion av en komplex variabel.

Se även

  • Lista över alla zeta-funktioner

Anteckningar

  1. Zudilin V. V. Om irrationaliteten hos värdena för zetafunktionen vid udda punkter  // Uspekhi Mat . - 2001. - T. 56 , nr 2 (338) . — S. 215–216 .
  2. Blagushin Ya. V. Historien om den funktionella ekvationen för zeta-funktionen och olika matematikers roll i dess bevis  // Seminarier om matematikens historia i St. V. A. Steklov RAS. — 2018.
  3. 1 2 Weisstein, Eric W. Riemann Zeta Funktion \zeta(2) . Mathworld . Hämtad 29 april 2018. Arkiverad från originalet 29 april 2018.
  4. Connon DF, Vissa serier och integraler inklusive Riemann Zeta-funktionen, binomialkoefficienter och övertonstal (del I), arΧiv : 0710.4022 . 
  5. Weisstein, Eric W. Dubbel integral . Mathworld . Hämtad 29 april 2018. Arkiverad från originalet 29 april 2018.
  6. Weisstein, Eric W. Hadjicostas' formel . Mathworld . Hämtad 29 april 2018. Arkiverad från originalet 29 april 2018.
  7. 12 Steven R. Finch Matematiska konstanter 1.4.4 . Hämtad 10 augusti 2020. Arkiverad från originalet 28 november 2020.
  8. Fortsatt bråk för Zeta(2) och Zeta(3) . tpiezas: EN SAMLING AV ALGEBRAISKA IDENTITETER . Hämtad 29 april 2018. Arkiverad från originalet 29 april 2018.
  9. 1 2 van der Poorten, Alfred (1979), Ett bevis på att Euler missade ... Apérys bevis på irrationaliteten hos ζ (3) , The Mathematical Intelligencer vol 1 (4): 195–203, doi : 10.1007/BF043028 , < https://web.archive.org/web/20110706114957/http://www.maths.mq.edu.au/~alf/45.pdf > 
  10. Steven R. Finch Matematiska konstanter 1.6.6 . Hämtad 10 augusti 2020. Arkiverad från originalet 28 november 2020.
  11. Takhtajyan, 2011 , sid. 348.

Litteratur

  • Derbyshire J. En enkel besatthet. Bernhard Riemann och det största olösta problemet i matematik. — M.: Astrel, 2010. — 464 sid. — ISBN 978-5-271-25422-2 . .
  • Takhtadzhyan L. A. Kvantmekanik för matematiker / Översatt från engelska av Ph.D. S. A. Slavnov . - Ed. 2:a. - M. -Izhevsk: Forskningscentrum "Regular and Chaotic Dynamics", Izhevsk Institute of Computer Research, 2011. - 496 sid. - ISBN 978-5-93972-900-0 .
  • Yanke E., Emde F., Losh F. Specialfunktioner: formler, grafer, tabeller / Per. från den 6:e reviderade tyska upplagan, red. L. I. Sedova. - Ed. 3:a, stereotyp. — M .: Nauka, 1977. — 344 sid.

Länkar