留数

複素解析学における留数（りゅうすう、）は、孤立特異点を囲む経路に沿う有理型関数の複素線積分により得られる複素数である。

 定義 
解析函数  に対し  が孤立特異点であるとき、  における留数  または が定義でき、

留数定理により次のように定められる。

（ が正則点の場合にもこの積分および留数を考えることができるが、コーシーの積分定理により、その場合留数の値は消える）。ただし、 は虚数単位、積分路  は点  を中心とする十分小さな円を正の向きに回るものとする（実際には、積分路は、それがガウス平面から切り取る有界領域が  以外に  の特異点を含まなければ、どんな単純閉曲線でも良い）。

無限遠点  を含めて  上の函数を考えるときは、無限遠点における留数というものを考えることができる。無限遠点  に孤立特異点を持つ解析函数  に対し、 なる変数変換を行えば、 は  に孤立特異点を持つ（あるいは正則な）解析函数だが、留数  は

であることに留意すべきである。

 留数計算 
解析函数  はその孤立特異点  の周りでローラン展開

を持つ。これは、 を含み  を中心とする適当な円環領域上で一様収束するから、 上項別積分可能で

となるが、コーシーの積分定理によりほとんどの項は消えて

となることがわかる。同様に、無限遠点  における留数は、 の  に関するローラン展開が

で与えられるならば、 を得る。ゆえに、ローラン展開が既知あるいは容易に計算することのできる函数については、積分を計算することなく直ちに留数を求めることができる。また、孤立特異点  が  の -位の極であるなら、 は正則で、とくに

とテイラー展開されるので、

と計算することができる。

 留数定理 

単純閉曲線  と、 が囲む有界領域  を考える。 上で定義される関数  が  内に孤立特異点  をもち、それ以外で正則であるなら

が成り立つ。ただし、積分は  を  の内点からの偏角が正の向き（領域を左に望む方向）に進む。これを留数定理  と呼ぶ。

例1：実軸上の積分
留数定理を用いると、例えば

のような積分が計算できる。まず、 を複素領域へ拡張した  を考えると、これは  に極を持つ。十分大きな  を取り、区間  を直径とする原点中心の半円板で  を含むほうの周を 、 から直径  を除いた部分を  とする。実軸上を正の向きに進むものとして  上で  を積分すれば

である。このとき  が十分大きければ  に依らず、 の囲む領域内で  は -位の極  をもち、かつそれ以外には特異点を持たないから、留数定理により左辺は

となる。一方、右辺第二項は  のとき  に収束するので、結局

を得る。

例2：偏角の原理
留数定理の系として、偏角の定理あるいは偏角の原理などと呼ばれる次のような定理を得ることができる。
 定理単純閉曲線  の囲む有界領域  の閉包を  とし、 上で定義される有理型関数  は  上に極も零点も持たないとする。このとき、 の  内での零点と極は有限個である。重複度まで込めた零点の個数を 、極の個数を  とすると  が成り立つ。さらに一般に、重複度込みで零点が 、極が  であるとすると、 上の任意の正則関数  に対して  が成立する。

例3：バーゼル問題の解
余接関数を使った関数  は、全ての整数  が1位の極であり、留数はいずれも 1 である（これらが特異点の全てである）。このことを利用して、

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

例えば  ととる。 を整数とし、 を正方形  の周に反時計回りに向きを付けた閉路とする。

留数定理により、

左辺は  のとき、0に収束する。なぜなら被積分関数のオーダーが  だからである。

一方、

である。実際これは、 と変形することで分かる（ベルヌーイ数を参照）。これより、留数  は  に等しい。

以上より

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

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

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

 を整数でない複素数として、 ととる。例3と同様にして

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

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

よって、

は  のとき 0 に収束する。

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

 脚注 

 参考文献 


 外部リンク 




 関連項目 
 コーシーの積分定理
 ルーシェの定理

Category:複素解析
Category:数学に関する記事