The definition is easiest to understand when . The condition a.\thinspace e.\thinspace implies that is defined almost everywhere, and moreover . The condition of implies that this equality holds in an average sense, uniformly of locations and scales. The definition of is the limiting case of (1). The endpoint is a little more subtle.
Theorem 2 (Muckenhoupt) Let a.\thinspace e., and let . Then the following three conditions are equivalent.
- The Maximal Function is bounded on into itself;
- The Maximal Function is bounded on into ;
Of course the difficult part is to show the sufficiency of for the boundedness of the Maximal function. For the Hilbert transform, however, both directions require arguement.
Theorem 3 (Hunt-Muckenhoupt-Wheeden) In dimension one, let a.\thinspace e. Then, the three equivalences above hold, with the Maximal function replaced by the Hilbert transform.
Finer information about the norm of or is useful in applying these inequalities, and illuminates the relationship between the operator and the weights. This theme goes back to Buckley
Theorem 4 (Buckley) Let , and let , and the dual measure. We have
We have the following refinement of the Buckley’s estimate, due to Hytönen-Perez.
Establishing the same results for singular integrals. There was a breakthrough by Stefanie Petermichl, establishing the sharp bounds for the Hilbert transform. Much later, Lacey-Petermichl-Reguera gave a more conceptual argument, greatly extending the range of Petermichl’s theorem. This proof, with two more important new ingredients, was used by Hytönen to prove
Theorem 6 For an bounded Calderón-Zygmund Operator and ,
Also see Hytönen-Perez-Treil-Volberg.
This type of result has now been extended to maximal truncations, in a seven author paper H-L-M-O-R-S-(U-T). (Hyt\”onen, Lacey, Martikainen, Orponen, Reguera, Sawyer, and Uriate-Tuero.
There is a seperate post about the details of this paper, and how it came to be written. But, the post is not yet written.)
This is the strongest inequalities currently known, depending only upon the characteristic. Below, stands for the maximal truncations of .
The paper of Lacey-Petermichl-Reguera nicely divided the proof of these sorts of estimates into an component, and an component. And, the paper Lerner quantified this point of view. The paper of Hytönen-Perez identifies this as an important theme, and they prove
The following estimate is proved in H-L-M-O-R-S-(U-T).
A formalism from Eric Saywer’s fractional integral estimates then makes it natural to pose the conjecture below. [Update: This formalism is that the strong type norm is the maximum of two
Conjecture 10 For an bounded Calderón-Zygmund Operator and ,
Tuomas Hytönen pointed out the nice interpretation of this conjecture to me. It is familiar that one typically has as a a lower bound on the norm of , and so the term above identifies the ` contribution' to the norm of .
Using the Lerner Median inequality, and the main theorem of Lacey-Sawyer-Uriate-Tuero, I can verify this for Haar shift operators, with an exponential dependence on complexity. And I will present this proof at the Paesky Spring School.
The paper H-L-M-O-R-S-(U-T) gives an estimate for , in strong type norm, which verifies the conjecture in the special case that
If there were some further refinement of the proof of the two-weight result
H-L-M-O-R-S-(U-T), Theorem 4.7, then maybe the Conjecture would follow. Namely the obstacle is the use of the ‘non-standard’ testing condition in (4.8) of this paper.