[论文解读] The fractional Calder\'on problem

Mikko Salo|arXiv (Cornell University)|Nov 16, 2017

Numerical methods in inverse problems参考文献 27被引用 5

一句话总结

本文建立了分数阶Calderón问题的唯一性与稳定性，证明了在有界区域 $ \Omega \subset \mathbb{R}^n $ 中，通过分数阶Schrödinger方程 $ ((- riangle)^s + q)u = 0 $ 解的外部测量，利用外部Dirichlet-to-Neumann映射，可以唯一重构未知势 $ q $。关键结果依赖于通过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.

研究动机与目标

• 建立分数阶Schrödinger方程在外部测量下的反问题唯一性。
• 将经典的Calderón问题推广至 $ 0 < s < 1 $ 的非局部设定，其中分数阶拉普拉斯算子引入了新的分析特征。
• 证明在外部区域的任意、可能不连通的子集上的测量可唯一确定势函数 $ q \in L^\infty(\Omega) $。
• 量化反问题的稳定性，并在势函数的先验有界条件下建立对数稳定性估计。
• 发展构造性重构方法，并将结果推广至各向异性和半线性分数阶方程的变体。

提出的方法

• 利用Caffarelli-Silvestre扩展，将非局部分数阶Schrödinger方程转化为 $ \mathbb{R}^{n+1}_+ $ 上的退化局部椭圆问题。
• 应用带有边界项的Carleman估计，推导扩展调和延拓的定量唯一延拓性质。
• 通过球链论证和三球不等式，将小量性状从外部数据传播至内部区域。
• 利用局部化迹不等式、Hölder不等式与Sobolev嵌入，以扩展解的内部 $ L^2 $-范数控制边界范数。
• 应用对偶性与泛函分析技术，推导出利用外部控制在 $ L^2(\Omega) $ 中对解的定量逼近定理。
• 利用与退化方程相关的加权 $ A_2 $-Sobolev 空间结构，建立正则性与稳定性。

实验结果

研究问题

• RQ1 能否从分数阶Schrödinger方程解的外部测量唯一确定势函数 $ q \in L^\infty(\Omega) $？
• RQ2 分数阶Calderón问题是否允许在外部区域的任意、可能不连通的子集上实现唯一性？
• RQ3 反问题的稳定性如何？在势函数的先验有界条件下，能否建立对数稳定性估计？
• RQ4 解的逼近性质能否被量化？这与可控性及重构有何关联？
• RQ5 结果能否推广至各向异性的算子和半线性方程？

主要发现

• 分数阶Calderón问题的唯一性成立：若对所有紧支集外部数据 $ f \in C_c^\infty(W_1) $，外部Dirichlet-to-Neumann映射在可测子集 $ W_2 \subset \Omega_e $ 上一致，则 $ q_1 = q_2 $ 在 $ \Omega $ 中成立。
• 该唯一性结果在所有维度 $ n \geq 1 $ 中成立，与经典Calderón问题不同，后者需对 $ 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 $，存在控制 $ f \in H^s(\Omega_e) $，使得解 $ u $ 满足 $ \|u|_\Omega - v\|_{L^2(\Omega)} \leq \varepsilon $，且控制大小可通过数据估计。
• 结果可推广至低正则性势函数 $ L^{n/(2s)}(\Omega) $ 和 $ W^{-s, n/s}(\Omega) $，以及光滑且一致椭圆的各向异性的算子 $ (-\mathrm{div}(A\nabla \cdot))^{s} + q $，并可推广至半线性方程 $ (-\Delta)^s u + q(x,u) = 0 $。