下面我们举出两个例子来说明,计算反常积分有时要用种种不同的方式来选择积分路径.
例 6.16
假定已知泊松 (Poisson) 积分
∫ 0 + ∞ e − t 2 d t = π 2 , ( 6.16 ) \int_{0}^{+\infty} \mathrm{e}^{-t^{2}} \mathrm{~d} t=\frac{\sqrt{\pi}}{2}, \quad\quad(6.16) ∫0+∞e−t2 dt=2π,(6.16)
试计算菲涅尔 (Fresnel) 积分
∫ 0 + ∞ cos x 2 d x 及 ∫ 0 + ∞ sin x 2 d x . \int_{0}^{+\infty} \cos x^{2} \mathrm{~d} x \text { 及 } \int_{0}^{+\infty} \sin x^{2} \mathrm{~d} x . ∫0+∞cosx2 dx 及 ∫0+∞sinx2 dx.
解
考察辅助函数
f ( z ) = e − z 2 , f(z)=\mathrm{e}^{-z^{2}}, f(z)=e−z2,
它是一个整函数. 并取如图 6.11 的辅助积分路径 C R C_{R} CR.则
0 = ∫ C R e − z 2 d z = ∫ 0 R e − x 2 d x + ∫ Γ R e − z 2 d z + ∫ R 0 e − x 2 e π 2 e π 4 d x . ( 6.17 ) \begin{aligned} 0 & =\int_{C_{R}} \mathrm{e}^{-z^{2}} \mathrm{~d} z \\ & =\int_{0}^{R} \mathrm{e}^{-x^{2}} \mathrm{~d} x+\int_{\Gamma_{R}} \mathrm{e}^{-z^{2}} \mathrm{~d} z+\int_{R}^{0} \mathrm{e}^{-x^{2}} \mathrm{e}^{\frac{\pi}{2}} \mathrm{e}^{\frac{\pi}{4}} \mathrm{~d} x . \quad\quad(6.17) \end{aligned} 0=∫CRe−z2 dz=∫0Re−x2 dx+∫ΓRe−z2 dz+∫R0e−x2e2πe4π dx.(6.17)
而
∣ ∫ Γ R e − z 2 d z ∣ = ∣ ∫ 0 π 4 e − R 2 ( cos 2 φ + i s i n 2 φ ) i R e i φ d φ ∣ ⩽ ∫ 0 π 4 e − R 2 cos 2 φ R d φ = R 2 ∫ 0 π 2 e − R 2 sin θ d θ ( 令 2 φ = π 2 − θ ) ⩽ R 2 ∫ 0 2 2 e − R 2 ⋅ 2 θ π d θ ( 若尔当不等式 ) = − R 2 ⋅ π 2 R 2 e − 2 R 2 π θ ∣ θ = 0 θ − π 2 = π 4 R ( 1 − e − R 2 ) . \begin{aligned} \left|\int_{\Gamma_{R}} \mathrm{e}^{-z^{2}} \mathrm{~d} z\right| & =\left|\int_{0}^{\frac{\pi}{4}} \mathrm{e}^{-R^{2}(\cos 2 \varphi+\mathrm{isin} 2 \varphi)} \mathrm{i} R \mathrm{e}^{\mathrm{i} \varphi} \mathrm{d} \varphi\right| \\ & \leqslant \int_{0}^{\frac{\pi}{4}} \mathrm{e}^{-R^{2} \cos 2 \varphi} R \mathrm{~d} \varphi \\ & =\frac{R}{2} \int_{0}^{\frac{\pi}{2}} \mathrm{e}^{-R^{2} \sin \theta} \mathrm{d} \theta \quad\left(\text { 令 } 2 \varphi=\frac{\pi}{2}-\theta\right) \\ &\leqslant \frac{R}{2} \int_{0}^{\frac{2}{2}} \mathrm{e}^{-R^{2} \cdot \frac{2 \theta}{\pi}} \mathrm{d} \theta \quad(若尔当不等式) \\ &=-\left.\frac{R}{2} \cdot \frac{\pi}{2 R^{2}} \mathrm{e}^{-\frac{2 R^{2}}{\pi} \theta}\right|_{\theta=0} ^{\theta-\frac{\pi}{2}} \\ & =\frac{\pi}{4 R}\left(1-\mathrm{e}^{-R^{2}}\right) . \end{aligned} ∫ΓRe−z2 dz = ∫04πe−R2(cos2φ+isin2φ)iReiφdφ ⩽