線積分

複素線積分 #

ここでは複素関数の線積分について解説する。 複素平面の部分集合 UCU\subset \mathbb{C} 上定義された複素関数f:UCf:U\to \mathbb{C}UU内の滑らかな曲線CCに対し、 線積分 Cf(z)dz \int_Cf(z)dz を定義することができる。

線積分の定義 #

「微分形式の引き戻し」により計算する。 置換積分、積分の変数変換公式、という観点で積分を定義する。

曲線の長さ、あるいはベクトル場の線積分などを必要に応じて復習する。

dz=dx+idydz=dx+idyで、f(z)dzf(z)dzという複素係数のC\mathbb{C}上の微分形式を、 γ:tz(t)\gamma:t\mapsto z(t)によって閉区間に引き戻す。 γ(dz)=d(γ(t))=γ(t)dt\gamma^\ast(dz)=d(\gamma(t))=\gamma'(t)dtとなる。 これをz(t)z'(t)とも書く。 z(t)=x(t)+iy(t)z(t)=x(t)+iy(t)と成分でかくと、z(t)=x(t)+iy(t)z'(t)=x'(t)+iy'(t)であり、 dz=z(t)dt=x(t)dt+iy(t)dtdz=z'(t)dt=x'(t)dt+iy'(t)dtとなる。

CCUU内の向きのついた区分的C1C^1曲線とし、γ:[a,b]U\gamma:[a,b]\to Uをそのパラメータづけとする。 このとき、ffCCにそった線積分を Cf(z)dz=abf(γ(t))γ(t)dt \int_C f(z)dz=\int^b_af(\gamma(t))\gamma'(t)dt と定義する。

これはR2\mathbb{R}^2における線積分と本質的な違いはない。 値が複素数になるが実部と虚部に分ければそれぞれ実数値の線積分である。 dz=dx+idydz=dx+idyと解釈できる。 線積分の定義においては、ffが正則でなくともよい。 あとで述べるように線積分は曲線のパラメータづけγ\gammaには依存しない。 このことは、積分の変数変換の公式により証明できる。

リーマン和を用いて定義することもできる? 極限の取り方に注意が必要? パラメータを用いて極限をとる? limi=1f(zi+1f(zi))(zi+1zi)\lim\sum_{i=1}f(z_{i+1}-f(z_i))(z_{i+1}-z_i)として定義する。

f(z)=u(x,y)+iv(x,y)f(z)=u(x,y)+iv(x,y)とすると、f(z)dz=(u(x,y)dxv(x,y)dy)+i(v(x,y)dx+u(x,y)dy)f(z)dz=(u(x,y)dx-v(x,y)dy)+i(v(x,y)dx+u(x,y)dy)である。 実部と虚部をそれぞれベクトル場と解釈すると、これらの回転はuy+vx,vyuxu_y+v_x, v_y-u_xであり、コーシーリーマン方程式のもとで00となる。 グリーンの定理より、ある領域の境界における線積分は内部における回転の面積分だから、

線積分の計算例 #

線積分の基本的な性質 #

パラメータの取り替え #

置換積分の公式によれば、複素線積分の値はパラメータの表示の仕方によらない。 より正確には、向きを保つ変換によって、複素線積分の値は変わらない。

曲線CCのパラメータ表示z(t)z(t)を単調増加で滑らかな関数t=ϕ(s)t=\phi(s)を用いて、w(s)=z(ϕ(s))w(s)=z(\phi(s))に置き換える。 ここで単調増加であることはポイント。 次に述べる向きに関係する。

置換積分の公式と、合成関数の微分公式を用いることで abf(z(t))z(t)dt=cdf(z(ϕ(s)))z(ϕ(s))ϕ(s)ds=cdf(w(s))w(s)ds \int_a^bf(z(t))z’(t)dt=\int_c^df(z(\phi(s)))z’(\phi(s))\phi’(s)ds=\int_c^df(w(s))w’(s)ds と計算できる。 つまり、どちらのパラメータ表示でも同じ結果が得られる。

曲線の向き #

曲線の向きを逆にすると線積分の値は1-1倍される。 曲線CCの向きを逆にした曲線をC-Cと表すことにする。 ここでは、C-CCCのパラメータづけz(t),atbz(t), a\leq t\leq bに対してz(t),btaz(-t), -b\leq t\leq -aで定まるもの。

このとき Cf(z)dz=Cf(z)dz \int_{-C}f(z)dz=-\int_Cf(z)dz が成り立つ。
ddt(z(t))=ddtz(t)\dfrac{d}{dt}(z(-t))=-\dfrac{d}{dt}z(t)であるから、積分の値は1-1倍される。

曲線の分割と結合 #

Cf(z)dz=C1f(z)dz+C2f(z)dz \int_Cf(z)dz=\int_{C_1}f(z)dz+\int_{C_2}f(z)dz

このことを用いて区分的に滑らかな曲線上の線積分を定めることができる。

絶対値 #

積分値の絶対値評価については次が成り立つ。

Cf(z)dzCf(z)dz \left\lvert\int_Cf(z)dz\right\rvert\leq\int_C\lvert f(z)\rvert \lvert dz\rvert が成り立つ。

dz\lvert dz\rvertとは? dx2+dy2\sqrt{dx^2+dy^2}であり、z=z(t)z=z(t)による引き戻しはz(t)dtz’(t)dtである。

極限の交換 #

積分と極限の順序交換については次が成り立つ。

連続な複素関数の列{fn}nN\{f_n\}_{n\in\mathbb{N}}が「曲線CC上で」ffに一様収束するとする。 このとき、 limnCfn(z)dz=Climnfn(z)dz=Cf(z)dz \lim_{n\to\infty}\int_Cf_n(z)dz=\int_C\lim_{n\to\infty}f_n(z)dz=\int_Cf(z)dz がなりたつ。

複素線積分の基本的な性質 #

11から1-1への上半円をz(t)=eit,0tπz(t)=e^{it}, 0\leq t\leq \piでパラメータ表示するか、 w(s)=e2is,0spi2w(s)=e^{2is}, 0\leq s\leq\dfrac{pi}{2}でパラメータ表示するか。
CCを単位円の反時計回り向きとする。 パラメータづけをz(t)=eit,0leqt2πz(t)=e^{it}, 0leq t\leq 2\piで与える。 これに対して、C-Cw(t)=eit,πt0w(t)=e^{-it}, -\pi\leq t\leq 0である。

積分路の変更 #

図が必要。 CCを円として、その直径を引いて二つに分けたものをC1,C2C_1, C_2とする。 向きを「反時計回り」につけることで、 C=C1+C2 \int_C=\int_{C_1}+\int_{C_2} となる。
同心円C,CC, C’をその「直径」で二つに分けてC1,C2C_1, C_2とする。 向きを「反時計回り」につけることで C1+C2=CC \int_{C_1}+\int_{C_2}=\int_C-\int_{C’} となる。
長方形RR44分割して、それぞれをR1,R2,R3,R4R_1, R_2, R_3, R_4とする。 向きを「反時計回り」につけることで R=iRi \int_R=\sum_i\int_{R_i} となる。

線積分の計算例 #

簡単な線積分の計算例を見ていこう。 単位円や正方形など簡単な図形で計算する。 一次式など。 不定積分がある場合。 ポテンシャルがあれば始点と終点のみで決まることなど。

定数関数f(z)=1f(z)=1の線積分を調べる。

OOz=0z=0、点AAz=1z=1、点BBz=1+iz=1+iで定める。 関数f(z)=zf(z)=zについて、線分OA,AB,BOOA, AB, BOに沿った線積分を計算しよう。

それぞれのパラメータづけを γ1(t)=t,t[0,1]γ2(t)=1+ti,t[0,1]γ3(t)=(1+i)(1t),t[0,1] \gamma_1(t)=t, t\in[0,1]\\ \gamma_2(t)=1+ti, t\in[0,1]\\ \gamma_3(t)=(1+i)(1-t), t\in[0,1]\\ とする。

OAf(z)dz=01tdt=12 \int_{OA}f(z)dz =\int_{0}^{1}tdt =\frac{1}{2}

ABf(z)dz=01(1+ti)idt=i12 \int_{AB}f(z)dz =\int_{0}^{1}(1+ti)idt =i-\frac{1}{2}

BOf(z)dz=01(1+i)(1t)((1+i))dt=12(1+i)2=i \int_{BO}f(z)dz =\int_{0}^{1}(1+i)(1-t)(-(1+i))dt =-\frac{1}{2}(1+i)^2 =-i となる。

特に三つの積分の和が00となることに注目しよう。

g(z)=z2,h(z)=zˉg(z)=z^2, h(z)=\bar{z}について上と同じ線分に沿った線積分を計算せよ。 OA,AB,BOOA, AB, BOのパラメータは上と同様に与える。

まずg(z)=z2g(z)=z^2について。 OAg(z)dz=01t2dt=13 \int_{OA}g(z)dz =\int_{0}^{1}t^2dt =\frac{1}{3}

ABg(z)dz=01(1+ti)2idt=1+23i \int_{AB}g(z)dz =\int_{0}^{1}(1+ti)^2idt =-1+\frac{2}{3}i

BOg(z)dz=10t(1+i)2(1t)2((1+i))dt=13(1+i)3=13(2i2) \int_{BO}g(z)dz =\int_{1}^{0}t(1+i)^2(1-t)^2(-(1+i))dt =-\frac{1}{3}(1+i)^3 =-\frac{1}{3}(2i-2)

次にh(z)=zˉh(z)=\bar{z}について。 OAh(z)dz=01tdt=12 \int_{OA}h(z)dz =\int_{0}^{1}tdt =\frac{1}{2}

ABh(z)dz=01(1ti)idt=i+12 \int_{AB}h(z)dz =\int_{0}^{1}(1-ti)idt =i+\frac{1}{2}

BOh(z)dz=01(1i)(1+t)((1+i))dt=201(1+t)dt=3 \int_{BO}h(z)dz =\int_{0}^{1}(1-i)(1+t)(-(1+i))dt =-2\int_{0}^{1}(1+t)dt =-3

CCを反時計回り単位円周とし、γ(t)=exp(2πit),t[0,1]\gamma(t)=\exp(2\pi it), t\in[0,1]をそのパラメータづけとする。 Cdz=012πiexp(2πit)dt=[exp(2πit)]01=0 \int_C dz =\int_{0}^{1}2\pi i\exp(2\pi it)dt =[\exp(2\pi it)]^{1}_{0} =0

CCを反時計回り単位円周とする。 Czndz \int_Cz^ndz を計算せよ。

上と同様にパラメータづけを与える。 n1n\neq-1であれば Czndz=01exp(2nπit)2πexp(2πit)dt=[1n+1exp(2(n+1)πit)]1=0 \int_Cz^ndz =\int_{0}^{1}\exp(2n\pi it)2\pi\exp(2\pi it)dt =[\frac{1}{n+1}\exp(2(n+1)\pi it)]^{1} =0 である。

n=1n=-1のとき、 C1zdz=01exp(2πit)2πiexp(2πit)dt=012πidt=2πi \int_C\frac{1}{z}dz =\int_{0}^{1}\exp(-2\pi it)2\pi i\exp(2\pi it)dt =\int_{0}^{1}2\pi idt =2\pi i となる。

dzz\dfrac{dz}{z}z=1wz=\dfrac{1}{w}で変換すると、dz=dww2dz=-\dfrac{dw}{w^2}であるからdww-\dfrac{dw}{w}となる。 一方でdzz2\dfrac{dz}{z^2}であればdw-dwである。 ここにn=1n=-1の特殊性がある。

CCを反時計回り単位円周とする。 Czˉdz \int_C\bar{z}dz を計算せよ。

上と同様にパラメータづけを与える。 Czˉdz=01exp(2πit)2πiexp(2πt)dt=2πi \int_C\bar{z}dz =\int_{0}^{1}\exp(-2\pi it)2\pi i\exp(2\pi t)dt =2\pi i

CCを中心aaで半径rrの反時計回り円周とする。 C(za)ndz \int_C(z-a)^ndz を計算せよ。

γ(t)=exp(2πit)+a,t[0,1]\gamma(t)=\exp(2\pi it)+a, t\in[0,1]をそのパラメータづけとする。 C(za)ndz={2πin=10n1 \int_C(z-a)^ndz = \begin{cases} 2\pi i& n=-1\\ 0& n\neq-1 \end{cases}