複素線積分
#
ここでは複素関数の線積分について解説する。
複素平面の部分集合
U⊂C
上定義された複素関数f:U→CとU内の滑らかな曲線Cに対し、
線積分
∫Cf(z)dz
を定義することができる。
線積分の定義
#
「微分形式の引き戻し」により計算する。
置換積分、積分の変数変換公式、という観点で積分を定義する。
曲線の長さ、あるいはベクトル場の線積分などを必要に応じて復習する。
dz=dx+idyで、f(z)dzという複素係数のC上の微分形式を、
γ:t↦z(t)によって閉区間に引き戻す。
γ∗(dz)=d(γ(t))=γ′(t)dtとなる。
これをz′(t)とも書く。
z(t)=x(t)+iy(t)と成分でかくと、z′(t)=x′(t)+iy′(t)であり、
dz=z′(t)dt=x′(t)dt+iy′(t)dtとなる。
CをU内の向きのついた区分的C1曲線とし、γ:[a,b]→Uをそのパラメータづけとする。
このとき、fのCにそった線積分を
∫Cf(z)dz=∫abf(γ(t))γ′(t)dt
と定義する。
これはR2における線積分と本質的な違いはない。
値が複素数になるが実部と虚部に分ければそれぞれ実数値の線積分である。
dz=dx+idyと解釈できる。
線積分の定義においては、fが正則でなくともよい。
あとで述べるように線積分は曲線のパラメータづけγには依存しない。
このことは、積分の変数変換の公式により証明できる。
リーマン和を用いて定義することもできる?
極限の取り方に注意が必要?
パラメータを用いて極限をとる?
lim∑i=1f(zi+1−f(zi))(zi+1−zi)として定義する。
f(z)=u(x,y)+iv(x,y)とすると、f(z)dz=(u(x,y)dx−v(x,y)dy)+i(v(x,y)dx+u(x,y)dy)である。
実部と虚部をそれぞれベクトル場と解釈すると、これらの回転はuy+vx,vy−uxであり、コーシーリーマン方程式のもとで0となる。
グリーンの定理より、ある領域の境界における線積分は内部における回転の面積分だから、
線積分の計算例
#
線積分の基本的な性質
#
パラメータの取り替え
#
置換積分の公式によれば、複素線積分の値はパラメータの表示の仕方によらない。
より正確には、向きを保つ変換によって、複素線積分の値は変わらない。
曲線Cのパラメータ表示z(t)を単調増加で滑らかな関数t=ϕ(s)を用いて、w(s)=z(ϕ(s))に置き換える。
ここで単調増加であることはポイント。
次に述べる向きに関係する。
置換積分の公式と、合成関数の微分公式を用いることで
∫abf(z(t))z’(t)dt=∫cdf(z(ϕ(s)))z’(ϕ(s))ϕ’(s)ds=∫cdf(w(s))w’(s)ds
と計算できる。
つまり、どちらのパラメータ表示でも同じ結果が得られる。
曲線の向き
#
曲線の向きを逆にすると線積分の値は−1倍される。
曲線Cの向きを逆にした曲線を−Cと表すことにする。
ここでは、−CはCのパラメータづけz(t),a≤t≤bに対してz(−t),−b≤t≤−aで定まるもの。
このとき
∫−Cf(z)dz=−∫Cf(z)dz
が成り立つ。
dtd(z(−t))=−dtdz(t)であるから、積分の値は−1倍される。
曲線の分割と結合
#
∫Cf(z)dz=∫C1f(z)dz+∫C2f(z)dz
このことを用いて区分的に滑らかな曲線上の線積分を定めることができる。
絶対値
#
積分値の絶対値評価については次が成り立つ。
∣∣∣∣∣∫Cf(z)dz∣∣∣∣∣≤∫C∣f(z)∣∣dz∣
が成り立つ。
∣dz∣とは?
dx2+dy2であり、z=z(t)による引き戻しはz’(t)dtである。
極限の交換
#
積分と極限の順序交換については次が成り立つ。
連続な複素関数の列{fn}n∈Nが「曲線C上で」fに一様収束するとする。
このとき、
n→∞lim∫Cfn(z)dz=∫Cn→∞limfn(z)dz=∫Cf(z)dz
がなりたつ。
複素線積分の基本的な性質
#
1から−1への上半円をz(t)=eit,0≤t≤πでパラメータ表示するか、
w(s)=e2is,0≤s≤2piでパラメータ表示するか。
Cを単位円の反時計回り向きとする。
パラメータづけをz(t)=eit,0leqt≤2πで与える。
これに対して、−Cはw(t)=e−it,−π≤t≤0である。
積分路の変更
#
図が必要。
Cを円として、その直径を引いて二つに分けたものをC1,C2とする。
向きを「反時計回り」につけることで、
∫C=∫C1+∫C2
となる。
同心円C,C’をその「直径」で二つに分けてC1,C2とする。
向きを「反時計回り」につけることで
∫C1+∫C2=∫C−∫C’
となる。
長方形Rを4分割して、それぞれをR1,R2,R3,R4とする。
向きを「反時計回り」につけることで
∫R=i∑∫Ri
となる。
線積分の計算例
#
簡単な線積分の計算例を見ていこう。
単位円や正方形など簡単な図形で計算する。
一次式など。
不定積分がある場合。
ポテンシャルがあれば始点と終点のみで決まることなど。
定数関数f(z)=1の線積分を調べる。
点Oをz=0、点Aをz=1、点Bをz=1+iで定める。
関数f(z)=zについて、線分OA,AB,BOに沿った線積分を計算しよう。
それぞれのパラメータづけを
γ1(t)=t,t∈[0,1]γ2(t)=1+ti,t∈[0,1]γ3(t)=(1+i)(1−t),t∈[0,1]
とする。
∫OAf(z)dz=∫01tdt=21
∫ABf(z)dz=∫01(1+ti)idt=i−21
∫BOf(z)dz=∫01(1+i)(1−t)(−(1+i))dt=−21(1+i)2=−i
となる。
特に三つの積分の和が0となることに注目しよう。
g(z)=z2,h(z)=zˉについて上と同じ線分に沿った線積分を計算せよ。
OA,AB,BOのパラメータは上と同様に与える。
まずg(z)=z2について。
∫OAg(z)dz=∫01t2dt=31
∫ABg(z)dz=∫01(1+ti)2idt=−1+32i
∫BOg(z)dz=∫10t(1+i)2(1−t)2(−(1+i))dt=−31(1+i)3=−31(2i−2)
次にh(z)=zˉについて。
∫OAh(z)dz=∫01tdt=21
∫ABh(z)dz=∫01(1−ti)idt=i+21
∫BOh(z)dz=∫01(1−i)(1+t)(−(1+i))dt=−2∫01(1+t)dt=−3
Cを反時計回り単位円周とし、γ(t)=exp(2πit),t∈[0,1]をそのパラメータづけとする。
∫Cdz=∫012πiexp(2πit)dt=[exp(2πit)]01=0
Cを反時計回り単位円周とする。
∫Czndz
を計算せよ。
上と同様にパラメータづけを与える。
n=−1であれば
∫Czndz=∫01exp(2nπit)2πexp(2πit)dt=[n+11exp(2(n+1)πit)]1=0
である。
n=−1のとき、
∫Cz1dz=∫01exp(−2πit)2πiexp(2πit)dt=∫012πidt=2πi
となる。
zdzをz=w1で変換すると、dz=−w2dwであるから−wdwとなる。
一方でz2dzであれば−dwである。
ここにn=−1の特殊性がある。
Cを反時計回り単位円周とする。
∫Czˉdz
を計算せよ。
上と同様にパラメータづけを与える。
∫Czˉdz=∫01exp(−2πit)2πiexp(2πt)dt=2πi
Cを中心aで半径rの反時計回り円周とする。
∫C(z−a)ndz
を計算せよ。
γ(t)=exp(2πit)+a,t∈[0,1]をそのパラメータづけとする。
∫C(z−a)ndz={2πi0n=−1n=−1