复变函数的幂级数展开
复变函数的幂级数展开是解析函数的重要表示方法，它揭示了函数在局部范围内的结构性质。下面我们逐步展开讲解。
1. 幂级数的基本形式
在复平面上，幂级数的一般形式为：
\[f(z) = \sum_{n=0}^{\infty} a_n (z - z_0)^n, \]
其中：
- \(z_0\) 是展开中心（复数），
- \(a_n\) 是复系数，
- 级数的收敛域是一个圆盘（可能包含边界），称为收敛圆。
2. 收敛半径与收敛圆
幂级数的收敛范围由收敛半径 \(R\) 决定：
- 若 \(R > 0\)，则级数在圆盘 \(|z - z_0| < R\) 内绝对收敛，在外部发散；
- 若 \(R = \infty\)，级数在整个复平面收敛；
- 若 \(R = 0\)，级数仅在 \(z = z_0\) 处收敛。
收敛半径可通过柯西-阿达马公式计算：
\[R = \frac{1}{\limsup_{n \to \infty} \sqrt[n]{|a_n|}}. \]
或者，如果极限存在，也可用比值法：
\[R = \lim_{n \to \infty} \left| \frac{a_n}{a_{n+1}} \right|. \]
3. 解析函数与幂级数的关系
关键定理：函数 \(f(z)\) 在点 \(z_0\) 的邻域内解析的充要条件是，它可在 \(z_0\) 处展开为幂级数，且收敛半径大于零。
- 这说明解析性等价于局部可幂级数展开。
- 系数 \(a_n\) 由函数在 \(z_0\) 处的导数确定：
\[a_n = \frac{f^{(n)}(z_0)}{n!}. \]
这就是复变函数中的泰勒级数。
4. 泰勒级数的例子
以 \(f(z) = e^z\) 在 \(z_0 = 0\) 处为例：
- 导数 \(f^{(n)}(z) = e^z\)，故 \(f^{(n)}(0) = 1\)；
- 泰勒级数为：
\[e^z = \sum_{n=0}^{\infty} \frac{z^n}{n!}, \]
收敛半径 \(R = \infty\)（在整个复平面收敛）。
5. 幂级数的唯一性
若两个幂级数在 \(z_0\) 的某个邻域内收敛到同一函数，则它们的系数完全相同。
- 这一性质是解析延拓的理论基础：如果两个解析函数在某个区域（即使很小）相等，则它们在公共定义域内完全一致。
6. 幂级数的运算
幂级数可进行加、乘、逐项求导或积分：
- 求导：
\[f'(z) = \sum_{n=1}^{\infty} n a_n (z - z_0)^{n-1}, \]
收敛半径不变。
- 积分：
\[\int_{z_0}^z f(\zeta) d\zeta = \sum_{n=0}^{\infty} \frac{a_n}{n+1} (z - z_0)^{n+1}, \]
同样保持收敛半径。
7. 与实幂级数的区别
复幂级数具有更严格的性质：
- 在收敛圆内，级数不仅收敛，还内闭一致收敛；
- 收敛圆上可能存在奇点（如 \(f(z) = \frac{1}{1+z^2}\) 在 \(z = \pm i\) 处有极点），这解释了实函数泰勒级数收敛受限的原因。
8. 应用：解析函数的零点阶数
若 \(f(z)\) 在 \(z_0\) 处解析且不为零，则其泰勒展开的常数项 \(a_0 \neq 0\)；
若 \(f(z_0) = 0\)，则零点阶数 \(m\) 是满足 \(a_m \neq 0\) 的最小正整数，此时：
\[f(z) = (z - z_0)^m \sum_{n=0}^{\infty} a_{m+n} (z - z_0)^n. \]
通过以上步骤，我们可以看到幂级数展开如何深刻刻画解析函数的局部性质，并为研究奇点、零点等提供工具。