[논문 리뷰] Seeing through spacetime

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

Numerical methods in inverse problems참고 문헌 74인용 수 5

한 줄 요약

이 논문은 비선형 파동 방정식 $\Box_g u + a u^2 = F$ 를 활용하여 전역적으로 쌍곡형인 로레츠 반스티나 시공간에서의 역문제를 해결하는 새로운 방법을 개발한다. 비선형성의 특성을 이용해 능동 측정을 수동 관측으로 환원함으로써, 시공간의 위상적, 미분적, 동형적 구조를 시계적 지선 주변의 이웃 영역에서의 데이터로부터 복원할 수 있으며, 빛의 원뿔 관측을 통해 동형 유형(리치 평탄성 조건 하에서는 전체 계량 텐서)을 결정할 수 있다.

ABSTRACT

We study two inverse problems on a globally hyperbolic Lorentzian manifold (M,g). We consider measurements done in a neighborhood V of a time-like, future directed geodesic µ that connects p − to p + . The studied problems are: 1. Active measurements in spacetime: We consider inverse problems for non-linear hyperbolic equations and develop a method that utilizes the non-linearity as a benefit. The method is demonstrated for the non-linear wave equationgu + au 2 = F. We consider the source-to- solution map LV : F → u|V that maps the source F supported on V to the restriction of the solution u on V. When M is 4-dimensional, we show that the set V , the metric g|V on it, and the map LV determine the topological, differentiable, and conformal structures of the spacetime in the maximal set where waves can propagate from µ and return back to µ. We use the non-linearity of the wave equation to reduce the problem of active measurements to passive measurements. 2. Passive observations in spacetime: We assume that we are given V , g|V, and the light observations sets PV (q) corresponding to all (or a dense subset of) source points q in W ⊂ M. The light observation set PV (q) is the intersection of V and the light-cone emanating from the point q. When W ⊂ M is a relatively compact, connected, open set which all points are in the chronological past of the point p + but not in the past of the point p − , we show that the given data determine the conformal type of (W,g|W). Under assumption that the space-time is Ricci-flat we can also determine the whole metric tensor in W. The methods developed here have the potential to be applied to a large class of inverse problems for non-linear hyperbolic equations en- countered in various practical imaging problems and other problems in mathematical physics.

연구 동기 및 목표

• 로레츠 기하학에서 비선형 쌍곡형 방정식에 대한 역문제를 다루며, 특히 제한된 측정 자료로부터 시공간 재구성 문제를 해결하는 것.
• 파동 방정식의 비선형성이 어떻게 활용되어 능동 측정을 수동 측정으로 전환할 수 있는지 보여주어 데이터 수집을 단순화하는 것.
• 미래의 한 점의 역사적 과거에 있는 원천들로부터의 빛의 원뿔 관측을 통해 시공간 영역의 동형적 구조를 복원하는 것.
• 리치 평탄성 조건 하에서, 상대적으로 작고 밀도 높은 영역 내 수동 관측 자료로부터 전체 계량 텐서를 결정할 수 있음을 보여주는 것.
• 비선형 쌍곡형 편미분방정식을 포함하는 영상 및 수학물리 문제에 적용 가능한 프레임워크를 수립하는 것.

제안 방법

• 논문은 비선형 파동 방정식 $\Box_g u + a u^2 = F$ 에 대해 시공간의 시계적 지선 $\mu$ 의 이웃 영역 $V$ 에서의 소스-해 맵 $L_V: F \mapsto u|_V$ 를 통해 능동 측정을 모델링한다.
• 비선형성을 이용해 추가 정보를 생성함으로써, 직접 소스 주입이 필요 없이 능동 측정 데이터를 수동 관측으로 환원할 수 있도록 한다.
• 수동 관측의 경우, 각 원천 점 $q \in W \subset M$ 에서의 향후 빛의 원뿔과 $V$ 의 교차로 정의된 빛 관측 집합 $P_V(q)$ 를 기반으로 한다.
• 분석은 $W$ 가 상대적으로 컴act하고 연결되어 있으며, $p^+$ 의 역사적 과거에 있지만 $p^-$ 는 아니므로, 원천에서 $V$ 로의 인과적 전파가 보장되도록 한다.
• 빛의 원뿔 자료 $P_V(q)$ 로부터 $W$ 의 동형적 구조를 재구성하며, 리치 평탄성 조건 하에서는 전체 계량 텐서를 결정한다.
• 이 접근법은 전역 쌍곡성과 파동의 인과적 전파를 바탕으로 하여 재구성의 유일성과 안정성을 보장한다.

실험 결과

연구 질문

• RQ1 쌍곡형 파동 방정식의 비선형성은 시공간 내에서 능동 역문제를 수동 문제로 전환하는 데 활용될 수 있는가?
• RQ2 시계적 지선 주변의 측정 자료로부터 시공간의 위상적, 미분적, 동형적 구조를 어느 정도 복원할 수 있는가?
• RQ3 한 시공간 영역의 동형 유형은 그 영역의 역사적 과거에 있는 원천들로부터의 빛의 원뿔 관측만으로도 결정할 수 있는가?
• RQ4 어떤 기하학적 조건(예: 리치 평탄성) 하에서 전체 계량 텐서가 수동 데이터로부터 재구성될 수 있는가?
• RQ5 비선형 쌍곡형 방정식을 포함하는 수학물리 문제에 대한 이 제안된 방법은 얼마나 일반적으로 적용 가능한가?

주요 결과

• 비선형 파동 방정식 $\Box_g u + a u^2 = F$ 에 대한 소스-해 맵 $L_V$ 는 파동이 지선 $\mu$ 로부터 출발하고 다시 돌아오는 시공간 영역의 위상적, 미분적, 동형적 구조를 결정한다.
• 비선형성 덕분에 능동 측정에서 수동 측정으로의 환원이 가능하여 직접 소스 주입이 필요 없이 재구성할 수 있다.
• 주어진 $V$, $g|_V$, 그리고 밀도 높은 원천 집합 $q \in W$ 에 대한 빛 관측 집합 $P_V(q)$ 가 있을 경우, $W$ 의 동형 유형은 유일하게 결정된다.
• 시공간이 리치 평탄하다면, 동일한 수동 데이터로 $W$ 에서의 전체 계량 텐서가 결정된다.
• 제시된 기하학적 및 인과적 조건 하에서 4차원 전역적으로 쌍곡형인 시공간에서 결과가 성립한다.
• 이 프레임워크는 영상 및 수학물리 문제에 걸쳐 비선형 쌍곡형 편미분방정식을 포함하는 광범위한 역문제 클래스에 일반화 가능하다.