章 複素積分

第

章 複素積分

展望：

複素関数の微分に関する性質は、関数の局所的な性質を議論することで あった。関数の性質として同時に大局的な性質も重要である。本章の中心的 話題はコーシーの積分定理と留数定理である。

複素関数は、すでに微分のところでも学んだことであるが、或る点

での 関数の値が

点でのみ決まるのではなくその大局的な性質と無縁ではない。

積分の性質を学ぶと、たとえば正則関数の関数値が広い領域の境界で与えら れればその内の全ての点での関数値が一意的に決ってしまうことなどが、もっ と明瞭に示される。このような性質を本章では学ぶ。正則関数の実部、虚部 はそれぞれ調和関数であるから、実はこのことは容易に理解できる。

は

が周りの平均と等しいということを意味するからである。

近代数学のほとんど全ての芽がガウスに始まるように、複素積分の最初 の発見者はガウスであった。しかしガウスはそれを

年まで公にはせず、

A.L.

コーシー（

）

によって再発見され

年に発表され た。コーシーは複素関数論に先だって多面体論や有限群論（とくに置換群）の 構成に携わった。数学に関する限りは革命的なアイデアの持ち主であるにも かかわらずコーシーは、狂信的ともいえるカトリック信者でかつブルボン王 家の崇拝者であったという。死ぬまで自身の王党派としての政治的立場を明 瞭にし続けたため、学問の世界においても政治的には相当の苦労をしなくて はならなかったそうである。

オイラー、ラグランジュ、ラプラス、フーリエ、ガウス、コーシー等はちょ

うど

年ごろから

年代までの約

年間に次から次へと現れては大

図

単連結領域

単連結でない領域（多重連結領域）

きな仕事を成し遂げていった。それらの新しい科学思想の発展は、絶対主義 王制（プロシアのフリード リッヒ大王、ロシアのエカテリーナ女帝）の時代 からフランス革命を経て近代国家形成期に至る政治的近代化の時期と重なっ ている。数学を勉強しながらその時代に思いをいたすと一段と数学が楽しめ るではないか。

5.1

ジョルダン閉曲線と正則領域の形

複素

平面上で、実変数

をパラメターとして点

が連続に動き、

1

つの曲線を描く場合を考えよう。

として

を始点、

を終点 という。

のとき、この曲線を閉曲線と呼ぶ。端点を除いて

であるとき

である、すなわち自分自身と交わらない場合この曲 線をジョルダン（

）曲線という。

であるジョルダン曲線を ジョルダン閉曲線という。

ジョルダン閉曲線により複素

平面は

つの部分に分けられる。有界な領 域を 内部、有界でない他方を外部という。またジョルダン閉曲線上を、内部 を左側に見て進む方向を正の向き、その反対の向きを負の向きという。領域

D

内の任意のジョルダン閉曲線を連続に変形して一点に収縮することができ る場合、この領域

は単連結であるという。単連結でない領域を多重連結と

1

「数学をつくった人びと」

ベル著 （東京図書）は数学者の生身の人間としての物

語、彼らが相互にどういうように影響しあったか、またその時代の歴史的背景を教えてくれ

る。

5.2

複素積分

図

曲線

の分割

いう

図

。今後、混乱のない場合、ジョルダン閉曲線を単に閉曲線という。

5.2

複素積分

5.2.1

複素積分の定義

複素平面内の曲線に沿った複素関数の積分（複素積分）を定義しよう。

領域

内で連続な複素関数

が定義され、またこの領域内に連続曲線

C

がある。連続曲線

は滑らかな曲線またはそれの有限個の接合であるとす る。このような曲線を区分的に滑らかな曲線という。以下では積分路はすべ て区分的に滑らかであるとする。

C

の始点を

、終点を

とする。

の上で

と

の間に順に分点

, z

N01

をとり、この分割を

1=fz

0

;z

1

;z

2

;111;z

N01

;z

N

=zg (5.1)

と表す。分割

に対して

と

との間の任意の点を

とし、

S

1

= N

X

j=1 f(

j )(z

j 0z

j01

) (5.2)

を考える（図

。

定義

複素積分

分割

の分点を無限に多くしかつ

の間隔を無限に

小さくしたとき、連続関数

に対して、和

の極限値は有限に確定する。

C

f(z)dz (5.4)

と書く。

複素関数

が連続であるならば、和

の極限値が有限に確定すること を示しておく。

および

の実部、虚部を

z

j

=x

j +iy

j

;

j

=

j +i

j

; f(

j )=u

j +iv

j

と書こう。

を書き直して

S

1

= N

X

j=1 f(

j )(z

j 0z

j01 )

= N

X

j=1 [fu

j (x

j 0x

j01 )0v

j (y

j 0y

j01 )g

+ifv

j (x

j 0x

j01 )+u

j (y

j 0y

j01 )g]

(5.5)

を得る。パラメータ

を用いて、曲線

を

C :x=x(s); y=y(s)

；

と表す。

z

j 0z

j01

= z(s

j

)0z(s

j01 )

dz

ds (s

j 0s

j01 )

x

j 0x

j01

= x(s

j

)0x(s

j01 )

dx

ds (s

j 0s

j 01 )

y

j 0y

j01

= y (s

j

)0y(s

j01 )

dy

(s

j 0s

j01 )

5.2

複素積分

図

積分路

;C

2

;C

3 .

であるから、上の和は

S

1

= X

j (u

j dx

ds 0v

j dy

ds )(s

j 0s

j01 )+i

X

j (v

j dx

ds +u

j dy

ds )(s

j 0s

j01

) (5.7)

と書き直される。

u(x(s);y(s)) dx

ds

0v(x(s);y(s)) dy

ds

v(x(s);y(s)) dx

ds

+u(x(s);y(s)) dy

ds

(5.8)

は区分的に

の連続関数であるから、

の

は分割の方法によらず極限

N !1, js

j 0s

j01

j!0

で有限値に確定する

変数の「リーマン積分の定 理」参照） 。これを

limS

1

= Z

b

a (u

dx

ds 0v

dy

ds

)ds+i Z

b

a (v

dx

ds +u

dy

ds

)ds (5.9)

と書き、曲線

に沿う線積分という。またこれを

limS

1

= Z

C

(udx0dy)+i Z

C

( dx+udy)= Z

C

f(z)dz (5.10)

と書く。これが複素平面上の積分路

に沿った複素積分である。

例

始点を

、終点を

とする以下のいくつかの積分路（ 図

5.3

）に沿って、関数

を定義に従って積分してみよう。

C

2

上では

と書いて

となる。

C

3

上では

p

2

の部分では

だから

p

2 !1+i

の円弧上 では

p

2e

i

と書いて

p

2e i

d

である。

(1) Z

C1

zdz = Z

1

0

xdx+i Z

1

0

(1+iy )dy = 1

2

+i(1+i 1

2 )=i

(2) Z

C

2

zdz = Z

1

0

(1+i)s(1+i)ds=(1+i) 2

1

2

=i

(3) Z

C3

zdz = Z

p

2

0

xdx+ Z

4

0 p

2e i

i p

2e i

d =1+(i01)=i

いずれの積分路についても答は

となり、積分は積分路によらず、始点と終 点で決まっている（らしい） 。

もう

つ別の例を考えよう。

例

始点を

、終点を

として単位円周上を正の向きに

周積分 する積分路で

を積分する（図

）。単位円周上では

とお いて、

であるから

I

jz j=1 1

z dz =

Z

2

0 1

e i

ie i

d =i Z

2

0

d=2i (5.11)

となる。ここでは積分の道すじが閉曲線であることを示して

H

という記号を用 いている。複素平面上で極

を内側に見た

周積分の値がゼロでない 値を与えていることに注意しておこう。

次に

から出発して

（または

）まで単位円周上を

正（または負）の向きにまわる

。

である

5.2

複素積分

図

単位円周上の積分

から

Z

=

1

=0 1

z

dz = i Z

1

0

d=i(

1 0

0

) ; (5.12)

Z

=0(2 0

1 )

=0

1

z

dz = i Z

02+

1

0

d=i(

1 0

0

02) : (5.13)

この例では

平面上で始点も終点も同じであるが積分路は違い、積分の値も 異なる。極

を廻る単位円周を考えると、第

の積分はその上を正の向 きに、第

の積分は負の向きにまわっている。第

の積分路を廻り、その後 第

の積分路を反対に廻れば、結果的に単位円周上を一回りすることになる。

Z

=1

=

0 1

z dz0

Z

=0(201)

=

0

1

z dz =

I

1

z

dz (5.14)

例

のように、

平面上

から

までの複素積分が積分路によらず、点

A,B

のみによって決まっている場合を考えよう。

から

へ至る交わらない

2

つの積分路

と

を考える（図

） 。

Z

B

A(C1)

f(z)dz = Z

B

A(C2)

f(z)dz (5.15)

であるから

Z

B

A(C

1 )

f(z)dz0 Z

B

A(C

2 )

f(z)dz=( Z

B

A(C

1 )

+ Z

A

B(0C

2 )

)f(z)dz=0 (5.16)

となる。ここで

を逆にたどる

から

への道すじを

と書いた。積分

の定義

により積分路を逆にするとマイナスが付く。これは

の性質

図

点Ａから点Ｂに至る２つの積分路

、

(2)

に述べる。式（

）を書き直すと、

から

に

を通り、さらに

か ら

に

をたどってもどる道すじを

と書くと、

は閉曲線で

I

C

f(z)dz =0 (5.17)

となる。上の議論から次の結論が得られる。

定理

ある領域内での複素積分が積分路によらず始点と終点のみで決まる ということは、その領域内の任意のジョルダン閉曲線を積分路とした一周積 分が

ということである。

5.2.2

複素積分の性質

複素積分の基本的性質を以下にまとめておく。ただし関数

、

は 連続関数、積分路は区分的に滑らかであるとする。

(1) a

を複素定数として

Z

C

(f(z)+g(z))dz = Z

C

f(z)dz+ Z

C

g (z)dz (5.18)

Z

C

af(z)dz =a Z

C

f(z)dz: (5.19)

(2)

点

から点

に至る積分路を

、同じ曲線上を

より

に至る積分路 を

と書くと

Z

f(z)dz=0 Z

f(z)dz: (5.20)

5.3

コーシーの積分定理

(3)

滑らかな積分路

はパラメータ

を用いて

と書か れるとする

j Z

C

f(z)dzj Z

b

a

jf(z(s))jjz 0

(s)jds Z

C

jf(z)jjdzj: (5.21)

ここでは

番目の不等式のみ証明しよう。

、

は簡単に定義から示す ことができる。 （

）の不等式の左辺は

jlim X

j

f(z(t

j ))

dz(t

j )

ds (s

j 0s

j01

)j; (5.22)

右辺は

lim X

j

jf(z(t

j ))jj

dz(t

j )

ds j(s

j 0s

j01

) (5.23)

である。ただし

。一般に成立する複素数

の不等式（（

） の一般化）

j X

j a

j j

X

j ja

j j

を（

）と（

）に当てはめれば、式（

）の不等式を得る。 （ 証明お わり）

5.3

コーシーの積分定理

複素関数の基本的性質の根幹をなすのがこれから説明するコーシー（

）の定理である。コーシーの定理は、

の一価正則性すなわち

の微分可

能性（

の

の存在）のみから導かれる。議論を簡単に

行なうために最初に

の連続性も仮定して証明する。ただし、後で

コーシーの定理から

の無限回連続微分可能性をいうのだが、

等の連続

性を仮定してしまうと循環論法になってしまう。それを避けるために、この

節の後半で、

の存在のみを仮定し連続性は仮定しない証明も示す

ことにする。

図

グリーンの定理

5.3.1

コーシーの積分定理

定理

コーシーの積分定理

単連結領域

において

は一価正則であ り、ジョルダン閉曲線

は

内にある。このとき

I

C

f(z)dz =0 (5.24)

が成立する。

f(z)=u+iv

の正則性（微分可能性）とともに、微分係数

の 連続性を仮定する。こうすると、グリーンの定理を用いて上の定理を証明す ることができる（コーシー自身による証明） 。

式

にグリーンの定理を用いて

I

f(z)dz = I

(udx0vdy)+i I

(vdx+udy)

2グリーンの定理：^f(x;y)

および

;f

y

が

次元領域内で連続であるとする。このとき領 域内を正の向きに一周する積分路を

、その内部を

とすると

Z Z

D f

y

(x;y)dxdy=0 I

C

f(x;y)dx

Z Z

D f

x

(x;y )dxdy= I

C

f(x;y)dy

である。

が

および

で、常に

(

図

であれば第

式の証明は容易である。そうでないときには、領域

を上の条件を満 たす小領域に分割する。

上の条件から積分は

Z Z

D f

y

dxdy= Z

b

a dx

Z

y2

y1 f

y dy=

Z

b

a

dxff(x;y

2

(x))0f(x;y

1

(x))g=0 I

C

f(x;y)dx

5.3

コーシーの積分定理

= Z

D (0v

x 0u

y

)dxdy+i Z

D (u

x 0v

y

)dxdy : (5.25)

ここでコーシー・リーマンの関係式

式

を用いる と、 （

）の最後の式は積分の中が恒等的に

となる。よって

I

f(z)dz =0

を得る。

グリーンの定理を用いた証明終わり）

u

x

等の連続性を仮定せずにコーシーの積分定理を証明しよう。簡単のため 積分路

は閉じた

角形とする。一般の曲線の場合は小さな

角形に分割す ればよい。正則関数

は微分可能であるから、領域内で

f(z)=f(z

0 )+f

0

(z

0

)(z0z

0

)+ (5.26)

と書かれる。

は

としたとき、それより速く

になる複素数で ある。したがって任意の正数

に対して 適当な

を選んで

である 全ての

に対して

jf(z)0ff(z

0 )+f

0

(z

0

)(z0z

0

)gj<"jz0z

0

j (5.27)

かつ、

のとき

とすることができる。複素積分の性質

（式（

））により、領域内の

を含む小さな領域をかこむジョルダン閉曲 線

に沿って

I

C 0

dz[f(z)0ff(z

0 )+f

0

(z

0

)(z0z

0 )g]

<"

I

C 0

jdzjjz0z

0

j (5.28)

である。例

で示したように一次式の積分は積分路によらないから、左辺

g

内を一周積分した結果は

I

C 0

ff(z

0 )+f

0

(z

0

)(z0z

0

)gdz=0

となる。ここで符号に注意してほしい。また 積分路

が

(y);c y d

および

x=x

2

(y);cyd

かつ

2

(y )

であれば、同様に次の第

式が示される。

Z Z

D f

x dxdy=

Z

d

c

dy ff(x

2

(y );y)0f(x

1

(y);y )g= I

C

f(x;y)dy :

以上

つの式から

Z Z

D (

@g

@x 0

@f

@y

)dxdy= I

C

(fdx+g dy)

を得る。これがグリーンの定理である。

図

角形積分路

の分割

となる。これから

I

C 0

f(z)dz

<"

Z

C 0

jz0z

0

jjdzj (5.29)

を得る。微少領域をかこむ曲線

の長さを

とすると

であるから

j I

C 0

f(z)dzj<"l 2

(5.30)

である。

3

角形積分路

をその各辺を

等分する点を結び

つの等しい面積の

角 形

;C 00

1

;C 000

1

;C 0000

1

)

に分ける

図

。

に沿う積分は

つの

角形それぞ れの周に沿う積分の和となる。

I

C

= I

C 0

1 +

I

C 00

1 +

I

C 000

1 +

I

C 0000

1

(5.31)

積分の絶対値が最大値をとる

角形を

とすると

j I

C

f(z)dzj X

j j

I

C (j )

1

f(z)dzj 4j I

C 0

1

f(z)dzj (5.32)

である。この手続きを

回すすめると

j I

C

f(z)dzj4 N

j I

C 0

N

f(z)dzj (5.33)

となる。先の小さな

角形

を

として式（

）を考える。このとき

の周の長さを

とすれば

であるから

j I

f(z)dzj4

N

・

5.3

コーシーの積分定理

図

重連結領域

と積分路

;C

2

となる。

とすることで

とできるから、これで

f(z)dzj!0

すなわち

を得る。以上の説明では、関数の連続性と微分可能性、

積分路の分割以外使っていない。 （

等の連続性を仮定しない証明終わり）

コーシーの積分定理では、正則領域は単連結であるとした。図

のよう な

重連結領域では図に示したような正則でない領域

を内側に含む

つ の閉曲線

を考える。また

と

をつなぐ 道すじ

および、それを逆 にたどる

（

）を考える。内側の道すじ

を逆にたどる道を

と書 く。

をつないだ道すじは正則領域のみを正の方向にまわる閉 曲線で、しかも内部も一価正則である。したがって

Z

C

1 +

Z

C

0 +

Z

0C

2 +

Z

C 0

0

f(z)dz = I

f(z)dz =0 (5.35)

となる。

は積分路上で一価正則であるから

上の

と

上の

は等しい。また

と

では積分の向きは逆であるから

Z

C0

f(z)dz+ Z

C 0

0

f(z)dz=0 (5.36)

となる。また（

）により

Z

0C2

f(z)dz =0 Z

C2

f(z)dz (5.37)

である。よって

Z

C1

f(z)dz = Z

C2

f(z)dz (5.38)

となる。以上をまとめると次の定理を得る。

図

多重連結領域

と積分路

定理

は領域

内で正則であり、

の内側に

が正則でない領域

D

0

が存在するとする（すなわち

は

重連結領域） 。

を内側に含む

つの ジョルダン閉曲線

をとる（ 図

）。

を領域

内で連続的に変形し て

に変えることができる。このとき

I

C1

f(z)dz = I

C2

f(z)dz (5.39)

が成り立つ。

f(z)

の一価正則領域は多重連結であるとする

図

。このとき定理は一 般化されて次の様になる。

定理

の

価正則領域

は多重連結で、その内側にある正則でない部 分を

とする

図

。

を内側に見て、他の非正則領域を内側に含 まない正の方向にまわる閉じた積分路をそれぞれ

とする。また

すべてを内に見て正の方向に進む積分路を

とする。このとき

I

C

f(z)dz = X

j I

C

j

f(z)dz (5.40)

である。

(

証明

図

のように積分路

と

の間に往復の道すじ

を付け加える。

C

j

を逆方向に進む道すじを

と書くと、

と

および

により

5.3

コーシーの積分定理

非正則領域を内側に含まない閉じた積分路ができる。これに対してコーシー の積分定理を適用すれば

f I

C +

X

j (

I

0C

j +

Z

C 0

j +

Z

0C 0

j

)gf(z)dz =0:

C 0

j

上と

上で

は等しくしたがって

( Z

C 0

j +

Z

0C 0

j

)f(z)dz =0

である。よって

I

C

f(z)dz =0 X

j I

0C

j

f(z)dz = X

j I

C

j

f(z)dz

を得る。

証明終わり）

5.3.2

不定積分とその正則性

以上の議論から単連結正則領域では積分

R

z

a

f()d

は

の道すじに依 存せず、したがって

F(z)= Z

z

a

f()d (5.41)

と書くことができる。このことから不定積分を定義することができる。

定義

不定積分

が単連結領域で正則であるならばその領域内で定義 される積分

Z

z

a

f()d (5.42)

は積分の始点

、終点

のみに依存し、

間の積分路には依存しない。この とき一意的に決まる関数

F(z)= Z

z

a

f()d (5.43)

を

の原始関数、不定積分という。

原始関数

は

を変化させると連続的に変化する。変化量は

の無限小

の変化に対してその積分路の長さ程度の大きさである。したがって

は連

続で微分可能、すなわち正則である。このことをもう少し厳密に表現しよう。

F(z+1z)0F(z) =

z +1z

z

f()d

= f(z)1z+ Z

z +1z

z

(f()0f(z))d (5.45)

である。

は連続であるから、任意の正数

に対して適当に

を選ぶと、

zj <

である全ての

に対して

とすることができる。した がって

j

F(z+1z)0F(z)

1z

0f(z)j = j 1

1z Z

z+1z

z

(f()0f(z))dj

"

j1zj j

Z

z +1z

z

dj=" (5.46)

となる。

（

） とすると

の連続性から

となる。

lim

1z !0

F(z+1z)0F(z)

1z

=f(z) : (5.47)

よって

は微分可能、正則であり（

）が成り立つ。

証明終わり

。

5.3.3

対数関数の多価性と

の積分

f(z) = 1=z

は

を極とする。

を含む領域を考えると

は

z = 0

を除く

重連結領域で一価正則である。始点を

、 終点を

とする積分路

は、

と同じく、偏角が

と

の間で動くとする

図

。

上は

の単連結一価正則領域内にあるか ら、不定積分

F(z)= Z

z

z 1

d (5.48)

5.3

コーシーの積分定理

図

の積分路

が一意的に定まる。したがって

F 0

(z)= 1

z

(5.49)

であるから、

と比較して

F(z)=logz+a(

複素定数

である。一価正則領域内で始点と終点を固定したまま積分路を変更しても積 分の値は変わらないから、図

のようにまず半径

の円周上を偏角

まで戻り（積分路

）実軸上を

より

まで動き、さらに半径

の円 周上を正の向きにまわって

に至る道（積分路

）を考え、そこで積分しよ う。この積分路を

とする。すると

F(z)= Z

z

z

0 (L

0 )

1

d =

Z

C

1 1

d +

Z

jz j

jz

0 j

1

x dx+

Z

C

2 1

d

である。それぞれの積分は

Z

C

1 1

d =0iargz

0

(0argz

0

2);

Z

jzj

jz0j 1

x

dx=lnjzj0lnjz

0 j;

Z

C

2 1

d =iargz (0argz 2);

したがって

Z

z

z0(L0) 1

d = flnjzj+iargzg0flnjz

0

j+iargz

0 g

= flnjzj+iargzg0flnjz

0

j+iargz

0 g

: 2argz 4 (5.52)

である。原点を正の方向に

回まわった道を

とする。

上の積分も

Z

z

z

0 (L

n )

1

d = flnjzj+iargzg0flnjz

0

j+iargz

0 g

; 2n argz 2(n+1) (5.53)

である。以上の計算で

の部分が

logz (0 argz 2)

の多価性に対応している。つまり

を

から

まで 積分するとき、積分路が原点を何回まわるかという道すじと対数関数

の 多価性が対応している。

5.4

留数定理

5.4.1

留数定理

複素平面上のジョルダン閉曲線

があり、その内部に極が

個だけ存在す る場合を考える。このとき

を正の方向に

周した積分路に沿った積分はゼ ロでない値を与えることがある。

例

を（

位の）極とした

を考える。これを円周

を積分 路として積分する。

であるから

I

jz j=r 1

z 2

dz = Z

2

0 ir e

i

r 2

e i2

d = i

r Z

2

0 e

0i

d =0 e

0i

r

2

0

=0: (5.54)

この場合はゼロとなる。

5.4

留数定理

例

を（

位の）極とする

を考えて同じ積分をしよう。

I

jzj=r dz

z

= Z

2

0 ir e

i

re i

d=i Z

2

0

d =2 i: (5.55)

積分結果は半径

によらず、ゼロでない値

を与える。

例

f(z)=

z

(z01)(z02)

=0 1

z01 +

2

z02

: (5.56)

z =1

、および

が

位の極である。

つの積分路を考えよう。

C

1

:z=1

を中心として半径

の円周。内側には

のみを極として含む。

C

2

:z=2

を中心として半径

の円周。内側には

のみを極として含む。

C

3

:z=0

を中心として半径

の円周。内側には

を極として含む。

積分路

内側に

のみを極として含む。

については

内部 は正則域だから積分は

になる。

であるから

I

C1

f(z)dz =0 Z

2

0

i0:5e i

0:5e i

d+ I

C1 2

z02

dz =0i Z

2

0

d+0=02i :

積分路

については

内部は正則域だから積分は

である。

0:5e

i

として

I

C

2

f(z)dz =0 I

C

2 dz

z01 +2

Z

2

0

i0:5e i

0:5e i

d=0+2i Z

2

0

d=4 i :

積分路

定理

により

I

C3

f(z)dz= I

C1

f(z)dz+ I

C2

f(z)dz =2i (5.57)

を得る。

ついでに次のいくつかの例を見てみよう。

例

半径

の円周上で

の偏角を

から

まで

を積分してみよう。

は

価関数であるから、リーマン面上でこの積分路は閉じていない。

の 偏角を定めておかないといけない。積分を

から

まで円周

jzj=r

上の積分とする。

であるから

Z

C z

1=2

dz = ir 3=2

Z

2

0 e

i =2

e i

d =ir 3=2

1

3i=2 e

i3 =2

2

=0

= 2r

3=2

(0101)=0 4

r 3=2

: (5.58)

I

jzj=1 exp

1

z

dz =2i (5.60)

を得る。

は真正特異点であることに注意しよう。

以上から、孤立特異点のまわりを

周積分するとゼロでない値を得る場合 のあることが分かる。これを定理の形で述べておこう。

定義

留数

ジョルダン閉曲線

の内部に孤立特異点が１つだけあり、そ れを除くと

とその内部では

は正則であるとする。孤立特異点

を

つだけ内部に見て正の向きに

をまわる積分路に沿う積分

1

2 i I

C

f(z)dz =A(z

0

) (5.61)

を

の

における留数（

）という。留数を

Resf(z

0

), Res(z

0

)

などと書く。留数は関数

と点

のみによって決まる。

定理

孤立特異点

において極限値

lim

z !z

0 (z0z

0

)f(z)=A (5.62)

が有限に確定するならば、

は

における

の留数である。

（証明）

が有限確定とする。任意の正数

につい て、

となる

を適当にとれば

j(z0z )f(z)0Aj <" (5.63)

5.4

留数定理

である。

を

周する積分路

を、その内部に

の孤立特異点を

しか含まないようにとる。積分路

を変形して

z0z

0

=e i

(5.64)

とする。これは

の正則領域での閉曲線の連続的な変更であるから積分の 値は変わらず

I

C

f(z)dz = I

jz 0z

0 j=

f(z)dz (5.65)

である。さらに

であるから

j I

jz 0z

0 j=

f(z)dz02iAj=ji Z

2

0

(z0z

0

)f(z)d02iAj

=j Z

2

0

f(z0z

0

)f(z)0Agd j Z

2

0

j(z0z

0

)f(z)0Ajd

<"

Z

2

0

d=2 " (5.66)

である。

として

I

C

f(z)dz =2iA (5.67)

を得る。したがって

は

における留数である。

証明終わり

いつでも留数が定理

の方法で求まるわけではない。いくつかの例を考 えてみよう。

例

が

の近傍で

として

f(z)= c

01

z0z

0 +c

0 +c

1 (z0z

0 )+c

2 (z0z

0 )

2

+111 (5.68)

と書けるする。このとき

lim

z !z

0 (z0z

0

)f(z)=c

01

(5.69)

であるから

の

における留数は

である（

位の極） 。 例

が

の近傍で

として

f(z)= c

0k

(z0z ) k

+111+ c

01

(z0z ) +c

0 +c

1 (z0z

0

)111 (5.70)

であるから

lim

z !z

0 (z0z

0

)f(z)=0 (5.73)

となる。したがって

のまわりを

回まわる積分路

について定理

の証明と同様にして

I

C

f(z)dz =0 (5.74)

である。

孤立特異点が真性（孤立）特異点の場合には

は有限 確定ではない。以上から定理

で

が有限確定になるのは

z =z

0

が

位の極の場合である。

孤立特異点が

位の極である場合、留数が一般にゼロまたは無限大等にな るのではない。

(1=z n

)dz=0 (n6=1)

であることから直接の積分により

1

2i I

jz0z

0 j=

f(z)dz =c

01

(5.75)

となる。これが留数である。つまり孤立特異点

が

位の極の場合にも

z =z

0

での留数は

である。

公式

位の極の留数：

が

位の極であるならば

Resf(a)=c

01

= lim

z!a 1

(k01)!

d k 01

dz k 01

f(z0a) k

f(z)g (5.76)

である。これは展開（

）の具体的な形から直接示すことができる。

5.4

留数定理

図

特異点が分布している場合

例

f(z)=

z

(z01)(z02)

(5.77)

の極は

である。留数はそれぞれ

lim

z!1

(z01)f(z)=01

lim

z!2

(z02)f(z)=2 (5.78)

となる。これが例

で考えたことであった。

定理

留数定理： 正の向きにまわる閉じた積分路

の内側に

の

個 の極

が存在し、それらを除いて積分路

およびその内側 の領域で

が

価正則であれば

I

C

f(z)dz=2i N

X

k =1 Res(z

k

) (5.79)

である（図

） 。

(

証明の概略）積分路

をそれぞれの特異点

をまわる積分路

とそれ

らをつなぐ 積分路に分けて考えればよい。

0 1

2i I

jzj=>R

f(z)dz (5.80)

を

の

における留数といい、

など とあらわす。ただし積分路は

の円周上を正の向きにまわる。

jzj=

の円周上を原点から見て正の向きにまわるときには、無限遠点を常 に右手に見ている。したがって無限遠点を中心に考えれば負の向きにまわっ ていることになる。そのため上の定義では係数にマイナスが付いている。

定理

が

で正則であるとき

が有限確定で あるなら

Resf(1)=0 lim

z !1

zf(z): (5.81)

（証明）

と変数変換し、半径

の円周を考えると

Res(1)=0 1

2 i I

jzj=

f(z)dz = 1

2i I

jj=

1

f

1

01

2

d: (5.82)

ここで

の円周上を正の向きにまわる道筋は

の円周上を負の 向きにまわる道筋に射影される。最後の式ではその積分路を

の円 周上で正の向きにまわる積分路に書き換え、符号

をかけている。

f(1=)

は

を除いて

で正則であるから、

0f(1=)(1=

2

)

の特異点は存在するとするとそれは

である。つまり

1

2 i I

jj=

1 f(

1

)

01

2

d = 1

2 i I

jj=

1

F()d =ResF(0) (5.83)

5.4

留数定理

図

閉曲線

と特異点

は、

が有限確定であれば

ResF(0) =lim

!0

F() (5.84)

である。故に

ResF(0) =lim

!0

F()=0 lim

z !1 1

z f(z)z

2

=0 lim

z !1

zf(z): (5.85)

(

証明終わり

f(z)

が

で

f(z)= 1

X

n=01 c

n z

n

(5.86)

と展開されるとする。

I

jzj=>0 z

n

dz= (

0 n 6=01

2i n=01

(5.87)

であることを考えると

Resf(1)=0c

01

(5.88)

である。このことから、

が

の正則点であっても留数

は

とは限らないことが分かる。このことには注意せねばならない。

定理

ジョルダン閉曲線

は

の原点から有限の距離にある特異点を全

て内側に含むとする。

の内側にある

の特異点を

、そこでの留数を

一方これはまた定義

式により

の留数も与える。

I

C

f(z)dz=02iB

1

: (5.91)

故に

である。

証明終わり）

これが

が正則点である場合も、一般には

であることの 意味である。逆に

の特異点が

であっても他に特異点がなければ

B

1

=0

である。

例

f(z)=e z

(5.92)

は

を除いて全

平面上で正則である（

は真性特異点） 。上の定 理から

の留数は

である。

を

のべき級数で展開すると

e z

=1+ 1

1!

z+ 1

2!

z 2

+111+ 1

n!

z n

+111 (5.93)

である。

の項は現われないから

での留数はたしかに

である。

5.4.3

有理型関数と偏角の原理

留数の応用として重要な事項のいくつかを述べる。第

章で有理関数

f(z)= a

0 z

n

+a

1 z

n01

+111+a

n01 +a

n

b

0 z

m

+b

1 z

m01

+111+b

m01 z+b

m

(5.94)

について述べた。

を含む全

平面で高々極以外の特異点を持たない（真

性特異点を持たない）複素関数は、実は有理関数に限られる。

5.4

留数定理

定義

有理型

ある領域で高々極以外の特異点を持たない複素関数を、そ の領域で有理型

であるという。

定理

偏角の原理

関数

は単連結領域

で有理型、

内のジョルダン 閉曲線

上には

の零点も極もないとする。

の内部にある

の零点 と極およびその位数をそれぞれ零点

位数

、極

位数

とすると

1

2i I

C f

0

(z)

f(z) dz=

1

2 I

C

d(arg f(z))= X

j h

j 0

X

l k

l

: (5.95)

(

証明）

が

の零点または極であれば、

は

の

位の極である。まずこのことを示そう。

が

位の零点であれば

f(z)=(z0a) h

g

1

(z) (5.96)

と書ける。ただし

は

の零点ではない正則点である。故に

f 0

(z)

f(z)

= h

z0a +

g 0

1 (z)

g

1 (z)

(5.97)

となり、

は

=g

1

の正則点である。

が

位の極なら

f(z)=(z0b) 0k

g

2

(z) (5.98)

と書け、

は

の零点ではない正則点である。よって

f 0

(z)

f(z)

=0 k

z0b +

g 0

2 (z)

g

2 (z)

(5.99)

となり、

は

=g

2

の正則点である。これらの式（

） （

）から直 ちに

I

C f

0

(z)

f(z)

dz=2i X

j h

j 02i

X

l k

l

(5.100)

が導かれる。

定理

の式

の左辺にある

は次の様に変形できる。

f 0

(z)

dz =d(logf(z))=dlnjf(z)j+id(argf(z)) (5.101)

これにより、

周積分の積分路に沿った

の偏角の変化と積分路内の零点 および極の位数とが関係づけられた。 （証明終り）

定理

ルーシェ

の定理

の単連結な正則領域

内にジョ ルダン閉曲線

を考える。

上で

jf(z)j>jg(z)j (5.104)

であるならば、

と

とは、

の内部に位数だけ重複して数え て、同数の零点を持つ。

(

証明）

の内部にある

と

の零点の数の差は（極はない から）

1

2 I

C

d(arg(f(z)+g(z))0 1

2 I

C

d(argf(z))

= 1

2 I

C

darg(1+ g (z)

f(z)

) (5.105)

である。

であるから

による

の像は右 半平面上

つまり

を中心とし半径

の円の内側

にある。

すなわち

の像は原点

の周りをまわらない。故に

I

C darg

1+ g(z)

f(z)

=0 (5.106)

である。これにより

と

の零点の数は（位数を重複して考え れば）同じである。

3

h(z)=1+g(z)=f(z);w (z)=f(z)+g(z )=f(z)h(z)

とする。

argh(z)

であるから

5.5

第

章問題

5.5

第

章問題

問

次の積分を行え。

(1) Z

i

1

sinzdz

（積分路は直線）

Z

1

0 e

0x

sinxdx (3) Z

1+i

0 e

z

dz

問

次の積分を計算せよ。

(1) I

jz j=2 e

2z

(z01) 2

dz (2) I

jz j=1 dz

z 2

(z02) (3)

I

jzj=1

jz+1jjdzj (4) I

jzj=1 coshz

z 2

dz

問

次の積分を行え。

(1) Z

1

0

dx

1+x 6

(2) Z

=2

0

d

a+sin 2

(a>0)

(3) Z

2

0

d

a 2

cos 2

+b 2

sin 2

(a;b >0) (4) Z

1

0

cosax

x 2

+b 2

dx(a;b >0)

問

次の積分を行え。

(1) Z

1

0 sin

2

x

x 2

dx (2) Pv 1

2 i Z

1

01 e

itx

x dx

問

次の関数の無限遠点における留数を求めよ。

(1) 1

z

(2)z (3) z

z 2

+1 (4)

z 3

z 2

+1

問

ルーシェの定理を用いて

の解は

内には

の みであることを示せ。

問

円

内で、

の解の数はいくつあるか。