Complex Function and Integral Transform

复变函数的理论和方法应用于微分方程，解析函数论，概率统计，计算数学，微分几何，拓补学等等。
在自然科学领域中的理论物理，空气动力学，流体力学。弹性力学，地质学。自动控制都有应用。

介绍

这里主要介绍Cauchy, Riemann, Weierstrass三位数学家在函数论方面的古典理论及其简单应用，也简单介绍了2种积分变换，即傅里叶变换和拉普拉斯变换。

• Cauchy的工作是从一个区域内单值可导的复变函数出发，建立了其著名的积分定理与公式
• Riemann的工作是从几何方面出发，奠定了复变函数的集合理论基础，给出了共形映射的基本定理和调和函数的物理解释
• Weierstrass的工作是从泰勒级数及其解析开拓所定义的函数出发，并尽可能系统地利用泰勒级数研究其性质

复数

复数及其表示

$$z = x + iy$$

称为复数，其中 $i$ 为虚数单位，并规定 $i^2 = i \times i = -1$，或 $i = \sqrt{-1}$，$x, y \in \mathbb{R}$

• 实部：$\text{Re}z = x(\text{Real Part})$
• 虚部：$\text{Lm}z = x(\text{Imaginary Part})$

性质

• $z_1 = z_2 \Leftrightarrow x_1 = x_2, y_1 = y_2$
• $z = 0 \Leftrightarrow x = y = 0$

复数四则运算

加法

$$z_1 + z_2 = (x_1 \pm x_2) + i(y_1 \pm y_2)$$

乘法

$$z_1z_2 = (x_1x_2 - y_1y_2) + i(x_1y_2 + x_2y_1)$$

除法

$$\frac{z_1}{z_2} = \frac{x_1x_2 + y_1y_2}{x_2^2 + y_2^2} + i\frac{x_2y_1 - x_1y_2}{x_2^2 + y_2^2}$$

复数几何表示

共轭复数：$z = x + iy$ 的共轭复数为 $x - iy$，它们以 $x = 0$ 对称
复数的长度: $|z| = x^2 + y^2$

• $|z| = |\overline{z}|$
• $z\overline{z} = |z|^2$
• $\overline{\overline{z}} = z$
• 如果$z$是实数：$z = \overline{z}$

$$\text{Re}z = \frac{z + \overline{z}}{2} \quad \text{Im}z = \frac{z - \overline{z}}{2i}$$

$$\overline{z_1 \pm z_2} = \overline{z_1} \pm \overline{z_2} \quad \overline{z_1\cdot z_2} = \overline{z_1} \cdot \overline{z_2} \quad \overline{\frac{z_2}{z_1}} = \frac{\overline{z_2}}{\overline{z_1}}$$

复数三角表示

$$\begin{aligned} z &= x + iy \rightarrow \begin{cases} x = r\cos\theta \\ y = r\sin\theta \end{cases} \\ &= r(\cos\theta + i\sin\theta) \end{aligned}$$

• $z_1 \cdot z_2 = r_1r_2[\cos(\theta_1 + \theta_2) + i\sin(\theta_1 + \theta_2)]$
• $\frac{z_1}{z_2} = \frac{r_1}{r_2}[\cos(\theta_1 - \theta_2) + i\sin(\theta_1 - \theta_2)]$

复数指数形式

欧拉公式

$$\color{blue}{e^{ix} = \cos x + i \sin x}$$

从而可以得到

$$\begin{aligned} z &= r(\cos\theta + i\sin\theta) \\ &= r \cdot e^{i\theta} \end{aligned}$$

称 $\theta$ 的值为 $z$ 的辐角，记为 $\arg z$，$\arg z = \theta + 2n\pi$

• $z_1 \cdot z_2 = r_1r_2e^{i(\theta_1 + \theta_2)}$
• $\frac{z_1}{z_2} = \frac{r_1}{r_2}e^{i(\theta_1 - \theta_2)}$

复数的乘幂与方根

$$\begin{aligned} z^n &= r^n(\cos n\theta + i\sin n\theta) \\ &= r^ne^{in\theta} \\ \end{aligned}$$

$$z^{-n} = \frac{1}{z^n} = \frac{1}{r^n} (\cos n\theta - i\sin n\theta)$$

$$\begin{aligned} ^n\sqrt{z} &= r^{\frac{1}{n}}(\cos \frac{\theta}{n} + i\sin\frac{\theta}{n}) \\ &= ^n\sqrt{r} (\cos \frac{\theta + 2k\pi}{n} + i\sin\frac{\theta + 2k\pi}{n}) \end{aligned}$$

$n$ 个根的几何意义为以原点为中心，$^n\sqrt{n}$ 为半径的内接正 $n$ 边形的顶点

无穷远点与复球面

全部复数中，没有一个数和 $0$ 相乘其积异于0，所以不存在一个属于被0所除的商，引入 $\infty$，称为无穷大

$$\infty = \frac{1}{0}$$

• $a + \infty = \infty + a = \infty$
• $\infty - a = \infty$
• $a - \infty = -\infty$
• $a \cdot \infty = \infty \cdot a = \infty$
• $\frac{a}{\infty} = 0$
• $\frac{\infty}{a} = \infty$

在复平面上，没有一个点和 $\infty$ 对应，但是可以设想有一个理想点和它对应，称为无穷远点，平面上所有直线都通过无穷远点（黎曼球面）

平面点集的一般概念

领域

平面上以 $z_0$ 为中心，$\delta$ 为半径的圆，表示为

$$|z - z_0| < \delta$$

称它为 $z_0$ 的领域，记作 $U(z_0, \delta)$，称 $0 < |z - z_0| < \delta$ 所确定的点集为 $z_0$ 的去心领域
若$z_0 = \infty$，$k$为任意正数，满足$|z|>k$的点称为无穷远点的领域

• 内点：如果 $\exist \delta > 0$，使得 $U(z_0, \delta) \subset G$，那么称 $z_0$ 为集 $G$ 的内点
• 开集：如果集 $G$ 中的每个点都是它的内点，那么称集 $G$ 为开集
• 余集：平面上不属于 $G$ 的点的全体称为 $G$ 的余集，记为 $G^c$
• 内集：开集的余集称为闭集
• 边界点：$z_0$ 是一点，若在 $z_0$ 的任意领域既有 $G$ 的点也有 $G^c$ 的点，则为边界点
• 边界：$G$ 的边界点全体称为 $G$ 的边界
• 孤立点：$z_0 \in G$，若在 $z_0$ 的领域内除 $z_0$ 外不含G的点，则称 $z_0$ 是G的一个孤立点
  • 孤立点一定是一个边界点
• 有界集：如果存在一个以 $z = 0$ 为中心的圆盘包含 $G$
• 无界集：如果不存在一个以 $z = 0$ 为中心的圆盘包含 $G$
• 连同集：设 $D$ 为一点集，对 $D$ 中任意两点可用一条全部属于 $D$ 的折现连接起来，则 $D$ 称为联通集
• 区域
  • $D$ 是开集
  • $D$ 是连同的
  • 区域是开集
• 闭区域：区域 $D$ 与它的边界一起构成的

复平面上的曲线

圆

$$z = a(\cos t + i\sin t) \quad (0 \leq t \leq 2\pi)$$

圆周

$$|z| = a$$

连通 $z_1$ 和 $z_2$ 的直线段

$$z = z_1 + (z_2 - z_1)t \quad (0 \leq t \leq 1)$$

• 光滑曲线：如果在区间 $a \leq t \leq b$ 上 $x'(t)$ 和 $y'(t)$ 都是连续的，且对于 $t$ 的每一个值，有 $x'(t)^2 + y'(t)^2 \neq 0$
• 重点：满足 $a < t_1 < b,a < t_1 < b$，当 $t_1 \neq t_2$ 有 $z(t_1) = z(t_2)$ 时，点 $z(t_1)$ 称为曲线 $C$ 的重点
• 简单曲线：没有重点的连续曲线
• 简单闭合曲线：闭合的简单曲线

复变函数

设有一复数 $z = x + iy$ 的集合 $G$，如果有一个确定的法则存在，对于集合 $G$ 中的每一个复数 $z$，按照这一法则，复数 $w = u + iv$ 就随之而定，那么称 $w$ 是复变数 $z$ 的函数，简称复变函数，记为 $w = f(z)$

$$\begin{gathered} w = u + iv = f(z) \quad (z = x + iy) \\ \Downarrow \\ \begin{cases} u = u(x, y) \\ v = v(x, y) \end{cases} \end{gathered}$$

把函数 $w = f(z)$ 的定义集合 $G$ 看成是 $z$ 平面上的一个点集合，而把函数值集合 $D$ 看成是 $w$ 平面上的一个点集合，那么函数 $w = f(z)$ 在集合上就可用看成是把集合 $G$ 变到 $D$ 的一个映射

设 $f(z)$ 将G中的点 $z$ 映射到 $D$ 中的 $w$，即集 $G$ 映射为集 $D$，则称点 $w$ 为点 $z$ 的像，点 $z$ 为点 $w$ 的原像，同样称 $D$ 为 $G$ 的像，$G$ 为 $D$ 的原像

复变函数就是把点集进行映射为好研究的形状进行研究

复变函数的极限

设函数 $w = f(z)$ 定义在 $z_0$ 的领域 $0 < |z - z_0| < \rho$ 内，总有一确定数 $A$ 存在，$\forall \varepsilon > 0$，相应地必有整数 $\delta(\varepsilon)$，使得 $0 < |z - z_0| < \rho$ 时，$|f(z) - A| < \varepsilon$，则称 $A$ 为 $f(z)$ 当 $z$ 趋向 $z_0$ 时的极限，记为

$$\lim_{z \rightarrow z_0} f(z) = A$$

---

设 $f(z) = u(x, y) + iv(x, y)$，$A = a + bi, z_0 = x_0 + iy_0$，$\lim_{z \rightarrow z_0}f(z) = A$ 的充要条件为

$$\lim_{x \rightarrow x_0, y \rightarrow y_0} u(x, y)= a \quad \lim_{x \rightarrow x_0, y \rightarrow y_0} v(x, y) = b$$

可以把求复变函数的极限转化为求两个二元实变量函数的极限

• $\lim_{z \rightarrow z_0} f(z) = A$
• $\lim_{z \rightarrow z_0} g(z) = B$
  • $\lim_{z \rightarrow z_0}[f(z) + g(z)] = A + B$
  • $\lim_{z \rightarrow z_0}f(z)g(z) = AB$
  • $\lim_{z \rightarrow z_0}\frac{f(z)}{g(z)} = \frac{A}{B}$

复变函数的连续性

若 $\lim_{z \rightarrow z_0} f(z) = f(z_0)$，则称 $f(z)$ 在 $z_0$ 处连续

若 $f(z)$在区域 $D$ 内处处连续，则称 $f(z)$ 在 $D$ 内连续

• 在 $z_0$ 这点要有定义
• 在 $z_0$ 这点的极限值要存在
• 在 $z_0$ 这点的极限值要等于在这一点的函数值

复变函数的导数

$w = f(z)$ 定义于区域 $D$，$z_0, z_0 + \Delta Z \in D$，如果

$$\lim_{\Delta z \rightarrow 0}\frac{\Delta W}{\Delta Z} = \lim_{\Delta z \rightarrow 0}\frac{f(z_0 + \Delta z) - f(z_0)}{\Delta z}$$

存在，则称 $f(z)$ 在 $z_0$ 处可导，极限值称为 $f(z)$ 在 $z_0$ 的导数

在一点可导和在一点可微是等价的

• 连续不一定可导

• 可导一定连续

• $C' = 0$

• $(f(z) \pm g(z))' = f'(z) \pm g'(z)$

• $(f(z)g(z))' = f'(z)g(z) + f(z)g'(z)$

• $\displaystyle \frac{f(z)}{g(z)}' = \displaystyle\frac{f'(z)g(z) - f(z)g'(z)}{g^2(z)}$

• $f(g(z))' = f'(w)g'(z)$

• $f'(z) = \frac{1}{\varphi'(w)}$，其中 $w = f(z)$ 与 $z = \varphi(w)$ 互为单只反函数

解析函数

• 若 $f(z)$ 在 $z_0$ 及 $z_0$ 的领域内处处可导，则称 $f(z)$ 在 $z_0$ 解析
• 若 $f(z)$ 在区域 $D$ 内每一点解析，则称 $f(z)$ 在区域 $D$ 内解析，或称 $f(z)$ 是区域 $D$ 内的一个解析函数
• 若 $f(z)$ 在 $z_0$ 处不解析，则称 $z_0$ 为 $f(z)$ 的奇点

解析 > 可导 > 连续 > 极限，解析要求这一点以及某个领域可导

• 函数 $f(z)$ 在点 $z$ 解析就是函数 $f(z)$ 在以点 $z$ 为圆心的某个领域内可微
• 两个解析函数的和，差，积，商都是解析函数，解析函数的复合函数仍是解析
• 所有多项式在复平面上是处处解析的
• 任意的一个有理函数 $\frac{p(z)}{q(z)}$（均为多项式）在不含分母为零的点的区域是解析函数

解析函数充要条件

设 $w = f(z) = u(x, y) = iv(x, y)$，柯西-黎曼方程为

$$\color{blue}{\frac{\partial u}{\partial x} = \frac{\partial v}{\partial y} \qquad \frac{\partial u}{\partial y} = -\frac{\partial v}{\partial x}}$$

函数 $w = f(z) = u(x, y) = iv(x, y)$ 在 $z = x + iy$ 处可导的充分必要条件是

• $u(x, y)$ 和 $v(x, y)$ 在点 $(x, y)$ 处可微
• 满足柯西-黎曼方程

函数 $w = f(z) = u(x, y) = iv(x, y)$ 在区域 $D$ 内解析的充要条件是

• $u(x, y)$ 和 $v(x, y)$ 在 $D$ 内任一点 $z = x + iy$ 处可微
• 满足柯西-黎曼方程

$u(x, y)$ 是一个二元函数，说它可微，指的是它的增量函数可以表示为两部分

• 自变量的线性部分
• 自变量的高阶无穷小部分

$$\Delta u = \frac{\partial u}{\partial x}\Delta x + \frac{\partial u}{\partial y}\Delta y + \rho(\sqrt{\Delta x^2 + \Delta y^2}) \quad \lim_{\Delta x \rightarrow 0, \Delta y \rightarrow 0} \rho = 0$$

则称 $u(x, y)$ 可微

调和函数

如果二元实函数 $\varphi(x, y)$ 在区域 $D$ 内有二阶连续偏导数，且满足拉普拉斯方程

$$\color{blue}{\frac{\partial^2\varphi}{\partial x^2} + \frac{\partial^2 \varphi}{\partial y^2} = 0}$$

则称 $\varphi = \varphi(x, y)$ 为区域 $D$ 内的调和函数，或称函数 $\varphi(x, y)$ 在区域 $D$ 内调和

设 $\varphi(x, y)$及$\psi(x, y)$均为区域 $D$ 内的调和函数，且满足柯西-黎曼方程

$$\frac{\partial \varphi}{\partial x} = \frac{\partial\psi}{\partial y} \qquad \frac{\partial\psi}{\partial x} = -\frac{\partial \psi}{\partial y}$$

则称 $\psi(x, y)$ 是 $\varphi(x, y)$ 的共轭调和函数

$f(z) = x + iy$ 如果在整个复平面上是解析的，也知道它的虚部 $y$ 也是实部 $x$ 的共轭调和

指数函数

称

$$\color{blue}{e^z = \exp z = e^x(\cos y + i\sin y)}$$

为复指数函数

此处的 $e$ 是复指数函数的专用记号

• $e^z$ 是单值函数
• $\forall z,e^z \neq 0$
• $\forall z_1 = x_1 + iy_1, z_2 = x_2 + iy_2$，有 $e^{z_1 + z_2} = e^{z_1}e^{z_2}$
• $e^{z + 2k\pi i} = e^z$
• $e^z$ 是处处解析的

对数函数

若 $\exp w = e^w = z$，则称 $w$ 为 $z$ 的对数函数，记为

$$\color{blue}{w = f(z) = \text{Ln}z}$$

• 多值性：设 $z = re^{i\theta}$，$w = u + iv$，有 $e^w = re^{i\theta}$，即 $e^{u + iv} = e^ue^{iv} = re^{i(\arg z + 2k\pi)} = re^{i(\theta + 2k\pi)}$
  • $w = \text{Ln}z = \ln r + i(\theta + 2k\pi)$
• $\text{Ln}z_1z_2 = \text{Ln}z_1 + \text{Ln}z_2$
• $\text{Ln}\displaystyle\frac{z_1}{z_2} = \text{Ln}z_1 - \text{Ln}z_2$

三角函数

$$\color{blue}{\cos z = \frac{e^{iz} + e^{-iz}}{2} \qquad \sin z = \frac{e^{iz} - e^{-iz}}{2i}}$$

• 在复平面解析
  • $\sin z' = \cos z$
  • $\cos z' = -\sin z$
• 奇偶性实函数
• 周期性以 $2\pi$ 为周期
• 无界性
• 恒等关系
  • $\sin^2z + \cos^2z = 1$
  • $\sin(z_1 \pm z_2) = \sin z_1\cos z_2 \pm \cos z_1 \sin z_2$
  • $\cos(z_1 \pm z_2) = \cos z_1\cos z_2 \mp \sin z_1 \sin z_2$

双曲函数

$$\color{blue}{\sh z = \frac{e^z - e^{-z}}{2} \qquad \ch z = \frac{e^z + e^{-z}}{2} \qquad \th z = \frac{\sh z}{\ch z} = \frac{e^z - e^{-z}}{e^z + e^{-z}}}$$

• $\sh z = -i \sin iz$
  • $sh z' = \ch z$
  • 周期：$2\pi i$
• $\ch z = \cos iz$
  • $ch z' = \sh z$
  • 周期：$2\pi i$
• $\th z = -i \tan iz$
  • 周期：$\pi i$

复变函数的积分

$$\int_C f(z)\mathrm{d}z = \lim_{\lambda \rightarrow 0}\sum^n_{k=1}f(\varsigma_k)\Delta z_k$$

• $\int_{C^-}f(z)\mathrm{d}z$：沿曲线 $C$ 的负方向积分
• $\oint_\Gamma f(z)\mathrm{d}z$：沿闭曲线 $\Gamma$ 的积分

复积分的性质

• $\int_C [af(z) + \beta g(z)]\mathrm{d}z = a \int_C f(z)\mathrm{d}z + \beta \int_C g(z)\mathrm{d}z$
• $\int_C f(z)\mathrm{d}z = -\int_{C^-}f(z)\mathrm{d}z$
• $\int_C f(z)\mathrm{d}z = \int_{c_1}f(z)\mathrm{d}z + \int_{C_2}f(z)\mathrm{d}z$
  • $C = C_1 + C_2$
• $|\int_C f(z)\mathrm{d}z| \leq \int_C |f(z)||\mathrm{d}z| = \int_C |f(z)|\mathrm{d}s \leq ML$
  • $M = \max_{z \in C}|f(z)|$

例:

$$I = \oint_C \frac{\mathrm{d}z}{(z - z_0)^n} \quad C \Rightarrow |z - z_0| = r$$

曲线 $C$ 的方程为 $z = z_0 + re^{i\theta}$

$$\begin{aligned} I &= \int^{2\pi}_0 \frac{re^{i\theta}i}{(re^{i\theta})^n}\mathrm{d}\theta \\ &= \frac{i}{r^{n-1}}\int^{2\pi}_0 e^{i(1-n)\theta}\mathrm{d}\theta \end{aligned}$$

• 当 $n = 1$，$I = 2\pi i$
• 当 $n \neq 1$，$I = 0$

柯西积分定理

设函数 $f(z)$ 在单连通域 $D$ 内解析，$\Gamma$ 为 $D$ 内的任意一条简单闭曲线，则有

$$\oint_\Gamma f(z)\mathrm{d}z = 0$$

设单连域 $D$ 的边界为 $C$，函数 $f(z)$ 在 $D$ 内解析，在 $\overline{D} = D + C$ 上连续，则有

$$\oint_\Gamma f(z)\mathrm{d}z = 0$$

设二连域 $D$ 的边界为 $C = C_1 + C_2^-$，函数 $f(z)$ 在 $D$ 内解析，在 $\overline{D}$ 上连续，则 $\oint_C f(z)\mathrm{d}z = 0$ 或

$$\oint_{C_1} f(z)\mathrm{d}z = \oint_{C_2} f(z)\mathrm{d}z$$

设多连域的边界为 $C = C_0 + C_1^- + C_2^- + \cdots + C_n^-$，函数 $f(n)$ 在 $D$ 内解析，在 $\overline{D}$ 上连续，则

$$\oint_C f(z)\mathrm{d}z = 0$$

或者

$$\oint_{C_0} f(z)\mathrm{d}z = \oint_{C_1} f(z)\mathrm{d}z + \oint_{C_2} f(z)\mathrm{d}z + \cdots + \oint_{C_n} f(z)\mathrm{d}z$$

一个闭区域的复积分为里面的奇点函数值之和

路径无关性

设函数 $f(z)$ 在单连通域 $D$ 内解析，$C_1, C_2$ 为 $D$ 内的任意两条从 $z_0$ 到 $z_1$ 的简单曲线，则有

$$\int_{C_1} f(z)\mathrm{d}z = \int_{C_2}f(z)\mathrm{d}z$$

从 $z_0$ 出发，沿 $C_1$ 正向走到 $z_0$ 点

原函数

设在单连域 $D$ 内，函数 $F(z)$ 恒满足条件 $F'(z) = f(z)$，则 $F(z)$ 称为 $f(z)$ 在 $D$ 内的一个原函数

$$\int f(z)\mathrm{d}z = F(z) + c$$

Newton-Leibniz公式

若 $f(z)$ 在单连域 $D$ 内处处解析，$G(z)$ 为 $f(z)$ 的原函数，则

$$\int_{z_0}^{z_1}f(z)\mathrm{d}z = G(z_1) - G(z_0)$$

柯西积分公式

如果函数 $f(z)$ 在连续区域 $D$ 内解析，在 $D$ 的闭包上连续，$z_0 \in D$，则

$$f(z_0) = \frac{1}{2\pi i} \oint_C \frac{f(z)}{z - z_0}\mathrm{d}z$$

解析函数在其解析区域的值完全由边界上的值确定，换句话说，解析函数可用其解析区域边界上的值以一种特定的积分形式表现出来

应用：反过来计算积分：$\oint_C \frac{f(z)}{z - z_0}\mathrm{d}z = 2\pi i f(z_0)$

例子：

$$I = \oint_C \frac{2z - 1}{z^2 - z}\mathrm{d}z$$

令 $f(z) = \frac{2z - 1}{z^2 - z}\mathrm{d}z$，解得

$$\begin{aligned} I &= \oint_{C_1}f(z)\mathrm{d}z + \oint_{C_2}f(z)\mathrm{d}z \\ &= \oint_{C_1}\frac{\frac{2z - 1}{z - 1}}{z}\mathrm{d}z + \oint_{C_1}\frac{\frac{2z - 1}{z}}{z - 1}\mathrm{d}z \\ &= 2\pi i (\frac{2z- 1}{z -1}|_{z = 0} + \frac{2z - 1}{z}|_{z = 1}) \\ &= 4\pi i \end{aligned}$$

平均值公式

如果函数 $f(z)$ 在 $|z-z_0| < R$ 内解析，在 $|z - z_0| \leq R$ 上连续，则有

$$f(z_0) = \frac{1}{2\pi} \int^{2\pi}_0 f(z_0 + Re^{i\theta})\mathrm{d}z$$

函数 $f(z)$ 在圆心处的函数值 = 函数在圆周上的算数平均值

最大模定理

如果函数 $f(z)$ 在 $D$ 内解析，且不为常数，则在 $D$ 内 $|f(z)|$ 没有最大值

• 在区域 $D$ 内解析的函数，如果其模在 $D$ 内达到最大值，则此函数比恒为常数
• 若 $f(z)$ 在有界区域 $D$ 内解析，在 $\overline{D}$ 上连续，则 $|f(z)|$ 在 $D$ 的边界上必能达到最大值

高阶导数

如果函数 $f(z)$ 在区域 $D$ 内解析，在 $\overline{D} = D + C$ 上连续，则 $f(z)$ 的各阶导数均在 $D$ 上解析，且

$$f^{(n)}(z) = \frac{n!}{2\pi i}\oint_C \frac{f(\varsigma)}{(\varsigma - z)^{n+1}}\mathrm{d}z \quad (z \in D)$$

解析函数的导数仍解析

应用：反过来计算积分

$$\oint_C \frac{f(z)}{(z - z_0)^{n+1}}\mathrm{d}z = \frac{2\pi i}{n!}f^{(n)}(z_0)$$

柯西不等式

设函数 $f(z)$ 在 $|z - z_0| < R$ 内解析，且 $|f(z)| < M$，则

$$|f^{(n)}(z_0)| \leq \frac{n!M}{R^n}$$

刘维尔定理

设函数 $f(z)$ 在全平面上解析且有界，则 $f(z)$ 为以常数

解析函数的级数表示

设 $z_n$ 为复数，称 $\lbrace Z_n \rbrace_n = 1,2,3$ 为复数序列

• $\lim_{n\rightarrow+\infty}z_n = a$: 收敛
• $\lim_{n\rightarrow+\infty}z_n = \infty$: 发散

设 $z_n = x_n + iy_n, a = a + i\beta$，则 $\lim_{n\rightarrow+\infty}z_n = a$ 的充要条件是

$$\begin{cases} \lim_{n\rightarrow+\infty}x_n = a \\ \lim_{n\rightarrow+\infty}y_n = \beta \end{cases}$$

复数项级数

称

$$\sum_{n = 1}^{+\infty} z_n = z_1 + z_2,+ \cdots$$

为复数项级数，简记为 $\sum z_n$，称

$$\sum_{k = 1}^{n} z_k = z_1 + z_2 + \cdots + z_k$$

为级数的部分和

• $\lim_{n\rightarrow +\infty} s_n = s$: 级数收敛

设 $z_n = x_n + iy_n, a = a + i\beta$，则 $\lim_{n\rightarrow +\infty} s_n = s$ 的充要条件是

$$\begin{cases} \sum x_n \\ \sum y_n \end{cases}$$

都收敛

• 若 $\sum |z_n|$ 收敛，则称 $\sum z_n$ 绝对收敛
• 若 $\sum |z_n|$ 发散，$\sum z_n$ 收敛，则称 $\sum z_n$ 条件收敛
• 若 $\sum |z_n|$ 收敛，则 $\sum z_n$ 必收敛

复变函数项级数

• 复变函数序列：$\lbrace f_n(z) \rbrace_{n=1,2,\cdots}$
• 复变函数项级数：$\sum_{n=1}^{+\infty} f_n(z) = f_1(z) + f_2(z) + \cdots$
• 级数 $\sum f_n(z)$ 的部分和：$s_n(z) = \sum_{k=1}^n f_k(z)$
• 收敛：$\lim_{n \rightarrow +\infty} s_n(z_0) = s(z_0)$
• 在区域 $D$ 内收敛，称 $s(z)$ 为和函数，$D$ 为收敛域

幂级数

$$\sum_{n=0}^{+\infty}a_n(z - a)^n = a_0 + a_1(z - a) + a_2(z - a)^2 + \cdots$$

其中 $a_n, a$ 为复常数，当 $a = 0$ 时有

$$\sum_{n=0}^{+\infty}a_nz^n = a_0 + a_1z+a_2z^2+\cdots$$

对于幂级数 $\sum a_n z^n$ 有

• 在0点必收敛
• 如果级数在 $z_0$ 点收敛，则它在 $|z| < |z_0|$ 上绝对收敛
• 如果级数在 $z_1$ 点发散，则它在 $|z| > |z_1|$ 上发散

---

• $\sum_{n = 0}^{+\infty}a_nz^n \pm \sum_{n = 0}^{+\infty}b_nz^n = \sum_{n = 0}^{+\infty}(a_n \pm b_n)z^n$
• $\sum_{n = 0}^{+\infty}a_nz^n \cdot \sum_{n = 0}^{+\infty}b_nz^n = \sum_{n = 0}^{+\infty}(a_0b_n + a_1b_{n-1} + \cdot + a_nb_0)z^n$

收敛圆

设 $C_R$ 的半径为 $R$

• 称圆域 $|z| < R$ 为收敛圆
• 称 $R$ 为收敛半径

级数在收敛圆的边界上各点的收敛情况时不一定的

收敛半径

• 比值法：如果 $\lim_{n \rightarrow +\infty}\frac{|a_{n+1}|}{a_n} = \lambda$
  • 收敛半径：$R = \frac{1}{\lambda}$
• 根植法：如果 $\lim_{n\rightarrow +\infty}^n\sqrt{|c_n|} = \rho$
  • 收敛半径：$R = \frac{1}{\rho}$

幂级数性质

设 $f(z) = \sum^{+\infty}_{n=0}a_n(z - z_0)^n, |z - z_0 < R|$，则

• 函数 $f(z)$ 在收敛圆 $|z - z_0| < R$ 内解析
• 函数 $f(z)$ 的导数可由其幂级数逐项求导得到
  • $f'(z) = \sum^{+\infty}_{n=1} na_n(z - z_0)^{n-1}$
• 在收敛圆内可以逐项积分，即
  • $F(z) = \int^z_{z_0} f(z)\mathrm{d}z = \sum^{+\infty}_{n=0}\frac{a_n}{n + 1}(z - z_0)^{n+1}$

设级数 $\sum^{+\infty}_{n=0}a_nz^n$ 在 $|z| < R$ 内收敛，和函数为 $f(z) = \sum^{+\infty}_{n=0}a_nz^n$，又设函数 $g(n)$ 在 $|z| < r$ 内解析，且满足 $|g(z)| < R$，则当 $|z| < r$ 时，有 $f(g(z)) = \sum^{+\infty}_{n=0}a_n(g(z))^n$

泰勒级数

泰勒定理：设函数 $f(z)$ 在区域 $D$ 内解析，$C$ 为 $D$ 的边界，$z_0 \in D$，$R = \min_{z \in C}|z - z_0|$，则当 $|z - z_0| < R$，有

$$f(z) = \sum^{+\infty}_{n=0} a^n(z - z_0)^n \quad a_n = \frac{1}{n!}f^{(n)}(z_0) = \frac{1}{2\pi i}\oint_L \frac{f(z)}{(z - z_0)^{n+1}}\mathrm{d}z$$

• 幂级数的收敛域必须是圆域
• 幂级数一旦收敛，其和函数一定解析
• 对于一个给定的函数，用任何方法展开为幂级数，其结果唯一
• 函数 $f(z)$ 在 $z_0$ 点展开为泰勒级数，其收敛半径等于从 $z_0$ 点到 $f(z)$ 的最近一个奇点 $z$ 的距离

在比较小的范围内，泰勒级数无限接近原函数，可以用它近似原函数

---

• 直接计算

$$a_n = \frac{1}{n!}f^{(n)}(0)$$

常见展开式

$$\frac{1}{1 - z} = \sum^{+\infty}_{n=0}z^n = 1 + z + z^2 + z^3 + \cdots \quad |z| < 1$$

$$e^z = \sum^{+\infty}_{n=0}\frac{z^n}{n!} = 1 + z + \frac{z^2}{2!} + \frac{z^3}{3!} + \cdots \quad |z| < +\infty$$

洛朗级数

引入负幂次项，就可能将一个函数在整个复平面上展开（除了奇点所在的圆周）

设函数 $f(z)$ 在圆环域 $D: R_1 < |z - z_0| < R_2$ 内解析，则 $f(z)$ 一定能再次圆环域中展开为

$$f(z) = \sum^{+\infty}_{n = -\infty}a_n(z - z_0)^n \quad a_n = \frac{1}{2\pi i}\oint_C \frac{f(\zeta)}{(\zeta - z_0)^{n+1}}\mathrm{d}\zeta$$

$C$ 是圆环内绕 $z_0$ 的任何一条简单闭曲线

• 正幂次项：解析部分
• 负幂次项：主要部分
• 展开项唯一
• 若在 $0 \leq |z - z_0| < R$ 内解析，则 $f(z)$ 在此圆环内的洛朗展开式就是泰勒展开式

洛朗级数的展开

在求展开式之前，都需要根据函数的奇点位置，将复平面分为若干个解析环
比如奇点为 $z_1, z_2, z_3$，展开点为 $z_0$ 则复平面被分为

• $0 \leq |z - z_0| < r_1$
• $r_1 < |z - z_0| < r_2$
• $r_2 < |z - z_0| < r_3$
• $r_3 < |z - z_0| < +\infty$

复闭路积分

• 若 $f(z)$ 在 $D$ 内解析，在 $\Gamma$ 上连续，由柯西积分定理 $\oint_\Gamma f(z)\mathrm{d}z = 0$
• 若 $f(z)$ 在 $D$ 内由唯一的奇点 $z_0$，由闭路变形原理：$\oint_\Gamma f(z)\mathrm{d}z = \oint_C f(z)\mathrm{d}z$
  • 由 $\oint_C \frac{\mathrm{d}z}{(z - z_0)^n} = \begin{cases} 2\pi i & n = 1\\0 & n\neq 1\end{cases}$
  • 则积分 $\oint_\Gamma f(z)\mathrm{d}z = 2\pi i c_{-1}$， $c_{-1}$ 为洛朗展开负一次项系数

孤立奇点

设 $z_0$ 为函数 $f(z)$ 的奇点，且存在 $\delta > 0$ 使得 $f(z)$ 在 $z_0$ 的去心领域 $0 < |z - z_0| < \delta$ 内解析，则称 $z_0$ 为 $f(z)$ 的孤立奇点

• 可去奇点：如果在洛朗级数中不含 $z - z_0$ 的负幂项，则孤立奇点 $z_0$ 称为 $f(z)$ 的可去奇点
• 极点：如果在洛朗级数中只有有限多个 $z - z_0$ 的负幂项，且其中关于 $(z - z_0)^{-1}$ 的最高负幂次为 $m$，则为 $m$阶极点
• 本性奇点：洛朗级数中含有无穷多 $z - z_0$ 的负幂项，则孤立奇点 $z_0$ 称为 $f(z)$ 的本性奇点
  • $\lim_{z \rightarrow z_0}f(z)$ 不存在且不为 $\infty$

零点

• 若 $f(z_0) = 0$，则称 $z = z_0$ 为 $f(z)$ 的零点
• 若 $f(z) = (z - z_0)^m\varphi(z)$，$\varphi(z)$ 在 $z_0$ 处解析且 $\varphi(z_0) \neq 0$，则称为 $m$ 阶零点

对于不恒为0的解析函数，其零点是孤立的
即在零点的一个小领域内，函数无其他零点

• 定理：如果 $z_0$ 是 $f(z)$ 的 $m$ 阶零点，则 $z_0$ 就是 $1/f(z)$ 的 $m$ 阶极点，反过来也成立

设函数 $f(z)$ 在 $z_0$ 处解析，则下列条件是等价的

• $z_0$ 为 $f(z)$ 的 $m$ 阶零点
• $f^{(k)}(z_0) = 0, k =0,1,2,\cdots,m-1; f^{(m)}(z_0) \neq 0$

无穷远点是复平面外的理想点，故无穷远点总是函数 $f(z)$ 的奇点
如果函数 $f(z)$ 在无穷远点 $z = \infty$ 的去心领域 $R < |z| < \infty$ 内解析，称点 $\infty$ 为 $f(z)$ 的孤立奇点
做变换 $w = 1/z$ 把扩充 $z$ 平面上 $\infty$ 的去心领域 $R < |z| < +\infty$ 映射称扩展 $w$ 平面上原点的去心领域$0 < |w| < 1/R$
若记

$$f(z) = f(\frac{1}{w}) = \varphi(w) \quad \lim_{z \rightarrow \infty}f(z) = \lim_{w \rightarrow 0}\varphi(w)$$

函数 $f(z)$ 在无穷远点 $z = \infty$ 的性态可由函数 $\varphi(w)$ 在原点 $w = 0$ 的性态来刻画

• $\lim_{z \rightarrow \infty}f(z)$ 存在且有限，称 $\infty$ 为 $f(z)$ 的可去奇点
  • $\lim_{z \rightarrow \infty}f(z) < \infty$
• $\lim_{z \rightarrow \infty}f(z)$，称 $\infty$ 为 $f(z)$ 的极点
  • $f = \frac{g}{(z - z_0)^m}, \lim_{z \rightarrow \infty}f(z) = \infty$
• $\lim_{z \rightarrow \infty}f(z)$ 不存在且不为无穷，称 $\infty$ 为 $f(z)$ 的本性奇点

留数及其应用

设 $z_0$ 为函数 $f(z)$ 的孤立奇点，将 $f(z)$ 在 $z_0$ 的去心领域内展开为洛朗级数，称 $c_{-1}$ 是积分过程中唯一残留下来的洛朗系数，称 $c_{-1}$ 为 $f(z)$ 在 $z_0$ 处的留数，记作

$$Res[f(z), z_0] = c_{-1} = \frac{1}{2\pi i} \oint_C f(z)\mathrm{d}z$$

留数，就是被留下来的数，$c_{-1}$ 被留下了，这就是留数了

留数定理

设函数 $f(z)$ 在区域 $D$ 内除有限个孤立奇点 $z_1, z_2, \cdots, z_n$ 外处处解析，$C$ 是 $D$ 内包围诸奇点的一条正向简单闭曲线，则

$$\oint_C f(z)\mathrm{d}z = 2\pi 1 \sum^n_{k = 1}Res[f(z), z_k]$$

• 如果 $z_0$ 是 $f(z)$ 的可去奇点，则 $Res[f(z), z_0] = 0$
• 如果 $z_0$ 是 $f(z)$ 的本性奇点，则需要洛朗级数展开
• 如果 $z_0$ 是 $f(z)$ 的极点，则有对 $c_{-1}$ 的法则

法则：如果 $z_0$ 为 $f(z)$ 的一阶极点，则

$$Res[f(z), z_0] = \lim_{z \rightarrow z_0}(z - z_0)f(z)$$

法则：如果 $z_0$ 为 $f(z)$ 的 $m$ 阶极点，则

$$Res[f(z), z_0] = \frac{1}{(m - 1)!}\lim_{z \rightarrow z_0} \frac{\mathrm{d}^{m-1}}{\mathrm{d}z^{m-1}} \lbrace (z - z_0)^mf(z) \rbrace$$

法则：若 $f(z) = \frac{P(z)}{Q(z)}$，$Q(z_0) = 0$，$Q'(z_0) \neq 0$，$P(z_0) \neq 0$，且 $P(z), Q(z)$在$z_0$ 点解析，则 $z_0$ 是 $f(z)$ 的简单极点

$$Res[f(z), z_0] = \frac{P(z)}{Q'(z)}$$

无穷远点的留数

设函数 $f(z)$ 在圆环域 $R < |z| < \infty$ 内解析，$C$ 为该圆环域内绕原点的任何一条简单闭曲线，则积分

$$\frac{1}{2\pi i} \oint_{C^-} f(z)\mathrm{d}z$$

为 $f(z)$ 在 $\infty$ 点的留数，记作

$$Res[f(z), \infty] = \frac{1}{2\pi i}\oint_{C^-} f(z)\mathrm{d}z$$

定理：如果 $f(z)$ 在扩充复平面内只有有限个孤立奇点，那么 $f(z)$ 在所有各奇点(包括 $\infty$ )的留数总和必等于零
法则：

$$Res[f(z), \infty] = -Res[f(\frac{1}{z})\cdot\frac{1}{z^2}, 0]$$

留数应用

$$z = e^{i\theta}$$

$\theta \in [0, 2\pi]$ 为复平面上的单位圆周，$\mathrm{d}z = ie^{i\theta}\mathrm{d}\theta = iz\mathrm{d}\theta \Rightarrow \mathrm{d}\theta = \frac{\mathrm{d}z}{iz}$

$$\begin{aligned} \cos\theta = \frac{e^{i\theta} + e^{-i\theta}}{2} = \frac{z + z^{-1}}{2} = \frac{z^2 + 1}{2z} \\ \sin\theta = \frac{e^{i\theta} - e^{-i\theta}}{2i} = \frac{z - z^{-1}}{2i} = \frac{z^2 - 1}{2iz} \end{aligned}$$

即可转换积分

$$\begin{aligned} \int^{2\pi}_0 R(\cos\theta, \sin\theta)\mathrm{d}\theta &= \oint_{|z| = 1}R(\frac{z^2 + 1}{2z}, \frac{z^2 - 1}{2iz})\frac{1}{iz}\mathrm{d}z \\ &= \oint_{|z| = 1}f(z)\mathrm{d}z \end{aligned}$$

其中 $f(z)$ 是 $z$ 的有理函数，且在单位圆周 $|z| = 1$ 上分母不为零，根据留数定数有

$$\int^{2\pi}_0 R(\cos\theta, \sin\theta)\mathrm{d}\theta = \oint_{|z| = 1}f(z)\mathrm{d}z = 2\pi i \sum^{n}_{k=1}Res[f(z), z_k]$$

其中 $z_k(k=1,2,\cdots,n)$ 为单位圆 $|z| = 1$ 内的 $f(z)$ 的孤立奇点

---

形如

$$\int^{+\infty}_{-\infty}R(x)\mathrm{d}z$$

• $R(x) = \frac{P(x)}{Q(x)}$，其中 $P, Q$ 为多项式
• 分母 $Q(x)$ 的次数比分子 $P(x)$ 的次数至少高2次
• 分母 $Q(x)$ 无实零点

则

$$\int^{+\infty}_{-\infty}R(x)\mathrm{d} = 2\pi i \sum_{k}Res[R(z), z_k]$$

这里 $z_k$ 为 $R(z)$ 在上半平面的所有孤立奇点

---

形如

$$\int^{+\infty}_{-\infty}R(x)e^{iax}\mathrm{d}x(a > 0)$$

• $R(x) = \frac{P(x)}{Q(x)}$，其中 $P, Q$ 为多项式
• 分母 $Q(x)$ 的次数比分子 $P(x)$ 的次数至少高1次
• 分母 $Q(x)$ 无实

则

$$\int^{+\infty}_{-\infty}R(x)e^{iax}\mathrm{d}x = 2\pi i \sum_{k}Res[R(z)e^{iaz}, z_k]$$

这里 $z_k$ 为 $R(z)$ 在上半平面的所有孤立奇点

共形映射

伸缩率：经过 $z_0$ 点的曲线 $C_0$ 经 $w = f(z)$ 映射后，变成了过 $w_0$ 点的曲线 $\Gamma_0$，曲线被伸缩和选中

为曲线 $C_0$ 经 $w = f(z)$ 映射后，在 $z_0$ 点的伸缩率

为曲线 $C_0$ 经 $w = f(z)$ 映射后，在 $z_0$ 点的旋转角

导数的几何意义

• $|f'(z_0)|$ 为曲线 $C_0$ 在 $z_0$ 点的伸缩率
• $\arg f'(z_0)$ 为曲线 $C_0$ 在 $z_0$ 点的旋转角

---

• 伸缩率不变性：任何一条经过 $z_0$ 点的曲线的伸缩率均为 $|f'(z_0)|$
• 旋转角不变性：任何一条经过 $z_0$ 点的曲线的旋转角均为 $\arg f'(z_0)$
• 保角性：即 $w = f(z)$ 保持了两条曲线的夹角的大小与方向不变

---

• 第一类保角映射
  • 函数 $w = f(z)$ 在区域 $D$ 内满足
    • 保角性
    • 伸缩率不变性
    • $f'(z) \neq 0$
• 第二类保角映射
  • 函数 $w = f(z)$ 在区域 $D$ 内满足
    • 能保持两条曲线的交角的大小不变，但方向相反
    • 伸缩率不变性

共性映射：若函数 $w = f(z)$ 在区域 $D$ 的第一类保角映射，且当 $z_1 \neq z_2$ 时，$f(z_1) \neq f(z_2)$，则称 $w = f(z)$ 为区域 $D$ 内的共形映射，要求函数必须时一一映射（双方单值）

解析 + $f'(z) \neq 0 +$ 一一映射 = 共性映射

• 保域性定理：设函数 $w = f(z)$ 在区域 $D$ 内解析，且不恒为常数，则其像集合 $G = f(D)$ 仍位区域
• 边界对应原理：设区域 $D$ 的边界位简单闭曲线 $C$，函数 $w = f(z)$ 的闭区域 $\overline{D} = D + C$ 上解析，且将曲线C双方单值地映射位简单闭曲线 $\Gamma$
  • 当 $z$ 沿 $C$ 的正向绕行时，相应的 $w$ 的绕行方向定为 $\Gamma$ 的正向，并令 $G$ 是以 $\Gamma$ 为边界的区域，则 $w = f(z)$ 将 $D$ 共性映射为 $G$
• 黎曼存在唯一性定理
  • 设 $D$ 和 $G$ 是任给的两个单连域，在其各自的边界上至少含有两个点，则一定存在解析函数 $w = f(z)$ 将区域 $D$ 共形映射为 $G$
  • 如果在区域 $D$ 和 $G$ 内再分别任意指定一点 $z_0$ 和 $w_0$，并任给一实数 $\theta_0 \in (-\pi, \pi]$，使得$\arg f'(z_0) = \theta_0$ 且 $f(z_0) = w_0$，则映射 $w = f(z)$ 是唯一的

对给定的单连域 $D$，求共性映射，使得 $D$ 映射为单位圆域，事实上，由此即可求得任意两个单连域之间的共性映射（单位圆域为中介）

$$\begin{gathered} D(z) \xrightarrow{\xi = g(z)} \text{单位圆域} \xleftarrow{\xi = h(w)} G(w) \\ \Downarrow \\ w = h^{-1}(g(z)) = f(z) \end{gathered}$$

分式线性映射

由分式线性函数 $w = \frac{az + b}{cz + d}, (\frac{a}{c} \neq \frac{b}{d})$ 构成的映射，若 $c = 0$，则为整式线性映射

• 两个分式线性映射的复合，仍是一个分式线性映射
• 分式线性映射的逆隐射也是一个分式线性映射

$$\begin{gathered} w = \frac{2z}{z + i} = \frac{2z + 2i - 2i}{z + i} = 2 + \frac{-2i}{z + i} = 2 + 2e^{-\frac{\pi}{2}i}\cdot \frac{1}{z + i} \\ z \xrightarrow{z + i} z_1 \xrightarrow{\frac{1}{z_1}} z_2\xrightarrow{e^{-\frac{\pi}{2}i}z_2} z_3 \xrightarrow{2z_3} z_4 \xrightarrow{z_4 + 2} w \end{gathered}$$

一个一般形式的分式线性映射可以由几种最简单发分式线性映射复合而成

• 整式线性映射
  • $w = z + b(b \in \mathbb{Z})$
  • $w = e^{i\theta_0}z(\theta_0 \in \mathbb{R})$
  • $w = rz(r > 0)$
• 分式线性映射
  • $w = e^{i\theta_0}z(\theta_0 \in \mathbb{R})$
  • $w = rz(r > 0)$
  • $w = \frac{1}{z}$

---

• 平移映射：$w = z + b$
  • 将点集沿着向量 $\overline{b}$ 的方向平移一段距离 $|\overline{b}|$
• 选择映射：$w = e^{i\theta_0}z$
  • 将点集绕原点旋转一个角度 $\theta_0$
    • $\theta_0 > 0$：逆时针旋转
    • $\theta_0 < 0$：顺时针旋转
• 相似映射：$w = rz$
  • 将点集沿极径方向相似地扩大(缩小) $r$ 倍
• 反演映射：$w = \frac{1}{z}$
  • 将单位圆内(外)的点映射到单位圆外(内)的点
  • 它们的模互为导数，辐角反号

定义：若 $\overline{OA}\cdot\overline{OB} = R^2$，则称 $A$ 点和 $B$ 点关于圆周 $C$ 对称
保对称点性：设点 $z_1, z_2$ 关于圆周 $C$ 对称，则在分式线性映射下，它们的像点 $w_1, w_2$ 也关于像曲线 $C'$ 对称

分式线性映射特性

• 保形性
• 解析性
• 保圆性

分式线性映射再扩充复平面上是共形映射
导数映射将圆变为圆或直线，将直线变为圆或直线

• 线性映射将圆变成圆，将直线变成直线
• 将直线看作是半径为无穷大的圆

在扩充复平面上，分式线性映射能把圆变成圆（可能是直线）

• 如果给定的圆上没有点映射成无穷远点，则映射为半径有限的圆
• 如果给定的圆上有一点映射成无穷远点，则映射为直线
• 对于圆弧段，如果其中一个端点映射成无穷远点，则映射为射线

---

给定三个条件，就能决定一个分式线性映射

$$\frac{w - w_1}{w - w_2}:\frac{w_3 - w_1}{w_3 - w_2} = \frac{z - z_1}{z - z_2}:\frac{z_3 - z_1}{z_3 - z_2}$$

称为对应点公式，由于分式线性映射具有保圆性，因此该公式通常用于：把过 $z_1, z_2, z_3$ 三点的圆（或圆弧）映射为过 $w_1, w_2, w_3$ 的圆（或圆弧）
如果 $z_1, z_2, z_3$ 和 $w_1, w_2, w_3$ 中有一个为无穷远点 $\infty$，则只需将对应点公式中含有 $\infty$ 的项换成$1$

---

设 $w = f(z)$ 为分式线性映射，且 $f(z_1) = w_1, f(z_2) = w_2$，则它可表示为：$\frac{w - w_1}{w - w_w} = k\frac{z - z_1}{z - z_2}$，特别的若 $f(z_1) = 0, f(z_2) = \infty$，则 $w = k\frac{z - z_1}{z - z_2}$

把过 $z_1, z_2$ 的点的弧映射成过原点的直线，若左式作为中间步骤，则 $k$ 可设为 $1$

其他函数映射

• 幂函数：$w = z^n$
  • 扩大顶点在原点的角形域
• 根式函数：$w = ^n\sqrt{z}$
  • 缩小顶点在原点的角形域

幂函数 $w = z^n$ 在 $z$ 平面上除原点外是第一类保角映射
在角形域或扇形域 $(0 < \theta < \theta_0)$ 上，如果 $\theta_0 \leq \frac{2\pi}{n}$，则幂函数 $w = z^n$ 是共形映射

• 指数函数：$w = e^z$
  • 将水平带形域（半带形域）变为角形域（或扇形域）

幂函数 $w = z^n$ 在 $z$ 平面上是第一类保角映射
在水平带形域 $(0 < y < h)$ 上，如果 $h \leq 2\pi$，则指数函数 $w = e^z$ 是共形映射

傅里叶变换

傅里叶变换的概念

Fourier变换是积分变换中最常见的一种变换，它既能够简化运算（如求解微分方程，化卷积运算为乘积运算等），又具有非常特殊的物理意义

因此，傅里叶变换不仅在数学的许多分支中具有重要的地位，而且再各种工程技术中都有着广泛的应用。

由于傅里叶变换是在周期函数的傅里叶级数的基础上发展起来的，首先简单回顾一下傅里叶级数展开。

傅里叶级数

傅里叶级数的三角形式

设 $f_T(t)$ 是以 $T$ 为周期的实值函数，且在 $[-T/2, T/2]$ 上满足条件（即Dirichlet条件）

1. 连续或只有有限个第一类间断点
2. 只有有限个极值点

令 $\omega_0 = 2\pi / T$ （称为基频），则在 $f_T(t)$ 的连续点处，有

$$\color{blue}{f_T(t) = \frac{a_0}{2} + \sum_{n=1}^{+\infty} (a_n \cos n\omega_0t + b_n \sin n\omega_0t)}$$

称这个式子为Fourier级数的三角形式。

在间断点处，上式左端为 $\frac{1}{2}[f_T(t + 0) + f_T(t - 0)]$ ，其中

$$\begin{aligned} a_n &= \frac{2}{T}\int^{T/2}_{-T/2}f_T(t)\cos n\omega_0 t \mathrm{d}t, \quad (n = 1, 2, \cdots) \\ b_n &= \frac{2}{T}\int^{T/2}_{-T/2}f_T(t)\sin n\omega_0 t \mathrm{d}t, \quad (n = 1, 2, \cdots) \end{aligned}$$

傅里叶级数的指数形式

已知傅里叶级数的三角形式，由Euler公式，有

$$\begin{aligned} \cos n\omega_0 t &= \frac{e^{jn\omega_0t} + e^{-jn\omega_0t}}{2} \\ \sin n\omega_0 t &= \frac{-e^{jn\omega_0t} + e^{-jn\omega_0t}}{2} \end{aligned}$$

其中, $j = \sqrt{-1}$ ，将它们带入Fourier级数的三角形式并整理，即得

$$f_T(t) = \frac{a_0}{2} + \sum^{+\infty}_{n=1}(\frac{a_n - jb_n}{2}e^{jn\omega_0t} + \frac{a_n + jb_n}{2}e^{-jn\omega_0t})$$

令 $c_0 = \frac{a_0}{2}, c_n = \frac{a_n - jb_n}{2}, c_{-n} = \frac{a_n + jb_n}{2}$ ，则有

$$\color{blue}{f_T(t) = \sum^{+\infty}_{n = -\infty} c_n e^{jn\omega_0t}}$$

称这个式子为Fourier级数的指数形式。

其中，$c_n = \frac{1}{T}\int^{T/2}_{-T/2}f_T(t)e^{-jn\omega_0t} \mathrm{d}t, \quad (n = 0, \pm 1, \pm2, \cdots)$，称系数 $c_n$ 为离散频谱，记为 $F(n\omega_0) = c_n$

注意：

1. 对于给定的函数，其Fourier级数展开式是唯一的
2. 在计算展开系数 $c_n$ 时，可在任意一个长度为T的区间上计算其中的积分
3. 采用周期延拓技术，可以将结论应用到仅仅定义在某个有限区间上的函数。换句话说，对于定义在有限区间上的函数，同样可以展开为Fourier级数

傅里叶级数的物理意义

由傅里叶级数的三角形式，令 $A_0 = \frac{a_0}{2}, A_n = \sqrt{a^2_n + b^2_n}, \cos\theta_n = \frac{a_n}{A_n}, \sin\theta_n = \frac{-b_n}{A_n}$ ，则Fourier级数的三角形式变为：

$$f_T(t) = A_0 + \sum^{+\infty}_{n=1}A_n\cos(n\omega_0t + \theta_n)$$

物理意义：

1. 周期信号可以分解为一系列固定频率的简谐波之和，这些简谐波的角频率分别为一个基频 $\omega_0$ 的倍数
2. 任何一个周期为 $T$ 的周期信号 $f_T(t)$ 并不包含所有的频率成分，其频率是以基频 $\omega_0$ 为间隔离散取值的，这是周期信号的一个非常重要的特点
3. 振幅 $A_n$：反映了在信号 $f_T(t)$ 中频率为 $n\omega_0$ 的简谐波所占有的份额
4. 相位 $\theta_n$：反映了在信号 $f_T(t)$ 中频率为 $n\omega_0$ 的简谐波沿时间轴移动的大小，这两个指标完全定量地刻画了信号的频率特性

由傅里叶级数的指数形式，已知 $c_0 = \frac{a_0}{2}, c_n = \frac{a_n - jb_n}{2}, c_{-n} = \frac{a_n + jb_n}{2}, (n > 0)$，即得 $c_0 = A_0, \arg c_n = -\arg c_{-n} = \theta_n, |c_n| = |c_{-n}| = \frac{1}{2}\sqrt{a_n^2 + b_n^2} = \frac{A_n}{2}$

结论：复系数 $c_n$ 的模 $|c_n|$ 恰好反映了振幅，而它的辐角 $\arg c_n$ 就是相位

离散频谱与频谱图：称 $|c_n|$ 为振幅谱，$\arg c_n$ 为相位谱，称 $c_n$ 为（离散）频谱，频谱图将 $|c_n|, \arg c_n$ 与频率 $n\omega_0$ 的关系画成图形

傅里叶积分公式

单位冲激函数

傅里叶变换的性质

卷积与卷积定理

拉普拉斯变换

拉普拉斯变换的概念

拉普拉斯变换的性质

拉普拉斯逆变换

拉普拉斯变换的应用及综合举例

参考文献

• 复变函数与积分变换-李红（华中科技大学）