このワークシートは[url=https://www.geogebra.org/m/twxxx3yq]Math by Code[/url]の一部です。[br][br]実数の世界では[b]y＝f(x)[/b]の微分とは、[br]グラフのx=aからbまでの微小変化に対するｙの微小変化⊿y/⊿x平均変化率をｘ＝ｂをx=aに近づけることで（a, f(a))での傾き、微分係数f'(a)を求める、それをx=aに限らずｘ全体で実行したときのｘの関数、[b]導関数ｆ'(x)[/b]を求めことだったね。[br]f(x)がｘで微分できるのはlimh→0 {f(x+h)-f(h)}/h=f'(x)が確定することだった。[br]f'(x)はｘだけできまるｈと関係のない定数だ。o(h)はx、hに関係して、hよりも極度に微小な数としよう。[br]言い換えると、f(x+h)=f(x)+hf'(x)+o(h)=f(x)+hf'(x)+εhとおくと、h→0のとき、ε→0、[br]つまり、|h|→０のとき、|ε|→0ということだ。[br][br]複素数の世界では[b]ｗ=f(z)[/b]の微分はｚの微小変化に対するｗの微小変化⊿ｗ/⊿ｚをｚ＝ｂをｚ＝aに近づけることで、極限値、微分係数f'(a)を求める。[br]それを全体化して[b]導関数ｆ'(ｚ)[/b]を求めることだ。大きな決まりは同じだ。[br]しかし、大きなちがいがある。[br][br]ｚ＝bをｚ＝aに近づけるときの経路が一本道ではないことだ。[br]無数の近づき方があるので、[b][color=#0000ff]微分できる保証はない[/color][/b]。[br]近づき方によっては、極限値が別になってしまうかもしれないからだ。[br]また、平均変化率は⊿ｗ/⊿ｚだから、平面での点移動複素数の商だから、[br][b]傾きというイメージにはならない[/b]。[br]⊿ｗも⊿ｚも複素数だから、大きさと偏角がある。[br]そして、その商は回転拡大になっている。だから、[b]傾きというよりは平面をひねってのばず変形度[/b]という感じになる。[br]そこのところをくわしく見ていこう。[br][br][size=150][b]＜常識的な曲線＞[br][/b][/size]経路をさぐるためには曲線が大事になる。[br]パラメータｔをαからβまで動かした複数z(t)の集まりを曲線という。[br]しかし、これだけだと、ぺアノ曲線のような正方形を覆いつくすような狂気の曲線も含まれるので、[br]曲線といえば、なめらかで、自分と交わらないものとしよう。[br]こういう常識的な閉じた曲線を[b]ジョルダン曲線[/b]という。[br]閉じてないにしても、なめらかとか、自分と交わらないという条件は大事だね。[br]なめらかというのは微分とかかわる。[br][br]・微分演算と和差積商についは、実関数と同じ法則が成り立つ。[br](f±g)'=f’±g'、(fg)'=f'g+fg', (f/g)'=(f'g-fg')/g[sup]2[/sup] [br][color=#0000ff]（例）[br][/color] w=[b]z[sup]n[/sup][/b]は微分可能。⊿z→0とするとき、[br]⊿w/⊿z={(z+⊿z)[sup]n[/sup]-z[sup]n[/sup]}/⊿z=nC1z[sup]n-1[/sup]+nC2z[sup]n-2[/sup][b]⊿z+.......[/b]→ [b]nz[/b][sup][b]n-1[/b][color=#0000ff][br][/color][/sup][color=#0000ff]これをh方式でもかけるね。[br]h→０のとき、[br]{(z+h)^n-z^n}/h=nz[sup]n-1[/sup]+nC2z[sup]n-2[/sup][b]h+.......[/b]→ [b]nz[/b][sup][b]n-1[/b][/sup][br]（例）[br][/color] [b]w=2x+y i は微分不可能。[br][/b]⊿w/⊿z={2(x+⊿x)+(y+⊿y)i- (2x+yi)}/(⊿x+⊿yi)=(2⊿x+⊿yi)/(⊿x+⊿yi)[br][sup][/sup]⊿x=0,⊿y→0のとき、⊿w/⊿z＝(⊿yi)/(⊿yi)→1[br]⊿x→0,⊿y=0のとき、⊿w/⊿z＝(2⊿x)/(⊿x)→2[br]くわしくみてみよう。[br]aを0から0.1に増やすとき、[br]・ｘ軸と平行な点z = (1+a)+iなら、⊿y/⊿x=0で、 ⊿w/⊿z={2×1.1+i-(2×1+i)}[sup][/sup]/0.1 = 0.2/0.1=2[br] u=2xなので、⊿w/⊿z=⊿u/⊿x=2で、ｚ平面の2倍大きく変動する。[br]　つまり、∂u/∂x＝２です。[br]・ｙ軸と平行な点z=1+i (1+a) なら、⊿y/⊿x＝無限大で、⊿w/⊿z={(2×1+1.1 i )-(2×1+1i )/(0.1 i) = 1[br]　v=yなので、⊿w/⊿z=⊿v/⊿y=1で、ｚ平面と同じ割合で変動する。[br]　つまり、∂v/∂y＝１です。[br]・点z=(1+a)+i(1+ a)なら、⊿y/⊿x＝1で、[br]　⊿w/⊿z={(2×1.1+1.1i)-(2×1+i)}[sup][/sup]/(0.1+0.1i)= (2×0.1+0.1i)/(0.1+0.1i)= (2+i)/(1+i)=(2+i)(1-i)/2=1.5-0.5i[br]　u=1.5x、v=-0.5yなので、斜めに近づくと、引き伸ばされながら少し右下にひねられる変形になるね。[sup][/sup]

[b][color=#0000ff]C-R-Eというのはコーシー・リーマンの方程式の略名だ。[br][/color][/b]これは領域Dの各点で微分係数が１つになることから導かれる。[br]つまり、微分可能の目印、導関数の存在条件になっている。[b][size=150]正則関数[/size][/b]である条件ともいえる。[br]この等式がすばらしいのは、存在の保証だけではなく、[b][color=#0000ff]導関数を計算する道具でもある[/color][/b]ことだ。[br]一石二鳥とはこのことだね。[br][br][b][size=150]＜コーシー・リーマンの方程式を出そう＞[br][/size][/b]・CRE条件は、[b][size=150]領域Dのz=x+iy[/size][/b] に対して[br]関数[b][size=150][color=#0000ff][size=200]w=f(z)=U(x,y) + i V(x,y) [/size][/color][/size][/b]のU,Vが連続な偏導関数を持つとき、[br]fが正則関数であること、微分できるということは、[br][b][size=150][size=200][color=#0000ff]Ux=Vy and Uy=-Vx[/color][/size][/size][/b][b][size=150][color=#0000ff][size=200]で、導関数はf'(z)=Ux + i Vx[/size][/color][/size][/b][br][color=#0000ff][br]なぜでしょうか。[br][/color]ｈ方式で実数のときと同様にかいてみよう。[br][b]導関数をf'(z)=p+ iqとおこう。 [br][/b]ここで、zの増分をh=Δz＝Δx＋iΔyとおくと、[br]実数のときと同様に関数fの増分f(z+h)-f(z)=hf'(z)+o(|h|) (|h|=√(Δx^2＋Δy^2))[br]となるので、[br]関数fの増分はΔU+iΔV=hf'(z)+o(|h|)=(Δx＋iΔy)(p+qi)+o(|h|)とかける。[br]実部はΔU=[u]pΔx[/u] - qΔy+o(|h|)[br]虚部はΔV=qΔx +[u]pΔy[/u]+o(|h|)[br]U,Vは実変数x,yの関数として微分できるはず。[br]Uxはxの変数としての偏微分だからUx=p[br]Vyはyの変数としての偏微分だからVy＝p[br]だから、Ux=Vy=pになるね。[br]同様にして、-Uy=Vx=qになる。[br]導関数がf'(z)=p+iq=Ux + i Vx=-i(Uy+iVy)となる。[br]それだけではない。次の関係式が成り立つ。[br][b]Ux=Vy and Uy=-Vx[br][/b][br][color=#0000ff]（例）[/color][br]w=f(z)=z[sup]2[/sup]=(x+iy)[sup]2[/sup]=(x[sup]2[/sup]-y[sup]2[/sup])+i 2xy [br]U=(x[sup]2[/sup]-y[sup]2[/sup]), V=2xy[br]CREから[br]Ux＝2x=Vy,Vx＝2y=-Uyだから、fは正則関数で、f'=2x+i 2y=2z。[br][b][size=150][br]・正則関数の和差積商も正則関数だ。[br][/size][/b]なぜだろうか。[br]ｆ、ｇが正則関数ならば、領域Dの点ｚでの⊿ｗ/⊿zの極限値、微分係数Cf,Cgが存在するはずだ。[br]それは各点ｚごとに定数だから、その和差積商も定数になる。[br]だから、正則関数の和差積商も正則関数になることがわかるね。[br][color=#0000ff]（ダメな例）[/color][br]さきのｗ＝2x＋yiを思い出してください。[br]ｘ軸と平行に動くとUx＝２で、ｙ軸と平行に動くとVy＝１でした。[br]Ux=2,Vy＝１ということですね。Ux≠Vyです。[br]CREで考えれば、すぐにダメだとわかりますね。[br]

[b][size=150]＜べき＞[/size][/b][br]CREをまつまでもなく、[b][size=150][color=#0000ff](z[sup]n[/sup])'=nz[sup]n-1[/sup][/color][/size][sup][/sup][/b]であることは、上記の１の例から明らかだ。[br][b][size=150]＜指数＞[/size][/b][br]w=f(z)=e[sup]z[/sup]=e[sup]x+iy[/sup]=e[sup]x[/sup]e[sup]yi[/sup]=e[sup]x[/sup](cos y + i sin y)とすると、U=Re(w)=e[sup]x[/sup]cosy, V=Im(w)=e[sup]x[/sup]siny[br]積の微分公式から[br]Ux=(e[sup]x[/sup])'cosy+e[sup]x[/sup](cosy)'=e[sup]x[/sup]cosy -e[sup]x [/sup]0 = e[sup]x[/sup]cos y[br]Vy=(e[sup]x[/sup])'sin y+e[sup]x[/sup](siny)'=0 cosy +e[sup]x [/sup]cos y=e[sup]x [/sup]cos y [br]Vx=(e[sup]x[/sup])'sin y+e[sup]x[/sup](siny)'=e[sup]x [/sup]siny +e[sup]x [/sup]0=e[sup]x [/sup]sin y [br]Uy=(e[sup]x[/sup])'cosy+e[sup]x[/sup](cosy)'=0 cosy -e[sup]x [/sup]siny =-e[sup]x [/sup]siny[br]Ux=Vy,Uy=-Uxとなるから、CREからfは正則関数。[br]f'=Ux+i Vx=e[sup]x[/sup]cos y+i e[sup]x [/sup]sin y =f [br]f'=fとなるから、[b][size=150][color=#0000ff](e[sup]z[/sup])'=e[sup]z[/sup][/color][/size][sup][/sup][/b][br][b][size=150]＜対数＞[br][/size][/b]z=(r；θ)=x+iy=e[sup]w[/sup]のときに、ｗ＝logz=u+ivとしよう。定義域はｚ≠０の領域。[br]r =|z|=sqrt(x[sup]2[/sup]+y[sup]2[/sup]) , tan(θ+2nπ)=y/xから、θ+2nπ=tan[sup]-1[/sup]y/x[br]z=e[sup]w[/sup]＝e[sup]u[/sup]e[sup]iv[/sup]=re[sup]iθ[/sup]から、r=e[sup]u[/sup], v=θ+2nπ(nは整数）実対数関数を使ってu=Logrとなるから、[br][color=#0000ff]w=logz=(Logr , θ+2nπ)=Log|z|+ i (θ+2nπ)=Log |z|+ i argz= Log sqrt(x[sup]2[/sup]+y[sup]2[/sup])+i tan[sup]-1[/sup]y/x=U+i V[/color][br]U=Log sqrt(x[sup]2[/sup]+y[sup]2[/sup]), V=tan[sup]-1[/sup]y/x[br]微分の連鎖法則から、[br]Ux=1/ (x[sup]2[/sup]+y[sup]2[/sup])[sup]1/2[/sup]*1/2*(x[sup]2[/sup]+y[sup]2[/sup])[sup]-1/2[/sup] *2x=x/(x[sup]2[/sup]+y[sup]2[/sup])[br]Vy=(tan[sup]-1[/sup]y/x)' =1/(1+(y/x)[sup]2[/sup])*1/x=x/(x[sup]2[/sup]+y[sup]2[/sup])[br]Vx=(tan[sup]-1[/sup]y/x)'= 1/(1+(y/x)[sup]2[/sup])*(-y)/x[sup]2[/sup]=-y/(x[sup]2[/sup]+y[sup]2[/sup])[br]Uy=1/ (x[sup]2[/sup]+y[sup]2[/sup])[sup]1/2[/sup]*1/2*(x[sup]2[/sup]+y[sup]2[/sup])[sup]-1/2[/sup] *2y=y/(x[sup]2[/sup]+y[sup]2[/sup])[br]Ux=Vy,Uy=-Uxとなるから、CREからfは正則関数。[br]f'=Ux+i Vx=x/(x[sup]2[/sup]+y[sup]2[/sup]) - i y/(x[sup]2[/sup]+y[sup]2[/sup]) =1/|z| z* = 1/z[br][b][size=150][color=#0000ff](log z)'=1/z[/color][/size][/b]となるね。

[b][size=150]＜三角＞[/size][/b][br]積の微分、合成関数の微分、商の微分、微分の連鎖の公式が複素関数でも成り立つとする。[br]cos z=(e[sup]iz[/sup] + e[sup]-iz[/sup])/2、sin z=(e[sup]iz[/sup] - e[sup]-iz[/sup])/2i、tan z=sin z/ cos z を複素三角関数と定めるとき、[br]e[sup]z[/sup]はe[sup]x+iy[/sup]=e[sup]x[/sup]e[sup]iy[/sup]=e[sup]x[/sup](cosy+icosy)だから、ｚが2πi（虚軸の2π）増えるとyが2π増えて同じになる周期関数で正則関数。e[sup]iz[/sup]はｚが2πiのi倍ふえると同じになるから、2πが周期の正則関数。[br]だから、複素三角関数は正則関数の合成だから、正則関数になるね。[br][br]・(cos z)'=[(e[sup]iz[/sup] + e[sup]-iz[/sup])/2]'=[(e[sup]iz[/sup] )'+ (e[sup]-iz[/sup])']/2 =[ie[sup]iz[/sup] -ie[sup]-iz[/sup]]/2=-sinz[br]・(sin z)'=[(e[sup]iz[/sup] - e[sup]-iz[/sup])/2i]'=[(e[sup]iz[/sup] )'- (e[sup]-iz[/sup])']/2i =[ie[sup]iz[/sup] +ie[sup]-iz[/sup]]/2i=cosz[br]ちなみに、cos[sup]2[/sup]z+sin[sup]2[/sup]z=[(e[sup]iz[/sup] + e[sup]-iz[/sup])/2][sup]2[/sup]+[(e[sup]iz[/sup] - e[sup]-iz[/sup])/2i][sup]2[/sup]=[2(e[sup]iz[/sup] )(e[sup]-iz[/sup])+2(e[sup]iz[/sup] )(e[sup]-iz[/sup])]/4=4/4=1[br][br][b][size=150]＜双曲線＞[br][/size][/b]cosh z=(e[sup]z[/sup] + e[sup]-z[/sup])/2、sinh z=(e[sup]z[/sup] - e[sup]-z[/sup])/2と複素双曲線関数を定めるとき、[br]上記の理由で、正則関数になる。[br][br]・(cosh z)'=[(e[sup]z[/sup] + e[sup]-z[/sup])/2]'=[(e[sup]z[/sup] )'+ (e[sup]-z[/sup])']/2 =(e[sup]z[/sup] -e[sup]-z[/sup])/2=sinh z[br]・(sinh z)'=[(e[sup]z[/sup] - e[sup]-z[/sup])/2]'=[(e[sup]z[/sup] )'- (e[sup]-z[/sup])']/2 =(e[sup]z[/sup] +e[sup]-z[/sup])/2=cosh z[br]ちなみに、cosh[sup]2[/sup]z-sinh[sup]2[/sup]z=[(e[sup]z[/sup] + e[sup]-z[/sup])/2][sup]2[/sup]-[(e[sup]z[/sup] - e[sup]-z[/sup])/2][sup]2[/sup]=[2(e[sup]z[/sup] )(e[sup]-z[/sup])+2(e[sup]z[/sup] )(e[sup]-z[/sup])]/4=4/4=1

整級数を複素数に拡張しても、[br]収束についての議論は同じように成り立つ。[br]これをざっくり確認しておこう。[br][br][b][size=150]＜収束条件＞[br]コーシーの収束条件確認しよう。[br]適当なサイズεに対して十分大きい番号ｎをとるとき、[br][/size][/b]・数列anの収束[br]番号nの先ではp番目とq番のanの差はサイズεにおさまることが必要十分条件だ。[br]・級数Σanの収束[br]番号nの先ではp番目からq番までの部分和の絶対値がはサイズεにおさまることが必要十分条件だ。[br]数列anの絶対値|an|の級数が収束するなら、もとの数列anの級数は収束する。[br]これを絶対収束という。[br]・関数列fn(z)の一様収束[br]番号nの先では、任意の領域Dの中のｚについてp番目とq番のｆn(z)の差はサイズεにおさまることが必要十分条件だ。関数列fn(z)がｆ(z)に収束すれば、f(z)は連続関数だ。[br][br][b][size=150]＜関数の級数の収束＞[br][/size][/b]関数項級数Σfn(z)が（広義）一様収束する条件（これはワイヤストラスのM判定）[br]収束する正項Mnの級数ΣMnと関数項の級数Σfn(z)を比べるとき[br]領域Dにおいて|fn(z)|≦Mnがn0より大きいｎに対して成り立つこと。[br][br]複素定数anと複素変数ｚでできる関数項の級数Σa[sub]n[/sub]z[sup]n[/sup]を整級数（べき級数）という。[br]整級数の収束半径Rが０でないなら、開円板|z|＜Rで、この整級数は広義一様絶対収束する。[br]絶対値の級数も収束するから。この開円板（収束域）に円周をつけた図形を[b]収束円[/b]という。[br]この収束域で、ｆ(z)＝Σa[sub]n[/sub]z[sup]n[/sup]を定義すると、f(z)は連続関数で、正則となる。[br]だから、各項が微分できるから、(Σa[sub]n[/sub]z[sup]n[/sup])'=Σ(na[sub]n[/sub]z[sup]n-1[/sup])となる。[br]e[sup]z[/sup],cosz,sinzのテーラー展開は整級数だ。収束半径を∞にして[br]複素正則関数e[sup]z[/sup],cosz,sinzを整級数を使って定義することもできるね。[br][br][br][br][br]