[size=150][b]このワークシートは[url=https://www.geogebra.org/m/twxxx3yq]Math by Code[/url]の一部です。[br][/b][/size][size=150][size=100][br]複素関数の微分では、[br]z平面でz=bをz=aに近づくとき、無数の近づき方があるので、[b][color=#0000ff]微分できる保証はなかった。[br][/color][/b]でも、微分できる保証をしてくれる便利な道具が[b]CRE(コーシー・リーマン方程式)[/b]だったね。[br]複素関数の積分でも経路が大切だ。[br]z平面でz=aからz=bに変化させるにはいろんな経路がある。[br]経路を変えても積分値が変わらないときは、[b]単純な経路に置き換える[/b]ことが重要になる。[br]そこのところをくわしく見ていこう。[br][br][/size][b]<経路積分>[br][/b][/size]・積分は線形な操作だから、k倍の積分は積分のk倍、和差の積分は積分の和差になる。[br] また、[b][color=#9900ff]分割できる経路での積分は分割した経路での積分の和[/color][/b]になる。[br] 言い換えると、経路を逆向きにした積分は、もとの経路の積分と符号が逆で大きさが同じになる。[br]・z=x+i yがパラメータtの関数なら、[b]dz= dx + i dy=[/b][math]\frac{dz}{dt}[/math][b] dtとパラメータ変換[/b]できるね。[br] zの関数f(z) の曲線C:z=z(t) a≦t≦bでの[b][color=#0000ff]経路積分は、[/color][/b]∫[sub]C[/sub]f(z) dz=∫[sub]a[/sub][sup]b[/sup] f(z(t)) [math]\frac{dz}{dt}[/math] dt[br]・正則関数の定積分 [br] 領域D内で[b]正則な関数f(x)[/b]に対してF'(x)=f(x)となる[b]正則な不定積分F(x)[/b]があれば[br] [b]経路がちがっても、端点だけで積分値は等しくなる。[br][/b] これを定積分といい、∫[sub]a[/sub][sup]b [/sup]f(z)dz=[F(z)][sub]a[/sub][sup]b [/sup]=F(b)-F(a)と、実関数での積分と同様の計算ができる。[br]・正則でない関数の定積分[br] 実際zの共役複素数z*は、正則な関数ではない。[br] w=f(x+yi)=x-yiはU=x, V=-y。Ux=1=-Vy, Uy=0=Vxだから、CRE(Ux=Vy, Uy=-Vx)から正則ではないね。[br] 正則でない定積分は経路によって値が変わる。[br][color=#0000ff](例)[/color][br]平面でz=0からz=1+iに変化させるにはいろんな経路がある。[br]zの共役複素数z*を積分するのに、2つの経路C1, C2+C3で値を調べてみよう。[br]C1:z= (1+i) t ( 0≦t≦1) は(0,0)と(1,1)を結ぶ線分 dz=(dz/dt) dt= (1+i) dt[br]C2:z= t ( 0≦t≦1) は(0,0)と(1,0)を結ぶ線分 dz=(dz/dt) dt= 1 dt[br]C3:z= 1+i t ( 0≦t≦1) は(1,0)と(1,1)を結ぶ線分 dz=(dz/dt) dt= i dt[br]∫[sub]C1 [/sub]z dz= ∫[sub]0[/sub][sup]1[/sup] [(1+i) t]* (1+i) dt =∫[sub]0[/sub][sup]1[/sup] (1-i) t (1+i) dt = ∫[sub]0[/sub][sup]1[/sup] 2t dt=[t[sup]2[/sup]] [sub]0[/sub][sup]1[/sup] =[b]1[/b][br]∫[sub]C1+C2[/sub] z dz= ∫[sub]0[/sub][sup]1[/sup] [ t]* 1 dt+ ∫[sub]0[/sub][sup]1[/sup] [1+i t]* i dt = ∫[sub]0[/sub][sup]1[/sup] t dt+ ∫[sub]0[/sub][sup]1[/sup] [1-i t] i dt [br]=∫[sub]0[/sub][sup]1[/sup] t dt[sup][/sup]+∫[sub]0[/sub][sup]1[/sup] (i+t) dt=∫[sub]0[/sub][sup]1[/sup] 2t dt[sup][/sup]+∫[sub]0[/sub][sup]1[/sup] i dt=[t[sup]2[/sup]] [sub]0[/sub][sup]1[/sup] +i [t] [sub]0[/sub][sup]1[/sup] = [b]1+i [/b][br]やはり、始点と終点が同じでも経路がちがうので線積分はちがうね。
複雑なものがあれば分解、合成、変形で単純化するというのは数学でよくやる手だ。[br]複素関数の積分でもそれができたらいいね。[br][br][size=150][b]<[/b][b]コーシーの積分定理(正則関数の周回積分=0)>[br][/b][/size][b][size=150][color=#0000ff]zの関数f(z)=U(x,y) + i V(x,y) を周回積分する。[br]曲線C:z=z(t)が閉曲線で、f(z)がC内部領域で正則な関数ならば、周回積分=0[br][/color][/size]理由は、ストークスの定理とCRE(コーシー・リーマンの方程式)[/b]から[br]∫[sub]C[/sub]f(z) dz=∫[sub]C[/sub](U+i V)(dx+i dy)=∫[sub]C[/sub](U+i V)(dx+i dy)=∫[sub]C[/sub](U dx -V dy)+i ∫[sub]C[/sub](V dx +U dy)[br]=∫[sub]S[/sub](-Vx -Uy)dxdy+i ∫[sub]S[/sub](Ux -Vy)dxdy (ストークスの定理から)[br]=-∫[sub]S[/sub](Vx +Uy)dxdy+i ∫[sub]S[/sub](Ux -Vy)dxdy [br]=0 (CREから)[br]場合によっては、自分と交わらない閉曲線のことを[b]単一閉曲線[/b]という、略して[b][color=#0000ff]単閉[/color][/b]としよう。[br]曲線Cとその[b]内部領域(Domain)[/b]のことを[b][color=#0000ff]CD[/color][/b]とかこう。[br][br]・円C:|z-a|=r(反時計回り)にそった周回積分は、[b]1/(z-a)の積分=2πi、1/(z-a)[sup]n[/sup]の積分=0[/b]。[br][color=#0000ff](理由)[br][/color]Cの点z=a+re[sup]iθ[/sup](0≦θ≦2π)だから、1/(z-a)=1/re[sup]iθ[/sup]=r[sup]-1[/sup] e[sup]-iθ[/sup]、dz=(dz/dθ)dθ=ire[sup]iθ [/sup]dθ[br]∫[sub]C[/sub] 1/(z-a) dz=∫[sub]0[/sub][sup]2π[/sup] r[sup]-1[/sup] e[sup]-iθ [/sup]i r e[sup]iθ [/sup]dθ = i∫[sub]0[/sub][sup]2π[/sup] 1[sup] [/sup]dθ=i[θ] [sub]0[/sub][sup]2π[/sup] =2πi[br]∫[sub]C[/sub] 1/(z-a)[sup]n[/sup] dz=∫[sub]0[/sub][sup]2π[/sup] r[sup]-n[/sup] e[sup]-inθ [/sup]i r e[sup]iθ [/sup]dθ = ir[sup]1-n[/sup] ∫[sub]0[/sub][sup]2π[/sup] e[sup]i(1-n)θ[/sup][sup] [/sup]dθ=ir[sup]1-n[/sup] [1/i(1-n) e[sup]i(1-n)θ[/sup]] [sub]0[/sub][sup]2π[/sup] =0[br][size=150][color=#0000ff](例)[br][/color][size=100]べき関数(z-a)[sup]n[/sup]はz平面全体で正則なので、単閉C1Dでも正則なので、∫[sub]C1[/sub](z-a)[sup]n[/sup] dz=0[br]f(z)=1/(z-a)[sup]n[/sup]はaでは正則にならないが、点aが単閉C2Dの外なら単閉C2Dでfは正則だから∫[sub]C2[/sub]f(z) dz=0[br][/size][b][br]<積分を単純化しよう>[/b][/size][br]・系1[br]領域Dに正則関数f(z)がある。Dの内部に単閉C1Dがあり、その中に単閉C2Dがあるとしよう。[br]C1左回り、C2左回りで、[b]∫[sub]C1[/sub]f(z) dz= ∫[sub]C2[/sub]f(z) dz[/b]C1を左回り1周してから、内部でC2に連結ABして、[br]C2を右回り1周してから連結線を戻るBAと一筆書きC1+AB+(-C2)+BAができる。コーシーの定理から、[br]∫[sub]C1+AB+(-C2)+BA [/sub] f(z) dz=0 積分の線形性と逆順路の積分和が0だから、[br]∫[sub]C1[/sub]f(z) dz- ∫[sub]C2[/sub]f(z) dz=0 となるから。[br][color=#0000ff](例)[/color][br]円C:|z-a|=r(反時計回り)にそった[b]1/(z-a)の積分=2πi、1/(z-a)[sup]n[/sup]の積分=0[/b]。[br]だから、円Cを含む単閉C2Dでの積分値もそれぞれ、[b]2πi、0になる。[/b][br][br]・系2[br]領域Dに正則関数f(z)がある。[br]Dの内部に単閉C1Dがあり、その中に互いに素な単閉C2D、C3D、…...、CkDがあるとしよう。[br]C1からCkまで左回りで積分するとき、[b]∫[/b][sub]C1[/sub][b]f(z) dz= ∫[/b][sub]C2[/sub][b]f(z) dz+∫[/b][sub]C3[/sub][b]f(z) dz+........+∫[sub]Ck[/sub]f(z) dz[/b][br]C1を左回り1周してから、内部でC2,C3,...を順に右回りで半周してから、Ckを右回りで1周し、[br]そのあとで、C3、C2,C1ともとにもどる橋渡しの一筆書きができ、[br]積分の線形性と逆順路の積分和が0だから。[br][color=#0000ff](例)[/color][br]円C1:|z-i|=1/2(反時計回り)にそった[b]1/(z-i)の積分=2πi、1/(z+i)の積分はC1で正則だから=0[/b]。[br]円C2:|z+i|=1/2(反時計回り)にそった[b]1/(z+i)の積分=2πi、1/(z-i)の積分はC2で正則だから=0[/b]。[br]円C3:|z|=2(反時計回り)にそったf(z)=z/(z[sup]2[/sup]+1)=1/2[1/(z+i)+1/(z-i)]の積分を考える。[br]積分路C3にそったf(z)の積分はコーシーの系から積分路C1とC2で和分解できる。[br]C1にそった f(z)の積分値は1/2[0+2πi]=πi、C2にそった f(z)の積分値は1/2[2πi+0]=πi。だから合計2πiだね。
[b][size=150]<積分表示>[/size][/b][br]領域Dに正則関数f(z)/(z-a)がある。Dの内部に単閉CDがあり、その中に単閉CrDがあるとしよう。[br]点aはCDrDがあり、Crは|z-a|=rの反時計回りの円周だとする。[br][br][b]コーシーの定理の系1[/b]から、[br]CDにおけるf(z)/(z-a)の周回積分=CrDにおけるf(z)/(z-a)の周回積分[br]となるね。Cr上のz=a+re[sup]iθ[/sup]について、dz=dz/dθ dθ= ir e[sup]iθ[/sup]dθから、1/(z-a)=1/re[sup]iθ[/sup]だから、[br]1/(z-a)dz = 1/re[sup]iθ[/sup] ir e[sup]iθ [/sup]dθ= i dθとなる。[br]だから、r→0の極限は[br]∫[sub]C [/sub]f(z)/(z-a) dz=∫[sub]Cr [/sub]f(z)/(z-a) dz=∫[sub]0[/sub] [sup]2π[/sup] f(a + re[sup]iθ[/sup]) i dθ→∫[sub]0[/sub] [sup]2π[/sup] C f(a) i dθ=f(a) i[ θ] [sub]0[/sub] [sup]2π [/sup] =2πi f(a) [br]つまり、[br][b][color=#0000ff]∫[sub]C [/sub][/color][/b][math]\frac{f\left(z\right)}{z-a}[/math][b][color=#0000ff] dz=[/color][size=150][color=#0000ff]2πi f(a) [/color][/size][/b][br]これから[br]f(a)=1/[size=150][color=#0000ff]2πi ∫[sub]C [/sub][math]\frac{f\left(z\right)}{z-a}[/math] dz[br][/color][/size]aをzとして動かすために、zにζとしてから、aにzを置き換える。[br][size=150][color=#0000ff][b]f(z)[/b]=[/color][b][color=#0000ff]1/[/color][color=#0000ff]2πi ∫[sub]C [/sub][math]\frac{f\left(\zeta\right)}{\zeta-z}[/math] dζ (コーシー積分公式)[br][/color][/b][/size][br]・これを微分してみる。[br]df(z)/dz=1/[size=150]2πi [d ∫[sub]C [/sub][math]\frac{f\left(\zeta\right)}{\zeta-z}[/math] dζ/dz]=1/[size=150]2πi ∫[sub]C d/dz[/sub][math]\frac{1}{\zeta-z}[/math] f(ζ)dζ =1/[size=150]2πi ∫[sub]C [/sub][math]\frac{f\left(\zeta\right)}{\left(\zeta-z\right)^2}[/math] dζ [br][/size][/size][/size][br]f(z)[sup](2)[/sup]=1/[size=150]2πi ∫[sub]C d/dz [/sub][math]\frac{f\left(\zeta\right)}{\left(\zeta-z\right)^2}[/math] dζ=2*1/[size=150]2πi [size=150] ∫[sub]C [/sub][math]\frac{f\left(\zeta\right)}{\left(\zeta-z\right)^3}[/math] dζ [br][/size][/size][/size]f(z)[sup](3)[/sup]=2*1/[size=150]2πi ∫[sub]C d/dz [/sub][math]\frac{f\left(\zeta\right)}{\left(\zeta-z\right)^3}[/math] dζ=3*2* 1/[size=150]2πi [size=150] ∫[sub]C [/sub][math]\frac{f\left(\zeta\right)}{\left(\zeta-z\right)^4}[/math] dζ [br]........................[br][b][color=#0000ff]f(z)[sup](n)[/sup]=n!* 1/[/color][/b][size=150][b][color=#0000ff]2πi [/color][/b][size=150][b][color=#0000ff] ∫[sub]C [/sub][/color][/b][math]\frac{f\left(\zeta\right)}{\left(\zeta-z\right)^{n+1}}[/math][color=#0000ff] dζ (グルサー公式)[br][size=150][size=150][color=#0000ff] 言い換えると、[br][b]∫[sub]C [/sub][/b][/color][math]\frac{f\left(\zeta\right)}{\left(\zeta-z\right)^{n+1}}[/math][color=#0000ff][b] dζ=2πi f(z)[sup](n)[/sup]/n! [/b][/color][/size][/size][br][/color][/size][/size][/size][/size][/size]だから、正則な関数は何回でも微分できる。
[color=#0000ff](例)[/color][br]円C:|z|=4で単閉CDでf(z)=z[sup]3[/sup], cosz, z/(z-5),3z[sup]2[/sup]とすると、f(z)は正則。[br]∫[sub]C[/sub] z[sup]3[/sup]/(z-i)dz= ∫[sub]C [/sub]f(z)/(z-i)= 2πi * i[sup]3[/sup]= 2π[br]∫[sub]C[/sub] cosz/(z-π)dz= ∫[sub]C [/sub]f(z)/(z-π)= 2πi * cos(π)= -2πi[br]∫[sub]C[/sub] z/(z-5)(z+2)dz= ∫[sub]C [/sub]f(z)/(z+2)= 2πi * f(-2)=2πi * (-2)/(-7) = 4/7 πi[br]∫[sub]C[/sub] 3z[sup]2[/sup]/(z-i)[sup]3[/sup]dz= ∫[sub]C [/sub]f(z)/(z-i)[sup]3[/sup]= 2πi * f(z)[sup](2)[/sup]/2!= 2πi * 6/2=6πi[br] [br][color=#0000ff](例)[br][/color]円C:|z|=1で単閉CDでf(z)=sinz, 1/8z[sup]3[/sup]とすると、f(z)は正則。[br]∫[sub]C[/sub] sinz/z[sup]2[/sup]dz= ∫[sub]C [/sub]f(z)/(z-0)[sup]2[/sup]= 2πi * f(0)'= 2πi*cos(0) =2πi[br]∫[sub]C[/sub] z[sup]3[/sup]/(2z -1)[sup]3[/sup]dz=∫[sub]C[/sub] 1/8 z[sup]3[/sup]/(z -1/2)[sup]3[/sup]dz= 2πi * f(1/2)[sup](2)[/sup]/2!= πi * 3/4(1/2)=3/8 πi