物理/力と運動の法則

提供: Internet Web School

(版間での差分)
(ガリレイ変換とガリレイの相対性原理)
(ガリレイ変換)
365 行: 365 行:
その後実験に工夫を重ねて非常に大きな精度で両者は一致していることが確かめられた。現在の物理学では両者は等価であるとされている。そこで2つの質量を区別しないで、単に、質量と呼んでいる。
その後実験に工夫を重ねて非常に大きな精度で両者は一致していることが確かめられた。現在の物理学では両者は等価であるとされている。そこで2つの質量を区別しないで、単に、質量と呼んでいる。
 +
==ガリレイ変換とガリレイの相対性原理==
 +
どのような慣性座標系で観測しても力学の法則は同じであるという原理。<br/>
 +
一つの慣性系にたいして等速度並進運動(注)する観測系を考えると、<br/>
 +
力の働いてない物体はやはり、等速度運動するので慣性系であり、<br/>
 +
運動の第2、第3法則、万有引力の法則、力の合成則が成立することを主張している。<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/>
 +
言い換えると、S'系の各座標軸上の点(1,0,0),(0,1,0),(0,0,1)が、<br/>
 +
S系からみると皆、同じ速度($\frac{d\vec{OO'}}{dt}(t)$で移動すること。<br/>
 +
*[[wikipedia_ja:ガリレイ変換|ウィキペディア(ガリレイ変換とガリレイの相対性原理)]]
 +
重要な原理なので、詳しく考察しよう。
==ガリレイ変換とガリレイの相対性原理==
==ガリレイ変換とガリレイの相対性原理==
どのような慣性座標系で観測しても力学の法則は同じであるという原理。<br/>
どのような慣性座標系で観測しても力学の法則は同じであるという原理。<br/>
378 行: 390 行:
重要な原理なので、詳しく考察しよう。
重要な原理なので、詳しく考察しよう。
=== ガリレイ変換        ===  
=== ガリレイ変換        ===  
-
観測座標系S(O-x_{1}x_{2}x_{3})$からみて、観測座標系S'(O'-x'_{1}x'_{2}x'_{3})$が<br/>
+
観測座標系$S(O-x_{1}x_{2}x_{3})$からみて、観測座標系$S'(O'-x'_{1}x'_{2}x'_{3})$が<br/>
並進運動しているとする。<br/>
並進運動しているとする。<br/>
479 行: 491 行:
後半の証明は、命題1と同じようにできるので省略する。<br/>
後半の証明は、命題1と同じようにできるので省略する。<br/>
補題の証明終わり。<br/>
補題の証明終わり。<br/>
 +
 +
=== 観測座標系が慣性系となる条件        ===
 +
命題3<br/>
 +
慣性座標系$S(O-x_{1}x_{2}x_{3})$と、<br/>
 +
同じ原点を持つ座標系$S'(O-x'_{1}x'_{2}x'_{3})$を考える。<br/>
 +
このとき、<br/>
 +
座標系S'が慣性系になる必要十分条件は<br/>
 +
S'の3つの座標軸が、時間が経過してもS系からみると動かないこと。<br/>
 +
証明:<br/>
 +
(=>)S'が慣性系とする。<br/>
 +
S'系の座標軸が時間とともに動くこともあると仮定すると矛盾が起きることを示そう。<br/>
 +
慣性系Sからみて原点以外の場所に静止している質点を考える。<br/>
 +
位置ベクトルを$\vec r$とする。<br/>
 +
この質点に働く力は零であり、自由運動である。<br/>
 +
どの慣性系からみても自由運動は等速度運動に見えるので、<br/>
 +
この質点を慣性系S'でみても、等速度運動をする。<br/>
 +
他方、S'系の座標軸が動くとすると、原点はOに固定されているので、<br/>
 +
原点周りの回転をすることになる。<br/>
 +
回転していく座標からS系で静止している質点の位置を観測すると、<br/>
 +
位置ベクトルは長さを変えず、移動して見える。<br/>
 +
すなわち、原点Oを中心とする半径$\|\vec r\|$の球面状を移動する。図参照<br/>
 +
これは等速度運動(直線運動になる)と矛盾する。<br/>
 +
(<=)<br/>
 +
S'の3つの座標軸が、時間が経過してもS系からみると動かないとする。<br/>
 +
すると、$S'(O-x'_{1}x'_{2}x'_{3})$の基底$\vec{e'}_i,\quad (i=1,2,3)$は<br/>
 +
時不変のベクトルになる。<br/>
 +
このとき、自由運動する質点の運動が、S'系からみても等速度運動になることを示せばよい。<br/>
 +
この質点を慣性系Sから観測すれば、等速度運動をするので、<br/>
 +
質点の位置ベクトル$\vec{r}(t)$は、<br/>
 +
$\frac{d\vec r}{dt}(t)=\vec v=constant$(等速度)<br/>
 +
これを、S'系から観測すると、その位置ベクトルと速度ベクトルは、<br/>
 +
$O=O'$なのでガリレイ変換式により、<br/>
 +
$\vec{r}(t)=\vec{r'}(t) $<br/>
 +
両辺を時間で微分して、<br/>
 +
$\vec{v}(t)=\vec{v'}(t) =\vec v$<br/>
 +
S'系の座標軸は時不変なので、速度ベクトル$\vec v$の座標成分<br/>
 +
$\vec v \cdot \vec{e'}_i \quad $(i=1,2,3)<br/>
 +
は一定値になり、等速度運動になる。証明終わり。<br/>
 +
 +
命題4<br/>
 +
S系(原点O)は慣性系とし、<br/>
 +
S'系(原点O')はS系からみて原点O'が等速度で並進運動をする。<br/>
 +
このとき、S'系は慣性系である。<br/>
 +
証明;<br/>
 +
仮定から、$\frac{\vec{OO'}}{dt}(t)=\vec{w} )$と書ける。<br/>
 +
自由運動がS'系からみても等速直線運動になることを示せば良い。<br/>
 +
慣性系Sからみた自由運動$\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)  $
 +
の両辺を時間tで微分すると<br/>
 +
 +
$\vec{v}=\vec{w}+\vec v'(t)  $<br/>
 +
 +
移項すると、<br/>
 +
$\vec v'(t)=\vec{v}-\vec{w}$<br/>
 +
S’系は並進運動するのでその座標の3つの基底は時間が経過しても不変なので、<br/>
 +
、速度$\vec{v}-\vec{w}$の座標成分は一定値になる。<br/>
 +
自由運動する質点は座標系S'からみても速度一定であることが示せた。証明終わり。<br/><br/>
 +
 +
 +
 +
命題4の逆命題も成り立つ。<br/>
 +
命題5<br/>
 +
慣性座標系$S(O-x_{1}x_{2}x_{3})$と、<br/>
 +
座標系$S'(O'-x'_{1}x'_{2}x'_{3})$を考える。<br/>
 +
もしS'が慣性系ならば、<br/>
 +
S'系の原点O'は系Sで観測すると等速度で、S'は並進運動をする。<br/>
 +
証明:<br/>
 +
自由運動する質点は、どちらの系S,S'からみても、等速直線運動する。<br/>
 +
そこで、それらの速度をそれぞれ<br/>
 +
$\vec v=\frac{dr}{dt}(t)\quad $,$\vec{v'}=\frac{dr'}{dt}(t)$と書く。<br/>
 +
ガリレイ変換式(2)の両辺を時間tで微分すると、<br/>
 +
$\vec{v}=\frac{\vec{OO'}}{dt}(t)+\vec{v'}$<br/>
 +
移項すると、<br/>
 +
$\frac{\vec{OO'}}{dt}(t)=\vec{v'}-\vec{v}$<br/>
 +
ゆえに、O'はS系からみて、等速直線運動する。<br/>
 +
次にS'系は並進運動であることを示す。<br/>
 +
S'系が並進運動していないとする。<br/>
 +
S’系の原点O’を原点とし、並進運動する座標系$\tilde{S}(O'-\tilde{x}_1 \tilde{x}_2 \tilde{x}_3)$をとる。<br/>
 +
すると$\tilde{S}$系は、命題4から、慣性系になる。<br/>
 +
この慣性系からみると、S'系は原点が同じで、その座標系が時間とともに回転する。<br/>
 +
すると命題3により、S'系は、慣性系にはなりえない。<br/>
 +
これはS'が慣性系であることと矛盾する。したがってS'は並進運動することが示せた。証明終わり。<br/><br/>
 +
 +
命題6<br/>
 +
慣性座標系SとS'を考える。<br/>
 +
運動する質点の加速度は、どちらの系で観測してもベクトルとして同一である。<br/>
 +
両方の座標系が平行ならば、座標成分も等しくなる。<br/>
 +
証明;<br/>
 +
命題5から<br/>
 +
S'系は、S系からみて、ある速度$\vec{w}$で、等速度並進運動する。<br/>
 +
すると、ガリレイ変換の式$\vec{r}(t)=\vec{OO'}(t)+\vec{r'}(t)$の両辺を
 +
tで微分して<br/>
 +
$\vec{v}(t)=\vec{w}+\vec v'(t) $<br/>
 +
この式の両辺をtで微分すれば、<br/>
 +
$\vec{\alpha}(t)=\vec{\alpha'}(t) $<br/>
 +
2つの座標系が平行の場合、両者の基底は、ベクトルとして同一になり、<br/>
 +
$\vec{\alpha}(t),\vec{\alpha'}(t) $の座標成分表示も等しくなる。
 +
 +
===ガリレイの相対性原理の証明===
 +
力学の第一法則(慣性法則)により、この宇宙には慣性系は存在する。<br/>
 +
実際、太陽系の重心を原点にし、遠方の恒星で座標系を決めれば、<br/>
 +
これが慣性系Sになることが経験的に確かめられている。<br/>
 +
この慣性系では、多くの経験や実験から、<br/>
 +
力学の基本法則(力の合成則と運動の第2法則、第3法則、万有引力の法則)<br/>
 +
が成立するとすることが判明している。<br/>
 +
このとき、ガリレオの相対性原理は、<br/>
 +
全ての慣性系で、力学の基本法則が成立する<br/>
 +
と主張する。<br/>
 +
この原理は、<br/>
 +
2つの慣性系からの位置の観測値の間にガリレイ変換の関係が成り立ち、<br/>
 +
質量と力の観測値が、どの慣性系からみても同じならば、<br/>
 +
次のように証明できる。<br/>
 +
慣性系Sで、力学の基本法則がすべて成立すると仮定する。<br/>
 +
(1)S'系で、運動の第2法則は成り立つことを示す。<br/>
 +
力$\vec F$が作用して、質点mが運動しているとする。<br/>
 +
S系で、運動の第2法則は成り立つので、<br/>
 +
$\vec F=m\alpha:=m\frac{d\vec v}{dt}(t)$<br/>
 +
命題6から、S系で観測した加速度$\alpha$は、S'系で観測した加速度$\alpha'$に等しい。<br/>
 +
ゆえに、
 +
$\vec F=m\alpha'$<br/>
 +
mとFは、仮定により、S'系で観測した質点の質量とそれに作用する力でもあるので、<br/>
 +
S'系でも運動の第2法則が成り立つことが示せた。<br/>
 +
(2)力の合成法則がS'系でも成立。<br/>
 +
質点mに、n個の力$\vec{F}_i,(i=1,2,,,n)$が同時に作用しているとする。<br/>
 +
S系では、力の合成法則がなりたつので、<br/>
 +
質点はひとつの合力$\vec F:=\sum_{i=1}^{n}\vec{F}_i$を受けた質点mと同じく<br/>
 +
$\vec F=m\alpha$<br/>
 +
に従って運動する。<br/>
 +
ところが、この質点の加速度をS'から観測しても変わらないので<br/>
 +
$\vec F=m\alpha'$<br/>
 +
質量と力は慣性系によらず一定なので、<br/>
 +
mと$\vec F$は、S'系で観測した質点の質量と合力でもある。<br/>
 +
したがって、S'系でも、n個の力が同時に作用する質点の運動は、<br/>
 +
それらの合力が作用する運動と同一になる。力の合成則が示せた。<br/>
 +
(3)力は両系で共通なので明らかにS'系でも作用反作用の法則(第3法則)が成立。<br/>
 +
(4)万有引力の法則がS'系で成立する。<br/>
 +
命題2から、<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/>
 +
この関係と質量不変、力の不変の性質から、S系で成立する万有引力の法則の式は、<br/>
 +
S'系の万有引力の法則の式になっていることが分かる。
 +
 +
 +
=== ガリレイの相対性原理から質量と力の不変性を導く ===
 +
前節では、2つの慣性系の位置ベクトルの間にガリレイ変換の関係が成り立つとき、<br/>
 +
質量と力が慣性系の取り方によらずに決まるならば、相対性原理が成立することを示した。<br/>
 +
この節では、逆にガリレイの相対性原理から、<br/>
 +
質量と力が慣性座標系に依存しないことを示そう。
 +
====作用する力を質量で割ったものは、どの慣性系からみても同一====
 +
2つの慣性系S,S'をとる。原点をそれぞれO,O'とする。<br/>
 +
前項で証明したように、<br/>
 +
ある速度ベクトル$\vec{v}$が存在して、$\frac{d\vec{OO'}}{dt}(t)=\vec{v}$<br/>
 +
質点に力が作用し、運動するのを、2つの慣性系S,S'から観測する。<br/>
 +
系Sからみた質点の質量をm、作用する力を$\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/>
 +
 +
命題3から$\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/>
 +
同じく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/>
 +
前項で証明した式(4)により<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/>
 +
ガリレイ変換の節の命題1により、
 +
$\vec{r_2}-\vec{r_1}=\vec{r'_2}-\vec{r'_1}$なので式(5)から<br/>
 +
$m_{2}=m'_{2}$<br/>
 +
同様にして、第2の質点が第1の質点から受ける万有引力の式から、$m_{1}=m'_{1}$<br/>所望の結論が得られた。<br/>
 +
 +
=====力はどの慣性系からみても同一=====
 +
$\vec F/m= F'/m'\qquad \qquad (4)$<br/>
 +
と$m= m'$から、明らか。<br/><br/>
 +
 +
 +
ガリレイの相対性原理は長い間物理学の指導原理となっていた。<br/>
 +
20世紀になって、アインシュタインによって修正された。<br/>
 +
これについては本テキストでは扱わない。
=== 観測座標系が慣性系となる条件        ===  
=== 観測座標系が慣性系となる条件        ===  

2015年4月9日 (木) 10:47時点における版

個人用ツール