物理を解説 ♪
ツイッター用のシェアボタン フェイスブック用のシェアボタン はてなブックマーク用のシェアボタン ライン用のシェアボタン
ツイッター用のシェアボタン フェイスブック用のシェアボタン はてなブックマーク用のシェアボタン ライン用のシェアボタン

コーシーの積分公式

似たような名前の式ばかりでややこしい。
作成:2012/9/15

正則でない点を囲む積分

コーシーの積分定理は積分路の輪の内部に正則でない部分があると使えないのだった.f(z)=z^{*}のように全くそこらじゅうで正則でないような関数の場合には諦めが付くが,正則でない点がせいぜい有限個しかない場合にこの便利な法則が使えないのは残念だ.

典型的にはf(z)=1/(z-a)という形の関数が,z=aの一点のみで定義されない.だからこの一点を含む閉じた曲線コースでの積分をしようと思ったら,基本に立ち返って地道に計算するしかないだろう.いやいや,そんなことはない.実はこういう場合に成り立つ別の法則があるのだ.

それを探るためにまずは次のような形の関数f(z)の積分を考えてみよう. 数式 この関数g(z)はとりあえずは全域で正則であるとしておく.だから関数f(z)z=aの一点を除いては正則だと言えるだろう.この関数を次のようなコースで積分してやることを考える.

内部に特異点を含まないように工夫した積分経路の図

うまく考えてコースの内部に正則でない点aを含まないようにしてある.コーシーの積分定理によって,全体の積分の値は計算しなくても 0 であることが分かる.経路 A→B と B→A とは図の上ではわざとずらして書いてあるが,無限に近づけることができてついには同一のコースを逆方向に進むものだとすることができるので,この部分の積分は打ち消し合って 0 である.よって次のような関係が成り立っている. 数式 第 1 項は外側の好き勝手な形の反時計回りの円形コースCに沿った積分であり,第 2 項は内側にある小さな時計回りの正円コース-Γに沿った積分である.なぜ内側のコースを-Γと表しているかというと,複素関数論では反時計回りの積分を正の向きとする習慣があるからで,ここではその逆に回っているからである.移項するとこうである. 数式 外側の反時計回りコースでの積分は,内側の反時計回りコースの積分で代用できるというわけだ.内側のコースは次のように表される. 数式 これを使って計算すると,次のようになる. 数式 ここで一時停止して説明を入れておきたい.この最後の式はもう「dzを掛けながら足してゆく」積分ではなく,「ただの実数であるdθを掛けながら足してゆく」積分になっているので,関数g(z)は正則ではあるけれども,結果が 0 になるなんてことにはならない.ではどうやったらいいだろうか

先ほどの積分コースの工夫を思い出すと,外側の大きな円形コースの積分は,それより内側の円形コースの積分で代用できるのだと考えることが出来るのだった.つまり,積分経路の半径rを小さくしたものを考えても結果は変わらないと言えそうだ.半径rを 0 に近づけて行くと被積分関数は一定値g(a)と変わらない振る舞いをするようになるだろう.関数g(z)z=aにおいても正則なのだからrを無限に 0 に近づけても問題は起こらない.この計算結果は2πig(a)である

まとめると,こういうことだ. 数式 積分路の輪の中に点aを含むようなコースで反時計回りに一周積分すると,その積分路がどんな形をしていようとも,その積分値は2πi g(a)で表されるというのである.これを「コーシーの積分公式」と呼ぶ.先ほどはg(z)は全域で正則とすると言ったが,ここまでの論理を見直してみると,左辺の積分で囲んだ内側で正則なら成り立つと言えるだろう.

前回の最後の方でf(z)=1/zという関数をz=0の周りで積分すると,1 周するごとに2πiだけ値が変わるという話をした.それは今の公式で説明することができて,g(z)=1かつa=0の場合に相当するわけだ.


正則でない「複数の点」を囲む場合

これで分母にz-aという形が含まれている場合の積分は楽に計算できるようになった.しかし世の中,そんなに都合の良い形の関数ばかりではない.例えば次のような関数についてはどう計算したらいいだろう 数式 先ほどと同じようにg(z)は複素平面の全域で正則であるとする.正則でない点はz=a,b,cの 3 点である.これらの点を含まないような経路で一周すれば,もちろん積分値は 0 になる.しかしもし 3 つとも含んでいるようなコースを取ると結果はどうなるだろう

次のような積分路を考えて先ほどと同じような考え方をすればいい.

3つの特異点を避けながら大きく一周する積分経路を表す図

要するに,全体を囲むように一周する積分は,それぞれの点の周囲を回る積分値の合計で表すことができる.aの周りを回る時には (2) 式の分母の(z-a)以外の部分は正則なので,g(z)/\{(z-b)(z-c)\}zaを代入すればいい.他の点についても同様にして,結果は次のようになる. 数式 しかしこれではどうにも分かりにくい.需要が高いわけでもないし,わざわざ公式として覚える気にもならない.

次のようにすれば少しはマシになるのではないだろうか右辺のカッコ内の第 1 項はf(z)(z-a)を掛けたものに対してzaに書き換えたものだし,他の項に対しても同じようなことが言えるから,次のように書き換えることができるだろう. 数式 これならさっきよりはパターンがよく分かる.たとえ (2) 式の分母の括弧が幾つに増えたとしても対応できるだろう.しかし (2) 式とセットにしておかないと単独では意味の分からない公式だ.

あとでもう少し分かりやすい形でまとめ直すつもりなので,こんなものを公式としていちいち暗記する必要はない.ただ,考え方だけは後で重要になってくるので記憶の隅に留めておいて欲しい.


ちっとも結論に近付く気がしない

まだまだ分からないことで一杯である.例えば次のような形の関数をaの周りで積分する時にはどうなるのだろうか 数式 上で導いた計算規則は使えそうにない.しかし先ほどの考え方を利用することで別の公式を作ることは出来そうだ.それは読者にお任せすることにしよう.

実はとても分かりやすいルールが発見できるのだが,興味がなければ別にやらなくても支障はない.ここまでの話に計算のための十分なヒントが隠されているとは言え,誰でもやってみさえすれば答が出せるという保証もできない.難しくはないが,ちゃんと考えないといけないのだ.

それにしても,こんな具合に計算のルールを探す作業をいつまで続ければいいのだろう先人たちはそういう苦労をしたのだろうが,できるなら面倒な事をすっ飛ばしたいではないか.

というわけで,地道な作業からは外れて,近道を急ぐことにしよう.


グルサの公式

先ほど導いた (1) 式の「コーシーの積分公式」を少し記号を変えて書き直そう. 数式 どこをどう変えたか分かるだろうか記号を変えただけなので全く疑いなく成り立っているのだが,記号を変えるだけで見方や意味合いが随分と変わるものである.

なんと,ある領域で正則な関数f(z)の値は,そのzの周囲をめぐる積分を使って表示することができてしまうという驚異の公式に早変わりだ.それで「コーシーの積分公式」は「コーシーの積分表示」と呼ばれることもある.ただしこの積分はf(w)が正則であるような範囲内で行う必要があることに注意しておこう.

この両辺をzで微分してみよう.なぜそうするのかなんて理由は聞かないで欲しい.今は「早回しモード」で説明を進めているところなのだ. 数式 この結果を得るのに,まるで (3) 式の積分の中をそのままzで微分したかのように見えるが,本当はそんな安易な考えで微分を実行してはいけないのである.ちゃんと微分の定義にまで遡って検証しなくてはならず,極限と積分の順序の交換という自明でない論理をクリアする必要がある.それはそんなに難しい話でもないのだが,ほとんどの読者にとってはそういう細かなことであれこれと数式を並べるのは好みでないと思うので,そういう検証は他の丁寧な教科書に任せることにしよう.

さらに何度も微分を繰り返すと,n階微分したときの公式が得られる. 数式 これを「グルサの公式」と呼ぶ.


テイラー展開ができる!

「早回しモード」での解説はまだ終わっていない.(3) 式のコーシーの積分公式を変形してゆくと,ついには (4) 式のグルサの公式を代入できる形にできて,驚くべき結果を得ることが出来る.分かりにくい部分は後から説明するので,とりあえずその全過程を眺めてみて欲しい.

積分と和の記号の順序を交換している部分は本当は証明が必要なのではあるが,ここでは省略することにする.

数式 この結果に驚くのは後にしよう.まだ気付かないふりをしていて欲しい.この計算で分かりにくいのは,いきなり入って来たaという変数の正体と,あたかも次のような関係が成り立っているかのような変形をしているところだろう. 数式 この式は実は初項 1 ,公比rの無限等比級数の公式そのものなのだ. 数式 この公式は|r|<1という条件で成り立つ.この公式がどのように作られたかを思い出せば,公比rが複素数の場合にも成り立つことが分かるだろう.ということは, 数式 という前提で変形をしていることになる.すなわち,|z-a|<|w-a|である.複素平面上の点aからの距離を比べると,wの方が大きいということである.逆に言えばzは点aから十分に近いという意味だ.

もともと (3) 式や (4) 式で使っているwの積分経路はf(z)が正則である限りはどれだけ広い範囲を回っても良かったので,この式変形はほとんどの場合は問題なく成り立っていると言える.成り立たなくなることがあるとすれば,f(z)が正則でない点を持っていて,|z-a|が点aからその正則でない点までの距離を越えてしまう場合だろう.ちょっと分かりにくいかもしれないが,図にすれば簡単だ.この式変形が成り立つためにはzは次の図の円内にあれば良いのである.

特異点を含まないようなギリギリの大きさの円を表す図

さあ,式変形の説明が終わったのでそろそろ驚くことにしようか.なんとこの計算結果はテイラー展開と全く同じ形じゃないか

我々はこれまで,実数上で行われたテイラー展開の結果に複素数の値を代入して使用することしかできなかった.ところが,複素平面上で選んだ点aの近くで,実数の場合とまるで同じ公式によってテイラー展開ができることを意味しているのである.

正則でない点での振る舞いを追っていて,とんでもないものを見つけてしまった.どうしよう~


状況を確認

落ち着いて,もう一度見直してみよう.先ほどの計算で得た結果はこういうものである. 数式 zaf(z)が複素数値を取ること以外は普通のテイラー展開と同じだ.当然のことだが,複素平面上の好きな点aの周りで展開できるといっても,aは関数f(z)が正則であるような範囲から選ばなくてはならない.そうでなければf(a)f'(a)などの値が決まらないのでこの式が使えないだろう.

そしてこの式で表現できるzの値の範囲にも制限がある.式変形の途中で使った級数が収束する条件が|z-a|<|w-a|であり,|w-a|をなるべく広く取ろうとしても,aから最寄りの正則でない点までに制限されるのであった.つまりこのテイラー展開の収束半径は「点aから最寄りの正則でない点までの距離」だということになる.

逆に考えれば,収束円の円周上には必ず正則でない点が存在していることになりそうだ.そう言えば,前回のlog関数のテイラー展開の収束半径は「最寄りの正則でない点z=0」までの距離になっていた.もし関数が全域で正則ならば上の等式は常に成り立っているのであり,収束半径は無限大である.この辺りはとても面白い.

確かに面白いことだとは思うが,複素平面上の好きな点を中心にテイラー展開できることはそんなに有難いと言えることだろうか我々が複素平面で使っている関数は実数世界からの輸入に完全に頼っている状態だ.テイラー展開できることが許されたと言っても,輸入した関数を少々加工して形を変えたものを使用することが出来るようになったというくらいの話にしか思えない.

いやいや,実はこれが結構重要な役割を果たすのである.少し寄り道になるが,次回はそれについて書くことにしよう.



趣味の物理学書店の案内バナー

EMAN物理note出張所の案内バナー