Complex Analysis: Core Concepts and Problem Types | 复变函数核心概念与题型

📚 Complex Analysis: Core Concepts and Problem Types | 复变函数核心概念与题型

Complex analysis is one of the most elegant and powerful branches of mathematics. It studies functions of a complex variable, revealing deep connections between algebra, geometry, and calculus. For A-Level and university foundation students, mastering the core concepts and standard problem types is essential for exam success.

复变函数是数学中最优美且最强大的分支之一。它研究复变量的函数，揭示了代数、几何与微积分之间的深层联系。对于A-Level及大学预科学生而言，掌握核心概念与标准题型是考试成功的关键。

---

1. Complex Numbers and the Complex Plane | 复数与复平面

A complex number is written as z = x + iy, where x and y are real numbers, and i is the imaginary unit satisfying i² = −1. The real part is Re(z) = x, and the imaginary part is Im(z) = y.

复数写作 z = x + iy，其中 x 和 y 是实数，i 是虚数单位，满足 i² = −1。实部为 Re(z) = x，虚部为 Im(z) = y。

The complex plane is a two-dimensional coordinate system where the horizontal axis represents the real part and the vertical axis represents the imaginary part. Every complex number corresponds to exactly one point in this plane.

复平面是一个二维坐标系，横轴表示实部，纵轴表示虚部。每个复数都对应复平面中唯一的一个点。

The modulus of z is |z| = √(x² + y²), representing the distance from the origin. The argument arg(z) is the angle θ between the positive real axis and the line connecting the origin to z.

复数 z 的模为 |z| = √(x² + y²)，表示到原点的距离。辐角 arg(z) 是正实轴与原点到 z 的连线之间的夹角 θ。

---

2. Polar Form and Euler’s Formula | 极坐标形式与欧拉公式

Any complex number can be expressed in polar form: z = r(cos θ + i sin θ), where r = |z| and θ = arg(z). This form is particularly useful for multiplication, division, and exponentiation.

任何复数都可以表示为极坐标形式：z = r(cos θ + i sin θ)，其中 r = |z|，θ = arg(z)。这种形式在乘法、除法和幂运算中尤为有用。

Euler’s formula states: e^(iθ) = cos θ + i sin θ. This leads to the exponential form z = re^(iθ), which simplifies many complex calculations dramatically.

欧拉公式表明：e^(iθ) = cos θ + i sin θ。由此可得指数形式 z = re^(iθ)，这极大简化了许多复数运算。

e^(iπ) + 1 = 0

This famous identity, known as Euler’s identity, connects five fundamental mathematical constants: e, i, π, 1, and 0.

这个著名的等式被称为欧拉恒等式，它将五个基本数学常数 e、i、π、1 和 0 联系在一起。

---

3. Analytic Functions and Cauchy–Riemann Equations | 解析函数与柯西–黎曼方程

A function f(z) is analytic (or holomorphic) at a point if it has a complex derivative in a neighborhood of that point. Analyticity is a much stronger condition than real differentiability.

函数 f(z) 在一点处是解析的（或全纯的），如果它在该点的某个邻域内具有复导数。解析性比实可微性强得多。

For f(z) = u(x,y) + iv(x,y) to be analytic, the Cauchy–Riemann equations must hold:

对于 f(z) = u(x,y) + iv(x,y) 解析，必须满足柯西–黎曼方程：

∂u/∂x = ∂v/∂y  and  ∂u/∂y = −∂v/∂x

In addition to satisfying these equations, the partial derivatives must be continuous. The Cauchy–Riemann equations are the gateway to nearly every theorem in complex analysis.

除了满足这些方程，偏导数还必须是连续的。柯西–黎曼方程是复分析中几乎所有定理的入口。

---

4. Elementary Complex Functions | 初等复函数

The complex exponential function is defined as e^z = e^(x+iy) = eˣ(cos y + i sin y). Unlike the real exponential, the complex exponential is periodic with period 2πi.

复指数函数定义为 e^z = e^(x+iy) = eˣ(cos y + i sin y)。与实指数不同，复指数是周期函数，周期为 2πi。

The complex logarithm is the inverse of the exponential: log z = ln|z| + i arg(z). Because arg(z) is multi-valued, the logarithm is multi-valued, and we select a principal branch to make it single-valued.

复对数是复指数的逆运算：log z = ln|z| + i arg(z)。由于 arg(z) 是多值的，对数也是多值的，我们选取主分支使其成为单值函数。

Complex trigonometric functions are defined via the exponential:

复三角函数通过指数函数定义：

sin z = (e^(iz) − e^(−iz)) / 2i   cos z = (e^(iz) + e^(−iz)) / 2

These definitions preserve many real trigonometric identities but introduce new properties, such as unboundedness in the complex plane.

这些定义保留了许多实三角恒等式，但也引入了新性质，例如在复平面上的无界性。

---

5. Contour Integrals | 围线积分

A contour integral evaluates a complex function along a curve C in the complex plane. The integral is written as ∫_C f(z) dz and is defined as a limit of sums along the path.

围线积分是沿复平面上曲线 C 对复函数的积分。积分写作 ∫_C f(z) dz，定义为沿路径的求和极限。

The fundamental theorem of calculus extends to complex functions: if F is an antiderivative of f along C, then ∫_C f(z) dz = F(b) − F(a), where a and b are the endpoints of C.

微积分基本定理可以推广到复函数：如果 F 是 f 沿 C 的原函数，则 ∫_C f(z) dz = F(b) − F(a)，其中 a 和 b 是 C 的端点。

Key techniques for evaluating contour integrals include parameterization, partial fractions, and deformation of paths. The choice of technique depends on the structure of the integrand.

计算围线积分的关键技术包括参数化、部分分式分解和路径变形。技术选择取决于被积函数的结构。

---

6. Cauchy’s Integral Theorem and Integral Formula | 柯西积分定理与柯西积分公式

Cauchy’s Integral Theorem states that if f is analytic in a simply connected domain D, then the integral of f around any closed contour C lying entirely in D equals zero:

柯西积分定理表明：如果 f 在单连通区域 D 内解析，那么 f 沿完全位于 D 内任何闭围线 C 的积分为零：

∮_C f(z) dz = 0

Cauchy’s Integral Formula gives the value of an analytic function inside a contour in terms of its values on the boundary:

柯西积分公式用闭围线上的函数值表示围线内部解析函数的值：

f(a) = (1 / 2πi) ∮_C f(z) / (z − a) dz

More generally, derivatives of any order can be computed similarly:

更一般地，任意阶导数可以通过类似公式计算：

f⁽ⁿ⁾(a) = (n! / 2πi) ∮_C f(z) / (z − a)ⁿ⁺¹ dz

These formulas are central tools for evaluating difficult real integrals and proving deep theorems about analytic functions.

这些公式是计算困难实积分和证明解析函数深层定理的核心工具。

---

7. Taylor Series in the Complex Plane | 复平面上的泰勒级数

Any analytic function can be represented locally by a Taylor series. If f is analytic at z₀, then for z near z₀:

任何解析函数都可以在局部用泰勒级数表示。如果 f 在 z₀ 处解析，则在 z 接近 z₀ 时：

f(z) = Σₙ₌₀^∞ f⁽ⁿ⁾(z₀) / n! · (z − z₀)ⁿ

The radius of convergence R is the distance from z₀ to the nearest singularity. Inside this radius, the series converges uniformly and can be differentiated term by term.

收敛半径 R 是从 z₀ 到最近奇点的距离。在此半径内，级数一致收敛，并且可以逐项求导。

Common examples include e^z = Σ zⁿ/n!, sin z, cos z, and the geometric series 1/(1−z) = Σ zⁿ for |z| < 1.

常见例子包括 e^z = Σ zⁿ/n!、sin z、cos z 以及几何级数 1/(1−z) = Σ zⁿ（|z| < 1）。

---

8. Laurent Series and Singularities | 洛朗级数与奇点

When f has a singularity at z₀, the Taylor series may fail. The Laurent series generalizes the Taylor series by including negative powers:

当 f 在 z₀ 处有奇点时，泰勒级数可能失效。洛朗级数通过加入负幂项推广了泰勒级数：

f(z) = Σₙ₌₋∞^∞ aₙ(z − z₀)ⁿ

Singularities are classified by the principal part of the Laurent series:

奇点根据洛朗级数的主要部分进行分类：

• Removable singularity: no negative power terms; by redefining f(z₀), the function becomes analytic.

  可去奇点：没有负幂项；通过重新定义 f(z₀)，函数变为解析。

• Pole of order m: the highest negative power is (z − z₀)⁻ᵐ.

  m 阶极点：最高负幂项为 (z − z₀)⁻ᵐ。

• Essential singularity: infinitely many negative power terms.

  本性奇点：有无穷多个负幂项。

Identifying the type of singularity is crucial for applying the residue theorem correctly.

正确识别奇点类型对于应用留数定理至关重要。

---

9. Residues and the Residue Theorem | 留数与留数定理

The residue of f at a point z₀ is the coefficient a₋₁ in its Laurent series expansion around z₀. Denoted Res(f, z₀), it captures essential information about the function’s behavior near the singularity.

函数 f 在 z₀ 处的留数是其围绕 z₀ 的洛朗级数展开中 a₋₁ 的系数，记作 Res(f, z₀)。它捕捉了函数在奇点附近行为的关键信息。

For a pole of order m, the residue can be computed using the limiting formula:

对于 m 阶极点，可以使用极限公式计算留数：

Res(f, z₀) = 1/(m−1)! · lim_{z→z₀} dᵐ⁻¹/dzᵐ⁻¹ [(z − z₀)ᵐ f(z)]

The Residue Theorem is one of the most powerful results in complex analysis. It states that for a meromorphic function f inside a closed contour C:

留数定理是复分析中最强大的结果之一。它表明对于闭围线 C 内的亚纯函数 f：

∮_C f(z) dz = 2πi · Σ Res(f, zₖ)

where the sum is taken over all singularities zₖ enclosed by C.

其中求和覆盖 C 内所有的奇点 zₖ。

---

10. Evaluating Real Integrals Using Residues | 用留数计算实积分

One of the most practical applications of the residue theorem is evaluating improper real integrals that are difficult or impossible to compute by elementary methods.

留数定理最实际的应用之一是计算难以用初等方法处理的广义实积分。

For integrals of the form ∫₋∞^∞ P(x)/Q(x) dx, where the degree of Q exceeds that of P by at least 2 and Q has no real zeros, we integrate the corresponding complex function over a semicircular contour in the upper half-plane.

对于形如 ∫₋∞^∞ P(x)/Q(x) dx 的积分，其中 Q 的次数至少比 P 高 2 且 Q 没有实数零点，我们在上半平面沿半圆围线积分相应的复函数。

The standard procedure:

标准步骤如下：

• Construct a closed contour combining the real axis segment [−R, R] with a semicircle of radius R.

  构造闭围线：将实轴段 [−R, R] 与半径为 R 的半圆结合。

• Show the integral over the semicircle vanishes as R → ∞.

  证明当 R → ∞ 时半圆上的积分趋于零。

• Apply the residue theorem to the closed contour.

  对闭围线应用留数定理。

• Take the limit to obtain the real integral.

  取极限得到实积分值。

For trigonometric integrals such as ∫₀^{2π} R(cos θ, sin θ) dθ, the substitution z = e^(iθ) converts the integral into a contour integral over the unit circle.

对于三角积分如 ∫₀^{2π} R(cos θ, sin θ) dθ，使用代换 z = e^(iθ) 将积分转化为单位圆上的围线积分。

---

11. Common Exam Question Patterns | 常见考试题型

Exam questions in complex analysis typically fall into several recurring categories. Recognizing the pattern is the first step toward a fast and accurate solution.

复变函数考试题目通常分为几类反复出现的题型。识别题型是快速准确解题的第一步。

Type | 题型	Key Method | 关键方法
Check analyticity | 判断解析性	Cauchy–Riemann equations | 柯西–黎曼方程
Compute contour integrals | 计算围线积分	Cauchy integral formula / residue theorem | 柯西积分公式 / 留数定理
Series expansion | 级数展开	Taylor or Laurent series | 泰勒或洛朗级数
Classify singularities | 奇点分类	Principal part of Laurent series | 洛朗级数主要部分
Evaluate real integrals | 计算实积分	Residue theorem with semicircle contour | 留数定理 + 半圆围线

When encountering a problem, first identify whether the function is analytic, where its singularities lie, and what type they are. Only then choose the appropriate tool.

遇到题目时，首先判断函数是否解析、奇点在哪里、属于什么类型，然后再选择合适的工具。

---

12. Worked Example: Residue Calculation | 典型例题：留数计算

Consider the integral ∫₋∞^∞ 1/(x² + 1) dx. We evaluate it using the residue theorem.

考虑积分 ∫₋∞^∞ 1/(x² + 1) dx。我们用留数定理来计算它。

Let f(z) = 1/(z² + 1). Factor the denominator: z² + 1 = (z − i)(z + i). The singularities are simple poles at z = i and z = −i.

令 f(z) = 1/(z² + 1)。对分母因式分解：z² + 1 = (z − i)(z + i)。奇点是 z = i 和 z = −i 处的一阶极点。

Only z = i lies in the upper half-plane. The residue at z = i is:

只有 z = i 位于上半平面。z = i 处的留数为：

Res(f, i) = lim_{z→i} (z − i) · 1/((z − i)(z + i)) = 1/(2i)

By the residue theorem:

由留数定理：

∫₋∞^∞ 1/(x² + 1) dx = 2πi · Res(f, i) = 2πi · 1/(2i) = π

This result agrees with the classical arctangent evaluation and demonstrates the elegance of contour integration.

该结果与经典的反正切计算一致，展示了围线积分的高妙之处。

---

Published by TutorHao | Mathematics Revision Series | aleveler.com

更多咨询请联系16621398022（同微信）