[논문 리뷰] Inverse boundary value problem for linear Schrödinger equation in two dimensions

Oleg Imanuvilov, Masahiro Yamamoto|arXiv (Cornell University)|2012. 08. 18.

Numerical methods in inverse problems참고 문헌 11인용 수 12

한 줄 요약

이 논문은 두 차원 슈뢰딩거 방정식의 역경계값 문제에서 $L^p(\Omega)$에 속하는 잠재력에 대해 $p>2$일 때의 유일성 문제를 증명하며, 이는 이전의 정규성 조건을 개선한 것이다. 복소 기하학적 옹호 해법과 정적 단계 방법을 사용하여, 저자들은 딜리클레-노이만 맵이 잠재력을 유일하게 결정함을 증명하며, 이는 이전 증명에서의 갭을 메우고 덜 규칙적인 잠재력으로 결과를 확장한다.

ABSTRACT

We relax the regularity condition on potentials of Schrödinger equations in the uniqueness results in \cite{EB} and \cite{IY2} for the inverse boundary value problem of determining a potential by Dirichlet-to-Neumann map.

연구 동기 및 목표

• 두 차원 슈뢰딩거 방정식의 역경계값 문제에서 잠재력 $q$에 대한 정규성 조건을 향상시키는 것.
• 완전한 코시 데이터로부터 잠재력 $q$의 유일성을 확립하여, 이전의 $W^{1}_{p}$ 조건($p>2$)에서 $L^p(\Omega)$ 조건($p>2$)로 요구 조건을 완화하는 것.
• 특히 부크헤임의 [5] 논문에서의 증명에 존재하는 갭을 메우고 증명을 강화하는 것.
• 최근 도전성 역전환 연구와 일치시키기 위해, 덜 규칙적인 잠재력으로까지 역유일성 결과의 적용 범위를 확장하는 것.
• 복소 해석학과 $L^p$ 공간에서의 적분 연산자 추정을 사용하여 역문제에 대한 엄밀한 기초를 마련하는 것.

제안 방법

• 복소 변수 표현 $z = x_1 + i x_2$를 기반으로 한 복소 기하학적 옹호 해법을 사용하며, 적분 연산자 $\partial_{\overline{z}}^{-1}$와 $\partial_z^{-1}$를 활용한다.
• 지수적 위상 함수 $e^{\tau(\Phi - \overline{\Phi})}$를 포함하는 연산자 $\widetilde{\mathcal{R}}_\tau$와 $\mathcal{R}_\tau$를 정의하여 특정 점근적 행동을 갖는 해를 구성한다.
• $L^p \to L^\gamma$ 및 $L^p \to W^{1}_p$ 공간에서 $\partial_{\overline{z}}^{-1}, \partial_z^{-1}$의 유계성을 사용하여 해의 정규성을 제어한다.
• 정적 단계 방법을 적용하여 진동하는 적분을 점근적으로 전개하며, $\int q_{\epsilon} e^{\tau(\Phi - \overline{\Phi})} dx = \frac{2\pi q_{\epsilon}(y)}{\tau} + o(\frac{1}{\tau})$임을 보인다.
• 에고로프의 정리와 측도 추정을 사용하여 잠재력 차이 $q - q_\epsilon$를 국소화하고 오차 항의 $L^2$ 노름을 제어한다.
• $q \not\equiv 0$라고 가정하여 모순을 이끌어내며, 점근적 전개가 $|q_{\epsilon}(y)|$가 아래에서 유계임을 강제함을 보여, $\tau \to \infty$일 때 오차 항의 감쇠와 모순됨을 밝힌다.

실험 결과

연구 질문

• RQ1 두 차원 슈뢰딩거 방정식의 역경계값 문제에 대해, 이전의 $W^{1}_p$ 조건을 초월하여 $L^p(\Omega)$에 속하는 잠재력에 대해 유일성 결과를 $p>2$로 확장할 수 있는가?
• RQ2 잠재력 $q \in L^p(\Omega)$, $p>2$일 때, 동일한 경계 조건 하에서 딜리클레-노이만 맵이 잠재력 $q$를 유일하게 결정하는가?
• RQ3 동일한 결과를 주장하지만 엄밀한 정당화가 부족한 부크헤임 [5]의 증명에서 존재하는 갭을 복소 해석학과 점근 분석을 통해 메울 수 있는가?
• RQ4 잠재력 $q$에 대한 정규성 조건이 두 차원에서의 역문제의 안정성과 유일성에 어떤 영향을 미치는가?
• RQ5 복소 기하학적 옹호 해법과 정적 단계 방법을 $C^k$ 또는 소볼레프 정규성 조건 없이 $L^p$ 잠재력에 대해 어떻게 적용할 수 있는가?

주요 결과

• 주요 결과는 두 잠재력 $q_1, q_2 \in L^p(\Omega)$에 대해 $p>2$일 때 완전한 코시 데이터 $\mathcal{C}_{q_1} = \mathcal{C}_{q_2}$이면 $q_1 = q_2$가 거의 모든 점에서 성립함을 증명한다.
• 저자들은 $L^p(\Omega)$ 조건($p>2$)로 최소한의 정규성 조건을 요구함으로써 딜리클레-노이만 맵으로부터 잠재력의 유일성을 확립하며, 이는 이전에 요구된 $W^{1}_p$ 또는 $C^k$ 정규성 조건을 초월한 결과이다.
• 증명은 부크헤임의 [5] 주장에서 발견된 결함을 보완하며, 정적 단계 방법의 정당화와 $L^p$ 기반 연산자 노름을 통한 오차 항의 제어를 통해 엄밀하게 이루어진다.
• 이 방법은 위상 함수 $\Phi(z,y) = (z - y)^2$를 갖는 복소 기하학적 옹호 해법을 구성함으로써, 적분 연산자 $\partial_{\overline{z}}^{-1}$와 $\partial_z^{-1}$를 사용하여 점근적 분석을 통해 $q$를 복원할 수 있도록 한다.
• 저자들은 $\|T_\tau\|_{L^2 \to L^2} \leq C/\tau$를 증명하며, 여기서 $T_\tau = \partial_z^{-1}(e^{\tau(\Phi - \overline{\Phi})} \cdot)$이므로, $q$를 근사할 때 오차가 $\tau^{-1}$의 속도로 감쇠됨을 의미한다.
• 모순에 의한 증명을 통해 $q \not\equiv 0$라고 가정하면, 오차 항의 $L^2$ 노름이 $\tau^{-1}$보다 더 빠르게 감쇠되는 반면, 주요 항 $\frac{2\pi |q_{\epsilon}(y)|}{\tau}$는 아래에서 유계임을 보여, $\tau \to \infty$일 때 모순이 발생함을 증명한다.