[论文解读] Stable determination outside a cloaking region of two time-dependent coefficients in an hyperbolic equation from Dirichlet to Neumann map

Mourad Bellassoued, Ben Aicha Ibtissem|arXiv (Cornell University)|May 11, 2016

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

一句话总结

本文建立了从 Dirichlet-to-Neumann 映射出发，对双曲波动方程中两个时变系数——耗散项和势项——同时恢复的稳定性估计。利用复几何光学解和解析延拓技术，证明了在遮蔽区域外可实现稳定重构，且当数据被丰富时，可在更大子集上实现更优的恢复效果，其理论成立条件为系数在 $ n \geq 2 $ 维空间中满足 $ C^2 $ 和 $ C^1 $ 正则性假设。

ABSTRACT

In this paper, we treat the inverse problem of determining two time-dependent coefficients appearing in a dissipative wave equation, from measured Neumann boundary observations. We establish in dimension $n\geq 2$, stability estimates with respect to the Dirichlet-to-Neumann map of these coefficients provided that are known outside a cloaking regions. Moreover, we prove that it can be stably recovered in larger subsets of the domain by enlarging the set of data

研究动机与目标

• 解决从边界测量数据出发，识别耗散波动方程中两个时变系数的反问题。
• 在由于依赖域约束导致唯一恢复不可能的遮蔽区域之外，建立系数的稳定性估计。
• 证明扩大边界数据集合可实现空间域中更大子集的稳定恢复。
• 通过先进的分析技术，将现有关于时不变系数结果推广至时变情形。
• 在 $ n \geq 2 $ 维空间中，为从 Dirichlet-to-Neumann 映射恢复 $ a(x,t) $ 和 $ b(x,t) $ 提供对数型稳定性估计。

提出的方法

• 利用复几何光学解构造双曲方程的特殊解，使其在区域内部具有受控行为。
• 应用依赖于时间和空间的权函数的 Carleman 不等式，推导出稳定性不等式。
• 采用解析延拓与三圆定理（Hadamard 型）将小区间上的界传播至更大区域。
• 运用全纯函数理论与插值不等式（如引理 A.1 和 A.2）控制全纯函数在区间上的上确界范数。
• 通过重叠球体的覆盖论证，将局部估计扩展至复平面上的整个区间 $[-1,1]$。
• 依赖 Dirichlet-to-Neumann 映射的结构，将边界测量与内部系数信息关联起来。

实验结果

研究问题

• RQ1 能否从 Dirichlet-to-Neumann 映射中稳定恢复耗散波动方程中的两个时变系数？
• RQ2 在给定边界数据的条件下，空间-时间域中系数 $ a(x,t) $ 和 $ b(x,t) $ 的稳定恢复最大区域是什么？
• RQ3 丰富边界数据集合如何影响可实现稳定恢复的区域大小？
• RQ4 遮蔽区域（即从 $ \Omega $ 出发的后向光锥）在限制系数可辨识性方面起什么作用？
• RQ5 能否在双曲设定下为时变系数建立对数型稳定性估计，从而推广先前针对时不变情形的结果？

主要发现

• 在遮蔽区域（即从 $ \Omega $ 出发的后向光锥）之外，建立了 $ a(x,t) $ 和 $ b(x,t) $ 恢复的对数型稳定性估计。
• 当边界数据集合被丰富时，系数可在空间域的更大子集上实现稳定恢复。
• 证明依赖于复几何光学解的构造，以及利用解析延拓将小数据集上的界传播至全局。
• 一个关键技术结果是：通过 Hadamard 三圆定理，将区间上的局部 $ L^\infty $-范数估计扩展至整个 $[-1,1]$ 上的全局估计。
• 该方法导出了如下形式的稳定性估计：$ \|\varphi\|_{L^\infty([-1,1])} \leq N \|\varphi\|_{L^\infty(I)}^\gamma M^{1-\gamma} $，其中 $ \gamma \in (0,1) $，从而保证了对数稳定性。
• 该结果在 $ a(x,t) $ 为 $ C^2 $ 正则性、$ b(x,t) $ 为 $ C^1 $ 正则性，且维度 $ n \geq 2 $、边界 $ \Gamma $ 光滑的条件下成立。