📚 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 = Re(z) is the real part and y = Im(z) is the imaginary part. The complex plane maps z to the point (x, y) . The modulus is |z| = √x2 + y2 , and the argument arg(z) is the angle measured from the positive real axis.
复数一般写作 z = x + iy ,其中 x = Re(z) 为实部, y = Im(z) 为虚部。复平面将 z 对应到点 (x, y) 。模长定义为 |z| = √x2 + y2 ,辐角 arg(z) 是从正实轴起逆时针旋转的角度。
Polar form: z = r(cosθ + isinθ) , where r = |z| , θ = arg(z) .
极坐标形式: z = r(cosθ + isinθ) ,其中 r = |z| , θ = arg(z) 。
Euler's identity: eiθ = cosθ + isinθ leads to the compact form z = reiθ .
欧拉公式: eiθ = cosθ + isinθ 给出紧凑形式 z = reiθ 。
Conjugate: z̄ = x - iy ; note zz̄ = |z|2 .
共轭: z̄ = x - iy ;注意 zz̄ = |z|2 。
2. Complex Functions and Limits | 复变函数与极限
A complex function f: ℂ → ℂ 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: ℂ → ℂ 可看作两个实函数 u(x,y) 与 v(x,y) 的组合: f(z) = u(x,y) + iv(x,y) 。复平面上的极限定义与实函数类似,但要求从任意方向趋近时极限都相同。
For a limit to exist, limz → z0 f(z) must be independent of the path of approach.
极限存在要求 limz → z0 f(z) 与趋近路径无关。
Continuity is defined in the usual way: limz → z0 f(z) = f(z0) . However, differentiability is much more restrictive in the complex plane, as we see next.
连续性的定义与实函数相同: limz → z0 f(z) = f(z0) 。然而,复平面上的可导性要求严格得多,详见下一节。
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) 存在等价于柯西–黎曼方程成立:
∂ u∂ x = ∂ v∂ y, ∂ u∂ y = -∂ v∂ x
If these partial derivatives are continuous, the equations are sufficient for analyticity.
若偏导数连续,则该方程组是解析的充分条件。
When f'(z) exists, it equals ux + ivx = vy - iuy .
当 f'(z) 存在时,其值为 ux + ivx = vy - iuy 。
Harmonic functions: u and v are each harmonic ( ∇2 u = ∇2 v = 0 ) if f is analytic.
调和函数:若 f 解析,则 u 和 v 都是调和函数( ∇2 u = ∇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: ez = ex(cos y + isin y) . It is entire (analytic everywhere).
指数函数: ez = ex(cos y + isin y) ,它是整函数(处处解析)。
Sine and cosine: sin z = eiz - e-iz⁄2i , cos z = eiz + e-iz⁄2 .
正弦与余弦: sin z = eiz - e-iz⁄2i , cos z = eiz + e-iz⁄2 。
Logarithm: log z = ln|z| + iarg(z) , multi-valued; principal branch usually takes -π < arg(z) ≤ π .
对数: log z = ln|z| + iarg(z) ,为多值函数;主分支通常取 -π < arg(z) ≤ π 。
Power function: za = ealog z , also multi-valued in general.
幂函数: za = ealog z ,一般情况下也是多值函数。
5. Complex Integration and Cauchy's Integral Theorem | 复积分与柯西积分定理
For a curve γ from a to b , the line integral is defined as ∫gamma f(z)dz , computed by parameterizing z(t) . The fundamental result is Cauchy's theorem:
对于从 a 到 b 的曲线 γ ,线积分定义为 ∫gamma f(z)dz ,通过参数化 z(t) 计算。基本结果是柯西定理:
If f is analytic in a simply connected domain D , then ∮gamma f(z)dz = 0 for any closed contour γ in D .
若 f 在单连通区域 D 内解析,则对 D 内任意闭合围道 γ 有 ∮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 γ , and z0 is inside γ , then
若 f 在简单闭合围道 γ 上及其内部解析,且 z0 在 γ 内,则
f(z0) = 12π i ∮gamma f(z)⁄z - z0 dz
The generalized formula gives derivatives:
推广公式给出导数:
f(n)(z0) = n!2π i ∮gamma f(z)⁄(z - z0)n+1 dz
This shows analytic functions are infinitely differentiable.
这表明解析函数具有任意阶导数。
It also yields the estimate: |f(n)(z0)| ≤ n! M⁄Rn , where M is the maximum of |f| on the circle of radius R .
同时给出估计: |f(n)(z0)| ≤ n! M⁄Rn ,其中 M 是半径为 R 的圆上 |f| 的最大值。
7. Taylor and Laurent Series | 泰勒级数与洛朗级数
An analytic function can be represented by a Taylor series around a point z0 :
解析函数可围绕点 z0 展开为泰勒级数:
f(z) = ∑n=0∞ f(n)(z0)⁄n!(z - z0)n
For functions with isolated singularities, the Laurent series includes negative powers:
对于具有孤立奇点的函数,洛朗级数包含负幂项:
f(z) = ∑n=-∞∞ an (z - z0)n
The coefficient a-1 is called the residue of f at z0 , denoted Res(f, z0) .
系数 a-1 称为 f 在 z0 处的留数,记作 Res(f, z0) 。
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 | sin zz at 0 |
| Pole of order m | Finite negative terms, highest m | 1⁄z2 at 0 |
| Essential | Infinitely many negative terms | e1/z at 0 |
奇点类型:可去奇点(无负幂项)、 m 阶极点(负幂最高为 m )、本性奇点(负幂无穷多)。
Classification is a common exam question; check the limit limz → z0 f(z) : finite gives removable, infinite gives pole, does not exist gives essential.
分类是常见考点:检查极限 limz → z0 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 γ except for finitely many singularities zk inside γ , then ∮gamma f(z)dz = 2π i ∑k Res(f, zk) .
若 f 在闭合围道 γ 上及内部除有限个奇点 zk 外解析,则 ∮gamma f(z)dz = 2π i ∑k Res(f, zk) 。
For a simple pole z0 , Res(f, z0) = limz → z0 (z - z0)f(z) . For a pole of order m , the formula is
对于一阶极点 z0 , Res(f, z0) = limz → z0 (z - z0)f(z) 。对于 m 阶极点,公式为
Res(f, z0) = 1(m-1)! limz → z0 dm-1⁄dzm-1 [(z - z0)m f(z)]
10. Evaluating Real Integrals via Residues | 利用留数计算实积分
Residue theory can evaluate improper real integrals of the form ∫-∞∞ f(x)dx or trigonometric integrals over [0, 2π].
留数理论可计算形如 ∫-∞∞ f(x)dx 的广义实积分或 [0, 2π] 上的三角积分。
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 ∫02π R(cosθ, sinθ)dθ , set z = eiθ , so cosθ = z+z-1⁄2 , sinθ = z - z-1⁄2i , then use the unit circle.
对于 ∫02π R(cosθ, sinθ)dθ ,令 z = eiθ ,则 cosθ = z+z-1⁄2 , sinθ = z - z-1⁄2i ,再使用单位圆。
The integral equals 2π i times the sum of residues in the chosen contour.
积分等于 2π 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 ∮ f(z)⁄(z - z0)n+1 dz .
应用柯西积分公式计算形如 ∮ f(z)⁄(z - z0)n+1 dz 的积分。
12. Summary and Exam Advice | 总结与备考建议
ool 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/(z2 + 1) , eiz/z , and 1/sin z , which appear frequently in exams.
通过系统练习,复变函数题目将变得常规。重点掌握标准例题: 1/(z2 + 1) 、 eiz/z 、 1/sin z ,这些在考试中频繁出现。
Published by TutorHao | 数学 Revision Series | aleveler.com
更多咨询请联系16621398022(同微信)

或截图后用「扫一扫 → 相册」选择本图