[论文解读] Stability Estimates for an Inverse Hyperbolic Initial Boundary Value Problem with Unknown Boundaries

Sergio Vessella|arXiv (Cornell University)|Jul 2, 2014

Numerical methods in inverse problems参考文献 25被引用 11

一句话总结

本文建立了对一个涉及从有限时间边界测量中恢复波动方程解及其法向导数的未知区域边界之逆超bolic问题的对数稳定性估计。通过结合FBI变换技术、定量唯一延拓估计以及三球面不等式，作者证明了在先验正则性和几何约束条件下，两个区域之间的Hausdorff距离可被有界为测量误差的对数函数，且该结果在足够大但有限的观测时间下成立。

ABSTRACT

In this paper we prove stability estimates of logarithmic type for an inverse problem consisting in the determination of unknown portions of the boundary of a domain in $\\mathbb{R}^n$, from a knowledge, in a finite time observation, of overdetermined boundary data for initial boundary value problem for anisotropic wave equation.

研究动机与目标

• 建立从波动方程解及其法向导数的有限时间边界测量中恢复区域未知边界的逆问题的稳定性估计。
• 解决与椭圆和抛物型问题相比，超bolic逆问题中缺乏稳定性结果的问题。
• 在先验几何与正则性假设下，证明未知边界对测量的柯西数据的连续依赖性。
• 表明在给定条件下，对数稳定性为最优，与John的反例一致。

提出的方法

• 应用傅里叶-Bros-Iagolnitzer（FBI）变换，将超bolic波动方程转化为扩展区域内的二阶椭圆方程，从而可应用柯西问题估计。
• 利用来自[Al-R-Ro-Ve]的椭圆方程柯西问题的稳定性估计，控制公共子域中解的差异。
• 采用[Ve3]中建立的波动方程的强唯一延拓的定量估计，以限制解在未知边界附近的消失速率。
• 应用带权函数形式为 $ e^{2\tau |X|^{-\beta}} $ 的精确三球面不等式，推导调和型解的衰减估计。
• 引入一个具有受控梯度和Hessian范数的截断函数 $ \eta $，以在重叠的环形区域中局部化能量估计。
• 结合Caccioppoli型不等式与能量估计，最终以测量误差和先验数据表示出对数稳定性界。

实验结果

研究问题

• RQ1 能否从波动方程解及其法向导数的有限时间边界测量中稳定重建区域的未知边界部分？
• RQ2 在数据有限的条件下，具有未知边界的超bolic逆问题的最优稳定性速率是什么？
• RQ3 如何将定量唯一延拓估计适配于超bolic方程，以控制解在未知边界附近的衰减？
• RQ4 对区域和系数的几何与正则性假设在多大程度上影响稳定性估计？
• RQ5 在给定假设下，对数稳定性是否为最佳可能速率，且是否与已知反例一致？

主要发现

• 两个具有未知边界的区域之间的Hausdorff距离被有界为柯西数据测量误差的对数函数。
• 稳定性估计为对数型，这与超bolic逆问题中John的反例一致，表明其最优性。
• 该结果在区域、未知边界、边界数据的先验假设下成立，且对足够大但有限的观测时间 $ T $ 成立。
• 证明依赖于FBI变换、定量唯一延拓估计以及带指数权重的精确三球面不等式的创新组合。
• 最终的稳定性界依赖于系数矩阵 $ A(x) $ 的先验正则性、区域几何结构和测量误差，但不以多项式方式依赖于误差大小。
• 该估计具有统一性：只要 $ T $ 足够大，无论测量误差大小如何，相同的稳定性常数均适用。