Poloměr konvergence

Z Wikipedie, otevřené encyklopedie
Skočit na navigaci Skočit na vyhledávání

Poloměr konvergence mocninné řady je v matematice poloměr největšího kruhu, v němž mocninná řada konverguje. Poloměr konvergence je nezáporné reálné číslo nebo . Je-li poloměr konvergence kladný, mocninná řada konverguje absolutně a rovnoměrně na kompaktní množině uvnitř otevřeného kruhu s poloměrem rovným poloměru konvergence a je Taylorovou řadou analytické funkce, ke které konverguje.

Definice[editovat | editovat zdroj]

Pro mocninnou řadu ƒ definovanou vztahem

kde

a je komplexní konstanta, střed kruhu konvergence,
cn je n-tý komplexní koeficient a
z je komplexní proměnná.

je poloměr konvergence nezáporné reálné číslo r nebo tak, že řada konverguje, jestliže

a diverguje, jestliže

Někdo dává přednost alternativní definici, protože existence je zjevná:

Na hranici, tj. tam, kde |z − a| = r, může být chování mocninné řady složité a řada může pro některé hodnoty z konvergovat a pro jiné divergovat. Poloměr konvergence je nekonečný, jestliže řada konverguje pro všechna komplexní čísla z.[1]

Hledání poloměru konvergence[editovat | editovat zdroj]

Objevují se dva případy. První případ je teoretický: pokud známe všechny koeficienty pak vezmeme určité omezení a zjistíme přesný poloměr konvergence. Druhý případ je praktický: když zkonstruujeme mocninnou řadu řešení obtížného problému, typicky budeme pouze znát konečný počet členů mocninné řady, kdekoli z několika málo členů na stovky členů. V tomto druhém případě extrapolujeme graf odhady poloměr konvergence.

Teoretický poloměr[editovat | editovat zdroj]

Poloměr konvergence lze nalézt aplikací Cauchyova testu na členy řady. Cauchyův test používá číslo

"lim sup" označuje limes superior. Cauchyův test tvrdí, že řada konverguje, jestliže C < 1 a diverguje, jestliže C > 1. Z toho plyne, že mocninná řada konverguje, jestliže vzdálenost z bodu z do středu a je menší než

a diverguje, jestliže vzdálenost je větší než toto číslo; toto říká Cauchyova–Hadamardova věta. Přitom r = 1/0 se interpretuje jako nekonečný poloměr, což znamená, že ƒ je celá funkce.

Limitu, která se objevuje v poměrovém testu, je obvykle snazší vypočítat. Pokud tato limita existuje, znamená to, že poloměr konvergence je konečný.

To je uvedené takto. Poměrový test říká, že řada konverguje, jestliže

což je ekvivalentní s

Praktický odhad poloměru pro reálné koeficienty[editovat | editovat zdroj]

Dombův–Sykesův graf funkce [2] Vlevo (a) je jednoduchý graf poměru koeficientů mocninné řady jako funkce indexu ; vpravo, (b) je Dombův–Sykesův graf jako funkce . Plná zelená přímka je asymptota v Dombově–Sykesově grafu, jejíž průsečík s osou y je −2 a sklon +1. Singularity tedy existují v bodě a proto poloměr konvergence je

Ve vědeckých aplikacích je obvykle známý pouze konečný počet koeficientů . Typicky se zvětšujícím se tyto koeficienty začnou chovat pravidelně podle toho, jak jsou ovlivňovány nejbližší singularitou omezující poloměr konvergence. Pro tento případ byly vyvinuty dvě základní techniky založené na faktu, že koeficienty Taylorovy řady jsou zhruba exponenciální funkce s poměrem , kde r je poloměr konvergence.

  • Základním případem je, když koeficienty jednoznačně mají stejné znaménko nebo pravidelně znaménka střídají. Jak již bylo ukázáno, v mnoha případech existuje limita a pak Záporné znamená, že singularita omezující konvergenci je na záporné ose. Tuto limitu odhadneme vynesením hodnot v závislosti na a grafickou extrapolací na (efektivně ) lineárním napojením. Průsečíky s odhadují převrácené hodnoty poloměru konvergence, . Tento graf se nazývá Dombův–Sykesův graf.
  • Složitější případ nastane, pokud znaménka koeficientů mají složitější vzorek. Mercer a Roberts navrhli následující postup.[3] Definujeme příslušnou posloupnost
Vynesením konečně mnoha známých v závislosti na a grafickou extrapolací na lineárním napojením.

Průsečík s odhady převrácené hodnoty poloměru konvergence, .

Tento postup také odhaduje dvě další charakteristiky konvergence omezující singularity. Předpokládejme, že nejbližší singularity má stupeň a má úhel s reálnou osou. Pak sklon lineárního napojení daného výše je . Navíc graf v závislosti na , pak lineární napojení extrapolované na má průsečík v .

Poloměr konvergence v komplexní analýze[editovat | editovat zdroj]

Mocninnou řadu s kladným poloměrem konvergence lze považovat za holomorfní funkci, pokud bereme její argument jako komplexní proměnnou. Poloměr konvergence lze charakterizovat následující větou:

Poloměr konvergence mocninné řady ƒ se středem v bodě a se rovná vzdálenosti z a k nejbližšímu bodu, kde ƒ nelze definovat tak, aby byla holomorfní.

Množina všech bodů, jejichž vzdálenost od a je ostře menší než poloměr konvergence, se nazývá kruh konvergence.

Graf funkcí vysvětlených v textu: aproximace modře, kružnice konvergence bíle

Nejbližší bod hledáme v komplexní rovině, ne nutně na reálné ose, i kdyby střed a všechny koeficienty byly reálné. Například funkce

nemá žádné singularity na reálné ose, protože nemá žádné reálné kořeny. Její Taylorova řada v okolí bodu nula je

Cauchyův test ukazuje, že poloměr konvergence je 1. V souhlase s tím má funkce ƒ(z) singularity v bodech ±i, které jsou ve vzdálenosti 1 od bodu 0.

Pro důkaz této věty viz Analyticita holomorfní funkce.

Jednoduchý příklad[editovat | editovat zdroj]

Funkce arctg z trigonometrie lze rozepsat na mocninnou řadu:

v tomto případě je snadné aplikovat Cauchyův test, z něhož plyne, že poloměr konvergence je 1.

Složitější příklad[editovat | editovat zdroj]

Uvažujme tuto mocninnou řadu:

kde racionální čísla Bn jsou Bernoulliova čísla. Aplikovat poměrový test pro zjištění poloměru konvergence této řady může být obtížné. Ale výše uvedená věta komplexní analýzy problém rychle řeší. V bodě z = 0 není ve výsledku žádná singularita protože singularita je odstranitelná. Pouze neodstranitelné singularity jsou proto umístěné v jiných bodech, kde jmenovatel je nula. Řešíme

připomenutím, že pokud z = x + iy a e iy = cos(y) + i sin(y) pak

a pak vezmeme reálné x a y. Protože y je reálné, absolutní hodnota cos(y) + i sin(y) je nutně 1. Proto absolutní hodnota e z může být 1 pouze tehdy, když e x je 1; protože x je reálné, stane se to pouze pro x = 0. Proto z je ryze imaginární a cos(y) + i sin(y) = 1. Protože y je reálné, což se stane pouze, pokud cos(y) = 1 a sin(y) = 0, tak y je celé číslo větší než  . Následně se singulární body této funkce objeví v

z = nenulové celé číslo větší než i.

Singularita nejbližší bodu nula, který je středem rozvoje mocninné řady, jsou v ±i. Vzdálenost od středu k libovolnému z těchto bodů je , tak poloměr konvergence je .

Konvergence na hranici[editovat | editovat zdroj]

Pokud mocninná řada je rozšířená v okolí bodu a a poloměr konvergence je r, pak množina všech body z tak, že Šablona:Mabs = r je kružnice nazývaný hranice kruhu konvergence. Mocninná řada může divergovat v každém bodě na hranici nebo v nějakých bodech divergovat a konvergovat v jiných bodech nebo konverguje ve všech bodech na hranici. Navíc, i kdyby řada konvergovala všude na hranici (dokonce rovnoměrně), nemusí nutně konvergovat absolutně.

Příklad 1: Mocninná řada pro funkce ƒ(z) = 1/(1 − z), rozšířená v okolí bodu z = 0, který je jednoduše

má poloměr konvergence 1 a diverguje v každá bod na hranici.

Příklad 2: Mocninná řada pro g(z) = −ln(1 − z), rozšířená v okolí bodu z = 0, který je

má poloměr konvergence 1 a diverguje pro z = 1 ale konverguje ve všech ostatních bodech hranice. Funkce ƒ(z) z příkladu 1 je derivace funkce g(z).

Příklad 3: Mocninná řada

má poloměr konvergence 1 a všude na hranici konverguje absolutně. Pokud h je funkce reprezentována touto řadou na jednotkovém kruhu, pak derivace h(z) se rovná g(z)/z s g z příkladu 2. Ukazuje se, že h(z) je dilogarithm funkce.

Příklad 4: Mocninná řada

má poloměr konvergence 1 a konverguje rovnoměrně na celé hranici Šablona:Mabs = 1, ale nekonverguje absolutně na hranici.[4]

Rychlost konvergence[editovat | editovat zdroj]

Pokud expandujeme funkci

v okolí bodu x = 0, zjistíme, že poloměr konvergence této řady je což znamená, že tato řada konverguje pro všechna komplexní čísla. V praxi nás často zajímá přesnost numerického řešení. Jak počet členů, tak hodnota, v nichž řada je, aby byla vyčíslit ovlivňují přesnost odpovědi. Například jestliže chceme vypočítat f(0.1) = sin(0.1) s přesností na pět desítkových míst, stačí nám pouze první dva členy řady. Pokud však chceme stejnou přesnost pro x = 1, musíme vyhodnotit a sečíst prvních pět členů řady. Pro f(10), je třeba prvních 18 členů řady a pro f(100) potřebujeme vyhodnotit prvních 141 členů.

Takže pro tyto určité hodnoty je nejrychlejší konvergence rozvoje mocninné řady ve středu. Při posunutí ze středu konvergence se rychlost konvergence snižuje, dokud nedosáhne hranice (pokud hranice existuje). Po překročení hranice, bude řada divergovat.

Konvergence Dirichletovy řady v x-ové souřadnici[editovat | editovat zdroj]

Podobným konceptem je konvergence Dirichletovy řady v x-ové souřadnici

Taková řada konverguje, pokud reálná část s je větší než určité číslo závisící na koeficientech an: abscissa konvergence.

Odkazy[editovat | editovat zdroj]

Reference[editovat | editovat zdroj]

V tomto článku byl použit překlad textu z článku Radius of convergence na anglické Wikipedii.

  1. Mathematical Analysis-II. [s.l.]: Krishna Prakashan Media Dostupné online. (anglicky) 
  2. Viz Obrázek 8.1 v knize „Perturbation Methods“.HINCH, E.J. Perturbation Methods. [s.l.]: Cambridge University Press, 1991. (Cambridge Texts in Applied Mathematics). Dostupné online. ISBN 0-521-37897-4. S. 146. 
  3. MERCER, G.N.; ROBERTS, A.J. A centre manifold description of contaminant dispersion in channels with varying flow properties. [s.l.]: [s.n.], 1990. DOI:10.1137/0150091. S. 1547–1565. 
  4. SIERPIŃSKI, Wacław. O szeregu potęgowym który jest zbieżny na całem swem kole zbieżności jednostajnie ale nie bezwzględnie. [s.l.]: [s.n.], 1918. S. 263–266. 

Literatura[editovat | editovat zdroj]

Externí odkazy[editovat | editovat zdroj]