AM lecture note - Poisson bracket and Darboux theorem

강의 필기

이것은 Analytical Mechanics 강의를 듣고 적은 필기입니다.
정리가 안 되어 있고, 개인적인 생각과 풀이가 섞여 있을 수도 있습니다.

지난 강의

AM lecture note - Symplectic form and Hamiltonian vector field

오늘의 핵심

필기 내용

Symplectic manifold와 Hamiltonian vector field

Symplectic manifold closed.

Hamiltonian vector field와 물리의 master equation:

의 의미: 아마 이 방정식으로 가 결정되는 것이 해밀턴 방정식과 동치일 것이다.

지난 시간 노트에서 정리했듯이, 를 사용했을 때 는

질문: 의 integral curve인 가 운동 방정식의 해인가?

Glia의 보충 (2026-05-25)

의 integral curve와 운동 방정식의 관계 — Convention 주의

convention (Si Li 교재, 이 강의의 convention)에서,

이므로, 의 integral curve , 즉 를 성분별로 쓰면:

이것은 표준 Hamilton 방정식과 부호가 반대이다!

표준 Hamilton 방정식 , 는 Poisson 괄호를 통해 나온다:

()

여기에 를 넣으면: . 올바른 부호가 나온다.

교재 (Si Li, Prop 3.4.1)에서는(다음 강의 노트에서 다룰 내용용) extended phase space 에서

를 정의하고, 이 의 integral curve가 Hamilton 방정식의 해임을 보인다. 마이너스 부호가 핵심이다.

요약: convention에서 “의 integral curve = Hamilton 방정식의 해”는 틀린 서술이다. 정확히는 의 flow, 또는 equivalently 를 통해 Hamilton 방정식이 나온다.

(만약 convention을 사용하면 의 부호가 뒤집혀서 의 integral curve가 직접 Hamilton 방정식이 된다. Convention 선택의 문제.)

Symplectic form의 Hamiltonian flow 불변성

Symplectic form은 Hamiltonian vector field에 의한 evolution에 invariant하다.

→ 이게 아마 canonical transform이 푸아송 괄호의 성질을 유지한다는 성질과 연관될 것이다.
정말 그런가? 예시를 들어 설명해보자.

Glia의 보충 (2026-05-25)

Canonical transformation과 symplectic form 보존의 연결 — 예시: ,

전반부에서 배운 canonical transformation의 조건 는 symplectic geometry의 언어로 정확히 (symplectomorphism)이다.

예시 변환:

① 의 직접 확인

하에서:

행렬 은 의 tangent map이고, 는 의 행렬 표현이며, 는 이것의 행렬적 번역이다.

② 보존 Poisson 괄호 보존

③ Hamiltonian vector field 구조의 보존

이면 (). Hamilton 방정식의 형태가 새 좌표에서도 유지된다.

④ 두 언어의 대응

전반부 (해석역학)	후반부 (심플렉틱 기하학)
Poisson 괄호 보존	보존
Hamilton 방정식의 형태 보존
시간 발전이 canonical	,

본문의 는 시간 발전이라는 특수한 canonical transformation이고, 위 예시는 일반적인 canonical transformation이다. 둘 다 symplectomorphism이라는 같은 구조의 서로 다른 예이다.

Poisson bracket

의 두 scalar function 의 Hamilton vector field가 와 일 때, 푸아송 괄호는 이렇게 정의된다.

즉, 에서 정의된 2개의 scalar function을 받아 1개의 scalar function을 반환한다.

실제 연산은 이렇다.

와! 어지러워!

Example: Einstein summation convention 사용

들의 계수 결정: 다음 관계를 이용.

따라서,

이를 정리하면,

이렇게 우리가 원래 알던 푸아송 괄호 식이 나온다. 그럼에도 미분기하 방식의 정의가 유용한 이유는 좌표계에 의존하지 않고 구조를 나타낼 수 있기 때문이다.

Hamiltonian vector field 정의에 따른 Poisson bracket

Hamiltonian vector field의 정의에 따라,

이므로,

의 관계가 나온다.

지난 강의 노트에서 를 유도한 것과 직결된다.

더 general한 symplectic 2-form에 대해

(는 까지)가 1-form basis일 때,

증명

(anti-symmetry)를 이용하면,

의 일반적 표현

이때, 는 의 역행렬, 즉 .

증명

가 됨을 보여라.

Hamiltonian vector field의 명시적 표현

Einstein summation convention을 사용할 때,

Poisson bracket의 일반적 표현

Poisson bracket의 성질

Poisson bracket은 다음 성질을 만족한다.

① Anti-symmetry

이 성질은 의 anti-symmetry를 물려받은 것이다.

② Leibniz rule (Associativity)

증명:

③ Jacobi identity (Consistency relation)

증명:

이때,

와 의 계산 결과를 따로 비교해 보자.

의 증명

먼저 에 대해,

이때, 에 의해 인 걸 이용한다.

역행렬 관계에 의해, .

이를 로 미분:

원성분자의 미분만을 남기기 위해 을 곱한다:

결국,

우변에서 과 는 summation되는 dummy index임을 알 수 있다. , 로 표기를 바꾸면,

이것을 에 대입하면,

미분방 앞에 붙은 계수를 똑같이 맞추고 싶다. dummy index는 이므로,

두 번째 항에 index 변환 , 세 번째 항에 index 변환 :

에 의해, 내부는 0이다.

따라서 .

의 증명

Index 치환 를 세 번째·네 번째 항에, 를 다섯 번째·여섯 번째 항에 적용하면,

Summation을 하면 의 anti-symmetry에 의해 0이 된다.

임을 대표로 확인해 보면, 로 index를 뒤바꾸어도 식은 똑같은 값을 가져야 한다.

결국,

이므로 0이다.

이렇게 Jacobi identity 증명 끝.

Poisson bracket과 commutator의 연결

Poisson bracket과 commutator가 연결되는 순간.

증명:

증명 과정이 이해 안 되긴 하지만 일단 받아들이고 넘어가자.

Floer Homology

이게 Floer Homology와 관련 있다고 하는데 무슨 의미인지 모르겠다.

Darboux theorem

모든 phase space는 locally equivalent하다. 따라서 phase space는 topology로만 class를 나누는 게 가능하다.

space에 있는 그 어떤 symplectic form도 local하게는 standard symplectic form

꼴로 coordinate transform 할 수 있다. 아마도 이 개념이 canonical transform과 연관될 것이다.

Theorem

을 포함하는 space에서 가 symplectic form이라 두자. 의 이웃 에서 이러한 성질을 만족하는 coordinate function 이 있다.

Time-dependent vector field의 flow

증명하기 전에, flow on the time-dependent vector field에 대해 알아 보자.

가 time-dependent vector field일 때, 이것의 flow 는 다음 식을 만족:

질문: 여기서 말하는 time은 어떻게 정의되는 거지?

Proposition

가 에서 정의된 form일 때, (즉, 일 때)
다음 식이 만족된다.

Lie derivative의 정의가 였던 걸 생각하면, 위 식의 의미는…

대체 뭐지?!

증명

교과서의 증명을 따라가자.

(scalar function)일 때

, 그리고 0-form 에 대해 임을 이용.

일 때

사실 이 증명 과정들이 별로 와 닿지는 않는다.

Darboux theorem의 증명: Moser’s trick

의 일반형

에 대해,

라 두자.

이므로, Poincaré lemma에 의해 를 만족하는 1-form 가 의 이웃 영역에서 존재한다.

라 두자.

이게 뭐가 trick이라는 거야? 가 로 변환 될 수 있다는 걸 보이는 게 목표?

를 충분히 작게 잡으면, 는 위에서 임의의 에 대해 non-degenerate라고 가정할 수 있다.

위에서 time-dependent vector field 를 다음과 같이 정의한다:

이므로, 도 에서 사라지고, 따라서 도 에서 사라진다.

를 의 flow라 하면, .

의 더 작은 이웃 를 잡아, 가 에서 정의되도록 할 수 있다.

를 생각하면, 위의 Proposition에 의해:

따라서,

모든 에서 는 로 변환 될 수 있다.

(증명의 나머지는 다음 강의에서 이어짐)

궁금한 내용

1. 의 integral curve인 가 운동 방정식의 해인가? → convention에서는 의 integral curve가 아니라 의 flow가 Hamilton 방정식의 해. AI 보충 설명 참고.
2. 증명의 논리적 흐름이 잘 이해가 안 됨 (특히 부분)
3. Floer Homology가 여기서 어떤 관련이 있는가?
4. Time-dependent vector field에서 time은 어떻게 정의되는가?
5. Darboux theorem 증명에서 Moser’s trick의 핵심 아이디어는 무엇인가?

AI의 보충 설명

연관 학습 노트

References

주요 교재: [[Chapter3_Interlude of Sympletic Geometry_[Si Li] Classical Mechanics and Geometry.pdf]]

다음 강의

AM lecture note - Canonical transformation revisited

필기 원본