Sobolev boundedness and continuity for commutators of the local Hardy–Littlewood maximal function

Abstract

Let \(\Omega\) be a subdomain in \(\mathbb{R}^n\) and \(M_\Omega\) be the local Hardy-Littlewood maximal function. In this paper, we show that both the commutator and the maximal commutator of \(M_\Omega\) are bounded and continuous from the first order Sobolev spaces \(W^{1,p_1}(\Omega)\) to \(W^{1,p}(\Omega)\) provided that \(b\in W^{1,p_2}(\Omega)\), \(1<p_1,p_2,p<\infty\) and \(1/p=1/p_1+1/p_2\). These are done by establishing several new pointwise estimates for the weak derivatives of the above commutators. As applications, the bounds of these operators on the Sobolev space with zero boundary values are obtained.

Regularity for a class of local fractional new maximal operators

“…where dH n−1 denotes the normalized (n-1)-dimensional Hausdorff measure, |∂B(x, r)| = n̟ n r n−1 , and ̟ n is the volume of the unit ball on R n . The further development about the regularity of maximal operators, we can see [2,5,12,13,14,15,17,18,21] and so on.…”