Abstract
In this paper, we study the commutators generated by Lipschitz functions and fractional type integral operators with kernels of the form
where \(0\le \alpha =\alpha _{1}+\cdots +\alpha _{m}< n\), each \(\kappa _{i}\) satisfies the \((n-\alpha _{i})\)-order fractional size condition and a generalized fractional Hörmander condition, \(A_{i}\) is invertible, and \(A_{i}-A_{j}\) is invertible for \(i \neq j\), \(1 \leq i, j \leq m\). We establish the corresponding sharp maximal function estimates and obtain the weighted Coifman type inequalities, weighted \(L^{p}(w^{p}) \rightarrow L^{q}(w^{q})\) estimates, and the weighted endpoint estimates for such commutators.
Similar content being viewed by others
1 Introduction and main results
Let \(n, m \in \mathbb{N}\), \(0 \leq \alpha < n\). For any locally integrable bounded function f, define
where
\(\alpha =\alpha _{1}+\cdots +\alpha _{m}\), and for each \(1 \leq i \leq m\), \(k_{i}\) satisfies \((n-\alpha _{i})\)-order fractional size condition, \(A_{i}\) is a matrix such that
-
(H)
\(A_{i}\) is invertible and \(A_{i}-A_{j}\) is invertible for \(i \neq j\), \(1 \leq i,j \leq m\).
Clearly, \(T_{\alpha ,1}=I_{\alpha }\), the Riesz potential, for \(m=1\), \(A_{1}\) is the n-order identity matrix, and \(k_{1}(x-A_{1}y)=1/|x-y|^{ \alpha }\). For general m and certain \(k_{i}\), \(T_{0,m}\) behaves like a singular integral operator and \(T_{\alpha ,m}\) has been studied in [1,2,3,4,5,6,7,8,9,10]. In particular, Riveros and Urciuolo [5, 6, 11] considered each \(k_{i}\) as a rough fractional kernel, and each \(k_{i}\) satisfies an \(L^{\alpha _{i},\gamma _{i}}\)-Hörmander regular condition, or more general \(k_{i} \in H_{\alpha ,\gamma _{i}}\), that is, for all \(x \in \mathbb{R}^{n}\) and \(|x|< R\),
They showed that these operators are bounded from \(L^{p}\) into \(L^{q}\), for \(1< p\le q<\infty \), \(1/q =1/p-\alpha /n\). In [12], Ibañez-Firnkorn and Riveros analyzed operators of the form (1) with conditions of regularity more general than the \(L^{\alpha ,\gamma }\)-Hörmander condition and a fractional size condition. Before giving the definitions of the fractional size condition \({S_{n-{\alpha _{i},\varPsi _{i}}}}\) and the generalized fractional Hörmander condition \({H_{n-{\alpha _{i}, \varPsi _{i}, k}}}\), we first recall the definitions and properties for Young function.
A function \(\varPsi : [0,\infty ) \rightarrow [0,\infty )\) is said to be a Young function if Ψ is continuous, convex, nondecreasing and satisfies \(\varPsi (0) = 0 \) and \(\lim_{t\rightarrow \infty } \varPsi (t) = \infty \). For \(f \in L_{\mathrm{loc}}^{1}(\mathbb{R}^{n})\) and each Young function Ψ, we can induce an average of the Luxemburg norm of a function f in the ball B defined by
and a fractional maximal operator \(M_{\alpha ,\varPsi }\) (\(0\leq \alpha < n\)) defined by
and we denote \(M_{0,\varPsi }\) by \(M_{\varPsi }\), the Orlicz maximal operator.
In particular, for \(\varPsi (t) = t\), \(\|f\|_{\varPsi ,B} :=|B|^{-1}\int _{B}|f(x)|\,dx\) and \(M_{\alpha ,\varPsi } = M_{\alpha }\), the fractional maximal operator; for \(\varPsi (t) = t^{r}\) with \(1 < r < \infty \), \(\|f\|_{\varPsi ,B} =\|f\|_{r,B}:= (|B|^{-1}\int _{B}|f(x)|^{r}\,dx)^{1/r}\) and \(M_{\alpha ,\varPsi } = M_{\alpha ,r}\), and \(M_{0,r}f := \sup_{B \ni x}\|f\|_{r,B} := M(f^{r})^{1/r}\).
Next, we recall the definitions of the fractional size condition and the generalized fractional Hörmander condition. Normally, we use \(|x|\sim s\) to represent \(s < |x|\leq 2s\). For the Young function Ψ, we write
For \(0\leq \alpha < n\), the function \(K_{\alpha }\) is said to satisfy the fractional size condition if there exists a constant \(C > 0\) such that
And we denote \(K_{\alpha } \in S_{\alpha ,\varPsi }\) in this case. When \(\varPsi (t) = t\), we write \(S_{\alpha ,\varPsi } = S_{\alpha }\). Observe that if \({K_{\alpha }} \in S_{\alpha }\), then there exists a constant \(C > 0\) such that
We say that the function \(K_{\alpha }\) satisfies the \(L^{\alpha , \varPsi ,k}\)-Hörmander condition denoted by \(K_{\alpha } \in H_{ \alpha ,\varPsi ,k}\) if there exist constants \(c_{\varPsi } > 1\) and \(C_{\varPsi } > 0\) such that, for all x and \(R > c_{\varPsi }|x|\),
When \(\varPsi (t) = t^{r}\), \(1 \leq r < \infty \), we simply write \(H_{\alpha ,r,k}\) instead of \(H_{\alpha ,\varPsi ,k}\). See [13] or [14] for more details.
In this paper, we consider the k-order commutators \(T_{\alpha ,m,b} ^{k}\) generated by Lipschitz functions and the operator \(T_{\alpha ,m}\), where \(k_{i} \in {S_{n-{\alpha _{i},\varPsi _{i}}}}\cap {H_{n-{\alpha _{i}, \varPsi _{i}, k}}}\), and for \(k \in \mathbb{N}\cup \{0\}\),
Clearly, \(T_{\alpha ,m,b}^{0}=T_{\alpha ,m}\).
Also, we consider the following condition for the weights: there exists \(C > 0\) such that
for all \(1 \leq i \leq m\). Let \(\omega =\bigl\{ \scriptsize{ \begin{array}{l@{\quad}l} \log \frac{1}{ \vert x \vert },& \vert x \vert \le e^{-1}, \\ 1,& \vert x \vert >e^{-1} \end{array}}\). It is easy to check that \(\omega \in A_{1}\) and satisfies (2) (see [15]).
In [14], Gallo, Ibañez-Firnkorn, and Riveros obtained the weighted estimates for this kind of operator and certain weights satisfying (2). Precisely as for the classical fractional integral operator \(I_{\alpha }\) with \(0 < \alpha < n\), or the singular integral operator with \(\alpha = 0\), they proved the \(L^{p}(\mathbb{R}^{n},\omega ^{p})\rightarrow L^{q}(\mathbb{R}^{n}, \omega ^{q})\) boundedness of \(T_{\alpha ,m}\) for weights \(\omega \in A(p, q)\), \(1 < p < n/\alpha \), \(1/q = 1/p - \alpha /n\), and \(0 \leq \alpha < n\). In [15], for \(b\in \mathrm{BMO}\), Ibañez-Firnkorn and Riveros obtained the weighted Coifman type estimates, weighted \(L^{p}(\omega ^{p})\to L^{q}(\omega ^{q})\) estimates, and weighted BMO estimates as well as two-weighted inequalities. Inspired by these results, we consider the weighted boundedness of \(T_{\alpha ,m,b}^{k}\) for \(b\in \dot{\varLambda }_{\beta }\) and a weighted \(\dot{\varLambda }_{\beta }\) estimate for weights in the class \(A(n/(\alpha +k\beta ) r,\infty )\). Our results can be formulated as follows.
Theorem 1.1
For \(0<\beta <1\), \(0\leq \alpha < n\), \(k\in \mathbb{N}{\cup \{0\}}\), \(m\in \mathbb{N}\), and \(1\leq i \leq m\), let \(b\in \dot{\varLambda }_{\beta }\), \(\varPsi _{i}\) be Young functions and \(0\leq \alpha _{i}< n\) such that \(\alpha _{1}+\cdots +\alpha _{n}=n- \alpha \). Let \(T_{\alpha ,m}\) be the integral operator defined by (1) and \(T^{k}_{\alpha ,m,b}\) be the k-order commutator of \(T_{\alpha ,m}\). Suppose that the matrices \(A_{i}\) satisfy hypothesis (H) and \(k_{i} \in {S_{n-{\alpha _{i},\varPsi _{i}}}}\cap {H_{n-{\alpha _{i},\varPsi _{i},k}}}\). Moreover, for \(\alpha = 0\), suppose that \(T_{0,m}\) is strong type \((q_{*},q_{*})\) for some \(1 < q_{*} < \infty \). Let \(\varphi _{k}(t) = t\log (e+t)^{k}\), ϕ be a Young function satisfying \(\varPsi _{1}^{-1}(t)\cdots {\varPsi _{m}^{-1}}(t){{\phi } ^{-1}}(t){{{\overline{{{\varphi _{k}}}}}^{-1}}(t)}\lesssim t\) for \(t\geq t_{0}\), some \(t_{0} > 0\). Then there exists \(0< C=C(n,\alpha ,A _{1},\ldots ,A_{m})\) such that, for \(0< \delta \leq 1\) and \(f \in {{L_{c}^{\infty }} (\mathbb{R}^{n})}\),
Theorem 1.2
Under the assumptions of Theorem 1.1, for \(1 \leq r< p<p_{l}\leq q < \infty \), \(k,l\in \mathbb{N}\), \(1/q =1/p_{l}-(k-l)\beta /n\), \(1/q =1/p-(\alpha +k\beta )/n\), there exists \(0< C=C(n,\alpha ,A_{1},\ldots ,A_{m})\) such that, for \(f \in {{L_{c}^{\infty }}{({\mathbb{R}}^{n}}})\) and \(\omega ^{r} \in A(p/r,q/r )\),
Furthermore, if \(\omega ^{r} \in A(p/r,q/r )\) and satisfying (2), then
Theorem 1.3
Let \(0 \leq \alpha < n\), \(1 < p < n/( \alpha +k\beta )\), \(1/q = 1/p-(\alpha +k\beta )/n\) and ϕ be a Young function such that \({\eta }^{-1}(t)t^{ \frac{(\alpha +k\beta )}{n}}\lesssim \phi ^{-1}(t)\) for every \(t > 0\), where \(\phi ^{1+\frac{sn}{n-(\alpha +k\beta )}}\in B_{\frac{sn}{n-( \alpha +k\beta )}}\) for every \(s > r(n-(\alpha +k\beta ))/(n-(\alpha +k\beta ) r) \). Then, under the hypotheses of Theorem 1.2, for \(\omega ^{r} \in A(p/r,q/r )\),
Theorem 1.4
Under the hypotheses of Theorem 1.3, if \(\omega ^{r} \in A(n/(\alpha +k\beta )r, \infty )\) and satisfies (2), then there exists \(C > 0\) such that, for \(f \in {{L_{c}^{\infty }}({R^{n}}})\),
where
The rest of this paper is organized as follows. In Sect. 2 we recall some relevant definitions and previous results that are needed to state the other results, which appear in Sect. 1. The proofs of sharp maximal functions estimates and Coifman type inequalities are given in Sect. 3. Finally, the weighted \(L^{p}(w^{p}) \rightarrow L^{q}(w ^{q})\) estimates and the weighted endpoint estimates are presented in Sect. 4.
2 Preliminaries
In this section we present some relevant concepts and previous results, which will be used in our proofs.
2.1 The generalized Hölder inequality and the fractional \(B_{p}\) condition
Now, we present some extra properties for Young functions. For more details of these topics, see [16] or [17].
The function Ψ̄ is called the complementary of the function Ψ if the generalized Hölder inequality holds:
If \(\varPsi _{1},\ldots,\varPsi _{m},\phi \) are Young functions satisfying \(\varPsi _{1}^{-1}(t)\cdots {\varPsi _{m}^{-1}}(t){{\phi }^{-1}}(t)\lesssim t\) for \(t\geq t_{0}\), some \(t_{0} > 0\), then
where the function ϕ is called the complementary of the functions \(\varPsi _{1},\ldots,\varPsi _{m}\).
In 2013, Cruz-Uribe and Moen [18] introduced the fractional \(B_{p}\) condition: for \(1< p< n/\alpha \) and \(1/q=1/p-\alpha /n\), a Young function \(\phi \in B_{p}^{\alpha }\) if
And they proved that if \(\phi \in B_{p}^{\alpha }\), then \(M_{\alpha ,\phi } : L^{p}(dx)\rightarrow L^{q}(dx)\) and
2.2 The Lipschitz function spaces
For a locally integrable function f defined in \(\mathbb{R}^{n}\), we say f belongs to the space \(\dot{\varLambda }_{\beta }(\mathbb{R}^{n})\), \(0<\beta <1\), if there exists a constant \(C>0\) such that
The smallest bound C satisfying upper inequality is taken to be the norm of f denoted by \(\|f\|_{\dot{\varLambda }_{\beta }}\). Here B is a ball in \(\mathbb{R}^{n}\), and
Lemma 2.1
If \(f \in \dot{\varLambda }_{\beta }\), then
-
(1)
for every \(x,y\in \mathbb{R}^{n}\),
$$ \bigl\vert f(x)-f(y) \bigr\vert \leq \Vert f \Vert _{\dot{\varLambda }_{\beta }} \vert x-y \vert ^{\beta }; $$ -
(2)
for any ball B,
$$ \sup_{x\in B} \bigl\vert f(x)-f_{B} \bigr\vert \leq C \Vert f \Vert _{\dot{\varLambda }_{\beta }} \vert B \vert ^{ \beta /n}; $$ -
(3)
for \(B\subset B^{\ast }\),
$$ \vert f_{B}-f_{B^{\ast }} \vert \leq \Vert f \Vert _{\dot{\varLambda }_{\beta }} \bigl\vert B^{ \ast } \bigr\vert ^{\beta /n}. $$In particular, if \(A_{i}\) are matrices satisfying (H), B̃ is a measurable set, and \(\tilde{B_{i}} = A_{i}^{-1}\tilde{B}\), \(1\leq i \leq m\), then
$$ \vert f_{\tilde{B}}-f_{(\bigcup _{i=1}^{m}\tilde{B}_{i})\cup \tilde{B}} \vert \leq C \Vert f \Vert _{\dot{\varLambda }_{\beta }} \vert \tilde{B} \vert ^{\beta /n}, $$and for \(B = B(c_{B},R)\), the ball centered at \(c_{B}\) with radius R, and \(B^{j}: = B(c_{B},2^{j}R)\), \(j\in \mathbb{N}\),
$$ \vert f_{B}-f_{B^{j}} \vert \leq C j \Vert f \Vert _{\dot{\varLambda }_{\beta }} \bigl\vert B^{j} \bigr\vert ^{ \beta / n}. $$
2.3 Weights and maximal operators
A weight function ω is in the Muckenhoupt class \(A_{p}\) for \(1 < p<\infty \) if there exists \(C>1\) such that, for any ball B,
where \(1/p +1/p{'} =1\) and the infimum of C satisfying the above inequality is denoted by \([\omega ]_{A_{p}}\). We define \(A_{\infty } = \bigcup_{1\leq p<\infty }A_{p}\). When \(p=1\), \(\omega \in A_{1}\) if there exists \(C>1\) such that, for almost every x,
and the infimum of C satisfying the above inequality is denoted by \([\omega ]_{A_{1}}\).
A weight function ω belongs to \(A(p,q)\) for \(1< p< q<\infty \) if there exists \(C>1\) such that
where \(1/p +1/p' =1\) and the infimum of C satisfying the above inequality is denoted by \([\omega ]_{A_{p,q}}\). When \(p =1\), ω is in \(A(1,q)\) with \(1 < q<\infty \) if there exists \(C>1\) such that
and the infimum of C satisfying the above inequality is denoted by \([\omega ]_{A_{1,q}}\).
Remark 2.1
For \(1\leq r< p< p_{0}\leq p\), \(\omega \in A(p,q)\), by Hölder’s inequality, we can know \(\omega \in A(p_{0},q)\) and \(\omega \in A(p,p_{0})\). For \(\omega ^{r} \in A(p/r,q/r)\), we also can know \(\omega \in A(p,q)\).
The sharp maximal function is defined by
A locally integrable function f has bounded mean oscillation \((f \in \mathrm{BMO})\) if \(M^{\sharp }f(x) \in L^{\infty }\) and the norm \(\|f\|_{\mathrm{BMO}} = \|M^{\sharp }f\|_{\infty }\). Observe that the BMO norm is equivalent to
There is also a weighted version of BMO, which is denoted by \(\mathrm{BMO}(\omega )\), which is described by the semi-norm
It is easy to check that
Proposition 2.1
([19])
Let Ψ be a Young function. Then, for all \(x\in \mathbb{R}^{n}\) and \(r>1\), there exists a constant \(C_{r}\) such that
Proposition 2.2
([15])
Let Ψ be a Young function and A be an invertible matrix. Set \(\omega _{A}(x) = \omega (Ax)\). Then
for almost every \(x \in \mathbb{R}^{n}\).
2.4 Previous results
In this subsection, we illustrate some known results for the operator \(T_{\alpha ,m}\), which will be used below, see [12] for more details.
Theorem 2.1
([12])
Let \(0 \leq \alpha < n\), \(m \in \mathbb{N}\), and \(T_{\alpha ,m}\) be the integral operator defined by (1). For \(1\leq i \leq m\), let \(\varPsi _{i}\) be Young functions, \(0 \leq \alpha _{i} < n\) such that \(\alpha _{1}+\cdots + \alpha _{m} = n-\alpha \). Also suppose \(k_{i} \in {S_{n-{\alpha _{i}, \varPsi _{i}}}}\cap {H_{n-{\alpha _{i},\varPsi _{i}}}}\) and that matrices \(A_{i}\) satisfy hypothesis (H).
If \(\alpha = 0\), suppose \(T_{0,m}\) is of strong type \((q_{*},q_{*})\) for some \(1 < q_{*} < \infty \).
If ϕ is the complementary of the functions \(\varPsi _{1},\ldots,\varPsi _{m}\), then there exists \(C > 0\) such that, for \(0 < \delta \leq 1\) and \(f \in L_{c}^{\infty }(\mathbb{R}^{n})\),
Theorem 2.2
([12])
Let \(0 \leq \alpha < n\), \(m \in \mathbb{N}\), and \(T_{\alpha ,m}\) be the integral operator defined by (1). For \(1\leq i \leq m\), let \(\varPsi _{i}\) be Young functions, \(0 \leq \alpha _{i} < n\) such that \(\alpha _{1}+\cdots + \alpha _{m} = n-\alpha \). Also suppose \(k_{i} \in {S_{n-{\alpha _{i}, \varPsi _{i}}}}\cap {H_{n-{\alpha _{i},\varPsi _{i}}}}\) and that matrices \(A_{i}\) satisfy hypothesis (H).
When \(\alpha = 0\), suppose that \(T_{0,m}\) is of strong type \((q_{*},q_{*})\) for some \(1 < q_{*} < \infty \).
Let \(0< p<\infty \). If ϕ is the complementary of the functions \(\varPsi _{1},\ldots,\varPsi _{m}\), then there exists \(C > 0\) such that, for \(\omega \in A_{\infty }\) and \(f \in L_{c}^{\infty }(\mathbb{R}^{n})\),
whenever the left-hand side is finite.
3 Sharp maximal function estimates and Coifman type inequality
This section is devoted to the proofs of Theorems 1.1 and 1.2.
Proof of Theorem 1.1
We just consider the case \(m = 2 \) and \(k = 1\), i.e., \(T_{\alpha ,2,b}^{1} = [b,T_{\alpha ,2}]\), and we will just write \([b,T_{\alpha }]\) for simplicity. The general case is proved in an analogous way.
Let f be a bounded function with compact support, \(0< \delta \leq 1\). For \(x\in \mathbb{R}^{n}\), let \(B = B(c_{B},R)\) be a ball that contains x, centered at \(c_{B}\) with radius R. We write \(\tilde{B} = B(c _{B},2R)\), and for \(1 \leq i \leq 2\), set \(\tilde{B}_{i} = A_{i}^{-1} \tilde{B}\). Let \(f_{1} = f\chi _{\bigcup _{i=1}^{2}\tilde{B}_{i}}\) and \(f_{2} = f-f_{1}\). Suppose that \(a:=T_{\alpha }((b_{\tilde{B}\cup \tilde{B}_{1}\cup \tilde{B}_{2}}-b)f)(c_{B})<\infty \). For \(0<\delta \leq 1\), we write
And from the inequality \(|t^{\delta }-s^{\delta }|^{1/\delta }\leq |t-s|\) and Jensen’s inequality, we get
For I, by Lemma 2.1, we have
For II, we know
We estimate only the first summand, that is, \(z\in \tilde{B}_{1}\), since the case \(z\in \tilde{B}_{2}\) is analogous. Observe that
For \(j\in \mathbb{N}\), let us consider the set
Notice that if \(y\in B\) and \(z\in \tilde{B}_{1}\), then \(|y-A_{1}z| \leq 3R<4R\). Thus,
And for \(y\in C_{j}^{1}\), we have \(|y-A_{2}z|\geq |y-A_{1}z| \geq 2^{-j-1}R\). By \(k_{2}\in S_{n-\alpha _{2},\varPsi _{2}} \) and \(k_{1}\in S_{n-\alpha _{1},\varPsi _{1}} \), we get
and
Consequently,
Similarly,
Then
For III, we have
where
Let us estimate \(|K_{\alpha}(y,z)-K_{\alpha}(c_{B},z)|\) for \(y\in B\) and \(z\in Z^{l}\):
For simplicity we estimate the first summand of \(|K_{\alpha}(y,z)-K_{\alpha}(c_{B},z)|\), the other one follows in an analogous way. For \(j \in \mathbb{N}\), let
Observe that \(D_{j}^{l}\subset {\{z:|c_{B}-A_{l}z|\sim 2^{j+1}R\}} \subset A_{l}^{-1}B(c_{B},2^{j+2}R)=:\tilde{B}_{l,j}\). Using the generalized Hölder inequality, we have
Note that \(|c_{B}-A_{l}z|/2\leq |y-A_{l}z|\leq 2|c_{B}-A_{l}z|\), and if \(|c_{B}-A_{l}z|\sim 2^{j+1}R\), then \(2^{j}R \leq |y-A_{l}z|\leq 2^{j+2}R\). Thus,
where the last inequality holds since \(k_{l} \in S_{n-\alpha _{l},\varPsi _{l}}\). Also, by the hypothesis,
For \(r \neq l\), observe that if \(z\in D_{j}^{l}\), then \(|c_{B}-A_{r}z| \geq |c_{B}-A_{l}z|\geq 2^{j+1}R\). We decompose \(D_{j}^{l}=\bigcup_{k \geq j}(D_{j}^{l})_{k,r}\), where
Since \((D_{j}^{l})_{k,r}\subset \{{z:|c_{B}-A_{r}z|\sim 2^{k+1}R\}}\) and \(k_{r}\in S_{n-\alpha _{r},\varPsi _{r}}\), we have
By the same arguments, we can get
As a result, no matter \(l=1\) or \(l=2\), we have
Hence,
So, when \(l=1\), from \(k_{1} \in H_{n-\alpha _{1},\varPsi _{1}, 1} \), we can get
For \(l= 2\), note that
we have
where the last inequality follows from that \(k_{1} \in H_{n-\alpha _{1},\varPsi _{1}, 1} \). Hence,
Then
Summing up (4)–(7), we know that
For the case \(\alpha = 0\), we repeat the same argument to inequality (4) and get the desired conclusion.
For the general case, from the definition of \(T^{k}_{\alpha ,m,b}\), we know that, for any λ,
Let \(\lambda :=b_{\tilde{B}\cup \tilde{B}_{1}\cup \tilde{B}_{2}\cup\cdots \cup \tilde{B}_{m}}\), \(a:=T_{\alpha }((b-b_{\tilde{B}\cup \tilde{B} _{1}\cup \tilde{B}_{2}\cup\cdots \cup \tilde{B}_{m}})f_{2})(c_{B})\). We write
To estimate IV, by Hölder’s inequality and Lemma 2.1, we obtain
The terms V and VI are analogous to the ones in the case \(m = 2\) and \(k = 1\), we can get
Then we conclude
Theorem 1.1 is proved. □
Next, we prove Theorem 1.2.
Proof of Theorem 1.2
By the extrapolation result Theorem 1.1 in [20], we need only to show that (3) is true for some \(0 < q_{*} <\infty \) and all \(\omega ^{r} \in A(p/r,q_{*}/r )\) with \((n-\alpha ) /n < q_{*} < \infty \). Without loss of generality, we may assume \({\|b\|}_{ \dot{\varLambda }_{\beta }} = 1\). We will prove the desired conclusion by induction.
When \(k = 0\), \(T_{\alpha ,m,b}^{0} = T_{\alpha ,m}\). As \(k_{i} \in H _{n-\alpha _{i}, \varPsi _{i},0} = H_{n-\alpha _{i},\varPsi _{i}}\), Theorem 3.3 in [15] tells us that
Now, for any \(k\in \mathbb{N}\), we assume that the results hold for all \(0 \leq j \leq k-1\), and let us see how to derive the case k. For \(\omega ^{r} \in A(p/r,q_{*}/r )\), by Remark 2.1, we know that \(\omega \in A({p,q_{*}})\). Then \(\omega ^{q_{*}} \in A_{q_{*}}\). By Lemma 5.1 in [12], we have \(\|T_{\alpha ,m}f\|_{L^{q_{*}}( \omega ^{q_{*}})} < \infty \). Therefore \(\omega ^{r} \in A(p/r,q_{*}/r )\) and \(b \in L^{\infty }\), we have
Besides, for \(p< p_{l}\leq q_{*}\), \(\omega \in A({p,q_{*}})\) implies \(\omega \in A({p_{l},q_{*}})\), and \(1/q_{*}=1/p_{l}-(k-l)\beta /n\) implies \(q_{*}=p_{k}\) when \(l=k\). Then there exists \(C>0\) such that
By the induction hypothesis, for \(0 \leq l \leq k-1\) and \(1/p_{l}=1/q _{j}-(l-j)\beta /n\), we get
Since \(1/q_{*}=1/p_{l}-(k-l)\beta /n\) and \(1/p_{l}=1/q_{j}-(l-j) \beta /n\), which implies \(p_{l}=q_{j}\) when \(l=j\), we have
Namely,
For the general case, if \(b\in \dot{\varLambda }_{\beta }\), for any \(N\in \mathbb{N}\), we define \(b_{N}=b\chi _{\{x:-N< b(x)< N\}}+N{\chi _{\{x:b(x) \geq N\}}}-N{\chi _{\{x:b(x)\leq -N\}}}\), then \(\|b_{N}\|_{ \dot{\varLambda }_{\beta }} \leq c{\|b\|}_{\dot{\varLambda }_{\beta }}\). Using convergence theorems, for details see [21], we conclude that (8) holds for any \(b\in \dot{\varLambda }_{ \beta }\) and \(\omega ^{r} \in A(p/r,q_{*}/r )\). Thus, as mentioned, using the extrapolation results obtained in [20], (3) holds for all \(0 < q < \infty \), \(b\in \dot{\varLambda }_{\beta }\), and \(\omega ^{r} \in A(p/r,q/r )\).
If ω satisfies (2), we have
which completes the proof of Theorem 1.2. □
4 The weighted inequalities of commutators
This section is concerned with the proofs of Theorems 1.3 and 1.4. For the proof of Theorem 1.3, we need the Coifman inequality (3) and the boundedness of the maximal operator, given in [22] (see Theorem 2.6). Let us begin with the following previous result.
Theorem 4.1
([22])
Let \(0 \leq \alpha < n\), ω be a weight, \(1 \leq r < p < n/(\alpha +k\beta )\), and \(1/q = 1/p-(\alpha +k\beta )/n\). Let ϕ be a Young function such that \(\phi ^{1+ \frac{\rho (\alpha +k\beta )}{n-(\alpha +k\beta )}} \in B_{\frac{\rho n}{n-(\alpha +k\beta )}}\) for every \(\rho > r(n-( \alpha +k\beta ))/(n-(\alpha +k\beta )r)\), and let η be a Young function such that \(\eta ^{-1}(t)t^{(\alpha +k\beta )/n}\lesssim \phi ^{-1}(t)\) for every \(t > 0 \). If \(\omega ^{r} \in A(p/r,q/r )\), then \(M_{\alpha +k\beta ,\phi }\) is bounded from \(L^{p}(\omega ^{p})\) to \(L^{q}(\omega ^{q})\).
Now we are in a position to prove Theorem 1.3.
Proof of Theorem 1.3
For \(1/q =1/p_{l}-(k-l)\beta /n\) and \(1/q = 1/p-(\alpha +k\beta )/n\), we can know \(p< p_{l}< q\). Then, for \(\omega ^{r} \in A(p/r,q/r )\), by Remark 2.1, we can get \(\omega ^{r} \in A(p/r,p_{l}/r )\) and \(\omega \in A(p,q)\); moreover, \(\omega \in A({p_{l},q})\). Therefore, from Theorem 4.1, we know that \(M_{\alpha +l\beta ,\phi }\) is bounded from \(L^{p}(\omega ^{p})\) into \(L^{p_{l}}(\omega ^{p_{l}})\). Then, by Theorem 1.2 and ω satisfies (2), we have
This proves the conclusion of Theorem 1.3. □
Finally, we give the proof of Theorem 1.4.
Proof of Theorem 1.4
Following the ideas in [21], for \(\omega ^{r} \in {A(\frac{n}{(\alpha +k\beta )r}, \infty )}\), we know
Note that \(\omega ^{r} \in {A(\frac{n}{(\alpha +k\beta )r}, \infty )}\) implies \(\omega ^{r} \in {A(\frac{n}{(k-l)\beta r}, \infty )}\), we have
Now, by (9), (10), (2), Proposition 2.1, Theorems 1.1 and 1.3, we get
This completes the proof of Theorem 1.4. □
References
Ferreyra, E.V., Flores, G.J.: Weighted estimates for integral operators on local BMO type spaces. Math. Nachr. 288(8–9), 905–916 (2015)
Godoy, T., Saal, L., Urciuolo, M.: About certain singular kernels \(k(x, y)= k_{1}(x-y)k_{2}(x+ y)\). Math. Scand. 74(1), 98–110 (1994)
Godoy, T., Urciuolo, M.: About the \(L^{p}\)-boundedness of integral operators with kernels of the form \(k_{1}(x-y)k_{2}(x+ y)\). Math. Scand. 76(1), 84–92 (1996)
Godoy, T., Urciuolo, M.: On certain integral operators of fractional type. Acta Math. Hung. 82(1–2), 99–105 (1999)
Riveros, M.S., Urciuolo, M.: Weighted inequalities for fractional type operators with some homogeneous kernels. Acta Math. Sin. Engl. Ser. 29(3), 449–460 (2013)
Riveros, M.S., Urciuolo, M.: Weighted inequalities for some integral operators with rough kernels. Open Math. 12(4), 636–647 (2014)
Rocha, P.: A remark on certain integral operators of fractional type (2017) arXiv:1703.03287
Rocha, P., Urciuolo, M.: About integral operators of fractional type on variable \(L^{p}\) spaces. Georgian Math. J. 20(4), 805–816 (2013)
Urciuolo, M.: Weighted inequalities for integral operators with almost homogeneous kernels. Georgian Math. J. 13(1), 183–191 (2006)
Urciuolo, M., Vallejos, L.: \(L^{p}(\cdot )- L^{q}(\cdot )\) boundedness of some integral operators with extrapolation techniques. Georgian Math. J. (2019, to appear). https://doi.org/10.1515/gmj-2018-0066
Riveros, M.S., Urciuolo, M.: Weighted inequalities for integral operators with some homogeneous kernels. Czechoslov. Math. J. 55(2), 423–432 (2005)
Ibañez-Firnkorn, G.H., Riveros, M.S.: Certain fractional type operators with Hörmander conditions. Ann. Acad. Sci. Fenn., Math. 43(2), 913–929 (2018)
Bernardis, A.L., Lorente, M., Riveros, M.S.: Weighted inequalities for fractional integral operators with kernel satisfying Hörmander type conditions. Math. Inequal. Appl. 14(4), 881–895 (2011)
Gallo, A.L., Ibañez-Firnkorn, G.H., Riveros, M.S.: Hörmander’s conditions for vector-valued kernels of singular integrals and its commutators (2017) arXiv:1706.08357
Ibañez-Firnkorn, G.H., Riveros, M.S.: Commutators of certain fractional type operators with Hörmander condition, one-weighted and two-weighted inequalities (2018) arXiv:1804.10095
O’Neil, R.: Fractional integration in Orlicz spaces I. Trans. Am. Math. Soc. 115, 300–328 (1965)
Rao, M., Ren, Z.: Theory of Orlicz Spaces. Monographs and Textbooks in Pure and Applied Mathematics, vol. 146 (1991)
Cruz-Uribe, D., Moen, K.: A fractional Muckenhoupt–Wheeden theorem and its consequences (2013) arXiv:1303.3424
Caldarelli, M., Lerner, A., Ombrosi, S.: On a counterexample related to weighted weak type estimates for singular integrals. Proc. Am. Math. Soc. 145(7), 3005–3012 (2017)
Cruz-Uribe, D., Martell, J.M., Pérez, C.: Extrapolation from \(A_{\infty }\) weights and applications. J. Funct. Anal. 213(2), 412–439 (2004)
Lorente, M., Martell, J.M., Riveros, M.S., Torre, L.: Generalized Hörmander’s conditions, commutators and weights. J. Math. Anal. Appl. 342(2), 1399–1425 (2008)
Bernardis, A.L., Dalmasso, E., Pradolini, G.: Generalized maximal functions and related operators on weighted Musielak–Orlicz spaces. Ann. Acad. Sci. Fenn., Math. 39(1), 23–50 (2014)
Acknowledgements
The authors thank the referees cordially for their valuable suggestions and comments.
Funding
This project is supported by the National Natural Science Foundation of China (Grant Nos. 11771358, 11871101).
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.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
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
Hu, W., Wen, Y. & Wu, H. On commutators of certain fractional type integrals with Lipschitz functions. J Inequal Appl 2019, 213 (2019). https://doi.org/10.1186/s13660-019-2165-9
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-019-2165-9