- Research
- Open access
- Published:
The boundedness of variation associated with the commutators of approximate identities
Journal of Inequalities and Applications volume 2021, Article number: 140 (2021)
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.
1 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
And we say that b belongs to \(\mathrm{BMO(\mathbb{R}^{n})}\) spaces if
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
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
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
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:
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
where
The ρ-variation of families \(\Phi \star f\) and \((\Phi \star f)_{b}\) is defined respectively by
and
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
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
And we will also take into account the corresponding families of commutators of operators
where \(e^{t\Delta } ((b(x)-b(\cdot ))f )\) and \(e^{-t\sqrt{-\Delta }} ((b(x)-b(\cdot ))f )\) are defined by
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
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)
\(\mathcal{V}_{\rho }(\mathcal{H}_{b})\) is bounded on \(L^{p}({\mathbb{R}^{n}})\);
-
(2)
\(\mathcal{V}_{\rho }(\mathcal{H}_{b})\) is bounded from \(H^{1}({\mathbb{R}^{n}})\) to \(L^{1,\infty }({\mathbb{R}^{n}})\);
-
(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
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
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.1–1.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.1–1.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.
2 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
In this paper, we use the following famous Fefferman–Stein inequality, see [12]:
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
where \(\nabla =(\partial /\partial x_{1},\ldots ,\partial /\partial x_{n})\). Define
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)
\(\operatorname{supp}a\subset B\);
-
(2)
\(\|a\|_{L^{\infty }}\leq |B|^{-1}\);
-
(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,
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
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)
\(\mathcal{V}_{\rho }(\Phi \star f)\) is bounded on \(L^{p}({\mathbb{R}^{n}})\);
-
(2)
\(\mathcal{V}_{\rho }(\Phi \star f)\) is bounded from \(L^{1}({\mathbb{R}^{n}})\) to \(L^{1,\infty }({\mathbb{R}^{n}})\);
-
(3)
\(\mathcal{V}_{\rho }(\Phi \star f)\) is bounded from \(H^{1}(\mathbb{R}^{n})\) to \(L^{1}(\mathbb{R}^{n})\).
3 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
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
Then
We first estimate I. Using Hölder’s inequality with exponents s and \(s'\), then
To deal with II, choose \(1<\mu ,q<\infty \) such that \(\mu q=s\). Thus, Lemma 2.7 yields that
Finally, we consider \(III\). Note that
For \(z\in {\mathbb{R}^{n}}\backslash 4B\), applying the mean value theorem, we get that
Thus,
Observe that
And note that
Combining with the above two estimates, we conclude that
which implies that
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
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
While for the general BMO functions b, let \(N\in \mathbb{N}\), define
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
From this, one can check that
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
Firstly, we consider \(I_{1,j}(x)\). By Hölder’s inequality and Theorem 1.1, we obtain
Thus, by the Chebyshev inequality and \(\sum_{j}|\lambda _{j}|\leq 2\|f\|_{H^{1}({\mathbb{R}^{n}})}\),
Next, we pay our attention to \(I_{2,j}(x)\). By Lemma 2.7 and
we deduce that
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
Observe that
From (3.5), we deduce that
Therefore,
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
On the other hand, using (3.5), \(\|a\|_{L^{2}(Q)}\leq |Q|^{-1/2}\), and Hölder’s inequality, we have
Now, in fact, we get that
Then, by (3.7) and (3.8), we get (2.1). This completes our proof. □
Availability of data and materials
Not applicable.
References
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)
Bourgain, J.: Pointwise ergodic theorems for arithmetric sets. Publ. Math. Inst. Hautes Études Sci. 69(1), 5–45 (1989)
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)
Bui, T.A.: Boundedness of variation operators and oscillation operators for certain semigroups. Nonlinear Anal. 106, 124–137 (2014)
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)
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)
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)
Coifman, R.R., Rochberg, R., Weiss, G.: Factorization theorems for Hardy spaces in several variables. Ann. Math. (2) 103(3), 611–635 (1976)
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)
Ding, Y., Hong, G., Liu, H.: Jump and variational inequalities for rough operators. J. Fourier Anal. Appl. 23(3), 679–711 (2017)
Duong, X.T., Li, J., Yang, D.: Variation of Calderón–Zygmund operators with matrix weight. arXiv:1811.11324v2
Fefferman, C., Stein, E.M.: \(H^{p}\) spaces of severable variables. Acta Math. 129, 137–193 (1972)
Gillespie, T.A., Torrea, J.L.: Dimension free estimates for the oscillation of Riesz transform. Isr. J. Math. 141, 125–144 (2004)
Jones, R.L., Seeger, A., Wright, J.: Strong variational and jump inequalities in harmonic analysis. Trans. Am. Math. Soc. 360(12), 6711–6742 (2008)
Ky, L.D.: Bilinear decompositions and commutators of singular integral operators. Trans. Am. Math. Soc. 365(6), 2931–2958 (2013)
Lépingle, D.: La variation d’order p des semi-martingales. Z. Wahrscheinlichkeitstheor. Verw. Geb. 36(4), 295–316 (1976)
Liu, F., Jhang, S., Oh, S.-K., Fu, Z.: Variation inequalities for one-sided singular integrals and related commutators. Mathematics 7(10), 876 (2019)
Liu, F., Wu, H.: A criterion on oscillation and variation for the commutators of singular integrals. Forum Math. 27, 77–97 (2015)
Liu, H.: Variational characterization of \(H^{p}\). Proc. R. Soc. Edinb., Sect. A 149(5), 1123–1134 (2019)
Ma, T., Torrea, J.L., Xu, Q.: Weighted variation inequalities for differential operators and singular integrals. J. Funct. Anal. 268(2), 376–416 (2015)
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)
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)
Pérez, C.: Endpoint estimates for commutators of singular integral operators. J. Funct. Anal. 128(1), 163–185 (1995)
Stein, E.M.: Harmonic Analysis: Real-Variable Methods, Orthogonality, and Oscillatory Integrals. Princeton University Press, Princeton (1993)
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)
Wu, H., Yang, D., Zhang, J.: Oscillation and variation for semigroups associated with Bessel operators. J. Math. Anal. Appl. 443(2), 848–867 (2016)
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)
Zhang, J., Wu, H.: Oscillation and variation inequalities for the commutators of singular integrals with Lipschitz functions. J. Inequal. Appl. 2015, 214 (2015)
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)
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
Authors and Affiliations
Contributions
All authors contributed equally and significantly in writing this paper. All authors read and approved the final manuscript.
Corresponding author
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/.
About this article
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
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-021-02679-8