 |
5 直交曲線座標 |
| f-denshi.com 最終更新日:06/07/04 |
普通,物理学の基本法則は直交直線座標系で示されます。しかし,実際の問題を解く場合,系が持つ対称性を利用して座標系を設定しなおすことがしばしば有効です。例えば,原子核とそのまわりを回る電子を扱うような問題では極座標(球座標)を用いて考察することが決定的に重要です。よく使われる座標系は他に円柱(円筒)座標,放物線座標などがあり,これらは直交曲線座標と総称される座標系の具体的な例となっています。これら直交曲線座標の一般論を知っておけば,公式集にまとめられている変換式,パラーメーターなどから機械的に各座標系で成り立つ関係式を導くことができます。関連ページとして,「実解析入門」15.積分変数の変換[#]を挙げておきます。
1.直交曲線座標の一般論(3次元)
ここで,直交曲線座標の一般論を3次ベクトル空間で説明します(次元の拡張はほとんどの場合,容易です。)
が,適時,具体例を参照してください。
[1] デカルトの直交座標系Σ={ex,ey,ez}の点(x,y,z)から,座標系Σ'={eu,ev,ew}で表した点[u, v, w]への座標変換を定める式が,
x=x(u, v, w), y=y(u, v, w), z=z(u, v, w)
で与えられ,この変換のヤコビの行列式が 0 でない[#],すなわち,上の式は一意的に逆に解くこともでき,それを
u=u(x, y, z), v=v(x, y, z), w=w(x, y, z)
とします。[具体例確認→] ここで,基底ベクトル{eu,ev,ew}は空間の点によって変わり得る,つまり,点(=位置)[u, v, w]の関数(あるいは(x, y, z)の関数)であるとします。そして,eu,ev,ew が互いに直交しているとき,座標系Σ'を直交曲線座標(系)といいます。
(Σ'の基底が位置によらない定ベクトル,つまり,Σの回転や,平行移動,反転に相当する場合,座標変換:Σ⇒Σ'は1次変換となります。そのような変換は,ここでは除外します。線形代数を参照[#]して下さい。)
[2] さて,空間内の点を表している座標が
(x, y, z) (Σ 座標系)
[u, v, w] (Σ'座標系)
と各座標系で表されるとき,位置ベクトルを次のように書いておきます。
r =r (x, y, z) =r (x(u, v, w),y(u, v, w),z(u, v, w))
このとき,次のような用語を定義します。
[3] 座標曲線とは,
u曲線:v,w=一定の曲線で,r(u)=r (x(u , v0, w0), y(u , v0, w0), z(u , v0, w0))
v曲線:w,u=一定の曲線で,r(v)=r (x(u0, v , w0), y(u0, v , w0), z(u0, v , w0))
w曲線:u,v=一定の曲線で,r(w)=r (x(u0, v0, w), y(u0, v0, w), z(u0, v0 , w))
をいいます[具体例確認→]。(もちろん,それぞれ無数に存在する曲線群です。)
[4] 座標曲面とは,
u曲面:u=一定で与えられる曲面で,u(x, y, z)=u0
v曲面:v=一定で与えられる曲面で,v(x, y, z)=v0
w曲面:w=一定で与えられる曲面で,w(x, y, z)=w0
をいいます[具体例確認→]。
[5] 曲線座標の基底には,
(1)Σ':Pを通る3つの座標曲線に接する3つのベクトル
(2)Σ'':Pを通る3つの座標曲面に垂直な3つのベクトル → 3.相反直交曲線座標を参照 [#]
の(合理的な)2通り定義の仕方があります。
ここでは,(1)による導入を考えます。すなわち,u-,v-,w- 曲線の各接線ベクトル[#] を規格化(大きさを1とする)した3つのベクトルを座標系,Σ'の基底{eu,ev,ew}とするのです。それは,
| u 曲線の接線→eu: |
∂r |
=[hu, 0 , 0]=hueu ;eu=[1 , 0 , 0] |
|
| ∂u |
| v 曲線の接線→ev: |
∂r |
=[0 , hv, 0]=hvev ;ev=[0 , 1 , 0] |
|
| ∂v |
| w 曲線の接線→ew: |
∂r |
=[0 , 0 , hw]=hwew ;ew=[0 , 0 , 1] |
|
| ∂w |
|
・・・・・ [*] |
ここでは,カギ括弧[ ,, ]を座標系Σ' における成分表示のために使うことにします。 |
とおくことができます。ここで,hu,hv,hwは規格化定数で,次の各ベクトルの大きさ,
| hu= |
|
∂r |
|
,hv= |
|
∂r |
|
,hw= |
|
∂r |
|
|
|
|
| ∂u |
∂v |
∂w |
で与えられ,計量係数(尺度係数)といいます[具体例確認→]。
一方,r の u,v,w に関する偏微分は,座標系Σでは,
| ∂r |
= |
 |
∂x |
, |
∂y |
, |
∂z |
 |
= |
∂x |
ex+ |
∂y |
ey+ |
∂z |
ez |
|
|
|
|
|
|
|
| ∂u |
∂u |
∂u |
∂u |
∂u |
∂u |
∂u |
| ∂r |
= |
 |
∂x |
, |
∂y |
, |
∂z |
 |
= |
∂x |
ex+ |
∂y |
ey+ |
∂z |
ez |
|
|
|
|
|
|
|
| ∂v |
∂v |
∂v |
∂v |
∂v |
∂v |
∂v |
| ∂r |
= |
 |
∂x |
, |
∂y |
, |
∂z |
 |
= |
∂x |
ex+ |
∂y |
ey+ |
∂z |
ez |
|
|
|
|
|
|
|
| ∂w |
∂w |
∂w |
∂w |
∂w |
∂w |
∂w |
|
・・・・・ [*] |
と記述ができます。[*]と[*]が相等しいとおけば,
| hueu = |
∂x |
ex+ |
∂y |
ey+ |
∂z |
ez |
|
|
|
| ∂u |
∂u |
∂u |
| hvev = |
∂x |
ex+ |
∂y |
ey+ |
∂z |
ez |
|
|
|
| ∂v |
∂v |
∂v |
| hwew = |
∂x |
ex+ |
∂y |
ey+ |
∂z |
ez |
|
|
|
| ∂w |
∂w |
∂w |
|
⇒
逆に解くと,
[#] |
| ex= |
∂x |
eu+ |
∂x |
ev+ |
∂x |
ew |
|
|
|
| hu∂u |
hv∂v |
hw∂w |
| ey= |
∂y |
eu+ |
∂y |
ev+ |
∂y |
ew |
|
|
|
| hu∂u |
hv∂v |
hw∂w |
| ez= |
∂z |
eu+ |
∂z |
ev+ |
∂z |
ew |
|
|
|
| hu∂u |
hv∂v |
hw∂w |
|
[**] |
を得ます[具体例確認→]。ある正規直交系から別の正規直交系への基底変換行列[#]はユニタリ(直交)行列[#]でした。
[6] 次にいくつか重要な公式を導いておきましょう。 [**]式の両辺に,∂/∂x,∂/∂y,∂/∂zを上式から順にかけると,
| ∂ |
ex= |
∂x |
・ |
∂ |
eu + |
∂x |
・ |
∂ |
ev + |
∂x |
・ |
∂ |
ew |
|
|
|
|
|
|
|
| ∂x |
hu∂u |
∂x |
hv∂v |
∂x |
hw∂w |
∂x |
| ∂ |
ey= |
∂y |
・ |
∂ |
eu + |
∂y |
・ |
∂ |
ev + |
∂y |
・ |
∂ |
ew |
|
|
|
|
|
|
|
| ∂y |
hu∂u |
∂y |
hv∂v |
∂y |
hw∂w |
∂y |
| ∂ |
ez= |
∂z |
・ |
∂ |
eu + |
∂z |
・ |
∂ |
ev + |
∂z |
・ |
∂ |
ew |
|
|
|
|
|
|
|
| ∂z |
hu∂u |
∂z |
hv∂v |
∂z |
hw∂w |
∂z |
これらを辺々足せば,
| ∇= |
 |
∂ |
,
|
∂ |
,
|
∂ |
 |
|
|
|
| ∂x |
∂y |
∂z |
| = |
∂ |
ex+ |
∂ |
ey+ |
∂ |
ez |
= |
1 |
 |
∂x |
・ |
∂ |
+ |
∂y |
・ |
∂ |
+ |
∂z |
・ |
∂ |
 |
eu |
|
|
|
|
|
|
|
|
|
|
| ∂x |
∂y |
∂z |
hu |
∂u |
∂x |
∂u |
∂y |
∂u |
∂z |
|
+ |
1 |
 |
∂x |
・ |
∂ |
+ |
∂y |
・ |
∂ |
+ |
∂z |
・ |
∂ |
 |
ev |
|
|
|
|
|
|
|
| hv |
∂v |
∂x |
∂v |
∂y |
∂v |
∂z |
|
+ |
1 |
 |
∂x |
・ |
∂ |
+ |
∂y |
・ |
∂ |
+ |
∂z |
・ |
∂ |
 |
ew |
|
|
|
|
|
|
|
| hw |
∂w |
∂x |
∂w |
∂y |
∂w |
∂z |
| = |
1 |
・ |
∂ |
eu+ |
1 |
・ |
∂ |
ev+ |
1 |
・ |
∂ |
ew |
|
|
|
|
|
|
| hu |
∂u |
hv |
∂v |
hw |
∂w |
| = |
 |
∂ |
,
|
∂ |
,
|
∂ |
 |
=∇ |
|
|
|
| hu∂u |
hv∂v |
hw∂w |
ここで,合成微分法の公式[#] を使っています。結局,
| ∇= |
 |
∂ |
,
|
∂ |
,
|
∂ |
 |
⇔ ∇= |
 |
∂ |
,
|
∂ |
,
|
∂ |
 |
・・・・・[***] |
|
|
|
|
|
|
| ∂x |
∂y |
∂z |
hu∂u |
hv∂v |
hw∂w |
|
つまり,微分量については, (dx,dy,dz) ⇔ [ hudu,hvdv,hwdw ]という対応があります。
が導かれました。さらに,
| ∇u = |
 |
∂u |
,
|
∂u |
,
|
∂u |
 |
= |
 |
1 |
, 0 , 0 |
 |
= |
eu |
|
|
|
|
|
| hu∂u |
hv∂v |
hw∂w |
hu |
hu |
∇v ,∇w も同様に考えて,
| ∇u = |
eu |
,∇v = |
ev |
,∇w = |
ew |
|
|
|
| hu |
hv |
hw |
|
・・・・・ [*] |
|
なる関係が得られます。 [具体例確認→]
他にも, eu ・eu = 1, ev ・ev = 1, ew ・ew = 1 を微分して,
公式1
eu ・ev = 0, ev ・ew = 0, ew ・eu = 0 を微分して,
公式2
公式3
| (1) |
∂eu |
=− |
1 |
・ |
∂hu |
ev− |
1 |
・ |
∂hu |
ew |
, |
∂eu |
= |
1 |
・ |
∂hv |
ev |
, |
∂eu |
= |
1 |
・ |
∂hw |
ew |
|
|
|
|
|
|
|
|
|
|
|
| ∂u |
hv |
∂v |
hw |
∂w |
∂v |
hu |
∂u |
∂w |
hu |
∂u |
| (2) |
∂ev |
= |
1 |
・ |
∂hu |
eu |
, |
∂ev |
=− |
1 |
・ |
∂hv |
ew− |
1 |
・ |
∂hv |
eu |
, |
∂ev |
= |
1 |
・ |
∂hw |
ew |
|
|
|
|
|
|
|
|
|
|
|
| ∂u |
hv |
∂v |
∂v |
hw |
∂w |
hu |
∂u |
∂w |
hv |
∂v |
| (3) |
∂ew |
= |
1 |
・ |
∂hu |
eu |
, |
∂ew |
= |
1 |
・ |
∂hv |
ev |
, |
∂ew |
=− |
1 |
・ |
∂hw |
eu− |
1 |
・ |
∂hw |
ev |
|
|
|
|
|
|
|
|
|
|
|
| ∂u |
hw |
∂w |
∂v |
hw |
∂w |
∂w |
hu |
∂u |
hv |
∂v |
|
は繰り返し用いることになります。 証明はこちら ⇒ [#]
[7] 体積要素 dVとして, (dx,dy,dz) ⇔ [ hudu,hvdv,hwdw ] より,
dxdydz = huhvhwdudvdw [具体例→]
[8] 勾配 [具体例確認→]
| gradψ = |
 |
∂ψ |
, |
∂ψ |
, |
∂ψ |
 |
|
|
|
| ∂x |
∂y |
∂z |
| ⇒ gradψ = |
∂ψ |
eu + |
∂ψ |
ev + |
∂ψ |
ew |
| hu∂u |
hv∂v |
hw∂w |
| = |
∂ψ |
∇u + |
∂ψ |
∇v + |
∂ψ |
∇w |
| ∂u |
∂v |
∂w |
[証明]は[***],[*] を見よ。
[9] 発散 [具体例確認→]
各座標系で,A = (Ax,Ay,Az) ⇔ [Au,Av,Aw] のとき,
| divA = ∇A = |
∂Ax |
+ |
∂Ay |
+ |
∂Az |
|
|
|
| ∂x |
∂y |
∂z |
| ⇒ divA = ∇A = |
1 |
 |
∂(hvhwAu) |
+ |
∂(hwhuAv) |
+ |
∂(huhvAw) |
 |
|
|
|
|
| huhvhw |
∂u |
∂v |
∂w |
[証明]はこちら ⇒ [#]
[10] 回転 [具体例確認→]
| rotA= |
 |
∂Az |
− |
∂Ay |
, |
∂Ax |
− |
∂Az |
, |
∂Ay |
− |
∂Ax |
 |
|
|
|
|
|
|
| ∂y |
∂z |
∂z |
∂x |
∂x |
∂y |
| ⇒ rotA= |
 |
∂(hwAw) |
− |
∂(hvAv) |
 |
eu+ |
 |
∂(huAu) |
− |
∂(hwAw) |
 |
ev+ |
 |
∂(hvAv) |
− |
∂(huAu) |
 |
ew |
|
|
|
|
|
|
| hvhw∂v |
hvhw∂w |
hwhu∂w |
hwhu∂u |
huhv∂u |
huhv∂v |
| = |
 |
∂(hwAw) |
− |
∂(hvAv) |
, |
∂(huAu) |
− |
∂(hwAw) |
, |
∂(hvAv) |
− |
∂(huAu) |
 |
|
|
|
|
|
|
| hvhw∂v |
hvhw∂w |
hwhu∂w |
hwhu∂u |
huhv∂u |
huhv∂v |
[証明]はこちら ⇒ [#]
[11] ラプラシアン [具体例確認→]
| div・gradψ= |
∂2ψ |
+ |
∂2ψ |
+ |
∂2ψ |
|
|
|
| ∂x2 |
∂y2 |
∂z2 |
| ⇒ div・gradψ= |
1 |
 |
∂ |
 |
hvhw |
・ |
∂ψ |
 |
+ |
∂ |
 |
hwhu |
・ |
∂ψ |
 |
+ |
∂ |
 |
huhv |
・ |
∂ψ |
 |
 |
|
|
|
|
|
|
|
|
|
|
| huhvhw |
∂u |
hu |
∂u |
∂v |
hv |
∂v |
∂w |
hw |
∂w |
[証明] ひたすら計算するのみ。
2.相反直交曲線座標
[1] 1.で述べた[#]ように直交曲線座標のもう一つ導入法として,「 (2) 点P を通る座標曲面に垂直な3つのベクトル
」を利用できます。すなわち,
u 曲面: u(x,y,z) = u0 に垂直な単位ベクトル →eu = ∇u(x,y,z)/Hu
v 曲面: v(x,y,z) = v0 に垂直な単位ベクトル →ev = ∇v(x,y,z)/Hv
w 曲面: w(x,y,z)= w0 に垂直な単位ベクトル →ew = ∇w(x,y,z)/Hw
で与えられます[#]。ここで,Hu,Hv,Hw は規格化定数で,
Hu =|∇u|= { (ux)2+(uy)2+(uz)2 }1/2
Hv =|∇v|= { (vx)2+(vy)2+(vz)2 }1/2
Hw =|∇w|= { (wx)2+(wy)2+(wz)2 }1/2
です。
[2] このとき,基底 { Hueu,Hvev,Hwew } (添字が上にあることに注意!)は基底 { hueu,hvev,hwew }と相反系の関係[#]にあることが次の計算からわかります。まず[#],
| Hueu = |
∂u |
ex+ |
∂u |
ey+ |
∂u |
ez |
| ∂x |
∂y |
∂z |
| hueu = |
∂x |
ex+ |
∂y |
ey+ |
∂z |
ez |
| ∂u |
∂u |
∂u |
| hvev = |
∂x |
ex+ |
∂y |
ey+ |
∂z |
ez |
| ∂v |
∂v |
∂v |
などに注意しましょう。これから次の内積を計算すると,
Hueu・hueu=uxxu+uyyu+uzzu = 1
となります。最後の等号(=1)は合成関数,
u = u(x(u,v,w),y(u,v,w),z(u,v,w)) ←はベクトルではなくて関数 u{・・} という意味です。
を両辺,u で微分して,1=uxxu+uyyu+uzzu であることを使っています。(合成関数の微分は→[#])
同様に,Hvev・hvev=Hwew・hwew = 1 も示せます。
[3] 今度は内積,
Hueu・hvev = uxxv+uyyv+uzzv
を計算したいのですが,これは u = u(x(u,v,w),y(u,v,w),z(u,v,w)) の両辺を
v で微分すると,
0 = uxxv+uyyv+uzzv
であることを使えば,0 であることがわかります。他の成分にどおしについても同様に,
Hiei・hjej = 0, i ≠ j
であることがわかります。
[4] さらに,{eu,ev,ew} が正規直交系ならば,2つの座標系について,{ Hueu,Hvev,Hwew }= { hueu,hvev,hwew } が成立します。
証明 ⇒ [#]
3.球座標 (具体例1) 
[1] 座標成分
(x,y,z) 直交座標
( r,θ,φ) 球座標
[2] 座標変換式 (球座標)
x = r sinθcosφ,
y = r sinθsinφ,
z = r cosθ
r = ( x2+y2+z2 )1/2,
θ= cos-1[ z/(x2+y2+z2)1/2 ],
φ= tan-1( y/x )
ただし, 0≦r<∞, 0≦θ≦π, 0≦φ<2π,
[3] 座標曲線(球座標)は,
r (r) =r ( r sinθ0 cosφ0,r sinθ0 sinφ0, r cosθ0 ) ⇒ r 曲線
r (θ) =r ( r0 sinθcosφ0, r0 sinθsinφ0, r0 cosθ ) ⇒ θ 曲線
r (φ) =r ( r0 sinθ0cosφ ,r0 sinθ0sinφ, r0 cosθ0 ) ⇒ φ曲線
となります。
[4] また,座標曲面 (球座標)は,
r0 = ( x2+y2+z2 )1/2 ⇒ r 曲面
θ0 = cos-1{ z/(x2+y2+z2)1/2} ⇒ θ 曲面
φ0 = tan-1( y/x ) ⇒ φ曲面

[5] 計量係数 (球座標)
ベクトルの偏微分,
| ∂r |
=( sinθcosφ,sinθsinφ,cosθ) |
| ∂r |
| ∂r |
=( r cosθcosφ,r cosθsinφ,−r sinθ) |
| ∂θ |
| ∂r |
=( r sinθsinφ,r sinθcosφ,0 ) |
| ∂φ |
より,
hr = 1, ← {( sinθcosφ )2+( sinθsinφ )2+cos2θ )}1/2
hθ= r ← {(r cosθcosφ)2+(r cosθsinφ)2+(−r sinθ)2}1/2
hφ= rsinθ ← {(r sinθsinφ)2+(r sinθcosφ)2)}1/2
[6] 基底ベクトル(球座標)
er = sinθcosφex + sinθsinφey + cosθez
reθ = r cosθcosφex + r cosθsinφey − r sinθez
r sinθeφ = - r sinθsinφex + r sinθcosφey
線要素[#]: dr=drer+rdφeφ+rsinθdθez
体積要素[#]: dV=dxdydz=r2sinθdr dφdθ
[7] 勾配(球座標)
| gradψ = |
|
∂ψ |
er + |
∂ψ |
eθ+ |
∂ψ |
eφ |
| ∂r |
r∂θ |
rsinθ∂φ |
[8] 発散(球座標)
| divA = |
∂(r2Ar) |
+ |
∂(sinθAθ) |
+ |
∂Aφ |
|
|
|
| r2∂r |
rsinθ∂θ |
rsinθ∂φ |
[9] 回転(球座標)
| rotA = |
 |
∂(sinθAφ) |
− |
∂Aθ |
 |
er + |
 |
∂Ar |
− |
∂(rAφ) |
 |
eθ + |
 |
∂(r・Aθ) |
− |
∂Ar |
 |
eφ |
|
|
|
|
|
|
| rsinθ∂θ |
rsinθ∂φ |
rsinθ∂φ |
r∂r |
r∂r |
r∂θ |
[10] ラプラシアン(球座標)
| div・gradφ= |
∂ |
 |
r2 |
∂ψ |
 |
+ |
∂ |
 |
sinθ |
∂ψ |
 |
+ |
∂2ψ |
|
|
|
|
|
| r2∂r |
∂r |
r2sinθ∂θ |
∂θ |
r2sin2θ∂φ2 |
[ 目次へ ]
CopyRight フジエダ電子出版