[논문 리뷰] Uniqueness for inverse boundary value problems by Dirichlet-to -Neumann map on subboundaries

Oleg Imanuvilov, Masahiro Yamamoto|arXiv (Cornell University)|2013. 03. 09.

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

한 줄 요약

이 논문은 두 차원 및 세 차원에서 경계에 국한된 경계 측정값에 국한된 Dirichlet-to-Neumann 사상에 의해 역 경계가치 문제에 대한 유일성 결과를 확립한다. 저자들은 Carleman 추정을 통해 구성된 복소 기하학적 옹호 해를 활용하여, 측정 경계와 비가용 경계의 합집합의 폐쇄가 전체 경계를 덮는 조건 하에 도전성 γ가 부분 경계 측정값으로 유일하게 결정됨을 증명한다.

ABSTRACT

We consider inverse boundary value problems for elliptic equations of second order of determining coefficients by Dirichlet-to-Neumann map on subboundaries, that is, the mapping from Dirichlet data supported on $\partialΩ\setminus Γ_-$ to Neumann data on $\partialΩ\setminus Γ_+$. First we prove uniqueness results in three dimensions under some conditions such as $\bar{Γ_+ \cup Γ_-} = \partialΩ$. Next we survey uniqueness results in two dimensions for various elliptic systems for arbitrarily given $Γ_- = Γ_+$. Our proof is based on complex geometric optics solutions which are constructed by a Carleman estimate.

연구 동기 및 목표

• Dirichlet-to-Neumann 사상이 부분 경계에서만 알려진 경우에 역 도전성 문제의 유일성을 확립하기 위해.
• 두 차원 및 세 차원에서 부분 경계 측정값이 도전성 γ를 유일하게 복원하는 데 충분한지 조사하기 위해.
• 측정 데이터가 경계의 일부에서만 수집되는 경우에, 기하학적 및 정규성 조건 하에 Calderón 문제를 확장하기 위해.
• 부분 데이터를 다루기 위한 복소 기하학적 옹호 해와 Carleman 추정에 기반한 역 계수 문제의 프레임워크를 개발하기 위해.

제안 방법

• 큰 매개변수 τ에 의존하는 가중 함수를 갖는 Carleman 추정을 사용하여 도전성 방정식의 복소 기하학적 옹호 해를 구성하기 위해.
• 이러한 해의 τ → ∞에서의 점근적 행동을 활용하여 도전성 차이를 포함하는 적분 항등식을 유도하기 위해.
• 부분 적분과 경계 추적 추정을 적용하여 오차 항을 제어하고 부분 경계에서의 극한이 0이 되도록 하기 위해.
• 해석적 및 반해석적 함수 구성 기법을 활용하여 경계 데이터를 모델링하고 Dirichlet-to-Neumann 사상의 구조를 활용하기 위해.
• Sobolev 공간에서의 극값 문제를 통한 쌍대성 원리를 적용하여 적분 조건으로부터 경계 데이터를 재구성하기 위해.
• 만약 경계 함수가 모든 해석적 함수와의 적분이 0이면 그 함수는 반드시 0이어야 한다는 사실을 이용하여 유일성을 도출하기 위해.

실험 결과

연구 질문

• RQ1 세 차원에서 Dirichlet-to-Neumann 사상이 부분 경계에 국한되어 있을 때 도전성 γ가 유일하게 결정될 수 있는가?
• RQ2 영역과 부분 경계에 대한 기하학적 및 정규성 조건은 역 도전성 문제에서 유일성을 보장하기 위해 어떤 조건을 필요로 하는가?
• RQ3 두 차원에서 Dirichlet-to-Neumann 사상이 단일 부분 경계 Γ₊ = Γ₋에서만 알려져 있을 때 유일성이 가능할 수 있는가?
• RQ4 복소 기하학적 옹호 해와 Carleman 추정의 사용은 어떻게 부분 경계 데이터로부터의 복원을 가능하게 하는가?
• RQ5 해석 함수와의 경계 적분이 0이 되는 조건이 함수 자체가 0임을 의미하는가에 대한 조건은 무엇인가?

주요 결과

• 세 차원에서는 접근 가능한 경계와 비가용 경계의 합집합이 전체 경계를 덮을 경우, 즉 $ar{Γ}_+ ∪ Γ_- = \partial\Omega$ 일 때 도전성 γ에 대한 유일성이 확립된다.
• 두 차원에서는 경계 데이터가 모든 해석적 함수와의 적분 조건을 만족할 경우, 임의의 부분 경계 Γ₊ = Γ₋에 대해 유일성이 성립한다.
• 증명은 큰 매개변수 τ → ∞에서의 점근적 행동을 제어할 수 있도록 허용하는 Carleman 추정을 통한 복소 기하학적 옹호 해의 구성에 기반한다.
• 저자들은 Dirichlet-to-Neumann 데이터가 부분 경계에서 일치하면 도전성의 차이가 반드시 0이 되어야 하며, 이는 유일성을 의미함을 보였다.
• 핵심 기술적 단계로, 위상 함수 Φ와 그 켤레와 관련된 특정 경계 적분이 τ → ∞에서 0이 되는 것을 증명하였으며, 이는 도전성 차이의 소멸으로 이어진다.
• 경계 위의 유한한 개의 점에서 고차수로 0이 되는 해석적 함수의 존재를 이용하여 오차를 국소화하는 해를 구성함으로써, 유일성 증명을 가능하게 하였다.