[논문 리뷰] The Calder\'on problem for a space-time fractional parabolic equation

Ru-Yu Lai, Yi‐Hsuan Lin외 1명|arXiv (Cornell University)|2019. 05. 21.

Numerical methods in inverse problems참고 문헌 48인용 수 7

한 줄 요약

이 논문은 공간-시간 분수형 포아송 방정식 $((\nabla_t - \nabla)^s + Q)u = 0$ 에서 외부 딜리클레-투-노이만 측정값을 무한히 많이 사용할 때, 유계 잠재력 $ Q $ 를 전역적으로 유일하게 복원하는 문제를 다룬다. 룬제 근사와 카르멘 추정법을 활용한 카파레릴리-실베스트레 확장에 기반한 새로운 카르멘 추정법을 통해, 저자들은 $ Q $ 가 $ (-T,T) \times \bar{\nabla} $ 에서 유일하게 결정됨을 증명하며, 티코노프 정규화와 약한 유일 연속성에 기반한 단일 측정값을 이용한 구조적 복원 결과도 제시한다.

ABSTRACT

In this article we study an inverse problem for the space-time fractional parabolic operator $(\\partial_t-\\Delta)^s+Q$ with $0<s<1$ in any space dimension. We uniquely determine the unknown bounded potential $Q$ from infinitely many exterior Dirichlet-to-Neumann type measurements. This relies on Runge approximation and the dual global weak unique continuation properties of the equation under consideration. In discussing weak unique continuation of our operator, a main feature of our argument relies on a Carleman estimate for the associated fractional parabolic Caffarelli-Silvestre extension. Furthermore, we also discuss constructive single measurement results based on the approximation and unique continuation properties of the equation.

연구 동기 및 목표

• 비국소적이고 비자기적 공간-시간 분수형 포아송 연산자에서 유계 잠재력 $ Q $ 를 복원하는 역문제의 전역적 유일성 확립.
• 공간 및 시간 분수 도함수를 포함하는 비국소적 설정으로 캘러론 유형의 역문제 기법을 확장.
• 근사 및 유일 연속성 성질을 활용해 외부 측정값 하나로도 복원 가능한 구조적 복원 방법 개발.
• 일般적인 공간 차원에서 분수형 포아송 연산자 $ (\nabla_t - \nabla)^s + Q $ 에 대한 약한 유일 연속성과 룬제 근사 성질 증명.

제안 방법

• 분수형 연산자 $ (\nabla_t - \nabla)^s $ 의 열화된 포아송 카파레릴리-실베스트레 확장에 대해 카르멘 추정법을 유도하여 경계 근처의 해 제어 가능성을 확보.
• 룬제 근사 성질을 사용해 쌍대 공간에서 밀도를 이루는 해를 구성함으로써, 외부 측정값에서의 유일성 증명에 핵심 기여.
• 앨레산드린 타입의 적분 항등식을 적용하여 잠재력의 차이와 딜리클레-투-노이만 데이터의 차이를 연결함으로써 $ Q_1 = Q_2 $ 를 도출.
• 단일 외부 측정값으로부터 해 $ u $ 를 복원하기 위해 컴act 연산자 구조를 활용한 티코노프 정규화를 적용.
• 연산자 $ (\nabla_t - \nabla)^s $ 의 허위 국소성 특성을 활용해 측정 연산자의 컴팩턴스를 확보함으로써 안정적 복원 가능.
• 약한 유일 연속성 성질을 활용해 $ u $ 가 조밀한 집합에서 영이 아님을 보장함으로써, $ Q = - (\nabla_t - \nabla)^s u / u $ 를 통해 점별로 $ Q $ 를 복원 가능.

실험 결과

연구 질문

• RQ1 공간-시간 분수형 포아송 방정식 $((\nabla_t - \nabla)^s + Q)u = 0$ 에서 무한히 많은 외부 딜리클레-투-노이만 측정값을 통해 잠재력 $ Q $ 가 유일하게 복원될 수 있는가?
• RQ2 연산자 $ (\nabla_t - \nabla)^s $ 의 비자기적이고 비국소적인 성질이 역문제의 유일성에 필수적인 약한 유일 연속성 성질을 허용하는가?
• RQ3 방정식의 근사 및 연속성 성질을 고려할 때, 단일 외부 측정값으로도 $ Q $ 를 복원할 수 있는가?
• RQ4 카파레릴리-실베스트레 확장이 분수형 포아송 연산자에 대해 카르멘 추정법을 수립하는 데 어떤 역할을 하는가?
• RQ5 이 비국소적이고 비자기적인 설정에서 티코노프 정규화를 어떻게 조정하여 단일 측정값으로부터 $ Q $ 를 구조적으로 복원할 수 있는가?

주요 결과

• 무한히 많은 외부 딜리클레-투-노이만 측정값을 통해 미지의 유계 잠재력 $ Q $ 는 $ (-T,T) \times \bar{\nabla} $ 에서 유일하게 결정된다.
• 카파레릴리-실베스트레 확장에 대한 새로운 카르멘 추정법이 수립되었으며, 이는 약한 유일 연속성 성질을 증명하는 데 필수적이다.
• 분수형 포아송 연산자에 대해 룬제 근사 성질이 성립하여, 도메인 내 임의의 $ L^2 $ 함수를 근사할 수 있는 해를 구성할 수 있다.
• 티코노프 정규화와 약한 유일 연속성 성질을 기반으로 한 단일 측정값 복원 결과가 확립되어, 한 개의 외부 측정값으로부터도 $ Q $ 를 구조적으로 복원 가능하다.
• 잠재력 $ Q(t,x) $ 는 $ u(t_k,x_k) \neq 0 $ 인 수열 $ (t_k,x_k) \to (t,x) $ 에 沿해 $ Q(t,x) = -\frac{(\nabla_t - \nabla)^s u(t_k,x_k)}{u(t_k,x_k)} $ 의 극한으로 점별로 복원 가능하며, 이는 전역적 복원을 보장한다.
• 연산자 $ (\nabla_t - \nabla)^s $ 의 비국소성, 즉 공간과 시간의 결합 특성 덕분에 확장 기법을 통해 타원형 방법으로 문제를 분석할 수 있어, 잘 정의된 문제와 정규성 결과를 도출할 수 있다.