[论文解读] On the injectivity of the circular Radon transform arising in thermoacoustic tomography

Gaik Ambartsoumian, Peter Kuchment|arXiv (Cornell University)|Apr 27, 2004

Photoacoustic and Ultrasonic Imaging参考文献 21被引用 34

一句话总结

本文利用波动方程的有限传播速度和解的区域依赖性，建立了热声计算机断层扫描中至关重要的圆形Radon变换的新可注入性结果，提出了一种基于PDE的替代方法，取代了以往的微局部分析和调和多项式方法。该文证明了在二维空间中某些中心集合的可注入性，并将该方法推广至高维空间和更一般的几何结构。

ABSTRACT

The circular Radon transform integrates a function over the set of all spheres with a given set of centers. The problem of injectivity of this transform (as well as inversion formulas, range descriptions, etc.) arises in many fields from approximation theory to integral geometry, to inverse problems for PDEs, and recently to newly developing types of tomography. The article discusses known and provides new results that one can obtain by methods that essentially involve only the finite speed of propagation and domain dependence for the wave equation.

研究动机与目标

• 解决热声计算机断层扫描（TAT）中圆形Radon变换的可注入性问题，目标是从其球面积分中重构函数。
• 提供一种更简单的、基于PDE的替代方法，以替代现有的微局部分析和调和多项式技术来证明可注入性。
• 将已知的可注入性结果推广至更高维度和更一般的探测器位置几何结构。
• 仅利用波动方程的性质，重现并推广Agranovsky和Quinto（2002）的关键结果，避免复杂的几何分析。
• 为未来研究非紧支集函数、不完备数据以及黎曼流形上的问题奠定基础。

提出的方法

• 利用波动方程的有限传播速度特性，分析波前何时以及如何到达特定点。
• 应用波动方程解的区域依赖性，追踪初始数据对观测信号的影响。
• 使用基于能量的论证方法，控制波的传播，并通过在一组中心处数据消失来推断唯一性。
• 通过反证法构造：假设存在一个非零紧支集函数，其变换为零，然后利用波传播证明其导致矛盾。
• 将该方法应用于推导局部可注入性结果，其中仅假设在有限半径内数据为零。
• 将该方法推广至高维空间和非欧几里得几何结构，如双曲空间。

实验结果

研究问题

• RQ1 是否可以仅利用波动方程的基本性质（而不依赖微局部分析或调和多项式零点集）建立圆形Radon变换的可注入性？
• RQ2 对于紧支集函数，集合S在何种必要与充分条件下，圆形Radon变换是可注入的？
• RQ3 该PDE方法在多大程度上可推广至高维空间和非欧几里得几何？
• RQ4 是否可通过控制波能量而非仅传播时间，将该方法适应于非紧支集函数？
• RQ5 当仅可获得有限半径内球面数据时，局部可注入性的条件是什么？

主要发现

• 本文仅利用波动方程的有限传播速度和区域依赖性，证明了在二维空间中某些中心集合的圆形Radon变换具有可注入性。
• 通过更简单的PDE技术，重现了Agranovsky和Quinto（2002）关于二维空间中圆形中心可注入性的关键结果。
• 该方法可推广至高维空间，并可适用于其他几何结构（如双曲空间）。
• 建立了局部可注入性结果，其中仅假设在有限半径内数据为零。
• 该方法为通过引入基于能量的波分析，将可注入性结果推广至非紧支集函数提供了基础。
• 结果表明，该方法在更一般设置下，可能为发展圆形Radon变换的反演公式和像空间描述提供潜在途径。