16.29 해밀턴의 특성 함수와 주함수

1. 개요

해밀턴의 주함수(Hamilton’s principal function)와 특성 함수(Hamilton’s characteristic function)는 해밀턴-야코비 정식화의 중심을 이루는 두 가지 생성 함수이다. 두 함수는 각각 시간 의존과 시간 독립의 문제를 다루며, 상호 관계와 물리적 해석이 분명하다. 본 절에서는 두 함수의 정의, 유도, 해석적 특성, 그리고 상호 관계를 엄밀히 다룬다.

2. 해밀턴 주함수의 정의

2.1 정의

해밀턴 주함수는 해밀턴-야코비 방정식의 해로서 도입되는 생성 함수이며, n+1개의 독립 변수 (\mathbf{q}, t)에 의존하고 n개의 매개 변수 \boldsymbol{\alpha}를 포함한다.

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

해밀턴 주함수는 다음의 해밀턴-야코비 방정식을 만족한다.

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

2.2 완전 적분으로서의 해밀턴 주함수

해밀턴 주함수는 해밀턴-야코비 방정식의 완전 적분(complete integral)이어야 한다. 즉, 해는 n개의 본질적 독립 상수를 포함하며, 다음의 비퇴화 조건을 만족한다.

\det\!\left(\frac{\partial^2 S}{\partial q_i\,\partial \alpha_j}\right) \neq 0

이 조건은 완전 적분이 원래 좌표와 운동량의 완전한 표현을 가능하게 함을 보장한다.

2.3 주함수에 의한 운동 방정식의 풀이

완전 적분이 구성되면 다음의 관계로부터 계의 운동이 완전히 결정된다.

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

첫 번째 관계는 운동량을 주함수의 좌표 편미분으로 제공하고, 두 번째 관계는 \mathbf{q}를 \boldsymbol{\alpha}, \boldsymbol{\beta}, t의 함수로 암시적으로 결정한다.

3. 해밀턴 특성 함수의 정의

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

해밀터니안이 시간에 명시적으로 의존하지 않는 경우 해밀턴 주함수를 다음과 같이 분해할 수 있다.

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

여기서 E는 에너지 상수이고 W는 해밀턴 특성 함수이다.

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

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

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

이 방정식은 시간 변수 t를 포함하지 않으며, 미지 함수 W는 좌표 \mathbf{q}와 매개 변수 \boldsymbol{\alpha}의 함수이다.

3.3 완전 적분으로서의 특성 함수

해밀턴 특성 함수 또한 완전 적분이어야 하며, 에너지 E를 매개 변수 \boldsymbol{\alpha}의 하나로 포함한다. 일반적으로 \alpha_1 = E로 선택하고 나머지 \alpha_2, \dots, \alpha_n이 다른 운동 상수에 대응한다.

3.4 정준 방정식과의 관계

특성 함수의 좌표 편미분은 운동량을 제공한다.

p_i = \frac{\partial W}{\partial q_i}

또한 특성 함수는 제2종 생성 함수로서 정준 변환을 정의하며, 새로운 해밀터니안이 K = E가 되도록 설계되어 있다.

4. 주함수와 특성 함수의 관계

4.1 분해 관계

두 함수의 기본 관계는 다음과 같다.

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

이 분해는 시간 의존성이 선형인 단순한 형식으로 나타난다는 점에서 주목할 만하다.

4.2 생성 함수로서의 차이

• 주함수 S는 새로운 해밀터니안 K = 0이 되도록 설계된 제2종 생성 함수이다. 새 좌표와 운동량이 모두 운동 상수가 된다.
• 특성 함수 W는 새로운 해밀터니안 K = E가 되도록 설계된 제2종 생성 함수이다. 새 운동량은 상수이지만 새 좌표는 일반적으로 시간에 선형적으로 변한다.

4.3 새로운 좌표의 동역학

특성 함수에 의한 정준 변환 하에서 새로운 좌표의 운동 방정식은

\dot{Q}_i = \frac{\partial K}{\partial P_i} = \frac{\partial E}{\partial \alpha_i}

이 된다. 이는 시간에 대해 상수이므로 Q_i = (\partial E/\partial\alpha_i)\,t + \text{const}의 형식을 가진다.

5. 해밀턴 주함수의 물리적 해석

5.1 작용과의 일치

해밀턴 주함수는 실제 궤적을 따라 평가된 작용(action)과 일치한다.

S(\mathbf{q}_f, t_f; \mathbf{q}_0, t_0) = \int_{t_0}^{t_f}L(\mathbf{q}(t), \dot{\mathbf{q}}(t), t)\,dt

여기서 적분은 끝점 \mathbf{q}_0와 \mathbf{q}_f를 주어진 시간 t_0와 t_f 사이에 연결하는 고전 궤적을 따라 수행된다. 이러한 해석은 해밀턴 원리와의 직접적 연결을 제공한다.

5.2 끝점 미분의 관계

해밀턴 주함수의 끝점 편미분은 다음의 관계를 만족한다.

\frac{\partial S}{\partial \mathbf{q}_f} = \mathbf{p}_f, \qquad \frac{\partial S}{\partial t_f} = -H(\mathbf{q}_f, \mathbf{p}_f, t_f)

\frac{\partial S}{\partial \mathbf{q}_0} = -\mathbf{p}_0, \qquad \frac{\partial S}{\partial t_0} = H(\mathbf{q}_0, \mathbf{p}_0, t_0)

이러한 관계는 해밀턴 주함수가 가속 운동 경계의 완전한 정보를 포함함을 보여준다.

5.3 전파 함수로서의 해석

주함수 S(\mathbf{q}_f, t_f; \mathbf{q}_0, t_0)는 고전 궤적을 따라 정보가 전파되는 함수로 해석된다. 이 해석은 양자역학의 경로 적분 공식화에서 중심적 역할을 하며, 고전적 극한에서 양자 파동 함수의 위상이 S/\hbar로 수렴한다. 다만 본 절에서는 고전 역학의 관점에 한정한다.

6. 해밀턴 특성 함수의 물리적 해석

6.1 단축 작용과의 일치

해밀턴 특성 함수는 단축 작용(abbreviated action) 또는 모페르튀이 작용(Maupertuis action)과 일치한다.

W(\mathbf{q}) = \int_{\mathbf{q}_0}^{\mathbf{q}}\mathbf{p}\cdot d\mathbf{q}

여기서 적분은 에너지 E가 고정된 궤적을 따라 수행된다.

6.2 모페르튀이 원리

모페르튀이 원리(principle of least action)는 에너지 보존 시스템에서 단축 작용이 극소값을 가지는 궤적이 실제 궤적임을 주장한다.

\delta\int\mathbf{p}\cdot d\mathbf{q} = 0

이 원리는 해밀턴 특성 함수의 변분적 의미를 제공하며, 기하광학의 페르마 원리와 구조적 유사성을 가진다.

6.3 등면과 운동

해밀턴 특성 함수의 등면(level surface) W = \text{const}는 위상 공간에서 구성 공간으로의 투영 구조를 가진다. 이들 등면과 수직인 방향이 운동량의 방향이며, 이는 파동적 해석과 기하광학적 유사성을 드러낸다.

7. 주함수와 특성 함수의 선택 기준

7.1 문제의 시간 의존성

시스템의 해밀터니안이 시간에 명시적으로 의존하는 경우에는 주함수를 사용해야 한다. 시간 변수가 분리되지 않으므로 완전한 편미분 방정식을 풀어야 한다. 해밀터니안이 시간에 의존하지 않는 경우에는 특성 함수를 이용하여 문제가 현저히 단순화된다.

7.2 에너지 보존의 역할

특성 함수 접근은 에너지 보존 법칙을 명시적으로 활용한다. 에너지 E가 고정된 상태에서 계의 운동을 구성 공간의 곡선으로 기술하며, 이러한 관점은 행성 궤도 문제와 같은 고전적 문제에서 직관적 해석을 제공한다.

7.3 작용-각도 변수와의 연결

해밀턴 특성 함수는 주기 운동에서 작용-각도 변수(action-angle variable)의 정의와 직접적으로 연결된다. 단축 작용을 주기에 대해 적분함으로써 작용 변수가 정의되며, 이는 적분 가능 시스템의 핵심 구조이다.

8. 예시의 분석

8.1 차원 조화 진동자

1차원 조화 진동자 H = \frac{p^2}{2m} + \frac{1}{2}m\omega^2 q^2에 대해 특성 함수는 다음과 같이 계산된다.

W(q, E) = \int\sqrt{2mE - m^2\omega^2 q^2}\,dq

주함수는 S = W - Et로 주어진다. \partial S/\partial E = \beta의 관계로부터 시간 변수 t와 좌표 q의 관계가 얻어지며, 조화 진동자의 운동이 완전히 결정된다.

8.2 중심력 문제

중심력 문제에서 해밀턴 특성 함수는 구면 좌표에서 완전히 분리되어 세 개의 적분으로 환원된다. 반경 적분은 유효 퍼텐셜과 에너지 보존에 의해 1차원 문제로 축약되며, 행성 궤도의 기하학적 특성이 모두 단축 작용의 극값 원리로부터 도출된다.

9. 로봇공학에서의 의의

9.1 최적 제어와 가치 함수

해밀턴 주함수의 개념은 최적 제어 이론의 가치 함수(value function)로 일반화된다. 가치 함수는 해밀턴-야코비-벨만 방정식을 만족하며, 이는 해밀턴-야코비 방정식의 직접적 확장이다. 로봇의 최적 궤적 계획에서 가치 함수의 구성은 주함수 접근의 현대적 응용이다.

9.2 경로 계획과 도달 시간 함수

해밀턴 특성 함수의 개념은 경로 계획에서 도달 시간 함수와 최단 경로 계산에 대응된다. 에이코날 방정식은 시간 독립 해밀턴-야코비 방정식의 한 형식이며, 이를 풀어 얻는 함수가 특성 함수에 해당한다.

9.3 이론적 통찰

주함수와 특성 함수의 구분과 관계는 시간 의존 시스템과 시간 독립 시스템의 분석 전략을 체계적으로 제공한다. 로봇 시스템의 모델링과 제어 설계에서 이러한 구분은 문제의 구조적 단순화에 활용된다.

10. 본 절의 의의

본 절은 해밀턴 주함수와 특성 함수의 정확한 정의, 해밀턴-야코비 방정식과의 관계, 그리고 각각의 물리적 해석을 체계적으로 다루었다. 주함수는 일반적 시간 의존 문제를 위한 생성 함수로서 해밀턴 원리에 의한 작용과 일치하며, 특성 함수는 에너지 보존 시스템의 단축 작용과 일치한다. 두 함수의 관계와 역할은 해밀턴 역학의 구조적 이해와 최적 제어 이론의 기반을 제공한다.

11. 학습 권장사항

• 주함수와 특성 함수의 정의와 역할을 명확히 구분한다.
• 조화 진동자와 중심력 문제에서 두 함수를 명시적으로 계산해 본다.
• 해밀턴 원리와 모페르튀이 원리의 관계를 이해한다.
• 최적 제어 이론에서 가치 함수의 개념과 연결을 파악한다.

12. 참고 문헌

• Goldstein, H., Poole, C., & Safko, J. (2002). Classical Mechanics (3rd ed.). Addison-Wesley.
• Landau, L. D., & Lifshitz, E. M. (1976). Mechanics (3rd ed.). Butterworth-Heinemann.
• 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.
• Bryson, A. E., & Ho, Y.-C. (1975). Applied Optimal Control. Taylor & Francis.

version: 1.0