스라소니 머릿속에는

Christoffel Symbol from Euler-Lagrange

4 min read

Christoffel Symbol from Euler-Lagrange

기호 표

기호의미
일반화 좌표 ()
metric tensor — 좌표의 함수
의 역행렬 ()
Christoffel symbol (second kind)


이런 문제를 풀던 중이었다.

설정: 순수 운동에너지 라그랑지안

는 일반화 좌표 전체 에 의존하는 함수다.
(예: 극좌표에서 은 에 의존)

유도: Euler-Lagrange 방정식 적용

Euler-Lagrange 방정식:

Step 1. 계산

⚠️ 핵심 주의사항: 미분 인덱스 와 라그랑지안 안의 dummy index가 겹치면 안 된다!

를 그대로 쓰면 가 두 역할을 동시에 해서 위험하다.
먼저 dummy index를 바꾼다:

이므로:

(마지막 등호: 대칭성 이용)

Step 2. 시간 미분 — 연쇄법칙

는 의 함수이므로:

Step 3. 계산

Step 4. 합치기

Step 5. 인덱스 대칭화

는 교환에 대해 대칭이므로:

따라서:

괄호 안이 바로 **Christoffel symbol (first kind)**의 정의:

Step 6. 곱하기 → 운동 방정식

양변에 를 곱하면 ():

여기서 는 Christoffel symbol (second kind) 이다.

핵심 인사이트

Christoffel symbol은 미분기하학 없이 순수한 계산으로 유도된다.
필요한 것은 딱 두 가지:

  1. 가 좌표의 함수임을 기억하고 연쇄법칙 적용
  2. 의 대칭성을 이용한 인덱스 정리

미분기하학에서는 이 결과를 곡선 공간에서의 측지선(geodesic) 방정식으로 해석하지만, 그것은 이 계산을 마친 뒤에 얻는 인사이트다.

⚠️ Einstein Index 계산 시 핵심 주의사항

미분/변분을 수행하기 전에 항상 확인할 것:

“내가 미분하는 인덱스가 식 안에 이미 합산 인덱스(dummy index)로 쓰이고 있지 않은가?”

만약 겹친다면 → dummy index를 다른 문자로 바꾸고 시작!

예:

  • 위험: ← 가 미분 인덱스이자 합산 인덱스
  • 안전: ← dummy index를 로 교체

그래프 뷰