查看“︁渐近展开”︁的源代码

在[[渐近分析]]中，一个函数的'''渐近展开'''<ref>{{cite book|title=数学物理方法（第二版）|url=https://archive.org/details/generalhigheredu0000unse_x6b5|author=吴崇试|isbn=9787301068199|publisher=[[北京大学出版社]]|origyear=2003|chapter=4}}</ref>被定义为一个函数[[级数]]（通常是[[发散级数|柯西发散]]的），该级数的每一个[[部分和]]都给出该函数的一个渐近表达式。

== 形式定义 ==
下面的定义中用到[[大O记号|小 o 表示法]]。

设 {φ<sub>{{mvar|n}}</sub>({{mvar|z}})} 为一个函数序列，{{{mvar|a}}<sub>{{mvar|n}}</sub>} 为一个[[数列]]，{{mvar|f}}({{mvar|z}}) 是一个函数，若
:<math> f(z)-\sum_{n=0}^m a_n\phi_n(z)=o(\phi_m(z)),\quad z\rightarrow z_0,\forall m\in\mathbb Z_0^+</math>

则称级数
:<math>\sum_{n=0}^{\infty} a_n\phi_n(z)</math>
为 {{mvar|f}}({{mvar|z}}) 在 {{mvar|z}}={{mvar|z}}<sub>0</sub> 点处的渐近级数。记作

:<math>f(z)\sim \sum_{n=0}^{\infty} a_n\phi_n(z),\quad z\rightarrow z_0</math>

== 与一般级数展开的区别 ==
粗略来说，渐近级数与一般的级数展开（例如[[泰勒级数]]）的区别在于，渐近级数是 {{mvar|z}} 越接近 {{mvar|z}}<sub>0</sub>，部分和越接近被展开的函数，而泰勒级数等则是 {{mvar|z}} 点固定，取的项数越多结果越接近被展开的函数。

另外一个重要的区别是，渐近展开常常需要对宗量有额外的限制，例如[[辐角]]的限制。

除此之外，一个函数在一点的泰勒展开表达式唯一地确定了以该点为中心的收敛圆内函数的形式，而渐近级数则不然，详见下一小节的讨论。

== 渐近展开的唯一性 ==
在一定的辐角范围内，给定了 {φ<sub>{{mvar|n}}</sub>({{mvar|z}})} 的具体形式后，一个函数 {{mvar|f}}({{mvar|z}}) 渐近展开的表达式是唯一的，即系数序列 {{{mvar|a}}<sub>{{mvar|n}}</sub>} 是唯一的。这是因为系数序列可以由下面的关系完全确定：
:<math>a_m=\lim_{z\rightarrow z_0}\frac 1{\phi_m(z)}\left[f(z)-\sum_{n=0}^{m-1}a_n\phi_n(z)\right]</math>

但是反过来，两个不同的函数 {{mvar|f}}({{mvar|z}}) 与 {{mvar|g}}({{mvar|z}}) 在同一个点 {{mvar|z}}<sub>0</sub> 处可以有同样的渐近展开，事实上，设函数 φ<sub>∞</sub>({{mvar|z}}) 满足：

:<math>\phi_\infty(z)=o(\phi_m(z)),\quad z\rightarrow z_0,\forall m\in\mathbb Z_0^+</math>

则显然 {{mvar|f}}({{mvar|z}}) 与 {{mvar|f}}({{mvar|z}})+φ<sub>∞</sub>({{mvar|z}}) 在同一个点 {{mvar|z}}<sub>0</sub> 处有同样的渐近展开。

== 渐近幂级数 ==
在渐近展开中最常用的是渐近幂级数，它定义为
:<math>\phi_n(z)=\begin{cases}z^{-n}&z_0=\infty\\(z-z_0)^n&\text{otherwise}\end{cases}</math>

=== 一些例子 ===
[[伽玛函数]]：
:<math>\frac{e^z}{z^z \sqrt{2\pi z}} \Gamma(z+1) \sim 1+\frac{1}{12z}+\frac{1}{288z^2}-\frac{139}{51840z^3}-\cdots,
\quad z\rightarrow\infty,|\arg z|<\pi</math>

[[汉克尔函数]]：
:<math>\exp\left[i\left(\frac\pi4-\frac{\nu\pi}2-z\right)\right]\sqrt{\frac{\pi z}2}H_\nu^{(1)}(z)
\sim\sum_{k=0}^\infty\frac{i^k\prod_{n=1}^k(4\nu^2-(2n-1)^2)}{2^{3k}k!}z^{-k},\quad z\rightarrow\infty, -\pi<\arg z<2\pi</math>

第二类[[合流超几何函数]]：
:<math>z^aU(a,b,z)\sim\sum_{n=0}^\infty (a)^{(n)}(a-b+1)^{(n)}(-z)^{-n},\quad z\rightarrow\infty, |\arg z|<\frac{3\pi}2</math>

式中用到了[[阶乘幂|升阶乘]]的 Pochhammer 记号。

== 参考 ==
<references /> 
* [[G. H. Hardy|Hardy, G. H.]], ''Divergent Series'', Oxford University Press, 1949.

{{Authority control}}
[[Category:渐近分析]]
[[Category:数学近似]]
[[Category:級數展開]]