复变函数-相关公式


复数的基本概念

将$$z=x+iy$$的数称为复数,其中i称为虚数单位,并规定$$i^2=-1$$,或$$i=\sqrt{-1}$$;x和y是任意实数,依次称为z的实部(real part)与虚部(imaginary part),分别表示:
$$
Re z=x\quad Imz=y
$$
例:$$z=\sqrt{2}+i$$,有
$$
Re z=\sqrt{2}\quad Imz=1
$$
设$$z=x+iy$$是一个复数,而称$$x-iy$$为z的共轭复数,记作$$\overline{z}$$,可得$$\overline{\overline{z}}=z$$。

复数的四则运算

设$$z_1=x_1+iy_1$$,$$z_2=x_2+iy_2$$。

加法:
$$
z_1+z_2=(x_1+x_2)+i(y_1+y_2)
$$
减法:
$$
z_1-z_2=(x_1-x_2)+i(y_1-y_2)
$$
乘法:
$$
z_1\cdot z_2 = (x_1x_2-y_1y_2) + i(x_1y_2+x_2y_1)
$$
乘法证明:
$$
z_1 \cdot z_2 = (x_1+iy_1)(x_2+iy_2)\
=x_1x_2+ix_1y_2+iy_1x_2+iiy_1y_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}
$$
除法证明通过分母有理化即可。

共轭复数的性质

$$
\overline{z_1\pm z_2}=\overline{z_1}+\overline{z_2}
$$

证明:
$$
\overline{z_1\pm z_2} = (x_1+x_2)-i(y_1+y_2)\
(x_1-iy_1)+(x_2-iy_2)\
=\overline{z_1}+\overline{z_2}
$$
以此可得:
$$
\overline{z_1\cdot z_2}=\overline{z_1}\cdot \overline{z_2}\\
\overline{\frac{z_1}{z_2}}=\frac{\overline{z_1}}{\overline{z_2}}\\
\overline{\overline{z}}=z\\
z\cdot \overline{z}=x^2+y^2=|z|^2\\
z+\overline{z}=2x=2Re(z)\\
z-\overline{z}=i2y=2iIm(z)
$$

复数的几何意义

将横轴x上的点表示实数,纵轴y上的点表示纯虚数。整个坐标平面可称为复平面。

$$z=x+iy$$向量表示,设OP是连接原点的一条线,则$$|z|=|\vec{OP}|=\sqrt{x^2+y^2}$$。

复数的加减法可用向量的三角法则或平行四边形来表示。

结论:

$$|z|=|\overline{z}|$$

$$z\overline{z}=|z|^2=|\overline{z}|^2$$

$$|Re(x)|\leqslant |z|$$,$$|Im(y)|\leqslant |z|$$

$$|z_1+z_2|\leqslant |z_1|+|z_2|$$(两边之和大于第三边)

$$|z_1-z_2|\geqslant |z_1|+|z_2|$$(两边之差小于第三边)

复数的模与辐角

将图中的θ叫做$$z=x+iy$$的辐角,记作$$\theta =Arg(z)$$(每个辐角相差$$2k\pi$$)

将$$-\pi < \theta_0 \leq \pi$$范围的辐角称为辐角主值(辐角主值是唯一的)。

Argz的主值argz可由$$arctan\frac{y}{x}$$来确定。

情况讨论:

  1. $$x>0,y=0$$,实轴正向:$$argz=0$$。
  2. $$x>0,y>0$$,第一象限:$$argz=arctan\frac{y}{x}$$
  3. $$x=0,y>0$$,虚轴正向:$$argz=\frac{\pi}{2}$$
  4. $$x<0,y>0$$,第二象限:$$argz=\pi+arctanx\frac{y}{x}$$
  5. $$x<0,y=0$$,实轴负向:$$argz=\pi$$
  6. $$x<0,y<0$$,第三象限:$$argz=arctanx\frac{y}{x}-\pi$$
  7. $$x=0,y<0$$,虚轴负向:$$argz=-\frac{\pi}{2}$$
  8. $$x>0,y<0$$,第四象限:$$argz=arctan\frac{y}{x}$$

三角表示法

令$$|z|=r,Argz=\theta$$,则$$z=rcos\theta + irsin\theta =r(cos\theta+isin\theta)$$

指数表示法:

由欧拉公式$$e^{i\pi}+1=0$$可得:$$z=r(cos\theta+isin\theta)=re^{i\theta}$$

复数的乘幂与方根

设$$z_1=r_1e^{i\theta_1},z_2=r_2e^{i\theta_2}$$,则

$$z_1\cdot z_2=r_1\cdot r_2e^{i(\theta_1+\theta_2)}$$。

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

$$z^n=r^ne^{in\theta}$$

棣莫弗(De Moivre)公式:$$(cos\theta+isin\theta)^n=cosn\theta+isinn\theta$$

z的n次方根:$$w^n=z$$,令$$w=P(cost+isint)$$,则$$P^n(cosnt+isinnt)=r(cos\theta+isin\theta)$$。

则$$w=r^{\frac{1}{n}}(cos\frac{\theta+2k\pi}{n}+isin\frac{\theta+2k\pi}{n})$$

复变函数的极限

复变函数极限有类似于一元实函数的情况相同,因此有类似于实函数极限的性质。

如果$$\displaystyle \lim_{z \to z_0}{f(z)}=A,\displaystyle \lim_{z \to z_0}{f(z)}=B$$,则有:

$$\displaystyle \lim_{z \to z_0}{[f(z)\pm g(z)]}=A\pm B$$

$$\displaystyle \lim_{z \to z_0}{[f(z)\cdot g(z)]}=A\cdot B$$

$$\displaystyle \lim_{z \to z_0}{\frac{f(z)}{g(z)} }=\frac{A}{B}$$

复变函数的导数

$$f’(z_0)= \displaystyle \lim_{\Delta z \to 0 }\frac{f(z_0+\Delta z) - f(z_0)}{\Delta z}$$

判断函数是否可导

要判断一个函数可导,还是利用定义判别。如果$$z+\Delta z$$沿着不同的路径趋向于z时,极限值不同,则该函数不可导。

可导与连续

f(z)在$z_0$处可导,在$z_0$处一定连续,反之不一定成立。

(导数和微分的概念和高数的一元函数差不多就不再赘述了。)

解析函数的概念

解析函数的性质

如果$w=f(z)$在点$z_0$处及$z_0$的邻域内处处可导,则称在点$z_0$处解析。

如果$w=f(z)$在区域D内处处解析,则称为解析函数。

注:f(z)在$z_0$解析,可推出f(z)在$z_0$处可导,反之不一定。

奇点的定义

如果$w=f(z)$在$z_0$处不解析,则称$z_0$为$w=f(z)$的奇点。

函数解析的充要条件

函数$f(z)=u(x,y)+iv(x,y)$在$z=x+iy$处可导的充要条件是$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}
$$
上述方程为柯西-黎曼方程(简称C-R方程)。

并提供了$f’(z)=\frac{\partial u}{\partial x}+ i \frac{\partial v}{\partial x}=\frac{\partial v}{\partial y}-i\frac{\partial u}{\partial y}$求导方法。

判断函数在D是否可导、解析的基本步骤:

求$u(x,y)、v(x,y)$的偏导,若满足C-R方程,则求$u(x,y)、v(x,y)$的偏导是否连续,若连续则为解析函数。

解析函数和调和函数的关系

调和函数的概念

若二元实函数$\varphi(x,y)$在区域D内有二阶连续偏导数,且满足二维拉普拉斯(Laplace)方程:
$$
\frac{\partial^2\varphi}{\partial x^2}+\frac{\partial^2\varphi}{\partial y^2} = 0
$$
则称$\varphi(x,y)$为区域D内的调和函数。

若函数$f(z)=u(x,y)+iv(x,y)$在区域D内解析,则$f(z)$的实部$u(x,y)$和虚部$v(x,y)$都是区域D内的调和函数。

共轭调和函数

设函数$\varphi(x,y)$及$\psi(x,y)$均为区域D内的调和函数,且函数C-R方程
$$
\frac{\partial \varphi}{\partial x} = \frac{\partial \psi}{\partial y}\
\frac{\partial \varphi}{\partial y} = -\frac{\partial \psi}{\partial x}
$$
则称$\psi$是$\varphi$的共轭调和函数。

复变函数$f(z)=u(x,y)+iv(x,y)$在区域D内解析的充要条件是在区域D内,$f(z)$的虚部$v(x,y)$是实部$u(x,y)$的共轭调和函数。

注:u(x,y)不一定是v(x,y)的共轭调和函数

初等函数

指数函数

对于复数$z=x+iy$,称$w=e^z=e^{x+iy}=e^xe^{iy}=e^x(cosy+isiny)$为指数函数。对于任意的实数y有$e^{iy}=cosy+isiny$这个式子即为欧拉公式。

指数函数的性质

  1. $e^z\neq0$
  2. $e^{z_1}\cdot e^{z_2}=e^{z_1+z_2}$
  3. $e^{z+2k\pi i}=e^z \cdot e^{2k\pi i}=e^z$,周期$T=2k\pi i$
  4. e^z处处解析
  5. $|e^z|=|e^x(cosy+isiny)|=e^x$,$Arg(e^z)=2k\pi + y$
对数函数

满足方程$w=e^z(z\neq 0)$的函数$w=f(z)$称为对数函数,记作$w=Lnz$。

令$z=re^{i\theta},w=u+iv$,则$u=lnr=ln|z|,v=Argz=\theta+2k\pi$

从而有$Ln(z)=ln|z|+i(2k\pi+arg(z))$。

Ln(z)为多值函数,每个值相差$2k\pi(k=0,1,\dots)$

对数函数的性质

  1. $Ln(z_1\cdot z_2)=Lnz_1+Lnz_2$
  2. $Ln(\frac{z_1}{z_2})=Lnz_1-Lnz_2$
  3. $\frac{dlnz}{dz}=\frac{1}{z}$
幂函数

对于任意复数,当$z\neq 0$时,$w=z^a=e^{aLnz}$称为幂函数。

$Lnz$套对数函数然后解幂函数即可。

三角函数

由欧拉公式可得$e^{iy}=cosy+isiny,e^{-iy}=cosy-isiny$,两式相加相减得:

$cosy=\frac{1}{2}(e^{iy}+e^{-iy}),$

$siny=\frac{1}{2i}(e^{iy}-e^{-iy}),$

将实数y改成z即可的复数形式的三角函数。

复变函数的积分

复积分和第二类曲线积分有类似的性质
$$
\int_c f(z)dz=-\int_c -f(z)dz \
\int_c kf(z)dz = k\int_c f(z)dz\
\int_c [f(z)+g(z)]dz=\int_c f(z)dz+\int_c g(z)dz\
c的长度为L,|f(z)|\leq M, 则|\int_c f(z)dz|\leq \int_c |f(z)|ds\leq M\int_c ds=ML
$$

积分计算方法:

1.可以使用二元实变函数的线积分来计算:
$$
\int_c f(z)dz=\int_c u(x,y)+ iv(x,y)\=\int_c (u(x,y)dx - v(x,y)dy) + i\int_c (u(x,y)dy+v(x,y)dx)
$$
令参数方程来进行计算:
$$
C=\begin{cases}
x=x(t) \
y=t(t)
\end{cases} \quad 起点:t1 \quad 终点:t2\
$$
然后带入上方第一个式子中进行计算。

通过复平面的直线表示方法:

设$z_1=x_1+iy_1\quad z_2=x_2+iy_2$

  1. $z=z_1+t(z_1-z_1)$

  2. $$
    C=\begin{cases}
    x=x_1+t(x_2-x_1) \
    y=y_1+t(y_2-y_1)
    \end{cases} \quad 起点:t_1 \quad 终点:t_2\
    $$

重要结论:
$$
\oint_c \frac{1}{(z-z_0)^{n+1}}dz ,其中C:|z-z_0|=r,正向路径\
则:
\begin{cases}
2\pi i & n=0 \
0 & n\neq 0
\end{cases}
$$

柯西-古萨定理

若f(z)在单连通区域内处处解析,f(z)沿着区域内任一条封闭曲线C的积分为0,即:
$$
\oint_c f(z)dz=0
$$

复合闭路定理

闭路变形定理

设f(z)在多联通区域D内解析,$C_1,C_2$为D内任意两边正向简单闭曲线,以C1与C2为边界的D2包含在D内,则
$$
\int_{C_1}f(z)dz=\int_{c_2}f(z)dz
$$
解析函数沿着曲线的积分不因闭曲线的连续变化而变化

复合闭路定理

设C为多联通区域D内的简单闭曲线,$C_1,C_2\dots C_n$是C内的简单闭曲线,如下图所示,各个互不包含也互不相交,且以$C_1,C_2\dots C_n$为边界的区域都含与D。

如果f(z)在D内解析,那么
$$
\oint_cf(z)dz=\oint_{c_1}+\oint_{c_2}+\dots+\oint_{c_n}f(z)dz
$$

原函数与不定积分

两个主要定理:

  1. 如果f(z)在单连通区域D内处处解析,那么积分$\int_cf(z)dz$与起点、终点有关,与连接起点、终点的路径C无关。


    $$
    \int_{C_1}f(z)dz=\int{C_2}f(z)dz=\int^{z_1}{z_0}f(z)dz
    $$
    此时上方式子可以写为(类似于高数的变上限积分)
    $$
    F(z)=\int^{z}
    {z_0}f(z)dz
    $$

  2. 如果f(z)在单连通区域D内处处解析,$F(z)=\int^{z}_{z_0}f(z)dz$必为D中的解析函数,且$F’(z)=f(z)$

复变函数中原函数定义和实变函数相同

不变积分的定义

f(z)的原函数的一般表达式F(z)+C为f(z)的不定积分,记为
$$
\int f(z)dz=F(z)+C
$$

如果f(z)在单连通区域D内处处解析,G(z)为f(z)的一个原函数,则有
$$
\int_{z_0}^{z_1}f(z)dz=G(z_1)-G(z_0)
$$

柯西积分公式

如果f(z)在D内处处解析,C为D内任一条正向简单闭曲线,且C的内部全含于D中,$z_0$为C内任一点,则
$$
f(z_0)=\frac{1}{2\pi i}\oint_c\frac{f(z)}{z-z_0}dz
$$

解析函数的高阶导数

解析函数有高阶导数,其导数仍为解析函数。

其定义上与实变函数相同,且n阶导$f^{(n)}(z)$的可能形式是
$$
f^{(n)}(z)=\frac{n!}{2\pi i} \oint_c\frac{f(\zeta)}{(\zeta-z)^{n+1}}d\zeta
$$
由上方又可变形得
$$
\oint_c\frac{f(\zeta)}{(\zeta-z)^{n+1}}d\zeta=\frac{2\pi i}{n!}f^{(n)}(z)
$$

复数项级数

复数序列的极限

若任意给定的$\varepsilon>0$,存在正整数N,使当n>N时,总有$|z_n-z_0|<\varepsilon$成立,则称复数序列${z_n}$收敛于复数z0,记作
$$
\lim_{n\rightarrow\infty}z_n=z_0
$$
若${z_n}$不收敛于z0,则称级数发散。

设$z_0=x_0+iy_0,z_n=x_n+iy_n(n=1,2,\dots)$,则
$$
\lim_{n\rightarrow\infty}z_n=z_0
$$
的充要条件是
$$
\lim_{n\rightarrow\infty}x_n=x_0,\lim_{n\rightarrow\infty}y_n=y_0
$$

复数项级数中正项级数敛散性的判别法和高等数学基本一致就不再赘述。

幂级数

设$f_n{z}(n=1,2,\dots)$为区域D内的函数,则称
$$
\sum^{\infty}_{n=1}f_n(z)=f_1(z)+f_2(z)+\dots f_n(z)+ \dots
$$
为区域D内复变函数项级数,前n项的和称为级数的部分和。

而形如
$$
\sum^{\infty}_{n=0}C_n(z-z_0)^n
$$
的复函数项级数称为幂级数,其中$C_n(n=0,1,2,\dots)$及$z_0$均为复常数。

幂级数收敛等公式定理与高数一致就不再赘述。

泰勒级数

复变函数展开成泰勒级数需在D内解析,若f(z)在D内有奇点,则d到最近一个奇点之间的距离d=|a-z_0|内解析


$$
z_0=0,f(z)=\sum^{\infty}_{n=0}\frac{f^{(n)}(0)}{n!}z^n
$$
则就称为麦克劳林级数(麦克劳林级数和高数的内容一致)。

任何解析函数在一点的泰勒级数都唯一,就是幂级数。

洛朗级数

双边幂级数


$$
\sum^{+\infty}{-\infty}C_nz^n=\sum{n=-1}^{-\infty}C_nz^n+\sum^{+\infty}_{n=0}
$$
称为双边幂级数,左边部分称为负幂级数,右边部分称为正幂级数。

仅当负幂级数和正幂级数同时收敛时双边幂级数才收敛。

设函数f(z)在圆环域$R_1<|z-z_0|<R_2$内处处解析,则f(z)一定能在此圆环域中展开为
$$
f(z)=\sum^{+\infty}_{n=-\infty}C_n(z-z_0)^n
$$
其中
$$
C_n=\frac{1}{2\pi i}\oint_c\frac{f(\zeta)}{(\zeta-z_0)^{n+1}}d\zeta
$$
C为此圆环域内绕$z_0$的任一简单闭曲线。

若$C_n$中$z_0$是奇点,则$f^{(n)}(z_0)$不存在,

$C_n$中$z_0$不是奇点,则n为负数时,柯西积分定理不存在,所以$C_n$不能表示为$\frac{f^{(n)}(z_0)}{n!}$

洛朗级数在同一收敛环内唯一,单同一函数f(z)在不同的收敛环中有不同的洛朗级数。

孤立奇点

f(z)在$z_0$处不解析,但在$z_0$的某一个去心邻域0<$|z-z_0|<\delta$内处处解析,则称z0为f(z)的孤立奇点。

例:z=0是函数$e^{\frac{1}{z}},\frac{sinz}{z}的孤立奇点。$

可取奇点

若对一切n<0有Cn=0,则称z0是函数f(z)的可去奇点。若令$f(z_0)=C_0$,就能得到在整个圆盘$|z-z_0|<\delta$内解析的函数f(z)。

留数

若$z_0$为f(z)的孤立奇点,C为$z_0$去心邻域内一条绕C的封闭正向简单曲线,则称$\frac{1}{2\pi i}\oint_cf(z)dz$为f(z)在点$z_0$处的留数,记为$Res[f(z),z_0]$,即
$$
Res[f(z),z_0]=C_{-1}
$$

留数定理

设函数f(z)在区域D内除有限个孤立奇点外处处解析,C是D内包围各奇点的一条正向简单闭曲线,那么
$$
\oint_cf(z)dz=2\pi i\sum^n_{k=1}Res[f(z),z_k]
$$

留数的求法

若$z_0$为f(z)的一级极点,则
$$
Res[f(z),z_0] = \lim_{z\rightarrow z_0}(z-z_0)f(z)
$$


文章作者: LsWorld
版权声明: 本博客所有文章除特別声明外,均采用 CC BY 4.0 许可协议。转载请注明来源 LsWorld !
评论
  目录