[论文解读] Unique determination of a time-dependent potential for wave equations from partial data

Yavar Kian|arXiv (Cornell University)|May 24, 2015

Numerical methods in inverse problems参考文献 33被引用 31

一句话总结

本论文通过柯尔曼估计与微局部分析，利用部分边界数据和初始数据，建立了对波方程中时间依赖势函数 $ q \in L^\infty(Q) $ 的全局唯一确定性。关键结果表明，$ q $ 可从边界子集 $ \Sigma $ 上的观测数据及初始条件唯一确定，克服了以往因有限时域与不完全数据导致的限制。

ABSTRACT

We consider the inverse problem of determining a time-dependent potential $q$, appearing in the wave equation $\\partial_t^2u-\\Delta u+q(t,x)u=0$ in $Q=(0,T)\ imes\\Omega$ with $\\Omega$ a $C^2$ bounded domain of $\\mathbb R^n$, $n\\geq2$, from partial observations of the solutions on $\\partial Q$. We prove global unique determination of a coefficient $q\\in L^\\infty(Q)$ from these observations.

研究动机与目标

• 解决从边界部分观测与初始数据中唯一确定波方程中时间依赖势函数 $ q $ 的反问题。
• 克服有限传播速度导致的障碍，即仅靠边界数据无法在某些区域（如原点附近）唯一恢复 $ q $。
• 在无需解析性或完整数据集的前提下，为一般 $ L^\infty $ 时间依赖势函数建立全局唯一性。
• 通过仅使用最小数据集而保持唯一性，扩展现有对双曲方程反问题的研究结果。

提出的方法

• 利用构造精巧的权函数的柯尔曼估计，控制感兴趣区域内的解。
• 应用微局部分析与对偶性论证，将迹算子从光滑函数空间扩展至索伯列夫型空间。
• 构造拟微分算子与辅助函数（如 $ G, H, \Phi $），通过双对偶性表示边界与初始迹。
• 建立迹算子 $ \tau_{i,j} $ 从光滑函数到 $ H_{\Box}(Q) $ 中广义函数的有界延拓，从而支持基于对偶性的分析。
• 在加权索伯列夫空间中应用格林公式与分部积分，推导迹的表示公式。
• 通过逼近与对偶性论证，将迹算子的定义域延拓至波方程的解空间 $ H_{\Box}(Q) $。

实验结果

研究问题

• RQ1 在有限时间区间内，时间依赖势函数 $ q \in L^\infty(Q) $ 是否能从边界部分观测与初始数据中唯一确定？
• RQ2 在无需解析性假设的前提下，哪些数据条件（如边界、初始或终值条件）足以确保 $ q $ 的全局唯一性？
• RQ3 柯尔曼估计如何用于克服波方程反问题中有限传播速度带来的障碍？
• RQ4 在保持势函数唯一性的同时，数据集可被缩减到何种程度（如仅保留边界迹）？
• RQ5 在反问题背景下，迹算子从光滑函数到广义函数的连续延拓需要何种正则性？

主要发现

• 时间依赖势函数 $ q \in L^\infty(Q) $ 可从边界子集 $ \Sigma $ 上解的部分观测与初始条件中唯一确定。
• 证明表明，迹算子 $ \tau_{i,j} $（包括边界迹 $ u|_{\Sigma} $、$ \partial_\nu u|_{\Sigma} $ 以及初始/终值数据）可连续延拓为解空间 $ H_{\Box}(Q) $ 上的有界算子。
• 通过双对偶性与格林公式，迹算子被成功延拓至负索伯列夫空间（如 $ H^{-3}(0,T;H^{-1/2}(\partial\Omega)) $）。
• 该方法避免了以往为保证有限时间唯一性所必需的完整数据集（如 $ C_q $）或解析性假设。
• 结果在最小正则性假设下成立：$ \Omega $ 为 $ C^2 $ 光滑，$ T < \infty $，且 $ q \in L^\infty(Q) $，无需额外光滑性或解析性要求。
• 通过构造具有紧支集且满足预设迹条件的辅助函数（如 $ G, H, \Phi $），实现了负索伯列夫空间中迹的对偶表示。