AM lecture note - Cartan formula and Poincare Lemma

강의 필기

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

지난 강의

AM lecture note - Stokes theorem

오늘의 핵심

• Lie derivative의 세 가지 성질로부터 정의를 끌어낼 수 있는가?
• Interior product의 정의와 성질
• Cartan magic formula:
• Cartan formula로부터 Lie derivative의 세 성질을 복원하는 증명
• Lie derivative와 interior product에 관한 정리 (commutator 관계)
• Closed form, exact form의 정의와 de Rham cohomology
• Poincaré Lemma: star-shaped 열린 집합에서 모든 closed form은 exact
• Phase space가 star-shaped이므로 generating function이 존재하는 이유

필기 내용

Lie derivative 복습

Lie derivative 의 특징들:

① 0-form에 취했을 때:

② 와의 교환:

③ Leibniz rule:

이 세 조건으로 Lie derivative의 정의를 끌어내는 게 가능한가? 교수님은 모르겠다고 하셨다.

General Differential p-form에 대한 Lie derivative

Interior Product 정의

form의 차수를 한 단계 낮춘다.

일반적인 p-form에 대해:

여기서 벡터장을 라고 표현할 때, 이다.

Interior Product의 성질

① -linear:

② 1-form 에 대해:

③ Graded Leibniz rule:

세 연산의 차수 비교

연산	사상	차수 변화
		form의 차수를 올린다
		form의 차수가 그대로
		form의 차수를 내린다

Cartan Magic Formula

라고 정의한 뒤, 와 의 성질과 일치함을 보인다.

증명: 성질 ①

는 0-form이라서 이다.

증명: 성질 ②

따라서 .

증명: 성질 ③

는 p-form, 는 q-form이라 하자.

이 증명의 상세 전개:

Lie derivative와 Interior product에 관한 정리

일 때, 위의 연산자로서:

① Lie derivative의 commutator:

여기서 이고, 벡터장에 대해서는 .

② Interior product의 반교환:

③ 와 의 교환:

앞서 증명했듯이.

④ Cartan formula 재서술:

⑤ 와 의 commutator:

증명 스케치:

질문

이것으로 를 어떻게 유도하지?

Poincaré Lemma

증명을 어떻게 하냐? → 일단은 받아들이고 넘어가라.

Closed form과 Exact form

• 가 closed:
• 가 exact: 인 가 존재

이기 때문에, exact form은 모두 closed form이다.

de Rham Cohomology

정의) 이 열린 집합일 때, p차 de Rham cohomology를 다음과 같이 정의한다:

질문

이 분수 기호가 무슨 의미인가? → 이것은 **몫 공간(quotient space)**을 의미한다. Closed p-form들의 벡터 공간에서 exact p-form들의 부분 공간을 “같은 것으로 취급(동치 관계)“한 뒤 얻어지는 공간이다. 즉 두 closed form 가 exact form만큼 차이 나면 (), 같은 동치류로 본다.

Example 1) 가 connected라 가정하고 를 고려하자.

가 closed form이라면 이므로 는 constant function이다.

따라서:

Example 2)

는 closed이지만 exact하지는 않다. 이것이 Berry connection과 연관이 있다고 한다.

Star-Shaped 집합

정의) 이 star-shaped라 함은, 어떤 점 가 존재하여, 임의의 에 대해 와 를 잇는 직선이 안에 포함되는 것이다.

질문

무엇이 straight connecting인가? → 와 를 잇는 선분(line segment) 이 에 포함된다는 것이다.

Poincaré Lemma 서술

Poincaré Lemma) 열린 부분집합 이 star-shaped이면,

즉, 모든 closed form이 exact하다.
가 closed form ()이면 반드시 어떤 가 존재해서 가 된다.

Phase Space와의 연결

Phase space는 본질적으로 star-shaped이다. (은 convex이므로 당연히 star-shaped.)

Phase space 위에서, time-dependent transformation은

이것이 canonical transformation이 되려면:

질문

내적은 보존된다는 의미? 이게 무슨 의미지? → symplectic 2-form 가 보존된다는 것이다. 이것은 canonical transformation의 정의 자체이다.

이로부터:

Phase space는 star-shaped이므로, Poincaré Lemma에 의해 generating function 가 존재하여:

궁금한 내용

1. Lie derivative의 세 가지 성질만으로 정의를 완전히 결정할 수 있는가?
2. 이 분수 기호(de Rham cohomology 정의에서)가 무슨 의미인가? → 몫 공간
3. 무엇이 straight connecting인가? → 선분이 집합 안에 포함
4. 증명의 나머지 전개는?
5. Berry connection과 의 구체적 연결은?

AI의 보충 설명

연관 학습 노트

• AM lecture note - Differential forms
• AM lecture note - Hodge dual and Lie derivative
• AM lecture note - Generating function
• AM lecture note - Canonical transformation

References

다음 강의

AM lecture note - Symplectic form and Hamiltonian vector field

필기 원본