[논문 리뷰] Inverse problems in spacetime I: Inverse problems for Einstein equations - Extended preprint version

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

Numerical methods in inverse problems참고 문헌 68인용 수 19

한 줄 요약

이 논문은 전역적으로 초과하는 시공간에서 시간적 지오데식 주변의 능동 측정이 지오데식을 포함하는 최소 인과 다이아몬드 내에서 시공간의 등각 구조를 결정함을 밝힌다. 통제된 소스 하에 아인슈타인-스칼라 필드 방정식의 변형을 분석함으로써, 저자들은 변형된 필드의 경계 측정치로부터 배경 메트릭의 등각 동치류가 유일하게 복원 가능하다는 것을 증명한다.

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\subset M$ of a freely falling observed $μ=μ([s_-,s_+])$, determine the conformal structure of the spacetime in the minimal causal diamond-type set $V_g=J_g^+(μ(s_-))\cap J_g^-(μ(s_+))\subset 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,ϕ)+F_1$, and $\square_gϕ-\mathcal V^\prime(ϕ)=F_2$, where the sources $F=(F_1,F_2)$ 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 $ abla_jT^{jk}=0$. Let $(\hat g,\hat ϕ)$ be the background fields corresponding to the vanishing source $F$. We prove that the observation of the solutions $(g,ϕ)$ in the set $U$ corresponding to sufficiently small sources $F$ supported in $U$ determine $V_{\hat g}$ as a differentiable manifold and the conformal structure of the metric $\hat g$ in the domain $V_{\hat g}$. 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차원 전역적으로 초과하는 로레츠 반-민코프스키 다양체에서 결합된 아인슈타인 방정식과 물질장 방정식의 역문제를 다루는 것.
• 자유 낙하 관측자와 관련된 최소 인과 다이아몬드 내에서 등각 구조의 유일성을 확립하는 것.
• 통제된 변형 하에 아인슈타인 방정식과 스칼라 필드 방정식의 결합 시스템을 분석하는 것.
• 작은 국소적 소스와 그에 따른 필드 반응으로부터 배경 메트릭의 등각 동치류가 식별 가능하다는 것을 증명하는 것.

제안 방법

• 결합 시스템 수립: 에너지-모멘텀 텐서 $T = T(g, \theta) + F_1$를 갖는 아인슈타인 방정식과 파동 방정식 $\square_g\phi - \mathcal{V}'(\phi) = F_2$.
• 작고 컴act하게 지지된 소스 $F = (F_1, F_2)$를 통해 시간적 지오데식 $\mu$의 주변 영역 $U$에서 능동 측정을 모델링.
• 변형된 필드의 물리적 일관성을 확보하기 위해 보존 법칙 $\nabla_j T^{jk} = 0$을 사용.
• 미세국소 분석 및 경계-해 맵을 적용하여 $U$ 내에서 관측된 필드 반응과 시공간 기하학을 연결.
• 배경 메트릭 $\hat g$의 등각 구조를 인과 다이아몬드 $V_{\hat g} = J^+(\mu(s_-)) \cap J^-(\mu(s_+))$ 내에서 재구성.
• 배경 $(\hat g, \hat \phi)$를 기준으로 시스템을 선형화하고, 이를 통해 유도된 선형화된 역문제를 이용해 기하학적 정보를 추론.

실험 결과

연구 질문

• RQ1 자유 낙하 관측자 주변의 능동 측정을 통해 시공간의 등각 구조가 유일하게 결정될 수 있는가?
• RQ2 작고 통제된 소스를 갖는 결합된 아인슈타인-스칼라 필드 방정식의 해는 시공간 기하학을 어느 정도 포함하는가?
• RQ3 시간적 지오데식을 포함하는 최소 인과 다이아몬드는 변형된 필드의 경계 측정치로부터 식별 가능한가?
• RQ4 보존 법칙 $\nabla_j T^{jk} = 0$은 역문제에서 변형의 물리적 실현 가능성에 어떤 제약을 가하는가?
• RQ5 이 비선형 쌍곡선 시스템에 대해 개발된 방법은 기하 해석 및 영상 분야의 다른 역문제로 일반화될 수 있는가?

주요 결과

• 배경 메트릭 $\hat g$의 등각 구조는 시간적 지오데식 주변의 이웃 영역 $U$에서 관측된 변형된 필드에 의해 유일하게 결정된다.
• 적절히 작은 소스 $F$가 $U$에 지지될 경우 선형화 영역이 유지되어 재구성이 가능하다.
• 최소 인과 다이아몬드 $V_{\hat g} = J^+(\mu(s_-)) \cap J^-(\mu(s_+))$는 측정치로부터 복원 가능한 최대 영역로 확인된다.
• 배경 필드 $(\hat g, \hat \phi)$는 변형된 필드의 경계 측정치로부터 등각 동치성까지 복원된다.
• 이 방법들은 작은 변형에 강건하며, 쌍곡선 PDE의 맥락에서 선형화된 시스템의 해법과 유일성에 의존한다.
• 결과는 비선형 쌍곡선 시스템의 역문제를 해결하는 데 기초를 제공하며, 영상 및 일반 상대성 이론 응용에 기여한다.