Necessary and Sufficient Conditions for the Bounds of the Commutators with Fractional Differentiations and BMO-Sobolev Spaces on Weighted Lebesgue Space

Chen Yanping,Yan Dunyan,Zhu Kai

DOI: https://doi.org/10.1007/s12220-021-00852-5

2022-01-01

Journal of Geometric Analysis

Abstract:Let $$b\in L_{\mathrm{loc}}^1({\mathbb {R}}^n)$$ and $$\alpha \in (0,1).$$ In the present paper, we are concerned on commutators with fractional differentiations which are defined by $$\begin{aligned} {[}b,T_\alpha ]f(x)={p.v.}\displaystyle \int _{{\mathbb {R}}^n} \frac{\Omega (x-y)}{|x-y|^{n+\alpha }}(b(x)-b(y))f(y)\text {d}y. \end{aligned}$$ This kind of commutators $$[b, T_\alpha ]$$ appear in the parabolic boundary value problems. In this paper, we obtain the necessary and sufficient conditions on the function b to guarantee that $$[b, T_\alpha ]$$ is a bounded operator on $$L^p(w)$$ for $$1<p<\infty $$ and $$w\in A_p.$$ For the sufficiency, we study the quantitative weighted bounds for the commutator with fractional differentiation with rough kernels. Namely, for $$b\in I_\alpha (BMO)$$ and $$1\le r'<p<\infty ,$$ $$\begin{aligned} \Vert [b, T_{\alpha }]f\Vert _{L^p(w)}\le C\Vert \Omega \Vert _{L^r}\Vert D^\alpha b\Vert _{BMO}[w]_{A_{p/r'}}^{\max \left\{ 1,\frac{1}{p-r'}\right\} } {[}w]_{A_{p/r'}}^{\frac{1}{r'}\max \left\{ 1,\frac{r'}{p-r'}\right\} } \Vert f\Vert _{L^p(w)}, \end{aligned}$$ it is the best known quantitative result of this operator. For the necessity, if $$[b, T_\alpha ]$$ is bounded on $$L^p(w)$$ for some $$1<p<\infty $$ and $$w\in A_p,$$ then $$b\in Lip_\alpha .$$ Finally, we apply our general theory to the Hilbert and Riesz transforms, and obtain a characterization of $$[b, D^\alpha R_j]$$ and $$[b, D^\alpha H]$$ on $$L^p(w)$$ for $$1<p<\infty $$ and $$w\in A_p$$ by $$b\in I_\alpha (BMO)$$ .