物理/ガリレイ変換とガリレの相対性原理
提供: Internet Web School
目次 |
ガリレイ変換とガリレイの相対性原理
ガリレイの相対性原理とは、
どのような慣性座標系で観測しても力学の法則は同じであるという原理である。
一つの慣性系にたいして等速度並進運動（注）する観測系を考えると、
力の働いてない物体はやはり、等速度運動するので慣性系であり、
運動の第一法則、第２、第３法則、万有引力の法則、力の合成則が成立することを主張している。
(注) 座標系UNIQ25d42e88f47bb00-MathJax-133-QINUの任意の点UNIQ25d42e88f47bb00-MathJax-134-QINUが、
座標系UNIQ25d42e88f47bb00-MathJax-135-QINUからみると、
すべて同じ速度(UNIQ25d42e88f47bb00-MathJax-136-QINUで移動すること。
言い換えると、Ｓ'系の各座標軸上の点(1,0,0),(0,1,0),(0,0,1)が、
Ｓ系からみると皆、同じ速度(UNIQ25d42e88f47bb00-MathJax-137-QINUで移動すること。
重要な原理なので、詳しく考察しよう。
ガリレイ変換
観測座標系UNIQ25d42e88f47bb00-MathJax-138-QINUからみて、観測座標系UNIQ25d42e88f47bb00-MathJax-139-QINUが
並進運動しているとする。
ニュートン力学での時間・空間とガリレイ変換
ニュートン力学では
時間は全ての観測系で同一であると考える(絶対時間の存在)。
空間の任意の点Ｐを、
ある時刻ｔで座標系S,S'から観測したときの位置ベクトルを、それぞれUNIQ25d42e88f47bb00-MathJax-140-QINUとする。
ニュートン力学では
空間の点Pから、他の点Qに向けた有向線分UNIQ25d42e88f47bb00-MathJax-141-QINUは、
どの観測系からみても、同一であると考える(空間の均質性）。
するとS'系で観測した、点O'から点Ｐまでの有向線分UNIQ25d42e88f47bb00-MathJax-142-QINUは、
S系で観測するO'から点Ｐまでの有向線分でもある。
このようにみなして、Ｓ系での有向線分の和をとると、
UNIQ25d42e88f47bb00-MathJax-143-QINU
図参照のこと。
式(1)を、S系とS'系の観測値を関係づける、ガリレイ変換と呼ぶ。
次にある質点ｍの運動を観測する。
時刻ｔにおいて質点を、
互いに並進運動する２つの系S,S'から見たときの位置ベクトルを、それぞれ、
UNIQ25d42e88f47bb00-MathJax-144-QINU、UNIQ25d42e88f47bb00-MathJax-145-QINUと書く。
これらの位置ベクトルの関係は、式(１）から、
UNIQ25d42e88f47bb00-MathJax-146-QINU
両辺をｔで微分すると、両系からみた、速度の関係式
UNIQ25d42e88f47bb00-MathJax-147-QINU
が得られる。
命題
もしＳ'系がＳ系からみて速度UNIQ25d42e88f47bb00-MathJax-148-QINUで等速度運動しているならば
（１）UNIQ25d42e88f47bb00-MathJax-149-QINU
（２）両系から観測した加速度は等しい。記号で書くとUNIQ25d42e88f47bb00-MathJax-150-QINU
何故ならば、(1)は、UNIQ25d42e88f47bb00-MathJax-151-QINUなので、式(2')から明らか。
(2)はUNIQ25d42e88f47bb00-MathJax-152-QINUをｔで微分すれば良い。
☆☆ ガリレイ変換の座標表示
Ｓ'座標系UNIQ25d42e88f47bb00-MathJax-153-QINUの座標軸が、
Ｓ系の対応する座標軸と平行を保ちながら並進運動する場合には、
ガリレイ変換式（２）は、座標成分表示(注参照）できる。
(注）ベクトルの座標成分表示（詳しくは「2.1.2 質点の運動を数式で表すにはどうするか？」を参照）
「2.1.2 」節で説明したように、
UNIQ25d42e88f47bb00-MathJax-154-QINU軸上の、長さ１で正方向のベクトルをUNIQ25d42e88f47bb00-MathJax-155-QINUと書き、Sの第ｉ基底という。
任意のベクトルUNIQ25d42e88f47bb00-MathJax-156-QINUは,この基底を用いて、
UNIQ25d42e88f47bb00-MathJax-157-QINU
と表せる。
ここで、UNIQ25d42e88f47bb00-MathJax-158-QINUは、
位置ベクトルUNIQ25d42e88f47bb00-MathJax-159-QINUの点から、第ｉ直交軸に下ろした垂線の足の座標である。
図参照。
UNIQ25d42e88f47bb00-MathJax-160-QINUをベクトルUNIQ25d42e88f47bb00-MathJax-161-QINUの座標成分表示と呼ぶ。
同様に、座標系Ｓ'の第ｉ基底UNIQ25d42e88f47bb00-MathJax-162-QINUが定義でき、
Ｓ'系の任意のベクトルUNIQ25d42e88f47bb00-MathJax-163-QINUは
UNIQ25d42e88f47bb00-MathJax-164-QINU
と表せる。
注の終わり。
両系の対応する座標軸が平行と仮定しているので
対応する基底は長さと方向・向きが等しくなり、ベクトルとして一致する。
UNIQ25d42e88f47bb00-MathJax-165-QINU
すると次の命題が成り立つ。
命題１
系ＳとＳ'の各座標系が平行とする。
ガリレイ変換式(2)における、
UNIQ25d42e88f47bb00-MathJax-166-QINUの座標成分を、UNIQ25d42e88f47bb00-MathJax-167-QINU
UNIQ25d42e88f47bb00-MathJax-168-QINUの座標成分を、UNIQ25d42e88f47bb00-MathJax-169-QINU
UNIQ25d42e88f47bb00-MathJax-170-QINUの(Ｓ座標系からみた）座標成分を、UNIQ25d42e88f47bb00-MathJax-171-QINU
とする。このときガリレイ変換（２）は
UNIQ25d42e88f47bb00-MathJax-172-QINU
証明
座標表示の定義から、
UNIQ25d42e88f47bb00-MathJax-173-QINU
UNIQ25d42e88f47bb00-MathJax-174-QINU
UNIQ25d42e88f47bb00-MathJax-175-QINU
命題の仮定から、UNIQ25d42e88f47bb00-MathJax-176-QINUなので
UNIQ25d42e88f47bb00-MathJax-177-QINU
これらの式を、ガリレイ変換式、
UNIQ25d42e88f47bb00-MathJax-178-QINU
に代入して
UNIQ25d42e88f47bb00-MathJax-179-QINU
UNIQ25d42e88f47bb00-MathJax-180-QINU
座標表示は唯一つしかないので、上式の左辺と右辺を比較して
UNIQ25d42e88f47bb00-MathJax-181-QINU
を得る。証明終わり。
☆☆ ２質点の相対的位置と相対速度は、観測系によらず一定
ＳとＳ'を、それぞれ原点をＯとＯ'とする観測系とする。
時刻ｔに質点UNIQ25d42e88f47bb00-MathJax-182-QINUを、
Ｏからみた位置ベクトルをUNIQ25d42e88f47bb00-MathJax-183-QINU、
O'からみた位置ベクトルをUNIQ25d42e88f47bb00-MathJax-184-QINU
時刻ｔに質点UNIQ25d42e88f47bb00-MathJax-185-QINUを、
両系からみた位置ベクトルをUNIQ25d42e88f47bb00-MathJax-186-QINU、UNIQ25d42e88f47bb00-MathJax-187-QINUとする。
すると次の命題が成り立つ。
命題２
UNIQ25d42e88f47bb00-MathJax-188-QINU
UNIQ25d42e88f47bb00-MathJax-189-QINU
ここでｒとｖはS系からみた質点の位置と速度、ｒ'とｖ'はS'系からみた質点の速度である。
さらにＯを原点とする座標系UNIQ25d42e88f47bb00-MathJax-190-QINUと、
それと平行な座標軸をもつＯ'を原点とする座標系UNIQ25d42e88f47bb00-MathJax-191-QINUを
定めると,上の式は座標成分表示でき、
UNIQ25d42e88f47bb00-MathJax-192-QINU
証明
ガリレイ変換式(2)より、
UNIQ25d42e88f47bb00-MathJax-193-QINU
後半の証明は、命題１と同じようにできるので省略する。
補題の証明終わり。
☆☆ 観測座標系が慣性系となる条件
命題３
慣性座標系UNIQ25d42e88f47bb00-MathJax-194-QINUと、
同じ原点を持つ座標系UNIQ25d42e88f47bb00-MathJax-195-QINUを考える。
このとき、
座標系Ｓ'が慣性系になる必要十分条件は
Ｓ'の3つの座標軸が、時間が経過してもＳ系からみると動かないこと。
証明：
（＝＞）Ｓ'が慣性系とする。
Ｓ'系の座標軸が時間とともに動くこともあると仮定すると矛盾が起きることを示そう。
慣性系Ｓからみて原点以外の場所に静止している質点を考える。
位置ベクトルをUNIQ25d42e88f47bb00-MathJax-196-QINUとする。
この質点に働く力は零であり、自由運動である。
どの慣性系からみても自由運動は等速度運動に見えるので、
この質点を慣性系Ｓ'でみても、等速度運動をする。
他方、Ｓ'系の座標軸が動くとすると、原点はＯに固定されているので、
原点周りの回転をすることになる。
回転していく座標からＳ系で静止している質点の位置を観測すると、
位置ベクトルは長さを変えず、移動して見える。
すなわち、原点Ｏを中心とする半径UNIQ25d42e88f47bb00-MathJax-197-QINUの球面状を移動する。図参照
これは等速度運動（直線運動になる）と矛盾する。
（＜＝）
Ｓ'の3つの座標軸が、時間が経過してもＳ系からみると動かないとする。
すると、UNIQ25d42e88f47bb00-MathJax-198-QINUの基底UNIQ25d42e88f47bb00-MathJax-199-QINUは
時不変のベクトルになる。
このとき、自由運動する質点の運動が、Ｓ'系からみても等速度運動になることを示せばよい。
この質点を慣性系Ｓから観測すれば、等速度運動をするので、
質点の位置ベクトルUNIQ25d42e88f47bb00-MathJax-200-QINUは、
UNIQ25d42e88f47bb00-MathJax-201-QINU(等速度）
これを、Ｓ'系から観測すると、その位置ベクトルと速度ベクトルは、
UNIQ25d42e88f47bb00-MathJax-202-QINUなのでガリレイ変換式により、
UNIQ25d42e88f47bb00-MathJax-203-QINU
両辺を時間で微分して、
UNIQ25d42e88f47bb00-MathJax-204-QINU
Ｓ'系の座標軸は時不変なので、速度ベクトルUNIQ25d42e88f47bb00-MathJax-205-QINUの座標成分
UNIQ25d42e88f47bb00-MathJax-206-QINU(i=1,2,3)
は一定値になり、等速度運動になる。証明終わり。
命題４
Ｓ系(原点O)は慣性系とし、
Ｓ'系(原点O')はＳ系からみて原点Ｏ'が等速度で並進運動をする。
このとき、S'系は慣性系である。
証明；
仮定から、UNIQ25d42e88f47bb00-MathJax-207-QINUと書ける。
自由運動がＳ'系からみても等速直線運動になることを示せば良い。
慣性系Ｓからみた自由運動UNIQ25d42e88f47bb00-MathJax-208-QINUは等速直線運動になる。
そこで、ある速度ベクトルUNIQ25d42e88f47bb00-MathJax-209-QINUを用いてUNIQ25d42e88f47bb00-MathJax-210-QINUと書ける。
ガリレイ変換式
UNIQ25d42e88f47bb00-MathJax-211-QINU
の両辺を時間ｔで微分すると
UNIQ25d42e88f47bb00-MathJax-212-QINU
移項すると、
UNIQ25d42e88f47bb00-MathJax-213-QINU
Ｓ’系は並進運動するのでその座標の３つの基底は時間が経過しても不変なので、
、速度UNIQ25d42e88f47bb00-MathJax-214-QINUの座標成分は一定値になる。
自由運動する質点は座標系Ｓ'からみても速度一定であることが示せた。証明終わり。
命題４の逆命題も成り立つ。
命題５
慣性座標系UNIQ25d42e88f47bb00-MathJax-215-QINUと、
座標系UNIQ25d42e88f47bb00-MathJax-216-QINUを考える。
もしＳ'が慣性系ならば、
S'系の原点Ｏ'は系Ｓで観測すると等速度で、Ｓ'は並進運動をする。
証明：
自由運動する質点は、どちらの系Ｓ，Ｓ'からみても、等速直線運動する。
そこで、それらの速度をそれぞれ
UNIQ25d42e88f47bb00-MathJax-217-QINU,UNIQ25d42e88f47bb00-MathJax-218-QINUと書く。
ガリレイ変換式（２）の両辺を時間ｔで微分すると、
UNIQ25d42e88f47bb00-MathJax-219-QINU
移項すると、
UNIQ25d42e88f47bb00-MathJax-220-QINU
ゆえに、Ｏ'はＳ系からみて、等速直線運動する。
次にＳ'系は並進運動であることを示す。
Ｓ'系が並進運動していないとする。
Ｓ’系の原点Ｏ’を原点とし、並進運動する座標系UNIQ25d42e88f47bb00-MathJax-221-QINUをとる。
するとUNIQ25d42e88f47bb00-MathJax-222-QINU系は、命題４から、慣性系になる。
この慣性系からみると、Ｓ'系は原点が同じで、その座標系が時間とともに回転する。
すると命題３により、Ｓ'系は、慣性系にはなりえない。
これはＳ'が慣性系であることと矛盾する。したがってＳ'は並進運動することが示せた。証明終わり。
命題６
慣性座標系ＳとＳ'を考える。
運動する質点の加速度は、どちらの系で観測してもベクトルとして同一である。
両方の座標系が平行ならば、座標成分も等しくなる。
証明；
命題５から
Ｓ'系は、Ｓ系からみて、ある速度UNIQ25d42e88f47bb00-MathJax-223-QINUで、等速度並進運動する。
すると、ガリレイ変換の式UNIQ25d42e88f47bb00-MathJax-224-QINUの両辺を
ｔで微分して
UNIQ25d42e88f47bb00-MathJax-225-QINU
この式の両辺をｔで微分すれば、
UNIQ25d42e88f47bb00-MathJax-226-QINU
２つの座標系が平行の場合、両者の基底は、ベクトルとして同一になり、
UNIQ25d42e88f47bb00-MathJax-227-QINUの座標成分表示も等しくなる。
☆☆ ガリレイの相対性原理の証明
力学の第一法則（慣性法則）により、この宇宙には慣性系は存在する。
実際、太陽系の重心を原点にし、遠方の恒星で座標系を決めれば、
これが慣性系Ｓになることが経験的に確かめられている。
この慣性系では、多くの経験や実験から、
力学の基本法則(力の合成則と運動の第2法則、第3法則、万有引力の法則)
が成立するとすることが判明している。
このとき、ガリレイの相対性原理は、
全ての慣性系で、力学の基本法則が成立する
と主張する。
この原理は、
2つの慣性系からの位置の観測値の間にガリレイ変換の関係が成り立ち、
質量と力の観測値が、どの慣性系からみても同じならば、
次のように証明できる。
慣性系Ｓで、力学の基本法則がすべて成立すると仮定する。
(１)。Ｓ'系で、運動の第2法則は成り立つことを示す。
力UNIQ25d42e88f47bb00-MathJax-228-QINUが作用して、質点ｍが運動しているとする。
S系で、運動の第2法則は成り立つので、
UNIQ25d42e88f47bb00-MathJax-229-QINU
命題６から、Ｓ系で観測した加速度UNIQ25d42e88f47bb00-MathJax-230-QINUは、Ｓ'系で観測した加速度UNIQ25d42e88f47bb00-MathJax-231-QINUに等しい。
ゆえに、
UNIQ25d42e88f47bb00-MathJax-232-QINU
mとＦは、仮定により、Ｓ'系で観測した質点の質量とそれに作用する力でもあるので、
Ｓ'系でも運動の第2法則が成り立つことが示せた。
（２)。力の合成法則がＳ'系でも成立。
質点ｍに、ｎ個の力UNIQ25d42e88f47bb00-MathJax-233-QINUが同時に作用しているとする。
Ｓ系では、力の合成法則がなりたつので、
質点はひとつの合力UNIQ25d42e88f47bb00-MathJax-234-QINUを受けた質点ｍと同じく
UNIQ25d42e88f47bb00-MathJax-235-QINU
に従って運動する。
ところが、この質点の加速度をＳ'から観測しても変わらないので
UNIQ25d42e88f47bb00-MathJax-236-QINU
質量と力は慣性系によらず一定なので、
ｍとUNIQ25d42e88f47bb00-MathJax-237-QINUは、Ｓ'系で観測した質点の質量と合力でもある。
したがって、Ｓ'系でも、ｎ個の力が同時に作用する質点の運動は、
それらの合力が作用する運動と同一になる。力の合成則が示せた。
（３)。力は両系で共通なので明らかにＳ'系でも作用反作用の法則(第３法則)が成立。
（４)。万有引力の法則がＳ'系で成立する。
命題２から、
2つの質点UNIQ25d42e88f47bb00-MathJax-238-QINUを、観測系SとS'から観測すると、
UNIQ25d42e88f47bb00-MathJax-239-QINU
この関係と質量不変、力の不変の性質から、Ｓ系で成立する万有引力の法則の式は、
Ｓ'系の万有引力の法則の式になっていることが分かる。
☆☆ ガリレイの相対性原理から質量と力の不変性を導く
前節では、２つの慣性系の位置ベクトルの間にガリレイ変換の関係が成り立つとき、
質量と力が慣性系の取り方によらずに決まるならば、相対性原理が成立することを示した。
この節では、逆にガリレイの相対性原理から、
質量と力が慣性座標系に依存しないことを示そう。
☆☆ 作用する力を質量で割ったものは、どの慣性系からみても同一
２つの慣性系S,Ｓ'をとる。原点をそれぞれO,O'とする。
前項で証明したように、
ある速度ベクトルUNIQ25d42e88f47bb00-MathJax-240-QINUが存在して、UNIQ25d42e88f47bb00-MathJax-241-QINU
質点に力が作用し、運動するのを、2つの慣性系S,S'から観測する。
系Sからみた質点の質量をｍ、作用する力をUNIQ25d42e88f47bb00-MathJax-242-QINUとする。
すると運動の第2法則からUNIQ25d42e88f47bb00-MathJax-243-QINU
ゆえに、UNIQ25d42e88f47bb00-MathJax-244-QINU
同様に、系S'からみた質点の質量をUNIQ25d42e88f47bb00-MathJax-245-QINU、作用する力をUNIQ25d42e88f47bb00-MathJax-246-QINUとすると
UNIQ25d42e88f47bb00-MathJax-247-QINU
命題３からUNIQ25d42e88f47bb00-MathJax-248-QINU
式(1)(2）(3)から
UNIQ25d42e88f47bb00-MathJax-249-QINU
所望の結論が得られた。
☆☆ 質量は、どの慣性系からみても同一
2つの質点が万有引力で引き合って、運動しているのを、系SとS'から観測する。
S系の観測値は、2つの質点の質量がUNIQ25d42e88f47bb00-MathJax-250-QINU,位置ベクトルがUNIQ25d42e88f47bb00-MathJax-251-QINU、
S'系の観測値は、質量UNIQ25d42e88f47bb00-MathJax-252-QINU,位置ベクトルUNIQ25d42e88f47bb00-MathJax-253-QINU
であるとする。
第1の質点が第2の質点から受ける万有引力は、S系では、
UNIQ25d42e88f47bb00-MathJax-254-QINU
同じくＳ'では、
UNIQ25d42e88f47bb00-MathJax-255-QINU
前項で証明した式（４)により
UNIQ25d42e88f47bb00-MathJax-256-QINUなので、上の式から
UNIQ25d42e88f47bb00-MathJax-257-QINU
ガリレイ変換の節の命題１により、
UNIQ25d42e88f47bb00-MathJax-258-QINUなので式(5)から
UNIQ25d42e88f47bb00-MathJax-259-QINU
同様にして、第2の質点が第１の質点から受ける万有引力の式から、UNIQ25d42e88f47bb00-MathJax-260-QINU
所望の結論が得られた。
☆☆ 力はどの慣性系からみても同一
UNIQ25d42e88f47bb00-MathJax-261-QINU
とUNIQ25d42e88f47bb00-MathJax-262-QINUから、明らか。
ガリレイの相対性原理の余話
ガリレイの相対性原理は、
力学だけでなく、古典力学のすべての領域で成立するという原理に拡張され、
長い間物理学の指導原理となっていた。
ところが電磁気学の基本法則のマクスウェル方程式は、
ガリレイ変換で、形をかえてしまい、相対性原理は成立しない。
マクスウェル方程式が正しければ、
ガリレイの相対性原理やその根底にあるニュートン力学的世界観が
現実には成立しないことになるので大きな問題になった。
２０世紀になって、この原理はアインシュタインによって修正された。
これについては本テキストでは扱わない。
