ガリレイ変換のソースを表示

{{出典の明記|date=2011年7月}}
'''ガリレイ変換'''（ガリレイへんかん、{{Lang-en-short|Galilean transformation}}）とはある[[慣性系]]における物理現象の記述を別の慣性系での記述に変換するための座標変換の方法の一つである。[[ニュートンの運動方程式]]を不変に保つため、ガリレイ変換の前後で[[ニュートン力学]]の法則は不変に保たれる。対して[[特殊相対性理論|相対論的運動方程式]]や[[マクスウェルの方程式]]は不変に保たないため、[[光速]]に近い[[速度]]の関わる[[物理現象]]に適用すると現実の[[物理法則]]と乖離する。なお相対論的効果も考慮した変換は[[ローレンツ変換]]を参照。

== 概要 ==
座標系 {{Math|''x'',''y'',''z'',''t''}} で表される慣性系 {{Math|S}} に対して、座標系 {{Math|''x&prime;'',''y&prime;'',''z&prime;'',''t&prime;''}} で表される慣性系 {{Math|S&prime;}} が速度 {{Math|''V''<sub>''x''</sub>}} で相対運動しているとする。ただし運動方向を {{Mvar|x}} 軸と {{Mvar|x&prime;}} 軸の正方向とし、{{Mvar|y}} 軸と {{Mvar|y&prime;}} 軸および{{Mvar|z}} 軸と {{Mvar|z&prime;}} 軸の方向も一致させる。このとき慣性系 {{Math|S}} から慣性系 {{Math|S&prime;}} へのガリレイ変換は次のように定義される。

:<math>
x'=x-t V_x, 
y'=y, 
z'=z, 
t'=t
</math>

ここで {{math|''x''-''t''}} 座標と {{Math|''x&prime;''-''t&prime;''}} 座標のみを図示すれば次のようになる。
<gallery>
Image:Galilei_tf_grid.PNG|図1.座標格子のガリレイ変換
Image:Galilei_tform.PNG|図2.ガリレイ変換。左図は慣性系<math>S</math>を直交座標で示し、右図は慣性系<math>S'</math>を直交座標で示す。
</gallery>


上記の式を時間微分すると、{{Math|''y'', ''z''}} は時間に対して一定なので

:<math>\begin{align}
v'_{x}=v_{x}-V_x \\
v_{x}=v'_{x}+V_x
\end{align}</math>

となる。
<!--速度についてのガリレオ変換をベクトル式で表すと次のようになる。ある慣性系での速度を <math>\vec{v}_a</math> 別の慣性系での速度を <math>\vec{v}_b</math> 慣性系の間の速度の差を <math>\vec{v}_c</math> とすると

:<math>\vec{v}_b = \vec{v}_a + \vec{v}_c</math>
-->

このように、慣性系間をガリレイ変換で変換できるという主張は[[速度合成則]]が単純な足し算で記述されるという主張を含むのである。

== 解説 ==
ガリレイ変換がどのようなものかを理解するために次のような例を考える。

西向きに[[時速]] 30 km で走行する列車に[[ピッチングマシーン]]とそれを操作する人（A とする）が列車上の同じ場所にとどまって乗っている。また、列車の外に立っている人（B とする）がいる。ここで西向きを ''x'' 軸、[[鉛直]]方向上向きを ''z'' 軸、これらに[[垂直]]な向き（ここでは[[右手系]]を採用することにするので南向き）を ''y'' 軸にとる。

時刻 <math>t=0</math> に A がいた位置を原点ととることにする。大地に固定された慣性系（すなわちBの[[視点]]）から見ると A の位置は <math>t=0</math> では <math>x=0</math>, <math>y=0</math>, <math>z=0</math> であり、任意の時刻においては 
:<math>x=t \times 30 ~ \mbox{km/h}, y=0, z=0</math>
である。一方列車とともに移動する慣性系から見ると A はずっと動かないから A の座標は恒等的に <math>x'=0</math>, <math>y'=0</math>, <math>z'=0</math>である。

さてここで、具体例として A がピッチングマシーンを時速 100 km の設定にして列車の進行方向にボールを発射したとする。A の視点から見ると A 自身は列車の中の一所にとどまっておりボールは時速 100 km で西向きに飛んでいったように見える。しかしここで大地に固定された慣性系（すなわちBの視点）からこの現象を見るとどうなるだろう。ボールはピッチングマシーンの設定速度 100 km に列車の速度 30 km をくわえた 130 km で西向きに飛んでいるように見えるのでは有るまいか?

以上の記述はガリレイ変換が成立する場合には正しい。上記のような状況では実際の観測結果とガリレイ変換の主張は一致するであろう。相対論的な効果によるずれはこの場合非常にわずか（今の場合、 0.000000000001 % 程度）であり、[[空気抵抗]]・[[万有引力]]その他の外乱要因よりもはるかに小さいため、どんなに精密な測定をしても検出することは不可能である。

しかし、より高い速度では相対論的効果によるずれがより大きくなり、観測にもかかる。一般的に相対論的効果があらわに現れるのは概ね[[光速]]の 10 % よりも速い場合である（速度が光速の 10 % の時、相対論的効果は 0.5 % 程度現れる）。

== ガリレイの相対性原理 ==
一般に相対性原理というとアインシュタインのものが有名であるが、相対性原理は他にもある。それはガリレイ変換と関係のあるガリレイの相対性原理である。

相対性原理とはどのような慣性系においても同じ[[物理法則]]が成り立つという主張である。ガリレイの相対性原理はガリレイ変換によって変換するあらゆる慣性系において物理法則が不変であるという主張である。

ニュートン力学の運動方程式（のベクトル表現）

:<math>\vec{F} = m\vec{a}</math>

には座標の二回微分（=速度の一回微分つまり加速度。式中における <math>\vec{a}</math>）しかでてこないので、ガリレイ変換をしても運動方程式には影響しない。つまりガリレイ変換に対して式の形が変わらない。このようなことをさして「ニュートン力学はガリレイ変換に関して共変な理論である」という。ニュートン力学はガリレイの相対性原理の要請を満たす。

しかし[[電磁気学]]の[[マクスウェルの方程式]]は光速度をあらわに含むのでガリレイ変換に対して不変ではない（光速度に定数を足すと式の形が変わってしまう）。当初はこれを「マクスウェルの方程式は絶対静止座標系<ref group="注釈">ガリレイ変換自身は、絶対静止座標系の概念とは無関係である。</ref>においてのみ成り立つ」と解釈し、絶対静止座標系以外の慣性系では、ガリレイ変換されたマクスウェルの方程式が成り立つと解釈されていた。しかし、絶対静止座標系を見出すのに十分な精度の実験（[[マイケルソン・モーレーの実験]]等）が行われても、慣性系の違いによるガリレイ変換の効果は観測されなかった。

この実験結果を説明するため、絶対静止座標系からの変換がガリレイ変換ではないとされ、電磁気学が共変になるような変換であるローレンツ変換が考えだされた。さらに、絶対静止座標の仮定を廃し、ローレンツ変換によって変換するあらゆる慣性系で物理法則が不変であるというアインシュタインの特殊相対性原理<ref group="注釈">ここで特殊相対性原理の「特殊」とは、非慣性系も含めた相対性原理である[[一般相対性原理]]に対し、慣性系という「特殊」な系の相対性原理であることを意味しており、ガリレイの相対性原理に対して特殊な相対性原理という意味ではない。</ref>から[[特殊相対性理論]]が生み出された。ローレンツ変換において、光速に対して慣性系間の相対速度を微小として近似したものが、ガリレイ変換になる。

== 脚注 ==
{{脚注ヘルプ}}
=== 注釈 ===
{{Notelist}}

== 関連項目 ==
* [[ガリレオ・ガリレイ]]
* [[ニュートン力学]]
* [[ローレンツ変換]]
* [[特殊相対性原理]]
* [[一般相対性原理]]

{{相対性理論}}
{{Normdaten}}
{{DEFAULTSORT:かりれいへんかん}}
[[Category:力学]]
[[Category:変換 (数学)]]
[[Category:物理学のエポニム]]
[[Category:物理学における時間]]