[论文解读] Radon inversion formulas over local fields

Jonathan Wang|arXiv (Cornell University)|Mar 13, 2015

Mathematical Analysis and Transform Methods参考文献 12被引用 3

一句话总结

本文为局部域（实数、复数及非阿基米德域）上的Radon变换建立了显式反演公式，证明该变换在具有有界且远离原点支撑的 $K$-有限光滑函数空间之间是同构。通过Mellin变换与傅里叶分析，给出了显式的反演公式，解决了阿基米德情形下的可逆性问题，并与经典结果（如Černov的公式）建立了联系。

ABSTRACT

Let $F$ be a local field and $n\ge 2$ an integer. We study the Radon transform as an operator $M : \mathcal C_+ o \mathcal C_-$ from the space of smooth $K$-finite functions on $F^n \setminus \{0\}$ with bounded support to the space of smooth $K$-finite functions on $F^n \setminus \{0\}$ supported away from a neighborhood of $0$. These spaces naturally arise in the theory of automorphic forms. We prove that $M$ is an isomorphism and provide formulas for $M^{-1}$. In the real case, we show that when $K$-finiteness is dropped from the definitions, the analog of $M$ is not surjective.

研究动机与目标

• 在局部域 $F$ 上建立Radon变换 $M: \mathcal{C}_+ \to \mathcal{C}_-$ 的可逆性，其中函数为 $K$-有限的光滑函数。
• 在非阿基米德与阿基米德（实数与复数）情形下，推导反演算子 $M^{-1}$ 的显式公式。
• 阐明新反演公式与经典结果（如针对Sobolev函数的Černov公式）之间的关系。
• 证明当去除 $K$-有限性时，$M$ 失去满射性，凸显其在可逆性中的关键作用。
• 通过证明Radon变换的局部可逆性，为自守形式理论中全局互约算子的构造奠定基础。

提出的方法

• 将Radon变换 $M$ 定义为从 $F^n \setminus \{0\}$ 上具有有界支撑的 $K$-有限 $C^\infty$ 函数空间 $\mathcal{C}_+$ 到在原点邻域外有支撑的函数空间 $\mathcal{C}_-$ 的算子。
• 在实数与复数情形下，利用傅里叶分析与齐次性，将Radon变换与 $\mathbb{R}_{>0}$ 上径向分布的Mellin变换联系起来。
• 在非阿基米德域情形下，将Radon变换与加法群上的傅里叶变换联系，并通过 $p$-进积分推导出显式反演公式。
• 利用分布卷积证明反演算子 $M^{-1}$ 在 $\mathcal{C}_-$ 的每个 $K$-同调子空间上是良定义且连续的。
• 利用已知的积分公式与Gamma函数恒等式，计算实数与复数情形下核分布的Mellin变换。
• 通过解析延拓将反演公式从初始收敛区域扩展至所有 $s \in \mathbb{C}$（除去极点），证明其在全复平面上的有效性。

实验结果

研究问题

• RQ1 在包括实数与复数情形在内的所有局部域上，Radon变换 $M: \mathcal{C}_+ \to \mathcal{C}_-$ 是否为同构？
• RQ2 在非阿基米德情形下，能否推导出 $M^{-1}$ 的显式反演公式？其与针对Sobolev函数的Černov公式有何关系？
• RQ3 在阿基米德情形下，反演算子 $M^{-1}$ 的结构如何？$K$-有限性如何影响其可逆性？
• RQ4 若从函数空间定义中去除 $K$-有限性，$M$ 的可逆性将如何变化？
• RQ5 如何利用Mellin变换刻画实数与复数情形下Radon变换的反演？

主要发现

• Radon变换 $M: \mathcal{C}_+ \to \mathcal{C}_-$ 在所有局部域 $F$ 上（包括 $\mathbb{R}$、$\mathbb{C}$ 及非阿基米德域）均为同构。
• 在非阿基米德情形下，通过傅里叶变换技术推导出 $M^{-1}$ 的显式反演公式，并证明其在 $K$-有限性条件下与Černov公式等价。
• 在实数情形下，$M^{-1}$ 由与 $\mathbb{R}_{>0}$ 上某分布的卷积给出，其Mellin变换显式计算为 $\pi^{n-1}\frac{\Gamma(\frac{s+|p-q|}{2}-n+1)\Gamma(\frac{s-|p-q|}{2}-n+1)}{\Gamma(\frac{s+p+q}{2})\Gamma(\frac{s-p-q}{2}-n+1)}$。
• 在复数情形下，反演通过径向分布的Mellin变换表征，其函数形式与实数情形相同。
• $K$-有限性假设至关重要：当其被移除时，$M$ 的类比形式不再满射，如引理 4.7.4 所示。
• 本结果为Eisenstein级数与自守形式理论中全局互约算子的可逆性提供了局部基础，如文献 [DW] 所用。