Prerequisite
ここでは回転行列の一般論を議論する.回転行列は「ベクトルの大きさを変えない連続変換」であって,
![](https://storytellphys.wordpress.com/wp-content/uploads/2020/12/001o5emathrm_t_oi_n.png?w=336)
を満たす.回転行列の考え方は特殊相対性理論や量子力学(素粒子,原子核,凝縮系)においても非常に重要である.
2つの任意の回転行列 の積
に関して
![](https://storytellphys.wordpress.com/wp-content/uploads/2020/12/002_o_1o_25emathr.png?w=416)
により も回転行列である.この積は結合律を満たす.
また任意の回転行列 に対して(行列式が
でないので)逆行列
が存在して
![](https://storytellphys.wordpress.com/wp-content/uploads/2020/12/003_o5e-1_5emathrm.png?w=342)
を満たし も回転行列である.
明らかに単位行列 も回転行列である.
以上のことから回転行列全体の集合は群をなす.
註:集合 が演算
について閉じている,つまり
に対して
となっている.このとき
が
![](https://storytellphys.wordpress.com/wp-content/uploads/2020/12/004cll_1.5eforall_x.png?w=930)
を満たすとき, を群 (group) という.
回転行列全体のなす群は特別な名称があり,3次元の特殊直交群 (special orthogonal group) と呼ばれ,
三次元特殊直交群
![](https://storytellphys.wordpress.com/wp-content/uploads/2020/12/005mathrm_so_3__.png?w=562)
と表記する.
無限小の回転行列から有限の大きさの回転行列を構成しよう.
三次元の無限小回転は の形に書くと,
は反対称行列である:
.
無限小であることを明示的に とかく.
この場合 の成分は有限の大きさとする.
(実は 全体の集合は
の部分群であり,1パラメータ変換群とよばれる.)
この微小回転によって位置ベクトルは
![](https://storytellphys.wordpress.com/wp-content/uploads/2020/12/006bs_r_mapsto_bs_r.png?w=218)
と変換する.
ここで の極限をとると
![](https://storytellphys.wordpress.com/wp-content/uploads/2020/12/007fracdif_epsilon_.png?w=292)
という微分方程式が得られる.
は反対称行列なのであるユニタリ行列
が存在して
を対角行列にできる.
微分方程式の左から をかけて,
![](https://storytellphys.wordpress.com/wp-content/uploads/2020/12/008fracdif_epsilon_.png?w=540)
と変形すると について容易に解くことができる.
ただし は
の固有値.
両辺を から有限の大きさ
まで積分すれば
.
よって,
![](https://storytellphys.wordpress.com/wp-content/uploads/2020/12/009bs_r__epsilon_.png?w=446)
指数函数をTaylor展開することにより
![](https://storytellphys.wordpress.com/wp-content/uploads/2020/12/010e5eepsilon_lambda.png?w=856)
これを の表式に戻して,各項で
を挟み込めば,
![](https://storytellphys.wordpress.com/wp-content/uploads/2020/12/011bs_r__epsilon_.png?w=744)
そこで行列の指数函数を
![](https://storytellphys.wordpress.com/wp-content/uploads/2020/12/012e5ex__sum_k05ein.png?w=574)
で定義すると,
![](https://storytellphys.wordpress.com/wp-content/uploads/2020/12/013bs_r__epsilon_.png?w=180)
と求まる.
同じ回転変換を続けて行う回転はそれらの回転行列の積でかける: .
指数法則 が成り立つので,
にとってみれば
とかける.
連続極限ではこの和は積分 であり,無限小の回転角
から有限の回転角が生成されている.
今は をあらわに書いたが,
を再定義して
と置き換えても良い.
よって任意の回転行列は対応する反対称行列 があって
![](https://storytellphys.wordpress.com/wp-content/uploads/2020/12/014oe5et_.png?w=94)
と書ける.
には興味深い性質がある.
上の議論より任意の回転行列は とかける.
より
の成分
は反対称である:
.
それゆえ のうち独立な成分は3つだけで
![](https://storytellphys.wordpress.com/wp-content/uploads/2020/12/015t___theta_ij_.png?w=396)
とおける.さらに を3つの行列の和に分解して
![](https://storytellphys.wordpress.com/wp-content/uploads/2020/12/016t__theta_1s_1_.png?w=418)
と書くことができる.ここで
![](https://storytellphys.wordpress.com/wp-content/uploads/2020/12/017s_1__0_0-1_.png?w=788)
とおいた.
ここに現れる3つの行列はおもしろい性質を満たしていることに気づく.
積 を計算してみると
![](https://storytellphys.wordpress.com/wp-content/uploads/2020/12/018s_1s_2__left_c.png?w=698)
今度は順序を交換して計算すると,
![](https://storytellphys.wordpress.com/wp-content/uploads/2020/12/019s_2s_1__left_c.png?w=698)
この2つを引き算すれば,
![](https://storytellphys.wordpress.com/wp-content/uploads/2020/12/020s_1s_2-s_2s_1s_.png?w=220)
が成り立っている.
他の成分でも計算してみると次の関係がわかる:
のLie代数
![](https://storytellphys.wordpress.com/wp-content/uploads/2020/12/021s_is_j_s_is_j-.png?w=372)
これを満たす たちを回転の生成子 (generator) といい,上の交換関係を
のLie代数といい
たちが張る空間を
![](https://storytellphys.wordpress.com/wp-content/uploads/2020/12/022mathfrak_so_3_.png?w=420)
とかく.回転行列の情報は生成子たちも持っている.
交換関係のおかげで回転行列の積も必ず生成子の1次結合で表わすことができる.
すなわち,行列では一般に指数法則が成り立たず となるのだが,Lie代数がある場合は
が成り立つ.
これは元の群(Lie群という)が演算について閉じていることに由来する.
さらに という分解において反対称行列
は任意であり,
たちが一次独立であることも容易に確かめられる.
それゆえに たちは反対称行列全体がなすベクトル空間の基底である.
Lie群やLie代数については量子力学の章で詳説する.
まとめておくと,任意の3次元回転行列は の元であり,
![](https://storytellphys.wordpress.com/wp-content/uploads/2020/12/023o_exp_sum_i_the.png?w=202)
とかける.
生成子 は次を満たす:
![](https://storytellphys.wordpress.com/wp-content/uploads/2020/12/024s5emathrm_t_i__-.png?w=380)
回転行列による変換に対して三次元直交座標のLagrangianが不変ということから角運動量保存則は導かれる.
時間の回転対称性は時間が一次元であることから,時間反転対称性のことと同じになる.
時間反転の対称性が連続ではないことは明らかである.
したがってNoetherの定理は適用できず対応する保存量は存在しない.
しかし時間もひとつの座標とみて四次元空間に拡張すると時空間上でたとえば 平面での回転を考えることができる.
そうするとこの変換による対称性は連続である.
時空間の回転対称性は特殊相対性理論の章で議論することにする.
Problems
回転行列の生成子 について,回転行列
![](https://storytellphys.wordpress.com/wp-content/uploads/2020/12/025o_1__e5etheta_1s.png?w=470)
がそれぞれ 軸回りの回転行列であることを示せ.
ここでは についてだけ示す.後の2つも全く同様の手順で示すことができるので割愛する.
まず を対角化するユニタリ行列
と固有値を求めよう.
固有値方程式 とすると,
が零ベクトルでないためには
でなければならない.
これから と求まる.
大きさ で規格化しておくと固有値のそれぞれから固有ベクトル
が求まり,
![](https://storytellphys.wordpress.com/wp-content/uploads/2020/12/026bs_x_1_1_0_0_en.png?w=594)
よって を対角化する行列はこれらを並べた
である.この
を用いて
![](https://storytellphys.wordpress.com/wp-content/uploads/2020/12/027o_1__e5etheta_1s.png?w=524)
と変形する.行列の指数函数の定義を使って展開し, であることに注意すれば
![](https://storytellphys.wordpress.com/wp-content/uploads/2020/12/028o_1__u_sum_k0_.png?w=774)
の具体的な式を代入して行列の積を計算して整理すると
![](https://storytellphys.wordpress.com/wp-content/uploads/2020/12/029o_1__1__cos_.png?w=350)
となる.これは 軸回りの回転角
の回転行列である.
Baker-Campbell-Hausdorffの公式:次の等式が に関するTaylor展開の1次までで成り立つことを示せ:
![](https://storytellphys.wordpress.com/wp-content/uploads/2020/12/030e5exe5ey__exp_lef.png?w=654)
ただし は
次元正方行列.
以下の計算では行列の席が一般に非可換であることに注意せよ.まず左辺を の2次まで展開すると
![](https://storytellphys.wordpress.com/wp-content/uploads/2020/12/031e5exe5ey__lefti.png?w=676)
2次の項をつくるために を加えて
![](https://storytellphys.wordpress.com/wp-content/uploads/2020/12/032frac12x5e2_frac1.png?w=844)
したがって
![](https://storytellphys.wordpress.com/wp-content/uploads/2020/12/033e5exe5ey__i_n__x.png?w=454)
これは右辺の の1次までの展開に一致する.厳密な証明は量子力学の章に譲る.
任意の回転行列が次の2通りに表されるとする:
![](https://storytellphys.wordpress.com/wp-content/uploads/2020/12/034o_ij__exp_left_.png?w=584)
このときテンソル表記したときの生成子 を求め交換関係
を調べよ.ただし
は生成子のラベルで
は行列のラベル,
とする.
の生成子
の成分は
に等しいことが確かめられる.回転角に関する式を
について解くと
となる.これらから
![](https://storytellphys.wordpress.com/wp-content/uploads/2020/12/035sum_ab_theta_ab.png?w=710)
は任意なので
![](https://storytellphys.wordpress.com/wp-content/uploads/2020/12/036s_ab__ij__fra.png?w=328)
と求まる.交換関係 は成分で書くと,
![](https://storytellphys.wordpress.com/wp-content/uploads/2020/12/037_sum_j_bigls_.png?w=588)
と計算される. で各項をまとめれば,
![](https://storytellphys.wordpress.com/wp-content/uploads/2020/12/038_sum_j_bigls_.png?w=670)
よって行列表記に戻すと,
![](https://storytellphys.wordpress.com/wp-content/uploads/2020/12/039s_ab__s_cd__f.png?w=622)
が得られる.
Rodriguesの回転公式: 大きさ の任意のベクトル
を1つとる.
このベクトルを回転軸として角度 だけ回転するときの回転行列の表式を求めよ.
![](https://storytellphys.wordpress.com/wp-content/uploads/2019/11/lagrange001.jpeg?w=1024)
観測点 を任意にとってその座標点の回転先を
とするとき
を満たす行列
が求めたい回転行列である.
の方向に直線を引いて,この直線から観測点
に向かって垂線を引く.
この垂線に沿ったベクトル と,
の両方に直交したベクトル
をとる.
また を垂線との交点まで伸ばしたベクトルを
とする.
このとき回転先の位置ベクトルは回転角 を用いて
![](https://storytellphys.wordpress.com/wp-content/uploads/2019/11/rotation-group-040.png?w=340)
と書ける.
ベクトル は
の
方向への射影だから
と書ける.
これにより .
さらに
![](https://storytellphys.wordpress.com/wp-content/uploads/2019/11/rotation-group-041.png?w=408)
以上を合わせて
![](https://storytellphys.wordpress.com/wp-content/uploads/2019/11/rotation-group-042.png?w=606)
となる.
成分で書き表わせば
![](https://storytellphys.wordpress.com/wp-content/uploads/2019/11/rotation-group-043.png?w=644)
ここで
![](https://storytellphys.wordpress.com/wp-content/uploads/2019/11/rotation-group-044.png?w=594)
であり,これがベクトル まわりの
回転に対応した回転行列の求めたい表式である.
“回転群” への1件のフィードバック