[论文解读] On the Minkowski-Funk Transform

Susanna Dann|arXiv (Cornell University)|Mar 26, 2010

Optical measurement and interference techniques参考文献 2被引用 3

一句话总结

本文对闵可夫斯基-丰克变换进行了全面研究，建立了该变换的反演公式，并将其与经典积分几何和凸几何问题联系起来。研究证明，球面上的函数为常数当且仅当其闵可夫斯基-丰克变换为常数，从而通过球谐函数和分数阶积分算子，为闵可夫斯基关于面积测度的定理提供了新的解析证明。

ABSTRACT

The subject of this paper is the history of the Minkowski-Funk Transform. After introducing the Minkowski-Funk Transform as well as its dual transform and a generalization of both, we will present an inversion formula of the Minkowski-Funk Transform. Then we will discuss the history of this problem: related work by Minkowski and Funk and the connection between their work.

研究动机与目标

• 在球面 $ S^{n-1} $ 上建立闵可夫斯基-丰克变换的严格反演公式。
• 阐明闵可夫斯基关于面积测度的工作与丰克积分变换之间的历史联系。
• 通过旋转不变测度和分数阶积分算子推广闵可夫斯基-丰克变换。
• 为闵可夫斯基关于存在具有给定面积测度的凸体的定理提供新的解析证明。
• 证明闵可夫斯基-丰克变换保持对称性并与旋转可交换，从而支持调和分析技术的应用。

提出的方法

• 闵可夫斯基-丰克变换定义为 $ (Mf)(\xi) = \int_{\xi} f(x)\,dx $，其中 $ \xi \subset S^{n-1} $ 是一个 $ (n-2) $-维测地线，配备旋转不变测度。
• 对偶变换 $ M^*\varphi $ 定义为对所有通过点 $ x \in S^{n-1} $ 的测地线积分 $ \varphi $。
• 引入广义变换 $ M_\theta f $，即对给定测地线 $ \xi $ 的测地距离为 $ \theta $ 的所有点积分 $ f $。
• 利用黎曼-刘维尔分数阶积分和球面积分的卡塔兰公式推导反演公式。
• 应用球谐函数分解证明 $ Mf \equiv \text{常数} $ 当且仅当 $ f \equiv \text{常数} $。
• 证明利用了闵可夫斯基-丰克变换核恰好由奇函数构成的事实，并使用恒等式 $ \widetilde{M}^{\alpha} \widetilde{M}^{\beta} f = f $，当 $ \alpha + \beta = 2 - n $ 时成立。

实验结果

研究问题

• RQ1 如何实现闵可夫斯基-丰克变换的反演？分数阶积分在该反演中起什么作用？
• RQ2 闵可夫斯基的面积测度问题与丰克变换之间的确切联系是什么？
• RQ3 在什么条件下，若函数 $ f $ 的闵可夫斯基-丰克变换为常数，则 $ f $ 本身也为常数？
• RQ4 旋转不变测度和球谐函数如何促进对闵可夫斯基-丰克变换的分析？
• RQ5 闵可夫斯基-丰克变换能否推广至包含距离层次集？这对反演有何影响？

主要发现

• 闵可夫斯基-丰克变换的反演公式为 $ (M_\theta^* Mf)(x) = 2\pi^{\frac{n-2}{2}} \cos^{3-n}\theta \cdot (I_{0+}^{\frac{n-2}{2}} \widetilde{f}_x)(\cos^2\theta) $，其中 $ \widetilde{f}_x(\tau) = \frac{1}{\sqrt{\tau}} (M^{\sqrt{\tau}} f)(x) $。
• 闵可夫斯基-丰克变换与旋转可交换，这使得可以在 $ SO(n) $ 上应用群论和调和分析技术。
• 闵可夫斯基-丰克变换的核恰好由 $ S^{n-1} $ 上的奇函数构成，这对刻画零空间至关重要。
• 当且仅当其闵可夫斯基-丰克变换为常数时，$ f \in L_{\text{even}}^1(S^{n-1}) $ 为常数，该结论通过球谐函数分解得以证明。
• 广义变换 $ M_\theta f $ 提供了一个连续的变换族，插值于标准闵可夫斯基-丰克变换与球平均 $ M^t f $ 之间。
• 结果 $ U(\omega) = \frac{1}{2} (M B)(\omega) $，其中 $ U $ 为面积测度，$ B $ 为支撑函数，可直接导出凸体的闵可夫斯基存在性定理。