[논문 리뷰] Global uniqueness from partial Cauchy data in two dimensions

Oleg Imanuvilov, Günther Uhlmann외 1명|ArXiv.org|2008. 10. 13.

Numerical methods in inverse problems참고 문헌 29인용 수 20

한 줄 요약

이 논문은 두 차원에서 경계의 임의의 열린 부분집합에서 측정한 부분 Cauchy 데이터로부터 슈뢰딩거 방정식의 복소수 잠재력의 전역 유일성을 확립한다. 열화된 가중 함수를 가진 카르레만 추정을 사용하여, 저자들은 복소 기하학적 옹호(CGO) 해를 구성함으로써, 어떤 비어 있지 않은 경계 부분집합에서의 부분 Cauchy 데이터가 동일할 경우 잠재력이 동일하다는 것을 증명한다. 이는 캘러론 문제를 2차원에서 부분 데이터로 확장한 것이다.

ABSTRACT

We prove for a two dimensional bounded domain that the Cauchy data for the Schroedinger equation measured on an arbitrary open subset of the boundary determines uniquely the potential. This implies, for the conductivity equation, that if we measure the current fluxes at the boundary on an arbitrary open subset of the boundary produced by voltage potentials supported in the same subset, we can determine uniquely the conductivity. We use Carleman estimates with degenerate weight functions to construct appropriate complex geometrical optics solutions to prove the results.

연구 동기 및 목표

• 두 차원에서 경계의 임의의 열린 부분집합에서 측정한 부분 Cauchy 데이터로부터 슈뢰딩거 방정식의 복소수 잠재력을 회복하는 역문제의 전역 유일성을 확립하는 것.
• 측정이 경계의 전체가 아닌 부분집합에서 이루어지는 경우에도 캘러론의 역도전도 문제를 확장하는 것.
• 경계의 부분집합에서의 딜리클레-노이만 맵이 장애물이나 구멍이 있는 경우에도 도전도 또는 잠재력을 유일하게 결정한다는 것을 증명하는 것.
• 부분 데이터 문제에 적합한 복소 기하학적 옹호(CGO) 해를 구성하기 위해 열화된 가중 함수를 가진 카르레만 추정을 개발하고 적용하는 것.

제안 방법

• 저자들은 열화된 가중 함수를 가진 카르레만 추정을 사용하여 슈뢰딩거 방정식의 복소 기하학적 옹호(CGO) 해를 구성한다.
• 열린 부분집합 $\widetilde{\Gamma} \subset \partial\Omega$ 에서 딜리클레 데이터가 보조 부분 $\Gamma_0$ 에서 0이 되는 부분 Cauchy 데이터의 집합을 정의한다.
• 두 잠재력 $q_1$ 과 $q_2$ 에 대해 부분 Cauchy 데이터 집합이 동일하다는 가정을 두고, 해의 차이와 관련된 연립 방정식을 유도하고, 부분 적분과 에너지 추정을 적용한다.
• 핵심 단계는 벡터장 $\psi = \nabla\Phi$ 가 코시-리만 방정식을 만족하고 경계 근처에서 성장이 통제될 수 있도록 가중 함수 $\varphi$ 와 위상 $\Phi$ 를 선택하는 것이다.
• 카르레만 추정에서 경계 항의 구조를 이용하여 해의 차이의 $L^2$-노름을 분리하고, 매개수 $\tau \to \infty$ 일 때 이 노름이 0이 되어야 한다는 것을 보인다.
• 경계 항 $\partial_{\vec{\tau}}(AB - BA)$ 가 $\Gamma_0$ 에서 양수임을 보장함으로써 경계 적분을 통제하고, 해의 차이가 0이 되어 $q_1 = q_2$ 를 유추한다.

실험 결과

연구 질문

• RQ1 두 차원에서 경계의 임의의 열린 부분집합에서 측정한 부분 Cauchy 데이터로부터 슈뢰딩거 방정식의 잠재력이 전역적으로 유일하게 결정될 수 있는가?
• RQ2 경계의 부분집합에서의 딜리클레-노이만 맵이 도전도 방정식의 도전도를 유일하게 결정하는가?
• RQ3 측정이 경계의 진정한 부분집합에서만 이루어지는 경우에도 2차원에서 캘러론 문제의 전역 유일성을 확립할 수 있는가?
• RQ4 카르레만 추정에서의 열화된 가중 함수가 부분 데이터 문제에 적합한 CGO 해를 구성하는 데 어떤 역할을 하는가?
• RQ5 부분 데이터가 존재하는 상황에서 카르레만 추정의 경계 적분 항을 어떻게 통제할 수 있는가?

주요 결과

• 정리 1.1은 임의의 열린 부분집합 $\widetilde{\Gamma} \subset \partial\Omega$ 에서 부분 Cauchy 데이터 집합 $\mathcal{C}_{q_1}$ 과 $\mathcal{C}_{q_2}$ 가 동일할 경우, $\Omega$ 내부에서 잠재력 $q_1$ 과 $q_2$ 가 동일하다는 것을 증명한다.
• 보조정리 1.1은 두 차원에서 $C^{3+\alpha}$ 도전도에 대해 부분집합 $\widetilde{\Gamma}$ 에서의 딜리클레-노이만 맵이 도전도 $\gamma$ 를 유일하게 결정한다는 것을 보여준다.
• 보조정리 1.2는 도메인이 구멍이 있는 경우로 확장되어, 도메인에 장애물 $D$ 가 있을 때도 열린 부분집합 $V \subset \partial\Omega$ 에서의 부분 Cauchy 데이터가 잠재력 $q$ 를 유일하게 결정한다는 것을 증명한다.
• 보조정리 1.3은 장애물 존재 조건 하에서도 $C^{3+\alpha}$ 정규성 조건 하에서 부분집합 $V$ 에서의 도전도 $\gamma$ 가 딜리클레-노이만 맵에 의해 유일하게 결정됨을 확인한다.
• 증명은 열화된 가중 함수를 가진 카르레만 추정을 통해 CGO 해를 구성함에 기반하며, 핵심 추정은 부분 데이터 가정 하에 소멸하는 경계 적분을 통해 해의 차이의 $L^2$-노름을 통제한다.
• 경계 항 $\partial_{\vec{\tau}}(AB - BA)$ 는 적절한 가중 함수 선택을 통해 $\Gamma_0$ 에서 양수로 만들어지며, 이는 유일성 증명에 필수적이다.