[논문 리뷰] Inverse problems in spacetime I: Inverse problems for Einstein equations

Yaroslav Kurylev, Matti Lassas외 1명|arXiv (Cornell University)|2014. 05. 20.

Numerical methods in inverse problems참고 문헌 25인용 수 4

한 줄 요약

이 논문은 제어된 외란을 가진 결합된 아인슈타인-스칼라 장 방정식에 대한 역방법을 사용하여, 시간적 지선 주변의 능동 측정이 최소 인과 다이아몬드 영역 내에서 시공간의 동형 구조를 유일하게 결정함을 밝혀낸다. 핵심 결과는 소규모이고 局부적인 소스가 비선형 쌍곡형 시스템의 해 거동을 통해 의존 영역 내에서 동형 기하를 재구성할 수 있다는 것이다.

ABSTRACT

Abstract: We consider inverse problems for the coupled Einstein equations and the matter field equations on a 4-dimensional globally hyperbolic Lorentzian manifold (M, g). We give a positive answer to the question: Do the active measurements, done in a neighborhood U ⊂M of a freely falling observed µ = µ([s−, s+]), determine the conformal structure of the spacetime in the minimal causal diamond-type set Vg = J+g (µ(s−)) ∩ J g (µ(s+)) ⊂ M containing µ? More precisely, we consider the Einstein equations coupled with the scalar field equations and study the system Ein(g) = T, T = T (g, φ) + F1, and gφ−V ′(φ) = F2, where the sources F = (F1,F2) correspond to perturbations of the physical fields which we control. The sources F need to be such that the fields (g, φ,F) are solutions of this system and satisfy the conservation law ∇jT jk = 0. Let (ĝ, φ̂) be the background fields corresponding to the vanishing source F. We prove that the obser-vation of the solutions (g, φ) in the set U corresponding to sufficiently small sources F supported in U determine Vg ̂ as a differentiable mani-fold and the conformal structure of the metric g ̂ in the domain Vĝ. The methods developed here have potential to be applied to a large class of inverse problems for non-linear hyperbolic equations encountered e.g. in various practical imaging problems.

연구 동기 및 목표

• 자유 낙하 관측자 주변에서의 능동 측정이 최소 인과 다이아몬드 영역 내에서 시공간의 동형 기하를 유일하게 결정할 수 있는지 조사하기 위해.
• 통제된 소스를 가진 결합된 아인슈타인-스칼라 장 방정식의 역문제를 분석하기 위해.
• 소규모 외란을 가진 물리적 장(소스)이 인과 다이아몬드 영역 내에서 동형 기하를 유일하게 재구성할 수 있음을 확립하기 위해.
• 비선형 쌍곡형 시스템에 대한 역방법을 일반 상대성 이론과 관련된 영상 문제로 확장하기 위해.
• 배경 시공간 계량과 스칼라 장이 시간적 지선 주변에서 외란된 해를 관측함으로써 회복될 수 있음을 증명하기 위해.

제안 방법

• 연구는 시공간을 4차원 구조를 가진 전역적으로 초과된 루워티지안 다양체 (M, g)로 모델링한다.
• 결합된 시스템을 고려한다: 아인슈타인 방정식 Ein(g) = T이며, 여기서 T는 계량 g와 스칼라 장 φ에 의존하며, 소스 항 F1과 F2를 포함한다.
• 소스 F = (F1, F2)는 물리적 장의 외란을 나타내며, 작고 제어 가능하여 시스템이 잘 정의됨을 보장한다.
• 스트레스-에너지 텐서의 물리적 일관성을 확보하기 위해 보존 법칙 ∇jT jk = 0을 도입한다.
• 배경 장(ĝ, φ̂)은 F = 0인 경우를 나타내며, 기준 시공간을 제공한다.
• 시간적 지선 µ의 주변 영역 U에서의 해 (g, φ) 관측을 통해, 인과 다이아몬드 영역 Vĝ = J+g(µ(s−)) ∩ Jg(µ(s+)) 내에서 ĝ의 동형 구조를 결정한다.

실험 결과

연구 질문

• RQ1 자유 낙하 관측자 주변에서의 능동 측정이 최소 인과 다이아몬드 영역 내에서 시공간의 동형 기하를 유일하게 결정할 수 있는가?
• RQ2 소규모이고 국부적인 계량과 스칼라 장 소스의 외란은 얼마나 깊이 시공간 기하를 재구성할 수 있는가?
• RQ3 보존 법칙 ∇jT jk = 0이 결합된 아인슈타인-스칼라 장 시스템의 역문제에 어떤 제약을 가하는가?
• RQ4 이 연구에서 개발된 방법은 물리적 영상에서 나타나는 다른 비선형 쌍곡형 시스템으로 일반화될 수 있는가?
• RQ5 외란된 장 해의 관측을 통해 시공간 영역의 동형 기하를 재구성하기 위해 필요한 최소 관측 영역은 무엇인가?

주요 결과

• 배경 계량 ĝ의 동형 구조는 시간적 지선 주변의 영역 U에서 외란된 아인슈타인-스칼라 장 시스템의 해를 관측함으로써 인과 다이아몬드 영역 Vĝ 내에서 유일하게 결정된다.
• 소스 F가 U에 국한되어 충분히 작을 경우 재구성이 달성되며, 이는 해의 거동이 영향 영역 내에 유지됨을 보장한다.
• 영역 Vĝ는 지선 세그먼트의 끝점들의 미래 및 과거 인과 향후의 교차로 정의되며, 최소 인과 다이아몬드로 간주된다.
• U에서 관측된 외란 시스템의 해 (g, φ)를 통해 ĝ가 미분 가능 다양체로서 및 그의 동형 동치류로서 회복될 수 있다.
• 이 방법은 광범위한 비선형 쌍곡형 시스템 클래스에 대해 강건하며, 다양한 영상 및 물리적 시스템의 역문제에 적용 가능성을 시사한다.
• 결과는 능동 측정과 외란 이론을 활용한 일반 상대성 이론의 역문제에 대한 기초적인 프레임워크를 수립한다.