- 複素積分
- コーシーの積分定理
- ローラン級数
- 孤立特異点
- 留数
留数定理は、閉曲線積分を曲線内部の特異点における留数から計算する定理である。
正の向きの単純閉曲線 C の内部に f の孤立特異点
a1,a2,…,an
があり、その他の点で f が正則であるとする。このとき、
∮Cf(z)dz=2πik=1∑nRes(f,ak)
が成り立つ。
この公式によって、複雑な積分計算を有限個の留数の計算へ帰着できる。
さらに、適切な複素関数と積分路を選ぶことで、実数上の積分を複素平面上の閉曲線積分として評価できる。
留数を利用した積分法はコーシーの複素積分論から発展した。
複素平面上では閉曲線内部の特異点が積分値を決定するため、実解析だけでは計算が困難な積分を複素解析によって簡潔に評価できる場合がある。
この方法は19世紀以降、解析学や数理物理学で広く利用されるようになった。
C を原点中心、半径 2 の正の向きの円とする。
∮Cz(z−1)1dz
を考える。
C の内部には z=0,1 が含まれる。
それぞれの留数は、
Res(z(z−1)1,0)=−1
および
Res(z(z−1)1,1)=1
である。
したがって留数の和は 0 なので、
∮Cz(z−1)1dz=0
となる。
積分路の外側にある特異点の留数は、留数定理の和には含めない。
したがって、関数のすべての特異点の留数を無条件に足し合わせればよいわけではない。
留数定理は、次のような実積分の評価に利用できる。
∫−∞∞x2+a2dx,
∫02πR(cosθ,sinθ)dθ,
および三角関数や指数関数を含む広義積分などである。
また、フーリエ変換や逆ラプラス変換などでも複素積分と留数が利用される。
a>0 とする。留数定理を用いて、
∫−∞∞x2+a2dx
を求めよ。
複素関数
f(z)=z2+a21=(z−ai)(z+ai)1
を考える。
上半平面には z=ai のみが存在する。
その留数は、
Res(f,ai)=z→ailim(z−ai)(z+ai)z−ai=2ai1
である。
上半平面の半円を用いた積分路を考え、半円弧上の積分が半径を無限大にすると 0 に収束することを用いると、
∫−∞∞x2+a2dx=2πi2ai1=aπ
を得る。