[論文レビュー] Some new moment rearrangement invariant spaces; theory and applications

E. Ostrovsky, L. Sirota|ArXiv.org|May 29, 2006

Advanced Harmonic Analysis Research被引用数 3

ひとこと要約

本稿では、重み関数 $ \psi(p) $ による関数の $ L^p $-ノルムの制御を特徴づけるノルムによって定義される、新しいバナッハ空間のクラス—モーメント再配列不変空間—を導入し、その分析を行う。著者らは、分離可能性や強収束性といった基礎的性質を確立し、フーリエ級数、特異積分作用素、マルティングール理論への応用を示し、これらの空間が調和解析および確率論における滑らかな可積分性および有界性の挙動を捉えられることを示している。

ABSTRACT

In this article we introduce and investigate some new Banach spaces, so - called moment spaces, and consider applications to the Fourier series, singular integral operators, theory of martingales.

研究の動機と目的

• 関数 $ \psi(p) $ を用いた $ L^p $-ノルムに基づく、古典的ローレンツ空間およびオルリッチ空間を一般化する新しいバナッハ空間のクラス—モーメント空間—を定義し、その研究を行う。
• 関数 $ \psi(p) $ が可測関数の $ L^p $-ノルムとして現れるための必要十分条件を、凸性およびベルンシュタイン型表現定理を用いて特定する。
• 得られるモーメント空間の構造的性質（分離可能性、強収束性、埋め込み定理）を調査する。
• 調和解析の古典的問題、たとえばフーリエ級数の収束性および特異積分作用素の有界性に、理論を応用する。
• マルティングール理論への枠組みの拡張を行い、モーメント空間が確率的解析における自然なフレームワークを提供することを示す。

提案手法

• 関数 $ \psi \in U\Psi $（区間 $ (a,b) $ 上の正の連続関数の集合）に対して、ノルム $ \|f\|_{G(\psi)} = \sup_{p \in (a,b)} |f|_p / \psi(p) $ を用いてモーメント空間 $ G(\psi) $ を定義する。
• $ p \mapsto p \log \psi(p) $ の凸性とベルンシュタインの定理を用いて、可測関数の $ L^p $-ノルムとして現れる関数 $ \psi(p) $ を特徴付ける。
• $ \psi^p(p) $ が区間 $ (a,b) $ 上で絶対単調関数と相対単調関数の和として表現可能である関数のクラス $ \Psi(a,b) $ を導入する。
• $ \zeta(p) = \min\{(p-a)^\alpha, (b-p)^\beta\} $ のような具体的な $ \psi(p) $ の例を構成し、明示的なモーメント空間 $ G(a,b;\alpha,\beta) $ を定義する。
• これらの空間におけるフーリエ変換およびヒルベルト変換の挙動を分析する理論を適用し、$ p $-ノルムにおける成長率の鋭さを示す。
• オルリッチ空間およびローレンツ空間の理論を基盤とし、モーメントに基づくノルムを用いて、中間的または対数的成長を捉えるように拡張する。

実験結果

リサーチクエスチョン

• RQ1 区間 $ (a,b) $ 上で定義された関数 $ \psi(p) $ が、ある可測関数 $ f $ の $ L^p $-ノルムとして現れるための必要十分条件は何か？
• RQ2 モーメント空間 $ G(\psi) $ の構造的性質（分離可能性、強収束性、埋め込み）は、$ \psi(p) $ の成長挙動にどのように依存するか？
• RQ3 ヒルベルト変換のような特異積分作用素の可積分性および有界性を特徴付ける際、モーメント空間が果たす役割は何か？
• RQ4 モーメント空間は、$ p $-ノルムにおける対数的またはべき乗的成長を捉えることによって、フーリエ級数および変換の古典的理論をどのように精緻化するか？
• RQ5 モーメント空間は、マルティングール変換およびその $ L^p $-有界性を研究するための自然なフレームワークをどのように提供するか？

主な発見

• 関数 $ \psi(p) $ が $ \Psi(a,b) $ に属するための必要十分条件は、ベルンシュタインの定理により、$ \psi^p(p) $ が区間 $ (a,b) $ 上で絶対単調関数と相対単調関数の和として分解可能であることである。
• $ G(\psi) $ は非自明である：任意の $ \psi \in U\Psi $ に対して、コンパクト台を持つ有界関数はすべて $ G(\psi) $ に属する。
• $ \psi(p) \asymp \min\{(p-a)^\alpha, (b-p)^\beta\} $ の場合、空間 $ G(a,b;\alpha,\beta) $ は、$ |f|_p \asymp p^d $ のような $ p $-ノルムの鋭い成長率を捉える。これは、対数的特異性を持つ関数に対して成立する。
• 関数 $ f $ に対して $ |f|_p \asymp p^d $ が成り立つとき、そのヒルベルト変換 $ H[f] $ は $ |H[f]|_p \asymp p^{d+1} $ を満たす。これは、$ H[f] \in G(a,b;\alpha,\beta) $ で $ \alpha = d+1, \beta = 0 $ であり、$ f \in G(a,b;\alpha,\beta) $ で $ \alpha = d, \beta = 0 $ であることを示しており、ノルムの鋭さが裏付けられる。
• $ f(x) = \sum_{n=2}^\infty n^{-1} \log^d n \, \cos(nx) $ に対して、$ H[f] $ は $ |H[f]|_p \asymp p^{d+1} $ を満たす。これにより、$ H[f] \in G(1,\infty;1,d) $ であり、$ f \in G(1,\infty;1,d) $ であるが、$ H[f] \notin G^o(1,\infty;1,d) $ であることが確認され、ノルムの鋭さが示される。
• 理論は実直線上のヒルベルト変換にも適用可能である：$ f(x) = \int_3^\infty t^{d-1} \sin(tx) \, dt $ に対して、$ |f(x)| \asymp |H[f](x)| \asymp f_{1/d,1}(x) $ であり、$ f, H[f] \in G \setminus G^o(1,1/d;1,d) $ である。これは、空間が臨界的成長を捉えられることを示している。