复变函数学习概要（极精简）

ch 1 复数，复变函数

• 点和点的邻域、内点（存在邻域是子集）、开集（全体点都是内点）
• 区域（连通的开集）、边界、闭域（区域+边界）
• 有界和无界，简单曲线和闭曲线，单连通和多连通
• 复变函数
• 函数极限
  • 定义（邻域）、充要条件（实部虚部有极限）
  • 加减乘除性质
• 函数连续性
  • 定义（邻域）、充要条件（实部虚部连续）
  • 加减乘除和复合性质
  • 沿曲线连续

ch 2 导数，解析

导数

• 导数的极限定义、微分的定义
• 可导必定连续，可微=可导
• 在点处可导的充要条件：柯西黎曼方程
  $$\frac{\partial u}{\partial x}=\frac{\partial v}{\partial y},\frac{\partial u}{\partial y}=-\frac{\partial v}{\partial x}$$

解析

• 在点处解析（邻域内处处可导）、在区域处解析
• 区域解析=区域可导
• 四则运算保持区域的解析性，复合保持解析但不能逾越区域
• 区域解析的柯西黎曼条件

初等函数

初等函数大体和实数的初等函数对应，主要注意连续性、可导性和相关的计算结果

• 指数、三角、反三角
  注意反三角是多值的且主值（分支数）可能不止一个
  a r c s i n w = { z : s i n z = e i z + e − i z 2 = w } arcsinw=\lbrace z:sinz=\frac{e^{iz}+e^{-iz}}{2}=w\rbrace arcsinw={z:sinz=2eiz+e−iz​=w}
• 对数：Ln、ln
  $$ln(z)=ln|z|+iargz$$
• 乘幂：注意多值性
  $$a^b=e^{bLna}$$

ch 3 积分

积分

• 线积分及其基本性质
• 基本计算：连续函数，光滑曲线，则可转为单变量定积分做
• 一个基本结果：$${\oint }_C\frac{dz}{(z-z_0{)}^{n+1}}=\{\begin{array}{l}2\pi i,n=0\\ 0,n>0\end{array}$$

积分的计算方法

• 线积分的计算方法：连续函数，光滑曲线，单变量定积分
• 复合闭路（柯西古萨）：闭路变形，拆小回路
• 和路径无关（类似牛-莱）：单连通域内解析
• 柯西积分公式：边界函数值的积分可以通过点的函数值确定
  $$f(z_0)=\frac{1}{2\pi i}{\oint }_C\frac{f(z)}{z-z_0}dz$$
• 解析函数导数公式：通过解析函数求导来求积分
  $$f^{(n)}(z_0)=\frac{n!}{2\pi i}{\oint }_C\frac{f(z)}{(z-z_0{)}^{n+1}}dz,n>0$$

ch ex 调和函数

• 定义：实函数在区域内调和
  $$\frac{{\partial }^2\phi }{\partial x^2}+\frac{{\partial }^2\phi }{\partial y^2}=0,(x,y)\in D$$
• 共轭调和：柯西黎曼
• 性质：和解析的关系（实部虚部共轭调和）
• 已知调和求解析：
  • 偏积分（利用柯西黎曼的积分凑共轭形式）
  • 不定积分（凑解析函数导数的形式）

ch 4 级数

级数与收敛

• 数列极限：定义、充要条件（实部虚部有极限）
• 级数收敛：部分和、收敛与发散、收敛充要条件（实部虚部收敛）、绝对收敛和条件收敛（模求和是否收敛）
• 函数项级数：在点处收敛、处处收敛、和函数（处处收敛时定义）

幂级数

• 收敛圆、收敛半径（阿贝尔：收敛区域由圆周划分）
• 收敛半径求法：比值、根值
• 四则运算性质：加减乘、复合（函数的n次幂求和）保最小的收敛半径（但实际的收敛半径可能更大）
• 收敛圆内部，幂级数是解析的，可以逐项求导或积分

泰勒级数

• 幂级数的展开：泰勒级数和幂级数系数对应相等（两者没有区别），可利用泰勒级数直接求解幂级数系数
  $$f(z)=\sum _{n=0}^{\infty }{c}_n(z-z_0{)}^n$$
  其中
  $$c_n=\frac{1}{n!}{f}^{(n)}(z_0)=\frac{1}{2\pi i}{\oint }_C\frac{f(z)}{(z-z_0{)}^{n+1}}dz,n\ge 0$$
• 在点处解析=在点邻域内可展泰勒，在区域解析=在区域内可展泰勒

注：

• 泰勒级数只在圆区域内成立，不能包括边界
• 泰勒级数受区域中心点$z_0$的影响

洛朗级数

• 洛朗级数：带有正幂项和负幂项的级数
• 洛朗级数的收敛区域是圆环区域（内外的圆周分别保证负幂项和正幂项收敛）
• 圆环内部，洛朗级数是解析的，可以逐项求导或积分
• 在圆环区域解析=在区域内可展洛朗
  $$f(z)=\sum _{n=-\infty }^{\infty }{c}_n(z-z_0{)}^n,c_n=\frac{1}{2\pi i}{\oint }_C\frac{f(\xi )}{(\xi -z_0{)}^{n+1}}d\xi ,n为整数$$
  系数形式和泰勒是一样的
• 利用洛朗级数公式求解积分（留数法）
  $${\oint }_{C}f(z)dz=2\pi i{c}_{-1}$$

注：

• 洛朗级数只在圆环区域内成立，不能包括边界
• 洛朗级数展开结果受中心点$z_0$和所选取的圆环域的影响

泰勒级数和洛朗级数的求解

• 泰勒级数通常直接通过高阶导数求系数，并指导积分结果
• 洛朗级数系数的直接求解方法比较少，通常通过套现有结果求解,比如
  $$\frac{1}{1-z}=1+z+\cdots +z^n+\dots ,|z|<1$$
  或者一些泰勒展开结果
• 情况理想时也可用积分值得到系数

ch 5 留数

关于性态的基本概念

奇点

• 定义：函数不解析的点
• 孤立奇点：存在处处解析的去心邻域（非孤立奇点：反之）
• 针对孤立奇点，在这个去心邻域（圆环域）对原函数做洛朗展开：
  • 可去奇点：无负幂项（函数极限存在但不等于函数值，类似可去间断点）
  • 极点：有限个负幂项（临近该点的函数值趋于无穷）
    m级极点：负最高次幂是-m次
  • 本性奇点：无穷多个负幂项（函数极限不存在也不为无穷）

零点

• 零点的定义$$\begin{gathered} f(z)=(z-z_0{)}^m\phi (z)\iff z_0是m级零点 \\ (\phi (z)解析,\phi (z_0)̸=0) \end{gathered}$$
• 零点都是孤立的（除非平凡情况）
• 判定函数的奇点
  $$z_0是f(z)的m级极点\iff z_0是\frac{1}{f(z)}的m级零点$$

无穷远点

• 肯定是奇点
• 取$\phi (t)=f(1/z)$，考察此函数$t=0$点的奇点类型
  • 0是可去奇点，无穷远点关于$f(z)$也是可去奇点，f(z)无穷邻域洛朗展开不含正幂项
  • 0是m级，无穷远点也是m级，f(z)无穷邻域洛朗展开正幂项最高为m次
  • 0是本性，无穷远点也是本性，f(z)无穷邻域洛朗展开有无穷多个正幂项

留数

• 定义：环路积分值（这个值等同于洛朗负一次幂项系数）
  $$Res[f(z),z_0]=\frac{1}{2\pi i}{\oint }_{C}f(z)dz$$
• 计算方法
  所谓留数法求积分无非就是给闭合环路一个形式上比较简洁的记号，另外通过极点理论给出了几种新的求留数方式，可用于求积分
  • 直接利用洛朗展开求解
  • 一级极点：$$Res[f(z),z_0]=\underset{z\to z_0}{\lim }(z-z_0)f(z)$$
  • m级极点：$$Res[f(z),z_0]=\frac{1}{(n-1)!}\underset{z\to z_0}{\lim }\frac{d^{n-1}}{d{z}^{n-1}}(z-z_0{)}^{n}f(z),\forall n\ge m$$
  • 分式：$$Res[f(z),z_0]=\frac{P(z_0)}{Q^{\prime }(z_0)}$$
    （$f(z)=\frac{P(z)}{Q(z)}$，分子$P(z_0)$不为0，分母$Q(z_0)=0$但仅为一级零点）

无穷远点的留数

• 定义：反向环路积分值（这个值等同于负的洛朗负一次幂项系数）
  $$Res[f(z),\infty ]=\frac{1}{2\pi i}{\oint }_{C^{-}}f(z)dz$$
• 有限个孤立奇点，则留数之和为0（因此可以通过计算无穷远点留数来获得一些留数之和）
  $$Res[f(z),\infty ]=-\sum _{|z_i|<\infty }Res[f(z),z_i]$$
• 一个公式
  $$Res[f(z),\infty ]=-Res[f(\frac{1}{z})\cdot \frac{1}{z^2},0]$$

留数法计算积分

• 形如${\int }_0^{2\pi }R(cos\theta ,sin\theta )d\theta$的积分：
  令$z=e^{i\theta }$，则积分化为z的环路积分
• 形如${\int }_{-\infty }^{\infty }R(x)dx$的积分：
  转为求${\oint }_{C}R(z)dz$，其中C是包含$R(z)$所有奇点的上半圆周
• 形如${\int }_{-\infty }^{\infty }R(x)e^{aix}dx(a>0)$的积分：
  同理，转为求${\oint }_{C}R(z)e^{aiz}dz$，其中C是包含$R(z)$所有奇点的上半圆周

参考

高教社 西安交大编 工程数学.复变函数 第四版