[论文解读] Stability of the determination of a coefficient for the wave equation in an infinite wave guide

Yavar Kian|arXiv (Cornell University)|May 21, 2013

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

一句话总结

该论文为在无限波导 $ \Omega = \omega \times \mathbb{R} $ 上的波动方程中，从 Dirichlet-to-Neumann (DN) 映射恢复电势 $ q $ 的反问题建立了 Hölder 稳定性估计。它在完整边界测量条件下证明了稳定性，并在两个电势之间的最大间隙位于紧致区域这一条件下，将结果扩展到有界侧向子集。

ABSTRACT

We consider the stability in the inverse problem consisting in the determination of an electric potential $q$, appearing in a Dirichlet initial-boundary value problem for the wave equation $\partial_t^2u-Δu+q(x)u=0$ in an unbounded wave guide $Ω=ω imes\mathbb R$ with $ω$ a bounded smooth domain of $\mathbb R^2$, from boundary observations. The observation is given by the Dirichlet to Neumann map associated to a wave equation. We prove a Hölder stability estimate in the determination of $q$ from the Dirichlet to Neumann map. Moreover, provided that the gap between two electric potentials rich its maximum in a fixed bounded subset of $\barΩ$, we extend this result to the same inverse problem with measurements on a bounded subset of the lateral boundary $(0,T) imes\partialΩ$.

研究动机与目标

• 建立在无界波导上波动方程中电势 $ q $ 的反问题的稳定性估计。
• 分析从无界侧向边界 $ \Sigma $ 上的完整 Dirichlet-to-Neumann (DN) 映射对 $ q $ 重构的稳定性。
• 在电势差间隙具有紧致性的条件下，将稳定性结果扩展到侧向边界有界部分的测量。
• 提供基于 DN 映射差异的重构误差的定量 Hölder 类型估计。

提出的方法

• 在加权函数空间 $ L $ 上定义 Dirichlet-to-Neumann 映射 $ \Lambda_q $，该空间包含时间、切向和纵向导数。
• 应用 Carleman 估计和能量方法，推导出具有电势 $ q \in \mathcal{C}_b^\alpha(\overline{\Omega}) $ 的波动方程的稳定性估计。
• 对 $ q $ 施加 Hölder 正则性条件，其中 $ \|q\|_{L^\infty} \leq M $，并使用范数 $ \|q\|_{\mathcal{C}_b^\alpha} = \|q\|_{L^\infty} + [q]_\alpha $。
• 引入在 $ (0,T) \times \partial\omega \times (-R,R) $ 上的局部 DN 映射 $ \Lambda_q^R $ 以处理有界测量。
• 依赖截断论证和加权能量估计，以控制解在紧致集外部的行为。
• 通过插值和紧致性假设，将对数型估计转化为 Hölder 连续性，从而建立稳定性。

实验结果

研究问题

• RQ1 能否为在无限波导上波动方程中恢复电势 $ q $ 的反问题建立 Hölder 稳定性估计？
• RQ2 通过 DN 映射的完整边界测量，$ q $ 重构的稳定性如何依赖于测量？
• RQ3 在测量被限制在侧向边界有界子集时，稳定性在什么条件下仍能保持？
• RQ4 两个电势之间最大间隙的位置在将稳定性扩展到局部测量时起到什么作用？
• RQ5 能否根据电势的 Hölder 正则性和测量误差，量化稳定性指数？

主要发现

• 建立了 Hölder 稳定性估计：$ \|q_1 - q_2\|_{L^\infty(\Omega)} \leq C \|\Lambda_{q_1} - \Lambda_{q_2}\|^{\frac{\min(2\alpha,1)\alpha}{3(2\alpha+2)(\min(4\alpha,2)+21)}}} $，其中 $ C $ 依赖于 $ M, T, \Omega $。
• 稳定性指数依赖于电势的 Hölder 正则性 $ \alpha $，且当 $ 0 < \alpha < 1 $ 时严格为正。
• 对于在 $ (0,T) \times \partial\omega \times (-R,R) $ 上的局部测量，若 $ \|q_1 - q_2\|_{L^\infty} $ 的最大值出现在有界区域 $ \omega \times (-r,r) $ 且 $ r < R $，则稳定性成立。
• 在电势差在其本质上确界达到紧致子集中的假设下，结果可扩展到有界测量集。
• 证明依赖于加权能量估计和截断函数，以实现问题的局部化并控制无穷远处的行为。
• 即使电势仅是有界且 Hölder 连续的，无需在无穷远处有衰减假设，稳定性估计依然成立。