留数のソースを表示

{{出典の明記|date=2024年1月}}
[[複素解析学]]における'''留数'''（りゅうすう、{{lang-en-short|''residue''}}）は、[[特異点 (数学)|孤立特異点]]を囲む経路に沿う[[有理型関数]]の[[複素線積分]]により得られる[[複素数]]である。

== 定義 ==
解析函数 {{Math|''f''(''z'')}} に対し {{Math|1=''z'' = ''a''}} が[[孤立特異点]]であるとき、 {{Math|1=''z'' = ''a''}} における'''留数''' <math>\operatorname{Res}(f,a)</math> または <math>\operatorname{Res}_a(f)</math>が定義でき、

留数定理により次のように定められる。
: <math>\operatorname{Res}\limits_{z = a}\,f(z) := \frac{1}{2\pi i}\oint_\gamma f(z)\mathit{dz}</math>
（{{Math|1=''z'' = ''a''}} が正則点の場合にもこの積分および留数を考えることができるが、[[コーシーの積分定理]]により、その場合留数の値は消える）。ただし、{{Mvar|i}} は[[虚数単位]]、積分路 {{Math|γ}} は点 {{Math|1=''z'' = ''a''}} を中心とする十分小さな円を正の向きに回るものとする（実際には、積分路は、それが[[ガウス平面]]から切り取る有界領域が {{Math|1=''z'' = ''a''}} 以外に {{Math|''f''(''z'')}} の特異点を含まなければ、どんな[[単純閉曲線]]でも良い）。

無限遠点 {{math|&infin;}} を含めて {{Math|[[リーマン球面|'''P'''<sup>1</sup>]] {{coloneqq}} '''C''' ∪ {{mset|∞}}}} 上の函数を考えるときは、無限遠点における留数というものを考えることができる。無限遠点 {{Math|1=''z'' = ∞}} に孤立特異点を持つ解析函数 {{Math|''f''(''z'')}} に対し、{{Math|1=''z'' = 1/''ζ''}} なる変数変換を行えば、{{Math|1=''g''(''ζ'') := ''f''(1/''ζ'')}} は {{Math|1=''ζ'' = 0}} に孤立特異点を持つ（あるいは正則な）解析函数だが、留数 {{Math|1=Res<sub>''z''=∞ </sub>''f''(''z'')''dz''}} は
: <math>\operatorname{Res}\limits_{z=\infty}\,f(z) = \frac{1}{2\pi i}\oint_\gamma f(1/\zeta)d(1/\zeta) = - \operatorname{Res}\limits_{\zeta=0}\,\frac{g(\zeta)}{\zeta^2}\; (\ne \operatorname{Res}\limits_{\zeta=0}\,g(\zeta))</math>
であることに留意すべきである。

== 留数計算 ==
解析函数 {{Math|''f''(''z'')}} はその孤立特異点 {{Math|1=''z'' = ''a''}} の周りで[[ローラン展開]]
: <math>f(z) = \sum_{n=-\infty}^{\infty} a_n(z-a)^n</math>
を持つ。これは、{{Math|γ}} を含み {{Math|1=''z'' = ''a''}} を中心とする適当な[[アニュラス|円環領域]]上で一様収束するから、{{mvar|γ}} 上項別積分可能で
: <math>\oint_\gamma f(z)\mathit{dz} = \sum_{n=-\infty}^{\infty} a_n \oint_\gamma (z-a)^n \mathit{dz}</math>
となるが、コーシーの積分定理によりほとんどの項は消えて
: <math>a_{-1} = \operatorname{Res}\limits_{z=a}\,f(z)</math>
となることがわかる。同様に、無限遠点 {{Math|1=''z'' = ∞}} における留数は、{{Math|1=''g''(''ζ'') := ''f''(1/''ζ'')}} の {{Mvar|ζ}} に関するローラン展開が
: <math>g(\zeta) = \sum_{n=-\infty}^{\infty} b_n \zeta^n</math>
で与えられるならば、{{Math|1=Res<sub>''z''=∞ </sub>−''b''<sub>−1</sub>}} を得る。ゆえに、ローラン展開が既知あるいは容易に計算することのできる函数については、積分を計算することなく直ちに留数を求めることができる。また、孤立特異点 {{Math|1=''z'' = ''a''}} が {{Math|''f''(''z'')}} の {{Mvar|n}}-位の[[極 (複素解析)|極]]であるなら、{{Math|(''z'' − ''a'')<sup>''n''</sup>''f''(''z'')}} は正則で、とくに
: <math>(z-a)^n f(z) = \sum_{k=0}^{\infty} a_{k-n}(z-a)^k</math>
と[[テイラー展開]]されるので、
: <math>a_{-1} = {1\over (n-1)!}\lim_{z\to a}\frac{d^{n-1}}{\mathit{dz}^{n-1}}[(z-a)^n f(z)]</math>
と計算することができる。

== 留数定理 ==
[[Image:Residue theorem illustration.svg|right|200px|thumb]]
{{main|{{ill2|留数定理|en|Residue theorem|preserve=1}}}}
単純閉曲線 {{Math|γ}} と、{{Math|γ}} が囲む有界領域 {{Mvar|D}} を考える。''{{Mvar|D}}'' 上で定義される関数 {{Math|''f''(''z'')}} が {{Mvar|D}} 内に孤立特異点 {{Math|''a''<sub>1</sub>, ''a''<sub>2</sub>, …, ''a''<sub>''n''</sub>}} をもち、それ以外で正則であるなら
: <math>\oint_\gamma f(z)\mathit{dz} = 2\pi i\sum_{i=1}^n \operatorname{Res}\limits_{z=a_i}\,f(z)</math>
が成り立つ。ただし、積分は {{mvar|&gamma;}} を {{mvar|D}} の内点からの偏角が正の向き（領域を左に望む方向）に進む。これを'''留数定理''' {{lang|en|(residue theorem)}} と呼ぶ。

===例1：実軸上の積分===
留数定理を用いると、例えば
: <math>\int_{-\infty}^\infty {\mathit{dx} \over (1+x^2)^{n+1}}</math>
のような積分が計算できる。まず、{{Math|1=''f''(''x'') = 1 /(1 + ''x''<sup>2</sup>)<sup>''n'' + 1</sup>}} を複素領域へ拡張した {{Math|''f''(''z'')}} を考えると、これは {{Math|1=''z'' = ±''i''}} に極を持つ。十分大きな {{Math|''R'' > 0}} を取り、区間 {{closed-closed|−''R'', ''R''}} を直径とする原点中心の半円板で {{Math|1=''z'' = ''i''}} を含むほうの周を {{Math|''C''<sub>0</sub>}}、{{Math|''C''<sub>0</sub>}} から直径 {{closed-closed|−''R'', ''R''}} を除いた部分を {{mvar|C}} とする。実軸上を正の向きに進むものとして {{Math|''C''<sub>0</sub>}} 上で {{Math|''f''(''z'')}} を積分すれば
: <math>\int_{C_0}{\mathit{dz}\over(1+z^2)^{n+1}} = \int_{-R}^R {\mathit{dx}\over(1+x^2)^{n+1}} + \int_{C}{\mathit{dz}\over(1+z^2)^{n+1}} </math>
である。このとき {{mvar|C}} が十分大きければ {{mvar|R}} に依らず、{{Math|''C''<sub>0</sub>}} の囲む領域内で {{Math|''f''(''z'')}} は {{Math|(''n'' + 1)}}-位の極 {{Math|1=''z'' = ''i''}} をもち、かつそれ以外には特異点を持たないから、留数定理により左辺は
: <math>\begin{align} 
 2\pi i\,\operatorname{Res}\limits_{z=i}\,f(z) 
 & = {2\pi i\over n!}\lim_{z\to i}{d^n\over \mathit{dz}^n}\!\left(\frac{(z-i)^{n+1}}{(1+z^2)^{n+1}}\right)\\
 &= {2\pi i\over n!}\left. {d^n\over \mathit{dz}^n}{1\over(z+i)^{n+1}}\right|_{z=i} 
 = {\pi(2n)! \over 2^{2n}(n!)^2}
\end{align}</math>
となる。一方、右辺第二項は {{Math|''R'' → ∞}} のとき {{math|0}} に収束するので、結局
: <math>{\pi(2n)! \over 2^{2n}(n!)^2} = \int_{-\infty}^\infty {\mathit{dx} \over (1+x^2)^{n+1}}</math>
を得る。

===例2：偏角の原理===
留数定理の系として、'''偏角の定理'''あるいは'''[[偏角の原理]]'''などと呼ばれる次のような定理を得ることができる。
; 定理:単純閉曲線 {{mvar|&gamma;}} の囲む有界領域 {{mvar|D}} の閉包を {{Math|E}} とし、{{Math|E}} 上で定義される[[有理型関数]] {{Math|''f''(''z'')}} は {{Math|&gamma;}} 上に極も[[零点]]も持たないとする。このとき、{{Math|''f''(''z'')}} の {{mvar|D}} 内での零点と極は有限個である。重複度まで込めた零点の個数を {{Mvar|n}}、極の個数を {{Mvar|m}} とすると <math display="block">
 \frac{1}{2\pi i}\oint_\gamma d\!\log f(z) = n-m
</math> が成り立つ。さらに一般に、重複度込みで零点が {{Math|''a''<sub>1</sub>, ''a''<sub>2</sub>, …, ''a''<sub>''n''</sub>}}、極が {{Math|''b''<sub>1</sub>, ''b''<sub>2</sub>, …, ''b''<sub>''m''</sub>}} であるとすると、{{Math|E}} 上の任意の[[正則関数]] {{Math|''g''(''z'')}} に対して <math display="block">
 \frac{1}{2\pi i}\oint_\gamma g(z)\,d\!\log f(z)
 = \sum_{j=1}^n g(a_j) - \sum_{k=1}^m g(b_k)
</math> が成立する。

===例3：バーゼル問題の解===
[[三角関数|余接関数]]を使った関数 {{math|π cot(π''z'')}} は、全ての整数 {{mvar|n}} が1位の極であり、留数はいずれも 1 である（これらが特異点の全てである）。このことを利用して、

:<math>\displaystyle \sum_{n=-\infty}^\infty f(n)</math>

のような無限和の計算ができる。

例えば {{math|''f''(''z'') {{=}} ''z''<sup>−2</sup>}} ととる。{{mvar|N}} を整数とし、{{mvar|Γ<sub>N</sub>}} を正方形 {{math|[−''N'' − {{sfrac|1|2}}, ''N'' + {{sfrac|1|2}}] × [−''N'' − {{sfrac|1|2}}, ''N'' + {{sfrac|1|2}}]}} の周に反時計回りに向きを付けた閉路とする。

留数定理により、

:<math>\frac{1}{2 \pi i} \int_{\Gamma_N} f(z) \pi \cot(\pi z) \, dz = \operatorname{Res}\limits_{z = 0} f(z) \pi \cot(\pi z) + \sum_{n = -N \atop n\ne 0}^N n^{-2}.</math>

左辺は {{math|''N'' → ∞}} のとき、0に収束する。なぜなら被積分関数の[[ランダウの記号|オーダーが {{math|''O''(''N''<sup>−2</sup>)}}]] だからである。

一方、

:<math>\frac{z}{2} \cot\left(\frac{z}{2}\right) = 1 - B_2 \frac{z^2}{2!} + \cdots; \qquad B_2 = \frac{1}{6}</math>

である<ref>{{cite book |last=Whittaker |first=E. T. |authorlink=E. T. Whittaker |last2=Watson |first2=G. N. |authorlink2=G. N. Watson |title=[[A Course of Modern Analysis]] |location= |publisher=Cambridge University Press |year=1902 |at=§ 7.2 }}</ref>。実際これは、{{math|{{sfrac|''z''|2}} cot({{sfrac|''z''|2}}) {{=}} {{sfrac|''iz''|1 − ''e''<sup>−''iz''</sup>}} − {{sfrac|''iz''|2}}}} と変形することで分かる（[[ベルヌーイ数]]を参照）。これより、留数 <math>\operatorname{Res}\limits_{z = 0} f(z) \pi \cot(\pi z)</math> は {{math|−{{sfrac|π<sup>2</sup>|3}}}} に等しい。

以上より

:<math>\sum_{n = 1}^\infty \frac{1}{n^2} = \frac{\pi^2}{6}</math>

であることがわかり、[[バーゼル問題]]の解法の一つが得られた。

===例4：余接関数の部分分数展開===
同じ技巧を用いて、整数でない任意の複素数 {{mvar|z}} について 

:<math>\pi \cot(\pi z) = \lim_{N \to \infty} \sum_{n=-N}^N (z - n)^{-1}</math>

が各点収束の意味で成り立っていることが証明できる（[[三角関数の部分分数展開|部分分数展開]]）。

{{mvar|w}} を整数でない複素数として、{{math|''f''(''z'') {{=}} (''w'' − ''z'')<sup>−1</sup>}} ととる。例3と同様にして

:<math>
\begin{align}
\frac{1}{2 \pi i} \int_{\Gamma_N} f(z) \pi \cot(\pi z) \, dz &= \operatorname{Res}\limits_{z = w} f(z) \pi \cot(\pi z) + \sum_{n = -N }^N \frac{1}{w-n} \\ 
&= - \pi \cot(\pi w) + \sum_{n = -N }^N \frac{1}{w-n}
\end{align}
</math>

が得られる。今回難しいのは、左辺の複素線積分が消えることの証明である。そこで

:<math>\int_{\Gamma_N} \frac{\pi \cot(\pi z)}{z} \, dz = 0</math>

であることを利用する。これが成り立つのは、被積分関数が偶関数であるため、左半平面にある経路からの寄与と右半平面にある経路からの寄与が互いに打ち消し合うからである。

よって、

:<math>\int_{\Gamma_N} f(z) \pi \cot(\pi z) \, dz = \int_{\Gamma_N} \left(\frac{1}{w - z} + \frac{1}{z}\right) \pi \cot(\pi z) \, dz</math>

は {{math|''N'' → ∞}} のとき 0 に収束する。

このことと留数定理の等式とをあわせて、文字を {{mvar|w}} から {{mvar|z}} に取り換えれば、最初に提示した等式になる。 

== 脚注 ==
{{reflist}}

== 参考文献 ==
* {{Cite book|和書|title=複素解析|author=L.V. アールフォルス|authorlink=ラース・ヴァレリアン・アールフォルス|translator=笠原乾吉|publisher=現代数学社|year=1982|isbn=4-7687-0118-3|ref=harv}}

== 外部リンク ==
* {{MathWorld|urlname=ComplexResidue|title=Complex Residue}}
* {{nlab|id=residue}}
* {{ProofWiki|urlname=Definition:Residue_(Complex_Analysis)|title=Definition:Residue (Complex Analysis)}}

== 関連項目 ==
* [[コーシーの積分定理]]
* [[ルーシェの定理]]

{{DEFAULTSORT:りゆうすう}}
[[Category:複素解析]]
[[Category:数学に関する記事]]