留数定理
留数を用いて積分を計算できる。
単純閉曲線Cで囲まれる領域をDとする。
関数fはα1,…,αk∈DをのぞきDで正則であるとする。
このとき、
∫Cf(z)dz=2πij=1∑kResz=αjf(z)が成り立つ。
積分経路を連続変形することで、Ciをαiの周りの十分小さい円周として、これらにおける線積分の和と一致する。
各々のCiにおいては、Rを留数とすると
∫Cif(z)dz=∫Cif(z)−z−aiR+z−aiRdzとなり、コーシーの積分公式から、
∫Cif(z)dz=∫Ciz−aiRdz=2πiRとなる。
∫B1(i)z2+11dz∫B2(0)(z+1)3z2dz∫B2(0)z(z2+1)sinzdz
領域Dにおいて、fは有限個の孤立特異点a1,…,anをのぞいて正則であるとする。
D内のサイクルCが0にホモローグで、どのaiも通らないとする。
このとき、
2πi1∫Cf(z)dz=i∑n(C,ai)Resz=aif(z)が成り立つ。
∫−∞∞x2+11dxを計算せよ。
ちなみに、これは積分定理を用いずとも計算可能で、x=tanθと置き換えることにより積分の値はπと求めることができる。
積分経路CRを半径Rで原点中心の円の上半分と実軸の−RからRを結ぶ線分を合わせてできる半円の境界に反時計回りの向きをつけたものとする。
このとき、
f(z)=z2+11=2i1(z−i1−z+i1)はz=iで1位の極をもち、そこでの留数は2i1である。
また、それ以外では正則である。
したがって、留数定理より
2πi1∫CRx2+11dx=2i1となる。
CRの円弧の部分CRの積分は次のようにしてR→∞での値を評価できる。
まず、∣z∣=Rであれば
∣z2+11∣≤∣R2+11∣である。
したがって、
∣∫CRz2+11dz∣=∣∫0πR2exp(2πit)+11R2πiexp(2πit)dt∣≤2πR∫0πR2+11dt=2π2R2+1Rとなるので、R→∞でこの積分は0に収束することがわかる。
以上から、R→∞での極限を考えることで
∫−∞∞x2+11dx=πとなる。
注意。
上の広義積分において、これが収束するから広義積分が存在することは保証されない。
広義積分が存在することがわかっている前提で、上の極限を用いて広義積分が計算できる、という議論は正しい。