复变函数（2）-复变函数及其解析性

 

                         东风夜放花千树，更吹落，星如雨
 
 
 

2.1 复变函数的定义：

 设$D$是复平面上一个非空点集。如果按照一个确定的法则$f$，对于$D$中的每一个点$z$，都有一个或多个复数$w$与之对应，则称复变数$w$是复变数$z$的函数，简称为复变函数，记为
$$w=f(z),z\in D$$ 如果$z$的一个值对应于$w$的一个值，那么称函数$f(z)$是单值的，如果$z$的一个值对应着$w$的多个值，那么称函数$f(z)$是多值的。
 复变函数也可以和两个二元实函数$u(x,y),v(x,y)$联系起来，设$w=u+vi$，$z=x+yi$，则
$$w=u+vi=f(z)=f(x+yi)=u(x,y)+v(x,y)i$$ 复变函数可以类比实函数定义其函数特征。

2.2 指数函数：

 对于复变数$z=x+yi$，称复变数$w=e^x(cosy+isiny)$为复变数$z$的指数函数，记作$w=e^z$，即
$$w=e^z=e^x(cosy+isiny)$$$$\{\begin{array}{rl}& |e^z|=e^x\\ & Arg(e^z)=y+2k\pi (k=0,\pm 1,\pm 2,\dots )\end{array}$$ 指数函数是单值函数，且在复平面上处处有定义。
 （注：这里单值函数是指在$z=x+yi$这样的实部虚部表示法下，函数值$w=e^z$有唯一确定的实部和虚部。对于虚数的指数表示法$Arg(e^z)=y+2k\pi$，在任何情况下根据定义辐角的取值都是无穷多的，所以不利用复变数的指数和三角表示法来判断函数的单值和多值性。）
 复指数函数具有以下性质：
$$e^0=1$$$$e^z\ne 0$$$$e^{z_1+z_2}=e_1^z{e}_2^z$$$$e^{-z}=\frac{1}{e^z}$$$$\overline{e^z}=e^{\overline{z}}$$$$e^{2k\pi i}=1$$

2.3 对数函数

 指数函数的反函数，即满足方程
$$e^w=z(z\ne 0)$$ 的复变数$w$称为复变数$z$的对数函数，记作$w=Lnz$。
 对于$w=u+vi$
$$|z|=|e^w|=e^u$$$$Argz=Arg{e}^w=v$$ 所以
$$u=ln|z|,v=Argz$$$$Lnz=ln|z|+iArgz(z\ne 0)$$$$w=Lnz=ln|z|+iargz+2k\pi i(k=0,\pm 1,\pm 2,\dots )$$ 可以看出对数函数可以得出多种实部和虚部表示，所以对数函数是多值函数。给定确定$k=k_0$时，可以得到对数函数的一个分支，对数函数的每一个分支都是单值函数。
 $k=0$时的分支称为对数函数$w=Lnz$的主分支，对应的函数值为函数主值，记为$lnz$，有
$$lnz=ln|z|+iargz(z\ne 0)$$
 对数函数有如下性质
$$Ln(z_1{z}_2)=Ln{z}_1+Ln{z}_2$$$$Ln(\frac{z_1}{z_2})=Ln{z}_1-Ln{z}_2$$ 等式两边都是多值函数，等号意味着两段可能取得的函数值全体相同。同理，下面的式子不成立
$$Ln{z}^n\ne nLnz$$$$Ln\sqrt[n]{z}\ne \frac{1}{n}Lnz$$

2.4 幂函数

 设$a$是复常数，对于复变数$z\ne 0$，称复变数$w=e^{aLnz}$为复变数$z$的幂函数，即
$$w=z^a=e^{aLnz}$$ 当$a$为正实数，且$z=0$时，规定$z^a=0$。
 指数函数的取值性需要分情况讨论。
 (1)当$a=n$为整数时
$$w=z^n=e^{nLnz}=e^{n[ln|z|+i(argz+2k\pi )]}=e^{nln|z|+(nargz)i+2nk\pi i}=e^{nln|z|+(nargz)i}(k=0,\pm 1,\pm 2,\dots )$$ 所以此时幂函数为单值函数，当$n>0$时在复平面上处处有定义。当$n<0$时，在复平面除$z=0$点外处处有定义。
 (2)当$a=\frac{p}{q}$（$p$，$q$为互质的整数，$q>0$）为有理数时
$$w=z^a=e^{\frac{p}{q}Lnz}=e^{\frac{p}{q}[ln|z|+i(argz+2k\pi )]}=e^{\frac{p}{q}ln|z|+(\frac{p}{q}argz)i+2\frac{p}{q}k\pi i}$$$$=e^{\frac{p}{q}ln|z|}[cos\frac{p}{q}(argz+2k\pi )+isin\frac{p}{q}(argz+2k\pi ))](k=0,\pm 1,\pm 2,\dots )$$
 根据三角函数的周期性，函数$w=z^{\frac{p}{q}}$具有$q$个不同的值，当$k=0,1,\dots ,q-1$时可以取得。
 (3)当$a$为无理数或虚数时，幂函数是无穷多值的，在复平面上除了$z=0$外处处有定义，每一个单值分支对应于$Lnz$的一个单值分支。

2.5 三角函数

 分别称
$$\cos (z)=\frac{e^{iz}+e^{-iz}}{2}\sin (z)=\frac{e^{iz}-e^{-iz}}{2i}$$ 为复变数的余弦函数和正弦函数。
 三角函数具有$2\pi$的周期性和奇偶性，但不再具有有界性，且
$${\cos }^{2}z+{\sin }^{2}z=1$$$$\cos (z+\frac{\pi }{2})=-\sin (z),\cos (z+\pi )=-\cos z$$$$\sin (z+\frac{\pi }{2})=\cos (z),\sin (z+\pi )=-\sin z$$$$\sin (z_1+z_2)=\sin z_1\cos z_2-\cos z_1\sin z_2$$$$\cos (z_1+z_2)=\cos z_1\cos z_2-\sin z_1\sin z_2$$ 同理可以定义复变数的正切，余切，正割，余割函数。
$$\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}$$

2.6 反三角函数

 余弦函数的反函数，满足$\cos w=z$的复变数$w$称为复变数$z$的反余弦函数，记作$w=Arc\cos z$
 根据$\cos w=\frac{e^{iw}+e^{-iw}}{2}=z$可以解得
$$w=Arc\cos z=-iLn(z+\sqrt{z^2-1})$$ $\sqrt{z^2-1}$是双值函数，$Lnz$是多值函数，所以反余弦函数是多值函数。
 同理可以定义反正弦函数和反正切函数
$$w=Arc\sin z=-iLn(zi+\sqrt{1-z^2})$$$$w=Arc\tan z=-\frac{i}{2}Ln\frac{i-z}{i+z}$$
 它们都是多值函数。

2.7 复变函数的极限

 设函数$w=f(z)$在$z_0$的去心邻域$\mathring{U}(z_0,\rho )$内有定义，$A$是复常数。若对于任意给定的正实数$\epsilon$，总存在正实数$\delta <\rho$，使得当$0<|z-z_0|<\delta$时，$|f(z)-A|<\epsilon$，则称$A$是函数$f(z)$当$z$趋近于$z_0$的极限，记作$\underset{z\to z_0}{\lim }f(z)=A$，或当$z\to z_0$时，$f(z)\to A$.
 设函数$f(z)=u(x,y)+v(x,y)i$在$z_0=x_0+y_{0}i$的某一去心邻域内有定义，常数$A=u_0+v_{0}i$，则$\underset{z\to z_0}{\lim }f(z)=A$的充要条件是
$$\underset{(x,y)\to (x_0,y_0)}{\lim }u(x,y)=u_0,\underset{(x,y)\to (x_0,y_0)}{\lim }v(x,y)=v_0$$ 如果$\underset{z\to z_0}{\lim }f(z)=A$，$\underset{z\to z_0}{\lim }g(z)=B$，那么
$$\underset{z\to z_0}{\lim }[f(z)\pm g(z)]=\underset{z\to z_0}{\lim }f(z)\pm \underset{z\to z_0}{\lim }g(z)=A\pm B$$$$\underset{z\to z_0}{\lim }[f(z)\cdot g(z)]=\underset{z\to z_0}{\lim }f(z)\cdot \underset{z\to z_0}{\lim }g(z)=A\cdot B$$
$$\underset{z\to z_0}{\lim }[\frac{f(z)}{g(z)}]=\frac{\underset{z\to z_0}{\lim }f(z)}{\underset{z\to z_0}{\lim }g(z)}=\frac{A}{B}(B\ne 0)$$ 对于有理整函数（多项式）
$$w=P(z)=a_0+a_{1}z+a_2{z}^2+\cdots +a_n{z}^n$$$$\underset{z\to z_0}{\lim }P(z)=P(z_0)$$ 对于有理分式函数
$$w=\frac{P(z)}{Q(z)}$$$$\underset{z\to z_0}{\lim }\frac{P(z)}{Q(z)}=\frac{P(z_0)}{Q(z_0)}(Q(z_0)\ne 0)$$

2.8 复变函数的连续性

 设函数$f(z)$在$z_0$的某邻域内有定义，若$\underset{z\to z_0}{\lim }f(z)=f(z_0)$，则称函数$f(z)$在$z_0$点连续。若$f(z)$在区域$D$的每一点都连续，则称$f(z)$在$D$内连续。
 函数$f(z)=u(x,y)+v(x,y)i$在$z_0=x_0+y_{0}i$连续的充要条件是二元实函数$u(x,y)$和$v(x,y)$在点$(x_0,y_0)$处连续。
 连续的性质同实函数。

2.9 复变函数的导数

 设函数$w=f(z)$在区域$D$内有定义，$z_0$为$D$内一点。当$z$在$z_0$取得改变量$\Delta z$，且$z_0+\Delta z\in D$时，相应的函数值有改变量$\Delta w=f(z_0+\Delta z)-f(z_0)$。如果极限
$$\underset{\Delta z\to 0}{\lim }\frac{\Delta w}{\Delta z}=\underset{\Delta z\to 0}{\lim }\frac{f(z_0+\Delta z)-f(z_0)}{\Delta z}$$ 存在，则称函数$f(z)$在$z_0$点可导。该极限值称为$f(z)$在$z_0$点的导数，记作
$$f^{\prime }(z_0)=\frac{dw}{dz}{|}_{z=z_0}=\underset{\Delta z\to 0}{\lim }\frac{f(z_0+\Delta z)-f(z_0)}{\Delta z}$$ 如果函数$f(z)$在区域D内的每个点都可导，称$f(z)$在区域$D$内可导。从而区域$D$内每个点对应着$f(z)$的一个导数值。这样构成了一个新的函数称为$f(z)$的导函数，记为$f^{\prime }(z)$或者$\frac{dw}{dz}$。
 设函数$f(z)$和$g(z)$在区域$D$内可导，有
$$[f(z)\pm g(z){]}^{\prime }=f^{\prime }(z)\pm g^{\prime }(z)$$$$[f(z)g(z){]}^{\prime }=f^{\prime }(z)g(z)+f(z)g^{\prime }(z)$$$$[\frac{f(z)}{g(z)}{]}^{\prime }=\frac{f^{\prime }(z)g(z)-f(z)g^{\prime }(z)}{g^2(z)},(g(z)\ne 0)$$ { f [ g ( z ) ] } ′ = f ′ ( w ) g ′ ( z ) , ( w = g ( z ) ) \{f[g(z)]\}'=f'(w)g'(z),\quad(w=g(z)) {f[g(z)]}′=f′(w)g′(z),(w=g(z)) 如果$f(z)$和$\phi (w)$是互为反函数的单值函数，且${\phi }^{\prime }(w)\ne 0$，则$f^{\prime }(z)=\frac{1}{{\phi }^{\prime }(w)}$
 有理整函数在复平面内处处可导
$$P(z)=a_0+a_{1}z+a_2{z}^2+\cdots +a_n{z}^n$$$$P^{\prime }(z)=a_{1}z+2a_{2}z+\cdots +n{a}_n{z}^{n-1}$$ 对于有理分式函数
$$f(z)=\frac{P(z)}{Q(z)}$$ 在$Q(z)\ne 0$的点可导
$$f(z{)}^{\prime }=\frac{P^{\prime }(z)Q(z)-P(z)Q^{\prime }(z)}{Q^2(z)},(Q(z)\ne 0)$$ 复变函数$w=f(z)$的微分定义为$dw=f^{\prime }(z)dz$

2.10 解析函数

 如果函数$w=f(z)$在点$z$的某个邻域内可导，那么称函数$f(z)$在点$z$解析。如果$f(z)$在区域$D$内每一点都解析，称函数$f(z)$在$D$内解析，或称$f(z)$是$D$内的解析函数。如果$f(z)$在点$z$不解析，那么称点$z$为函数$f(z)$的奇点。
 函数$f(z)=u(x,y)+v(x,y)i$在点$z=x+yi$处可导的充要条件是二元实函数$u(x,y)$和$v(x,y)$在点$(x,y)$处可微，且满足柯西-黎曼方程
$$\frac{\partial u}{\partial x}=\frac{\partial v}{\partial y},\frac{\partial u}{\partial y}=-\frac{\partial v}{\partial x}$$ 从而有
$$f^{\prime }(z)=\frac{\partial u}{\partial x}+\frac{\partial v}{\partial x}i=\frac{\partial v}{\partial y}-\frac{\partial u}{\partial y}i$$ 函数$f(z)=u(x,y)+v(x,y)i$在区域$D$内解析的充要条件是二元实函数$u(x,y)$和$v(x,y)$在区域$D$内可微，且满足柯西-黎曼方程。

2.11 调和函数

 如果二元实函数$\phi (x,y)$在区域$D$内具有二阶连续偏导数且满足拉普拉斯方程
$$\frac{{\partial }^2\phi }{\partial x^2}+\frac{{\partial }^2\phi }{\partial y^2}=0$$ 那么称$\phi (x,y)$为区域$D$内的调和函数。
 任何在区域$D$内解析的函数$f(z)=u(x,y)+v(x,y)i$，它的实部$u(x,y)$和和虚部$v(x,y)$都是$D$内的调和函数。且这两个函数满足柯西-黎曼条件，所以又称虚部$v(x,y)$是实部$u(x,y)$的共轭调和函数。
 即满足柯西-黎曼方程的两个调和函数可以构成共轭调和函数。在区域$D$内以该函数为实部，其共轭调和函数为虚部，所构成的复变函数在区域$D$内是解析的。
 函数$f(z)=u(x,y)+v(x,y)i$在区域$D$内解析的充要条件是它的虚部$v(x,y)$是实部$u(x,y)$的共轭调和函数。

由于一些原因没有参加学校的期末考试，学校的一些课程也没有学完，所以只好在暑假卑微的看复变函数，看了一些下载的网课基本上有点感觉，做个总结，之后的学习中应该也那用到叭。

一.复数及其运算

1.求复数的虚部和实部

只要把复数写出来，这种题目就迎刃而解吧。

2.求模、辐角和辐角主值

求模：复数的求模和向量类似，把实部虚部平方和开方就行。
辐角主值：做出复数的图，辐角就是复数图像与实轴正方向的夹角，但其也有范围限制，要求在正负pi之间，是一个固定的值。
辐角：在辐角的基础上加周期，一个周期为2pi。
另外还有一些基础的运算关系：

3.复数开方

复数的开方实际上是复数的幂运算的一种简单形式，有固定的套路，按套路带入相应的模和辐角主值即可。注意的是复数开n次方的就有n个结果，这与其图像对应，复平面上一个复数开n次根的图像就是以此复数的模为半径的一个圆的n分线。

4.代数式、三角式、指数式相互转换

三者之间的转换始终围绕着俩个因素：模和辐角主值，把握住这俩个灵魂，涉及这三者的转换问题就小菜一碟。
在后期的运算中经常需要对复数进行三个形态之间的转换。

二.复数形式的方程映射

前面一章节主要是针对复数本身的运算，这一章提升到了函数的层次，与直角坐标系建立连接，相当于是复变函数新知识和之前所学的函数的呼应吧。主要内容为函数的形式转换和映射。

1.将直角坐标方程化为复数形式方程

主要是直角坐标系下的一般方程和参数方程转换为复数形式。
参数方程：

参数方程的转换很简单，只要将xy原封不动的带入复数形式就行。
一般方程：

一般方程的转换，宗旨是用复数替代x、y，所以解题方法就反向下手，将x、y用复数表示出然后带入原方程就得到了复数形式。利用复数与其共轭复数相加的运算可得出x、y与复数的关系。

2.将复数形式方程转换为直角坐标方程

解题方法与上一节相反。

3.求映射下的象

相当于对复数的运算。

相当于求映射后的复数的辐角范围，采用其对数形式比较简单，因为对数形式那直接看出辐角的范围变化。

此处映射相当于是连接俩个平面，利用函数关系式，z中的x、y对应着w中的u、v，所以主要是用u、v表示出x、y，这也代表着映射的关系转换。
PS：复数不能比较大小，除非只有实部

三.常见的四种函数

1.求复数的三角函数

求复数的三角函数，把复数看作一个整体，然后套用公式：
即可，注意，此时的三角函数的大小不受限制。

2.求复数的对数函数

在复数的对数中即使要求的复数只有实部，也要按照复数来处理。注意复变函数中的对数书写方式为Ln，其运算也与ln不相同：

复数的对数函数的结果是个周期结果。
值得注意的是Ln的主值与ln相同，都是去掉周期性的Ln

3.求复数的指数函数

主要围绕此公式展开计算：

不要将指数函数和前面的复数的指数形式混淆，下面练习一道题：

此类型题的解法主要是取对数，然后利用对数的运算解题（注意对数函数的周期性）。

4.求复数的幂函数

幂函数中分为三种情况：
指数为分数的情况与前面的复数开方相对应，而且与开方一样，也有多个结果：

当指数为复数时通过取对数Ln的方式来化解，必要时还要利用复数的指数计算：

注意当指数为负数时，结果与指数是正数时互为倒数：

四.解析调和、求导

1.求导数

对复数函数求导主要有俩种类型：
第一种：在u、v中分别对x求导，注意 ：u、v都对x求导，然后相加即可。

第二种：复数以整体的形式出现时就把复数当作实数来处理，而且此时复数的导数运算规则与实数相同，如示：

2.解析、可导、有极限关系

3.判断可导与解析

判断可导与解析主要看如下公式：

练习一道习题：

4.证明调和函数

证明调和函数就俩个条件：

当俩个条件都满足时，此函数为调和函数。

5.求共轭调和函数

共轭调和函数是建立在调和函数的基础上的，俩个函数分别是对应解析函数的实部和虚部。求共轭调和函数公式如下：

6.求解析函数

上面说了，调和函数和共轭调和函数相当于解析函数的实部和虚部，所以求解析函数就是求，调和函数和共轭调和函数。
具体求解析函数方法如下：
以（z，0）坐标带入调和函数和共轭调和函数

五.积分

1.奇点问题

关于奇点问题无非就是有没有奇点？有几个奇点？已知奇点求积分？

第一种：判断奇点，并求出奇点
就是找出z不能取的值，然后判断不能取的值在不在C的范围内即可

第二种：没有奇点时，求积分，都为0

第三种：只有一个奇点，求积分，依靠这俩个公式就可以了：

Z0就是对应奇点的值，到时候带入就行。要注意分母形态的切换

第四种：有多个奇点情况下求积分时，将每个奇点的对应的积分求出来之后相加就行。

2.C为线段求积分

相当于用x把z完全替换，需要注意的是C积分路径是有方向的。

C也可以分段来求

3.C为弧求积分

C为线段时是用x替换z，C为弧段时要用弧度代替z，实际上也就是个消元思想吧，将代表弧段的参数方程求出来，发现里面唯一的变量就是弧度，所以理所应当的就利用弧度替换x、y、z来简化积分。
需要注意的是：这种情况下经常把复数换为指数形式比较简单，因为涉及到了弧度问题。

3 复变函数的积分

3.1 概念

闭曲线积分$\oint\limits_{C}f(z)dz=-\oint\limits_{C^-}f(z)dz$

$\oint\limits_{C}f(z)dz=\int\limits_{C}udx-vdy+i\int\limits_{C}vdx+udy$

$\oint\limits_{C}f(z)dz=\int_\alpha^\beta f[z(t)]z'(t)dt$

$$\oint\limits_{|z-z_0|=r}\frac{dz}{(z-z_0)^{n+1}}=\begin{cases}2\pi i, & n=0\\ 0, & n\ne0 \end{cases}$$
估值不等式：曲线C长度为L，函数f(z)在C上满足|f(z)| $\le$M,则

$|\int\limits_{C}f(z)dz|\le \int\limits_{C}|f(z)|ds\le ML$

3.2 柯西-古萨基本定理

积分与路线无关。

柯西-古萨基本定理：如果f(z)在单连通域B内处处解析，那么f(z)在B内的任何一条封闭曲线C的积分为0。

$\oint\limits_{C}f(z)dz=0$

3.3 复合闭路定理

闭路变形原理：区域内一个解析函数沿闭曲线的积分，不因闭曲线在区域内作连续变形而改变它的值，只要变形过程中不经过不解析的点。

复合闭路定理：C为多连通域D内的一条简单闭曲线，$C_1,C_2...$ 为C内部的简单闭曲线，塔门互不包含互不相交，以它们为边界的区域全含于D，如果f(z)在D内解析，则

$\oint\limits_{C}f(z)dz=\sum\limits_{k=1}^n\oint_{C_k}f(z)dz$

3.4 原函数与不定积分

如果函数在单连通区域内处处解析，那么积分与路线无关。

如果f(z)在单连通域B内处处解析，那么函数F(z)必为B内的解析函数。

3.5 柯西积分公式

$$f(z_0)=\frac{1}{2\pi i}\oint\limits_{C}\frac{f(z)}{z-z_0}dz$$

如果C是圆周$z=z_0+Re^{i\theta}$,那么

$$f(z_0)=\frac{1}{2\pi}\int_0^{2\pi}f(z_0+Re^{i\theta})d\theta$$
即，一个解析函数在圆心处的值等于它在圆周上的平均值。

逆定理：魔勒拉

3.6 解析函数的高阶导数

$$f^{(n)}(z_0)=\frac{n!}{2\pi i}\oint\limits_{C}\frac{f(z)}{(z-z_0)^{n+1}}dz$$

3.7 调和函数

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

$$\frac{\partial^2\varphi}{\partial x^2}+\frac{\partial^2\varphi}{\partial y^2}=0$$
那么称 $\varphi(x,y)$为D内的调和函数。

D内的解析函数的虚部为实部的共轭调和函数。