Skip to main content

The boundedness of variation associated with the commutators of approximate identities

Abstract

In this paper, we establish \(L^{p}\)-boundedness and endpoint estimates for variation associated with the commutators of approximate identities, which are new for variation operators. As corollaries, we obtain the corresponding boundedness results for variation associated with the commutators of heat semigroups and Poisson semigroups.

Introduction and main results

The intension of this paper is to obtain boundedness of variation associated with the commutators of approximate identities. Before stating our results, we first recall some relevant background.

The boundedness of commutators of singular integrals, especially the endpoint estimates, attracts lots of scholars’ interest. Recall that given a locally integral function b and a linear or nonlinear operator T, the commutator \([b,T]\) is defined by

$$ [b,T]f(x):=T \bigl(\bigl(b(x)-b(\cdot )\bigr)f \bigr) (x). $$
(1.1)

And we say that b belongs to \(\mathrm{BMO(\mathbb{R}^{n})}\) spaces if

$$ \Vert b \Vert _{\mathrm{BMO(\mathbb{R}^{n})}}:=\sup_{Q}\frac{1}{ \vert Q \vert } \int _{Q} \bigl\vert b(x)- \langle b\rangle _{Q} \bigr\vert \,dx< \infty . $$

Coifman, Rochberg, and Weiss [8] first studied the \(L^{p}\)-boundedness of commutators of singular integrals with the symbol \(b\in \mathrm{BMO(\mathbb{R}^{n})}\). While the endpoint case \(p=1\) was the remarkable work of Pérez [23], it was shown in [23] that the commutators of Calderón–Zygmund operators enjoy an \(L\log L\) estimate instead of being of weak type \((1,1)\). Moreover, it was observed in [22] that the commutators do not always map \(H^{1}(\mathbb{R}^{n})\) into \(L^{1}(\mathbb{R}^{n})\). In fact, Pérez [23] proved that the commutators of Calderón–Zygmund operators are bounded from \(\mathcal{H}_{b}^{1}(\mathbb{R}^{n})\) (see its definition in [23]) into \(L^{1}(\mathbb{R}^{n})\). Precisely, Pérez proved this result by establishing that

$$\begin{aligned} \sup \bigl\{ \bigl\Vert [b,T]a \bigr\Vert _{L^{1}(\mathbb{R}^{n})}\bigr\} < \infty , \end{aligned}$$

where a is a b-atom (see its definition in [23]). However, Ky [15] pointed out that the above inequality does not suffice to illustrate that \([b,T]\) is bounded from \(\mathcal{H}_{b}^{1}(\mathbb{R}^{n})\) into \(L^{1}(\mathbb{R}^{n})\). Ky filled this gap and proved that \([b,T]\) is bounded from \(H_{b}^{1}(\mathbb{R}^{n})\) into \(L^{1}(\mathbb{R}^{n})\), where \(H_{b}^{1}(\mathbb{R}^{n})\) (see Definition 2.4) contains \(\mathcal{H}_{b}^{1}(\mathbb{R}^{n})\).

In this paper, we study variation associated with the commutators of approximate identities. We first recall some definitions, notations, and background. Let \(I\subset \mathbb{R}^{+}\) and \(\mathfrak{a}:=\{a_{t}\}_{t\in I}\) be a family of complex numbers. For \(\rho >2\), the ρ-variation of \(\mathfrak{a}\) is defined by

$$\begin{aligned} \Vert \mathfrak{a} \Vert _{\mathcal{V}_{\rho }}:=\sup \biggl(\sum _{k\geq 1} \vert a_{t_{k}}-a_{t_{k+1}} \vert ^{\rho } \biggr)^{1/\rho }, \end{aligned}$$

where the supremum is taken over all finite decreasing sequences \(\{t_{k}\}\) in I. Let \(\mathcal{F}:=\{F_{t}\}_{t>0}\) be a family of operators. We also define the ρ-variation of the family \(\mathcal{F}\) by

$$\begin{aligned} \mathcal{V}_{\rho }(\mathcal{F}f) (x):= \bigl\Vert \bigl\{ F_{t}f(x)\bigr\} _{t>0} \bigr\Vert _{ \mathcal{V}_{\rho }}. \end{aligned}$$

Let \(\phi \in \mathcal{S}({\mathbb{R}^{n}})\) satisfy \(\int _{{\mathbb{R}^{n}}}\phi (x)\,dx=1\), where \(\mathcal{S}({\mathbb{R}^{n}})\) is the space of Schwartz functions. We consider the following family of operators:

$$ \Phi \star f(x):=\bigl\{ \phi _{t}\ast f(x)\bigr\} _{t>0}, $$
(1.2)

where \(\phi _{t}(x):=t^{-n}\phi (x/t)\). Let \(b\in L_{\mathrm{loc}}^{1}({\mathbb{R}^{n}})\). We will also take into account the corresponding family of commutators of operators

$$ (\Phi \star f)_{b}(x):=\bigl\{ b(x) (\phi _{t}\ast f) (x)- \phi _{t}\ast (bf) (x) \bigr\} _{t>0}, $$

where

$$ b(x) (\phi _{t}\ast f) (x)-\phi _{t}\ast (bf) (x)= \int _{{\mathbb{R}^{n}}} \frac{1}{t^{n}}\phi \biggl(\frac{x-y}{t} \biggr) \bigl(b(x)-b(y)\bigr)f(y)\,dy. $$

The ρ-variation of families \(\Phi \star f\) and \((\Phi \star f)_{b}\) is defined respectively by

$$\begin{aligned} \mathcal{V}_{\rho }(\Phi \star f) (x)=\sup _{\{t_{k}\}\downarrow 0} \biggl( \sum_{k\geq 1} \bigl\vert \phi _{t_{k}}\ast f(x)-\phi _{t_{k+1}}\ast f(x) \bigr\vert ^{\rho } \biggr)^{1/\rho } \end{aligned}$$
(1.3)

and

$$\begin{aligned} \mathcal{V}_{\rho }\bigl((\Phi \star f)_{b}\bigr) (x)={}&\sup_{\{t_{k}\}\downarrow 0} \biggl(\sum_{k\geq 1} \bigl\vert b(x) (\phi _{t_{k}}\ast f) (x)-\phi _{t_{k}} \ast (bf) (x) \\ &{} -b(x) (\phi _{t_{k+1}}\ast f) (x)+\phi _{t_{k+1}}\ast (bf) (x) \bigr\vert ^{\rho } \biggr)^{1/\rho } . \end{aligned}$$
(1.4)

In [16], Lépingle improved the well-known Doob maximal inequality by proving a variational inequality for martingales. Relying upon this result, Bourgain [2] obtained corresponding variational estimates for the Birkhoff ergodic averages and pointwise convergence results. This work has set up a new research subject in harmonic analysis and ergodic theory. Afterwards, the study of variational inequalities has been spilled over into harmonic analysis, probability and ergodic theory. Particularly, we refer readers to see [5] for the classical work of ρ-variation operators for singular integrals. In [5], the authors gave the \(L^{p}\)-bounds and weak type \((1,1)\) bounds for ρ-variation operators of truncated Hilbert transform if \(\rho >2\), and then they extended the results to higher dimension in [6]. For results of rough kernels and weighted cases, see [10, 13, 20]. In 2009, Crescimbeni et al. [9] established the \(L^{p}\)-bounds and weak type \((1,1)\) bounds for variation operators of heat semigroups and Poisson semigroups. Betancor et al. [1] also considered the \(L^{p}\)-boundedness of variation operators of heat semigroups associated with Schrödinger operators, which was generalized to metric spaces endowed with nonnegative Borel measure by Bui [4] and to weighted cases by Tang and Zhang [25]. The acting on Hardy spaces for variation operators associated with approximate identities, which include the variation operators of heat semigroups, was given by Liu [19]. For recent works on variation inequalities, we refer readers to [3, 11, 21, 26, 27].

The other side of the shield, the variational inequalities for the commutators of singular integrals also have been intensively studied. In 2013, Betancor et al. [1] studied the mapping property of variation operators for the commutators of Riesz transforms in the Euclidean and Schrödinger setting. A few years later, Liu and Wu [18] obtained the weighted \(L^{p}\)-boundedness for variation operators of commutators of truncated singular integrals with the Calderón–Zygmund kernels. Recently, variation operators of commutators with rough kernels were also obtained in [7]. For more works on variation operators of commutators, see [17, 28, 29]

From the known results about variation inequalities, none of the boundedness estimates for variation of commutators have been established, can we establish the corresponding boundedness results for variation of commutators? In this paper, we give a firm answer to this question.

Our contribution of this paper is the following.

Theorem 1.1

Let \(\phi \in \mathcal{S}(\mathbb{R}^{n})\) satisfy \(\int _{{\mathbb{R}^{n}}}\phi (x)\,dx=1\), \(b\in \mathrm{BMO({\mathbb{R}^{n}})}\), and \(1< p<\infty \), then for \(\rho >2\) and \(f\in L^{p}({\mathbb{R}^{n}})\), \(\mathcal{V}_{\rho }((\Phi \star f)_{b})\) is bounded on \(L^{p}({\mathbb{R}^{n}})\).

Theorem 1.2

Let \(\phi \in \mathcal{S}(\mathbb{R}^{n})\) satisfy \(\int _{{\mathbb{R}^{n}}}\phi (x)\,dx=1\) and \(b\in \mathrm{BMO({\mathbb{R}^{n}})}\), then for \(\rho >2\) and \(f\in H^{1}({\mathbb{R}^{n}})\), \(\mathcal{V}_{\rho }((\Phi \star f)_{b})\) is bounded from \(H^{1}({\mathbb{R}^{n}})\) to \(L^{1,\infty }({\mathbb{R}^{n}})\).

Theorem 1.3

Let \(\phi \in \mathcal{S}(\mathbb{R}^{n})\) satisfy \(\int _{{\mathbb{R}^{n}}}\phi (x)\,dx=1\) and \(b\in \mathrm{BMO({\mathbb{R}^{n}})}\), then for \(\rho >2\) and \(f\in H_{b}^{1}(\mathbb{R}^{n})\), \(\mathcal{V}_{\rho }((\Phi \star f)_{b})\) is bounded from \(H_{b}^{1}(\mathbb{R}^{n})\) to \(L^{1}(\mathbb{R}^{n})\).

Specially, we will consider the families of operators

$$ \mathcal{H}:=\bigl\{ e^{t\Delta }f(x)\bigr\} _{t>0},\qquad \mathcal{P}:=\bigl\{ e^{-t \sqrt{-\Delta }}f(x)\bigr\} _{t>0}, $$
(1.5)

where \(\Delta =\sum_{i=1}^{n}\frac{\partial ^{2}}{\partial x_{i}^{2}}\), the heat semigroup \(e^{t\Delta }\) and the Poisson semigroup \(e^{-t\sqrt{-\Delta }}\) are defined as

$$\begin{aligned}& e^{t\Delta }f(x)=(\pi t)^{-n/2} \int _{\mathbb{R}^{n}}e^{-|x-y|^{2}/t}f(y)\,dy, \\& e^{-t\sqrt{-\Delta }}f(x)=\frac{1}{\sqrt{4\pi }} \int _{0}^{\infty }te^{-t^{2}/(4s)}e^{s \Delta }f(x) s^{-3/2}\,ds=\frac{1}{\sqrt{\pi }} \int _{0}^{\infty } \frac{e^{-u}}{\sqrt{u}} e^{t^{2}/(4u)\Delta }f(x)\,du. \end{aligned}$$

And we will also take into account the corresponding families of commutators of operators

$$ \mathcal{H}_{b}:= \bigl\{ e^{t\Delta } \bigl( \bigl(b(x)-b(\cdot )\bigr)f \bigr) (x) \bigr\} _{t>0},\qquad \mathcal{P}_{b}:= \bigl\{ e^{-t\sqrt{-\Delta }} \bigl(\bigl(b(x)-b( \cdot ) \bigr)f \bigr) (x) \bigr\} _{t>0}, $$
(1.6)

where \(e^{t\Delta } ((b(x)-b(\cdot ))f )\) and \(e^{-t\sqrt{-\Delta }} ((b(x)-b(\cdot ))f )\) are defined by

$$\begin{aligned}& e^{t\Delta } \bigl(\bigl(b(x)-b(\cdot )\bigr)f \bigr) (x)=(\pi t)^{-n/2} \int _{ \mathbb{R}^{n}}e^{-|x-y|^{2}/t}\bigl(b(x)-b(y)\bigr)f(y)\,dy, \\& e^{-t\sqrt{-\Delta }} \bigl(\bigl(b(x)-b(\cdot )\bigr)f \bigr) (x)=\pi ^{-1/2} \int _{0}^{ \infty } e^{-u}u^{-1/2}e^{t^{2}/(4u)\Delta } \bigl(\bigl(b(x)-b(\cdot )\bigr)f \bigr) (x)\,du. \end{aligned}$$

Similar to (1.3) and (1.4), we can define the ρ-variation of families \(\mathcal{H}\), \(\mathcal{H}_{b}\), \(\mathcal{P}\), and \(\mathcal{P}_{b}\), and we denote them by \(\mathcal{V}_{\rho }(\mathcal{H})\), \(\mathcal{V}_{\rho }(\mathcal{H}_{b})\), \(\mathcal{V}_{\rho }(\mathcal{P})\), and \(\mathcal{V}_{\rho }(\mathcal{P}_{b})\), respectively. It is well known that the kernel of the heat semigroup

$$ \phi _{t}(x)=(\pi t)^{-n/2}e^{-|x|^{2}/t} $$

belongs to \(\mathcal{S}({\mathbb{R}^{n}})\) and satisfies \(\int _{{\mathbb{R}^{n}}}\phi (x)\,dx=1\). Following the steps in proving Theorem 1.2 and Theorem 1.3, the endpoint estimates also hold for variation associated with the commutators of Poisson semigroups. Therefore, we have the following corollary.

Corollary 1.4

Let \(b\in \mathrm{BMO({\mathbb{R}^{n}})}\), then for \(\rho >2\),

  1. (1)

    \(\mathcal{V}_{\rho }(\mathcal{H}_{b})\) is bounded on \(L^{p}({\mathbb{R}^{n}})\);

  2. (2)

    \(\mathcal{V}_{\rho }(\mathcal{H}_{b})\) is bounded from \(H^{1}({\mathbb{R}^{n}})\) to \(L^{1,\infty }({\mathbb{R}^{n}})\);

  3. (3)

    \(\mathcal{V}_{\rho }(\mathcal{H}_{b})\) is bounded from \(H_{b}^{1}(\mathbb{R}^{n})\) to \(L^{1}(\mathbb{R}^{n})\).

The same conclusions also hold for \(\mathcal{V}_{\rho }(\mathcal{P}_{b})\).

Remark 1.5

Given a family of operators \(\mathcal{F}=\{F_{\epsilon }\}_{\epsilon >0}\), define the oscillation operator by

$$ \mathcal{O}(\mathcal{F}f) (x)= \Biggl(\sum_{i=1}^{\infty } \sup_{t_{i+1} \leq \epsilon _{i}< \epsilon _{i+1}\leq t_{i}} \bigl\vert F_{\epsilon _{i}}f(x)-F_{ \epsilon _{i+1}}f(x) \bigr\vert ^{2} \Biggr)^{1/2} $$

with \(\{t_{i}\}\) being a fixed sequence decreasing to 0. We remark that from the proofs of the above theorems, the corresponding results also hold for the oscillation associated with the commutators of approximate identities.

Remark 1.6

For a family of operators given in Remark 1.5, define the α-jump operator for \(\mathcal{F}\) at x by

$$\begin{aligned} N_{\alpha }(\mathcal{F}f) (x):={}&\sup \bigl\{ N\in \mathbb{Z}^{+}: \exists s_{1}< \epsilon _{1}\leq s_{2}< \epsilon _{2}\leq \cdots \leq s_{N}< \epsilon _{N} \\ &{}\text{such that} \bigl\vert F_{\epsilon _{k}}f(x)-F_{s_{k}}f(x) \bigr\vert >\alpha \bigr\} . \end{aligned}$$

We refer readers to [10, 14] for more details about jump operators. It is trivial that \(\alpha (N_{\alpha }((\Phi \star f)_{b})(x) )^{1/\rho }\leq C_{\rho }\mathcal{V}_{\rho }((\Phi \star f)_{b})(x)\), then the results of Theorems 1.11.3 also hold for \(\alpha (N_{\alpha }((\Phi \star f)_{b})(x) )^{1/\rho }\).

We organize the rest of the paper as follows. In Sect. 2, we give some preliminaries. Section 3 is devoted to proving Theorems 1.11.3.

We end this section by making some conventions, we denote a positive constant by C, which may change at each occurrence. We also denote \(f\lesssim g\), \(f\thicksim g\) if \(f\leq Cg\) and \(f\lesssim g \lesssim f\), respectively. For any ball \(B:=B(x_{0},r)\subset \mathbb{R}^{n}\), \(x_{0}\) and r are the center and the radius of B, respectively, and \(\langle f\rangle _{B}\) means the mean value of f over B, \(\chi _{B}\) represents the characteristic function of B.

Preliminaries

In this section, we introduce some necessary definitions and lemmas.

For \(\delta >0\), we denote \(M_{\delta }(f):=M(|f|^{\delta })^{1/\delta }\), where M is the Hardy–Littlewood maximal operator. The sharp maximal function \(M^{\sharp }\) is defined by

$$ M^{\sharp }(f) (x)=\sup_{Q\ni x}\inf_{c} \frac{1}{ \vert Q \vert } \int _{Q} \bigl\vert f(y)-c \bigr\vert \,dy \sim \sup _{Q\ni x}\frac{1}{ \vert Q \vert } \int _{Q} \bigl\vert f(y)-\langle f\rangle _{Q} \bigr\vert \,dy. $$

In this paper, we use the following famous Fefferman–Stein inequality, see [12]:

$$ \int _{{\mathbb{R}^{n}}}M(f) (x)^{p}\,dx\leq C \int _{{\mathbb{R}^{n}}}M^{\sharp }(f) (x)^{p}\,dx $$

for all function f such that the left-hand side is finite, where \(0< p<\infty \).

Next, let us recall some known facts concerned with \(H^{1}(\mathbb{R}^{n})\).

Definition 2.1

Denote

$$\begin{aligned} \mathcal{B}:=\bigl\{ \phi \in \mathcal{S}\bigl(\mathbb{R}^{n}\bigr): \bigl\vert \phi (x) \bigr\vert + \bigl\vert \nabla \phi (x) \bigr\vert \leq \bigl(1+ \vert x \vert ^{2}\bigr)^{-(n+1)}\bigr\} , \end{aligned}$$

where \(\nabla =(\partial /\partial x_{1},\ldots ,\partial /\partial x_{n})\). Define

$$\begin{aligned} \mathfrak{M}f(x):=\sup_{\phi \in \mathcal{B}}\sup_{ \vert y-x \vert \leq t} \bigl\vert f \ast \phi _{t}(y) \bigr\vert , \end{aligned}$$

where \(\phi _{t}(x)=t^{-n}\phi (x/t)\) with \(t>0\). Then the space \(H^{1}(\mathbb{R}^{n})\) is the space of all tempered distributions f such that \(\mathfrak{M}f\in L^{1}(\mathbb{R}^{n})\) equipped with the norm \(\|f\|_{H^{1}(\mathbb{R}^{n})}=\|\mathfrak{M}f\|_{L^{1}(\mathbb{R}^{n})}\).

Definition 2.2

Let B be a ball, we say that a function \(a(x)\) is an \((1,\infty )\)-atom if it satisfies:

  1. (1)

    \(\operatorname{supp}a\subset B\);

  2. (2)

    \(\|a\|_{L^{\infty }}\leq |B|^{-1}\);

  3. (3)

    \(\int _{B}a(x)\,dx=0\).

Lemma 2.3

(Cf. [24])

A function \(f\in L^{1}({\mathbb{R}^{n}})\) belongs to \(H^{1}({\mathbb{R}^{n}})\) if and only if \(f=\sum_{i}\lambda _{i}a_{i}\) in \(H^{1}\) norm or \(L^{1}\) norm, where \(a_{i}\)s are \((1,\infty )\)-atoms, \(\lambda _{i}\in \mathbb{ C}\) with \(\sum_{i}|\lambda _{i}|<\infty \). Furthermore,

$$ \Vert f \Vert _{H^{1}({\mathbb{R}^{n}})}\sim \inf \biggl\{ \sum _{i} \vert \lambda _{i} \vert \biggr\} , $$

where the infimum is taken over all the above atomic decomposition of f.

As we stated in the introduction, the space \(H_{b}^{1}(\mathbb{R}^{n})\) is introduced to fill the gap left by Pérez [23]. We present its definition as follows.

Definition 2.4

Let \(b\in \mathrm{BMO(\mathbb{R}^{n})}\). The space \(H_{b}^{1}(\mathbb{R}^{n})\) consists of all f in \(H^{1}(\mathbb{R}^{n})\) such that \([b,\mathfrak{M}]f(x):=\mathfrak{M}(b(x)f(\cdot )-b(\cdot )f(\cdot ))(x)\) belongs to \(L^{1}(\mathbb{R}^{n})\). The norm of \(H_{b}^{1}(\mathbb{R}^{n})\) is defined by \(\|f\|_{H_{b}^{1}(\mathbb{R}^{n})}:=\|f\|_{H^{1}(\mathbb{R}^{n})}\|b \|_{\mathrm{BMO}}+\|[b,\mathfrak{M}]f\|_{L^{1}(\mathbb{R}^{n})}\).

In [15], Ky gave the following criterion to verify the mapping property of operators on Hardy type spaces.

Lemma 2.5

(Cf. [15])

Let \(b\in \mathrm{BMO(\mathbb{R}^{n})}\), T be a linear or nonlinear operator, and the commutator be defined as (1.1). If T is bounded from \(H^{1}(\mathbb{R}^{n})\) to \(L^{1}(\mathbb{R}^{n})\) and satisfies

$$ \bigl\Vert \bigl(b-\langle b\rangle _{Q}\bigr)Ta \bigr\Vert _{L^{1}(\mathbb{R}^{n})}\lesssim \Vert b \Vert _{ \mathrm{BMO({\mathbb{R}^{n}})}} $$
(2.1)

for any ψ-atom a of \(H^{1}(\mathbb{R}^{n})\) with \(\operatorname{supp}a\subset Q\), then the commutator \([b,T]\) maps \(H_{b}^{1}(\mathbb{R}^{n})\) into \(L^{1}(\mathbb{R}^{n})\).

Remark 2.6

We remark that we do not give the definition of ψ-atom of \(H^{1}(\mathbb{R}^{n})\) since we need to state so many backgrounds of it, but only use the properties \(\|a\|_{L^{2}(Q)}\leq |Q|^{-1/2}\) and \(\int _{Q} a(y)\,dy=0\), where Q is a cube. We refer readers to [15] for its definition.

In this paper, we also need the following lemma established in [19].

Lemma 2.7

(Cf. [19])

Let \(\phi \in \mathcal{S}(\mathbb{R}^{n})\) satisfy \(\int _{{\mathbb{R}^{n}}}\phi (x)\,dx=1\) and \(1< p<\infty \), then for \(\rho >2\), we have

  1. (1)

    \(\mathcal{V}_{\rho }(\Phi \star f)\) is bounded on \(L^{p}({\mathbb{R}^{n}})\);

  2. (2)

    \(\mathcal{V}_{\rho }(\Phi \star f)\) is bounded from \(L^{1}({\mathbb{R}^{n}})\) to \(L^{1,\infty }({\mathbb{R}^{n}})\);

  3. (3)

    \(\mathcal{V}_{\rho }(\Phi \star f)\) is bounded from \(H^{1}(\mathbb{R}^{n})\) to \(L^{1}(\mathbb{R}^{n})\).

The boundedness of commutators

To prove Theorem 1.1, we first establish the following lemma.

Lemma 3.1

Let \(\phi \in \mathcal{S}(\mathbb{R}^{n})\) satisfy \(\int _{{\mathbb{R}^{n}}}\phi (x)\,dx=1\) and \(b\in \mathrm{BMO({\mathbb{R}^{n}})}\), then for \(\rho >2\) and any \(1< s<\infty \), there is a constant \(C>0\) such that

$$\begin{aligned} M^{\sharp }\bigl(\mathcal{V}_{\rho }\bigl((\Phi \star f)_{b}\bigr)\bigr) (x)\leq C \Vert b \Vert _{\mathrm{BMO({ \mathbb{R}^{n}})}} \bigl[M_{s}\bigl(\mathcal{V}_{\rho }(\Phi \star f)\bigr) (x)+M_{s}(f) (x)\bigr]. \end{aligned}$$

Proof

For \(x\in {\mathbb{R}^{n}}\), let \(B:=B(x_{0},r)\) be any ball containing x. We write \(f=f_{1}+f_{2}\), where \(f_{1}=f\chi _{4B}\). For \(y\in B\), one can see that

$$\begin{aligned} \mathcal{V}_{\rho }\bigl((\Phi \star f)_{b}\bigr) (y)\leq{}& \bigl\vert b(y)-\langle b\rangle _{4B} \bigr\vert \mathcal{V}_{\rho }(\Phi \star f) (y)+ \mathcal{V}_{\rho }\bigl(\Phi \star \bigl(\bigl(b- \langle b\rangle _{4B}\bigr)f_{1}\bigr) \bigr) (y) \\ &{} +\mathcal{V}_{\rho }\bigl(\Phi \star \bigl(\bigl(b-\langle b\rangle _{4B}\bigr)f_{2}\bigr)\bigr) (y). \end{aligned}$$

Then

$$\begin{aligned} &\frac{1}{ \vert B \vert } \int _{B} \bigl\vert \mathcal{V}_{\rho }\bigl((\Phi \star f)_{b}\bigr) (y)- \mathcal{V}_{\rho }\bigl(\Phi \star \bigl(\bigl(b-\langle b\rangle _{4B}\bigr)f_{2}\bigr)\bigr) (x_{0}) \bigr\vert \,dy \\ & \quad \leq \frac{1}{ \vert B \vert } \int _{B} \bigl\vert b(y)-\langle b\rangle _{4B} \bigr\vert \mathcal{V}_{\rho }(\Phi \star f) (y)\,dy \\ & \qquad {}+\frac{1}{ \vert B \vert } \int _{B}\mathcal{V}_{\rho }\bigl(\Phi \star \bigl( \bigl(b- \langle b\rangle _{4B}\bigr)f_{1}\bigr) \bigr) (y) \,dy \\ &\qquad {} +\frac{1}{ \vert B \vert } \int _{B} \bigl\vert \mathcal{V}_{\rho }\bigl(\Phi \star \bigl(\bigl(b- \langle b\rangle _{4B}\bigr)f_{2}\bigr) \bigr) (y)-\mathcal{V}_{\rho }\bigl(\Phi \star \bigl(\bigl(b- \langle b \rangle _{4B}\bigr)f_{2}\bigr) \bigr) (x_{0}) \bigr\vert \,dy \\ &\quad =:I+II+III. \end{aligned}$$

We first estimate I. Using Hölder’s inequality with exponents s and \(s'\), then

$$\begin{aligned} I&\leq \biggl(\frac{1}{ \vert B \vert } \int _{B} \bigl\vert b(y)-\langle b\rangle _{4B} \bigr\vert ^{s'}\,dy \biggr)^{1/s'} \biggl(\frac{1}{ \vert B \vert } \int _{B}\mathcal{V}_{\rho }(\Phi \star f) (y)^{s}\,dy \biggr)^{1/s} \\ &\lesssim \Vert b \Vert _{\mathrm{BMO({\mathbb{R}^{n}})}}M_{s}\bigl( \mathcal{V}_{\rho }( \Phi \star f)\bigr) (x). \end{aligned}$$

To deal with II, choose \(1<\mu ,q<\infty \) such that \(\mu q=s\). Thus, Lemma 2.7 yields that

$$\begin{aligned} II&\lesssim \biggl(\frac{1}{ \vert B \vert } \int _{B}\mathcal{V}_{\rho }\bigl(\Phi \star \bigl( \bigl(b- \langle b\rangle _{4B}\bigr)f_{1}\bigr)\bigr) (y)^{q}\,dy \biggr)^{1/q} \\ &\lesssim \biggl(\frac{1}{ \vert B \vert } \int _{4B} \bigl\vert b(y)-\langle b\rangle _{4B} \bigr\vert ^{q} \bigl\vert f(y) \bigr\vert ^{q}\,dy \biggr)^{1/q} \\ &\leq \biggl(\frac{1}{ \vert B \vert } \int _{4B} \bigl\vert b(y)-\langle b\rangle _{4B} \bigr\vert ^{q \mu '}\,dy \biggr)^{1/(q\mu ')} \biggl(\frac{1}{ \vert B \vert } \int _{4B} \bigl\vert f(y) \bigr\vert ^{q\mu }\,dy \biggr)^{1/(q\mu )} \\ &\lesssim \Vert b \Vert _{\mathrm{BMO({\mathbb{R}^{n}})}}M_{s}f(x). \end{aligned}$$

Finally, we consider \(III\). Note that

$$\begin{aligned} & \bigl\vert \mathcal{V}_{\rho }\bigl(\Phi \star \bigl(\bigl(b-\langle b \rangle _{4B}\bigr)f_{2}\bigr) \bigr) (y)- \mathcal{V}_{\rho }\bigl(\Phi \star \bigl(\bigl(b-\langle b\rangle _{4B}\bigr)f_{2}\bigr) \bigr) (x_{0}) \bigr\vert \\ &\quad \leq \bigl\Vert \bigl\{ \phi _{t}\ast \bigl(\bigl(b-\langle b \rangle _{4B}\bigr)f_{2}\bigr) (y)- \phi _{t}\ast \bigl(\bigl(b-\langle b\rangle _{4B}\bigr)f_{2}\bigr) (x_{0})\bigr\} _{t>0} \bigr\Vert _{ \mathcal{V}_{\rho }} \\ &\quad =\sup_{t_{k}\downarrow 0} \biggl(\sum_{k} \biggl\vert \int _{{ \mathbb{R}^{n}}\backslash 4B}\bigl\{ \bigl[\phi _{t_{k}}(y-z)-\phi _{t_{k+1}}(y-z)\bigr]-\bigl[ \phi _{t_{k}}(x_{0}-z)-\phi _{t_{k+1}}(x_{0}-z)\bigr]\bigr\} \\ &\qquad {} \times \bigl(b(z)-\langle b\rangle _{4B}\bigr)f(z)\,dz \biggr\vert ^{\rho } \biggr)^{1/\rho } \\ &\quad \leq \int _{{\mathbb{R}^{n}}\backslash 4B} \bigl\vert f(z) \bigr\vert \bigl\vert b(z)- \langle b\rangle _{4B} \bigr\vert \bigl\Vert \bigl\{ \phi _{t}(y-z)-\phi _{t}(x_{0}-z)\bigr\} _{t>0} \bigr\Vert _{\mathcal{V}_{\rho }}\,dz. \end{aligned}$$

For \(z\in {\mathbb{R}^{n}}\backslash 4B\), applying the mean value theorem, we get that

$$\begin{aligned} & \bigl\Vert \bigl\{ \phi _{t}(y-z)-\phi _{t}(x_{0}-z)\bigr\} _{t>0} \bigr\Vert _{\mathcal{V}_{\rho }} \\ &\quad \leq \sup_{t_{k}\downarrow 0} \biggl(\sum_{k} \biggl\vert \int _{t_{k+1}}^{t_{k}} \frac{\partial }{\partial t}\bigl(\phi _{t}(y-z)-\phi _{t}(x_{0}-z)\bigr)\,dt \biggr\vert \biggr) \\ &\quad \leq \int _{0}^{\infty } \biggl\vert \frac{\partial }{\partial t} \bigl(\phi _{t}(y-z)- \phi _{t}(x_{0}-z)\bigr) \biggr\vert \,dt \\ &\quad \lesssim \vert y-x_{0} \vert \int _{0}^{\infty }\frac{1}{t^{n+2}} \biggl(1+ \frac{ \vert z-x_{0} \vert }{t} \biggr)^{-(n+2)}\,dt \\ &\quad =\frac{ \vert y-x_{0} \vert }{ \vert z-x_{0} \vert ^{n+1}} \int _{0}^{\infty } \frac{t^{n}}{(t+1)^{n+2}}\,dt\sim \frac{ \vert y-x_{0} \vert }{ \vert z-x_{0} \vert ^{n+1}} . \end{aligned}$$
(3.1)

Thus,

$$\begin{aligned} & \bigl\vert \mathcal{V}_{\rho }\bigl(\Phi \star \bigl(\bigl(b-\langle b \rangle _{4B}\bigr)f_{2}\bigr) \bigr) (y)- \mathcal{V}_{\rho }\bigl(\Phi \star \bigl(\bigl(b-\langle b\rangle _{4B}\bigr)f_{2}\bigr) \bigr) (x_{0}) \bigr\vert \\ &\quad \lesssim \int _{{\mathbb{R}^{n}}\backslash 4B} \bigl\vert f(z) \bigr\vert \bigl\vert b(z)- \langle b\rangle _{4B} \bigr\vert \frac{ \vert y-x_{0} \vert }{ \vert z-x_{0} \vert ^{n+1}}\,dz. \end{aligned}$$

Observe that

$$\begin{aligned} & \biggl( \int _{{\mathbb{R}^{n}}\backslash 4B} \frac{ \vert f(z) \vert ^{s}}{ \vert z-x_{0} \vert ^{n+1}}\,dz \biggr)^{1/s} \\ &\quad \leq \Biggl(\sum_{j=2}^{\infty } \int _{2^{j+1}B\backslash 2^{j}B} \frac{ \vert f(z) \vert ^{s}}{ \vert z-x_{0} \vert ^{n+1}}\,dz \Biggr) ^{1/s} \\ &\quad \leq \Biggl(\sum_{j=2}^{\infty } \bigl(2^{j}r\bigr)^{-n-1} \int _{2^{j+1}B} \bigl\vert f(z) \bigr\vert ^{s}\,dz \Biggr)^{1/s}\lesssim r^{-1/s}M_{s}(f) (x). \end{aligned}$$

And note that

$$\begin{aligned} & \biggl( \int _{{\mathbb{R}^{n}}\backslash 4B} \frac{ \vert b(z)-\langle b\rangle _{B} \vert ^{s'}}{ \vert z-x_{0} \vert ^{n+1}}\,dz \biggr)^{1/s'} \\ &\quad = \Biggl(\sum_{j=2}^{\infty } \int _{2^{j+1}B\backslash 2^{j}B} \frac{ \vert b(z)-\langle b\rangle _{B} \vert ^{s'}}{ \vert z-x_{0} \vert ^{n+1}}\,dz \Biggr)^{1/s'} \\ &\quad \lesssim \Biggl(\sum_{j=2}^{\infty } \frac{1}{(2^{j+1}r)^{n+1}} \int _{2^{j+1}B\backslash 2^{j}B} \bigl\vert b(z)-\langle b\rangle _{B} \bigr\vert ^{s'}\,dz \Biggr)^{1/s'} \\ &\quad \lesssim r^{-1/s'} \Biggl[\sum_{j=2}^{\infty }2^{-j-1} \biggl( \frac{1}{ \vert 2^{j+1}B \vert } \int _{2^{j+1}B} \bigl\vert b(z)-\langle b\rangle _{2^{j+1}B} \bigr\vert ^{s'}\,dz+ \bigl\vert \langle b\rangle _{2^{j+1}B}- \langle b\rangle _{B} \bigr\vert ^{s'} \biggr) \Biggr]^{1/s'} \\ & \quad\lesssim r^{-1/s'} \Vert b \Vert _{\mathrm{BMO({\mathbb{R}^{n}})}} \Biggl(\sum _{j=2}^{ \infty }2^{-j-1} \bigl(1+(j+1) \bigr) \Biggr)\sim r^{-1/s'} \Vert b \Vert _{\mathrm{BMO({ \mathbb{R}^{n}})}}. \end{aligned}$$

Combining with the above two estimates, we conclude that

$$\begin{aligned} & \bigl\vert \mathcal{V}_{\rho }\bigl(\Phi \star \bigl(\bigl(b-\langle b \rangle _{4B}\bigr)f_{2}\bigr) \bigr) (y)- \mathcal{V}_{\rho }\bigl(\Phi \star \bigl(\bigl(b-\langle b\rangle _{4B}\bigr)f_{2}\bigr) \bigr) (x_{0}) \bigr\vert \\ &\quad \leq r \biggl( \int _{{\mathbb{R}^{n}}\backslash 4B} \frac{ \vert f(z) \vert ^{s}}{ \vert z-x_{0} \vert ^{n+1}}\,dz \biggr)^{1/s} \biggl( \int _{{ \mathbb{R}^{n}}\backslash 4B} \frac{ \vert b(z)-\langle b\rangle _{4B} \vert ^{s'}}{ \vert z-x_{0} \vert ^{n+1}}\,dz \biggr)^{1/s'} \\ &\quad \lesssim rr^{-1/s'}r^{-1/s} \Vert b \Vert _{\mathrm{BMO({\mathbb{R}^{n}})}}M_{s}(f) (x)= \Vert b \Vert _{\mathrm{BMO({\mathbb{R}^{n}})}}M_{s}(f) (x), \end{aligned}$$

which implies that

$$\begin{aligned} III\lesssim \Vert b \Vert _{\mathrm{BMO({\mathbb{R}^{n}})}}M_{s}(f) (x). \end{aligned}$$

This together with the estimate of I and II completes our proof. □

Now, we are in the position to prove Theorem 1.1.

Proof of Theorem 1.1

Assume that \(\|M(\mathcal{V}_{\rho }((\Phi \star f)_{b}))\|_{L^{p}({\mathbb{R}^{n}})}\) is finite, then for \(f\in C_{c}^{\infty }({\mathbb{R}^{n}})\) and any s satisfying \(1< s< p\), we make use of the Fefferman–Stein inequality, Lemma 3.1, and Lemma 2.7 to get that

$$\begin{aligned} \bigl\Vert \mathcal{V}_{\rho }\bigl((\Phi \star f)_{b}\bigr) \bigr\Vert _{L^{p}({\mathbb{R}^{n}})}& \lesssim \bigl\Vert M\bigl(\mathcal{V}_{\rho } \bigl((\Phi \star f)_{b}\bigr)\bigr) \bigr\Vert _{L^{p}({ \mathbb{R}^{n}})} \\ &\lesssim \bigl\Vert M^{\sharp }\bigl(\mathcal{V}_{\rho }\bigl(( \Phi \star f)_{b}\bigr)\bigr) \bigr\Vert _{L^{p}({ \mathbb{R}^{n}})} \\ &\lesssim \Vert b \Vert _{\mathrm{BMO({\mathbb{R}^{n}})}} \bigl\Vert M_{s}\bigl( \mathcal{V}_{\rho }( \Phi \star f)\bigr) \bigr\Vert _{L^{p}({\mathbb{R}^{n}})}+ \Vert b \Vert _{\mathrm{BMO({ \mathbb{R}^{n}})}} \bigl\Vert M_{s}(f) \bigr\Vert _{L^{p}({\mathbb{R}^{n}})} \\ &\lesssim \Vert b \Vert _{\mathrm{BMO({\mathbb{R}^{n}})}} \Vert f \Vert _{L^{p}({\mathbb{R}^{n}})}, \end{aligned}$$

then by density we get our result.

Now, we return to proving that \(\|M(\mathcal{V}_{\rho }((\Phi \star f)_{b}))\|_{L^{p}({\mathbb{R}^{n}})}\) is finite, where \(f\in C_{c}^{\infty }({\mathbb{R}^{n}})\). By the \(L^{p}\)-boundedness of M, we only need to verify that \(\|\mathcal{V}_{\rho }((\Phi \star f)_{b})\|_{L^{p}({\mathbb{R}^{n}})}\) is finite, where \(f\in C_{c}^{\infty }({\mathbb{R}^{n}})\). If b is a bounded function, then by Lemma 2.7, we have

$$\begin{aligned} \bigl\Vert \mathcal{V}_{\rho }\bigl((\Phi \star f)_{b}\bigr) \bigr\Vert _{L^{p}({\mathbb{R}^{n}})}& \leq \Vert b \Vert _{L^{\infty }({\mathbb{R}^{n}})} \bigl\Vert \mathcal{V}_{\rho }(\Phi \star f) \bigr\Vert _{L^{p}({\mathbb{R}^{n}})}+ \bigl\Vert \mathcal{V}_{\rho }\bigl(\Phi \star (bf)\bigr) \bigr\Vert _{L^{p}({\mathbb{R}^{n}})} \\ &\lesssim \Vert b \Vert _{L^{\infty }({\mathbb{R}^{n}})} \Vert f \Vert _{L^{p}({ \mathbb{R}^{n}})}+ \Vert bf \Vert _{L^{p}({\mathbb{R}^{n}})} \\ &\lesssim \Vert b \Vert _{L^{\infty }({\mathbb{R}^{n}})} \Vert f \Vert _{L^{p}({ \mathbb{R}^{n}})}< \infty . \end{aligned}$$

While for the general BMO functions b, let \(N\in \mathbb{N}\), define

$$ b_{N}(x)= \textstyle\begin{cases} N,\quad b(x)>N, \\ b(x),\quad \vert b(x) \vert \leq N, \\ -N, \quad b(x)< -N. \end{cases} $$

Then it is easy to check that \(\|b_{N}\|_{\mathrm{BMO({\mathbb{R}^{n}})}}\leq c\|b\|_{\mathrm{BMO({ \mathbb{R}^{n}})}}\), where the implicit constant is independent of N. Keeping in mind that \(f\in C_{c}^{\infty }({\mathbb{R}^{n}})\) and \(\phi \in \mathcal{S}({\mathbb{R}^{n}})\), using \(|b_{N}|\leq |b|\) and \(b\in L_{\mathrm{loc}}^{1}({\mathbb{R}^{n}})\), by the Lebesgue dominated convergence theorem, we get

$$\begin{aligned} &\lim_{N\rightarrow \infty } \int _{{\mathbb{R}^{n}}}\bigl(b_{N}(x)-b_{N}(y)\bigr) \bigl( \phi _{t_{k}}(x-y)-\phi _{t_{k+1}}(x-y)\bigr)f(y)\,dy \\ & = \int _{{\mathbb{R}^{n}}}\bigl(b(x)-b(y)\bigr) \bigl(\phi _{t_{k}}(x-y)- \phi _{t_{k+1}}(x-y)\bigr)f(y)\,dy. \end{aligned}$$

From this, one can check that

$$ \mathcal{V}_{\rho }\bigl((\Phi \star f)_{b}\bigr)\leq \liminf _{N\rightarrow \infty }\mathcal{V}_{\rho }\bigl((\Phi \star f)_{b_{N}}\bigr). $$

Letting \(N\rightarrow \infty \) and applying the Fatou lemma, we deduce that \(\|\mathcal{V}_{\rho }((\Phi \star f)_{b})\|_{L^{p}({\mathbb{R}^{n}})}\) is finite for general BMO functions b. □

Next, we give the proof of Theorem 1.2.

Proof of Theorem 1.2

Let \(f\in H^{1}(\mathbb{R}^{n})\), then by Lemma 2.3, we can write \(f=\sum_{i}\lambda _{i}a_{i}\), where \(a_{i}\) is an \((1,\infty )\) atom. To prove this conclusion, we only need to prove it for f being a finite sum \(f=\sum_{j}\lambda _{j}a_{j}\) with \(\sum_{j}|\lambda _{j}|\leq 2\|f\|_{H^{1}({\mathbb{R}^{n}})}\), where \(a_{j}\) is a \((1,\infty )\) atom and \(\operatorname{supp}a_{j}\subset B_{j}:=B(x_{j},r_{j})\). In fact, assume that \(\mathcal{V}_{\rho }((\Phi \star f)_{b})\) is bounded from \(H^{1}(\mathbb{R}^{n})\) to \(L^{1,\infty }(\mathbb{R}^{n})\) for such f, then for the general f, one can select a sequence \(\{f_{k}\}_{k}\) with \(f_{k}\) being a finite sum as above such that \(f_{k}\) converges to f in \(H^{1}\) norm or almost everywhere when \(k\rightarrow \infty \). Therefore, by a limit argument, Theorem 1.2 follows from the \(L^{2}\)-boundedness of \(\mathcal{V}_{\rho }((\Phi \star f)_{b})\).

Now, in the following, we assume that \(f=\sum_{j}\lambda _{j}a_{j}\) is a finite sum satisfying \(\sum_{j}|\lambda _{j}|\leq 2\|f\|_{H^{1}({\mathbb{R}^{n}})}\), where \(a_{j}\) is a \((1,\infty )\) atom and \(\operatorname{supp}a_{j}\subset B_{j}\). Note that

$$\begin{aligned} \mathcal{V}_{\rho }\bigl((\Phi \star f)_{b} \bigr) (x)\leq {}&\sum_{j} \vert \lambda _{j} \vert \mathcal{V}_{\rho }\bigl((\Phi \star a_{j})_{b}\bigr) (x) \chi _{4B_{j}}(x) \\ &{} +\mathcal{V}_{\rho } \biggl(\Phi \star \biggl(\sum _{j}\lambda _{j}a_{j}\bigl(b- \langle b \rangle _{B_{j}}\bigr) \biggr) \biggr) (x) \chi _{(4B_{j})^{c}}(x) \\ &{} +\sum_{j} \vert \lambda _{j} \vert \bigl\vert b(x)-\langle b\rangle _{B_{j}} \bigr\vert \mathcal{V}_{\rho }(\Phi \star a_{j}) (x) \chi _{(4B_{j})^{c}}(x) \\ =:{}&\sum_{i=1}^{3}I_{i,j}(x) . \end{aligned}$$
(3.2)

Firstly, we consider \(I_{1,j}(x)\). By Hölder’s inequality and Theorem 1.1, we obtain

$$\begin{aligned} & \int _{\mathbb{R}^{n}}\mathcal{V}_{\rho }\bigl((\Phi \star a_{j})_{b}\bigr) (x) \chi _{4B_{j}}(x)\,dx \\ &\quad \lesssim \biggl( \int _{4B_{j}}\mathcal{V}_{\rho }\bigl((\Phi \star a_{j})_{b}\bigr) (x)^{2}\,dx \biggr) ^{1/2} \vert B_{j} \vert ^{1/2} \\ & \quad \lesssim \Vert b \Vert _{\mathrm{BMO(\mathbb{R}^{n})}} \vert B_{j} \vert ^{1/2} \biggl( \int _{B_{j}} \bigl\vert a_{j}(x) \bigr\vert ^{2}\,dx \biggr)^{1/2} \\ &\quad \lesssim \Vert b \Vert _{\mathrm{BMO(\mathbb{R}^{n})}} \vert B_{j} \vert ^{1/2} \vert B_{j} \vert ^{-1/2}= \Vert b \Vert _{\mathrm{BMO(\mathbb{R}^{n})}}. \end{aligned}$$

Thus, by the Chebyshev inequality and \(\sum_{j}|\lambda _{j}|\leq 2\|f\|_{H^{1}({\mathbb{R}^{n}})}\),

$$\begin{aligned} & \bigl\vert \bigl\{ x\in \mathbb{R}^{n}:I_{1,j}(x)> \alpha /3\bigr\} \bigr\vert \\ & \quad \leq \frac{3}{\alpha }\sum_{j} \vert \lambda _{j} \vert \int _{\mathbb{R}^{n}} \mathcal{V}_{\rho }\bigl((\Phi \star a_{j})_{b}\bigr) (x)\chi _{4B_{j}}(x)\,dx \\ &\quad \lesssim \frac{1}{\alpha } \Vert b \Vert _{\mathrm{BMO(\mathbb{R}^{n})}} \Vert f \Vert _{H^{1}( \mathbb{R}^{n})} . \end{aligned}$$
(3.3)

Next, we pay our attention to \(I_{2,j}(x)\). By Lemma 2.7 and

$$ \biggl(\frac{1}{ \vert B_{j} \vert } \int _{B_{j}} \bigl\vert b(x)-\langle b\rangle _{B_{j}} \bigr\vert ^{2}\,dx \biggr)^{1/2}\lesssim \Vert b \Vert _{\mathrm{BMO({\mathbb{R}^{n}})}}, $$

we deduce that

$$\begin{aligned} & \bigl\vert \bigl\{ x\in \mathbb{ R}^{n}:I_{2,j}(x)> \alpha /3\bigr\} \bigr\vert \\ &\quad \lesssim \frac{1}{\alpha } \biggl\Vert \sum_{j} \lambda _{j}\bigl(b- \langle b\rangle _{B_{j}} \bigr)a_{j} \biggr\Vert _{L^{1}(\mathbb{R}^{n})} \\ &\quad \leq \frac{1}{\alpha }\sum_{j} \vert \lambda _{j} \vert \bigl\Vert \bigl(b-\langle b \rangle _{B_{j}} \bigr)a_{j} \bigr\Vert _{L^{1}(\mathbb{R}^{n})} \\ &\quad \leq \frac{1}{\alpha }\sum_{j} \vert \lambda _{j} \vert \biggl( \int _{B_{j}} \bigl\vert b(x)- \langle b\rangle _{B_{j}} \bigr\vert ^{2}\,dx \biggr)^{1/2} \biggl( \int _{B_{j}} \bigl\vert a_{j}(x) \bigr\vert ^{2}\,dx \biggr)^{1/2} \\ &\quad \lesssim \frac{1}{\alpha }\sum_{j} \vert \lambda _{j} \vert \Vert b \Vert _{\mathrm{BMO( \mathbb{R}^{n})}} \vert B_{j} \vert ^{1/2} \vert B_{j} \vert ^{-1/2} \\ &\quad \lesssim \frac{1}{\alpha } \Vert b \Vert _{\mathrm{BMO(\mathbb{R}^{n})}} \Vert f \Vert _{H^{1}(\mathbb{R}^{n})} . \end{aligned}$$
(3.4)

Finally, we deal with \(I_{3,j}(x)\). We make use of (3.1) and the vanishing property of \(a_{j}\) and Minkowski’s inequality to obtain

$$\begin{aligned} &\mathcal{V}_{\rho }(\Phi \star a_{j}) (x) \\ &\quad =\sup_{\{t_{k}\}\downarrow 0} \biggl(\sum_{k} \biggl\vert \int _{ \mathbb{R}^{n}}\bigl[\bigl(\phi _{t_{k}}(x-y) -\phi _{t_{k+1}}(x-y)\bigr) \\ &\qquad {} -\bigl(\phi _{t_{k}}(x-x_{j})- \phi _{t_{k+1}}(x-x_{j}) \bigr)\bigr]a_{j}(y)\,dy \biggr\vert ^{\rho } \biggr)^{1/\rho } \\ &\quad \leq \int _{B_{j}} \bigl\vert a_{j}(y) \bigr\vert \bigl\Vert \bigl\{ \phi _{t}(x-y)-\phi _{t}(x-x_{j}) \bigr\} _{t>0} \bigr\Vert _{\mathcal{V}_{\rho }}\,dy \\ &\quad \lesssim \int _{B_{j}} \bigl\vert a_{j}(y) \bigr\vert \frac{ \vert y-x_{j} \vert }{ \vert x-x_{j} \vert ^{n+1}}\,dy . \end{aligned}$$
(3.5)

Observe that

$$\begin{aligned} \int _{B_{j}} \bigl\vert a_{j}(y) \bigr\vert \,dy \leq 1. \end{aligned}$$

From (3.5), we deduce that

$$\begin{aligned} & \int _{\mathbb{R}^{n}} \bigl\vert b(x)-\langle b\rangle _{B_{j}} \bigr\vert \mathcal{V}_{\rho }(\Phi \star a_{j}) (x)\chi _{(4B_{j})^{c}} (x)\,dx \\ & \quad \leq \sum_{l=2}^{\infty } \int _{2^{l+1}B_{j}\backslash 2^{l}B_{j}} \bigl\vert b(x)- \langle b\rangle _{B_{j}} \bigr\vert \int _{B_{j}} \frac{ \vert y-x_{j} \vert }{ \vert x-x_{j} \vert ^{n+1}} \bigl\vert a_{j}(y) \bigr\vert \,dy\,dx \\ &\quad \lesssim \sum_{l=2}^{\infty } \int _{2^{l+1}B_{j}} \frac{r_{j}}{(2^{l+1}r_{j})^{n+1}} \bigl\vert b(x)-\langle b \rangle _{B_{j}} \bigr\vert \,dx \\ & \quad \lesssim \sum_{l=2}^{\infty }2^{-l} \biggl( \frac{1}{ \vert 2^{l+1}B_{j} \vert } \int _{2^{l+1}B_{j}} \bigl\vert b(x)-\langle b\rangle _{2^{l+1}B_{j}} \bigr\vert \,dx+ \bigl\vert \langle b\rangle _{2^{l+1}B_{j}}-\langle b \rangle _{B_{j}} \bigr\vert \biggr) \\ &\quad \leq \sum_{l=2}^{\infty }2^{-l} \bigl[1+2^{n}(l+1)\bigr] \Vert b \Vert _{\mathrm{BMO( \mathbb{R}^{n})}}\sim \Vert b \Vert _{\mathrm{BMO(\mathbb{R}^{n})}} . \end{aligned}$$

Therefore,

$$\begin{aligned} & \bigl\vert \bigl\{ x\in \mathbb{R}^{n}:I_{3,j}(x)> \alpha /3\bigr\} \bigr\vert \\ &\quad \leq \frac{3}{\alpha } \int _{\mathbb{R}^{n}}\sum_{j} \vert \lambda _{j} \vert \bigl\vert b(x)- \langle b\rangle _{B_{j}} \bigr\vert \mathcal{V}_{\rho }(\Phi \star a_{j}) (x) \chi _{(4B_{j})^{c}}(x)\,dx \\ & \quad \lesssim \frac{1}{\alpha }\sum_{j} \vert \lambda _{j} \vert \Vert b \Vert _{\mathrm{BMO( \mathbb{R}^{n})}} \\ &\quad \lesssim \frac{1}{\alpha } \Vert b \Vert _{\mathrm{BMO(\mathbb{R}^{n})}} \Vert f \Vert _{H^{1}(\mathbb{R}^{n})} . \end{aligned}$$
(3.6)

Combining with (3.2), (3.3), (3.4), and (3.6), we get the desired result. □

Finally, we prove Theorem 1.3.

Proof of Theorem 1.3

From Lemma 2.5 and Lemma 2.7, we only need to check condition (2.1). For any ψ-atom a of \(H^{1}(\mathbb{R}^{n})\), suppose that \(\operatorname{supp}a\subset Q\) and \(x_{0}\) is the center of cube Q. By Hölder’s inequality, \(\|a\|_{L^{2}(Q)}\leq |Q|^{-1/2}\), and the \(L^{p}\)-boundedness of \(\mathcal{V}_{\rho }(\Phi \star a)\), we have

$$\begin{aligned} \int _{4Q} \bigl\vert b(x)-\langle b\rangle _{Q} \bigr\vert \mathcal{V}_{\rho }(\Phi \star a) (x)\,dx \lesssim& \biggl( \int _{4Q} \bigl\vert b(x)-\langle b\rangle _{Q} \bigr\vert ^{2}\,dx \biggr)^{1/2} \Vert a \Vert _{L^{2}(\mathbb{R}^{n})} \\ \lesssim& \Vert b \Vert _{\mathrm{BMO(\mathbb{R}^{n})}}. \end{aligned}$$
(3.7)

On the other hand, using (3.5), \(\|a\|_{L^{2}(Q)}\leq |Q|^{-1/2}\), and Hölder’s inequality, we have

$$\begin{aligned} & \int _{2^{j+1}Q\backslash 2^{j}Q} \bigl\vert b(x)-\langle b\rangle _{Q} \bigr\vert \mathcal{V}_{\rho }(\Phi \star a) (x)\,dx \\ &\quad \lesssim \int _{2^{j+1}Q\backslash 2^{j}Q} \bigl\vert b(x)-\langle b \rangle _{Q} \bigr\vert \int _{Q}\frac{ \vert y-x_{0} \vert }{ \vert x-x_{0} \vert ^{n+1}} \bigl\vert a(y) \bigr\vert \,dy\,dx \\ & \quad \lesssim \vert Q \vert ^{1/n} \int _{2^{j+1}Q\backslash 2^{j}Q} \bigl\vert b(x)- \langle b\rangle _{Q} \bigr\vert \vert x-x_{0} \vert ^{-n-1} \int _{Q} \bigl\vert a(y) \bigr\vert \,dy\,dx \\ &\quad \leq \vert Q \vert ^{1/n} \int _{2^{j+1}Q\backslash 2^{j}Q} \bigl\vert b(x)-\langle b \rangle _{Q} \bigr\vert \vert x-x_{0} \vert ^{-n-1}\,dx. \end{aligned}$$

Now, in fact, we get that

$$\begin{aligned} & \int _{(4Q)^{c}} \bigl\vert b(x)-\langle b\rangle _{Q} \bigr\vert \mathcal{V}_{\rho }(\Phi \star a) (x)\,dx \\ &\quad \lesssim \sum_{j=2}^{\infty } \vert Q \vert ^{1/n} \int _{2^{j+1}Q \backslash 2^{j}Q} \bigl\vert b(x)-\langle b\rangle _{Q} \bigr\vert \vert x-x_{0} \vert ^{-n-1}\,dx \\ &\quad \lesssim \sum_{j=2}^{\infty } \frac{ \vert Q \vert ^{1/n}}{ \vert 2^{j+1}Q \vert ^{1/n}} \biggl(\frac{1}{ \vert 2^{j+1}Q \vert } \int _{2^{j+1}Q} \bigl\vert b(x)- \langle b\rangle _{2^{j+1}Q} \bigr\vert \,dx+ \bigl\vert \langle b\rangle _{2^{j+1}Q}- \langle b\rangle _{Q} \bigr\vert \biggr) \\ &\quad \lesssim \Vert b \Vert _{\mathrm{BMO(\mathbb{R}^{n})}} . \end{aligned}$$
(3.8)

Then, by (3.7) and (3.8), we get (2.1). This completes our proof. □

Availability of data and materials

Not applicable.

References

  1. 1.

    Betancor, J.J., Farina, J.C., Harbour, E., Rodriguez-Mesa, L.: \(L^{p}\)-boundedness properties of variation operators in the Schrödinger setting. Rev. Mat. Complut. 26(2), 485–534 (2013)

    MathSciNet  Article  Google Scholar 

  2. 2.

    Bourgain, J.: Pointwise ergodic theorems for arithmetric sets. Publ. Math. Inst. Hautes Études Sci. 69(1), 5–45 (1989)

    Article  Google Scholar 

  3. 3.

    Bourgain, J., Mirek, M., Stein, E.M., Wróbel, B.A.: On dimension-free variational inequalities for averaging operators in \(\mathbb{R}^{d}\). Geom. Funct. Anal. 28(1), 58–99 (2018)

    MathSciNet  Article  Google Scholar 

  4. 4.

    Bui, T.A.: Boundedness of variation operators and oscillation operators for certain semigroups. Nonlinear Anal. 106, 124–137 (2014)

    MathSciNet  Article  Google Scholar 

  5. 5.

    Campbell, J.T., Jones, R.L., Reinhold, K., Wierdl, M.: Oscillations and variation for the Hilbert transform. Duke Math. J. 105(1), 59–83 (2000)

    MathSciNet  Article  Google Scholar 

  6. 6.

    Campbell, J.T., Jones, R.L., Reinhold, K., Wierdl, M.: Oscillations and variation for singular integrals in higher dimensions. Trans. Am. Math. Soc. 355(5), 2115–2137 (2003)

    MathSciNet  Article  Google Scholar 

  7. 7.

    Chen, Y., Ding, Y., Hong, G., Liu, H.: Variational inequalities for the commutators of rough operators with BMO functions. J. Funct. Anal. 275(8), 2446–2475 (2018)

    Article  Google Scholar 

  8. 8.

    Coifman, R.R., Rochberg, R., Weiss, G.: Factorization theorems for Hardy spaces in several variables. Ann. Math. (2) 103(3), 611–635 (1976)

    MathSciNet  Article  Google Scholar 

  9. 9.

    Crescimbeni, R., Macías, R.A., Menárguez, T., Torrea, J.L., Viviani, B.: The ρ-variation as an operator between maximal operators and singular integrals. J. Evol. Equ. 9(1), 81–102 (2009)

    MathSciNet  Article  Google Scholar 

  10. 10.

    Ding, Y., Hong, G., Liu, H.: Jump and variational inequalities for rough operators. J. Fourier Anal. Appl. 23(3), 679–711 (2017)

    MathSciNet  Article  Google Scholar 

  11. 11.

    Duong, X.T., Li, J., Yang, D.: Variation of Calderón–Zygmund operators with matrix weight. arXiv:1811.11324v2

  12. 12.

    Fefferman, C., Stein, E.M.: \(H^{p}\) spaces of severable variables. Acta Math. 129, 137–193 (1972)

    MathSciNet  Article  Google Scholar 

  13. 13.

    Gillespie, T.A., Torrea, J.L.: Dimension free estimates for the oscillation of Riesz transform. Isr. J. Math. 141, 125–144 (2004)

    MathSciNet  Article  Google Scholar 

  14. 14.

    Jones, R.L., Seeger, A., Wright, J.: Strong variational and jump inequalities in harmonic analysis. Trans. Am. Math. Soc. 360(12), 6711–6742 (2008)

    MathSciNet  Article  Google Scholar 

  15. 15.

    Ky, L.D.: Bilinear decompositions and commutators of singular integral operators. Trans. Am. Math. Soc. 365(6), 2931–2958 (2013)

    MathSciNet  Article  Google Scholar 

  16. 16.

    Lépingle, D.: La variation d’order p des semi-martingales. Z. Wahrscheinlichkeitstheor. Verw. Geb. 36(4), 295–316 (1976)

    Article  Google Scholar 

  17. 17.

    Liu, F., Jhang, S., Oh, S.-K., Fu, Z.: Variation inequalities for one-sided singular integrals and related commutators. Mathematics 7(10), 876 (2019)

    Article  Google Scholar 

  18. 18.

    Liu, F., Wu, H.: A criterion on oscillation and variation for the commutators of singular integrals. Forum Math. 27, 77–97 (2015)

    MathSciNet  MATH  Google Scholar 

  19. 19.

    Liu, H.: Variational characterization of \(H^{p}\). Proc. R. Soc. Edinb., Sect. A 149(5), 1123–1134 (2019)

    Article  Google Scholar 

  20. 20.

    Ma, T., Torrea, J.L., Xu, Q.: Weighted variation inequalities for differential operators and singular integrals. J. Funct. Anal. 268(2), 376–416 (2015)

    MathSciNet  Article  Google Scholar 

  21. 21.

    Mirek, M., Stein, E.M., Trojan, B.: \(l^{p}(\mathbb{Z}^{d})\)-estimates for discrete operators of Radon type: variational estimates. Invent. Math. 209(3), 665–748 (2017)

    MathSciNet  Article  Google Scholar 

  22. 22.

    Paluszyński, M.: Characterization of Lipschitz spaces via commutators of Coifman, Rocherberg and Weiss; a multiplier theorem for the semigroup of contractions. Thesis, Washington University (1992)

  23. 23.

    Pérez, C.: Endpoint estimates for commutators of singular integral operators. J. Funct. Anal. 128(1), 163–185 (1995)

    MathSciNet  Article  Google Scholar 

  24. 24.

    Stein, E.M.: Harmonic Analysis: Real-Variable Methods, Orthogonality, and Oscillatory Integrals. Princeton University Press, Princeton (1993)

    MATH  Google Scholar 

  25. 25.

    Tang, L., Zhang, Q.: Variation operators for semigroups and Riesz transforms acting on weighted \(L^{p}\) and BMO spaces in the Schrödinger setting. Rev. Mat. Complut. 29(3), 559–621 (2016)

    MathSciNet  Article  Google Scholar 

  26. 26.

    Wu, H., Yang, D., Zhang, J.: Oscillation and variation for semigroups associated with Bessel operators. J. Math. Anal. Appl. 443(2), 848–867 (2016)

    MathSciNet  Article  Google Scholar 

  27. 27.

    Wu, H., Yang, D., Zhang, J.: Oscillation and variation for the Riesz transform associated with Bessel operators. Proc. R. Soc. Edinb., Sect. A 149(1), 169–190 (2019)

    MathSciNet  Article  Google Scholar 

  28. 28.

    Zhang, J., Wu, H.: Oscillation and variation inequalities for the commutators of singular integrals with Lipschitz functions. J. Inequal. Appl. 2015, 214 (2015)

    MathSciNet  Article  Google Scholar 

  29. 29.

    Zhang, J., Wu, H.: Oscillation and variation inequalities for singular integrals and commutators on weighted Morrey spaces. Front. Math. China 11(2), 423–447 (2016)

    MathSciNet  Article  Google Scholar 

Download references

Acknowledgements

The authors thank the referees cordially for their valuable suggestions and comments.

Funding

This work is supported by the NSF of Shandong Province (GrantNos. ZR2019YQ04, 2020KJI002), President’s fund of Minnan Normal University (No. KJ2020020), the scientific research project of The Education Department of Fujian Province (No. JAT200331), and Fujian Key Laboratory of Granular Computing and Applications (Minnan Normal University), China.

Author information

Affiliations

Authors

Contributions

All authors contributed equally and significantly in writing this paper. All authors read and approved the final manuscript.

Corresponding author

Correspondence to Xianming Hou.

Ethics declarations

Competing interests

The authors declare that they have no competing interests.

Rights and permissions

Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Wen, Y., Hou, X. The boundedness of variation associated with the commutators of approximate identities. J Inequal Appl 2021, 140 (2021). https://doi.org/10.1186/s13660-021-02679-8

Download citation

MSC

  • 42B20
  • 42B25
  • 42B30
  • 42B35

Keywords

  • Variation
  • Boundedness
  • Commutators