[论文解读] The Broken Ray Transform in $n$ Dimensions

Mark Hubenthal|arXiv (Cornell University)|Oct 27, 2013

Numerical methods in inverse problems被引用 4

一句话总结

该论文在具有平坦反射边界之n维欧几里得区域中建立了断裂射线变换的单射性与稳定性。通过将测量局部化于反射固定序列的平坦超平面的断裂射线，并应用局部路径展开技术，作者证明法向算子为阶数为-1的经典拟微分算子加上具有$C_0^\ty$核的光滑项。

ABSTRACT

We study the broken ray transform on $n$-dimensional Euclidean domains where the reflecting parts of the boundary are flat and establish injectivity and stability under certain conditions. Given a subset $E$ of the boundary $\partial \Omega$ such that $\partial \Omega \setminus E$ is itself flat (contained in a union of hyperplanes), we measure the attenuation of all broken rays starting and ending at $E$ with the standard optical reflection rule applied to $\partial \Omega \setminus E$. By localizing the measurement operator around broken rays which reflect off a fixed sequence of flat hyperplanes, we can apply the analytic microlocal approach of Frigyik, Stefanov, and Uhlmann for the ordinary ray transform by means of a local path unfolding. This generalizes the author's previous result for the square, although we can no longer treat reflections from corner points. Similar to the result for the two dimensional square, we show that the normal operator is a classical pseudo differential operator of order -1 plus a smoothing term with $C_{0}^{\infty}$ Schwartz kernel.

研究动机与目标

• 在具有平坦反射边界分量的n维欧几里得区域中，建立断裂射线变换的单射性与稳定性。
• 将先前关于正方形区域的结果推广至具有平坦反射超平面的高维情形。
• 将 Frigyik、Stefanov 与 Uhlmann 的分析性微局部方法扩展至n维中的断裂射线情形。
• 从拟微分算子与光滑项的角度分析法向算子的结构。

提出的方法

• 将测量算子局部化于边界中固定序列的平坦超平面反射的断裂射线。
• 应用局部路径展开技术，将断裂射线问题简化为等价的普通射线变换问题。
• 通过此展开，将 Frigyik、Stefanov 与 Uhlmann 的分析性微局部框架适配至断裂射线情形。
• 利用微局部技术分析法向算子，证明其可分解为阶数为-1的经典拟微分算子与光滑项。
• 证明光滑项具有$C_0^\ty$的Schwartz核，从而确保其正则性。
• 该方法避免处理角点反射，专注于无角点的平坦反射序列。

实验结果

研究问题

• RQ1 在具有平坦反射边界的n维欧几里得区域中，断裂射线变换在何种条件下是单射的？
• RQ2 断裂射线变换的法向算子在算子类与核结构方面如何表现？
• RQ3 能否通过路径展开将用于普通射线变换的微局部技术扩展至断裂射线情形？
• RQ4 在断裂射线情形下，法向算子的精确正则性与拟微分结构为何？
• RQ5 反射边界中平坦超平面的存在如何影响变换的稳定性和单射性？

主要发现

• 在给定的几何与边界条件下，断裂射线变换是单射的。
• 法向算子被证明为阶数为-1的经典拟微分算子加上具有$C_0^\ty$核的光滑项。
• 在相同条件下，建立了变换的稳定性估计。
• 该方法成功地将二维正方形区域的结果推广至高维情形。
• 分析过程排除了角点，因为路径展开技术不适用于此类奇点。
• 法向算子的结构确认了该变换在微局部意义下的正则化性质。