logo

ローレンツ変換の導出 📂物理学

ローレンツ変換の導出

導出

  • 言葉は少し長くなるけど、とても簡単に書いたから、怖がらずにやってみよう。

AA慣性系(座標系)の平面で動く光(光子)を考えてみよう。t=0t=0の時、原点から出発してxx軸とθ\thetaの角度をなして進んでいる。

59D74D2E2.jpg

ガリレイ変換の代わりになる新しい変換の形は以下のように言える。

(txyz)=()(tctcosθctsinθ0) \begin{pmatrix} t^{\prime} \\ x^{\prime} \\ y^{\prime} \\ z^{\prime} \end{pmatrix} = \begin{pmatrix} & & & \\ & & & \\ & & & \\ & & & \end{pmatrix} \begin{pmatrix} t \\ ct\cos\theta \\ ct\sin\theta \\ 0 \end{pmatrix}

新しい変換を見つける前に、まずガリレイ変換を考えてみよう。

(txyz)=(1000v010000100001)(txyz) \begin{pmatrix} t^{\prime} \\ x^{\prime} \\ y^{\prime} \\ z^{\prime} \end{pmatrix} = \begin{pmatrix} \color{red}1 & \color{red}0 & 0 & 0 \\ \color{red}{-v_{0}} & \color{red}1 & 0 & 0 \\ 0 & 0 & 1 & 0 \\ 0 & 0 & 0 & 1 \end{pmatrix} \begin{pmatrix} t \\ x \\ y \\ z \end{pmatrix}

ここで、私たちが新しく得たい変換も、動いていない方向には影響を与えないと仮定しよう。つまり、AA^{\prime}慣性系がxx方向に動いているので、yyzz成分は影響を与えないとしよう。それならば、私たちが得たい新しい変換はガリレイ変換で赤い部分だけが変わることだ。したがって、新しい変換を以下のようにしよう。

(txyz)=(ab00ed0000100001)(tctcosθctsinθ0) \begin{equation} \begin{pmatrix} t^{\prime} \\ x^{\prime} \\ y^{\prime} \\ z^{\prime} \end{pmatrix} = \begin{pmatrix} a & b & 0 & 0 \\ e & d & 0 & 0 \\ 0 & 0 & 1 & 0 \\ 0 & 0 & 0 & 1 \end{pmatrix} \begin{pmatrix} t \\ ct\cos\theta \\ ct\sin\theta \\ 0 \end{pmatrix} \label{eq1} \end{equation}

アルファベット順では、eeの場所にccが入るのが自然だが、ccは光速を使うため、eeを使った。これで、与えられた条件から、aabbeeddを見つければいい。行列を解くと以下のようになる。

t=at+bctcosθx=et+dctcosθy=ctsinθz=0 \begin{align} t^{\prime} &= at+bct\cos\theta \label{eq2} \\ x^{\prime} &= et+dct\cos\theta \label{eq3} \\ y^{\prime} &= ct\sin\theta \label{eq4} \\ z^{\prime} &= 0 \nonumber \end{align}

(2)(2)ttに関して整理すると以下のようになる。

t=ta+bccosθ t = \frac{t^{\prime}}{a+bc\cos\theta}

これを(3),(3), (4)(4)に代入すると以下を得る。

x=e+dccosθa+bccosθty=csinθa+bccosθt \begin{align*} x^{\prime} &= \frac{e+dc\cos\theta}{a+bc\cos\theta}t^{\prime} \\ y^{\prime} &= \frac{c\sin\theta}{a+bc\cos\theta}t^{\prime} \end{align*}

相対性理論によると、この光の速度はAA系でもccであり、AA^{\prime}系でもccでなければならない。これを式で表すと以下のようになる。

vx2+vy2+vz2=c2 \begin{align} {v^{\prime}_{x}} ^{2}+{v^{\prime}_{y}} ^{2}+{v^{\prime}_{z}} ^{2}=c^2 \label{eq5} \end{align}

上で得たxx^{\prime}yy^{\prime}を使ってvxv_{x}^{\prime}vyv_{y}^{\prime}を求めると以下のようになる。

vx=dxdt=e+dccosθa+bccosθvy=dydt=csinθa+bccosθvz=0 \begin{align*} v^{\prime}_{x} &= \frac{dx^{\prime}}{dt^{\prime}}=\frac{e+dc\cos\theta}{a+bc\cos\theta} \\ v^{\prime}_{y} &= \frac{dy^{\prime}}{dt^{\prime}}=\frac{c\sin\theta}{a+bc\cos\theta} \\ v^{\prime}_{z} &= 0 \end{align*}

上の3つの式を(5)(5)に代入すると以下のようになる。

(e+dccosθa+bccosθ)2+(csinθa+bccosθ)2=c2    (e+dccosθ)2+c2sin2θ=c2(a+bccosθ)2    e2+2edccosθ+d2c2cos2θ+c2sin2θ=c2a2+2abc3cosθ+b2c4cos2θ    e2+2edccosθ+d2c2cos2θ+c2c2cos2θ=c2a2+2abc3cosθ+b2c4cos2θ \begin{align*} && \left( \frac{e+dc\cos\theta}{a+bc\cos\theta} \right)^{2} + \left( \frac{c\sin\theta}{a+bc\cos\theta} \right) ^{2} &= c^{2} \\ \implies && (e+dc\cos\theta)^{2} + c^{2}\sin^{2}\theta &= c^{2}(a+bc\cos\theta)^{2} \\ \implies && e^{2}+2edc\cos\theta + d^2c^{2}\cos^{2}\theta + {\color{blue}c^{2}\sin^{2}\theta} &= c^2a^{2}+2abc^3\cos\theta+b^2c^4\cos^{2}\theta \\ \implies && e^{2}+2edc\cos\theta + d^2c^{2}\cos^{2}\theta + {\color{blue}c^{2}-c^{2}\cos^{2}\theta} &= c^2a^{2} + 2abc^3\cos\theta + b^2c^4\cos^{2}\theta \end{align*}

上の式をcosθ\cos\thetaに関してまとめると以下を得る。

c2(d21)cos2θ+2edccosθ+(e2+c2)=b2c4cos2θ+2abc3cosθ+a2c2 c^{2}(d^{2}-1)\cos^{2}\theta + 2edc\cos\theta + (e^{2}+c^{2}) = b^2c^4\cos^{2}\theta + 2abc^3\cos\theta + a^2c^{2}

この時、両辺の定数項、1次項の係数、2次項の係数が同じでなければならないので、以下の式を得る。

e2+c2=a2c22edc=2abc3    ed=abc2c2(d21)=b2c4    d21=b2c2 \begin{align} e^{2}+c^{2} & =a^{2}c^{2} \\ 2edc=2abc^3 \quad &\implies \quad ed = abc^{2} \\ c^{2}(d^{2}-1) = b^{2}c^{4} \quad & \implies \quad d^{2}-1=b^{2}c^{2} \end{align}

(6)(6)(7)(7)(8)(8)の3つの条件を得たが、私たちが求めようとしている未知数は44個なので、もう一つの条件が必要だ。残りの一つの式は、粒子が静止している条件から求めることができる。AA系の原点で静止している粒子の変換式は以下のようになる。

(txyz)=(ab00ed0000100001)(t000)=(atet00)=(tv0t00) \begin{pmatrix} t^{\prime} \\ x^{\prime} \\ y^{\prime} \\ z^{\prime} \end{pmatrix} = \begin{pmatrix} a & b & 0 & 0 \\ e & d & 0 & 0 \\ 0 & 0 & 1 & 0 \\ 0 & 0 & 0 & 1 \end{pmatrix} \begin{pmatrix} t \\ 0 \\ 0 \\ 0 \end{pmatrix} = \begin{pmatrix} at \\ et \\ 0 \\ 0 \end{pmatrix} =\begin{pmatrix} t^{\prime} \\ -v_{0}t^{\prime} \\ 0 \\ 0 \end{pmatrix}

したがって、次の式を得る。

t=atet=v0t=v0at \begin{align*} t^{\prime} &= at \\ et &= -v_{0}t^{\prime}=-v_{0}at \end{align*}

すると、以下の式を得る。

e=v0a \begin{align} e = -v_{0}a \label{eq9} \end{align}

この時、AA^{\prime}系の速度が00であれば、AA系とAA^{\prime}系の世界線が同じであるため、変換は以下のようになる。

(txyz)=(1000010000100001)(txyz) \begin{pmatrix} t^{\prime} \\ x^{\prime} \\ y^{\prime} \\ z^{\prime} \end{pmatrix} = \begin{pmatrix} 1 & 0 & 0 & 0 \\ 0 & 1 & 0 & 0 \\ 0 & 0 & 1 & 0 \\ 0 & 0 & 0 & 1 \end{pmatrix} \begin{pmatrix} t \\ x \\ y \\ z \end{pmatrix}

したがって、v0=0v_{0}=0の時、以下の式を得る。

a=1,b=0,e=0,d=1 \begin{align} a=1,\quad b=0,\quad e=0,\quad d=1 \label{eq10} \end{align}

上の条件で(6)(6)(9)(9)を代入すると以下を得る。

v02a2+c2=c2a2    a2=c2c2v02    a=±cc2v02 \begin{align*} && \quad{v_{0}}^{2} a^{2}+c^{2} &= c^{2} a^{2} \\ \implies && a^{2} &= \frac{c^{2}}{c^{2}-{v_{0}}^{2}} \\ \implies && a &= \pm\frac{c}{\sqrt{c^{2}-{v_{0}}^{2}}} \end{align*}

この時、(10)(10)によってv0=0v_{0}=0の時a=1a=1なので以下のようになる。

a=cc2v02 a=\frac{c}{\sqrt{c^{2}-{v_{0}}^{2}}}

上で得たaa(9)(9)に代入すると以下のようになる。

e=v0cc2v02 e = -v_{0}\frac{c}{\sqrt{c^{2}-{v_{0}}^{2}}}

(7)(7)(9)(9)を代入すると以下のようになる。

ed=abc2    v0ad=abc2    d=bc2v0 \begin{align} && ed &= abc^{2} \nonumber \\ \implies && -v_{0} ad &= abc^{2} \nonumber \\ \implies && d &= \frac{bc^{2}}{{-v_{0}}} \end{align}

上で得たdd(8)(8)に代入すると以下のようになる。

b2c4v021=b2c2    b2c4v02b2c2=1    b2c2v02(c2v02)=1    b2=v02c2(c2v02)    b=±v0cc2v02 \begin{align*} && \frac{b^2c^4}{{v_{0}}^{2}}-1 &= b^2c^{2} \\ \implies && \frac{b^2c^4}{{v_{0}}^{2}}-b^2c^{2} &= 1 \\ \implies && \frac{b^2c^{2}}{{v_{0}}^{2}}{(c^{2}-{v_{0}}^{2})} &= 1 \\ \implies && b^{2}&= \frac{{v_{0}}^{2}}{c^{2}(c^{2}-{v_{0}}^{2})} \\ \implies && b &= \pm\frac{v_{0}}{c\sqrt{c2-{v_{0}}^{2}}} \end{align*}

これを再度(11)(11)に代入すると以下を得る。

d=bv0c2=c2v0v0cc2v02=cc2v02 d=-\frac{b}{v_{0}}c^{2}=\mp \frac{c^{2}}{v_{0}}\frac{v_{0}}{c\sqrt{c^{2}-{v_{0}}^{2}}}=\mp \frac{c}{\sqrt{c^{2}-{v_{0}}^{2}}}

(10)(10)によってv0=0v_{0}=0の時d=1d=1なので以下のようになる。

d=cc2v02b=v0cc2v02 \begin{align*} d &= \frac{c}{\sqrt{c^{2}-{v_{0}}^{2}}} \\ b &= -\frac{v_{0}}{c\sqrt{c^{2}-{v_{0}}^{2}}} \end{align*}

上で得たa,b,c,da, b, c, dを整理すると以下の式を得る。

a=cc2v02,b=v0cc2v02e=v0cc2v02,d=cc2v02 \begin{align*} a &= \frac{c}{\sqrt{c^{2}-{v_{0}}^{2}}}, & b &= -\frac{v_{0}}{c\sqrt{c^{2}-{v_{0}}^{2}}} \\ e &= -v_{0}\frac{c}{\sqrt{c^{2}-{v_{0}}^{2}}}, & d &= \frac{c}{\sqrt{c^{2}-{v_{0}}^{2}}} \end{align*}

これを(1)(1)に代入すると以下のようになる。

(txyz)=(cc2v02v0cc2v0200v0cc2v02cc2v020000100001)(txyz) \begin{pmatrix} t^{\prime} \\ x^{\prime} \\ y^{\prime} \\ z^{\prime} \end{pmatrix} = \begin{pmatrix} \dfrac{c}{\sqrt{c^{2}-{v_{0}}^{2}}} & -\dfrac{v_{0}}{c\sqrt{c^{2}-{v_{0}}^{2}}} & 0 & 0 \\ -v_{0} \dfrac{c}{\sqrt{c^{2}-{v_{0}}^{2}}} & \dfrac{c}{\sqrt{c^{2}-{v_{0}}^{2}}} & 0 & 0 \\ 0 & 0 & 1 & 0 \\ 0 & 0 & 0 & 1 \end{pmatrix} \begin{pmatrix} t \\ x \\ y \\ z \end{pmatrix}

ここで、(txyz)\begin{pmatrix} t \\ x \\ y \\ z \end{pmatrix}時空間4ベクトルtime-space four-vectorという。しかし、x,y,zx, y, zは長さの単位であり、ttだけが時間の単位なので、単位を合わせるためにttの代わりにctctを使う(時間*速度=距離であり、ccは光の速度であるため)。

t=c  tv0c1  xct=c  ctv0  x    x=v0c  t+c  xx=v0  ct+c  x \begin{array}{ccc} t^{\prime} = \dfrac{c}{\sqrt{\ \ }}t -\dfrac{v_{0}}{c} \dfrac{1}{\sqrt{\ \ }} x && ct^{\prime} =\dfrac{c}{\sqrt{\ \ }}ct - \dfrac{v_{0}}{\sqrt{\ \ }}x \\ & \implies & \\ x^{\prime} =\dfrac{-v_{0}c}{\sqrt{\ \ }}t +\dfrac{c}{\sqrt{\ \ }}x && x^{\prime}= \dfrac{-v_{0}}{\sqrt{\ \ }}ct + \dfrac{c}{\sqrt{ \ \ }}x \end{array}

単位を合わせた4-ベクトルは以下のようになる。

(ctxyz)=(cc2v02v0c2v0200v0c2v02cc2v020000100001)(ctxyz) \begin{pmatrix} ct^{\prime} \\ x^{\prime} \\ y^{\prime} \\ z^{\prime} \end{pmatrix} = \begin{pmatrix} \dfrac{c}{\sqrt{c^{2}-{v_{0}}^{2}}} & -\dfrac{v_{0}}{\sqrt{c^{2}-{v_{0}}^{2}}} & 0 & 0 \\ \dfrac{-v_{0}}{\sqrt{c^{2}-{v_{0}}^{2}}} & \dfrac{c}{\sqrt{c^{2}-{v_{0}}^{2}}} & 0 & 0 \\ 0 & 0 & 1 & 0 \\ 0 & 0 & 0 & 1 \end{pmatrix} \begin{pmatrix} ct \\ x \\ y \\ z \end{pmatrix}

この変換は、正確にマクスウェル方程式に適合する(どの座標系でも光の速度がccである)新しい変換である。この変換をローレンツ変換Lorentz transformationと呼ぶ。しかし、上の形で書くには複雑すぎるので、共通の部分を定数にすることが便利だ。以下のγ0\gamma_{0}ローレンツ因子Lorentz factorと呼ぶ。

γ0cc2v02=11v02c2 \gamma_{0} \equiv \frac{c}{\sqrt{c^{2}-{v_{0}}^{2}}}=\frac{1}{\sqrt{1-\frac{{v_{0}}^{2}}{c^{2}}}}

そして、β0\beta_{0}を以下のようにしよう。

β0v0c \beta_{0} \equiv \frac{v_{0}}{c}

そうすると、ローレンツ因子をもっと簡単に表現できる。

γ0=11β02v0c2v02=v0c11v02c2=γ0β0 \begin{align*} \gamma_{0} &= \frac{1}{\sqrt{1-{\beta_{0}}^{2}}} \\ \frac{-v_{0}}{\sqrt{c^{2}-{v_{0}}^{2}}} &= \frac{-v_{0}}{c}\frac{1}{\sqrt{1-\frac{{v_{0}}^{2}}{c^{2}}}}=-\gamma_{0}\beta_{0} \end{align*} これをローレンツ変換に適用すると以下のようになる。

(ctxyz)=(γ0γ0β000γ0β0γ00000100001)(ctxyz) \begin{pmatrix} ct^{\prime} \\ x^{\prime} \\ y^{\prime} \\ z^{\prime} \end{pmatrix} = \begin{pmatrix} \gamma_{0} & -\gamma_{0}\beta_{0} & 0 & 0 \\ -\gamma_{0}\beta_{0} & \gamma_{0} & 0 & 0 \\ 0 & 0 & 1 & 0 \\ 0 & 0 & 0 & 1 \end{pmatrix} \begin{pmatrix} ct \\ x \\ y \\ z \end{pmatrix}

説明

ガリレイ変換が説明できない部分が出てきてローレンツ変換を導いたけれども、ガリレイ変換が完全に間違っているわけではない。ローレンツ変換でv0v_{0}が光の速度ccに比べて無視できるほど小さいなら、すなわちv0c=0\frac{v_{0}}{c}=0の状況であれば、ローレンツ変換はガリレイ変換と同じ形になる。

(txyz)=(cc2v02v0cc2v0200v0cc2v02cc2v020000100001)(txyz)=(11(v0/c)2v0c211(v0/c)200v01(v0/c)211(v0/c)20000100001)(txyz)=(11020110200v010211020000100001)(txyz)=(1000v010000100001)(txyz) \begin{align*} \begin{pmatrix} t^{\prime} \\ x^{\prime} \\ y^{\prime} \\ z^{\prime} \end{pmatrix}&=\begin{pmatrix} \dfrac{c}{\sqrt{c^{2}-{v_{0}}^{2}}} & -\dfrac{v_{0}}{c\sqrt{c^{2}-{v_{0}}^{2}}} & 0 & 0 \\ \dfrac{-v_{0}c}{\sqrt{c^{2}-{v_{0}}^{2}}} & \dfrac{c}{\sqrt{c^{2}-{v_{0}}^{2}}} & 0 & 0 \\ 0 & 0 & 1 & 0 \\ 0 & 0 & 0 & 1 \end{pmatrix} \begin{pmatrix} t \\ x \\ y \\ z \end{pmatrix} \\ &= \begin{pmatrix} \dfrac{1}{\sqrt{1-{(v_{0}/c)}^{2}}} & -\dfrac{v_{0}}{c^{2}}\dfrac{1}{\sqrt{1-{(v_{0}/c)}^{2}}} & 0 & 0 \\ \dfrac{-v_{0}}{\sqrt{1-{(v_{0}/c)}^{2}}} & \dfrac{1}{\sqrt{1-{(v_{0}/c)}^{2}}} & 0 & 0 \\ 0 & 0 & 1 & 0 \\ 0 & 0 & 0 & 1 \end{pmatrix}\begin{pmatrix} t \\ x \\ y \\ z \end{pmatrix} \\ &= \begin{pmatrix} \dfrac{1}{\sqrt{1-{0}^{2}}} & -0\dfrac{1}{\sqrt{1-{0}^{2}}} & 0 & 0 \\ \dfrac{-v_{0}}{\sqrt{1-{0}^{2}}} & \dfrac{1}{\sqrt{1-{0}^{2}}} & 0 & 0 \\ 0 & 0 & 1 & 0 \\ 0 & 0 & 0 & 1 \end{pmatrix} \begin{pmatrix} t \\ x \\ y \\ z \end{pmatrix} \\ &=\begin{pmatrix} 1& 0 & 0 & 0 \\ -v_{0} & 1 & 0 & 0 \\ 0 & 0 & 1 & 0 \\ 0 & 0 & 0 & 1 \end{pmatrix}\begin{pmatrix} t \\ x \\ y \\ z \end{pmatrix} \end{align*}