[论文解读] Global Uniqueness for an Inverse Stochastic Hyperbolic Equation with Three Unknowns

Qi Lü, Xu Zhang|arXiv (Cornell University)|Jul 17, 2011

Numerical methods in inverse problems参考文献 7被引用 3

一句话总结

本文通过为随机双曲方程推导一个新的全局 Carleman 估计，建立了具有三个未知量——随机力强度 $ g $、初始位移 $ z_0 $ 和初始速度 $ z_1 $——的随机双曲逆问题的全局唯一性。关键结果表明，几乎必然地，零边界通量与零终端位移意味着 $ g = 0 $、$ z_0 = 0 $ 与 $ z_1 = 0 $，在适当的几何与正则性条件下唯一确定了逆问题的解。

ABSTRACT

This paper is addressed to an inverse stochastic hyperbolic equation with three unknowns, i.e., a source term, an initial displacement and an initial velocity. The global uniqueness is proved by a new global Carleman estimate for the stochastic hyperbolic equation. It is found that both the formulation of stochastic inverse problems and the tools to solve them differ considerably from their deterministic counterpart.

研究动机与目标

• 解决涉及三个未知量——随机力强度 $ g $、初始位移 $ z_0 $ 与初始速度 $ z_1 $——的随机双曲逆问题的全局唯一性。
• 建立在部分边界观测 $ \partial z/\partial\nu|_{(0,T)\times\Gamma_0} $ 与终端位移 $ z(T) $ 下，未知量可被唯一确定的条件。
• 通过为随机设定量身定制的工具，弥合确定性与随机逆问题之间的差距，特别是针对具有乘性噪声的双曲方程。
• 证明零边界通量与零终端状态几乎必然意味着所有未知量均消失，从而确保全局唯一性。

提出的方法

• 为具有乘性噪声的随机双曲方程推导一个新的全局 Carleman 估计，以适应该问题的随机性质。
• 引入一个涉及随机过程 $ z $、其时间导数 $ z_t $ 与空间梯度的加权能量恒等式，使用权函数 $ \theta $ 与参数 $ \lambda $。
• 对加权能量恒等式应用 Itô 公式，推导出涉及 $ dz_t $、$ (b^{ij}z_{x_i})_{x_j} $ 与噪声项 $ (b_4 z + g)dB(t) $ 的随机积分恒等式。
• 利用 $ \Sigma $ 上的边界条件 $ z = 0 $ 简化边界积分项，并分离出法向导数 $ \partial z/\partial\nu $。
• 结合随机微分方程的结构与 Carleman 估计，建立一个加权能量的下界，包含 $ \lambda^3 z^2 $、$ \lambda |\nabla z|^2 $、$ \lambda z_t^2 $ 与 $ g^2 $。
• 将 Carleman 估计与零边界通量及零终端状态的假设相结合，推导出所有未知量几乎必然为零。

实验结果

研究问题

• RQ1 在随机双曲系统中，能否从部分边界观测与终端状态数据唯一确定随机力强度 $ g $、初始位移 $ z_0 $ 与初始速度 $ z_1 $？
• RQ2 在子集 $ \Gamma_0 \subset \Gamma $ 上法向导数 $ \partial z/\partial\nu $ 消失且终端状态 $ z(T) = 0 $ 是否意味着所有三个未知量几乎必然为零？
• RQ3 随机双曲方程的随机性——特别是乘性噪声项 $ g dB(t) $ ——与确定性情形相比，如何影响逆问题的唯一性？
• RQ4 处理随机逆问题需要哪些新颖的分析工具？它们与经典确定性方法有何不同？
• RQ5 能否为随机双曲方程构造一个全局 Carleman 估计，以边界与终端数据控制解及其导数？

主要发现

• 建立了随机双曲逆问题的全局唯一性：若几乎必然地 $ \partial z/\partial\nu = 0 $ 在 $ (0,T) \times \Gamma_0 $ 上且 $ z(T) = 0 $ 在 $ G $ 中，则 $ g = 0 $、$ z_0 = 0 $ 与 $ z_1 = 0 $ 几乎必然在 $ G $ 中成立。
• 推导出适用于随机双曲方程的新全局 Carleman 估计，该估计通过边界与终端数据控制 $ z_t $、$ \nabla z $ 与 $ z $ 的加权 $ L^2 $-范数，以及噪声强度 $ g $。
• 该估计通过精心选择的权函数 $ \theta $、大参数 $ \lambda $ 与随机 Itô 公式构造，得到一个包含 $ \lambda^3 z^2 $、$ \lambda |\nabla z|^2 $、$ \lambda z_t^2 $ 与 $ g^2 $ 的下界。
• 由于 $ \Sigma $ 上的 Dirichlet 条件 $ z = 0 $，边界积分项得以简化，使得法向导数 $ \partial z/\partial\nu $ 可被分离并用于能量估计。
• 由边界通量与终端状态的消失，估计推出 $ \mathbb{E} \int_G \theta^2 (\lambda |z_1|^2 + \lambda |\nabla z_0|^2 + \lambda^3 |z_0|^2) dx = 0 $，从而得出 $ z_0 = z_1 = 0 $ 几乎必然。
• 项 $ \mathbb{E} \int_Q (T-t) \theta^2 g^2 dx dt = 0 $ 暗示 $ g = 0 $ 几乎必然在 $ Q $ 中成立，从而完成全局唯一性的证明。