[論文レビュー] Boundedness of fractional integral operators with rough kernels on weighted Morrey spaces

Hua Wang|arXiv (Cornell University)|Mar 7, 2012

Advanced Harmonic Analysis Research参考文献 16被引用数 11

ひとこと要約

本稿は、重み付きモリィ空間 $ L^{p,\rho}(w^p, w^q) $ 上での粗い核をもつ分数的 maximal 演算子および積分作用素、およびそれらの BMO 関数との共役作用素の有界性を確立する。重み付き弱型推定と外挿技法を用いて、$ \Omega $, $ w $ およびパラメータ $ \alpha, p, q, \kappa $ が適切な条件下にあれば、$ M_{\tilde{\theta},\tilde{\theta}} $ および $ T_{\tilde{\theta},\tilde{\theta}} $ が $ L^{p,\rho}(w^p, w^q) $ から $ L^{q,\kappa q/p}(w^q) $ への有界性を示す。これは古典的結果を重み付きモリィ空間へと拡張するものである。

ABSTRACT

Let $M_{Ω,α}$ and $T_{Ω,α}$ be the fractional maximal and integral operators with rough kernels, where $0

研究の動機と目的

• 重み付き Lebesgue 空間から重み付きモリィ空間への粗い分数的積分および maximal 作用素の有界性理論を拡張すること。
• 重み付きモリィ空間上での BMO 関数との共役作用素 $[b, T_{\Omega,\alpha}]$ および $[b, M_{\Omega,\alpha}]$ の連続性を確立すること。
• 従来の $ L^p(w^p) $ における結果を、より一般な重み付きモリィ空間設定 $ L^{p,\kappa}(w^p, w^q) $ に一般化すること。
• この新しい設定における有界性のための核 $ \Omega $ および重み $ w $ に関する必要十分条件を特定すること。

提案手法

• 二重分割および Calderón-Zygmund 分解を用いた分数的 maximal 作用素 $ M_{\Omega,\alpha} $ の重み付き弱型推定の使用。
• ホルダーの不等式および逆ホルダー不等式を用いて、共役作用素項の大きさを制御する。
• ルビオ・デ・フランチャの外挿定理を用いて、$ L^p $ での有界性を重み付きモリィ空間設定に拡張する。
• 局所的および大域的可積分性を捉えるために、混合ノルムを用いた重み付きモリィ空間 $ L^{p,\kappa}(w^p, w^q) $ の導入。
• 点ごとの支配による共役作用素の制御：$ [b, M_{\Omega,\alpha}](f) \leq [b, T_{|\Omega|,\alpha}](|f|) $ により、maximal 場合を積分の場合に還元する。
• 重みの逆ホルダー条件および BMO ノルム推定を用いて、共役作用素における揺らぎ項を制御する。

実験結果

リサーチクエスチョン

• RQ1 核 $ \Omega $, 重み $ w $ およびパラメータ $ \alpha, p, q, \kappa $ がどのような条件下に、分数的 maximal 作用素 $ M_{\Omega,\alpha} $ が $ L^{p,\kappa}(w^p, w^q) $ 上で有界となるか。
• RQ2 核 $ \Omega \in L^s(S^{n-1}) $ かつ $ w^{s'} \in A(p/s', q/s') $ のとき、分数的積分作用素 $ T_{\Omega,\alpha} $ は $ L^{p,\kappa}(w^p, w^q) $ から $ L^{q,\kappa q/p}(w^q) $ へ有界であるか。
• RQ3 BMO 関数 $ b \in BMO(\mathbb{R}^n) $ のとき、共役作用素 $[b, T_{\Omega,\alpha}]$ は重み付きモリィ空間上で有界であるか。
• RQ4 重みクラス $ A(p/s', q/s') $ は、重み付きモリィ空間上での有界性を保証するために果たす役割は何か。

主な発見

• 分数的 maximal 作用素 $ M_{\Omega,\alpha} $ は、$ \Omega \in L^s(S^{n-1}) $, $ 1 < s \leq \infty $, $ 0 < \alpha < n $, $ 1 \leq s' < p < n/\alpha $, $ 1/q = 1/p - \alpha/n $, $ 0 < \kappa < p/q $, および $ w^{s'} \in A(p/s', q/s') $ の条件下で、$ L^{p,\kappa}(w^p, w^q) $ から $ L^{q,\kappa q/p}(w^q) $ へ有界である。
• 分数的積分作用素 $ T_{\Omega,\alpha} $ は、$ M_{\Omega,\alpha} $ と同一の条件下で、$ L^{p,\kappa}(w^p, w^q) $ から $ L^{q,\kappa q/p}(w^q) $ へ有界である。
• BMO 関数 $ b \in BMO(\mathbb{R}^n) $ のとき、共役作用素 $[b, T_{\Omega,\alpha}]$ は、同一のパラメータおよび重み条件の下で、$ L^{p,\kappa}(w^p, w^q) $ から $ L^{q,\kappa q/p}(w^q) $ へ有界である。
• 共役作用素 $[b, M_{\Omega,\alpha}]$ は、$[b, T_{|\Omega|,\alpha}](|f|)$ による点ごとの支配の結果、$ L^{p,\kappa}(w^p, w^q) $ から $ L^{q,\kappa q/p}(w^q) $ へ有界である。
• 証明は、$ M_{\Omega,\alpha} $ の重み付き弱型推定に依拠しており、これが外挿および二重分割を用いてモリィ空間設定へ拡張される。
• 有界性結果は、モリィ空間の目標空間が適切に定義されるために、$ w^{s'} \in A(p/s', q/s') $ および $ \kappa < p/q $ の条件が必要であるという点で鋭い。