洛朗级数

1. 引入洛朗级数的背景与动机
   在实分析中，函数的幂级数展开（如泰勒级数）要求函数在展开点解析。但在复变函数中，常遇到函数在某个点不解析（如存在奇点）的情形。例如，函数 \(f(z) = \frac{1}{z}\) 在 \(z=0\) 处不解析，无法用泰勒级数表示。洛朗级数的提出正是为了将函数在奇点附近展开为更一般的级数形式，同时包含正幂次和负幂次项。

2. 洛朗级数的定义与形式
   洛朗级数是形如

\[ \sum_{n=-\infty}^{\infty} a_n (z - z_0)^n \]

的双向无穷级数，其中：

• \(z_0\) 是复平面上的点，称为展开中心；
• \(a_n\) 是复系数，由函数 \(f(z)\) 的积分决定；
• 级数分为两部分：
  • 正则部分：\(\sum_{n=0}^{\infty} a_n (z-z_0)^n\)（非负幂次，类似泰勒级数）；
  • 主要部分：\(\sum_{n=1}^{\infty} a_{-n} (z-z_0)^{-n}\)（负幂次，描述奇点特性）。

3. 洛朗级数的收敛区域
   洛朗级数在某个环形区域 \(R_1 <​ |z - z_0| <​ R_2\) 内收敛（其中 \(0 \leq R_1 <​ R_2 \leq \infty\)）。例如：

   • 若 \(R_1 = 0\)，则函数在 \(z_0\) 处有孤立奇点；
   • 若 \(R_2 = \infty\)，则函数在无穷远处可能解析。

4. 系数公式与计算
   系数 \(a_n\) 由以下积分公式确定：

\[ a_n = \frac{1}{2\pi i} \oint_C \frac{f(\zeta)}{(\zeta - z_0)^{n+1}} d\zeta, \]

其中积分路径 \(C\) 是环形区域内一条绕 \(z_0\) 的简单闭合曲线。实际计算中，常利用已知函数的级数展开（如几何级数）通过代数变形求解。

5. 示例：函数 \(f(z) = \frac{1}{z(z-1)}\) 在 \(0<​|z|<​1\) 内的洛朗展开
   • 部分分式分解：\(f(z) = \frac{1}{z-1} - \frac{1}{z}\)；
   • 对 \(\frac{1}{z-1}\)，在 \(|z|<​1\) 内展开为几何级数：\(-\frac{1}{1-z} = -\sum_{n=0}^{\infty} z^n\)；
   • 结合 \(-\frac{1}{z}\)，得洛朗级数：

\[ f(z) = -\frac{1}{z} - 1 - z - z^2 - \cdots. \]

6. 洛朗级数与奇点分类
   通过主要部分的项数可对孤立奇点分类：

   • 可去奇点：主要部分无项（如 \(\frac{\sin z}{z}\) 在 \(z=0\) 处）；
   • 极点：主要部分有限项（如 \(\frac{1}{z^3}\) 为三阶极点）；
   • 本性奇点：主要部分无限项（如 \(e^{1/z}\) 在 \(z=0\) 处）。

7. 应用：留数定理的基础
   洛朗级数的负一次幂系数 \(a_{-1}\) 称为函数在奇点处的留数。留数定理利用留数计算闭合路径积分，是复积分的重要工具。