[论文解读] The support theorem for the single radius spherical mean transform

Mark Agranovsky, Peter Kuchment|arXiv (Cornell University)|May 8, 2009

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

一句话总结

本论文为 $\mathbb{R}^n$ 上的单半径球面平均变换建立了支撑定理，证明了若 $f \in L^p(\mathbb{R}^n)$ 且 $p \leq 2n/(n-1)$，其在所有与闭的 $R$-凸域 $K$ 不相交的球面上的球面平均为零，则 $f$ 的支撑包含于 $K$ 的闭包中。该结果推广了早期的注入性结果，并在临界指数 $2n/(n-1)$ 处给出了精确的阈值，证明过程完全自包含，采用调和分析与卷积技术。

ABSTRACT

Let f(x) belong to L^p(R^n) and R>0. The transform is considered that integrates the function f over (almost) all spheres of radius R in R^n. This operator is known to be non-injective (as one can see by taking Fourier transform). However, the counterexamples that can be easily constructed using Bessel functions of the 1st kind, only belong to L^p if p>2n/(n-1). It has been shown previously by S. Thangavelu that for p not exceeding the critical number 2n/(n-1), the transform is indeed injective. In this article, the support theorem is proven that strengthens this injectivity result. Namely, if K is a convex bounded domain in R^n, the index p is not above 2n/(n-1), and (almost) all the integrals of $f$ over spheres of radius $R$ not intersecting K are equal to zero, then f is supported in the closure of the domain K. In fact, convexity in this case is too strong a condition, and the result holds for any what we call an R-convex domain.

研究动机与目标

• 在 $f \in L^p$ 且 $p \leq 2n/(n-1)$ 的条件下，为 $\mathbb{R}^n$ 中的单半径球面平均变换建立一个精确的支撑定理。
• 将注入性结果从凸域推广至更广泛的 $R$-凸域类。
• 提供支撑定理的自包含且简化的证明，避免依赖于大型参考著作中零散的技术结果。
• 阐明临界指数 $2n/(n-1)$ 在决定球面平均变换注入性中的作用。

提出的方法

• 通过球谐函数的傅里叶级数展开，将问题约化为径向分量与球谐分量。
• 利用与半径为 $R$ 的球面上的狄拉克函数的卷积，得到方程 $h = f * \delta_R = 0$ 在 $K$ 的补集上成立。
• 对方程进行傅里叶变换，得到 $\widehat{h}(\xi) = \widehat{f}(\xi) \widehat{\delta_R}(\xi)$，并分析所得的分布方程。
• 通过反证法与关于单项式次数的归纳法，证明 $f$ 在 $K$ 的邻域内所有导数为零，利用斯托克斯公式与到单项式的正交性。
• 引入 $R$-凸域的概念，其定义为：在 $K$ 的补集中，半径为 $R$ 的球的中心集合是连通的。
• 通过拓扑论证，利用中心集合的连通性以及 $f$ 在 $B(x,R)$ 中为零的集合的开性与闭性，将局部消失性推广至 $K$ 的整个补集。

实验结果

研究问题

• RQ1 在何种 $p$ 与区域 $K$ 的条件下，单半径球面平均变换在 $L^p(\mathbb{R}^n)$ 上是注入的？
• RQ2 能否将注入性与支撑定理从凸域推广至更广泛的区域类？
• RQ3 在什么 $p$ 的阈值以上，变换将不再注入？
• RQ4 如何以自包含且简明的方式证明支撑定理，避免依赖于大型专著中零散的结果？

主要发现

• 当 $f \in L^p(\mathbb{R}^n)$ 且 $p \leq 2n/(n-1)$ 时，球面平均变换是注入的，且该阈值是精确的。
• 支撑定理对 $R$-凸域成立，即 $R$-凸域是凸域的推广，其补集为半径为 $R$ 的闭球的并集，且其中心集合连通。
• 若所有与 $K$ 不相交的球面上半径为 $R$ 的球面平均为零，则 $f$ 在 $K$ 的闭包中紧支撑。
• 证明依赖于调和分析、与球面狄拉克函数的卷积，以及通过归纳法与斯托克斯公式实现的局部消失性论证。
• 使得 $f$ 在 $B(x,R)$ 中为零的中心 $x$ 的集合，在 $CK$ 中所有 $R$-球中心的连通集合中既是开集又是闭集，因此等于整个集合，从而推出 $f=0$ 在 $\mathbb{R}^n \setminus K$ 上。
• 该结果强化了早期的注入性结果，并为积分几何中的一个关键结果提供了清晰、自包含的证明，阐明了临界指数 $2n/(n-1)$ 的作用。