En serie , også kaldet en uendelig sum , er et af de centrale begreber i matematisk analyse . I det simpleste tilfælde skrives rækken som en uendelig sum af tal [1] :
Kort note: (nogle gange starter nummereringen af vilkårene ikke fra 1, men fra 0)Her er en sekvens af reelle eller komplekse tal ; disse tal kaldes termer i rækken .
For at tildele værdien af en sum til en talserie, skal du overveje sekvensen af " partielle summer ", der er resultatet af at afslutte en uendelig sum ved et eller andet led:
Hvis sekvensen af partielle summer har en grænse (endelig eller uendelig), så siger de, at summen af rækken er lig med. Samtidig, hvis grænsen er endelig, så siger de, at rækken konvergerer . Hvis grænsen ikke eksisterer eller er uendelig, så siges rækken at divergere [1] .
For at afklare det centrale spørgsmål i analysen, om en given serie konvergerer eller ej, er der blevet foreslået adskillige konvergenskriterier .
Numeriske serier og deres generaliseringer (se nedenfor om ikke-numeriske serier ) bruges overalt i matematisk analyse til beregninger, til analyse af forskellige funktioners adfærd, til løsning af algebraiske eller differentialligninger . Udvidelsen af en funktion i en serie kan betragtes som en generalisering af at specificere en vektor med koordinater , denne operation giver os mulighed for at reducere studiet af en kompleks funktion til analyse af elementære funktioner og letter numeriske beregninger [2] . Serier er et uundværligt forskningsværktøj ikke kun inden for matematik, men også inden for fysik, astronomi, datalogi, statistik, økonomi og andre videnskaber.
Det enkleste eksempel på en konvergent række er summen af vilkårene for en uendelig geometrisk progression [3] med nævneren :
Delsum Grænsen for dette udtryk er summen af en uendelig geometrisk progression [1] . For eksempel, når du får en serie, hvis sum er 2:
En decimal med en uendelig brøkdel kan opfattes som summen af en række [3] ; for eksempel er tallet summen af følgende serier:
Et mere kompliceret eksempel er rækken af omvendte kvadrater , som de bedste matematikere i Europa ikke kunne finde i mere end 100 år [4] :
Rækken divergerer, dens sum er uendelig. Den harmoniske serie divergerer også : " Grundys serie " divergerer, dens delsummer går fra 1 til 0, så der er ingen grænse for delsummer, denne serie har ikke en sum [5] .
En positiv serie [6] er en reel serie, hvis termer alle er ikke-negative. For positive serier eksisterer summen altid, men kan være uendelig [7] .
En alternerende serie er en reel serie, hvor fortegnene for udtrykkene veksler: plus, minus, plus, minus osv. For sådanne serier er der en simpel Leibniz-konvergenstest . Den alternerende version af ovennævnte harmoniske serie , i modsætning til sidstnævnte, konvergerer [8] :
Det siges, at en reel eller kompleks serie konvergerer absolut , hvis en række moduler ( absolutte værdier ) af dens medlemmer konvergerer [8] :
En absolut konvergent serie konvergerer også i den sædvanlige betydning af dette koncept. Samtidig har enhver sådan serie en vigtig egenskab ved forskydning: For enhver permutation af vilkårene for en absolut konvergent række opnås en konvergent række med samme sum [9] . Især for positive konvergerende serier kan du omarrangere rækkens vilkår på nogen måde, dette påvirker ikke konvergensen og summen [10] .
Hvis en talserie konvergerer, men ikke absolut, siges den at være betinget konvergent . Eksempel:
Serien selv konvergerer, men rækken af dens absolutte værdier ( den harmoniske serie ) divergerer [8] .Egenskaber for betinget konvergerende serier [8] .
Lad konvergent række og gives . Derefter:
Serien kan kun konvergere, hvis termen (fælles term for serien) har en tendens til nul, når dens antal stiger [14] :
Dette er et nødvendigt tegn på konvergensen af serien, men det er ikke tilstrækkeligt - for en harmonisk række , for eksempel, falder det almindelige udtryk uendeligt med stigende antal, ikke desto mindre divergerer serien. Hvis rækkens fællesled ikke har en tendens til nul, så divergerer rækken bestemt [14] .
Ejendom 1. Hvis serien
(1.1)konvergerer og dens sum er , så serien
(1.2)hvor er et vilkårligt tal, konvergerer også og dets sum er . Hvis serie (1.1) divergerer og , så divergerer serie (1.2).
Ejendom 2 ( foreningsret ). I en konvergent serie kan du vilkårligt kombinere nabomedlemmer i grupper uden at overtræde deres rækkefølge [15] .
Denne egenskab kan bruges til at bevise divergensen af en serie: hvis der efter den specificerede gruppering opnås en divergerende serie, så divergerer den originale serie også.
Det er stadig uvist, om Flint Hills-serien konvergerer [16 ] :
Hvis det er muligt at bevise, at denne serie konvergerer, vil der som konsekvens vise sig en vigtig kendsgerning: målet for et tals irrationalitet er mindre end 2,5.
Det er kendt, at summen af en række af inverse kvadrater og summen af andre serier med gensidige lige potenser udtrykkes i form af potenser af et tal, men man ved kun lidt om summen af inverse terninger (" Aperis konstant "):
.Ingen har endnu været i stand til at forbinde denne værdi med klassiske konstanter eller elementære funktioner [17] .
Begrebet en uendelig række og dens sum kan introduceres ikke kun for tal, men også for andre matematiske objekter , for hvilke addition og begrebet nærhed er defineret, hvilket gør det muligt at bestemme grænsen. For eksempel er rækker af funktioner meget udbredt i analyse : power-serier , Fourier-serier , Laurent-serier . Seriens medlemmer kan også være vektorer , matricer osv.
En serie (eller en uendelig sum ) i matematik er en sekvens af elementer ( medlemmer af en given serie ) af et topologisk vektorrum , betragtet sammen med et sæt af delsummer af seriens medlemmer (delsum er defineret i samme måde som i numeriske serier). Hvis der er defineret en grænse for en sekvens af partielle summer : så kaldes værdien summen af den givne række, og selve rækken kaldes konvergent (ellers divergent ) [18] .
Serier kan altid adderes eller trækkes fra led for led, og summen og forskellen af konvergente rækker konvergerer også. Hvis termerne for serien er taget fra en ring eller et felt , danner serien selv en ring med hensyn til addition og Cauchy-produktet .
En serie kaldes funktionel, hvis alle dens medlemmer er funktioner defineret på et sæt:
kort bemærkning:Delsummer i dette tilfælde er også funktioner defineret på samme sæt. En serie kaldes konvergent på sættet, hvis en serie med faste tal konvergerer [2] :
Sættet kaldes seriens konvergensregion . Summen af serien er åbenbart også en funktion på
Et eksempel er serieudvidelsen af en rationel brøk:
Denne serie konvergerer i intervallet .
Blandt hovedtyperne af funktionelle serier:
Ud over den "punktvise" konvergens, der er defineret ovenfor, kan andre nærhedsnormer bruges i forskellige rum , som eksistensen af grænsen for delsummer afhænger af. For eksempel kan man definere "Chebyshev-normen" [19] .
Ensartet konvergensGenerelt kan en sums egenskaber afvige fra egenskaberne for en rækkes vilkår - for eksempel er summen af en række kontinuerte funktioner muligvis ikke kontinuert [20] .
En funktionel serie, der konvergerer på en mængde, siges at konvergere ensartet (på dette sæt) [21], hvis sekvensen af delsummer af rækken konvergerer ensartet på .
Der er flere tegn, der gør det muligt at verificere seriens ensartede konvergens [21] :
Betydningen af begrebet ensartet konvergens af en række vises af følgende sætninger (alle funktioner antages at være reelle).
Et eksempel på en ikke-ensartet konvergent potensrække er en geometrisk progression.I intervallet konvergerer den til en funktion, men ikke ensartet (som det fremgår af summens uendelige spring, når man nærmer sig 1) [25] .
I ringen af numeriske kvadratiske matricer af en fast orden, mener vi et -kvarter af en matrix et sæt af matricer , hvis mindre endfra de tilsvarende komponenter medafvigerkomponenter er grænsen for den tilsvarende sekvens
Nu er det muligt ved generelle regler at definere rækker af numeriske matricer, begrebet seriekonvergens (inklusive absolut konvergens) og summen af en konvergent række. Med andre ord konvergerer en række rækkefølgematricer , hvis rækken af dens komponenter konvergerer, og summen er en matrix, der indeholder de tilsvarende grænser for disse serier [26] .
Potensrækken for matricer har formen [26] :
hvor er de givne numeriske koefficienter, er identitetsmatrixen , er matrixen af ukendte. Denne serie svarer til et system af numeriske serier. For at estimere dens konvergens komponerer vi den sædvanlige potensrække af komplekse tal:
Lad konvergensradius for denne serie være . Så er følgende sætninger sande [26] :
For et eksempel på en potensrække fra matricer , se Matrixeksponent . Ved hjælp af serier kan man definere standardfunktioner for kvadratiske matricer (for eksempel sinus ).
En generalisering af begrebet en serie er begrebet en dobbeltrække , hvis medlemmer ikke er nummereret med et, men med to indekser [27] .
En generalisering af begrebet summen af en række er begrebet summeringsfunktionen af en række , hvis valg gør begrebet summen af en divergerende (i klassisk forstand) række acceptabelt. Mange varianter af en sådan generalisering er blevet foreslået: Poisson-Abel-konvergens , Borel , Cesaro , Euler , Lambert og andre [28] .
Gamle matematikere , i overensstemmelse med den pythagoræiske ideologi , afviste alle faktisk uendelige begreber, inklusive uendelige rækker. Der har dog været nogle begrænsede anvendelser af seriekonceptet. For eksempel fandt Archimedes , for at beregne arealet af et segment af en parabel , faktisk summen af en uendelig geometrisk progression [29] :
Van der Waerden skriver om dette: "Archimedes taler ikke om summen af en uendeligt aftagende geometrisk progression, han kender endnu ikke udtrykket" summen af en uendelig række ", men han ejer perfekt essensen af dette koncept." I flere problemer løst af Arkimedes til beregning af areal eller volumen, bruger han i moderne terminologi øvre og nedre integral summer med et ubegrænset antal led. På grund af fraværet af begrebet en grænse , blev en besværlig udmattelsesmetode [29] brugt til at retfærdiggøre resultatet .
Matematikere fra Indien , der ikke var bundet af Pythagoras restriktioner, fremførte teorien om serier betydeligt og anvendte den med succes. Kerala-skolen for astronomi og matematik (det sydlige Indien) opnåede den største succes i det 15.-16. århundrede . Til astronomiske beregninger var Kerala-folket i stand til for første gang i historien at finde udvidelsen af trigonometriske og andre funktioner til uendelige rækker:
Men de havde ikke en generel teori om sådanne udvidelser; for at opnå disse formler blev cirkelbuen rettet [30] [31] . I Europa blev en lignende serie for arctangent først udgivet af James Gregory i 1671, og serie for sinus og cosinus af Isaac Newton i 1666.
Fra serien for buetangensen fik Keralas en god tilnærmelse for tallet :
I Europa forblev resultaterne af Kerala-skolen ukendte i lang tid og blev genopdaget uafhængigt.
Indtil omkring det 17. århundrede optrådte uendelige serier sjældent i europæiske matematikeres skrifter. Værd at nævne er værket af den engelske matematiker fra det 14. århundrede Richard Swainshead , som opsummerede serien [32] :
I det 17. århundrede er uendelige serier allerede af generel interesse og begynder at blive brugt til at løse mange praktiske problemer - omtrentlige beregninger , interpolation , teorien om logaritmer osv.
I 1647 opdagede Grégoire de Saint-Vincent sammenhængen mellem logaritmen og området under hyperbelen (se figur). I 1650, baseret på geometriske overvejelser, offentliggjorde den italienske matematiker Pietro Mengoli i afhandlingen " Nye aritmetiske kvadraturer " udvidelse til en uendelig række [33] :
Mengoli undersøgte også andre serier og beviste, at den harmoniske serie divergerer; Mengoli viste også, at den omvendte kvadratrække konvergerer, selvom han ikke var i stand til at finde dens sum [33] .
I 1668 overvejede den tyske matematiker Nicholas Mercator (Kaufmann), der dengang boede i London, i afhandlingen " Logarithmotechnia " for første gang udvidelsen til en række af ikke tal, men funktioner, og lagde derved grundlaget for teorien om potensrækker . [33] :
Som et universelt værktøj til studiet af funktioner og numeriske beregninger blev uendelige rækker brugt af Isaac Newton og Gottfried Wilhelm Leibniz , skaberne af matematisk analyse . Tilbage i midten af det 17. århundrede opdagede Newton og Gregory den binomiale ekspansion for enhver, ikke blot en heltalseksponent (først offentliggjort i Algebra af Wallis , 1685):
Serien konvergerer kl Ved hjælp af denne formel var Newton for første gang i stand til at beregne buen af en ellipse som en serie (i moderne terminologi beregnede han det elliptiske integral ) [34] . Newton viste også, hvordan man bruger serier til at løse ligninger, herunder førsteordens differentialligninger , og udforske integraler, der ikke er udtrykt i form af elementære funktioner [35] .
I slutningen af det 17. århundrede blev udvidelser til serier af alle elementære funktioner kendt . Leibniz og Gregory opdagede (1674) Europas første udvidelse af et nummer ( Leibniz-serien ):
Ved århundredeskiftet (1689-1704) udgav Leibniz' elev Jacob Bernoulli den første monografi i fem bind under titlen Propositiones arithmeticae de seriebus infinitis carumque summa finita ( Propositiones arithmeticae de seriebus infinitis carumque summa finita ). Han viste brugen af serier til at løse en lang række problemer.
I 1715 udgav Brooke Taylor den grundlæggende Taylor-serie (men længe kendt af Gregory og Newton).
Et stort bidrag til teorien om serier blev lavet af Leonhard Euler . Han var den første til at finde summen af en række omvendte kvadrater , udviklede metoder til at forbedre konvergensen af serier, begyndte studiet af trigonometriske serier , foreslog begrebet en generaliseret sum af en serie egnet til divergerende serier. Selve begrebet " analytisk funktion " var forbundet med muligheden for dets repræsentation i form af en potensrække.
I det 19. århundrede byggede Cauchy og Weierstrass et stringent grundlag for analyse og især en stringent serieteori. Det vigtige koncept om ensartet konvergens blev introduceret , og forskellige kriterier for konvergens blev formuleret.
Teorien om trigonometriske serier modtog en hurtig udvikling . Daniil Bernoulli udtrykte også troen på, at enhver (kontinuerlig) funktion på et givet interval kan repræsenteres af en trigonometrisk række [36] . Diskussioner om dette emne fortsatte indtil 1807, hvor Fourier offentliggjorde teorien om repræsentationen af vilkårlige stykkevise analytiske funktioner ved hjælp af trigonometriske serier (den endelige version er indeholdt i hans Analytical Theory of Heat, 1822) [37] . For at udvide funktionen i en Fourier-række gav han integralformler til beregning af koefficienterne [37] . Fouriers fremstilling var ikke streng i moderne forstand, men indeholdt allerede en undersøgelse af konvergensen af de fleste af de serier, han opnåede.
Samtidig blev serier i kompleks analyse , herunder Laurent-serier , bredt udviklet og brugt i det 19. århundrede . Brugen af serier i naturvidenskaberne begyndte - i himmelmekanik (for at løse problemet med tre legeme ), i optik , teorien om varmeledning , mod slutningen af århundredet - i teorien om elektromagnetisme .
I det 20. århundrede blev begrebet en serie udvidet til en bred klasse af matematiske objekter , ikke nødvendigvis numeriske.
Ordbøger og encyklopædier |
| |||
---|---|---|---|---|
|
Sekvenser og rækker | |
---|---|
Sekvenser | |
Rækker, grundlæggende | |
Talserier ( operationer med talserier ) | |
funktionelle rækker | |
Andre rækketyper |
Tegn på konvergens af serier | ||
---|---|---|
For alle rækker | ||
For tegn-positive serier | ||
Til skiftende serier | Leibniz tegn | |
For rækker af formularen | ||
Til funktionelle serier | ||
Til Fourier-serien |
|