[Paper Review] Sharp $ A_2$ Inequality for Haar Shift Operators

Michael T. Lacey, Stefanie Petermichl+1 more|arXiv (Cornell University)|Jun 10, 2009

Advanced Harmonic Analysis Research14 references20 citations

TL;DR

This paper presents a new proof of the sharp $A_2$ bound for Haar shift operators, establishing that the operator norm on $L^2(w)$ is bounded by the $A_2$ characteristic of the weight $w$. The proof leverages a two-weight $T1$ theorem by Nazarov-Treil-Volberg and verifies Carleson measure estimates via corona decomposition, offering a streamlined alternative to prior Bellman function methods and extending to singular integrals like the Hilbert and Riesz transforms.

ABSTRACT

As a corollary to our main theorem we give a new proof of the result that the norm of the Hilbert transform on L^2(w) has norm bounded by a the A_2 characteristic of a weight to the first power, a theorem of one of us. This new proof begins as the prior proofs do, by passing to Haar shifts. Then, we apply a deep two-weight T1 theorem of Nazarov-Treil-Volberg, to reduce the matter to checking a certain carleson measure condition. This condition is checked with a corona decomposition of the weight. Prior proofs of this type have used Bellman functions, while this proof is flexible enough to address all Haar shifts at the same time.

Motivation & Objective

• To provide a new, streamlined proof of the sharp $A_2$ bound for Haar shift operators.
• To replace the Bellman function method used in prior proofs with a more direct approach based on two-weight $T1$ theory.
• To establish that the linear growth in $\|w\|_{A_2}$ is sharp and naturally explained by corona decomposition.
• To extend the result to classical singular integrals—Hilbert, Riesz, and Beurling transforms—via their representation as averages of Haar shifts.
• To demonstrate that Carleson measure estimates for $A_2$ weights can be verified efficiently using dyadic techniques and decomposition.

Proposed method

• Apply the two-weight $T1$ theorem of Nazarov-Treil-Volberg to reduce the $L^2(w)$ boundedness of Haar shifts to verifying three key Carleson-type estimates.
• Use a corona decomposition of the $A_2$ weight $w$ to control dyadic paraproducts and verify the required Carleson measure conditions.
• Employ Haar functions and their properties—vanishing mean, bounded $L^\infty$-norm, and dyadic structure—to define Haar shift operators of index $\tau$.
• Verify the paraproduct estimates for $A_2$ weights using the decomposition and the boundedness of Haar shifts on $L^2(dx)$.
• Leverage the fact that classical singular integrals (Hilbert, Riesz, Beurling) are averages of Haar shifts to deduce their sharp $A_2$ bounds.
• Use the $L^2(w)$ operator norm estimate for Haar shifts to derive the sharp $A_2$ inequality for the corresponding singular integrals.

Experimental results

Research questions

• RQ1 Can the sharp $A_2$ bound for Haar shift operators be proven without relying on the Bellman function method?
• RQ2 How can the two-weight $T1$ theorem be applied to reduce the $A_2$ norm estimate to Carleson measure conditions?
• RQ3 What role does corona decomposition play in verifying the necessary Carleson estimates for $A_2$ weights?
• RQ4 Is the linear dependence on $\|w\|_{A_2}$ in the operator norm sharp and naturally explained by dyadic decomposition?
• RQ5 Can the new method be extended to prove sharp $A_2$ bounds for classical singular integrals like the Hilbert and Riesz transforms?

Key findings

• The paper establishes the sharp $A_2$ bound $\|T\|_{L^2(w)\to L^2(w)} \lesssim \|w\|_{A_2}$ for all Haar shift operators of index $\tau$, with the implied constant depending only on dimension $d$ and $\tau$.
• The proof avoids the Bellman function technique and instead uses the two-weight $T1$ theorem of Nazarov-Treil-Volberg to reduce the problem to verifying Carleson measure estimates.
• The required Carleson measure estimates for $A_2$ weights are verified using a corona decomposition of the weight $w$, which explains the linear growth in $\|w\|_{A_2}$ naturally.
• The method yields a new proof of the sharp $A_2$ inequality for the Hilbert transform, Riesz transforms, and Beurling operator, with the same linear dependence on $\|w\|_{A_2}$.
• The approach demonstrates that the $A_2$ characteristic is the correct and sharp weight characteristic for $L^2(w)$ boundedness of these operators.
• The paper also derives the sharp $A_2$ bound for Haar square functions as a corollary, though the details are left for the reader.