ソースを表示

[[物理]]
＞ [[物理/力学|力学]]
＞ [[物理/ガリレイ変換とガリレの相対性原理|ガリレイ変換とガリレの相対性原理]]

=ガリレイ変換とガリレイの相対性原理=
ガリレイの相対性原理とは、
どのような慣性座標系で観測しても力学の法則は同じであるという原理である。<br/>
一つの慣性系にたいして等速度並進運動（注）する観測系を考えると、<br/>
力の働いてない物体はやはり、等速度運動するので慣性系であり、<br/>
運動の第一法則、第２、第３法則、万有引力の法則、力の合成則が成立することを主張している。<br/>
(注)　座標系$S'(O'-x'_{1}x'_{2}x'_{3})$の任意の点$(x'_1,x'_2,x'_3)$が、
座標系$S(O-x_{1}x_{2}x_{3})$からみると、<br/>
すべて同じ速度($\frac{d\vec{OO'}}{dt}(t)$で移動すること。<br/>
言い換えると、Ｓ'系の各座標軸上の点(1,0,0),(0,1,0),(0,0,1)が、<br/>
Ｓ系からみると皆、同じ速度($\frac{d\vec{OO'}}{dt}(t)$で移動すること。<br/>
*[[wikipedia_ja:ガリレイ変換|ウィキペディア(ガリレイ変換とガリレイの相対性原理)]]
重要な原理なので、詳しく考察しよう。
== ガリレイ変換        == 
観測座標系$S(O-x_{1}x_{2}x_{3})$からみて、観測座標系$S'(O'-x'_{1}x'_{2}x'_{3})$が<br/>
並進運動しているとする。<br/>

===ニュートン力学での時間・空間とガリレイ変換　===
ニュートン力学では<br/>
時間は全ての観測系で同一であると考える(絶対時間の存在)。<br/>
空間の任意の点Ｐを、<br/>
ある時刻ｔで座標系S,S'から観測したときの位置ベクトルを、それぞれ$\vec r,\vec{r'}$とする。<br/>
ニュートン力学では<br/>
空間の点Pから、他の点Qに向けた有向線分$\vec{PQ}$は、<br/>
どの観測系からみても、同一であると考える(空間の均質性）。<br/>
するとS'系で観測した、点O'から点Ｐまでの有向線分$\vec{r'}$は、<br/>
S系で観測するO'から点Ｐまでの有向線分でもある。<br/>
このようにみなして、Ｓ系での有向線分の和をとると、<br/>

$\vec{r}=\vec{OO'}(t)+\vec{r'}\qquad \qquad (1)$<br/>

図参照のこと。<br/>
式(1)を、S系とS'系の観測値を関係づける、'''ガリレイ変換'''と呼ぶ。<br/>

次にある質点ｍの運動を観測する。<br/>
時刻ｔにおいて質点を、<br/>
互いに並進運動する２つの系S,S'から見たときの位置ベクトルを、それぞれ、<br/>
$\vec{r}=\vec{r}(t)$、$\vec{r'}=\vec{r'}(t)$と書く。<br/>
これらの位置ベクトルの関係は、式(１）から、<br/>

$\vec{r}(t)=\vec{OO'}(t)+\vec{r'}(t) \qquad \qquad (2)$<br/>
両辺をｔで微分すると、両系からみた、速度の関係式<br/>
$\vec{v}(t)=\frac{\vec{OO'(t)}}{dt}+\vec{v'}(t) \qquad \qquad (2')$<br/>
が得られる。<br/>
命題<br/>
もしＳ'系がＳ系からみて速度$\vec u$で等速度運動しているならば<br/>
（１）$\vec{v}(t)=\vec u+\vec{v'}(t) $<br/>
（２）両系から観測した加速度は等しい。記号で書くと$\vec{\alpha}(t)=\vec{{\alpha}'}(t) $<br/>
何故ならば、(1)は、$\frac{\vec{OO'(t)}}{dt}=\vec u$なので、式(2')から明らか。<br/>
(2)は$\vec{v}(t)=\vec u+\vec{v'}(t) $をｔで微分すれば良い。<br/>

===☆☆　ガリレイ変換の座標表示===
Ｓ'座標系$O'-x'_{1}x'_{2}x'_{3}$の座標軸が、<br/>
Ｓ系の対応する座標軸と平行を保ちながら並進運動する場合には、<br/>
ガリレイ変換式（２）は、座標成分表示(注参照）できる。<br/>

(注）ベクトルの座標成分表示（詳しくは「2.1.2 質点の運動を数式で表すにはどうするか？」を参照）<br/>
「2.1.2 」節で説明したように、<br/>
$x_{i}$軸上の、長さ１で正方向のベクトルを$\vec{e}_i$と書き、Sの第ｉ基底という。<br/>
任意のベクトル$\vec r$は,この基底を用いて、<br/>
$\vec r=\sum_{i=1}^{3}r_{i}\vec{e}_i$<br/>
と表せる。<br/>
ここで、$r_{i}:=\vec{r} \cdot \vec{e}_i$は、<br/>
位置ベクトル$\vec r$の点から、第ｉ直交軸に下ろした垂線の足の座標である。
図参照。<br/>
$(r_1,r_2,r_3)$をベクトル$\vec r$の座標成分表示と呼ぶ。<br/>
同様に、座標系Ｓ'の第ｉ基底$\vec{e'}_i$が定義でき、<br/>
Ｓ'系の任意のベクトル$\vec r'$は<br/>
$\vec r'=\sum_{i=1}^{3}r'_{i}\vec{e'}_i$<br/>
と表せる。<br/>
注の終わり。<br/><br/>

両系の対応する座標軸が平行と仮定しているので<br/>
対応する基底は長さと方向・向きが等しくなり、ベクトルとして一致する。<br/>
$\vec{e}_i=\vec{e'}_i,\quad (i=1,2,3)$<br/>
すると次の命題が成り立つ。<br/>


命題１<br/>
系ＳとＳ'の各座標系が平行とする。<br/>
ガリレイ変換式(2)における、<br/>
$\vec{r}(t)$の座標成分を、$(r_{1}(t),r_{2}(t),r_{3}(t))$<br/>
$\vec{r'}(t)$の座標成分を、$(r'_{1}(t),r'_{2}(t),r'_{3}(t))$<br/>
$\vec{OO'}(t)$の(Ｓ座標系からみた）座標成分を、$(O'_{1}(t),O'_{2}(t),O'_{3}(t))$<br/>
とする。このときガリレイ変換（２）は<br/>
$r_{i}(t)=O'_{i}(t)+r_{i}(t)、 \quad (i=1,2,3)$<br/>
証明<br/>
座標表示の定義から、<br/>
$\vec{r}(t)=\sum_{i=1}^{3}r_{i}(t)\vec{e}_i$<br/>
$\vec{OO'}(t)=\sum_{i=1}^{3}O'_{i}(t)\vec{e}_i$<br/>
$\vec{r'}(t)=\sum_{i=1}^{3}r'_{i}(t)\vec{e'}_i$<br/>
命題の仮定から、$\vec{e}_i=\vec{e'}_i,\quad (i=1,2,3)$なので<br/>
$\vec{r'}(t)=\sum_{i=1}^{3}r'_{i}(t)\vec{e}_i$<br/>
これらの式を、ガリレイ変換式、<br/>
$\vec{r}(t)=\vec{OO'}(t)+\vec{r'}(t) \qquad \qquad (2)$<br/>
に代入して<br/>
$\sum_{i=1}^{3}r_{i}(t)\vec{e}_i
=\sum_{i=1}^{3}O'_{i}(t)\vec{e}_i +\sum_{i=1}^{3}r'_{i}(t)\vec{e}_i$<br/>
$=\sum_{i=1}^{3}(O'_{i}(t)+r'_{i}(t))\vec{e}_i$<br/>
座標表示は唯一つしかないので、上式の左辺と右辺を比較して<br/>
$r_{i}(t)=O'_{i}(t)+r'_{i}(t),(i=1,2,3)$<br/>
を得る。証明終わり。<br/>

===☆☆　２質点の相対的位置と相対速度は、観測系によらず一定　===
ＳとＳ'を、それぞれ原点をＯとＯ'とする観測系とする。<br/>
時刻ｔに質点$m_{1}$を、<br/>
Ｏからみた位置ベクトルを$\vec{r^1}(t)$、<br/>
O'からみた位置ベクトルを$\vec{r'^1}(t)$<br/>
時刻ｔに質点$m_{2}$を、<br/>
両系からみた位置ベクトルを$\vec{r^1}(t)$、$\vec{r'^1}(t)$とする。<br/>
すると次の命題が成り立つ。<br/>
命題２<br/>
$\vec{r^{2}}(t)-\vec{r^{1}}(t)=\vec{r'^{2}}(t)-\vec{r'^{1}}(t)$<br/>
$\vec{v^{2}}(t)-\vec{v^{1}}(t)=\vec{v'^{2}}(t)-\vec{v'^{1}}(t)$<br/>
ここでｒとｖはS系からみた質点の位置と速度、ｒ'とｖ'はS'系からみた質点の速度である。<br/>
さらにＯを原点とする座標系$S(O-x_{1}x_{2}x_{3})$と、
それと平行な座標軸をもつＯ'を原点とする座標系$S'(O'-x'_{1}x'_{2}x'_{3})$を
定めると,上の式は座標成分表示でき、
${r^{2}_i}(t)-{r^{1}_i}(t)={r'^{2}_i}(t)-{r'^{1}_i}(t),\qquad (i=1,2,3)$<br/>
証明<br/>
ガリレイ変換式(2)より、<br/>
$\vec{r^{2}}-\vec{r^{1}}
=(\vec{OO'}+\vec{r'^{2}})-(\vec{OO'}+\vec{r^{1}})
=\vec{r'^2}-\vec{r'^1}$<br/>
後半の証明は、命題１と同じようにできるので省略する。<br/>
補題の証明終わり。<br/>

== ☆☆　観測座標系が慣性系となる条件        == 
命題３<br/>
慣性座標系$S(O-x_{1}x_{2}x_{3})$と、<br/>
同じ原点を持つ座標系$S'(O-x'_{1}x'_{2}x'_{3})$を考える。<br/>
このとき、<br/>
座標系Ｓ'が慣性系になる必要十分条件は<br/>
Ｓ'の3つの座標軸が、時間が経過してもＳ系からみると動かないこと。<br/>
証明：<br/>
（＝＞）Ｓ'が慣性系とする。<br/>
Ｓ'系の座標軸が時間とともに動くこともあると仮定すると矛盾が起きることを示そう。<br/>
慣性系Ｓからみて原点以外の場所に静止している質点を考える。<br/>
位置ベクトルを$\vec r$とする。<br/>
この質点に働く力は零であり、自由運動である。<br/>
どの慣性系からみても自由運動は等速度運動に見えるので、<br/>
この質点を慣性系Ｓ'でみても、等速度運動をする。<br/>
他方、Ｓ'系の座標軸が動くとすると、原点はＯに固定されているので、<br/>
原点周りの回転をすることになる。<br/>
回転していく座標からＳ系で静止している質点の位置を観測すると、<br/>
位置ベクトルは長さを変えず、移動して見える。<br/>
すなわち、原点Ｏを中心とする半径$\|\vec r\|$の球面状を移動する。図参照<br/>
これは等速度運動（直線運動になる）と矛盾する。<br/>
（＜＝）<br/>
Ｓ'の3つの座標軸が、時間が経過してもＳ系からみると動かないとする。<br/>
すると、$S'(O-x'_{1}x'_{2}x'_{3})$の基底$\vec{e'}_i,\quad (i=1,2,3)$は<br/>
時不変のベクトルになる。<br/>
このとき、自由運動する質点の運動が、Ｓ'系からみても等速度運動になることを示せばよい。<br/>
この質点を慣性系Ｓから観測すれば、等速度運動をするので、<br/>
質点の位置ベクトル$\vec{r}(t)$は、<br/>
$\frac{d\vec r}{dt}(t)=\vec v=constant$(等速度）<br/>
これを、Ｓ'系から観測すると、その位置ベクトルと速度ベクトルは、<br/>
$O=O'$なのでガリレイ変換式により、<br/>
$\vec{r}(t)=\vec{r'}(t) $<br/>
両辺を時間で微分して、<br/>
$\vec{v}(t)=\vec{v'}(t) =\vec v$<br/>
Ｓ'系の座標軸は時不変なので、速度ベクトル$\vec v$の座標成分<br/>
$\vec v \cdot \vec{e'}_i \quad $(i=1,2,3)<br/>
は一定値になり、等速度運動になる。証明終わり。<br/>

命題４<br/>
Ｓ系(原点O)は慣性系とし、<br/>
Ｓ'系(原点O')はＳ系からみて原点Ｏ'が等速度で並進運動をする。<br/>
このとき、S'系は慣性系である。<br/>
証明；<br/>
仮定から、$\frac{\vec{OO'}}{dt}(t)=\vec{w}　)$と書ける。<br/>
自由運動がＳ'系からみても等速直線運動になることを示せば良い。<br/>
慣性系Ｓからみた自由運動$\vec{r}(t)$は等速直線運動になる。<br/>
そこで、ある速度ベクトル$\vec{v}$を用いて$\vec v(t)=\frac{dr}{dt}(t)=\vec{v}$と書ける。<br/>
ガリレイ変換式
$\vec{r}(t)=\vec{OO'}(t)+\vec{r'}(t)  $
の両辺を時間ｔで微分すると<br/>

$\vec{v}=\vec{w}+\vec v'(t)   $<br/>

移項すると、<br/>
$\vec v'(t)=\vec{v}-\vec{w}$<br/>
Ｓ’系は並進運動するのでその座標の３つの基底は時間が経過しても不変なので、<br/>
、速度$\vec{v}-\vec{w}$の座標成分は一定値になる。<br/>
自由運動する質点は座標系Ｓ'からみても速度一定であることが示せた。証明終わり。<br/><br/>



命題４の逆命題も成り立つ。<br/>
命題５<br/>
慣性座標系$S(O-x_{1}x_{2}x_{3})$と、<br/>
座標系$S'(O'-x'_{1}x'_{2}x'_{3})$を考える。<br/>
もしＳ'が慣性系ならば、<br/>
S'系の原点Ｏ'は系Ｓで観測すると等速度で、Ｓ'は並進運動をする。<br/>
証明：<br/>
自由運動する質点は、どちらの系Ｓ，Ｓ'からみても、等速直線運動する。<br/>
そこで、それらの速度をそれぞれ<br/>
$\vec v=\frac{dr}{dt}(t)\quad $,$\vec{v'}=\frac{dr'}{dt}(t)$と書く。<br/>
ガリレイ変換式（２）の両辺を時間ｔで微分すると、<br/>
$\vec{v}=\frac{\vec{OO'}}{dt}(t)+\vec{v'}$<br/>
移項すると、<br/>
$\frac{\vec{OO'}}{dt}(t)=\vec{v'}-\vec{v}$<br/>
ゆえに、Ｏ'はＳ系からみて、等速直線運動する。<br/>
次にＳ'系は並進運動であることを示す。<br/>
Ｓ'系が並進運動していないとする。<br/>
Ｓ’系の原点Ｏ’を原点とし、並進運動する座標系$\tilde{S}(O'-\tilde{x}_1 \tilde{x}_2 \tilde{x}_3)$をとる。<br/>
すると$\tilde{S}$系は、命題４から、慣性系になる。<br/>
この慣性系からみると、Ｓ'系は原点が同じで、その座標系が時間とともに回転する。<br/>
すると命題３により、Ｓ'系は、慣性系にはなりえない。<br/>
これはＳ'が慣性系であることと矛盾する。したがってＳ'は並進運動することが示せた。証明終わり。<br/><br/>

命題６<br/>
慣性座標系ＳとＳ'を考える。<br/>
運動する質点の加速度は、どちらの系で観測してもベクトルとして同一である。<br/>
両方の座標系が平行ならば、座標成分も等しくなる。<br/>
証明；<br/>
命題５から<br/>
Ｓ'系は、Ｓ系からみて、ある速度$\vec{w}$で、等速度並進運動する。<br/>
すると、ガリレイ変換の式$\vec{r}(t)=\vec{OO'}(t)+\vec{r'}(t)$の両辺を
ｔで微分して<br/>
$\vec{v}(t)=\vec{w}+\vec v'(t) $<br/>
この式の両辺をｔで微分すれば、<br/>
$\vec{\alpha}(t)=\vec{\alpha'}(t) $<br/>
２つの座標系が平行の場合、両者の基底は、ベクトルとして同一になり、<br/>
$\vec{\alpha}(t),\vec{\alpha'}(t) $の座標成分表示も等しくなる。

==☆☆　ガリレイの相対性原理の証明==
力学の第一法則（慣性法則）により、この宇宙には慣性系は存在する。<br/>
実際、太陽系の重心を原点にし、遠方の恒星で座標系を決めれば、<br/>
これが慣性系Ｓになることが経験的に確かめられている。<br/>
この慣性系では、多くの経験や実験から、<br/>
力学の基本法則(力の合成則と運動の第2法則、第3法則、万有引力の法則)<br/>
が成立するとすることが判明している。<br/>
このとき、ガリレイの相対性原理は、<br/>
全ての慣性系で、力学の基本法則が成立する<br/>
と主張する。<br/>
この原理は、<br/>
2つの慣性系からの位置の観測値の間にガリレイ変換の関係が成り立ち、<br/>
質量と力の観測値が、どの慣性系からみても同じならば、<br/>
次のように証明できる。<br/>
慣性系Ｓで、力学の基本法則がすべて成立すると仮定する。<br/>
(１)。Ｓ'系で、運動の第2法則は成り立つことを示す。<br/>
力$\vec F$が作用して、質点ｍが運動しているとする。<br/>
S系で、運動の第2法則は成り立つので、<br/>
$\vec F=m\alpha:=m\frac{d\vec v}{dt}(t)$<br/>
命題６から、Ｓ系で観測した加速度$\alpha$は、Ｓ'系で観測した加速度$\alpha'$に等しい。<br/>
ゆえに、
$\vec F=m\alpha'$<br/>
mとＦは、仮定により、Ｓ'系で観測した質点の質量とそれに作用する力でもあるので、<br/>
Ｓ'系でも運動の第2法則が成り立つことが示せた。<br/>
（２)。力の合成法則がＳ'系でも成立。<br/>
質点ｍに、ｎ個の力$\vec{F}_i,(i=1,2,,,n)$が同時に作用しているとする。<br/>
Ｓ系では、力の合成法則がなりたつので、<br/>
質点はひとつの合力$\vec F:=\sum_{i=1}^{n}\vec{F}_i$を受けた質点ｍと同じく<br/>
$\vec F=m\alpha$<br/>
に従って運動する。<br/>
ところが、この質点の加速度をＳ'から観測しても変わらないので<br/>
$\vec F=m\alpha'$<br/>
質量と力は慣性系によらず一定なので、<br/>
ｍと$\vec F$は、Ｓ'系で観測した質点の質量と合力でもある。<br/>
したがって、Ｓ'系でも、ｎ個の力が同時に作用する質点の運動は、<br/>
それらの合力が作用する運動と同一になる。力の合成則が示せた。<br/>
（３)。力は両系で共通なので明らかにＳ'系でも作用反作用の法則(第３法則)が成立。<br/>
（４)。万有引力の法則がＳ'系で成立する。<br/>
命題２から、<br/>
2つの質点$m_{1},m_{2}$を、観測系SとS'から観測すると、<br/>
$\vec{r_{2}}(t)-\vec{r_{1}}(t)=\vec{r'_{2}}(t)-\vec{r'_{1}}(t)$<br/>
この関係と質量不変、力の不変の性質から、Ｓ系で成立する万有引力の法則の式は、<br/>
Ｓ'系の万有引力の法則の式になっていることが分かる。


== ☆☆　ガリレイの相対性原理から質量と力の不変性を導く ==
前節では、２つの慣性系の位置ベクトルの間にガリレイ変換の関係が成り立つとき、<br/>
質量と力が慣性系の取り方によらずに決まるならば、相対性原理が成立することを示した。<br/>
この節では、逆にガリレイの相対性原理から、<br/>
質量と力が慣性座標系に依存しないことを示そう。
===☆☆　作用する力を質量で割ったものは、どの慣性系からみても同一===
２つの慣性系S,Ｓ'をとる。原点をそれぞれO,O'とする。<br/>
前項で証明したように、<br/>
ある速度ベクトル$\vec{v}$が存在して、$\frac{d\vec{OO'}}{dt}(t)=\vec{v}$<br/>
質点に力が作用し、運動するのを、2つの慣性系S,S'から観測する。<br/>
系Sからみた質点の質量をｍ、作用する力を$\vec F$とする。<br/>
すると運動の第2法則から$m\frac {dv}{dt}(t)=\vec F$<br/>

ゆえに、$\frac {dv}{dt}(t)=\vec F/m \qquad \qquad (1)$<br/>

同様に、系S'からみた質点の質量を$m'$、作用する力を$\vec F'$とすると<br/>

$\frac {dv'}{dt}(t)=\vec F'/m'\qquad \qquad (2)$<br/>

命題３から$\frac {dv}{dt}(t)= \frac {dv'}{dt}(t)|\qquad \qquad (3)$<br/>

式(1)(2）(3)から<br/>

$\vec F/m=\frac {dv}{dt}(t)=\frac {dv'}{dt}(t)=\vec F'/m'\qquad \qquad (4)$<br/>
所望の結論が得られた。
===☆☆　質量は、どの慣性系からみても同一===
2つの質点が万有引力で引き合って、運動しているのを、系SとS'から観測する。<br/>
S系の観測値は、2つの質点の質量が$m_1,m_2$,位置ベクトルが$\vec r_{1},\vec r_{2}$、<br/>
S'系の観測値は、質量$m'_1,m'_2$,位置ベクトル$\vec r'_{1},\vec r'_{2}$<br/>
であるとする。<br/>
第1の質点が第2の質点から受ける万有引力は、S系では、<br/>
$\vec{F_{1,2}}=G\frac{m_{1}m_{2}}{\|\vec{r_2}-\vec{r_1}\|^2}
\frac{\vec{r_2}-\vec{r_1}}{\|\vec{r_2}-\vec{r_1}\|}$<br/>
同じくＳ'では、<br/>
$\vec{F'_{1,2}}=G\frac{m'_{1}m'_{2}}{\|\vec{r'_2}-\vec{r'_1}\|^2}
\frac{\vec{r'_2}-\vec{r'_1}}{\|\vec{r'_2}-\vec{r'_1}\|}$<br/>
前項で証明した式（４)により<br/>
$\vec F_{1,2}/m_{1}=\vec F'_{1,2}/m'_{1}$なので、上の式から<br/>
$G\frac{m_{2}}{\|\vec{r_2}-\vec{r_1}\|^2}
\frac{\vec{r_2}-\vec{r_1}}{\|\vec{r_2}-\vec{r_1}\|}
=G\frac{m'_{2}}{\|\vec{r'_2}-\vec{r'_1}\|^2}
\frac{\vec{r'_2}-\vec{r'_1}}{\|\vec{r'_2}-\vec{r'_1}\|}\qquad \qquad (5)$<br/>
ガリレイ変換の節の命題１により、
$\vec{r_2}-\vec{r_1}=\vec{r'_2}-\vec{r'_1}$なので式(5)から<br/>
$m_{2}=m'_{2}$<br/>
同様にして、第2の質点が第１の質点から受ける万有引力の式から、$m_{1}=m'_{1}$<br/>所望の結論が得られた。<br/>

===☆☆  力はどの慣性系からみても同一===
$\vec F/m= F'/m'\qquad \qquad (4)$<br/>
と$m= m'$から、明らか。<br/><br/>

==ガリレイの相対性原理の余話　　　　==
ガリレイの相対性原理は、<br/>
力学だけでなく、古典力学のすべての領域で成立するという原理に拡張され、<br/>長い間物理学の指導原理となっていた。<br/>
ところが電磁気学の基本法則のマクスウェル方程式は、<br/>
ガリレイ変換で、形をかえてしまい、相対性原理は成立しない。<br/>
マクスウェル方程式が正しければ、<br/>
ガリレイの相対性原理やその根底にあるニュートン力学的世界観が<br/>
現実には成立しないことになるので大きな問題になった。<br/>
２０世紀になって、この原理はアインシュタインによって修正された。<br/>
これについては本テキストでは扱わない。
=非慣性系からみた物理現象 =
==慣性系に対し等加速度で運動する座標系 ==
== 慣性系に対して一定の角速度で回転する座標系 ==
===コリオリの力  ===
*[[wikipedia_ja:コリオリの力 |コリオリの力（ウィキペディア）]]
===遠心力  ===
*[[wikipedia_ja:遠心力 |遠心力（ウィキペディア）]]
===フーコーの振り子  ===
*[[wikipedia_ja:フーコーの振り子 |フーコーの振り子（ウィキペディア）]]