Loading [MathJax]/jax/output/SVG/jax.js

定理による複素積分の解き方まとめ

  • このエントリーをはてなブックマークに追加
  • LINEで送る

複素積分の解き方は、コーシーの積分定理や留数定理を利用するものや、自分で特定の積分経路を指定するものなど、様々な種類がある。問題を解くときはそれらを適切に使い分けなければいけないが、すべての方法が頭に入っていなければ土俵に上がることすらもできない。この記事では、定理を使う複素積分の解き方のパターンをまとめてみようと思う。

この記事では以前紹介した「正則」という単語が重要になるため、先にコーシー・リーマンの方程式の記事を読むことをお勧めする。

コーシーの積分定理を使った複素積分

コーシーの積分定理とは

複素積分経路Cが単一閉曲線で、かつ関数f(z)が経路C上とその内部ですべて正則ならば、次の式が成り立つ。

Cf(z)dz=0

例題

問題:関数f(z)=z3を、|z|=1を積分経路として複素積分しなさい

この積分経路は、複素平面上で考える必要がある。複素平面とは、横軸に複素数の実部、縦軸に虚部をとった平面座標のことである。横軸を実軸、縦軸を虚軸という。

ここで、複素平面上における|z|=1とは、原点|z|=0を中心とする半径1の円のことを表す。直感的にわからない方のために、少し詳しく説明する。z=x+iyとすると、下の図と三平方の定理から、|z|=x2+y2となる。|z|=1を代入した後にこの式の両辺を二乗すると、x2+y2=1が得られる。この式は、中学や高校で学習した円を表す式と一致する。

積分範囲の意味を確認したところで、本題に入る。前回の記事から、f(z)=z3にコーシー・リーマンの方程式を適用すれば、この関数f(z)はあらゆる場所で正則であることがわかる。したがって、コーシーの積分定理によって、求めたい複素積分が求まる。

|z|=1z3dz=0

 

次に留数定理を紹介したいが、その前に前提知識としてローラン展開と留数を紹介したい。

ローラン展開の概要

ローラン展開とは、テイラー展開を負冪(マイナス乗)まで拡張したようなものである。

f(z)=n=an(zα)n

留数の概要

留数とは、関数f(z)をローラン展開したときの(zα)1の係数、つまりa1のことを指す。

z=αにおける関数f(z)の留数を次のように表す。

a1=Res(α,f(z))

留数定理を使った複素積分

留数定理は、つぎのようになる。

Cf(z)dz=2πikj=1Res(αj,f(z))

ここでkは、関数f(z)が積分経路C上またはその内部にもつ、正則でない点の数を表す。

コーシーの積分定理では、積分経路とその内部が正則の場合を考えたが、もし正則でない点が含まれていたらどうなるだろうか。この場合、正則でない点におけるf(z)の留数を求めることで、複素積分を求めることができる。

関数f(z)の極z=αがn位の極の場合、留数Res(α,f)は次のように表せる。

Res(α,f)=1(n1)!limzαdn1dzn1(zα)nf(z)

例えば、関数f(z)の極z=αが1位の極の場合、留数Res(α,f)は次のように表せる。

Res(α,f)=limzα(zα)f(z)

例題

問題1:関数f(z)=1zを、|z|=1|z5i|=1をそれぞれ積分経路として複素積分しなさい。

|z|=1について

f(z)=1zは、z=0でのみ正則でない。そしてz=0は積分経路|z|=1の内部にある点である。さらに、f(z)=1zの留数は明らかに1である。

後は留数定理に代入すれば、求めたい複素積分が求まる。

|z|=11zdz=2πiRes(0,1z)=2πi1=2πi
|z5i|=1について
|z5i|=1とは、複素平面上で、中心が(x,y)=(0,5)、半径が1の円を表す。
f(z)=1zが正則でない点はz=0だけだが、この点z=0は、円|z5i|=1の円周上や円の内部には含まれていない。よって、この積分経路上とその内部ではf(z)=1zは正則であるため、求める複素積分は0になる。
|z5i|=11zdz=0
問題2:関数f(z)=1z2+1を、積分範囲|z+i|=1で複素積分せよ
関数f(z)を変形すると、次のようになる。
f(z)=1z2+1=1(z+i)(zi)
この式から、関数f(z)が正則でない点は、z=±iの2つ存在する。ただし、点z=+iは、積分範囲|z+i|=1の外にあるため、積分結果に影響しない。積分範囲内にある点z=iについての留数のみに気を付ければいい。
上の留数を求める公式を使い、点z=iについての留数を求める。
Res(i,1z2+1)=limzi(z+i)1(zi)(z+i)=limzi1zi=12i
以上から、求める複素積分は次のようになる。
|z+i|=11z2+1dz=2πi[Res(i,1z2+1)]=2πi12i=π

積分経路を指定して複素積分する方法

 もし積分経路を自分で設定して複素積分を解けるようになったら、計算の幅が広がる。例えば、初等関数では積分できない実数積分でも、複素積分に拡張して解くこともできるようになる。詳しくは下の記事を参照すること。

参考文献

・占部博信(1999)『数学基礎コース=K4 基礎課程 複素関数論』,サイエンス社.

・谷口健二・時弘哲治(2016)『理工系の数理 複素解析』,裳華房.

  • このエントリーをはてなブックマークに追加
  • LINEで送る

SNSでもご購読できます。

コメントを残す

*

CAPTCHA