Aszimptotikus sor

Az aszimptotikus sor olyan számok sorozata, melyek az egymást követő értékeiben egyre inkább megközelítenek egy bizonyos értéket, de azt sosem érik el, még végtelen számú lépésben sem.

Legyen az f(x) függvény értelmezési tartománya $x>x_0$. Ekkor az f(x) függvény aszimptotikus sorának (aszimptotikus hatványsorának, Poincaré sorának) nevezzük a következőt:

$f\left(x\right)=\sum _{k=0}^n\frac{a_k}{x^k}+𝒪\left(\frac{1}{x^{n+1}}\right)$

Ennek az egyenlőségnek bármely n természetes számra fenn kell állnia. A kifejezésben az O jelölést használtuk. Szokásos jelölés még:

$f\left(x\right)\sim \sum _{k=0}^{\mathrm{\infty }}\frac{a_k}{x^k}$

Tulajdonságok

1. Ha egy függvénynek létezik aszimptotikus hatványsora, akkor az egyértelmű. Az aszimptotikus sor azonban nem határozza meg egyértelműen a függvényt.

2. Az aszimptotikus hatványsornak nem kell konvergensnek lennie. Ilyenkor a számítással elkövetett hiba az utolsó elhagyott tag abszolút értékével becsülhető.

Példák aszimptotikus hatványsorokra

• Gamma-függvény

$\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ális integrál

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

• Riemann-féle zéta-függvény

$\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}}$
ahol $B_{2m}$-k a Bernoulli-számok és $s^{\overline{2m-1}}$ az emelkedő faktoriális. Ez a sorfejtés minden komplex s-re érvényes és gyakran használják a zéta-függvény közelítésére ha N elég nagy, továbbá ha $N>|s|$.

• Hibafüggvény

$\sqrt{\pi }x{e}^{x^2}\mathrm{e}\mathrm{r}\mathrm{f}\mathrm{c}(x)=1+\sum _{n=1}^{\mathrm{\infty }}(-1{)}^n\frac{(2n)!}{n!(2x{)}^{2n}}.$

Irodalom

I. N. Bronstejn – K. A. Szemengyajev – G. Musiol – H. Mühlig: Matematikai Kézikönyv. 8. javított, átdolgozott kiadás, Typotex Kiadó, Budapest 2004