logo

로렌츠 변환 유도 📂물리학

로렌츠 변환 유도

유도

  • 글이 좀 길기는 하지만 굉장히 쉽게 적어놨으니 쫄지말고 해보자.

AA관성계(좌표계)의 xyxy평면에서 움직이는 빛(광자)을 생각해보자. 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방향으로 움직이고 있으니 yy, zz성분은 영향을 끼치지 않는다고 하자. 그러면 우리가 얻고 싶은 새로운 변환은 갈릴레이 변환에서 빨간색 부분만 바뀌는 것이다. 그러므로 새로운 변환을 다음과 같다고 하자.

(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를 사용했다. 이제 주어진 조건에서 aa, bb, ee, dd를 찾으면 된다. 행렬을 풀어보면 다음과 같다.

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*}

위의 세 식을 (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)의 세 조건을 얻었지만 우리가 구하고자 하는 미지수는 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이라면(v0=0)(v_{0}=0) 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*}