留数と微分形式

留数の表記の問題点

留数は Resz=cf(z) などのように記述されるが、Resz=cf(z)dz のように微分形式に対応させるべきという見解もある。留数 Resz=cf(z)z=c の周囲で積分した値なので一理ある考え方である。複素関数入門(神保道夫)では留数の記号に微分形式を使用している。複素関数論講義(野村隆昭)では記号が混在している。紛らわしくない場合は省略しているのだろう。

どちらの教科書も微分形式を利用することで変数変換における誤りを防げることを主張している。例として f(z)=44z21z=12 の周囲 C:|z12|=12 で積分してみよう。留数定理より、12πiCf(z)dz=Resz=1244z21=1 となる。原点における留数にして計算しようとして変数変換 ζ=2z1 とした場合、 Resz=1244z21=Resζ=04ζ2+2ζ=2 と誤りが懸念される。積分における変数変換 12πiC44z21dz=12πiC4ζ2+2ζdζ2 を見れば

Resz=1244z21dz=Resζ=04ζ2+2ζdζ2

のように微分形式を使った記述が適切だと納得がいく。この表記は無限遠点における留数を議論するときにも便利である。

無限遠点における留数

ある R>0 に対して、R<|z|<f(z) が正則な場合、z=f(z) の孤立特異点であるという。この時 f(1w)0<|w|<1R で正則なので、 w=0f(1w) の孤立特異点である。以下、z= は孤立特異点と仮定する。無限遠点の留数を次のように定義する。

Resz=f(z)dz=Resw=0f(1w)d(1w)=Resw=0f(1w)dww2

この定義では Resz=f(z)dzf(1w) の留数にはならない。R<|z|< におけるローラン展開 f(z)=+a1z+a0+a1z+ との関係を見よう。

Resz=f(z)dz=Resw=0(+a1w+a0+a11w+)dww2=Resw=0(+a1w+a0w2+a1w3+)dw

Resz=f(z)dz=a1 と分かる。

z=1w と置き換えて実際に積分をするときには、積分路の向きに注意しなければならない。原点を中心とする半径 r>R の円周上で反時計回りの積分を考えよう。

|z|=rf(z)dz=|w|=1rf(1w)dww2

となるが、z=reiθ とおくと w=1reiθ となるので、w に関する積分路は時計回りになっている。反時計回りにすれば符号は逆になるので、

12πi|z|=rf(z)dz=Resz=f(z)dz

となる。|z|<R における f(z) の極を {c1,c2,,cn} とすると、左辺は k=1nResz=ckf(z)dz となるから、上で導出した式は

k=1nResz=ckf(z)dz+Resz=f(z)dz=0

となり、無限遠点を含めた全複素平面での留数の総和が 0 となる。定義として採用した理由はここにあるのかな。

簡単な計算例

簡単な例を計算したところやらかして解決まで手間取ってしまったので、自戒の意味も込めて記録しておく。単純な例として f(z)=1z の場合、 Resz=0f(z)dz=1,Resz=f(z)dz=1 である。確かに留数の総和は 0 になっている。また、f(1w)=w であり、無限遠点は除去可能な特異点であるが留数は 0 ではない。

次に、g(z)=11z を考えよう。 唯一の極 z=1 での留数は 111z=1+z+z2+ だから 1z の項がなくて、無限遠点での留数は 0? 留数の総和が 0 にならなくておかしい。何を見落としているのか。しばらく悩んでしまった。

見落としていたのは単純で |z|>1 におけるローラン展開を求めるべきだったのだ。

11z=1z111z=1z(1+1z+1z2+)=1z1z21z3+

これで無限遠点における留数は 1 となり、留数の総和も無事 0 となった。初歩的なミスであったが、複数の視点から検証することの重要性を改めて感じさせられた。