A simple range characterization for spherical mean transform in odd dimensions and its applications

技术摘要：奇数维球平均变换的简单值域特征化及其应用

问题陈述
本文研究了在奇数维（$n \ge 3$）情况下，针对支撑集在单位球 $B \subset \mathbb{R}^n$ 内的函数，其球平均变换（SMT，亦称球面 Radon 变换）的值域特征化问题。该变换将函数 $f$ 映射为其在以单位球边界（$S^{n-1}$）为中心、半径为 $t \in (0, \infty)$ 的球面上的平均值。虽然该变换的单射性及各种反演公式已得到广泛验证，但现有的值域特征化条件（即一个函数必须满足的条件才能属于该变换的像空间）通常过于复杂，难以进行构造性证明。作者旨在推导出一套更简单、更易处理的值域条件，以促进具有特定支撑性质的函数的构造，并研究 SMT 的唯一连续性（UCP）。

方法论
作者结合了调和分析、特殊函数理论和微分算子技术：

1. 球面谐波展开： 问题通过将源函数 $f$ 和变换数据 $g = Rf$进行球面谐波展开来进行分解。这通过将一般问题简化为针对每个谐波阶数$m$ 分析径向函数的问题。
2. 微分算子与对称性： 对于径向函数，作者推导了一个涉及线性微分算子 $L_k$（阶数为 $k = (n-3)/2$）的必要条件。他们建立了一个对称关系，即在应用权重因子 $t^{n-2}$ 后，径ial 函数的变换在 $1-t$ 与 $1+t$（或等价地，$t$ 与 $2-t$）处的值满足特定的对称性。
3. 组合分析： 通用值域条件的证明依赖于复杂的组合恒等式。作者利用 Egorychev 技术（用于二项式系数的围道积分）以及针对复合函数算子 $D = \frac{1}{t}\frac{d}{dt}$ 的专门版本的 Faà di Bruno 公式，来处理由积分核产生的更高阶导数。
4. 特殊函数： 一个核心的技术组成部分是推导第一类球面贝塞尔函数（$j_\alpha$）和第二类球面贝塞尔函数（$y_\alpha$）的“交叉乘积”恒等式。该恒等式联系了满足上述导出对称条件的函数的 Hankel 变换。
5. 常微分方程 (ODEs)： 为了证明 UCP 的反例，作者构造了具有紧支撑的非平凡光滑函数。这是通过求解具有变系数的线性 ODE 并仔细选择边界条件，以确保函数及其导数在特定点处消失来实现的。

主要结果

1. 径向函数的值域特征化 (定理 1.1)：
   函数 $g \in C^\infty_c((0, 2))$ 是支撑在 $B$ 内的径向函数 $f \in C^\infty_c(B)$ 的 SMT，当且仅当 $h(t) = t^{n-2}g(t)$ 满足对称关系：
   $$[L_k h](1-t) = [L_k h](1+t) \quad \text{对于所有 } t \in [0, 1],$$
   其中 $L_k$ 是一个特定阶数为 $k = (n-3)/2$ 的线性微分算子。这一条件比以往的特征化描述要简单得多。

2. 一般函数的值域特征化 (定理 1.4)：
   对于一般函数 $g \in C^\infty_c(S^{n-1} \times (0, 2))$，令 $g_{m,l}(t)$ 为其球面谐波系数。则 $g = Rf$当且仅当对于每个$(m, l)$，函数$h_{m,l}(t) = t^{n-2}g_{m,l}(t)$可以写成$h_{m,l} = D^m \phi_{m,l}$的形式，其中$\phi_{m,l} \in C^\infty_c((0, 2))$ 且满足对称关系：
   $$[L_{m+k} \phi_{m,l}](1-t) = [L_{m+k} \phi_{m,l}](1+t).$$

3. 球面贝塞尔函数的交叉乘积恒等式 (定理 1.8)：
   证明过程产生了一个关于满足值域对称条件的任何 $h \in C^\infty_c((0, 2))$ 的卓越恒等式：
   $$\left( \int_0^\infty j_{k+1/2}(\lambda t) t h(t) dt \right) y_{k+1/2}(\lambda) = \left( \int_0^\infty y_{k+1/2}(\lambda t) t h(t) dt \right) j_{k+1/2}(\lambda).$$
   作者指出，该恒等式提供了文献中此前未曾发现的球面贝塞尔函数的一系列无限的交叉乘积关系。

4. 唯一连续性的反例 (定理 1.6 和 推论 1.7)：
   利用该值域特征化，作者构造了显式的非平凡函数 $f \in C^\infty_c(B)$，这些函数在开集 $U \subset B$（具体为原点附近的球或任何开子集）上消失，同时它们的 SMT 在所有与 $U$ 相交的球面上也消失。这证明了在奇数维下，SMT 不具备 唯一连续性质 (UCP)。

意义与主张
本文声称其主要贡献在于推导出了奇数维下 SMT 的一个简单且具构造性的值域特征化。与以往复杂的条件不同，这些涉及微分算子的新对称关系允许显式构造具有特定支撑约束的值域中的函数。

作者强调了该结果的两个主要应用：

• 构造性证明： 这些条件的简易性使得构造 UCP 的反例成为可能。对于许多其他积分变换（如奇数维中的 X 射线变换）而言，UCP 是成立的，但由于 SMT 在奇数维下的局部反演特性，此处并不成立。
• 特殊函数理论： 导出的球面贝塞尔函数交叉乘积恒等式被视为对特殊函数理论具有独立研究价值的结果，它阐明了处于 SMT 值域内的函数的 Hankel 变换零点的结构。

作者明确指出，虽然 UCP 在奇数维失效，但 SMT 在偶数维下是否成立仍是一个开放性问题。他们还提到，其工作是对另一项研究（参考文献 [8]）的补充，后者基于积分算子而非微分算子提供了偶数维的值域特征化。