[논문 리뷰] Stability estimates for inverse problems for semi-linear wave equations on Lorentzian manifolds

Matti Lassas, Tony Liimatainen외 2명|arXiv (Cornell University)|2021. 06. 23.

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

한 줄 요약

이 논문은 경계가 볼록하거나 빛선이 유일하게 교차하지 않는다는 조건 없이, 전역적으로 초월성인 루르티에르만이 공간 위에서 반선형파 방정식 $ \square_g u + q u^m = 0 $ 에서 시간에 따라 변하는 잠재력 $ q $ 의 호일더 안정적 복원을 도메인-노이만 맵을 이용해 확립한다. 고차 선형화 방법과 가우시안 빔을 활용하며, 이는 이전 연구에서 요구된 제한적인 기하적 가정을 제거함으로써 확장된 결과이다.

ABSTRACT

This paper concerns an inverse boundary value problem of recovering a zeroth order time-dependent term of a semi-linear wave equation on a globally hyperbolic Lorentzian manifold. We show that an unknown potential $q$ in the non-linear wave equation $\square_g u +q u^m=0$, $m\geq 4$, can be recovered in a Hölder stable way from the Dirichlet-to-Neumann map. Our proof is based on the higher order linearization method and the use of Gaussian beams. Unlike some related works, we do not assume that the boundary is convex or that pairs of lightlike geodesics can intersect only once. For this, we introduce some general constructions in Lorentzian geometry. We expect these constructions to be applicable to studies of related problems as well.

연구 동기 및 목표

• 전역적으로 초월성인 루르티에르만 다양체 위에서 반선형파 방정식에 대한 시간에 따라 변하는 잠재력 $ q $ 를 복원하는 데 있어서 안정성 추정을 확립하는 것.
• 이전 연구에서 요구되었던 경계의 볼록성 및 유일한 빛선 지나가는 지점의 교차성과 같은 기하적 제약 조건을 제거하는 것.
• 비선형 초월성 편미분방정식의 역문제에 적용 가능한 일반적인 루르티에르만 기하학적 구성 방법을 개발하는 것.
• 고차 선형화 방법을 곡률이 있는 시공간에서 $ m \geq 4 $ 인 비선형파 방정식에 확장하는 것.
• 최소한의 기하적 가정 하에 도메인-노이만 맵이 $ q $ 를 호일더 안정적으로 유일하게 결정함을 증명하는 것.

제안 방법

• 비선형 역문제를 선형화된 문제들의 순서로 줄이기 위해 고차 선형화 방법을 사용한다.
• 지역화된 波front를 지닌 해를 구성하기 위해 가우시안 빔을 활용하여 경계 근처의 기하학적 구조와 잠재력 $ q $ 를 탐사한다.
• 선형화된 파동 방정식에 대한 에너지 추정을 도출하기 위해 닫힌 그래프 정리를 적용하여, 해의 잘 정의됨과 안정성을 보장한다.
• 절단 함수와 단위 분할을 사용하여 좌표 차트 내에서 국소 해를 구성하고, 유한한 전파 속도를 통해 전역적으로 이를 붙인다.
• 관측 데이터로 도메인-노이만 맵을 사용하며, 이는 경계의 도메인 데이터를 해의 노이만 추적으로 매핑한다.
• 소볼레프 공간 이론과 일관된 초기 및 경계 조건을 갖춘 파동 방정식의 유일한 해 존재성을 기반으로 한다.

실험 결과

연구 질문

• RQ1 전역적으로 초월성인 루르티에르만 다양체 위에서 반선형파 방정식 $ \square_g u + q u^m = 0 $ 의 잠재력 $ q $ 가 도메인-노이만 맵을 통해 안정적으로 복원될 수 있는가?
• RQ2 고차 선형화 방법을 통해 경계가 볼록이거나 빛선이 유일하게 교차한다는 가정 없이도 $ q $ 를 호일더 안정적으로 복원할 수 있는가?
• RQ3 비선형 파동 방정식의 역문제로 일반화된 기하학적 구성 방법은 루르티에르만 기하학에서 어떤 것이 필요한가?
• RQ4 비선형성의 정도가 $ m \geq 4 $ 일 때, 경계 측정치에 포함된 정보의 양은 어떻게 증가하는가?
• RQ5 선형화 과정에서 고차 항을 사용함으로써 역문제의 안정성은 어느 정도 향상될 수 있는가?

주요 결과

• 반선형파 방정식에서 $ m \geq 4 $ 인 경우, 도메인-노이만 맵을 통해 잠재력 $ q $ 가 호일더 안정적으로 복원될 수 있다.
• 경계가 볼록이거나 빛선이 유일하게 교차한다는 조건이 필요 없이 안정성 결과가 유지되며, 이는 이전 연구에서 요구된 핵심 가정을 제거함을 의미한다.
• 고차 선형화 방법은 비선형 역문제를 가우시안 빔 구성으로 해결 가능한 선형 문제들의 순서로 성공적으로 줄였다.
• 저자들은 비선형 초월성 편미분방정식의 더 넓은 범위의 역문제에 적용 가능한 일반적인 루르티에르만 기하 도구를 도입하였다.
• 닫힌 그래프 정리를 통해 에너지 추정을 유도하여, 소볼레프 공간에서 해의 매핑이 잘 정의되고 안정됨을 보장한다.
• 해는 국소 해를 유한한 전파 속도와 호환 조건을 통해 시간 간격에 걸쳐 반복적으로 구성한다.