[論文レビュー] The $L(\log L)^{\epsilon}$ endpoint estimate for maximal singular integral operators

Tuomas Hytönen, Carlos Pérez|arXiv (Cornell University)|Mar 13, 2015

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

ひとこと要約

本稿は、最大特異積分作用素に対する鋭い重み付き弱型推定を確立し、$T^*$ の $L^{1,ty}(w)$ 上の作用素ノルムが、$|f|$ の $M_L(\log L)^\epsilon(w)$ に対する積分の定数倍で有界であることを示している。ここで、$A_\infty$ 特性に関する最適な対数的依存性を達成している。この結果は、従来の指数的爆発を改善し、最大カルデロン–ジグムンド作用素への端点推定を拡張する。

ABSTRACT

We prove in this paper the following estimate for the maximal operator $T^*$ associated to the singular integral operator $T$: $ \|T^*f\|_{L^{1,\infty}(w)} \lesssim \frac{1}{\epsilon} \int_{\mathbb{R}^n} |f(x)| M_{L(\log L)^{\epsilon}} (w)(x)dx$, for $w\geq 0, 0<\epsilon \leq 1.$ This follows from the sharp $L^p$ estimate $ \|T^*f \|_{ L^{p}(w) } \lesssim p' (\frac{1}{\delta})^{1/p'} \|f \|_{L^{p}(M_{ L(\log L)^{p-1+\delta}} (w))}$, for $1<p<\infty, w\geq 0, 0<\delta \leq 1. $ As as a consequence we deduce that $ \|T^*f\|_{L^{1,\infty}(w)} \lesssim [w]_{A_{1}} \log(e+ [w]_{A_{\infty}}) \int_{\mathbb{R}^n} |f| w dx, $ extending the endpoint results obtained in [LOP] and [HP] to maximal singular integrals. Another consequence is a quantitative two weight bump estimate.

研究の動機と目的

• 最大特異積分作用素 $T^*$ に対する鋭い弱型 $L^1$ 推定を確立し、フェッファーマン–スタインおよびムケンホプト–ウイーデンの予想を最大作用素へ拡張すること。
• 従来知られていた端点推定における指数的爆発 $e^{1/\epsilon}$ を線形的爆発 $1/\epsilon$ に改善し、最適な定量的依存性を達成すること。
• $A_\infty$ 類の重みへ端点結果を拡張し、$[w]_{A_\infty}$ と $\log(e + [w]_{A_\infty})$ を含む境界を証明すること。
• $T^*$ に対する定量的二重重みバンプ推定を導出し、既知の結果を最大設定へ一般化すること。
• 一般化されたオルリーツノルムと $L^p$ 上の最大作用素を用いた、二重重み不等式の一般枠組みを提供すること。

提案手法

• $A(t) = t^p(1 + \log^+ t)^{p-1+\delta}$ とおくとき、$L^{p'}(\mathbb{R}^n)$ 上での最大作用素 $M_{\bar{A}}$ のノルムを用いて、$\|T^*f\|_{L^p(w)}$ の鋭い $L^p$ 推定を導出する。
• Young関数 $A$, $B$, $C$ が $B^{-1}(t)C^{-1}(t) \leq \kappa A^{-1}(t)$ を満たすときの一般化されたホルダー不等式（オニールの不等式）を適用し、オルリーツノルムにおける関数の積を制御する。
• $A_\infty$ 重みにおける逆ホルダー不等式 $\left(\fint_Q w^{r_w}\right)^{1/r_w} \leq 2 \fint_Q w$ を用い、$r_w = 1 + \frac{1}{\tau_n[w]_{A_\infty}}$ とおくことで、$M_L(\log L)^\epsilon(w)$ の成長を制御する。
• $\epsilon$ のパラメータを最適化し、$\epsilon \approx 1/\log(e + [w]_{A_\infty})$ を選ぶことで、$[w]_{A_\infty}$ への対数的依存性を導く。
• スパース支配原理と $M_{\bar{A}}$ の $L^{p'}(\mathbb{R}^n)$ 上の有界性を用い、dyadic スパース作用素を介して最大作用素を制御する。
• $L^p$ 結果と双対性の議論、およびすべての立方体におけるテスト条件を組み合わせることで二重重みバンプ推定を確立し、$\|M_{X'}\|_{B(L^{p'}(\mathbb{R}^n))}$ を含む鋭い定数を導出する。

実験結果

リサーチクエスチョン

• RQ1 $T^*$ の端点推定における指数的爆発 $e^{1/\epsilon}$ を線形的爆発 $1/\epsilon$ に改善できるか？
• RQ2 $T^*$ の弱型 $L^1$ 推定が重み $M_L(\log L)^\epsilon(w)$ に対して成り立ち、$M_L \log \log L(w)$ に最適化できるか？
• RQ3 $A_\infty$ 特性 $[w]_{A_\infty}$ を用いて、$T^*$ の弱型 $L^1$ 界を $A_1$-ベースの推定から置き換えられるか？
• RQ4 線形作用素に対する既知の結果を拡張する、$T^*$ に対する一般二重重みバンプ推定が存在するか？
• RQ5 $\epsilon$ に関する最適化を通じて、弱型 $L^{1,\infty}$ 端点への移行時に $L^p$ 推定の鋭さが保たれるか？

主な発見

• 本稿は、すべての $0 < \epsilon \leq 1$ に対して、鋭い推定 $\|T^*f\|_{L^{1,\infty}(w)} \lesssim \frac{1}{\epsilon} \int_{\mathbb{R}^n} |f(x)| M_L(\log L)^\epsilon(w)(x) \, dx$ を証明し、従来の指数的依存性を改善した。
• $\epsilon \approx 1/\log(e + [w]_{A_\infty})$ と最適化することで、推定は $\|T^*f\|_{L^{1,\infty}(w)} \lesssim \log(e + [w]_{A_\infty}) \int_{\mathbb{R}^n} |f| Mw \, dx$ に精錬され、$A_\infty$ 重みへの端点結果が拡張された。
• $A_1$-ベースの推定は、$\|T^*f\|_{L^{1,\infty}(w)} \lesssim [w]_{A_1} \log(e + [w]_{A_\infty}) \int_{\mathbb{R}^n} |f| w \, dx$ に改善され、$[w]_{A_1}$ へのより強い依存性が示された。
• 定量的二重重みバンプ推定が確立された：$K = \sup_Q \|u^{1/p}\|_{L^p(\log L)^{p-1+\delta},Q} \left( \frac{1}{|Q|} \int_Q \sigma \right)^{1/p'} < \infty$ ならば、$\|T^*(f\sigma)\|_{L^{p,\infty}(u)} \lesssim \frac{1}{\delta} K \left(\frac{1}{\delta}\right)^{1/p'} \|f\|_{L^p(\sigma)}$ が成り立つ。
• 著者らは、$M_{X'}$ の $L^{p'}(\mathbb{R}^n)$ 上での作用素ノルムを含む一般二重重み不等式の予想を提示し、これにより既存のバンプ条件が統一・一般化される。
• 補足として、$\|T^*\|_{B(L^p(w))} \lesssim [w]_{A_p}^{1/p} \left( [w]_{A_\infty}^{1/p'} + [\sigma]_{A_\infty}^{1/p} \right)$ の鋭い境界が示唆されているが、これは直接証明されていないが、予想の結果として提示されている。