En række omvendte firkanter

En række af omvendte kvadrater  er en uendelig række :

Problemet med at finde summen af ​​denne serie forblev uløst i lang tid. Da europæiske matematikeres opmærksomhed på dette problem blev henledt af Basel- professoren i matematik Jacob Bernoulli (1689), kaldes det i historien ofte " Baselproblemet " (eller " Baselproblemet "). Den første til at finde summen af ​​rækken i 1735 var den 28-årige Leonhard Euler , den viste sig at være lig med

(Se OEIS -sekvens A013661 ).

Denne sum forekommer i mange andre problemer i talteorien .

Løsningen af ​​dette problem (og relaterede) bragte ikke kun den unge Euler verdensberømmelse [1] , men havde også en betydelig indflydelse på den videre udvikling af analyse , talteori og efterfølgende kompleks analyse . Endnu en gang (efter opdagelsen af ​​Leibniz-serien ) gik tallet ud over geometrien og bekræftede dets universalitet. Endelig viste den omvendte kvadratrække sig at være det første skridt mod introduktionen af ​​Riemann zeta-funktionen [2] . Euler begyndte selv denne vej efter at have overvejet en generalisering af den omvendte kvadratrække - en række for en vilkårlig lige potens s , og også udledt den grundlæggende Euler-identitet :

Produktet i højre side overtages alle primtal .

Historie

Historikere opdagede først ræsonnement om en række omvendte kvadrater i den italienske matematiker Pietro Mengolis afhandling ( Novae quadraturae arithmeticae seu de additione fractionum , 1644, udgivet i 1650), men derefter vakte problemet ikke almen interesse. Mengoli bestemte, at rækken konvergerer og fandt summen af ​​de første 10 led [3] :

Senere forsøgte mange fremtrædende matematikere uden held at finde summen af ​​serien, herunder Leibniz , Stirling , de Moivre , Christian Goldbach , brødrene Jacob og Johann Bernoulli . De beregnede også flere signifikante cifre af summen af ​​serien. Goldbach viste, at summen er indeholdt i intervallet (41/25; 5/3), Stirling i afhandlingen Methodus Differentialis (1730) formåede at beregne en ret præcis værdi af summen: 1,644934066, men ingen kunne fastslå præcist, hvad dette værdien var kan være relateret [3] [4] [5] .

Jacob Bernoulli opfordrede i sine Arithmetic Propositions on Infinite Series (1689): "Hvis nogen formår at finde noget, der hidtil ikke har givet efter for vores bestræbelser, og hvis han meddeler det til os, så vil vi stå ham meget i gæld" [2] ] [6] . Men i Jacob Bernoullis liv dukkede løsningen ikke op.

Euler var den første til at få succes , næsten et halvt århundrede efter Bernoullis omvendelse. Sandsynligvis fortalte Johann Bernoulli, Jacobs bror, Euler om dette problem. Euler rapporterede opdagelsen i noten "Om summer af omvendte serier" ( De summis serierum reciprocarum , 1735) [7] til tidsskriftet "Commentarii Academiae Scientiarum Imperialis Petropolitanae" fra St. Petersburgs Videnskabsakademi . Værdien af ​​summen fundet af ham Euler rapporterede også i et brev til hans ven Daniel Bernoulli , søn af Johann Bernoulli [8] :

For nylig fandt jeg, og ganske uventet, et elegant udtryk for summen af ​​en serie relateret til kvadratering af en cirkel ... Nemlig den seksdobbelte sum af denne serie er lig med kvadratet af omkredsen af ​​en cirkel, hvis diameter er 1.

Daniel fortalte sin far, som udtrykte tvivl om gyldigheden af ​​Eulers udvidelse af sinus til et uendeligt produkt (se nedenfor ). Derfor begrundede Euler i 1748 resultatet mere stringent i sin monografi Introduktion til analysen af ​​infinitesimals ( Introductio in analysin infinitorum , bind I, kapitel X) [9] .

Som John Derbyshire bemærker , gjorde den anden (efter Leibniz-serien ) optræden af ​​et tal i en uventet, fuldstændig ikke-geometrisk sammenhæng et stærkt indtryk på matematikere fra det attende århundrede [10] .

Som en kontrol beregnede Euler manuelt summen af ​​den 20-cifrede serie (tilsyneladende ved hjælp af Euler-Maclaurin-formlen , da den omvendte kvadratrække konvergerer ret langsomt). Derefter sammenlignede han summen med værdien ved hjælp af den omtrentlige værdi af det tal, der allerede var kendt på det tidspunkt , og sørgede for, at begge værdier, inden for kontoens nøjagtighed, falder sammen. Efterfølgende (1743) offentliggjorde Euler yderligere to forskellige måder at summere en række af omvendte kvadrater på [11] .

Seriekonvergens

For at verificere, at den omvendte kvadratrække konvergerer, er det tilstrækkeligt at bevise, at følgende række konvergerer [12] :

Denne serie hoveder den omvendte kvadratrække, fordi hvert led i den (undtagen den første) er større end i den omvendte kvadratrække. Det kan repræsenteres som en teleskopisk sum :

Den partielle sum af denne serie er derfor rækken konvergerer, og dens sum er lig med 2. Derfor, ved sammenligning kriterium , og rækken af ​​omvendte kvadrater konvergerer til nogle tal i intervallet (1, 2) [12] .

For at estimere konvergenshastigheden af ​​delsummer kan man bruge formlen

Summen i midten af ​​formlen er forskellen mellem serien og dens th delsum, det vil sige den absolutte fejl af delsummen. Det kan ses af formlen, at seriens konvergens er ret langsom - de første tusinde led i serien ( ) giver en rækkefølgefejl , det vil sige i tredje decimal. For at få 6 rigtige tegn skal du tilføje en million medlemmer af serien [13] .

I 1988 beregnede Roy D. North of Colorado Springs summen af ​​en million led af en række omvendte kvadrater på en computer og opdagede et mærkeligt mønster - den sjette decimal er, som man kunne forvente, fejlagtig, men de følgende 6 cifre er korrekte. Så er ét tegn forkert, og efter det er fem cifre igen korrekte:

Samlet rækkesum ( ) 1,64493 4 066848 2 26436 472415166646025189218949901…
Delvis sum af en million medlemmer 1,64493 3 066848 7 26436 305748499979391855885616544…
Fejl 0,0000009999995000001666666666666333333333333357…

Denne fejl kan repræsenteres som summen

hvor koefficienterne ved 10 potenser er Bernoulli-tallene [13] . Beviset for dette faktum kan findes i papiret fra 1989 af Borwein, Borwein og Dilcher [14] .

Eulers første metode til at finde summen af ​​en serie

Ved slutningen af ​​det 17. århundrede, takket være Newtons og andre matematikeres arbejde, var serieudvidelsen af ​​sinusfunktionen kendt :

Euler formåede at opnå endnu en udvidelse af sinus - ikke til en sum, men til et uendeligt produkt [15] :

Ved at sidestille begge udtryk og reducere med kan du få:

(en)

Da denne identitet gælder for alle , skal koefficienterne for i begge dens dele være ens:

Ved at gange begge sider af ligheden med kan vi endelig få [16] :

Den angivne metode er baseret på udvidelsen af ​​sinus til et uendeligt produkt, men Euler gav ikke denne udvidelse en ordentlig begrundelse, idet han begrænsede sig til at henvise til det faktum, at både venstre og højre del, betragtet som polynomier , har det samme rødder: Johann og Daniil Bernoulli påpegede urigtigheden af ​​en sådan afledning, da den kun gælder for polynomier af endelig grad, og ikke for uendelige rækker. I denne henseende offentliggjorde Euler adskillige flere metoder til summering, begrundet mere strengt og førende til det samme resultat [11] . Ikke desto mindre viste den angivne udvidelse sig at være sand og blev efterfølgende bevist [17] .

Eulers anden metode

I 1741 tog Euler hensyn til ovenstående kritik af sin oprindelige metode og offentliggjorde en anden summeringsmetode baseret på serieintegration [18] . Til dette betragter vi et integral af formen

For at beregne integralet kan du bruge udvidelsen af ​​arcsine i en serie på intervallet :

Denne serie konvergerer ensartet , og den kan integreres term for term:

Det første integral er , og det andet efter substitution viser sig at være lig herfra:

Denne sum indeholder de omvendte kvadrater af ulige tal. Den nødvendige sum af rækken af ​​omvendte kvadrater består af to dele, hvoraf den første er lig og den anden indeholder de omvendte kvadrater af lige tal:

Det er der

Alternative måder at finde summen på

Fourier-serien

En af de enkleste metoder til at opnå denne sum er at bruge Fourier-seriens udvidelse af funktionen . For en jævn funktion har denne udvidelse formen [19]

Koefficienterne beregnes efter standardformler:

Som et resultat antager nedbrydningen formen [19]

At indsætte en værdi i denne formel giver resultatet

eller

Det endelige resultat opnås [19] ved at dividere begge sider med 4.

Hvis du i stedet for at erstatte , får en alternerende sum:

En anden måde at løse problemet på gennem Fourier-analyse er at bruge Parsevals lighed for funktionen

Nedbrydningsmetode for hyperbolsk cotangens

Denne metode giver dig mulighed for at finde summen for alle serier af inverse lige potenser:

Den er baseret på to ekspansionsformler for den hyperbolske cotangens . Den første [20] er gyldig for :

Den anden formel [21] relaterer den hyperbolske cotangens til Bernoulli-tallene :

Ligestilling af koefficienterne ved de samme potenser giver en formel til at forbinde summen af ​​rækken med Bernoulli-tallene:

Især det første resultat opnås, når man overvejer at tage hensyn

Andre tilgange

I artiklen af ​​K. P. Kokhas [16] er der givet flere forskellige måder at summere en serie på: gennem integraler , komplekse rester , gammafunktion , ekspansion af arcsine eller cotangens , kvadrering af Leibniz-serien . En anden samling af summeringsmetoder præsenteres i Chapmans papir [22] .

En interessant fysisk-geometrisk repræsentation af summeringen af ​​en række omvendte kvadrater præsenteres i en artikel af Johan Westlund [23] og i et videoforedrag på YouTube-kanalen 3Blue1Brown [24] .

Variationer og generaliseringer

Baseret på formlen ( 1 ), beregnede Euler summerne ikke kun for en række inverse kvadrater, men også for rækker af andre lige potenser, op til den 26., for eksempel [2] :

osv. Euler fandt også ud af, at summen af ​​sådanne serier er relateret til Bernoulli-tallene som følger [9] :

Euler opsummerede også en modifikation af en række inverse kvadrater indeholdende (i nævnere) kvadrater eller andre lige potenser af ulige tal [25] ; seriens summer viste sig også at være relateret til antallet

For rækker af ulige potenser er det teoretiske udtryk for deres summer stadig ikke kendt. Det er kun blevet bevist, at summen af ​​en række af inverse terninger ( Aperis konstant ) er et irrationelt tal [2] .

Hvis vi betragter eksponenten i den generelle række af inverse potenser som en variabel (ikke nødvendigvis heltal), så får vi Riemann zeta-funktionen , som spiller en enorm rolle i analyse og talteori:

Så summen af ​​den omvendte kvadratrække er

De første undersøgelser af zeta-funktionens egenskaber blev udført af Euler. I 1748 udgav han monografien "Introduktion til analyse af infinitesimals", hvor han beviste " Euler-identiteten " [26] :

hvor produktet overtages alle primtal Denne lighed spillede en stor rolle i udviklingen af ​​analytisk talteori , den var baseret på Chebyshevs og Riemanns studier om fordelingen af ​​primtal i den naturlige række. I 1859 udkom Riemanns dybe arbejde, som udvidede definitionen af ​​zeta-funktionen til det komplekse domæne . Riemann overvejede i detaljer sammenhængen mellem zeta-funktionen og fordelingen af ​​primtal [26] .

I 1768 foreslog Euler en anden generalisering af den omvendte kvadratrække, Euler -dilogaritmen [27] :

Nogle applikationer

Summen af ​​en række omvendte kvadrater, det optræder også i mange problemer i talteori.

Summen af ​​divisorer af et naturligt tal vokser i gennemsnit [28] som en lineær funktion .

Sandsynligheden for, at to tilfældigt udvalgte naturlige tal i intervallet fra 1 viser sig at være coprime , har en tendens til Med andre ord er den gennemsnitlige tæthed af coprime tal i talrækken [29] lig med

Lad være antallet af kvadratfrie naturlige tal i intervallet fra 1 til Det opfylder den omtrentlige formel [30] [31] [32]

Kumulativ Euler-funktion

hvor  er Euler-funktionen , har følgende asymptotik [33] :

Noter

  1. Stewart, Ian . Professor Stewarts utrolige tal = Professor Stewarts utrolige tal. - M . : Alpina faglitteratur, 2016. - S. 222-223. — 422 s. - ISBN 978-5-91671-530-9 .
  2. 1 2 3 4 Derbyshire, 2010 , s. 90-92, 103-109.
  3. 1 2 Sofo, Anthony. Basel-problemet med en udvidelse . Hentet: 3. august 2020.
  4. Leonhard Eulers biografi (utilgængeligt link) . Hentet 16. april 2016. Arkiveret fra originalen 17. marts 2008. 
  5. Euler et le problemème de Bale . Hentet 5. august 2020. Arkiveret fra originalen 23. januar 2021.
  6. Poya D. Matematik og plausible ræsonnementer. - Ed. 2., rettet. - M . : Nauka, 1975. - S. 40.
  7. Leonhard Euler. Desummis serierum reciprocarum . Dato for adgang: 17. april 2016.
  8. Navarro, Joaquin. Op til grænsen af ​​antal . Hentet 10. august 2016. Arkiveret fra originalen 15. september 2016.
  9. 1 2 History of Mathematics, bind III, 1972 , s. 337.
  10. Derbyshire, 2010 , s. 92.
  11. 1 2 Vileitner G. Matematikkens historie fra Descartes til midten af ​​det 19. århundrede. - M. : GIFML, 1960. - S. 143-144. — 468 s.
  12. 1 2 Vorobyov N. N. Serieteori . - 4. udg. - M . : Nauka, 1979. - S.  52 . — 408 s. - (Udvalgte kapitler i højere matematik for ingeniører og studerende fra videregående uddannelsesinstitutioner).
  13. 1 2 Aigner, Ziegler, 2006 , s. 49.
  14. Borwein, Borwein, Dilcher, 1989
  15. Antonio Duran, 2014 , s. 109-114.
  16. 1 2 Kokhas K.P., 2004 .
  17. Fikhtengolts G. M., 1966 , s. 374-376.
  18. Fikhtengolts G. M., 1966 , s. 671.
  19. 1 2 3 Fikhtengolts G. M. Forløb af differential- og integralregning. - Ed. 3. - M . : Nauka, 1963. - T. III. - S. 443, 451. - 656 s.
  20. Fikhtengolts G. M., 1966 , s. 484.
  21. Fikhtengolts G. M., 1966 , s. 495-496.
  22. Robin Chapman .
  23. Wästlund, Johan. Summering af omvendte kvadrater ved euklidisk geometri . Hentet 6. august 2020. Arkiveret fra originalen 24. februar 2020.
  24. Hvorfor er pi her? Og hvorfor er det firkantet? Et geometrisk svar på Basel-problemetYouTube
  25. Zhukov A. V. Det allestedsnærværende tal "pi". - 2. udg. - M . : Forlaget LKI, 2007. - S. 145. - 216 s. - ISBN 978-5-382-00174-6 .
  26. 1 2 Otradnykh F.P. Matematik fra det 18. århundrede og akademiker Leonhard Euler. - M . : Sovjetvidenskab, 1954. - S. 33. - 39 s.
  27. Leonhard Euler , Institutions calculi integrals
  28. Arnold V. I. Dynamik, statistik og projektiv geometri af Galois-felter. - M. : MTSNMO, 2005. - S. 70. - 72 s.
  29. Cohen E. Aritmetiske funktioner forbundet med vilkårlige sæt af heltal   // Acta Arithmetica . - 1959. - Bd. 5 . - S. 407-415 . Arkiveret 2. maj 2019. (Se også artiklens note: Errata Arkiveret 14. august 2020 på Wayback Machine . Bemærk henviser til "Corollary 3.3" på s. 413).
  30. Jia C.-H. Fordelingen af ​​kvadratfrie tal  (engelsk)  // Videnskab i Kina. Serie A - Matematik, Fysik, Astronomi og Teknologisk Videnskab. - 1993. - Bd. 36 , udg. 2 . - S. 154-169 . doi : 10.1360 /ya1993-36-2-154 . Åben adgang
  31. Pappalardi F. En undersøgelse om k -frihed // Talteori. Forløb af konferencen i analytisk talteori til ære for prof. Subbarao  (engelsk) / Vol. Udg.: SD Adhikari, R. Balasubramanian, K. Srinivas. - Mysore: Ramanujan Mathematical Society, 2002. - S. 77-88. — 161 s. - (Forelæsningsnoteserie: Nummer 1). — ISBN 9788190254510 .
  32. Sinha K. Gennemsnitlige rækkefølger af visse aritmetiske funktioner  //  Journal of the Ramanujan Mathematical Society. - 2006. - Bd. 21 , udg. 3 . - S. 267-277 . Arkiveret fra originalen den 14. februar 2012.
  33. Weisstein, Eric W. Totient Summatory Function  (engelsk) på Wolfram MathWorld- webstedet .

Litteratur

Links