16.37 해밀턴 역학과 라그랑주 역학의 동치성

1. 개요

해밀턴 역학과 라그랑주 역학은 고전 역학의 동등한 두 정식화(formulation)로서, 동일한 물리 현상을 서로 다른 수학적 틀에서 기술한다. 본 절에서는 두 정식화 사이의 엄밀한 동치성을 르장드르 변환(Legendre transform)의 수학적 구조와 변분 원리의 관점에서 체계적으로 다룬다. 또한 동치성이 성립하는 조건, 르장드르 변환이 퇴화하는 경우, 변수 공간의 차이와 기하학적 해석을 논의한다.

2. 두 정식화의 기본 대응

2.1 변수 공간의 차이

라그랑주 역학은 구성 공간(configuration space)의 접 다발(tangent bundle) TQ 위에서 전개된다. 좌표는 일반화 좌표와 일반화 속도의 쌍 (q_i, \dot{q}_i)이다. 반면 해밀턴 역학은 쌍대(cotangent) 다발 T^*Q 위에서 전개되며, 좌표는 일반화 좌표와 일반화 운동량의 쌍 (q_i, p_i)이다.

2.2 르장드르 변환

두 변수 공간 사이의 연결은 르장드르 변환에 의해 정의된다.

p_i = \frac{\partial L}{\partial \dot{q}_i}

H(\mathbf{q}, \mathbf{p}, t) = \sum_i p_i\dot{q}_i - L(\mathbf{q}, \dot{\mathbf{q}}, t)

여기서 오른쪽 변의 \dot{q}_i는 첫 번째 관계를 역으로 풀어 \dot{q}_i = \dot{q}_i(\mathbf{q}, \mathbf{p}, t)로 표현된다.

2.3 역변환

르장드르 변환은 비퇴화 조건 아래에서 가역이다. 역변환은

\dot{q}_i = \frac{\partial H}{\partial p_i}

L(\mathbf{q}, \dot{\mathbf{q}}, t) = \sum_i p_i\dot{q}_i - H(\mathbf{q}, \mathbf{p}, t)

로 주어진다. 이 대칭적 구조는 르장드르 변환의 기본적 성질이다.

3. 운동 방정식의 동치성

3.1 라그랑주 방정식

오일러-라그랑주 방정식은 다음과 같다.

\frac{d}{dt}\frac{\partial L}{\partial \dot{q}_i} - \frac{\partial L}{\partial q_i} = 0

이는 n개의 2차 미분 방정식으로 구성된다.

3.2 해밀턴 정준 방정식

해밀턴 정준 방정식은 다음과 같다.

\dot{q}_i = \frac{\partial H}{\partial p_i}, \qquad \dot{p}_i = -\frac{\partial H}{\partial q_i}

이는 2n개의 1차 미분 방정식으로 구성된다.

3.3 동치성의 증명

해밀터니안의 정의와 르장드르 변환의 성질을 이용하여 두 방정식계가 동치임을 직접 증명할 수 있다. H = \sum_i p_i\dot{q}_i - L의 양변의 미분을 취하면

dH = \sum_i\dot{q}_i\,dp_i + \sum_i p_i\,d\dot{q}_i - dL

이다. 라그랑지언의 미분

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

를 대입하고 p_i = \partial L/\partial\dot{q}_i를 이용하면

dH = \sum_i\dot{q}_i\,dp_i - \sum_i\frac{\partial L}{\partial q_i}dq_i - \frac{\partial L}{\partial t}dt

가 된다. 이를 해밀터니안이 \mathbf{q}, \mathbf{p}, t의 함수임을 고려한 미분

dH = \sum_i\frac{\partial H}{\partial q_i}dq_i + \sum_i\frac{\partial H}{\partial p_i}dp_i + \frac{\partial H}{\partial t}dt

와 비교하여 다음의 관계를 얻는다.

\frac{\partial H}{\partial p_i} = \dot{q}_i, \qquad \frac{\partial H}{\partial q_i} = -\frac{\partial L}{\partial q_i}, \qquad \frac{\partial H}{\partial t} = -\frac{\partial L}{\partial t}

오일러-라그랑주 방정식 \frac{d}{dt}p_i = \frac{\partial L}{\partial q_i}에 위 관계를 대입하면 \dot{p}_i = -\frac{\partial H}{\partial q_i}를 얻으며, 이로써 정준 방정식이 도출된다.

3.4 해의 대응

라그랑주 방정식의 해 (\mathbf{q}(t), \dot{\mathbf{q}}(t))는 르장드르 변환에 의해 해밀턴 정준 방정식의 해 (\mathbf{q}(t), \mathbf{p}(t))로 일대일 대응된다. 이는 두 정식화가 동일한 물리적 궤적을 기술함을 의미한다.

4. 변분 원리의 관점에서의 동치성

4.1 해밀턴 원리

라그랑주 역학의 기초인 해밀턴 원리는 작용

S = \int_{t_1}^{t_2}L(\mathbf{q}, \dot{\mathbf{q}}, t)\,dt

를 끝점을 고정한 채로 변분한 경우 실제 궤적이 정상 조건 \delta S = 0을 만족한다는 주장이다.

4.2 확장 해밀턴 원리

해밀턴 역학에서는 확장 해밀턴 원리(modified Hamilton’s principle)가 변분 기초로 사용된다.

S = \int_{t_1}^{t_2}\left[\sum_i p_i\dot{q}_i - H(\mathbf{q}, \mathbf{p}, t)\right]dt

이 작용을 \mathbf{q}와 \mathbf{p}에 대해 독립적으로 변분하면 해밀턴 정준 방정식이 도출된다.

4.3 변분 원리의 동치성

르장드르 변환의 기본 관계 L = \sum_i p_i\dot{q}_i - H를 이용하여 두 작용이 본질적으로 동일함을 확인할 수 있다. 해밀턴 원리에서 운동량이 독립 변수로 도입된 확장 형식이 해밀턴 역학의 출발점이 된다. 이러한 관점에서 두 정식화의 동치성은 변분 원리 수준에서도 엄밀하게 확립된다.

5. 르장드르 변환의 비퇴화 조건

5.1 헤시안 비퇴화

르장드르 변환이 가역이기 위해서는 라그랑지언의 속도에 대한 헤시안 행렬이 비퇴화여야 한다.

\det\!\left(\frac{\partial^2 L}{\partial \dot{q}_i\,\partial \dot{q}_j}\right) \neq 0

이 조건은 p_i = \partial L/\partial\dot{q}_i를 역으로 풀어 \dot{q}_i를 \mathbf{p}의 함수로 표현할 수 있음을 보장한다.

5.2 표준 역학 시스템

대부분의 고전 역학 시스템은 운동 에너지가 일반화 속도의 2차 동차 형식이고 헤시안이 양정치이므로 비퇴화 조건이 자동적으로 성립한다.

T = \frac{1}{2}\sum_{i,j}M_{ij}(\mathbf{q})\dot{q}_i\dot{q}_j

이 경우 \frac{\partial^2 L}{\partial\dot{q}_i\,\partial\dot{q}_j} = M_{ij}이며, 관성 행렬 \mathbf{M}이 양정치인 한 르장드르 변환이 항상 가능하다.

5.3 퇴화 라그랑지언

헤시안이 퇴화되는 경우 르장드르 변환을 직접 적용할 수 없다. 이러한 퇴화 라그랑지언(degenerate Lagrangian)은 구속(constraint)을 암시적으로 포함하며, 디랙(Dirac)의 구속 시스템 이론(theory of constrained systems)이 필요하게 된다.

6. 구속 시스템에서의 동치성

6.1 디랙의 구속 분석

퇴화 라그랑지언을 갖는 시스템에서는 디랙의 구속 분석을 통해 해밀턴 정식화를 확장한다. 1차 구속(primary constraint)이 발견되면 시간 일관성 조건으로부터 2차 구속(secondary constraint)이 유도될 수 있으며, 이러한 절차를 통해 완전한 구속 집합이 구성된다.

6.2 종 구속과 2종 구속

구속은 1종(first class)과 2종(second class)으로 분류된다.

• 1종 구속: 모든 다른 구속과의 푸아송 괄호가 구속의 선형 결합으로 표현되는 구속. 게이지 자유도에 대응한다.
• 2종 구속: 그렇지 않은 구속. 디랙 괄호(Dirac bracket)의 도입을 통해 단순한 시스템으로 환원된다.

6.3 디랙 괄호

디랙 괄호는 2종 구속을 체계적으로 처리하기 위해 도입된 수정된 푸아송 괄호이다.

\{f, g\}_D = \{f, g\} - \sum_{i,j}\{f, \phi_i\}C^{ij}\{\phi_j, g\}

여기서 \phi_i는 2종 구속이고 C^{ij}는 구속 간 푸아송 괄호 행렬의 역행렬이다. 디랙 괄호를 사용하면 2종 구속을 자동으로 제거한 축약된 위상 공간에서 해밀턴 역학을 전개할 수 있다.

7. 정식화 사이의 기하학적 해석

7.1 라그랑주 형식의 기하학

라그랑주 역학의 자연스러운 기하학적 배경은 접 다발 TQ이다. 라그랑지언은 TQ 위의 함수이며, 오일러-라그랑주 방정식은 TQ 위의 2차 벡터장(second-order vector field)으로 기술된다.

7.2 해밀턴 형식의 기하학

해밀턴 역학의 자연스러운 배경은 쌍대 다발 T^*Q이며, 이 위에 심플렉틱 형식 \omega = \sum_i dp_i\wedge dq_i가 정의된다. 해밀턴 흐름은 심플렉틱 형식과 해밀터니안에 의해 결정되는 해밀턴 벡터장(Hamiltonian vector field)으로 기술된다.

7.3 섬유 미분 사상

르장드르 변환은 TQ와 T^*Q 사이의 섬유 미분 사상(fiber-preserving diffeomorphism)을 정의한다. 비퇴화 조건 하에서 이 사상은 전역적 미분동형이며, 두 기하학적 구조가 동등한 역학을 기술한다.

8. 동치성의 로봇공학에서의 의의

8.1 모델링의 유연성

로봇 시스템의 모델링에서 라그랑주 형식과 해밀턴 형식 중 어느 것을 사용할지의 선택은 문제의 특성에 따라 결정된다. 관성 행렬과 제약 조건이 중요한 매니퓰레이터 동역학은 라그랑주 형식이 편리할 수 있고, 에너지 기반 제어와 수동성 해석은 해밀턴 형식이 유리하다.

8.2 수치 적분의 선택

라그랑주 형식은 2차 미분 방정식으로 기술되어 일반적 ODE 적분기에 적합하고, 해밀턴 형식은 1차 미분 방정식 시스템으로 심플렉틱 적분기에 적합하다. 두 형식의 동치성은 필요에 따라 정식화를 바꾸어 활용할 수 있음을 보장한다.

8.3 제어 설계의 관점 전환

제어 설계에서 해밀턴 역학은 에너지 저장 함수(energy storage function)로서 제어 리아푸노프 함수(control Lyapunov function)의 자연스러운 후보를 제공한다. 라그랑주 역학은 제어 토크와 관절 좌표의 직접적 관계를 드러내는 장점이 있다. 두 관점의 자유로운 전환은 제어 이론의 실용적 응용에 기여한다.

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.
• José, J. V., & Saletan, E. J. (1998). Classical Dynamics: A Contemporary Approach. Cambridge University Press.
• Marsden, J. E., & Ratiu, T. S. (1999). Introduction to Mechanics and Symmetry (2nd ed.). Springer.
• Dirac, P. A. M. (1964). Lectures on Quantum Mechanics. Yeshiva University.

version: 1.0