[论文解读] Inverse problems for real principal type operators

Lauri Oksanen, Mikko Salo+2 more|arXiv (Cornell University)|Jan 21, 2020

Numerical methods in inverse problems参考文献 46被引用 13

一句话总结

本文通过证明柯西数据集唯一确定了低阶系数的散射关系和双特征射线变换，建立了涉及实主型微分算子的逆边界值问题的全局唯一性结果。该方法通过奇异性的传播和微局部分析，统一了输运方程、波动方程及其他双曲方程的逆问题，将已知的 Calderón 和 Gel'fand 问题结果推广至一类广义算子。

ABSTRACT

We consider inverse boundary value problems for general real principal type differential operators. The first results state that the Cauchy data set uniquely determines the scattering relation of the operator and bicharacteristic ray transforms of lower order coefficients. We also give two different boundary determination methods for general operators, and prove global uniqueness results for determining coefficients in nonlinear real principal type equations. The article presents a unified approach for treating inverse boundary problems for transport and wave equations, and highlights the role of propagation of singularities in the solution of related inverse problems.

研究动机与目标

• 为一大类线性和非线性微分算子的逆边界值问题建立统一框架。
• 利用微局部技术将已知的 Calderón 和 Gel'fand 问题结果推广至广义实主型算子。
• 建立适用于一般算子的边界确定方法，实现系数在规范等价意义下的恢复。
• 通过双特征流的结构，证明非线性实主型方程中系数的全局唯一性。
• 阐明奇异性的传播在求解变系数 PDE 逆问题中的作用。

提出的方法

• 利用微局部分析与拟微分算子理论，分析具有实齐次主符号的实主型算子。
• 应用拟模构造方法以局域化解，并探测边界附近奇异性的行为。
• 采用基于渐近展开与迹估计的边界确定技术，恢复系数在边界处的泰勒级数。
• 将零双特征射线流的散射关系作为核心不变量，替代经典设定中的测地流。
• 将系数恢复问题转化为双特征射线变换的反演与散射刚性问题的求解，借助几何分析中的已知结果。
• 应用迹定理与 Sobolev 估计，控制边界迹，并通过小参数 h 的极限下的能量估计建立唯一性。

实验结果

研究问题

• RQ1 柯西数据集能否唯一确定任意实主型算子的零双特征射线流的散射关系与双特征射线变换？
• RQ2 边界确定方法在多大程度上可推广至波方程或拉普拉斯算子等特定方程之外？
• RQ3 实主型算子下奇异性的传播如何促成非线性方程逆问题的求解？
• RQ4 算子的何种结构条件可确保逆问题适定且唯一可解？
• RQ5 在何种意义上，这些结果能将输运方程、波动方程及其他双曲方程的逆问题统一于同一框架之下？

主要发现

• 柯西数据集唯一确定任意实主型算子的零双特征射线流的散射关系。
• 低阶系数的双特征射线变换可由柯西数据集唯一恢复。
• 建立了适用于一般实主型算子的边界确定方法，可实现边界处系数泰勒级数在规范等价意义下的恢复。
• 对于实解析系数，边界确定结果可推出系数恢复的全局唯一性。
• 通过将问题约化为双特征射线变换的反演，证明了非线性实主型方程的全局唯一性。
• 结果将已知的 Calderón 和 Gel'fand 问题结果推广至更广义的算子类，包括具有变系数和非捕获条件的算子。