𝐿^{𝑝} theory for outer measures and two themes of Lennart Carleson united

Abstract

We develop a theory of <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="upper L Superscript p"> <mml:semantics> <mml:msup> <mml:mi>L</mml:mi> <mml:mi>p</mml:mi> </mml:msup> <mml:annotation encoding="application/x-tex">L^p</mml:annotation> </mml:semantics> </mml:math> </inline-formula> spaces based on outer measures generated through coverings by distinguished sets. The theory includes as a special case the classical <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="upper L Superscript p"> <mml:semantics> <mml:msup> <mml:mi>L</mml:mi> <mml:mi>p</mml:mi> </mml:msup> <mml:annotation encoding="application/x-tex">L^p</mml:annotation> </mml:semantics> </mml:math> </inline-formula> theory on Euclidean spaces as well as some previously considered generalizations. The theory is a framework to describe aspects of singular integral theory, such as Carleson embedding theorems, paraproduct estimates, and <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="upper T left-parenthesis 1 right-parenthesis"> <mml:semantics> <mml:mrow> <mml:mi>T</mml:mi> <mml:mo stretchy="false">(</mml:mo> <mml:mn>1</mml:mn> <mml:mo stretchy="false">)</mml:mo> </mml:mrow> <mml:annotation encoding="application/x-tex">T(1)</mml:annotation> </mml:semantics> </mml:math> </inline-formula> theorems. It is particularly useful for generalizations of singular integral theory in time-frequency analysis, the latter originating in Carleson’s investigation of convergence of Fourier series. We formulate and prove a generalized Carleson embedding theorem and give a relatively short reduction of the most basic <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="upper L Superscript p"> <mml:semantics> <mml:msup> <mml:mi>L</mml:mi> <mml:mi>p</mml:mi> </mml:msup> <mml:annotation encoding="application/x-tex">L^p</mml:annotation> </mml:semantics> </mml:math> </inline-formula> estimates for the bilinear Hilbert transform to this new Carleson embedding theorem.