[论文解读] Gegenbauer-Chebyshev Integrals and Radon Transforms

Boris Rubin|arXiv (Cornell University)|Oct 15, 2014

Mathematical Analysis and Transform Methods参考文献 39被引用 6

一句话总结

本文通过Gegenbauer-Chebyshev积分（Abel型分数阶积分的推广）研究了欧氏空间、球面和双曲空间上的Radon变换的新支撑定理与核表征。研究证明，在可积性条件下，即使函数不具有快速衰减或连续性，若Radon变换在某个球外为零，则函数几乎处处在该球外为零，从而将Helgason的经典结果推广至更广义的函数类，方法基于谱分解与积分估计。

ABSTRACT

We suggest new modifications of Helgason's support theorems and descriptions of the kernels for several projectively equivalent transforms of integral geometry. The paper deals with the hyperplane Radon transform and its dual, the totally geodesic transforms on the sphere and the hyperbolic space, the spherical slice transform, and the spherical mean transform for spheres through the origin. The assumptions for functions are formulated in integral terms. The proofs rely on the properties of the Gegenbauer-Chebyshev integrals which generalize Abel type fractional integrals on the positive half-line.

研究动机与目标

• 通过可积性条件而非点态衰减来弱化Helgason支撑定理中的经典假设（如光滑性与快速衰减），以实现更弱的条件。
• 通过径向部分的傅里叶-拉普拉斯系数表征欧氏空间、球面与双曲空间上Radon变换的核。
• 将Radon变换理论的应用范围扩展至在无穷远处与原点处具有可控增长的局部可积函数。
• 在双曲空间上建立全测地线变换的支撑定理，且无需在无穷远处快速衰减，与欧氏情形形成对比。
• 通过引入Semyanistyi-Lizorkin空间与Gegenbauer-Chebyshev积分性质，填补先前证明中的漏洞（特别是Ludwig, 1998年的工作中的漏洞）。

提出的方法

• 利用Gegenbauer-Chebyshev积分作为Abel型分数阶积分的推广，分析Radon变换的结构。
• 通过球谐函数进行谱分解，将函数及其Radon变换表示为傅里叶-拉普拉斯系数的形式。
• 应用积分条件如 $ I_1(f) = \int_{|x|>a} \frac{|f(x)|}{|x|} dx < \infty $ 与 $ I_2(f) = \int_{|x}<a} |x|^{N-1}|f(x)| dx < \infty $，以确保Radon变换的存在性与可逆性。
• 通过双曲极坐标变换与双曲变换中 $ \tanh r $-缩放的关系，建立双曲Radon变换与欧氏Radon变换的联系。
• 应用Semyanistyi-Lizorkin空间理论处理与多项式正交的分布，从而绕过早期证明中的漏洞。
• 通过分析变换后函数的支集并利用Gegenbauer-Chebyshev积分的单边结构，推导支撑定理。

实验结果

研究问题

• RQ1 能否将Radon变换的经典支撑定理推广至非光滑或非快速衰减的函数，而仅要求其为局部可积且满足特定可积性条件？
• RQ2 当函数不属于 $ L^p $ 但满足某些 $ L^1 $-型可积性条件时，$ \mathbb{R}^n $、$ \mathbb{S}^{n-1} $ 与 $ \mathbb{H}^n $ 上Radon变换的核具有何种精确结构？
• RQ3 为何双曲空间上全测地线变换的支撑定理无需在无穷远处快速衰减，而欧氏情形则需要？
• RQ4 能否在不损失支撑定理有效性的情况下，移除先前证明中关于 $ I_2(f) < \infty $ 与 $ \varphi \in S'(Z_n) $ 的假设？
• RQ5 作为分数阶积分的推广，Gegenbauer-Chebyshev积分如何编码Radon变换的单射性与支集性质？

主要发现

• 若 $ f(x) = 0 $ a.e. 对于 $ |x| > a $，且满足 $ \int_{|x|>a} \frac{|f(x)|}{|x|} dx < \infty $，则对所有不与半径为 $ a $ 的球相交的超平面 $ \xi $，有 $ (Rf)(\xi) = 0 $ a.e.。
• 反之，若对所有与半径为 $ a $ 的球不相交的超平面 $ \xi $，有 $ (Rf)(\xi) = 0 $ a.e.，且 $ f $ 满足对某个 $ N > 0 $ 有 $ \int_{|x|<a} |x|^{N-1}|f(x)| dx < \infty $，则 $ f(x) = 0 $ a.e. 对于 $ |x| > a $。
• 通过傅里叶-拉普拉斯系数表征Radon变换的核：当 $ m \geq 2 $ 时，$ f_{m,\mu}(r) $ 必须是 $ r^{-n-k} $ 的有限线性组合；当 $ m = 0,1 $ 时，$ f_{m,\mu}(r) \equiv 0 $。
• 在双曲空间 $ \mathbb{H}^n $ 上，由于积分表示中相关函数 $ g $ 的紧支集，支撑定理成立，无需在无穷远处快速衰减。
• 对于双曲Radon变换，核由 $ f_{m,\mu}(r) = \sinh^{-n}r \sum c_k \coth^k r $ 描述，其中 $ c_k $ 为常数，且与欧氏情形相同的谱条件适用。
• 本文识别并解决了Ludwig（1998）证明中的漏洞，特别是某些函数 $ \psi_{j,\ell}(s) $ 的存在性未经充分论证的问题，方法为使用Semyanistyi-Lizorkin空间与积分估计。