Skip to content

14.4.3 若尔当引理的应用

14.4.3.1 若尔当引理

在许多情形中, 可以用沿一条闭曲线的复积分来计算具有无限积分区间的实反常积分. 为了避免总是反复地估计, 若尔当引理 (Jordan lemma) 被用到形如

(14.57a)CRf(z)eiαzdz

的反常积分上,其中 CR 是以 z 平面的上半平面中心为原点,半径为 R 的半圆弧 (图 14.46). 若尔当引理区分下述 3 种情形:

0193686a-f46c-7301-ad92-9f1def8f454e_170_672_900_295_199_0.jpg

**a) α>0 如果在上半平面以及在实轴上,当 |z| 时, f(z) 一致地趋于零,并且 α>0 ,则当 R 时有

(14.57b)CRf(z)eiαzdz0.

**b) α=0 如果当 |z| 时表达式 zf(z) 一致地趋于零,则上述陈述 (14.57b)在 α=0 时亦成立.

**c) α<0 如果半圆 CR 在实轴之下,则相应于 (14.57b) 的陈述对于 α<0 亦成立.

d) 如果用一个弧段代替完整的半圆, 陈述 (14.57b) 亦成立.

e) 当 CR 是左半平面中的半圆或一个弧段,而 α>0 ,或在右半平面而 α<0 , 则对于形如

(14.57c)CRf(z)eαzdz

的积分, 相应于 (14.57b) 的陈述成立.

14.4.3.2 若尔当引理的例子

1. 求积分

(14.58a)0xsinαxx2+a2dx(α>0,a0).

对于上面的实积分, 以下述复积分与其相联:

2i0Rxsinαxx2+a2偶函数 dx=iRRxsinαxx2+a2dx+RRxcosαxx2+a2dx=0 (奇被积函数) =RRxeiαxx2+a2dx.

(14.58b)

最后一个积分是复积分 Czeiαzz2+a2dz 的一部分. 曲线 C 包含上面定义的半圆 CR 和实轴上在值 RR(R>a) 之间的部分. 这个复积分的复被积函数在上半平面中只有唯一的奇点 z=ai . 由留数定理即得: I=Czeiαzz2+a2dz=2πilimzai[zeiαzz2+a2 (zai)]=2πilimzaizeiαzz+ai=πieαa ,因而 I=CRzeiαzz2+a2dz+RRxeiαxx2+a2dx= πieαa . 从 limRI 和若尔当引理即得

(14.58c)0xsinαxx2+a2dx=π2eαa(α>0,a0).

用类似的方法可以计算一些别的积分 (见第 1418 页表 21.8).

2. 正弦积分 (亦见第 681 页 8.2.5,1.,(8.95) )

积分 0sinxxdx 被称为正弦积分 (sine integral) 或积分正弦 (integral sine). 类似于上一个例子,考察复积分 I=CReizzdz ,其中曲线 CR 如图 14.47 所示 . 此复积分的被积函数在 z=0 处有一个一阶极点,因而 I=2πilimz0[eizzz]=2πi ,因而 I=2irRsinxxdx+iπ2πeir(cosφ+isinφ)dφ+CReizzdz=2πi . 当 R,r0 时,计算 I 的极限,其中第 2 个积分当 r0 时关于 φ 一致地趋于 π(2) ,即此极限过程 r0 可以在积分号下完成. 利用若尔当引理即得

(14.59)2i0sinxxdx+πi=2πi, 因而 0sinxxdx=π2.

①这里的 CR 应是一条闭曲线,它由图 14.47 中的大的半圆 CR ,实轴上的两个线段 r<|x|<R ,以及图 14.47 中实轴下方的半圆组成. 而下文积分限中的 CR 只是图 14.47 中的大的半圆 CR . —— 译者注

②原文把 π 误为 1. ——译者注


0193686a-f46c-7301-ad92-9f1def8f454e_172_671_494_296_216_0.jpg

3. 阶梯函数

间断的实函数可以表示为复积分. 所谓的阶梯函数 (step function) (亦见第 1011 页 15.2.1.3) 就是一个例子:

(14.60)F(t)=12πi⌣→eitzzdz={1,t>0,1/2,t=0,0,t<0.

符号 ⌣→ 表示沿着实轴 (|R|) 向下绕开原点的积分路径 (图 14.47).

如果 t 表示时间,则函数 Φ(t)=cF(tt0) 表示在时刻 t=t0 处从 0 通过值 c/2 跳到值 c 的函数. 它被称为阶梯函数,也被称为赫维赛德函数 (Heaviside function). 在电工学中它被用来描述电压或电流突跳.

4. 矩形脉冲

矩形脉冲 (亦见第 1012 页 15.2.1.3) 是复积分和若尔当引理的又一个例子:

(14.61)Ψ(t)=12πi⌣→ei(bt)zzdz12πi⌣→ei(at)zzdz={0,t<a 和 t>b,1,a<t<b,1/2,t=a 和 t=b.

5. 菲涅耳积分

为了推导菲涅耳积分 (Fresnel integral)

(14.62)0sin(x2)dx=0cos(x2)dx=12π/2,

必须考察沿展示在图 14.48 中闭积分路径的积分 I=Kez2dz . 根据柯西积分定理,有 I=II+III+IIII=0 ,其中 II=0Rex2dx,III=iR0π/4eR2(cos2φ+isin2φ)+iφdφ , IIII=eiπ/4R0eir2dr=122(1+i)[i0Rsinr2dr0Rcosr2dr]III 的估计: 由于 |i|=|eiτ|=1 ( τ 为实数),即得

|III|R0π/4eR2cos2φdφ=R20αeR2cosφdφ+R2απ/2eR2cosφdφ<R20αeR2cosαdφ+R2απ/2sinφsinαeR2cosφdφ<αR2eR2cosα+1eR2cosα2Rsinα(0<α<π2).

施行极限过程 limRI 即给出积分 IIIII 的值: limRII=12π,limRIII=0 . 分离实部和虚部即可得到所给的公式 (14.62).

0193686a-f46c-7301-ad92-9f1def8f454e_173_645_830_348_233_0.jpg

version 1.24.0