ADM 수식 체계

위키백과, 우리 모두의 백과사전.
(ADM 수식체계에서 넘어옴)
이동: 둘러보기, 검색

아노윗-데세르-미스너 수식 체계(Arnowitt-Deser-Misner數式體系, 영어: Arnowitt–Deser–Misner formalism, 약자 ADM 수식 체계)는 일반 상대성 이론해밀턴 역학으로 표현하는 방법이다. 시공에 공간적 엽층(葉層, 영어: foliation)을 준 뒤, 엽층의 각 잎(plaque)의 (시공의 부분다양체로서) 유도된 계량 텐서에 대하여 바른틀 운동량을 정의한다. 잎의 계량 텐서 및 그 운동량에 포함되지 않는 (질량껍질 밖) 자유도는 라그랑주 승수 꼴로 나타나, 이론에 제약(영어: constraint)을 준다.

역사[편집]

리처드 아노윗(영어: Richard Lewis Arnowitt), 스탠리 데세르(폴란드어: Stanley Deser), 찰스 미스너(영어: Charles W. Misner)가 1959년에 도입하였다.[1]

전개[편집]

그리스 문자 첨자 \mu,\nu,\dots는 4차원 시공을, 로마자 첨자 i,j,\dots는 3차원 공간만을 나타낸다. 여기서는 −+++ 계량 부호수를 쓴다.

일반 상대성 이론아인슈타인-힐베르트 작용으로 나타낼 수 있다.

\mathcal L=\sqrt{-\det g_{\mu\nu}}R

여기서 g_{\mu\nu}계량 텐서, R리치 스칼라다. g_{ij}에 대한 켤레 운동량 \pi^{ij}를 정의한다.

\pi^{ij}=\sqrt{-\det g_{\mu\nu}} \left(\Gamma^{0}_{pq} - g_{pq} \Gamma^{0}_{rs}g^{rs} \right) g^{ip}g^{jq}

계량 텐서의 나머지 성분은 다음과 같이 나타낼 수 있다.

g_{00}=-N^2
g_{0i}=N_i

g_{ij}에 대하여 해밀토니언을 정의하자. 그렇다면 작용은 다음과 같다.

\mathcal L=-g_{ij}\partial\pi^{ij}-NH-N_iP^i.

여기서

H=-\sqrt{-\det g_{ij}}\left(R+\frac1{\det g_{ij}}\left(\frac12(\det\pi^{ij})^2-\pi^{ij}\pi_{ij}\right)\right)
P^i=-2\nabla_j\pi^{ij}

다. 즉 NN_i라그랑주 승수가 되며, 운동 방정식에 따라 H=P^i=0이다.

보조장 NN_i는 각각 경과장(經過場, 영어: lapse 랩스[*]) 및 이동장(移動場, 영어: shift 시프트[*])이라고 불린다.

참고 문헌[편집]

  1. Arnowitt, R.; Deser, S.; Misner, C. (1959). "Dynamical Structure and Definition of Energy in General Relativity". Physical Review 116 (5): 1322–1330.