[論文レビュー] The Sparse T1 Theorem

Michael T. Lacey, Darío Mena|arXiv (Cornell University)|Oct 5, 2016

Advanced Harmonic Analysis Research参考文献 13被引用数 25

ひとこと要約

本稿では、標準的なT1型のテスト条件のもとで、作用素ノルムがスパースな二重線形形式によって制御されることを示すことにより、Calderón-Zygmund作用素に対するスパースT1定理を確立する。証明はランダムなdyadicグリッド、マルティングルール変換、および二重線形平方関数のスパース評価を用い、最良の定数を有するスパースな重み付きおよび重みなしL^p推定をもたらす。

ABSTRACT

We impose standard $ T1 $-type assumptions on a Calderón-Zygmund operator $ T $, and deduce that for bounded compactly supported functions $ f, g $ there is a sparse bilinear form $ Λ$ so that $$ \lvert \langle T f, g angle vert \lesssim Λ(f,g). $$ The proof is short and elementary. The sparse bound quickly implies all the standard mapping properties of a Calderón-Zygmund on a (weighted) $ L ^{p}$ space.

研究の動機と目的

• 古典的T1定理における$L^2$ノルムの上界を、定量的なスパース支配上界に置き換える。
• Calderón-Zygmund作用素のすべての標準的性質（例えば、$L^p$、重み付き$L^p$）を、スパース上界から直接導出する。
• スパース形式を用いた$L^p$および重み付き不等式を証明する統一的で素朴な枠組みを提供する。
• 点での方法が失敗するような作用素（例えば、二重線形ハーディー作用素や振動積分）に対してもスパース支配の適用を拡張する。
• 重み付き推定における$A_p$特性に関する鋭い依存関係を確立する。特に$p=1$の場合も含む。

提案手法

• 複雑さを軽減し、グリッド構造における確率的平均化を活用するために、ランダムなdyadicグリッドを用いる。
• テスト条件(1.4)に基づくストップタイム構成を用いて、立方体のスパース集合を構築する。
• マルティングルール変換の直交性を用いて、分解におけるマルティングルール型項を制御する。
• 主項を支配する重要なスパース評価（補題4.6）を、二重線形平方関数について証明する。
• Poisson型作用素$P_\eta$を用いた非対角評価により、互いに交わらない立方体上の関数の相互作用を制御する。
• Hardy型不等式（補題4.15）を用いて、スパース分解における弱型および強型推定を制御する。

実験結果

リサーチクエスチョン

• RQ1 古典的$T1$定理は、$L^2$バウンドの代わりにスパース支配を用いて再定式化可能か？
• RQ2 スパース上界は、すべての標準的$L^p$および重み付き$L^p$不等式を鋭い定数で含意するか？
• RQ3 点での方法が失敗する作用素（例えば、二重線形ハーディー作用素）に対してもスパース支配を適用可能か？
• RQ4 重み付き推定におけるスパース上界の$A_p$特性に関する鋭い依存関係は何か？
• RQ5 テスト条件(1.4)をどのように用いて、作用素の作用を支配するスパース集合を構築できるか？

主な発見

• すべての有界かつCompactly台を持つ$f,g$に対して、作用素$T$は$|\langle Tf,g\rangle| \lesssim \Lambda(|f|,|g|)$を満たす。ここで$\Lambda$はスパースな二重線形形式である。
• スパース上界は、弱型$(1,1)$および強型$(p,p)$推定を$1 < p < \infty$に対して鋭い$p$依存性を有して含意する。具体的には$\|\Lambda(f,g)\| \lesssim p \cdot p' \|f\|_p \|g\|_{p'}$である。
• 重み付き$L^p$推定は$1 < p < \infty$において$A_p$特性に関して鋭いものであり、$p=1$においては既知の最良の結果である。これは最大関数のスパース支配によって示される。
• 証明は、二重線形平方関数のスパース評価（補題4.6）に依存しており、これが最も洗練された部分であり、主推定を可能にする。
• 非対角評価(4.12)は、Poisson型核$P_\eta$を用いて、互いに交わらない立方体上の関数の相互作用を制御する。
• 最大立方体とストップタイムを用いたスパース集合$\mathcal{U}_{\mathcal{G}}$の構成により、$\sum_S \langle f\rangle_S \langle g\rangle_S \mathbf{1}_S \lesssim \sum_U \langle f\rangle_U \langle g\rangle_U \mathbf{1}_U$が成り立ち、これがスパース形式を支配する。