座標基底の変換

いかにも面倒な座標変換における基底(座標方向の単位ベクトル)の変換。より直感を重視する図形的導出と、マニュアル的にすませる座標変換からの計算を並べて整理してみよう。
座標としてはデカルト座標から球座標への変換を例に考察する。

図形的導出

球座標の基底をデカルト座標の基底で表現するには、ともかく基底に対して x,y,z 座標軸への射影を求めればよいわけだ。
f:id:yokkun831:20210831140926p:plain
\boldsymbol{e}_\phi は最も簡単である。x-y 平面に平行だから、
\boldsymbol{e}_\phi = -\sin\phi \;\boldsymbol{e}_x + \cos\phi 
 \;\boldsymbol{e}_y
を得る。
次に簡単なのは、\boldsymbol{e}_r であろう。一端 x-y 平面への射影をとって、さらにその成分をとれば x,y 成分を得る。z 成分は z 軸への射影をとるだけでよい。
\boldsymbol{e}_r = \sin\theta\cos\phi \;\boldsymbol{e}_x + \sin\theta\sin\phi \;\boldsymbol{e}_y + \cos\theta \;\boldsymbol{e}_z
を得る。
一番わかりにくいのが \boldsymbol{e}_\theta かもしれない。\boldsymbol{e}_r を90°回転させることをてがかりに何とか影をとることができる。ちょっとズルして、
\boldsymbol{e}_\theta = \boldsymbol{e}_\phi \times \boldsymbol{e}_r\\
= \cos\theta\cos\phi\;\boldsymbol{e}_x + \cos\theta\sin\phi\;\boldsymbol{e}_y - \sin\theta\;\boldsymbol{e}_z
と計算してもよい。

座標変換を活用する

x = r\sin\theta\cos\phi\\
y = r\sin\theta\sin\phi\\
z = r\cos\theta

無限小変位ベクトルを考えると
d\boldsymbol{r} = dr\;\boldsymbol{e}_r + rd\theta\;\boldsymbol{e}_\theta + r\sin\theta \;d\phi\;\boldsymbol{e}_\phi = dx\;\boldsymbol{e}_x + dy\;\boldsymbol{e}_y + dz\;\boldsymbol{e}_z

これから
\boldsymbol{e}_r = \displaystyle\frac{\partial x}{\partial r} \boldsymbol{e}_x + \frac{\partial y}{\partial r} \boldsymbol{e}_y + \frac{\partial z}{\partial r} \boldsymbol{e}_z\\
= \sin\theta\cos\phi\;\boldsymbol{e}_x + \sin\theta\sin\phi\;\boldsymbol{e}_y + \cos\theta\;\boldsymbol{e}_z
\boldsymbol{e}_\theta = \displaystyle\frac{1}{r}\frac{\partial x}{\partial \theta} \boldsymbol{e}_x + \frac{1}{r}\frac{\partial y}{\partial \theta} \boldsymbol{e}_y + \frac{1}{r}\frac{\partial z}{\partial \theta} \boldsymbol{e}_z\\
= \cos\theta\cos\phi\;\boldsymbol{e}_x + \cos\theta\sin\phi\;\boldsymbol{e}_y - \sin\theta\;\boldsymbol{e}_z
\boldsymbol{e}_\phi = \displaystyle\frac{1}{r\sin\theta}\frac{\partial x}{\partial \phi} \boldsymbol{e}_x + \frac{1}{r\sin\theta}\frac{\partial y}{\partial \phi} \boldsymbol{e}_y + \frac{1}{r\sin\theta}\frac{\partial z}{\partial \phi} \boldsymbol{e}_z\\
= -\sin\phi\;\boldsymbol{e}_x + \cos\phi\;\boldsymbol{e}_y
を得る。