[論文レビュー] Musielak-Orlicz Campanato Spaces and Applications

Yiyu Liang, Dachun Yang|arXiv (Cornell University)|Jan 29, 2013

Advanced Harmonic Analysis Research参考文献 35被引用数 6

ひとこと要約

本稿は、古典的Campanato空間およびBMO空間を一般化するMusielak-Orlicz Campanato空間 $\mathcal{L}_{\varphi,q,s}(\mathbb{R}^n)$ を導入し、Musielak-Orlicz Hardy空間 $H^\varphi(\mathbb{R}^n)$ との双対性を確立する。主な結果として、$\mathcal{L}_{\varphi,1,s}(\mathbb{R}^n)$ におけるJohn-Nirenberg型不等式が得られ、$\varphi$-Carleson測度による特徴付けが導かれ、可変指数および重み付き設定への双対理論の拡張がなされる。

ABSTRACT

Let $φ: \mathbb R^n imes [0,\infty) o[0,\infty)$ be such that $φ(x,\cdot)$ is an Orlicz function and $φ(\cdot,t)$ is a Muckenhoupt $A_\infty(\mathbb R^n)$ weight uniformly in $t$. In this article, the authors introduce the Musielak-Orlicz Campanato space ${\mathcal L}_{φ,q,s}({\mathbb R}^n)$ and, as an application, prove that some of them is the dual space of the Musielak-Orlicz Hardy space $H^φ(\mathbb R^n)$, which in the case when $q=1$ and $s=0$ was obtained by L. D. Ky [arXiv: 1105.0486]. The authors also establish a John-Nirenberg inequality for functions in ${\mathcal L}_{φ,1,s}({\mathbb R}^n)$ and, as an application, the authors also obtain several equivalent characterizations of ${\mathcal L}_{φ,q,s}({\mathbb R}^n)$, which, in return, further induce the $φ$-Carleson measure characterization of ${\mathcal L}_{φ,1,s}({\mathbb R}^n)$.

研究の動機と目的

• 可変Orlicz関数 $\varphi(x,t)$ と $A_\infty$ 重みを用いて、Musielak-Orlicz Campanato空間 $\mathcal{L}_{\varphi,q,s}(\mathbb{R}^n)$ を導入し、古典的Campanato空間およびBMO空間を一般化すること。
• Musielak-Orlicz Hardy空間 $H^\varphi(\mathbb{R}^n)$ と空間 $\mathcal{L}_{\varphi,1,s}(\mathbb{R}^n)$ の双対性を確立し、$q=1$, $s=0$ の場合に既知の結果を拡張すること。
• $\mathcal{L}_{\varphi,1,s}(\mathbb{R}^n)$ に属する関数に対するJohn-Nirenberg型不等式を証明し、これらの空間を特徴付けるための重要な道具を提供すること。
• $\mathcal{L}_{\varphi,q,s}(\mathbb{R}^n)$ の同値特徴付けを導出し、その結果として $\mathcal{L}_{\varphi,1,s}(\mathbb{R}^n)$ の $\varphi$-Carleson測度による特徴付けを獲得すること。

提案手法

• 球 $B$ における $f - P_B^s f$ の $L^q$ 半ノルムの上界を、$|B|^{-\beta}$ で正規化した形で Musielak-Orlicz Campanato空間 $\mathcal{L}_{\varphi,q,s}(\mathbb{R}^n)$ を定義する。ここで $\beta = \frac{1}{q} - \frac{1}{q} + \text{関連する } \varphi$ に依存する。
• 局所的な多項式挙動を除去するため、次数が高々 $s$ の多項式射影 $P_B^s f$ を用い、スケール不変な半ノルムを保証する。
• Calderón-Zygmund分解と $A_\infty$ 重みの性質を用いて、分布関数の指数的減衰を評価することで、$\mathcal{L}_{\varphi,1,s}(\mathbb{R}^n)$ におけるJohn-Nirenberg不等式を証明する。
• dyadic分解、テント空間ノルム、および原子分解を用いて、$\mathcal{L}_{\varphi,q,s}(\mathbb{R}^n)$ の同値特徴付けを確立する。
• $\mathcal{L}_{\varphi,1,s}(\mathbb{R}^n)$ を $\varphi$-Carleson測度と関連付けるために、平方関数 $\phi_t * b$ のノルムを用い、$\|d\mu\|_\varphi \lesssim \|b\|_{\mathcal{L}_{\varphi,1,s}}$ を示す。
• 原子分解とPlancherelの公式を用いた双対性の議論により、$\|f\|_{H^\varphi} \|d\mu\|_\varphi \gtrsim \left|\int f \bar{b} \, dx\right|$ を示し、$b \in \mathcal{L}_{\varphi,1,s}$ を証明する。

実験結果

リサーチクエスチョン

• RQ1 古典的双対性 $H^1(\mathbb{R}^n)^* = \mathrm{BMO}(\mathbb{R}^n)$ は、Musielak-Orlicz Hardy空間とCampanato空間へと拡張可能か？
• RQ2 $\mathcal{L}_{\varphi,1,s}(\mathbb{R}^n)$ において、古典的ケースを一般化したJohn-Nirenberg不等式が成り立つか？
• RQ3 $\mathcal{L}_{\varphi,q,s}(\mathbb{R}^n)$ の同値特徴付けは、テント空間ノルムや原子分解を用いてどのように記述できるか？
• RQ4 $\mathcal{L}_{\varphi,1,s}(\mathbb{R}^n)$ の $\varphi$-Carleson測度による特徴付けは、平方関数の推定と双対性を用いて確立可能か？
• RQ5 可変関数 $\varphi$ に対して、$\mathcal{L}_{\varphi,q,s}(\mathbb{R}^n)$ は、$\varphi$ が変動する場合の重み付きBMOやOrlicz BMO空間とどのように関係するか？

主な発見

• 関数 $\varphi(x,\cdot)$ がOrlicz関数であり、$\varphi(\cdot,t)$ が $t$ に関して一様に $A_\infty(\mathbb{R}^n)$ 重みである限り、Musielak-Orlicz Campanato空間 $\mathcal{L}_{\varphi,q,s}(\mathbb{R}^n)$ は適切に定義される。
• $\mathcal{L}_{\varphi,1,s}(\mathbb{R}^n)$ に対してJohn-Nirenberg不等式が成り立ち、$f - P_B^s f$ の分布関数が指数的に減衰することを示し、双対性に不可欠な性質が得られる。
• $\mathcal{L}_{\varphi,1,s}(\mathbb{R}^n)$ は Musielak-Orlicz Hardy空間 $H^\varphi(\mathbb{R}^n)$ の双対空間である。これは、古典的双対性 $H^1(\mathbb{R}^n)^* = \mathrm{BMO}(\mathbb{R}^n)$ の一般化である。
• $\mathcal{L}_{\varphi,1,s}(\mathbb{R}^n)$ の $\varphi$-Carleson測度による特徴付けが確立された：測度 $d\mu$ が $\varphi$-Carleson測度であるための必要十分条件は、すべての $b \in \mathcal{L}_{\varphi,1,s}$ に対して $\|d\mu\|_\varphi \lesssim \|b\|_{\mathcal{L}_{\varphi,1,s}}$ が成り立つことである。
• Ky（2011年）の既存の結果を $q \in [1,\infty)$ および $s \in \mathbb{Z}_+$ の全範囲に拡張し、平方関数およびテント空間ノルムによる新しい特徴付けを含む。
• 関数 $\varphi(x,t) = w(x)t$ で $w \in A_1(\mathbb{R}^n)$ かつ $p \in (0,1)$ の場合、本研究の結果は新規であり、非標準的な重みと指数への新たな拡張を提供する。