[论文解读] The inverse problem for the local ray transform

Hanming Zhou|arXiv (Cornell University)|Apr 25, 2013

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

一句话总结

该论文建立了在任意维度 ≥3 的黎曼流形上，针对一般流（而不仅测地流）的X射线变换的局部单射性与稳定性。通过将共轭算子的椭圆理论扩展至非测地流，并采用加权散射伪微分框架，证明了在域于边界点处严格E-凸的邻域内，局部X射线变换是单射的，并在加权Sobolev空间中具有稳定性估计。

ABSTRACT

In this paper we consider the local X-ray transform for general flows. We extend the results on the local and global invertibility of the geodesic ray transform proved by Uhlmann and Vasy \cite{UV} to the X-ray transform for a general flow. The key improvement is that our argument for the ellipticity of the conjugated operator $A_F$ (which is defined in Section 2) can be applied to flows other than the geodesic flow.

研究动机与目标

• 将测地射线变换的反问题理论推广至单位球丛上由向量场E控制的一般流。
• 在域于边界点处严格E-凸的邻近区域，建立加权Sobolev空间中函数的局部X射线变换的单射性。
• 在单个边界点附近，基于最小凸性假设，推导反问题的稳定性估计。
• 将Uhlmann与Vasy [18] 关于测地射线变换的结果推广至更广泛的E-测地流类别。

提出的方法

• 通过单位球丛上的二阶ODE引入E-测地流，将测地流推广至包含外力的E流。
• 将局部E-测地变换定义为函数f沿E-测地线的积分，其端点位于域X的边界上。
• 通过权重函数e^{F/x}构造共轭算子A_F = x^{-1}e^{-F/x} A e^{F/x}，以在边界附近实现局部化与稳定性。
• 利用变换核上的傅里叶分析方法，基于高斯函数与compactly支集截断近似，证明A_F的散射主符号为椭圆。
• 应用散射伪微分算子理论，推导反问题的加权L2与Sobolev估计。
• 采用逐层剥离与Neumann级数论证，从局部结果推导出全局重构方法与稳定性估计。

实验结果

研究问题

• RQ1 当域在边界点p处严格E-凸时，一般流的局部X射线变换是否可逆？
• RQ2 E-测地变换的反问题在边界附近是否具有加权Sobolev空间中的稳定性估计？
• RQ3 对于超越测地情形的流，共轭算子A_F的椭圆性是否可建立？
• RQ4 局部E-测地变换单射性所需的最小几何条件（如凸性）是什么？
• RQ5 在E-测地设置下，如何从局部稳定性估计推导出全局单射性与重构？

主要发现

• 若域在边界点p处严格E-凸，则局部E-测地变换在H^s(O_p)上是单射的，其中s ≥ 0。
• 对于f ∈ H^s_F(O_p)，稳定性估计‖f‖_{H^{s-1}_F(O_p)} ≤ C‖If‖_{H^s(M_{O_p})} 成立，其中权重e^{F/(x+c)}在截断点x = -c附近减弱控制。
• 通过核的傅里叶变换的傅里叶分析下界，证明了共轭算子A_F的椭圆性，该结果适用于一般E-流。
• 该方法适用于共形度量与非平凡流，即使在共形欧几里得情形下，结果也具有新颖性。
• 若定义函数ρ的水平集严格E-凸，且ρ^{-1}([T,∞))的测度为零，则E-测地变换在L^2(X)上具有全局单射性。
• 若ρ^{-1}([T,∞))具有空内部，则在H^s(X)（s > n/2）上具有全局单射性，该结果将测地情形推广至一般流。