[論文レビュー] Two-Weight Inequalities for Commutators with Fractional Integral Operators

Irina Holmes, Robert Rahm+1 more|arXiv (Cornell University)|Oct 19, 2015

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

ひとこと要約

本稿は、関数 $b$ と分数階積分作用素 $I_\alpha$ のコンmutータ $[b, I_\alpha]$ について、重み付き空間 $BMO(\nu)$ における $b$ の BMO ノルムと等価である、重み付き $L^p(\mu^p)$ から $L^q(\lambda^q)$ への作用素ノルムの二重重み不等式を確立する。ここで $\nu = \mu\lambda^{-1}$ であり、条件 $\alpha/n + 1/q = 1/p$ および $\mu, \lambda \in A_{p,q}$ の下で成り立つ。この結果は、ドミニック・ディーゼンのアプローチを用いて、分岐的平均とフーリエ解析を統合することで、ブロムの古典的理論を分数階積分設定へ拡張するものである。

ABSTRACT

In this paper we investigate weighted norm inequalities for the commutator of a fractional integral operator and multiplication by a function. In particular, we show that, for $μ,λ\in A_{p,q}$ and $α/n+1/q=1/p$, the norm $\| [b,I_α]:L^p(μ^p) o L^q(λ^q) \|$ is equivalent to the norm of $b$ in the weighted BMO space $BMO(ν)$, where $ν=μλ^{-1}$. This work extends some of the results on this topic existing in the literature, and continues a line of investigation which was initiated by Bloom in 1985 and was recently developed further by the first author, Lacey, and Wick.

研究の動機と目的

• 重み付き Lebesgue 空間 $L^p(\mu^p)$ と $L^q(\lambda^q)$ 間のコンmutータ $[b, I_\alpha]$ の有界性を特徴付けること。
• カルデロン＝ジムンド作用素に対するブルムの二重重み BMO 特徴付けを、分数階積分作用素へ拡張すること。
• 作用素ノルム $[b, I_\alpha]$ と重み付き BMO 空間 $BMO(\nu)$ における $\|b\|_{BMO(\nu)}$ のノルムの等価性を確立すること。ここで $\nu = \mu\lambda^{-1}$ である。
• スパース支配とフーリエ解析を活用した、分数階積分作用素に特化した二重のダイアディック表現アプローチを構築すること。

提案手法

• 問題をダイアディック分数階積分作用素へ還元するために、ヒトネン表現定理を用いる。
• ダイアディック分数階積分作用素 $I_\alpha^\mathcal{D}f = \sum_{Q \in \mathcal{D}} |Q|^{\alpha/n} \langle f \rangle_Q \mathbf{1}_Q$ の定義。
• 核 $K(x) = |x|^{n-\alpha}$ をダイアディック立方体上で展開し、そのフーリエ級数展開が絶対可summable な係数を持つ滑らかな周期的拡張を示す。
• 双対性と $L^p$-$L^q$ 作用素ノルム推定を用いて、コンmutータをテストするためのテスト関数 $f_k$ と $h_k$ の構成。
• $A_{p,q}$ 重み条件と $A_\infty$ 重みの性質を用いて、測度比とダイアディック二重性を制御する。
• 立方体 $Q$ に関数 $\sigma(x) = \text{sgn}(b(x) - \langle b \rangle_{P_R})$ を用いて、下界を確立する。

実験結果

リサーチクエスチョン

• RQ1 コンmutータ $[b, I_\alpha]$ が $L^p(\mu^p)$ から $L^q(\lambda^q)$ に有界であるための、正確な二重重み条件は何か？
• RQ2 重み付き BMO 空間 $BMO(\nu)$ における $b$ のノルム $\|b\|_{BMO(\nu)}$（$\nu = \mu\lambda^{-1}$）は、$[b, I_\alpha]$ の作用素ノルムとどのように関係するか？
• RQ3 カルデロン＝ジムンド作用素に対するブルムの BMO 特徴付けは、分数階積分作用素へ拡張可能か？
• RQ4 ダイアディックモデルとフーリエ展開は、$I_\alpha$ とのコンmutータの二重重み不等式の証明において、どのような役割を果たすか？

主な発見

• 作用素ノルム $\|[b, I_\alpha] : L^p(\mu^p) \to L^q(\lambda^q)\|$ は、重み付き BMO ノルム $\|b\|_{BMO(\nu)}$（$\nu = \mu\lambda^{-1}$）と等価である。
• この等価性は、条件 $\alpha/n + 1/q = 1/p$ および $\mu, \lambda \in A_{p,q}$ の下で成り立つ。
• 証明では、立方体 $Q$ に関数 $\sigma(x) = \text{sgn}(b(x) - \langle b \rangle_{P_R})$ を用いて、下界を確立する。
• ダイアディック分解と核のフーリエ級数展開を用いて、キーレスの推定 $\frac{1\nu(Q)}\int_Q |b(x) - \langle b \rangle_Q| dx \lesssim \|[b, I_\alpha]\|$ が導出される。
• $[-1,1]^n$ 上で $|x|^{n-\alpha}$ の滑らかな周期的拡張が可能であり、そのフーリエ係数が絶対可summable であるため、$L^p$-$L^q$ 双対性を用いてコンmutータを制御できる。
• 与えられた仮定の下で、$\nu = \mu\lambda^{-1}$ は $A_2$ 重みであり、したがって $A_\infty$ 重みであることが確認される。