背景 3次元球面座標で変換行列はで定義され、
変換行列は以下のように表される: 以下では、この因数分解の幾何的意味を考える。
回転と計量の分解
2次元極座標系における回転と計量の分解 一般に、2次元の極座標系はで定義され*1、
変換行列は以下のように表せる: 変換行列の行列式であるヤコビアンを計算すると: よって、置換積分はと書ける。 これは、 と の積と見なせて、
が無次元のため、計量で長さの次元を帳尻合わせしていると解釈できる。 ここで、変換行列から計量を分離すると、回転行列が残った式が得られる:
一般的にではなくを用いられるが、球面座標系の文字に揃えた。球面座標系ではが極から降ろす向きに定義され、極座標のと定義が異なる。
3次元極座標系における回転と計量の分解 3次元極座標系に対しても同様に考察すると、
ヤコビアンを頑張って計算すれば、を得られて、
置換積分はと書ける。 類推からととの積と見なせて、
各次元の帳尻合わせと解釈できる。
特に方向の計量は、に依存するのみならずにも依存するのが、
同じ半径の球面上における異なるの円周が異なるためと解釈できる。
すると、2次元と同様に回転と計量を分離できる: #spanend &spanadd; \ppd{(x,y,z)}{(r,\theta,\phi)}&spanend; &spanadd; /home/limg/www/LimgMath/eq! You can't use `macro parameter character #' in math mode.
$\displaystyle \mathstrut { ##
spanend &spanadd; \ppd {(x,y,z)}{(r...
l.34 $}
=&spanend; &spanadd; /home/limg/www/LimgMath/eq! Misplaced alignment tab character &.
$\displaystyle \mathstrut { =&
spanend; &spanadd; } $
l.34 $}
\arrs[ccc]{&spanend; &spanadd; \sin\theta\, \cos\phi & r\cos\theta\, \cos\phi & -r\sin\theta\, \sin\phi \\&spanend; &spanadd; \sin\theta\, \sin\phi & r\cos\theta\, \sin\phi & r\sin\theta\, \cos\phi \\&spanend; &spanadd; \cos\theta & -r\sin\theta & 0 \\&spanend; &spanadd; }&spanend; #spanadd /home/limg/www/LimgMath/eq! Extra alignment tab has been changed to \cr.
\endtemplate
l.34 $}
| #spanend &spanadd; \phantom{\ppd{(x,y,z)}{(r,\theta,\phi)}}&spanend; &spanadd; /home/limg/www/LimgMath/eq! You can't use `macro parameter character #' in math mode.
$\displaystyle \mathstrut { ##
spanend &spanadd; \phantom {\ppd {(...
l.34 $}
=&spanend; &spanadd; /home/limg/www/LimgMath/eq! Misplaced alignment tab character &.
$\displaystyle \mathstrut { =&
spanend; &spanadd; } $
l.34 $}
\arrs[ccc]{&spanend; &spanadd; \sin\theta\, \cos\phi & \cos\theta\, \cos\phi & -\sin\phi \\&spanend; &spanadd; \sin\theta\, \sin\phi & \cos\theta\, \sin\phi & \cos\phi \\&spanend; &spanadd; \cos\theta & -\sin\theta & 0 \\&spanend; &spanadd; }&spanend; &spanadd; /home/limg/www/LimgMath/eq! Extra alignment tab has been changed to \cr.
\endtemplate
l.34 $}
\arrs[ccc]{&spanend; &spanadd; 1 & 0 & 0 \\&spanend; &spanadd; 0 & r & 0 \\&spanend; &spanadd; 0 & 0 & r\sin\theta \\&spanend; &spanadd; }&spanend; #spanadd /home/limg/www/LimgMath/eq! Extra alignment tab has been changed to \cr.
\endtemplate
l.34 $}
|
2列目からを、3列目からを抜いた形になる。
#spanend &spanadd; \arrs[ccc]{&spanend; &spanadd; \sin\theta\, \cos\phi & \cos\theta\, \cos\phi & -\sin\phi \\&spanend; &spanadd; \sin\theta\, \sin\phi & \cos\theta\, \sin\phi & \cos\phi \\&spanend; &spanadd; \cos\theta & -\sin\theta & 0 \\&spanend; &spanadd; }&spanend; #spanadd /home/limg/www/LimgMath/eq! You can't use `macro parameter character #' in math mode.
$\displaystyle \mathstrut { ##
spanend &spanadd; \arrs [ccc]{&span...
l.34 $}
が3次元の回転を表すが、
3次元回転が2回の2次元回転で合成できる事実は古くから知られていて、
3次元回転を2次元回転に分解したのが冒頭に示した因数分解式になる: #spanend &spanadd; \ppd{(x,y,z)}{(r,\theta,\phi)}&spanend; &spanadd; /home/limg/www/LimgMath/eq! You can't use `macro parameter character #' in math mode.
$\displaystyle \mathstrut { ##
spanend &spanadd; \ppd {(x,y,z)}{(r...
l.34 $}
=&spanend; &spanadd; /home/limg/www/LimgMath/eq! Misplaced alignment tab character &.
$\displaystyle \mathstrut { =&
spanend; &spanadd; } $
l.34 $}
\arrs[ccc]{&spanend; &spanadd; \sin\theta\, \cos\phi & r\cos\theta\, \cos\phi & -r\sin\theta\, \sin\phi \\&spanend; &spanadd; \sin\theta\, \sin\phi & r\cos\theta\, \sin\phi & r\sin\theta\, \cos\phi \\&spanend; &spanadd; \cos\theta & -r\sin\theta & 0 \\&spanend; &spanadd; }&spanend; #spanadd /home/limg/www/LimgMath/eq! Extra alignment tab has been changed to \cr.
\endtemplate
l.34 $}
| #spanend &spanadd; \phantom{\ppd{(x,y,z)}{(r,\theta,\phi)}}&spanend; &spanadd; /home/limg/www/LimgMath/eq! You can't use `macro parameter character #' in math mode.
$\displaystyle \mathstrut { ##
spanend &spanadd; \phantom {\ppd {(...
l.34 $}
=&spanend; &spanadd; /home/limg/www/LimgMath/eq! Misplaced alignment tab character &.
$\displaystyle \mathstrut { =&
spanend; &spanadd; } $
l.34 $}
\arrs[ccc]{&spanend; &spanadd; \cos\phi & -\sin\phi & 0 \\&spanend; &spanadd; \sin\phi & \cos\phi & 0 \\&spanend; &spanadd; 0 & 0 & 1 \\&spanend; &spanadd; }&spanend; &spanadd; /home/limg/www/LimgMath/eq! Extra alignment tab has been changed to \cr.
\endtemplate
l.34 $}
\arrs[ccc]{&spanend; &spanadd; \sin\theta & \cos\theta & 0 \\&spanend; &spanadd; 0 & 0 & 1 \\&spanend; &spanadd; \cos\theta & -\sin\theta & 0 \\&spanend; &spanadd; }&spanend; &spanadd; /home/limg/www/LimgMath/eq! Extra alignment tab has been changed to \cr.
\endtemplate
l.34 $}
\arrs[ccc]{&spanend; &spanadd; 1 & 0 & 0 \\&spanend; &spanadd; 0 & r & 0 \\&spanend; &spanadd; 0 & 0 & r\sin\theta \\&spanend; &spanadd; }&spanend; #spanadd /home/limg/www/LimgMath/eq! Extra alignment tab has been changed to \cr.
\endtemplate
l.34 $}
|
特に最初の #spanend &spanadd; /home/limg/www/LimgMath/eq! You can't use `macro parameter character #' in math mode.
$\displaystyle \mathstrut { ##
spanend &spanadd; } $
l.34 $}
\arrs[ccc]{&spanend; &spanadd; \cos\phi & -\sin\phi & 0 \\&spanend; &spanadd; \sin\phi & \cos\phi & 0 \\&spanend; &spanadd; 0 & 0 & 1 \\&spanend; &spanadd; }&spanend; #spanadd /home/limg/www/LimgMath/eq! Extra alignment tab has been changed to \cr.
\endtemplate
l.34 $}
が、2次元回転の #spanend &spanadd; /home/limg/www/LimgMath/eq! You can't use `macro parameter character #' in math mode.
$\displaystyle \mathstrut { ##
spanend &spanadd; } $
l.34 $}
\arrs[cc]{&spanend; &spanadd; \cos\phi & -\sin\phi \\&spanend; &spanadd; \sin\phi & \cos\phi \\&spanend; &spanadd; }&spanend; #spanadd /home/limg/www/LimgMath/eq! Extra alignment tab has been changed to \cr.
\endtemplate
l.34 $}
と全く同じである。
共に軸と軸の両方に直な方向を軸に、軸を軸に重ねる向きに回した回転を表す。
簡単なため、これを「軸を軸に回した回転」と略す。
2番目の行列である #spanend &spanadd; /home/limg/www/LimgMath/eq! You can't use `macro parameter character #' in math mode.
$\displaystyle \mathstrut { ##
spanend &spanadd; } $
l.34 $}
\arrs[ccc]{&spanend; &spanadd; \sin\theta & \cos\theta & 0 \\&spanend; &spanadd; 0 & 0 & 1 \\&spanend; &spanadd; \cos\theta & -\sin\theta & 0 \\&spanend; &spanadd; }&spanend; #spanadd /home/limg/www/LimgMath/eq! Extra alignment tab has been changed to \cr.
\endtemplate
l.34 $}
は3行目を1行目に、1行目を2行目に置換すれば、
これまた2次元の回転と同じ形になる。
つまり、→、→に置換すれば、をに重ねる回転を表す。
逆に言い方の方を置換すれば、「軸を軸に回した回転」になる。
すなわち、共に軸と軸の両方に直な方向を軸に、軸を軸に重ねる向きに回した回転を表す。
|