16.16 생성 함수와 정준 변환의 관계
1. 개요
생성 함수와 정준 변환은 일대일 대응 관계를 가진다. 임의의 생성 함수가 정준 변환을 정의하고, 모든 정준 변환은 어떤 생성 함수로 표현될 수 있다. 본 절에서는 생성 함수와 정준 변환의 관계를 자세히 다룬다.
2. 자동 정준성
2.1 생성 함수로부터의 변환
생성 함수로부터 도출된 변환은 자동으로 정준이다. 즉, 시뮬렉틱 조건이 자동으로 만족된다.
2.2 증명
이 사실은 생성 함수의 구성과 직접 관련된다. 생성 함수의 정의가 시뮬렉틱 형식을 보존하도록 설계되어 있기 때문이다.
2.3 의의
이 자동 정준성은 정준 변환을 구성하는 가장 단순하고 강력한 방법이 생성 함수임을 보여준다.
3. 변환의 가역성
3.1 가역 조건
생성 함수가 정의하는 변환이 가역이기 위해서는 적절한 정칙성 조건이 만족되어야 한다.
3.2 F1의 경우
F_1(q, Q, t)의 경우 정칙성 조건은 다음과 같다.
\det\left(\frac{\partial^2 F_1}{\partial q_i \partial Q_j}\right) \neq 0
이는 변환의 야코비안이 정칙임을 보장한다.
3.3 F2의 경우
F_2(q, P, t)의 경우
\det\left(\frac{\partial^2 F_2}{\partial q_i \partial P_j}\right) \neq 0
4. 시뮬렉틱 형식의 보존
4.1 직접 증명
생성 함수로부터 도출된 변환이 시뮬렉틱 형식을 보존함을 직접 증명할 수 있다.
4.2 F2를 사용한 증명
F_2(q, P, t)로부터 다음의 식을 얻는다.
\sum_i p_i dq_i - \sum_i Q_i dP_i = dF_2 - \frac{\partial F_2}{\partial t}dt
이를 외미분하면
\sum_i dp_i \wedge dq_i - \sum_i dQ_i \wedge dP_i = 0
즉
\sum_i dQ_i \wedge dP_i = \sum_i dq_i \wedge dp_i
이는 시뮬렉틱 형식의 보존이다.
5. 새로운 해밀터니안
5.1 변환 식
생성 함수가 시간에 명시적으로 의존하는 경우 새로운 해밀터니안에 추가 항이 등장한다.
K = H + \frac{\partial F}{\partial t}
이는 모든 종류의 생성 함수에 공통이다.
5.2 시간 독립 생성 함수
생성 함수가 시간에 의존하지 않으면 새로운 해밀터니안은 옛 해밀터니안과 같다.
K(Q, P) = H(q(Q, P), p(Q, P))
5.3 의의
새로운 해밀터니안의 형식은 정준 방정식의 형식 보존을 보장한다.
6. 정준 변환의 구성 절차
6.1 단계
원하는 정준 변환을 구성하는 일반적 절차는 다음과 같다.
- 변환의 목적과 형식을 결정
- 적절한 생성 함수의 종류를 선택
- 생성 함수의 명시적 형식을 가정
- 변환 식을 적용하여 새로운 좌표/운동량을 계산
- 정칙성 조건을 확인
6.2 예시: 작용-각도 변수
조화 진동자의 작용-각도 변수로의 변환은 다음의 절차를 따른다.
- 목표: 운동 방정식이 가장 단순한 형태가 되는 변환을 찾기
- F_1(q, Q) 형식의 생성 함수 사용
- F_1 = \frac{1}{2}m\omega q^2\cot Q
- 변환 식 적용하여 p, P 계산
- 결과: 운동이 단순한 회전이 됨
7. 푸아송 괄호와의 관계
7.1 푸아송 괄호의 보존
정준 변환은 푸아송 괄호를 보존한다.
\{f, g\}_{(q, p)} = \{f, g\}_{(Q, P)}
여기서 f, g는 위상 공간의 함수이다.
7.2 정준성의 등가 조건
푸아송 괄호의 보존은 정준성의 또 다른 등가 조건이다.
7.3 기본 푸아송 괄호
기본 푸아송 괄호 \{q_i, p_j\} = \delta_{ij}가 새로운 좌표에서도 성립한다.
\{Q_i, P_j\} = \delta_{ij}
이는 정준성의 가장 단순한 검증 조건이다.
8. 응용
8.1 해밀턴-야코비 방정식
해밀턴-야코비 방정식은 생성 함수에 대한 편미분 방정식이다. 이를 풀면 시스템을 자명한 형태로 변환하는 정준 변환을 얻는다.
8.2 단순화
정준 변환을 통해 복잡한 시스템을 단순한 형태로 변환할 수 있다.
8.3 시뮬렉틱 적분
시뮬렉틱 적분기는 매 시간 단계에서 정준 변환을 적용한다. 생성 함수 형식이 자주 사용된다.
9. 매니퓰레이터에서의 응용
9.1 변환의 단순화
매니퓰레이터의 동역학 분석에서 적절한 정준 변환이 분석을 단순화할 수 있다.
9.2 보존 법칙의 활용
대칭성과 사이클 좌표를 활용한 정준 변환이 자유도 감소에 사용된다.
10. 본 절의 의의
본 절은 생성 함수와 정준 변환의 관계를 다루었다. 생성 함수는 정준 변환의 자연스러운 구성 방법이며, 시뮬렉틱 형식의 보존을 자동으로 보장한다.
11. 참고 문헌
- Goldstein, H., Poole, C., & Safko, J. (2002). Classical Mechanics (3rd ed.). Addison-Wesley.
- Lanczos, C. (1986). The Variational Principles of Mechanics (4th ed.). Dover.
- Arnold, V. I. (1989). Mathematical Methods of Classical Mechanics (2nd ed.). Springer.
- Marsden, J. E., & Ratiu, T. S. (1999). Introduction to Mechanics and Symmetry (2nd ed.). Springer.
version: 1.0