Complex Functions: Fundamentals and Common Problem Types | 复变函数基础与常见题型

📚 Complex Functions: Fundamentals and Common Problem Types | 复变函数基础与常见题型

Complex analysis is a cornerstone of higher mathematics, bridging algebra, geometry, and calculus. This article reviews the essential definitions, theorems, and worked problem patterns that appear in A-Level Further Mathematics and introductory university courses.

复变函数是高等数学的基石，连接了代数、几何与微积分。本文系统梳理 A-Level 进阶数学及大学入门课程中的核心定义、定理与常见题型，帮助读者快速掌握考点。

---

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

A complex number is written as \( z = x + iy \), where \( x = \text{Re}(z) \) is the real part and \( y = \text{Im}(z) \) is the imaginary part. The complex plane maps \( z \) to the point \( (x, y) \). The modulus is \( |z| = \sqrt{x^2 + y^2} \), and the argument \( \arg(z) \) is the angle measured from the positive real axis.

复数一般写作 \( z = x + iy \)，其中 \( x = \text{Re}(z) \) 为实部，\( y = \text{Im}(z) \) 为虚部。复平面将 \( z \) 对应到点 \( (x, y) \)。模长定义为 \( |z| = \sqrt{x^2 + y^2} \)，辐角 \( \arg(z) \) 是从正实轴起逆时针旋转的角度。

• Polar form: \( z = r(\cos\theta + i\sin\theta) \), where \( r = |z| \), \( \theta = \arg(z) \).

  极坐标形式：\( z = r(\cos\theta + i\sin\theta) \)，其中 \( r = |z| \)，\( \theta = \arg(z) \)。

• Euler’s identity: \( e^{i\theta} = \cos\theta + i\sin\theta \) leads to the compact form \( z = re^{i\theta} \).

  欧拉公式：\( e^{i\theta} = \cos\theta + i\sin\theta \) 给出紧凑形式 \( z = re^{i\theta} \)。

• Conjugate: \( \bar{z} = x – iy \); note \( z\bar{z} = |z|^2 \).

  共轭：\( \bar{z} = x – iy \)；注意 \( z\bar{z} = |z|^2 \)。

---

2. Complex Functions and Limits | 复变函数与极限

A complex function \( f: \mathbb{C} \to \mathbb{C} \) can be viewed as two real functions \( u(x,y) \) and \( v(x,y) \): \( f(z) = u(x,y) + iv(x,y) \). Limits in the complex plane are defined analogously to real limits but require that the limit is the same regardless of the direction of approach.

复函数 \( f: \mathbb{C} \to \mathbb{C} \) 可看作两个实函数 \( u(x,y) \) 与 \( v(x,y) \) 的组合：\( f(z) = u(x,y) + iv(x,y) \)。复平面上的极限定义与实函数类似，但要求从任意方向趋近时极限都相同。

For a limit to exist, \( \lim_{z \to z_0} f(z) \) must be independent of the path of approach.

极限存在要求 \( \lim_{z \to z_0} f(z) \) 与趋近路径无关。

Continuity is defined in the usual way: \( \lim_{z \to z_0} f(z) = f(z_0) \). However, differentiability is much more restrictive in the complex plane, as we see next.

连续性的定义与实函数相同：\( \lim_{z \to z_0} f(z) = f(z_0) \)。然而，复平面上的可导性要求严格得多，详见下一节。

---

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

A function is analytic (holomorphic) at a point if it has a complex derivative in a neighborhood of that point. The existence of \( f'(z) \) is equivalent to the Cauchy–Riemann equations:

函数在某点解析（全纯）是指它在该点的某个邻域内具有复导数。\( f'(z) \) 存在等价于柯西–黎曼方程成立：

\( \frac{\partial u}{\partial x} = \frac{\partial v}{\partial y}, \quad \frac{\partial u}{\partial y} = -\frac{\partial v}{\partial x} \)

• If these partial derivatives are continuous, the equations are sufficient for analyticity.

  若偏导数连续，则该方程组是解析的充分条件。

• When \( f'(z) \) exists, it equals \( u_x + iv_x = v_y – iu_y \).

  当 \( f'(z) \) 存在时，其值为 \( u_x + iv_x = v_y – iu_y \)。

• Harmonic functions: \( u \) and \( v \) are each harmonic (\( \nabla^2 u = \nabla^2 v = 0 \)) if \( f \) is analytic.

  调和函数：若 \( f \) 解析，则 \( u \) 和 \( v \) 都是调和函数（\( \nabla^2 u = \nabla^2 v = 0 \)）。

---

4. Elementary Analytic Functions | 基本初等解析函数

The complex exponential, trigonometric, and hyperbolic functions are defined through power series or Euler’s formula, and they agree with real functions when \( z \) is real.

复指数函数、三角函数和双曲函数通过幂级数或欧拉公式定义，当 \( z \) 为实数时与实函数一致。

• Exponential: \( e^z = e^x(\cos y + i\sin y) \). It is entire (analytic everywhere).

  指数函数：\( e^z = e^x(\cos y + i\sin y) \)，它是整函数（处处解析）。

• Sine and cosine: \( \sin z = \frac{e^{iz} – e^{-iz}}{2i} \), \( \cos z = \frac{e^{iz} + e^{-iz}}{2} \).

  正弦与余弦：\( \sin z = \frac{e^{iz} – e^{-iz}}{2i} \)，\( \cos z = \frac{e^{iz} + e^{-iz}}{2} \)。

• Logarithm: \( \log z = \ln|z| + i\arg(z) \), multi-valued; principal branch usually takes \( -\pi < \arg(z) \le \pi \).

  对数：\( \log z = \ln|z| + i\arg(z) \)，为多值函数；主分支通常取 \( -\pi < \arg(z) \le \pi \)。

• Power function: \( z^a = e^{a\log z} \), also multi-valued in general.

  幂函数：\( z^a = e^{a\log z} \)，一般情况下也是多值函数。

---

5. Complex Integration and Cauchy’s Integral Theorem | 复积分与柯西积分定理

For a curve \( \gamma \) from \( a \) to \( b \), the line integral is defined as \( \int_\gamma f(z)\,dz \), computed by parameterizing \( z(t) \). The fundamental result is Cauchy’s theorem:

对于从 \( a \) 到 \( b \) 的曲线 \( \gamma \)，线积分定义为 \( \int_\gamma f(z)\,dz \)，通过参数化 \( z(t) \) 计算。基本结果是柯西定理：

If \( f \) is analytic in a simply connected domain \( D \), then \( \oint_\gamma f(z)\,dz = 0 \) for any closed contour \( \gamma \) in \( D \).

若 \( f \) 在单连通区域 \( D \) 内解析，则对 \( D \) 内任意闭合围道 \( \gamma \) 有 \( \oint_\gamma f(z)\,dz = 0 \)。

This theorem allows deformation of contours without changing the integral, provided no singularities are crossed.

该定理允许在不跨越奇点的前提下变形围道而不改变积分值。

---

6. Cauchy’s Integral Formula | 柯西积分公式

If \( f \) is analytic inside and on a simple closed contour \( \gamma \), and \( z_0 \) is inside \( \gamma \), then

若 \( f \) 在简单闭合围道 \( \gamma \) 上及其内部解析，且 \( z_0 \) 在 \( \gamma \) 内，则

\( f(z_0) = \frac{1}{2\pi i} \oint_\gamma \frac{f(z)}{z – z_0} dz \)

The generalized formula gives derivatives:

推广公式给出导数：

\( f^{(n)}(z_0) = \frac{n!}{2\pi i} \oint_\gamma \frac{f(z)}{(z – z_0)^{n+1}} dz \)

• This shows analytic functions are infinitely differentiable.

  这表明解析函数具有任意阶导数。

• It also yields the estimate: \( |f^{(n)}(z_0)| \le \frac{n! M}{R^n} \), where \( M \) is the maximum of \( |f| \) on the circle of radius \( R \).

  同时给出估计：\( |f^{(n)}(z_0)| \le \frac{n! M}{R^n} \)，其中 \( M \) 是半径为 \( R \) 的圆上 \( |f| \) 的最大值。

---

7. Taylor and Laurent Series | 泰勒级数与洛朗级数

An analytic function can be represented by a Taylor series around a point \( z_0 \):

解析函数可围绕点 \( z_0 \) 展开为泰勒级数：

\( f(z) = \sum_{n=0}^{\infty} \frac{f^{(n)}(z_0)}{n!}(z – z_0)^n \)

For functions with isolated singularities, the Laurent series includes negative powers:

对于具有孤立奇点的函数，洛朗级数包含负幂项：

\( f(z) = \sum_{n=-\infty}^{\infty} a_n (z – z_0)^n \)

• The coefficient \( a_{-1} \) is called the residue of \( f \) at \( z_0 \), denoted \( \text{Res}(f, z_0) \).

  系数 \( a_{-1} \) 称为 \( f \) 在 \( z_0 \) 处的留数，记作 \( \text{Res}(f, z_0) \)。

• Laurent series is unique in a given annulus.

  在给定圆环内洛朗级数唯一。

---

8. Isolated Singularities and Classifications | 孤立奇点及其分类

Isolated singularities are points where \( f \) is not analytic but is analytic in a punctured neighborhood. They are classified by the principal part of the Laurent series.

孤立奇点是指函数在该点不解析，但在其去心邻域内解析的点。根据洛朗级数的主要部分分类。

Singularity	Principal part	Example
Removable	No negative powers	\( \frac{\sin z}{z} \) at 0
Pole of order \( m \)	Finite negative terms, highest \( m \)	\( \frac{1}{z^2} \) at 0
Essential	Infinitely many negative terms	\( e^{1/z} \) at 0

奇点类型：可去奇点（无负幂项）、\( m \) 阶极点（负幂最高为 \( m \)）、本性奇点（负幂无穷多）。

Classification is a common exam question; check the limit \( \lim_{z \to z_0} f(z) \): finite gives removable, infinite gives pole, does not exist gives essential.

分类是常见考点：检查极限 \( \lim_{z \to z_0} f(z) \)：有限值对应可去奇点，无穷大对应极点，不存在则对应本性奇点。

---

9. Residue Theorem | 留数定理

The residue theorem is the most powerful tool for evaluating complex integrals:

留数定理是计算复积分最有力的工具：

If \( f \) is analytic inside and on a closed contour \( \gamma \) except for finitely many singularities \( z_k \) inside \( \gamma \), then \( \oint_\gamma f(z)\,dz = 2\pi i \sum_k \text{Res}(f, z_k) \).

若 \( f \) 在闭合围道 \( \gamma \) 上及内部除有限个奇点 \( z_k \) 外解析，则 \( \oint_\gamma f(z)\,dz = 2\pi i \sum_k \text{Res}(f, z_k) \)。

For a simple pole \( z_0 \), \( \text{Res}(f, z_0) = \lim_{z \to z_0} (z – z_0)f(z) \). For a pole of order \( m \), the formula is

对于一阶极点 \( z_0 \)，\( \text{Res}(f, z_0) = \lim_{z \to z_0} (z – z_0)f(z) \)。对于 \( m \) 阶极点，公式为

\( \text{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] \)

---

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

Residue theory can evaluate improper real integrals of the form \( \int_{-\infty}^{\infty} f(x)\,dx \) or trigonometric integrals over \([0, 2\pi]\).

留数理论可计算形如 \( \int_{-\infty}^{\infty} f(x)\,dx \) 的广义实积分或 \([0, 2\pi]\) 上的三角积分。

• For rational functions \( f(x) \) with degree of denominator at least two more than numerator, close the real axis with a semicircle in the upper half-plane.

  对于分母次数至少比分子大两次的有理函数 \( f(x) \)，可用上半平面半圆闭合实轴。

• For \( \int_0^{2\pi} R(\cos\theta, \sin\theta)\,d\theta \), set \( z = e^{i\theta} \), so \( \cos\theta = \frac{z+z^{-1}}{2} \), \( \sin\theta = \frac{z – z^{-1}}{2i} \), then use the unit circle.

  对于 \( \int_0^{2\pi} R(\cos\theta, \sin\theta)\,d\theta \)，令 \( z = e^{i\theta} \)，则 \( \cos\theta = \frac{z+z^{-1}}{2} \)，\( \sin\theta = \frac{z – z^{-1}}{2i} \)，再使用单位圆。

• The integral equals \( 2\pi i \) times the sum of residues in the chosen contour.

  积分等于 \( 2\pi i \) 乘以所选围道内留数之和。

---

11. Common Problem Types and Techniques | 常见题型与解题技巧

Exam problems typically test the following skills:

考试题目通常考查以下技能：

• Verify analyticity using Cauchy–Riemann equations; find derivatives from the partial derivatives.

  利用柯西–黎曼方程验证解析性；由偏导数求导数值。

• Compute contour integrals by the residue theorem, especially for simple poles and poles of order 2.

  用留数定理计算围道积分，特别注意一阶极点和二阶极点。

• Determine singularities and classify them; compute residues using limits or series.

  判断并分类奇点；利用极限或级数计算留数。

• Expand a given function as a Taylor or Laurent series in a specified annulus.

  在给定圆环内将函数展开为泰勒级数或洛朗级数。

• Evaluate real improper integrals using a semicircular contour with Jordan’s lemma when necessary.

  使用半圆围道（必要时用 Jordan 引理）计算实广义积分。

• Apply Cauchy’s integral formula to evaluate integrals of the form \( \oint \frac{f(z)}{(z – z_0)^{n+1}} dz \).

  应用柯西积分公式计算形如 \( \oint \frac{f(z)}{(z – z_0)^{n+1}} dz \) 的积分。

---

12. Summary and Exam Advice | 总结与备考建议

Master the chain of ideas: complex derivative → analytic function → contour integral → residue theorem. Each tool builds on the previous one. Practice by drawing contours and identifying singularities before applying formulas.

掌握逻辑链条：复导数 → 解析函数 → 围道积分 → 留数定理。每一步都建立在前一步之上。练习时先绘制围道、识别奇点，再代入公式。

Common pitfalls include forgetting the \( i \) in the residue theorem, miscomputing residues at poles of order >1, and using a contour that does not satisfy the theorem’s conditions. Always check whether the function is analytic on the contour itself.

常见错误包括留数定理中遗漏 \( i \)、计算高阶极点留数失误、使用不满足定理条件的围道。务必检查函数在围道上是否解析。

With systematic practice, complex analysis problems become routine. Focus on the standard examples: \( 1/(z^2 + 1) \), \( e^{iz}/z \), and \( 1/\sin z \), which appear frequently in exams.

通过系统练习，复变函数题目将变得常规。重点掌握标准例题：\( 1/(z^2 + 1) \)、\( e^{iz}/z \)、\( 1/\sin z \)，这些在考试中频繁出现。

Published by TutorHao | 数学 Revision Series | aleveler.com

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