[論文レビュー] Commutators of singular integrals on generalized $L^p$ spaces with variable exponent

Alexei Yu. Karlovich, Andrei K. Lerner|ArXiv.org|Jan 26, 2004

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

ひとこと要約

この論文は、可変指数 $L^{p(\bullet)}(\mathbb{R}^n)$ 空間における古典的な Coifman-Rochberg-Weiss の定理を拡張する。$p$ とその共役指数 $p'$ が Hardy-Littlewood の最大作用素の有界性を保証する Muckenhaupt 型条件を満たす限り、関数 $b$ が $BMO(\mathbb{R}^n)$ に属するための必要十分条件は、共作用素 $[b,T]$ が $L^{p(\cdot)}(\mathbb{R}^n)$ 上で有界であることである。

ABSTRACT

A classical theorem of Coifman, Rochberg, and Weiss on commutators of singular integrals is extended to the case of generalized $L^p$ spaces with variable exponent.

研究の動機と目的

• 可変指数に対する一般化された $L^p$ 空間への古典的 Coifman-Rochberg-Weiss の定理（特異積分の共作用素に関するもの）を拡張すること。
• 可変指数 Lebesgue 空間 $L^{p(\cdot)}(\mathbb{R}^n)$ 上での共作用素 $[b,T]$ の有界性を用いた $BMO(\mathbb{R}^n)$ の特徴付けを確立すること。
• 可変指数 $L^{p(\cdot)}(\mathbb{R}^n)$ 空間が平行移動不変でも再配置不変でもないという課題に対処し、古典的調和解析を超えた新しい技法を要すること。
• 双対性および鋭い最大関数法を可変指数空間へと拡張すること、特に局所的鋭い最大関数と双対性不等式を用いること。

提案手法

• Diening と Růžička の最近の結果に依拠して、$L^{p(\cdot)}(\mathbb{R}^n)$ 空間に適応された局所化された Fefferman-Stein の鋭い最大関数不等式を適用する。
• Lerner [15, Theorem 1] の双対性不等式を用いて、共作用素のノルムと $b$ の BMO 半ノルムとの関係を確立する。
• Strömberg [11] および Pérez [22, Lemma 3.1] の共作用素に対する鋭い関数不等式を可変指数設定に適応する。
• compactly 細胞な有界関数による近似とノルム連続性の拡張を用いて、$[b,T]$ の $L^{p(\cdot)}(\mathbb{R}^n)$ 上での有界性を確立する。
• もし $[b,T]$ が $L^{p(\cdot)}(\mathbb{R}^n)$ 上で有界であり、$Ω$ が奇関数であれば、$[b,T]$ は $L^{p'(\cdot)}(\mathbb{R}^n)$ 上でも有界であることを証明し、双対性の議論を可能にする。
• Janson の定理を $L^2(\mathbb{R}^n)$ 上の有界性に適用し、$[b,T]$ の $L^2$ 上での有界性を補間とノルム推定を用いて利用することで、$b \in BMO(\mathbb{R}^n)$ を導出する。

実験結果

リサーチクエスチョン

• RQ1 古典的な $BMO(\mathbb{R}^n)$ の特徴付け（$L^p(\mathbb{R}^n)$ 上での共作用素の有界性によるもの）は、可変指数 Lebesgue 空間 $L^{p(\cdot)}(\mathbb{R}^n)$ へと拡張可能か？
• RQ2 可変指数 $L^{p(\cdot)}(\mathbb{R}^n)$ 空間が平行移動不変でない場合でも、共作用素 $[b,T]$ の有界性が $b \in BMO(\mathbb{R}^n)$ を示唆することができるか？
• RQ3 可変指数 $p(\cdot)$ にどのような条件を課すと、Hardy-Littlewood の最大作用素が $L^{p(\cdot)}(\mathbb{R}^n)$ 上で有界となるか？ これにより古典的結果の拡張が可能になる。
• RQ4 標準的な再配置や良い-$\lambda$ メソッドが失敗する可変指数空間において、双対性および鋭い最大関数技法をどのように適応できるか？
• RQ5 $[b,T]$ が $L^{p(\cdot)}(\mathbb{R}^n)$ 上で有界であるならば、$L^{p'(\cdot)}(\mathbb{R}^n)$ 上でも有界であることが保証されるか？ また、核 $Ω$ の奇関数性はどのような役割を果たすか？

主な発見

• もし $b \in BMO(\mathbb{R}^n)$ かつ $p, p' \in \mathcal{M}(\mathbb{R}^n)$ であれば、共作用素 $[b,T]$ は $L^{p(\cdot)}(\mathbb{R}^n)$ 上で有界であり、作用素ノルムは $\|[b,T]\|_{\mathcal{B}(L^{p(\cdot)})} \leq C_p \|b\|_*$ を満たす。
• 逆に、もし $\Omega$ が奇関数であり、任意の立方体 $Q$ に対して $b \in L\log L(Q)$ であり、$[b,T]$ が $L^{p(\cdot)}(\mathbb{R}^n)$ 上で有界であれば、$b \in BMO(\mathbb{R}^n)$ であり、$\|b\|_* \leq C_p' \|[b,T]\|_{\mathcal{B}(L^{p(\cdot)})}$ が成り立つ。
• $[b,T]$ が $L^{p(\cdot)}(\mathbb{R}^n)$ 上で有界であれば、$\Omega$ の奇関数性の下で、$[b,T]$ は $L^{p'(\cdot)}(\mathbb{R}^n)$ 上でも有界である。このとき $\|[b,T]\|_{\mathcal{B}(L^{p'(\cdot)})} \leq r_p \|[b,T]\|_{\mathcal{B}(L^{p(\cdot)})}$ が成り立つ。
• $[b,T]$ は $L^2(\mathbb{R}^n)$ 上で有界であり、これにより Janson の定理を用いて $b \in BMO(\mathbb{R}^n)$ が導かれる。このとき $\|b\|_* \leq c_2(K) \|[b,T]\|_{\mathcal{B}(L^2)}$ が成り立つ。
• 逆不等式における定数 $C_p'$ は明示的に $2r_p c_2(K)$ で上から抑えられ、ここで $r_p$ は $p$ に依存し、$c_2(K)$ は核に依存する定数である。
• 条件 $p' \in \mathcal{M}(\mathbb{R}^n)$ は、最近の結果により $p \in \mathcal{M}(\mathbb{R}^n)$ ならば $p' \in \mathcal{M}(\mathbb{R}^n)$ であることが示されたため、削除可能であり、結果の適用範囲を広げている。