16.23 에너지 보존과 시간 병진 대칭

1. 개요

에너지 보존(conservation of energy)은 고전 역학의 가장 기본적인 보존 법칙 중 하나이며, 뇌터 정리(Noether’s theorem)의 관점에서 시간 병진 대칭(time translation symmetry)의 직접적 귀결로 이해된다. 본 절에서는 해밀턴 역학의 틀 내에서 시간 병진 대칭과 에너지 보존의 관계를 엄밀히 유도하고, 해밀터니안이 운동 상수(constant of motion)가 되는 조건을 체계적으로 분석한다.

2. 시간 병진 대칭의 정의

2.1 시간 병진 변환

시간 병진 변환은 물리 시스템의 시간 원점을 평행 이동시키는 변환으로서 다음과 같이 정의된다.

t \to t' = t + \epsilon

여기서 \epsilon은 임의의 실수이다. 좌표와 운동량은 다음과 같이 변환된다.

q_i(t) \to q_i'(t') = q_i(t), \qquad p_i(t) \to p_i'(t') = p_i(t)

2.2 시스템의 시간 균질성

시스템이 시간 병진에 대해 대칭이라는 것은 동역학 법칙이 시간 원점의 선택에 의존하지 않음을 의미한다. 이를 시간 균질성(homogeneity of time)이라 한다. 즉, 임의의 시각 t_0에서 출발한 실험과 t_0 + \epsilon에서 출발한 실험이 동일한 결과를 산출한다.

3. 라그랑주 역학에서의 유도

3.1 라그랑지언의 시간 의존성

라그랑지언 L(\mathbf{q}, \dot{\mathbf{q}}, t)의 전미분을 고려한다.

\frac{dL}{dt} = \sum_i\frac{\partial L}{\partial q_i}\dot{q}_i + \sum_i\frac{\partial L}{\partial \dot{q}_i}\ddot{q}_i + \frac{\partial L}{\partial t}

라그랑주 방정식 \frac{d}{dt}\frac{\partial L}{\partial \dot{q}_i} = \frac{\partial L}{\partial q_i}를 대입하면 다음을 얻는다.

\frac{dL}{dt} = \sum_i\left(\frac{d}{dt}\frac{\partial L}{\partial \dot{q}_i}\right)\dot{q}_i + \sum_i\frac{\partial L}{\partial \dot{q}_i}\ddot{q}_i + \frac{\partial L}{\partial t} = \frac{d}{dt}\left(\sum_i\frac{\partial L}{\partial \dot{q}_i}\dot{q}_i\right) + \frac{\partial L}{\partial t}

3.2 에너지 함수의 정의

위 식을 재배열하여 에너지 함수(energy function) 또는 야코비 적분(Jacobi integral)이라 불리는 양을 정의한다.

h(\mathbf{q}, \dot{\mathbf{q}}, t) = \sum_i\frac{\partial L}{\partial \dot{q}_i}\dot{q}_i - L

그러면

\frac{dh}{dt} = -\frac{\partial L}{\partial t}

가 성립한다.

3.3 시간 병진 대칭의 조건

라그랑지언이 시간에 명시적으로 의존하지 않는 경우, 즉

\frac{\partial L}{\partial t} = 0

이면 에너지 함수는 운동 상수가 된다.

\frac{dh}{dt} = 0 \quad\Longrightarrow\quad h = \text{const}

이것이 라그랑주 역학에서 시간 병진 대칭으로부터 에너지 보존이 유도되는 과정이다.

4. 해밀턴 역학에서의 유도

4.1 해밀터니안의 전미분

해밀턴 역학에서는 해밀터니안 H(\mathbf{q}, \mathbf{p}, t)의 시간에 대한 전미분을 계산한다.

\frac{dH}{dt} = \sum_i\frac{\partial H}{\partial q_i}\dot{q}_i + \sum_i\frac{\partial H}{\partial p_i}\dot{p}_i + \frac{\partial H}{\partial t}

4.2 정준 방정식의 적용

해밀턴의 정준 방정식 \dot{q}_i = \frac{\partial H}{\partial p_i}, \dot{p}_i = -\frac{\partial H}{\partial q_i}를 대입하면 첫 두 항이 상쇄된다.

\sum_i\frac{\partial H}{\partial q_i}\frac{\partial H}{\partial p_i} - \sum_i\frac{\partial H}{\partial p_i}\frac{\partial H}{\partial q_i} = 0

따라서 다음의 관계를 얻는다.

\frac{dH}{dt} = \frac{\partial H}{\partial t}

4.3 해밀터니안의 보존 조건

해밀터니안이 시간에 명시적으로 의존하지 않으면

\frac{\partial H}{\partial t} = 0 \quad\Longrightarrow\quad \frac{dH}{dt} = 0

즉 해밀터니안은 운동 상수이다. 이것이 해밀턴 역학에서 시간 병진 대칭과 에너지 보존의 관계이다.

5. 푸아송 괄호를 이용한 표현

5.1 해밀턴 흐름의 무한소 생성자

정준 변수 f(\mathbf{q}, \mathbf{p}, t)의 시간 전미분은 푸아송 괄호 형식으로 다음과 같이 표현된다.

\frac{df}{dt} = \{f, H\} + \frac{\partial f}{\partial t}

특히 f = H를 대입하면 \{H, H\} = 0이므로

\frac{dH}{dt} = \frac{\partial H}{\partial t}

이 결과는 앞 절의 유도와 일치한다. 해밀터니안 자체가 시간 병진에 대응하는 무한소 정준 변환(infinitesimal canonical transformation)의 생성자(generator)이며, 해밀터니안의 명시적 시간 의존성이 사라지는 경우 시간 병진이 대칭이 되어 해밀터니안 자신이 보존된다.

5.2 뇌터 전류로서의 해밀터니안

뇌터 정리에 따르면 연속 대칭에는 보존되는 전류가 대응된다. 시간 병진 \delta t = \epsilon, \delta q_i = 0에 대응하는 뇌터 전류는

J = -\left(\sum_i p_i\dot{q}_i - L\right) = -H

이며, 부호를 제외하면 해밀터니안 그 자체이다.

6. 에너지 함수와 총 에너지의 관계

6.1 야코비 적분과 기계적 에너지

에너지 함수 h가 시스템의 총 기계적 에너지 T + V와 일치하는 조건은 다음 두 가지이다.

• 구속 조건이 경화 구속(scleronomic constraint), 즉 시간에 명시적으로 의존하지 않는다.
• 퍼텐셜 에너지 V가 속도에 의존하지 않고 위치만의 함수이다.

이러한 조건 하에서 운동 에너지 T는 일반화 속도의 2차 동차 형식이 되어 오일러의 동차 함수 정리(Euler’s theorem on homogeneous functions)에 의해 \sum_i\frac{\partial T}{\partial \dot{q}_i}\dot{q}_i = 2T가 성립하고, 결과적으로

h = \sum_i\frac{\partial L}{\partial \dot{q}_i}\dot{q}_i - L = 2T - (T - V) = T + V = E

가 얻어진다.

6.2 에너지 함수와 총 에너지의 불일치

구속 조건이 시간에 명시적으로 의존하는 레오노믹 구속(rheonomic constraint)의 경우, 또는 일반화 퍼텐셜이 속도에 의존하는 경우에는 에너지 함수와 총 기계적 에너지가 일치하지 않는다. 이러한 경우 시간 병진 대칭이 존재하더라도 보존되는 양은 h이지 T + V가 아니다. 이는 에너지 개념의 정식화에 있어 유의해야 할 점이다.

7. 명시적 시간 의존성이 있는 경우

7.1 시간 병진 대칭의 파괴

해밀터니안이 시간에 명시적으로 의존하는 경우 시스템의 시간 병진 대칭이 파괴된다. 대표적 예시는 다음과 같다.

• 외부 시간 의존 구동력(driving force)이 작용하는 시스템
• 시간에 따라 변화하는 구속 조건을 갖는 시스템
• 시간 의존 외부 장(external field) 속에서 운동하는 입자

이러한 경우 해밀터니안은 보존되지 않으며, 에너지의 시간 변화율은 \frac{dH}{dt} = \frac{\partial H}{\partial t}에 의해 정량화된다.

7.2 외부로부터의 에너지 공급

시간 의존 해밀터니안을 갖는 시스템은 외부와 에너지를 교환한다고 해석된다. 에너지가 공급되거나 소모되는 비율은 해밀터니안의 편미분으로 주어진다. 이러한 관점은 로봇 시스템에서 액추에이터가 공급하는 입력 에너지를 분석하는 데 유용하다.

8. 로봇공학에서의 의의

8.1 매니퓰레이터 동역학의 에너지 해석

다자유도 매니퓰레이터의 동역학에서 해밀턴 역학을 적용하면 조인트 좌표 \mathbf{q}와 일반화 운동량 \mathbf{p}에 의해 해밀터니안이 정의된다. 외부 구동 토크가 없고 중력만 작용하는 자유 운동의 경우 시간 병진 대칭이 성립하여 총 에너지가 보존된다. 이는 동역학 시뮬레이션의 정확도 검증에 활용되는 중요한 판정 기준이 된다.

8.2 수동성 기반 제어

수동성 기반 제어(passivity-based control) 이론에서는 시스템의 저장 함수(storage function)로서 해밀터니안을 사용한다. 시간 병진 대칭과 에너지 보존의 관계는 이러한 제어 설계의 이론적 기반을 제공한다. 포트-해밀턴 시스템(port-Hamiltonian system) 표현은 시스템의 에너지 흐름을 명시적으로 모델링하여, 외부와 에너지를 주고받는 로봇 시스템의 분석에 적합하다.

8.3 수치 적분에서의 에너지 보존

심플렉틱 적분기(symplectic integrator)는 해밀턴 시스템의 시간 병진 대칭을 이산화 수준에서 유지하도록 설계되어, 장시간 시뮬레이션에서 에너지 드리프트(energy drift)를 억제한다. 이는 로봇 동역학의 정밀 시뮬레이션에 핵심적인 수치 기법이다.

9. 본 절의 의의

본 절은 시간 병진 대칭과 에너지 보존 법칙의 관계를 라그랑주 역학과 해밀턴 역학의 양쪽 관점에서 유도하고, 에너지 함수와 총 기계적 에너지의 관계 및 명시적 시간 의존성의 효과를 분석하였다. 이러한 결과는 로봇 동역학의 분석, 수동성 기반 제어 설계, 심플렉틱 수치 적분의 이론적 기반으로 활용된다.

10. 학습 권장사항

• 라그랑주 역학과 해밀턴 역학 양쪽에서 에너지 보존의 유도 과정을 따라간다.
• 에너지 함수와 총 기계적 에너지가 일치하는 조건을 정확히 이해한다.
• 시간 의존 해밀터니안 시스템에서 에너지 변화를 분석해 본다.
• 매니퓰레이터 모델에 적용하여 에너지 보존을 수치적으로 검증한다.

11. 참고 문헌

• Goldstein, H., Poole, C., & Safko, J. (2002). Classical Mechanics (3rd ed.). Addison-Wesley.
• Arnold, V. I. (1989). Mathematical Methods of Classical Mechanics (2nd ed.). Springer.
• Landau, L. D., & Lifshitz, E. M. (1976). Mechanics (3rd ed.). Butterworth-Heinemann.
• José, J. V., & Saletan, E. J. (1998). Classical Dynamics: A Contemporary Approach. Cambridge University Press.
• van der Schaft, A. (2017). L2-Gain and Passivity Techniques in Nonlinear Control (3rd ed.). Springer.

version: 1.0