1. 从一个“反直觉”的数学工具说起第一次在复分析课上听到“洛朗级数”这四个字的时候我脑子里冒出来的第一个念头是这不就是泰勒级数换了个名字吗毕竟泰勒级数已经能把一个光滑函数在一个点附近展开成幂级数了为什么还要再搞一套东西出来后来真正动手算了几道题尤其是碰到那些在某个点“爆掉”的函数时我才意识到洛朗级数根本不是泰勒级数的简单翻版它解决的是一个泰勒级数压根处理不了的问题。洛朗级数Laurent Series是复变函数论里的一个核心工具它把一个复变函数在一个圆环区域内展开成包含正幂次和负幂次两项的级数。听起来有点抽象但你可以这样理解泰勒级数只能描述函数在“正常点”附近的行为而洛朗级数能描述函数在“奇点”附近的行为。这个区别非常关键因为在实际问题中函数的奇点往往才是信息量最大的地方。这篇文章适合谁看如果你正在学复变函数、信号与系统、或者量子力学里涉及到复积分的内容那洛朗级数你绕不过去。如果你只是好奇“为什么数学里要有这么个东西”那这篇文章也能帮你建立一个直观的理解。我会从最基础的概念讲起一步步拆解它的构造逻辑、计算方法和实际用途尽量把那些教科书上写得干巴巴的东西讲得有人味儿。2. 洛朗级数到底长什么样2.1 从泰勒级数到洛朗级数一次自然的推广先把泰勒级数搬出来做个对比。一个函数 $f(z)$ 在点 $z_0$ 处如果解析也就是在这点及其邻域内可导那它可以在 $z_0$ 附近展开成$$f(z) \sum_{n0}^{\infty} a_n (z - z_0)^n$$这里 $a_n \frac{f^{(n)}(z_0)}{n!}$所有幂次都是非负的。这个级数在 $z_0$ 的某个邻域内收敛收敛半径至少是 $z_0$ 到最近奇点的距离。现在问题来了如果 $z_0$ 本身就是一个奇点呢比如 $f(z) \frac{1}{z}$在 $z0$ 处根本没有定义泰勒级数无从谈起。但洛朗级数说没关系我可以允许负幂次出现。于是我们写出$$f(z) \sum_{n-\infty}^{\infty} a_n (z - z_0)^n$$这就是洛朗级数的一般形式。注意求和指标 $n$ 是从 $-\infty$ 到 $\infty$也就是说它同时包含了 $(z-z_0)$ 的正幂次和负幂次。正幂次部分叫正则部分regular part负幂次部分叫主要部分principal part。这个“主要部分”的名字起得很到位因为函数在奇点附近的行为基本上就是由这部分决定的。2.2 收敛区域为什么是圆环而不是圆盘泰勒级数的收敛区域是一个圆盘$|z - z_0| R$。但洛朗级数的收敛区域是一个圆环$r |z - z_0| R$。这个圆环的内半径 $r$ 和外半径 $R$ 由函数在 $z_0$ 附近的奇点分布决定。为什么是圆环你可以这样想负幂次项 $(z-z_0)^{-n}$ 在 $z$ 远离 $z_0$ 的时候会趋于零但在 $z$ 靠近 $z_0$ 的时候会爆炸。所以负幂次部分要求 $|z - z_0| r$保证它不发散。而正幂次部分要求 $|z - z_0| R$保证它收敛。两个条件一夹就得到了一个圆环。举个具体的例子。考虑函数$$f(z) \frac{1}{z(z-1)}$$这个函数在 $z0$ 和 $z1$ 处各有一个奇点。如果我们想在 $z0$ 附近展开可以找到两个不同的洛朗展开在圆环 $0 |z| 1$ 内$f(z) -\frac{1}{z} - 1 - z - z^2 - \cdots$在圆环 $|z| 1$ 内$f(z) \frac{1}{z^2} \frac{1}{z^3} \frac{1}{z^4} \cdots$同一个函数同一个展开中心但在不同的圆环里展开式完全不同。这就是洛朗级数的一个核心特征展开式依赖于你选择的圆环区域。这一点和泰勒级数很不一样泰勒级数在收敛圆盘内是唯一的。2.3 主要部分与奇点分类的对应关系洛朗级数最有用的地方之一是它能直接告诉你奇点的类型。设 $f(z)$ 在 $z_0$ 处的洛朗展开为 $\sum_{n-\infty}^{\infty} a_n (z-z_0)^n$那么主要部分的情况奇点类型典型例子没有负幂次项$a_n0$ 对所有 $n0$可去奇点$\frac{\sin z}{z}$ 在 $z0$只有有限个负幂次项最高负幂次为 $-m$$m$ 阶极点$\frac{1}{z^2}$ 在 $z0$有无穷多个负幂次项本性奇点$e^{1/z}$ 在 $z0$这个表格看起来简单但它背后蕴含的信息量很大。比如本性奇点它的行为极其“狂野”——根据皮卡定理在本性奇点的任意小邻域内函数可以取到除了至多一个值之外的所有复数值。这种极端行为只有通过洛朗级数的主要部分才能看清楚。3. 怎么算出一个洛朗级数3.1 直接展开法适用于简单函数最直接的方法就是利用已知的幂级数展开公式通过代数变形凑出洛朗级数的形式。这个方法不需要算积分适合处理那些结构比较简单的函数。拿 $f(z) \frac{1}{z(z-1)}$ 在 $0 |z| 1$ 内的展开来演示。关键步骤是把函数拆成部分分式$$f(z) \frac{1}{z(z-1)} \frac{1}{z-1} - \frac{1}{z}$$然后分别处理两项。对于 $\frac{1}{z-1}$在 $|z|1$ 的条件下可以写成$$\frac{1}{z-1} -\frac{1}{1-z} -(1 z z^2 \cdots)$$对于 $\frac{1}{z}$它本身就是 $z^{-1}$已经是洛朗级数的形式了。所以$$f(z) -\frac{1}{z} - 1 - z - z^2 - \cdots$$你看整个过程就是代数变形加上已知的几何级数公式没有任何积分运算。这就是直接展开法的优势快、直观、不容易算错。但要注意一个坑在拆部分分式的时候每一项的展开方式取决于你所在的圆环区域。比如在 $|z|1$ 的时候$\frac{1}{z-1}$ 的处理方式就变了$$\frac{1}{z-1} \frac{1}{z} \cdot \frac{1}{1 - 1/z} \frac{1}{z}(1 \frac{1}{z} \frac{1}{z^2} \cdots)$$这时候展开出来就全是负幂次了。所以每次动手之前先确认清楚自己在哪个圆环里这是最关键的一步。3.2 积分公式法通用但计算量大洛朗级数的系数有明确的积分表达式$$a_n \frac{1}{2\pi i} \oint_C \frac{f(z)}{(z-z_0)^{n1}} dz$$其中 $C$ 是圆环内围绕 $z_0$ 的任意一条简单闭曲线。这个公式在理论推导中非常重要但实际计算的时候除非函数特别简单或者有对称性可以利用否则直接算积分往往比直接展开法麻烦得多。我个人的经验是考试的时候如果题目没有明确要求“用积分公式求系数”那就优先用直接展开法。积分公式法更适合用来证明定理或者处理那些无法通过代数变形展开的函数。3.3 常见函数的洛朗展开速查下面整理几个高频函数的洛朗展开这些在做题和实际应用中出现的频率极高建议直接记住函数展开中心圆环区域洛朗展开$e^{1/z}$$z0$$z$\frac{1}{z(z-1)}$$z0$$0z$\frac{1}{z(z-1)}$$z0$$z$\frac{\sin z}{z}$$z0$$z$\frac{1}{(z-1)(z-2)}$$z1$$0z-1这张表里的每一个展开我都建议你亲手推导一遍。推导的过程比记住结果重要得多因为推导过程中你会反复练习“判断圆环区域”和“选择合适的展开方式”这两个核心技能。4. 洛朗级数到底有什么用4.1 留数定理的基石如果你学过留数定理那你其实已经在用洛朗级数了只是可能没有意识到。留数定理说$$\oint_C f(z) dz 2\pi i \sum \text{Res}(f, z_k)$$其中 $\text{Res}(f, z_k)$ 就是 $f$ 在 $z_k$ 处洛朗展开中 $(z-z_k)^{-1}$ 项的系数 $a_{-1}$。为什么偏偏是 $a_{-1}$ 这一项因为在对洛朗级数逐项积分的时候只有 $\frac{1}{z-z_0}$ 这一项的积分不为零$$\oint_C (z-z_0)^n dz \begin{cases} 2\pi i n -1 \ 0 n \neq -1 \end{cases}$$其他所有正幂次和负幂次的积分都等于零。所以留数定理本质上就是洛朗级数逐项积分之后“幸存”下来的那一项。理解了这一点你就不会觉得留数定理是一个孤立的公式了它是洛朗级数结构的直接推论。4.2 信号处理中的Z变换在信号与系统领域Z变换的地位相当于连续时间里的拉普拉斯变换。一个离散时间信号 $x[n]$ 的Z变换定义为$$X(z) \sum_{n-\infty}^{\infty} x[n] z^{-n}$$这本身就是一个洛朗级数$z^{-n}$ 就是负幂次项。Z变换的收敛域ROC通常是一个圆环这和洛朗级数的收敛圆环完全对应。而且Z变换的收敛域不同对应的时域信号也不同——这正是洛朗级数“同一函数在不同圆环有不同展开”这一性质在信号处理中的体现。举个实际例子。假设一个系统的传递函数是 $H(z) \frac{1}{1 - 0.5z^{-1}}$它的收敛域可能是 $|z| 0.5$对应因果系统也可能是 $|z| 0.5$对应反因果系统。同一个表达式收敛域不同系统的因果性和稳定性就完全不同。这个知识点在信号处理课程里是必考点而它的数学基础就是洛朗级数的圆环收敛理论。4.3 物理学中的微扰展开在量子场论和统计物理里洛朗级数也经常出现。比如在计算费曼图的时候维度正规化技术会把积分结果写成关于维度参数 $\epsilon$ 的洛朗级数$$\int \frac{d^d k}{(2\pi)^d} \frac{1}{(k^2 m^2)^2} \frac{1}{\epsilon} \cdot C \text{有限项} O(\epsilon)$$这里的 $\frac{1}{\epsilon}$ 就是洛朗级数的负幂次项它对应着紫外发散。物理学家通过分析这个洛朗级数的主要部分来识别和消除发散这个过程叫重整化。你看洛朗级数不只是数学系的东西它是理论物理的基本工具之一。5. 实操中容易踩的坑5.1 圆环区域判断错误这是最常见的问题。很多人在拿到一个函数之后不先分析奇点分布直接就开始展开结果展开出来的级数在错误的区域里根本不收敛。正确的做法是先把函数的所有奇点找出来然后以展开中心为圆心按照到各个奇点的距离把复平面划分成若干个圆环。每个圆环里都要单独展开。比如 $f(z) \frac{1}{z(z-1)(z-2)}$ 在 $z0$ 附近展开奇点在 $z0, 1, 2$所以有三个圆环$0|z|1$、$1|z|2$、$|z|2$。每个圆环里的展开式都不一样。注意如果题目没有指定圆环区域那答案通常需要把所有圆环里的展开都写出来或者至少说明你选择的是哪个圆环。5.2 部分分式拆分后的展开方向搞反拆完部分分式之后每一项的展开方式取决于当前圆环和该项极点的位置关系。比如 $\frac{1}{z-1}$ 这一项在 $|z|1$ 的时候要写成 $-\frac{1}{1-z}$ 然后展开成 $-(1zz^2\cdots)$但在 $|z|1$ 的时候要写成 $\frac{1}{z} \cdot \frac{1}{1-1/z}$ 然后展开成 $\frac{1}{z}(1\frac{1}{z}\cdots)$。方向搞反了级数就不收敛。我自己的记忆口诀是“小圆环里提常数大圆环里提变量。”意思是当 $|z|$ 小于极点的模时把极点项写成 $\frac{1}{a} \cdot \frac{1}{1-z/a}$ 的形式提出常数 $a$当 $|z|$ 大于极点的模时写成 $\frac{1}{z} \cdot \frac{1}{1-a/z}$ 的形式提出变量 $z$。5.3 把可去奇点误判为极点有些函数看起来在某个点“分母为零”但实际上那个点是可去奇点。比如 $\frac{\sin z}{z}$ 在 $z0$ 处分母为零但 $\sin z$ 的泰勒展开是 $z - \frac{z^3}{3!} \cdots$除以 $z$ 之后得到 $1 - \frac{z^2}{3!} \cdots$根本没有负幂次项。所以 $z0$ 是可去奇点不是极点。判断方法很简单展开之后看有没有负幂次项。没有负幂次项就是可去奇点有有限个负幂次项就是极点有无穷多个就是本性奇点。不要看到分母为零就条件反射地认为是极点。5.4 收敛域端点行为忽略洛朗级数的收敛圆环边界上级数可能收敛也可能发散需要单独讨论。比如 $\sum_{n1}^{\infty} \frac{z^n}{n}$ 在 $|z|1$ 上除了 $z1$ 之外都收敛这是狄利克雷判别法的结论。但在实际应用中边界行为通常不影响主要结论所以很多人会忽略。不过如果你在做严格的数学推导边界行为是不能跳过的。6. 几个值得反复练习的典型案例6.1 有理函数的洛朗展开有理函数是练习洛朗展开的最佳素材因为它们的奇点结构清晰部分分式拆分也有固定套路。拿 $f(z) \frac{z1}{z^2(z-1)}$ 在 $z0$ 附近展开来说。首先找奇点$z0$二阶极点和 $z1$一阶极点。以 $z0$ 为中心圆环有两个$0|z|1$ 和 $|z|1$。在 $0|z|1$ 内拆部分分式$$f(z) \frac{z1}{z^2(z-1)} -\frac{2}{z} - \frac{1}{z^2} \frac{2}{z-1}$$然后 $\frac{2}{z-1} -\frac{2}{1-z} -2(1zz^2\cdots)$。所以$$f(z) -\frac{1}{z^2} - \frac{2}{z} - 2 - 2z - 2z^2 - \cdots$$在 $|z|1$ 内$\frac{2}{z-1} \frac{2}{z} \cdot \frac{1}{1-1/z} \frac{2}{z}(1\frac{1}{z}\cdots) \frac{2}{z} \frac{2}{z^2} \cdots$。所以$$f(z) -\frac{1}{z^2} - \frac{2}{z} \frac{2}{z} \frac{2}{z^2} \cdots \frac{1}{z^2} \frac{2}{z^3} \cdots$$注意在 $|z|1$ 的展开里所有正幂次项都消失了只剩下负幂次项。这不是巧合——当 $|z| \to \infty$ 时$f(z) \sim \frac{1}{z}$所以展开式里不应该有 $z$ 的正幂次。6.2 含指数函数的洛朗展开$f(z) e^{1/z}$ 在 $z0$ 处的展开是洛朗级数最经典的例子之一。利用 $e^w \sum_{n0}^{\infty} \frac{w^n}{n!}$令 $w 1/z$$$e^{1/z} \sum_{n0}^{\infty} \frac{1}{n! z^n} 1 \frac{1}{z} \frac{1}{2! z^2} \frac{1}{3! z^3} \cdots$$这个展开有无穷多个负幂次项所以 $z0$ 是本性奇点。这个函数的性质非常奇特当 $z$ 沿不同方向趋于零时$e^{1/z}$ 的极限完全不同。比如沿正实轴趋于零时$e^{1/z} \to \infty$沿负实轴趋于零时$e^{1/z} \to 0$沿虚轴趋于零时$e^{1/z}$ 在单位圆上振荡。这种极端的行为只有本性奇点才有。6.3 三角函数的有理组合$f(z) \frac{1}{\sin z}$ 在 $z0$ 附近的洛朗展开也值得练一练。$\sin z z - \frac{z^3}{3!} \frac{z^5}{5!} - \cdots$所以$$\frac{1}{\sin z} \frac{1}{z} \cdot \frac{1}{1 - \frac{z^2}{3!} \frac{z^4}{5!} - \cdots}$$令 $u \frac{z^2}{3!} - \frac{z^4}{5!} \cdots$利用 $\frac{1}{1-u} 1 u u^2 \cdots$$$\frac{1}{\sin z} \frac{1}{z}\left(1 \frac{z^2}{6} \frac{7z^4}{360} \cdots\right) \frac{1}{z} \frac{z}{6} \frac{7z^3}{360} \cdots$$这个展开在 $0|z|\pi$ 内成立因为最近的奇点在 $z\pm\pi$。展开式里只有 $z^{-1}$ 一个负幂次项所以 $z0$ 是一阶极点留数是 1。这个结果在计算涉及 $\frac{1}{\sin z}$ 的围道积分时非常有用。7. 我个人的一些经验体会洛朗级数这个东西刚学的时候容易把它当成一个纯计算技巧觉得无非就是“展开、找系数、判断奇点类型”这三板斧。但用得多了之后会发现它其实是一种局部分析方法。当你面对一个复杂的复变函数时洛朗级数让你能够“放大”到某个奇点附近看清楚函数在那里的精细结构。这种“局部放大”的思想在数学的很多分支里都有体现比如代数几何里的局部环、微分几何里的切空间。另外一个体会是洛朗级数的计算能力很大程度上取决于你对泰勒展开的熟练程度。如果你能把 $\frac{1}{1-z}$、$e^z$、$\sin z$、$\cos z$、$\ln(1z)$ 这几个基本展开记得滚瓜烂熟那洛朗展开基本上就是代数变形的问题。反过来如果基本展开不熟每算一步都要翻书那效率会非常低。最后分享一个我在做题时总结的小技巧当你需要判断一个函数的奇点类型时不要急着做完整的洛朗展开先试着算一下 $\lim_{z \to z_0} (z-z_0)^m f(z)$。如果存在某个最小的非负整数 $m$ 使得这个极限存在且不为零那 $z_0$ 就是 $m$ 阶极点。如果无论 $m$ 取多大极限都不存在那大概率是本性奇点。这个方法可以帮你快速判断奇点类型然后再决定要不要做完整的展开。当然如果要算留数或者做精确的积分计算完整的洛朗展开还是少不了的。