[논문 리뷰] On the Gel'fand-Calderón inverse problem in two dimensions

Emilia Blåsten|arXiv (Cornell University)|2013. 07. 18.

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

한 줄 요약

이 논문은 슈뢰딩거 포텐셜에 대한 2차원 게르파인-칼라에프 역문제의 유일성과 안정성을 레이놀즈-소볼레프 공간 $ H^{s,(2,1)}(\Omega) $에서 $ s > 0 $ 로 보장하며, $ \tau^{-1}\ln\tau $ 감쇠를 가지는 새로운 카르레만 추정과 부크헤임 유형의 진동하는 해를 사용한다. 이 결과는 이전의 정규성 조건을 개선하여 약간 덜 매끄러운 포텐셜을 允허하면서도 경계 데이터의 차이에 대한 정적 위상 분석을 통해 강력한 안정성 경계를 유지한다.

ABSTRACT

We prove uniqueness and stability for the inverse boundary value problem of the two dimensional Schrödinger equation. We do not assume the potentials to be continuous or even bounded. Instead, we assume that some of their positive fractional derivatives are in a specific Lorentz space. These spaces are a natural generalization to the usual fractional Sobolev spaces. The thesis consists of two parts. In the first part, we define the generalized fractional Sobolev spaces and prove some of their properties including embeddings and interpolation identities. In particular we sharpen the usual Sobolev embedding into the space of Hölder-continuous functions, by showing that a particular kind of space embeds into the space of continuous functions without any modulus of continuity. The inverse problem is considered in the second part of the thesis. We prove a new Carleman estimate for $\partial$. This estimate has a fast decay rate, which will allow us to consider potentials with very low regularity. After that we use Bukhgeim's oscillating exponential solutions, Alessandrini's identity and stationary phase to get information about the difference of the potentials from the difference of the Cauchy data. The stability estimate will be of logarithmic type, but works with potentials of low regularity.

연구 동기 및 목표

• 스체로딩거 방정식의 2차원 역경계값 문제에 대해 포텐셜의 최소 정규성 조건 하에서 유일성과 안정성을 확립하는 것.
• 특히 $ H^{1,(n,1)} \hookrightarrow C^0 $ 를 증명하는 레이놀즈-소볼레프 공간 $ H^{s,(p,q)}(\Omega) $ 의 정의와 분석.
• 저항성의 낮은 정도에서의 해석 분석에 유리한 $ \tau^{-1}\ln\tau $ 감쇠율을 가지는 $ \overline{\partial} $ 연산자에 대한 새로운 카르레만 추정을 개발하는 것.
• 레이놀즈 공간 기법을 통해 부크헤임의 진동하는 해와 알레산드린니의 항등식을 덜 매끄러운 포텐셜로 확장하는 것.
• 정면 문제의 잘 정의됨을 가정하지 않고도 경계 측정치로부터 포텐셜 재구성 가능성을 위한 프레임워크를 제공하는 것.

제안 방법

• 함수 공간 분석을 위해 레이놀즈-소볼레프 공간 $ H^{s,(p,q)}(\Omega) $ 의 도입과 연구를 수행하며, 임베딩 및 보간 항등식을 증명한다.
• 저항성의 낮은 정도에서의 해석 분석에 핵심적인 역할을 하는 $ \overline{\partial} $ 연산자에 대한 새로운 카르레만 추정을 유도하며, 감쇠율이 $ \tau^{-1}\ln\tau $ 임을 보장한다.
• 특정 $ L^{(2,1)} $ 프레임워크에 적합한 부크헤임 유형의 진동하는 지수 해를 구성하여, $ H^{s,(2,1)} $ 조건 하에서도 존재함을 보장한다.
• 포텐셜의 차이와 딜리클레-노이만 데이터의 차이를 연결하기 위해 알레산드린니의 항등식을 적용한다.
• 경계 데이터의 차이에 포함된 진동적 적분에서 정적 위상 방법을 사용하여 점근적 정보를 추출하고, 이를 포텐셜의 차이와 연결한다.
• 카르레만 추정을 테스트하기 위해 $ \overline{\partial}h $ 와 $ L^{(2,1)} $ 노름이 제어 가능한 $ h \in C_0^\infty(\Omega) $ 를 구성하며, $ \epsilon = \delta^2 = \tau^{-2/3} $ 인 컨볼루션 기반 컷오프를 사용한다.

실험 결과

연구 질문

• RQ1 스체로딩거 포텐셜이 $ H^{s,(2,1)}(\Omega) $ 에 속해 있고 $ s > 0 $ 일 때, 2차원 게르파인-칼라에프 역문제의 유일성과 안정성이 확립될 수 있는가? 이 공간은 $ H^{s,2}(\Omega) $ 보다 약간 작은 공간이다.
• RQ2 최소 정규성 조건 하에서 2차원에서 $ \overline{\partial} $ 연산자에 대한 카르레만 추정의 최적 감쇠율은 무엇인가?
• RQ3 부크헤임 유형의 해는 어떻게 레이놀즈-소볼레프 공간에 적응시켜 덜 매끄러운 포텐셜을 다룰 수 있는가?
• RQ4 정적 위상 방법은 경계 데이터의 차이에 효과적으로 적용되어 포텐셜 차이에 대한 정보를 회복할 수 있는가?
• RQ5 카르레만 추정 구성에서 오차 항의 $ L^{(2,1)} $ 노름의 정확한 경계는 무엇이며, 이는 $ \tau $ 와 어떻게 척도화되는가?

주요 결과

• 함수 공간에서의 점별 연속성 보장을 위한 임베딩 $ H^{1,(n,1)}(\Omega) \hookrightarrow C^0(\Omega) $ 가 성립하며, 이는 안정성 분석에 필수적이다.
• 감쇠율이 $ \tau^{-1}\ln\tau $ 인 새로운 카르레만 추정이 $ \overline{\partial} $ 에 대해 도출되었으며, 저항성의 낮은 정도의 설정에서 이전 추정을 향상시킨다.
• 모든 $ \tau \geq 1 $ 과 $ z_0 \in \mathbb{C} $ 에 대해, $ \tau\|1 - (\overline{z} - \overline{z_0})h\|_{L^{(2,1)}} + \|h\|_{\infty} + \|\overline{\partial}h\|_{L^{(2,1)}} \leq C_\Omega \tau^{2/3} $ 를 만족하는 $ h \in C_0^\infty(\Omega) $ 가 존재하며, $ C_\Omega $ 는 $ \tau $ 와 $ z_0 $ 에 독립적이다.
• 포텐셜의 차이는 딜리클레-노이만 데이터의 차이에 의해 유일하게 결정되며, $ H^{s,(2,1)} $ 노름에서 안정성 경계가 성립한다.
• 최소 정규성 조건 하에서도 안정성이 확보된다: $ H^{s,(2,1)}(\Omega) $, $ s > 0 $ 인 포텐셜이면 충분하며, 기존의 $ H^{s,2} $ 조건을 개선한다.
• 컨볼루션 기반 컷오프 $ \chi_\epsilon $, $ \chi^\delta $ 를 사용하여 $ \epsilon = \delta^2 = \tau^{-2/3} $ 인 테스트 함수 $ h $ 를 구성함으로써 카르레만 추정에서 최적의 척도화가 보장된다.