ローレンツ変換

物理学に於けるローレンツ変換とはガリレイ変換がニュートンの運動方程式に対して不変な座標変換であるのと同じような感じで電磁波の波動方程式に対して不変な座標変換を表わす線形変換である。名称はオランダの物理学者ヘンドリック・ローレンツに因む。

アインシュタインの特殊相対性理論の基礎となる変換公式とされている。

概要

取り敢えずローレンツ変換とは以下の如き(x,y,z,t)座標(※四次元時空)に対する変換である。；

• $\{\begin{array}{l}{x}^{\prime }=\gamma (x-vt)\\ y^{\prime }=y\\ z^{\prime }=z\\ t^{\prime }=\gamma (t-vx/c^2)\end{array}$

ここで係数γはローレンツ因子と呼ばれる実数で

$\gamma =\frac{1}{\sqrt{1-v^2/c^2}}$

で表される。(※文字cは真空中の光速度を表す。)

上述の変換に対してc→♾(光速度=無限大)の極限をとれば ガリレイ変換と同じものになる。

導出

ちょっと大変だけど上述のローレンツ変換の等式を導いてみよう。その準備としてまず以下の合成関数の偏微分公式を求める事にする。

合成関数

$f(\alpha ,\beta )=f(\alpha (x,t),\beta (x,t))$

を考えると連鎖法則より

$f_x=f_{\alpha }{\alpha }_x+f_{\beta }{\beta }_x$

が成り立つ。これを更に偏微分すれば

$\begin{array}{rl}{f}_{xx}& =(f_{\alpha }{\alpha }_x{)}_x+(f_{\beta }{\beta }_x{)}_x\\ & =(f_{\alpha }{)}_x{\alpha }_x+f_{\alpha }{\alpha }_{xx}+(f_{\beta }{)}_x{\beta }_x+f_{\beta }{\beta }_{xx}\end{array}$

が得られる(積の微分法を用いた。)。

ここで(天下り的だが)関数α、βの2階偏導関数を零とすれば

$\begin{array}{rl}{f}_{xx}& =(f_{\alpha }{)}_x{\alpha }_x+(f_{\beta }{)}_x{\beta }_x\\ & =\{(f_{\alpha }{)}_{\alpha }{\alpha }_x+(f_{\alpha }{)}_{\beta }{\beta }_x\}{\alpha }_x+\{(f_{\beta }{)}_{\alpha }{\alpha }_x+(f_{\beta }{)}_{\beta }{\beta }_x\}{\beta }_x\end{array}$

$\therefore f_{xx}={\alpha }_x^2{f}_{\alpha \alpha }+2{\alpha }_x{\beta }_x{f}_{\alpha \beta }+{\beta }_x^2{f}_{\beta \beta }$

が求まる(シュヴァルツの定理を使った)。同様に

$f_{tt}={\alpha }_t^2{f}_{\alpha \alpha }+2{\alpha }_t{\beta }_t{f}_{\alpha \beta }+{\beta }_t^2{f}_{\beta \beta }$

も成り立つ。

さて、話は変わるけど1次元のガリレイ変換は

$x^{\prime }=x-vt,t^{\prime }=t$

で表される(y,z座標は略した)。これをお手本にして

$x^{\prime }=D(x-vt),t^{\prime }=At+Bx$

なる座標変換を考えたらx'=α、t'=βとおいた時

${\alpha }_x=D,{\alpha }_t=-Dv,{\beta }_x=B,{\beta }_t=A$

が求まる。これを上述の偏微分公式に代入すれば

$\{\begin{array}{l}{f}_{xx}=D^2{f}_{x^{\prime }{x}^{\prime }}+2BD{f}_{x^{\prime }{t}^{\prime }}+B^2{f}_{t^{\prime }{t}^{\prime }}\\ f_{tt}=D^2{v}^2{f}_{x^{\prime }{x}^{\prime }}-2ADv{f}_{x^{\prime }{t}^{\prime }}+A_2{f}_{t^{\prime }{t}^{\prime }}\end{array}$

が成り立つ。

ところで1次元の電磁波の波動方程式は

$\frac{{\partial }^2\varphi }{\partial t^2}=c^2\frac{{\partial }^2\varphi }{\partial x^2}$

で与えられるが、これを

$◻\varphi =\frac{{\partial }^2\varphi }{\partial x^2}-\frac{1}{c^2}\frac{{\partial }^2\varphi }{\partial t^2}=0$

と変形しよう(※上式の□はダランベール演算子またはダランベルシアンと呼ばれる偏微分作用素である。)。これを使うと上述の偏微分の等式は $\begin{array}{rl}◻f& =f_{xx}-\frac{1}{c^2}{f}_{tt}\\ & =D^2{f}_{x^{\prime }{x}^{\prime }}+2BD{f}_{x^{\prime }{t}^{\prime }}+B^2{f}_{t^{\prime }{t}^{\prime }}-\frac{D^2{v}^2}{c^2}{f}_{x^{\prime }{x}^{\prime }}+2\frac{ADv}{c^2}{f}_{x^{\prime }{t}^{\prime }}-\frac{A^2}{c^2}{f}_{t^{\prime }{t}^{\prime }}\\ & =0\end{array}$ と書ける。で、この式が電磁波の方程式と同じ形になるためには $D^2(1-\frac{v^2}{c^2})=1,B+\frac{Av}{c^2}=0,B^2-\frac{A^2}{c^2}=-\frac{1}{c^2}$ が成立せねばならない。これを未知数A,B,Dに関する連立方程式と考えて解けば

$A=D=\frac{1}{\sqrt{1-(v/c{)}^2}}=\gamma$

$B=-\frac{v/c^2}{\sqrt{1-(v/c{)}^2}}=-\gamma (v/c^2)$

が得られる。これらを上述の座標変換公式に代入すればローレンツ変換の公式が導かれる。//