=============================================
直交座標系
=============================================
基底ベクトル $\bm{e_{1}},\bm{e_{2}},\bm{e_{3}}$ 、もしくは $\bm{e^{1}},\bm{e^{2}},\bm{e^{3}}$ が全て互いに直交するものを *直交座標系* と呼びます。(双対基底の両方が直交基底だと仮定しなくても、どちらかが直交基底ならば、双対基底の定義式により、もう一方も直交基底になることが簡単に示せます。)


<tex>
\bm{e_{i}}\cdot \bm{e_{j}} = {\delta}_{ij}
</tex>

<tex>
\bm{e^{i}}\cdot \bm{e^{j}} = {\delta}^{ij}
</tex>


数学や物理学で実際によく使う、デカルト座標系、円筒座標系、球座標系等は全て直交座標系ですから、直交座標系の性質をよく知っておくのは有意義だと思います。

計量テンソルの成分は、その定義により次のように表現されます。

<tex>
g_{ik} = \bm{e_{i}} \cdot \bm{e_{k}} = 0 \  \  \  (if \ i \ne k)
</tex>

<tex>
g^{ik}=\bm{e^{i}} \cdot \bm{e^{k}} = 0 \  \  \  (if \ i \ne k)
</tex>

つまり、計量テンソルを行列表記した場合、直交座標系では対角成分以外が全て $0$ になるということです。



<tex>
   \left(
     \begin{array}{c}
     A^{1}\\
     A^{2}\\
     A^{3}\\
     \end{array}
   \right)
 =
\left( \begin{array}{ccc}
g^{11} & 0 & 0 \\
0 & g^{22} & 0 \\
0 & 0 & g^{33} \\
\end{array}
\right) 
   \left(
     \begin{array}{c}
     A_{1}\\
     A_{2}\\
     A_{3}\\
     \end{array}
   \right)	\tag{1}
</tex>



<tex>
   \left(
     \begin{array}{ccc}
     A_{1}\\
     A_{2}\\
     A_{3}\\
     \end{array}
   \right)
 =
\left( \begin{array}{ccc}
g_{11} & 0 & 0 \\
0 & g_{22} & 0 \\
0 & 0 & g_{33} \\
\end{array}
\right) 
   \left(
     \begin{array}{ccc}
     A^{1}\\
     A^{2}\\
     A^{3}\\
     \end{array}
   \right)	\tag{2}
</tex>


式 $(1)$ に式 $(2)$ を代入、もしくは式 $(2)$ に式 $(1)$ を代入すれば、元に戻るはずですから、二つの行列の積は単位行列になることが要請されます。

<tex>
\left( \begin{array}{ccc}
g^{11} & 0 & 0 \\
0 & g^{22} & 0 \\
0 & 0 & g^{33} \\
\end{array}
\right) 
\left( \begin{array}{ccc}
g_{11} & 0 & 0 \\
0 & g_{22} & 0 \\
0 & 0 & g_{33} \\
\end{array}
\right) 
=
\left( \begin{array}{ccc}
1 & 0 & 0 \\
0 & 1 & 0 \\
0 & 0 & 1 \\
\end{array}
\right) 
</tex>

これより、次の関係式が得られます。


<tex>
g_{11}g^{11}=1, \ \ g_{22}g^{22}=1, \ \ g_{33}g^{33}=1
</tex>

また、 計量テンソル_ の記事で行ったように、微小ベクトルの長さ $ds$ を計量テンソルと基底ベクトルで表現してみると、次式のようになります。

<tex>
ds^{2} &= g_{11}(dx^{1})^{2}+ g_{22}(dx^{2})^{2}+g_{33}(dx^{3})^{2} \\
&= g^{11}(dx_{1})^{2}+ g^{22}(dx_{2})^{2}+g^{33}(dx_{3})^{2} 
</tex>


ここで、計量テンソルの対角成分の平方根を特に *計量因子* と呼び、 $h$ で書きます。

<tex>
h_{1} = \sqrt{g_{11}}, \ \ h_{2} = \sqrt{g_{22}}, \ \ h_{3} = \sqrt{g_{33}}
</tex>

<tex>
h^{1} = \sqrt{g^{11}}, \ \ h^{2} = \sqrt{g^{22}}, \ \ h^{3} = \sqrt{g^{33}}
</tex>


計量因子を用いると、 $ds^2$ は次のように書きなおせます。


<tex>
ds^2 &= (h_{1}dx^{1})^{2}+ (h_{2}dx^{2})^{2}+ (h_{3}dx^{3})^{2} \\
&= (h^{1}dx_{1})^{2}+ (h^{2}dx_{2})^{2}+ (h^{3}dx_{3})^{2} 	\tag{3}
</tex>


微小長さが、計量テンソルの対角成分と変位成分の二乗だけで表わされています．一般の座標系の場合にあった、 $dx_{i}dx_{j} \ (i \ne j)$ のような項がありません．これはつまり，直交座標系では，長さの計量としてピタゴラスの定理を使っても良いという主張でもあります。


また、直交座標系では共変基底 $(\bm{e_{1}},\bm{e_{2}},\bm{e_{3}})$ と反変基底 $(\bm{e^{1}},\bm{e^{2}},\bm{e^{3}})$ が一致しますので、添字の上下による区別が必要ありません。そこで、今まで気をつけていた添字の区別をやめて、式 $(3)$ を次のように書いてしまっても問題ありません。

<tex>
ds^2 = (h_{1}dx_{1})^{2}+ (h_{2}dx_{2})^{2}+ (h_{3}dx_{3})^{2} \tag{4}
</tex>

区別しなくて良いものをわざわざ区別するのは無駄手間ですから、直交座標系の場合に限って添字を全て右下に書くことがあると思いますが、『添字の上下による区別が不要なのは直交座標系の場合に限る』という事情をよく理解しておくことが大事です。

.. important:: 

	直交座標系には、添字の上下による区別が必要ない。（共変基底と反変基底が一致する。）


.. [*] 例えば、高校で微積分の図形問題を勉強したとき、微小長さは $ds^2 = dx^2 + dy^2$ のように表わしたと思います。しかしよく考えてみると、このようにピタゴラスの定理が成り立つのは $x$ と $y$ を直角に取っているからなのであって、一般には $dxdy$ の項も出てくるはずなんですね。これは『物の長さをどう測るか』という問題ですから、幾何学をやる上でとても重要です。例えば、リーマン幾何と呼ばれる曲面上の幾何学では、長さの定義に $dxdy$ のような長さの対角成分も出てきます。


計量因子は、直交座標系から直交座標系への座標変換をバリバリと行うようになったときにとても重要になります。座標変換で一番面倒なのは、微分計算の変換ですが、計量因子を使って微分演算子を変換する方法は ベクトル演算子の座標変換_ で紹介します。なかなか、実際に手を動かしてみないと計量因子の意味が分かりにくいと思うのですが、微分演算子の座標変換を勉強するまでは、あまり計量因子の活躍の場も無いと思います。まだベクトルの微積分を勉強していない人は『そのうちそんな話題もあるのか』という程度に
、記憶に留めておいて下さい。




.. _ベクトル演算子の座標変換: http://www12.plala.or.jp/ksp/vectoranalysis/
.. _計量テンソル: http://www12.plala.or.jp/ksp/vectoranalysis/MetricTensor/



@@author:Joh@@
@@accept: 2006-07-15@@
@@category: ベクトル解析@@
@@id: OrthogonalCoords@@