[논문 리뷰] Calderon inverse Problem for the Schrodinger Operator on Riemann Surfaces

Colin Guillarmou, Leo Tzou|ArXiv.org|2009. 04. 24.

Numerical methods in inverse problems참고 문헌 23인용 수 8

한 줄 요약

이 논문은 경계를 가진 컴acts Riemann 표면에서 슈뢰딩거 연산자 $ \Delta_g + V $ 의 잠재력 $ V $ 의 유일성을 도메인의 딜리클레-노이만 맵(카우치 데이터 공간)을 이용하여 증명한다. 증명은 해석적 카르멘 무게를 통한 복소 기하광학 해의 구성과 정적 단계 방법을 활용하며, 이는 이전 결과를 곡면으로 확장하고, 메트릭의 동형류까지의 유일성까지 확인한다.

ABSTRACT

On a fixed smooth compact Riemann surface with boundary $(M_0,g)$, we show that the Cauchy data space (or Dirichlet-to-Neumann map $\mc{N}$) of the Schrödinger operator $Δ+V$ with $V\in C^2(M_0)$ determines uniquely the potential $V$. We also discuss briefly the corresponding consequences for potential scattering at 0 frequency on Riemann surfaces with asymptotically Euclidean or asymptotically hyperbolic ends.

연구 동기 및 목표

• 경계를 가진 컴팩트 리만 표면 $ (M_0, g) $ 에서 $ V \in C^2(M_0) $ 의 잠재력이 슈뢰딩거 연산자 $ \Delta_g + V $ 의 카우치 데이터 공간으로부터 유일하게 결정됨을 증명한다.
• 칼데론 역문제를 리만 표면으로 확장하여, 전체 데이터 측정 조건 하에서 딜리클레-노이만 맵이 $ V $ 를 유일하게 결정함을 보인다.
• 해석적 카르멘 무게를 사용하여 리만 표면에서 특수한 복소 기하광학 해를 구성하는 방법을 개발한다. 이는 유클리드 영역보다 더 복잡한 경우이다.
• 임피던스 문제와 잠재력 문제 사이의 연결 고리를 수립하며, 잠재력 $ V = (\Delta_g \gamma^{1/2}) / \gamma^{1/2} $ 를 갖는 슈뢰딩거 연산자로의 변환을 통해 $ C^4 $ 도전성까지 결과를 확장한다.
• 비유계적 타원형 또는 하이퍼볼릭 표면으로의 역문제를 일반화하여, 영주파수에서의 산란 데이터로부터 컴팩트한 잠재력의 유일성을 증명한다.

제안 방법

• 형식 $ u = e^{\Phi/h}(a + r(h)) $ 의 복소 기하광학 해를 구성한다. 여기서 $ \Phi $ 는 해석적 카르멘 무게이고, $ r(h) $ 는 $ h \to 0 $ 일 때 작은 오차 항이다.
• 정적 단계 점근적 해석을 사용하여 $ h \to 0 $ 일 때, $ \Phi $ 가 점 $ p \in M_0 $ 에서 비퇴화된 임계점을 가지며, 이를 통해 $ V(p) $ 를 복원한다.
• 리만 표면에서 열화된 무게에 대해 새로운 카르멘 부등식을 개발한다. 이는 기하광학 해 구성에서 오차 항을 제어하는 데 필수적이다.
• 특수해 방법을 딜리클레-노이만 맵에 적용하여, 카우치 데이터가 동일하면 잠재력도 동일함을 보인다.
• 비유계 산란 문제를 가중 치수의 소볼레프 공간에서의 해의 점근적 분석과 제한을 통해 비유계 표면에서의 비유계 문제를 컴팩트한 경우로 환원한다.
• 상대적 지표 정리와 경계 근처 해의 점근적 전개를 사용하여, 가중 $ L^2 $-공간에서 산란 데이터가 일치하면 $ V_1 = V_2 $ 를 유도한다.

실험 결과

연구 질문

• RQ1 경계를 가진 컴팩트 리만 표면에서 $ V \in C^2(M_0) $ 가 슈뢰딩거 연산자 $ \Delta_g + V $ 의 전체 카우치 데이터 공간으로부터 유일하게 재구성될 수 있는가?
• RQ2 리만 표면에서 딜리클레-노이만 맵이 등방성 도전성 $ \gamma \in C^4(M_0) $ 를 유일하게 결정하는가?
• RQ3 비유계 타원형 또는 하이퍼볼릭 표면에서 영주파수에서의 산란 데이터를 사용하여 슈뢰딩거 연산자의 역문제를 컴팩트한 경우로 환원할 수 있는가?
• RQ4 해석적 카르멘 무게는 리만 표면에서 복소 기하광학 해를 구성하는 데 어떤 역할을 하는가? 그리고 유클리드 경우와는 어떻게 다를까?
• RQ5 비유계 표면에서 가중 치수의 소볼레프 공간 $ x^{\alpha}H^2_b $ 에서 해가 일치할 경우, 잠재력이 동일하다는 조건은 무엇인가?

주요 결과

• 경계를 가진 컴팩트 리만 표면에서 슈뢰딩거 연산자 $ \Delta_g + V_1 $ 과 $ \Delta_g + V_2 $ 의 카우치 데이터 공간 $ \mathcal{C}_1 = \mathcal{C}_2 $ 이면 $ V_1 = V_2 $ 를 유도하며, 잠재력의 유일성을 증명한다.
• 이 결과는 $ V_1, V_2 \in C^2(M_0) $ 라는 조건 하에서 성립하며, 메트릭 $ g $ 는 그 동형류까지 고려할 수 있어, 복소 구조만 필요하다.
• 이 방법은 역도전성 문제로도 확장 가능하다. 만약 두 $ C^4 $ 도전성이 동일한 딜리클레-노이만 맵을 갖는다면, 그들은 서로 동일하다. 이는 헨킨-미셸의 이전 결과를 일반화한다.
• 비유계 타원형 표면의 경우, 가중 $ x^{j-\epsilon}H^2_b $ 공간에서의 산란 데이터가 모든 차수까지 일치하면 $ V_1 = V_2 $ 를 유도하며, 영주파수에서의 유일성을 확립한다.
• 리만 표면에서 해석적 카르멘 무게를 구성하는 것은 비단순하며, 이는 열화된 무게에 대한 새로운 카르멘 부등식이 필요하다. 이는 핵심적인 기술적 기여이다.
• 유일한 연속성과 그린 공식을 이용하여, 모든 특수해와 $ L^2 $-수직이면 해가 0임을 보이고, 이로부터 $ f = 0 $ 과 $ V_1 = V_2 $ 를 도출한다.