[论文解读] The Radon transform of functions of matrix argument

E. Ournycheva, Boris Rubin|ArXiv.org|Jun 28, 2004

Mathematical Analysis and Transform Methods参考文献 45被引用 14

一句话总结

本文提出了矩阵空间上Radon变换的系统性理论，将经典积分几何推广至高秩情形。它利用Gårding-Gindikin分数阶积分、Riesz势和傅里叶分析，建立了在 $L^p$、施瓦茨（Schwartz）或连续函数空间中函数的最小衰减假设下，显式反演公式，并在矩阵值函数在无穷远处增长的精确条件下，证明了变换的可逆性。

ABSTRACT

The monograph contains a systematic treatment of a circle of problems in analysis and integral geometry related to inversion of the Radon transform on the space of real rectangular matrices. This transform assigns to a function $f$ on the matrix space the integrals of $f$ over the so-called matrix planes, the linear manifolds determined by the corresponding matrix equations. Different inversion methods are discussed. They rely on close connection between the Radon transform, the Fourier transform, the Garding-Gindikin fractional integrals, and matrix modifications of the Riesz potentials. A special emphasis is made on new higher rank phenomena, in particular, on possibly minimal conditions under which the Radon transform is well defined and can be explicitly inverted. Apart of the space of Schwartz functions, we also employ $L^p$-spaces and the space of continuous functions. Many classical results for the Radon transform on $R^n$ are generalized to the higher rank case.

研究动机与目标

• 将经典Radon变换反演理论推广至实矩形矩阵的高秩情形。
• 在最小可积性与衰减条件下，为矩阵空间上的Radon变换建立显式反演公式。
• 将Gårding-Gindikin分数阶积分与Riesz势理论推广至矩阵变量情形。
• 分析径向函数的Radon变换，并利用平均值算子与积分恒等式发展反演方法。
• 刻画Radon变换在 $L^p$、施瓦茨（Schwartz）与连续函数空间中存在性与可逆性的条件。

提出的方法

• Radon变换定义为函数 $f$ 在矩阵平面 $\tau(\xi,t) = \{x \in \mathbb{R}^{n \times m} : \xi^T x = t\}$ 上的积分，其中 $\xi \in V_{n,n-k}$ 且 $t \in \mathbb{R}^{(n-k) \times m}$。
• 通过共轭Radon变换以及交错算子与广义Semyanistyi分数阶积分的使用实现反演。
• 该方法依赖于Radon变换与傅里叶变换之间的联系，结合矩阵值贝塞尔函数与Zeta积分。
• 作者采用Cayley-Laplace算子与微分算子 $D_\pm$ 分析径向函数并推导反演公式。
• 通过Zeta积分的解析延拓与函数方程，定义并反演矩阵空间上的Riesz势。
• 通过积分恒等式与测度论估计，将理论扩展至 $L^p$-空间与连续函数。

实验结果

研究问题

• RQ1 在 $\mathbb{R}^{n \times m}$ 上，函数的Radon变换在无穷远处衰减的最小条件为何，才能保证其定义良好且可逆？
• RQ2 在高秩情形下，如何利用分数阶积分与Riesz势实现矩阵空间上Radon变换的反演？
• RQ3 径向对称性与Cayley-Laplace算子在简化矩阵值函数反演问题中起什么作用？
• RQ4 Gårding-Gindikin分布与广义Hilbert变换如何与矩阵空间上Radon变换的反演相关联？
• RQ5 在何种精确条件下，$L^p$-空间或施瓦茨（Schwartz）函数上的Radon变换存在显式反演？

主要发现

• 在满足 $p > \max(1, \frac{2m}{n})$ 的 $L^p$-空间中，且在最小衰减假设下，$\mathbb{R}^{n \times m}$ 上的Radon变换对函数是定义良好且可逆的。
• 通过共轭变换与平均值算子方法，为 $L^p$ 与施瓦茨（Schwartz）空间中的径向函数推导出显式反演公式。
• Gårding-Gindikin分数阶积分被推广至矩阵变量，并通过半群性质与解析延拓构造反演算子。
• 对于径向函数，Radon变换退化为一维积分变换，反演通过广义Semyanistyi分数阶积分与Zeta分布实现。
• 本文证明了在函数在无穷远处衰减足够快的条件下，Radon变换在 $L^p$-空间与连续函数空间中是单射，且通过积分估计导出了精确的衰减速率。
• 构造了一个反例，表明某些经典反演定理（如定理4.27）在无额外正则性假设时，不适用于矩阵情形。