[論文レビュー] Integral Operators in Bilateral Grand Lebesgue Spaces

Eugeny Ostrovsky, L. Sirota+1 more|ArXiv.org|Dec 13, 2009

Advanced Harmonic Analysis Research参考文献 32被引用数 14

ひとこと要約

本稿では、双方向グランドルベーグ空間（BGLS）間の積分作用素に対する鋭いノルム推定を確立し、古典的なルベーグ空間からの結果をより一般なBGLS枠組みへと拡張する。補間理論および精緻化されたホルダー型不等式を用いて、メリン変換やラプラス変換を含む作用素の正確な境界を導出し、明示的な反例を用いてこれらの推定の鋭さを証明する。

ABSTRACT

In this paper we estimate the norm of operator acting from one Bilateral Grand Lebesgue Space (BGLS) into other Bilateral Grand Lebesgue Space. We also give some examples to show the sharpness of offered inequalities.

研究の動機と目的

• 1つの双方向グランドルベーグ空間（BGLS）から別のBGLSへの線形積分作用素の作用素ノルムを推定すること。
• 関数の減衰および成長に対するより細かな制御を可能にする、より一般なBGLS枠組みに、$ L_p $ 空間からの古典的結果を拡張すること。
• メリン変換やラプラス変換などの特定の積分作用素のノルムに対する鋭い、正確な境界を提供すること。
• 極限的構成および明示的なテスト関数を用いて、導出された不等式の鋭さを示すこと。
• BGLS枠組みを用いて、最大作用素などの非線形作用素のノルム推定を一般化すること。

提案手法

• 著者らは、$ L_p $ に属する非ゼロ関数の上での $ |Tf|_{q} / |f|_{p} $ の上界として作用素ノルム $ |T|_{p,q} $ を定義し、補間を用いてBGLSへと拡張する。
• リース＝トールン補間定理を用いて、作用素ノルムが有限となる集合 $ G(T) $ を特徴づけ、$ p $ および $ q $ の範囲にわたる有界性を保証する。
• 核関数に特定の同次性や減衰性を持つ場合に、ホルダーの不等式および一般化された $ L_p $-型ノルムを用いて、主要な推定を導出する。
• 本稿では、$ T_M[f](x) = \int_0^\infty K(xy)f(y)\,dy $ として定義されるメリン変換作用素を導入し、そのノルムが核関数のメリン変換 $ \zeta(s) = \int_0^\infty K(x)x^{s-1}dx $ と関連することを分析する。
• ラプラス変換に関しては、$ p \in [1,2] $ に対して $ |\Lambda[f]|_{p^*} \leq (2\pi/p^*)^{1/p^*} |f|_p $ が成り立ち、$ \zeta(s) = \Gamma(s) $ である。
• 鋭さは、$ x(k) = k^{-\alpha}(\log k)^\Delta $ として定義される列を構成し、比 $ |T_A[x]|_p / |x|_p $ が $ p \to 1/\alpha^+ $ のとき $ \alpha p / (\alpha p - 1) $ に近づくことを示すことによって証明される。

実験結果

リサーチクエスチョン

• RQ1 1つの双方向グランドルベーグ空間から別のBGLSへの積分作用素に対する鋭いノルム推定は何か？
• RQ2 古典的積分作用素（メリン変換やラプラス変換など）は、BGLS枠組みにおいてどのように振る舞うか？
• RQ3 極限的構成および明示的なテスト関数を用いて、作用素ノルムの推定が鋭いことを証明できるか？
• RQ4 最大関数などの非線形作用素は、同じ枠組みを用いてBGLSでどの程度有界にできるか？
• RQ5 行列 $ a(n,k) = \lambda(k)/\Lambda(n) $ を持つ離散平均化作用素のノルムはBGLSでどのように振る舞い、鋭い定数は何か？

主な発見

• ラプラス変換作用素のノルムは、$ p \in [1,2] $ に対して $ |\Lambda[f]|_{p^*} \leq (2\pi/p^*)^{1/p^*} |f|_p $ を満たし、$ \zeta(s) = \Gamma(s) $ であり、この境界は鋭い。
• ハーディー作用素 $ T_0[f](x) = x^{-1} \int_0^x f(t) dt $ については、$ p \in (1,\infty] $ に対して正確な $ L_p \to L_p $ ノルムが $ |T_0|_{p,p} = p/(p-1) $ に等しい。
• 行列 $ a(n,k) = n^{-\alpha}(k^\alpha - (k-1)^\alpha) $ を持つ離散平均化作用素の作用素ノルムは、$ p > 1/\alpha $ に対して $ |T_A|_{p,p} \leq \alpha p / (\alpha p - 1) $ を満たし、この境界は鋭い。
• 列 $ x(k) = k^{-\alpha}(\log k)^\Delta $ に対して、比 $ |T_A[x]|_p / |x|_p $ は $ p \to 1/\alpha^+ $ のとき $ \alpha p / (\alpha p - 1) $ に近づき、鋭さが確認される。
• 最大フーリエ部分和作用素は $ |S^*[f]|_p \leq C_1 p^4 / (p-1)^3 |f|_p $ を満たし、BGLS枠組みにより、このような推定が鋭い定数を保ったまま拡張可能である。
• 最大ハーディー変換に関しては $ |H^*[f]|_p \leq C_2 p^2 / (p-1) |f|_p $ であり、本稿では、このような境界が $ \tilde{\psi}(p) = \Phi(p) \psi(p) $ を用いてBGLS設定に埋め込まれ、ノルム不等式が保存されることを示している。