KNOWECON WIKI

ARTICLE

复变函数

复变函数 (Complex Analysis) 复变函数 (Complex Analysis)，亦称复分析，是数学中研究以复数为自变量和因变量的函数的分析分支。它起源于18世纪欧拉、达朗贝尔等人的工作，在19世纪经由柯西、黎曼和魏尔斯特拉斯的系统化发展而成为一门独立学科。复变函数的核心在于解析性 (Analyticity)——即函数在复平面上的某区域内可导。

浏览 4 更新 2026-07-12

复变函数 (Complex Analysis)

复变函数 (Complex Analysis)，亦称复分析，是数学中研究以复数为自变量和因变量的函数的分析分支。它起源于18世纪欧拉、达朗贝尔等人的工作，在19世纪经由柯西、黎曼和魏尔斯特拉斯的系统化发展而成为一门独立学科。复变函数的核心在于解析性 (Analyticity)——即函数在复平面上的某区域内可导。这一看似简单的条件导出了一系列深刻而优美的结论，使复分析成为数学中最具内在统一性的领域之一。与实变量函数不同，复可导性远强于实可导性：实函数的一阶可导不能保证二阶可导，复解析函数则自动具有任意阶导数。

解析函数与柯西-黎曼方程

设函数 f(z)=u(x,y)+iv(x,y)f(z) = u(x,y) + i v(x,y) 定义在复平面上的开区域内，其中 z=x+iyz = x + iy，uu 和 vv 为实值函数。若 ff 在点 z0z_0 处可导，则极限

f′(z0)=lim⁡h→0f(z0+h)−f(z0)hf'(z_0) = \lim_{h \to 0} \frac{f(z_0 + h) - f(z_0)}{h}

必须存在且与 hh 趋于零的方式无关。这一要求迫使 uu 和 vv 满足柯西-黎曼方程 (Cauchy-Riemann Equations)：

∂u∂x=∂v∂y,∂u∂y=−∂v∂x\frac{\partial u}{\partial x} = \frac{\partial v}{\partial y}, \quad \frac{\partial u}{\partial y} = -\frac{\partial v}{\partial x}

这些方程是复可导的必要条件；若偏导数连续，则它们也是充分条件。满足柯西-黎曼方程且在区域内每一点可导的函数称为解析函数 (Analytic Function) 或全纯函数。柯西-黎曼方程还具有重要的物理意义：它们与平面不可压缩无旋流动的条件等价，因此解析函数的实部和虚部分别对应流函数和势函数。

柯西积分定理与公式

复分析最核心的定理之一是柯西积分定理 (Cauchy's Integral Theorem)：若 ff 在单连通区域 DD 内解析，则 ff 沿 DD 内任何闭合曲线的积分为零：

∮γf(z) dz=0\oint_{\gamma} f(z)\,dz = 0

这一结论的推论极为丰富。首先，它意味着解析函数的积分与路径无关，仅取决于端点。其次，它直接推出柯西积分公式 (Cauchy's Integral Formula)：若 ff 在以 γ\gamma 为边界的区域内解析，则区域内任意一点 z0z_0 处的函数值可由边界上的积分唯一确定：

f(z0)=12πi∮γf(z)z−z0 dzf(z_0) = \frac{1}{2\pi i} \oint_{\gamma} \frac{f(z)}{z - z_0}\,dz

该公式表明，解析函数在区域内任意一点的值完全由它在边界上的值决定——这是实变量函数所不具备的强约束。反复求导还可得到高阶导数的积分表达式，从而推出解析函数具有任意阶导数这一惊人结论。柯西积分公式还是平均值性质的基础：解析函数在圆心的值等于它在圆周上值的算术平均。

幂级数与洛朗展开

解析函数的另一重要性质是解析性等价于局部可展为幂级数。若 ff 在 z0z_0 处解析，则存在邻域使得

f(z)=∑n=0∞an(z−z0)n,an=f(n)(z0)n!f(z) = \sum_{n=0}^{\infty} a_n (z - z_0)^n, \quad a_n = \frac{f^{(n)}(z_0)}{n!}

这一泰勒级数 (Taylor Series) 的收敛半径至少等于从 z0z_0 到最近奇点的距离。对于包含奇点的环域，函数可展开为洛朗级数 (Laurent Series)，包含负幂项：

f(z)=∑n=−∞∞cn(z−z0)nf(z) = \sum_{n=-\infty}^{\infty} c_n (z - z_0)^n

洛朗展开将奇点分为三类：可去奇点（负幂项全部为零）、极点（仅有有限个非零负幂项）和本性奇点（无穷多个非零负幂项）。洛朗展开中 n=−1n = -1 项的系数 c−1c_{-1} 具有特殊意义，它正是留数 (Residue)，是留数定理的核心要素。魏尔斯特拉斯关于本性奇点的定理指出，在本性奇点的任意邻域内，函数值可以任意接近复平面上的任何复数。

留数定理及其应用

留数定理 (Residue Theorem) 是复变函数中威力最强大的计算工具之一：若 ff 在闭合曲线 γ\gamma 内部除有限个孤立奇点 z1,z2,…,znz_1, z_2, \dots, z_n 外解析，且在 γ\gamma 上解析，则

∮γf(z) dz=2πi∑k=1nRes⁡(f,zk)\oint_{\gamma} f(z)\,dz = 2\pi i \sum_{k=1}^{n} \operatorname{Res}(f, z_k)

即将围道积分转化为留数求和。这一方法极大地简化了许多实积分的计算，特别是涉及三角函数的定积分、有理函数在无穷区间上的积分以及某些反常积分。留数定理还在傅里叶变换、拉普拉斯变换和数论中有着广泛应用。例如，利用留数定理可以简洁地证明 ∫−∞∞sin⁡xx dx=π\int_{-\infty}^{\infty} \frac{\sin x}{x}\,dx = \pi，这类积分在实分析中需要复杂的技巧，但在复分析框架下只需几行推导即可完成。

保形映射

保形映射 (Conformal Mapping) 研究解析函数作为复平面之间变换的几何性质。解析函数在导数非零的点处具有保角性（保持曲线之间的夹角）和局部伸缩的均匀性。黎曼映射定理 (Riemann Mapping Theorem) 指出，任何单连通真子集区域均可通过解析双射映射到单位圆盘，这一结论为处理复杂边界问题提供了将问题转化为标准区域求解的理论基础。保形映射在流体力学、电磁学和热传导等物理领域中广泛用于求解拉普拉斯方程的边值问题。常见的初等保形映射包括幂函数 w=znw = z^n（将角域映射为角域）、指数函数 w=ezw = e^z（将水平带映射为角域）以及莫比乌斯变换 w=az+bcz+dw = \frac{az + b}{cz + d}（将圆或直线映射为圆或直线）。

整函数与亚纯函数

在整个复平面上解析的函数称为整函数 (Entire Function)。刘维尔定理指出有界整函数必为常数，由此可简洁证明代数基本定理：任何非常数复系数多项式在复平面上至少有一个根。比整函数更广的一类是亚纯函数 (Meromorphic Function)，它在复平面上除极点外处处解析。有理函数是典型的亚纯函数；魏尔斯特拉斯的因子分解定理和Mittag-Leffler定理分别给出了整函数和亚纯函数按零点和极点的分解表示。亚纯函数的分类与增长性质密切相关，皮卡定理 (Picard's Theorems) 进一步揭示了整函数和亚纯函数的值分布深度性质：非常数整函数取遍所有复数值，至多可能遗漏一个值。

与其他数学分支的联系

复变函数构成了现代数学的基石之一。它与复几何、代数几何和数论深刻交织——例如，黎曼ζ函数作为亚纯函数是解析数论的核心研究对象，其零点分布与素数定理密切相关。在偏微分方程中，解析函数的实部和虚部均为调和函数，使得复分析成为研究拉普拉斯方程和泊松方程的天然工具。在信号处理领域，傅里叶变换和Z变换的复分析解读提供了滤波器设计和系统稳定性分析的理论基础。在量子力学中，波函数的解析延拓用于理解散射过程和共振现象。复变函数的思想和方法因此广泛渗透到数学、物理和工程的各个领域，被认为是数学教育中不可或缺的核心课程之一。