유도완성

로렌츠 변환 유도 (Derivation of Lorentz Transformation)

유도의 전제

아인슈타인의 두 공준과 시공간의 균일성(homogeneity) 및 등방성(isotropy)으로부터 로렌츠 변환을 유도합니다.

전제 조건:

  1. 상대성 원리: 물리 법칙은 모든 관성 기준틀에서 동일
  2. 광속 불변: cc는 모든 관성 기준틀에서 동일
  3. 시공간의 균일성: 변환은 좌표의 선형 함수
  4. 표준 배치: SS'SS에 대해 xx 방향으로 속도 vv로 이동, t=t=0t = t' = 0에서 원점 일치

선형성

유도로렌츠 변환의 선형성 논증

시공간의 균일성은 자유 입자가 한 기준틀에서 등속 직선운동을 하면 다른 기준틀에서도 등속 직선운동을 해야 함을 요구합니다. 이를 만족하는 가장 일반적인 변환은 선형 변환입니다:

x=Ax+Bt,t=Cx+Dtx' = Ax + Bt, \quad t' = Cx + Dt

여기서 A,B,C,DA, B, C, Dvv의 함수입니다. (y=yy' = y, z=zz' = z는 대칭성에 의해 자명합니다.)

완전한 유도

유도두 공준으로부터 로렌츠 변환 유도

Step 1. SS'의 원점 조건

SS'의 원점(x=0x' = 0)은 SS에서 x=vtx = vt에 위치합니다:

0=Avt+Bt    B=Av0 = Avt + Bt \implies B = -Av

따라서:

x=A(xvt)x' = A(x - vt)

Step 2. 역변환의 대칭성

상대성 원리에 의해, SS에서 본 SSS' \to S 변환은 vvv \to -v만 바꾼 것입니다:

x=A(x+vt)x = A(x' + vt')

여기서 같은 계수 AA를 사용합니다(등방성에 의해 AAv2v^2에만 의존).

Step 3. 광속 불변 적용

t=0t = 0에서 원점으로부터 발사된 빛은 두 기준틀에서 모두 x=ctx = ct, x=ctx' = ct'을 만족해야 합니다.

x=A(xvt)x' = A(x - vt)x=ctx = ct를 대입:

ct=A(ctvt)=At(cv)(1)ct' = A(ct - vt) = At(c - v) \quad \cdots (1)

x=A(x+vt)x = A(x' + vt')x=ctx' = ct'를 대입:

ct=A(ct+vt)=At(c+v)(2)ct = A(ct' + vt') = At'(c + v) \quad \cdots (2)

(1)×(2)(1) \times (2):

c2tt=A2tt(cv)(c+v)=A2tt(c2v2)c^2 t t' = A^2 t t'(c - v)(c + v) = A^2 t t'(c^2 - v^2)

c2=A2(c2v2)c^2 = A^2(c^2 - v^2)

A=11v2/c2=γA = \frac{1}{\sqrt{1 - v^2/c^2}} = \gamma

Step 4. 시간 변환 결정

x=γ(xvt)x' = \gamma(x - vt)x=γ(x+vt)x = \gamma(x' + vt')에 대입하여 tt'를 구합니다:

x=γ[γ(xvt)+vt]x = \gamma[\gamma(x - vt) + vt']

x=γ2xγ2vt+γvtx = \gamma^2 x - \gamma^2 vt + \gamma vt'

γvt=x(1γ2)+γ2vt\gamma vt' = x(1 - \gamma^2) + \gamma^2 vt

1γ2=111β2=β21β2=γ2β21 - \gamma^2 = 1 - \frac{1}{1-\beta^2} = \frac{-\beta^2}{1-\beta^2} = -\gamma^2\beta^2를 이용하면:

γvt=γ2β2x+γ2vt\gamma vt' = -\gamma^2 \beta^2 x + \gamma^2 vt

t=γ ⁣(tβ2xv)vγv1t' = \gamma\!\left(t - \frac{\beta^2 x}{v}\right) \cdot \frac{v}{\gamma v \cdot 1}

정리하면 (β2/v=v/c2\beta^2/v = v/c^2):

t=γ ⁣(tvxc2)\boxed{t' = \gamma\!\left(t - \frac{vx}{c^2}\right)}

최종 결과:

x=γ(xvt),y=y,z=z,t=γ ⁣(tvxc2)\boxed{x' = \gamma(x - vt), \quad y' = y, \quad z' = z, \quad t' = \gamma\!\left(t - \frac{vx}{c^2}\right)}

불변 간격의 검증

유도로렌츠 변환에 의한 간격 불변성

로렌츠 변환이 시공간 간격(spacetime interval) s2=c2t2x2y2z2s^2 = c^2t^2 - x^2 - y^2 - z^2을 보존함을 직접 확인합니다:

c2t2x2=γ2 ⁣(ctvxc)2γ2(xvt)2c^2t'^2 - x'^2 = \gamma^2\!\left(ct - \frac{vx}{c}\right)^2 - \gamma^2(x - vt)^2

=γ2 ⁣[c2t22vxt+v2x2c2x2+2vxtv2t2]= \gamma^2\!\left[c^2t^2 - 2vxt + \frac{v^2x^2}{c^2} - x^2 + 2vxt - v^2t^2\right]

=γ2 ⁣[c2t2 ⁣(1v2c2)x2 ⁣(1v2c2)]= \gamma^2\!\left[c^2t^2\!\left(1 - \frac{v^2}{c^2}\right) - x^2\!\left(1 - \frac{v^2}{c^2}\right)\right]

=γ2(1β2)(c2t2x2)=c2t2x2= \gamma^2(1 - \beta^2)(c^2t^2 - x^2) = c^2t^2 - x^2

γ2(1β2)=1\gamma^2(1 - \beta^2) = 1이므로:

c2t2x2y2z2=c2t2x2y2z2\boxed{c^2t'^2 - x'^2 - y'^2 - z'^2 = c^2t^2 - x^2 - y^2 - z^2}

시공간 간격은 로렌츠 불변량입니다.

일반적인 방향의 부스트

참고일반 부스트 (Arbitrary direction boost)

v\mathbf{v}가 임의의 방향일 때, 위치벡터를 v\mathbf{v}에 평행한 성분과 수직 성분으로 분해합니다:

r=(rv^)v^,r=rr\mathbf{r}_\parallel = \frac{(\mathbf{r} \cdot \hat{\mathbf{v}})}{}\hat{\mathbf{v}}, \quad \mathbf{r}_\perp = \mathbf{r} - \mathbf{r}_\parallel

일반 로렌츠 부스트:

r=r+γ(rvt),t=γ ⁣(tvrc2)\mathbf{r}' = \mathbf{r}_\perp + \gamma(\mathbf{r}_\parallel - \mathbf{v}t), \quad t' = \gamma\!\left(t - \frac{\mathbf{v} \cdot \mathbf{r}}{c^2}\right)

또는 명시적으로:

r=r+(γ1)(rv)v2vγvt\mathbf{r}' = \mathbf{r} + \frac{(\gamma - 1)(\mathbf{r} \cdot \mathbf{v})}{v^2}\mathbf{v} - \gamma\mathbf{v}t

이 변환은 좌표축의 선택에 의존하지 않는 공변적(covariant) 형태입니다.

예제유도 결과의 갈릴레이 극한 검증

vcv \ll c일 때 γ1\gamma \to 1, v/c20v/c^2 \to 0이므로:

xxvt,ttvxc20tx' \approx x - vt, \quad t' \approx t - \underbrace{\frac{vx}{c^2}}_{\to\, 0} \approx t

기대한 대로 갈릴레이 변환이 복원됩니다. 시간 변환의 vx/c2vx/c^2 항은 일상적 스케일에서 무시할 수 있을 정도로 작습니다: v=100 km/hv = 100\ \text{km/h}, x=1 kmx = 1\ \text{km}이면 vx/c21013 svx/c^2 \sim 10^{-13}\ \text{s}.