【复变函数论】简明学习笔记（2/9）解析函数

本学习笔记主要是为了拓展工程实践可能会应用到的相关知识，帮助了解和查阅知识体系、相关概念和基本思想，非以数学专业方向为主，因此不会探讨进一步的数学问题，甚至文中涉及到的部分知识也无需完全掌握，用抽象而严谨的数学语言表达的内容我会尽可能用自然语言（文中斜体字）或绘图辅助理解（本章多值函数部分教材讲解篇幅较长且理解耗时，文中该内容有大量精简消化，未用斜体字标明）
前置课程：微积分（高等数学/数学分析）
自学教材：《复变函数论（第五版）》钟玉泉 编
码字不易，求点赞收藏(´•ω•̥`)
有问题欢迎评论区讨论~

解析函数

§1 解析函数的概念与柯西-黎曼方程

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

复变函数的导数
设函数$\varpi =f(z)$在点$z_0$的邻域内或包含$z_0$的区域$D$内有定义，如果当$z$按任意方式趋于$z_0$，即当$\Delta z$按任意方式趋于零时，比值$\frac{\Delta \varpi }{\Delta z}$的极限都存在，且其值有限，则称此极限为函数$f(z)$在点$z_0$的导数，并记为$f^{\prime }(z_0)$，即$$f^{\prime }(z_0)=\underset{\Delta z\to 0}{\lim }\frac{\Delta \varpi }{\Delta z}=\underset{z\to z_0}{\lim }\frac{f(z)-f(z_0)}{z-z_0}$$这时称函数$f(z)$于点$z_0$可导

---

复变函数的微分
设函数$\varpi =f(z)$在点$z$可导，于是
${\lim }_{\Delta z\to 0}\frac{\Delta \varpi }{\Delta z}=f^{\prime }(z)$
$\frac{\Delta \varpi }{\Delta z}=f^{\prime }(z)+\eta ,{\lim }_{\Delta z\to 0}\eta =0$
$\Delta \varpi =f^{\prime }(z)\Delta z+\epsilon$
其中$|\epsilon \cdot \Delta z|$为比$|\Delta z|$高阶的无穷小
称$f^{\prime }(z)\Delta z$为$\varpi =f(z)$在点$z$的微分，记为$d\varpi$或$df(z)$，此时也称$f(z)$在点$z$可微，即$d\varpi =f^{\prime }(z)\Delta z$
可导$\iff$可微$\Rightarrow$连续

---

2.解析函数及其简单性质

解析函数
如果函数$\varpi =f(z)$在区域$D$内可微，则称$f(z)$为区域$D$内的解析函数
区域$D$内的解析函数也称为$D$内的全纯函数或正则函数
若函数$f(z)$在点$z_0$不解析，但在$z_0$的任一邻域内总有$f(z)$的解析点，则称$z_0$为函数$f(z)$的奇点

---

解析函数的性质
$(1)$函数在一点解析，则其各阶导数也在该点解析
$(2)$如函数$f_1(z),f_2(z)$在区域$D$内解析，则其和、差、积、商（商要求分母在$D$内不为零）在$D$内解析，并且求导公式和一元实函数一致
$(3)$复合函数的求导法则：设函数$\xi =f(z)$在区域$D$内解析，函数$\varpi =g(\xi )$在区域$G$内解析，若对于$D$内每一点$z$，函数$f(z)$的值$\xi$均属于$G$，则$\varpi =g[f(z)]$在$D$内解析，且$\frac{dg[f(z)]}{dz}=\frac{dg(\xi )}{d\xi }\cdot \frac{df(z)}{dz}$

---

3.柯西-黎曼方程

柯西-黎曼方程
假设$\varpi =f(z)=u(x,y)+iv(x,y)$是复变元$z=x+iy$的一个定义在区域$D$内的函数
函数$f(z)$可微的条件$\frac{\partial u}{\partial x}=\frac{\partial v}{\partial y},\frac{\partial u}{\partial y}=-\frac{\partial v}{\partial x}$是关于$u$及$v$的偏微分方程组，称为柯西-黎曼方程（简称$C.-R.$方程）
证明思路：设$\Delta z=\Delta x+i\Delta y$，变点$z+\Delta z$分别沿平行于实轴和虚轴的方向趋于点$z$的方向导数相等

---

可微的充要条件

设函数$f(z)=u(x,y)+iv(x,y)$在区域$D$内有定义，$f(x,y)$在$D$内一点$z=x+iy$可微的充要条件是
$(1)$二元函数$u(x,y),v(x,y)$在点$(x,y)$可微
$(2)$$u(x,y),v(x,y)$在点$(x,y)$满足$C.-R.$方程
上述条件满足时，$f^{\prime }(x)=\frac{\partial u}{\partial x}+i\frac{\partial v}{\partial x}$（可利用$C.-R.$方程代换其中的偏导数）
在区域$D$内解析的充要条件将上述条件中点$(x,y)$改为区域$D$即可

---

指数形式可微的充要条件
若将复数$z$表示成指数形式$z=r{e}^{i\theta }$，则函数$\varpi =f(z)$又可表示为$\varpi =u(r,\theta )+iv(r,\theta )$
若$u(r,\theta ),v(r,\theta )$可微，且$u_r=\frac{1}{r}{v}_{\theta },u_{\theta }=-r{v}_r$，则$f(z)=f(r,\theta )$可微

---

§2 初等解析函数

1.指数函数

对于任何复数$z=x+iy$，我们用关系式$e^z=e^{x+iy}=e^x(\cos y+i\sin y)$来定义指数函数$e^z$

性质

$(1)|e^z|=e^x>0,arg{e}^z=y$

$(2)e^z$在$z$平面上解析，且$(e^z{)}^{\prime }=e^z$

$(3)e^z$是以$2\pi i$为基本周期的周期函数（$e^{2k\pi i}=1$）

---

2.三角函数与双曲函数

由指数函数定义，当$x=0$时推得$e^{iy}=\cos y+i\sin y,e^{-iy}=\cos y-i\sin y$
从而得到$\sin y=\frac{e^{iy}-e^{-iy}}{2i},\cos y=\frac{e^{iy}+e^{-iy}}{2}$
因而用$\sin z=\frac{e^{iz}-e^{-iz}}{2i},\cos z=\frac{e^{iz}+e^{-iz}}{2}$分别定义为$z$的正弦函数和余弦函数

性质

$(1)$在$z$平面上解析，且$(\sin z{)}^{\prime }=\cos z,(\cos z{)}^{\prime }=-\sin z$

$(2)\sin z$是奇函数，$\cos z$是偶函数，并遵从三角恒等式：

${\sin }^{2}z+{\cos }^{2}z=1$

$\sin (z_1+z_2)=\sin z_1\cdot \cos z_2+\cos z_1\cdot \sin z_2$

$\cos (z_1+z_2)=\cos z_1\cdot \cos z_2-\sin z_1\cdot \sin z_2$

$(3)$是以$2\pi$为周期的周期函数

$(4)\sin z$的零点为$z=n\pi (n\in z)$

$\cos z$的零点为$z=(n+\frac{1}{2}\pi (n\in z)$

$(5)$在复数域内$|\sin z|\le 1,|\cos z|\le 1$不成立

---

定义$\tan z=\frac{\sin z}{\cos z},\cot z=\frac{\cos z}{\sin z},\sec z=\frac{1}{\cos z},\csc z=\frac{1}{\sin z}$分别称为$z$的正切函数、余切函数、正割函数及余割函数

性质

$(1)$在$z$平面上使分母不为零的点处解析，且$(\tan z{)}^{\prime }={\sec }^{2}z,(\cot z{)}^{\prime }=-{\csc }^{2}z,(\sec z{)}^{\prime }=\sec z\cdot \tan z,(\csc z{)}^{\prime }=-\csc z\cdot \cot z$

$(2)$正切函数和余切函数的周期为$\pi$，正割函数和余割函数的周期为$2\pi$

---

定义$\sinh z=\frac{e^z-e^{-z}}{2},\cosh z=\frac{e^z+e^{-z}}{2},\tanh z=\frac{\sinh z}{\cosh z},\coth z=\frac{1}{\tanh z},sechz=\frac{1}{\cosh z},cschz=\frac{1}{\sinh z}$
分别称为$z$的双曲正弦函数、双曲余弦函数、双曲正切函数、双曲余切函数、双曲正割函数及双曲余割函数

---

§3 初等多值函数

设函数$f(z)$在区域$D$内有定义，且对$D$内任意不同的两点$z_1$及$z_2$，都有$f(z_1)\ne f(z_2)$，则称函数$f(z)$在$D$内是单叶的，并且称区域$D$为$f(z)$的单叶性区域
区域$D$到区域$G$的单叶满变换$\varpi =f(z)$就是$D$到$G$的一一变换

---

1.辐角函数

辐角函数与辐角改变量
函数的多值性源于辐角的多值性
任意一个复数$z(z\ne 0)$有无穷多个辐角，辐角函数$\varpi =Argz$是一个多值函数，定义域是$C$\ { 0 } \{0\} {0}
设$L$是$C$\ { 0 } \{0\} {0}内一条简单曲线，$z_0$是$L$的起点，$z_1$是$L$的终点，当$z$沿$L$从$z_0$连续变动到$z_1$时，$\overrightarrow{Oz}$所旋转的角称作$Argz$在$L$上的改变量，简称辐角改变量，记作${\Delta }_{L}Argz$
从$z_0$到$z_1$由于$L$绕原点的方向和圈数不一样，${\Delta }_{L}Argz$也不一样

在$z_0$取定$Argz$的一个值记为$argz$，称为$Argz$在$z_0$的初值，将$arg{z}_0+{\Delta }_{L}Argz$称作$Argz$在$z_0$的终值，记作$argz$，则$argz$依赖于起点的初值和辐角改变量

---

单值连续函数
由于多值函数不方便应用，我们希望将$Argz$分解为若干单值连续函数
由$argz=arg{z}_0+{\Delta }_{L}Argz$可知，对取定的初值$arg{z}_0$，由于${\Delta }_{L}Argz$在区域$C$\ { 0 } \{0\} {0}内不唯一，$argz$也不唯一。所以需要寻找使${\Delta }_{L}Argz$唯一的区域（辐角改变量只与起点、终点位置有关而与曲线形状无关）
该区域性质与保守场有异曲同工之处，可移用保守场的判定（沿着任何闭合环路积分均为$0$），因此研究简单闭曲线$L\subset$ $C$\ { 0 } \{0\} {0}，有

${\Delta }_{L}Argz=0$，$0$在$L$外部
${\Delta }_{L}Argz=2\pi$，$0$在$L$内部

因此，只要能使区域内任一简单闭曲线都不围绕原点$z=0$即可，若将复平面$C$沿负实轴剪开成一单连通开区域记为$G$，则${\Delta }_{L}Argz$只与$L$的起点和终点有关，而与曲线的形状无关
在$G$内固定起点$z_0$，取定初值$arg{z}_0$，则$arg{z}_0+{\Delta }_{L}Argz$就是单值连续函数；取定初值$arg{z}_0+2\pi$，得另一个单值连续函数；以此类推，取定初值$arg{z}_0+2k\pi$，就在$G$内把$Argz$分成无穷多个单值连续函数$argz+2k\pi ,z\in G,k\in \mathbb{Z}$

---

2.根式函数

根式函数及其变换
规定根式函数$\varpi =\sqrt[n]{z}$为幂函数$z={\varpi }^n$的反函数
如果令$z=r{e}^{i\theta },\varpi =\rho e^{i\phi }$，可知$\rho =\sqrt[n]{r},\phi =\frac{\theta }{n}$
即$z$平面到$\varpi$平面的变换为模长开$n$次方根、辐角除以$n$的变换

---

根式函数的单叶性区域
为了寻找其单叶性区域，先限定$Argz$取$(-\pi ,\pi )$，则该变化使$z$平面压缩到了$-\frac{\pi }{n}<\phi <\frac{\pi }{n}$的角形区域内，该区域为$\varpi =\sqrt[n]{z}$的一个单叶性区域
同理，当$Argz$取$(\pi ,3\pi )$，可划分出第二个单叶性区域$\frac{\pi }{n}<\phi <\frac{3\pi }{n}$，以此类推，当$Argz$取$(-\pi +2k\pi ,\pi +2k\pi )$时，对应的单叶性区域为$(\frac{2k\pi }{n}-\frac{\pi }{n})<\phi <(\frac{2k\pi }{n}+\frac{\pi }{n})$，当$k$从$0$取到$n-1$时，得到的所有单叶性区域将$\varpi$平面填满，此为函数$\varpi =\sqrt[n]{z}$单叶性区域的一种分法。总之，幂函数$\varpi =\sqrt[n]{z}$的单叶性区域是顶点在原点$z=0$，张度不超过$\frac{2\pi }{n}$的角形区域

---

指数函数的单值解析分支
只要将$Argz$的取值区间范围限定在$2\pi$，所得即为单叶性区域，由前文辐角函数可知，在$z$平面上从原点$O$到点$\infty$任意引一条射线（或一条通向无穷远点的广义简单曲线）将$z$平面割破，构成一个以此割线为边界的区域，记为$G$，在此区域上指定一点$z_0$取不同的初值$arg{z}_0$，就能各自得到区域内任意的点$z$唯一的辐角，从而得到$${\varpi }_k=(\sqrt[n]{z}{)}_k=\sqrt[n]{r(z)}{e}^{i\frac{\theta (z)+2k\pi }{n}}(z\in G,k=0,1,\dots ,n-1)$$称为$\sqrt[n]{z}$的$n$个单值连续分支函数。而分出$\sqrt[n]{z}$的单值解析分支的割线称为$\sqrt[n]{z}$的支割线。支割线两侧称为两岸，如果支割线接近于平行$x$轴方向就分成上岸和下岸，如果接近于平行$y$轴方向就分成左岸和右岸

对于${\varpi }_k=(\sqrt[n]{z}{)}_k$的单值解析分支，有
$\frac{\mathrm{d}}{\mathrm{d}z}(\sqrt[n]{z}{)}_k=\frac{1}{n}\frac{(\sqrt[n]{z}{)}_k}{z}(z\in G,k=0,1,\dots ,n-1)$

---

支点
假设有一点，在此点的充分小邻域内，作一个包围此点的圆周$\Gamma$，当变点$z$从$\Gamma$上一点除法，绕$\Gamma$连续变动一周而回到其出发点时，多值函数从其一支变到另外一支，则该点称为此多值函数的支点（可以理解为该圆周$\Gamma$跨过了划分单值连续分支函数的支割线），$\sqrt[n]{z}$以$z=0$和$z=\infty$为支点，推广到$\sqrt[n]{z-a}$则以$z=a$和$z=\infty$为支点

---

3.对数函数

规定对数函数$\varpi =Lnz$为指数函数$e^{\varpi }=z$的反函数
如果令$z=r{e}^{i\theta },\varpi =u+iv$，可得$u=\ln r,v=\theta +2k\pi (k\in \mathbb{Z})$
故方程的全部根是$Lnz=\ln r+i(\theta +2k\pi )=\ln |z|+i(argz+2k\pi )(k\in \mathbb{Z})$
当$k$取确定值时，$Lnz$的对应值记为$(\ln z{)}_k$
基本性质
$Ln(z_1{z}_2)=Ln{z}_1+Ln{z}_2$
$Ln(\frac{z_1}{z_2})=Ln{z}_1-Ln{z}_2$
$(z_1,z_2\ne 0,\infty )$

---

对数函数的单值解析分支
由定义可知$z$的辐角决定$\varpi$在平面上的纵坐标，$z$平面中取负实轴为割线限定辐角在$(-\pi ,\pi )$的区域变换为$\varpi$平面上纵坐标在$(-\pi ,\pi )$的带形区域，该区域为$\varpi =Lnz$的一个单叶性区域。总之，对数函数$\varpi =Lnz$的单叶性区域是宽为$2\pi$的带形区域

$\varpi =Lnz$的无穷多个单值连续分支函数为$${\varpi }_k=(\ln z{)}_k=\ln r(z)+i[\theta (z)+2k\pi ](z\in G,k\in z)$$支点为$z=0$和$z=\infty$，支割线为连接$z=0$和$z=\infty$的广义简单曲线，且有
$\frac{\mathrm{d}}{\mathrm{d}z}(\ln z{)}_k=\frac{1}{z}(z\in G,k\in z)$

---

4.一般幂函数与一般指数函数

一般幂函数
$\varpi =z^{\alpha }=e^{\alpha Lnz}(z\ne 0,\infty ;\alpha \in \mathbb{R})$称为$z$的一般幂函数
设$(\ln z{)}_0$表示$Lnz$中的任意一个确定的值，则$$z^{\alpha }=e^{\alpha Lnz}=e^{\alpha [(\ln z{)}_0+2k\pi i]}={\varpi }_0{e}^{2k\pi i\alpha }(k\in \mathbb{Z})$$其中${\varpi }_0=e^{\alpha (\ln z{)}_0}$表示$z^{\alpha }$所有的值中的一个

讨论$\alpha$的如下三种情形：
$(1)\alpha$是一整数$n$，此时$e^{2k\pi in}=1$，$z^{\alpha }$是$z$的单值函数
$(2)\alpha$是一有理数$\frac{q}{p}$，此时$e^{2k\pi i\frac{q}{p}}$只能取$k=0,1,2,\dots ,p-1$总共$p$个不同的值（参考根式函数），$z^{\frac{q}{p}}={\varpi }_0{e}^{2k\pi i\frac{q}{p}},k=0,1,2,\dots ,p-1$
$(3)\alpha$是一无理数或虚数，此时$e^{2k\pi i\alpha }$有无限个值，$z^{\alpha }$是无限多值的

对$\varpi =z^{\alpha }$的每一分支，有$\frac{\mathrm{d}}{\mathrm{d}z}{z}^{\alpha }=\alpha z^{\alpha -1}$

---

一般指数函数
$\varpi ={\alpha }^z=e^{zLn\alpha }(\alpha \ne 0,\infty ,为一复常数)$称为一般指数函数，是无穷多个独立的、在$z$平面上单值解析的函数（取决于$Ln\alpha$的取值）

---

5.具有多个有限支点的情形

讨论函数$\varpi =f(z)=\sqrt[n]{P(z)}$的支点，其中$P(z)$是任意的$N$次多项式$A(z-a_1{)}^{{\alpha }_1}\dots (z-a_m{)}^{{\alpha }_m}$
$a_1,a_2,\dots ,a_m$是$P(z)$的一切相异零点，${\alpha }_1,{\alpha }_2,\dots ,{\alpha }_m$分别是它们的重数，满足${\alpha }_1+{\alpha }_2+\dots +{\alpha }_m=N$
根据根式函数和复数乘法对复数辐角的改变法则，可知沿一简单闭曲线$C$，$f(z)$的辐角改变量${\Delta }_{c}argf(z)=\frac{1}{n}({\alpha }_1{\Delta }_{c}arg(z-a_1)+\dots +{\alpha }_m{\Delta }_{c}arg(z-a_m))$

研究简单闭曲线$C$包围相异零点所有组合的情况，可以得到下列结论：
$(1)f(z)$可能的支点是所有相异零点和$\infty$
$(2)$当且仅当$n$不能整除${\alpha }_i$时，$a_i$是$f(z)$的支点
$(3)$当且仅当$n$不能整除$N$时，$\infty$是$f(z)$的支点
$(4)$如果$n$能整除所有重数中若干个之和，则相异零点中对应的那几个就可以连接成割线抱成团，即变点$z$沿只包含这些相异零点在其内部的简单闭曲线转一周后函数值不变。抱团的点可能不止一个，其余不入团的点则与点$\infty$连接成一条割线

---

由已给单值解析分支$f(z)$的初值$f(z_1)$计算终值$f(z_2)$，先计算当$z$从$z_1$沿曲线$C$（不穿过支割线）到终点$z_2$时，$f(z)$的辐角连续改变量${\Delta }_{c}argf(z)$，再计算终值$$f(z_2)=|f(z_2)|e^{i{\Delta }_{c}argf(z)}\cdot e^{iargf(z_1)}$$

---

6.反三角函数与反双曲函数

反正切函数$Arctanz=\frac{1}{2i}Ln\frac{1+iz}{1-iz}$
反正弦函数$Arcsinz=\frac{1}{i}Ln(iz+\sqrt{1-z^2})$
反余弦函数$Arccosz=\frac{1}{i}Ln(z+i\sqrt{1-z^2})$
反双曲余弦函数$Arcoshz=Ln(z+\sqrt{z^2-1})$
反双曲正弦函数$Arsinhz=Ln(z+\sqrt{z^2+1})$
反双曲正切函数$Artanhz=\frac{1}{2}Ln\frac{1+z}{1-z}$
其中对数是无穷多值的，根式是二值的，因此反三角函数和反双曲函数是无穷多值的，其分成单值解析分支的方法与前文讨论方法类似

---

本章完