[論文レビュー] Growth Properties of Fourier Transforms

William O. Bray, Mark A. Pinsky|arXiv (Cornell University)|Oct 6, 2009

Numerical methods in inverse problems参考文献 6被引用数 7

ひとこと要約

本稿では、球ベッセル関数に対する鋭い評価を導入することで、ユークリッド空間およびランク1の対称空間におけるフーリエ変換の成長見積もりを精緻化し、関数の球平均のL^pノルムとフーリエ変換の減衰の関係を示す、より良いL^pおよびL^2見積もりを導出する。主な貢献は、従来の本質的上限に基づく連続性モジュラスの代わりに、球平均と関数自体の差の直接的なL^pノルムを用いた、より解析的に強い見積もりの簡略化である。

ABSTRACT

In a recent paper by the authors, growth properties of the Fourier transform on Euclidean space and the Helgason Fourier transform on rank one symmetric spaces of non-compact type were proved and expressed in terms of of a modulus of continuity based on spherical means. The methodology employed first proved the result on Euclidean space and then, via a comparison estimate for spherical functions on rank one symmetric spaces to those on Euclidean space, we obtained the results on symmetric spaces. In this note, an analytically simple, yet overlooked refinement of our estimates for spherical Bessel functions is presented which provides significant improvement in the growth property estimates.

研究の動機と目的

• ユークリッド空間およびランク1の対称空間におけるフーリエ変換の既存の成長見積もりを、球ベッセル関数の分析を精緻化することで改善すること。
• 従来の結果で用いられていた本質的上限に基づく連続性モジュラスの必要性を排除し、球平均と関数の差の直接的なL^pノルムに置き換えること。
• 球平均による関数の滑らかさの測定を用いて、フーリエ変換の減衰に関する鋭い、より解析的に取り扱いやすい見積もりを確立すること。
• 非コンパクト型ランク1対称空間におけるヘルガソンのフーリエ変換へこれらの精緻化された見積もりを拡張すること。この際、ユークリッド空間の結果との比較を活用する。

提案手法

• メーラー積分公式を用いて、球ベッセル関数 $ j_\alpha(\lambda t) $ に対する新しい点での評価を導出し、$ \alpha > -1/2 $ に対して $ 1 - j_\alpha(\lambda t) \asymp \min\{1, (\lambda t)^2\} $ を示す。
• この精緻化されたベッセル関数の評価を用いて、従来の連続性モジュラスにおける本質的上限を含む比較を置き換え、$ \|M^t f - f\|_p $ の直接的なL^pノルムの境界を導出する。
• L^pおよびL^2の枠組みにおいて、それぞれハウスドルフ＝ヤングの不等式およびプランシュレの定理を適用し、$ \widehat{f}(\xi) $ の減衰を球平均を通じた関数の滑らかさと関連付ける。
• 球関数とベッセル関数の比較およびジャコビ関数に対するメーラー恒等式を用いて、ランク1対称空間におけるヘルガソンのフーリエ変換に対しても類似の結果を確立する。
• ジャコビ関数の既知の可積分性および減衰性の性質を活用し、$ |1 - \phi_{\lambda}(a_t)| $ の一様な下界を導出し、$ \min\{1, (\mu t)^2\} $ を含む見積もりを得る。
• 球平均の群論的定義 $ M^t f(g) = \int_K f(g k a_t) \, dk $ および操作的性質 $ \widehat{M^t f}(\lambda, b) = \phi_\lambda(a_t) \widehat{f}(\lambda, b) $ を用いて、変換の減衰と平均差のL^pノルムとの関連を確立する。

実験結果

リサーチクエスチョン

• RQ1 ユークリッド空間 $ \mathbb{R}^n $ におけるフーリエ変換の成長見積もりにおいて、球平均に基づく連続性モジュラスを、差の直接的な $ L^p $ ノルム $ \|M^t f - f\|_p $ に置き換えることは可能か？
• RQ2 特に $ L^2 $ の場合に、フーリエ変換の減衰と球平均による関数の滑らかさの間の最適な定量的関係は何か？
• RQ3 評価 $ 1 - j_\alpha(\lambda t) \asymp \min\{1, (\lambda t)^2\} $ を厳密に導出し、これによりフーリエ変換の既存の境界を改善することは可能か？
• RQ4 改良されたユークリッド空間の見積もりを、球関数の比較を用いてランク1対称空間におけるヘルガソンのフーリエ変換へ拡張することは可能か？
• RQ5 関数 $ f \in L^2(X) $ の場合に、ヘルガソン変換の成長見積もりの正確な形は何か？また、プランシュレの定理とどのように関連しているか？

主な発見

• $ \alpha > -1/2 $ に対して、$ c_{1,\alpha} \min\{1, (\lambda t)^2\} \leq 1 - j_\alpha(\lambda t) \leq c_{2,\alpha} \min\{1, (\lambda t)^2\} $ という鋭い評価が確立され、これにより従来の粗い境界が置き換えられる。
• $ 1 < p < 2 $ の場合、$ q = p' $ として、$ \left( \int_{\mathbb{R}^n} \min\{1, (t|\xi|)^{2q}\} |\widehat{f}(\xi)|^q d\xi \right)^{1/q} \leq C \|M^t f - f\|_p $ が成り立ち、従来の連続性モジュラスの代わりに直接的な $ L^p $ ノルムが用いられる。
• $ f \in L^1(\mathbb{R}^n) $ の場合、$ \sup_\xi \min\{1, (t|\xi|)^2\} |\widehat{f}(\xi)| \leq C \|M^t f - f\|_1 $ が証明され、従来の本質的上限に基づく連続性モジュラスを用いた結果よりも改善される。
• $ L^2 $ の場合、$ \left( \int_{\mathbb{R}^n} \min\{1, (t|\xi|)^4\} |\widehat{f}(\xi)|^2 d\xi \right)^{1/2} \asymp \|M^t f - f\|_2 $ が確立され、定数の意味で等価性が示される。
• ランク1対称空間におけるヘルガソンのフーリエ変換に関して、$ 1 \leq p < 2 $ かつ $ |\eta| < (2/p - 1)\rho $ の場合、$ \sup_\mu \min\{1, (t\mu)^2\} \int_B |\widehat{f}(\mu + i\eta, b)| \, db \leq c_p(|\eta|) \|M^t f - f\|_p $ が証明される。
• $ f \in L^2(X) $ の場合、$ \left( \int_{\mathbb{R}} \min\{1, (\lambda t)^4\} \int_B |\widehat{f}(\lambda, b)|^2 \, db \, |c_X(\lambda)|^{-2} d\lambda \right)^{1/2} \asymp \|M^t f - f\|_2 $ が得られ、プランシュレ型の結果が対称空間の設定へ拡張される。