复变函数脉络

Mon, 20 Jul 2020 09:00:00 +0800

复变函数脉络

目标读者：学过一元微积分、但对“虚数 $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$ 只是个按规则运算的符号，后面就是一路坦途。祝学习顺利！

复变函数 on 方糖猫Blog

复变函数脉络

复变函数脉络

1. 先看清全局：复变函数知识地图

2. 复数基础：先把“数”本身搞明白

2.1 代数形式与复平面

2.2 三角形式与指数形式

2.3 欧拉公式：全课最重要的一个等式

2.4 乘方与开方：棣莫弗公式

2.5 应用场景：复数和欧拉公式在哪里用

3. 解析函数：复变函数的“主角”登场

3.1 复变函数与导数

3.2 柯西-黎曼方程（C-R 方程）

3.3 调和函数：解析函数的“另一半赠品”

4. 复积分：全课最漂亮的定理都在这里

4.1 复积分的定义

4.2 柯西积分定理

4.3 柯西积分公式

5. 级数：泰勒展开与洛朗展开

5.1 泰勒级数

5.2 洛朗级数：在奇点附近展开

5.3 孤立奇点的分类

6. 留数定理：把积分变成算术

6.1 留数的定义与计算

6.2 留数定理

6.3 三个经典应用类型

7. 共形映射初步：解析函数的几何面孔

7.1 什么是共形映射

7.2 必会的几个基本映射

7.3 分式线性变换（默比乌斯变换）

8. 避坑技巧：新人最容易栽的 9 个坑

坑 1：以为 $|z|$、$\bar{z}$、$\operatorname{Re} z$ 也是解析函数

坑 2：忘记复数开方是多值的

坑 3：把实函数的直觉直接搬进复数

坑 4：滥用柯西积分定理，忘了检查“单连通 + 无奇点”

坑 5：用柯西积分公式时不看 $z_0$ 在不在围道内

坑 6：洛朗展开不看圆环区域

坑 7：把 $m$ 阶极点的留数公式记错阶数

坑 8：用留数算实积分时把上半下半平面的奇点全算进去

坑 9：以为可导一次就万事大吉，或反过来以为解析很难验证

9. 学习建议与资源建议