강의 필기
이것은 Analytical Mechanics 강의를 듣고 적은 필기입니다.
정리가 안 되어 있고, 개인적인 생각과 풀이가 섞여 있을 수도 있습니다.
지난 강의
AM lecture note - Differential forms
오늘의 핵심
- Tensor product를 이용한 wedge product의 정의
증명과 벡터 해석학적 해석 ( ) - 두 1-form의 wedge product가 curl 연산에 대응
- 세 1-form의 wedge product → volume form과 Hodge dual
- Maxwell 방정식을 미분형식 한 줄로 표현:
, - Current 3-form
와 - Lie derivative의 정의와 성질:
, Leibniz 규칙 - Volume form의 Lie derivative와 divergence의 관계
필기 내용
Tensor product를 이용한 Wedge product 정의
Wedge product는 tensor product를 이용하여 다음과 같이 정의된다:
Antisymmetry가 눈에 단번에 보인다.
Wedge product는 그자체로 commutator 스러운 기능을 품고 있던 것이다.
0-form의 exterior product를 명시적으로 계산하기
아인슈타인 합 규약을 사용할 때, 0-form
이를 다시 exterior derivative하면:
- 첫 번째 항
: 이것은 의 antisymmetry에 의해 index summation 이후 0이 된다. ( 는 에 대해 대칭이지만, 는 반대칭) - 두 번째 항:
이라서 사라진다.
따라서
1-form
exterior derivative를 취하면:
(왜
여기에 다시 exterior derivative를 취하면:
두 1-form의 Wedge product는 Curl과 직결된다
3차원에서 두 1-form
이들의 wedge product를 계산하면:
이것은 우리가 알던 curl 연산에 대응된다.
Volume form과 Hodge dual
Hodge dual
이것을 어떻게 잘 표기할 수 있을까… 고민하던 누군가가 Hodge dual이라는 걸 개발했다.
질문
Hodge dual 관계인 두 form을 곱하면 volume form이 나오는 성질을 이용해 쉽게 이해할 수 있는 것 같다.
Glia의 보충 (2026-05-16)
Hodge dual의 정의:
차원 공간에서 -form 의 Hodge dual 는 다음을 만족하는 -form이다: 더 일반적으로, 임의의 두
-form , 에 대해 ( 는 volume form, 는 -form의 내적). 즉, **“form과 그 Hodge dual을 wedge하면 volume form”**이라는 직관이 정확히 정의 그 자체다.
기하학적 의미:
-form 가 어떤 차원 방향을 “점유”하고 있다면, 는 나머지 차원 방향을 채워서 전체 공간의 부피를 완성하는 form이다. 예를 들어 가 방향을 담당하면 가 나머지 평면을 채워준다: 위의
결과도 이 구조로 이해할 수 있다: 의 Hodge dual이 라는 1-form이고, 여기에 를 wedge하면 내적이 되면서 volume form이 나온다.
Hodge dual의 예시 (
Hodge dual과 벡터 연산의 대응
여기서
그리고:
Maxwell 방정식을 한 줄로 표현하기
Potential 1-form의 정의
Potential을 나타내는 1-form을 다음과 같이 정의한다:
이때,
Field strength 2-form:
명시적으로 계산하면:
이것을
우리는 전기역학에서 전기장과 자기장이:
라는 것을 안다. 이것이
정리하면:
이를 정리하면:
Current 3-form
질문
Current 3-form
가 정확히 무엇인지 설명을 들었지만 이해하지 못했다. 이 conservation law와 연결된다는 점은 나중에 다시 확인할 것.
Glia의 보충 (2026-05-17)
왜
인가? — 직관적 해석
는 2-form으로 와 정보를 담고 있는데, Hodge dual 를 취하면 와 의 역할이 뒤바뀐다. 에서 방향에 실려 있던 성분이 에서는 순수 공간 방향으로 가고, 순수 공간 방향에 실려 있던 성분이 를 포함하는 방향으로 간다. 따라서:
에서 가 와 의 특정 조합을 잡아냄: , 에서는 가 와 의 나머지 조합을 잡아냄: , 즉, Maxwell 방정식 4개를
- 대칭성 관점에서 두 쌍으로 나눈 것이 정확히 과 에 대응한다. Current 3-form
의 정체:
4차원 시공간에서 는 2-form이니까 도 2-form이고 (4-2=2), 는 3-form이다. 는 전하밀도 와 전류밀도 를 담는 3-form이다:
는 공간 3차원 방향( )에 실리고, 전류밀도 는 시간 방향 를 하나 포함하는 3-form 기저에 실린다.
과 전하 보존 법칙:
의 양변에 를 취하면 에 의해 이 자동으로 성립한다. 이것을 성분으로 풀면 정확히 **전하 보존 법칙(continuity equation)**이다:
이라는 수학적 항등식이 라는 물리 법칙과 결합하여 전하 보존을 자동으로 보장하는 구조다. 요약:
미분형식 Maxwell 방정식 포텐셜로부터 장을 정의 , , ( 에서 자동) (전하 보존)
Lie Derivative
벡터장과 적분 곡선 (복습)
벡터장
표기 주의
위 식의 양변은 벡터장이 아니라 **성분값(실수값 함수)**이다. 엄밀하게는
로, 각 성분별 방정식이다.
는 벡터장이지만, 적분 곡선 방정식에서 는 “벡터장 가 점 에서 가지는 성분값”을 뜻한다. 이 구분을 놓치면 나중에 chain rule 적용 시 헷갈릴 수 있다.
Flow와 Diffeomorphism
Lie Derivative의 정의
직관적 해석:
질문
이것보다 더 이해하기 쉬운 해석은 없나?
Glia의 보충 (2026-05-17)
핵심 문제: “form이 변했는지”를 어떻게 비교하나?
보통 미분은
를 비교하는 것이지만, -form은 각 점마다 정의된 객체라서 점 에서의 와 점 에서의 는 서로 다른 공간에 사는 객체라 직접 뺄 수가 없다. 비교를 가능하게 만드는 트릭이 pull-back이다:
- 벡터장
의 flow를 따라 점 를 만큼 흘려보내면 에 도착 - 그 도착점에서의
를 로 원래 점 로 끌고 온다 - 이제 둘 다 같은 점
에 있으니까 뺄셈이 가능 비유: 강물 위의 온도 측정. 강물이 흐르고 있고(
= 유속장), 수면 위에 온도 분포가 있다고 하자( = 물리량). “강물의 흐름을 따라가면서 온도가 변하는가?”를 묻는 것이 Lie derivative다. 단순히 “이 자리에서 시간이 지나면 변하나”( )가 아니라, 흐름을 타고 이동하면서 느끼는 변화를 측정한다.
이면 “ 는 의 흐름을 따라 끌려가도 모양이 안 변한다” — 즉 의 flow에 대한 대칭성이 있다는 뜻이다. 0-form
의 경우 pull-back이 그냥 합성이니까: 이것은 유체역학의 **물질미분(material derivative)**의 공간 부분과 정확히 같은 구조다.
0-form에 대한 Lie derivative
만약
질문 (빨간 글씨)
왜
이지? 에서 어떻게 유도해?
Glia의 보충 (2026-05-17)
Chain rule을 적용한다.
에서 는 개의 성분 를 가지므로: 여기서 두 가지 사실을 대입한다:
(시간 0에서는 제자리) - 적분 곡선의 정의
에서 따라서:
마지막 등호는 벡터장
가 함수 에 작용하는 것의 정의 그 자체다.
질문 (빨간 글씨)
Lie derivative와 Lie bracket은 무슨 연관이기에 Lie라는 명칭을 동시에 쓰는 걸까?
Glia의 보충 (2026-05-17)
단순히 명칭만 공유하는 게 아니라 실제로 깊이 연결되어 있다.
1. 벡터장에 대한 Lie derivative = Lie bracket:
벡터장에 대한 Lie derivative는: 즉 Lie bracket은 “벡터장의 Lie derivative”의 특수한 경우다.
2. 함수에 대한 Lie derivative의 비가환성 = Lie bracket:
두 벡터장, 와 함수 에 대해: Lie derivative를 두 번 적용하는 순서를 바꿨을 때의 차이가 정확히 Lie bracket
에 의한 Lie derivative다. Lie bracket이 “두 flow를 번갈아 따라갔을 때 생기는 어긋남”을 측정하는 것이었는데, 그 어긋남이 Lie derivative의 비가환성으로 나타난다. 왜 같은 이름인가: Sophus Lie가 연구한 핵심 주제가 연속 변환군(Lie group)과 그 무한소 생성자(Lie algebra)였다. Lie derivative는 “flow(연속 변환)를 따라가면서 기하학적 객체의 변화를 측정”하는 것이고, Lie bracket은 “두 무한소 생성자 사이의 대수적 관계”인데, 이 둘이 같은 구조의 서로 다른 얼굴이다.
Lie derivative의 성질
①
증명:
여기서 pull-back과 exterior derivative가 교환되는 성질
② Leibniz 규칙
증명:
Product rule을 적용하면 위의 Leibniz 규칙이 된다.
필기 노트의 메모
이 성질을 기하학적으로 해석하면 재미있다고 하는데, 나는 이것을 어떻게 기하학적으로 해석해야 하는지 모르겠다.
Glia의 보충 (2026-05-17)
기하학적 해석: 넓이의 변화율
2차원에서
와 가 각각 1-form이면, 는 두 방향이 만드는 넓이 요소다. Flow를 따라 이 넓이가 어떻게 변하는지를 묻는 게 이다. 넓이가 변하는 방식은 두 가지뿐이다:
방향이 변형되면서 넓이가 변한다 → 방향이 변형되면서 넓이가 변한다 → 이것은 곡의 미분법
과 본질적으로 같은 구조다. 직사각형의 넓이 의 변화율이 인 것처럼, wedge product로 만들어진 기하학적 “부피”의 변화율도 각 변이 독립적으로 기여하는 항의 합이 된다. 실제로 노트 아래의 volume form 결과
도 이 Leibniz 규칙을 번 반복 적용해서 나온 것이다 — 의 각 가 한 번씩 를 받아 로 바뀌고, 대각 성분( )만 살아남아 가 된다.
일반적
Leibniz 규칙과
각 기저 1-form의 Lie derivative는:
이를 대입하면 명시적인 결과를 얻는다:
Volume form의 Lie derivative
이 결과는 벡터장의 divergence가 volume form의 Lie derivative를 통해 자연스럽게 정의된다는 것을 보여준다.
궁금한 내용
- Current 3-form
의 정확한 정의와 물리적 의미? 과 conservation law의 관계? - Lie derivative의 더 직관적인 해석은?
의 유도 과정? - Lie derivative와 Lie bracket의 명칭적 연관?
- Leibniz 규칙의 기하학적 해석?
AI의 보충 설명
연관 학습 노트
References
다음 강의
AM lecture note - Stokes theorem