复变函数脉络
- 约 31 分钟读完 - 全文 12354 字复变函数脉络
目标读者:学过一元微积分、但对“虚数 $i$”和“复平面上的积分”完全没有概念的新人。
阅读目标:用一篇文章建立复变函数的整体框架——知道每个概念是干什么的、公式什么时候用、考试和自学中最容易在哪些地方栽跟头。
阅读方式建议:先看第 1 节的知识地图建立全局观,再按章节顺序往下读;公式不需要一次全记住,但要记住“它解决什么问题”。
1. 先看清全局:复变函数知识地图
很多同学学复变函数学到一半会迷路,根本原因是不知道各章节之间的依赖关系。下面这张图就是整门课的“主线剧情”:
flowchart TD
A[复数基础<br/>代数/三角/指数形式<br/>欧拉公式] --> B[复变函数与极限<br/>导数的定义]
B --> C[解析函数<br/>柯西-黎曼方程<br/>调和函数]
C --> D[复积分<br/>柯西积分定理<br/>柯西积分公式]
D --> E[复级数<br/>泰勒级数 / 洛朗级数<br/>奇点分类]
E --> F[留数定理<br/>计算实积分]
C -.保角性.-> G[共形映射初步<br/>分式线性变换]
F --> H[应用:实积分计算<br/>傅里叶变换、信号处理]
style A fill:#e1f5ff
style C fill:#fff3cd
style D fill:#fff3cd
style E fill:#ffe1e1
style F fill:#ffe1e1
一句话概括这条主线:定义复数 → 定义“好”的函数(解析)→ 发现解析函数的积分有惊人的刚性(柯西定理)→ 用级数把函数在奇点附近展开 → 用留数把积分计算变成代数运算 → 顺便欣赏解析函数作为映射的几何美(共形映射)。
和实变微积分最大的区别在于:实函数可导一次不代表可导两次,而复函数只要在一个区域内可导(解析),就自动无穷次可导、自动能展开成幂级数。这门课的几乎所有“神奇结论”都从这里长出来。
可能有新人会问:学这些到底有什么用?下面这张“应用场景全景图”先给你一个直观答案,后面每一章还会展开细讲:
flowchart LR
A["复变函数核心工具"] --> B["欧拉公式与复数表示"]
A --> C["解析函数与调和函数"]
A --> D["留数定理"]
A --> E["共形映射"]
B --> F["信号处理:傅里叶变换"]
B --> G["交流电路:相量法"]
B --> Q["量子力学:复值波函数"]
C --> H["流体力学:势流与机翼升力"]
C --> I["静电场与温度场:拉普拉斯方程"]
D --> J["控制系统:拉普拉斯逆变换"]
D --> K["工程定积分快速计算"]
E --> L["机翼设计:茹科夫斯基变换"]
E --> M["地图投影:墨卡托投影"]
一句话总结:复变函数不是纯数学家的自娱自乐——没有它,就没有今天的手机信号处理、电网分析和飞机设计。
2. 复数基础:先把“数”本身搞明白
2.1 代数形式与复平面
复数就是形如
$$z = x + iy, \quad x, y \in \mathbb{R}, \; i^2 = -1$$
的数。$x$ 叫实部,记作 $\operatorname{Re} z$;$y$ 叫虚部,记作 $\operatorname{Im} z$。
白话解释:别被“虚数”这个名字吓到。你可以把复数完全理解成平面上的一个点 $(x, y)$ 或一个向量,$i$ 只是一个标记,用来区分横坐标和纵坐标。复数的加减法就是向量加减法。
复数 $z$ 的模(到原点的距离)和共轭(关于实轴对称的点):
$$|z| = \sqrt{x^2 + y^2}, \qquad \bar{z} = x - iy$$
一个有用的恒等式:
$$z \bar{z} = |z|^2$$
白话解释:做除法 $\dfrac{1}{z}$ 时,标准操作就是分子分母同乘 $\bar{z}$,把分母变成实数 $|z|^2$。这和中学“分母有理化”是同一个套路。
📜 历史故事:虚数是被方程“逼”出来的。 1545 年,意大利数学家卡尔达诺(Cardano)在《大术》(Ars Magna)中正式讨论过这类问题:比如“把 10 分成两数使乘积为 40”,解出来是 $5 \pm \sqrt{-15}$。他一边算一边嘀咕这东西“既玄妙又无用处”,但还是硬着头皮写了下来。 更关键的是三次方程:用求根公式解 $x^3 = px + q$ 时,即使三个根全是实数,中间步骤也常常绕不开负数的平方根——虚数不是数学家拍脑袋的发明,而是解方程时不得不面对的“过路客”。 近百年后的 1637 年,笛卡尔在《几何学》中给这类根起了个带贬义的名字——“imaginary(虚的)”,意思是“想象出来、并不真实存在的”。这个带偏见的名字沿用至今;但今天我们知道,虚数和负数、无理数一样,都是人类扩展数系的正常一步——“虚”的只是名字,不是内容。
2.2 三角形式与指数形式
把点 $(x, y)$ 用极坐标表示:$x = r\cos\theta$, $y = r\sin\theta$,于是
$$z = r(\cos\theta + i\sin\theta) = r e^{i\theta}$$
其中 $r = |z|$ 是模,$\theta = \arg z$ 叫辐角(注意:辐角有无穷多个,相差 $2\pi$ 的整数倍;落在 $(-\pi, \pi]$ 里的那个叫主辐角,记作 $\operatorname{Arg} z$)。
白话解释:代数形式方便做加减,指数形式方便做乘除和乘方——模相乘、辐角相加。两种形式要熟练互换。
2.3 欧拉公式:全课最重要的一个等式
$$e^{i\theta} = \cos\theta + i\sin\theta$$
取 $\theta = \pi$ 就得到号称“最美公式”的特例:
$$e^{i\pi} + 1 = 0$$
白话解释:欧拉公式把指数函数和三角函数焊在了一起。它的实际用途极其具体:求复数的 $n$ 次方、$n$ 次方根、把 $\cos^3 x$ 这类三角多项式化成指数形式算积分,全靠它。
📜 历史故事:“最美公式”的诞生。 欧拉(Euler)在 1748 年的《无穷分析引论》中明确写下 $e^{ix} = \cos x + i\sin x$,把当时看起来毫不相干的指数函数和三角函数统一了起来。 取 $x = \pi$ 得到 $e^{i\pi} + 1 = 0$,把数学里最重要的五个常数($0, 1, e, \pi, i$)缝进了一个等式,后来被无数数学家和科普读物票选为“最美公式”。 它不只是好看:正是这个公式,让工程师可以用一个复指数 $e^{i\omega t}$ 同时携带正弦和余弦两条信息——信号处理和电路分析的整套语言由此奠基(见本章末尾的应用场景)。
2.4 乘方与开方:棣莫弗公式
$$(\cos\theta + i\sin\theta)^n = \cos n\theta + i\sin n\theta$$
$z$ 的 $n$ 次方根恰有 $n$ 个:
$$\sqrt[n]{z} = \sqrt[n]{r}\, e^{i(\theta + 2k\pi)/n}, \quad k = 0, 1, \dots, n-1$$
白话解释:在复数世界里,开 $n$ 次方永远有 $n$ 个答案,它们均匀分布在以原点为圆心的圆上(正 $n$ 边形的顶点)。例如 $\sqrt[3]{1}$ 有三个根:$1$, $e^{2\pi i/3}$, $e^{4\pi i/3}$。忘记这一点是考试丢分重灾区。
下面这张概念关系图总结了本节各表示形式之间的转换路径:
graph LR
A["代数形式<br/>z = x + iy"] -- "r=|z|, θ=arg z" --> B["三角形式<br/>z = r·(cosθ + i·sinθ)"]
B -- 欧拉公式 --> C["指数形式<br/>z = r·e^(iθ)"]
C -- "乘方/开方" --> D[棣莫弗公式]
A -- "加减法最方便" --> E[四则运算]
C -- "乘除乘方最方便" --> E
2.5 应用场景:复数和欧拉公式在哪里用
- 信号处理——傅里叶变换的基石。任何声音、图像、无线电信号都可以分解成正弦波的叠加;欧拉公式让工程师用 $e^{i\omega t}$ 一个符号同时代表正弦和余弦,傅里叶变换整套理论就建立在这个表示上。你手机里的通话降噪、音乐压缩、Wi-Fi 调制,底层全在这一节的内容上跑。
- 交流电路分析——相量法。市电是 50 Hz 的正弦波。把电压、电流写成复数(相量)后,电感和电容带来的相位差就变成乘 $i\omega L$、$1/(i\omega C)$ 的代数运算——微分方程问题瞬间降级成复数四则运算。电气工程师每天都在用。
- 量子力学——波函数天生是复值的。微观粒子的状态用复值波函数 $\psi$ 描述,可观测量是模的平方 $|\psi|^2$——这里的“模方”正是 2.1 节的 $z\bar{z}$。复数在量子力学里不是计算技巧,而是物理描述本身的一部分。
3. 解析函数:复变函数的“主角”登场
3.1 复变函数与导数
复变函数 $w = f(z)$ 就是把复数映成复数的规则。写成实部虚部:
$$f(z) = u(x, y) + i\, v(x, y)$$
白话解释:一个复变函数等价于两个二元实函数打包。研究 $f$ 的性质,很多时候就是研究 $u$ 和 $v$。
导数的定义形式和实分析一模一样:
$$f’(z_0) = \lim_{\Delta z \to 0} \frac{f(z_0 + \Delta z) - f(z_0)}{\Delta z}$$
但差别是致命的:$\Delta z \to 0$ 在复平面上有无穷多条路径(沿实轴、沿虚轴、沿任意曲线……)。这个极限必须与路径无关,导数才存在。这正是复可导远比实可导“苛刻”的原因。
3.2 柯西-黎曼方程(C-R 方程)
$f(z) = u + iv$ 在点 $z$ 可导的必要条件是:
$$\frac{\partial u}{\partial x} = \frac{\partial v}{\partial y}, \qquad \frac{\partial u}{\partial y} = -\frac{\partial v}{\partial x}$$
若 $u, v$ 的偏导连续且满足 C-R 方程,则 $f$ 可导(充分条件)。此时
$$f’(z) = \frac{\partial u}{\partial x} + i\frac{\partial v}{\partial x}$$
白话解释:C-R 方程是“检验一个复函数是不是好函数”的试金石。比如 $f(z) = \bar{z} = x - iy$:$u = x$, $v = -y$,则 $u_x = 1$ 而 $v_y = -1$,不满足 C-R 方程,所以 $\bar{z}$ 处处不可导——哪怕它作为实函数 $(x,y)\mapsto(x,-y)$ 光滑得不能再光滑。
定义:若 $f$ 在区域 $D$ 内处处可导,就称 $f$ 在 $D$ 内解析(analytic)。解析是整门课的核心概念。
📜 历史故事:C-R 方程其实比柯西和黎曼都老。 这对偏微分方程最早出现在 1752 年达朗贝尔(d’Alembert)研究流体阻力的论文里,欧拉在 1750 年代也独立写过它——比柯西和黎曼出生都早,因此一些文献也称它为“达朗贝尔-欧拉方程”。 真正把它的地位抬到“核心”的是黎曼:他在 1851 年的博士论文中,把“满足 C-R 方程”作为复函数论的定义性条件,整套现代理论由此展开。 数学史的命名常常不奖励“谁先发现”,而是奖励“谁让它变得重要”——C-R 方程就是典型例子。
常见函数的解析性速查表:
| 函数 | 解析性 | 说明 |
|---|---|---|
| 多项式 $P(z)$ | 全平面解析 | 整函数 |
| $e^z = e^x(\cos y + i\sin y)$ | 全平面解析 | 周期 $2\pi i$ |
| $\sin z, \cos z$ | 全平面解析 | 由 $e^{iz}$ 定义 |
| $1/z$ | $\mathbb{C}\setminus\{0\}$ 解析 | $z=0$ 是奇点 |
| $\bar{z}$, $ | z | ^2$, $\operatorname{Re} z$ |
| $\ln z$ | 需割开支割线 | 多值函数,取单值分支后解析 |
3.3 调和函数:解析函数的“另一半赠品”
若 $f = u + iv$ 解析,则 $u$ 和 $v$ 都满足拉普拉斯方程:
$$\frac{\partial^2 u}{\partial x^2} + \frac{\partial^2 u}{\partial y^2} = 0$$
满足拉普拉斯方程的函数叫调和函数,$v$ 称为 $u$ 的共轭调和函数。
白话解释:给你解析函数的实部,可以用 C-R 方程把虚部(差一个常数)求出来。典型考题:“已知 $u(x,y) = x^2 - y^2$,求解析函数 $f(z)$。”步骤是:验证 $u$ 调和 → 由 $v_y = u_x = 2x$ 对 $y$ 积分 → 再由 $v_x = -u_y$ 定出待定函数 → 拼回 $f(z) = z^2 + C$。这类题有固定套路,后面避坑章节还会提。
📌 应用场景:拉普拉斯方程与调和函数在哪里用
- 流体力学——二维势流。不可压缩、无旋的平面流动,其速度势 $\varphi$ 和流函数 $\psi$ 恰好是一对共轭调和函数,拼成的复势 $\varphi + i\psi$ 就是解析函数。于是“解流场”变成了“找解析函数”——这是复变函数在工程上最漂亮的直接应用之一。
- 静电场与稳态温度场。无源区域的电势分布、稳态温度分布都满足拉普拉斯方程。给定边界条件求电势,本质上就是本节“已知调和函数求解析函数”那道题的工程版。
4. 复积分:全课最漂亮的定理都在这里
4.1 复积分的定义
沿分段光滑曲线 $C$ 的积分定义为
$$\int_C f(z)\, dz = \int_C (u + iv)(dx + i\, dy)$$
若 $C$ 有参数表示 $z = z(t)$, $t \in [a, b]$,则
$$\int_C f(z)\, dz = \int_a^b f(z(t))\, z’(t)\, dt$$
白话解释:算复积分的“保底方法”永远是参数化——把曲线写成 $z(t)$ 代进去,变成普通的实定积分。比如沿单位圆 $z = e^{it}$($t \in [0, 2\pi]$)积分 $\oint_{|z|=1} \frac{dz}{z}$:
$$\oint_{|z|=1} \frac{dz}{z} = \int_0^{2\pi} \frac{i e^{it}}{e^{it}} dt = 2\pi i$$
这个结果值得背下来,它是后面所有“神奇公式”的种子。
4.2 柯西积分定理
定理:若 $f$ 在单连通区域 $D$ 内解析,$C$ 是 $D$ 内任意闭曲线,则
$$\oint_C f(z)\, dz = 0$$
白话解释:解析函数在“没有包住奇点”的闭路上积分恒等于零。它的实际价值是积分与路径无关:两点之间的积分可以随便换路,哪条路好算走哪条。
注意定语“单连通”(区域内没有洞)。如果区域有洞、洞里藏着奇点,结论就可能失效——上面的 $\oint \frac{dz}{z} = 2\pi i \neq 0$ 就是反例,因为 $\frac{1}{z}$ 在 $z = 0$ 处不解析,而单位圆把它包住了。
📜 历史故事:柯西一个人建起了一座大厦。 复积分理论几乎可以说是柯西(Cauchy)一手创建的:1814 年他向法国科学院提交关于定积分的论文,开始系统研究复平面上的积分;1825 年的论文给出了积分与路径无关思想的雏形;随后十几年里他又发展出“留数”这一工具和整套计算技术。 有趣的是,柯西早年做这些研究时,连他自己都未必意识到结论有多深刻——“解析函数闭路积分为零”“函数值由边界决定”这些反直觉的性质,是被他一点一点挖出来的。 今天教材里“柯西积分定理 → 柯西积分公式 → 留数定理”这条主线,走的就是他当年走过的路。
4.3 柯西积分公式
若 $f$ 在闭路 $C$ 及其内部解析,$z_0$ 在 $C$ 内部,则
$$f(z_0) = \frac{1}{2\pi i} \oint_C \frac{f(z)}{z - z_0}\, dz$$
还有高阶导数版本:
$$f^{(n)}(z_0) = \frac{n!}{2\pi i} \oint_C \frac{f(z)}{(z - z_0)^{n+1}}\, dz$$
白话解释:这个公式非常反直觉——函数在内部一点的值,完全由它在边界上的值决定。它同时反推出“解析函数无穷次可导”。做题时它是算积分的利器:形如 $\oint_C \dfrac{f(z)}{z - z_0} dz$($f$ 解析、$z_0$ 在 $C$ 内)的积分,答案直接是 $2\pi i\, f(z_0)$,不用真的去积。
例如 $\oint_{|z|=2} \dfrac{e^z}{z - 1} dz = 2\pi i \cdot e^1 = 2\pi i e$。整个“计算”只有一步。
本节三个结果的逻辑关系:
flowchart TD
A[柯西积分定理<br/>解析 ⇒ 闭路积分为 0] --> B[柯西积分公式<br/>边界值决定内部值]
B --> C[高阶导数公式<br/>解析 ⇒ 无穷次可导]
C --> D[泰勒展开的可能性<br/>解析 ⇔ 局部可展成幂级数]
A --> E[复合闭路定理<br/>多连通区域:外路 = 内路之和]
E --> F[留数定理的雏形]
📌 应用场景:复积分在哪里用
-
**机翼升力— 📌 应用场景:复积分在哪里用
-
机翼升力——布拉修斯定理。空气动力学中,作用在机翼截面上的气动力可以用一个复围道积分(布拉修斯公式)直接写出,配合库塔-茹科夫斯基定理,升力大小正比于来流速度与绕机翼的环量。飞机能飞起来的定量解释,写的就是本章的语言。
-
拉普拉斯逆变换。工程上用拉普拉斯变换把微分方程变成代数方程,但最后一步“逆变换”本身是一个复平面上的积分(Bromwich 积分),实际计算靠的就是本章工具和后面的留数定理。
5. 级数:泰勒展开与洛朗展开
5.1 泰勒级数
若 $f$ 在圆盘 $|z - z_0| < R$ 内解析,则在该圆盘内
$$f(z) = \sum_{n=0}^{\infty} \frac{f^{(n)}(z_0)}{n!} (z - z_0)^n$$
白话解释:形式和实分析一样,但结论强得多——实函数可导不一定能展开(存在无穷次可导却展不开的怪函数),复解析函数一定可以在其解析圆盘内展开,展开半径等于 $z_0$ 到最近奇点的距离。这解释了实分析里一个怪现象:$\frac{1}{1+x^2}$ 在实轴上明明处处光滑,展开式却只在 $|x|<1$ 收敛——因为复平面上 $z = \pm i$ 处藏着奇点,离原点距离恰为 1。
常用展开式(都在 $z = 0$ 处,收敛域 $|z|$ 满足相应条件):
$$e^z = \sum_{n=0}^{\infty} \frac{z^n}{n!}, \qquad \sin z = \sum_{n=0}^{\infty} \frac{(-1)^n z^{2n+1}}{(2n+1)!}, \qquad \cos z = \sum_{n=0}^{\infty} \frac{(-1)^n z^{2n}}{(2n)!}$$
$$\frac{1}{1 - z} = \sum_{n=0}^{\infty} z^n \quad (|z| < 1), \qquad \ln(1+z) = \sum_{n=1}^{\infty} \frac{(-1)^{n-1}}{n} z^n \quad (|z| < 1)$$
白话解释:泰勒展开的实际操作几乎从不直接算 $n$ 阶导数,而是套用上面几个“母展开式”做变量替换。比如 $\dfrac{1}{1+z^2} = \sum (-1)^n z^{2n}$,就是把 $\dfrac{1}{1-w}$ 的展开式里 $w$ 换成 $-z^2$。
5.2 洛朗级数:在奇点附近展开
若 $f$ 在圆环 $r < |z - z_0| < R$ 内解析,则
$$f(z) = \sum_{n=-\infty}^{\infty} c_n (z - z_0)^n, \qquad c_n = \frac{1}{2\pi i} \oint_C \frac{f(\zeta)}{(\zeta - z_0)^{n+1}} d\zeta$$
和泰勒级数的区别:洛朗级数允许负幂次部分,即 $\sum_{n=1}^{\infty} \dfrac{c_{-n}}{(z - z_0)^n}$,称为主要部分;非负幂部分叫解析部分。
白话解释:泰勒级数处理“好点附近的展开”,洛朗级数处理“奇点附近的展开”。负幂项越多,这个奇点越“坏”。实际展开时同样不套系数公式(那个积分你算不动),而是用代数变形往 $\dfrac{1}{1-w}$ 上凑。例如把 $f(z) = \dfrac{1}{z(z-1)}$ 在 $0 < |z| < 1$ 内展开:
$$f(z) = -\frac{1}{z} \cdot \frac{1}{1 - z} = -\frac{1}{z}\sum_{n=0}^{\infty} z^n = -\sum_{n=0}^{\infty} z^{n-1} = -\frac{1}{z} - 1 - z - z^2 - \cdots$$
重要提醒:同一个函数在不同圆环内展开式不同!$\dfrac{1}{z(z-1)}$ 在 $|z| > 1$ 内的展开是另一个样子(要凑 $\dfrac{1}{1 - 1/z}$)。题目不给圆环,展开就是不完整的。
5.3 孤立奇点的分类
设 $z_0$ 是 $f$ 的孤立奇点($f$ 在 $0 < |z - z_0| < \delta$ 内解析但在 $z_0$ 不解析),看洛朗展开的主要部分:
| 类型 | 主要部分的形态 | 等价刻画 | 例子 |
|---|---|---|---|
| 可去奇点 | 没有负幂项 | $\lim_{z\to z_0} f(z)$ 存在且有限 | $\dfrac{\sin z}{z}$ 在 $z=0$ |
| 极点($m$ 阶) | 负幂项有限,最低到 $(z-z_0)^{-m}$ | $\lim_{z\to z_0} f(z) = \infty$ | $\dfrac{1}{z^2}$ 在 $z=0$(二阶极点) |
| 本性奇点 | 负幂项无穷多 | $\lim_{z\to z_0} f(z)$ 不存在也不为 $\infty$ | $e^{1/z}$ 在 $z=0$ |
白话解释:判断奇点类型最常用的办法不是展开,而是看极限或看“分子分母的零点阶数”。比如 $\dfrac{\sin z}{z^3}$ 在 $z = 0$:分子 $\sin z = z - \frac{z^3}{6} + \cdots$ 是一阶零点,分母是三阶零点,净剩二阶极点。
关于本性奇点有一个惊人的魏尔斯特拉斯定理:在本性奇点的任意小邻域内,函数值可以任意接近任何复数。$e^{1/z}$ 在 $z \to 0$ 时的行为就是这么狂野——这也是“本性”一词的由来。
📜 历史故事:中学教师出身的“分析严格化之父”。 魏尔斯特拉斯(Weierstrass)是复分析史上最有传奇色彩的人物之一:他大学没拿到学位,在中学教了十几年书,业余坚持研究;1854 年发表关于阿贝尔函数的论文后一举成名,随后受聘柏林大学。 与柯西从积分切入、黎曼从几何切入都不同,魏尔斯特拉斯走的是第三条路——以幂级数为出发点重建整个复分析,并把极限、连续等概念彻底严格化(今天微积分里的 $\varepsilon$-$\delta$ 语言就是他的遗产)。上面这条关于本性奇点的定理就以他命名(同类结果也由索霍茨基、卡索拉蒂独立得到)。 他的经历常被拿来鼓励后辈:做数学,什么时候开始都不算晚。
📌 应用场景:级数在哪里用
- 计算机如何算出 $\sin z$ 和 $e^z$。芯片和数值库计算三角函数、指数函数,底层就是截断的幂级数(配合区间约化)。你写
sin(x)时,跑的就是本章展开式的有限项版本。 - 生成函数与算法分析。组合数学和算法复杂度分析中,把数列 $a_n$ 打包成幂级数 $\sum a_n z^n$(生成函数),数列的渐进行为由离原点最近的奇点决定——这正是“收敛半径 = 到最近奇点的距离”这条结论的用武之地。
6. 留数定理:把积分变成算术
6.1 留数的定义与计算
$f$ 在孤立奇点 $z_0$ 处的留数定义为洛朗展开中 $(z - z_0)^{-1}$ 项的系数:
$$\operatorname{Res}(f, z_0) = c_{-1} = \frac{1}{2\pi i} \oint_C f(z)\, dz$$
白话解释:留数就是“$-1$ 次幂项的系数”。为什么单拎它出来?因为闭路积分一圈下来,解析部分和 $-2$ 次以下幂次的积分全是零,只有 $-1$ 次幂项贡献 $2\pi i \cdot c_{-1}$(回看 4.1 节那个 $2\pi i$ 的例子就懂了)。
极点处留数的速算公式($z_0$ 为 $m$ 阶极点):
$$\operatorname{Res}(f, z_0) = \frac{1}{(m-1)!} \lim_{z \to z_0} \frac{d^{m-1}}{dz^{m-1}} \left[ (z - z_0)^m f(z) \right]$$
最常用的特例:$z_0$ 为一阶极点(简单极点)时
$$\operatorname{Res}(f, z_0) = \lim_{z \to z_0} (z - z_0) f(z)$$
若 $f = \dfrac{P(z)}{Q(z)}$,$P(z_0) \neq 0$ 且 $z_0$ 是 $Q$ 的一阶零点,还有一个更好用的:
$$\operatorname{Res}(f, z_0) = \frac{P(z_0)}{Q’(z_0)}$$
白话解释:一阶极点几乎不用展开洛朗级数,直接套极限公式或 $P/Q’$ 公式。例如 $\operatorname{Res}\left(\dfrac{e^z}{z^2 - 1}, 1\right) = \dfrac{e^1}{2 \cdot 1} = \dfrac{e}{2}$($Q’ = 2z$ 代入 $z = 1$)。
6.2 留数定理
定理:若 $f$ 在闭路 $C$ 内除有限个孤立奇点 $z_1, \dots, z_n$ 外处处解析,则
$$\oint_C f(z)\, dz = 2\pi i \sum_{k=1}^{n} \operatorname{Res}(f, z_k)$$
白话解释:全课计算能力的巅峰。一个闭路积分 = $2\pi i$ 乘以“围道内所有奇点留数之和”。复积分问题从此变成了代数问题:找奇点 → 判断类型 → 算留数 → 加总 → 乘 $2\pi i$。
用留数定理计算实积分的标准流程:
flowchart LR
A["实积分<br/>∫ 型确定"] --> B{"判断类型"}
B -- "θ 从 0 到 2π 的三角有理式" --> C["令 z = e^(iθ)<br/>化为单位圆上的复积分"]
B -- "(-∞,+∞) 上的有理函数" --> D["取上半圆围道<br/>半径 R→∞"]
B -- "(-∞,+∞) 上 f(x)·e^(iax) 型" --> E["约当引理<br/>+ 上半圆围道"]
C --> F["找围道内奇点"]
D --> F
E --> F
F --> G["计算各留数并求和"]
G --> H["乘 2πi<br/>取实部/虚部得答案"]
D -.-> I["验证弧上积分→0"]
E -.-> I
6.3 三个经典应用类型
类型一:三角有理式 $\displaystyle\int_0^{2\pi} R(\cos\theta, \sin\theta)\, d\theta$
令 $z = e^{i\theta}$,则 $d\theta = \dfrac{dz}{iz}$,$\cos\theta = \dfrac{z + z^{-1}}{2}$,$\sin\theta = \dfrac{z - z^{-1}}{2i}$,积分化为单位圆上的复积分。例:
$$\int_0^{2\pi} \frac{d\theta}{2 + \cos\theta} = \oint_{|z|=1} \frac{2}{i} \cdot \frac{dz}{z^2 + 4z + 1} = \frac{2\pi}{\sqrt{3}}$$
白话解释:代换是死套路,背下来就能用。关键是分母因式分解后,只取模小于 1 的根(落在单位圆内的奇点)。
类型二:无穷限有理函数积分 $\displaystyle\int_{-\infty}^{\infty} \frac{P(x)}{Q(x)}\, dx$
要求 $Q$ 的次数比 $P$ 至少高 2 次且 $Q$ 在实轴上无零点。取上半圆围道,半径趋于无穷时圆弧部分积分趋于零,于是
$$\int_{-\infty}^{\infty} \frac{P(x)}{Q(x)} dx = 2\pi i \sum_{\operatorname{Im} z_k > 0} \operatorname{Res}\left(\frac{P}{Q}, z_k\right)$$
经典例子:
$$\int_{-\infty}^{\infty} \frac{dx}{1 + x^2} = 2\pi i \cdot \operatorname{Res}\left(\frac{1}{1+z^2}, i\right) = 2\pi i \cdot \frac{1}{2i} = \pi$$
白话解释:只数上半平面的奇点($z = i$,不算 $z = -i$)。这个题当然可以用 $\arctan$ 秒掉,但留数方法能处理 $\int \frac{dx}{1+x^4} = \frac{\pi}{\sqrt{2}}$ 这类 $\arctan$ 搞不定的。
类型三:傅里叶型积分 $\displaystyle\int_{-\infty}^{\infty} f(x) e^{iax} dx \;(a > 0)$
依靠约当引理:若 $f(z) \to 0$(当 $|z| \to \infty$,上半平面),则 $\int_{C_R} f(z) e^{iaz} dz \to 0$。于是同样化成上半平面留数和,最后取实部或虚部。例如
$$\int_{-\infty}^{\infty} \frac{\cos x}{x^2 + 1} dx = \operatorname{Re}\left(2\pi i \cdot \operatorname{Res}\left(\frac{e^{iz}}{z^2+1}, i\right)\right) = \operatorname{Re}\left(2\pi i \cdot \frac{e^{-1}}{2i}\right) = \frac{\pi}{e}$$
白话解释:对 $\cos x$ 型积分,先算 $e^{ix}$ 的复积分再取实部,比直接对 $\cos x$ 用围道容易得多——因为 $|e^{iz}| = e^{-y}$ 在上半平面是衰减的,而 $|\cos z|$ 反而爆炸。
📌 应用场景:留数定理在哪里用
- 控制系统——拉普拉斯逆变换与稳定性。求传递函数的时域响应要做拉普拉斯逆变换,标准做法就是 Bromwich 围道 + 留数定理;系统响应的模式(衰减快慢、是否振荡)完全由传递函数极点的位置决定——控制理论里的“极点”就是本章的极点。
- 傅里叶变换与频谱计算。信号处理里大量频域积分形如 $\int_{-\infty}^{\infty} f(x) e^{iax} dx$,正是 6.3 节的类型三。通信工程中算滤波器响应、物理学中算格林函数,都在反复使用“约当引理 + 留数”这一套。
- 工程定积分的“暴力美学”。许多看起来无解的实积分(如 $\int_0^{\infty} \frac{\sin x}{x} dx = \frac{\pi}{2}$)用留数几行就能算完。这道积分在信号处理里对应理想低通滤波器的响应,是教科书与工程文献的常客。
7. 共形映射初步:解析函数的几何面孔
7.1 什么是共形映射
设 $w = f(z)$ 在 $z_0$ 解析且 $f’(z_0) \neq 0$,则映射在 $z_0$ 处具有:
- 保角性:过 $z_0$ 的任意两条曲线的夹角,在映射后保持不变(大小和方向都不变);
- 伸缩率不变性:该点处的伸缩率 $|f’(z_0)|$ 与方向无关。
满足这两条性质的映射叫共形映射(保角映射)。
白话解释:共形映射是“局部保持形状”的映射——小图形映过去还是相似的小图形,只是整体可以弯曲拉伸。条件是 $f’(z_0) \neq 0$:导数为零的点(如 $z^2$ 在 $z = 0$,角度翻倍)保角性失效。
📜 历史故事:黎曼 39 年的一生改变了数学。 黎曼(Riemann)1851 年在哥廷根提交的博士论文,用 C-R 方程为整个复函数论统一奠基,并发明了“黎曼面”来驯服 $\sqrt{z}$、$\ln z$ 这类多值函数——把多值函数摊到多层曲面上之后,它就变成了单值函数。 同一篇论文还提出了著名的黎曼映射定理:任何单连通区域(只要不是整个复平面)都能共形映射到单位圆盘——本章所有“把某某区域映成单位圆”的题目,理论靠山都是它。 据说极少夸奖别人的高斯,在答辩后对这篇论文赞不绝口。黎曼 1866 年去世时只有 39 岁,但他的思想至今渗透在数学和物理的每个角落。
7.2 必会的几个基本映射
| 映射 | 效果 | 备注 |
|---|---|---|
| $w = z + b$ | 平移 | 刚体运动 |
| $w = az$($a \neq 0$) | 旋转 + 伸缩 | 辐角旋转 $\arg a$,模缩放 $ |
| $w = 1/z$ | 反演 | 把圆/直线映成圆/直线 |
| $w = z^n$ | 角域张角变 $n$ 倍 | 扇形 ↔ 半平面常用 |
| $w = e^z$ | 带形 ↔ 角域/半平面 | $x$ 定值 → 圆,$y$ 定值 → 射线 |
| $w = \ln z$ | $e^z$ 的逆 | 角域 ↔ 带形 |
白话解释:这张表的用途在于——复杂共形映射大多由这些基本映射复合而成。做题时先想清楚“哪一步把弯曲边界掰直、哪一步把角撑开”,再反推该用哪几个映射串联。
7.3 分式线性变换(默比乌斯变换)
$$w = \frac{az + b}{cz + d}, \quad ad - bc \neq 0$$
白话解释:这是共形映射一章的核心。它有三大性质,记住就能做题:
- 保圆性:把圆周或直线映成圆周或直线(直线视为过无穷远点的圆);
- 保对称性:关于圆对称的点映成关于像圆对称的点;
- 三对点唯一确定:任给 $z$ 平面三点 $z_1, z_2, z_3$ 和 $w$ 平面三点 $w_1, w_2, w_3$,存在唯一分式线性变换把它们对应过去,由交比等式求出:
$$\frac{w - w_1}{w - w_2} : \frac{w_3 - w_1}{w_3 - w_2} = \frac{z - z_1}{z - z_2} : \frac{z_3 - z_1}{z_3 - z_2}$$
白话解释:考题的固定题型是“求把上半平面映成单位圆的分式线性变换”。标准答案形如 $w = e^{i\theta} \dfrac{z - z_0}{z - \bar{z}_0}$($\operatorname{Im} z_0 > 0$)。推导思路:实轴要映成单位圆周,$z_0$ 映成圆心 $0$,其关于实轴的对称点 $\bar{z}_0$ 由保对称性必须映成 $\infty$。
共形映射这章在本科阶段一般只要求到会构造“角域 → 半平面 → 单位圆”这类复合映射,它的深层价值在于:物理和工程中可以把复杂边界上的拉普拉斯方程边值问题,先共形变换到简单区域上求解,再映回来。
📌 应用场景:共形映射在哪里用
- 飞机翼型设计——茹科夫斯基变换。20 世纪初,茹科夫斯基(Joukowski)用形如 $w = z + \dfrac{1}{z}$ 的变换把圆映成逼真的机翼截面形状:圆上的绕流好算,映回去就得到翼型周围的流场和升力。这是共形映射在工程史上最辉煌的一次亮相,也是现代机翼设计的起点之一。
- 电磁场与热传导的边值问题。形状古怪的边界(比如两个偏心圆筒之间的电场)上直接解拉普拉斯方程几乎不可能,但可以先共形变换到同心圆、平行板这类简单形状上求解,再映回来。这正是 7.3 节“角域 → 半平面 → 单位圆”套路的实战价值。
- 地图投影——墨卡托投影。1569 年诞生的墨卡托投影之所以成为航海图标准,正是因为它是共形的:图上量出的航向角等于真实航向角。“保角”这件事在地球仪上和在解析函数里,是同一个数学事实。
8. 避坑技巧:新人最容易栽的 9 个坑
坑 1:以为 $|z|$、$\bar{z}$、$\operatorname{Re} z$ 也是解析函数
- 错误说法:“$f(z) = \bar{z}$ 很光滑,肯定处处可导。”
- 正确理解:解析要求满足 C-R 方程。$\bar{z}$、$|z|^2$、$\operatorname{Re} z$、$\operatorname{Im} z$ 全都处处不解析。判断口诀:表达式里出现 $\bar{z}$ 或单独的 $x, y$(而非打包成 $z$)的函数,基本都不解析。
- 例子:$f(z) = |z|^2 = z\bar{z}$。$u = x^2 + y^2$, $v = 0$,C-R 方程要求 $2x = 0$ 且 $2y = 0$,只在原点成立,所以只在 $z = 0$ 可导、处处不解析。
坑 2:忘记复数开方是多值的
- 错误说法:“$\sqrt{1} = 1$,和实数一样。”
- 正确理解:复数开 $n$ 次方有 $n$ 个根,均匀分布在圆周上。同理 $\ln z$ 是无穷多值的,$\operatorname{Ln} z = \ln|z| + i(\arg z + 2k\pi)$。
- 例子:方程 $z^4 = -16$ 的解有 4 个:$2e^{i(\pi + 2k\pi)/4}$,$k = 0, 1, 2, 3$,即 $\sqrt{2}(1+i)$、$\sqrt{2}(-1+i)$、$\sqrt{2}(-1-i)$、$\sqrt{2}(1-i)$。
坑 3:把实函数的直觉直接搬进复数
- 错误说法:“$|\sin z| \le 1$,因为中学就学过正弦有界。”
- 正确理解:复变量的三角函数无界!$\sin(iy) = \dfrac{e^{-y} - e^{y}}{2i} = i\sinh y$,随 $y$ 指数增长。同理 $e^z$ 是周期的(周期 $2\pi i$)、$\cos z$ 无界。
- 例子:方程 $\cos z = 2$ 在实数范围无解,在复数范围有解:$z = 2k\pi \pm i\ln(2 + \sqrt{3})$。
坑 4:滥用柯西积分定理,忘了检查“单连通 + 无奇点”
- 错误说法:“闭路积分都是零,这是柯西定理说的。”
- 正确理解:柯西定理要求 $f$ 在 $C$ 及其内部处处解析。围道里包了奇点,积分一般不为零。
- 例子:$\oint_{|z|=1} \dfrac{dz}{z} = 2\pi i \neq 0$,因为 $\dfrac{1}{z}$ 在圆内点 $z = 0$ 不解析。
坑 5:用柯西积分公式时不看 $z_0$ 在不在围道内
- 错误说法:“$\oint_C \dfrac{f(z)}{z - z_0} dz = 2\pi i f(z_0)$,无条件成立。”
- 正确理解:$z_0$ 必须在 $C$ 内部才有这个结论;$z_0$ 在 $C$ 外部时积分是 $0$(被积函数在 $C$ 内解析);$z_0$ 恰好在 $C$ 上时积分发散(按主值算是 $\pi i f(z_0)$,本科一般不考)。
- 例子:$\oint_{|z|=1} \dfrac{e^z}{z - 2} dz = 0$,因为奇点 $z = 2$ 在单位圆外。
坑 6:洛朗展开不看圆环区域
- 错误说法:“$\dfrac{1}{z(z-1)}$ 的洛朗展开是唯一的。”
- 正确理解:同一个函数在不同圆环 $0 < |z| < 1$、$|z| > 1$ 内的展开式完全不同。展开前必须先确认题目给的圆环,再决定往 $\dfrac{1}{1-z}$ 还是 $\dfrac{1}{1 - 1/z}$ 上凑。
- 例子:在 $|z| > 1$ 内,$\dfrac{1}{z(z-1)} = \dfrac{1}{z^2}\cdot\dfrac{1}{1 - 1/z} = \sum_{n=0}^{\infty} z^{-n-2}$,和 5.2 节在 $0<|z|<1$ 内的展开式毫无相似之处。
坑 7:把 $m$ 阶极点的留数公式记错阶数
- 错误说法:“二阶极点留数就是 $\lim (z-z_0)^2 f(z)$。”
- 正确理解:那个极限只能用来验证极点阶数,不是留数。$m$ 阶极点的留数要先乘 $(z-z_0)^m$、再求 $m-1$ 阶导、再除以 $(m-1)!$、最后取极限。一阶极点才是直接乘了取极限。
- 例子:$f(z) = \dfrac{1}{(z-1)^2}$ 在 $z = 1$ 是二阶极点,$\operatorname{Res} = \lim_{z\to1} \dfrac{d}{dz}\left[(z-1)^2 f(z)\right] = \lim_{z\to1} \dfrac{d}{dz}(1) = 0$。直接乘 $(z-1)^2$ 取极限会得到 $1$,是错的。
坑 8:用留数算实积分时把上半下半平面的奇点全算进去
- 错误说法:“把所有极点的留数加起来乘 $2\pi i$。”
- 正确理解:只加围道内部的奇点。取上半圆围道就只加上半平面的;$\int_0^{2\pi}$ 型换成单位圆后只加单位圆内的。
- 例子:$\int_{-\infty}^{\infty} \dfrac{dx}{1+x^2}$ 的极点有 $i$ 和 $-i$ 两个,但上半圆围道只包含 $i$,所以只有 $\operatorname{Res}(i) = \frac{1}{2i}$ 一项。把 $-i$ 也算进去会得到 $0$,显然荒谬。
坑 9:以为可导一次就万事大吉,或反过来以为解析很难验证
- 错误说法:“在一点满足 C-R 方程,函数就在该点解析。”
- 正确理解:C-R 方程只是必要条件;要得出可导还需偏导数连续(或直接验证导数定义)。另外,“解析”是区域上的概念——在一点只能说“可导”,说“在 $z_0$ 解析”严格含义是“在 $z_0$ 的某个邻域内处处可导”。
- 例子:$f(z) = \sqrt{|xy|}$ 在 $z = 0$ 处满足 C-R 方程(四个偏导都是 0),但沿 $y = x$ 方向逼近时导数极限不存在,故在 $z = 0$ 不可导。
9. 学习建议与资源建议
学习路径建议:
- 先过完一遍框架再抠细节。复变函数的定理环环相扣,第一遍学习卡住时先看懂定理的“条件和结论分别是什么”,证明细节可以第二轮再补。
- 计算能力靠套路堆出来。这门课的考试高度套路化:C-R 方程判断解析、参数化算积分、柯西公式/留数定理算闭路积分、洛朗展开、分式线性变换构造。每类题精做 3–5 道,比泛泛做三十道有效。
- 多画复平面。奇点在不在围道里、根落在不在单位圆内、映射把区域映到哪——这些全是几何问题,画图能避免一半的符号错误。
- 和实分析对照着学。每学一个结论就问自己:“实函数里对应的结论是什么?为什么复数里更强/更怪?”(泰勒展开、$\sin z$ 无界、$e^z$ 周期性都是好例子。)对照能显著加深理解。
推荐资源:
- 教材:西安交通大学《复变函数》(高等教育出版社)——国内大多数高校的指定教材,例题贴近考试;想更深入可看 Stein & Shakarchi 的 Complex Analysis(英文,写得优雅但对新人偏难)。
- 视频:B 站上可搜到多所高校的复变函数公开课;3Blue1Brown 的傅里叶/欧拉公式相关视频对建立几何直觉很有帮助。
- 工具:用 GeoGebra 或 Desmos 画一画 $e^z$、$1/z$、$z^2$ 这些映射把网格线变成什么样,共形映射的直觉就建立起来了。
- 习题:把教材课后题中“求留数并计算积分”和“洛朗展开”两节全部做完,这两类是考研和期末的绝对主力。
最后一句心里话:复变函数是本科数学里“投入产出比”最高的一门课——概念少、定理美、套路固定、应用直接(信号、电路、流体处处可见)。初学者最大的障碍其实只是“对虚数的心理阴影”。一旦接受 $i$ 只是个按规则运算的符号,后面就是一路坦途。祝学习顺利!