[논문 리뷰] Strong uniqueness principle for fractional polyharmonic operators and applications to inverse problems

Ching-Lung Lin, Hongyu Liu외 1명|arXiv (Cornell University)|2023. 07. 03.

Numerical methods in inverse problemsMathematics인용 수 3

한 줄 요약

이 논문은 서로 다른 순서와 이방성 계수를 가진 다중 분수 라플라스 연산자의 조합인 분수 다항형 힐베르트 연산자에 대해 강력한 유일성 원리를 확립한다. 이는 경계가 있는 영역 내에서 잠재력, 소스 및 비등방성 계수를 유일하게 복원할 수 있도록 해주며, 새로운 유일 연속성 성질을 활용하여 딜리클레-노이만 맵이 기저 다항형 연산자와 계수를 유일하게 결정한다는 것을 증명한다.

ABSTRACT

In this work, we are concerned with inverse problems involving poly-fractional operators, where the poly-fractional operator is of the form \[P( (-Δ_g)^s)u := \sum_{i=1}^M α_i(-Δ_{g_i})^{s_i}u\] for $s=(s_1,\dots,s_M)$, $0

연구 동기 및 목표

• 다양한 순서와 비등방성 특성을 가진 다중 분수 라플라스 연산자의 조합으로 구성된 다항형 분수 연산자를 다루는 역문제에 대한 수학적 프레임워크를 개발하는 것.
• 이러한 다항형 분수 연산자를 포함하는 방정식의 해에 대해 강력한 유일 연속성 성질(UCP)을 확립하여, 역문제에서 식별 가능성(Identifiability)을 증명하는 데 필수적인 요소를 제공하는 것.
• 외부 측정치로부터 잠재력 함수 $ q(x) $, 반선형 케이스의 소스 항, 비등방성 분수 연산자와 관련된 계수 $ \alpha_i $ 의 유일한 식별 가능성을 증명하는 것.
• 기존의 분수 연산자에 대한 역문제 결과를 일반적인 다항형 분수 연산자 프레임워크를 통해 국소 및 비국소 행동의 혼합을 포함시켜 확장하는 것.

제안 방법

• 다양한 이방성 계량형 $ g_i $ 을 가진 다중 분수 라플라스 연산자의 조합인 다항형 분수 연산자 $ P((- abla)^s) = \sum_{i=1}^M \alpha_i (-\Delta_{g_i})^{s_i} $ 를 수식화하며, 여기서 $ 0 < s_1 < \cdots < s_M < \infty $, $ s_M \notin \mathbb{Z} $ 이다.
• 외부 딜리클레 데이터 $ f \in H^{s_M}(\Omega^c) $ 를 비국소 연산자가 $ \Omega $ 에서 해에 대해 적용한 결과로 매핑하는 딜리클레-노이만(DtN) 맵 $ \mathcal{M}_{P,q} $ 를 정의함으로써 측정 기반의 역문제 해결을 가능하게 한다.
• 해가 외부 영역의 부분집합 $ W \subset \Omega^c $ 에서 0이 되면 $ \mathbb{R}^n $ 전역에서 $ u \equiv 0 $ 이 되는, 새로운 강력한 유일 연속성 원리(정리 2.11–2.12)를 확립한다. 조건은 $ \tilde{P}((- abla_{\tilde{g}})^{\tilde{s}})u = 0 $ 이 $ \Omega $ 에서 성립할 것.
• 다른 구성 조건 하에서 두 해의 차이 $ \tilde{u} = u_1 - u_2 $ 를 분석하기 위해 선형화 기법을 활용하고, UCP 를 이용하여 계수의 동일성을 도출한다.
• UCP 를 적용하여, 외부 데이터 $ f $ 가 하나의 비영인 경우 DtN 맵이 일치하면, 기저 연산자 $ (P^1, q_1) $ 와 $ (P^2, q_2) $ 가 $ \Omega $ 의 부분집합에서 반드시 동일해야 한다는 것을 보인다.
• 해의 존재성과 유일성을 보장하기 위해 스펙트럼 이론 및 함수해석학 도구를 활용하며, 비탄성 조건과 비고유값 조건 (1.4) 를 포함한 강성 조건을 적용한다.

실험 결과

연구 질문

• RQ1 서로 다른 순서와 비등방성 계수를 가진 다중 분수 라플라스 연산자를 포함하는 다항형 분수 방정식의 해에 대해 강력한 유일 연속성 성질을 확립할 수 있는가?
• RQ2 이러한 다항형 분수 연산자의 딜리클레-노이만 맵이 잠재력 $ q(x) $, 반선형 케이스의 소스 함수, 비등방성 연산자와 관련된 계수 $ \alpha_i $ 를 유일하게 식별하는 데 충분한가?
• RQ3 단일 방정식 내에서 국소 및 비국소 연산자의 조합이 유일 연속성과 역문제의 식별 가능성에 어떤 영향을 미치는가?
• RQ4 제안된 UCP 프레임워크는 분수 연산자의 변수 계수 또는 변수 지수를 복원하는 데까지 확장 가능한가?
• RQ5 계수 $ \alpha_i $ 를 유일하게 복원하기 위해 최소한의 측정 수가 얼마이며, 제안된 UCP 를 통해 단일 측정으로 이를 달성할 수 있는가?

주요 결과

• 다양한 분수 라플라스 연산자를 포함하는 다항형 분수 방정식의 해에 대해 새로운 강력한 유일 연속성 원리를 확립하여, 해가 외부 영역의 비어 있지 않은 열린 부분집합에서 0이 되고 내부 영역에서 다항형 분수 방정식을 만족하면, $ \mathbb{R}^n $ 전역에서 해가 식별적으로 0이 된다는 것을 보였다.
• 연산자가 강성 조건을 만족하고 0이 고유값이 아니면, 딜리클레-노이만 맵 $ \mathcal{M}_{P,q} $ 는 $ \Omega $ 내의 잠재력 $ q(x) $ 를 유일하게 결정한다.
• 해의 전방 문제 해가 $ \Omega $ 의 적절한 부분집합에서 영이 아닌 조건 하에, 비등방성 분수 라플라스 연산자와 관련된 계수 $ \alpha_i(x) $ 는 단일 측정으로도 유일하게 복원 가능하다.
• 반선형 케이스에서의 소스 함수는 선형화 기법과 강력한 UCP 를 활용하여 해의 차이를 제거함으로써 DtN 맵으로부터 유일하게 식별 가능하다.
• 이 프레임워크는 비국소 및 국소 성분을 모두 포함하는 다항형 분수 연산자에서도 계수 복원이 가능하며, 이는 이전의 고차수 분수 라플라스 연산자에 대한 결과를 일반화한다.
• 결과는 최소한의 가정 하에서도 안정하다: 영역은 유계이고 리프시츠 조건을 만족하며, 최고차수 지수 $ s_M $ 는 정수가 아니며, 해 공간은 $ H^{s_M}(\mathbb{R}^n) $ 이다.