[論文レビュー] 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} $ 上におけるミンコフスキー＝ファンク変換の厳密な逆変換公式の確立。
• ミンコフスキーの表面積測度に関する研究とファンクの積分変換との間の歴史的関係の明確化。
• 回転不変測度および分数積分作用素を用いたミンコフスキー＝ファンク変換の一般化。
• 所定の表面積測度を持つ凸体の存在に関するミンコフスキーの定理の新たな解析的証明の提供。
• ミンコフスキー＝ファンク変換が対称性を保存し、回転と可換であることの証明により、調和解析的手法の適用を可能にする。

提案手法

• ミンコフスキー＝ファンク変換は、$ \xi \subset S^{n-1} $ が $ (n-2) $ 次元の測地線であるとき、$ (Mf)(\xi) = \int_{\xi} f(x)\,dx $ として定義され、回転不変測度を伴う。
• 双対変換 $ M^*\varphi $ は、点 $ x \in S^{n-1} $ を通るすべての測地線に沿って $ \varphi $ を積分することによって定義される。
• 一般化された変換 $ M_\theta f $ が導入され、これは与えられた測地線 $ \xi $ からの測地線的距離 $ \theta $ にあるすべての点に沿って $ f $ を積分する。
• 逆変換公式は、リーマン＝リウヴィルの分数積分および球面積分のカタランの公式を用いて導出される。
• 球面調和関数の展開を用いて、$ Mf \equiv \text{定数} $ が成り立つのは $ f \equiv \text{定数} $ のときに限ることを示す。
• ミンコフスキー＝ファンク変換の核が奇関数からなることを利用し、$ \alpha + \beta = 2 - n $ のとき $ \widetilde{M}^{\alpha} \widetilde{M}^{\beta} f = f $ であるという恒等式を用いる。

実験結果

リサーチクエスチョン

• 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 $ が支持関数であるとすると、これはミンコフスキーの凸体の存在定理に直接的に導く。