[論文レビュー] Inclusion Properties of Weighted Weak Orlicz Spaces

Al Azhary Masta, Ifronika+1 more|arXiv (Cornell University)|Oct 12, 2017

Advanced Harmonic Analysis Research参考文献 18被引用数 3

ひとこと要約

本稿は、$\mathbb{R}^n$ 上の重み付き弱オルリツ空間と重み付き弱ルベーグ空間の包含関係について、必要十分条件を確立する。球の特性関数のクォージノルムと平行移動不変性を用いて、$wL_{\Phi_1}^{u_1} \subseteq wL_{\Phi_2}^{u_2}$ が成り立つための必要十分条件は、$u_1 \preceq u_2$ および $\Phi_1 \prec \Phi_2$ であることが示され、既知の結果を弱いおよび重み付き設定に拡張し、関数解析的条件を明確にした。

ABSTRACT

In this paper we discuss the structure of weighted weak Lebesgue spaces and weighted weak Orlicz spaces on $\mathbb{R}^n$. First, we present sufficient and necessary conditions for inclusion relation between weighted weak Lebesgue spaces. Next, we also obtain similar results on weighted weak Orlicz spaces. One of the keys to prove our results is to use the norm of the characteristic functions of the balls in $\mathbb{R}^n$.

研究の動機と目的

• 重み付き弱オルリツ空間 $wL_{\Phi}^u(\mathbb{R}^n)$ と重み付き弱ルベーグ空間 $wL_p^u(\mathbb{R}^n)$ 間の包含関係を特徴付ける。
• 強いオルリツ空間およびルベーグ空間における既知の包含結果を、弱いおよび重み付き設定に拡張する。
• 重み $u_1, u_2$ およびヤング関数 $\Phi_1, \Phi_2$ に対して、$wL_{\Phi_2}^{u_2} \subseteq wL_{\Phi_1}^{u_1}$ を保証する明確な条件を特定する。
• 弱型ノルムと平行移動不変性を組み込むことで、従来の重み付きルベーグおよびオルリツ空間の結果を一般化する。

提案手法

• 関数 $|u(x)f(x)|$ の超レベル集合を用いたクォージノルムを用いて、重み付き弱オルリツ空間およびルベーグ空間を定義する。
• 球の特性関数のノルムを、包含性の分析における主要な技術的道具として用いる。
• 平行移動 $L_xf(y) = f(y - x)$ を用いて、関数のノルムと重み $u(x)$ の関係を確立する。
• 逆ヤング関数 $\Phi^{-1}$ 及びその単調性を用いて、$\Phi_1$ と $\Phi_2$ 間の成長条件を比較する。
• スケーリングと測度推定を用いて、$u_1 \preceq u_2$ と包含関係 $wL_p^{u_2} \subseteq wL_p^{u_1}$ の同値性を確立する。
• クォージノルムの比較と平行移動推定を用いて、$\Phi_1 \prec \Phi_2$ および $u_1 \preceq u_2$ の下で包含関係 $wL_{\Phi_2}^{u_2} \subseteq wL_{\Phi_1}^{u_1}$ を証明する。

実験結果

リサーチクエスチョン

• RQ1 重み $u_1, u_2$ およびヤング関数 $\Phi_1, \Phi_2$ に対して、$wL_{\Phi_2}^{u_2}(\mathbb{R}^n) \subseteq wL_{\Phi_1}^{u_1}(\mathbb{R}^n)$ が成り立つための条件は何か？
• RQ2 重み付き弱オルリツ空間の包含関係は、ヤング関数の優越性と重みの比較とどのように関係するか？
• RQ3 平行移動作用素 $L_x$ は、重み付き弱空間における関数のノルム挙動を特徴付ける上で果たす役割は何か？
• RQ4 包含関係 $wL_p^{u_2} \subseteq wL_p^{u_1}$ は、点별比較 $u_1 \preceq u_2$ のみで特徴付けられるか？
• RQ5 関数のクォージノルム $\|f\|_{wL_{\Phi}^u}$ が、別の重み付き弱オルリツ空間におけるノルムの定数倍で抑えられるための条件は何か？

主な発見

• 包含関係 $wL_p^{u_2}(\mathbb{R}^n) \subseteq wL_p^{u_1}(\mathbb{R}^n)$ が成り立つための必要十分条件は、$u_1 \preceq u_2$ すなわち、ある $C > 0$ が存在してすべての $x \in \mathbb{R}^n$ に対して $u_1(x) \leq C u_2(x)$ が成り立つことである。
• 重み付き弱オルリツ空間において、$wL_{\Phi_2}^{u_2}(\mathbb{R}^n) \subseteq wL_{\Phi_1}^{u_1}(\mathbb{R}^n)$ が成り立つための必要十分条件は、$u_1 \preceq u_2$ および $\Phi_1 \prec \Phi_2$ である。ここで $\Phi_1(t) \leq \Phi_2(C_1 t)$ を満たす $C_1 > 0$ が存在する。
• 平行移動関数 $L_x f$ のノルムは、$\|L_x f\|_{wL_p^u} \leq u(x) \|f\|_{wL_p^u}$ を満たし、重みと平行移動の挙動を結びつける。
• 非ゼロ関数 $f$ に対して、$\frac{u(x)}{C} \leq \|L_x f\|_{wL_p^u} \leq C u(x)$ が成り立ち、重み $u(x)$ がノルムを定数倍の範囲で制御することが示された。
• 包含関係 $wL_{\Phi_2}^{u_2} \subseteq wL_{\Phi_1}^{u_1}$ が成り立つならば、$u_1 \preceq u_2$ が成り立つ。これは重み条件の必要性を示している。
• 証明は、$|u(x)f(x)|$ の超レベル集合の推定と、逆ヤング関数を用いた $\Phi_1$ と $\Phi_2$ の成長率の比較に依拠している。