[論文レビュー] Logarithmic bump conditions and the two weight boundedness of Calder\'on-Zygmund operators

David Cruz-Uribe, Alexander Reznikov+1 more|arXiv (Cornell University)|Dec 3, 2011

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

ひとこと要約

本稿では、繰り返し対数的重みを含む鋭い Ap-バウンド条件が、ヒルベルト変換を含むすべての Calderón-Zygmund 作用素の二重重み有界性を示すことを確立している。A² 予想の手法とベルマン関数法を組み合わせることで、著者らはハールシフトが $L^p(v)$ から $L^p(u)$ への写像を、複雑度定数が二次関数的になるように証明し、一般の Calderón-Zygmund 作用素へと拡張している。副次的成果として、ミュケンホプトとウーデンのヒルベルト変換に関する弱型不等式に関する長年の予想を反証した。

ABSTRACT

We prove that if a pair of weights $(u,v)$ satisfies a sharp $A_p$-bump condition in the scale of log bumps and certain loglog bumps, then Haar shifts map $L^p(v)$ into $L^p(u)$ with a constant quadratic in the complexity of the shift. This in turn implies the two weight boundedness for all Calder\'on-Zygmund operators. This gives a partial answer to a long-standing conjecture. We also give a partial result for a related conjecture for weak-type inequalities. To prove our main results we combine several different approaches to these problems; in particular we use many of the ideas developed to prove the $A_2$ conjecture. As a byproduct of our work we also disprove a conjecture by Muckenhoupt and Wheeden on weak-type inequalities for the Hilbert transform. This is closely related to the recent counterexamples of Reguera, Scurry and Thiele.

研究の動機と目的

• Ap バウンド条件の下で、Calderón-Zygmund 作用素の二重重みノルム不等式に関する長年の予想を解決すること。
• A² 予想の手法を、対数的バウンドを含む二重重み設定へと拡張すること。
• ヒルベルト変換に関するミュケンホプト＝ウーデンの弱型不等式に関する予想を反証すること。
• ハールシフトおよびそれらを拡張した Calderón-Zygmund 作用素が重み付き Lebesgue 空間間で有界となる鋭い条件を確立すること。

提案手法

• Orlicz ノルムと $A(t) = t^p \log(e + t)^{p-1+\delta}$ の形をした対数的バウンド関数を用いて、鋭い Ap-バウンド条件を定義する。
• ベルマン関数法を用いて dyadic パラプロダクトおよびハールシフトを制御し、A² 予想からの手法を拡張する。
• ストッピング時間の議論と dyadic スパース支配を用いて、弱型および強型ノルムを制御する。
• テスト条件と双対性を組み合わせ、ヒルベルト変換の有界性を最大作用素と関連付ける。
• Reguera, Scurry, および Thiele の反例を用いて、ミュケンホプト＝ウーデンの予想を反証する。
• 弱型不等式 $H_\sigma : L^2(\sigma) \to L^{2,\infty}(u)$ が $M_u : L^2(u) \to L^2(\sigma)$ が成り立つ場合でさえも失敗することを示す。

実験結果

リサーチクエスチョン

• RQ1 対数的重みを含む Ap バウンド条件が、すべての Calderón-Zygmund 作用素について強型二重重み有界性を示すか？
• RQ2 A² 予想の手法を、対数的バウンドを含む二重重み設定へと拡張可能か？
• RQ3 最大作用素のテスト条件の下で、ミュケンホプト＝ウーデンのヒルベルト変換に関する弱型不等式の予想は正当か？
• RQ4 二重重み設定における反例を用いて、弱型予想を反証可能か？
• RQ5 ベルマン関数は、二重重み弱型不等式に対する反例の構成において果たす役割は何か？

主な発見

• 本稿では、重みの組 $(u, v)$ が対数的重みを含む鋭い Ap-バウンド条件を満たすならば、すべての Calderón-Zygmund 作用素が $L^p(v)$ から $L^p(u)$ への有界作用素であることを証明している。このとき作用素ノルムはハールシフトの複雑度の二次関数的になる。
• 特に $p=2$ の場合、条件 $\sup_Q \|u^{1/2}\|_{A,Q} \|v^{-1/2}\|_{B,Q} < \infty$ が成り立つと、$A$ および $B$ が対数的ヤング関数である場合に強型不等式が成立する。
• 著者らは、$M_u : L^2(u) \to L^2(\sigma)$ が成り立つが $H_\sigma : L^2(\sigma) \to L^{2,\infty}(u)$ が失敗する反例を構成することで、ミュケンホプト＝ウーデンの弱型不等式に関する予想を反証した。
• より強い反例も構成された：重みの組 $(u, \sigma)$ が $M_u : L^2(u) \to L^2(\sigma)$ および $M_\sigma : L^2(\sigma) \to L^2(u)$ をともに満たすが、$H_\sigma$ は弱型不等式を満たさない。
• 証明は、弱型ノルムがテスト条件および最大作用素と関連することを示す定理 6.1 に依拠しており、テスト条件の失敗が弱型有界性の失敗を意味することを示している。
• この結果により、[35] の反例が二重重み設定へと拡張されることで、一重重み弱 (1,1) 予想の誤りが間接的に証明される。