ジョルダンの補題とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > 百科事典 > ジョルダンの補題の意味・解説 

ジョルダンの補題

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2025/04/25 08:20 UTC 版)

複素解析において、ジョルダンの補題は、周回積分広義積分を評価するために留数定理と組み合わせて頻繁に使用される定理である。フランスの数学者カミーユ・ジョルダンにちなんで名付けられた。

定理

原点を中心とする上半平面にある正の半径Rの半円の経路で定義された複素数値の連続関数fを考える。

経路Cは経路C1 C2からなる。

ジョルダンの補題により、関数f(z) = eiaz g(z)の実軸に沿った積分を計算する簡単な方法が与えられる。f(z)が上半平面で正則であり、閉じた上半平面で連続であるとき(ただし有限個の極z1, z2, …, znを除く)、画像に示されている経路C1 C2を連結した閉じた経路Cを考える。定義より、

C2では変数zが実数であるため、2番目の積分は実積分である。

左辺は、留数定理を使用して計算する。 |z1||z2| 、…、 |zn| のすべてより大きいRについて以下が成り立つ。

Res(f, zk)fの特異点zkについての留数を示す。 fが条件( * )を満たしている場合、 Rが無限大の極限では、C1についての周回積分はジョルダンの補題によって消滅し、広義積分の値が以下のように得られる。

関数

R ≠ 1をみたすR > 0に対してa = 1でジョルダンの補題の条件を満たす。 R > 1の場合、

したがって、( * )が成り立つ。上半平面におけるfの唯一の特異点はz = iにあるため

z = if単純な極であり、1 + z2 = (z + i)(zi)であるため、次のようになる。

そのため

この結果は、古典的な方法での計算が難しい積分のうち、一部が複素解析により簡単に求まることの例である。

ジョルダンの補題の証明

複素線積分の定義により、

不等式

から

* )で定義されているMRと、正弦関数の対称性sin θ = sin(πθ)から、次が導かれる。

sin θのグラフは領域θ ∈ [0, π ⁄ 2]凹関数なので、sin θのグラフは、それの端点を結んだ直線よりも上に来る。よってθ ∈ [0, π ⁄ 2]において

このことから

参照

  • 推定補題

脚注


参考文献

  • Brown, James W.; Churchill, Ruel V. (2004). Complex Variables and Applications (7th ed.). New York: McGraw Hill. pp. 262–265. ISBN 0-07-287252-7 



英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  
  •  ジョルダンの補題のページへのリンク

辞書ショートカット

すべての辞書の索引

「ジョルダンの補題」の関連用語

ジョルダンの補題のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



ジョルダンの補題のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアのジョルダンの補題 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。

©2025 GRAS Group, Inc.RSS