[논문 리뷰] Partial Data for the Neumann-to-Dirichlet Map

Francis J. Chung|arXiv (Cornell University)|2012. 11. 01.

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

한 줄 요약

이 논문은 $N \geq 3$ 인 $\mathbb{R}^N$ 내의 영역에서 경계의 부분집합에서 Neumann-to-Dirichlet (ND) 연산자의 부분 측정값이, 보완적인 부분집합에 지지된 Neumann 데이터를 사용할 때, 전기 포텐셜을 유일하게 결정함을 증명한다. 증명은 Schrödinger 연산자에 대한 경계 조건을 갖는 새로운 Carleman 추정식에 기반하며, Dirichlet-to-Neumann 연산자에 대한 부분 데이터 결과를 Neumann 설정으로 확장한다.

ABSTRACT

We show that measurements of the Neumann-to-Dirichlet map, roughly speaking, on a certain part of the boundary of a smooth domain in dimension 3 or higher, for inputs with support restricted to the other part, determine an electric potential on that domain. Given a convexity condition on the domain, either the set on which measurements are taken, or the set on which input functions are supported, can be made to be arbitrarily small. The result is analogous to the result by Kenig, Sjöstrand, and Uhlmann for the Dirichlet-to-Neumann map. The main new ingredient in the proof is a Carleman estimate for the Schrödinger operator with appropriate boundary conditions.

연구 동기 및 목표

• 경계의 부분 측정값을 통해 Neumann-to-Dirichlet 연산자를 이용해 전기 포텐셜 $q$ 를 유일하게 결정하는 역문제를 확립하는 것.
• 차원 $N \geq 3$ 에서 Dirichlet-to-Neumann 연산자에 대한 부분 데이터 결과를 Neumann-to-Dirichlet 연산자로 확장하는 것.
• 볼록성 조건 하에서 측정 집합 또는 입력 Neumann 데이터의 지지 집합을 임의로 작게 만들 수 있음을 보여주는 것.
• 부분 데이터를 다루는 경계 역문제에 대해 Carleman 추정식을 이용한 엄밀한 프레임워크를 제공하는 것.

제안 방법

• Neumann 문제를 다룰 수 있도록 적절한 경계 조건을 갖는 Schrödinger 연산자에 대한 새로운 Carleman 추정식을 유도하는 것. 이는 Neumann 문제 다루기에 필수적이다.
• 특정 점근적 행동을 갖는 진동하는 해를 모델링하기 위해 eikonal 및 운반 방정식을 통해 복소 기하학적 옹크트(CGO) 해를 구성하는 것.
• 해를 측정되는 부분 또는 입력이 지지되는 부분 근처로 국소화하기 위해 컷오프 및 변형 방법을 적용하는 것.
• 함수열의 연장과 $L^2(\Omega)$ 내에서 노름이 통제된 해를 구성하기 위해 쌍대성 원리와 Hahn-Banach 정리를 활용하는 것.
• 가중치 함수 $\varphi$ (예: $x_{n+1}$ 또는 $\pm\log|x-p|$) 를 통해 정의된 경계 집합 $\partial\Omega_+$ 및 $\partial\Omega_-$ 의 구조를 활용하여 분석을 국소화하는 것.
• Carleman 추정식과 고정점 정리를 이용해 $Z^c$ 에서 주어진 Neumann 데이터와 $\Gamma$ 에서 주어진 Dirichlet 데이터를 갖는 Schrödinger 방정식의 해가 존재함을 증명하는 것.

실험 결과

연구 질문

• RQ1 Neumann 데이터가 보완적인 부분집합에 지지되어 있을 때, 경계의 부분집합에서 측정된 Neumann-to-Dirichlet 연산자가 내부의 전기 포텐셜을 유일하게 결정할 수 있는가?
• RQ2 어떤 기하학적 조건 하에서 측정 집합 또는 Neumann 데이터의 지지 집합을 임의로 작게 만들 수 있으며, 이때도 여전히 유일성이 유지되는가?
• RQ3 Carleman 추정식은 차원 $N \geq 3$ 에서 Neumann-to-Dirichlet 역문제에 어떻게 적응시킬 수 있는가?
• RQ4 Dirichlet-to-Neumann 연산자에 대한 결과가 부분 데이터 설정에서 Neumann-to-Dirichlet 연산자로 얼마나 넓게 확장되는가?
• RQ5 복소 기하학적 옹크트 해의 구성은 Neumann 경계 조건 프레임워크로 어떻게 적응시킬 수 있는가?

주요 결과

• Neumann 데이터가 $\partial\Omega_-$ 의 이웃 영역 $Z$ 에 지지되어 있을 때, $\partial\Omega_+$ 의 이웃 영역 $\Gamma$ 에서 측정된 Neumann-to-Dirichlet 연산자는 영역 $\Omega$ 내의 전기 포텐셜 $q$ 를 유일하게 결정한다.
• 엄격하게 볼록한 영역의 경우, $\varphi = -\log|x-p|$ ($p$ 가 볼록 hull 외부에 있을 때) 를 선택하면 $\Gamma$ 를 임의로 작게 만들 수 있으며, 이때도 여전히 유일성이 유지된다.
• $\varphi = +\log|x-p|$ 를 선택하면 측정이 경계의 대부분에서 이루어질 경우, Neumann 데이터의 지지 집합 $Z$ 를 임의로 작게 만들 수 있다.
• 증명은 경계 근처의 해를 통제할 수 있도록 해주는, 경계 조건을 갖는 Schrödinger 연산자에 대한 새로운 Carleman 추정식에 의존한다.
• 가중치 함수 $\varphi = x_{n+1}$ 또는 $\pm\log|x-p|$ 를 사용하여 Neumann 설정에 맞게 복소 기하학적 옹크트 해의 구성 방법을 적응시켰으며, 이에 관련된 eikonal 및 운반 방정식을 수반한다.
• 이 방법은 $L^2$-노름이 $O(h)$, Neumann 경계 추적 값이 $O(h)$ 인 해를 제공하여, 유일성 증명에 필요한 점근적 통제를 보장한다.