第一章 解析函数

1. 复数的基本性质

1.1 复数及其运算

虽然这一节其实没啥好说的但是出于兴趣我还是找了个自己很满意的数学定义。

一个复数 $z$ 是一个有序实数对 $(a, b)$，其中 $a, b \in \mathbb{R}$。 复数的集合记作 $\mathbb{C}$，即 $\mathbb{C} = \{ (a, b) \mid a, b \in \mathbb{R} \}$。 在此基础上，我们定义复数的相等、加法和乘法运算： 1. 相等 (Equality): 两个复数 $(a, b)$ 和 $(c, d)$ 相等，当且仅当它们的对应分量相等： $(a, b) = (c, d) \iff a = c \text{ 且 } b = d$

1. 加法 (Addition): 两个复数 $(a, b)$ 和 $(c, d)$ 的和定义为：$(a, b) + (c, d) = (a+c, b+d)$

2. 乘法 (Multiplication): 两个复数 $(a, b)$ 和 $(c, d)$ 的积定义为： $(a, b) \cdot (c, d) = (ac - bd, ad + bc)$

因此，我们就有了复数的域结构 (Field Structure): 集合 $\mathbb{C}$ 连同上述定义的加法和乘法运算，构成一个域 (Field)。这意味着它满足所有域的公理，包括加法和乘法的结合律、交换律、分配律，存在加法和乘法单位元，以及除零以外所有元素的加法和乘法逆元。

定义虚数单位 (Imaginary Unit): 我们定义虚数单位 $i$ 为复数 $(0, 1)$。根据乘法定义，我们可以计算

$$ i^2 = (0, 1) \cdot (0, 1) = (0 \cdot 0 - 1 \cdot 1, 0 \cdot 1 + 1 \cdot 0) = (-1, 0) $$

由于 $(-1, 0)$ 被识别为实数 $-1$，因此我们得到标志性的关系：

$$ i^2 = -1 $$

1.2 复数的表示

1.2.1 复平面

A.笛卡尔坐标形式 (Cartesian Form / Rectangular Form)

表示: $z = x + yi$ 元素: 1. $x$: 实部 (Real Part) ，记作 $\text{Re}(z)$。 2. $y$: 虚部 (Imaginary Part) ，记作 $\text{Im}(z)$。 3. $i$: 虚数单位，满足 $i^2 = -1$。 4. 几何意义: 复平面上的点 $(x, y)$。 5. 横轴（X轴）是 实轴 (Real Axis) 。 6. 纵轴（Y轴）是 虚轴 (Imaginary Axis) 。

B.极坐标形式 (Polar Form / Trigonometric Form)

表示: $z = r(\cos\theta + i\sin\theta)$，结合欧拉公式 (Euler's Formula) 写作 $$ z = re^{i\theta} $$ 元素: 1. $r$: 模 (Modulus / Magnitude / Absolute Value) ，记作 $|z|$计算公式：$r = \sqrt{x^2 + y^2}$。几何意义为复平面上点 $(x, y)$ 到原点 $(0, 0)$ 的距离。 2. $\theta$: 辐角 (Argument) ，记作 $\arg(z)$。计算公式：$\tan\theta = \frac{y}{x}$ (需注意象限)。几何意义为：从正实轴逆时针旋转到向量 $\vec{Oz}$ 的角度。

主辐角 (Principal Argument) ：记作 $\text{Arg}(z)$（大写A），是辐角的一个特定取值，限制在区间 $(-\pi, \pi]$ 或 $[0, 2\pi)$，最常见的是 $(-\pi, \pi]$。对于给定的 $z \ne 0$，主辐角是唯一的。

辐角 (General Argument) ：记作 $\arg(z)$（小写a）。是主辐角加上 $2k\pi$ 的所有可能值，即 $\arg(z) = \text{Arg}(z) + 2k\pi$，其中 $k \in \mathbb{Z}$（整数）。 对于给定的 $z \ne 0$，辐角是多值的。

C.复共轭 (Complex Conjugate)

1. 表示: 如果 $z = x + yi$，则其共轭复数记作 $\bar{z}$ 或 $z^*$。
   • 笛卡尔形式：$\bar{z} = x - yi$。
   • 极坐标形式：如果 $z = re^{i\theta}$，则 $\bar{z} = re^{-i\theta}$。
2. 几何意义: 复平面上点 $(x, y)$ 关于实轴的反射点 $(x, -y)$。

1.2.2 球面表示 (Spherical Representation / Riemann Sphere)

1. 概念: 黎曼球面 (Riemann Sphere) 提供了一种将整个复平面（包括无限远点）映射到一个球面上的方法。
2. 方法: 球极投影 (Stereographic Projection) 。
   1. 想象一个单位球体，它的南极点接触复平面的原点。
   2. 球体的北极点 $N$ 作为投影中心。
   3. 对于复平面上的任意一点 $z$，画一条从北极 $N$ 穿过 $z$ 的直线。这条直线与球面相交的唯一另一点 $P$ 就是 $z$ 在球面上的投影。
3. 几何意义: 将一个二维平面上的点映射到一个三维球面的点，允许我们以一种几何上直观的方式处理复数的“无限大”概念。

1.3 复平面上的曲线与复方程

两大问题： 1. 已知复平面上曲线$C$的方程$F(x,y)=0$，如何写出$C$的复方程$G(z)=0$ 2. 已知复方程$G(z)=0$或不等式$G(z)\geq 0$，如何确定它们表示的图形 其实没啥说的。注意到$z$的原始定义本来是有序实数对就会发现它其实很像一个二维矢量，拿这个来看就行了。

2. 复变函数的基本性质

2.1 复变函数定义

设集合$E\subset \mathbb{C},W\subset \mathbb{C},z=x+iy\in E,w=u+iv\in W$,若存在映射$f$使得 $$ f:z\rightarrow w $$ 则称$f$或$w$为$z$的复变函数，也称$w$为原象$z$的象，记作$w=f(z)$，$z$为自变量，$E$为定义域。 因此有： 单叶函数 ：$z_1,z_2\in E,z_1\ne z_2\rightarrow f(z_1)\ne f(z_2)$ 多叶函数 ：$\exists z_1,z_2\in E,z_1\ne z_2,s.t.f(z_1)\ne f(z_2)$

2.2 区域

定义区域 ：复平面内同时满足开集性和连通性的点集$\sigma$ 概念太多，这里大概列一下，都是望文就能生义： 邻域、去心邻域、外点、内点、界点、边界、闭包（闭区域）

区域在左手边的方向叫边界正向

2.3 极限与连续

和实变函数一样

3. 复变函数的导数与微分

3.1 导数与微分

3.1.1 导数的定义

设函数 $f(z)$ 在点 $z_0$ 的某个邻域内有定义。如果极限 $$f'(z_0) = \lim_{\Delta z \to 0} \frac{f(z_0 + \Delta z) - f(z_0)}{\Delta z}$$ 存在，则称函数 $f(z)$ 在点 $z_0$ 可导，并将此极限值称为 $f(z)$ 在 $z_0$ 的导数，记作 $f'(z_0)$ 或 $\frac{df}{dz}|_{z_0}$

3.1.2 微分的定义

若$f(z)$是可微的，有 $$ df=f'(z)dz $$

3.1.3 可微（可导）的条件

必要条件 ：如果复变函数 $f(z) = u(x,y) + iv(x,y)$ 在点 $z_0 = x_0 + iy_0$ 可导（可微），那么 $u(x,y)$ 和 $v(x,y)$ 在 $(x_0, y_0)$ 处的偏导数都存在，并且满足 Cauchy-Riemann (柯西-黎曼) 方程 ： $$ \frac{\partial u}{\partial x} = \frac{\partial v}{\partial y} ,\frac{\partial u}{\partial y} = -\frac{\partial v}{\partial x}$$

简单记忆 ：实实=虚虚，实虚=-虚实

充要条件只是多了一条$u(x,y)$ 和 $v(x,y)$在$z_0 = x_0 + iy_0$ 可导（可微）

3.2 导数的几何意义

实数函数中导数$f'(x)$ 表示函数曲线在点 $x$ 处的切线斜率，某种意义上，它衡量了当 $x$ 发生一个微小变化时，$y$ 相应变化的“拉伸”或“压缩”比例。 回到复变函数上. 首先需要理解，复变函数$w=f(z)$本质上定义了一个从$z$平面到$w$平面的映射 (一个实数对映射到另一个实数对)。 其次，复数乘法的几何意义就是旋转和缩放 （可以从极坐标表示清晰地看到）。 最后，回忆 $$ df=f'(z)dz $$ 会发现如果这样看$f:z\rightarrow w,z=x+iy,w=u+iv\in \mathbb{C}$那么 $$ d(u+iv)=f'(z)d(x+iy) $$ 相当于一个变换矩阵

3.3 解析函数

3.3.1 解析函数及其定义

1. 若复变函数$f$在$z_0$及其邻域可导，则称$f$在$z_0$解析
2. 若复变函数$f$在区域$\sigma$处处可导，则称$f$在$\sigma$解析，为$\sigma$内的解析函数
3. 若$f$在$z_0$不解析，则称其为奇点

还有一个无穷远处解析的判定，但是比较容易就懒得写了

解析函数的和、差、积、商、复合、反函数都解析

3.3.2 解析的条件及推论

解析的充要条件就是上面说的可微的。这里主要说几个小推论：

1. 解析函数的实、虚部都是调和函数（$\nabla^2u=0$）
2. 解析函数的实、虚部梯度向量正交（$\nabla u \cdot \nabla v=0$）（也就是等高线正交）
3. 无穷远解析则无穷远导数为0

3.3.3 初等解析函数

没什么好说的，幂函数、指数函数、三角函数、双曲函数这些，和实函数大差不差。 唯一需要提出来的是根式函数 ，它有新定义： $$ 满足w^n=z(n\in \mathbb{Z}_>,n\ne 1)的w称为z的n次根式函数，记作w=\sqrt[n]{z} $$ 通过极坐标表达可以注意到它的多值性与周期，这个还挺重要的，引出了支点和单值分支的概念。可以看出对数函数也必然具有多值性

第二章 解析函数积分

~~嘻嘻嘻大芬来喽~~

1. 复变函数积分

1.1 围线及其方向

简单曲线（分段光滑无自交叉），简单围线（单连通区域的边界），复围线（复连通区域的边界）没啥好说的，就是个定义。 设函数 $f(z)$ 在区域 $D$ 内连续，$C$ 是 $D$ 内一条起点为 $A$、终点为 $B$ 的有向光滑（或分段光滑）曲线。

1.2 积分的定义

积分 $\int_C f(z) dz$ 的定义过程如下：

1. 分割 : 将曲线 $C$ 依次分割成 $n$ 个小弧段，分点为 $z_0(=A), z_1, \dots, z_n(=B)$。

2. 取样: 在每个小弧段 $z_{k-1}z_k$ 上，任意选取一点 $\zeta_k$。

3. 求和: 构造和式（黎曼和）： $$ S_n = \sum_{k=1}^{n} f(\zeta_k) \cdot (z_k - z_{k-1}) = \sum_{k=1}^{n} f(\zeta_k) \Delta z_k $$

4. 取极限: 当分割无限加密，使得最长的小弧段长度趋于零时（即 $\max|\Delta z_k| \to 0$），如果上述和式的极限存在且唯一（与分点和样本点的取法无关），则该极限值就是 $f(z)$ 沿曲线 $C$ 的积分。

最终定义为： $$ \int_C f(z) dz = \lim_{\max|\Delta z_k| \to 0} \sum_{k=1}^{n} f(\zeta_k) \Delta z_k $$

1.3 积分公式

直接把$f(z)$代成$u$和$v$然后把$dz$代成$dx$和$dy$即可~~（其实是懒得写了）~~。 和曲线积分很像，复变函数积分通常与路径有关。 直接计算复变函数积分的时候，一般用圆+指数形式作为突破口。

小例子 $$ \oint_l \frac{1}{(z-a)^n}dz=2\pi i\delta_n^1 > $$ 可以自己动手算算。 积分的性质和实变没啥区别

2. 柯西积分

2.1 柯西积分定理

2.1.1 单连通

单连通柯西积分定理 ：设$f(z)$在单连通区域$\sigma$内解析，$l$为$\sigma$内分段光滑的闭合围线，则有 $$ \oint_l f(z) dz=0 $$ 推论 ：单连通区域内解析函数积分值路径无关

2.1.2 原函数

感觉没啥用，和实变函数差不多而且没法把微积分基本定理拓展过来，只能有一个解析函数的原函数单值解析的结论。

2.1.3 复连通

设 $D \subset \mathbb{C}$ 是开区域，$f : D \to \mathbb{C}$ 为在 $D$ 上的全纯函数。 若 $\Gamma$ 是由有限条分段光滑曲线组成的闭链（闭路径），且 $\Gamma$ 及其内部（即 $\Gamma$ 所围成的区域）都包含于 $D$ 中，则有 $$ \oint_{\Gamma} f(z)\,dz = 0. $$ 看下面给的图应该就懂了。更多的“洞”同理，只是相当于多加几个曲线积分。

2.2 柯西公式

2.2.1 柯西积分公式

设$l$为$\sigma$的边界围线，$f(z)$在$\sigma$内解析，在$\overline{\sigma}$上连续，$z\in \sigma$为任意内点，则 $$ f(z)=\frac{1}{2\pi i}\oint_l \frac{f(\xi)}{\xi-z}d\xi $$ 实际上一般我们是逆着（从右向左）用的。如果是复连通那就“多加几条线”。

2.2.2 导数形式的柯西积分公式

$$ f^{(n)}(z)=\frac{n!}{2\pi i}\oint_l \frac{f(\xi)}{(\xi-z)^{n+1}}d\xi $$ 也很显然的一个公式，相当于对上面的式子求导而已。

小推论：开区域解析则无穷阶可导且导数均在区域解析。

小例题，可以动手算算 $$ \oint_{|z|=4}\frac{z^2 e^z}{(z-2)^2(z+2)^2}dz > $$

2.2.3 公式运用

解析函数几个小性质，平均值定理（感觉是凑数的），最大模原理（边界取最大），柯西不等式（不知道意义在哪），刘维尔定理（全平面解析、无穷远有界则为常数），代数学基本定理（刘维尔定理的推论），反正都没啥用感觉。~~毕竟我是学物理的。~~ 有一个逆定理还有点意思： 莫雷拉定理 ：函数f(z)在单连通区域$\sigma$内连续，若对其中任意围线都有$\oint_l f(z) dz=0$则$f(z)$在$\sigma$内解析。~~有一说一感觉也不是很有用。~~

第三章 无穷级数

~~老实说这一章开始我就没咋听课了~~

1. 复级数

虽然跟高数没什么区别但是我感觉高数级数部分快忘光了，所以还是复习一下。

1.1 复数项级数

1.1.1 收敛与发散的定义

太长了真不想写（无法想象会有人记这种），反正大概意思就是n趋于无穷和式极限存在就是收敛，否则发散。 还有一个绝对收敛的概念指的是级数所有项取绝对值时候的收敛情况

1.1.2 敛散性判据

柯西收敛判据

比较审敛法

绝对值大的如果都收敛，那另一个一定绝对收敛

比值审敛法

$$\lim_{k \to \infty}|\frac{a_{k+1}}{a_k}|<1$$ 绝对收敛

根式判别法

$$ \lim_{k \to \infty}|\sqrt[k]{a_k}|<1 $$ 绝对收敛

高斯判别法

$$ \lim_{k \to \infty}\frac{a_{k+1}}{a_k}=1+\frac{\mu}{k}+...<1 $$ $\mu\le 1$绝对收敛

其实还有个M判别法，但我感觉没啥用这个

1.2 幂级数

定义 $$ \sum_{k=0}^{\infty}a_k(z-b)^k $$ 称为以b为中心的幂函数

1.2.1 收敛性

阿贝尔定理 ：若幂级数在$z_0$收敛，则在$|z_0-b|$内一致收敛

1.2.2 收敛半径

由阿贝尔定理，收敛域一定是圆，半径就叫收敛半径。

比值判别法

$$ R=\lim_{k \to \infty}|\frac{a_{k}}{a_{k+1}}| $$

根式判别法

$$ R=\lim_{k \to \infty}\frac{1}{|\sqrt[k]{a_k}|} $$

1.2.3 收敛幂级数的分析性质

大概就是说收敛圆内绝对一致收敛。

2. 泰勒级数和泰勒展开

2.1 泰勒展开本体

没啥说的和实函数一模一样，但是这里给出几个常用的泰勒展开式子，最好记住。 重中之重 指数函数泰勒展开： $$ e^z = \sum_{n=0}^{\infty} \frac{z^n}{n!} $$ 没啥说的，既好记又好用 它变形（欧拉公式）能得到正余弦展开 $$ \sin z = \sum_{n=0}^{\infty}(-1)^n \frac{z^{2n+1}}{(2n+1)!} $$ $$ \cos z = \sum_{n=0}^{\infty}(-1)^n \frac{z^{2n}}{(2n)!} $$ 重中之重 几何级数 $$ \frac{1}{1-z} = \sum_{n=0}^{\infty} z^n $$ 记住适用条件（收敛域）$|w| < |1-z_0|$ 对它求积分就能得到对数函数泰勒展开： $$ \ln(1+z) = \sum_{n=1}^{\infty} (-1)^{n+1}\frac{z^n}{n} $$ 以及广义二项式定理 $$ (1+x)^n = \sum_{k=0}^{\infty} \frac{n(n-1)\cdots(n-k+1)}{k!}\,x^k,\quad |x|<1 $$ 常用的该机还是得记住的，另外还有一点是一定要关注收敛域 一定要关注收敛域 一定要关注收敛域

2.2 泰勒展开DLC

就两个。算不上重要。 引理： 设 $f(z)$在区域 $D$内解析，且不是恒等于零的函数。若 $z_0 \in D$ 且$f(z_0)=0$，则存在$z_0$的邻域 $U \subset D$ ，使得除 $z_0$ 外，$U$ 内无其他满足 $f(z)=0$ 的点。换句话说，$f(z)=0$ 的零点在 $D$ 内都是孤立的。 内部唯一性定理： 设 $f(z)$与 $g(z)$ 是在区域 $D$ 内解析的函数。
若存在一列点

$$ \{z_n\}_{n=1}^{\infty} \subset D $$

满足
$$ \lim_{n\to\infty} z_n = z_0 \in D $$ 并且对所有 $n$，有 $$ f(z_n) = g(z_n) $$ 则 $$ f(z) \equiv g(z) \quad \text{于区域 } D $$

~~其实还有两个推论但是确实没啥意思也不重要~~

3. 洛朗级数展开

3.1 洛朗级数

3.1.1 洛朗级数定义

形如 $$ \sum_{k=-\infty}^{+\infty}C_k(z-b)^k $$ 是以$z=b$为心的洛朗级数

3.1.2 收敛定理

洛朗级数的收敛域若存在，则必为环域$r<|z-b|

3.2 洛朗展开定理

在以b为中心的环域$r<|z-b|

$$ f(z)=\sum_{k=-\infty}^{+\infty}C_k(z-b)^k $$

其中 $$ C_k=\frac{1}{2\pi i}\oint_l\frac{f(\xi)d\xi}{(\xi-b)^{k+1}} $$ 并且展开唯一

实际在应用中我们并不会真的拿这个定理一点点算洛朗级数展开，而是拿已知结果推算。后面会给一道例题。

3.3 收敛范围

只是强调一下要注意范围实际上没啥东西。

例题：求 $$ \frac{1}{z(z+1)} > $$ 在$z=0$附近环域$0<|z|<1$和$1<|z|<\infty$的洛朗级数展开 Tips: 第一种直接用几何级数，第二种上下同时除以z再变形然后用几何级数 ~~是的我们其实就是尬蹭指数级数和几何级数~~

4. 奇点

其实这部分就是各种奇点的定义，也都是望文生义的东西。列举一下： 有限大孤立奇点（孤立的意思就是嘿！我们今天晚上有个超棒的派对，邻域里所有的解析点都会参加，猜猜谁没有被邀请？you！）、无穷远孤立奇点、孤立奇点、可去奇点、m级极点、本性奇点（无穷阶负幂次项）

再来道例题吧。求$f(z)=\frac{1-e^z}{1+e^z}$的所有有限大小奇点，并且在这些奇点的去心邻域做洛朗展开到前三阶非零项。 Tips: 判断极点阶数就是判断分母零点级数，判断分母零点级数只需要求导。 Tips: 不论在哪个地方展开，都最好先换元$w=z-z_0$

第四章 留数定理

~~最有用的一集~~

1. 留数定理

1.1 留数定理

~~连续列三个“留数定理”感觉莫名好笑~~

留数定理 ：设 $f(z)$ 是一个复变函数。若 $f(z)$ 在简单闭正向曲线 $C$ 所围区域的内部除有限个孤立奇点 $z_1, z_2, \dots, z_n$ 外处处解析，且在曲线 $C$ 上也解析，则有： $$ \oint_C f(z) \,dz = 2\pi i \sum_{k=1}^n \text{Res}(f, z_k) $$ 其中$\text{Res}(f, z_0)$是其洛朗级数展开式中 $(z - z_0)^{-1}$ 项的系数，即： $$ \text{Res}(f, z_0) = a_{-1} =\frac{1}{2\pi i} \oint_{C'} f(z) \,dz $$

其实这完全就是柯西积分定理 $$ \oint_{\Gamma} f(z)\,dz = 0 > $$ 和之前的例题结论 $$ \oint_l \frac{1}{(z-a)^n}dz=2\pi i\delta_n^1 > $$ 的直接推论

1.2 留数的常用计算方式

简单极点

法则Ⅰ ： $$ \text{Res}(f, z_0) = \lim_{z \to z_0} (z - z_0) f(z) $$ 或者， 法则Ⅱ ：如果 $f(z) = \frac{P(z)}{Q(z)}$ 且 $Q(z_0)=0, Q'(z_0) \neq 0, P(z_0) \neq 0$，则 $$ \text{Res}(f, z_0) = \frac{P(z_0)}{Q'(z_0)} $$

$m$ 阶极点

法则Ⅲ ： $$ \text{Res}(f, z_0) = \frac{1}{(m-1)!} \lim_{z \to z_0} \frac{d^{m-1}}{dz^{m-1}} [(z - z_0)^m f(z)] $$

本性奇点

没啥说的乖乖用柯西积分公式或者洛朗级数展开算吧😆

一般来说其实如果不是一阶极点感觉还不如直接洛朗展开

1.3 无穷远处的留数

无穷远处留数定义

~~牛魔带方向的环路积分符号Latex居然还得额外加载包......实在懒得弄还是图片吧~~ ~~这图片怎么这么大~~

无穷远留数的另一种计算方法

不知道具体用处先欠着（（（

2. 留数定理计算实积分

2.1 三个引理

2.1.1 大弧线引理

设$f(z)$在圆弧$C_R:z-a=Re^{i\varphi}(\varphi_1\le \varphi \le\varphi_2,R充分大)$上连续且 $$ \lim_{R \to \infty}[(z-a)f(z)]=\lambda $$ 在$C_R$上一致成立，则： $$ \lim_{R \to \infty}\int_{C_R}f(z)dz=i(\varphi_2-\varphi_1)\lambda $$

顺带一提参数化是这种直接积分的最佳考量方式

2.1.2 约当引理

设当$|z| \to \infty$时函数$f(z)$在包括实轴的上半平面$(0\le arg z\le \pi)$中一致趋于零，则当$\rho>0$时： $$ \lim_{R\to\infty}\int_{C_R}f(z)e^{i\rho z}dz=0 $$ 其中$C_R:z=Re^{i\varphi},0\le \varphi\le\pi$

2.1.3 小弧引理

设$f(z)$在圆弧$C_r:z-a=re^{i\varphi}(\varphi_1\le \varphi \le\varphi_2,r充分小)$上连续且 $$ \lim_{R \to \infty}[(z-a)f(z)]=\lambda $$ 在$C_r$上一致成立，则： $$ \lim_{r \to 0}\int_{C_r}f(z)dz=i(\varphi_2-\varphi_1)\lambda $$

2.2 留数定理求实积分

首先讲一下柯西主值 ：定义柯西主值就是极限存在时，反常积分的极限值。

2.2.1 实轴上无奇点的无穷限积分

定理 ：若函数$f(x)$在上半平面有有限个有限大小的孤立奇点$b_k，(k=1,2,...,n)$，实轴上无奇点；在含实轴的上半平面当$|z|\to\infty$时，$zf(z)$一致趋近于0，则 $$ \int_{-\infty}^{+\infty}f(x)dx=2\pi i\sum_{i=1}^{n}Resf(b_k) $$

2.2.2 乘以正余弦的无穷限积分

定理 ：若函数$f(x)$在上半平面有有限个有限大小的孤立奇点$b_k，(k=1,2,...,n)$，实轴上无奇点；在含实轴的上半平面当$|z|\to\infty$时，$f(z)$一致趋近于0，$p>0$，定义$F(z)=f(z)e^{ipz}$则有 $$ \int_{-\infty}^{+\infty}f(x)cos(px)dx=Re[2\pi i\sum_{i=1}^{n}ResF(b_k)] $$ $f(x)$为偶函数时 $$ \int_{-\infty}^{+\infty}f(x)cos(px)dx=2\pi i\sum_{i=1}^{n}ResF(b_k) $$ 以及 $$ \int_{-\infty}^{+\infty}f(x)sin(px)dx=Im[2\pi i\sum_{i=1}^{n}ResF(b_k)] $$ $f(x)$为奇函数时 $$ \int_{-\infty}^{+\infty}f(x)sin(px)dx=2\pi i\sum_{i=1}^{n}ResF(b_k) $$

2.2.3 实轴上一级极点的无穷限积分

定理 ：若函数$f(x)$在上半平面有有限个有限大小的孤立奇点$b_k，(k=1,2,...,n)$，实轴上有一级极点$c_k，(k=1,2,...,n)$；在含实轴的上半平面当$|z|\to\infty$时，$zf(z)$一致趋近于0，则 $$ \int_{-\infty}^{+\infty}f(x)dx=2\pi i\sum_{i=1}^{n}Resf(b_k)+\pi i\sum_{i=1}^{n}Resf(c_k) $$

2.2.4 实轴上一级极点的无穷限积分但是有震荡项

定理 ：若函数$f(x)$在上半平面有有限个有限大小的孤立奇点$b_k，(k=1,2,...,n)$，实轴上有一级极点$c_k，(k=1,2,...,n)$；在含实轴的上半平面当$|z|\to\infty$时，$f(z)$一致趋近于0，$p>0$，定义$F(z)=f(z)e^{ipz}$则有 $$ \int_{-\infty}^{+\infty}F(x)dx=2\pi i\sum_{i=1}^{n}ResF(b_k)+\pi i\sum_{i=1}^{n}ResF(c_k) $$

其实带有震荡项的最大区别就是$f(z)$可以衰减得更慢一些

2.2.5 三角函数有理式积分

定理 ：设 $R(x, y)$ 是关于 $x, y$ 的有理函数，且积分 $\int_0^{2\pi} R(\cos\theta, \sin\theta) \, d\theta$ 存在。则该积分可以表示为：

$$I = \int_0^{2\pi} R(\cos\theta, \sin\theta) \, d\theta = \oint_C f(z) \, dz$$

其中 $C$ 是单位圆 $|z|=1$，且函数 $f(z)$ 由以下转换得到： $$f(z) = R\left(\frac{z + 1/z}{2}, \frac{z - 1/z}{2i}\right) \frac{1}{iz}$$

然后，根据留数定理，积分的值为： $$I = 2\pi i \sum_{k=1}^n \text{Res}(f, z_k)$$ 这里，$\text{Res}(f, z_k)$ 是函数 $f(z)$ 在其位于单位圆 $C$ 内部（即 $|z_k| < 1$）的所有孤立奇点 $z_k$ 处的留数。

最爱滴习题时间😋 习题一：$$ \int_{-\infty}^{+\infty} \frac{x \cos x}{x^2 - 2x + 10} dx $$ 习题二：$$ \int_{-\infty}^{+\infty} \frac{dx}{x^4 - 1} $$ 习题三：$$ \int_{0}^{\infty} \frac{\ln x}{(1 + x^2)^2} dx $$ 习题四： $$ \int_{-\infty}^{+\infty} \frac{e^{ax}}{1 - e^x} dx \quad (0 < a < 1) $$

第五章……好吧其实已经结束了

不知道你怎么想的，反正我只感觉到了心累…… 希望期中考能考得不错…… 顺带一提上面给的留数定理的例题都属于是较难的那种，自己独立做不出来不用太伤心（（（（（（（