留数
数学、殊に複素解析学における留数（りゅうすう、テンプレート:Lang-en-short）は、複素解析函数の孤立特異点の周りでの挙動について記述する複素数である。
定義
解析函数 f(z) とその孤立特異点 z = a に対し、微分形式 f(z)dz の z = a における留数とは、積分
- <math>\operatorname*{Res}_{z = a}\,f(z) := \frac{1}{2\pi i}\oint_\gamma f(z)dz</math>
によって定められる（z = a が正則点の場合にもこの積分および留数を考えることができるが、コーシーの積分定理により、その場合留数の値は消える）。ただし、i は虚数単位、積分路 γ は点 z = a を中心とする十分小さな円を正の向きに回るものとする（実際には、積分路は、それがガウス平面から切り取る有界領域が z = a 以外に f(z) の特異点を含まなければ、どんな単純閉曲線でも良い）。
無限遠点 ∞ を含めて P1 := C ∪ {∞} 上の函数を考えるときは、無限遠点における留数というものを考えることができる。無限遠点 z = ∞ に孤立特異点を持つ解析函数 f(z) に対し、z = 1/ζ なる変数変換を行えば、g(ζ) := f(1/ζ) は ζ = 0 に孤立特異点を持つ（あるいは正則な）解析函数だが、留数 Resz=∞ f(z)dz は
- <math>\operatorname*{Res}_{z=\infty}\,f(z) = \frac{1}{2\pi i}\oint_\gamma f(1/\zeta)d(1/\zeta) = - \operatorname*{Res}_{\zeta=0}\,\frac{g(\zeta)}{\zeta^2} \left(\ne \operatorname*{Res}_{\zeta=0}\,g(\zeta)\right)</math>
であることに留意すべきである。
留数計算
解析函数 f(z) はその孤立特異点 z = a の周りでローラン展開
- <math>f(z) = \sum_{n=-\infty}^{\infty} a_n(z-a)^n</math>
を持つ。これは、γ を含み z = a を中心とする適当な円環領域上で一様収束するから、γ 上項別積分可能で
- <math>\oint_\gamma f(z)dz = \sum_{n=-\infty}^{\infty} a_n \oint_\gamma (z-a)^n dz</math>
となるが、コーシーの積分定理によりほとんどの項は消えて
- <math>a_{-1} = \operatorname*{Res}_{z=a}\,f(z)</math>
となることがわかる。同様に、無限遠点 z = ∞ における留数は、g(ζ) := f(1/ζ) の ζ に関するローラン展開が
- <math>g(\zeta) = \sum_{n=-\infty}^{\infty} b_n \zeta^n</math>
で与えられるならば、Resz=∞ f(z) = −b−1 を得る。ゆえに、ローラン展開が既知あるいは容易に計算することのできる函数については、積分を計算することなく直ちに留数を求めることができる。また、孤立特異点 z = a が f(z) の n-位の極であるなら、(z − a)nf(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}}{dz^{n-1}}[(z-a)^n f(z)]</math>
と計算することができる。
留数定理
単純閉曲線 γ と、γ が囲む有界領域 D を考える。D 上で定義される関数 f(z) が D 内に孤立特異点 a1, a2, ..., an をもち、それ以外で正則であるならば、
- <math>\oint_\gamma f(z)dz = 2\pi i\sum_{i=1}^n \operatorname*{Res}_{z=a_i}\,f(z)</math>
が成り立つ。ただし、積分は γ を D の内点からの偏角が正の向き（領域を左に望む方向）に進む。これを留数定理 (residue theorem) と呼ぶ。留数定理を用いると、例えば
- <math>\int_{-\infty}^\infty {dx \over (1+x^2)^{n+1}}</math>
のような積分が計算できる。まず、f(x) = 1 /(1 + x2)n+1 を複素領域へ拡張した f(z) を考えると、これは z = ±i に極を持つ。十分大きな R > 0 を取り、区間 [−R, R] を直径とする原点中心の半円板で z = i を含むほうの周を C0, C0 から直径 [−R, R] を除いた部分を C とする。実軸上を正の向きに進むものとして C0 上で f(z) を積分すれば
- <math>\int_{C_0}{dz\over(1+z^2)^{n+1}} = \int_{-R}^R {dx\over(1+x^2)^{n+1}} + \int_{C}{dz\over(1+z^2)^{n+1}} </math>
である。このとき R が十分大きければ R に依らず、C0 の囲む領域内で f(z) は (n + 1)-位の極 z = i をもち、かつそれ以外には特異点を持たないから、留数定理により左辺は
- <math>\begin{align}
2\pi i\,\operatorname*{Res}_{z=i}\,f(z)
& = {2\pi i\over n!}\lim_{z\to i}{d^n\over dz^n}\!\left(\frac{(z-i)^{n+1}}{(1+z^2)^{n+1}}\right)\\
&= {2\pi i\over n!}\left. {d^n\over dz^n}{1\over(z+i)^{n+1}}\right|_{z=i}
= {\pi(2n)! \over 2^{2n}(n!)^2}
\end{align}</math> となる。一方、右辺第二項は R → ∞ のとき 0 に収束するので、結局
- <math>{\pi(2n)! \over 2^{2n}(n!)^2} = \int_{-\infty}^\infty {dx \over (1+x^2)^{n+1}}</math>
を得る。留数定理の系として、偏角の定理あるいは偏角の原理などと呼ばれる次のような定理を得ることができる。 テンプレート:Indent
