No label defined (Q4934975)

Let \(S\) be a standard Caldéron-Zygmund operator, and let \(b\) be a BMO function. Let \(T_{b,m}\) be the \(m^{\text{th}}\) commutator of \(S\) with multiplication by \(b\): \[ T_{b,0} = S;\;T_{b,m+1} = [T_{b,m},b(\cdot)]. \] The author studies the two-weight problem for \(T_{b,m}\), i.e., finding the set of all pairs \((u,v)\) of weights such that \(T_{b,m}\) maps \(L^p(v)\) to \(L^p(u)\). A natural conjecture would be that \((u,v)\) should satisfy the condition \[ \Biggl(\int_Q u\Biggr)^{1/p} \Biggl(\int_Q v^{1-p'}\Biggr)^{1/p'} \leq C |Q| \] for all cubes \(Q\); however, it is known that this condition is not sufficient. However, the author shows that if this condition holds with \((u,v)\) replaced by \((u^{1+\varepsilon}, v^{1+\varepsilon})\) for some \(\varepsilon > 0\), then \(T_{b,m}\) does indeed map \(L^p(v)\) to \(L^p(u)\). A more technical generalization of this statement is given in this paper. One feature of this generalization is that no \(A_\infty\) properties are required on the weights \(u\) and \(v^{1-p'}\). Some examples are given, especially when \(v\) is given as some sort of maximal function of \(u\).