[論文レビュー] Off-diagonal sharp two-weight estimates for sparse operators

Stephan Fackler, Tuomas Hytönen|arXiv (Cornell University)|Nov 22, 2017

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

ひとこと要約

本稿は、$ A^{r,\beta}_{\frak{S}}(f) = \left( \sum_{Q \in \frak{S}} \left|Q\right|^{-\alpha} \left( \int_Q f \right)^r \mathbf{1}_Q \right)^{1/r} $ の形をしたスパース作用素について、非対角の二重重みノルム推定値を鋭利に確立する。その結果、$ L^p_\sigma \to L^q_\omega $ 作用素ノルムが、重み $ \sigma $ と $ \omega $ の $ A_{pq}^\alpha $ 特徴と $ A_\infty $ 定数の組み合わせによって有界であることが示され、特に分数的平方関数の場合に鋭利性が確認されている。

ABSTRACT

For a class of sparse operators including majorants of singular integral, square function, and fractional integral operators in a uniform manner, we prove off-diagonal two-weight estimates of mixed type in the two-weight and $A_{\infty}$-characteristics. These bounds are known to be sharp in many cases; as a new result, we prove their sharpness for fractional square functions.

研究の動機と目的

• 特異積分作用素、平方関数、分数的積分作用素を支配する広範なスパース作用素クラスについて、非対角の二重重み $ L^p_\sigma \to L^q_\omega $ 推定値を鋭く確立すること。
• 重みの $ A_{pq}^\alpha $ 特徴と $ A_\infty $ 定数に混合依存性を組み込むことで、既知の二重重み結果を統一・拡張すること。
• 分数的平方関数の場合に得られた推定値の鋭利性を証明し、このクラスにおける鋭利性に関する文献の空白を埋めること。
• カルデロン＝ジグムント作用素、リトルウッド＝パイル平方関数、および分数的積分作用素の既存結果を包含・改善する一般枠組みを提供すること。

提案手法

• 著者たちは、 dyadic な立方体のスパース族 $ \frak{S} $ 上で定義されたスパース作用素 $ A^{r,\alpha}_{\frak{S}} $ を分析し、古典的作用素を支配する dyadic なスパース支配原理を用いる。
• テスト条件と dyadic なスパース支配に依存して作用素ノルムの境界を導出し、重みの $ A_{pq}^\alpha $ 特徴 $ [\omega,\sigma]_{A_{pq}^\alpha(\frak{S})} = \sup_{Q \in \frak{S}} |Q|^{-\alpha} \omega(Q)^{1/q} \sigma(Q)^{1/p'} $ を用いる。
• 主要な推定は、作用素ノルムの鋭い上界である： $ \|A^{r,\alpha}_{\frak{S}}(\cdot\sigma)\|_{L^p_\sigma \to L^q_\omega} \lesssim \begin{cases} [\sigma]_{A_\infty}^{1/q} + [\omega]_{A_\infty}^{(1/r - 1/p)_+}, & \text{ただし } p=q>r \text{ かつ } \alpha<1 \text{ でない場合}, \\ [\omega]_{A_\infty}^{\frac{1}{r}(1 - (1 - r/p)^2)}[\sigma]_{A_\infty}^{\frac{1}{r}(1 - (1 - r/p)^2)} + [\omega]_{A_\infty}^{\frac{1}{r}(1 - (r/p)^2)}[\sigma]_{A_\infty}^{\frac{1}{r}(r/p)^2}, & \text{それ以外の場合}. \end{cases} $
• 鋭利性は双対性の議論と、 dyadic な区間 $ I_k = [2^{-(k+1)}, 2^{-k}) $ 上で構築された適切なテスト関数列 $ (a_I) $ を用いて確立される。重み $ \omega_\varepsilon(x) = |x|^{(\varepsilon - 1)/q} $ を用いて $ \varepsilon^{-1} $ 依存性を調べる。
• 証明は、$ A_\infty $ 重みの逆ヒルベルト不等式と、$ \ell^2 $-値ノルムを制御するキンチネ型不等式に依存する。
• 議論は双対性還元を用いる： $ A^{2,\alpha} $ の随伴作用素が用いられ、双対推定が得られ、その後に列 $ a_k $ に対してテストすることで、$ \varepsilon $ に関する鋭い下界が導かれる。

実験結果

リサーチクエスチョン

• RQ1 スパース作用素の $ L^p_\sigma \to L^q_\omega $ 作用素ノルムが、$ A_{pq}^\alpha $ 特徴と重みの $ A_\infty $ 定数にどのように依存するか、その鋭い依存関係は何か？
• RQ2 分数的平方関数に対して、二重重み推定値の鋭利性を確立できるか。これは、この文脈において以前未解決であった。
• RQ3 $ p = q > r $ かつ $ \alpha < 1 $ の場合、作用素ノルムはどのように振る舞い、標準的な場合とはなぜ異なる境界をとるのか？
• RQ4 上界における混合 $ A_\infty $ 依存性は最適であり、反例構成によってこれを確認できるか？
• RQ5 $ A^{2,\alpha} $ に用いられた双対性とテスト法は、一般の $ r > 0 $ に対しても鋭利性の証明に適応可能か？

主な発見

• $ A^{r,\alpha}_{\frak{S}} $ の $ L^p_\sigma \to L^q_\omega $ 作用素ノルムは、$ A_{pq}^\alpha $ 特徴と $ \sigma $、$ \omega $ の $ A_\infty $ 定数の組み合わせによって有界であり、多くの場合で鋭い。
• $ p = q > r $ かつ $ \alpha < 1 $ の場合、$ [\omega]_{A_\infty} $ と $ [\sigma]_{A_\infty} $ の累乗の積を含むより複雑な形をとる。これはより複雑な依存関係を反映している。
• 分数的平方関数の場合に推定値の鋭利性が証明され、本稿の新規性である。重み $ \omega_\varepsilon $ とテスト列 $ a_k $ を構築することで、ノルムが $ \varepsilon^{-\alpha} $ のように成長することが示された。
• 双対性の議論により、問題は双対作用素の推定に還元され、得られた下界は $ \varepsilon^{1/2 - \alpha} $ のように成長し、指数の鋭利性が確認された。
• $ \varepsilon $ における漸近的成長率と一致する反例により、上界が鋭いことが示され、$ [\omega]_{A_{pq}} \sim \varepsilon^{-1} $ への依存性が最適であることが確認された。
• カルデロン＝ジグムント作用素、平方関数、および分数的積分作用素に対する以前の境界は、$ A_p $ や $ A_{pq} $ 定数の一部をより小さい $ A_\infty $ 定数に置き換えることで、一般化・改善された。