ベクトル場

1。スカラー場の勾配
[size=150][b]このワークシートは[url=https://www.geogebra.org/m/twxxx3yq]Math by Code[/url]の一部です。[br][br][/b][size=100]熱、気体、電気、磁気、いろんなものが[br]空中、空間にただよってます。[br][/size][size=100]これからベクトル場について、深めていこう。[br][/size][/size][b][size=150]<スカラー場とベクトル場>[/size][/b][br]領域D(平面や空間内)の点Pに対して[br]対応する量がスカラーならDをスカラー場、ベクトルならDをベクトル場という。[br][color=#0000ff](例)[br][/color]2変数u, vが0以上2π以下を動く領域をDとしよう。[br]Dの点Pに対して、f(u,v)=u+vなら、Dはスカラー場。[br]Dの点Pに対して、f(u,v)=(u+v, u-v, uv)なら、Dはベクトル場。[br][b][size=150][br]<ベクトル場と流線>[br][/size][/b]Dがベクトル場で、D内の点Pのベクトル[b]f[/b](P)がPで曲線C:[b]p[/b](t)=(x(t),y(t),z(t))に接するときに、[br]曲線CをD内の流線という。[br][b]f[/b](P)=(f(x,y,z),g(x,y,z),h(x,y,z))がCの方向ベクトルに一致するから、[b]d[/b](t)/dt=k[b]f[/b](P)[br][color=#0000ff](例)[/color][br]ベクトル場D内の点Pのベクトル[b]f[/b](P)=(-y,x) の点P0=(1,0)を通る流線を求める。[br](dx/dt, dy/dt)=k(-y,x)から、dy/dx=x/(-y)という微分方程式ができた。[br]変数分離して、∫y dy= ∫-x dxから、1/2y[sup]2[/sup]=-1/2x[sup]2[/sup]+c[br]これから、x[sup]2[/sup]+y[sup]2[/sup]=Cが一般解。特殊解が、1[sup]2[/sup]+0[sup]2[/sup]=Cから、x[sup]2[/sup]+y[sup]2[/sup]=1となる。これが流線だね。[br][b][size=150][br]<スカラー場の等位曲線>[br][/size][/b]Dがスカラー場で、Dの点P(x,y)の山の高さf(x,y)をf(P)とかく。[br]点P0と同じ高さf(P)=f(P0)になる点Pのあつまりを、P0を含む[b]等高線、等位曲線[/b]という。[br][color=#0000ff](例)[br][/color]スカラー場D内の点Pのスカラーがf(P)=(2x[sup]2[/sup]-3y[sup]2[/sup]-1)/(x[sup]2[/sup]+y[sup]2[/sup])のとき、[br]点P0(1,1),P1(1,0),P2(0,1)の等位曲線を求める。[br]P0:f(P)=(2x[sup]2[/sup]-3y[sup]2[/sup]-1)/(x[sup]2[/sup]+y[sup]2[/sup])=(2-3-1)/(1+1)=-1 から、(2x[sup]2[/sup]-3y[sup]2[/sup]-1)=-(x[sup]2[/sup]+y[sup]2[/sup]) 。3x[sup]2[/sup]-2y[sup]2[/sup]=1(双曲線)[br]P1:f(P)=(2x[sup]2[/sup]-3y[sup]2[/sup]-1)/(x[sup]2[/sup]+y[sup]2[/sup])=(2-1)/(1)=1 から、(2x[sup]2[/sup]-3y[sup]2[/sup]-1)=(x[sup]2[/sup]+y[sup]2[/sup]) 。x[sup]2[/sup]-4y[sup]2[/sup]=1(双曲線)[br]P2:f(P)=(2x[sup]2[/sup]-3y[sup]2[/sup]-1)/(x[sup]2[/sup]+y[sup]2[/sup])=(-3-1)/(1)=-4 から、(2x[sup]2[/sup]-3y[sup]2[/sup]-1)=-4(x[sup]2[/sup]+y[sup]2[/sup]) 。6x[sup]2[/sup]+y[sup]2[/sup]=1(楕円)[br][b][size=150][br]<スカラー場のgradは傾斜成分をならべたベクトル量>[/size][/b][br]Dがスカラー場で、Dの点P(x,y)の山の高さf(P)のとき、[br]xを固定したときの山の断面でのy方向の勾配が∂f/∂x[br]yを固定したときの山の断面でのx方向の勾配が∂f/∂y。[br]fの [b][size=200][color=#0000ff](∂f/∂x, ∂f/∂y)[/color][/size][/b]をfの[color=#0000ff][size=150]勾配grad ベクトル[/size][/color]といいます。[br]スカラーを成分ごとに偏微分してならべただけなので、ベクトルになったものです。[br]・この勾配ベクトルは、関数への作用、演算子とみることもできます。[br] grad f とかき、[b]ハミルトニアン[/b]fと読んだり、∇fのように書いて[b]ナブラf[/b]と読んだりもするね。[br]・∇の計算法則はどうなる?[br] ベクトルなので線形だから、和と定数倍は成り立つね。[br] 積・商の∇は積・商の微分公式と同様になる。[br] [b] ∇(fg)=(∇f)g+f(∇g)[br] ∇(f/g)=[(∇f)g-f(∇g)]/g[sup]2[br][/sup][/b]・f(P)で決まるスカラー場DのP0における等位曲線Cがある。[br] P0の[b]接線ベクトル(dx/dt, dy/dt)と∇fの内積=0だから、直交する。[/b][br] ∇f・(dx/dt, dy/dt)= [math]\frac{\partial f}{\partial x}\frac{dx}{dt}+\frac{\partial f}{\partial y}\frac{dy}{dt}=0[/math] [br] つまり、曲線の[color=#0000ff][b]∇fは法線ベクトル。n=∇f/|∇f| ( 法線単位ベクトル)[br][/b](例)[/color][br]Dがスカラー場で、点P(x,y)の山の高さz(P)=x[sup]2[/sup]+y[sup]2[/sup]のとき、x、yがーπから+πまで変化するときの[br]勾配∇zを求め、接平面を求める。[br]2次元領域Dの点Pからzを入れた3次元領域Eの点R(x,y,z)でのスカラー関数f(R)=x[sup]2[/sup]+y[sup]2[/sup]-zを作る。[br]∇f=(∂f/∂x,∂f/∂y,∂f/∂z)=(2x, 2y,-1) これを単位化せずにそのまま法線ベクトルnとして使う。[br]点R とz(p)上の点X(x,y,z) ベクトルXRとnの内積(x-x(R)) x(n)+(y-y(R))y(n)+(z-z(R))z(n)=0 が平面の方程式になる。たとえば、点P(1,1)なら、点R(1,1,2)で、勾配n=(2,2,-1)なので[br]接平面の方程式は2(x-1)+2(y-1)-1(z-2)=0 つまり、2x+2y-z=2[br][color=#0000ff](例)[/color][br]3次元のスカラー場Dの点P(x,y,z)の電位をV(P)=1/4πε*1/√(x[sup]2[/sup]+y[sup]2[/sup]+z[sup]2[/sup])とする。[br]原点の電位Vは無限大で、原点からの距離r=√(x[sup]2[/sup]+y[sup]2[/sup]+z[sup]2[/sup])が大きくなるほど電位Vは小さくなるね。[br]-grad Vが電場ベクトル。[br]grad V=1/4πε*(-1/2)*2(x,y,z)/(x[sup]2[/sup]+y[sup]2[/sup]+z[sup]2[/sup])[sup]3/2[/sup]=-1/[4πε*(x[sup]2[/sup]+y[sup]2[/sup]+z[sup]2[/sup])[sup]3/2[/sup]] (x,y,z) [br]原点近くで傾斜が負の無限大に近く、原点からの距離rが大きくなるほど傾斜は負のまま0に近づく。
放物面の勾配からの接平面
Pを通る等位曲線
2.ベクトル場の発散と回転
[size=150]ベクトル場には[br]divという吹き出し、発散と、[br]rot,curlという渦があります。それを見ていこう。[br][br][b]<ベクトル場の発散divはスカラー量>[/b][br][/size]ベクトル値関数[b]f[/b][color=#0000ff](P)=(f、g、h)[/color]で決まるベクトル場Dで[br][b][size=200][color=#0000ff]div f = ∇・f(形式的な内積)[/color][/size][/b]としよう。[br]f,g,hはどれも(x,y,z)の関数だから、偏微分できる。[br]∇=(∂/∂x, ∂/∂y, ∂/∂z)と (f, g, h)の形式的内積は [b][color=#0000ff][size=200]∂f/∂x +∂g/∂y+∂h/∂z[/size][/color][/b]です。[br]・(吹きだし、発散divのイメージ)[br] ベクトル場Dの関数f(P)が熱の出入りだとしよう。[br] 場の微小部分の直方体⊿x⊿y⊿zを熱量が[b]f[/b](P)=(f、g、h)で出入りするとしよう。[br] x軸方向の⊿y⊿z面での出入りは、[b]f[/b](x,y,z)入り、[b]f[/b](x+⊿x、y、z)出る。[br] 熱の出入り差は[[b]f[/b](x+⊿x、y、z)-[b]f[/b](x、y、z)]⊿y⊿z≒∂f/∂x⊿x⊿y⊿z[br] 同様にして、y軸方向、z軸方向の[b]熱の出入りの差の総和は[∂f/∂x +∂g/∂y+∂h/∂z]⊿x⊿y⊿z[br] この熱変化量を体積⊿x⊿y⊿zで割れば、[br] [color=#0000ff]単位体積当たりの熱変化量が∂f/∂x +∂g/∂y+∂h/∂z[/color]となる[/b]。[br] これがdiv [b]f[/b] 発散、吹き出し、分岐(divergence)の名前の由来と言われていますね。[br][br][b][color=#0000ff]・(ガウスの定理)発散の積分について定理、ところてんの定理?[br][/color][/b] 微小体積の熱変化量[[b]∂f/∂x +∂g/∂y+∂h/∂z]⊿x⊿y⊿z=div f を集めると、有限体積Vの熱変化量の[br][/b] 総和が出せるね。[br] 微小立体が固まっている状態では、隣接面での熱の出入りは相殺される。[br] だから、[color=#0000ff]集めたあとの全体の立体の表面だけで熱の出入りを求めることができるはず[/color]だね。[br] また、積分が線形であることと、面分ベクトルdS=(dSx,dSy,dSz)=(dydz, dxdz,dxdy)から、[br] ∫[sub]v[/sub] div [b]f[/b] dv=[br] ∫∫∫[sub]v[/sub]div [b]f[/b] dxdydz=∫∫[sub]∂v[/sub](∫∂f/∂x dx)dydz+∫∫[sub]∂v[/sub](∫∂g/∂y dy)dxdz+∫∫[sub]∂v[/sub](∫∂h/∂z dz)dxdy[br] =∫∫[sub]∂v[/sub] fdydz+∫∫[sub]∂v[/sub]g dxdz+∫∫[sub]∂v[/sub]h dxdy=∫∫[sub]∂v[/sub] f dSx+∫∫[sub]∂v[/sub]g dSy+∫∫[sub]∂v[/sub]hdSz=∫∫[sub]∂v[/sub] (f dSx+g dSy+hdSz)[br] =∫∫[sub]∂v[/sub](f dSx+g dSy+hdSz)=∫∫[sub]∂v [/sub][b]f [/b]・dS [br]つまり、[color=#0000ff][br]∫[/color][sub]v[/sub][color=#0000ff] div [/color][b]f[/b][color=#0000ff] dv=∫∫[/color][sub]∂v [/sub][color=#0000ff]f ・dS ([/color][b]ガウスの発散定理)[br][/b]内部の詳細な熱の出入りを相殺して、表面の熱の出入りを計算しても同じになることが数式でもわかる。[br][color=#0000ff](例)[br][/color] ベクトル場Dの関数f(P)=(2x[sup]2[/sup]z,-xy[sup]2[/sup]z,3yz[sup]3[/sup])[br] div f = (∂/∂x, ∂/∂y, ∂/∂z)・(2x[sup]2[/sup]z,-xy[sup]2[/sup]z,3yz[sup]3[/sup])=4zx+(-2xyz)+9yz[sup]2[br][/sup][color=#0000ff](例)[/color][br]3次元のスカラー場Dの点P(x,y,z)の電位をV(P)=1/4πε*1/√(x[sup]2[/sup]+y[sup]2[/sup]+z[sup]2[/sup])とする。[br]原点の電位Vは無限大で、原点からの距離r=√(x[sup]2[/sup]+y[sup]2[/sup]+z[sup]2[/sup])が大きくなるほど電位Vは小さくなるね。[br]grad V=1/4πε*(-1/2)*2(x,y,z)/(x[sup]2[/sup]+y[sup]2[/sup]+z[sup]2[/sup])[sup]3/2[/sup]=-1/[4πε*(x[sup]2[/sup]+y[sup]2[/sup]+z[sup]2[/sup])[sup]3/2[/sup]] (x,y,z) から、[br]電場E=-gradV=q (x[sup]2[/sup]+y[sup]2[/sup]+z[sup]2[/sup])[sup]3/2[/sup]] (x,y,z) とおけるね。[br]div E = ∇・E=(∂/∂x, ∂/∂y, ∂/∂z) ・q [(x[sup]2[/sup]+y[sup]2[/sup]+z[sup]2[/sup])[sup]-3/2[/sup]] (x,y,z)  R=(x[sup]2[/sup]+y[sup]2[/sup]+z[sup]2[/sup])おく[br] =q(R[sup]-3/2[/sup]-3/2x*2x R[sup]-5/2[/sup]+R[sup]-3/2[/sup]-3/2y*2y R[sup]-5/2[/sup]+R[sup]-3/2[/sup]-3/2z*z R[sup]-5/2[/sup])=3q(R[sup]-3/2[/sup]-R*R[sup]-5/2[/sup]) = 0 [br]原点以外では電場は0です。限界なく流れているために出入りが相殺されるからですね。
[size=150][b]<ベクトル場の回転rotはベクトル量>[/b][br][/size]ベクトル値関数[b]f[/b][color=#0000ff](P)=(f、g、h)[/color]で決まるベクトル場Dで[br][b][size=200][color=#0000ff]rot f = ∇×f(形式的な外積)[/color][/size][/b]としよう。[br]f,g,hはどれも(x,y,z)の関数だから、偏微分できる。[br]∇=(∂/∂x, ∂/∂y, ∂/∂z)と (f, g, h)の形式的外積は[br]  ( |{[color=#0000ff]∂/∂y,∂/∂z},{g,h}| , -|{[color=#0000ff]∂/∂x ,∂/∂z},{f,h}| , |{[/color][color=#0000ff]∂/∂x ,∂/∂y},{f,g}| )[br] = [b][size=150]( [color=#0000ff]∂h/∂y-∂g/∂z , ∂f/∂z-[color=#0000ff]∂h/∂x , [/color][color=#0000ff]∂g/∂x-∂f/∂y )[br][/color][/color][/size][/b][/color][/color][br]・(うずrot,curlのイメージ)[br] ベクトル場Dの関数f(P)が量の分布[br] 外積が力のモーメント、運動量のモーメントを求めるものだったことを思い出そう。[br] x軸方向には、fのy、z成分と、y方向、z方向の微小変化のベクトルとの外積のスカラー量になる。[br] だから、x軸方向の値はyz平面での変化のモーメントが入るね。[br] だから、x軸に交差するモーメントがないと0になり、[br] ねじる動き、うずまく動きがあると0でなくなる。[br] これを3軸ごと求めて並べたものがrot、 rotationだ。[br][br][b][color=#0000ff]・(ストークスの定理)うず、回転の積分の定理、メロンパンの定理?[br][/color][/b] 微小領域dSでのうず、回転である∇×f ・dSを集めると、[b]有限曲面の領域S全体の合計がでる。[br] [/b]ガウスの発散の積分と同様に[b]隣接する微小面どうしのうずは打ち消しあう[/b]ので、領域Sの境界線∂Sの[br] 線素ベクトルd[b]r[/b]を求めてよい。 ∫∫[sub]S[/sub] (rot [b]f)・[/b] dS= ∫∫[sub]S[/sub] (∇×f) ・dS=∫[sub]∂s [/sub][b]f [/b]・d[b]r[/b] [color=#0000ff] ストークス[/color][b]の定理[/b][color=#0000ff]。[br](例)[/color][br] ベクトル場Dの関数f(P)=(xz[sup]3[/sup],-2x[sup]2[/sup]yz, 2yz[sup]4[/sup])[br] div f =(∂/∂x, ∂/∂y, ∂/∂z)・(xz[sup]3[/sup],-2x[sup]2[/sup]yz, 2yz[sup]4[/sup][sup][/sup])=z[sup]3[/sup]-2x[sup]2[/sup]z+8yz[sup]3[br][/sup] rot f =(∂/∂x, ∂/∂y, ∂/∂z)×(xz[sup]3[/sup],-2x[sup]2[/sup]yz, 2yz[sup]4[/sup][sup][/sup])=(2z[sup]4[/sup]+2x[sup]2[/sup]y, 3xz[sup]2 [/sup]-0, -4xyz -0)=(2z[sup]4[/sup]+2x[sup]2[/sup]y, 3xz[sup]2[/sup], -4xyz)[br][color=#0000ff](例)[/color][br]3次元のスカラー場Dの点P(x,y,z)の電位をV(P)=1/4πε*1/√(x[sup]2[/sup]+y[sup]2[/sup]+z[sup]2[/sup])とする。[br]原点の電位Vは無限大で、原点からの距離r=√(x[sup]2[/sup]+y[sup]2[/sup]+z[sup]2[/sup])が大きくなるほど電位Vは小さくなるね。[br]grad V=1/4πε*(-1/2)*2(x,y,z)/(x[sup]2[/sup]+y[sup]2[/sup]+z[sup]2[/sup])[sup]3/2[/sup]=-1/[4πε*(x[sup]2[/sup]+y[sup]2[/sup]+z[sup]2[/sup])[sup]3/2[/sup]] (x,y,z) から、[br]電場E=-gradV=q (x[sup]2[/sup]+y[sup]2[/sup]+z[sup]2[/sup])[sup]3/2[/sup]] (x,y,z) とおけるね。[br]rot E = ∇×E=(∂/∂x, ∂/∂y, ∂/∂z) ×q [(x[sup]2[/sup]+y[sup]2[/sup]+z[sup]2[/sup])[sup]-3/2[/sup]] (x,y,z) [br] =-3/2q[(x[sup]2[/sup]+y[sup]2[/sup]+z[sup]2[/sup])[sup]-5/2[/sup]](z*2y-y*2z, x*2z-z*2x, y*2x-x*2y)=[b]0[/b]
電位のイメージ

Information: ベクトル場