システム管理者
■コーシーの積分定理
閉曲線$$C$$および，その内部で$$f(z)$$が正則であれば，$$\displaystyle \int_{C}^{}f(z)dz=0$$
■ローラン展開と留数
関数$$G(s)$$に，極（分母が0となる特異点）がある場合，例えば，１つの極$$s_1$$の周りで，次のようにローラン展開ができます．$$s_1$$が$$n$$次の極とすると，
$$G(s)=\displaystyle \frac{a_{-n } }{\left( s-s_{1} \right) ^{n } }+\displaystyle \frac{a_{-\left( n-1 \right) } }{\left( s-s_{1} \right) ^{n-1 } }+ \cdots +\displaystyle \frac{a_{-2 } }{\left( s-s_{1} \right) ^{2 } }+\displaystyle \frac{a_{-1 } }{\left( s-s_{1} \right) }+a_{0}+a_{1}\left( s-s_{1} \right) + \cdots $$
この展開中の係数$$a_{-1}$$を留数と言います．
実は，$$G(s)$$を複素関数と見たとき，極$$s=s_1$$で，$$G(s)$$は正則ではありません．$$s=s_1$$を内部に含むような閉曲線$$C$$に沿って左回りに1周$$G(s)$$を積分すると
$$\displaystyle \int_{C}^{}G(s)ds=2\pi ia_{-1}$$ となります．これを留数の定理といいます．
さてこれらの証明は，難しくはありません．興味おありでしたら，親切な解説をしているyoutube動画がありますので，そちらをご覧ください．
関数をローラン展開すると，いろいろな次数の項がでて来ますが，閉曲線に沿って1周積分すると，なぜ-1次の項の係数（留数）だけが残るのか不思議ですね．youtube動画で証明を確認ください．たいへん都合の良い便利な性質です．
■いろいろな場面で，いろいろな積分をするのに，留数定理を使います．「道具としての数学」の代表でしょう．複素関数論は活躍しています．
話は変わりますが，ちょっと似た手法で，ラプラス逆変換をするときに，部分分数に展開します．以下の例題をご覧下さい．
複素関数$$G(s), s=x+iy$$を，ラプラス逆変換するときに，$$G(s)$$を部分分数に展開することが必要になります．
