- Research
- Open access
- Published:
Oscillation and variation inequalities for the commutators of singular integrals with Lipschitz functions
Journal of Inequalities and Applications volume 2015, Article number: 214 (2015)
Abstract
This paper is devoted to investigating the boundedness of the oscillation and variation operators for the commutators generated by Calderón-Zygmund singular integrals with Lipschitz functions in the weighted Lebesgue spaces and the endpoint spaces in dimension 1. Certain criterions of boundedness are given. As applications, the weighted \((L^{p}, L^{q})\)-estimates for the oscillation and variation operators on the iterated commutators of Hilbert transform and Hermitian Riesz transform, the \((L^{p}, \dot{\wedge}_{(\beta -1/p)})\)-bounds as well as the endpoint estimates for the oscillation and variation operators of the corresponding first order commutators are established.
1 Introduction
Let \(\mathcal{T}=\{T_{\varepsilon}\}_{\varepsilon}\) be a family of operators such that the limit \(\lim_{\varepsilon\rightarrow 0}T_{\varepsilon}f(x)=Tf(x)\) exists in some sense. A classical method of measuring the speed of convergence of the family \(\{T_{\varepsilon}\}\) is to consider ‘square function’ of the type \((\sum_{i=1}^{\infty}|T_{\varepsilon_{i}}f-T_{\varepsilon_{i+1}}f|^{2})^{1/2}\), where \(\varepsilon_{i}\searrow0\). Or, more generally, the oscillation operator defined as
with \(\{t_{i}\}\) being a fixed sequence decreasing to zero, and the ρ-variation operator defined by
where the sup is taken over all sequence \(\{\varepsilon_{i}\}\) decreasing to zero. We also consider the operator
It is easy to check that
The oscillation and variation for martingales and some families of operators have been studied in many resent papers on probability, ergodic theory, and harmonic analysis. We refer the readers to [1–4] and the references therein for more background information. Recently, Liu and Wu [5] gave a criterion on the weighted norm estimate of the oscillation and variation operators for the commutators of Calderón-Zygmund singular integrals with BMO functions in dimension 1. We also point out that the \(L^{p}\)-boundedness for the higher order commutators of singular integrals was obtained by Segovia and Torrea [6] in 1993. The purpose of this paper is to establish some new results concerning the oscillation and ρ-variation operators for the families of commutators generated by Calderón-Zygmund singular integrals with Lipschitz functions. Precisely, we will establish a criterion on the weighted \((L^{p}, L^{q})\)-type estimates of the oscillation and ρ-variation operators for the iterated commutators of Calderón-Zygmund singular integrals with Lipschitz functions for \(0<\beta<1\) and \(1< p<1/\beta\) with \(1/q=1/p-\beta\). We will also consider the boundedness of \((L^{p}, \dot {\wedge}_{(\beta-1/p)})\) type for the corresponding operators related to the first order commutator for \({1}/{\beta}< p<\infty\), and the endpoint cases, namely \(p={1}/{\beta}\) or \(p=\infty\). As applications, the corresponding boundedness of the oscillation and variation operators for the commutators of Hilbert transform and the Hermitian Riesz transforms will be given.
Before stating our main results, we recall some definitions and notations. Let \(K(x,y)\) be the standard kernels with constants δ and A, that is, \(K(x,y)\) is defined on \(\mathbf{R}\times\mathbf{R}\setminus\{ (x,x): x\in\mathbf{R}\}\) and satisfies the size condition for some \(A>0\)
and the regularity conditions, for some \(\delta>0\),
whenever \(2|x-x'|\leq\max(|x-y|,|x'-y|)\) and
whenever \(2|y-y'|\leq\max(|x-y|,|x-y'|)\). The class of all standard kernels with constants δ and A is denoted by \(\operatorname{SK}(\delta,A)\). For a locally integrable function b defined in R, we say b belongs to the space \(\mathit{Lip}_{\beta}^{p}\) for \(1\leq p\leq\infty\), \(0<\beta<1\), if there is a constant \(C>0\) such that
The smallest bound C satisfying (1.5) is taken to be the norm of b denoted by \(\|b\|_{\mathit{Lip}_{\beta}^{p}}\). Here I is an interval in R and \(b_{I}=|I|^{-1}\int_{I}b(x)\, dx\).
Obviously, for the case \(p=1\), \(\mathit{Lip}_{\beta}^{p}\) is the homogeneous Lipschitz space \(\dot{\wedge}_{\beta}\). García-Cuerva [7] proved that the spaces \(\mathit{Lip}_{\beta}^{p}\) coincide, and the norms of \(\|\cdot\|_{\mathit{Lip}_{\beta}^{p}}\) are equivalent with respect to different values of p provided that \(1\leq p\leq\infty\). For \(m\in\mathbf{N}\), \(\vec {b}=(b_{1}, b_{2},\ldots,b_{m})\in\dot{\wedge}_{\vec{\beta}}\), which means that \(b_{i}\in\dot{\wedge}_{\beta_{i}}\) (\(i=1,\ldots,m\)) with \(\vec{\beta }=(\beta_{1},\ldots,\beta_{m})\) and \(0<\beta=\beta_{1}+\cdots+\beta_{m}<1\), we consider the family of operators \({\mathcal{T}}:=\{T_{\varepsilon}\}_{\varepsilon>0}\) given by
and \({\mathcal{T}}_{\vec{b}}:=\{T_{\varepsilon, \vec{b}}\}_{\varepsilon >0}\), where \(T_{\varepsilon,\vec{b}}\) is the iterated commutators \(T_{\varepsilon}\) and \(\vec{b}\), which is given by
for \(m=1\), and
for \(f\in\bigcup_{1\leq p<\infty}L^{p}(\mathbf{R})\). When \(m=1\), we also denote \(\vec{b}\) by b, \(T_{\varepsilon,\vec{b}}\) by \(T_{\varepsilon ,b}\), and \(\mathcal{T}_{\vec{b}}\) by \(\mathcal{T}_{b}\).
In this paper, we will study the behaviors of oscillation and variation operators for the families of commutators defined by (1.7) and (1.8) in Lebesgue spaces. Our main results can be formulated as follows.
Theorem 1.1
Suppose that \(K(x,y)\) satisfies (1.2)-(1.4), \(\vec{b}\in\dot{\wedge}_{\vec{\beta}}\), \(0<\beta =\beta_{1}+\cdots+\beta_{m}<1\). Let \(\rho>2\), \(\mathcal{T}=\{\mathcal {T}_{\varepsilon}\}_{\varepsilon>0}\) and \(\mathcal{T}_{\vec{b}}=\{T_{\varepsilon,\vec{b}}\}_{\varepsilon>0}\) be given by (1.6) and (1.8), respectively. If \(\mathcal{O}(\mathcal{T})\) and \(\mathcal{V}_{\rho}(\mathcal{T})\) are bounded in \(L^{p_{0}}(\mathbf {R},dx)\) for some \(1< p_{0}<\infty\), then for any \(1< p<1/\beta\) with \({1}/{q}={1}/{p}-\beta\), \(\omega\in A_{(p,q)}\) (the Muckenhoupt classes of fractional type, see the definition below), \(\mathcal{O}(\mathcal {T}_{\vec{b}})\) and \(\mathcal{V}_{\rho}(\mathcal{T}_{\vec{b}})\) are bounded from \(L^{p}(\mathbf{R}, \omega(x)^{p}\, dx)\) to \(L^{q}(\mathbf {R},\omega(x)^{q}\, dx)\).
For \(1/\beta\le p\le\infty\), we can establish the following un-weighted results only for the oscillation and variation operators related to the first order commutator.
Theorem 1.2
Suppose that \(K(x,y)\) satisfies (1.2)-(1.4), \(b\in\dot{\wedge}_{\beta}\), \(0<\beta\leq\delta<1\), where δ is the same as in (1.3). Let \(\rho>2\), \(\mathcal{T}=\{\mathcal{T}_{\varepsilon}\}_{\varepsilon>0}\) and \(\mathcal{T}_{b}=\{T_{\varepsilon,b}\}_{\varepsilon>0}\) be given by (1.6) and (1.7), respectively. If \(\mathcal{O}(\mathcal{T})\) and \(\mathcal{V}_{\rho}(\mathcal{T})\) are bounded in \(L^{p_{0}}(\mathbf {R},dx)\) for some \(1< p_{0}<\infty\), then for any \({1}/{\beta}< p<\infty\), there exists a constant \(C>0\) such that for all bounded functions f with compact support,
and
Theorem 1.3
Suppose that \(K(x,y)\) satisfies (1.2)-(1.4), \(b\in\dot{\wedge}_{\beta}\), \(0<\beta\leq\delta<1\), where δ is the same as in (1.3). Let \(\rho>2\), \(\mathcal{T}=\{\mathcal{T}_{\varepsilon}\}_{\varepsilon>0}\) and \(\mathcal{T}_{b}=\{T_{\varepsilon,b}\}_{\varepsilon>0}\) be given by (1.6) and (1.7), respectively. If \(\mathcal{O}(\mathcal{T})\) and \(\mathcal{V}_{\rho}(\mathcal{T})\) are bounded in \(L^{p_{0}}(\mathbf {R},dx)\) for some \(1< p_{0}<\infty\), then for \(p={1}/{\beta}\), there exists a constant \(C>0\) such that for all bounded functions f with compact support,
and
Remark 1.1
We remark that our arguments in proving Theorems 1.2 and 1.3 do not work for the cases of high order commutators \(\mathcal{T}_{\vec{b}}\) (\(m>1\)). It is not clear whether the corresponding results for \(\mathcal{O}(\mathcal{T}_{\vec{b}})\) and \(\mathcal{V}_{\rho}(\mathcal{T}_{\vec{b}})\) for \(m>1\) also hold, which is very interesting. We also remark that in our theorems, we deal only with \(\rho>2\) for the variation operators, since in the case \(\rho\le 2\) the variation is often not bounded (see [1, 8]).
The rest of this paper is organized as follows. In Section 2, we will recall some basic facts concerning weights, maximal functions, sharp maximal functions and characterization of the space \(\dot{\wedge}_{\beta }\). The weighted \((L^{p}, L^{q})\)-type estimates of the oscillation and variation operators for the iterated commutators will be given in Section 3. In Section 4, we will show the \((L^{p}, \dot{\wedge}_{(\beta -1/p)})\)-bounds of the oscillation and variation operators for the first order commutator \(\mathcal{T}_{b}\) in the cases \({1}/{\beta }< p<\infty\) and the endpoint. Finally, as applications, the corresponding results of the oscillation and variation operators related to the commutators of Hilbert transform and Hermitian Riesz transforms as well as the λ-jump operators and the number of up-crossing for these operators will be obtained in Section 5. We remark that our works and ideas are greatly motivated by [3, 9].
Throughout the rest of the paper, \(C>0\) always denotes a constant that is independent of main parameters involved but whose value may differ from line to line. For any index \(p\in[1,\infty]\), we denote by \(p'\) its conjugate index, namely \(1/p+1/p'=1\).
2 Preliminaries
2.1 Weights
By a weight we mean a non-negative measurable function. We recall that a weight ω belongs to the class \(A_{p}\), \(1< p<\infty\), if
where I denotes the term in R, \(p'=p/(p-1)\). This number is called the \(A_{p}\) constant of ω and is denoted by \([\omega]_{A_{p}}\). A weight ω belongs to the class \(A_{1}\) if there is a constant C such that
and the infimum of this constant C is called the \(A_{1}\) constant of ω and is denoted by \([\omega]_{A_{1}}\). Since the \(A_{p}\) classes are increasing with respect to p, the \(A_{\infty}\) class of weights is defined in a natural way by \(A_{\infty}=\bigcup_{p\ge1}A_{p}\) and the \(A_{\infty}\) constant of \(\omega\in A_{\infty}\) is the smallest of the infimum of the \(A_{p}\) constant such that \(\omega\in A_{p}\).
A weight \(\omega(x)\) is said to belong to the class \(A_{(p,q)}\), \(1< p\le q<\infty\), if
It is well known that
where \(0<\alpha<1\), \(1\le p<1/\alpha\), \(1/q=1/p-\alpha\) and \(s=1+q/p'\). The following result, which can be found in Theorem 3.10 of [10], will be used below.
Lemma 2.1
([10])
Let \(1< p\le q<\infty\). If \(\omega\in A_{(p,q)}\), then there exists \(r\in(1, p)\) such that \(w^{r}\in A_{(p/r,q/r)}\).
2.2 Maximal functions and sharp maximal functions
We recall the definitions of the Hardy-Littlewood maximal function
and the sharp maximal function
where \(f_{I}=|I|^{-1}\int_{I}f(y)\,dy\). A well-known result obtained by Muckenhoupt [11] is that M is bounded on \(L^{p}(\omega)\) if and only if \(\omega\in A_{p}\) for \(1< p<\infty\).
Also, we denote the fractional maximal operator \(M_{\beta}\) defined by
and its variant \(M_{\beta,r}\) defined by
The following properties will play key roles in the proofs of our main theorems.
Lemma 2.2
([12])
Let \(1< p<\infty\), \(\omega\in A_{\infty}\). Then
for all f such that the left-hand side is finite.
Lemma 2.3
([13])
Suppose that \(0<\beta <1\), \(1< p<{1}/{\beta}\), \({1}/{q}={1}/{p}-\beta\). If \(\omega\in A_{(p,q)}\), then
Lemma 2.4
Suppose that \(0<\beta<1\), \(1< r< p<{1}/{\beta}\), \({1}/{q}={1}/{p}-\beta\). If \(\omega\in A_{(p,q)}\), then
Note that \(M_{\beta,r}(f)(x)= (M_{\beta r}(|f|^{r})(x) )^{1/r}\). Lemma 2.4 immediately follows from Lemmas 2.1 and 2.3. We omit the details.
2.3 Characterization of the space \(\dot{\wedge}_{\beta}\)
By the definition of \(\dot{\wedge}_{\beta}\), it is easy to check that for \(f\in\dot{\wedge}_{\beta}\), \(0<\beta\le1\),
3 The weighted \((L^{p}, L^{q})\)-type estimates
This section is devoted to the proof of Theorem 1.1. Let us begin with recalling two previous known results, which will be used below.
Lemma 3.1
([5])
Suppose that \(K(x,y)\) satisfies (1.2)-(1.4), \(\rho>2\). Let \(\mathcal{T}=\{T_{\varepsilon}\}_{\varepsilon>0}\) be given by (1.6). If \(\mathcal{O}(\mathcal{T})\) and \(\mathcal{V_{\rho}}(\mathcal{T})\) are bounded in \(L^{p_{0}}(\mathbf{R})\) for some \(1< p_{0}<\infty\), then for any \(1< p<\infty\), \(\omega\in A_{p}\),
and
The proof of Theorem 1.1 is based on the following sharp maximal function estimate. Before stating the result, we recall some notations. For \(1\leq j\leq m\), we denote by \(C_{j}^{m}\) the family of all finite subsets \(\sigma=\{\sigma(1),\ldots,\sigma(j)\}\) of \(\{1,2,\ldots,m\}\) with j different elements. For any \(\sigma\in C_{j}^{m}\), the complementary sequence \(\sigma'\) is given by \(\sigma'=\{1,2\cdots,m\} \setminus\sigma\). For \(\vec{\beta}=(\beta_{1},\ldots,\beta_{m})\) with \(\beta=\beta_{1}+\cdots+\beta_{m}\), \(\vec{b}=(b_{1},\ldots,b_{m})\) with \(b_{i}\in \dot{\wedge}_{\beta_{i}}\) (\(i=1,\ldots,m\)), we denote \(\vec{\beta}_{\sigma}=(\beta_{\sigma(1)},\ldots,\beta_{\sigma(j)})\) with \(\beta_{\sigma}=\beta _{\sigma(1)}+\cdots+\beta_{\sigma(j)}\), \(\beta_{\sigma'}=\beta-\beta _{\sigma}\), and \(\vec{b}_{\sigma}=(b_{\sigma(1)},\ldots, b_{\sigma(j)})\) with
for any \(\sigma=\{\sigma(1),\ldots,\sigma(j)\}\), \(1\le j\le m\).
Now we state our main lemma as follows.
Lemma 3.2
Suppose that \(K(x,y)\) satisfies (1.2)-(1.4), \(\vec{\beta}=(\beta_{1},\ldots,\beta_{m})\) with \(\beta =\beta_{1}+\cdots+\beta_{m}\) and \(0<\beta<1\), \(\vec{b}=(b_{1},\ldots,b_{m})\) with \(b_{i}\in\dot{\wedge}_{\beta_{i}}\) (\(i=1,\ldots,m\)). Then for \(\rho >2\), \(\mathcal{T}\) and \(\mathcal{T}_{\vec{b}}\) being as in Theorem 1.1, we have
and
hold for any \(r>1\).
Before proving Lemma 3.2, we need to fix some notations. Following [3], we denote by E the mixed norm Banach space of two variable function h defined on \(\mathbf {R}\times\mathbf{N}\) such that
Given a family of operators \(\mathcal{T}:=\{T_{t}\}_{t>0}\) defined on \(L^{p}(\mathbf{R})\), for a fixed decreasing sequence \(\{t_{i}\}\) with \(t_{i}\searrow0\), let \(J_{i}=(t_{i+1},t_{i}]\) and define the operator \(U(\mathcal{T}):f\rightarrow U(\mathcal{T})f\), where \(U(\mathcal{T})f(x)\) is the E-valued function given by
Here the expression \(\{T_{t_{i}+1}f(x)-T_{s}f(x)\}_{s\in J_{i},i\in\mathbf {N}}\) is a convenient abbreviation for the element of E given by
Then
On the other hand, let \(\Theta=\{\beta:\beta=\{\varepsilon _{i}\},\varepsilon _{i}\in\mathbf{R},\varepsilon _{i}\searrow0\}\). We consider the set \(\mathbf{N}\times\Theta\) and denote by \(F_{\rho}\) the mixed norm space of two variable functions \(g(i,\beta)\) such that
We also consider the \(F_{\rho}\)-valued operator \(V(\mathcal {T}):f\rightarrow V(\mathcal{T})f\) on \(L^{p}(\mathbf{R})\) given by
where \(\{T_{\varepsilon _{i+1}}\, f(x)-T_{\varepsilon _{i}}\, f(x)\}_{\beta=\{\varepsilon _{i}\}\in\Theta}\) is an abbreviation for the element of \(F_{\rho}\) given by
This implies that
Finally, if B is a Banach space and φ is a B-valued function, we define
This together with (2.3), (3.7) and (3.10) leads to
and
Proof of Lemma 3.2
For simplicity and without loss of generality, we consider only the case \(m = 2\). By (3.12)-(3.13), it suffices to show the following results:
and
We will prove only inequality (3.14) since (3.15) can be obtained by a similar argument. Fix f and \(x_{0}\) with an interval \(I=(x_{0}-l,x_{0}+l)\). Define \(f_{1}(y)=f(y)\chi_{4I}\) and \(f_{2}(y)=f(y)-f_{1}(y)\). Let
where \(b_{I}=|I|^{-1}\int_{I}b(x)\,dx\), \((4I)^{c}\) denotes the complementary set of the interval \(4I=(x_{0}-4l,x_{0}+4l)\). By (3.11), it suffices to prove the following inequality:
for every \(x_{0}\in\mathbf{R}\). Since
Now we estimate the above four terms, respectively. Firstly,
As for \(I_{2}\), we have
By symmetry, we have
Finally, we deal with \(I_{4}\) as follows:
Invoking Lemma 3.1, we know that \(\mathcal{O}'(\mathcal{T})\) is bounded on \(L^{t}(\mathbf{R})\) for any \(1< t<\infty\). Therefore, for any \(r>1\), let \(t=\sqrt{r}\), we get
Now we estimate term F. For \(x\in I\), we have
Note that \(\|\{\chi_{t_{i+1}<|x-y|<s}\}_{s\in J_{i},i\in\mathbf {N}}\|_{E}\leq1\) and \(|x-x_{0}|\leq l\leq|x_{0}-y|/2\) for \(x\in I\), \(y\in(4I)^{c}\). By Minkowski’s inequality and (1.3), we have
For \(F_{2}\), notice that the integral
will only be non-zero if either \(\chi_{\{t_{i+1}<|x-y|<s\}}(y)=1\) and \(\chi_{\{t_{i+1}<|x_{0}-y|<s\}}(y)=0\) or vice versa. That means the integral will only be non-zero in the following cases: (i) \(t_{i+1}<|x-y|<s\) and \(|x_{0}-y|\leq t_{i+1}\); (ii) \(t_{i+1}<|x-y|<s \) and \(|x_{0}-y|\geq s\); (iii) \(t_{i+1}<|x_{0}-y|<s\) and \(|x-y|\leq t_{i+1}\); (iv) \(t_{i+1}<|x_{0}-y|<s\) and \(|x-y|\geq s\). In the first case we observe that \(t_{i+1}<|x-y|\leq|x-x_{0}|+|x_{0}-y|<l+t_{i+1}\) as \(|x-x_{0}|< l\). Analogously, in the third case we have \(t_{i+1}<|x_{0}-y|<l+t_{i+1}\). In the second case we have \(s<|x_{0}-y|\leq |x_{0}-x|+|x-y|<l+s\), and in the fourth case \(s<|x-y|<l+s\). Using (1.2), we have
where in the last inequality we have used Hölder’s inequality with r being the range \(1< r<\infty\) and recalling that \(t=\sqrt{r}\). Returning to our estimation of \(F_{2}\), we have
Choosing \(1< r<4\) with \(t=\sqrt{r}\), we have
Therefore we get
Similarly,
Consequently,
This completes the proof of Lemma 3.2. □
Proof of Theorem 1.1
We will only prove the result for the operator \(\mathcal{O}(\mathcal{T}_{\vec{b}})\) since a similar proof can be given for the operator \(\mathcal{V}_{\rho}(\mathcal {T}_{\vec{b}})\). To apply (2.4), we first take it for granted that \(\| M(\mathcal{O}'(\mathcal{T}_{\vec{b}})f)\|_{L^{q}(\omega^{q})}\) is finite. We will check these to the end of the proof.
We proceed by induction on m. Note that \(\omega^{q}\in A_{q}\) and \(\omega ^{p}\in A_{p}\). For \(m=1\), by (1.1), Lemmas 2.2, 2.4, 3.1 and 3.2, we have
Now we consider the case \(m\geq2\). Suppose that for \(m-1\) the theorem is true, and let us prove it for m. The same argument as used above and the induction hypothesis yield that
where \(\beta_{\sigma'}=\beta-\beta_{\sigma}\), \(1/q=1/p_{\sigma}-\beta_{\sigma}=1/p-\beta_{\sigma}-\beta_{\sigma'}=1/p-\beta\).
It remains to check that \(\|M(\mathcal{O}(\mathcal{T}_{\vec{b}}f))\| _{L^{q}(\omega^{q})}<\infty\) for any \(m\geq1\). By the weighted \(L^{q}\)-boundedness of M, it is reduced to checking that \(\|\mathcal{O}'(\mathcal{T}_{\vec{b}}f)\|_{L^{q}(\omega^{q})}<\infty\). For simplicity, we will check only that \(\|\mathcal{O}'(\mathcal {T}_{b}f)\|_{L^{q}(\omega^{q})}<\infty\) since the others are similar. Suppose that b and ω are all bounded functions. Notice that
we have
for all \(f\in C_{0}^{\infty}(\mathbf{R})\), where in the second inequality we have used the result of (3.1) in Lemma 3.1.
For the general case, we will truncate \(\vec{b}\) and ω as follows. For \(N \in\mathbf{N}\), we define \(\omega^{N}(x)=\inf\{\omega (x),N\}\), and for \(\vec{b}=(b_{1},b_{2},\ldots,b_{m})\), \(\vec{b}^{N}=(b_{1}^{N},b_{2}^{N},\ldots,b_{m}^{N})\),
It is easy to check that
Then the results of Theorem 1.1 hold for the operators family \(\mathcal {T}_{\vec{b}^{N}}=\{T_{\varepsilon,\vec{b}^{N}}\}_{\varepsilon>0}\) and the weights \(\omega^{N}\). On the other hand, notice that
It is not difficult to check that
This together with (3.16) and Fatou’s lemma implies that the theorem holds for the general case. Theorem 1.1 is proved. □
4 The \((L^{p}, \dot{\wedge}_{(\beta-1/p)})\)-type estimates
In this section, we will prove Theorems 1.2-1.3, which need the un-weighted results of Theorem 1.1.
Proof of Theorem 1.2
For any interval \(I\subset\mathbf{R}\) satisfying \(|I|=2l\), define \(f_{1}(y)=f(y)\chi_{4I}\) and \(f_{2}(y)=f(y)-f_{1}(y)\). Let
where \((4I)^{c}\) denotes the complementary set of the interval 4I. By (2.6), it suffices to prove that
We write
Choose \(1< p_{1}<{1}/{\beta}<p\) and \(q_{1}\) with \({1}/{q_{1}}={1}/{p_{1}}-\beta \). Then, by Theorem 1.1,
and
We write
Note that \(\|\chi_{\{t_{i+1}<|x-y|<s\}}\|_{E}\leq1\) and \(|x-z|\leq 2l\leq{2|z-y|}/{3}\) for \(x\in I\), \(y\in(4I)^{c}\), \(z\in I\). We have
For the second term \(A_{22}\), as the proof of term \(F_{2}\) in Lemma 3.2, we get
Note that
We get
Similarly,
Consequently,
which completes the proof of Theorem 1.2. □
Proof of Theorem 1.3
Theorem 1.3 can be regarded as the case of the endpoint \(p=1/\beta\) in Theorem 1.2. By similar arguments as those in proving Theorem 1.2, we can get Theorem 1.3. Here, we omit the details. □
5 Applications
In this section, we will give certain applications of our main theorems.
5.1 On the oscillation and variation related to the commutators of Hilbert transform and Hermitian Riesz transform
Let \(\mathcal{T}=\{T_{\varepsilon}\}\) be composed by truncations of the Hilbert transform \(\mathcal{H}=\{H_{\varepsilon}\}_{\varepsilon}\) given by
In 2000, Campbell et al. [14] proved the strong \((p,p)\)-boundedness in the range \(1< p<\infty\) and the weak type \((1,1)\)-boundedness of the oscillation operator \(\mathcal{O}(\mathcal{H})\) and the ρ-variation operator \(\mathcal {V}_{\rho}(\mathcal{H})\) for \(\rho>2\). Subsequently, in [15], the aforementioned authors extended the above results to the higher dimensional cases. In 2004, Gillespie and Torrea [3] showed that both \(\mathcal{O}(\mathcal{H})\) and \(\mathcal{V_{\rho}}(\mathcal{H})\) with \(\rho>2\) are bounded on \(L^{p}(\mathbf{R},\omega(x)\,dx)\) for \(\omega (x)\in A_{p}\), \(1< p<\infty\). Recently, Crecimbeni et al. [2] proved that both \(\mathcal{O}(\mathcal{H})\) and \(\mathcal{V_{\rho}}(\mathcal{H})\) with \(\rho>2\) map \(L^{1}(\mathbf{R},\omega(x)\,dx)\) into \(L^{1,\infty }(\mathbf{R},\omega(x)\,dx)\) for \(\omega\in A_{1}\); moreover, they also showed that both \(\mathcal{O}(\mathcal{R}^{\pm})\) and \(\mathcal{V_{\rho}}(\mathcal{R}^{\pm})\) with \(\rho>2\) map \(L^{p}(\mathbf {R},\omega(x)\,dx)\) for \(\omega(x)\in A_{p}\) in the range \(1< p<\infty\), and map \(L^{1}(\mathbf{R},\omega(x)\,dx)\) into \(L^{1,\infty}(\mathbf{R},\omega(x)\,dx)\) for \(\omega\in A_{1}\), where \(\mathcal{R}^{\pm}\) are the Hermitian Riesz transforms, that is, the Riesz transform associated with the harmonic oscillator
Precisely, \(\mathcal{R}^{\pm}\) are bounded from \(L^{p}(\mathbf{R},dx)\) into itself for \(1< p<\infty\), and from \(L^{1}(\mathbf{R},dx)\) into \(L^{1,\infty }(\mathbf{R},dx)\) (see [16, 17]). Moreover, \(\mathcal{R}^{\pm}\) are principal value operators, that is,
where \(\mathcal{R}^{\pm}(x,y)\) are the appropriated kernels whose expressions can be found in [16]. In particular, by Proposition 3.1 in [16], the kernels \(\mathcal{R}^{\pm}(x,y)\) of the Riesz transform \(\mathcal{R}^{\pm}\) are the standard Calderón-Zygmund kernels satisfying (1.2)-(1.4). We consider oscillation and variation operators for commutators of the Hilbert transform and Hermitian Riesz transform. Let \(\vec {b}=(b_{1},\ldots,b_{m})\) be a locally integrable function on R, \(\mathcal{H}_{\vec{b}}=\{H_{\varepsilon,\vec{b}}\}_{\varepsilon}\) and \(\mathcal{R}^{\pm}_{{\vec{b}}}=\{\mathcal{R}^{\pm}_{\varepsilon,\vec {b}}\}_{\varepsilon}\), where
and
Then applying Theorems 1.1-1.3 to \(\mathcal{H}\) and \(\mathcal{R}^{\pm}\), we get the following results.
Theorem 5.1
Let \(\mathcal{T}=\{\mathcal {T}_{\varepsilon}\}\) be either the truncations of the Hilbert transform \(\mathcal{H}=\{H_{\varepsilon}\}_{\varepsilon}\) or the truncations of Hermitian Riesz transforms \(\mathcal{R}^{\pm}=\{\mathcal{R}^{\pm }_{\varepsilon}\}_{\varepsilon}\), and \(\mathcal{T}_{\vec{b}}=\{\mathcal{T}_{\varepsilon,\vec{b}}\} _{\varepsilon}\) the corresponding iterated commutators with \(\vec {b}=(b_{1},\ldots,b_{m})\). If \(b_{i}\in\dot{\wedge}_{\beta_{i}}\) (\(i=1,\ldots ,m\)) with \(0<\beta=\beta_{1}+\cdots+\beta_{m}<1\), \(\rho>2\), then for \(1< p<1/\beta\) with \(1/q=1/p-\beta\) and \(\omega\in A_{(p,q)}\),
and
Theorem 5.2
Let \(\mathcal{T}=\{\mathcal {T}_{\varepsilon}\}\) be either the truncations of the Hilbert transform \(\mathcal{H}=\{H_{\varepsilon}\}_{\varepsilon}\) or the truncations of Hermitian Riesz transforms \(\mathcal{R}^{\pm}=\{\mathcal{R}^{\pm }_{\varepsilon}\}_{\varepsilon}\), and \(\mathcal{T}_{{b}}=\{\mathcal{T}_{\varepsilon,{b}}\}_{\varepsilon}\) the corresponding commutators with \(b\in\dot{\wedge}_{\beta}\) and \(0<\beta <1\). Then, for \(\rho>2\), \(1/\beta< p<\infty\),
and
Remark 5.1
Obviously, \(T_{\varepsilon}=H_{\varepsilon}\) and \(T_{\varepsilon,\vec{b}}=H_{\varepsilon,\vec{b}}\) for \(K(x,y)=1/(x-y)\) satisfying (1.2)-(1.4) with \(\delta=1\) and \(A=16\). And by Proposition 3.1 in [16], we know that \(T_{\varepsilon}={\mathcal{R}}^{\pm}_{\varepsilon}\) and \(T_{\varepsilon,\vec{b}}={\mathcal{R}}^{\pm}_{\varepsilon,\vec{b}}\) for \(K(x,y)={\mathcal{R}}^{\pm}(x,y)\) satisfying (1.2)-(1.4) with \(\delta=1\) and some \(A>0\). Also, by Theorems 1.1 and 1.2 in [14] (resp., by Theorem A in [2]), \({\mathcal{O}}({\mathcal{H}})\) and \({\mathcal{V}}_{\rho}({\mathcal{H}})\) (resp., \({\mathcal{O}}({\mathcal{R}}^{\pm})\) and \({\mathcal{V}}_{\rho}({\mathcal{R}}^{\pm})\)) with \(\rho>2\) are bounded on \(L^{p}(\mathbf{R})\) for \(1< p<\infty\). Then Theorems 5.1 and 5.2 directly follow from Theorems 1.1-1.3.
5.2 On the λ-jump operators and the number of up-crossing
To the end, as applications of our main results, we consider the λ-jump operators and the number of up-crossing associated with the operators sequence \(\{T_{\varepsilon}\}\), which give certain quantitative information on the convergence of the family \(\{ T_{\varepsilon}\}\).
Definition 5.1
The λ-jump operator associated with a sequence \(\mathcal{T}=\{T_{\varepsilon}\}_{\varepsilon }\) applied to a function f at a point x is denoted by \(\Lambda (\mathcal{T}, f, \lambda)(x)\) and defined by
Proposition 5.1
([18])
If λ-jump operators is finite a.e. for each choice of \(\lambda>0\), then we must have a.e. convergence of our family of operators.
Proposition 5.2
([18])
The λ-jump operators are controlled by the ρ-variation operator. Precisely, we have
Applying Theorems 1.1-1.3 together with Proposition 5.2, we can get the following results.
Theorem 5.3
Suppose that \(K(x,y)\) satisfies (1.2)-(1.4), \(\vec{b}=(b_{1},\ldots,b_{m})\) with \(b_{i}\in\dot {\wedge}_{\beta_{i}}\) (\(i=1,\ldots,m\)) and \(0<\beta=\beta_{1}+\cdots+\beta _{m}\leq\delta<1\), where δ is the same as in (1.3), \(\rho>2\). Let \(\mathcal{T}=\{\mathcal{T}_{\varepsilon}\}_{\varepsilon>0}\) and \(\mathcal{T}_{\vec{b}}=\{T_{\varepsilon,\vec{b}}\}_{\varepsilon>0}\) be given by (1.6) and (1.8), respectively. If \(\mathcal{V}_{\rho }(\mathcal{T})\) is bounded in \(L^{r}(\mathbf{R},dx)\) for some \(1< r<\infty\), then for \(1< p<{1}/{\beta}\) with \(1/q=1/p-\beta\) and \(\omega\in A_{(p,q)}\), we have
Theorem 5.4
Suppose that \(K(x,y)\) satisfies (1.2)-(1.4), \({b}\in\dot{\wedge}_{\beta}\), \(0<\beta\le\delta<1\), where δ is the same as in (1.3), \(\rho>2\). Let \(\mathcal{T}=\{\mathcal{T}_{\varepsilon}\}_{\varepsilon>0}\) and \(\mathcal{T}_{{b}}=\{T_{\varepsilon,{b}}\}_{\varepsilon>0}\) be given by (1.6) and (1.7), respectively. If \(\mathcal{V}_{\rho}(\mathcal {T})\) is bounded in \(L^{r}(\mathbf{R},dx)\) for some \(1< r<\infty\), then we have
and
Also, for fixed \(0<\alpha<\gamma\), we consider the number of up-crossing associated with a sequence \(\mathcal{T}=\{T_{\varepsilon}\} _{\varepsilon}\) applied to a function f at a point x, which is defined by
It is easy to check that
This together with Theorems 5.3 and 5.4 directly leads to the following results.
Theorem 5.5
Under the same assumptions as in Theorem 5.3 or Theorem 5.4, we have
or
and
Finally, by Remark 5.1 and Theorems 5.3-5.5, we have the following.
Theorem 5.6
Let \(\mathcal{T}=\{\mathcal {T}_{\varepsilon}\}\) be either the truncations of the Hilbert transform \(\mathcal{H}=\{H_{\varepsilon}\}_{\varepsilon}\) or the truncations of Hermitian Riesz transforms \(\mathcal{R}^{\pm}=\{\mathcal{R}^{\pm }_{\varepsilon}\}_{\varepsilon}\), and \(\mathcal{T}_{\vec{b}}=\{\mathcal{T}_{\varepsilon,\vec{b}}\} _{\varepsilon}\), or \(\mathcal{T}_{b}=\{\mathcal{T}_{\varepsilon,b}\}\), the corresponding commutators with \(\vec{b}\in\dot{\wedge}_{\vec{\beta}}\), or \(b\in\dot{\wedge}_{\beta}\), \(0<\beta<1\). Then the corresponding conclusions of Theorems 5.3-5.5 hold.
References
Akcoglu, M, Jones, RL, Schwartz, P: Variation in probability, ergodic theory and analysis. Ill. J. Math. 42(1), 154-177 (1998)
Crescimbeni, R, Martin-Reyes, FJ, Torre, AL, Torrea, JL: The ρ-variation of the Hermitian Riesz transform. Acta Math. Sin. Engl. Ser. 26, 1827-1838 (2010)
Gillespie, TA, Torrea, JL: Dimension free estimates for the oscillation of Riesz transforms. Isr. J. Math. 141, 125-144 (2004)
Jones, RL: Ergodic theory and connections with analysis and probability. N.Y. J. Math. 3A, 31-67 (1997)
Liu, F, Wu, HX: A criterion on oscillation and variation for the commutators of singular integral operators. Forum Math. 27(1), 77-97 (2015)
Segovia, C, Torrea, JL: Higher order commutators for vector values Calderón-Zygmund operators. Trans. Am. Math. Soc. 336, 537-556 (1993)
García-Cuerva, J: Weighted \(H^{p}\) space. Diss. Summ. Math. 162, 1-63 (1979)
Bougain, J: Pointwise ergodic theorem for arithmetic sets. Publ. Math. Inst. Hautes Études Sci. 69, 5-45 (1989)
Meng, Y, Yang, D: Boundedness of commutators with Lipschitz functions in non-homogeneous spaces. Taiwan. J. Math. 10(6), 1443-1464 (2006)
Chen, S, Wu, H, Xue, Q: A note on multilinear Muckenhoupt classes for multiple weights. Stud. Math. 223(1), 1-18 (2014)
Muckenhoupt, B: Weighted norm inequalities for the Hardy maximal function. Trans. Am. Math. Soc. 165, 207-226 (1972)
Fefferman, C, Stein, EM: \(H^{p}\) Spaces of several variables. Acta Math. 129, 137-193 (1972)
Muckenhoupt, B, Wheeden, R: Weighted norm inequalities for the fractional integrals. Trans. Am. Math. Soc. 192, 261-274 (1974)
Campbell, JT, Jones, RL, Reinhdd, K, Wierdl, M: Oscillation and variation for Hilbert transform. Duke Math. J. 105, 59-83 (2000)
Campbell, JT, Jones, RL, Reinhdd, K, Wierdl, M: Oscillation and variation for singular integrals in higher dimension. Trans. Am. Math. Soc. 355, 2115-2137 (2003)
Stempark, K, Torrea, JL: Poisson integrals and Riesz transforms for Hermite function expansions with weights. J. Funct. Anal. 202, 443-472 (2003)
Thangavelu, S: Lectures on Hermite and Laguerre Expansions. Math. Notes, vol. 42. Princeton University Press, Princeton (1993)
Jones, RL: Variation inequalities for singular integrals and related operators. Contemp. Math. 411, 89-121 (2006)
Acknowledgements
The authors would like to express their deep gratitude to the referee for his/her invaluable comments and suggestions. This work was supported by the National Natural Science Foundation of China (Nos. 11371295 and 11471041) and the Natural Science Foundation of Fujian Province of China (No. 2015J01025).
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
The authors completed the paper together. They also read and approved the final manuscript.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Zhang, J., Wu, H. Oscillation and variation inequalities for the commutators of singular integrals with Lipschitz functions. J Inequal Appl 2015, 214 (2015). https://doi.org/10.1186/s13660-015-0737-x
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-015-0737-x