[论文解读] Logarithmic stability in determining a boundary coefficient in an ibvp for the wave equation

Kaïs Ammari, Mourad Choulli|arXiv (Cornell University)|May 27, 2015

Stability and Controllability of Differential Equations参考文献 5被引用 10

一句话总结

本文为在具有混合边界条件的正方形区域上，通过边界测量确定波动方程边界阻尼系数的反问题，建立了对数稳定性估计。通过结合可观测性不等式与谱分解，作者推导出一个稳定性界，表明未知边界系数与零的 $ L^2 $-范数之差受 Dirichlet-to-Neumann 映射测量误差的对数函数控制，且在系数的 Hölder 正则性与正性约束下成立。

ABSTRACT

In [2] we introduced a method combining together an observability inequality and a spectral decomposition to get a logarithmic stability estimate for the inverse problem of determining both the potential and the damping coefficient in a dissipative wave equation from boundary measurements. The present work deals with an adaptation of that method to obtain a logarithmic stability estimate for the inverse problem of determining a boundary damping coefficient from boundary measurements. As in our preceding work, the different boundary measurements are generated by varying one of the initial conditions.

研究动机与目标

• 建立从波动方程初边值问题边界测量中恢复边界阻尼系数的反问题的对数稳定性。
• 将先前关于势函数与阻尼系数识别的方法扩展至仅含边界阻尼的情形。
• 通过证明适用于具有角奇点的非光滑区域（正方形）的合适可观测性不等式，解决非光滑区域带来的挑战。
• 提供一个稳定性估计，量化重构误差与测量误差之间的关系，且在系数的 Hölder 正则性与正性约束下成立。

提出的方法

• 分析基于在具有混合边界条件的非光滑正方形区域上，波动方程解的谱分解。
• 通过适配已有结果并利用一种 Rellich 型恒等式处理角奇点，为正方形区域上的波动方程建立了可观测性不等式。
• 通过初始到边界算子 $ \Lambda_a $ 将反问题重新表述为反源问题，该算子将初始数据映射到 Neumann 边界测量。
• 通过结合可观测性不等式与解的谱分解，推导出稳定性估计，从而得到关于测量误差的系数界。
• 关键步骤涉及利用算子范数 $ \|\Lambda_a - \Lambda_0\| $ 估计边界系数 $ a $ 的 $ L^2 $-范数，从而实现对测量误差的对数依赖性。
• 证明依赖于 Hölder 连续函数在 $ H^{1/2} $ 上有界乘法算子的性质，该性质通过分数阶 Sobolev 范数估计建立。

实验结果

研究问题

• RQ1 能否为从边界测量中识别波动方程边界阻尼系数的反问题建立对数稳定性？
• RQ2 正方形区域的非光滑性如何影响反问题的可观测性与稳定性？
• RQ3 在此类反问题中，重构误差对测量误差的最优依赖关系是什么？
• RQ4 先前用于识别势函数与阻尼系数的方法能否适配至仅含边界阻尼的情形？
• RQ5 为确保稳定性，边界系数需要哪些正则性与正性假设？

主要发现

• 本文为从边界测量中恢复边界阻尼系数 $ a \in \mathcal{A}_{m,M} $ 的反问题建立了对数稳定性估计。
• 对任意 $ \tau > \tau_0 $，系数 $ a $ 的 $ L^2 $-范数满足如下界：\|a\|_{L^2((0,1))^2} \leq cM\left( \left|\ln(m^{-1}\|\Lambda_a - \Lambda_0\|)\right|^{-1/2} + m^{-1}\|\Lambda_a - \Lambda_0\| \right)，其中 $ c > 0 $ 仅依赖于 $ \tau $。
• 该稳定性估计为对数型，表明当测量误差减小时，重构误差仅缓慢衰减，这在严重不适定的反问题中是典型的特征。
• 该结果在以下假设下成立：$ a \in C^\alpha([0,1])^2 $ 且 $ \alpha > 1/2 $，$ a_j \geq 0 $，且 $ m \leq a_j \leq M $，确保系数远离零且具有足够的正则性。
• 证明依赖于波动解的谱分解，以及通过正方形区域上的 Rellich 型恒等式导出的可观测性不等式。
• 作者证明了 Hölder 连续函数的乘法定义了 $ H^{1/2}((0,1)) $ 上的有界算子，这对算子框架的适定性至关重要。