Řada (matematika)

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.

Číselná řada

Příklady

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] .

Klasifikace

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] :

Absolutní a podmíněná konvergence

Ří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] .

Operace s řádky

Nechť konvergentní řady a být dány . Pak:

Pokud obě řady konvergují k resp ., pak jejich součet a rozdíl také konvergují. Součet konvergentních a divergentních řad vždy diverguje [11] : , Jestliže obě řady konvergují absolutně, pak součet a rozdíl těchto řad také konvergují absolutně [12] . Pokud alespoň jedna z původních řad konverguje absolutně, pak součin řady konverguje [13] .

Nezbytné kritérium pro konvergenci číselné řady

Ř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] .

Konvergentní řady

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.

Nevyřešené problémy

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] .

Řada s nečíselnými členy

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.

Obecná definice

Ř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 .

Funkční řada

Definice a vlastnosti

Ř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á konvergence

Obecně ř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é).

  • Součet řady funkcí, které jsou v určitém bodě spojité, bude v tomto bodě sám spojitý, za předpokladu, že funkční řada v bodě rovnoměrně konverguje. Konkrétně součet rovnoměrně konvergentní řady reálných funkcí, které jsou spojité na segmentu , bude také spojitý na tomto segmentu [22] .
  • Pokud jsou funkce spojitě diferencovatelné na intervalu a obou řadách:
konvergují k , a řada derivátů konverguje rovnoměrně, pak součet řady má derivaci a řadu lze diferencovat člen po členu [23] :
  • Pokud jsou funkce na intervalu spojité a řada k funkci konverguje rovnoměrně, lze řadu integrovat člen po členu [24] :
Podmínka jednotné konvergence zaručuje, že řada napravo konverguje.
  • Pokud jsou funkce Riemannově integrovatelné na segmentu a řada k funkci konverguje rovnoměrně, pak součet řady bude také Riemannově integrovatelný [24] .

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] .

Řada matic

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] :

  • Maticová mocninná řada konverguje absolutně pro všechny matice umístěné v sousedství nulové matice , kde
  • Pokud maticová mocninná řada konverguje v oblasti , kde  je matice s kladnými složkami a  je maticí modulů neznámých, pak konverguje absolutně v této oblasti.

Pro příklad mocninné řady z matic viz exponent matice . Pomocí řad lze definovat standardní funkce pro čtvercové matice (například sinus ).

Variace a zobecnění

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] .

Historie

Starověké období

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] .

Kerala School

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.

17. století

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ů.

XVIII-XIX století

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.

Poznámky

  1. 1 2 3 Fikhtengolts, 1966 , str. 257-258.
  2. 1 2 Matematická encyklopedie, 1984 , str. 1068-1070.
  3. 1 2 Fikhtengolts, 1966 , s. 258-259.
  4. Vorobjov, 1979 , s. 52, 178.
  5. Vorobjov, 1979 , s. 32-33, 52-53.
  6. Vygodsky, 1977 , str. 540.
  7. Vorobjov, 1979 , s. 50-71.
  8. 1 2 3 4 Vorobjov, 1979 , s. 72-85.
  9. Fikhtengolts, 1966 , s. 315.
  10. Vilenkin a kol., 1982 , str. 55.
  11. Vilenkin a kol., 1982 , str. patnáct.
  12. Vilenkin a kol., 1982 , str. 67, ex. 56.
  13. Rudin, Walter. Principy matematické analýzy . - McGraw-Hill, 1976. - S.  74 .
  14. 1 2 Vorobyov, 1979 , s. 38-39.
  15. Vorobjov, 1979 , s. 40-41.
  16. Řada Flint Hills . Staženo 11. 5. 2019. Archivováno z originálu 11. 5. 2019.
  17. Weisstein, konstanta Erica W. Apéryho  na webu Wolfram MathWorld .
  18. Matematická encyklopedie, 1984 , str. 1063.
  19. Vilenkin a kol., 1982 , str. 80-82.
  20. Vilenkin a kol., 1982 , str. 86, ex. 70.
  21. 1 2 Fikhtengolts, 1966 , s. 428-432.
  22. Fikhtengolts, 1966 , s. 430-432.
  23. Fikhtengolts, 1966 , s. 438-439.
  24. 1 2 Fikhtengolts, 1966 , s. 436-438.
  25. Fikhtengolts, 1966 , s. 424.
  26. 1 2 3 4 Smirnov V. I. Kurz vyšší matematiky. - 10. vyd. - Petrohrad. : BHV-Petersburg, 2010. - T. 3 část 2. - S. 369-374. — 816 s. - ISBN 978-5-9775-0087-6 .
  27. Vorobjov, 1979 , s. 233-258.
  28. Vorobjov, 1979 , s. 281-306.
  29. 1 2 Van der Waerden . Věda probuzení. Matematika starověkého Egypta, Babylonu a Řecka. - M. : Nauka, 1959. - S. 302-303, 309-310. — 456 s.
  30. Dějiny matematiky, svazek I, 1970 , str. 202-203.
  31. Paplauskas A. B. Přednewtonské období vývoje nekonečných řad. Část I // Historický a matematický výzkum . - M .: Nauka, 1973. - Vydání. XVIII . - S. 104-131 .
  32. Dějiny matematiky, svazek I, 1970 , str. 275.
  33. 1 2 3 Dějiny matematiky, II. díl, 1970 , str. 158-166.
  34. Dějiny matematiky, II. díl, 1970 , str. 231.
  35. Dějiny matematiky, II. díl, 1970 , str. 246-247.
  36. Paplauskas A. B. Trigonometrické řady. Od Eulera po Lebesgue. - M .: Nauka, 1966. - S. 26-27. — 277 s.
  37. 1 2 Trigonometrické řady // Matematická encyklopedie (v 5 svazcích). - M . : Sovětská encyklopedie , 1982. - T. 5.

Literatura

  • Vilenkin N. Ya. , Tsukerman V. V., Dobrokhotová M. A., Safonov A. N. Rows. - M . : Vzdělávání, 1982. - 160 s.
  • Vorobyov N. N. Teorie řad. - 4. vyd. — M .: Nauka, 1979. — 408 s.
  • Vygodsky M. Ya. Příručka vyšší matematiky. - 12. vyd. - M. : Nauka, 1977. - 872 s.
  • Zorich V.A. Kapitola III. Omezit. § 1. Limit sekvence// Matematická analýza, část I. -M.: Nauka, 1981. - S. 104-114. — 544 s.
  • Historie matematiky. Od starověku do počátku New Age // Historie matematiky / Editoval A.P. Juškevič , ve třech svazcích. - M .: Nauka, 1970. - T.I.
  • Matematika 17. století // Historie matematiky / Editoval A.P. Juškevič , ve třech svazcích. - M. : Nauka, 1970. - T. II.
  • Pismenny D.T. Část 2 // Poznámky k přednáškám o vyšší matematice. - 6. vyd. - M .: Iris-press, 2008.
  • Řada // Matematická encyklopedie (v 5 svazcích). - M .: Sovětská encyklopedie , 1984. - T. 4. - S. 1063-1070.
  • Fikhtengol'ts G. M. Kurz diferenciálního a integrálního počtu, ve třech svazcích. - 6. vyd. - M. : Nauka, 1966. - T. 2. - 680 s.

Odkazy