📚 Integration of complex functions: a new type of integral | 复变函数积分：一种新型积分
In IB Mathematics, you are used to integrating real-valued functions over intervals on the real line, building up from Riemann sums to anti-differentiation. But what happens when the variable is a complex number? Suddenly, the familiar notion of area under a curve becomes insufficient, and a new type of integral emerges — one that depends on a path in the complex plane, not just on endpoints. This article introduces you to the integration of complex functions, a cornerstone of complex analysis that unlocks a stunningly elegant toolkit for evaluating both complex and real integrals.
在IB数学中，你习惯于在实数轴的区间上对实值函数进行积分，从黎曼和到不定积分。但当变量变成复数时，会发生什么？突然之间，熟悉的“曲线下方面积”概念不再适用，一种新型积分出现了——它依赖于复平面中的路径，而不仅仅是端点。本文向你介绍复变函数积分，这是复分析的核心内容，能为你解锁一套精妙优雅的工具，用来计算复数和实数积分。
1. Complex functions: a quick refresher | 复变函数快速回顾
al-valued functions of the two real variables x and y. For example, f(z) = z² gives u = x² – y² and v = 2xy.
复变函数 f(z) 接受复变量 z = x + iy，并返回一个复数值。它总可以写成实部和虚部的形式：f(z) = u(x, y) + i v(x, y)，其中 u 和 v 是关于实变量 x 和 y 的实值函数。例如，f(z) = z² 给出 u = x² – y²，v = 2xy。
ghbourhood of that point. The powerful Cauchy-Riemann equations, ∂u/∂x = ∂v/∂y and ∂u/∂y = – nomials, exponentials, and trigonometric functions are analytic wherever they are defined.
为了顺利地处理复变函数，我们需要复数意义下的可微性概念。如果一个函数在一点的邻域内是复可微的，它在该点是解析的（或全纯的）。强大的柯西-黎曼方程 ∂u/∂x = ∂v/∂y 和 ∂u/∂y = –∂v/∂x 给出了解析性的必要条件。多项式、指数函数和三角函数等常见函数在它们有定义的地方都是解析的。
2. Why real integration isn't enough | 为什么实积分不够用
When we integrate a real function from a to b, the interval of integration is one-dimensional and uniquely determined by the endpoints. There is only one way to go from a to b along the real line. In the complex plane, however, there are infinitely many curves (paths) connecting two points z₁ and z₂. Choosing different paths can lead to different integral values unless the function possesses special properties. This leads to the concept of a contour integral, where the integral depends on the trajectory.
当我们从 a 到 b 对实函数积分时，积分区间是一维的，并且唯一地由端点决定。沿实数轴从 a 到 b 只有一条路。然而，在复平面中，连接两点 z₁ 和 z₂ 的曲线（路径）有无穷多条。除非函数具有特殊性质，否则选择不同路径会得到不同的积分值。这就引出了围道积分的概念，积分值依赖于轨迹。
e centred at the origin, the result is 2πi, but along a path that does not enclose the origin, the integral may be zero. This stark contrast with real integration shows that complex integration is fundamentally a new kind of animal, one that blends calculus with geometry and topology.
考虑一个简单的函数 f(z) = 1/z。如果我们沿一个以原点为中心的圆对它积分，结果是 2πi，但沿一条不包围原点的路径，积分可能为零。与实积分的这种鲜明对比表明，复积分本质上是一种全新的类型，它将微积分与几何和拓扑融合在了一起。
3. Defining the complex contour integral | 复围道积分的定义
e-smooth directed curve C in the complex plane, parametrised by z(t) = x(t) + i y(t) for t ∈ [a, b], the contour integral of f along C is defined as ∫_C f(z) dz = ∫_ab nd the integral on the right is a standard real integral of a complex-valued function of a real parameter.
给定复平面中一条光滑或分段光滑的有向曲线 C，由 z(t) = x(t) + i y(t)，t ∈ [a, b] 参数化，f 沿 C 的围道积分定义为 ∫_C f(z) dz = ∫_ab f(z(t)) z′(t) dt。这里 dz = z′(t) dt，右边的积分是一个关于实参量的复值函数的常规实积分。
integrals. Writing f(z) = u + iv and dz = dx + i dy, we can expand the integral: ∫_C (u dx – v dy) + i ∫_C (v dx + u dy). Thus, a complex integral is a pair of real line integrals — e that immediately links complex integration to work and circulation integrals in physics.
这个定义将复积分归结为两个实线积分。令 f(z) = u + iv，dz = dx + i dy，我们可以将积分展开：∫_C (u dx – v dy) + i ∫_C (v dx + u dy)。因此，一个复积分就是两个实线积分的组合——这是一个全新的视角，立即将复积分与物理学中的功和环量积分联系起来。
4. Notation and key terminology | 记号与关键术语
A contour integral is often written with a subscript C, as in ∮ itself is called a contour when it is piecewise smooth and has a clear orientation. The notation ∮ at C is a closed loop, traversed in the positive (counter-clockwise) sense unless stated otherwise.
围道积分通常用下标 C 表示，当曲线闭合时写成 ∮_C。当曲线分段光滑并有明确方向时，它被称为围道。记号 ∮_C f(z) dz 特别指明 C 是一个闭合回路，除非另有说明，积分沿正方向（逆时针方向）进行。
z) dz + β ∫_C g(z) dz. Reversing the orientation of C changes the sign of the integral: ∫_–C f(z) dz = – those of real integrals but now carry a geometric flavour tied to direction in the plane.
积分 ∫_C f(z) dz 是线性的：对于常数 α、β 和函数 f、g，有 ∫_C (α f(z) + β g(z)) dz = α ∫_C f(z) dz + β ∫_C g(z) dz。反转 C 的方向会改变积分符号：∫_–C f(z) dz = –∫_C f(z) dz。这些基本性质模仿了实积分的性质，但现在带有与平面方向相关的几何色彩。
5. Estimating integrals and the ML-bound | 积分估计与 ML-不等式
A useful tool for estimating the modulus of a contour integral is the ML-bound. If |f(z)| ≤ M for all z on C, and the length of C is L, then |∫_C f(z) dz| vanish in limiting processes, such as when the radius of a circular arc tends to infinity.
估计围道积分模长的一个有用工具是 ML-不等式。如果对 C 上所有的 z 有 |f(z)| ≤ M，且 C 的长度为 L，那么 |∫_C f(z) dz| ≤ M L。这个不等式在证明某些积分在极限过程中趋于零时非常实用，比如当圆弧半径趋于无穷大时。
For example, to show that ∫_CR (eiz/z) dz → 0 as the radius R of the upper semi-circle CR = 1/R and L = πR, giving an upper bound π, which by a more refined estimate (using Jordan's lemma) actually tends to zero. The ML-bound is the first armour in a complex analyst's toolkit.
例如，要证明 ∫_CR (eiz/z) dz → 0，随着上半圆 CR 的半径 R 增大，可以使用 ML-不等式，取 M = 1/R，L = πR，得到上界 π，而通过更精细的估计（使用约当引理），实际上趋向于零。ML-不等式是复分析工具包中的第一件武器。
6. The Cauchy-Goursat theorem: independence from path | 柯西-古尔萨定理：路径无关性
integration states that if f(z) is analytic inside and on a simple closed contour C, then ∮ z) dz = 0. This is the Cauchy-Goursat theorem, and it does not require continuity of f′(z) — f is complex-differentiable inside the region. The theorem is far more profound than Green' t, because analyticity is a stronger condition than having continuous partial derivatives.
复积分的基本定理指出，如果 f(z) 在简单闭合围道 C 内部及其上是解析的，那么 ∮_C f(z) dz = 0。这就是柯西-古尔萨定理，它甚至不要求 f′(z) 连续——只要求 f 在区域内是复可微的。这个定理比格林定理所暗示的要深刻得多，因为解析性是一个比具有连续偏导数更强的条件。
as the endpoints are fixed. Formally, if F′(z) = f(z) in a simply connected domain, then ∫z₁z₂ f(z) dz = F(z₂) – mental theorem of calculus extends to the complex domain, but only for analytic functions.
一个直接推论是路径无关性：对于解析函数 F(z)（其导数为 f(z)），只要端点固定，积分 ∫_C f(z) dz 与路径 C 的选择无关。正式地说，如果在单连通域中 F′(z) = f(z)，那么 ∫z₁z₂ f(z) dz = F(z₂) – F(z₁)。于是，熟悉的微积分基本定理扩展到复数域，但只对解析函数成立。
7. Cauchy's integral formula and its power | 柯西积分公式及其威力
nside and on a simple closed contour C, and a is any point inside C, then f(a) = (1/(2πi)) ∮_C f(z)/(z – a) dz. This is Cauchy' value of an analytic function at any interior point in terms of its values on the boundary — a remarkable fact with no direct analogue in real calculus.
如果 f(z) 在简单闭合围道 C 内部及其上是解析的，且 a 是 C 内的任意一点，那么 f(a) = (1/(2πi)) ∮_C f(z)/(z – a) dz。这就是柯西积分公式。它将解析函数在任意内点的值用其在边界上的值表示出来——这是一个在实微积分中没有直接对应物件的非凡事实。
nder the integral sign yields the generalized Cauchy formula for derivatives: f⁽ⁿ⁾(a) = (n!/(2πi)) ∮_C f(z)/(z – ytic functions are infinitely differentiable, and all their derivatives are again analytic — rast to real analysis where a differentiable function can have a discontinuous derivative.
在积分号下求导，可以得到更一般的柯西导数公式：f⁽ⁿ⁾(a) = (n!/(2πi)) ∮_C f(z)/(z – a)ⁿ⁺¹ dz。这表明解析函数是无穷次可微的，而且它们的所有导数仍然是解析的——这与实分析形成鲜明对比，在实分析中，可微函数的导数可能不连续。
8. Introducing residues: the hero of complex integration | 引入留数：复积分的主角
When f(z) has an isolated singularity at a point z₀ (a point where it is not analytic but is analytic in a punctured neighbourhood), we can expand it in a Laurent series. The coefficient b₁ of the term 1/(z – z₀) is called the residue of f at z₀, denoted Res(f, z₀). The residue captures the essential contribution of a singularity when integrating around it.
当 f(z) 在点 z₀ 具有孤立奇点（该点不解析，但在去心邻域内解析）时，我们可以将其展开为洛朗级数。1/(z – z₀) 项的系数 b₁ 称为 f 在 z₀ 处的留数，记作 Res(f, z₀)。留数捕获了围绕奇点积分时奇点的主要贡献。
imple closed contour C except for isolated singularities at z₁, z₂, ..., zₖ inside C, then ∮_C f(z) dz = 2πi Σⱼ Res(f, zⱼ). This turns the evaluation of a contour integral into a simple sum of residues — efficient method that explains why complex integration is so powerful for real integrals.
皇冠上的明珠是留数定理：如果 f(z) 在简单闭合围道 C 内部及其上是解析的，除了在 C 内部的孤立奇点 z₁, z₂, ..., zₖ 外，那么 ∮_C f(z) dz = 2πi Σⱼ Res(f, zⱼ)。这把围道积分的计算变成了留数的简单求和——一种极其高效的方法，它解释了为什么复积分对实积分如此强大。
9. Calculating residues: practical techniques | 留数的计算：实用技巧
For a simple pole at z₀, where f(z) has a factor 1/(z – z₀) in its Laurent expansion, the residue can be found by Res(f, z₀) = limz→z₀ (z – , then Res(f, z₀) = g(z₀)/h′(z₀). This formula is a handy shortcut for rational functions.
对于在 z₀ 处的单极点，f(z) 在其洛朗展开中包含因子 1/(z – z₀)，留数可以通过 Res(f, z₀) = limz→z₀ (z – z₀) f(z) 求出。如果 f(z) = g(z)/h(z)，其中 g(z₀) ≠ 0，h(z₀) = 0 且 h′(z₀) ≠ 0，那么 Res(f, z₀) = g(z₀)/h′(z₀)。这个公式是有理函数的便捷捷径。
r poles of higher order, say a pole of order m, the residue is given by Res(f, z₀) = (1/(m–1)!) limz→z₀ dᵐ⁻¹/dzᵐ⁻¹ [(z – z₀)ᵐ f(z)]. Though more involved, this formula is essential for dealing with singularities like 1/(z – z₀)². Fortunately, many real integrals require only simple pole residues.
对于高阶极点，比如 m 阶极点，留数由 Res(f, z₀) = (1/(m–1)!) limz→z₀ dᵐ⁻¹/dzᵐ⁻¹ [(z – z₀)ᵐ f(z)] 给出。虽然更复杂，但该公式对于处理如 1/(z – z₀)² 这样的奇点至关重要。幸运的是，许多实积分只需要单极点的留数。
10. Using complex integration to evaluate real integrals | 利用复积分计算实积分
comes evident when it is used to compute difficult real improper integrals. For example, ∫-∞∞ (cos x)/(x²+1) dx is tackled by considering ∮_C (eiz e value π/e, and the integral over the curved arc vanishes as the radius goes to infinity.
复积分的真正威力在用于计算困难的实反常积分时显现出来。例如，∫-∞∞ (cos x)/(x²+1) dx 可以通过考虑在上半平面的半圆形围道上 ∮_C (eiz)/(z²+1) dz 来解决。在 z = i 处的留数为 π/e，而随着半径趋于无穷，弯曲弧上的积分消失。
Another classic is ∫02π R(cos θ, sin θ) dθ, where R is a rational function. Substituting z = eiθ, cos θ = (z + 1/z)/2, sin θ = (z – m. This technique effortlessly handles integrals that would be monstrously tedious by real methods.
另一个经典例子是 ∫02π R(cos θ, sin θ) dθ，其中 R 是一个有理函数。代入 z = eiθ，cos θ = (z + 1/z)/2，sin θ = (z – 1/z)/(2i)，dθ = dz/(iz)，将积分转化为沿单位圆的围道积分，然后可通过留数定理计算。这种方法能轻松处理那些用实方法异常繁琐的积分。
11. Avoiding common pitfalls: branch cuts and multivalued functions | 避开常见陷阱：分支切割与多值函数
Not all complex integrals are straightforward. Functions like √z or log z are multivalued, and to integrate them safely one must choose a branch and introduce a branch cut — a curve across which the function is discontinuous. The contour must be carefully designed to avoid crossing the cut, often resulting in keyhole or dogbone contours. This introduces an extra level of complexity but also yields elegant results for integrals involving fractional powers.
并非所有复积分都简单明了。像 √z 或 log z 这样的函数是多值的，要安全地对它们积分，必须选择一个分支并引入一条分支切割——一条函数在其上不连续的曲线。围道必须精心设计以避免穿越切割，通常产生锁孔形或狗骨形围道。这增加了一层复杂性，但也为涉及分数幂的积分带来了优雅的结果。
A typical example is ∫0∞ (√x)/(x²+1) dx. By integrating f(z) = (√z)/(z²+1) around a keyhole contour and taking limits, the contributions from the two sides of the branch cut combine to produce the desired real integral. Attention to the phase of the multivalued function is crucial; a lazy mistake can flip a sign and ruin the entire calculation.
一个典型例子是 ∫0∞ (√x)/(x²+1) dx。通过在一个锁孔形围道上对 f(z) = (√z)/(z²+1) 积分并取极限，分支切割两侧的贡献结合起来产生所需的实积分。对多值函数辐角的关注至关重要；一个懒惰的错误可能翻转符号，毁掉整个计算。
12. Complex integration as a unifying language | 复积分作为统一语言
This new type of integral is not just an abstract curiosity — it is a unifying language that connects diverse areas of mathematics. Contour integrals appear in Laplace and Fourier transforms, in solving differential equations via Green's functions, in number theory (the distribution of primes via the Riemann zeta function), and in physics (quantum mechanics path integrals, fluid dynamics). Learning complex integration equips you with a tool that transcends the boundaries of calculus.
这种新型积分不仅仅是一种抽象的好奇心——它是一种连接数学各个领域的统一语言。围道积分出现在拉普拉斯变换和傅里叶变换中，出现在通过格林函数求解微分方程中，出现在数论中（通过黎曼ζ函数研究素数分布），也出现在物理学中（量子力学的路径积分、流体力学）。学习复积分让你掌握了一种超越微积分边界的工具。
For an IB Mathematics student venturing beyond the syllabus, exploring complex integration offers a glimpse into the beauty and interconnectedness of higher mathematics. The journey from the real line to the complex plane reveals that integrals are more than areas — they become sums of residues, winding numbers, and profound topological statements. It is indeed a new type of integral, and once mastered, it forever changes the way you view calculus.
对于一位探索大纲之外知识的IB数学学生来说，探索复积分让你一窥高等数学的优美和互联性。从实数轴到复平面的旅程揭示了积分不仅仅是面积——它们成为留数的和、环绕数以及深刻的拓扑陈述。这确实是一种新型的积分，一旦掌握，它将永远改变你对微积分的看法。
Published by TutorHao | Mathematics Revision Series | aleveler.com
更多咨询请联系16621398022（同微信）
或截图后用「扫一扫 → 相册」选择本图