[논문 리뷰] The fractional Calder\'on problem

Mikko Salo|arXiv (Cornell University)|2017. 11. 16.

Numerical methods in inverse problems참고 문헌 27인용 수 5

한 줄 요약

이 논문은 분수형 Calderón 문제의 유일성과 안정성을 확립하며, 유계 도메인 $ \Omega \subset \mathbb{R}^n $ 내의 알려지지 않은 포텐셜 $ q $ 가 분수 슈뢰딩거 방정식 $ ((-\Delta)^s + q)u = 0 $ 의 해에 대한 외부 측정값을 이용해 외부 Dirichlet-to-Neumann 맵을 통해 유일하게 재구성될 수 있음을 증명한다. 주요 결과는 Caffarelli-Silvestre 확장과 Carleman 추정을 통한 비국소적 유일 연속성 및 근사 성질에 기반한다.

ABSTRACT

We review recent progress in the fractional Calder\\'on problem, where one tries to determine an unknown coefficient in a fractional Schr\\"odinger equation from exterior measurements of solutions. This equation enjoys remarkable uniqueness and approximation properties, which turn out to yield strong results in related inverse problems.

연구 동기 및 목표

• 분수 슈뢰딩거 방정식의 역문제에 대해 외부 측정값을 이용한 유일성 확립.
• 분수 라플라스 연산자 $ 0 < s < 1 $ 를 포함한 비국소적 설정으로 고전적 Calderón 문제를 확장.
• 임의의, 가능하면 분리된 부분집합인 외부 도메인의 부분집합에서의 측정값이 $ q \in L^\infty(\Omega) $ 를 유일하게 결정함을 증명.
• 포텐셜에 대한 사전 경계 조건 하에서 역문제의 안정성을 정량화하고 로그 안정성 추정을 확립.
• 구성적 재구성 방법을 개발하고 결과를 비대칭 및 비선형 변형 분수 방정식으로 확장.

제안 방법

• 비국소적 분수 슈뢰딩거 방정식을 $ \mathbb{R}^{n+1}_+ $ 내의 열화된 국소 타원 문제로 변환하기 위해 Caffarelli-Silvestre 확장을 활용.
• 확장된 조화 확장에 대한 정량적 유일 연속성 성질을 도출하기 위해 경계항을 포함한 Carleman 추정을 적용.
• 구의 사슬 및 세 구역 부등식을 통한 소수성 전파 기법을 사용해 외부 데이터로부터 내부 도메인으로 소수성을 전파.
• 지역화된 경계 노름을 내부 $ L^2 $-노름으로 표현하기 위해 국소적 경계 노름 제어를 위해 추정식과 하율더 및 소볼레프 포함을 활용.
• 쌍대성 및 함수해석 기법을 적용해 외부 제어를 이용한 $ L^2(\Omega) $ 내의 해에 대한 정량적 근사 정리 유도.
• 열화된 방정식과 관련된 가중치 $ A_2 $-소볼레프 공간의 구조를 활용해 정(regularity)과 안정성 확립.

실험 결과

연구 질문

• RQ1 포텐셜 $ q \in L^\infty(\Omega) $ 는 분수 슈뢰딩거 방정식의 해에 대한 외부 측정값으로 유일하게 결정될 수 있는가?
• RQ2 분수형 Calderón 문제에서는 외부 도메인의 임의의, 가능하면 분리된 부분집합에서의 측정값으로도 포텐셜에 대한 유일성이 보장되는가?
• RQ3 역문제의 안정성은 어떠한가? 포텐셜에 대한 사전 경계 조건 하에서 로그 안정성 추정을 확립할 수 있는가?
• RQ4 해의 근사 성질을 정량화할 수 있으며, 이는 제어 가능성 및 재구성과 어떻게 관련되는가?
• RQ5 결과는 비대칭 연산자 및 비선형 방정식으로 확장될 수 있는가?

주요 결과

• 분수형 Calderón 문제에 대해 유일성이 성립한다: 모든 컴acts지지 외부 데이터 $ f \in C_c^\infty(W_1) $ 에 대해 측정값 집합 $ W_2 \subset \Omega_e $ 에서 외부 Dirichlet-to-Neumann 맵이 일치하면, $ \Omega $ 내에서 $ q_1 = q_2 $ 이다.
• 이 유일성 결과는 고전적 Calderón 문제와 달리 모든 차원 $ n \geq 1 $ 에서 성립하며, $ n=2 $ 와 $ n \geq 3 $ 에 대한 별도 처리가 필요하지 않다.
• 역문제는 로그 안정성을 갖는다: 사전 경계 조건 $ \|q_j\|_{W^{\delta, n/(2s)}} \leq M $ 하에서, $ \|q_1 - q_2\|_{L^{n/(2s)}(\Omega)} $ 는 DN 맵의 차이에 대한 로그 연속성 모듈러스로 유계이다.
• 이 안정성 추정은 최적임이 [RS17d] 에서 확인되었으며, Hadamard 의미에서 문제의 매우 불안정함을 확인한다.
• 정량적 근사 정리가 확립된다: 임의의 $ v \in L^2(\Omega) $ 와 $ \varepsilon > 0 $ 에 대해, 해 $ u $ 가 $ \|u|_\Omega - v\|_{L^2(\Omega)} \leq \varepsilon $ 를 만족하는 제어 $ f \in H^s(\Omega_e) $ 가 존재하며, 제어 크기를 데이터 기반으로 추정할 수 있다.
• 결과는 낮은 정(regularity)을 갖는 포텐셜 $ L^{n/(2s)}(\Omega) $ 과 $ W^{-s, n/s}(\Omega) $ 으로 확장되며, 매끄럽고 균일 타원적인 $ A $ 를 갖는 비대칭 연산자 $ (-\mathrm{div}(A\nabla \cdot))^{s} + q $ 와 비선형 방정식 $ (-\Delta)^s u + q(x,u) = 0 $ 로도 확장된다.