剛体の座標・速度

剛体の運動方程式を求めたい（前編）。

この章からは、「回転するこま」や「床を転がるボール」といった、剛体の運動を扱う。剛体とは、大きさを持っており、かつ、変形が無視できる物体のことである。前章までは、質点（＝大きさを無視できる物体）を主に扱ってきたが、その理解をもとに、大きさを持つ現実的な物体へと議論を進めていくわけである。

剛体の運動方程式()は成分が多すぎる→自由な座標を考える

知りたいのは、剛体の運動を求める方法である。ここで、剛体を、無数の質点（＝質点要素）の集合とみなせば、前章までの質点の理論が援用できそうである。全ての質点要素の運動を決めれば、剛体の運動も決まるというわけである。質点要素 （ は質点要素を区別するラベル）に対する運動方程式は、これまで同様、外力 と拘束力 を用いて以下の形になる： 外力 は重力などの既知の力である。拘束力 についても、第8章の【8.2-注4】で見たように、拘束条件が与えられれば書き下すことができる。

質点要素 に課せられる拘束条件は、「物体が変形しない」即ち「質点要素間の距離が一定」である： 第12章で扱うように、剛体自体にも拘束がかかっている場合には、それも拘束条件に加える必要がある。これにより が求まるので、運動方程式()が確定する。よってし、全ての質点要素の時間発展 を、少なくとも原理的には、計算することができる。

しかしこのままだと、無数にある質点要素の全てについて時間発展を追う必要があり、直接解くのは難しそうである。そこで変数の数を減らすため、第9章のように、運動方程式()を自由な座標を用いたものに書き換えるという方針で考えることにしよう。自由な座標は、直感的には、平行移動と回転に分離できそうである。となると、回転を表す自由な座標が分かれば良いわけだが、より扱いやすい自由な「速度」から考えるのが良い。というのも、自由な「座標」は、拘束条件を満たすあらゆる状態を考慮する必要があるのに対し、自由な「速度」は、変化できる方向を考えるだけで済むからである。

以上を踏まえてこの章では、剛体の自由な座標がどのようなものになるかを、剛体の位置と回転に分離するという方針で、以下のように議論する： 剛体の位置と回転を分離する回転の自由な速度回転の自由な座標 本来の目的は、剛体の運動方程式()を自由な座標（または自由な速度）で表すことであるが、これは次の第11章で行う。

10.1剛体の位置と回転を分離する

拘束条件()から、自由な座標を求めたいのだが、いきなりは難しい。この節では第1段階として、剛体の状態を決めるには、「剛体上の1点 」と「回転行列 」を与えればよいことを見る。 は剛体の位置を表し、 は剛体の向きを表す。

剛体の自由度は だろう

剛体を構成する質点要素 は非常に多いが、一方で、拘束条件 の数も膨大である。そのため、自由な座標の成分の数（＝自由度）は少なくなっていると期待できる。実際、以下の【10.1-注1】のように、自由度が しかないことが推測される（数学的な議論は10.2節で行う）。この程度であれば、自由な座標を求めて、運動方程式の形まで持っていけるのではないだろうか。

剛体の配置は と で決まる：式()

剛体上の任意の1点 に着目すると、これは剛体を動かすことにより任意の値を取り得るので、自由な座標の一部として採用してよい。なお、 は剛体とともに動いていればよく、文字通り剛体上にある必要はない（例えばドーナツ型の剛体の場合、その中心を にとってもよい）。

残りは、回転に対応する自由度である。まず、拘束条件()を、 を基準にした相対座標 （右図）に関する式として書き直すと、以下のように簡単になる：（導出は以下の【10.1-注2】） この式を、 を未知数とする1次方程式とみなせば、 と変えて3本集めれば、 の3つの成分が決まる。即ち、 さえ分かれば、全ての が確定する。よって、この3つのベクトルの中に、回転の情報は全て含まれることになる。

実際にやってみよう。式()において ととれば、以下の3本の連立1次方程式が得られる：（最右辺は での値） を1次独立にとっておけば、赤字部分は逆行列を持つので、その逆行列を左乗することにより、 が決まる： この 行列 さえ分かれば、式()により全ての に対して が、（初期値 のもとで）決まることになる。 を回転行列という。

以上により、任意の質点要素の位置 は 剛体上の一点回転行列 が与えられれば、以下のように決まる： 式

回転行列 の自由度は3

剛体の回転は、回転行列 で表されることが分かった。この が自由な座標であればよいのだが、そうではなく、 にはまだ拘束条件が残っている。実際、式()を拘束条件()に代入して得られる において、全ての に対して が成り立つための必要十分条件は、以下である： 右辺の は単位行列。数学的には、この式()が、回転行列の定義である（以下の【10.1-注3】）。

式()は の行列の方程式なので、 個の拘束条件がかかっているように見える。しかし、左辺は、 の値によらず自動的に対称行列（ を満たす行列）となるため、左辺の「右上三角部分の3成分」と「左下三角部分の3成分」の値は自動的に等しい。よって、独立な条件は 個のみである。よって、この条件の数を引いた が、 の自由度となる。よって結局、剛体全体の自由度は、 の自由度 と の自由度3、合わせて 自由度となり、上述の【10.1-注1】での推測が正しかったことが分かる。

10.2回転の自由な速度：角速度ベクトル

前節までの議論により、質点要素の数だけ存在していた変数を、有限個の変数()にまで落とし込むことができた。しかし、回転行列 には、まだ拘束条件()が残っているので、 は回転の自由な座標ではない。自由な座標を知りたいのだが、この章の冒頭でも述べたように、自由な「速度」の導出をまず考えるのが良い。

この節では、 の自由な「速度」である角速度ベクトル を導く（式()）。

の自由な速度は、式()の

まず、回転行列 の「速度」 に対する拘束条件を得るには、拘束条件() の時間微分を取ればよい。しかしここでは、積の順序を交換した の微分を考えることにする： 一般に ならば なので積の順序を交換してよい。交換したのは、上式の赤字部分が後の式()に現れるようにするためである。

上式()より、赤字部分は反対称行列（ となる行列）である。このような行列は、3つの数 により と書ける。 は、任意の値をとれるため、自由な速度になっている。

は角速度ベクトル の成分：式()

自由な速度は見つかったわけだが、この式()はどのような物理的意味を持っているのだろうか。速度に関する量なので、時刻 における相対座標 の1次近似を考えればよいはずである。式()より：（時刻を明示していない量は での値） 次近似：を挿入してをくくりだす式 部分は、 を に変化させる行列、即ち、 の間における微小回転を表す行列である。この行列の の係数が、ちょうど式()になっている。

ところで一般に、「単位ベクトル を軸とし、微小角度 だけ右ねじ回転するような回転行列 」は、1次近似の範囲で以下のように書ける： 以下の【10.2-注1】の回転行列の公式()において、 が小さいという近似： を行ったもの。

式()と元の式()を見比べると、あるベクトル を となるように定義したくなる。そうすれば、式()は となり、 部分が式()と同じ形になる。よって 部分は、「 方向を軸として角度 だけ右ねじ回転」させるような回転行列を表している。要するに、 の物理的意味は、「向きが回転軸の方向で、大きさが右ねじ回転の速さになるベクトル」ということである。 を角速度（または角速度ベクトル）という。このように直感的にも分かりやすい意味を持つ を、自由な速度として使うのが自然だろう。

以上により、剛体の自由な速度は、「剛体上の基準点の速度 」と「角速度 」である。質点要素の速度 を、これらを用いて表すには、式()を時間微分すればよく、以下のようになる：（全ての量は時刻 でのもの）

10.3回転の自由な座標

回転運動の自由な速度として角速度 （式()）が得られたので、これをもとに自由な座標 が得られないだろうか。この節では、それが不可能であることを示す。その後、自由な座標の例として、オイラー角と角度ベクトルを紹介する。

を満たす自由な座標 は、存在しない

さて、欲しかったのは、回転行列 の自由な座標 であった。角速度 が求まったのだから、そこから導けるのではないだろうか。即ち、もし、 となるような が存在すれば、それが最も自然な だと考えられる（速度 が座標 の微分であったように）。しかし、以下の【10.3-注1】のように、そのような は存在しない。自由な座標 自体が存在しないことを意味しているわけではない。実際、すぐ次の段落で自由な座標の具体例を与える。