3.2.3 — 노에터 정리의 확장: 시간 변환까지 포함한 연속 대칭

공간 변환 + 시간 변환을 결합한 연속 대칭에 대응하는 보존량. J=pα(ηα−q˙αξ)+Lξ−ΦJ = p_\alpha (\eta^\alpha - \dot q^\alpha \xi) + L \xi - \Phi — §2.2.3 의 노에터를 시간 매개변수의 변환까지 일반화.

본문이 말하는 것

§2.2.3 의 노에터 정리는 공간 좌표만 변하는 연속 대칭에 대한 보존량을 박았다. 본 절은 시간도 함께 변환되는 일반화.

매개변수 ε\varepsilon 의 연속 변환:

qα→qα+ε ηα(q,t),t→t+ε ξ(q,t)q^\alpha \to q^\alpha + \varepsilon\, \eta^\alpha(q, t),\quad t \to t + \varepsilon\, \xi(q, t)

이 변환에 대해 라그랑지언이 준-불변 (전미분 Φ\Phi 만큼 변함) 일 때:

L→L+ε dΦdt+O(ε2)L \to L + \varepsilon\, \frac{d \Phi}{dt} + O(\varepsilon^2)

(여기서 시간 변환의 영향까지 포함한 정확한 형식은 본문 — 자코비안 보정 + L 의 변형).

확장 노에터 정리 (extended Noether’s theorem). 위 대칭에 대응하는 제1적분:

J=pα (ηα−q˙α ξ)+L ξ−Φ\boxed{\quad J = p_\alpha\, (\eta^\alpha - \dot q^\alpha\, \xi) + L\, \xi - \Phi \quad}

가 운동의 해를 따라 상수. 즉 dJ/dt=0dJ/dt = 0.

증명: 워이스 원리 + 대칭 변환이 작용을 경계 항만큼 만 바꿈 (실제 운동에서). 경계 항이 JJ 의 두 끝점에서의 값의 차 → JJ 가 보존.

§2.2.3 와의 정확한 관계.

  • ξ=0\xi = 0 (시간 변환 없음): J=pαηα−ΦJ = p_\alpha \eta^\alpha - \Phi — §2.2.3 의 결과.
  • ξ=1\xi = 1, ηα=0\eta^\alpha = 0 (순수 시간 변위): J=−pαq˙α+L=−HJ = -p_\alpha \dot q^\alpha + L = -H — 해밀토니언. 즉 시간 변위 대칭이 에너지 보존.

본 절의 형식이 공간과 시간 변환을 한 자리에 모은 통합 표현.

한 번 더, 천천히

(1) “시간 변환 대칭” 의 기하학적 의미. 시간을 약간 미루거나 당겼을 때 (i.e., t→t+εt \to t + \varepsilon) 운동 방정식이 같은 라는 사실. 라그랑지언이 시간에 명시적으로 의존하지 않으면 이 대칭이 자동. 그 결과가 에너지 보존.

(2) 준-대칭 의 정확한 정의. 게이지 자유 (2.1.5) 를 시간 변환과 결합 — L+dF/dt→(L+dF/dt)+dΦ/dtL + dF/dt \to (L + dF/dt) + d\Phi/dt 형식의 전미분 만큼만 변함 — 으로 일반화. 갈릴레오 변환 (t→tt \to t, x→x+Vt\mathbf{x} \to \mathbf{x} + \mathbf{V} t) 이 자유 입자 라그랑지언에 전미분 을 더하는 것이 대표 예 — 보존량은 질량 중심의 균일 운동.

(3) 시공간 대칭 그룹. 갈릴레오 그룹 (비상대론) 또는 푸앵카레 그룹 (상대론) 의 공간·시간 회전·평행이동 모두 본 절의 노에터 형식으로 다뤄진다. 표준 모델 입자 물리의 내부 대칭 도 같은 형식의 일반화.

(4) 양자장 이론으로의 다리. 본 절의 형식이 시공간 위 라그랑지언 밀도 L\mathcal L 의 변분 원리에서 그대로 통한다. 시간을 공간 좌표와 동등하게 다루는 시공간 시점이 상대론적 장 이론 의 자연스러운 무대.

(5) §2.2.3 의 한계 회수. §2.2.3 의 공간만의 노에터는 시간 변환을 외부 매개변수 로 다룬 결과. 시간이 좌표가 된 확장 무대 위에서 자연스럽게 일반화. 워이스 원리 + 확장 배위공간이 그 일반화의 기하학적 근거.

파이썬으로 확인 — 자유 입자의 갈릴레오 변환 → 질량 중심 보존

이 코드의 메시지는 단순하다: R3\mathbb R^3 자유 입자에 갈릴레오 변환 (시공간 결합 변환) 을 적용. 확장 노에터 처방으로 질량 중심의 균일 운동 보존량을 기계적 으로 얻는다.

# 자유 입자 (1차원): L = (1/2) m ẋ²
# 갈릴레오 변환: x → x + V t (=ε 의 1차로 보면 η = V·t, ξ = 0)
# 그러나 L 이 변함: L → (1/2) m (ẋ + V)² = L + m ẋ V + (1/2) m V²
#                         = L + d/dt (m x V) + O(V²)
# 즉 Φ = m x V — 전미분 항으로 흡수
# 노에터 보존량: J = p (η - ẋ ξ) + L ξ - Φ = p V t + 0 - m x V = m V (ẋ t - x)
#                = -m V · (x - ẋ t)
# x - ẋ t = x_0 (초기 위치) — *질량 중심의 균일 운동*
import sympy as sp

t, V = sp.symbols('t V', real=True)
m = sp.symbols('m', positive=True)
x = sp.Function('x')(t)
dx = sp.diff(x, t)

# 자유 입자 라그랑지언
L = sp.Rational(1, 2) * m * dx**2
print(f"L = {L}")

# 갈릴레오 변환 (1차): η = t, ξ = 0 (V 를 ε 로 봄)
eta = t
xi = 0

# 변환된 라그랑지언의 1차 항 비교
# L(ẋ + V) ≈ L(ẋ) + m ẋ V + O(V²)
# 변화: m ẋ V = d/dt (m x V) — 즉 ε=V 의 1차에 Φ = m x V
Phi = m * x  # (1차 항만 — V 를 ε 로 본 후, V 계수)
dPhi_dt = sp.diff(Phi, t)
print(f"\nL 의 1차 변화 (per V): m ẋ = d/dt (m x) = {dPhi_dt}")
print(f"→ Φ = m x (전미분 항)")

# 일반화 운동량
p = sp.diff(L, dx)  # m ẋ
print(f"\np = ∂L/∂ẋ = {p}")

# 노에터 보존량 J = p η + L ξ - Φ
J = p * eta + L * xi - Phi
J_simplified = sp.simplify(J)
print(f"\nJ = p·t + L·0 - m·x = m·ẋ·t - m·x = m (ẋ t - x)")
print(f"  = -m · (x - ẋ t) = -m · x_0  (초기 위치 — 보존됨)")

# 자유 입자 운동: x(t) = x_0 + v_0 t, ẋ = v_0
# 그러면 J = m (v_0 · t - (x_0 + v_0 t)) = -m x_0 = const ✓
print(f"\n검증: 자유 입자 운동 x(t) = x_0 + v_0 t 에서")
print(f"  J = m (v_0 · t - x_0 - v_0 · t) = -m x_0  (시간 무관 — 보존됨)")

이 결과는 시공간 결합 대칭 (갈릴레오 변환) 에서 질량 중심의 균일 운동 이 자연스럽게 보존량으로 떨어짐을 보인다. 확장 노에터 정리가 공간만의 노에터 의 자연스러운 일반화임을 보여 준다.

다음 章 (4 章) 로 가는 다리

§3 의 변분 원리와 작용 = 모멘트 함수 의 시점이 박혔다. 다음 §4 는 해밀턴 형식 — 운동량을 별 좌표 로 승격하고 위상공간 T∗MT^*M 위에서 대칭적인 1차 ODE 로 운동을 적는 형식. §3 의 모멘트 함수가 르장드르 변환 과 해밀턴-야코비식 의 자연스러운 출발점.

§4 의 핵심: 위상공간의 심플렉틱 구조, 정준 방정식, 해밀토니언 벡터장, 그리고 동력학 시스템 이론 — Liouville 정리, 푸앵카레 재귀 정리 까지. 고전 역학의 정점 의 첫 번째 부분.