[논문 리뷰] Inverse problems for Lorentzian manifolds and non-linear hyperbolic equations

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

Numerical methods in inverse problems참고 문헌 80인용 수 159

한 줄 요약

이 논문은 비선형 초월 방정식을 도구로 활용하여 전역적으로 초과하는 로렌츠 구조를 가진 다양체에서 역문제를 해결하는 새로운 방법을 제시한다. 수동적 빛 관측 집합이 시공간 영역의 동치 구조를 유일하게 결정함을 증명하였으며, 이차 비선형성을 가진 능동 측정의 경우, 소스-해결 연산자는 시공간의 인과적, 미분적, 동치적 구조를 시계적 경로의 의존 영역 내에서 완전히 결정한다.

ABSTRACT

We study two inverse problems on a globally hyperbolic Lorentzian manifold $(M,g)$. The problems are: 1. Passive observations in spacetime: Consider observations in a neighborhood $V\\subset M$ of a time-like geodesic $\\mu$. Under natural causality conditions, we reconstruct the conformal type of the unknown open, relatively compact set $W\\subset M$, when we are given $V$, the conformal class of $g|_V$, and the light observations sets $P_V(q)$ corresponding to all source points $q$ in $W$. The light observation set $P_V(q)$ is the intersection of $V$ and the light-cone emanating from the point $q$, i.e., the points in the set $V$ where light from a point source at $q$ is observed. 2. Active measurements in spacetime: We develop a new method for inverse problems for non-linear hyperbolic equations that utilizes the non-linearity as a tool. This enables us to solve inverse problems for non-linear equations for which the corresponding problems for linear equations are still unsolved. To illustrate this method, we solve an inverse problem for semilinear wave equations with quadratic non-linearities. We assume that we are given the neighborhood $V$ of the time-like geodesic $\\mu$ and the source-to-solution operator that maps the source supported on $V$ to the restriction of the solution of the wave equation in $V$. When $M$ is 4-dimensional, we show that these data determine the topological, differentiable, and conformal structures of the spacetime in the maximal set where waves can propagate from $\\mu$ and return back to $\\mu$.

연구 동기 및 목표

• 관측 영역 내의 소스에서 발생하는 빛의 원뿔을 수동적으로 관측함으로써 시공간 영역의 동치 구조를 결정하는 것.
• 선형 방법이 실패하는 경우 비선형 초월 방정식의 비선형성을 활용하여 비선형 초월 방정식의 역문제를 위한 새로운 방법을 개발하는 것.
• 소스-해결 연산자를 통한 능동 측정을 통해 시공간의 위상적, 미분적, 동치적 구조를 재구성하는 것.
• 자연스러운 인과성 및 기하 조건 하에서 동치류의 유일성을 증명하여 기존 선형 방정식 결과를 초월하는 것.
• 진공 시공간에서 동치 인자(또는 동치 인자)가 유일하게 결정됨을 증명하고, 추가적인 곡률 제약 조건 하에서 등장하는 등장성(등장성)을 이끌어내는 것.

제안 방법

• 점 소스에서 발생하는 빛의 원뿔과 관측 영역의 교차를 통해 형성되는 빛 관측 집합의 가족을 사용하여 시공간 영역의 동치 구조를 재구성한다.
• 비선형 파동 상호작용, 특히 네 파동 상호작용에서 유도되는 4차 항을 포함한 파동의 파면 집합과 특이 지지 집합을 연구하기 위해 미세국소 분석을 적용한다.
• 비선형 파동 방정식의 해로 왜곡된 평면 파cket을 사용하여 기하 정보를 드러내는 점근적 전개를 구성한다.
• 파동 방정식의 비선형성을 활용하여 메트릭 정보를 포함하는 고차 특이성을 생성함으로써 선형 역문제의 한계를 극복한다.
• 가장 일찍 관측된 시간 함수와 컷 포인트 추정을 사용하여 관측된 시공간과 모델 다양체 사이의 동치 미분형사(동치 미분형사)를 구성한다.
• 진공 시공간에서 유일한 계속성 추론과 리치 곡률 제약 조건을 적용하여 동치 인자가 반드시 0이 되어야 하며, 이는 등장성(등장성)을 의미함을 보인다.

실험 결과

연구 질문

• RQ1 비선형 초월 방정식의 비선형성을 활용하여 기존 선형 방정식에서는 해결되지 않은 역문제를 해결할 수 있는가?
• RQ2 비선형 초월 방정식이 선형 방정식에 대해 해결되지 않은 역문제를 해결하는 데 도구로 사용될 수 있는가?
• RQ3 이차 비선형성을 가진 반선형 파동 방정식의 소스-해결 연산자가 시공간 기하학을 어느 정도 결정하는가?
• RQ4 진공 시공간에서 동치 인자가 어떤 조건에서 0이 되어 등장성(등장성)이지만 단순한 동치 등장성 이상이 되는가?
• RQ5 비선형 파동 방정식에서 메트릭 정보를 포함하는 특이성을 탐지하기 위해 파동 상호작용의 미세국소 분석을 어떻게 활용할 수 있는가?

주요 결과

• 상대적으로 컴acts한 열린 집합 $ W $ 내의 소스에서 유래하는 빛 관측 집합의 가정이 인과성 및 정규성 조건 하에서 $ W $ 상에서 메트릭의 동치류를 유일하게 결정한다.
• 4차원 시공간에서 이차 비선형성을 가진 반선형 파동 방정식의 소스-해결 연산자는 시계적 경로의 의존 영역 내에서 위상적, 미분적, 동치적 구조를 결정한다.
• 이 방법은 선형 대응이 여전히 열려 있는 비해석적 또는 시간에 의존적인 설정에서 비선형 방정식의 역문제를 해결할 수 있도록 한다.
• 진공 시공간에서 두 등장성 영역 간의 동치 인자는 반드시 식별적으로 0이 되어야 하며, 이는 메트릭이 단순한 동치 등장성 이상으로 등장성임을 의미한다.
• 가장 일찍 관측된 시간 함수와 컷 포인트 추정의 구성은 수동 데이터로부터 시공간 다양체의 미분 구조를 복원할 수 있음을 보여준다.
• 일반적인 집합에서 상호작용 함수 $ ilde{ ho}_{f g}(oldsymbol{ heta}) $ 가 0이 아니므로 비선형 파동 상호작용이 시공간을 재구성하는 데 충분한 기하 정보를 지닌다.