[논문 리뷰] Inverse problems for semilinear wave equations on Lorentzian manifolds

Matti Lassas, Günther Uhlmann외 1명|arXiv (Cornell University)|2016. 06. 20.

Numerical methods in inverse problems참고 문헌 28인용 수 6

한 줄 요약

이 논문은 4차원 루르티지안 다양체 위의 반선형 파동방정식에 대해 소스-해 맵이 시간적 지오데식 주변에서 계량의 등각류와 비선형성의 4차까지의 타일러 계수를 결정함을 밝힌다. 비선형성 상호작용에서의 특이점에 대한 마이크로로컬 분석을 통해 저자들은 일반적인 매끄럽고 비퇴화된 조건 하에서 계량과 비선형성에 대한 역문제가 해법이 있음을 증명하며, 이는 이전의 이차 비선형성 결과를 점점 더 높은 차수의 비선형성으로 확장하는 점근 전개와 게이지 불변 구성요소를 통해 이루어진다.

ABSTRACT

We consider inverse problems in space-time $(M, g)$, a $4$-dimensional Lorentzian manifold. For semilinear wave equations $\square_g u + H(x, u) = f$, where $\square_g$ denotes the usual Laplace-Beltrami operator, we prove that the source-to-solution map $L: f ightarrow u|_V$, where $V$ is a neighborhood of a time-like geodesic $μ$, determines the topological, differentiable structure and the conformal class of the metric of the space-time in the maximal set where waves can propagate from $μ$ and return back. Moreover, on a given space-time $(M, g)$, the source-to-solution map determines some coefficients of the Taylor expansion of $H$ in $u$.

연구 동기 및 목표

• 경계 측정을 통해 반선형 파동방정식의 비선형성의 타일러 계수와 루르티지안 계량의 등각류를 결정하는 것.
• 이전의 이차 비선형성에 대한 역문제 결과를 4차 또는 그 이상의 일반적인 매끄러운 비선형성으로 확장하는 것.
• 소스-해 맵이 미분형식에 대해 계량을 유일하게 결정하고 비선형성을 게이지 동치에 대해 유일하게 결정함을 확립하는 것.
• 두 파동에서 네 파동까지의 비선형 파동 상호작용에서 특이점의 전파를 분석하여 계량과 비선형성 정보를 추출하는 것.
• 해석성과 영인 조건 하에서 등각 인자 $ \gamma $와 고차 비선형 계수들이 소스-해 맵으로부터 재구성될 수 있음을 증명하는 것.

제안 방법

• 시간적 지오데식 주변의 이웃 영역 $ V $ 내에서 컴actsupport된 소스 $ f $ 를 가진 $ \square_g u + H(x,u) = f $ 를 만족하는 $ u $ 에 대해 소스-해 맵 $ L(f) = u|_V $ 를 사용하는 것.
• 특이점의 전파와 상호작용을 연구하기 위해 마이크로로컬 분석, 특히 쌍형 라그랑주 분포와 정규분포를 적용하는 것.
• 파동 상호작용(두 파동에서 네 파동까지)에 따른 해의 점근 전개를 통해 주요 특이점과 그 주요 기호에 초점을 맞추는 것.
• 해의 역행을 구성하고 게이지 변환을 사용하여 원래의 파동 연산자를 주로 기호를 유지하는 양마베형 연산자와 연결하는 것.
• 소규모 $ C^4 $-매끄러운 컴팩트 지지 함수에 대해 $ (L|_{W_0})^{-1} $ 를 유도하여 $ z=0 $ 근처의 $ H(x,z) $ 를 복원하는 것.
• 다른 게이지 간 계수를 연결하고 등각 인자 $ \gamma $ 를 결정하기 위해 항등식 $ a^{(1)}b^{(1)} = e^{-\gamma} a^{(2)}b^{(2)} $ 를 사용하는 것.

실험 결과

연구 질문

• RQ1 반선형 파동방정식의 소스-해 맵으로부터 루르티지안 계량의 등각류를 재구성할 수 있는가?
• RQ2 소스-해 맵은 $ z=0 $ 근처에서 비선형성 $ H(x,z) $ 의 타일러 계수를 어느 정도 결정하는가?
• RQ3 두 파동에서 네 파동까지의 비선형 상호작용은 계량과 비선형성 정보 복원에 어떻게 기여하는가?
• RQ4 게이지 불변성은 역문제에서 어떤 역할을 하는가? 이를 어떻게 해결하여 계량과 비선형성을 복원할 수 있는가?
• RQ5 등각 인자 $ \gamma $ 는 어떤 조건 하에서 측정치로부터 유일하게 결정될 수 있는가?

주요 결과

• 소스-해 맵은 파동이 시간적 지오데식 $ \mu $ 로부터 출발하여 다시 돌아올 수 있는 최대 영역 $ I(p_-, p_+) $ 에서 계량 $ g $ 의 등각류를 결정한다.
• 비선형성 $ H $ 가 실해석적이며 $ z=0 $ 에서 최소한 4차까지 영이 되는 조건 하에서, $ x \in V $ 에 대해 $ \partial_z^k H(x,0) $ 의 타일러 계수는 맵에 의해 유일하게 결정된다.
• 리치 곡률이 0이거나 $ H $ 가 $ x $ 에 독립적인 경우, 등각 인자 $ \gamma $ 는 상수를 제외하고는 유일하게 결정된다.
• 일반적인 $ H(x,z) $ 에 대해, 소규모 $ C^4 $-매끄러운 함수에 대한 소스-해 맵의 역함수를 통해 $ \partial_z^k H(x,0) $ 의 계수들이 재구성된다.
• 비선형 상호작용 특이점의 주요 기호는 항등식 $ a^{(1)}b^{(1)} = e^{-\gamma} a^{(2)}b^{(2)} $ 를 통해 계량과 비선형성과 연결되며, 이는 계량 복원을 가능하게 한다.
• 역문제는 계량을 미분형식에 대해, 비선형성을 게이지 동치에 대해 결정하는 의미에서 해법이 있으며, 이는 이차 비선형성 결과를 고차 비선형성으로 확장한다.