[論文レビュー] Weak and strong $A_p$-$A_\infty$ estimates for square functions and related operators

Tuomas Hytönen, Kangwei Li|arXiv (Cornell University)|Sep 1, 2015

Advanced Harmonic Analysis Research参考文献 5被引用数 11

ひとこと要約

本稿は、二重平方関数および関連する作用素について、鋭い弱型および強型重み付き評価を確立し、対数補正のない最適な $A_p$--$A_\infty$ 界を導入する。二重重み定理を活用し、伝統的な「スライシング」手法を避けることで、$A_p$ および $A_\infty$ 特徴の最良の依存関係を達成し、特に $p > 2$ のときの弱型 $(p,p)$ 評価に対して、$[w]_{A_p}^{1/p}[w]_{A_\infty}^{1/2 - 1/p}$ の鋭い界を証明する。これは、重み付き不等式理論における長年の未解決問題を解決する。

ABSTRACT

We prove sharp weak and strong type weighted estimates for a class of dyadic operators that includes majorants of both standard singular integrals and square functions. Our main new result is the optimal bound $[w]_{A_p}^{1/p}[w]_{A_\infty}^{1/2-1/p}\lesssim [w]_{A_p}^{1/2}$ for the weak type norm of square functions on $L^p(w)$ for $p>2$; previously, such a bound was only known with a logarithmic correction. By the same approach, we also recover several related results in a streamlined manner.

研究の動機と目的

• 二重平方関数および関連作用素の鋭い重み付き弱型および強型評価を確立すること。
• $p > 2$ のときの弱型 $(p,p)$ 評価における $A_p$--$A_\infty$ 界に、従来の部分最適な対数因子を含むものとは異なり、対数補正を除去すること。
• $A_p$ 特徴の凍結に基づく場合分けの分析を避ける、洗練されたスライシングフリーの証明戦略を提供すること。
• 特定の重み $w(x) = |x|^{\varepsilon - 1}$ と関数列 $a_k$ を用いて、作用素ノルムを上界で抑える任意の増大関数 $\Phi$ に対して $\Phi(t) \gtrsim t^{1/2}$ が必須であることを示し、新しい界の鋭さを示すこと。
• 非臨界ケース $p > 2$ を解決することで、平方関数に対する最適な重み付き界の全体像を完成させること。

提案手法

• 著者たちは、証明を適応させずに既知の二重重み定理をブラックボックス的に適用することで、二重平方関数作用素 $A_{\mathcal{S}}^r$ の評価を導出する。
• 立方体を $A_p$ 特徴の値で凍結する従来の「スライシング」技法を避けるために、パラメータ $\epsilon = (r - p)/2$ に基づく二重分割を用いる。
• 弱型ノルムは、平均が小さい立方体と大きい立方体の部分にレベル集合を分割し、二重最大関数の技法を用いて推定する。
• 鍵となる推定は、各項が $A_p$ 特徴および $A_\infty$ 特徴によって制御される、二重世代にわたる和を用いた弱型 $L^{p,\infty}(w)$ ノルムの評価である。
• 証明は、各二重立方体 $Q$ に台を持つ関数に対して作用素をテストし、$|E_Q| \geq \frac{1}{2}|Q|$ を満たすスパarsな集合 $E_Q \subset Q$ を用いて $L^p$ ノルムを局所化することに依存する。
• 証明は、特定の重み $w(x) = |x|^{\varepsilon - 1}$ と関数列 $a_k$ を用いて、任意の増大関数 $\Phi$ に対して $\Phi([w]_{A_p}) \gtrsim [w]_{A_p}^{1/2}$ が作用素ノルムの上界を抑えるために必要であることを示すことで、鋭さを拡張する。

実験結果

リサーチクエスチョン

• RQ1 $p > 2$ のとき、平方関数の弱型 $(p,p)$ 評価を、$A_p$--$A_\infty$ 依存関係における対数補正を除去することで改善できるか？
• RQ2 $A_p$ 特徴の凍結に基づく「スライシング」手法を用いずに、平方関数の鋭い $A_p$--$A_\infty$ 評価を導出することは可能か？
• RQ3 $p > r$ のとき、弱型作用素ノルムが $A_p$ および $A_\infty$ 特徴に依存する最適な関係は何か？
• RQ4 $[w]_{A_p}^{1/p}[w]_{A_\infty}^{1/2 - 1/p}$ の鋭さを、$[w]_{A_\infty}$ のより小さいべき乗では十分でないことを示す具体的な例によって証明できるか？
• RQ5 弱型ノルムのための $[w]_{A_p}^{\max(1/p, 1/2)}$ は、$[w]_{A_p}$ の任意の増大関数の中で最適か？

主な発見

• 本稿は、$p > r$ に対して、鋭い弱型界 $\|A_{\mathcal{S}}^r(f\sigma)\|_{L^{p,\infty}(w)} \lesssim [w,\sigma]_{A_p}^{1/p}[w]_{A_\infty}^{(1/r - 1/p)_+}$ を確立し、これは最適であり、従来の文献にあった対数補正を除去する。
• $r=2$ および $p>2$ のとき、界は $[w]_{A_p}^{1/p}[w]_{A_\infty}^{1/2 - 1/p}$ に簡略化され、これは最良であり、以前の結果に含まれていた $\log(1 + [w]_{A_\infty})^{1/2}$ 要素を改善する。
• 著者たちは、重み $w(x) = |x|^{\varepsilon - 1}$ を構成し、関数列 $a_k$ を用いて、任意の増大関数 $\Phi$ に対して $\Phi([w]_{A_p}) \gtrsim [w]_{A_p}^{1/2}$ が作用素ノルムの上界を抑えるために必要であることを示すことにより、界 $[w]_{A_p}^{1/p}[w]_{A_\infty}^{1/2 - 1/p}$ の鋭さを証明する。
• 同じ手法を用いて、強型評価 $\|A_{\mathcal{S}}^r(f\sigma)\|_{L^p(w)} \lesssim [w,\sigma]_{A_p}^{1/p}([w]_{A_\infty}^{(1/r - 1/p)_+} + [\sigma]_{A_\infty}^{1/p})$ を洗練された形で再発見する。
• $A_\infty$ 要素における指数 $1/2$ が最適であることが示され、任意の $\eta > 0$ に対して、$\Phi([w]_{A_p}) = [w]_{A_p}^{1/2 - \eta}$ の形の界は、すべての重みに一様に成り立たない。
• 結果として、平方関数の鋭い重み付き理論が完成され、唯一の未解決ケースである $p = r = 2$ は、$A_1$ 予想の失敗と整合的であり、対数補正を要することが知られている。