なお,定理4.4と定理4.5はD が単連結開集合,すなわち D 内の任意の閉曲線を D内 で連続的に変形して1点にできる(D のホモトピー群が単位元のみからなる)という条 件の下で成立する.(星形開集合は単連結であるが,逆は成立しない.)
問題 4.11 次の各々の線積分について,Cauchy(コーシー)の積分定理(定理4.4)が適 用できて 0 になることが結論できるか?理由も述べること.(0 と結論できない場合は積 分の値を求める必要はない.0 になる可能性があってもよい.)
(1)
∫
C
exp(z)dz (C は 円周 |z|= 1)
(2)
∫
C
ez
z2+ 4dz (C は 円周 |z|= 1) (3)
∫
C
ez
z dz (C は 円周 |z|= 1) (4)
∫
C
1
z4−16dz (C は4点 1, i, −1, −i を頂点とする正方形の周) (5)
∫
C
z
ez+ 1dz (C は4点 1−i, 1 +i, −1 +i, −1−i を頂点とする正方形の周) 問題 4.12 (発展) C を z = eit (0 ≤t≤π)でパラメータ表示される曲線(半円周)とす るとき,
∫
C
1
z2+ 3dz の値を求めよ.(ヒント:定理4.5を用いて積分路を変える.)
5 回転数と Cauchy の積分公式
以下で見るように,ν(C, z0) は点が閉曲線 C に沿って始点から出発して始点に戻って くるとき,点 z0 のまわりを何周したかを表す量である.
例 5.1 n を整数として,パラメータ表示 z =eint = cosnt+isinnt (0≤t≤2π) で表さ れる閉曲線を Cn とすると,
ν(Cn,0) = 1 2πi
∫
Cn
1
zdz = 1 2πi
∫ 2π
0
ineint
eint dt = 1 2πi
∫ 2π
0
in dt= n
となる.実際 Cn は単位円周上を n周(n < のときは負の向きに |n|周)する閉曲線で ある.
命題 5.1 回転数 ν(C, z0) は整数である.
証明: 閉曲線 C のパラメータ表示を z =φ(t) (a≤t≤b) とする.z0 を C 上にはない複 素数としてa≤t≤b を満たす実数 t に対して,
h(t) =
∫ t
a
φ′(s) φ(s)−z0
ds と定義する.回転数と線積分の定義より
ν(C, z0) = 1 2πi
∫
C
1 z−z0
dz = 1 2πi
∫ b a
φ′(t) φ(t)−z0
dt = 1 2πih(b) であるから,h(b) が 2πi の整数倍であることを示せばよい.
まず、不正確だが直感的な証明を行う.複素数の対数 logz を用いると,
d
dslog(φ(s)−z0) = φ′(s) φ(s)−z0
であるから(?),
h(t) = [log(φ(s)−z0)]s=ts=a = log(φ(t)−z0)−log(φ(a)−z0) となる.ここで t に b を代入すると,
h(b) = log(φ(b)−z0)−log(φ(a)−z0)
この右辺は φ(a) = φ(b) (C は閉曲線だから)より 0 になるように見えるが,実はlogz の虚部は 2πi の整数倍の不定さがあるので,この式の右辺は2πi の整数倍である.
上では原始関数として複素数の対数 log を用いたが,logz は本当の関数ではない(値 が無数にある)ので,以上の「証明」は不正確である.
そこで,z̸= 0 のとき,exp(logz) =z は(logz の値,すなわちz の偏角の選び方によ らず)成立することに着目して h(t) の指数関数を考察しよう.もし上の式が正しいとす ると,
exp(h(t)) = exp(
log(φ(t)−z0)−log(φ(a)−z0))
= exp(
log(φ(t)−z0)) exp(
−log(φ(a)−z0))
= φ(t)−z0
φ(a)−z0
となることが予想される.もしこれが正しければexp(−h(t))(φ(t)−z0) =φ(a)−z0 は t によらない定数となるはずである.そこで,
g(t) = exp(−h(t))(φ(t)−z0) =e−h(t)(φ(t)−z0) が定数であることを示そう. g(t) を t で微分すると,
g′(t) =−h′(t)e−h(t)(φ(t)−z0) +e−h(t)φ′(t) =− φ′(t) φ(t)−z0
e−h(t)(φ(t)−z0) +e−h(t)φ′(t) = 0 が成立するから,実際に g(t) は定数である.特に h(a) = 0 に注意すると,
φ(a)−z0= e−h(a)(φ(a)−z0) =g(a) =g(b) =e−h(b)(φ(b)−z0) (5) が成立する.C は z0 を通らない閉曲線だからφ(a) =φ(b)̸= z0 であり,これと(5)より e−h(b) = 1,従って h(b) = 2πi ν(C, z0) は 2πi の整数倍でなければならない.以上により ν(C, z0) が整数であることが正確に証明された.□
命題 5.2 C を閉曲線とすると,ν(C, z) は z の関数としてC\C で連続である.
証明: z0 を C上にない点として,z0 と C との距離(z0 と C 上の点との距離の最小値)
を r > 0 とする.複素数 z は z0 に近づけるので,|z−z0| < r
2 としてよい,このとき任 意の ζ ∈C に対して
|ζ−z|= |(ζ −z0)−(z−z0)| ≥ |ζ −z0| − |z−z0| > r−r 2 = r
2 が成立することに注意すると,命題4.5よりC の長さを l(C) として
|ν(C, z)−ν(C, z0)| = 1
2πi
∫
C
( 1
ζ−z − 1 ζ −z0
) dζ
≤ l(C) 2π max
ζ∈C
1
ζ−z − 1 ζ −z0
= l(C) 2π max
ζ∈C
|z−z0|
|(ζ −z)(ζ −z0)| ≤ l(C) 2π
|z−z0|
1
2r2 = l(C) π
|z−z0|
r2 −→0 (z →z0) が成立する.以上により ν(C, z) は z0 で連続,従って C\C で連続である.□
命題 5.3 複素数z1 と z2 を閉曲線 C と交わらない折れ線で結べればν(C, z1) =ν(C, z2) が成立する.
z1 z2
C
証明: z1を始点z2 を終点とする折れ線Lで C と交わらないものが存在する.各線分の両 端に関する回転数が同じであることを示せばよいから,最初から L は線分であると仮定 してよい.Lのパラメータ表示をz =φ(t) (a≤t≤b)とすると,前の補題よりν(C, φ(t)) は区間 [a, b] で tについて連続である.一方 ν(C, φ(t)) の値は整数であるから,もし定数 でなければ不連続となり矛盾である.(もし ν(C, φ(t)) が区間[a, b] で2つ以上の整数値を とれば,中間値の定理によって整数以外の値もとることになる.)□
定義 5.2 C を閉曲線として,複素数 z0 を C 上の任意の点 z が|z| < |z0| をみたすよう にとる(|z0| を十分大きくすればよい).このとき C と交わらないような折れ線で z0 と 結べるような点z の全体 U を C の外部領域と呼ぶ(下左図).
C z0
z
C z0
z1 z
命題 5.4 閉曲線 C の外部領域 U は連結開集合である.
証明: U が開集合であることを示そう.z1 ∈ U とすると z1 は C 上にはないから,ある 正の実数 ε が存在してU(z1;ε) = {z ∈ C| |z−z1| < ε} は C と交わらない.このとき,
任意の z ∈U(z1;ε) に対して z1 と z を結ぶ線分は C と交わらない.また U の定義によ り z0 と z1 を結ぶU 内の折れ線が存在する.この折れ線と z1 と z を結ぶ線分をつなげ てできる折れ線は z0 と z を結ぶから z ∈U である(上右図).これで U(z1;ε) ⊂U が 示されたから U は開集合である.U の任意の2点 z1 と z2 に対して z0 と z1 を結ぶ折れ 線 C1 と z0 と z2 を結ぶ折れ線 C2 が存在する.このとき C1+ (−C2) は z1 と z2 を結ぶ 線分だから U は(弧状)連結である.□
命題 5.5 閉曲線 C の外部領域を U とすると,任意の z ∈ U に対してν(C, z) = 0 で ある.
証明: 正の実数 R を C が開円板 U(0;R) に含まれるようにとる.z0 を |z0| > R を満た す複素数とする.このとき (z−z0)−1 は凸開集合(従って星形開集合)U(0;R) で正則だ から,Cauchyの積分定理(定理4.4)により ν(C, z0) = 0 である.z を U の任意の点と すると,z0 と z を結ぶ U内の折れ線が存在するから命題5.3より ν(C, z) =ν(C, z0) = 0 を得る.□
命題 5.6 z0 ∈Cとする.a, bを正の実数とする.C1 を z0−ai を始点,z0+bi を終点と する曲線で半直線{z0+t | t ∈ R, t ≤0} と交わらないものとする.また, C2 を z0+bi を始点,z0−ai を終点とする曲線で半直線{z0+t|t∈R, t≥0} と交わらないものとす る.このとき C = C1+C2 を C1 と C2 をつないでできる閉曲線とすると,ν(C, z0) = 1 が成立する.
z0 C2
z0+bi
z0−ai
C1
z0
C2 z0+bi
z0−ai
z0
C1 z0+bi
z0−ai
証明: z0 は C 上の点ではないから閉円板 {z ∈ C | |z−z0| ≤ r} が C と交わらないよ うな正の実数 r がとれる.C′ を円周 |z−z0| = r (正の向き)とする.C1 , z0+bi と z0+ri を結ぶ線分,−C′ の右半分,z0−ri と z0−ai を結ぶ線分,の4つの曲線をつな げてできる閉曲線を γ1 とする.また,C2 , z0−ai と z0−ri を結ぶ線分,−C′ の左半 分,z0+ri と z0+bi を結ぶ線分,の4つをつなげてできる閉曲線を γ2 とする.
z0
C C′
z0+ri
z0−ri z0+bi
z0−ai
C1
C2 γ2 γ1
z0
γ2
z0+bi
z0−ai
z0
γ1
z0+bi
z0 −ai
このとき,γ1 に沿っての線積分と γ2 に沿っての線積分の和は,2つの線分に沿っての積 分が互いに向きが逆で打ち消し合って,C に沿っての線積分と −C′ に沿っての線積分の 和になるから,
ν(C, z0)−ν(C′, z0) = 1 2πi
∫
C
dz
z−z0 − 1 2πi
∫
C′
dz
z−z0 = 1 2πi
∫
γ1
dz
z−z0 + 1 2πi
∫
γ2
dz z−z0 ここで1/(z−z0)は星形開集合 D =C\ {z0+t|t≤0} で正則でありγ1 はD に含まれる から,Cauchy の積分定理により
∫
γ1
dz
z−z0 = 0 が成立する.同様に,1/(z−z0) は星形 開集合 D′ = C\ {z0+t|t≥0} で正則であり γ2 は D′ に含まれるから,
∫
γ2
dz
z−z0 = 0 が成立する.以上により ν(C, z0) = ν(C′, z0) が示された.よってC′ のパラメータ表示
z =z0+reit (0≤t≤2π)を用いて
ν(C, z) =ν(C′, z0) = 1 2πi
∫ 2π 0
ireit
reit dt= 1
□
例 5.2 C を α ∈ C を中心とする半径 r > 0 の円周とする.z0 が C の内側,すなわち
|z0−α|< r であればν(C, z0) = 1 である.実際 z0 と C が命題5.6の仮定をみたすこと は明らかである.(C のうち実部が Rez0 以上の部分を C1, C のうち実部が Rez0 以下の 部分を C2 とすればよい.)|z0−α|> r のときは z0 は C の外部領域に属するから,命題 5.5により ν(C, z0) = 0 である.
例5.2
z0 α
C
例5.3
1
−1
C1 C2
例 5.3 閉曲線 C をパラメータ表示 C : z(t) =
{
1−e2it (0≤t≤π) e−2it−1 (π ≤t≤2π) で定義される閉曲線とする.
C1 : 1−e2it (0 ≤t≤π), C2 :e−2it−1 (π ≤t≤2π) とすると,C =C1+C2 である.z0 を C上にない複素数とすると
(1) |z0−1|< 1 ならば ν(C, z0) = 1, (2) |z0+ 1| <1 ならば ν(C, z0) =−1,
(3) それ以外のとき(z0 が C の外部領域に属するとき)は ν(C, z0) = 0.
が成立する.証明)まず ν(C, z0) = 1
2πi
∫
C
1 z−z0
dz = 1 2πi
∫
C1
1 z−z0
dz+ 1 2πi
∫
C2
1 z−z0
dz = ν(C1, z0)+ν(C2, z0) に注意する.C1 は正の向きの円周 |z−1| = 1だから,前の例により |z0−1| <1 のとき ν(C1, z0) = 1, |z0−1| > 1 のとき ν(C1, z0) = 0 である.一方 C2 は円周 |z+ 1|= 1 を負 の向きに一周するから,正の向きの円周 −C2 に対して前の例を適用すれば,|z0+ 1| <1 のとき ν(−C2, z0) = 1, |z0 + 1| > 1 のとき ν(−C2, z0) = 0 である.回転数の定義から ν(−C2, z0) =−ν(C2, z0) であることに注意すると,以上をまとめて上の式を得る.