[논문 리뷰] On Single Measurement Stability for the Fractional Calder\'on Problem.

Angkana Rüland|arXiv (Cornell University)|2020. 07. 27.

Numerical methods in inverse problems참고 문헌 30인용 수 4

한 줄 요약

이 논문은 Caffarelli-Silvestre 확장에 대한 소수성의 양적 전파와 경계 이중화 추정을 조합하여 분수형 Calderón 문제에 대한 단일 측정 로그 안정성 추정을 수립한다. 핵심 결과는 $\|q_1 - q_2\|_{L^\infty(\Omega)} \leq \omega(\|\Lambda_{q_1}f - \Lambda_{q_2}f\|_{H^{-s}(W)})$ 형태의 안정성 bound이며, 연속성 모듈러스 $\omega(t)$ 는 $|\log(Ct)|^{-\gamma}$ 와 같이 감쇠되며, 이는 이 역문제에 대한 로그 안정성의 최적성 확인한다.

ABSTRACT

In this short note we prove the logarithmic stability of the single measurement uniqueness result for the fractional Calder\\'on problem which had been derived in \\cite{GRSU18}. To this end, we use the quantitative uniqueness results established in \\cite{RS20a} and complement these bounds with a boundary doubling estimate. The latter yields control of the order of vanishing of solutions to the fractional Schr\\"odinger equation. Then, following a scheme introduced in \\cite{S10,ASV13} in the context of the determination of a surface impedance from far field measurements, this allows us to deduce logarithmic stability of the potential $q$.

연구 동기 및 목표

• 분수형 Calderón 문제에 대한 단일 측정 안정성 추정을 수립하여 [GRSU20]에서 제시된 기존의 유일성 결과를 보완한다.
• 측정 오차에 대한 잠재력 재구성 오차의 로그 감쇠율을 유도하여 역문제의 안정성을 정량화한다.
• 경계 이중화 추정을 통해 분수형 슈뢰딩거 방정식의 해의 영집합을 제어함으로써 단일 측정에서의 정량적 유일성 연장 가능성을 확보한다.
• Caffarelli-Silvestre 확장에서의 소수성 전파 원리가 최소한의 정규성 가정 하에 비국소적 역문제 설정으로 어떻게 확장될 수 있는지 탐색한다.

제안 방법

• 비국소적 분수형 슈뢰딩거 방정식을 한 차원 더 높은 차원에서의 열화된 타원 문제로 변환하기 위해 Caffarelli-Silvestre 확장을 활용한다.
• 정량적 소수성 추정을 적용하여 $W \subset \mathbb{R}^n \setminus \overline{\Omega}$ 에서의 측정 데이터로부터 도메인 $\Omega$ 로 정보를 전달한다.
• 경계 이중화 추정을 사용하여 경계 근처에서 해의 제로 순서를 제어함으로써 단일 측정으로부터 잠재력을 재구성하는 데 필수적인 조건을 확보한다.
• 해의 $L^2$-노름을 $u_1(q_1 - q_2)$ 에 대해 추정하기 위해 $C^{0,s}(\Omega)$ 에서의 잠재력 $q_j$ 에 대한 보조 조건과 보간 부등식을 조합한다.
• 디리클레-노이만 맵 $\Lambda_q f = (-\Delta)^s u|_{W}$ 의 약한 공식을 사용하여 측정 오차와 해 오차를 연결한다.
• 경계 이중화 추정에서 로그 항과 거듭제곱 항의 균형을 맞추기 위해 최적화를 통해 도출된 안정성 추정을 최적화한다.

실험 결과

연구 질문

• RQ1 분수형 Calderón 문제에 대한 단일 측정 유일성 결과가 정량적 안정성 추정으로 강화될 수 있는가?
• RQ2 단일 측정만을 이용할 경우, 이 역문제의 최적 안정성 비율은 무엇인가?
• RQ3 분수형 슈뢰딩거 방정식의 해의 제로 순서를 어떻게 정량적으로 제어할 수 있는가? 이를 통해 잠재력 재구성 가능성을 확보할 수 있는가?
• RQ4 Caffarelli-Silvestre 확장에서 유도된 열화된 타원 방정식으로의 소수성 전파 원리가 어느 정도까지 확장될 수 있는가?
• RQ5 분수형 Calderón 문제에서 단일 측정을 통한 잠재력 복원에 대해 로그 안정성이 최적 가능한 비율인가?

주요 결과

• 논문은 분수형 Calderón 문제에 대해 단일 측정 로그 안정성 추정을 수립하였으며, 잠재력의 오차는 $\omega(t) \leq C|\log(Ct)|^{-\gamma}$ 와 같은 연속성 모듈러스에 의해 유계로 제한된다.
• 안정성 비율은 기존의 고전적 Calderón 문제 및 유일성 연장 성질과 일치하는 지수 $\gamma$ 에 대해 최적이다.
• 경계 이중화 추정은 해의 제로 순서를 제어하는 데 사용되었으며, 이는 단일 측정에서의 정량적 유일성 연장의 핵심 단계이다.
• 안정성 추정은 $C^{0,s}(\Omega)$ 에서의 잠재력에 대한 사전 조건, $\widetilde{H}^{s+\epsilon}(W)$ 에서의 데이터 $f$, 그리고 $\operatorname{dist}(\Omega', \partial\Omega)$ 와 같은 기하학적 매개변수에 의존한다.
• Caffarelli-Silvestre 확장에서의 소수성 전파 덕분에 측정 오차가 $H^s(\Omega)$ 에서의 해 오차로 전달되며, 이는 잠재력 차이를 추정하는 데 사용된다.
• 최종 안정성 추정은 보간과 에너지 추정을 통해 유도되었으며, 경계 이중화 추정에서 최적의 반지름은 로그 항과 거듭제곱 항의 균형을 맞추기 위해 선택되었다.