Noether 점 대칭과 경계 보정 전하

정리가 보장하는 것부터 묻기

대칭은 여러 배치와 속도에 걸쳐 성립하는 함수의 성질입니다. 보존은 물리적인 운동을 따라 어떤 양이 변하지 않는다는 뜻입니다. Noether 정리는 작용을 통해 두 진술을 연결합니다. 특정 곡선에서 우연히 일정한 양을 발견했다고 해서 전체 모델의 대칭을 찾은 것은 아닙니다.

이 단원에서는 정확한 다항식 후보 경로를 정하고, 뉴턴 방정식의 잔차와 보정된 보존량을 계산합니다. 어떤 후보는 실제 해이고 어떤 후보는 의도적으로 해가 아닙니다. 그림이 평평해 보이는지를 기준으로 판정하지 않습니다. 유리수 다항식의 모든 계수를 검사합니다. 새로운 미분방정식 적분기를 실행하는 실험도 아닙니다.

세 질문을 따로 확인하세요. 선택한 변환은 경계항을 허용한 작용의 대칭인가요? 후보 경로 전체가 운동방정식을 만족하나요? 보정된 양은 후보 경로 전체에서 일정한가요? 이 세 질문의 답이 항상 같지는 않습니다.

모델과 물리 단위 정하기

위치는 $q=(x,y)$이며 단위는 m, 속도는 $v=(\dot x,\dot y)$이며 단위는 m/s입니다. 질량 $m$은 양수입니다. 두 강성 $k_x,k_y$의 단위는 N/m이고 일정한 외력 $F_x,F_y$의 단위는 N입니다. 다음 Lagrangian을 사용합니다.

$$L_0=\frac m2(\dot x^2+\dot y^2)-\frac{k_xx^2+k_yy^2}{2}+F_xx+F_yy.$$

퍼텐셜은 $U=(k_xx^2+k_yy^2)/2-F_xx-F_yy$입니다. 따라서 물리적인 힘은 $(F_x-k_xx,F_y-k_yy)$입니다. 양의 일정한 외력은 양의 위치 방향으로 가속합니다. 일정한 외력과 위치에 비례하는 복원력은 구분해야 합니다.

질량과 강성 설정은 정수 값을 사용합니다. 외력·경계함수 계수 코드는 입력을2로 나눈 값입니다. 조회 코드를20으로 나누면0초부터2초까지의 물리적 시각을 얻습니다. 그림은1/40초 간격으로 표시하지만, 전체 경로의 판정은 표본 사이를 추측하지 않고 정확한 다항식을 검사합니다.

변환 매개변수의 단위 맞추기

무차원인 미소 매개변수 $\epsilon$에 대해 $\delta q=\epsilon\eta(q)$라고 씁니다. 선택 가능한 생성자는 다음과 같습니다.

$$\eta_x=(\ell_*,0),\qquad \eta_y=(0,\ell_*),\qquad \eta_R=(-y,x),\qquad \ell_*=1\ \mathrm m.$$

생성자의 각 성분은 m 단위이므로 모든 표시 전하 $Q$의 단위는 Js입니다. 여기서 전하는 전기적 전하만을 뜻하지 않고 대칭에 대응하는 Noether 양이라는 뜻입니다. 병진에서는 $Q/\ell_*$가 운동량이고 회전에서는 $Q$가 평면 각운동량입니다. 기준 길이를1 m로 정하면 수치는 같아 보일 수 있지만 물리량의 의미와 단위를 지우면 안 됩니다.

회전 생성자의 시간 변화는 $\dot\eta_R=(-\dot y,\dot x)$입니다. 위치를 회전할 때 속도도 함께 변환해야 합니다. 위치만 바꾸고 속도를 그대로 두면 이 점 변환을 구현한 것이 아닙니다. 또한 $\epsilon\eta_R$는 유한 회전의 일차 접선 변화입니다. 유한한 접선 걸음 자체가 정확한 회전은 아닙니다.

작용의 경계항 허용하기

유용한 대칭이 항상 Lagrangian을 그대로 유지하는 것은 아닙니다. 일차 변화가 $\delta L=\dot B$라면 작용의 변화는 $\epsilon[B]_{t_0}^{t_1}$라는 끝점 항입니다. 이때 보정된 전하는

$$Q=p\cdot\eta-B,\qquad p=\frac{\partial L}{\partial v}$$

입니다. $B$는 Js, $\dot B$는 J 단위입니다. 이러한 성질을 준대칭 또는 전미분까지 허용한 변분 대칭이라고 부릅니다. 끝점 항 때문에 작용의 수치가 달라져도 Euler-Lagrange 방정식은 같을 수 있습니다.

이 모델에도 중요한 예가 있습니다. 일정한 외력이 있으면 $\delta_xL_0=F_x\ell_*$입니다. 이는 $B_0=F_x\ell_*t$의 시간 미분입니다. 따라서 $k_x=0$이면 외력이0이 아니어도 병진은 준대칭입니다. 보존되는 양은 단순한 기계적 운동량이 아니라 $\ell_*(m\dot x-F_xt)$입니다. 외력이 있다는 이유만으로 병진 준대칭이 모두 사라졌다고 판정하면 이 경계항을 놓칩니다.

힘을 바꾸지 않고 표현 바꾸기

$\gamma$의 단위를 N으로 두고 $G=\gamma tx$의 전미분을 더합니다.

$$L_\gamma=L_0+\frac{dG}{dt}=L_0+\gamma x+\gamma t\dot x, \qquad p_\gamma=(m\dot x+\gamma t,m\dot y).$$

추가한 항은 Euler-Lagrange 방정식에서 상쇄됩니다. 공간 생성자에 따른 경계함수의 변화는 $\delta G=\gamma t\eta_x$입니다. 따라서 사용할 전체 경계항은

$$B=B_0+\gamma t\eta_x$$

입니다. 여기서 $B_0$는 x 병진에서는 $F_x\ell_*t$, y 병진에서는 $F_y\ell_*t$, 회전에서는0입니다. $p_\gamma\cdot\eta-B$를 계산하면 $\gamma$에 따른 변화가 정확히 사라집니다. 정준 운동량과 보정 전의 양, 표시한 Lagrangian의 엄격한 불변성은 바뀌어도 보정된 전하는 같습니다.

이 경계함수의 추가를 Noether 제2정리의 구현으로 해석하지는 않습니다. 여기서는 전역적인 대칭 매개변수를 사용합니다. 시간마다 자유롭게 고르는 국소 게이지 매개변수에 대한 운동방정식 항등식을 구현한 것이 아닙니다.

운동방정식을 넣기 전에 항등식 유도하기

뉴턴 잔차의 부호를 다음과 같이 고정합니다.

$$R=m\ddot q+Kq-F,\qquad D=\delta L_\gamma-\dot B.$$

$R$은 N, 대칭 결함 $D$는 J 단위입니다. $p_\gamma\cdot\eta$를 곱의 법칙으로 미분하고 $R=\dot p_\gamma-\partial_qL_\gamma$를 넣으면

$$\boxed{\dot Q=D+R\cdot\eta}$$

를 얻습니다. 이 식을 유도할 때 경로가 운동방정식을 만족한다고 가정하지 않았습니다. 충분히 매끄러운 모든 후보 경로에서 성립하는 항등식입니다. 전체 상태 공간에서 $D\equiv0$인 변환을 택하고, 전체 경로에서 $R\equiv0$인 해를 택하면 비로소 $\dot Q=0$이라는 보존 결론이 나옵니다.

반대로 한 곡선의 $\dot Q=0$은 비영인 두 항의 상쇄 때문일 수도 있습니다. 조회 시각의 잔차가0이어도 다른 시각의 잔차는 비영일 수 있습니다. 커서의 숫자 하나와 전체 다항식의 성질을 구분하세요.

전체 변환의 대칭 판정하기

지정한 경계항에 대응하는 전역 결함은 다음과 같습니다.

$$D_x=-k_xx\ell_*,\qquad D_y=-k_yy\ell_*,$$ $$D_R=(k_x-k_y)xy+F_yx-F_xy.$$

따라서 x 병진 준대칭의 조건은 $k_x=0$, y 병진 준대칭의 조건은 $k_y=0$입니다. 회전 준대칭에는 $k_x=k_y$와 $F_x=F_y=0$이 모두 필요합니다. 특정 궤적의 값이 아니라 독립적인 위치 변수에 대한 모든 계수를 검사합니다.

엄격한 불변성은 다른 항목입니다. x 병진에서 $L_0$가 그대로 유지되려면 $k_x=F_x=0$이어야 합니다. 반면 $L_\gamma$가 그대로 유지되는 조건은 $k_x=0$과 $F_x+\gamma=0$입니다. 외력이 있어도 이 조건이 성립할 수 있으며, 이 경우 시간에 의존하는 정준 운동량이 기계적 운동량과의 차이를 담당합니다. 회전에서는 $\gamma\ne0$ 때문에 표시한 함수의 엄격한 회전 불변성이 사라져도 경계항으로 보정한 대칭은 유지될 수 있습니다.

결함의 계수는 서로 다른 물리 단위의 단항식에 곱해집니다. 계수의 숫자 크기를 무작정 더하지 않습니다. 코드에서는 기저와 계수 단위를 따로 노출하고, 전역 판정에는 각 계수가 정확히0인지만 사용합니다.

후보 경로 전체를 검사하기

경로 코드는 차례대로 $(1+t,1-t)$, $(1+t^2/2,1+t)$, $(1,1)$, $(1+t,2+2t)$, $(1+t,0)$, $(0,0)$입니다. 각 시간 거듭제곱의 계수에는 위치가 m이 되도록 필요한 SI 단위가 붙습니다. 외력 설정으로 자동 생성한 해가 아니라 미리 정한 후보입니다.

같은 경로도 모델에 따라 실제 해가 되거나 해가 아니게 됩니다. 둘째 경로의 x 성분은 $m=1$ kg, $k_x=0$, $F_x=1$ N에서는 뉴턴 방정식을 만족하지만 자유 입자 모델에서는 만족하지 않습니다. 원점에 머무는 경로는 외력이 없는 스프링에서는 해지만 비영인 일정한 외력이 있으면 해가 아닙니다.

운동방정식 판정은 두 잔차 다항식의 모든 계수가0인지 확인합니다. 전하의 일정함은 전하 미분 다항식을 검사합니다. 조회 시각만 바꾸어도 이 전역·전체 경로 판정이나 전체 곡선이 달라지지는 않습니다.

회전 보존의 양의 예도 확인하세요. 질량1 kg, 강성과 외력0에서 첫 경로 $(1+t,1-t)$는 실제 자유 운동이며 각운동량은 비영인 $Q=-2$ Js입니다. 회전 결함과 뉴턴 잔차가 모두0이므로 정리의 전제가 함께 성립합니다. 모든 표시 전하가 자명하게0일 수 있는 정지 원점과 달리, 비영인 보존량을 가진 사례입니다.

외력이 있는 병진 예제 계산하기

질량1 kg, 두 강성0, $F_x=1$ N, $F_y=0$으로 두고 $q=(1+t^2/2,1+t)$를 선택합니다. x 병진과 $\gamma=1$ N을 사용합니다. 이 경로는 두 방향의 운동방정식을 모두 만족합니다.

1초에서 $x=1.5$ m, $\dot x=1$ m/s입니다. 표시한 정준 x 운동량은2 kg m/s입니다. 기준 길이를 곱한 보정 전의 전하는2 Js입니다. 일정한 힘의 경계항1 Js와 추가 경계함수의 항1 Js를 모두 빼면 보정된 전하는0입니다.

Lagrangian 변화와 경계항 변화율은 각각2 J이고 $D=0$, $R=0$입니다. 보정 전의 전하는2 J의 변화율로 증가하지만 보정된 전하는0으로 유지됩니다. $\gamma$를0 또는−1 N으로 바꾸어도 물리적 힘과 보정된 전하는 같습니다. 특히−1 N에서는 표시한 Lagrangian에서 x가 사라집니다. 순환 좌표라는 표현이 선택한 대표 함수에 의존한다는 사실을 볼 수 있습니다.

대칭이어도 비물리적 경로에서는 전하가 변한다

질량1 kg, $k_x=k_y=1$ N/m, 일정한 외력0, 경계함수0으로 설정합니다. 앞의 $q=(1+t^2/2,1+t)$를 그대로 두고 회전을 선택합니다. Lagrangian은 회전 대칭이지만 이 다항식은 스프링 운동의 해가 아닙니다.

각운동량은 $Q=1-t-t^2/2$ Js입니다. 1초에서 $Q=-1/2$ Js이고 $\dot Q=-2$ J입니다. 전역 대칭 결함은0이지만 $R\cdot\eta=-2$ J이므로 항등식은 여전히 정확합니다. Noether 정리가 실패한 것이 아니라 운동방정식이라는 전제가 빠진 것입니다.

2초 동안 전하는1 Js에서−3 Js로 변합니다. 적분한 대칭 결함은0, 적분한 잔차 수축은−4 Js입니다. 끝점만 보고 내부 잔차를 무시하면 왜 전하가 바뀌었는지 설명할 수 없습니다.

전체 회전 대칭이 없어도 선택 해에서는 일정할 수 있다

$k_x=0$, $k_y=1$ N/m, 외력0에서 $q=(1+t,0)$을 선택합니다. x 방향은 자유 운동이고 y 스프링의 변위는0이므로 실제 해입니다. 이 해의 각운동량은 항상0입니다.

그러나 전체 회전 결함 $D_R=-xy$는 영함수가 아닙니다. 선택한 경로의 $y=0$ 때문에 그 경로에서만0입니다. 전역 회전 대칭은 거짓, 물리적 경로는 참, 선택한 전하의 일정함은 참이라는 세 결과가 동시에 가능합니다.

더 강한 반례도 있습니다. 외력0, $k_x=2$, $k_y=1$에서 일정한 후보 $q=(1,1)$을 택하면 $Q=0$이지만 $D_R=1$ J, $R\cdot\eta=-1$ J입니다. 비물리적 경로에서 두 결함이 상쇄된 것입니다. 전하가 일정하다는 결과만으로는 대칭과 물리적 운동 중 어느 것도 인증할 수 없습니다.

연구에서 보존 검사를 사용하는 방법

항등식을 적분하면

$$Q(T)-Q(0)=\int_0^T D\,dt+\int_0^T R\cdot\eta\,dt$$

입니다. 모델 자체의 명시적인 대칭 결함과 후보 경로의 운동방정식 오차를 분리할 수 있습니다. 학습한 역학 모델에서 보존 오차가 작아도 힘의 법칙이 정확해서가 아니라 두 오차가 상쇄되었기 때문일 수 있습니다. 두 적분과 시간 구간, 생성자의 기준 단위를 함께 기록하세요.

$|\Delta Q|\le\int|D|dt+\int\|R\|\|\eta\|dt$라는 상계도 얻습니다. 여기서는 잔차의 두 성분이 모두 N이고 생성자의 두 성분이 모두 m이므로 각각의 벡터 노름은 단위가 일관됩니다. 다만 생성자의 크기를 제어하지 않으면 작은 잔차만으로 균일한 전하 오차 상계를 얻을 수 없습니다. 회전 생성자의 크기는 원점으로부터의 거리에 따라 커집니다.

신경망 손실의 불변성이 곧 물리적인 작용의 대칭인 것은 아닙니다. 최적화 반복도 자동으로 Euler-Lagrange 궤적이 되지 않습니다. AI 연구에서 정리를 사용하려면 작용, 연속 변환, 경계 조건, 진화 법칙을 먼저 명시해야 합니다. 장의 보존 전류, 국소 게이지 항등식, 고계 미분 작용은 이 유한차원 단원 밖의 추가 주제입니다.

해설이 있는 연습문제

1. 일정한 힘. 병진 예제에서 $\gamma=0$으로 두었을 때2초의 보정 전하를 계산하세요.

   해설: 속도는2 m/s이므로 정준 전하는2 Js입니다. 힘의 경계항 $F_x\ell_*t$도2 Js입니다. 차이는0입니다. 힘 때문에 기계적 운동량은 증가하지만 경계항을 반영한 병진 전하는 일정합니다.

2. 대표 함수의 의존성. 같은 외력에서 $\gamma=-1$ N이면 x가 순환 좌표가 됩니다. 힘도 사라진 것인가요?

   해설: 아닙니다. 적절한 SI 계수를 포함하면 $L_\gamma=mv^2/2-t\dot x$가 됩니다. 정준 x 운동량은 기계적 운동량이 아니라 $m\dot x-t$입니다. 이 양의 보존은 여전히 $m\ddot x=1$ N을 뜻합니다.

3. 대칭인 비물리적 경로. 등방 스프링 후보에서2초 동안 전하가 얼마나 변하는지 구하세요.

   해설: $Q(0)=1$ Js, $Q(2)=1-2-2=-3$ Js이므로 변화는−4 Js입니다. 전역 대칭 결함은0입니다. $R\cdot\eta=-1-t$ J를0초부터2초까지 적분하면−4 Js로 전체 변화를 설명합니다.

4. 이산 대칭. 외력이0이고 $k_x\ne k_y$여도 원점에 대한 두 좌표의 동시 반사는 $L_0$를 유지합니다. 회전 Noether 전하가 보장되나요?

   해설: 아닙니다. 반사는 이산 변환이고 선택한 회전은 연속적인 변환족입니다. 미소 회전 결함 $(k_x-k_y)xy$는 일반적으로 비영입니다. 이산 불변성이 빠진 연속 회전 대칭을 대신하지 않습니다.

5. 오해하기 쉬운 변화율0. 일정한 경로 $q=(1,1)$, $k_x=2$, $k_y=1$, 외력0에서 회전 항등식을 확인하세요.

   해설: 후보의 가속도는0입니다. 따라서 $R=(2,1)$ N, $\eta=(-1,1)$ m이고 내적은−1 J입니다. 대칭 결함은1 J입니다. 두 항이 상쇄되어 전하 변화율은0이지만 전역 대칭도 물리적 운동도 성립하지 않습니다.

6. 잔차에 의한 인증 범위. 10초 동안 $D=0$, $\|R\|\le0.01$ N, $\|\eta\|\le2$ m일 때 전하 변화의 상계를 구하세요.

   해설: 곱의 상계를 적분하면 $|\Delta Q|\le10\times0.01\times2=0.2$ Js입니다. 정규화한 선택 전하의 변화만 제한합니다. 잔차가 정확히0임을 증명하거나 빠진 전역 대칭 가정을 대신하지는 않습니다.

읽을거리와 적용 범위

유한차원 연속 변환과 보존량의 기본 연결은 David Tong의 The Lagrangian Formalism 2.4절을 참고하세요. 경계항과 시간 변환을 주의 깊게 다루는 자료는 Paul K. Townsend의 Noether theorems and higher derivatives 2절입니다. 이 단원의 다항식 모델, 힘·경계함수 비교와 해설 문제는 직접 구성한 예제입니다. 고계 미분이나 장이론으로 일반화한 내용을 코드로 구현했다고 주장하지 않습니다.