当前位置:文档之家› 应用留数定理计算实变函数定积分

应用留数定理计算实变函数定积分

应用留数定理计算物理学中实变函数定积分1问题在物理学中,研究阻尼振动时计算积分0sin xdx x∞⎰,研究光的衍射时计算菲涅耳积分20sin()x dx ∞⎰,在热学中遇到积分cos (0,ax e bxdx b a ∞->⎰为任意实数)如果用实函数分析中的方法计算这些积分几乎不可能。

而在复变函数的积分计算中,依据留数定理,我们可以将实变函数定积分跟复变函数回路积分联系起来。

2应用留数定理求解实变函数定积分的类型将实变函数定积分联系于复变函数回路积分的要点如下: 1)利用自变数变换把1l 变换为某个新的复数平面上的回路; 2)另外补上一段曲线2l ,使1l 和2l 合成回路l ,l 包围着区域B ,则1l 上的()f x 延拓为B 上的()f z ,并将它沿l 积分,有12()()()ll l f z dz f x dx f z dz =+⎰⎰⎰ ;3)()l f z dz ⎰ 可以应用留数定理,1()l f x dx ⎰就是所求的定积分。

如果2()l f z dz ⎰较易求出(往往是证明为零)或可用第一个积分表示出,问题就解决了.类型一20(cos ,sin )R x x dx π⎰.被积函数是三角函数的有理式;积分区间为[0,2π].求解方法:因为被积函数是以正弦和余弦函数为自变量,积分上下限之差为2π,可以当作定积分x 从0变到2π,对应的复变函数积分正好沿比曲线绕行一周,实变积分化为复变回路积分就可以应用留数定理.可以设ixz e =,则dz izdx =∴dz dx iz=而11cos ()22ix ix e e x z z --+==+,11sin ()22ix ix e e x z z i i---==- 则原积分化为111(,)2()22k z kz z z z dzI R i Resf z i iz π--=+-==∑⎰ 类型二-()f x dx ∞∞⎰.积分区间为(-∞,+∞);复变函数()f z 在实轴上有奇点,在上半平面除有限个奇点外是解析的;当z 在上半平面及实轴上→∞时,()zf z 一致地→0.求解方法:如果f(x)是有理分式()/()x x ϕψ,上述条件意味着()x ψ没有实的零点,()x ψ的次数至少高于()x ϕ两次.图1如图2,计算积分lim()RRR I f x dx -→∞=⎰()()()RRlRC f z dz f x dx f z dz -=+⎰⎰⎰根据留数定理,2{()}=()()RRRC i f z l f x dx f z dz π-+⎰⎰在所围半圆内各奇点的留数之和令R →∞,有2{()}=()()RC i f z l f x dx f z dz π∞-∞+⎰⎰在所围半圆内各奇点的留数之和而()()()max ()max ()0RRRC C C dz dzRf z dz zf z zf z zf z zf z zzRππ=≤≤=⋅→⎰⎰⎰所以()=2{()}f x dx i f z l π∞-∞⎰在所围半圆内各奇点的留数之和类型三()cos F x mxdx ∞⎰,()sin G x mxdx ∞⎰.积分区间是[0,+∞];偶函数()F x 和奇函数()G x 在实轴上没有奇点,在上半平面除有限个奇点外是解析的;当z 在上半平面或实轴上→∞时,()F x 及()G x 一致地→0.约当引理如m 为正数,R C 是以原点为圆心而位于上半平面的半圆周,又设当z 在上半平面及实轴上→∞时()F x 一致地→0,则lim ()0Rimz C R F z e dz →∞=⎰求解方法:00111()cos ()()()()222imx imx imximx F x mxdx F x e e dx F x e dx F x e dx ∞∞∞∞--=+=+⎰⎰⎰⎰经自变量代换,上式变为000111()cos ()()()222imx imx imx F x mxdx F x e dx F x e dx F x e dx ∞∞∞-∞-∞=+=⎰⎰⎰⎰ 同理1()sin ()2imx G x mxdx G x e dx i ∞∞-∞=⎰⎰由类型二可知2{()}=()()Rimx imz C i f z l F x e dx F z e dz π∞-∞+⎰⎰在所围半圆内各奇点的留数之和由约当定理2{()}=()imx imx i F x e l F x e dx π∞-∞⎰在所围半圆内各奇点的留数之和同理2{()}=()imximx i G x e l G x e dx π∞-∞⎰在所围半圆内各奇点的留数之和所以0()cos {()}imz F x mxdx i F z e π∞=⎰在上半平面所有奇点的留数之和 0()sin {()}imx G x mxdx G x e π∞=⎰在上半平面所有奇点的留数之和实轴上有单极点的情形 考虑积分-()f x dx ∞∞⎰,被积函数()f x 在实轴上有单极点z α=,除此之外,()f x 满足类型二或类型三的条件.求解方法:由于存在这个奇点,我们以z α=为圆心,以充分小的正数ε为半径作半圆弧绕过奇点α构成如图3所示积分回路. 于是()()()()()RRlRC C f z dz f x dx f x dx f z dz f z dz εαεαε--+=+++⎰⎰⎰⎰⎰取极限R →∞,0ε→,上式左边积分值等于2()iResf z π∑上半平面.右边第一、第二项之和即为所求积分.按类型二或类型三的条件,第三项为零. 对于第四项,计算如下:将()f z 在z α=的领域展为洛朗级数,有()1()a f z P z z αα-=+-- 其中()P z α-为级数的解析部分,它在C ε上连续且有界,因此()()()max max C C P z dz P z dz P z εεααπεα-≤-=⋅-⎰⎰所以()0lim 0C P z dz εεα→-=⎰而()()01111i i C C a a a dz d z e id ia iResf z z eεεϕϕπαεϕππαααε----=-==-=---⎰⎰⎰ 于是()-()2()f x dx iResf z iResf ππα∞∞=+∑⎰上半平面若实轴上有有限个单极点,则()-()2()f x dx iResf z iResf z ππ∞∞=+∑∑⎰上半平面实轴上3应用留数定理求解物理学中实变函数的定积分(1)计算阻尼振动的狄利克雷型积分0sin xdx x∞⎰ 解:由类型三,将原积分改写sin 12ixx e dx dx x i x∞∞-∞=⎰⎰ 图3这个积分的被积函数ixe x除了在实轴上有单极点0x =外,满足类型三的条件.由于被积函数在上半平面无奇点,有10=1=2222ix ix e e dx z i x x πππ∞-∞⎧⎫==⋅⎨⎬⎩⎭⎰被积函数在单极点的留数 即sin =2x dx x π∞⎰推论:对于正的m ,0sin sin ()2mx mx dx d mx x mx π∞∞==⎰⎰ (m >0)对于负的m ,0sin sin 2m x mx dx dx x x π∞∞=-=-⎰⎰ (m <0)(2)计算在研究光的衍射时菲涅耳积分20sin()x dx ∞⎰和20cos()x dx ∞⎰解:∵2222sin()Im ,cos()Re ix ix x e x e ==∴2210ix I iI e dx ∞+=⎰取图4所示回路l .由于2ix e 没有有限远奇点,所以根据留数定理得20iz ledz =⎰即22/42()/40()0i RRix iz i ei C Re dx e dz e d e πρπρ++=⎰⎰⎰令R →∞.222()/4/4/40lim lim()i i i i i RRR R e e d e e d e e d ρππρπρρρρ∞--→∞→∞=-=-⎰⎰⎰/4(12i i π==-+/4222222i R Riz ReizizC C z Re dz e dz e iziz π==+⎰⎰2Riz C e dz ⎰而222/4102222R iR R i e e e iRe iR R Rπ---≤+→ (于R →∞)图42222sin 2cos 2sin 22222222RRRiz R iR R i i C C C eeedz Re id Rd iz iR e R ϕϕϕϕϕϕϕ-+-=≤⎰⎰⎰2sin 221max 02424R e R R ϕππ-⎛⎫≤=→⎪ ⎪⎝⎭(于R →∞) 所以21)0I iI i ++=即1I =2I =(3)计算求解热传导问题的偏微分方程时遇到的积分2co 0)s (,ax e bx b dx a ∞->⎰为任意实数解:由类型三,将原积分改写2201cos 2ax ax ibxe bxdx e e dx ∞∞---∞=⎰⎰ 取如图所示回路,由于矩形区域内函数2axibxe -+无奇点,所以根据留数定理得20az ibzledz -+=⎰即22222340NaxibxazibzazibzazibzNl l l e dx e dz e dz e dz -+-+-+-+-+++=⎰⎰⎰⎰当N →∞时,2222234axibxazibzazibzazibzl l l e dx e dz e dz e dz ∞-+-+-+-+-∞=---⎰⎰⎰⎰只要求出上式等号右边的三个积分就可以计算出2axibxe dx ∞-+-∞⎰所以,2cos ax e bxdx ∞-⎰就可以求出.四、结语图5留数定理是复变函数论具体应用于积分计算中的一个非常有力的工具,把难以求解的定积分和反常积分转化为留数的计算问题,且能推广留数定理在阻尼振动、菲涅耳衍射及热传导等具体物理问题所遇到的反常积分的求解上,简化了计算过程。

相关主题