[논문 리뷰] Recovery of time-dependent coefficient on Riemanian manifold for hyperbolic equations

Yavar Kian, Lauri Oksanen|arXiv (Cornell University)|2016. 06. 23.

Numerical methods in inverse problems참고 문헌 43인용 수 9

한 줄 요약

이 논문은 차원 $ d \geq 2 $ 인 컴acts Riemannian 다양체 $ (M,g) $ 상에서 시간에 의존하는 잠재력 $ q \in L^\infty((0,T)\times M) $ 를 초월파 동역학 방정식에서 복원하는 데 있어 전역 유일성을 확립한다. 이는 실린더 $ \overline{M} = (0,T) \times M $ 의 경계에서 전체 또는 부분 Cauchy 데이터 세트를 이용한 것이다. 핵심 결과는 기하학적 가정(예: $ (M,g) $ 가 단순함) 하에, $ q $ 가 측면, 상단 및 하단 경계에서의 Cauchy 데이터로 유일하게 결정됨을 보여주며, Carleman 추정과 지오데식 레이 변환을 통해 시간에 의존하는 계수를 갖는 초월파 설정으로 Calderón 유형의 역문제를 확장한다.

ABSTRACT

Given $(M,g)$, a compact connected Riemannian manifold of dimension $d \geq 2$, with boundary $\partial M$, we study the inverse boundary value problem of determining a time-dependent potential $q$, appearing in the wave equation $\partial_t^2u-Δ_g u+q(t,x)u=0$ in $\bar M=(0,T) imes M$ with $T>0$. Under suitable geometric assumptions we prove global unique determination of $q\in L^\infty(\bar M)$ given the Cauchy data set on the whole boundary $\partial \bar M$, or on certain subsets of $\partial \bar M$. Our problem can be seen as an analogue of the Calderón problem on the Lorentzian manifold $(\bar M, dt^2 - g)$.

연구 동기 및 목표

• Riemannian 다양체 $ (M,g) $ 의 경계를 가진 파동 방정식 $ \partial_t^2 u - \Delta_g u + q(t,x)u = 0 $ 에서 시간에 의존하는 제0차 계수 $ q $ 를 복원하는 역문제를 다루는 것.
• 도메인의 영향 영역 제약을 극복하기 위해, $ (0,T)\times M $ 에서의 $ q \in L^\infty((0,T)\times M) $ 가 경계 $ \partial\overline{M} = \partial M \times (0,T) \cup \{0\} \times M \cup \{T\} \times M $ 에서의 부분 또는 전체 Cauchy 데이터로 유일하게 결정됨을 확립하는 것.
• 특히 시간 변화하는 계수를 갖는 초월파 설정에서, Lorentzian 다양체 $ (\overline{M}, dt^2 - g) $ 상에서 Calderón 문제 프레임워크를 확장하는 것.
• 이전 결과들이 시간 불변성 또는 유클리드 기하학을 가정한 바에 비해, 시간에 의존하는 경우를 다룰 수 있도록 Carleman 추정과 미세해석학 및 지오데식 레이 변환을 융합한 새로운 접근법을 개발하는 것.

제안 방법

• 실린더 $ \overline{M} = (0,T) \times M $ 상에서 파동 연산자 $ \Box_g + q $ 에 대해, 복소 위상 $ e^{-\sigma(\beta t + x_1)} $ 를 포함하는 가중 함수를 사용하여 경계 근처에서 해를 국소화하는 Carleman 추정을 유도한다.
• 지수적으로 증가하는 위상과 함께 복소 기하학적 옹크(geometric optics, CGO) 해 $ u_1, u_2 $ 를 구성하며, 이는 하위 순서 오차까지 파동 방정식을 만족한다.
• 해의 곱 $ u_1 u_2 $ 의 $ L^2 $-노름이 $ \sigma \to \infty $ 일 때의 점근적 행동을 이용하여, $ q $ 를 포함하는 적분 항등식을 유도하며, 한계에서 $ \int_{\overline{M}} q u_1 u_2 \, dt\,dx \to 0 $ 임을 보인다.
• 지오데식 레이 변환의 $ a^{-\frac{d-2}{2}} q $ 에 대한 시간 및 공간 변수 $ (t,x_1) $ 에 대한 푸리에 변환을 적용하여 문제를 레이 변환의 푸리에 변환의 영멸성 분석으로 환원한다.
• 단순 다양체에서의 지오데식 레이 변환의 단사성에 기반하여, 적분이 모든 시험 함수에 대해 영이면 $ q = 0 $ 이 됨을 유추한다.
• 극좌표계와 다양체의 구조를 이용하여 문제를 $ \partial M $ 에서 시작하는 지오데식을 따라 일차원 레이 변환으로 환원함으로써, 기존의 단사성 결과를 적용할 수 있도록 한다.

실험 결과

연구 질문

• RQ1 Riemannian 다양체 상의 파동 방정식에서 시간에 의존하는 계수 $ q \in L^\infty((0,T)\times M) $ 가 적절한 기하학적 가정 하에 경계 $ \partial\overline{M} $ 에서의 전체 Cauchy 데이터 세트로 유일하게 복원될 수 있는가?
• RQ2 전체 Cauchy 데이터 세트가 아닌, 부분 데이터—특히 측면, 상단 및 하단 경계 데이터—만으로도 유일성이 유지되는가?
• RQ3 시간에 의존하는 경우에 도메인의 영향 영역 분석이 실패하므로, 시간 변화하는 잠재력에 대해 Calderón 문제 프레임워크를 초월파 설정에 어떻게 적응시킬 수 있는가?
• RQ4 Carleman 추정과 복소 기하학적 옹크 해가 시간에 의존하는 계수를 갖는 Riemannian 다양체에서의 역문제 유일성 증명에 어떤 역할을 하는가?
• RQ5 푸리에 분석과 $ \sigma \to \infty $ 의 점근적 분석을 통해 문제를 환원한 후, 지오데식 레이 변환이 $ q $ 를 효과적으로 복원하는 데 사용될 수 있는가?

주요 결과

• 단순 다양체 $ (M,g) $ 라면, 시간에 의존하는 계수 $ q \in L^\infty((0,T)\times M) $ 는 경계 $ \partial\overline{M} $ 에서의 전체 Cauchy 데이터 세트 $ \mathcal{C}_q $ 로 유일하게 결정된다.
• 유사한 기하학적 가정 하에, 부분 데이터—특히 측면, 상단 및 하단 경계 데이터—만으로도 유일성이 유지된다.
• 증명은 복소 위상 $ e^{-\sigma(\beta t + x_1)} $ 를 포함하는 Carleman 추정에 기반하며, 이는 두 개의 CGO 해 곱의 $ L^2 $-노름을 제어할 수 있도록 한다.
• $ \sigma \to \infty $ 의 극한에서, 적분 $ \int_{\overline{M}} q u_1 u_2 \, dt\,dx \to 0 $ 이 되며, 이는 $ a^{-\frac{d-2}{2}} q $ 의 지오데식 레이 변환을 포함하는 영이 되는 항등식을 이끈다.
• $ a^{-\frac{d-2}{2}} q $ 의 레이 변환의 푸리에 변환은 모든 주파수에서 영이 되며, 이는 레이 변환의 영임을 의미한다.
• 단순 다양체에서의 지오데식 레이 변환의 단사성에 기반하여, $ q = 0 $ 이 됨을 유추하며, 따라서 $ q $ 가 경계 데이터로부터 유일하게 결정됨을 증명한다.