16.15 생성 함수의 정의와 유형

1. 개요

생성 함수(generating function)는 정준 변환을 정의하는 데 사용되는 스칼라 함수이다. 적절한 생성 함수를 선택하면 정준 변환을 명시적으로 구성할 수 있다. 본 절에서는 생성 함수의 정의와 다양한 유형을 자세히 다룬다.

2. 생성 함수의 동기

2.1 정준 변환의 명시화

정준 변환을 직접 명시하는 것은 어렵다. 시뮬렉틱 조건이라는 비자명한 제약을 만족해야 하기 때문이다.

2.2 생성 함수의 역할

생성 함수는 정준 변환을 자동으로 생성한다. 임의의 매끄러운 함수가 생성 함수가 될 수 있고, 그로부터 도출된 변환은 자동으로 정준이다.

2.3 일반성

모든 정준 변환이 어떤 생성 함수로 표현될 수 있다는 것이 일반적인 결과이다. 단, 일부 특수한 경우는 생성 함수가 무한대일 수 있어 신중한 처리가 필요하다.

3. 첫 번째 종류 생성 함수

3.1 변수의 선택

첫 번째 종류 생성 함수 $F_1$ 은 옛 좌표 $\mathbf{q}$ 와 새 좌표 $\mathbf{Q}$ 를 독립 변수로 한다.

$F = F_1(\mathbf{q}, \mathbf{Q}, t)$

3.2 변환 식

이로부터 도출되는 변환 식은 다음과 같다.

$p_i = \frac{\partial F_1}{\partial q_i}, \quad P_i = -\frac{\partial F_1}{\partial Q_i}$

3.3 새로운 해밀터니안

$K = H + \frac{\partial F_1}{\partial t}$

3.4 적용 조건

$F_1$ 이 잘 정의되기 위해서는 $\mathbf{q}$ 와 $\mathbf{Q}$ 가 독립이어야 한다. 즉, $F_1$ 의 $\mathbf{q}$ 와 $\mathbf{Q}$ 에 대한 헤시안이 정칙이어야 한다.

3.5 예시

$F_1 = \sum_i q_i Q_i$ 는 다음의 변환을 산출한다.

$p_i = Q_i, \quad P_i = -q_i$

이는 좌표와 운동량의 교환이다.

4. 두 번째 종류 생성 함수

4.1 변수의 선택

두 번째 종류 생성 함수 $F_2$ 는 옛 좌표 $\mathbf{q}$ 와 새 운동량 $\mathbf{P}$ 를 독립 변수로 한다.

$F_2 = F_2(\mathbf{q}, \mathbf{P}, t)$

4.2 변환 식

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

4.3 새로운 해밀터니안

$K = H + \frac{\partial F_2}{\partial t}$

4.4 가장 자주 사용

$F_2$ 는 가장 자주 사용되는 생성 함수이다. 점 변환과 무한소 변환에 자연스럽게 적용된다.

4.5 예시

$F_2 = \sum_i q_i P_i$ 는 항등 변환을 산출한다.

$F_2 = \sum_i f_i(\mathbf{q})P_i$ 는 점 변환 $Q_i = f_i(\mathbf{q})$ 를 산출한다.

5. 세 번째 종류 생성 함수

5.1 변수의 선택

세 번째 종류 생성 함수 $F_3$ 는 옛 운동량 $\mathbf{p}$ 와 새 좌표 $\mathbf{Q}$ 를 독립 변수로 한다.

$F_3 = F_3(\mathbf{p}, \mathbf{Q}, t)$

5.2 변환 식

$q_i = -\frac{\partial F_3}{\partial p_i}, \quad P_i = -\frac{\partial F_3}{\partial Q_i}$

5.3 새로운 해밀터니안

$K = H + \frac{\partial F_3}{\partial t}$

5.4 응용

$F_3$ 는 옛 운동량을 새 좌표로 직접 변환할 때 유용하다.

6. 네 번째 종류 생성 함수

6.1 변수의 선택

네 번째 종류 생성 함수 $F_4$ 는 옛 운동량 $\mathbf{p}$ 와 새 운동량 $\mathbf{P}$ 를 독립 변수로 한다.

$F_4 = F_4(\mathbf{p}, \mathbf{P}, t)$

6.2 변환 식

$q_i = -\frac{\partial F_4}{\partial p_i}, \quad Q_i = \frac{\partial F_4}{\partial P_i}$

6.3 새로운 해밀터니안

$K = H + \frac{\partial F_4}{\partial t}$

7. 생성 함수 사이의 변환

7.1 르장드르 변환

네 종류의 생성 함수는 서로 르장드르 변환으로 연결된다.

$F_2(q, P, t) = F_1(q, Q, t) + \sum_i Q_i P_i$

여기서 $Q$ 는 $P$ 의 함수로 표현된다.

7.2 다른 변환

$F_3$ 와 $F_4$ 도 유사한 르장드르 변환으로 연결된다.

7.3 자유로운 선택

문제에 따라 가장 적합한 생성 함수를 자유롭게 선택할 수 있다.

8. 생성 함수의 응용

8.1 정준 변환의 구성

원하는 정준 변환을 구성하기 위해 적절한 생성 함수를 찾는다.

8.2 작용으로서의 해석

생성 함수는 종종 작용(action)의 형식을 가진다. 해밀턴-야코비 방정식에서 작용이 생성 함수의 역할을 한다.

8.3 양자 역학

양자 역학에서 생성 함수의 개념은 양자 정준 변환과 정합 상태(coherent states)의 분석에 사용된다.

9. 응용 예시

9.1 조화 진동자

조화 진동자의 작용-각도 변수로의 변환은 다음의 생성 함수를 사용한다.

$F_1(q, Q) = \frac{1}{2}m\omega q^2\cot Q$

이는 조화 진동자의 운동을 단순한 회전으로 변환한다.

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.
Landau, L. D., & Lifshitz, E. M. (1976). Mechanics (3rd ed.). Pergamon Press.

version: 1.0