[論文レビュー] Iterated commutators under a joint condition on the tuple of multiplying functions

Tuomas Hytönen, Kangwei Li+1 more|arXiv (Cornell University)|Jan 1, 2019

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

ひとこと要約

本稿は、Calderón-Zygmund作用素 $T$ とその反復交換子 $[b_2, [b_1, T]]$ の $L^2$ 有界性を特徴付ける、二つの関数 $b_1, b_2$ における新しい連合条件を導入する。この条件は、二つの二重線形平均振動ノルム $S_p$ と $T_p$ を用いて記述される。反復交換子が $L^2$ で有界であるための必要十分条件は、$S_2(b_1,b_2) + T_2(b_1,b_2) < ∞$ であり、これが古典的な $BMO$ 条件を改善するもので、最適性も示されている。

ABSTRACT

We present a pair of joint conditions on the two functions $b_1,b_2$ strictly weaker than $b_1,b_2\\in \\operatorname{BMO}$ that almost characterize the $L^2$ boundedness of the iterated commutator $[b_2,[b_1,T]]$ of these functions and a Calder\\'on-Zygmund operator $T.$ Namely, we sandwich this boundedness between two bisublinear mean oscillation conditions of which one is a slightly bumped up version of the other.

研究の動機と目的

• 反復交換子 $[b_2, [b_1, T]]$ の $L^2$ 有界性を特徴付ける、個々の $BMO$ 属性よりも弱い $b_1, b_2$ の連合条件を同定すること。
• 古典的な $BMO$ に基づく有界性を改善するため、連合条件の下でスパース支配原理を反復交換子へ拡張すること。
• $S_2 + T_2$ 条件が $L^2$ 有界性の必要十分条件であることを、鋭い例と重み付きノルム推定を用いて示すこと。
• より強い条件 $S_{2+\varepsilon} + T_{2+\varepsilon}$ が不要であることを示し、Young 関数を用いた完全な特徴付けに関する予想を提示すること。

提案手法

• 二つの連合平均振動ノルムを導入する：$S_p(b_1,b_2) = \sup_Q \left( \frac{1}{|Q|}\int_Q |b_1 - \langle b_1\rangle_Q|^p \right)^{1/p} \left( \frac{1}{|Q|}\int_Q |b_2 - \langle b_2\rangle_Q|^p \right)^{1/p}$ および $T_p(b_1,b_2) = \sup_Q \left( \frac{1}{|Q|}\int_Q |b_1 - \langle b_1\rangle_Q|^p |b_2 - \langle b_2\rangle_Q|^p \right)^{1/p}$。
• 二方向の推定を確立する：Calderón-Zygmund 作用素に対して、$C_d(S_2(b_1,b_2) + T_2(b_1,b_2)) \lesssim \|[b_2,[b_1,T]]\|_{L^2 \to L^2} \lesssim C_{T,\varepsilon}(S_{2+\varepsilon}(b_1,b_2) + T_{2+\varepsilon}(b_1,b_2))$。
• Lerner [9] のスパース支配原理を用いて、反復交換子を二進スパース作用素で制御し、鋭い重み付き推定を可能にする。
• 対数的成長を示す奇関数 $b_1, b_2$ を用いた明示的反例を構成し、任意の $\varepsilon > 0$ に対して $S_{2+\varepsilon} + T_{2+\varepsilon}$ が有界性を特徴付けることができないことを示し、$S_2 + T_2$ の最適性を証明する。
• Young 関数 $A, B, C$ に対して、$\bar{A}, \bar{B}, \bar{C} \in B_2$ を満たすものとして、$S_{A,B}(b_1,b_2) + T_C(b_1,b_2) < \infty$ が $L^2$ 有界性を特徴付けるという予想を提示する。

実験結果

リサーチクエスチョン

• RQ1 $b_1, b_2 \in \operatorname{BMO}$ よりも弱い $b_1, b_2$ の連合条件が、反復交換子 $[b_2, [b_1, T]]$ の $L^2$ 有界性を特徴付けることができるか？
• RQ2 古典的な $BMO$ 条件は、有界性の真の閾値を捉えるより精密な連合条件に置き換え可能か？
• RQ3 $S_{2+\varepsilon} + T_{2+\varepsilon}$ 条件は十分であるにもかかわらず、なぜ有界性を特徴付けられないのか？
• RQ4 スパース支配原理は、個々の $BMO$ 界限ではなく、連合条件の下で反復交換子に拡張可能か？
• RQ5 $S_2 + T_2$ と $S_{2+\varepsilon} + T_{2+\varepsilon}$ の間を補間する Young 関数を用いた $L^2$ 有界性の完全な特徴付けは存在するか？

主な発見

• 反復交換子 $[b_2, [b_1, T]]$ の $L^2$ 作用素ノルムは、定数倍の $S_2(b_1,b_2) + T_2(b_1,b_2)$ で下から抑えられる。これは、この連合条件が必要であることを示している。
• 任意の $\varepsilon > 0$ に対して、$L^2$ ノルムは $C_{T,\varepsilon}(S_{2+\varepsilon}(b_1,b_2) + T_{2+\varepsilon}(b_1,b_2))$ で上から抑えられる。これは、わずかに強い条件下での十分性を示している。
• 著者らは、すべての $\varepsilon > 0$ に対して $S_2(b_1,b_2) + T_2(b_1,b_2) < \infty$ だが $S_{2+\varepsilon}(b_1,b_2) + T_{2+\varepsilon}(b_1,b_2) = \infty$ となるような関数 $b_1, b_2$ のペアを構成した。これにより、$S_2 + T_2$ が任意の $S_{2+\varepsilon} + T_{2+\varepsilon}$ よりも厳密に弱いことが証明された。
• 反復交換子 $[b_2, [b_1, H]]$ は $L^2$ で有界だが、$p \neq 2$ の $L^p$ では有界でない。これは、$L^2$ 有界性が鋭く、他の $L^p$ 空間へは拡張できないことを示している。
• 本稿では、$S_{2+\varepsilon} + T_{2+\varepsilon}$ 条件が $L^2$ 有界性を特徴付けるのに十分でないことが、反例により示された。この反例では、交換子は有界であるが、ノルムは発散する。
• 著者らは、$\bar{A}, \bar{B}, \bar{C} \in B_2$ を満たすある Young 関数 $A,B,C$ に対して、$S_{A,B}(b_1,b_2) + T_C(b_1,b_2) < \infty$ が $L^2$ 有界性と同値であると予想しており、対数的ブンプを介した完全な特徴付けを示唆している。