复变函数论6-留数理论及其应用2-1-用留数定理计算实积分6：应用多值函数的积分

被积函数或辅助函数是多值解析函数的情形,一定要适当割开平面,使其能分出单值解析分支,才能应用柯西积分定理或柯西留数定理来求出给定的积分的值.

例 6.18
试计算积分

$${\int }_0^{+\infty }\frac{\ln x}{{\left(1+x^2\right)}^2}\mathrm{d}x.$$

解 以原点 $O$ 为圆心, $r$ 及 $R$ 为半径, 在 $x$ 轴上方画两个半圆周, $r$可充分小, $R$ 可充分大. 此两个半圆周与 $x$ 轴上的 $AB$ 及
$B^{\prime }{A}^{\prime }$ 二线段构成一周线 $C$ (如图 6.13).

辅助函数

$$f(z)=\frac{\ln z}{{\left(1+z^2\right)}^2}$$

在 $C$ 内部仅有一个二阶极点 $z=\mathrm{i}$, 而其支点 $z=0$ 及$z=\infty$ 已不属于 $C$ 的内部. 故 $f(z)$ 在 $C$ 所围的有界闭域上, 除$z=\mathrm{i}$ 外, 是单值解析的. 令

$$\phi (z)=(z-\mathrm{i}{)}^2\frac{\ln z}{(z+\mathrm{i}{)}^2(z-\mathrm{i}{)}^2}=\frac{\ln z}{(z+\mathrm{i}{)}^2},$$

则

$$\begin{array}{c}{\phi }^{\prime }(z)=\frac{1}{z}\cdot \frac{1}{(z+\mathrm{i}{)}^2}-\frac{2}{(z+\mathrm{i}{)}^3}\ln z,\\ {\mathrm{Res}}_{z=\mathrm{i}}f(z)\stackrel{(6.5)}{=}{\phi }^{\prime }(\mathrm{i})=-\frac{1}{4\mathrm{i}}-\frac{2}{-8\mathrm{i}}\cdot \frac{\pi \mathrm{i}}{2}=\frac{\pi +2\mathrm{i}}{8}.\end{array}$$

由留数定理,

$$\begin{array}{rl}{\int }_{\widehat{BM{B}^{\prime }}}+{\int }_{B^{\prime }{A}^{\prime }}+{\int }_{\widehat{ANA}}+{\int }_{AB}& ={\int }_C\frac{\ln z}{{\left(1+z^2\right)}^2}\mathrm{d}z\\ & =2\pi \mathrm{i}\cdot \frac{\pi +2\mathrm{i}}{8}=-\frac{\pi }{2}+\frac{{\pi }^2}{4}\mathrm{i}.(6.22)\end{array}$$

下面分别计算(6.22)左边各个积分：
(1) 因$\underset{|z|\to +\infty }{\lim }z\frac{\ln z}{{\left(1+z^2\right)}^2}=0$,由引理6.1 即知

$$\underset{R\to +\infty }{\lim }{\int }_{\widehat{BM{B}^{\prime }}}\frac{\ln z}{{\left(1+z^2\right)}^2}\mathrm{d}z=0.$$

(2) 因$\underset{z\mid \to 0}{\lim }z\frac{\ln z}{{\left(1+z^2\right)}^2}=0$,故由引理 6.3 即知

$$\underset{\to \to 0}{\lim }{\int }_{\widehat{A^{\prime }NA}}\frac{\ln z}{{\left(1+z^2\right)}^2}\mathrm{d}z=0.$$

(3) 令 $AB$ 上的 $z=x{\mathrm{e}}^{i\cdot 0}(x>0)$, 则

$$\underset{R\to +\infty }{\lim }{\int }_{AB}\frac{\ln z}{{\left(1+z^2\right)}^2}\mathrm{d}z={\int }_0^{+\infty }\frac{\ln x}{{\left(1+x^2\right)}^2}\mathrm{d}x.$$

(4) $B^{\prime }{A}^{\prime }$ 上的 $z=x{\mathrm{e}}^{\mathrm{ix}}(x>0)$,于是

$$\ln z=\ln x+\mathrm{i}\pi ,\mathrm{d}z={\mathrm{e}}^{\mathrm{i}\pi }\mathrm{d}x=-\mathrm{d}x.$$

故

lim ⁡ x → + ∞ R → + ∞ ∫ B ′ A ′ ln ⁡ z ( 1 + z 2 ) 2   d z = ∫ + ∞ 0 ln ⁡ x + i