工程数学（复变函数）

复数、解析函数、积分、级数 · 共 10 讲

Lecture_1

🧩 核心概念

虚数单位（imaginary unit） — 满足 i² = −1 的数 i，用于使 x² = −1 这类在实数范围内无解的方程有解，是构造复数的基础。
复数集（the set of complex numbers） — 所有形如 z = x + iy（x, y ∈ ℝ）的数构成的集合，记作 ℂ，用于把实数系扩展到能处理负数开方。
代数形式（algebraic representation） — 把复数写成 z = x + iy 的形式，用于对复数做加减乘除等代数运算。
实部（real part） — z = x + iy 中的 x，记作 Re z = x，用于分解复数的实数分量。
虚部（imaginary part） — z = x + iy 中的 y，记作 Im z = y，用于分解复数的虚数分量。
复数的和（the sum of z₁ and z₂） — z₁ + z₂ = (x₁ + x₂) + i(y₁ + y₂)，实部与实部相加、虚部与虚部相加。
复数的积（the product of z₁ and z₂） — z₁ · z₂ = (x₁x₂ − y₁y₂) + i(x₁y₂ + x₂y₁)，按分配律展开并用 i² = −1 化简。
加法逆元（additive inverse） — 对 z = x + iy，其加法逆元为 −z = −x − iy，满足 z + (−z) = 0，用于定义复数的差。
复数的差（the difference of z₁ and z₂） — z₁ − z₂ := z₁ + (−z₂) = (x₁ − x₂) + i(y₁ − y₂)，借助加法逆元定义。
复数相等的充要条件（equality of complex numbers） — z₁ = z₂ 当且仅当 Re z₁ = Re z₂ 且 Im z₁ = Im z₂，用于判断两个复数是否相等。
乘法逆元（multiplicative inverse） — 对非零复数 z = x + iy，其乘法逆元为 z⁻¹ = x/(x²+y²) − i·y/(x²+y²)，满足 z · z⁻¹ = 1，用于定义复数的商。
复数的商（the quotient of z₁ and z₂） — z₁/z₂ = z₁ · z₂⁻¹（z₂ ≠ 0），通过乘以分母的乘法逆元得到。
域（field） — 复数集 ℂ 连同加法和乘法构成一个域，即满足交换律、结合律、加法单位元、乘法单位元、加法逆元、乘法逆元、分配律这七条性质。
交换律（the commutative law） — z₁ + z₂ = z₂ + z₁ 且 z₁ · z₂ = z₂ · z₁，说明复数加法与乘法可交换次序。
结合律（the associative law） — z₁ + (z₂ + z₃) = (z₁ + z₂) + z₃ 且 z₁ · (z₂ · z₃) = (z₁ · z₂) · z₃，说明复数加法与乘法可任意加括号。
加法单位元（the additive identity） — 复数 0，满足 z + 0 = z。
乘法单位元（the multiplicative identity） — 复数 1，满足 z · 1 = z。
乘法对加法的分配律（distributivity of multiplication over addition） — z₁ · (z₂ + z₃) = (z₁ · z₂) + (z₁ · z₃)，是复数乘法展开的依据。
复数的几何表示（the geometric representation of complex numbers） — 把 z = x + iy 对应为笛卡尔坐标系中的点 (x, y)，用于把代数运算转化为几何直观。
实轴（real axis） — 笛卡尔坐标系中单位为 1 的水平轴，对应复数的实部。
虚轴（imaginary axis） — 笛卡尔坐标系中单位为 i 的垂直轴，对应复数的虚部；虚数单位 i 的几何表示为点 (0, 1)。
共轭复数（complex conjugate） — 若 z = x + iy，则 z̄ = x − iy，是 z 关于实轴的对称点，用于化简除法、求模等。
共轭的性质（properties of the complex conjugate） — Re z = ½(z + z̄)、Im z = ½ᵢ(z − z̄)、z₁±z₂ 的共轭等于共轭的加减、z₁·z₂ 的共轭等于共轭的乘积、(z₁/z₂) 的共轭等于共轭的商。
模（modulus） — 复数 z = x + iy 的模 |z| = √(x² + y²)，表示从原点到点 z 的距离。
三角不等式（the triangle inequality） — |z₁ ± z₂| ≤ |z₁| + |z₂|，是模的重要性质之一。
模的性质（properties of the modulus） — |z₁·z₂| = |z₁|·|z₂|、|zⁿ| = |z|ⁿ、|z|² = z·z̄、z⁻¹ = z̄/|z|²。
主辐角（the principal argument） — 非零复数 z 的主辐角 Arg(z) 是实轴与线段 Oz 之间的夹角（弧度制），取值范围为 (−π, π]。
辐角（argument） — arg(z) = Arg(z) + 2kπ（k ∈ ℤ），说明一个复数有无穷多个辐角值。
极坐标形式（the polar representation / polar form） — 对非零复数 z，写成 z = r(cos θ + i sin θ)，其中 r = |z| > 0，θ = Arg(z) ∈ (−π, π]。
欧拉公式（Euler's formula） — 对 θ ∈ ℝ，定义 e^{iθ} = cos θ + i sin θ，是连接三角函数与指数函数的桥梁。
指数形式（the exponential form） — 对非零复数 z，写成 z = re^{iθ}，其中 r = |z| > 0，θ = Arg(z) ∈ (−π, π]。
极坐标/指数形式的性质（useful properties of polar/exponential forms） — z₁·z₂ = r₁r₂e^{i(θ₁+θ₂)}（模相乘、辐角相加），z₁/z₂ = (r₁/r₂)e^{i(θ₁−θ₂)}（模相除、辐角相减）。
复数的 n 次幂（the nth power of a complex number） — 若 z = re^{iθ}，则 zⁿ = rⁿe^{inθ} = rⁿ[cos(nθ) + i sin(nθ)]，用于快速计算高次幂。
复数的 n 次根（the nth roots of a complex number） — 方程 ωⁿ = z 恰有 n 个不同的解，若 z = re^{iθ}，则根为 ω = r^{1/n} e^{i(θ+2kπ)/n}（k = 0, 1, …, n−1），所有根的模相同、辐角相差 2π/n。
正 n 边形的顶点表示（vertices of a regular polygon） — n 次根在复平面上对应内接于以原点为圆心、半径为 r^{1/n} 的圆的正 n 边形的顶点，用于几何直观理解根的结构。

🔗 概念之间的关系

虚数单位 → 复数集 → 代数形式：虚数单位 i 的引入使 x² = −1 有解，进而把实数扩展到复数集 ℂ；代数形式 z = x + iy 是复数集的标准书写方式，实部和虚部由此定义。
代数形式 → 四则运算 → 域：在代数形式下定义了和、积、差、商四种运算，这些运算满足交换律、结合律、分配律、单位元、逆元等七条性质，从而说明 ℂ 是一个域。
乘法逆元 → 商：复数的商依赖乘法逆元来定义，而乘法逆元的推导又依赖共轭复数（分子分母同乘 z̄），因此共轭是除法运算的底层工具。
几何表示 → 共轭 / 模 / 辐角：复数的几何表示把 z 对应为平面上的点，共轭是点关于实轴的对称，模是点到原点的距离，辐角是实轴与线段 Oz 的夹角——三者都是几何表示的直接产物。
模 + 主辐角 → 极坐标形式 → 指数形式：极坐标形式 z = r(cos θ + i sin θ) 由模和主辐角共同确定；引入欧拉公式后，极坐标形式自然过渡为更简洁的指数形式 z = re^{iθ}。
指数形式 → n 次幂 / n 次根：指数形式下乘法对应模相乘、辐角相加，由此直接推出 zⁿ = rⁿe^{inθ}；n 次根则是 n 次幂的逆运算，其 n 个解均匀分布在圆上构成正 n 边形。

⬅️ 承接前面的知识

本讲是 RBE101TC 的第一讲，没有前置讲次。本讲从整数、有理数、无理数出发，通过「x² = −1 无实数解」这一问题引出虚数单位，进而把实数系 ℝ 扩展为复数系 ℂ。本讲为后续所有涉及复数的内容打基础，包括：复变函数、留数定理、傅里叶变换、拉普拉斯变换等工程数学核心工具。

➡️ 后面会怎么用

复数的代数运算与域性质：后续课程中求解线性微分方程、矩阵特征值等问题时，会频繁使用复数的四则运算和域性质。
共轭与模：在信号处理、量子力学中，共轭用于计算内积和概率幅；模用于定义复数的范数和距离。
极坐标/指数形式：是后续学习复变函数（如解析函数、柯西-黎曼方程）的基础，也是工程中相量法分析交流电路的核心工具。
欧拉公式：连接指数函数与三角函数，是傅里叶变换、拉普拉斯变换的数学基础。
n 次幂与 n 次根：用于求解代数方程、分析离散傅里叶变换（DFT）中的单位根等。
几何表示：为后续复平面上的映射、保角变换等提供直观图像。

Lecture_2

🧩 核心概念

圆（circle） — 满足 |z − z₀| = R 的点集，即到定点 z₀ 距离为 R 的所有点；用于描述复平面上的边界曲线。
圆的内点集 / 开圆盘（interior of the circle / open disk） — 满足 |z − z₀| < R 的点集；用于定义邻域、开集等拓扑概念的基础。
闭圆盘（closed disk） — 满足 |z − z₀| ≤ R 的点集，即开圆盘加上边界；用于区分开集与闭集。
圆盘的边界（boundary of the disk） — 即上述圆 |z − z₀| = R；用于说明开圆盘不含边界、闭圆盘含边界。
邻域（neighborhood） — 以 z₀ 为中心的一个开圆盘；用于定义开集、解析性等局部性质。
圆环域（annulus） — 满足 ρ₁ < |z − a| < ρ₂ 的点集，即到 a 的距离介于 ρ₁ 和 ρ₂ 之间的所有点；用于描述带洞的区域。
去心圆盘（punctured disk） — 当 ρ₁ = 0 时的圆环域，即 0 < |z − a| < ρ₂；用于描述去掉中心点的圆盘区域。
闭圆环域（closed annulus） — 将圆环域定义中的 "<" 替换为 "≤" 所得的点集；用于区分开圆环与闭圆环。
上半平面（upper half-plane） — 满足 Im z > 0 的点集；用于描述复平面上的标准区域。
下半平面（lower half-plane） — 满足 Im z < 0 的点集；用于描述复平面上的标准区域。
左半平面（left half-plane） — 满足 Re z < 0 的点集；用于描述复平面上的标准区域。
右半平面（right half-plane） — 满足 Re z > 0 的点集；用于描述复平面上的标准区域。
开集（open set） — 集合 S 中每一点都存在一个完全包含于 S 的邻域；用于定义区域（domain）。
连通集（connected set） — 集合中任意两点都可用有限条线段组成的折线连接，且折线上所有点都在该集合内；用于定义区域。
区域 / 域（domain） — 既开又连通的集合；是定义解析函数的标准舞台。
复变函数（complex function） — 定义在 S ⊆ C 上、取值于 C 的函数 f : S ⊆ C → C；本讲的核心研究对象。
函数的定义域（domain of f） — 复变函数 f 的自变量集合 S；用于确定函数的研究范围。
函数的值域（range of f） — 集合 {f(z) | z ∈ S}；用于描述函数取值的范围。
实部（real part） — f(z) = u(x,y) + iv(x,y) 中的 u(x,y) = Re f(z)；将复变函数拆解为两个实函数之一。
虚部（imaginary part） — f(z) = u(x,y) + iv(x,y) 中的 v(x,y) = Im f(z)；将复变函数拆解为两个实函数之一。
极限（limit） — lim_{z→z₀} f(z) = L 的 ε-δ 定义：对任意 ε > 0，存在 δ > 0，使得 0 < |z − z₀| < δ ⇒ |f(z) − L| < ε；用于定义连续和可微。
连续（continuous） — f 在 z₀ 处连续，若 lim_{z→z₀} f(z) = f(z₀)；是可微的必要条件。
可微（differentiable） — f 在 z₀ 处可微，若差商极限 lim_{Δz→0} [f(z₀+Δz) − f(z₀)]/Δz 存在；是解析性的基础。
导数（derivative） — f′(z₀) = lim_{Δz→0} [f(z₀+Δz) − f(z₀)]/Δz，即上述差商极限的值；用于刻画函数的变化率。
求导法则（differentiation rules） — 若 f 和 g 可微，则 (cf)′ = cf′，(f+g)′ = f′+g′，(fg)′ = f′g+fg′，(f/g)′ = (f′g−fg′)/g²（g ≠ 0）；用于计算复变函数的导数。
解析（analytic） — f 在区域 D 内解析，若它在 D 的每一点都有定义且可微；是复分析的核心概念。
在某点解析（analytic at a point） — f 在 z₀ 处解析，若它在 z₀ 的某个邻域内解析；是局部性质。
整函数（entire） — f 在整个复平面 C 上解析；是解析函数的全局特例。
多项式（polynomials） — 形如 f(z) = cₙzⁿ + cₙ₋₁zⁿ⁻¹ + … + c₁z + c₀ 的函数，其中 n 为非负整数，ck ∈ C；是整函数的典型例子。
有理函数（rational functions） — 两个多项式之商 P(z)/Q(z)；在 Q(z) ≠ 0 的所有 z 处解析。
柯西-黎曼方程（Cauchy-Riemann equations） — ux = vy 和 uy = −vx；是判断复变函数解析性的充要条件（在偏导数连续的条件下）。
极坐标形式的柯西-黎曼方程（Cauchy-Riemann equations in polar form） — 当 z = r(cosθ + i sinθ)，f(z) = u(r,θ) + iv(r,θ) 时，ur = (1/r)vθ 和 vr = −(1/r)uθ；用于极坐标下判断解析性。
拉普拉斯方程（Laplace's equation） — ∇²f = fxx + fyy = 0；解析函数的实部和虚部都满足此方程。
调和函数（harmonic functions） — 具有连续二阶偏导数且满足拉普拉斯方程的函数；解析函数的实部和虚部都是调和函数。
共轭调和函数（harmonic conjugate function） — 若两个调和函数 u 和 v 满足柯西-黎曼方程，则 v 称为 u 的共轭调和函数；用于从实部构造解析函数。
共轭调和函数的唯一性（uniqueness of harmonic conjugate up to a real additive constant） — 给定调和函数的共轭调和函数在不计任意实常数加项的意义下唯一确定；用于说明共轭调和函数的自由度。

🔗 概念之间的关系

开圆盘 → 邻域 → 开集 → 区域：开圆盘是邻域的具体形式，邻域用于定义开集，开集与连通性共同定义区域（domain）。这是一条从具体到抽象的拓扑结构链。
复变函数 → 实部与虚部 → 柯西-黎曼方程 → 解析性：复变函数可拆分为实部和虚部，柯西-黎曼方程是判断解析性的充要条件（在偏导数连续的前提下），因此解析性依赖于实部和虚部的偏导数关系。
极限 → 连续 → 可微 → 解析 → 整函数：极限定义连续，连续是可微的必要条件，可微是解析的基础，解析在整个复平面上推广为整函数。每一层都是前一层在更强条件下的推广。
多项式 ⊂ 有理函数 ⊂ 解析函数：多项式是整函数（处处解析），有理函数在分母不为零处解析，因此多项式是有理函数的特例，有理函数是解析函数的特例（在定义域内）。
解析函数 → 调和函数 → 共轭调和函数：解析函数的实部和虚部都是调和函数，且它们满足柯西-黎曼方程，因此虚部是实部的共轭调和函数。这是从解析性到调和性的推导链。
直角坐标柯西-黎曼方程 ↔ 极坐标柯西-黎曼方程：两者是同一条件在不同坐标系下的表达，极坐标形式是直角坐标形式在 z = r(cosθ + i sinθ) 下的等价转换。

⬅️ 承接前面的知识

本讲为后续内容打基础，具体包括：

复数的几何表示（第 1 讲）：本讲用 |z − z₀| 表示距离，用 Re z 和 Im z 定义半平面，这些直接依赖第 1 讲的复数模和实部/虚部概念。
复数的代数运算（第 1 讲）：例题中 f(z) = z² 和 f(z) = (z̄)² 的计算用到第 1 讲的复数乘法、共轭等运算。
复平面上的点集（第 1 讲）：本讲定义的圆、圆盘、圆环域、半平面等都是在第 1 讲复平面基础上的扩展。
为后续内容打基础：本讲的极限、连续、可微、解析性等概念是后续复积分（如柯西积分定理）、级数展开（如泰勒级数、洛朗级数）、留数定理等内容的基础。调和函数和共轭调和函数为后续边值问题（如狄利克雷问题）提供工具。

➡️ 后面会怎么用

解析函数：后续将学习解析函数的积分（柯西积分定理、柯西积分公式），以及解析函数的级数展开（泰勒级数、洛朗级数），这些都以本讲的解析性定义为基础。
柯西-黎曼方程：在后续课程中用于验证函数的解析性、构造解析函数、以及推导解析函数的性质（如保角性）。
调和函数与共轭调和函数：在物理和工程中用于求解拉普拉斯方程（如电势、热传导、流体力学），后续会学习如何用解析函数求解边值问题。
整函数与有理函数：后续会学习整函数的性质（如刘维尔定理）、有理函数的部分分式分解和留数计算。
极限与连续：后续在复级数、复积分中会反复用到极限和连续的概念，尤其是在讨论一致收敛和积分路径的连续性时。
极坐标形式的柯西-黎曼方程：在涉及圆形区域或极坐标对称的问题中（如圆盘上的边值问题），极坐标形式更为方便。

Lecture_3

🧩 核心概念

多项式（Polynomials） — 形如 f(z) = c₀ + c₁z + c₂z² + ··· + cₙzⁿ 的函数，其中 c₀,…,cₙ ∈ C 为常数；它是整函数，在整个复平面上解析。
有理函数（Rational functions） — 两个多项式之比 f(z) = p(z)/q(z)；除分母零点 q(z) = 0 外处处解析。
指数函数（The exponential function） — 定义为 eᶻ = eˣ⁺ⁱʸ = eˣeⁱʸ，其中 x、y 分别是 z 的实部和虚部；由欧拉公式 eⁱʸ = cos y + i sin y 引出。
指数函数的性质（Properties of the exponential function） — eᶻ 是整函数，其导数仍为 eᶻ，且当 z 为实数时退化为实指数函数。
指数函数的进一步性质（Further Properties） — 包括 eᶻ¹⁺ᶻ² = eᶻ¹eᶻ²、e²πⁱ = 1、|eⁱʸ| = 1、eᶻ ≠ 0、eᶻ⁺²ᵏπⁱ = eᶻ（k ∈ Z，即 2πi 周期性）。
基本区域（fundamental region） — 集合 {z ∈ C | −π < y ≤ π}，即把虚部限制在一个 2π 周期内的区域；用来把多值的指数关系化为单值讨论。
复对数（complex logarithm） — 定义为 ln z = ln|z| + i arg z，是指数函数的反函数；由于 arg z 多值，ln z 也是多值的。
多值函数（multivalued function） — 取值有无穷多个的函数；复对数 ln z 和一般幂都是多值函数。
主值（principal value） — 复对数取主辐角时的单值分支，记为 Ln z = ln|z| + i Arg z；满足 ln z = Ln z + i2nπ。
复对数的性质（Properties of the complex logarithm） — ln(z₁z₂) = ln z₁ + ln z₂ 和 ln(z₁/z₂) = ln z₁ − ln z₂；注意这些恒等式对主值 Ln 不成立。
解析（analytic） — 函数在除零点及负实轴外处处可导的性质；ln z 满足此性质，且 (ln z)′ = 1/z。
幂函数（power function） — 定义为 z^c = e^{c ln z}，c ∈ C，z ≠ 0；是多值函数。
一般幂（general power） — 定义为 a^c = e^{c ln a}，a ∈ C\{0}；是多值表达式，其主值为 e^{c Ln z}。
一般幂的单值性（Remark on general power） — 当 c 为整数时 z^c 单值；当 z 为正实数时 z^c = e^{c ln z} 也单值。
三角函数（Trigonometric Functions） — cos z = ½(eⁱᶻ + e⁻ⁱᶻ) 和 sin z = ½ᵢ(eⁱᶻ − e⁻ⁱᶻ)；它们是整函数，z 为实数时与实三角函数一致。
其他三角函数（Other trigonometric functions） — tan z = sin z/cos z、cot z = cos z/sin z、sec z = 1/cos z、csc z = 1/sin z；它们不是整函数。
余割函数（csc z） — 定义为 1/sin z 的复变函数；在 sin z ≠ 0 即 z ≠ nπ（n ∈ Z）处解析。
双曲函数（hyperbolic functions） — cosh z = ½(eᶻ + e⁻ᶻ) 和 sinh z = ½(eᶻ − e⁻ᶻ)；它们是整函数，z 为实数时与实双曲函数一致。
其他双曲函数（Other hyperbolic functions） — tanh z = sinh z/cosh z、coth z = cosh z/sinh z、sech z = 1/cosh z、csch z = 1/sinh z；它们不是整函数。
双曲正切（tanh z） — 由 sinh z / cosh z 定义的双曲函数。
双曲余切（coth z） — 由 cosh z / sinh z 定义的双曲函数。
双曲正割（sech z） — 由 1 / cosh z 定义的双曲函数。
双曲余割（csch z） — 由 1 / sinh z 定义的双曲函数。
整函数（entire functions） — 在整个复平面上解析的函数；多项式、eᶻ、cos z、sin z、cosh z、sinh z 均属此类。
解析函数（analytic function） — 在某个开集内处处可导的复变函数；本讲通过 csc z 的解析域练习加以应用。

🔗 概念之间的关系

多项式 → 有理函数：有理函数是两个多项式之比，因此多项式是有理函数的特例（分母为常数时）。
指数函数 → 复对数：复对数被定义为指数函数的反函数，即由 eʷ = z 反解出 w = ln z，因此 ln z 的多值性直接来源于 eᶻ 的 2πi 周期性。
复对数 → 幂函数 / 一般幂：幂函数 z^c 和一般幂 a^c 都通过 e^{c ln z} 定义，完全依赖复对数；ln z 的多值性导致它们也是多值函数。
指数函数 → 三角函数 / 双曲函数：cos z、sin z、cosh z、sinh z 全部由 eᶻ 和 e⁻ᶻ 组合定义，因此它们继承了指数的整函数性质。
三角函数 → 其他三角函数：tan、cot、sec、csc 由 sin z 和 cos z 的商或倒数定义，因此它们不再是整函数，解析域受分母零点限制。
双曲函数 → 其他双曲函数：tanh、coth、sech、csch 由 sinh z 和 cosh z 的商或倒数定义，同理不是整函数。
基本区域 → 主值：基本区域把虚部限制在 (−π, π]，使得 arg z 取唯一的主辐角 Arg z，从而得到复对数的主值 Ln z。

⬅️ 承接前面的知识

本讲为第一讲，无前置内容。本讲为后续内容打基础的方向：

欧拉公式 eⁱʸ = cos y + i sin y 是定义复指数函数的出发点，后续所有由指数定义的函数（对数、幂、三角、双曲）都依赖它。
MTH013/MTH023 中的实指数函数、实三角函数、实双曲函数 被反复引用作为对照：当 z 取实数时，复函数退化为学生已熟悉的实函数。
整函数与解析性的概念 在本讲首次系统出现，为后续复积分、柯西定理、留数定理等核心内容奠定基础。
多值函数与主值分支 的概念为后续讨论支割线、黎曼面等进阶主题做铺垫。

➡️ 后面会怎么用

复对数与幂函数 的多值性分析将延伸到支割线（branch cut）和黎曼面（Riemann surface）的讨论。
解析函数 的概念是后续柯西-黎曼方程、柯西积分定理、留数定理的核心前提。
指数函数、三角函数、双曲函数 的导数公式和恒等式将在求解复微分方程、傅里叶变换、拉普拉斯变换中反复使用。
csc z 解析域的判定方法（找分母零点）是后续判断一般复函数解析域的标准套路。
基本区域 的概念在后续讨论周期函数、傅里叶级数的复形式时再次出现。
本讲内容对应教材 Kreyszig《Advanced Engineering Mathematics》第 10 版中复变函数基础章节，后续课程将在此基础上进入复积分与级数展开。

Lecture_4

🧩 核心概念

复平面上的线积分（Line Integral in the Complex Plane） — 本讲主题，指复变函数 f 沿复平面曲线 γ 的积分 ∫_γ f(z)dz，用于计算复变函数沿给定路径的累积效果。
曲线的参数化（parametrization of a curve） — 用实参数 t 将复平面曲线表示为 z(t)=x(t)+iy(t)，t∈[a,b]，用于把复积分转化为实变量的定积分。
光滑曲线（smooth curve） — 若曲线具有连续导数，则称该曲线为光滑的，用于保证参数化积分公式中 ż(t) 存在且连续。
逆时针定向（oriented counterclockwise） — 当参数 t 增加时点 z(t) 沿圆逆时针移动，称该参数化描述的路径为逆时针定向，用于确定积分路径的方向。
复线积分（complex line integral） — 函数 f 沿曲线 γ 的积分，定义为黎曼和的极限 ∫_γ f(z)dz=lim_{n→∞}Σ f(ζ_m)Δz_m，是复积分的基本定义。
ML不等式（ML-inequality） — 若 f 在区域 D 上有界 |f(z)|≤M，则 |∫_γ f(z)dz|≤ML，其中 L 是 γ 的长度，用于估计复线积分的上界而不必精确计算积分。
参数化积分法（Integration by parametrization） — 若 γ 是分段光滑路径 z(t)，f 连续，则 ∫_γ f(z)dz=∫_a^b f(z(t))ż(t)dt，是计算复线积分的主要方法。
线积分的基本性质（Basic Properties of Line Integrals） — 关于复变函数线积分线性性、方向反转和路径可加性的三条基本性质，用于简化积分计算。
简单闭路径（simple closed path） — 一条闭合且不自交或自触的路径，用于定义单连通域和后续的柯西积分定理。
单连通域（simply connected domain） — 一个区域 D，其中任意简单闭曲线所围的点都属于 D（即没有“洞”），用于判定解析函数积分与路径无关的条件。
解析函数积分定理（Theorem on integration of analytic functions） — 若 f(z) 在单连通域 D 上解析，则存在解析函数 F(z) 使得 F′(z)=f(z)，且沿 D 内任意路径的积分等于 F(z₂)−F(z₁)，用于将解析函数的线积分转化为原函数端点值之差。
解析（analytic） — 函数在区域 A 上处处可导（全纯）的性质，是上述定理成立的核心条件。
对数（Ln） — 复对数函数，此处用于计算 1/z 的积分，即 ∫_γ (1/z)dz=Ln(z₂)−Ln(z₁)。

🔗 概念之间的关系

参数化是复线积分定义的基础：复线积分通过黎曼和定义，而实际计算依赖参数化将 z 表示为 t 的函数。
光滑曲线是参数化积分法的前提条件：只有当曲线光滑（或分段光滑）时，ż(t) 才存在，参数化积分公式才能成立。
ML不等式独立于参数化积分法，用于在不计算积分的情况下估计复线积分的模的上界，依赖于被积函数的有界性和路径长度。
线积分的基本性质（线性性、方向反转、路径可加性）是参数化积分法的补充工具，用于将复杂路径拆分为简单路径分别计算。
简单闭路径和单连通域共同构成解析函数积分定理的几何条件：单连通域排除了“洞”，使得简单闭路径所围区域完全属于 D。
解析函数积分定理是参数化积分法在解析函数情形下的推广：当 f 解析且区域单连通时，积分只依赖起点和终点，无需逐段参数化计算。

⬅️ 承接前面的知识

本讲为第一讲，无前置内容。本讲为后续柯西积分定理、柯西积分公式、留数定理等内容打基础：复线积分的定义和计算方法是整个复积分理论的起点；单连通域和解析函数积分定理直接引出柯西积分定理；ML不等式在后续估计积分上界时反复使用。

➡️ 后面会怎么用

复线积分和参数化积分法是后续计算留数、计算实积分（如 ∫_{-∞}^{∞} f(x)dx）的核心工具。
ML不等式在后续证明柯西积分定理、刘维尔定理、最大模原理等定理时用于估计积分上界。
单连通域和解析函数积分定理直接推广为柯西积分定理（闭合路径积分为零），并进一步引出柯西积分公式。
简单闭路径是留数定理中围道积分的基础，用于计算函数在奇点处的留数。
复对数 Ln 在后续多值函数、分支切割、留数计算中反复出现。

Lecture_5

🧩 核心概念

柯西积分定理（Cauchy's integral theorem） — 若函数 f(z) 在单连通域 D 内解析，则沿 D 内任意简单闭路径 γ 的积分为零：∮_γ f(z) dz = 0。用于快速判断解析函数沿闭路径的积分为零。
单连通域（simply connected domain） — 没有“洞”的连通区域，域内任意闭曲线可在域内连续收缩为一点。是柯西积分定理成立的前提条件。
简单闭路径（simple closed path） — 起点与终点重合且自身不相交的连续曲线。柯西积分定理和柯西积分公式都要求路径是简单闭路径。
路径无关性（Independence of Path） — 解析函数在单连通域内的积分值只与起点和终点有关，与具体路径无关。由柯西积分定理推导而来，用于简化积分计算。
多连通域（Multiply connected domains） — 具有一个或多个“洞”的连通区域，其边界由多条互不相交的闭曲线组成。用于讨论柯西积分定理在非单连通区域上的推广。
p重连通域（p-fold connected domain） — 具有 p 条互不相交边界和 p−1 个“洞”的多连通域。是多连通域的精确分类描述。
双连通集（doubly connected set） — 具有两条边界曲线（外边界 γ₁ 和内边界 γ₂）的平面区域。是 p=2 时的多连通域，用于建立多连通域上的柯西积分定理。
多连通域上的柯西积分定理（Cauchy's integral theorem for multiply connected domains） — 在双连通区域上解析的函数，沿外边界和内边界逆时针方向的积分相等：∮_{γ₁} f(z) dz = ∮_{γ₂} f(z) dz。用于将复杂边界上的积分转化为简单边界上的积分。
柯西积分公式（Cauchy's integral formula） — 若 f(z) 在单连通域 D 内解析，z₀ ∈ D，C 为逆时针包围 z₀ 的简单闭路径，则 ∮_C f(z)/(z−z₀) dz = 2πi f(z₀)。用于计算被积函数在奇点处有 1/(z−z₀) 形式的闭路径积分。
多连通域上的柯西积分公式（Cauchy's integral formula for multiply connected domains） — 若 f(z) 在包含 C₁ 和 C₂ 的区域上解析，z₀ 在该区域内，则 ∮_{C₁} f(z)/(z−z₀) dz + ∮_{C₂} f(z)/(z−z₀) dz = 2πi f(z₀)。用于处理多个边界包围同一奇点或不同奇点的情形。
柯西导数积分公式（Cauchy's integral formula for derivatives） — 若 f(z) 在区域 D 内解析，z₀ ∈ D，γ 为逆时针包围 z₀ 的简单闭路径且其内部属于 D，则 ∮_γ f(z)/(z−z₀)^{n+1} dz = (2πi/n!) f^{(n)}(z₀)。用于计算被积函数在奇点处有 1/(z−z₀)^{n+1} 形式的闭路径积分。
解析函数无限可微性（infinite differentiability of analytic functions） — 若 f(z) 在 D 内解析，则 f(z) 无限可微，且其每一阶导数仍是 D 上的解析函数。由柯西导数积分公式直接推出。
整函数（entire function） — 在整个复平面上解析的函数。例题中 e^{2z}、sin z + cos z 均为整函数，可直接应用柯西积分公式及其导数形式。
柯西不等式（Cauchy's inequality） — 若 f(z) 在区域 D 内解析，C 为 D 内以 z₀ 为圆心、r 为半径的圆，|f(z)| ≤ M 在 C 上成立，则 |f^{(n)}(z₀)| ≤ n!M/r^n。用于估计解析函数各阶导数的上界。

🔗 概念之间的关系

柯西积分定理是路径无关性的直接前提：正因为单连通域内沿任意简单闭路径积分为零，才能推出积分只依赖于起点和终点。
多连通域上的柯西积分定理是柯西积分定理在非单连通区域上的推广：当区域有“洞”时，闭路径积分不一定为零，但外边界与内边界的积分相等。
柯西积分公式是多连通域上的柯西积分定理的进一步推广：将被积函数从解析函数 f(z) 推广到 f(z)/(z−z₀)，从而用函数在内点的值表示边界积分。
柯西导数积分公式是柯西积分公式的推广：将分母从 (z−z₀) 推广到 (z−z₀)^{n+1}，从而用函数在内点的各阶导数表示边界积分。
解析函数无限可微性是柯西导数积分公式的直接推论：因为 n 可以取任意正整数，所以解析函数任意阶导数都存在且解析。
柯西不等式是柯西导数积分公式的推论：对导数公式的积分进行模的估计，得到导数上界与 M、r、n 的关系。

⬅️ 承接前面的知识

本讲为后续内容打基础，具体包括：

复变函数积分的基本定义和计算方法（参数化、路径积分）是本讲所有定理的前提，本讲第 6 页通过参数化 z(t) = e^{it} 直接计算 ∮ 1/z dz = 2πi，用到了复积分的基本计算技巧。
解析函数的定义和判定（柯西-黎曼方程）是本讲所有定理的核心条件，本讲反复使用“f(z) 解析”作为定理前提。
初等复变函数（e^z、sin z、cos z、sinh z、cosh z）的解析性和导数公式在本讲例题中被反复使用，如第 2 页的 e^z、cos z、sinh z，第 13 页的 e^{2z}，第 16 页的 sin z，第 22 页的 sin z + cos z。
复数的三角形式与指数形式（e^{it} = cos t + i sin t）在第 6 页参数化中被使用。
双曲函数与三角函数的关系（sin(2i) = i sinh 2，cos(−i) = cosh 1，sin(−i) = −i sinh 1）在第 16 页和第 22 页的计算中被使用。

➡️ 后面会怎么用

柯西积分定理和柯西积分公式是复变函数论的核心工具，后续将用于证明刘维尔定理（有界整函数必为常数）、最大模原理（解析函数在区域内部不能取到最大模）等基本定理。
柯西导数积分公式和解析函数无限可微性是泰勒级数展开和洛朗级数展开的基础，后续将用于研究解析函数的局部性质。
柯西不等式在后续刘维尔定理的证明中起关键作用，也是估计解析函数导数上界的基本工具。
多连通域上的柯西积分定理和积分公式是留数定理的前身，后续将推广为更一般的留数计算法则，用于计算实积分和级数求和。
路径无关性在后续原函数和不定积分的讨论中起基础作用，用于建立解析函数的积分与路径无关的充要条件。
整函数的概念在后续整函数的分类和皮卡定理中进一步深化。

Lecture_6

🧩 核心概念

幂级数（Power Series） — 形如 ∑ₙ₌₀^∞ aₙ(z−z₀)ⁿ 的级数，以 z₀ 为中心、aₙ 为系数；是复分析中表示解析函数的基本工具。
收敛半径（Radius of Convergence） — 幂级数收敛的最大圆盘半径 R；由系数极限（比值法或根值法）确定，R 可以等于 0、有限正数或 ∞。
收敛圆盘（Disk of Convergence） — 集合 {z ∈ ℂ : |z−z₀| < R}，即幂级数保证收敛的开圆盘；在边界 |z−z₀| = R 上级数可能收敛也可能发散。
比值法求收敛半径（Ratio Test for Radius of Convergence） — 若 limₙ→∞ |aₙ₊₁/aₙ| = L，则 R = 1/L（L=0 时 R=∞，L=∞ 时 R=0）；用于从系数直接算出收敛半径。
根值法求收敛半径（Root Test for Radius of Convergence） — 若 limₙ→∞ |aₙ|^(1/n) = L̃，则 R = 1/L̃（L̃=0 时 R=∞，L̃=∞ 时 R=0）；是求收敛半径的另一种方法，适用于比值法不便计算的情形。
解析函数的幂级数表示（Power Series Representation of Analytic Functions） — 若 f(z) 在 |z−z₀| < R 上由幂级数给出，则 f 在该圆盘上解析，且可逐项求导和逐项积分，所得级数仍在同一圆盘上收敛。
泰勒级数（Taylor Series） — 解析函数 f(z) 在以 z₀ 为中心、半径 R 的圆盘上的唯一幂级数展开 ∑ aₙ(z−z₀)ⁿ，其中 aₙ = f⁽ⁿ⁾(z₀)/n! = (1/2πi)∮_γ f(z)/(z−z₀)ⁿ⁺¹ dz；用于将解析函数表示为幂级数。
麦克劳林级数（Maclaurin Series） — 泰勒级数在中心 z₀ = 0 时的特例；用于以原点为中心展开解析函数。
奇异点（Singular Point） — 若 R 是 f(z) 在 |z−z₀| < R 上解析的最大半径，则在边界 |z−z₀| = R 上至少存在一点 z 使 f 不解析，称 z 为 f 的奇异点；用于确定收敛半径的几何来源。
几何级数（The Geometric Series） — 1/(1−z) = ∑ₙ₌₀^∞ zⁿ（|z| < 1），收敛半径 R = 1，在 z* = 1 处有奇异点；是最基本的泰勒级数，也是推导其他级数的起点。
指数级数（The Exponential Series） — eᶻ = ∑ₙ₌₀^∞ zⁿ/n!（对所有 z ∈ ℂ），收敛半径 R = ∞；是整函数的典型例子。
对数函数 Ln(1+z)（The Logarithm） — 在 ℂ \ {Im(z+1)=0, Re(z+1) ≤ 0} 上解析，在负实轴半直线 {y=0, x ≤ −1} 上有无穷多个奇异点；以 z₀=0 为中心展开时收敛半径 R = 1，泰勒级数为 ∑ₙ₌₁^∞ (−1)ⁿ⁻¹ zⁿ/n（|z| < 1）。
整函数（Entire Functions） — 在整个复平面上解析的函数；其泰勒级数的收敛半径为 ∞。本讲涉及的整函数有 eᶻ、cos z、sin z、cosh z、sinh z。
cos z 与 sin z 的泰勒级数 — cos z = ∑ₙ₌₀^∞ (−1)ⁿ z²ⁿ/(2n)!，sin z = ∑ₙ₌₀^∞ (−1)ⁿ z²ⁿ⁺¹/(2n+1)!，对所有 z ∈ ℂ 成立，收敛半径均为 ∞。
cosh z 与 sinh z 的泰勒级数 — cosh z = ∑ₙ₌₀^∞ z²ⁿ/(2n)!，sinh z = ∑ₙ₌₀^∞ z²ⁿ⁺¹/(2n+1)!，对所有 z ∈ ℂ 成立，收敛半径均为 ∞。
间接法求泰勒级数（Manipulating Known Taylor Series） — 不直接计算 aₙ = f⁽ⁿ⁾(z₀)/n!，而是通过代数变形（如部分分式、代入已知级数）从已知泰勒级数导出新函数的泰勒级数；用于避免繁琐的高阶导数计算。
收敛半径与奇异点的关系 — 收敛半径 R 等于中心 z₀ 到最近奇异点 z 的距离，即 R = |z₀ − z|；用于通过定位奇异点快速确定收敛半径。

🔗 概念之间的关系

幂级数 → 收敛半径 → 收敛圆盘：给定幂级数，由比值法或根值法算出收敛半径 R，进而确定收敛圆盘 {|z−z₀| < R}；三者是「对象 → 定量刻画 → 几何描述」的递进关系。
收敛半径 ↔ 奇异点：收敛半径 R 等于中心到最近奇异点的距离。若函数在某点不解析（奇异点），则泰勒级数在该点的收敛半径受限于该奇异点的位置；整函数没有奇异点，故 R = ∞。
解析函数 → 泰勒级数：解析函数在圆盘上可唯一地展开为泰勒级数；反过来，幂级数在其收敛圆盘内定义了解析函数。两者互为充要条件（在圆盘上）。
泰勒级数 ⊃ 麦克劳林级数：麦克劳林级数是泰勒级数在 z₀ = 0 时的特例。
几何级数 → 其他泰勒级数：几何级数 1/(1−z) = ∑ zⁿ 是最基本的泰勒级数，通过代入、代数变形可导出 Ln(1+z)、1/(2+z²) 等函数的泰勒级数。
整函数 ⊃ {eᶻ, cos z, sin z, cosh z, sinh z}：整函数是收敛半径为 ∞ 的解析函数，上述五个函数都是整函数的具体例子；它们的泰勒级数对所有 z ∈ ℂ 收敛。

⬅️ 承接前面的知识

本讲为后续内容打基础，具体包括：

复变函数的极限与连续性：幂级数收敛性的讨论依赖于复数列极限的概念。
复变函数的导数与解析性：泰勒级数定理要求 f(z) 在圆盘上解析，解析性的定义（在某点邻域内可导）是理解本讲定理的前提。
柯西积分公式：泰勒系数公式 aₙ = (1/2πi)∮_γ f(z)/(z−z₀)ⁿ⁺¹ dz 直接来自柯西积分公式，用于证明解析函数可展开为幂级数。
复变函数的积分：逐项积分定理 F(z) = F(z₀) + ∑ aₙ(z−z₀)ⁿ⁺¹/(n+1) 依赖于复积分的基本性质。
级数的基本概念：收敛、发散、绝对收敛等概念在实数级数中已学过，本讲将其推广到复数幂级数。

➡️ 后面会怎么用

洛朗级数（Laurent Series）：泰勒级数是洛朗级数在无负幂项时的特例；后续将学习在环形区域上展开的洛朗级数，用于处理奇异点附近的函数行为。
留数定理（Residue Theorem）：泰勒系数公式中的积分表示与留数计算密切相关；奇异点的分类（可去奇点、极点、本性奇点）将基于洛朗展开来定义。
解析延拓（Analytic Continuation）：利用泰勒级数可以在收敛圆盘外延拓解析函数，后续将学习延拓的方法和条件。
奇点的分类与判定：本讲引入的奇异点概念将在后续课程中细分为可去奇点、极点和本性奇点，并给出判定方法。
应用场景：幂级数展开在求解微分方程（幂级数解法）、计算复积分、近似计算函数值、信号处理中的 z 变换等领域有广泛应用。

Lecture_9

🧩 核心概念

孤立奇点（isolated singularity） — 函数在该点某去心邻域内处处解析、但该点本身不解析的点；是留数方法的适用前提，只有孤立奇点处才能谈留数。
留数（residue） — 函数在孤立奇点 z₀ 处洛朗展开中 (z−z₀)⁻¹ 项的系数 b₁，记作 Res_{z=z₀} f(z)；用于把闭曲线积分转化为代数计算。
留数定理（Theorem / residue theorem） — 解析函数沿包围有限个孤立奇点的逆时针简单闭曲线的积分等于 2πi 乘以各奇点留数之和；是整讲的中心工具，把积分计算归结为留数求和。
单极点（simple pole） — 阶数为 1 的极点；此时留数可用 lim_{z→z₀}(z−z₀)f(z) 直接求出。
m 阶极点（pole of order m） — 函数在该点附近可写成 g(z)/(z−z₀)ᵐ 且 g(z₀)≠0 的形式；此时留数需用 (m−1) 阶导数公式计算。
留数计算命题（Proposition） — 若 f(z)=p(z)/q(z)，p(z₀)≠0 且 q(z) 在 z₀ 有单零点，则 Res_{z=z₀}f(z)=p(z₀)/q′(z₀)；用于快速求商函数在单极点处的留数。
零点（zero） — 使函数取值为零的点；此处特指分母函数的零点，分母零点对应函数的极点。
一阶零点（zero of order 1） — 函数在该点为零且其导数不为零的零点；与单极点一一对应，是命题公式的适用条件。
Type I 实积分（Type I: Integrals of the type ∫_{−∞}^{∞} f(x)dx） — 实有理函数在实数轴上的反常积分，要求分母次数至少比分子次数高两次；用上半平面留数求和计算。
上半平面（upper half-plane） — 复平面上虚部大于零的区域；Type I 积分只对落在该区域的极点求留数。
实轴上的单极点定理（Simple Poles on the Real Axis） — 若 f(z) 在实轴 z=a 处有单极点，则绕该点小半圆的积分极限 lim_{r→0}∫_{C₂} f(z)dz = πi Res_{z=a}f(z)；用于处理极点落在积分路径上的情形。
实轴（real axis） — 复平面上虚部等于零的直线；当分母在实轴上有单零点时，需额外加上这些极点的 πi 倍留数。
Type 2 积分（Type 2: Integrals of the type ∫₀^{2π} F(cosθ,sinθ)dθ） — 对 cosθ 和 sinθ 的实有理函数在 [0,2π] 上的积分，要求被积函数在积分区间上有限；通过代换 e^{iθ}=z 化为单位圆上的复积分。
单位圆（unit circle） — 复平面上以原点为圆心、半径为 1 的圆；Type 2 代换后积分路径变为单位圆，只取圆内极点的留数。
Type 3 傅里叶积分（Type 3: Fourier integrals） — 形如 ∫_{−∞}^{∞} f(x)cos(sx)dx 和 ∫_{−∞}^{∞} f(x)sin(sx)dx 的积分，s 为正实数，f(x) 为分母次数至少比分子高两次的有理函数；用 Res[f(z)e^{isz}] 的虚部或实部计算。
参考文献（Bibliography） — Kreyszig, E. Advanced Engineering Mathematics, Wiley, 10th Edition；本讲内容的参考教材。

🔗 概念之间的关系

留数依赖 孤立奇点 而定义：只有先确认 z₀ 是孤立奇点，才能写出洛朗展开并取出 b₁ 作为留数。
留数定理 是留数的全局推广：留数定义的是单个奇点处的系数，留数定理把所有奇点的留数汇总，将闭曲线积分等于 2πi 倍留数和。
单极点 和 m 阶极点 是极点的两种情形，单极点 是 m=1 的特例；对应的留数公式中，单极点用极限 lim(z−z₀)f(z)，m 阶极点用 (m−1) 阶导数公式，后者在 m=1 时退化为前者。
留数计算命题 是 单极点 留数公式在 f(z)=p(z)/q(z) 且 q 有单零点时的特例：此时 lim(z−z₀)f(z) 可化为 p(z₀)/q′(z₀)，避免直接求极限。
一阶零点 与 单极点 互为对应：分母 q(z) 的一阶零点对应 f(z)=p/q 的单极点，命题正是利用这一对应关系。
Type I、Type 2、Type 3 是留数定理在实积分上的三类应用：Type I 用上半平面留数，Type 2 用单位圆内留数，Type 3 用 e^{isz} 的留数取虚部或实部；实轴上的单极点定理 是 Type I 在极点落到实轴时的补充规则。

⬅️ 承接前面的知识

本讲为后续内容打基础，具体承接关系如下：

洛朗展开（Laurent series） — 第 2 页直接写出 f(z) 的洛朗级数 ∑aₙ(z−z₀)ⁿ + ∑bₙ/(z−z₀)ⁿ，留数 b₁ 即从中取出；这是留数定义的出发点。
解析函数与奇点分类 — 第 2、3 页反复使用「解析」「孤立奇点」「去心邻域」等概念，依赖复变函数解析性理论。
闭曲线积分与柯西积分定理 — 第 3 页留数定理的陈述建立在简单闭曲线、逆时针定向、单连通区域等概念之上，是柯西积分定理的推广。
极点与零点 — 第 4、8 页的命题涉及极点阶数、零点阶数，依赖函数零点与极点的基本理论。
实变函数反常积分 — 第 12 页 Type I 积分是实分析中反常积分的复变方法处理，依赖实积分收敛性判断。

➡️ 后面会怎么用

留数定理 是复变函数后续内容（如辐角原理、儒歇定理）的核心工具，也用于计算更复杂的围道积分。
Type I、Type 2、Type 3 积分 在工程数学、物理和信号处理中广泛出现：Type I 用于计算实轴上难以直接积分的反常积分；Type 2 用于周期函数积分；Type 3 傅里叶积分用于傅里叶变换、频谱分析。
实轴上的单极点定理 在后续处理积分路径上有奇点的情形时会反复使用，是围道积分技巧的重要组成部分。
留数计算命题 在后续求拉普拉斯逆变换、Z 变换等工程问题中用于快速定位极点留数。
Kreyszig 教材 对应章节是后续复习和习题的主要参考。