Aszimptotikus sor

A Wikipédiából, a szabad enciklopédiából

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\limits_{k = 0}^n {\frac{{a_k }}{{x^k }}} + \mathcal{O}\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\limits_{k = 0}^\infty {\frac{{a_k }}{{x^k }}}

Tulajdonságok[szerkesztés | forrásszöveg szerkesztése]

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[szerkesztés | forrásszöveg szerkesztése]

\frac{e^x}{x^x \sqrt{2\pi x}} \Gamma(x+1) \sim 1+\frac{1}{12x}+\frac{1}{288x^2}-\frac{139}{51840x^3}-\cdots
\ (x \rightarrow \infty)
xe^xE_1(x) \sim \sum_{n=0}^\infty \frac{(-1)^nn!}{x^n} \ (x \rightarrow \infty)
\zeta(s) \sim \sum_{n=1}^{N-1}n^{-s} + \frac{N^{1-s}}{s-1} +
N^{-s} \sum_{m=1}^\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}} a süllyedő 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|.
 \sqrt{\pi}x e^{x^2}{\rm erfc}(x) = 1+\sum_{n=1}^\infty (-1)^n \frac{(2n)!}{n!(2x)^{2n}}.

Irodalom[szerkesztés | forrásszöveg szerkesztése]

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