記事ソース/留数定理とは
をテンプレートにして作成
査読
rst2hooktail
進行表
執筆中
かぎマニュ
物理のかぎプロジェクト
トップ
最近の更新
ヘルプ
開始行:
#rst2hooktail_source
=========================================================...
留数定理とは
=========================================================...
この記事では、留数定理をかなり大雑把に、使い道まで解説し...
基本
=====================
留数定理は、複素線積分に関する定理です。
もし、複素線積分が正則な領域を囲むなら、
積分値はゼロになります。これがコーシーの積分定理です。
ところが、囲む領域の中に正則でない点、例えば $f(z)=\dfrac...
非正則点(これを特異点と言います)があると、一周しても積...
だから、何なんだ。と思うでしょうが、これが非常に役に立ち...
後で説明しますので、お楽しみに。
発想
=====================
次の積分を計算しましょう。 $n$ を $-1$ でない整数とします...
<tex>
\int_{C_R} z^n dz &= \int_0^{2 \pi} \left( R^n e^{i n \th...
&= i \int_0^{2 \pi} R^{n+1} e^{i (n+1) \theta} d \theta \\
&= \left[ \dfrac{i}{i(n+1)} R^{n+1} e^{i (n+1) \theta} \r...
&= \dfrac{1}{(n+1)} R^{n+1} e^{i2 (n+1) \pi} - \dfrac{1}{...
&= 0
\tag{##}
</tex>
ですね。では、これ見よがしに $-1$ を除外しましたが、この...
次に示します。
<tex>
\int_{C_R} z^n dz &= \int_0^{2 \pi} \left( R^{-1} e^{- i ...
&= i \int_0^{2 \pi} 1 d \theta \\
&= i \left[ \theta \right]_0^{2\pi} \\
&= 2 \pi i
\tag{##}
</tex>
これだけ残るのです。しかもこの積分は示しませんが、積分路...
ローラン展開
=====================
ここで、 $f(z)$ をテイラー展開で $f(z) = a_0 + \dfrac{a_1...
でも、これは $1/z$ の様な関数は展開できません。(この辺は...
<tex>
f(z) = a_{-2} (z-a)^{-2} + a_{-1} (z-a)^{-1} + a_{0} + a_...
</tex>
があげられます。テイラー展開では $n!$ で割っていましたが...
<tex>
\int_{C} f(z) dz = 2 \pi i a_{-1} \tag{##}
</tex>
となるのです。
いよいよ留数の登場
===========================
実は、式 $(3)$ の $a_{-1}$ はわざわざ積分しなくても求まり...
式 $(3)$ に $(z-a)^2$ をかけてみましょう。
<tex>
(z-a)^2 f(z) = a_{-2} + a_{-1} (z-a)^{1} + a_{0}(z-a)^2 +...
</tex>
さらに、 $z$ で微分してみましょう。
<tex>
\dfrac{d}{dz} \left( (z-a)^2 f(z) \right)= a_{-1} + 2a_{0...
</tex>
そして、 $z=a$ を代入すると、
<tex>
\left. \dfrac{d}{dz} \left( (z-a)^2 f(z) \right)\right|_{...
</tex>
となります。この上式の左辺が留数と呼ばれるものです。
<tex>
Res_{z=a} f(z) = \left. \dfrac{d}{dz} \left( (z-a)^2 f(z)...
</tex>
と書きます。
一次の極なら話はもっと簡単で、
<tex>
f(z) = a_{-1} (z-a)^{-1} + a_0 + a_1 (z-a) + \cdots \tag{...
</tex>
なのですから、
<tex>
Res_{z=a}f(z) = \left. (z-a) f(z) \right|_{z=a} \tag{##}
</tex>
となります。どうです?積分がただの掛け算と代入だけで求ま...
式 $(4)$ と比べて、
<tex>
\int_{C} f(z) dz = 2 \pi i Res_{z=a} f(z) \tag{##}
</tex>
が言えます。これは覚えるべき公式です。
もし、他の極も囲った中にあるなら、
<tex>
\int_{C} f(z) dz = 2 \pi i \sum_{i} Res_{z=a_i} f(z) \tag...
</tex>
とすればよいです。これを留数定理と呼びます。
使い道
===============
例えば、この積分値が分かるようになると、普通は不定積分が...
具体例を挙げてみます。 $a>0$ として、
<tex>
\int_{-\infty}^\infty \dfrac{dx}{x^2+a^2} \tag{##}
</tex>
を計算します。それには積分路を図の様に取ります。
.. image :: chromel-residueTheorem-01.png
この経路 $C$ の反時計回り一周分の積分をします。
<tex>
\int_{C} f(z) dz &= \int_{C} \dfrac{dz}{z^2+a^2} \\
&= \int_{C_R} \dfrac{dz}{z^2+a^2} + \int_{-R}^R \dfrac{dx...
</tex>
ここで、円弧 $C_R$ の積分は $R \to \infty$ で消えてしまい...
この辺は詳しく書きません。(cf.フーリエ変換の応用にはジョ...
<tex>
\int_{-R}^{R} \dfrac{dx}{x^2+a^2} \tag{##}
</tex>
ですね。この $R \to \infty$ の極限を計算します。
しかし、我々はこの積分一周の値を留数定理から知っているの...
図に示した通り、極は $z^2+a^2 = (z+ia)(z-ia)$ より、
このかまぼこ型の領域には $z=ia$ が含まれています。
<tex>
\int_{C} \dfrac{dz}{z^2+a^2} &= 2 \pi i Res_{z = ia} f(z)...
&= 2 \pi i \left[ (z-ia)\dfrac{1}{(z-ia)(z+ia)} \right]_{...
&= 2 \pi i \left[ \dfrac{1}{z+ia} \right]_{z=ia} \\
&= 2 \pi i \dfrac{1}{2ia} \\
&= \dfrac{\pi}{a}
\tag{##}
</tex>
これが言えたので、
<tex>
\lim_{R \to \infty} \int_{C} f(z) dz &= \lim_{R \to \inft...
&=\lim_{R \to \infty} \int_{C_R} \dfrac{dz}{z^2+a^2} + \l...
&= 0 + \int_{-\infty}^\infty \dfrac{dx}{x^2+a^2} \\
&= \dfrac{\pi}{a} \tag{##}
</tex>
ややこしいですが、つまりは、
<tex>
\int_{-\infty}^\infty \dfrac{dx}{x^2+a^2} = \dfrac{\pi}{a...
</tex>
となります。
この留数定理は、フーリエ変換やグリーン関数を求める際、強...
今日はここまで、お疲れさまでした。
@@author:クロメル@@
@@accept:2019-04-08@@
@@category:複素解析@@
@@id:residueTheorem@@
終了行:
#rst2hooktail_source
=========================================================...
留数定理とは
=========================================================...
この記事では、留数定理をかなり大雑把に、使い道まで解説し...
基本
=====================
留数定理は、複素線積分に関する定理です。
もし、複素線積分が正則な領域を囲むなら、
積分値はゼロになります。これがコーシーの積分定理です。
ところが、囲む領域の中に正則でない点、例えば $f(z)=\dfrac...
非正則点(これを特異点と言います)があると、一周しても積...
だから、何なんだ。と思うでしょうが、これが非常に役に立ち...
後で説明しますので、お楽しみに。
発想
=====================
次の積分を計算しましょう。 $n$ を $-1$ でない整数とします...
<tex>
\int_{C_R} z^n dz &= \int_0^{2 \pi} \left( R^n e^{i n \th...
&= i \int_0^{2 \pi} R^{n+1} e^{i (n+1) \theta} d \theta \\
&= \left[ \dfrac{i}{i(n+1)} R^{n+1} e^{i (n+1) \theta} \r...
&= \dfrac{1}{(n+1)} R^{n+1} e^{i2 (n+1) \pi} - \dfrac{1}{...
&= 0
\tag{##}
</tex>
ですね。では、これ見よがしに $-1$ を除外しましたが、この...
次に示します。
<tex>
\int_{C_R} z^n dz &= \int_0^{2 \pi} \left( R^{-1} e^{- i ...
&= i \int_0^{2 \pi} 1 d \theta \\
&= i \left[ \theta \right]_0^{2\pi} \\
&= 2 \pi i
\tag{##}
</tex>
これだけ残るのです。しかもこの積分は示しませんが、積分路...
ローラン展開
=====================
ここで、 $f(z)$ をテイラー展開で $f(z) = a_0 + \dfrac{a_1...
でも、これは $1/z$ の様な関数は展開できません。(この辺は...
<tex>
f(z) = a_{-2} (z-a)^{-2} + a_{-1} (z-a)^{-1} + a_{0} + a_...
</tex>
があげられます。テイラー展開では $n!$ で割っていましたが...
<tex>
\int_{C} f(z) dz = 2 \pi i a_{-1} \tag{##}
</tex>
となるのです。
いよいよ留数の登場
===========================
実は、式 $(3)$ の $a_{-1}$ はわざわざ積分しなくても求まり...
式 $(3)$ に $(z-a)^2$ をかけてみましょう。
<tex>
(z-a)^2 f(z) = a_{-2} + a_{-1} (z-a)^{1} + a_{0}(z-a)^2 +...
</tex>
さらに、 $z$ で微分してみましょう。
<tex>
\dfrac{d}{dz} \left( (z-a)^2 f(z) \right)= a_{-1} + 2a_{0...
</tex>
そして、 $z=a$ を代入すると、
<tex>
\left. \dfrac{d}{dz} \left( (z-a)^2 f(z) \right)\right|_{...
</tex>
となります。この上式の左辺が留数と呼ばれるものです。
<tex>
Res_{z=a} f(z) = \left. \dfrac{d}{dz} \left( (z-a)^2 f(z)...
</tex>
と書きます。
一次の極なら話はもっと簡単で、
<tex>
f(z) = a_{-1} (z-a)^{-1} + a_0 + a_1 (z-a) + \cdots \tag{...
</tex>
なのですから、
<tex>
Res_{z=a}f(z) = \left. (z-a) f(z) \right|_{z=a} \tag{##}
</tex>
となります。どうです?積分がただの掛け算と代入だけで求ま...
式 $(4)$ と比べて、
<tex>
\int_{C} f(z) dz = 2 \pi i Res_{z=a} f(z) \tag{##}
</tex>
が言えます。これは覚えるべき公式です。
もし、他の極も囲った中にあるなら、
<tex>
\int_{C} f(z) dz = 2 \pi i \sum_{i} Res_{z=a_i} f(z) \tag...
</tex>
とすればよいです。これを留数定理と呼びます。
使い道
===============
例えば、この積分値が分かるようになると、普通は不定積分が...
具体例を挙げてみます。 $a>0$ として、
<tex>
\int_{-\infty}^\infty \dfrac{dx}{x^2+a^2} \tag{##}
</tex>
を計算します。それには積分路を図の様に取ります。
.. image :: chromel-residueTheorem-01.png
この経路 $C$ の反時計回り一周分の積分をします。
<tex>
\int_{C} f(z) dz &= \int_{C} \dfrac{dz}{z^2+a^2} \\
&= \int_{C_R} \dfrac{dz}{z^2+a^2} + \int_{-R}^R \dfrac{dx...
</tex>
ここで、円弧 $C_R$ の積分は $R \to \infty$ で消えてしまい...
この辺は詳しく書きません。(cf.フーリエ変換の応用にはジョ...
<tex>
\int_{-R}^{R} \dfrac{dx}{x^2+a^2} \tag{##}
</tex>
ですね。この $R \to \infty$ の極限を計算します。
しかし、我々はこの積分一周の値を留数定理から知っているの...
図に示した通り、極は $z^2+a^2 = (z+ia)(z-ia)$ より、
このかまぼこ型の領域には $z=ia$ が含まれています。
<tex>
\int_{C} \dfrac{dz}{z^2+a^2} &= 2 \pi i Res_{z = ia} f(z)...
&= 2 \pi i \left[ (z-ia)\dfrac{1}{(z-ia)(z+ia)} \right]_{...
&= 2 \pi i \left[ \dfrac{1}{z+ia} \right]_{z=ia} \\
&= 2 \pi i \dfrac{1}{2ia} \\
&= \dfrac{\pi}{a}
\tag{##}
</tex>
これが言えたので、
<tex>
\lim_{R \to \infty} \int_{C} f(z) dz &= \lim_{R \to \inft...
&=\lim_{R \to \infty} \int_{C_R} \dfrac{dz}{z^2+a^2} + \l...
&= 0 + \int_{-\infty}^\infty \dfrac{dx}{x^2+a^2} \\
&= \dfrac{\pi}{a} \tag{##}
</tex>
ややこしいですが、つまりは、
<tex>
\int_{-\infty}^\infty \dfrac{dx}{x^2+a^2} = \dfrac{\pi}{a...
</tex>
となります。
この留数定理は、フーリエ変換やグリーン関数を求める際、強...
今日はここまで、お疲れさまでした。
@@author:クロメル@@
@@accept:2019-04-08@@
@@category:複素解析@@
@@id:residueTheorem@@
ページ名:
Modified by
物理のかぎプロジェクト
PukiWiki 1.4.6
Copyright © 2001-2005
PukiWiki Developers Team
. License is
GPL
.
Based on "PukiWiki" 1.3 by
yu-ji
Powered by PHP 5.3.29 HTML convert time to 0.002 sec.