渐近展开

在渐近分析中，一个函数的渐近展开^[1]被定义为一个函数级数（通常是柯西发散的），该级数的每一个部分和都给出该函数的一个渐近表达式。

形式定义

下面的定义中用到小 o 表示法。

f (z) - \sum_{n = 0}^{m} a_{n} ϕ_{n} (z) = o (ϕ_{m} (z)), z \to z_{0}, \forall m \in ℤ_{0}^{+}

则称级数

\sum_{n = 0}^{\infty} a_{n} ϕ_{n} (z)

f (z) \sim \sum_{n = 0}^{\infty} a_{n} ϕ_{n} (z), z \to z_{0}

粗略来说，渐近级数与一般的级数展开（例如泰勒级数）的区别在于，渐近级数是 Template:Mvar 越接近 Template:Mvar₀，部分和越接近被展开的函数，而泰勒级数等则是 Template:Mvar 点固定，取的项数越多结果越接近被展开的函数。

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

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

在一定的辐角范围内，给定了 {φ_{Template:Mvar}(Template:Mvar)} 的具体形式后，一个函数 Template:Mvar(Template:Mvar) 渐近展开的表达式是唯一的，即系数序列 {Template:Mvar_{Template:Mvar}} 是唯一的。这是因为系数序列可以由下面的关系完全确定：

a_{m} = \lim_{z \to z_{0}} \frac{1}{ϕ_{m} (z)} [f (z) - \sum_{n = 0}^{m - 1} a_{n} ϕ_{n} (z)]

但是反过来，两个不同的函数 Template:Mvar(Template:Mvar) 与 Template:Mvar(Template:Mvar) 在同一个点 Template:Mvar₀ 处可以有同样的渐近展开，事实上，设函数 φ_∞(Template:Mvar) 满足：

ϕ_{\infty} (z) = o (ϕ_{m} (z)), z \to z_{0}, \forall m \in ℤ_{0}^{+}

则显然 Template:Mvar(Template:Mvar) 与 Template:Mvar(Template:Mvar)+φ_∞(Template:Mvar) 在同一个点 Template:Mvar₀ 处有同样的渐近展开。

在渐近展开中最常用的是渐近幂级数，它定义为

ϕ_{n} (z) = {\begin{matrix} z^{- n} & z_{0} = \infty \\ (z - z_{0})^{n} & otherwise \end{matrix}

\frac{e^{z}}{z^{z} \sqrt{2 π z}} Γ (z + 1) \sim 1 + \frac{1}{12 z} + \frac{1}{288 z^{2}} - \frac{139}{51840 z^{3}} - \dots, z \to \infty, | \arg z | < π

\exp [i (\frac{π}{4} - \frac{ν π}{2} - z)] \sqrt{\frac{π z}{2}} H_{ν}^{(1)} (z) \sim \sum_{k = 0}^{\infty} \frac{i^{k} \prod_{n = 1}^{k} (4 ν^{2} - (2 n - 1)^{2})}{2^{3 k} k!} z^{- k}, z \to \infty, - π < \arg z < 2 π

z^{a} U (a, b, z) \sim \sum_{n = 0}^{\infty} (a)^{(n)} (a - b + 1)^{(n)} (- z)^{- n}, z \to \infty, | \arg z | < \frac{3 π}{2}

式中用到了升阶乘的 Pochhammer 记号。