Asymptotický rozvoj

Asymptotický rozvoj, asymptotická řada nebo Poincarého rozvoj (po Henri Poincarém), pod vlivem angličtiny i asymptotická expanze, je v matematice formální řada funkcí, která má tu vlastnost, že zkrácení řady na konečný počet členů poskytne aproximaci dané funkce, když se argument funkce blíží k určitému, často nevlastnímu, bodu. R. B. Dingle odhalil ve svém výzkumu,Šablona:Sfn že divergentní část asymptotického rozvoje je latentně smysluplná, tj. obsahuje informace o přesné hodnotě rozvíjené funkce.

Nejobvyklejším typem asymptotického rozvoje je mocninná řada buď s kladnými nebo zápornými mocninami. K metodám generování takového rozvoje patří Eulerův–Maclaurinův sumační vzorec a integrální transformace, např. Laplaceova nebo Mellinova transformace. Také opakovaná integrace per partes často vede k asymptotickému rozvoji.

Protože konvergentní Taylorova řada také vyhovuje definici asymptotického rozvoje, názvem „asymptotická řada“ obvykle označujeme nekonvergentní řadu. Přestože nekonverguje, asymptotický rozvoj je užitečný, když je zkrácen na konečný počet členů. Taková aproximace může poskytovat výhody tím, že je matematicky snáze proveditelná než funkce, s jejímž rozvojem se pracuje, nebo je její výpočet rychlejší než původní funkce. Typicky je nejlepší aproximací, když je řada zkráceny po nejmenším členu. Tímto způsobem optimálně zkrácený asymptotický rozvoj je znám jako superasymptotika. Chyba pak je typicky tvaru Šablona:Math kde Šablona:Math je parametr rozvoje. Chyba je tedy menšího řádu než všechny parametry rozvoje a může být dále zlepšena na superasymptotickou chybu, například použitím resumačních metod, jako je Borelova resumace, na divergentní část řady. Takové metody se často označují za hyperasymptotická aproximace.

Zápisy používané v tomto článku jsou popsány v článcích asymptotická analýza a Landauova notace.

Formální definice

Nejdříve definujeme asymptotickou škálu, pak formálně definujeme asymptotický rozvoj.

Pokud ${\phi }_n$ je posloupnost spojitých funkcí na nějaké doméně a L je limitní bod definičního oboru, pak posloupnost vytváří asymptotickou škálu, pokud pro každé n platí

${\phi }_{n+1}(x)=o({\phi }_n(x))(x\to L).$

(L může být nekonečno.) Jinými slovy, posloupnost funkcí tvoří asymptotickou škálu, pokud každá funkce v posloupnosti roste striktně pomaleji (v limitě $x\to L$) než předchozí funkce.

Pokud f je spojitá funkce na doméně asymptotické škály, pak f má asymptotický rozvoj řádu N podle škály jako formální řada

$\sum _{n=0}^N{a}_n{\phi }_n(x)$

pokud

$f(x)-\sum _{n=0}^{N-1}{a}_n{\phi }_n(x)=O({\phi }_N(x))(x\to L)$

nebo

$f(x)-\sum _{n=0}^{N-1}{a}_n{\phi }_n(x)=o({\phi }_{N-1}(x))(x\to L).$

Pokud platí jedno nebo druhé pro všechna N, pak zapisujemeŠablona:Doplňte zdroj

$f(x)\sim \sum _{n=0}^{\mathrm{\infty }}{a}_n{\phi }_n(x)(x\to L).$

V protikladu ke konvergentní řadě pro $f$, kde pro jakékoli pevné $x$ řada konverguje v limitě $N\to \mathrm{\infty }$, můžeme asymptotickou řadu považovat za konvergující pro pevné $N$ v limitě $x\to L$ (kde $L$ může být nekonečné).

Příklady

Grafické znázornění absolutní hodnoty chyby v asymptotickém rozvoji funkce Gama (vlevo). Vodorovná osa je počet členů asymptotického rozvoje. Modré body jsou pro Šablona:Nowrap a červené body jsou pro Šablona:Nowrap. Je vidět, že nejmenší chyba nastává u 14 členů pro Šablona:Nowrap, a u 20 členů pro Šablona:Nowrap, u více členů chyba diverguje.

• Gama funkce (Stirlingův vzorec)

$\frac{e^x}{x^x\sqrt{2\pi x}}\mathrm{\Gamma }(x+1)\sim 1+\frac{1}{12x}+\frac{1}{288x^2}-\frac{139}{51840x^3}-\cdots (x\to \mathrm{\infty })$

• Exponenciální integrál

$x{e}^x{E}_1(x)\sim \sum _{n=0}^{\mathrm{\infty }}\frac{(-1{)}^{n}n!}{x^n}(x\to \mathrm{\infty })$

• Logaritmický integrál

$\mathrm{li}(x)\sim \frac{x}{\ln x}\sum _{k=0}^{\mathrm{\infty }}\frac{k!}{(\ln x{)}^k}$

• Riemannova funkce zeta

$\zeta (s)\sim \sum _{n=1}^N{n}^{-s}-\frac{N^{1-s}}{s-1}-\frac{N^{-s}}{2}+N^{-s}\sum _{m=1}^{\mathrm{\infty }}\frac{B_{2m}{s}^{\overline{2m-1}}}{(2m)!N^{2m-1}}$kde $B_{2m}$ jsou Bernoulliho čísla a $s^{\overline{2m-1}}$ je rostoucí faktoriál. Tento rozvoj je platný pro všechna komplexní s a často se používá pro výpočet zeta funkce použitím dostatečně velké hodnoty N, například $N>|s|$.

• Chybová funkce

$\sqrt{\pi }x{e}^{x^2}\mathrm{e}\mathrm{r}\mathrm{f}\mathrm{c}(x)\sim 1+\sum _{n=1}^{\mathrm{\infty }}(-1{)}^n\frac{(2n-1)!!}{(2x^2{)}^n}(x\to \mathrm{\infty })$ kde Šablona:Math je dvojitý faktoriál.

Vypracovaný příklad

Asymptotické rozvoje se často objevují, když se obyčejná řada použije ve formálním výrazu, který způsobí, že je použita pro hodnoty mimo svůj poloměr konvergence. Můžeme například začít s obyčejnou řadou

$\frac{1}{1-w}=\sum _{n=0}^{\mathrm{\infty }}{w}^n.$

Výraz vlevo má smysl na celé komplexní rovině, až na $w=1$, zatímco pravá strana konverguje pouze pro $|w|<1$. Znásobení výrazem $e^{-w/t}$ a zintegrování obou stran dává

$\underset{0}{\overset{\mathrm{\infty }}{\int }}\frac{e^{-\frac{w}{t}}}{1-w}dw=\sum _{n=0}^{\mathrm{\infty }}{t}^{n+1}\underset{0}{\overset{\mathrm{\infty }}{\int }}{e}^{-u}{u}^{n}du,$

po substituci $u=w/t$ na pravé straně. Integrál na levé straně, chápaný jako hlavní hodnota integrálu, lze vyjádřit pomocí exponenciálního integrálu. V integrálu na pravé straně rozpoznáváme Gama funkci. Vyhodnocením obou stran obdržíme asymptotický rozvoj

$e^{-\frac{1}{t}}\mathrm{Ei}\left(\frac{1}{t}\right)=\sum _{n=0}^{\mathrm{\infty }}n!t^{n+1}.$

Jeho pravá strana jasně není konvergentní pro jakoukoli nenulovou hodnotu t. Zkrácením řady vpravo na konečný počet členů však můžeme obdržet docela dobrou aproximaci hodnoty $\mathrm{Ei}\left(\frac{1}{t}\right)$ pro dostatečně malé t. Provedeme substituci $x=-\frac{1}{t}$ a všimneme si, že $\mathrm{Ei}(x)=-E_1(-x)$ vede k asymptotickému rozvoji uvedenému výše v tomto článku.

Vlastnosti

Jednoznačnost pro danou asymptotickou škálu

Pro danou asymptotickou škálu $\{{\phi }_n(x)\}$ je asymptotický rozvoj funkce $f(x)$ jednoznačný. To znamená, že koeficienty $\{a_n\}$ jsou jednoznačně určené následujícím způsobem: $$\begin{array}{cc}{a}_0& =\underset{x\to L}{\lim }\frac{f(x)}{{\phi }_0(x)}\\ a_1& =\underset{x\to L}{\lim }\frac{f(x)-a_0{\phi }_0(x)}{{\phi }_1(x)}\\ & ⋮\\ a_N& =\underset{x\to L}{\lim }\frac{f(x)-\sum _{n=0}^{N-1}{a}_n{\phi }_n(x)}{{\phi }_N(x)}\end{array}$$ kde $L$ je limitní bod tohoto asymptotického rozvoje (může být $\pm \mathrm{\infty }$).

Nejednoznačnost pro danou funkci

Daná funkce $f(x)$ může mít mnoho asymptotických rozvojů (každý s jinou asymptotickou škálou).

Subdominance

Asymptotický rozvoj může být asymptotickým rozvojem pro více než jednu funkci.

Odkazy

Reference

• Šablona:Citace monografie
• Šablona:Citace monografie
• Šablona:Citace monografie
• Šablona:Citace monografie
• Šablona:Citace monografie
• Šablona:Citace monografie
• Šablona:Citace monografie
• Šablona:Citace monografie
• Šablona:Citace monografie
• Šablona:Citace monografie
• Šablona:Citace monografie
• Šablona:Citace monografie

Příbuzné obory

• Asymptotická analýza
• Singulární odchylka

Asymptotické metody

• Watsonovo lemma
• Mellinova transformace
• Laplaceova metoda
• Stacionární fáze aproximace
• Metoda největšího spádu

Externí odkazy

• Šablona:Citace elektronické monografie
• Wolfram Mathworld: Asymptotic Series