复变函数论5-1-解析函数的洛朗展式-4-解析函数在孤立奇点邻域内的洛朗展式2：洛朗级数展开【如果a为f(z)的一个孤立奇点，则必存在正数R使得f在点a的去心邻域0＜∣z−a∣＜R内可展成洛朗级数】

如果 $a$ 为函数 $f(z)$ 的一个孤立奇点, 则必存在正数 $R$, 使得 $f(z)$在点 $a$ 的去心邻域 K \ { a } : 0 < ∣ z − a ∣ < R K \backslash\{a\}: 0<|z-a|<R K\{a}:0<∣z−a∣<R 内可展成洛朗级数.

常用展开方法:

(1) 直接展开法.

利用洛朗定理的公式计算系数 $c_n$ ：

$$c_n=\frac{1}{2\pi \mathrm{i}}{\int }_{\Gamma }\frac{f(\zeta )}{(\zeta -a{)}^{n+1}}\mathrm{d}\zeta (n=0,\pm 1,\pm 2,\cdots )$$

然后写出洛朗展式 $f(z)={\sum }_{n=-\infty }^{\infty }{c}_n(z-a{)}^n$. 缺点: 计算往往很麻烦.

(2) 间接展开法.

根据正、负幕项组成的级数的惟一性, 可用代数运算、变量代换,并利用已知的泰勒展式去求所需要的洛朗展式.优点: 简捷、快速.

例 5.2
求函数 $f(z)=\frac{1}{(z-1)(z-3{)}^2}$ 分别在(1) $0<|z-1|<2$; (2)$2<|z-1|<$ $+\infty$ 内的洛朗展式.

解
(1) 当 $0<|z-1|<2$ 时, $\left|\frac{z-1}{2}\right|<1$, 故

$$\frac{1}{z-3}=-\frac{1}{2}\frac{1}{1-\frac{z-1}{2}}=-\frac{1}{2}\sum _{n=0}^{\infty }{\left(\frac{z-1}{2}\right)}^n=-\sum _{n=0}^{\infty }\frac{(z-1{)}^n}{2^{n+1}}.$$

而

$$\frac{1}{(z-3{)}^2}=-{\left(\frac{1}{z-3}\right)}^{\prime }=\sum _{n=1}^{\infty }\frac{n(z-1{)}^{n-1}}{2^{n+1}},$$

所以

$$\begin{array}{rl}f(z)& =\frac{1}{(z-1)(z-3{)}^2}=\frac{1}{z-1}\sum _{n=1}^{\infty }\frac{n(z-1{)}^{n-1}}{2^{n+1}}\\ & =\sum _{n=1}^{\infty }\frac{n(z-1{)}^{n-2}}{2^{n+1}}.\end{array}$$

(2) 当 $2<|z-1|<+\infty$ 时, $\left|\frac{2}{z-1}\right|<1$, 所以

$$\frac{1}{z-3}=\frac{1}{z-1}\cdot \frac{1}{1-\frac{2}{z-1}}=\sum _{n=0}^{\infty }\frac{2^n}{(z-1{)}^{n+1}}.$$

而

$$\frac{1}{(z-3{)}^2}=-{\left(\frac{1}{z-3}\right)}^{\prime }=\sum _{n=0}^{\infty }\frac{(n+1)2^n}{(z-1{)}^{n+2}},$$

所以

$$\begin{array}{rl}f(z)& =\frac{1}{(z-1)(z-3{)}^2}=\frac{1}{z-1}\sum _{n=0}^{\infty }\frac{(n+1)2^n}{(z-1{)}^{n+2}}\\ & =\sum _{n=0}^{\infty }\frac{(n+1)2^n}{(z-1{)}^{n+1}}.\end{array}$$

例 5.3
$\frac{\sin z}{z}$ 在 $z$ 平面上只有奇点 $z=0$, 在其去心邻域$0<|z|<+\infty$ 内有洛朗展式

$$\frac{\sin z}{z}=\sum _{n=0}^{\infty }\frac{(-1{)}^n{z}^{2n}}{(2n+1)!}=1-\frac{z^2}{3!}+\cdots .$$

例 5.4
${\mathrm{e}}^x+{\mathrm{e}}^{\frac{1}{x}}$ 在 $z$ 平面上只有奇点$z=0$, 在其去心邻域 $0<|z|<+\infty$ 内有洛朗展式

$${\mathrm{e}}^z+{\mathrm{e}}^{\frac{1}{x}}=2+\sum _{n=1}^{\infty }\frac{z^n}{n!}+\sum _{n=1}^{\infty }\frac{1}{n!}\cdot \frac{1}{z^n}.$$

由以上各例已可看出,在求一些初等函数的洛朗展式时,一般并不是按照公式 (5.5)去计算洛朗系数,主要是利用已知的幂级数展式去求所需要的洛朗展式.下面我们再举两例.

例 5.5
$\sin \frac{z}{z-1}$ 在 $z$ 平面上只有奇点 $z=1$, 且在去心邻域$0<|z-1|<+\infty$ 内可展成洛朗级数.

解
$$\begin{array}{rl}& \sin \frac{z}{z-1}=\sin \left(1+\frac{1}{z-1}\right)=\sin 1\cos \frac{1}{z-1}+\cos 1\sin \frac{1}{z-1}\\ =& \sin 1\left[1-\frac{1}{2!(z-1{)}^2}+\cdots +(-1{)}^n\frac{1}{(2n)!(z-1{)}^{2n}}+\cdots \right]+\\ & \cos 1\left[\frac{1}{z-1}-\frac{1}{3!(z-1{)}^3}+\cdots +(-1{)}^n\frac{1}{(2n+1)!(z-1{)}^{2n+1}}+\cdots \right]\\ =& \sin 1+\frac{\cos 1}{z-1}-\frac{\sin 1}{2!(z-1{)}^2}-\frac{\cos 1}{3!(z-1{)}^3}+\cdots +\\ & (-1{)}^n\frac{\sin 1}{(2n)!(z-1{)}^{2n}}+(-1{)}^n\frac{\cos 1}{(2n+1)!(z-1{)}^{2n+1}}+\cdots .\end{array}$$

例 5.6
试证

$$\cosh \left(z+\frac{1}{z}\right)=c_0+\sum _{n=1}^{\infty }{c}_n\left(z^n+z^{-n}\right),$$

其中

$$c_n=\frac{1}{2\pi }{\int }_0^{2\pi }\cos n\phi \cosh (2\cos \phi )\mathrm{d}\phi .$$

证
因 $w=z+\frac{1}{z}$ 在 $z$ 平面上只有 $z=0$ 一个奇点.而

$$\cosh w=\frac{1}{2}\left({\mathrm{e}}^w+{\mathrm{e}}^{-w}\right)$$

在 $w$ 平面上解析, 故 $\cosh \left(z+\frac{1}{z}\right)$ 在 $z$平面上也只有一个奇点 $z=0$. 即它在去心邻域 $0<|z|<+\infty$ 内解析.
由洛朗定理得

$$\begin{array}{c}\cosh \left(z+\frac{1}{z}\right)={\sum }_{n=-\infty }^{\infty }{c}_n{z}^n,\\ c_n=\frac{1}{2\pi \mathrm{i}}{\int }_{{\Gamma }_p}\frac{\cosh \left(z+z^{-1}\right)}{z^{n+1}}\mathrm{d}z,\end{array}$$

${\Gamma }_{\rho }$ 表示任意圆周 $|z|=\rho >0$.取 $\rho =1$, 则沿圆周${\Gamma }_{\rho }:z={\mathrm{e}}^{\mathrm{if}},0⩽\phi ⩽2\pi$,有

$$\begin{array}{rl}{c}_n& =\frac{1}{2\pi }{\int }_0^{2\pi }\cosh \left({\mathrm{e}}^{\mathrm{i}\phi }+{\mathrm{e}}^{-\mathrm{i}\phi }\right){\mathrm{e}}^{-ni\phi }\mathrm{d}\phi \\ & =\frac{1}{2\pi }{\int }_0^{2\pi }\cosh (2\cos \phi )\cos n\phi \mathrm{d}\phi -\frac{\mathrm{i}}{2\pi }{\int }_0^{2\pi }\cosh (2\cos \phi )\sin n\phi \mathrm{d}\phi .\end{array}$$

命 $\phi =2\pi -\theta$, 则可知等号右边第二个积分为零. 故

$$\begin{array}{c}{c}_n=\frac{1}{2\pi }{\int }_0^{2\pi }\cosh (2\cos \phi )\cos n\phi \mathrm{d}\phi .\\ c_n=c_{-n}(n=1,2,\cdots ).\end{array}$$

所以

$$\cosh \left(z+\frac{1}{z}\right)=c_0+\sum _{n=1}^{\infty }{c}_n\left(z^n+z^{-n}\right)\text{. }$$