[논문 리뷰] On the 1+3 Formalism in General Relativity

Xavier Le Roy|arXiv (Cornell University)|2014. 05. 24.

Advanced Differential Geometry Research참고 문헌 12인용 수 5

한 줄 요약

이 논문은 일반 상대성 이론에서 시간적 곡선의 집합에 따라 시공간을 분할하는 종합적인 1+3 체계를 제시한다. 이 체계는 비틀림이 존재하여 공간 기저가 초면을 이루지 못하는 경우에도, 공간 기저에 대해 가우스, 코다치, 리치 방정식을 유도한다. 이 체계는 아인슈타인 장 방정식과 동치인 완전한 제약 및 진화 방정식 세트를 도출하며, 임의의 벡터 기저에서 명시적인 표현을 제공함으로써 기하학적으로 일관된 프레임워크를 제공한다. 이는 이전의 1+3 접근법을 일반화하고 3+1 체계와 직접적인 대응 관계를 수립한다.

ABSTRACT

We present in this paper the formalism for the splitting of a four-dimensional Lorentzian manifold by a set of time-like integral curves. Introducing the geometrical tensors characterizing the local spatial frames induced by the congruence (namely, the spatial metric tensor, the extrinsic curvature tensor and the Riemann curvature tensor), we derive the Gauss, Codazzi and Ricci equations, along with the evolution equation for the spatial metric. In the present framework, the spatial frames do not form any hypersurfaces as we allow the congruence to exhibit vorticity. The splitting procedure is then applied to the Einstein field equation and it results in an equivalent set of constraint and evolution equations. We discuss the resulting systems and compare them with the ones obtained from the 3+1 formalism, where the manifold is foliated by means of a family of three-dimensional space-like surfaces.

연구 동기 및 목표

• 시간적 적분 곡선의 집합에 따라 시공간을 분할하는 기하학적으로 일관된 1+3 체계를 개발함으로써, 비틀림이 존재하여 공간 기저가 초면을 이루지 못하는 경우에도 적용 가능하도록 하는 것.
• 비틀림이 존재하는 경우에도 유도된 공간 기하에 대한 가우스, 코다치, 리치 방정식을 유도하는 것.
• 아인슈타인 장 방정식을 3+1 체계와 유사한 방식으로 1+3 제약 및 진화 방정식으로 재구성함으로써, 스레딩 관점에 맞게 조정된 것.
• 특정 좌표계에 국한되지 않고 일반적인 4차원 벡터 기저와 그 쌍대 기저에서의 일반적 기술을 제공함으로써, 이전 연구에서 적응 기저에 국한된 한계를 극복하는 것.
• 동일한 기하학적 및 운동학적 양을 기저에 종속되지 않은 방식으로 표현함으로써, 1+3 체계와 3+1 체계 간의 공식적 대응 관계를 수립하는 것.

제안 방법

• 시간적 곡선의 집합을 도입하고, 이에 대한 수직 공간 기저에 대해 공간 메트릭, 외적 곡률, 리만 곡률 텐서를 정의함으로써 체계를 구축한다.
• 리만 곡률 분해를 이용하여 가우스, 코다치, 리치 방정식을 유도하며, 공간 곡률 및 외적 곡률 텐서는 공간 기저에 투영하는 연산자에 의해 정의된다.
• 시간적 벡터 장의 연속 미분을 이용하여 공간 메트릭의 진화 방정식을 유도하며, 정규화 조건과 메트릭 호환성 조건을 활용한다.
• 아인슈타인 장 방정식을 1+3 성분으로 분해하기 위해, 곡선의 탄젠트 및 노멀 벡터를 이용하여 4차원 리만 텐서와 리치 텐서를 공간 및 시간 방향으로 투영한다.
• 시간적 좌표 $t$와 공간 좌표 $X^i$를 갖는 곡선에 적응된 좌표계를 사용하며, 텐서 성분을 표현하기 위해 쌍대 1형식 기저 $\{dt, dX^i\}$를 정의한다.
• 특정 좌표 선택에 종속되지 않는 일반적인 벡터 기저에서 유도를 수행함으로써 방정식이 특정 좌표 선택에 의존하지 않음을 보장하고, 결과를 표준 3+1 체계와 비교한다.

실험 결과

연구 질문

• RQ1 비틀림이 존재하여 공간 기저가 초면을 이루지 못하는 경우에도, 일반적인 시간적 곡선 집합에 대해 1+3 체계를 체계적으로 유도할 수 있는가?
• RQ2 임의의 4차원 벡터 기저에서 표현된 1+3 체계에서 가우스, 코다치, 리치 방정식의 명시적 형태는 무엇인가?
• RQ3 아인슈타인 장 방정식으로부터 도출된 1+3 제약 및 진화 방정식은 3+1 체계의 대응 방정식과 비교해 볼 때, 구조적 및 기하학적 내용 측면에서 어떻게 다른가?
• RQ4 시프트 1형식과 그 성분은 시간적 곡선 집합의 비틀림을 결정하는 데 어떤 역할을 하는가? 이는 텐서 방정식에 어떻게 반영되는가?
• RQ5 완전히 기하학적인 1+3 체계를 구성할 수 있는가? 이는 3+1 체계와 완전히 동치이면서도 유체의 운동학적 양(확장, 비틀림, 비틀림)의 해석을 유지할 수 있는가?

주요 결과

• 비틀림이 존재하는 경우에도 일반적인 벡터 기저에서 1+3 체계에 대해 가우스, 코다치, 리치 방정식을 유도하여, 곡선의 비틀림이 존재하더라도 공간 기하를 기술할 수 있도록 한다.
• 공간 메트릭의 진화 방정식은 $ \frac{1}{M} \mathcal{L}_{\bm{m}} \gamma_{ij} = K_{ij} $로 표현되며, 여기서 $ \bm{m} = M\bm{u} $로, 이는 곡선 沿해 공간 기하의 시간 진화를 보여준다.
• 가속도 성분은 $ a_i = \frac{D_i M}{M} + \mathcal{L}_{\bm{m}} M_i $로 주어지며, 이는 유체의 가속도가 시프트 1형식의 리에 미분과 메트릭의 시간 도함수와 직접적으로 연결되어 있음을 나타낸다.
• 비틀림 성분은 $ \omega_{ij} = M(M_{[i}M_{j],t} - M_{[i,j]}) $로 표현되며, 이는 시프트 1형식이 0이면 비틀림도 0이 됨을 보여준다.
• 4차원 리만 텐서의 1+3 분해는 아인슈타인 장 방정식과 동치인 제약 및 진화 방정식 세트를 도출하며, 초면을 이루지 못하는 공간 기저에서 기인하는 추가 항들이 존재한다.
• 동일한 기하학적 및 운동학적 양을 기저에 종속되지 않은 방식으로 표현함으로써, 1+3 체계와 3+1 체계 간의 직접적 대응 관계를 수립하였으며, 이는 이전 연구에서 적응 기저에 국한된 한계를 극복한다.