[论文解读] Boundary rigidity with partial data

Plamen Stefanov, Günther Uhlmann+1 more|arXiv (Cornell University)|Jun 12, 2013

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

一句话总结

本论文在黎曼流形中建立了部分数据下的边界刚性问题的局部唯一性与稳定性，证明了在严格凸边界点附近，可通过该点邻域内测量的距离函数唯一且稳定地恢复共形因子。关键结果表明，介质中的各向同性声速可从靠近凸点的边界点间波的走时时间中局部确定，通过一种新颖的非线性反问题方法，将经典结果推广至非解析、部分数据情形。

ABSTRACT

We study the boundary rigidity problem with partial data consisting of determining locally the Riemannian metric of a Riemannian manifold with boundary from the distance function measured at pairs of points near a fixed point on the boundary. We show that one can recover uniquely and in a stable way a conformal factor near a strictly convex point where we have the information. In particular, this implies that we can determine locally the isotropic sound speed of a medium by measuring the travel times of waves joining points close to a convex point on the boundary. The local results lead to a global lens rigidity uniqueness and stability result assuming that the manifold is foliated by strictly convex hypersurfaces.

研究动机与目标

• 研究从部分边界距离数据中确定黎曼度量的反问题，特别是在走时层析成像的背景下。
• 在仅获得单个边界点邻域数据的情况下，建立边界刚性问题的局部唯一性与稳定性。
• 将Herglotz、Wieckert与Zoeppritz等人的经典声速恢复结果推广至非径向、非解析度量，并在叶状结构条件下成立。
• 发展一种解决非线性部分数据反问题的新方法，无需解析性或全局假设。
• 证明满足Herglotz-Wieckert与Zoeppritz条件的度量的透镜刚性，即使声速不具有径向对称性。

提出的方法

• 作者采用与严格凸超曲面相适应的半测地坐标系，将问题约化为沿测地线的常微分方程组。
• 他们应用一种基于测地流与能量层分析的新技术，以控制第二基本形式并推导稳定性估计。
• 关键要素是利用条件 $ \partial_r(r/c(r)) > 0 $，该条件被证明等价于共形度量中欧氏球面的严格凸性。
• 证明依赖于对水平集 $ \Sigma_t = \rho^{-1}(t) $ 的有限覆盖上的紧致性论证，将局部估计全局传播至邻域内。
• 通过建立测地线长度与走时时间的 $ O(\delta^\mu) $ 接近性，推导出共形因子 $ c $ 与 $ \tilde{c} $ 的 $ O(\delta^\mu) $ 接近性。
• 该方法避免了解析性假设，转而使用微局部与微分几何工具，实现唯一性与稳定性。

实验结果

研究问题

• RQ1 能否从单个严格凸边界点邻域内受限的边界距离数据中唯一恢复黎曼度量的共形因子？
• RQ2 在部分数据设置下，当距离函数发生小扰动时，该恢复是否稳定？
• RQ3 Herglotz-Wieckert与Zoeppritz条件 $ \partial_r(r/c(r)) > 0 $ 是否意味着即使 $ c $ 不是径向的，也存在透镜刚性？
• RQ4 是否可以在不假设全局简单性的情况下，对非解析度量仅用部分数据求解边界刚性问题？
• RQ5 能否仅使用局部边界测量，将经典声速恢复结果推广至非径向、光滑速度的情形？

主要发现

• 本文证明了共形因子 $ c $ 可在严格凸边界点附近，由限制在该点邻域内的边界距离函数唯一确定。
• 该恢复是稳定的：若两个度量的距离函数在 $ O(\delta^\mu) $ 范围内一致，则对应的共形因子也一致于 $ O(\delta^\mu) $ 范围内。
• 条件 $ \partial_r(r/c(r)) > 0 $ 被证明等价于共形度量中球面的严格凸性，将早期结果推广至非径向速度情形。
• 该结果意味着，对于满足Herglotz-Wieckert与Zoeppritz条件的任意光滑速度 $ c $，即使不具有径向对称性，也存在透镜刚性。
• 该方法首次在维度 $ n \geq 3 $ 下，实现了非解析、局部唯一性与稳定性结果，适用于部分数据下的边界刚性问题。
• 在流形被严格凸超曲面叶状覆盖的假设下，可推出全局透镜刚性结果，将局部结果推广为全局唯一性与稳定性陈述。