TY - JOUR
AU - Sawyer, Eric T.
AU - Uriarte-Tuero, Ignacio
PY - 2021/09/09
Y2 - 2021/12/06
TI - Control of the bilinear indicator cube testing property
JF - Annales Fennici Mathematici
JA - Ann. Fenn. Math.
VL - 46
IS - 2
SE - Articles
DO -
UR - https://afm.journal.fi/article/view/111181
SP - 1105-1122
AB - <p> </p><pre>We show that the \(\alpha\)-fractional bilinear indicator/cube testing constant<br><br></pre><pre>\(\mathcal{BICT}_{T^{\alpha }}\left( \sigma ,\omega \right) \equiv \sup_{Q\in \mathcal{P}^{n}}\sup_{E,F\subset Q}\frac{1}{\sqrt{\left\vert Q\right\vert_{\sigma }\left\vert Q\right\vert _{\omega }}}\left\vert \int_{F}T_{\sigma}^{\alpha }\left( \mathbf{1}_{E}\right) \omega \right\vert ,\)<br><br></pre><pre>defined for any \(\alpha\)-fractional singular integral \(T^{\alpha }\) on \(\mathbf{R}^{n}\) with \(0<\alpha <n\), is controlled by the classical \(\alpha\)-fractional Muckenhoupt constant \(A_{2}^{\alpha }\left( \sigma ,\omega\right)\), provided the product measure \(\sigma \times \omega\) is diagonally reverse doubling (in particular if it is reverse doubling) with exponent exceeding \(2\left(n-\alpha \right)\).<br><br></pre><pre>Moreover, this control is sharp within the class of diagonally reverse doubling product measures. In fact, every product measure \(\mu \times \mu\), where \(\mu\) is an Ahlfors-David regular measure \(\mu\) with exponent \(n-\alpha\), has diagonal exponent \(2\left( n-\alpha \right)\) and satisfies \(A_{2}^{\alpha }\left( \mu ,\mu \right)<\infty\) and \(\mathcal{BICT}_{I^{\alpha }}\left( \mu ,\mu \right)=\infty\), which has implications for the \(L^{2}\) trace inequality of the fractional integral \(I^{\alpha}\) on domains with fractional boundary.</pre><pre><br>When combined with the main results in arXiv:1906.05602, 1907.07571 and 1907.10734, the above control of \(\mathcal{BICT}_{T^{\alpha }}\) for \(\alpha>0\) yields a \(T1\) theorem for doubling weights with appropriate diagonal reverse doubling, i.e. the norm inequality for \(T^{\alpha}\) is controlled by cube testing constants and the \(\alpha\)-fractional one-tailed Muckenhoupt constants \(\mathcal{A}_{2}^{\alpha }\) (without any energy assumptions), and also yields a corresponding cancellation condition theorem for the kernel of \(T^{\alpha }\), both of which hold for arbitrary \(\alpha\)-fractional CalderÃ³n-Zygmund operators \(T^{\alpha }\).</pre><pre><br>We do not know if the analogous result for \(\mathcal{BICT}_{H}\left(\sigma,\omega \right)\) holds for the Hilbert transform \(H\) in case \(\alpha=0\), but we show that \(\mathcal{BICT}_{H^{\operatorname{dy}}}\left(\sigma ,\omega\right)\) is <em>not</em> controlled by the Muckenhoupt condition \(\mathcal{A}_{2}^{\alpha }\left( \omega ,\sigma \right)\) for the dyadic Hilbert transform \(H^{\operatorname{dy}}\) and doubling weights \(\sigma ,\omega $\).</pre>
ER -