- Research
- Open access
- Published:
The \(L_{p_{1} r_{1}}\times L_{p_{2} r_{2}}\times\dots\times L_{p_{k}r_{k}}\) boundedness of rough multilinear fractional integral operators in the Lorentz spaces
Journal of Inequalities and Applications volume 2015, Article number: 71 (2015)
Abstract
In this paper, we prove the O’Neil inequality for the k-linear convolution operator in the Lorentz spaces. As an application, we obtain the necessary and sufficient conditions on the parameters for the boundedness of the k-sublinear fractional maximal operator \(M_{\Omega,\alpha}(\mathbf{f})\) and the k-linear fractional integral operator \(I_{\Omega,\alpha}(\mathbf{f})\) with rough kernels from the spaces \(L_{p_{1} r_{1}}\times L_{p_{2} r_{2}}\times\cdots\times L_{p_{k} r_{k}}\) to \(L_{q s}\), where \(n/(n+\alpha) \le p< q<\infty\), \(0 < r \le s < \infty\), p is the harmonic mean of \(p_{1},p_{2},\ldots,p_{k}>1\) and r is the harmonic mean of \(r_{1},r_{2},\ldots,r_{k}>0\).
1 Introduction
Fractional maximal and fractional integral operators are two important operators in harmonic analysis and partial differential equations. Multilinear maximal operator and multilinear fractional integral operator and related topics have been areas of research of many mathematicians such as Coifman and Grafakos [1], Grafakos [2, 3], Grafakos and Kalton [4], Kenig and Stein [5], Ding and Lu [6], Guliyev and Nazirova [7, 8], Ragusa [9] and others.
Let \(k\geq2\) be an integer and \(\theta_{j}\) (\(j=1,2,\ldots,k\)) be fixed, distinct and nonzero real numbers, and let \(\mathbf{f}=(f_{1},\ldots,f_{k})\). The k-linear convolution operator \(\mathbf{f} \otimes g\) is defined by
Let \(\Omega\in L_{s}({S}^{n-1})\), \(s \ge1\) and Ω be homogeneous of degree zero on \(\mathbb {R}^{n}\), and let \(0<\alpha<n\), where \({S}^{n-1}\) is the unit sphere in \(\mathbb {R}^{n}\). The k-sublinear fractional maximal function with rough kernel is defined by
and the k-linear fractional integral with rough kernel is defined by
This paper consists of four sections. In Section 2, some lemmas needed to facilitate the proofs of our theorems and the O’Neil inequality for rearrangements of the k-linear convolution operator \(\mathbf{f} \otimes g\) proved in [7] are given. In Section 3, we prove the O’Neil inequality for the k-linear convolution operator in the Lorentz spaces. Finally, in Section 4, we obtain rearrangement estimates for the multilinear fractional maximal function and multilinear fractional integral with rough kernels. We prove the boundedness of the multilinear fractional maximal operator \(M_{\Omega, \alpha}\) and the multilinear fractional integral operator \(I_{\Omega, \alpha}\) with rough kernels from the spaces \(L_{p_{1} r_{1}}\times L_{p_{2}r_{2}}\times\cdots\times L_{p_{k} r_{k}}\) to \(L_{q s}\), \(n/(n+\alpha) \le p< q<\infty\), \(0 < r \le s \le\infty\), where p and r are the harmonic means of \(p_{1},p_{2},\ldots,p_{k}>1\) and \(r_{1},r_{2},\ldots ,r_{k}>0\), respectively. We show that the conditions on the parameters ensuring the boundedness cannot be weakened.
2 Preliminaries
We need the following two generalized Hardy inequalities (see [10]) which are to be used in the proof of Theorem 3.1.
We denote by \(\mathfrak{M}(\mathbb {R}^{n})\) the set of all extended real-valued measurable functions on \(\mathbb {R}^{n}\). When v is a non-negative measurable function on \((0,\infty)\), we say that v is a weight. We denote \(W(t)=\int_{0}^{t} w(\tau)\,d\tau\), \(V(t)=\int_{0}^{t} v(\tau)\,d\tau\) and \(U(r,t)=\int_{t}^{r} u(\tau)\,d\tau\). For simplicity we suppose that \(0< V(t)<\infty\), \(0< W(t)<\infty\) for all \(t>0\) and \(V(\infty)=\infty\), \(W(\infty)=\infty\).
Lemma 2.1
[11]
Let \(0 < r \le s < \infty\) and let v, w be weights. Then the inequality
holds for all non-negative and non-increasing g on \((0,\infty)\) if and only if
and the best constant C in (2.1) equals \(A_{1}\).
Lemma 2.2
Let \(r, s \in(0,\infty)\) and let v, w be weights.
(i) Let \(1 < r \le s < \infty\). Then the inequality
holds for all non-negative and non-increasing g on \((0,\infty)\) if and only if \(A_{1}<\infty\),
and the best constant C in (2.2) satisfies \(C \thickapprox A_{1} + A_{2}\).
(ii) Let \(0 < r \le1\), \(r \le s\). Then (2.2) holds if and only if \(A_{1}<\infty\),
and the best constant C in (2.2) satisfies \(C \thickapprox A_{1} + A_{3}\).
Lemma 2.3
[13]
Let \(r, s \in(0,\infty)\) and let u, v, w be weight functions.
(i) Let \(1 < r \le s < \infty\). Then the inequality
holds for all non-negative and non-increasing g on \((0,\infty)\) if and only if
also
and the best constant C in (2.3) satisfies \(C \thickapprox A_{4} + A_{5}\).
(ii) Let \(0 < r \le1\), \(r \le s\). Then (2.3) holds if and only if \(A_{4}<\infty\) and the best constant C in (2.3) equals \(A_{4}\).
Lemma 2.4
[13]
Let \(r \in(0,\infty)\) and let u, v, w be weight functions.
(i) Let \(1 < r < \infty\). Then the inequality
holds for all non-negative and non-increasing g on \((0,\infty)\) if and only if
and the best constant C in (2.4) equals \(A_{6}\).
(ii) Let \(0 < r \le1\) and \(r \le s\). Then (2.4) holds if and only if
and the best constant C in (2.4) equals \(A_{7}\).
Lemma 2.5
[13]
Let \(r \in(0,\infty)\) and let u, v, w be weight functions.
(i) Let \(1 < r < \infty\). Then the inequality
holds for all non-negative and non-increasing g on \((0,\infty)\) if and only if
and the best constant C in (2.5) equals \(A_{8}\).
(ii) Let \(0 < r \le1\), \(r \le s\). Then (2.5) holds if and only if
and the best constant C in (2.5) equals \(A_{9}\).
Let g be a measurable function on \(\mathbb {R}^{n}\). The distribution function of g is defined by the equality
We shall denote by \(L_{0}(\mathbb {R}^{n})\) the class of all measurable functions g on \(\mathbb {R}^{n}\), which are finite almost everywhere and such that \(\lambda _{g}(t)<\infty\) for all \(t>0\) (see [14]). If a function g belongs to \(L_{0}(\mathbb {R}^{n})\), then its non-increasing rearrangement is defined to be the function \(g^{\ast}\) which is non-increasing on \((0, \infty)\) equi-measurable with \(|g(x)|\):
for all \(\tau\ge0\). Moreover, by the Hardy-Littlewood theorem (see [15], p.44) and for every \(f_{1}, f_{2} \in L_{0}(\mathbb {R}^{n})\),
Equi-measurable rearrangements of functions play an important role in various fields of mathematics. We give some of the main important properties (see, for example, [15]):
-
(1)
if \(0 < t < t+\tau\), then
$$ ( g+h )^{\ast}(t+\tau)\leq g^{\ast}(t)+h^{\ast}(\tau), $$ -
(2)
if \(0< p<\infty\), then
$$ \int_{\mathbb {R}^{n}}\bigl|g(x)\bigr|^{p}\,dx = \int _{0}^{\infty} \bigl( g^{\ast }(t) \bigr)^{p}\,dt, $$ -
(3)
for any \(t>0\) and for any set E,
$$ \sup_{|E|=t}\int_{E}\bigl|g(x)\bigr|\,dx = \int _{0}^{t} g^{\ast}(\tau)\,d\tau. $$
We denote by \(WL_{p}(\mathbb {R}^{n})\) the weak \(L_{p}\) space of all measurable functions g with finite norm
The function \(g^{**}: (0,\infty)\rightarrow[0,\infty]\) is defined as \(g^{\ast\ast}(t) = \frac{1}{t} \int_{0}^{t} f^{\ast}(s)\,ds\).
Definition 2.6
If \(0 < p,q < \infty\), then the Lorentz space \(L_{pq}(\mathbb {R}^{n})\) is the set of all classes of measurable functions f with the finite quasi-norm
If \(0< p\leq\infty\), \(q=\infty\), then \(L_{p\infty}(\mathbb {R}^{n})=WL_{p}(\mathbb {R}^{n})\).
If \(1 \le q \le p \) or \(p=q=\infty\), then the functional \(\Vert f\Vert _{pq}\) is a norm (see [16]). If \(p=q=\infty\), then the space \(L_{\infty\infty}(\mathbb {R}^{n})\) is denoted by \(L_{\infty}(\mathbb {R}^{n})\).
In the case \(1 < p, q < \infty\) we define
(with the usual modification if \(0< p\leq\infty\), \(q = \infty\)) which is a norm on \(L_{pq}(\mathbb {R}^{n})\) for \(1< p<\infty\), \(1\leq q\leq\infty\) or \(p=q=\infty\). If \(1< p\leq\infty\) and \(1\leq q\leq\infty\), then
that is, the quasi-norms \(\Vert f\Vert _{pq}\) and \(\Vert f\Vert _{(pq)}\) are equivalent.
Lemma 2.7
[7]
Let \(f_{1}, f_{2}, \ldots, f_{k} \in L_{0}(\mathbb {R}^{n})\), \(k\geq2\). Then, for all \(x \in \mathbb {R}^{n}\) and nonzero real numbers \(\theta_{1}, \ldots, \theta_{k}\),
where \(C_{\theta} = \vert \theta_{1} \ldots\theta_{k} \vert ^{-n}\).
Let \(\mathbf{f}= ( f_{1},f_{2},\ldots,f_{k} ) \) and define
In the following, we give the O’Neil inequality for rearrangements of the multilinear convolution operator \(\mathbf{f} \otimes g\) proved in [7].
Lemma 2.8
[7]
Let \(f_{1}, f_{2}, \ldots, f_{k}, g \in L_{0}(\mathbb{R}^{n})\). Then, for all \(0< t<\infty\), the following inequality holds:
Corollary 2.9
[7]
Let \(f_{1}, f_{2}, \ldots, f_{k} \in L_{0}(\mathbb {R}^{n})\) and \(g\in WL_{m}(\mathbb {R}^{n})\), \(1< m < \infty\). Then
Lemma 2.10
[7]
Let \(f_{1}, f_{2}, \ldots, f_{k}, g \in L_{0}(\mathbb {R}^{n})\). Then for any \(t>0\)
Corollary 2.11
Let \(f_{1}, f_{2}, \ldots, f_{k} \in L_{0}(\mathbb {R}^{n})\) and \(g\in WL_{m}(\mathbb {R}^{n})\), \(1 < m < \infty\). Then
3 O’Neil inequality for the multilinear convolutions in the Lorentz spaces
In this section, we prove the O’Neil inequality for the multilinear convolutions in the Lorentz spaces. It is said that p is the harmonic mean of \(p_{1},p_{2},\ldots,p_{k}>1\) if \({1}/{p}={1}/{p_{1}}+{1}/{p_{2}}+\cdots+{1}/{p_{k}}\). If \(f_{j}\in L_{p_{j}r_{j}}(\mathbb {R}^{n})\), \(j=1,2,\ldots,k\), then we say that \(\mathbf{f}\in L_{p_{1}r_{1}}\times L_{p_{2}r_{2}}\times\cdots \times L_{p_{k}r_{k}}(\mathbb {R}^{n})\).
Theorem 3.1
(O’Neil inequality for k-linear convolution in the Lorentz spaces)
Suppose that \(1< m<\infty\), \(g\in WL_{m}(\mathbb {R}^{n})\), p and r are the harmonic means of \(p_{1},p_{2},\ldots,p_{k}>1\) and \(r_{1},r_{2},\ldots,r_{k}>0\), respectively. If \(1 < p < m'\), \(1< r \le s < \infty\) or \(m'/(1+m') \le p \le1\), \(0< r \le1\), \(r \le s < \infty\) or \(p = m'\), \(1< r < \infty\), \(s = \infty\) or \(p = m'\), \(0< r \le1\), \(s = \infty\) \(\mathbf{f}\in L_{p_{1}r_{1}}\times L_{p_{2}r_{2}}\times\cdots\times L_{p_{k}r_{k}}(\mathbb {R}^{n})\) and \(1/p-1/q=1/m'\), then \(\mathbf{f} \otimes g \in L_{qs}(\mathbb {R}^{n})\) and
where \(K(p,q,r,s,m)=\kappa\) and
and
Here \(B(s,r)={ \int_{0}^{1} (1-\tau)^{s-1} \tau^{r-1}\,d\tau}\) is the beta function.
Proof
Let \(1< m<\infty\), \(m'/(1+m')\le p< m'\), \({1}/{p}-{1}/{q}={1}/{m'}\), p be the harmonic mean of \(p_{1},p_{2},\ldots,p_{k}>1\), r be the harmonic mean of \(r_{1},r_{2},\ldots,r_{k}>0\), \(0< r \le s \le\infty\) and \(\mathbf{f} \in L_{p_{1}r_{1}}\times L_{p_{2}r_{2}}\times\cdots \times L_{p_{k}r_{k}}(\mathbb {R}^{n})\). By using inequality (2.8), we have
Case I. Suppose that \(1< p<m'\) (equivalently \(m < q < \infty\)), \(1< r \le s < \infty\). From Lemma 2.2, for the validity of the inequality for \(1< r \le s < \infty\)
the necessary and sufficient condition is
and
Note that the best constant \(C_{1}\) in (3.1) satisfies \(C_{1} \thickapprox\mathcal{A}_{1} + \mathcal{A}_{2}\). Furthermore, from Lemma 2.3 for the validity of the inequality for \(1< r \le s < \infty\)
the necessary and sufficient condition is
and
Note that the best constant \(C_{2}\) in (3.2) satisfies \(C_{2} \thickapprox\mathcal{A}_{4} + \mathcal{A}_{5}\).
Case II. Let \(m'/(1+m')\le p \le1\), \(0 < r \le1\) and \(r \le s < \infty\). From Lemma 2.3, for the validity of inequality (3.1), the necessary and sufficient condition is \(\mathcal{A}_{1}<\infty\) and
Note that the best constant \(C_{1}\) in (3.1) satisfies \(C_{1} \thickapprox\mathcal{A}_{1} + \mathcal{A}_{3}\). From Lemma 2.3, for the validity of inequality (3.2), the necessary and sufficient condition is \(\mathcal {A}_{4}<\infty\). Consequently, using inequalities (3.1), (3.2) and applying the Hölder inequality, we obtain
Case III. Let \(p=m'\), \(q=s=\infty\), \(1< r<\infty\) or \(p=m'\), \(q=s=\infty\), \(0< r\le1\) and \(\mathbf{f}\in L_{p_{1}r_{1}}\times L_{p_{2}r_{2}}\times\cdots\times L_{p_{k}r_{k}}(\mathbb {R}^{n})\). By using inequality (2.8), we have
From Lemma 2.5, for the validity of the inequality for \(1< r<\infty\)
the necessary and sufficient condition is
From Lemma 2.5, for the validity of the inequality for \(0< r\le1\)
the necessary and sufficient condition is
From Lemma 2.4, for the validity of the inequality for \(1< r<\infty\)
the necessary and sufficient condition is \(\mathcal{A}_{6}\)
Furthermore, from Lemma 2.4, for the validity of the inequality for \(0< r\le1\)
the necessary and sufficient condition is
Thus the proof of Theorem 3.1 is completed. □
Corollary 3.2
[8]
Suppose that \(1< m<\infty\), \(g\in WL_{m}(\mathbb {R}^{n})\) and p is the harmonic mean of \(p_{1},p_{2},\ldots,p_{k}>1\). If \(m'/(1+m') \le p < m'\), \(\mathbf{f}\in L_{p_{1}}\times L_{p_{2}}\times\cdots\times L_{p_{k}}(\mathbb {R}^{n})\) and q satisfy \(1/p-1/q =1/m'\), then \(\mathbf{f} \otimes g \in L_{q}(\mathbb {R}^{n})\) and
where in the case \(1 < p=r < m'\), \(q=s\)
and in the case \(m'/(1+m') \le p=r \le1\), \(m< q=s\)
4 The \(L_{p_{1} r_{1}}\times L_{p_{2} r_{2}}\times\cdots\times L_{p_{k} r_{k}}\) boundedness of rough multilinear fractional integral operators
In this section, we prove the Sobolev type theorem for the rough multilinear fractional integral \(I_{\Omega,\alpha}\mathbf{f}\).
Lemma 4.1
Let \(0<\alpha<n\), Ω be homogeneous of degree zero on \(\mathbb {R}^{n}\), \(\Omega\in L_{n/(n-\alpha)}({S}^{n-1})\) and
Then \(g\in WL_{n/(n-\alpha)}(\mathbb {R}^{n})\) and
where
Proof
Note that
therefore \(g\in WL_{n/(n-\alpha)}(\mathbb {R}^{n})\) and equality (4.1) is valid. □
Lemma 4.2
Suppose that \(0<\alpha<n\), \(\Omega\in L_{s}({S}^{n-1})\) and \(s\ge1\). Then
where \(|\mathbf{f}|=(|f_{1}|, \ldots, |f_{k}|)\).
Proof
Indeed, for all \(r>0\), we have
where \(E(0,r)\) is the open ball centered at the origin of radius r. Taking supremum over all \(r>0\), we get (4.2). □
By Lemmas 2.8 and 4.2, we obtain a pointwise rearrangement estimate of the rough k-sublinear fractional maximal integral \(M_{\Omega, \alpha} \mathbf{f}\) and k-linear fractional integral \(I_{\Omega, \alpha} \mathbf{f}\).
Lemma 4.3
[7]
Suppose that Ω is homogeneous of degree zero on \(\mathbb {R}^{n}\) and \(\Omega\in L_{n/(n-\alpha)}({S}^{n-1})\), \(0<\alpha<n\). Then the following inequalities hold:
From Theorem 3.1 and Lemma 4.3, we get the following.
Theorem 4.4
Let Ω be homogeneous of degree zero on \(\mathbb {R}^{n}\), \(\Omega\in L_{n/(n-\alpha)}({S}^{n-1})\), \(0<\alpha<n\), p and r be the harmonic means of \(p_{1},p_{2},\ldots,p_{k}>1\) and \(r_{1},r_{2},\ldots,r_{k}>0\), respectively, and \(0< r \le s \le\infty\), q satisfy \({1}/{q}={1}/{p}-{\alpha}/{n}\). If \(1 < p < n/\alpha\), \(1< r \le s < \infty\) or \(n/(n+\alpha) \le p \le1\), \(0< r \le s < \infty\) or \(p=n/\alpha\), \(r=1\), then \(I_{\Omega, \alpha}\) is a bounded operator from \(L_{p_{1}r_{1}}\times L_{p_{2}r_{2}}\times\cdots\times L_{p_{k}r_{k}}(\mathbb {R}^{n})\) to \(L_{qs}(\mathbb {R}^{n})\) and
Corollary 4.5
[8]
Let Ω be homogeneous of degree zero on \(\mathbb {R}^{n}\), \(\Omega\in L_{n/(n-\alpha)}({S}^{n-1})\), \(0<\alpha<n\), p be the harmonic mean of \(p_{1},p_{2},\ldots,p_{k}>1\), and q satisfy \({1}/{q}={1}/{p}-{\alpha}/{n}\). Then \(I_{\Omega, \alpha}\) is a bounded operator from \(L_{p_{1}}\times L_{p_{2}}\times\cdots\times L_{p_{k}}(\mathbb {R}^{n})\) to \(L_{q}(\mathbb {R}^{n})\) for \(n/(n+\alpha)\le p < n/\alpha\) (equivalently \(1\le q < \infty\)) and
Corollary 4.6
[8]
Let Ω be homogeneous of degree zero on \(\mathbb {R}^{n}\), \(\Omega\in L_{n/(n-\alpha)}({S}^{n-1})\), \(0<\alpha<n\), p be the harmonic mean of \(p_{1},p_{2},\ldots,p_{k}>1\), and q satisfy \({1}/{q}={1}/{p}-{\alpha}/{n}\). Then \(M_{\Omega, \alpha}\) is a bounded operator from \(L_{p_{1}}\times L_{p_{2}}\times\cdots\times L_{p_{k}}(\mathbb {R}^{n})\) to \(L_{q}(\mathbb {R}^{n})\) for \(n/(n+\alpha)\le p \le n/\alpha \) (equivalently \(1 \le q \le\infty\)) and
when \(n/(n+\alpha)\le p < n/\alpha\), and
Finally, in the following theorem we obtain the necessary and sufficient conditions for the rough k-linear fractional integral operator \(I_{\Omega,\alpha} \) to be bounded from the Lorentz spaces \(L_{p_{1}r_{1}}\times L_{p_{2}r_{2}}\times\cdots\times L_{p_{k}r_{k}}(\mathbb {R}^{n})\) to \(L_{qs}(\mathbb {R}^{n})\), \(n/(n+\alpha) \le p< q<\infty\), \(0 < r \le s < \infty\).
Theorem 4.7
Let \(0<\alpha<n\), Ω be homogeneous of degree zero on \(\mathbb {R}^{n}\), \(\Omega\in L_{n/(n-\alpha)}({S}^{n-1})\), p and r be the harmonic means of \(p_{1},p_{2},\ldots,p_{k}>1\) and \(r_{1},r_{2},\ldots,r_{k}>0\), respectively. If \(1 < p < n/\alpha\), \(1< r \le s < \infty\) or \(n/(n+\alpha) \le p \le1\), \(0< r \le s < \infty\), then the condition \(1/p-1/q=\alpha/n\) is necessary and sufficient for the boundedness of \(I_{\Omega,\alpha} \) from \(L_{p_{1}r_{1}} \times L_{p_{2}r_{2}}\times\cdots\times L_{p_{k}r_{k}}(\mathbb {R}^{n})\) to \(L_{qs}(\mathbb {R}^{n})\).
Proof
Sufficiency of the theorem follows from Theorem 4.4.
Necessity. Suppose that the operator \(I_{\Omega,\alpha} \) is bounded from \(L_{p_{1}r_{1}}\times L_{p_{2}r_{2}}\times\cdots \times L_{p_{k}r_{k}}(\mathbb {R}^{n})\) to \(L_{qs}(\mathbb {R}^{n})\), and \(n/(n+\alpha)\leq p< n/\alpha \) (equivalently \(1\leq q<\infty\)). Define \(\mathbf{f}_{t} (x)=:\mathbf{f}(tx)\) for \(t>0\) and \(\|\mathbf {f}\|_{pr} =\prod_{j=1}^{k}\|f_{j}\|_{p_{j}r_{j}}\). Then it can be easily shown that
and
Since the operator \(I_{\Omega,\alpha} \) is bounded from \(L_{p_{1}r_{1}}\times L_{p_{2}r_{2}}\times\cdots\times L_{p_{k}r_{k}}(\mathbb {R}^{n})\) to \(L_{qs}(\mathbb {R}^{n})\), we have
where C is independent of f. Then we get
If \(1/p <1/q+ {\alpha}/n\), then for all \(\mathbf{f} \in L_{p_{1}r_{1}} \times L_{p_{2}r_{2}}\times\cdots\times L_{p_{k}r_{k}}(\mathbb {R}^{n})\) we have \(\Vert I_{\Omega,\alpha} \mathbf{f} \Vert _{L_{q,s} }=0\) as \(t\rightarrow0\). If \(1/p>1/q+{\alpha}/n\), then for all \(\mathbf{f} \in L_{p_{1}r_{1}} \times L_{p_{2}r_{2}}\times\cdots\times L_{p_{k}r_{k}}(\mathbb {R}^{n})\) we have \(\Vert I_{\Omega,\alpha} \mathbf{f} \Vert _{qs}=0\) as \(t\rightarrow\infty\). Therefore we get \(1/p=1/q+{\alpha}/n\). □
Corollary 4.8
[8]
Let \(0<\alpha<n\), p be the harmonic mean of \(p_{1},p_{2},\ldots,p_{k}>1\), Ω be homogeneous of degree zero on \(\mathbb {R}^{n}\) and \(\Omega\in L_{{n/(n-\alpha)}}(S^{n-1})\). If \(n/(n+\alpha) \le p < n/\alpha\), then the condition \(1/p-1/q=\alpha/n\) is necessary and sufficient for the boundedness of \(I_{\Omega,\alpha} \) from \(L_{p_{1}} \times L_{p_{2}}\times\cdots\times L_{p_{k}}(\mathbb {R}^{n})\) to \(L_{q}(\mathbb {R}^{n})\).
Remark 4.9
Note that the sufficiency part of Corollary 4.8 was proved in [7] and in the case \(\Omega\equiv1\) in [2], and in the case \(\Omega\in L_{s}({S}^{n-1})\), \(s>n/(n-\alpha)\) in [6].
Theorem 4.10
Let \(0<\alpha<n\), Ω be homogeneous of degree zero on \(\mathbb {R}^{n}\), \(\Omega\in L_{n/(n-\alpha)}({S}^{n-1})\), p and r be the harmonic means of \(p_{1},p_{2},\ldots,p_{k}>1\) and \(r_{1},r_{2},\ldots,r_{k}>0\), respectively. If \(1 < p < n/\alpha\), \(1< r \le s < \infty\) or \(n/(n+\alpha) \le p \le1\), \(0< r \le s < \infty\), then the condition \(1/p-1/q= \alpha/n\) is necessary and sufficient for the boundedness of \(M_{\Omega,\alpha} \) from \(L_{p_{1}r_{1}}\times L_{p_{2}r_{2}}\times \cdots\times L_{p_{k}r_{k}}(\mathbb {R}^{n})\) to \(L_{qs}(\mathbb {R}^{n})\).
Proof
Sufficiency part of the theorem follows from Theorem 4.7 and Lemma 4.2.
Necessity. Suppose that the operator \(M_{\Omega,\alpha} \) is bounded from \(L_{p_{1}r_{1}}\times L_{p_{2}r_{2}}\times\cdots\times L_{p_{k}r_{k}}(\mathbb {R}^{n})\) to \(L_{qs}(\mathbb {R}^{n})\), and \(n/(n+\alpha)\leq p< n/\alpha\), \(0< r \le s < \infty\). Then we have
and
By the same argument in Theorem 4.7, we obtain \(\frac{1}{p}-\frac{1}{q}=\frac{\alpha}{n}\). □
Corollary 4.11
[8]
Let \(0<\alpha<n\), p be the harmonic mean of \(p_{1},p_{2},\ldots ,p_{k}>1\), Ω be homogeneous of degree zero on \(\mathbb {R}^{n}\) and \(\Omega\in L_{{n/(n-\alpha)}}(S^{n-1})\). If \(n/(n+\alpha) \le p \le n/\alpha\), then the condition \(1/p-1/q= \alpha/n\) is necessary and sufficient for the boundedness of \(M_{\Omega,\alpha} \) from \(L_{p_{1}}\times L_{p_{2}}\times\cdots \times L_{p_{k}}(\mathbb {R}^{n})\) to \(L_{q}(\mathbb {R}^{n})\).
References
Coifman, R, Grafakos, L: Hardy spaces estimates for multilinear operators. I. Rev. Mat. Iberoam. 8, 45-68 (1992)
Grafakos, L: On multilinear fractional integrals. Stud. Math. 102, 49-56 (1992)
Grafakos, L: Hardy spaces estimates for multilinear operators. II. Rev. Mat. Iberoam. 8, 69-92 (1992)
Grafakos, L, Kalton, N: Some remarks on multilinear maps and interpolation. Math. Ann. 319, 49-56 (2001)
Kenig, CE, Stein, EM: Multilinear estimates and fractional integration. Math. Res. Lett. 6, 1-15 (1999)
Ding, Y, Lu, S: The \(\mathbf{f}\in L_{p_{1}}\times L_{p_{2}}\times \cdots \times L_{p_{k}}\) boundedness for some rough operators. J. Math. Anal. Appl. 203, 151-180 (1996)
Guliyev, VS, Nazirova, SA: A rearrangement estimate for the rough multilinear fractional integrals. Sib. Math. J. 48(3), 1-12 (2007)
Guliyev, VS, Nazirova, SA: O’Neil inequality for multilinear convolutions and some applications. Integral Equ. Oper. Theory 60(4), 485-497 (2008)
Ragusa, MA: Necessary and sufficient condition for a VMO function. Appl. Math. Comput. 128, 11952-11958 (2012)
Maz’ya, VG: Sobolev Spaces. Springer, Berlin (1985)
Stepanov, VD: The weighted Hardy inequality for nonincreasing functions. Trans. Am. Math. Soc. 338, 173-186 (1993)
Barza, S, Persson, LE, Soria, J: Sharp weighted multidimensional integral inequalities for monotone functions. Math. Nachr. 210, 43-58 (2000)
Gogatishvili, A, Stepanov, VD: Reduction theorems for operators on the cones of monotone functions, Preprint No. 4, Institute of Mathematics, AS CR, Prague, pp. 1-25 (2012)
Kolyada, VI: Rearrangements of functions and embedding of anisotropic spaces of Sobolev type. East J. Approx. 4(2), 111-119 (1999)
Bennett, C, Sharpley, R: Interpolation of Operators. Academic Press, Boston (1988)
Stein, EM, Weiss, G: Introduction to Fourier Analysis on Euclidean Spaces. Princeton University Press, Princeton (1971)
Acknowledgements
The research of V Guliyev was partially supported by the grant of Science Development Foundation under the President of the Republic of Azerbaijan, Grant EIF-2014-9(15)-46/10/1 and by the grant of Presidium of Azerbaijan National Academy of Science 2015.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.
Rights and permissions
Open Access This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited.
About this article
Cite this article
Guliyev, V.S., Ekincioglu, I. & Nazirova, S.A. The \(L_{p_{1} r_{1}}\times L_{p_{2} r_{2}}\times\dots\times L_{p_{k}r_{k}}\) boundedness of rough multilinear fractional integral operators in the Lorentz spaces. J Inequal Appl 2015, 71 (2015). https://doi.org/10.1186/s13660-015-0584-9
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-015-0584-9