Noether boost·시간 병진과 작용 경계

작용의 수치를 바꾸는 대칭 살펴보기

Galilean boost는 운동에 일정한 속도를 더하는 변환입니다. 자유 입자조차 이 변환을 하면 운동에너지 Lagrangian이 달라집니다. 하지만 변화가 끝점 항의 미분이므로 운동방정식은 올바르게 변환됩니다. Noether 정리에서 경계항을 버리면 안 되는 직접적인 이유입니다.

이 단원에서는 공간적으로 균일하고 시간에 따라 변하는 외력 아래에서 boost와 시간 병진을 비교합니다. 이 모델의 boost는 준대칭으로 유지되지만 순수 시간 병진은 힘이 시간에 따라 증가하거나 감소하면 일반적으로 성립하지 않습니다. 의도적으로 비물리적인 후보도 넣습니다. 정확한 작용 항등식이 성립한다고 해서 후보가 자동으로 물리적인 해가 되지는 않습니다.

경로·작용·전하는 모두 유리수 다항식입니다. 물리적 시간은0초부터2초까지입니다. 코드는 다항식을 정확히 적분합니다. 수치 ODE 적분기를 실행하거나 유한한 표본이 평평해 보인다는 이유로 보존을 판정하지 않습니다.

외력과 Lagrangian의 대표 함수 정하기

위치 $q$의 단위는 m, 양의 질량 $m$의 단위는 kg입니다. 다음 외력과 Lagrangian을 사용합니다.

$$F(t)=F_0+F_1t,\qquad L_0=\frac m2\dot q^2+F(t)q.$$

$F_0$는 N, $F_1$은 N/s 단위입니다. 퍼텐셜은 $-F(t)q$입니다. 명시적인 시간 의존성을 주의하세요. 기계적 에너지 $E=m\dot q^2/2-F(t)q$가 항상 일정한 것은 아닙니다.

$\gamma$의 단위를 N/s로 두고 $G=\gamma t^2q/2$의 전미분을 더합니다.

$$L_\gamma=L_0+\gamma tq+\frac{\gamma t^2}{2}\dot q, \quad p_\gamma=m\dot q+\frac{\gamma t^2}{2}, \quad H_\gamma=E-\gamma tq.$$

힘·힘의 시간 기울기·경계함수 계수는 입력 코드를2로 나눈 값입니다. 초기 위치와 속도도 각각의 SI 단위로 입력/2를 사용합니다. boost 매개변수는 입력/2이며 무차원입니다. 조회 코드는 입력/20초입니다. 경계함수 계수를 바꾸면 대표 함수는 변하지만 실제 외력의 시간 일정표는 변하지 않습니다.

점 변환과 같은 시각에서의 경로 변화를 구분하기

무차원 매개변수에 대해 $\delta t=\epsilon\tau$, $\delta q=\epsilon\eta$라고 씁니다. 같은 시계 시각에서 경로를 비교하면 실제 경로 변화에 대응하는 특성은

$$\chi=\eta-\dot q\tau$$

입니다. boost에서는 $\tau=0$, $\eta=u_*t$이며 기준 속도는 $u_*=1$ m/s입니다. 순수 시간 병진에서는 $\tau=\tau_*=1$ s, $\eta=0$이므로 고정 시각의 특성은 $-\dot q\tau_*$입니다. 점의 위치 변화가0이어도 같은 시각에서 본 경로 변화는 일반적으로0이 아닙니다.

이처럼 시계 생성자 $\tau$가 상수인 경우, 연장한 Lagrangian 변화와 경계 결함을 다음처럼 정의합니다.

$$D=\tau\partial_tL+\eta\partial_qL+\dot\eta\partial_{\dot q}L-\dot B.$$

보정 전하는 $Q=p\eta-H\tau-B$입니다. 두 생성자의 기준 단위를 선택했으므로 전하의 단위는 모두 Js입니다. 양의 시간 이동에 대응하는 시계 전하는 에너지에 음의 부호가 붙습니다. 매개변수 방향을 반대로 잡으면 부호가 바뀌지만 보존 여부는 같습니다.

운동방정식 밖에서도 성립하는 항등식 유지하기

뉴턴 잔차를 $R=m\ddot q-F(t)$ N으로 정의합니다. 위 부호 규약에서

$$\boxed{\dot Q=D+R\chi}$$

입니다. 오른쪽 두 항의 단위는 J입니다. 운동방정식을 넣기 전에 곱의 미분으로 얻는 항등식입니다. 변환의 전역 결함이0이고 전체 경로의 잔차가0이어야 Noether 보존 결론을 얻습니다.

boost에서는 $\chi=u_*t$, 시계 병진에서는 $\chi=-\dot q\tau_*$입니다. 같은 잔차라도 특성이 어떤 순간0이면 그 순간의 전하 변화율에는 드러나지 않을 수 있습니다. 특히0초에는 boost 특성이0이므로 boost 전하 변화율이0이라는 사실만으로 힘의 법칙을 거의 판정할 수 없습니다.

boost 경계항을 버리지 말고 유도하기

미소 boost에서 $\delta q=u_*t$, $\delta\dot q=u_*$입니다. 기본 Lagrangian의 변화는 $m\dot q u_*+F(t)u_*t$입니다. 그 경계 원시함수는

$$B_{b,0}=m u_*q+u_*\left(\frac{F_0t^2}{2}+\frac{F_1t^3}{3}\right)$$

입니다. 대표 함수를 바꾼 항은 $\delta G=\gamma u_*t^3/2$를 더합니다. 따라서

$$B_b=B_{b,0}+\frac{\gamma u_*t^3}{2},$$ $$Q_b=u_*\left[m(t\dot q-q)-\frac{F_0t^2}{2}-\frac{F_1t^3}{3}\right]$$

를 얻습니다. 경계함수 계수 $\gamma$는 정확히 상쇄됩니다. 허용한 모든 $F_0,F_1,\gamma$에서 전역 boost 결함은0입니다. 힘이 공간적으로 균일하다는 조건이 중요합니다. 위치에 의존하는 임의의 힘에까지 이 결론을 확장하면 안 됩니다.

일반적인 후보 경로에서는 $\dot Q_b=u_*tR$입니다. 보존되는 boost 전하가 식 자체로 시간에 명시적으로 의존해도 모순이 아닙니다. 시간에 명시적으로 의존하지 않는 함수만 보존량이 되는 것은 아닙니다.

시계 전하와 실제 대칭 결함 유도하기

순수 시간 병진의 경계항은 $B_t=\tau_*\partial_tG=\tau_*\gamma tq$입니다. 따라서

$$Q_t=-\tau_*H_\gamma-B_t=-\tau_*E, \qquad D_t=\tau_*F_1q$$

이고 전체 균형은

$$\dot Q_t=\tau_*F_1q-\tau_*R\dot q$$

입니다. $F_1=0$이면 표시한 $L_\gamma$가 시간에 명시적으로 의존해도 시간 병진은 전역 준대칭입니다. 보정 전하는 원래의 기계적 에너지에 대응합니다. 표시한 대표 함수 자체가 엄격하게 시간 독립이려면 $F_1=0$과 $\gamma=0$이 모두 필요합니다.

$F_1\ne0$이면 외력 일정표에 실제 시계 의존성이 있습니다. 선택한 대표 함수의 경계항을 보정한다고 해서 $\tau_*F_1q$가 사라지지는 않습니다. 원점에서 이 항이0인 것은 전체 함수가 영함수라는 뜻이 아닙니다. 다른 시간 의존 변환의 가능성을 모두 부정하는 것은 아닙니다. 여기서는 지정한 순수 시간 병진 생성자만 판정합니다.

실제 해와 의도적인 비물리적 후보 만들기

실제 특수해는

$$q_{\mathrm{phys}}(t)=q_0+v_0t+\frac{F_0t^2}{2m}+\frac{F_1t^3}{6m}$$

입니다. 두 번 미분하면 $m\ddot q=F_0+F_1t$를 바로 확인할 수 있습니다. 후보 모드0은 이 해를 사용합니다. 모드1은 $a_*t^2/2$를 더하며 $a_*=1$ m/s²입니다. 모드2는 $j_*t^3/6$을 더하며 $j_*=1$ m/s³입니다. 잔차는 차례대로0, $ma_*$, $mj_*t$입니다.

모드2는 초기 순간의 잔차가0이지만 이후에는 비영입니다. 모드1에서는 추가 가속도가 특수해의 가속도를 상쇄하여 전체 후보가 일정한 위치로 남을 수도 있습니다. 코드는 후보의 이름이나 초기 상태를 믿지 않고 전체 잔차 다항식을 검사합니다.

실제 해에서는 boost 전하가 모든 시각에 $Q_b=-m u_*q_0$로 단순화됩니다. 초기 속도, 힘의 두 계수, 대표 함수에 의존하지 않습니다. 이 진술은 정규화한 boost 전하에 관한 것이며 모든 기계적 관측량에 대한 불변성을 뜻하지 않습니다.

유한 boost에서는 이차 항까지 검사하기

유한 변환은 $q_\epsilon=q+\epsilon u_*t$, $\dot q_\epsilon=\dot q+\epsilon u_*$입니다. 정확한 유한 경계함수는

$$\mathcal B_\epsilon=\epsilon B_{b,0} +\frac{\epsilon^2m u_*^2t}{2} +G(q_\epsilon,t)-G(q,t)$$

입니다. 이를 미분하면 $L_\gamma(q_\epsilon,\dot q_\epsilon,t)-L_\gamma(q,\dot q,t)$와 같습니다. 매개변수의 이차 항은 운동에너지 전개에서 나옵니다. 일차 미소 계산에서는 버릴 수 있어도 유한 작용 비교에서는 버릴 수 없습니다.

두 작용을 초기 시각에서0으로 적분했다면

$$S_\epsilon(t)-S(t)=\mathcal B_\epsilon(t)-\mathcal B_\epsilon(0)$$

입니다. 초기 경계값을 반드시 빼야 합니다. $q_0\ne0$이면 그 값도 비영일 수 있습니다. 이 식은 비물리적 후보에서도 정확합니다. Lagrangian의 변환 관계를 검산한 것이지 선택한 경로의 운동방정식을 검증한 것이 아닙니다. boost는 후보의 잔차를 유지하므로 비물리적인 경로를 변환해도 같은 잔차를 가진 비물리적인 경로가 됩니다.

자유 입자의 경계항 예제 계산하기

질량2 kg, 초기 위치1 m, 초기 속도2 m/s, 외력0, 경계함수0, $\epsilon=1$로 설정합니다. 실제 경로는 $q=1+2t$이고 boost 이후 속도는3 m/s입니다.

2초에서 보정 전의 boost 전하 $p u_*t$는8 Js, 경계항 $m u_*q$는10 Js입니다. 보정하면 boost 전하는−2 Js입니다. 원래 운동에너지는4 J이고 변환 후에는9 J입니다. 에너지가 관찰계에 의존해도 운동방정식의 형태는 유지됩니다.

2초 동안 작용 차이는10 Js입니다. 유한 경계함수는 마지막에12 Js, 처음에2 Js이므로 두 값의 차이가 일치합니다. 마지막 경계값만 보고하면2 Js만큼 틀립니다.

시계 전하는−4 Js입니다. 이 부호는 선택한 시간 이동의 방향 때문입니다. 익숙한 보존 에너지는 $-Q_t/\tau_*=4$ J입니다. 음의 물리 에너지가 새로 생겼다는 뜻이 아닙니다.

시간에 따라 커지는 외력과 대표 함수 비교하기

질량1 kg, $F_0=0$, $F_1=1$ N/s, 초기 위치와 속도0, $\gamma=1$ N/s, $\epsilon=1$로 설정합니다. 실제 경로는 $q=t^3/6$입니다. 2초에서 위치는4/3 m, 속도는2 m/s, 힘은2 N입니다.

boost의 정준 전하와 전체 경계항은 모두8 Js이므로 $Q_b=0$입니다. 기계적 에너지는−2/3 J이므로 보정한 시계 전하는2/3 Js입니다. 표시한 Hamiltonian은−10/3 J입니다. 보정 전의 시계 전하10/3 Js에서 $B_t=8/3$ Js를 빼면2/3 Js가 됩니다.

2초에서 $D_t=4/3$ J이고 $R=0$입니다. 시계 전하가 변하는 이유는 물리적 외력 일정표가 순수 시간 병진을 깨기 때문입니다. 반면 boost는 전역 준대칭으로 남습니다.

2초의 유한 작용 차이는9 Js입니다. $\gamma$를0으로 바꾸면5 Js이지만 보정된 boost 전하는 계속0입니다. 끝점 변화에 대해 작용과 보존 전하가 같은 방식으로 반응하지는 않습니다. 초기 원점에서는 시계 결함이 우연히0이어도 전역 시계 대칭 판정은 여전히 거짓입니다.

처음에는 맞아 보이는 후보의 함정 찾기

질량1 kg, 외력0, 초기 위치와 속도0으로 둡니다. 실제 자유 해는 계속 정지해야 하지만 모드2를 선택하여 $q=t^3/6$을 만듭니다.

원점에서는 잔차와 두 전하 변화율이 모두0입니다. 그러나 후보 전체에서는 $R=t$ N입니다. boost 전하는 $Q_b=t^3/3$ Js이고 변화율은 $t^2$ J입니다. 2초에서 각각8/3 Js와4 J입니다. 시계 전하는 $-t^4/8$ Js이고2초의 변화율은−4 J입니다.

모델의 두 전역 변환은 유효한 준대칭입니다. boost 항등식·시계 항등식·유한 작용과 경계의 항등식도 모두 정확합니다. 그래도 후보는 운동방정식을 위반합니다. 대수적 항등식의 성공을 잔차 검사의 대체물로 사용하면 안 됩니다.

서로 다른 세 불변성 해석하기

세 개념을 구분하세요. 방정식의 대칭은 해를 다른 해로 보냅니다. Lagrangian의 준대칭은 끝점 관계와 Noether 전하를 줍니다. 특정 관측량이 유한 변환 아래 그대로인지는 또 다른 조건입니다. boost 예제에서는 앞의 두 조건이 성립하지만 운동에너지는 달라집니다.

$\epsilon$은 비교 경로를 바꾸며 미소 생성자와 그 전하의 정의는 바꾸지 않습니다. $\epsilon=0$이면 두 작용 곡선과 그 차이가 같아지지만 boost 전하는 $-m u_*q_0\ne0$일 수 있습니다. $\gamma$는 정준 물리량과 작용의 끝점 값을 바꾸지만 보정된 전하나 뉴턴 잔차를 바꾸지는 않습니다.

학습한 동역학에서도 힘의 법칙이 올바르게 변환되는지, 전체 잔차가 작은지, 적절한 경계항을 사용했는지, 물리 단위가 일치하는지 각각 검사해야 합니다. 작용 항등식만을 학습 목표로 삼으면 운동방정식을 만족하지 않는 후보도 통과할 수 있습니다. 보존되는 스칼라 하나만 확인해도 진화 법칙을 놓칠 수 있습니다. 이산 적분기로 확장하려면 이산 변분 원리를 유도해야 합니다. 연속 정리를 표본 시각에 대입했다고 자동으로 이산 Noether 정리가 되는 것은 아닙니다.

해설이 있는 연습문제

1. 유한 경계의 두 끝점. 자유 예제에서 작용 차이는 왜12 Js가 아니라10 Js인가요?

   해설: 주어진 기준 단위를 포함하면 유한 경계는 $\mathcal B=2q+t$ Js입니다. 2초에서는12 Js, 처음에는2 Js입니다. 작용 차이는 마지막 경계값 하나가 아니라 마지막에서 처음을 뺀 값입니다.

2. 유한 변환의 이차 항. 자유 예제에서 $\epsilon=1$인데도 일차 항만 남기면 얼마의 오차가 생기나요?

   해설: 빠뜨린 끝점 변화는 $\epsilon^2m u_*^2T/2=2$ Js입니다. 정확한 작용 차이는10 Js이지만 일차 계산은8 Js를 줍니다. 미소 전하 계산과 유한 작용 비교는 요구하는 절단 차수가 다릅니다.

3. 외력과 대표 함수. 증가하는 외력 예제에서 시계 전하가 보정 전10/3 Js, 보정 후2/3 Js인 이유를 설명하세요.

   해설: $H_\gamma=-10/3$ J이므로 $-\tau_*H_\gamma=10/3$ Js입니다. $B_t=\tau_*\gamma tq=8/3$ Js를 빼면2/3 Js입니다. 보정 후에도 비영인 변화율이 남는 것은 대표 함수의 보정 실패가 아니라 $F_1$ 때문입니다.

4. 처음에는 보이지 않는 잔차. 자유 삼차 후보의2초 boost 균형을 구하세요.

   해설: 잔차는2 N이고 boost 특성은2 m입니다. 곱은4 J입니다. 전역 boost 결함은0이고 전하 변화율은4 J이므로 항등식과 일치합니다. 초기의0만으로 경로를 인증할 수 없었습니다.

5. 비교 매개변수0. 물리적인 자유 운동에서 질량2 kg, 초기 위치1 m로 두고 $\epsilon=0$으로 설정합니다. boost 전하도0이어야 하나요?

   해설: 아닙니다. 비교 경로가 같으므로 작용 차이는0입니다. 하지만 생성자는 계속 $u_*=1$ m/s로 정규화되어 있고 그 전하는 $-m u_*q_0=-2$ Js입니다. 이 실험에서 $\epsilon$은 생성자의 정의 자체를 재정규화하는 계수가 아닙니다.

6. 대칭 아래 달라지는 에너지. 자유 예제의 운동에너지 차이와 boost 대칭이 양립하는 이유를 설명하세요.

   해설: 에너지는4 J와9 J이므로 차이는5 J입니다. boost는 속도를 바꾸므로 관찰계에 의존하는 운동에너지가 달라집니다. 자유 방정식의 형태가 유지되고 보정된 boost 전하가 생긴다는 두 진술 중 어느 것도 운동에너지의 boost 불변성을 요구하지 않습니다.

읽을거리와 한계

유한차원 대칭의 기본 논증은 David Tong의 The Lagrangian Formalism 2.4절에 설명되어 있습니다. Paul K. Townsend의 Noether theorems and higher derivatives 2절은 시공간 특성과 경계 기여를 명시적으로 다룹니다. 증가하는 외력·유한 boost·잔차 예제는 직접 구성한 계산입니다. 국소 게이지 대칭, 장의 보존 전류, 고계 미분과 가능한 모든 동역학적 대칭의 분류는 추가 주제로 남습니다.