[논문 리뷰] The Calderón problem for the fractional Schrödinger equation

Tuhin Ghosh, Mikko Salo외 1명|arXiv (Cornell University)|2016. 09. 29.

Numerical methods in inverse problems인용 수 7

한 줄 요약

이 논문은 외부 측정값을 이용한 분수 슈뢰딩거 방정식의 잠재력 복원 역문제에 대해 전역 유일성을 확립한다. 즉, 임의의 외부 영역의 열린 부분집합에서의 딜리클레-노이만 맵이 차원 $n \geq 2$ 에서도 임의의 잠재력 $q$ 를 유일하게 결정함을 증명한다. 이 결과는 분수적 비국소적 설정으로 고전적 캘러드론 문제를 확장하며, 해의 새로운 강력한 근사 성질을 사용한다.

ABSTRACT

We show global uniqueness in an inverse problem for the fractional Schrödinger equation: an unknown potential in a bounded domain is uniquely determined by exterior measurements of solutions. We also show global uniqueness in the partial data problem where the measurements are taken in arbitrary open, possibly disjoint, subsets of the exterior. The results apply in any dimension $\geq 2$ and are based on a strong approximation property of the fractional equation that extends earlier work. This special feature of the nonlocal equation renders the analysis of related inverse problems radically different from the traditional Calderón problem.

연구 동기 및 목표

• 유계 잠재력이 있는 분수 슈뢰딩거 방정식에서의 역문제에 대해 전역 유일성을 확립하기.
• 측정값이 외부 영역의 임의의 열린 부분집합, 가능하면 분리된 부분집합에서 이루어지는 부분 데이터 문제를 해결하기.
• 분수 라플라스 연산자가 본질적으로 다른 분석적 행동을 유도하는 비국소적 분수 설정으로 고전적 캘러드론 문제를 확장하기.
• 임의의 열린 외부 부분집합에서의 딜리클레-노이만 맵이 $\Omega$ 내부의 잠재력 $q$ 를 유일하게 결정함을 증명하기.
• 분수 방정식의 비국소적 성격이 국소적 경우에 존재하지 않는 강력한 근사 성질을 가능하게 함을 보여주기.

제안 방법

• 유계 도메인 $\Omega \subset \mathbb{R}^n$, $n \geq 2$ 에서 분수 슈뢰딩거 방정식 $((-\Delta)^s + q)u = 0$ 을 형식화하며, $0 < s < 1$ 이다.
• 분수 딜리클레 문제와 관련된 이차형식을 통해 딜리클레-노이만(DN) 맵 $\Lambda_q$ 를 정의하며, 외부 데이터 $f \in H^s(\Omega_e)$ 를 비국소적 노이만 경계 추적으로 매핑한다.
• 분수 방정식의 해에 대한 강력한 근사 성질을 사용하여, 컴acts지지 외부 데이터를 가진 해들이 적절한 함수 공간에서 밀도를 이룬다는 것을 보여준다.
• 프레셰 공간에서 하른-반하흐 정리와 쌍대성 추론을 적용하여, 유일성 문제를 데이터가 특정 집합에서 0인 비국소 방정식의 해 존재성 문제로 환원한다.
• 분수 라플라스 연산자에 대한 유일한 계속 성질을 활용하여, 열린 집합에서 0이 되는 해는 심지어 전체적으로 0이 되어야 하므로 잠재력이 유일하다는 결론을 이끌어낸다.
• 분수 연산자가 유도하는 함수 공간 간의 호메오모르피즘을 이용하여, 외부에서의 수렴성과 밀도 결과를 내부 영역으로 이전한다.

실험 결과

연구 질문

• RQ1 분수 슈뢰딩거 방정식의 잠재력 $q$ 는 외부 측정값을 통한 딜리클레-노이만 맵으로부터 유일하게 복원될 수 있는가?
• RQ2 측정값이 외부 영역의 분리된 열린 부분집합에서 이루어지는 부분 데이터 문제—즉, 분수 슈뢰딩거 방정식에서 유일한 해가 존재하는가?
• RQ3 분수 라플라스 연산자의 비국소적 성격은 고전적 국소적 경우와 비교해 역문제의 해법 가능성과 유일성에 어떤 영향을 미치는가?
• RQ4 해의 강력한 근사 성질이 비국소적 역문제에서의 유일성 증명에 어떤 역할을 하는가?
• RQ5 어떤 열린 외부 집합에서의 딜리클레-노이만 맵이 전체 경계가 아니거나 공간적으로 분리된 데이터일지라도 잠재력은 유일하게 결정할 수 있는가?

주요 결과

• 임의의 열린 부분집합 $W_2 \subset \Omega_e$ 에서의 딜리클레-노이만 맵 $\Lambda_q$ 는 분수 슈뢰딩거 방정식에서 $q \in L^\infty(\Omega)$ 를 유일하게 결정한다.
• 측정값이 분리된 열린 집합 $W_1, W_2 \subset \Omega_e$ 에서 이루어져도 전역 유일성이 유지되며, 이는 비국소 설정에서 부분 데이터 문제를 해결함을 의미한다.
• 증명은 강력한 근사 성질에 의존한다: 컴팩트 지지 외부 데이터를 가진 해들이 $\overline{\Omega}$ 상의 매끄러운 함수 공간에서 밀도를 이룬다.
• 분수 라플라스 연산자의 비국소적 성격 덕분에, 최소한의 외부 데이터로도 $q$ 를 복원할 수 있는 유일한 계속 성질이 가능해진다.
• 결과는 모든 차원 $n \geq 2$ 에서 성립하며, 이는 이전의 국소 슈뢰딩거 방정식 결과를 일반화한다.
• 이 방법은 어떤 열린 외부 집합에서의 DN 맵이 전체 경계나 연속된 데이터가 아니어도 잠재력을 유일하게 결정함을 보여준다.