[论文解读] Recovery of time-dependent coefficient on Riemanian manifold for hyperbolic equations

Yavar Kian, Lauri Oksanen|arXiv (Cornell University)|Jun 23, 2016

Numerical methods in inverse problems参考文献 43被引用 9

一句话总结

本文在紧致黎曼流形 $ (M,g) $ 上，针对维度 $ d ≥ 2 $ 的双曲波方程，建立了在时间依赖势 $ q \in L^\infty((0,T)\times M) $ 下，利用柱体 $ \overline{M} = (0,T) \times M $ 边界上的全或部分柯西数据集，实现全局唯一性恢复的结果。关键结果表明，在几何假设（如 $ (M,g) $ 为单连通）下，$ q $ 由侧边界、顶边界和底边界的柯西数据唯一确定，通过柯尔曼估计与测地线射线变换，将卡勒隆型反问题框架扩展至具有时间依赖系数的双曲情形。

ABSTRACT

Given $(M,g)$, a compact connected Riemannian manifold of dimension $d \geq 2$, with boundary $\partial M$, we study the inverse boundary value problem of determining a time-dependent potential $q$, appearing in the wave equation $\partial_t^2u-Δ_g u+q(t,x)u=0$ in $\bar M=(0,T) imes M$ with $T>0$. Under suitable geometric assumptions we prove global unique determination of $q\in L^\infty(\bar M)$ given the Cauchy data set on the whole boundary $\partial \bar M$, or on certain subsets of $\partial \bar M$. Our problem can be seen as an analogue of the Calderón problem on the Lorentzian manifold $(\bar M, dt^2 - g)$.

研究动机与目标

• 研究黎曼流形 $ (M,g) $ 上波动方程 $ \partial_t^2 u - \Delta_g u + q(t,x)u = 0 $ 中时间依赖零阶系数 $ q $ 的反问题。
• 在 $ (M,g) $ 为紧致黎曼流形且边界满足一定条件时，证明 $ q \in L^\infty((0,T)\times M) $ 由边界 $ \partial\overline{M} = \partial M \times (0,T) \cup \{0\} \times M \cup \{T\} \times M $ 上的全或部分柯西数据唯一确定，克服依赖域限制。
• 将卡勒隆问题框架推广至洛伦兹流形 $ (\overline{M}, dt^2 - g) $ 上的双曲情形，尤其针对时变系数。
• 提出一种新方法，结合柯尔曼估计、微局部分析与测地线射线变换，处理时间依赖情形，其中以往结果多假设时间不变性或欧氏几何。

提出的方法

• 在柱体 $ \overline{M} = (0,T) \times M $ 上为波算子 $ \Box_g + q $ 推导柯尔曼估计，采用含复相位 $ e^{-\sigma(\beta t + x_1)} $ 的权函数，以在边界附近局部化解。
• 构造具有指数增长相位的复几何光学（CGO）解 $ u_1, u_2 $，使其满足波动方程至低阶误差。
• 利用 $ \sigma \to \infty $ 时 $ u_1 u_2 $ 的 $ L^2 $-范数渐近行为，导出涉及 $ q $ 的积分恒等式，表明在极限下 $ \int_{\overline{M}} q u_1 u_2 \, dt\,dx \to 0 $。
• 对测地线射线变换的 $ a^{-\frac{d-2}{2}} q $ 进行时间与空间变量 $ (t,x_1) $ 上的傅里叶变换，将问题约化为分析射线变换的傅里叶变换的消失性。
• 利用单连通流形上测地线射线变换的单射性，得出若积分对所有测试函数消失，则 $ q = 0 $。
• 通过极坐标正规坐标与流形结构，将问题约化为从 $ \partial M $ 出发的测地线上的单变量射线变换，从而可应用已知的单射性结果。

实验结果

研究问题

• RQ1 在黎曼流形上，时间依赖系数 $ q \in L^\infty((0,T)\times M) $ 是否能通过边界 $ \partial\overline{M} $ 上的全柯西数据集唯一恢复，且在 $ (M,g) $ 满足适当几何假设下？
• RQ2 当仅获得部分数据（即侧边界、顶边界与底边界数据）而非全柯西数据集时，唯一性是否仍成立？
• RQ3 在时间依赖系数情形下，由于依赖域论证失效，如何将卡勒隆问题框架适配至双曲情形，特别是对时变势能？
• RQ4 柯尔曼估计与复几何光学解在证明黎曼流形上时间依赖系数反问题唯一性中发挥何种作用？
• RQ5 在 $ \sigma \to \infty $ 的极限下，通过傅里叶分析与渐近分析约化问题后，测地线射线变换能否有效用于恢复 $ q $？

主要发现

• 在 $ (M,g) $ 为单连通流形的条件下，时间依赖系数 $ q \in L^\infty((0,T)\times M) $ 由边界 $ \partial\overline{M} $ 上的全柯西数据集 $ \mathcal{C}_q $ 唯一确定。
• 即使仅使用部分数据（即侧边界、顶边界与底边界数据），在相同几何假设下，唯一性依然成立。
• 证明依赖于含复相位 $ e^{-\sigma(\beta t + x_1)} $ 的柯尔曼估计，该估计可控制两个 CGO 解乘积的 $ L^2 $-范数。
• 在 $ \sigma \to \infty $ 的极限下，积分 $ \int_{\overline{M}} q u_1 u_2 \, dt\,dx \to 0 $，从而导出涉及 $ a^{-\frac{d-2}{2}} q $ 的测地线射线变换的消失恒等式。
• 对 $ a^{-\frac{d-2}{2}} q $ 的射线变换的傅里叶变换在所有频率下消失，意味着该射线变换几乎处处为零。
• 由单连通流形上测地线射线变换的单射性，可推出 $ q = 0 $，从而证明 $ q $ 由边界数据唯一确定。