Sharp estimates for commutators of singular integrals via iterations of the Hardy-Littlewood maximal function (Q1385000)

Let \(b\in\text{BMO}\) and let \(T\) be a Calderón-Zygmund singular integral operator with a kernel \(K(x,y)\). For \(k\in\{0,1,2,\cdots\}\) and appropriate function \(f\), define \(T^k_bf(x)=\int(b(x)-b(y))^kK(x,y)f(y) \,dy\) and \[ Nf(x)=T(f\log| f|)(x)-Tf(x)\log| Tf(x)|. \] The author proves that if \(0<p<\infty\), \(w\in A_\infty\) and \(b\in\text{BMO}\), then there exists a constant \(C\) such that \[ \int_{\mathbb R^n}| T^k_bf(x)|^pw(x) \,dx\leq C\| b\|_{\text{BMO}}^{kp}[w]^{(k+1)p}_{A_\infty}\int_{\mathbb R^n} M^{k+1}f(x)^pw(x) \,dx \] and \[ \int_{\mathbb R^n}| Nf(x)|^pw(x) \,dx\leq C[w]^p_{A_\infty}\int_{\mathbb R^n}M^2f(x)^pw(x) \,dx, \] where \(M^k\) denotes the Hardy-Littlewood maximal operator \(M\) iterated \(k\) times. The author also shows that if \(1<p<\infty\) and \(b\in\text{BMO}\), then there exists a constant \(C\) such that for each weight \(w\), \[ \int_{\mathbb R^n}| T^k_bf(x)|^pw(x) \,dx\leq C\| b\|_{\text{BMO}}^{kp}\int_{\mathbb R^n}| f(x)|^p M^{[(k+1)p]+1}w(x) \,dx \] and \[ \int_{\mathbb R^n}| Nf(x)|^pw(x) \,dx\leq C\int_{\mathbb R^n}| f(x)|^pM^{[2p]+1}w(x)\, dx. \] Moreover, the author gives a counterexample to indicate the the number of iterations of the maximal function needed in the above inequalities are optimal.