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(costheta + isintheta) ), where ( r = |z| ), ( theta = arg(z) ).

极坐标形式：( z = r(costheta + isintheta) )，其中 ( r = |z| )，( theta = arg(z) )。
Euler’s identity: ( e^{itheta} = costheta + isintheta ) leads to the compact form ( z = re^{itheta} ).

欧拉公式：( e^{itheta} = costheta + isintheta ) 给出紧凑形式 ( z = re^{itheta} )。
Conjugate: ( bar{z} = x – iy ); note ( zbar{z} = |z|^2 ).

共轭：( bar{z} = x – iy )；注意 ( zbar{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 + isin y) ). It is entire (analytic everywhere).

指数函数：( e^z = e^x(cos y + isin 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| + iarg(z) ), multi-valued; principal branch usually takes ( -pi < arg(z) le pi ).

对数：( log z = ln|z| + iarg(z) )，为多值函数；主分支通常取 ( -pi < arg(z) le pi )。
Power function: ( z^a = e^{alog z} ), also multi-valued in general.

幂函数：( z^a = e^{alog 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}{2pi i} oint_gamma frac{f(z)}{z – z_0} dz )

The generalized formula gives derivatives:

推广公式给出导数：

( f^{(n)}(z_0) = frac{n!}{2pi 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 = 2pi i sum_k text{Res}(f, z_k) ).

若 ( f ) 在闭合围道 ( gamma ) 上及内部除有限个奇点 ( z_k ) 外解析，则 ( oint_gamma f(z),dz = 2pi 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, 2pi]).

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

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^{2pi} R(costheta, sintheta),dtheta ), set ( z = e^{itheta} ), so ( costheta = frac{z+z^{-1}}{2} ), ( sintheta = frac{z – z^{-1}}{2i} ), then use the unit circle.

对于 ( int_0^{2pi} R(costheta, sintheta),dtheta )，令 ( z = e^{itheta} )，则 ( costheta = frac{z+z^{-1}}{2} )，( sintheta = frac{z – z^{-1}}{2i} )，再使用单位圆。
The integral equals ( 2pi i ) times the sum of residues in the chosen contour.

积分等于 ( 2pi 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（同微信）

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