16.27 해밀턴-야코비 방정식의 유도

1. 개요

해밀턴-야코비 방정식(Hamilton-Jacobi equation)은 해밀턴 역학의 가장 강력한 정식화 중 하나로서, 운동 방정식을 단일 1차 편미분 방정식으로 표현한다. 본 절에서는 정준 변환(canonical transformation)과 생성 함수의 관점에서 해밀턴-야코비 방정식을 엄밀히 유도하고, 이 방정식의 구조적 의미와 특성을 체계적으로 분석한다.

2. 유도의 기본 사상

2.1 목표로 하는 정준 변환

해밀턴-야코비 정식화의 핵심 사상은 다음의 조건을 만족하는 정준 변환을 구성하는 것이다.

(q_i, p_i) \to (Q_i, P_i)

이 변환은 새로운 해밀터니안 K(\mathbf{Q}, \mathbf{P}, t)가 항등적으로 0이 되도록 설계된다.

K(\mathbf{Q}, \mathbf{P}, t) = 0

2.2 새로운 좌표의 자명성

K = 0이면 해밀턴 정준 방정식은

\dot{Q}_i = \frac{\partial K}{\partial P_i} = 0, \qquad \dot{P}_i = -\frac{\partial K}{\partial Q_i} = 0

이 되어, 새로운 좌표와 운동량이 모두 운동 상수가 된다.

Q_i = \beta_i, \qquad P_i = \alpha_i

여기서 \alpha_i와 \beta_i는 초기 조건에 의해 결정되는 상수이다.

2.3 원래 좌표의 재구성

이러한 정준 변환이 구성되면 원래 좌표는 상수 \alpha_i, \beta_i와 시간 t의 함수로 표현된다.

q_i = q_i(\boldsymbol{\alpha}, \boldsymbol{\beta}, t), \qquad p_i = p_i(\boldsymbol{\alpha}, \boldsymbol{\beta}, t)

이는 해밀턴 역학의 운동 방정식을 완전히 적분한 결과이다.

3. 생성 함수의 도입

3.1 제2종 생성 함수

해밀턴-야코비 방정식은 제2종 생성 함수 F_2(\mathbf{q}, \mathbf{P}, t)를 이용하여 유도된다. 제2종 생성 함수는 옛 좌표 q_i와 새 운동량 P_i의 함수로서 다음의 관계를 만족한다.

p_i = \frac{\partial F_2}{\partial q_i}, \qquad Q_i = \frac{\partial F_2}{\partial P_i}

3.2 새로운 해밀터니안과의 관계

정준 변환 하에서 새 해밀터니안과 옛 해밀터니안의 관계는 다음과 같이 주어진다.

K(\mathbf{Q}, \mathbf{P}, t) = H(\mathbf{q}, \mathbf{p}, t) + \frac{\partial F_2}{\partial t}

3.3 해밀턴 주함수

K = 0이 되도록 생성 함수를 선택하기 위해 생성 함수를 해밀턴 주함수(Hamilton’s principal function)라 부르고 이를 S(\mathbf{q}, \boldsymbol{\alpha}, t)로 표기한다.

S = S(\mathbf{q}, \boldsymbol{\alpha}, t)

여기서 \boldsymbol{\alpha} = \mathbf{P}는 새로운 운동량(상수)이다.

4. 해밀턴-야코비 방정식의 유도

4.1 기본 관계식

제2종 생성 함수의 관계 p_i = \frac{\partial S}{\partial q_i}를 해밀터니안에 대입한다.

H\!\left(\mathbf{q}, \frac{\partial S}{\partial \mathbf{q}}, t\right) + \frac{\partial S}{\partial t} = 0

이것이 해밀턴-야코비 방정식의 일반 형식이다.

4.2 엄밀한 표현

자유도가 n인 시스템에 대해 해밀턴-야코비 방정식은 다음과 같이 명시적으로 쓰여진다.

H\!\left(q_1, \dots, q_n, \frac{\partial S}{\partial q_1}, \dots, \frac{\partial S}{\partial q_n}, t\right) + \frac{\partial S}{\partial t} = 0

미지 함수 S는 n+1개의 독립 변수 (q_1, \dots, q_n, t)의 함수이며, 1차 편미분 방정식이다.

5. 해밀턴-야코비 방정식의 구조

5.1 차 비선형 편미분 방정식

해밀턴-야코비 방정식은 S의 1차 편미분만을 포함하는 1차 편미분 방정식이지만, 해밀터니안 H가 운동량 p_i에 대해 일반적으로 비선형이기 때문에 \frac{\partial S}{\partial q_i}에 대해 비선형이다. 이러한 비선형성이 해밀턴-야코비 방정식의 풀이를 일반적으로 어렵게 만드는 요인이다.

5.2 완전 적분의 개념

해밀턴-야코비 방정식의 완전 적분(complete integral)은 n개의 독립 상수 \alpha_1, \dots, \alpha_n을 포함하는 해이다.

S = S(\mathbf{q}, \boldsymbol{\alpha}, t) + \alpha_{n+1}

여기서 \alpha_{n+1}은 가법 상수로서 방정식에 영향을 주지 않으므로 생략할 수 있다. 완전 적분이 구성되면 해밀턴 운동 방정식의 해가 완전히 결정된다.

5.3 해의 일의성

완전 적분의 존재는 일반적으로 국소적이며, 큰 영역에서는 해가 특이성을 가질 수 있다. 이러한 특이성은 일반적으로 코스틱(caustic)이라 불리는 구조로 나타나며, 궤적이 교차하거나 접근하는 영역에서 발생한다.

6. 시간 독립 해밀턴-야코비 방정식

6.1 에너지 보존의 경우

해밀터니안이 시간에 명시적으로 의존하지 않는 경우 해밀턴-야코비 방정식에서 시간 변수를 분리할 수 있다. 해밀턴 주함수를 다음과 같이 가정한다.

S(\mathbf{q}, \boldsymbol{\alpha}, t) = W(\mathbf{q}, \boldsymbol{\alpha}) - Et

여기서 W는 해밀턴의 특성 함수(Hamilton’s characteristic function)이고 E는 에너지 상수이다.

6.2 축약된 해밀턴-야코비 방정식

위 분해를 대입하면 시간 독립 해밀턴-야코비 방정식을 얻는다.

H\!\left(\mathbf{q}, \frac{\partial W}{\partial \mathbf{q}}\right) = E

이 방정식은 시간 변수를 포함하지 않으며, 미지 함수 W는 n개의 독립 변수 (q_1, \dots, q_n)의 함수이다.

6.3 에너지의 역할

시간 독립 방정식에서 에너지 E는 운동 상수 \boldsymbol{\alpha} 중 하나로 취급된다. 예를 들어 \alpha_1 = E로 설정하면 나머지 \alpha_2, \dots, \alpha_n은 다른 운동 상수에 해당한다.

7. 정준 변환을 통한 해의 이용

7.1 원래 좌표의 명시적 표현

완전 적분 S(\mathbf{q}, \boldsymbol{\alpha}, t)가 구성되면 다음의 관계로부터 원래 좌표와 운동량을 얻는다.

\beta_i = \frac{\partial S}{\partial \alpha_i}, \qquad p_i = \frac{\partial S}{\partial q_i}

첫 번째 식은 \mathbf{q}를 \boldsymbol{\alpha}, \boldsymbol{\beta}, t의 함수로 결정하는 대수 방정식이다. 두 번째 식은 운동량을 동일한 변수의 함수로 표현한다.

7.2 초기 조건의 처리

운동 상수 \alpha_i, \beta_i는 초기 조건 (\mathbf{q}(t_0), \mathbf{p}(t_0))에 의해 결정된다. 즉 초기 좌표와 운동량이 주어지면 2n개의 상수가 완전히 결정되고, 이후의 모든 시간에 대한 궤적이 얻어진다.

8. 해밀턴 주함수의 해석

8.1 작용과의 관계

해밀턴 주함수 S는 고전 역학의 작용(action)과 밀접한 관계를 가진다. 실제 궤적을 따라 계산된 작용

S_{\text{classical}} = \int_{t_0}^{t}L(\mathbf{q}(t'), \dot{\mathbf{q}}(t'), t')\,dt'

는 초기 시각 t_0와 최종 시각 t 및 끝점 좌표의 함수로서 해밀턴-야코비 방정식을 만족한다.

8.2 양자역학과의 연결

해밀턴 주함수 S는 양자역학의 파동 함수의 위상에 해당하는 양이다. 이러한 관계는 고전 역학이 양자역학의 기하광학적 극한으로 이해되는 WKB 근사의 기초가 된다. 다만 본 절에서는 고전 역학의 범위 내에서만 다룬다.

9. 적분 가능성과의 관계

9.1 변수 분리 가능성

해밀턴-야코비 방정식이 변수 분리형으로 풀릴 수 있는 경우 해밀턴 주함수는 다음과 같이 분해된다.

S(\mathbf{q}, \boldsymbol{\alpha}, t) = \sum_{i=1}^{n}S_i(q_i, \boldsymbol{\alpha}) - Et

이러한 분해가 가능하면 각 좌표에 대한 1차원 적분으로 환원되어 문제가 실질적으로 풀린다. 변수 분리 가능성은 계의 특별한 대칭이나 구조에 의존한다.

9.2 적분 가능 시스템

해밀턴-야코비 방정식의 완전 적분이 구성되면 해당 시스템은 완전 적분 가능(completely integrable)하다고 말한다. 이는 n개의 독립적이고 서로 대합(involution)인 운동 상수가 존재함을 의미한다.

10. 로봇공학에서의 의의

10.1 최적 제어와의 연결

해밀턴-야코비 방정식은 최적 제어 이론의 핵심 방정식인 해밀턴-야코비-벨만(Hamilton-Jacobi-Bellman) 방정식의 고전적 대응물이다. 로봇의 최적 궤적 계획 문제에서 가치 함수(value function)의 편미분 방정식으로 나타나며, 최적 제어기의 설계와 해석에 활용된다.

10.2 경로 계획의 이론적 기반

해밀턴-야코비 방정식의 레벨 집합은 도달 가능 집합(reachable set)의 경계를 기술하며, 장애물 회피와 최적 궤적 계산에 활용된다. 이러한 접근은 로봇 경로 계획의 이론적 엄밀성을 보장한다.

10.3 동역학 시뮬레이션과의 관계

해밀턴-야코비 방정식은 해밀턴 역학의 단일 편미분 방정식 정식화로서, 특정한 해석적 해가 필요한 경우 또는 대칭적 시스템의 정밀 해석에 활용된다. 일반적 로봇 시스템의 수치 시뮬레이션에서는 정준 방정식 형태가 주로 사용되지만, 이론적 통찰을 제공하는 중요한 정식화이다.

11. 본 절의 의의

본 절은 해밀턴-야코비 방정식을 정준 변환과 생성 함수의 관점에서 엄밀히 유도하고, 시간 독립 형식 및 완전 적분의 개념을 체계적으로 다루었다. 또한 해밀턴 주함수의 해석적 의미와 적분 가능성 및 로봇공학에서의 응용을 논의하였다. 해밀턴-야코비 방정식은 해밀턴 역학의 가장 강력한 분석 도구 중 하나이며, 최적 제어와 경로 계획 이론의 기초로 이어지는 핵심 결과이다.

12. 학습 권장사항

• 정준 변환과 생성 함수의 관계를 정확히 이해한다.
• 시간 독립 해밀턴-야코비 방정식의 유도 과정을 따라간다.
• 완전 적분의 개념과 그것이 운동 방정식의 풀이에 어떻게 활용되는지 학습한다.
• 해밀턴 주함수와 작용의 관계를 명확히 한다.

13. 참고 문헌

• 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.
• Evans, L. C. (2010). Partial Differential Equations (2nd ed.). American Mathematical Society.

version: 1.0