前回の記事ではLaurent(ローラン)展開について説明しました.
複素関数$f$が1点$\alpha$中心,半径$R$の円内部から中心$\alpha$を除いた領域$\set{z\in\C}{0<|z-\alpha|<R}$で正則なら,この領域上で
と級数で表すことができ,この右辺を$f$の$\alpha$でのLaurent展開というのでした.
このときの係数$c_{-1}$は$f$の$\alpha$での留数と呼ばれ,$\operatorname{Res}{(f,\alpha)}$と表すのでした.この留数$\operatorname{Res}{(f,\alpha)}$については
が成り立つことから,留数は複素積分に密接に関係するものになっています.
さて,講義積分を留数定理という複素解析の重要定理を用いて求めることができる場合があります.
そこで,この記事では留数定理を紹介し,具体的に次の問題を解きます.
次の広義積分を計算せよ.
「複素解析の基本」の一連の記事
留数定理
まずは留数定理を説明しますが,そのためには前回の記事で詳しく説明したLaurent展開について復習しておきましょう.
ローラン展開
Laurent展開可能であることを保証する次の定理がベースとなります.
[ローラン展開可能性と一意性] 領域$D$から$\alpha\in D$を除いた領域$D’$上の正則関数$f$を考え,周および内部が$D$に含まれる$\alpha$中心の円周$C$をとる.このとき,$f$は$C$の内部から$\alpha$を除いた領域で
と表せる.すなわち,$\alpha$中心でLaurent展開可能である.また,係数$c_{k}$は
と一意に表される.
係数$c_{k}$について,$k=-1$のときに注目すると
が成り立つので,$c_{-1}$は複素積分に密接に関わるものとして次のように定義されます.
[留数] 上のローラン展開の$c_{-1}$を$f$の$\alpha$における留数(residue)といい,$\mrm{Res}(f,\alpha)$や$\mrm{Res}_{\alpha}f$などと表す.
以上について詳しくは前回の記事を参照してください.

留数定理
留数定理は
- 以上の留数と複素積分の関係
- Cauchyの積分定理を用いた積分経路の変形
の2つが理解できていれば簡単に導くことができます.
[留数定理] 領域$D$内に有限個の点$\alpha_{1},\dots,\alpha_{n}$があり,$D$内の閉曲線$C$がこれらの点を内部に含むとする.このとき,領域$D\setminus\{\alpha_{1},\dots,\alpha_{n}\}$上の正則関数$f$に対して
が成り立つ.ただし,$C$の向きは正方向とし,$\mrm{Res}(f,\alpha_{k})$は$f$の点$\alpha_{k}$での留数を表す($k=1,\dots,n$).
周も内部も$D$内に含まれる$\alpha_k$中心の円周$C_k$ ($k=1,\dots,n$)を,$C_1,\dots,C_n$が互いに外部にあるようにとる.
閉積分経路$C$を領域$D\setminus\{\alpha_{1},\dots,\alpha_{n}\}$内で連続的に変形して$C_1\cup\dots\cup C_n$に連続的に変形できるから,Cauchyの積分定理より
である.$\dint_{C_k}f(z)\,dz=2\pi i\operatorname{Res}{(f,\alpha_k)}$ ($k=1,2,\dots,n$)だから留数定理を得る.
証明の途中で用いた「被積分関数が正則な領域で閉積分経路を連続的に変形しても複素積分が半径しない」ことはCauchyの積分定理から導けます.
詳しくは以下の記事で説明しています.

留数定理の広義積分への応用
それでは冒頭に書いた次の問題を解きましょう.
次の広義積分を計算せよ.
解答の方針
最初に,問題の広義積分は
であることを思い出しておきましょう.
ポイント1
極限$R\to\infty$をとる前の定積分$\dint_{-R}^{R}\frac{1}{(x^{2}+1)^{6}}\,dx$は,実軸上の閉区間$[-R,R]$と$f(z)=\dfrac{1}{(z^{2}+1)^{6}}$で定まる複素関数$f$を用いれば,
と複素積分で表せますね.ただし,$L_R$の向きは実軸上の負から正に向かう方向としています.
ポイント2
原点中心の虚部が0以上の半円$C_{R}$を考え,$C_R$と$L_R$を併せた閉曲線を$C$とします.ただし,$C_R$の向きは$L_R$に自然に繋がる方向とします.
このとき,$z\in C_R$の絶対値は$R$なので,$C_R$上で
と考えられます.よって,$f$を$C_R$上で積分しても$C_R$の長さ$\pi R$をかけた$\dfrac{\pi R}{(R^2+1)^6}$程度なので,$R\to\infty$で0に近付くことがみてとれます.
ポイント3
$R>1$なら閉曲線$C$は$f$が正則な領域に含まれ,閉曲線$C$の内部では$i$のみで$f$が微分不可能なので,留数定理より
が$R$によらず成り立ちます.また
なので両辺で極限$R\to\infty$をとれば,ポイント1とポイント2を併せて
となって,問題の広義積分が得られることになります.
解答例
今考えた方針をもとに解答を書いていきましょう.
複素関数$f$と複素平面上の曲線$L_{R}$, $C_R$と閉曲線$C$を次で定めます:
ただし,$R>1$とします.このとき,
となりますね.
[1] $\lim\limits_{R\to\infty}\dint_{C_R}f(z)\,dz=0$を示す.
$z\in C_{R}$に対して$\dfrac{dz}{dt}=R(-\sin{t}+i\cos{t})$だから,
となり,$\lim\limits_{R\to\infty}\abs{\dint_{C_{R}}f(z)\,dz}=0$と計算できるので,$\lim\limits_{R\to\infty}\dint_{C_{R}}f(z)\,dz=0$が得られます.
ただし,下から2行目の不等式では三角不等式
を用いました.
[2] $\dint_{C}f(z)\,dz$を求める.
$f$は領域$\C\setminus\{\pm i\}$で正則で$R>1$だから,留数定理より
となります.ここで,複素関数$g$を
で定めます.$g$は$i$の近傍で正則だから$i$中心でTaylor展開が可能なので
の形に$f$の$i$中心のLaurent展開ができることが分かり,このとき$\operatorname{Res}{(f,i)}=a_{5}$となりますね.このLaurent展開から
であり,$g(z)=\dfrac{1}{(z+i)^{6}}$から
だから,
となって,$\dint_{C}f(z)\,dz=\frac{10!}{(5!)^{2}2^{10}}\pi$が得られます.
以上より,目的の広義積分は
と計算できました.
この解答を読めば
- $\dint_{-R}^{R}\frac{1}{(x^2+1)^6}\,dx$が$\dint_{C}f(z)\,dz$と$\dint_{C_R}f(z)\,dz$を用いて書ける
- $R>1$なら常に$\dint_{C}f(z)\,dz$は一定
- $\dint_{C_R}f(z)\,dz$は求められなくても,$R\to\infty$の極限は分かる
という3つのおかげで計算できていることが分かりますね.
コメント