[论文解读] On the linearized local Calderon problem

David Dos Santos Ferreira, Carlos E. Kenig+2 more|ArXiv.org|May 5, 2009

Numerical methods in inverse problems参考文献 14被引用 3

一句话总结

该论文证明了在 $\mathbb{R}^n$ 中 $n \geq 2$ 的有界光滑区域 $\Omega$ 上，于边界某一固定闭真子集上消失的调和函数乘积在 $L^1(\Omega)$ 中稠密，其方法受 Kashiwara 的西瓜定理与 Segal-Bargmann 变换的微局部分析启发。该结果解决了线性化局部 Calderón 问题中的一个关键稠密性问题，支持了部分数据下反电导率与 Schr"odinger 反问题的唯一性。

ABSTRACT

In this article, we investigate a density problem coming from the linearization of Calderón's problem with partial data. More precisely, we prove that the set of products of harmonic functions on a bounded smooth domain $Ω$ vanishing on any fixed closed proper subset of the boundary are dense in $L^{1}(Ω)$ in all dimensions $n \geq 2$. This is proved using ideas coming from the proof of Kashiwara's Watermelon theorem.

研究动机与目标

• 在 $L^1(\Omega)$ 中建立于边界某一固定闭真子集上消失的调和函数乘积的稠密性结果，这是线性化局部 Calderón 问题中的关键所在。
• 解决在维度 $n \geq 3$ 时，局部 Calderón 问题部分数据下全局可识别性的开放问题。
• 为通过部分边界测量证明 Schr"odinger 方程与走时层析成像反问题的唯一性，提供基础性步骤。
• 将微局部技术（特别是 Segal-Bargmann 变换与解析波前集）的应用范围扩展至反问题中的稠密性问题。

提出的方法

• 利用 Segal-Bargmann 变换分析 $L^\infty$ 函数的解析波前集，将其与复域中变换的衰减性质联系起来。
• 应用微局部分析与次调和函数理论，控制与变换相关的整函数的增长。
• 通过在复平面上考虑一个带切口的半圆盘并移除一个圆盘，实施一种受 Kashiwara 定理启发的“西瓜”几何构造，以实现估计的局部化。
• 利用 Harnack 不等式与 Hopf 边界引理，为具有切口与移除球体的区域中的调和函数导出一致的下界。
• 通过复相位与权函数，推导出在 $\Omega$ 上紧支集函数的 Segal-Bargmann 变换的指数衰减估计。
• 对由变换导出的次调和函数应用最大值原理，得出在边界附近的一个半球内 $f(x) = 0$，从而推出在 $L^1(\Omega)$ 中的稠密性。

实验结果

研究问题

• RQ1 对于 $n \geq 2$，在边界某一固定闭真子集上消失的调和函数乘积是否在 $L^1(\Omega)$ 中构成稠密子集？
• RQ2 线性化局部 Calderón 问题是否可通过此类乘积的稠密性得到解决，特别是在维度 $n \geq 3$ 时？
• RQ3 微局部技术（如 Segal-Bargmann 变换与解析波前集）在反问题中证明稠密性结果方面的适用程度如何？
• RQ4 该稠密性结果能否被推广，以证明在具有部分边界距离数据的简单二维黎曼流形上走时层析成像的唯一性？
• RQ5 复平面上的“西瓜”几何结构如何促进 Segal-Bargmann 变换衰减的控制，从而用于稠密性证明？

主要发现

• 对于所有 $n \geq 2$，在 $\overline{\Omega}$ 上连续无穷次可微且在固定闭真子集 $\Gamma \subset \partial\Omega$ 上消失的调和函数乘积在 $L^1(\Omega)$ 中稠密。
• 该证明依赖于复分析方法，结合 Segal-Bargmann 变换与具有切口和移除球体区域中的次调和函数估计。
• 通过 Harnack 不等式与 Hopf 引理推导出变换的指数衰减估计，进而得出在边界附近半球内 $f(x) = 0$。
• 该方法在区域 $|x_1| \leq \delta$ 内建立了均匀衰减，意味着 $L^\infty$ 函数必须在该区域消失，再通过解析延拓将其推广至整个区域。
• 该结果确认了此类乘积在 $L^1(\Omega)$ 中的稠密性，这是线性化局部 Calderón 问题中解唯一性的必要条件。
• 该方法为处理部分数据反问题提供了新途径，结合了微局部分析与复平面上的几何构造。