複素解析において、ジョルダンの補題は、周回積分と広義積分を評価するために留数定理と組み合わせて頻繁に使用される定理である。フランスの数学者カミーユ・ジョルダンにちなんで名付けられた。
定理
原点を中心とする上半平面にある正の半径Rの半円の経路で定義された複素数値の連続関数fを考える。
![{\displaystyle C_{R}=\{Re^{i\theta }\mid \theta \in [0,\pi ]\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cb8eb023ba7ce2e38acb3823078a036e77847324)
aを正の数として、関数fが次の形式であるとする。
![{\displaystyle f(z)=e^{iaz}g(z),\quad z\in C_{R}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/766b1c984733ec26e8f812de8c0c7af9dd922be5)
このとき、ジョルダンの補題は、周回積分の次の上限を示す。
![{\displaystyle \left|\int _{C_{R}}f(z)\,dz\right|\leq {\frac {\pi }{a}}M_{R}\quad {\text{where}}\quad M_{R}:=\max _{\theta \in [0,\pi ]}\left|g\left(Re^{i\theta }\right)\right|.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0efa7b759225abf9cdf75f0de2431f2f16683a76)
等号はgがすべてにおいてゼロとなるときに成り立ち、このとき両辺がゼロになる。下半平面の半円形の経路に関する同様の定理は、 a < 0の場合に当てはまる。
備考
![{\displaystyle \lim _{R\to \infty }M_{R}=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/23bed8c96fb310298103d6fd7be79adcf9535e9e)
(*)
- が成り立つとき、ジョルダンの補題より次が導かれる。
![{\displaystyle \lim _{R\to \infty }\int _{C_{R}}f(z)\,dz=0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/349583da05fa261b076437ad229c4c75fd97ffc7)
- a = 0の場合については、推定補題を参照せよ。
- 推定補題と比較すると、ジョルダンの補題の上限は経路CRの長さに明示的に依存しない。
ジョルダンの補題の適用
経路Cは経路C1 C2からなる。 ジョルダンの補題により、関数f(z) = eiaz g(z)の実軸に沿った積分を計算する簡単な方法が与えられる。f(z)が上半平面で正則であり、閉じた上半平面で連続であるとき(ただし有限個の極z1, z2, …, znを除く)、画像に示されている経路C1 C2を連結した閉じた経路Cを考える。定義より、
![{\displaystyle \oint _{C}f(z)\,dz=\int _{C_{1}}f(z)\,dz+\int _{C_{2}}f(z)\,dz\,.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/212626e6d660711e99b47be46973d8cab1c8a9ac)
C2では変数zが実数であるため、2番目の積分は実数である。
![{\displaystyle \int _{C_{2}}f(z)\,dz=\int _{-R}^{R}f(x)\,dx\,.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/aa686bc5850b38f3e96d2180eae7e20390977cab)
左辺は、留数定理を使用して計算する。 |z1| 、 |z2| 、…、 |zn| のすべてより大きいRについて以下が成り立つ。
![{\displaystyle \oint _{C}f(z)\,dz=2\pi i\sum _{k=1}^{n}\operatorname {Res} (f,z_{k})\,,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/de400cc7124fc08da2280bbe061517a91dc8f622)
Res(f, zk)はfの特異点zkについての留数を示す。 fが条件( * )を満たしている場合、 Rが無限大の極限では、C1についての周回積分はジョルダンの補題によって消滅し、広義積分の値が以下のように得られる。
![{\displaystyle \int _{-\infty }^{\infty }f(x)\,dx=2\pi i\sum _{k=1}^{n}\operatorname {Res} (f,z_{k})\,.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/025ca8df3f002c6a1af3bf6d111bfc1fc8db80e0)
例
関数
![{\displaystyle f(z)={\frac {e^{iz}}{1+z^{2}}},\qquad z\in {\mathbb {C} }\setminus \{i,-i\},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7eaa86891ab2e1694fbdcfac81362b8e745e5225)
はR ≠ 1をみたすR > 0に対してa = 1でジョルダンの補題の条件を満たす。 R > 1の場合、
![{\displaystyle M_{R}=\max _{\theta \in [0,\pi ]}{\frac {1}{|1+R^{2}e^{2i\theta }|}}={\frac {1}{R^{2}-1}}\,,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/903dee19462fa937a84af5d7f5d2becd1861df0a)
したがって、( * )が成り立つ。上半平面におけるfの唯一の特異点はz = iにあるため
![{\displaystyle \int _{-\infty }^{\infty }{\frac {e^{ix}}{1+x^{2}}}\,dx=2\pi i\,\operatorname {Res} (f,i)\,.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d332971e522f853ac846a5408d94d98e77b45899)
z = iはfの単純な極であり、1 + z2 = (z + i)(z − i)であるため、次のようになる。
![{\displaystyle \operatorname {Res} (f,i)=\lim _{z\to i}(z-i)f(z)=\lim _{z\to i}{\frac {e^{iz}}{z+i}}={\frac {e^{-1}}{2i}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d24e5b9d4898e0159b8a13fd12e23acb78e21843)
そのため
![{\displaystyle \int _{-\infty }^{\infty }{\frac {\cos x}{1+x^{2}}}\,dx=\operatorname {Re} \int _{-\infty }^{\infty }{\frac {e^{ix}}{1+x^{2}}}\,dx={\frac {\pi }{e}}\,.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/848df69847cbc94ef9678775eddacd021ad052a2)
この結果は、古典的な方法での計算が難しい積分のうち、一部が複素解析により簡単に求まることの例である。
ジョルダンの補題の証明
複素線積分の定義により、
![{\displaystyle \int _{C_{R}}f(z)\,dz=\int _{0}^{\pi }g(Re^{i\theta })\,e^{iaR(\cos \theta +i\sin \theta )}\,iRe^{i\theta }\,d\theta =R\int _{0}^{\pi }g(Re^{i\theta })\,e^{aR(i\cos \theta -\sin \theta )}\,ie^{i\theta }\,d\theta \,.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/817be4395eaf45b79e07d8cad605d5787de65cfa)
不等式
![{\displaystyle {\biggl |}\int _{a}^{b}f(x)\,dx{\biggr |}\leq \int _{a}^{b}\left|f(x)\right|\,dx}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f1a738f8388e2a460bad01e8f1926f07efcb2720)
から
![{\displaystyle I_{R}:={\biggl |}\int _{C_{R}}f(z)\,dz{\biggr |}\leq R\int _{0}^{\pi }{\bigl |}g(Re^{i\theta })\,e^{aR(i\cos \theta -\sin \theta )}\,ie^{i\theta }{\bigr |}\,d\theta =R\int _{0}^{\pi }{\bigl |}g(Re^{i\theta }){\bigr |}\,e^{-aR\sin \theta }\,d\theta \,.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1a459dc437207bcc43c7b29b05fd1192fa1f21bf)
( * )で定義されているMRと、正弦関数の対称性sin θ = sin(π – θ)から、次が導かれる。
![{\displaystyle I_{R}\leq RM_{R}\int _{0}^{\pi }e^{-aR\sin \theta }\,d\theta =2RM_{R}\int _{0}^{\pi /2}e^{-aR\sin \theta }\,d\theta \,.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/476b8bc8dc38ca59f2ad1b196d6cd4f759a6dfa5)
sin θのグラフは領域θ ∈ [0, π ⁄ 2]で凹関数なので、sin θのグラフは、それの端点を結んだ直線よりも上に来る。よってθ ∈ [0, π ⁄ 2]において
![{\displaystyle \sin \theta \geq {\frac {2\theta }{\pi }}\quad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/1f01b2026e0236bc238f246f82adf686dc46f448)
このことから
![{\displaystyle I_{R}\leq 2RM_{R}\int _{0}^{\pi /2}e^{-2aR\theta /\pi }\,d\theta ={\frac {\pi }{a}}(1-e^{-aR})M_{R}\leq {\frac {\pi }{a}}M_{R}\,.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1892c66fedde31fa40ce9dc0a87932b047a8ae2b)
参照
脚注
参考文献
- 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