[論文レビュー] Gegenbauer-Chebyshev Integrals and Radon Transforms

Boris Rubin|arXiv (Cornell University)|Oct 15, 2014

Mathematical Analysis and Transform Methods参考文献 39被引用数 6

ひとこと要約

本稿は、ギーゲンバウアー＝チェビシェフ積分（アベル型分数積分の一般化）を用いて、ユークリッド空間、球面、双曲空間におけるラドン変換の新しい補足定理および核の特徴付けを導入する。関数が急速に減少するか連続でない場合でも、可積分性条件のもとで、ラドン変換が球外で消えるならば、関数もその球外でほとんど everywhere にゼロになることを示している。これは、ヘルガソンの古典的結果を、スペクトル分解と積分推定を用いて、より広い関数クラスへと拡張したものである。

ABSTRACT

We suggest new modifications of Helgason's support theorems and descriptions of the kernels for several projectively equivalent transforms of integral geometry. The paper deals with the hyperplane Radon transform and its dual, the totally geodesic transforms on the sphere and the hyperbolic space, the spherical slice transform, and the spherical mean transform for spheres through the origin. The assumptions for functions are formulated in integral terms. The proofs rely on the properties of the Gegenbauer-Chebyshev integrals which generalize Abel type fractional integrals on the positive half-line.

研究の動機と目的

• ヘルガソンの補足定理における古典的仮定（滑らかさと急速な減少）を、点での減少性ではなく可積分性に基づく条件に弱める。
• 径数部分のフーリエ＝ラプラス係数を用いて、ユークリッド空間、球面、双曲空間におけるラドン変換の核を特徴付ける。
• 無限遠および原点における成長が制御された局所可積分関数へとラドン変換理論の適用範囲を拡張する。
• 双曲空間における完全測地的変換の補足定理を、無限遠での急速な減少を要件としない形で確立する。これは、ユークリッドの場合とは対照的である。
• ルーディッグ（1998）の証明におけるギャップを、セミャニスティイ＝リゾルキン空間とギーゲンバウアー＝チェビシェフ積分の性質に基づく新しい手法を導入することで解消する。

提案手法

• アベル型分数積分の一般化としてのギーゲンバウアー＝チェビシェフ積分を用い、ラドン変換の構造を分析する。
• 球面調和関数によるスペクトル分解を用いて、関数およびそのラドン変換をフーリエ＝ラプラス係数の形で表現する。
• ラドン変換の存在および可逆性を保証するため、$ I_1(f) = \int_{|x|>a} \frac{|f(x)|}{|x|} dx < \infty $ および $ I_2(f) = \int_{|x}<a} |x|^{N-1}|f(x)| dx < \infty $ などの積分条件を適用する。
• 双曲空間におけるラドン変換とユークリッド空間におけるものの間の関係を、双曲極座標変換および双対変換における $ \tanh r $ スケーリングを用いて確立する。
• 多項式に直交する分布を取り扱うために、セミャニスティイ＝リゾルキン空間の理論を適用し、以前の証明におけるギャップを回避する。
• ギーゲンバウアー＝チェビシェフ積分の単一的構造を分析することで、変換後の関数の台と元の関数の台との関係を明らかにし、補足定理を導出する。

実験結果

リサーチクエスチョン

• RQ1 滑らかでなく、急速に減少しない関数に対しても、古典的補足定理を可積分性条件に基づいて拡張できるか？
• RQ2 関数が $ L^p $ に属さないが、ある種の $ L^1 $-型可積分性条件を満たす場合、$ \mathbb{R}^n $、$ \mathbb{S}^{n-1} $、$ \mathbb{H}^n $ におけるラドン変換の核の正確な構造は何か？
• RQ3 双曲空間における完全測地的変換の補足定理は、なぜ無限遠での急速な減少を要件としていないのか？これは、ユークリッドの場合とは対照的である。
• RQ4 以前の証明における仮定 $ I_2(f) < \infty $ および $ \varphi \in S'(Z_n) $ を、補足定理の有効性を失うことなく取り除けるか？
• RQ5 ギーゲンバウアー＝チェビシェフ積分（分数積分の一般化）は、ラドン変換の単射性および台の性質をどのように符号化しているか？

主な発見

• 関数 $ f(x) = 0 $ a.e. が $ |x| > a $ で成り立つならば、条件 $ \int_{|x|>a} \frac{|f(x)|}{|x|} dx < \infty $ のもとで、すべての $ a $ の半径の球と交差しない超平面 $ \xi $ に対して、$ (Rf)(\xi) = 0 $ a.e. であることを証明した。
• 逆に、すべての $ \xi $ が $ a $ の半径の球と交差しない場合に $ (Rf)(\xi) = 0 $ a.e. であり、ある $ N > 0 $ に対して $ \int_{|x|<a} |x|^{N-1}|f(x)| dx < \infty $ を満たすならば、$ f(x) = 0 $ a.e. が $ |x| > a $ で成り立つ。
• ラドン変換の核は、フーリエ＝ラプラス係数を用いて特徴付けられる：$ m \geq 2 $ のとき $ f_{m,\mu}(r) $ は $ r^{-n-k} $ の有限線形結合でなければならない。$ m = 0,1 $ のとき、$ f_{m,\mu}(r) \equiv 0 $ である。
• 双曲空間 $ \mathbb{H}^n $ において、関連関数 $ g $ のコンパクトな台のおかげで、無限遠での急速な減少を要件としない補足定理が成り立つ。
• 双曲ラドン変換において、核は $ f_{m,\mu}(r) = \sinh^{-n}r \sum c_k \coth^k r $ と記述され、$ c_k $ は定数であり、ユークリッドの場合と同様のスペクトル的条件が適用される。
• 本稿では、ルーディッグ（1998）の証明におけるギャップを特定し、特に特定の関数 $ \psi_{j,\ell}(s) $ の正当な存在が示されていなかったことについて、セミャニスティイ＝リゾルキン空間および積分推定を用いて解決した。