- 10.21：整理了一部分复变函数内容
1. 复变函数运算
1. 表示法
-
代数表示
\(z=x+iy\)
-
三角表示
令\(\theta\)为\(z\)的一个辐角，有：
\[\begin{cases} x=rcos\theta\\ y=rsin\theta \end{cases} \]得：\(z=r(cos\theta+isin\theta)\)
-
指数表示
由欧拉公式\(e^{i\theta}=cos\theta+isin\theta\)得：
\(z=re^{i\theta}\)
2. 共轭性质
- \(\overline{z_1\pm z_2}=\overline{z_1}\pm\overline{z_2}\)
- \(\overline{z_1 z_2}=\overline{z_1}\ \overline{z_2}\)
- \(\overline{\frac{z_1}{z_2}}=\frac{\overline{z_1}}{\overline{z_2}}\)
- \(z\overline{z}=[Re(z)]^2+[Im(z)]^2\)
- \(z+\overline{z}=2Re(z)\)
- \(z-\overline{z}=2iIm(z)\)
3. 几何性质
- \(|x|\leq|z|,|y|\leq|z|\)
- \(|z|\leq|x|+|y|\)
- \(|z|=|\overline{z}|\)
- \(z\overline{z}=x^2+y^2=|z|^2\)
- \(|z_1+ z_2|\leq|z_1|+|z_2|,|z_1-z_2|\geq||z_1|-|z_2||\)
4. 基本运算
-
幅角：\(Arg,arg\)
正实轴到向量\(\overrightarrow{OP}\)的角的弧度数称为__幅角__，记作\(Arg\)，有无穷个值，都满足\(tan(Argz)=\frac{y}{x}\)
在\((-\pi,\pi]\)内的幅角称为__幅角主值__，记作\(arg\)
\[argz= \begin{cases}{} arctan{\frac{y}{x}},\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ x>0\\ arctan{\frac{y}{x}}+\pi,\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ x<0,y\geq0\\ arctan{\frac{y}{x}}-\pi,\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ x<0,y<0\\ \frac{\pi}{2},\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ x=0,y>0\\ -\frac{\pi}{2},\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ x=0,y<0\\ \end{cases} \] -
乘积
-
设\(z_1=r_1(cos\theta_1+isin\theta_1),z_2=r_2(cos\theta_2+isin\theta_2)\)，则：
\(z_1z_2=r_1r_2[(cos\theta_1cos\theta_2-sin\theta_1sin\theta_2)+i(sin\theta_1cos\theta_2+cos\theta_1sin\theta_2)]=r_1r_2[cos(\theta_1+\theta_2)+isin(\theta_1+\theta_2)]=r_1r_2 e^{i(\theta_1+\theta_2)}\)
-
\(|z_1z_2|=|z_1||z_2|\)
-
\(Arg(z_1z_2)=Argz_1+Argz_2\)
推论：
- \(z_1z_2\dots z_n=r_1r_2\dots r_n[cos(\theta_1+\theta_2+\dots+\theta_n)+isin(\theta_1+\theta_2+\dots+\theta_n)]=r_1r_1\dots r_n e^{i(\theta_1+\theta_2+\dots+\theta_n)}\)
- \(|z_1z_2\dots z_n|=|z_1||z_2|\dots|z_n|\)
- \(Arg(z_1z_2\dots z_n)=Argz_1+Argz_2+\dots Argz_n\)
-
-
除法
- \(\frac{z_1}{z_2}=\frac{r_1}{r_2}[cos(\theta_1-\theta_2)+isin(\theta_1-\theta_2)]=\frac{r_1}{r_2}e^{i(\theta_1-\theta_2)}\)
- \(|\frac{z_1}{z_2}|=\frac{|z_1|}{|z_2|}\)
- \(Arg(\frac{z_1}{z_2})=Argz_1-Argz_2\)
两个复数商的模等于模的商，两个复数商的辐角等于他们辐角的差。
-
乘幂
- \(z^n=r^n(cosn\theta+isinn\theta)\)
- 棣莫弗公式：\((cos\theta+isin\theta)^n=cosn\theta+isinn\theta\)
-
方根
- \(\sqrt[n]{z}=\sqrt[n]{r}(cos\frac{\theta+2k\pi}{n}+isin\frac{\theta+2k\pi}{n})\)
令\(z=re^{i\theta}\)，有：
- \(\sqrt[n]{re^{i\theta}}=\sqrt[n]{r}e^{i\frac{\theta+2k\pi}{n}}\)
几何上看出，\(\sqrt[n]{z}\)的n个值是以原点为圆心，\(\sqrt[n]{r}\)为半径的圆内接正n边形的n个顶点。
5. 初等函数
-
指数函数
-
定义：\(e^z=exp(z)=e^x(cosy+isiny)\)
-
性质：
-
\(|e^z|=e^x\)
-
\(e^{z_1}\cdot e^{z_2}=e^{z_1+z_2}\)
-
\(e^{z+2k\pi i}=e^z\cdot e^{2k\pi i}=e^z(cos2k\pi+isin2k\pi)=e^z\)
-
\((e^z)'=e^z\)
-
-
-
对数函数
-
定义：将满足方程\(e^w=z(z\neq0)\)的函数\(w=f(z)\)称为复变量\(z\)的__对数函数__，记作\(w=Lnz\)
-
对数函数计算方法及其主值：
设\(w=u+iv=Lnz\)，则\(e^{u+iv}=z\)，于是得到：
\[|e^{u+iv}|=e^u=|z| \]\[Arg(e^{u+iv})=Argz \]从而得到\(u=ln|z|,v=Argz\)，所以：
\[\bf{w=Lnz=ln|z|+iArgz} \]可以看出，\(Lnz\)是多值函数。将\(ln|z|+iargz\)称为__Lnz__主值，即：
\[\bf{lnz=ln|z|+iargz} \] -
性质
- \(Ln(z_1z_2)=Lnz_1+Lnz_2\)
- \(Ln(\frac{z_1}{z_2})=Lnz_1-Lnz_2\)
-
注意：下面两个等式不再成立。
\[Lnz^n=nLnz \]\[Ln\sqrt[n]z=\frac{1}{n}Lnz \]原因是\(Lnz+Lnz+\dots+Lnz=nLnz\)不再成立。
-
-
幂函数
-
定义：\(w=z^a=e^{a Lnz}\)
-
幂函数计算方法:
-
\(a\)为整数时，\(e^{2ka\pi i}=1,w=z^a=e^{alnz}\)是单值函数。
-
\(a\)为有理数\(\frac{m}{n}\)时，
\(z^{\frac{m}{n}}=e^{\frac{m}{n}[ln|z|+i(argz+2k\pi)]}=e^{\frac{m}{n}ln|z|}[cos(\frac{m}{n}(argz+2k\pi))+isin(\frac{m}{n}(argz+2k\pi))]\)
\(z^{\frac{m}{n}}\)有\(n\)个不同的值，即当\(k=0,1,\dots,n-1\)时相应的值
-
\(a\)为无理数或虚数时，\(z^a\)有无穷多个值，其中\(e^{alnz}\)称为\(z^a\)主值。
-
-
解析性：
- \(w=z^n(n\in\bold Z^+)\)在复平面内处处解析，并且\((z^n)'=nz^{n-1}\)
- \(w=z^{-n}=\frac{1}{z^n}(n\in\bold Z^+)\)在除原点的复平面内解析，并且\((z^{-n})'=-nz^{-n-1}\)
- 除去以上情况，\(w=z^a\)的各分支在除原点和负实轴的复平面内解析，并且\((z^a)'=az^{a-1}\)
-
-
三角函数和双曲函数
-
定义：
- 正弦函数\(sinz=\frac{e^{iz}-e^{-iz}}{2i}\)
- 余弦函数\(cosz=\frac{e^{iz}+e^{-iz}}{2}\)
- 双曲正弦函数\(shz=\frac{e^z-e^{-z}}{2}\)
- 双曲余弦函数\(chz=\frac{e^z+e^{-z}}{2}\)
-
性质：
-
三角函数恒等式和诱导公式仍成立
-
\(cos(iz)=chz,sin(iz)=ishz\)
\(ch(iz)=cosz,sh(iz)=isinz\)
-
\(|sinz|,|cosz|\)无界
-
四个函数在复平面内处处解析，且：
\((sinz)'=cosz,(cosz)'=-sinz\)
\((shz)'=chz,(chz)'=shz\)
-
-
2. 复变函数积分
1. 解析函数
-
定义：
- 如果函数\(f(z)\)在\(z_0\)及其邻域内可导，则称\(f(z)\)在\(z_0\)解析。
- 如果\(f(z)\)在区域\(D\)内每一点都解析，则称\(f(z)\)在\(D\)内解析，\(f(z)\)为解析函数。
- 如果\(f(z)\)在\(z_0\)不解析，则称\(z_0\)为\(f(z)\)的奇点。
-
定理：
-
设函数\(f(z)=u(x,y)+iv(x,y)\)定义在D内，\(w=f(z)=u+iv\)在D内一点\(z=x+iy\)可导的充要条件是：
-
\(u(x,y)\)与\(v(x,y)\)在点\((x,y)\)可微。
实际判别中，若\(\frac{\part u}{\part x},\frac{\part u}{\part y},\frac{\part v}{\part x},\frac{\part v}{\part y}\)在D上均连续，则一定可微。
-
在该点满足__柯西——黎曼方程__：
\[\frac{\part u}{\part x}=\frac{\part v}{\part y}\\ \frac{\part u}{\part y}=-\frac{\part v}{\part x} \]
推论1：\(f'(z)=\frac{\part u}{\part x}+i\frac{\part v}{\part x}\)
推论2：只在若干点或曲线上解析的函数在Z平面上处处不解析。
-
-
除去分母为0的点，在区域D内解析的两个函数\(f(z)\)与\(g(z)\)的和差积商在D内解析。
-
2. 调和函数
- 定义：如果二元实函数\(\phi(x,y)\)在区域D内有二阶连续偏导数，而且满足拉普拉斯方程\(\frac{\part^2\phi}{\part x^2}+\frac{\part^2\phi}{\part y^2}=0\)，则称\(\phi(x,y)\)为区域D内的调和函数。
- 定理：任何在区域D内解析的函数，其实部和虚部都是区域D内的调和函数
3. 复变函数积分性质和方法
-
性质：
-
\(\int_Cf(z)dz=-\int_{c^-}f(z)dz\)
-
\(\int_C kf(z)dz=k\int_{C}f(z)dz\)
-
\(\int_C[f(z)\pm g(z)]dz=\int_C f(z)dz\pm\int_C g(z)dz\)
-
\(\int_Cf(z)dz=\int_{C_1}f(z)dz+\int_{C_2}f(z)dz+\dots+\int_{C_n}f(z)dz\)
其中C由曲线\(C_1,C_2,\dots,C_n\)连接而成。
-
设曲线C的长度为L，函数\(f(z)\)在C上满足\(|f(z)|\leq M\)，则：
\(|\int_C f(z)dz|\leq\int_C|f(z)|ds\leq ML\)
-
-
方法：
-
参数表示法：
设有向曲线C的参数方程为
\[\begin{cases} x=x(t)\\ y=y(t)\\ z(t)=x(t)+iy(t)\\ \end{cases} \]曲线起点对应\(t=\alpha\)，曲线终点对应\(y=\beta\)（\(\alpha\)未必小于\(\beta\)），则：
\[\int_C f(z)dz=\int_\alpha^\beta f(z(t))z'(t)dz \]其中\(z'(t)=x'(t)+iy'(t)\)
-
二元实函数表示法：
如果\(f(z)=u(x,y)+iv(x,y)\)在C上处处连续，则：
\[\int_C f(z)dz=\int_C udx-vdy+i\int_C vdx+udy \]
-
4. 复变函数积分定理
-
柯西——古萨基本定理
如果函数\(f(z)\)在单连通域D内处处解析，则函数沿D内任何一条简单闭曲线C的积分值为0，即：
\[\oint_C f(z)dz=0 \] -
复变函数的微积分基本定理：
如果函数\(f(z)\)在单连通域D内处处解析\(F(z)\)是\(f(z)\)的一个原函数，\(z_1,z_2\)是区域D内两点，则：
\[\int_{z_1}^{z_2}f(z)dz=F(z)|_{z_1}^{z_2}=F(z_2)-F(z_1) \]这意味着，实函数的积分方法同样适用于复变函数。
-
复合闭路定理
设简单闭曲线C所包围的区域内有n条互不相交也互不包含的简单闭曲线\(C_1,C_2,\dots,C_n\)，若函数\(f(z)\)在以C和\(C_1,C_2,\dots,C_n\)为边界的多连通域上解析，则：
\[\oint_C f(z)dz=\sum_{k=1}^n\oint_{C_k} f(z)dz \]其中C与\(C_1,C_2,\dots,C_n\)均取__逆时针方向__。
5. 复变函数积分的基本公式
-
柯西积分公式
如果函数\(f(z)\)在区域D内处处解析，C为D内的任何一条简单正向闭曲线，其内部完全含于D,\(z_0\)为C内任何一点，则：
\[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=1,2,\dots,n \]