Two-weight inequality for the Hilbert transform: A real variable characterization, II

Abstract

Let $\sigma$ and $w$ be locally finite positive Borel measures on $\mathbb{R}$ which do not share a common point mass. Assume that the pair of weights satisfy a Poisson $A_2$ condition, and satisfy the testing conditions below, for the Hilbert transform $H$,

$${\int }_{I}H\left(\sigma {\mathbf{1}}_I{)}^{2}dw\lesssim \sigma \right(I),{\int }_{I}H(w{\mathbf{1}}_I{)}^{2}d\sigma \lesssim w\left(I\right),$$

with constants independent of the choice of interval $I$. Then $H(\sigma \cdot )$ maps $L^2\left(\sigma \right)$ to $L^2\left(w\right)$, verifying a conjecture of Nazarov, Treil, and Volberg. The proof uses basic tools of nonhomogeneous analysis with two components particular to the Hilbert transform. The first component is a global-to-local reduction which is a consequence of prior work by Lacey, Sawyer, Shen, and Uriarte-Tuero. The second component, an analysis of the local part, is the particular contribution of this article.