[论文解读] The Calderón problem and normal forms

Mikko Salo|arXiv (Cornell University)|Feb 7, 2017

Numerical methods in inverse problems参考文献 16被引用 4

一句话总结

本文通过微局部分析与奇异性的传播，确立了各向异性Calderón问题中的Dirichlet-to-Neumann数据可确定特定双特征叶（由极限Carleman权导出的流形）上电势 $ q $ 的积分。关键贡献在于将反问题约化为求解双特征叶变换的逆问题，且在乘积流形上通过测地线X射线变换证明了完整的恢复结果。

ABSTRACT

We outline an approach to the inverse problem of Calderón that highlights the role of microlocal normal forms and propagation of singularities and extends a number of earlier results also in the anisotropic case. The main result states that from the boundary measurements it is possible to recover integrals of the unknown coefficient over certain two-dimensional manifolds called good bicharacteristic leaves. This reduces the Calderón problem into solving a linear integral geometry problem (inversion of a bicharacteristic leaf transform).

研究动机与目标

• 通过低阶项形式化消除微分同胚不变性问题，将Calderón问题推广至各向异性情形。
• 识别共切丛中控制Schrödinger方程解的奇异性的几何结构。
• 证明边界测量唯一确定电势 $ q $ 在良好双特征叶上的积分。
• 将反问题约化为线性积分几何问题——具体而言，即双特征叶变换的求逆问题。

提出的方法

• 利用半经典微局部分析与极限Carleman权（LCWs）理论，分析共轭拉普拉斯算子 $ P_{\rho} = e^{\rho/h}(-h^2\Delta_g)e^{-\rho/h} $。
• 应用微局部正规型，将复共轭对合算子共轭为Cauchy-Riemann算子 $ D_1 + iD_2 $，从而实现奇异性的双特征叶传播。
• 通过共切丛中叶的紧致子集附近全纯函数的构造，生成集中在良好双特征叶上的拟模态。
• 利用波前集与半经典极限 $ h \to 0 $ 下的渐近分析，将边界测量与叶的空间投影上的积分联系起来。
• 通过构造生成电势Radon变换的曲线，将Calderón问题约化为乘积流形上X射线变换的可逆性问题。
• 利用所有最大测地线上的积分消失，推导出电势几乎处处为零，从而在乘积流形情形下证明了唯一性。

实验结果

研究问题

• RQ1 在各向异性Calderón问题中，边界测量是否能唯一确定电势 $ q $，若能，何种几何结构编码了该信息？
• RQ2 双特征叶——共切丛中的二维流形——在Schrödinger算子奇异性的传播中起何种作用？
• RQ3 在何种条件下可构造出集中在特定双特征叶上的拟模态，从而实现对 $ q $ 在其上积分的恢复？
• RQ4 双特征叶变换是否可逆，且该可逆性是否意味着Calderón问题中的唯一性？
• RQ5 反问题能否约化为线性积分几何时问题，何种几何假设可确保该约化？

主要发现

• Dirichlet-to-Neumann数据 $ C_{g,q} $ 唯一确定共切丛中所有良好双特征叶上 $ q $ 的积分。
• Calderón问题约化为求解双特征叶变换的逆问题，后者为线性积分几何时问题。
• 在乘积流形 $ M_1 \times M_2 $ 情形下，$ q $ 的测地线X射线变换在所有最大测地线上消失，意味着 $ q \equiv 0 $ 几乎处处成立。
• 通过电势的拉回在二维Radon变换中恒为零，建立了乘积流形上X射线变换的可逆性。
• 在双特征叶的紧致子集上构造出波前集支持于其上的拟模态，验证了解的微局部结构，并实现了积分的恢复。
• 该结果在双特征叶满足拓扑与非捕获条件时成立，确保了合适拟模态的存在。