[논문 리뷰] An inverse problem for a semi-linear elliptic equation in Riemannian geometries

Ali Feizmohammadi, Lauri Oksanen|arXiv (Cornell University)|2019. 04. 01.

Numerical methods in inverse problems참고 문헌 53인용 수 96

한 줄 요약

이 논문은 복소 기하광학 해와 다중 선형화 기법을 사용하여 리만 다양체 위의 준선형 타원형 방정식에 대한 역문제에서 딜리클레-노이만(Dirichlet-to-Neumann, DN) 맵이 비선형 포텐셜 $ V(x,z) $ 를 유일하게 결정한다는 것을 보여, 이를 통해 새로운 가중된 광선 변환—즉, 자코비 가중 광선 변환(Jacobi weighted ray transform)의 역변환을 가능하게 한다. 주요 결과는 등각적 횡방향 이방성 다각체에서의 이 변환의 역행성으로, 3차원 및 4차원에서 $ V_2 $ 가 사전에 알려져 있지 않은 경우에도 $ V $ 를 복원할 수 있다.

ABSTRACT

We study the inverse problem of unique recovery of a complex-valued scalar function $V:\mathcal M imes \mathbb C o \mathbb C$, defined over a smooth compact Riemannian manifold $(\mathcal M,g)$ with smooth boundary, given the Dirichlet to Neumann map, in a suitable sense, for the elliptic semi-linear equation $-\Delta_{g}u+V(x,u)=0$. We show that under some geometrical assumptions uniqueness can be proved for a large class of non-linearities. The proof is constructive and is based on a multiple-fold linearization of the semi-linear equation near complex geometric optic solutions for the linearized operator and the resulting non-linear interactions. These non-linear interactions result in the study of a weighted transform along geodesics, that we call the Jacobi weighted ray transform.

연구 동기 및 목표

• 리만 다각체 위의 준선형 타원형 방정식 $ -\Delta_g u + V(x,u) = 0 $ 에 대한 역문제에서 유일성의 확립.
• 디리클레-노이만(DN) 맵이 비선형 포텐셜 $ V(x,z) $ 를 유일하게 복원하는지, 특히 $ z $ 에 대해 해석적이고 $ z=0 $ 에서 0이 되는 경우에 대해 규명.
• 복소 기하광학 해를 기반으로 한 다중 선형화 전략을 개발하여 캘러존 문제를 비선형 환경으로 확장.
• 등각적 횡방향 이방성 다각체에서의 횡방향 다각체에서 새로운 유형의 가중 광선 변환—자코비 가중 광선 변환—을 도입하고 그 역행성 입증.
• 다양체의 기하학적 가정과 지오데식 구조에 기반하여 $ V_2 $ 의 사전 지식 없이도 전체 비선형성 $ V $ 를 복원하는 것

제안 방법

• 준선형 방정식 $ -\Delta_g u + V(x,u) = 0 $ 에 다중 선형화를 적용하여 $ V(x,z) = \sum_{k=1}^\infty \frac{V_k(x)}{k!} z^k $ 의 멱급수 전개를 수행.
• 복소 기하광학(CGO) 해를 선형화된 연산자 $ -\Delta_g + V_1(x) $ 에 대해 복소 위상과 함께 가우시안 준모드를 사용하여 구성.
• DN 맵을 이용해 CGO 해 간의 비선형 상호작용을 탐지하여 횡방향 다각체의 지오데식을 沿해 가중 적분을 생성.
• 첫 번째 및 두 번째 종류의 자코비 가중 광선 변환을 정의하고 분석하여 CGO 해의 비선형 상호작용을 기록.
• 주파수 $ \lambda \to \infty $ 일 때 정적 위상 방법과 점근 분석을 통해 자코비 가중 광선 변환의 단사성 증명.
• 이중 측정값(예: $ f^+_{\rho}, f^-_{\rho} $) 을 조합하여 횡방향 변수에서 $ V_2 $ 의 푸리에 변환을 복원하고, 역푸리에 변환을 통해 $ V_2 $ 를 점별적으로 복원 가능하게 함.

실험 결과

연구 질문

• RQ1 디리클레-노이만 맵은 리만 다각체 위의 준선형 타원형 방정식에서 비선형 포텐셜 $ V(x,z) $ 를 유일하게 결정할 수 있는가?
• RQ2 다양체 $ (M,g) $ 에 대한 어떤 기하학적 조건에서 DN 맵이 $ V $ 를 유일하게 복원할 수 있으며, 특히 $ V_2 $ 가 사전에 알려져 있지 않은 경우에 대해 어떻게 되는가?
• RQ3 3차원 및 4차원에서 $ V_2 $ 가 사전에 알려져 있지 않은 경우에도 비선형성 $ V $ 는 복원 가능한가?
• RQ4 CGO 해의 비선형 상호작용에서 유도된 자코비 가중 광선 변환은 횡방향 다각체에서 역행성을 갖는가?
• RQ5 지오데식의 적합성(공액점 없음, 자기교차 없음)이 역문제의 유일성에 어떤 역할을 하는가?

주요 결과

• 등각적 횡방향 이방성(CTA) 다각체에서 $ V_1 $ 가 알려져 있고 횡방향 다각체가 적합한 조건을 만족할 경우, DN 맵은 비선형 포텐셜 $ V(x,z) $ 를 유일하게 결정한다.
• 3차원 및 4차원 CTA 다각체에서, 각 점을 통과하는 최대 길이의 비자기교차 지오데식이 존재하고 공액점이 없을 경우, $ V_2 $ 가 사전에 알려져 있지 않더라도 $ V $ 는 유일하게 복원 가능하다.
• 복소 기하광학 해의 비선형 상호작용은 지오데식을 따라 가중 적분 변환을 생성하며, 이는 첫 번째 및 두 번째 종류의 자코비 가중 광선 변환으로 식별된다.
• 주파수 $ \lambda \to \infty $ 일 때 점성 위상 방법과 점근 분석을 통해 단일 지오데식을 따라 자코비 가중 광선 변환의 역행성이 입증되어 $ m \geq 3 $ 에 대해 $ V_m $ 를 복원할 수 있다.
• DN 맵은 횡방향 변수 $ x' $ 에서 $ V_2 $ 의 푸리에 변환을 유일하게 결정하며, 이는 역푸리에 변환을 통해 횡방향 다각체 위에서 점별로 $ V_2 $ 를 복원할 수 있게 한다.
• 증명은 구성적 귀납법에 기반한다: $ V_1, \dots, V_{m-1} $ 가 알려져 있을 때, $ m $-중 선형화와 관련된 가중 광선 변환을 통해 $ V_m $ 는 DN 맵으로부터 유일하게 결정된다.