Série , nazývaná také nekonečný součet , je jedním z ústředních pojmů matematické analýzy . V nejjednodušším případě je řada zapsána jako nekonečný součet čísel [1] :
Krátká poznámka: (někdy číslování termínů nezačíná od 1, ale od 0)Zde je posloupnost reálných nebo komplexních čísel ; tato čísla se nazývají členy řady .
Chcete-li přiřadit hodnotu součtu číselné řadě, zvažte posloupnost „ částečných součtů “, která je výsledkem ukončení nekonečného součtu v nějakém členu:
Pokud má posloupnost dílčích součtů limitu (konečnou nebo nekonečnou), pak říkají, že součet řady je roven Současně, je-li limita konečná, pak říkají, že řada konverguje . Jestliže limita neexistuje nebo je nekonečná, pak se říká, že řada diverguje [1] .
Pro objasnění klíčové otázky analýzy, zda daná řada konverguje či nikoli, byla navržena řada konvergenčních kritérií .
Číselné řady a jejich zobecnění (viz níže o nenumerických řadách ) se všude používají v matematické analýze pro výpočty, pro analýzu chování různých funkcí, při řešení algebraických nebo diferenciálních rovnic . Rozšíření funkce v řadě lze považovat za zobecnění zadání vektoru pomocí souřadnic , tato operace nám umožňuje redukovat studium komplexní funkce na analýzu elementárních funkcí a usnadňuje numerické výpočty [2] . Série jsou nepostradatelným výzkumným nástrojem nejen v matematice, ale také ve fyzice, astronomii, informatice, statistice, ekonomii a dalších vědách.
Nejjednodušším příkladem konvergentní řady je součet členů nekonečné geometrické posloupnosti [3] se jmenovatelem :
Částečný součet Limita tohoto výrazu je součtem nekonečné geometrické posloupnosti [1] . Například, když dostanete řadu, jejíž součet je 2:
Desetinné číslo s nekonečnou zlomkovou částí lze považovat za součet řady [3] ; například číslo je součtem následující řady:
Složitějším příkladem je řada inverzních čtverců , jejichž součet nejlepší matematici v Evropě nemohli najít více než 100 let [4] :
Řada se rozchází, její součet je nekonečný. Harmonická řada také diverguje : " Grundyho řada " diverguje , její dílčí součty se pohybují od 1 do 0, takže pro dílčí součty není žádné omezení, tato řada součet nemá [5] .
Kladná řada [6] je skutečná řada, jejíž všechny členy jsou nezáporné. Pro kladné řady součet vždy existuje, ale může být nekonečný [7] .
Střídavá řada je skutečná řada, ve které se střídají znaménka termínů: plus, mínus, plus, mínus atd. Pro takové řady existuje jednoduchý Leibnizův test konvergence . Střídavá verze výše uvedené harmonické řady , na rozdíl od druhé, konverguje [8] :
Říká se, že skutečná nebo komplexní řada konverguje absolutně , pokud konverguje řada modulů ( absolutních hodnot ) jejích členů [8] :
Absolutně konvergentní řada také konverguje v obvyklém smyslu tohoto pojmu. Každá taková řada má zároveň důležitou vlastnost přemístitelnosti: pro jakoukoli permutaci členů absolutně konvergentní řady získáme konvergentní řadu se stejným součtem [9] . Zejména u kladných konvergentních řad můžete členy řady jakkoli přeskupit, na konvergenci a součet to nemá vliv [10] .
Pokud číselná řada konverguje, ale ne absolutně, říká se, že je podmíněně konvergentní . Příklad:
Samotná řada konverguje, ale řada jejích absolutních hodnot ( harmonická řada ) se rozchází [8] .Vlastnosti podmíněně konvergentních řad [8] .
Nechť konvergentní řady a být dány . Pak:
Řada může konvergovat pouze tehdy, pokud člen (společný člen řady) má tendenci k nule, když se její číslo zvyšuje [14] :
To je nezbytný znak konvergence řady, ale nestačí - např. pro harmonickou řadu se společný člen s rostoucím číslem neomezeně zmenšuje, přesto řada diverguje. Pokud společný člen řady neinklinuje k nule, pak řada jistě diverguje [14] .
Vlastnost 1. Pokud řada
(1.1)konverguje a jeho součet je , pak řada
(1.2)kde je libovolné číslo, také konverguje a jeho součet je . Jestliže řada (1.1) diverguje a , pak řada (1.2) diverguje.
Vlastnost 2 ( asociační právo ). V konvergentní řadě můžete sousední členy libovolně spojovat do skupin, aniž byste porušili jejich pořadí [15] .
Tuto vlastnost lze použít k prokázání divergence řady: pokud se po zadaném seskupení získá divergentní řada, diverguje i původní řada.
Stále není známo, zda Flint Hills Series konverguje [16 ] :
Pokud je možné dokázat, že tato řada konverguje, pak se v důsledku ukáže důležitý fakt: míra iracionality čísla je menší než 2,5.
Je známo, že součet řady inverzních čtverců a součty jiných řad s reciprokými sudými mocninami jsou vyjádřeny jako mocniny čísla, ale o součtu inverzních krychlí (" Aperiho konstanta ") je známo jen málo:
.Tuto hodnotu se zatím nikomu nepodařilo spojit s klasickými konstantami nebo elementárními funkcemi [17] .
Pojem nekonečné řady a jejího součtu lze zavést nejen pro čísla, ale i pro další matematické objekty , pro které je definováno sčítání a pojem blízkosti, což umožňuje určit limitu. Například řady funkcí jsou široce používány v analýze : mocninné řady , Fourierovy řady , Laurentovy řady . Členy řady mohou být také vektory , matice atd.
Řada (nebo nekonečný součet ) v matematice je posloupnost prvků ( členů dané řady ) nějakého topologického vektorového prostoru , uvažovaná společně se sadou dílčích součtů členů řady (parciální součty jsou definovány ve stejném způsobem jako v číselné řadě). Je-li pro posloupnost dílčích součtů definována limita : pak se hodnota nazývá součet dané řady a řada samotná se nazývá konvergentní (jinak divergentní ) [18] .
Řady lze vždy sčítat nebo odečítat člen po členu a součet a rozdíl konvergentních řad také konvergují. Pokud jsou členy řady převzaty z kruhu nebo pole , pak řada sama o sobě tvoří kruh s ohledem na sčítání a Cauchyho součin .
Řada se nazývá funkcionální , pokud všechny její členy jsou funkce definované na nějaké množině:
krátká poznámka:Dílčí součty jsou v tomto případě také funkce definované na stejné množině. Řada se nazývá konvergentní na množině , pokud pro jakoukoli pevnou číselnou řadu konverguje [2] :
Množina se nazývá oblast konvergence řady. Součet řady je samozřejmě také funkcí
Příkladem je rozšíření řady racionálního zlomku:
Tato řada konverguje v intervalu .
Mezi hlavní typy funkčních řad:
Kromě výše definované „bodové“ konvergence lze v různých prostorech použít další normy blízkosti , na kterých závisí existence limity parciálních součtů. Například lze definovat „čebyševskou normu“ [19] .
Rovnoměrná konvergenceObecně řečeno, vlastnosti součtu se mohou lišit od vlastností členů řady — například součet řady spojitých funkcí nemusí být spojitý [20] .
O funkční řadě konvergující na množině se říká, že konverguje rovnoměrně (na této množině) [21] , jestliže posloupnost dílčích součtů řady konverguje rovnoměrně na .
Existuje několik znaků, které umožňují ověřit rovnoměrnou konvergenci řady [21] :
Důležitost konceptu rovnoměrné konvergence řady ukazují následující věty (všechny funkce jsou považovány za reálné).
Příkladem nestejnoměrně konvergentní mocninné řady je geometrická progrese , která v intervalu konverguje k funkci , ale ne rovnoměrně (jak dokazuje nekonečný skok součtu při přiblížení k 1) [25] .
V kruhu numerických čtvercových matic pevného řádu rozumíme -okolí matice množinu matic , jejíž všechny složky se liší méně nežodpovídajících složek ood je limitem příslušné posloupnosti
Nyní je možné pomocí obecných pravidel definovat řady číselných matic, pojem konvergence řad (včetně absolutní konvergence) a součet konvergentní řady. Jinými slovy, řada řádových matic konverguje, pokud řada jejích složek konverguje, a součet je maticí obsahující odpovídající limity těchto řad [26] .
Mocninná řada pro matice má tvar [26] :
kde jsou dané číselné koeficienty, je matice identity , je matice neznámých. Tato řada je ekvivalentem systému číselných řad. Abychom odhadli jeho konvergenci, složíme obvyklou mocninnou řadu komplexních čísel:
Nechť poloměr konvergence této řady je Pak platí následující věty [26] :
Pro příklad mocninné řady z matic viz exponent matice . Pomocí řad lze definovat standardní funkce pro čtvercové matice (například sinus ).
Zobecněním pojmu řady je pojem dvojité řady , jejíž členy jsou číslovány nikoli jedním, ale dvěma indexy [27] .
Zobecněním pojmu součtu řady je pojem součtové funkce řady , jehož volba činí pojem součtu divergentní (v klasickém smyslu) řady přijatelným. Bylo navrženo mnoho variant takového zobecnění: Poisson-Abelova konvergence , Borel , Cesaro , Euler , Lambert a další [28] .
Starověcí matematici v souladu s pythagorejskou ideologií odmítali všechny skutečně nekonečné pojmy, včetně nekonečných řad. Došlo však k některým omezeným aplikacím konceptu série. Například Archimedes , aby vypočítal plochu segmentu paraboly , skutečně našel součet nekonečné geometrické progrese [29] :
Van der Waerden o tom píše: "Archimedes nemluví o součtu nekonečně klesající geometrické posloupnosti, nezná ještě výraz" součet nekonečné řady ", ale dokonale vlastní podstatu tohoto pojmu." V několika úlohách řešených Archimédem pro výpočet plochy nebo objemu používá, v moderní terminologii, horní a dolní integrální součty s neomezeným počtem členů. Vzhledem k absenci konceptu limity byla k odůvodnění výsledku použita těžkopádná metoda vyčerpání [29] .
Indičtí matematici , kteří nebyli vázáni pythagorejskými omezeními, významně pokročili v teorii řad a úspěšně ji aplikovali. Největšího úspěchu dosáhla v 15.-16. století Keralská škola astronomie a matematiky (jižní Indie) . Pro astronomické výpočty byli Kerala lidé poprvé v historii schopni najít expanzi trigonometrických a dalších funkcí do nekonečných řad:
Obecnou teorii takových expanzí však neměli, pro získání těchto vzorců byl rektifikován oblouk kružnice [30] [31] . V Evropě byla podobná série pro arctangent poprvé publikována Jamesem Gregorym v roce 1671 a série pro sinus a kosinus od Isaaca Newtona v roce 1666.
Ze série pro arkus tangens získaly Keralas dobrou aproximaci pro číslo :
V Evropě zůstaly úspěchy keralské školy dlouhou dobu neznámé a byly znovu objeveny nezávisle.
Přibližně do 17. století se nekonečné řady ve spisech evropských matematiků objevovaly jen zřídka. Za zmínku stojí práce anglického matematika Richarda Swainsheada ze 14. století , který sérii shrnul [32] :
V 17. století jsou nekonečné řady již ve všeobecném zájmu a začínají se využívat při řešení mnoha praktických problémů - přibližné výpočty , interpolace , teorie logaritmů atd.
V roce 1647 objevil Grégoire de Saint-Vincent spojení mezi logaritmem a oblastí pod hyperbolou (viz obrázek). V roce 1650 na základě geometrických úvah publikoval italský matematik Pietro Mengoli v pojednání „ Nové aritmetické kvadratury “ expanzi do nekonečné řady [33] :
Mengoli také zkoumal jiné řady a dokázal, že harmonická řada se liší; Mengoli také ukázal, že inverzní čtvercová řada konverguje, ačkoli nebyl schopen najít její součet [33] .
V roce 1668 německý matematik Nicholas Mercator (Kaufmann), žijící tehdy v Londýně, v pojednání „ Logarithmotechnia “ poprvé uvažoval o expanzi do řady nikoli čísel, ale funkcí, čímž položil základ pro teorii mocninných řad . [33] :
Jako univerzální nástroj pro studium funkcí a numerických výpočtů použili nekonečné řady Isaac Newton a Gottfried Wilhelm Leibniz , tvůrci matematické analýzy . V polovině 17. století Newton a Gregory objevili binomickou expanzi pro jakýkoli, nejen celočíselný exponent (poprvé publikováno v Algebře od Wallise , 1685):
Řada konverguje k S pomocí tohoto vzorce byl Newton poprvé schopen vypočítat oblouk elipsy jako řadu (v moderní terminologii vypočítal eliptický integrál ) [34] . Newton také ukázal, jak používat řady k řešení rovnic, včetně diferenciálních rovnic prvního řádu , a prozkoumat integrály, které nejsou vyjádřeny pomocí elementárních funkcí [35] .
Koncem 17. století byly známy expanze do řad všech elementárních funkcí . Leibniz a Gregory objevili (1674) první evropské rozšíření čísla ( Leibnizova řada ):
Na přelomu století (1689-1704) vydal Leibnizův žák Jacob Bernoulli první monografii v pěti svazcích pod názvem Propositiones aritmeticae de seriebus infinitis carumque summa finita ( Propositiones aritmeticae de seriebus infinitis carumque summa finita ). Ukázal použití sérií k řešení široké škály problémů.
V roce 1715 vydala Brooke Taylor základní Taylorovu sérii (dlouho známou však Gregorymu a Newtonovi).
Obrovský příspěvek k teorii řad měl Leonhard Euler . Byl první, kdo našel součet řady inverzních čtverců , vyvinul metody pro zlepšení konvergence řad, začal studovat trigonometrické řady , navrhl koncept zobecněného součtu řady vhodných pro divergentní řady. Samotný pojem „ analytická funkce “ byl spojen s možností její reprezentace ve formě mocninné řady.
V 19. století vybudovali Cauchy a Weierstrass rigorózní základy pro analýzu a zejména rigorózní teorii řad. Byl představen důležitý koncept jednotné konvergence a byla formulována různá kritéria pro konvergenci.
Teorie trigonometrických řad se rychle rozvíjela . Daniil Bernoulli také vyjádřil přesvědčení, že libovolnou (spojitou) funkci na daném intervalu lze reprezentovat trigonometrickou řadou [36] . Diskuse na toto téma pokračovaly až do roku 1807, kdy Fourier publikoval teorii reprezentace libovolných po částech analytických funkcí trigonometrickými řadami (konečná verze je obsažena v jeho Analytical Theory of Heat, 1822) [37] . Aby rozšířil funkci ve Fourierově řadě, dal integrální vzorce pro výpočet koeficientů [37] . Fourierův výklad nebyl přísný v moderním smyslu, ale už obsahoval vyšetřování konvergence většiny sérií, které on získal.
Současně, série v komplexní analýze , včetně Laurent série , byl široce rozvinutý a použitý v 19. století . Použití řad v přírodních vědách začalo - v nebeské mechanice (k vyřešení problému tří těles ), v optice , teorii vedení tepla , ke konci století - v teorii elektromagnetismu .
Ve 20. století se pojem série rozšířil na širokou třídu matematických objektů , ne nutně numerických.
Slovníky a encyklopedie |
| |||
---|---|---|---|---|
|
Sekvence a řádky | |
---|---|
Sekvence | |
Řádky, základní | |
Číselné řady ( operace s číselnými řadami ) | |
funkční řádky | |
Jiné typy řádků |
Znaky konvergence řad | ||
---|---|---|
Pro všechny řádky | ||
Pro znaménko-pozitivní řady |
| |
Pro střídání sérií | Leibnizův znak | |
Pro řádky formuláře | ||
Pro funkční série | ||
Pro Fourierovy řady |
|