主題
Search

約當引理

約當引理顯示了 積分 的值

I=int_(-infty)^inftyf(x)e^(iax)dx
(1)

沿著無窮上半半圓，且當 a>0 時，對於滿足 lim_(R->infty)|f(Re^(itheta))|=0 的“好的”函式，積分為 0。因此，沿實軸的積分僅僅是圍道內復殘數的和。

該引理可以使用滿足以下條件的圍道積分 I_R 建立：

lim_(R->infty)|I_R|<=pi/alim_(R->infty)epsilon=0.
(2)

為了推導引理，寫出

x=Re^(itheta)
(3)
=R(costheta+isintheta)
(4)
dx=iRe^(itheta)dtheta,
(5)

並定義圍道積分

I_R=int_0^pif(Re^(itheta))e^(iaRcostheta-aRsintheta)iRe^(itheta)dtheta
(6)

然後

|I_R|<=Rint_0^pi|f(Re^(itheta))||e^(iaRcostheta)||e^(-aRsintheta)||i||e^(itheta)|dtheta
(7)
=Rint_0^pi|f(Re^(itheta))|e^(-aRsintheta)dtheta
(8)
=2Rint_0^(pi/2)|f(Re^(itheta))|e^(-aRsintheta)dtheta.
(9)

現在，如果 lim_(R->infty)|f(Re^(itheta))|=0，選擇一個 epsilon 使得 |f(Re^(itheta))|<=epsilon，因此

|I_R|<=2Repsilonint_0^(pi/2)e^(-aRsintheta)dtheta.
(10)

但是，對於 theta in [0,pi/2]，

2/pitheta<=sintheta,
(11)

所以

|I_R|<=2Repsilonint_0^(pi/2)e^(-2aRtheta/pi)dtheta
(12)
=2epsilonR(1-e^(-aR))/((2aR)/pi)
(13)
=(piepsilon)/a(1-e^(-aR)).
(14)

只要 lim_(R->infty)|f(z)|=0，約當引理

lim_(R->infty)|I_R|<=pi/alim_(R->infty)epsilon=0
(15)

就成立。

參見

圍道積分

使用 探索

參考文獻

Arfken, G. Mathematical Methods for Physicists, 3rd ed. Orlando, FL: Academic Press, pp. 406-408, 1985.Jordan, C. Cours d'Analyse de l'Ecole polytechnique, Tome 2, 3. éd., rev. et corrigé. Paris: Gauthier-Villars, pp. 285-86, 1909-1915.Whittaker, E. T. and Watson, G. N. "Jordan's Lemma." §6.222 in A Course in Modern Analysis, 4th ed. Cambridge, England: Cambridge University Press, pp. 115-117, 1990.

在 中被引用

約當引理

引用為

Weisstein, Eric W. "Jordan's Lemma." 來自 Web 資源。 https://mathworld.tw/JordansLemma.html

主題分類