Prerequisite
剛体の慣性モーメントは,
と定義される2階のテンソルである.
この定義からすぐにわかるように は対称テンソルであり を満たす.
慣性モーメントを要素とする行列 は実対称行列であり直交行列を用いていつでも対角化可能である.
直交行列とはその転置行列と逆行列が一致するような行列のことである; .
ある直交行列 によって慣性モーメント が対角化されたとして,その対角成分を としよう(後の都合で添え字を にしている).
すると対角化は次のように式で書ける:
対角化された慣性モーメント あるいはその成分 を主慣性モーメントという.
本節ではギリシア文字の添え字 は のどれかを表すものとする.
回転のエネルギーは,
となる.
行列の積を成分であらわに書けば, である.
そこで新たに角速度ベクトル を で定義すれば,
となる.
ここで である. 角速度ベクトルの成分を とおけば,
とまとめられる.
実は座標系をうまく選ぶことで慣性モーメントを対角形にできる.
直交行列 によって座標変換 を行う(直交変換).
新しい座標系の軸を 軸とラベルする.
すると慣性モーメントテンソルの定義において,直交行列の性質 からJacobianは であり,
と変換される.
こうして座標変換 により と対角化できた.
ふつう剛体の方程式は慣性モーメントテンソルが対角化されている方が解きやすい.
慣性モーメントテンソルは 座標系から見ると常に対角化される.
よって剛体の重心から見た非慣性座標系として 座標系をとることが好ましいだろう.
軸を慣性主軸という.
慣性主軸での基本ベクトルを (あるいは )とする.
非慣性系に慣性主軸をとったときの剛体の運動方程式について見てみよう.
重心の並進運動に関してはそのままである.
重心回りの回転運動については,
となる.
ここで は慣性主軸で見たときの力のモーメントである.
今慣性主軸は非慣性系なので基本ベクトルも時間に依存する.
それゆえ
となる.
との内積をとることで 成分に関する運動方程式を取り出すと,
第2項の計算を続けると,
となる.
1行目は と展開し,2・3行目へは基本ベクトルの性質 , であることを用いた.
運動方程式の各成分をあらわに書き下すと,
剛体のEuler方程式
これらは慣性モーメントテンソルが対角化される非慣性座標系から見たときの剛体の回転運動を記述する方程式である.
これを剛体のEuler方程式という.
Euler方程式を解けば 座標系から見た剛体の回転運動がわかる.
座標系では計算は簡単になるが,しかしながら実際の軌道を知りたいのは元の慣性基準系である.
したがって次なる課題は慣性基準系と慣性主軸の基本ベクトルの間の関係式を得ることである.