[論文レビュー] On an estimate of Calder\'on-Zygmund operators by dyadic positive operators

Andrei K. Lerner|arXiv (Cornell University)|Feb 9, 2012

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

ひとこと要約

本稿は、任意のバナッハ函数空間 $X$ に対して、$\|T^\natural f\|_X \leq c(n,T) \sup_{D,S} \|A_{D,S}|f|\|_X$ を満たす、最大カルデロン＝ジグムント作用素 $T^\natural$ の鋭い推定を、二分木の正の作用素 $A_{D,S}$ を用いて確立する。主な貢献は、二重重み予想の完全な一般性を示す統一的枠組みを提供し、A2予想の証明を簡略化するとともに、一般のカルデロン＝ジグムント作用素に対して、混合 $A_p$-$A_r$ および鋭い $A_1$ 評価を二分木スパarsely支配を用いて拡張することを可能にする。

ABSTRACT

Given a general dyadic grid ${\mathscr{D}}$ and a sparse family of cubes ${\mathcal S}=\{Q_j^k\}\in {\mathscr{D}}$, define a dyadic positive operator ${\mathcal A}_{{\mathscr{D}},{\mathcal S}}$ by $${\mathcal A}_{{\mathscr{D}},{\mathcal S}}f(x)=\sum_{j,k}f_{Q_j^k}\chi_{Q_j^k}(x).$$ Given a Banach function space $X({\mathbb R}^n)$ and the maximal Calder\'on-Zygmund operator $T_{ atural}$, we show that $$\|T_{ atural}f\|_X\le c(n,T)\sup_{{\mathscr{D}},{\mathcal S}}\|{\mathcal A}_{{\mathscr{D}},{\mathcal S}}f\|_{X}.$$ This result is applied to weighted inequalities. In particular, it implies: (i) the "two-weight conjecture" by D. Cruz-Uribe and C. P\'erez in full generality; (ii) a simplification of the proof of the "$A_2$ conjecture"; (iii) an extension of certain mixed $A_p$-$A_r$ estimates to general Calder\'on-Zygmund operators; (iv) an extension of sharp $A_1$ estimates (known for $T$) to the maximal Calder\'on-Zygmund operator $T_{ atural}$.

研究の動機と目的

• 最大カルデロン＝ジグムント作用素 $T^\natural$ が二分木の正の作用素 $A_{D,S}$ を用いて一般化された推定を確立すること。
• カルデロン＝ジグムント作用素の重み付きノルム不等式を統一的かつ拡張することにより、二重重み予想と A2 予想を統合すること。
• 既知の $A_p$ 重み、混合 $A_p$-$A_r$ 評価、鋭い $A_1$ 界の一般化を、任意のカルデロン＝ジグムント作用素へと拡張する枠組みを提供すること。
• 二分木の正の作用素 $A_{D,S}$ が、$T^\natural$ の重み付きおよびバナッハ函数空間における弱型および強型挙動を完全に捉えていることを示すこと。

提案手法

• 二分木グリッド $D$ のスパース族 $S$ に対して、$A_{D,S}f(x) = \sum_{j,k} f_{Q^k_j} \chi_{Q^k_j}(x)$ を導入する。
• 局所平均オシレーションドメイン分解とスパース支配を用い、$T^\natural f$ を $A_{D,S}|f|$ で制御する。
• ジョン＝ニレングラフの不等式と弱型推定を適用し、$A_{D,S}$ の maximal 関数を制御する。
• $\sup_{D,S} \|A_{D,S}\|_{L^p(v)\to L^p(u)} \asymp \|M\|_{L^p(v)\times L^{p'}(u^{1-p'})\to L^1}$ の同値性を確立する。ここで $M(f,g)$ は二重（部分）線形 maximal 関数である。
• 双対空間 $X'$ と maximal 関数 $M_X$ を用いて、バナッハ函数空間における二重重み有界性を特徴付ける。
• 双対性と $L^p$ および $L^{p'}$ 上での $M_X'$ と $M_Y'$ の有界性を活用し、$T^\natural$ のための十分条件を導出する。

実験結果

リサーチクエスチョン

• RQ1 最大カルデロン＝ジグムント作用素 $T^\natural$ は、二分木の正の作用素 $A_{D,S}$ を用いて鋭く、定量的に支配可能か？
• RQ2 二分木の正の作用素フレームワークは、クルス＝ウリベとペレースの二重重み予想を、すべてのカルデロン＝ジグムント作用素へと拡張可能か？
• RQ3 この二分木支配アプローチを用いることで、A2 予想の証明は簡略化可能か？
• RQ4 古典的作用素から一般のカルデロン＝ジグムント作用素へと、混合 $A_p$-$A_r$ および鋭い $A_1$ 評価を拡張可能か？
• RQ5 $X$-平均と二重（部分）線形 maximal 関数 $M(f,g)$ を用いて、$T^\natural$ の二重重み有界性を特徴付けることは可能か？

主な発見

• 任意のバナッハ函数空間 $X$ に対して、$\|T^\natural f\|_X \leq c(n,T) \sup_{D,S} \|A_{D,S}|f|\|_X$ が成り立ち、鋭い二分木支配が確立される。
• $\sup_{D,S} \|A_{D,S}\|_{L^p(v)\to L^p(u)} \asymp \|M\|_{L^p(v)\times L^{p'}(u^{1-p'})\to L^1}$ の同値性が、次元 $n$ のみに依存する定数で成り立つ。
• クルス＝ウリベとペレースの二重重み予想は、完全な一般性で証明された：Young 関数 $A,B$ に対して $\bar{A} \in B_{p'}$, $\bar{B} \in B_p$ かつ $\sup_Q \|u^{1/p}\|_{A,Q} \|v^{-1/p}\|_{B,Q} < \infty$ ならば、$\|Tf\|_{L^p(u)} \leq c \|f\|_{L^p(v)}$ が成り立つ。
• A2 予想の証明が簡略化された。$A_{D,S}$ を用いた二分木アプローチにより、ハールシフト作用素の必要性が回避された。
• 結果として、$T$ から $T^\natural$ への鋭い $A_1$ 評価が拡張され、任意のカルデロン＝ジグムント作用素に対して混合 $A_p$-$A_r$ 評価が一般化された。
• $M_X'$ と $M_Y'$ の $L^p$ および $L^{p'}$ 上での有界性は、補完的 Young 関数における Bp 条件を介して特徴付けられ、一般の二重重み十分条件が得られた。