等角写像で曲線群の直交が保存される

[size=150][b]このワークシートは[url=https://www.geogebra.org/m/twxxx3yq]Math by Code[/url]の一部です。[br][/b][/size][size=150][size=100][br]前回まで複素数を学んできた。[br]複素数の和差の線形性、積商の拡大相似という演算がもたらす性格が[br]複素関数、その微分・積分にまで影響していることを感じることができたのではないだろうか。[br][br]今回は複素関数のもつおもしろい性格を[br]俯瞰してみることにしよう。[br][br]等角写像だ。[br][br]等角は物理的・視覚的におもしろいからだ。[/size][/size]
1.正則関数は等角写像
正則関数が等角写像であることを確かめたい。[br]1つは数式で、[br]2つめはコードによる視覚化で。[br][br][b]<[size=150]曲線の交角[/size]>[/b][br]曲線C1:z1=x(t)+i y(t)と曲線C2:z2=x(t)+i y(t)の交点z0での交角θzに対して、複素関数w=f(z)による像[br]曲線Γ1:w1=u(t)+i v(t)と曲線Γ2:w2=u(t)+i v(t) の交点w0での交角θwが等しいときfを等角写像という。これは、文字通りの等角写像の定義と言えるね。[br]では2曲線の交角をきめる数式とは?[br]正則条件は微分係数⊿w/⊿zという複素数が、z平面での進み方(傾き)⊿y/⊿xという複素数によらず、[br]一定数になることだったね。[br][br]・z0での微分係数は2つある。[br]C1からΓ1になるときは⊿w/⊿z=(w1-w0)/(z1-z0)[br]C2からΓ2になるときは⊿w/⊿z=(w2-w0)/(z2-z0)[br]この2つの極限が等しいので、(w1-w0)/(z1-z0)=(w2-w0)/(z2-z0)[br](w1-w0)/(w2-w0)=(z1-z0)/(z2-z0) [br]これから角w1w0w2=角z1z0z2 [br]だから、交点での接線が作る角度が不変になるから、等角写像になることがわかる。[br]つまり、正則関数は等角写像だ。[br][br][b]<直交曲線群>[/b][br]ということは、[br]z平面上の直交曲線群C1sとC2sは、正則関数fでw平面の直交曲線群に移されるはずだ。[br]そこで、直交曲線群を具体的に作る実装につなげよう。[br]たとえば、[br]1.同心円群と原点通過の直線群[br]2.x軸y軸に平行な格子[br]3.線対称な放物線群[br]正則関数がこれらを等角に移すようすは、w=f(z)=z[sup]2[/sup]などのべき関数とかで[br]カンタンに目でみてわかるようにできるはずだね。[br][color=#0000ff][br](例)[/color][br]1から1へ。[br]同心円群 l1: Sequence( x[sup]2[/sup]+y[sup]2[/sup]=r[sup]2[/sup], r, 1, 10) [br] 複素数としては、|z|=r , z=r e[sup]iθ [/sup](0≦θ≦2π、r=1...10)だから、[br] その1つの円がzC=Curve(d cos(th), d sin(th), th,0,2π)d=1..10 (半径)[br]原点通過直線群 l2: Sequence( y=tan r , r, 0, 2π, 2π/16):[br] 複素数としては、z=r e[sup]i k 2π/16 [/sup](θ=0...16, 0≦r≦5) だから、[br] その1つの直線がzL=Curve(r cos(2π/16 f), r sin(2π/16 f), r, -10,10) f=1..15 ( 傾き)[br]交点複素数z群 a=Sequence(Sequence( (r ; k),r,1,10),k,0,2π,2π/16) [br]w=f(z)=z^[sup]2[/sup]=(x+yi)(x+yi)=(x[sup]2[/sup]-y[sup]2[/sup])+2xy i[br]b(x,y)= (x[sup]2[/sup]-y[sup]2[/sup]), c(x,y)= 2xy [br]zCの変換先がwC=Curve( [b]b[/b](d cos(th), d sin(th)), [b]c[/b](d cos(th), d sin(th)), th,0,2π)[br]zLの変換先がwL=Curve( [b]b[/b](r cos(2π/16 f), r sin(2π/16 f)) ,[b]c[/b](r cos(2π/16 f), r sin(2π/16 f)), r, -10,10)[br]wCとwLは直交するね。
(円群と直線群)正則関数z^2による等角写像
[color=#0000ff](例)[br][/color]2から3へ[br]2直線zL1:x=d、zL2:y=f[br]を写した先の2放物線wL1, wL2は直交するね。
(格子から放物線群)正則関数z^2による等角写像
2.等角写像と物理
[b][size=150]<電荷と電位と電場>[/size][br]万有引力の法則[/b]は[br]f=Gm[sub]1[/sub]m[sub]2[/sub]/r[sup]2[/sup][br]2つの質点に働く引力は2つの質量m1,m2に比例し、距離の2乗に反比例するというものだった。[br][b]クーロンの法則[/b]は[br]f=kq[sub]1[/sub]q[sub]2[/sub]/r[sup]2[/sup][br]2つの点に働く力は2つの電荷(電気量)q1,q2に比例し、距離の2乗に反比例する。[br]電気の場合は+-があるので、引力か斥力の2通りがある点はちがうけれど、[br][b]電荷[/b]というものは、イメージとしては、質量を電気おきかえたものといえるね。[br]電荷が真空の中で静止して作る電気の空間、電場のことを静電場といい、[br]時間の流れに関係ない状況でとらえることができる。[br][br]・重力によって空間に引力が働く重力の場ができるように、[br]電荷qによって空間に電気力が働く電場、[b]電界[/b]Eができる。[br]イメージとしては、山が高いと、そこから噴き出す水は速くながれるが[br]山から遠くなると、噴き出す水は拡散して密度が低下して流れは遅くなる。[br]電位φという山の高さに対して、xy方向での偏微分gradφが勾配を表し、頂上以外では負の傾きになる。[br]だから、電気を流すベクトル場、電場Eは-をつけて[b]E=-grad φ[/b]とできるね。[br][br]・2回偏微分をしたΔ=∇[sup]2[/sup]=∇・∇=(∂[sup]2[/sup]/∂x[sup]2[/sup], ∂[sup]2[/sup]/∂y[sup]2[/sup], ∂[sup]2[/sup]/∂z[sup]2[/sup])をラプラシアンといった。[br]CRE(コーシー・リーマン方程式)Ux=Vy, Uy=-Vxをもう1回偏微分してみよう。[br]Uxx=Vyx=Vxy=-Uyyとなるね。だから、ラプラシアンΔU=Uxx+Uyy=0[br]電荷がないときの電位φのラプラシアンΔφ=0なので、[br][b]正則関数w=f(z)の実部U(x,y)か虚部V(x,y)が電荷がないときの電位φ(x,y)として使える[/b]。[br][br][b][size=150]<導体と等電位と電場ベクトルE>[br][/size][/b]金属のように電気をよく通すものを[b]導体[/b]というね。[br]自由電荷が静止していると、[b]導体の中の電位は一定[/b]で電場はない。[br]ということは、導体の中はラプラシアン=0になるね。[br]導体の表面は等電位になるから表面に対して、[b]電場の向きは垂直[/b]になる。[br]つまり、等電位線は、[b]等高線と垂直に水が流れるように[/b]、電気力線、電場Eが垂直に流れる。[br][b]等電位[/b]が面になっていても、面[b]に対して電場ベクトルEは垂直[/b]になるね。[br][br][color=#0000ff](例)[/color][br]x軸y軸の正の部分が導体で、電荷がない第一象限の電位を考える。[br]w=f(z)=z[sup]2[/sup]=(x[sup]2[/sup]-y[sup]2[/sup])+2xy i 。V=2xy が電位とすると、V=k=2xy (k=1...10)が等[b]電位[/b]線となり、双曲線。[br]これはw平面ではV=k(k=1...10)という、第1、第2象限に広がる。[br]双曲線に直交する曲線が[b]電界、電気力線[/b]になる。[br]そのw平面での対応物はU=k(k=-10...10)という直線で、その中心がV軸の正の部分だ。[br]これはU=0だから、x[sup]2[/sup]-y[sup]2[/sup]=0 より、第1象限では、直線y=xだね。
等電位線と電界、電気力線は直交する

Informazioni: 等角写像で曲線群の直交が保存される