留数
数学、殊に複素解析学における留数（りゅうすう、英: residue）は、孤立特異点を囲む経路に沿う有理型関数の複素線積分により得られる複素数である。
目次
1 定義
2 留数計算
3 留数定理
4 参考文献
5 外部リンク
6 関連項目
定義
解析函数 f(z) とその孤立特異点 z = a に対し、微分形式 f(z)dz の z = a における留数とは、積分
- Resz=af(z):=12πi∮γf(z)dzdisplaystyle operatorname Res limits _z=a,f(z):=frac 12pi ioint _gamma f(z)mathit dz
によって定められる（z = a が正則点の場合にもこの積分および留数を考えることができるが、コーシーの積分定理により、その場合留数の値は消える）。ただし、i は虚数単位、積分路 γ は点 z = a を中心とする十分小さな円を正の向きに回るものとする（実際には、積分路は、それがガウス平面から切り取る有界領域が z = a 以外に f(z) の特異点を含まなければ、どんな単純閉曲線でも良い）。
無限遠点 ∞ を含めて P1:= C ∪ ∞ 上の函数を考えるときは、無限遠点における留数というものを考えることができる。無限遠点 z = ∞ に孤立特異点を持つ解析函数 f(z) に対し、z = 1/ζ なる変数変換を行えば、g(ζ) := f(1/ζ) は ζ = 0 に孤立特異点を持つ（あるいは正則な）解析函数だが、留数 Resz=∞ f(z)dz は
- Resz=∞f(z)=12πi∮γf(1/ζ)d(1/ζ)=−Resζ=0g(ζ)ζ2(≠Resζ=0g(ζ))displaystyle operatorname Res limits _z=infty ,f(z)=frac 12pi ioint _gamma f(1/zeta )d(1/zeta )=-operatorname Res limits _zeta =0,frac g(zeta )zeta ^2;(neq operatorname Res limits _zeta =0,g(zeta ))
であることに留意すべきである。
留数計算
解析函数 f(z) はその孤立特異点 z = a の周りでローラン展開
- f(z)=∑n=−∞∞an(z−a)ndisplaystyle f(z)=sum _n=-infty ^infty a_n(z-a)^n
を持つ。これは、γ を含み z = a を中心とする適当な円環領域上で一様収束するから、γ 上項別積分可能で
- ∮γf(z)dz=∑n=−∞∞an∮γ(z−a)ndzdisplaystyle oint _gamma f(z)mathit dz=sum _n=-infty ^infty a_noint _gamma (z-a)^nmathit dz
となるが、コーシーの積分定理によりほとんどの項は消えて
- a−1=Resz=af(z)displaystyle a_-1=operatorname Res limits _z=a,f(z)
となることがわかる。同様に、無限遠点 z = ∞ における留数は、g(ζ) := f(1/ζ) の ζ に関するローラン展開が
- g(ζ)=∑n=−∞∞bnζndisplaystyle g(zeta )=sum _n=-infty ^infty b_nzeta ^n
で与えられるならば、Resz=∞ −b−1 を得る。ゆえに、ローラン展開が既知あるいは容易に計算することのできる函数については、積分を計算することなく直ちに留数を求めることができる。また、孤立特異点 z = a が f(z) の n-位の極であるなら、(z − a)nf(z) は正則で、とくに
- (z−a)nf(z)=∑k=0∞ak−n(z−a)kdisplaystyle (z-a)^nf(z)=sum _k=0^infty a_k-n(z-a)^k
とテイラー展開されるので、
- a−1=1(n−1)!limz→adn−1dzn−1[(z−a)nf(z)]displaystyle a_-1=1 over (n-1)!lim _zto afrac d^n-1mathit dz^n-1[(z-a)^nf(z)]
![displaystyle a_-1=1 over (n-1)!lim _zto afrac d^n-1mathit dz^n-1[(z-a)^nf(z)]](https://wikimedia.org/api/rest_v1/media/math/render/svg/003ac797a1c8045ec4604162676ede576d4716c5)
と計算することができる。
留数定理
単純閉曲線 γ と、γ が囲む有界領域 D を考える。D 上で定義される関数 f(z) が D 内に孤立特異点 a1, a2, …, an をもち、それ以外で正則であるならば、
- ∮γf(z)dz=2πi∑i=1nResz=aif(z)displaystyle oint _gamma f(z)mathit dz=2pi isum _i=1^noperatorname Res limits _z=a_i,f(z)
が成り立つ。ただし、積分は γ を D の内点からの偏角が正の向き（領域を左に望む方向）に進む。これを留数定理 (residue theorem) と呼ぶ。留数定理を用いると、例えば
- ∫−∞∞dx(1+x2)n+1displaystyle int _-infty ^infty mathit dx over (1+x^2)^n+1
のような積分が計算できる。まず、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) を積分すれば
- ∫C0dz(1+z2)n+1=∫−RRdx(1+x2)n+1+∫Cdz(1+z2)n+1displaystyle int _C_0mathit dz over (1+z^2)^n+1=int _-R^Rmathit dx over (1+x^2)^n+1+int _Cmathit dz over (1+z^2)^n+1
である。このとき C が十分大きければ R に依らず、C0 の囲む領域内で f(z) は (n + 1)-位の極 z = i をもち、かつそれ以外には特異点を持たないから、留数定理により左辺は
- 2πiResz=if(z)=2πin!limz→idndzn((z−i)n+1(1+z2)n+1)=2πin!dndzn1(z+i)n+1|z=i=π(2n)!22n(n!)2displaystyle _z=i=pi (2n)! over 2^2n(n!)^2endaligned
となる。一方、右辺第二項は R → ∞ のとき 0 に収束するので、結局
- π(2n)!22n(n!)2=∫−∞∞dx(1+x2)n+1displaystyle pi (2n)! over 2^2n(n!)^2=int _-infty ^infty mathit dx over (1+x^2)^n+1
を得る。留数定理の系として、偏角の定理あるいは偏角の原理などと呼ばれる次のような定理を得ることができる。
- 定理
- 単純閉曲線 γ の囲む有界領域 D の閉包を E とし、E 上で定義される有理型関数 f(z) は γ 上に極も零点も持たないとする。このとき、f(z) の D 内での零点と極は有限個である。重複度まで込めた零点の個数を n、極の個数を m とすると が成り立つ。さらに一般に、重複度込みで零点が a1, a2, …, an、極が b1, b2, …, bm であるとすると、E 上の任意の正則関数 g(z) に対して12πi∮γdlogf(z)=n−mdisplaystyle frac 12pi ioint _gamma d!log f(z)=n-mが成立する。12πi∮γg(z)dlogf(z)=∑j=1ng(aj)−∑k=1mg(bk)displaystyle frac 12pi ioint _gamma g(z),d!log f(z)=sum _j=1^ng(a_j)-sum _k=1^mg(b_k)
参考文献
- L.V. アールフォルス 『複素解析』 笠原乾吉訳、現代数学社、1982年。.mw-parser-output cite.citationfont-style:inherit.mw-parser-output .citation qquotes:"""""""'""'".mw-parser-output .citation .cs1-lock-free abackground:url("//upload.wikimedia.org/wikipedia/commons/thumb/6/65/Lock-green.svg/9px-Lock-green.svg.png")no-repeat;background-position:right .1em center.mw-parser-output .citation .cs1-lock-limited a,.mw-parser-output .citation .cs1-lock-registration abackground:url("//upload.wikimedia.org/wikipedia/commons/thumb/d/d6/Lock-gray-alt-2.svg/9px-Lock-gray-alt-2.svg.png")no-repeat;background-position:right .1em center.mw-parser-output .citation .cs1-lock-subscription abackground:url("//upload.wikimedia.org/wikipedia/commons/thumb/a/aa/Lock-red-alt-2.svg/9px-Lock-red-alt-2.svg.png")no-repeat;background-position:right .1em center.mw-parser-output .cs1-subscription,.mw-parser-output .cs1-registrationcolor:#555.mw-parser-output .cs1-subscription span,.mw-parser-output .cs1-registration spanborder-bottom:1px dotted;cursor:help.mw-parser-output .cs1-ws-icon abackground:url("//upload.wikimedia.org/wikipedia/commons/thumb/4/4c/Wikisource-logo.svg/12px-Wikisource-logo.svg.png")no-repeat;background-position:right .1em center.mw-parser-output code.cs1-codecolor:inherit;background:inherit;border:inherit;padding:inherit.mw-parser-output .cs1-hidden-errordisplay:none;font-size:100%.mw-parser-output .cs1-visible-errorfont-size:100%.mw-parser-output .cs1-maintdisplay:none;color:#33aa33;margin-left:0.3em.mw-parser-output .cs1-subscription,.mw-parser-output .cs1-registration,.mw-parser-output .cs1-formatfont-size:95%.mw-parser-output .cs1-kern-left,.mw-parser-output .cs1-kern-wl-leftpadding-left:0.2em.mw-parser-output .cs1-kern-right,.mw-parser-output .cs1-kern-wl-rightpadding-right:0.2em
ISBN 4-7687-0118-3。
外部リンク
- Weisstein, Eric W. "Complex Residue". MathWorld（英語）.
residue in nLab
Definition:Residue (Complex Analysis) at ProofWiki
関連項目
- コーシーの積分定理
- ルーシェの定理
