Necessary and sufficient conditions for boundedness of multilinear fractional integrals with rough kernels on Morrey type spaces

Yanlong Shi; Zengyan Si; Xiangxing Tao; Yafeng Shi

doi:10.1186/s13660-015-0930-y

Research
Open Access
Published: 04 February 2016

Necessary and sufficient conditions for boundedness of multilinear fractional integrals with rough kernels on Morrey type spaces

Yanlong Shi¹,
Zengyan Si²,
Xiangxing Tao³ &
Yafeng Shi^4,5

Journal of Inequalities and Applications volume 2016, Article number: 43 (2016) Cite this article

1060 Accesses
Metrics details

Abstract

In this article, we study necessary and sufficient conditions on the parameters of the boundedness on Morrey spaces and modified Morrey spaces for $T_{\Omega,\alpha}$ and $M_{\Omega,\alpha}$, which are a multilinear fractional integral and a multilinear fractional maximal operator with rough kernel, respectively. Our results extend some known results significantly.

Introduction

Suppose that Ω is homogeneous of degree zero on $\mathbb {R}^{n}$ and $\Omega\in L^{s}(\mathbb{S}^{n-1})$ with $1< s\leq\infty$, where $\mathbb{S}^{n-1}$ denotes the unit sphere of $\mathbb {R}^{n}$. Moreover, $m\geq1$ will denote an integer, $\theta_{j}$ ($j=1,\ldots,m$) will be fixed, distinct, and nonzero real numbers, and $0<\alpha<n$. We denote ${\mathbf{f}}=(f_{1},\ldots,f_{m})$, then the multilinear fractional integral operator on $\mathbb {R}^{n}$ is given by the formula

$$ T_{\Omega,\alpha}{\mathbf{f}}(x) = \int_{\mathbb {R}^{n}} \frac{\Omega(y)}{|y|^{n-\alpha}} \prod _{j=1}^{m}f_{j}(x-\theta_{j}y)\,dy, $$

and the multilinear fractional maximal operator $M_{\Omega,\alpha}$ is given by

$$ M_{\Omega,\alpha}{\mathbf{f}}(x) =\sup_{r>0}\frac{1}{r^{n-\alpha}} \int_{|y|< r} \bigl|\Omega(y)\bigr| \prod_{j=1}^{m}\bigl|f_{j}(x- \theta_{j}y)\bigr|\,dy. $$

If $\alpha=0$, then $M_{\Omega}\equiv M_{\Omega,0}$ is the multilinear maximal operator.

When $m=1$ and $\Omega\equiv1$, if let $\theta_{1}=1$, $T_{\Omega,\alpha}$ will be the Riesz potential operator $I_{\alpha}$ [1, 2] given by

$$I_{\alpha}f(x) = \int_{\mathbb {R}^{n}} \frac{f(x-y)}{|y|^{n-\alpha}}\,dy. $$

Spanne and Adams obtained two remarkable results on Morrey spaces (see Definition 2.1 in Section 2) for $I_{\alpha}$. Their results can be summarized as follows.

Proposition 1.1

[3, 4] (Spanne, but published by Peetre)

Let $0<\alpha<n$, $1\leq p<{n}/\alpha$, $0\leq\lambda< n-\alpha p$, $1/q=1/p-\alpha/n$, and $\mu/q=\lambda/p$. Then for $p>1$, the operator $I_{\alpha}$ is bounded from $L^{p,\lambda}(\mathbb{R}^{n})$ to $L^{q,\mu}(\mathbb{R}^{n})$ and for $p=1$, $I_{\alpha}$ is bounded from $L^{1,\lambda}(\mathbb{R}^{n})$ to $WL^{q,\mu}(\mathbb{R}^{n})$.

Proposition 1.2

[5, 6]

Let $0<\alpha<n$, $1\leq p<{n}/\alpha$, $0\leq\lambda< n-\alpha p$.

(i)
If $p>1$, then the condition $1/p-1/q=\alpha/(n-\lambda)$ is necessary and sufficient for the boundedness of the operator $I_{\alpha}$ from $L^{p,\lambda}(\mathbb{R}^{n})$ to $L^{q,\lambda}(\mathbb{R}^{n})$.
(ii)
If $p=1$, then the condition $1-1/q=\alpha/(n-\lambda)$ is necessary and sufficient for the boundedness of the operator $I_{\alpha}$ from $L^{1,\lambda}(\mathbb{R}^{n})$ to $WL^{q,\lambda}(\mathbb{R}^{n})$.

If $\lambda=0$, then the statement of Propositions 1.1 and 1.2 reduces to the well-known Hardy-Littlewood-Sobolev inequality. On the other hand, in 2011, Guliyev et al. [6] found this inequality in modified Morrey spaces (see Definition 2.2 in Section 2) was also valid and proved the following.

Proposition 1.3

[6]

Let $0<\alpha<n$, $1\leq p<{n}/\alpha$, $0\leq\lambda< n-\alpha p$.

(i)
If $p>1$, then the condition $\alpha/n\leq1/p-1/q\leq\alpha/(n-\lambda)$ is necessary and sufficient for the boundedness of the operator $I_{\alpha}$ from $\widetilde{L}^{p,\lambda}$ to $\widetilde{L}^{q,\lambda}$.
(ii)
If $p=1$, then the condition $\alpha/n\leq1-1/q\leq\alpha/(n-\lambda)$ is necessary and sufficient for the boundedness of the operator $I_{\alpha}$ from $\widetilde{L}^{1,\lambda}$ to $W\widetilde{L}^{q,\lambda}$.

When $m\geq2$ and $\Omega\equiv1$, Grafakos [7] studied Lebesgue boundedness of $T_{1,\alpha}$. Recently, Gunawan [8] extended Grafakos’ result to Morrey spaces and provided a multi-version for the sufficiency of conclusion (i) in Proposition 1.2.

Proposition 1.4

[8]

Let $0<\alpha<n$, p be the harmonic mean of $p_{1},\ldots,p_{m}>1$, $1< p<{n}/\alpha$, $0\leq\lambda< n-\alpha p$, $1/p-1/q=\alpha/(n-\lambda)$, then the operator $T_{1,\alpha}$ is bounded from $L^{p_{1},\lambda}(\mathbb{R}^{n})\times\cdots\times L^{p_{m},\lambda}(\mathbb{R}^{n})$ to $L^{q,\lambda}(\mathbb{R}^{n})$.

When $m\geq2$ and $\Omega\in L^{s}(\mathbb{S}^{n-1})$, Ding and Lu [9] studied the $L^{p_{1}}\times\cdots\times L^{p_{m}}$ boundedness for $T_{\Omega,\alpha}$. After this work above, a natural question is: what properties does the operator $T_{\Omega,\alpha}$ have on Morrey and modified Morrey spaces? We give answers as follows.

Theorem 1.1

Let $0<\alpha<n$, $\Omega\in L^{s}(\mathbb{S}^{n-1})$ with $1< s\leq\infty$, $s'=s/(s-1)$, p be the harmonic mean of $p_{1},\ldots,p_{m}>1$, $0\leq\lambda< n-\alpha p$, $1\leq p<{n}/\alpha$ and satisfy

$$ \frac{\lambda}{p}=\sum_{j=1}^{m} \frac{\lambda_{j}}{p_{j}} \quad\textit{for } 0\leq\lambda_{j}< n. $$

(1.1)

(i)
If $p>s'$, then the condition $1/p-1/q=\alpha/(n-\lambda)$ is necessary and sufficient for the boundedness of the operator $T_{\Omega,\alpha}$ from $L^{p_{1},\lambda_{1}}(\mathbb{R}^{n})\times\cdots\times L^{p_{m},\lambda_{m}}(\mathbb{R}^{n})$ to $L^{q,\lambda}(\mathbb{R}^{n})$.
(ii)
If $p=s'$, then the condition $1/{s'}-1/q=\alpha/(n-\lambda)$ is necessary and sufficient for the boundedness of the operator $T_{\Omega,\alpha}$ from $L^{p_{1},\lambda_{1}}(\mathbb{R}^{n})\times\cdots\times L^{p_{m},\lambda_{m}}(\mathbb{R}^{n})$ to $WL^{q,\lambda}(\mathbb{R}^{n})$.

Moreover, similar conclusions hold for $M_{\Omega,\alpha}$.

Theorem 1.2

Let α, Ω, s, $p_{j}$, $\lambda_{j}$, p, and λ be as in Theorem 1.1.

(i)
If $p>s'$, then the condition $\alpha/n\leq1/p-1/q\leq\alpha/(n-\lambda)$ is necessary and sufficient for the boundedness of the operator $T_{\Omega,\alpha}$ from $\widetilde{L}^{p_{1},\lambda_{1}}(\mathbb{R}^{n})\times\cdots\times \widetilde{L}^{p_{m},\lambda_{m}}(\mathbb{R}^{n})$ to $\widetilde{L}^{q,\lambda}(\mathbb{R}^{n})$.
(ii)
If $p=s'$, then the condition $\alpha/n\leq1/s'-1/q\leq\alpha/(n-\lambda)$ is necessary and sufficient for the boundedness of the operator $T_{\Omega,\alpha}$ from $\widetilde{L}^{p_{1},\lambda_{1}}(\mathbb{R}^{n})\times\cdots\times \widetilde{L}^{p_{m},\lambda_{m}}(\mathbb{R}^{n})$ to $W\widetilde{L}^{q,\lambda}(\mathbb{R}^{n})$.

Moreover, similar estimates hold for $M_{\Omega,\alpha}$.

Remark 1.1

Note that Theorems 1.1 and 1.2 covers Propositions 1.2 and 1.3, respectively. Also, the case $\lambda=\lambda_{1}=\cdots=\lambda_{m}$ and $\Omega\equiv1$ reduces to Proposition 1.4; the case $\lambda=\lambda_{1}=\cdots=\lambda_{m}=0$ gives the result of Ding and Lu [9] on Lebesgue spaces.

We observe that, in Theorems 1.1 and 1.2, the boundedness in the limiting case $p=(n-\lambda)/\alpha$ remains open. In fact, when $p=n/\alpha$ (i.e. $\lambda=0$), Ding and Lu [9] found $M_{\Omega,\alpha}$ is bounded from $L^{p_{1}}\times\cdots\times L^{p_{m}}$ to $L^{\infty}$, but this corresponding result for $T_{\Omega,\alpha}$ in this case does not hold. Our next goal is to extend Ding and Lu’s result to the case $0\leq\lambda< n-\alpha$, as the continuation of Theorems 1.1 and 1.2.

Theorem 1.3

Let $0<\alpha<n$, $0\leq\lambda< n-\alpha$, $\Omega\in L^{s}(\mathbb{S}^{n-1})$ with $1< s\leq\infty$, p be the harmonic mean of $p_{1},\ldots,p_{m}>1$ and satisfy (1.1).

(i)
If $p=(n-\lambda)/\alpha\geq s'$, then the operator $M_{\Omega,\alpha}$ is bounded from $L^{p_{1},\lambda_{1}}(\mathbb{R}^{n})\times\cdots\times L^{p_{m},\lambda_{m}}(\mathbb{R}^{n})$ to $L^{\infty}(\mathbb{R}^{n})$.
(ii)
If $s'\leq(n-\lambda)/\alpha\leq p\leq n/\alpha$, then the operator $M_{\Omega,\alpha}$ is bounded from $\widetilde{L}^{p_{1},\lambda_{1}}(\mathbb{R}^{n})\times\cdots\times \widetilde{L}^{p_{m},\lambda_{m}}(\mathbb{R}^{n})$ to $L^{\infty}(\mathbb{R}^{n})$.

Finally we shall describe the organization of this paper. In the following section, we will study the boundedness of maximal operator $M_{\Omega}$ on Morrey and modified Morrey spaces. The last section we will devote to the boundedness of $T_{\Omega,\alpha}$ and $M_{\Omega,\alpha}$ and to showing the proof of Theorems 1.1, 1.2 and 1.3.

Throughout this paper, we assume the letter C always remains to denote a positive constant that may vary at each occurrence but is independent of the essential variables.

Boundedness of maximal operator $M_{\Omega}$

In this part, we investigate the boundedness of maximal operator $M_{\Omega}$ (see Section 1) on Morrey and modified Morrey spaces defined by the following definitions.

Definition 2.1

[3–5, 10]

Let $1\leq p<\infty$, $0\leq\lambda\leq n$. We denote by $L^{p,\lambda}=L^{p,\lambda}(\mathbb {R}^{n})$ the Morrey space, and by $WL^{p,\lambda}=WL^{p,\lambda}(\mathbb {R}^{n})$ the weak Morrey space, as the set of locally integrable functions $f(x)$, $x\in \mathbb {R}^{n}$, with the finite norms

$$\begin{aligned}& \Vert f\Vert _{L^{p,\lambda}(\mathbb {R}^{n})}=\sup_{x\in \mathbb {R}^{n},t>0} \biggl( \frac{1}{t^{\lambda}} \int_{B(x,t)}\bigl|f(y)\bigr|^{p}\,dy \biggr)^{\frac{1}{p}},\\& \Vert f\Vert _{WL^{p,\lambda}(\mathbb {R}^{n})}=\sup_{r>0}\ r\sup _{x\in \mathbb {R}^{n},t>0} \biggl(\frac{1}{t^{\lambda}} \bigl|\bigl\{ y\in B(x,t):\bigl|f(y)\bigr|>r \bigr\} \bigr| \biggr)^{\frac{1}{p}}, \end{aligned}$$

respectively.

Definition 2.2

[6]

Let $1\leq p<\infty$, $0\leq\lambda\leq n$, $[t]_{1}=\min\{1,t\}$. We denote by $\widetilde{L}^{p,\lambda}=\widetilde{L}^{p,\lambda}(\mathbb {R}^{n})$ the modified Morrey space, and by $W\widetilde{L}^{p,\lambda}=W\widetilde{L}^{p,\lambda}(\mathbb {R}^{n})$ the weak modified Morrey space, as the set of locally integrable functions $f(x)$, $x\in \mathbb {R}^{n}$, with the finite norms

$$\begin{aligned}& \Vert f\Vert _{\widetilde{L}^{p,\lambda}(\mathbb {R}^{n})}=\sup_{x\in \mathbb {R}^{n},t>0} \biggl( \frac{1}{[t]_{1}^{\lambda}} \int_{B(x,t)}\bigl|f(y)\bigr|^{p}\,dy \biggr)^{\frac{1}{p}},\\& \Vert f\Vert _{W\widetilde{L}^{p,\lambda}(\mathbb {R}^{n})}=\sup_{r>0}\ r\sup _{x\in \mathbb {R}^{n},t>0} \biggl(\frac{1}{[t]_{1}^{\lambda}} \bigl|\bigl\{ y\in B(x,t):\bigl|f(y)\bigr|>r \bigr\} \bigr| \biggr)^{\frac{1}{p}}, \end{aligned}$$

respectively.

It is easy to see that $L^{p,0}(\mathbb {R}^{n})=\widetilde{L}^{p,0}(\mathbb {R}^{n})=L^{p}(\mathbb {R}^{n})$, $WL^{p,0}(\mathbb {R}^{n})=W\widetilde{L}^{p,0}(\mathbb {R}^{n})=WL^{p}(\mathbb {R}^{n})$. If $\lambda<0$ or $\lambda>n$, then $\widetilde{L}^{p,\lambda}(\mathbb {R}^{n})=L^{p,\lambda}(\mathbb {R}^{n})=\Theta$ where Θ is the set of all functions equivalent to 0 on $\mathbb {R}^{n}$. In addition, from [6], we know

$$\widetilde{L}^{p,\lambda}\bigl(\mathbb {R}^{n}\bigr)\subset_{\succ}L^{p,\lambda} \bigl(\mathbb {R}^{n}\bigr)\cap L^{p}\bigl(\mathbb {R}^{n} \bigr), \qquad\max \bigl\{ \Vert f\Vert _{L^{p,\lambda}}, \Vert f\Vert _{L^{p}} \bigr\} \leq \Vert f\Vert _{\widetilde{L}^{p,\lambda}}. $$

Recall the definition of $M_{\Omega}$, as a special case when $m=1$, $\Omega\equiv1$ and $\theta_{1}=1$, $M_{\Omega}$ is the Hardy-Littlewood maximal operator $\mathcal{M}$. In 1994, Nakai [11] obtained the boundedness of $\mathcal{M}$ on Morrey spaces, later Guliyev [6] studied the operator $\mathcal{M}$ on modified Morrey spaces and get a result parallel to Nakai’s result.

Lemma 2.1

[11]

Let $1\leq p<\infty$ and $0\leq\lambda< n$. Then for $p>1$, $\mathcal{M}$ is bounded from $L^{p,\lambda}$ to $L^{p,\lambda}$ and for $p=1$, $\mathcal{M}$ is bounded from $L^{1,\lambda}$ to $WL^{1,\lambda}$.

Lemma 2.2

[6]

Let $1\leq p<\infty$ and $0\leq\lambda< n$. Then for $p>1$, $\mathcal{M}$ is bounded from $\widetilde{L}^{p,\lambda}$ to $\widetilde{L}^{p,\lambda}$ and for $p=1$, $\mathcal{M}$ is bounded from $\widetilde{L}^{1,\lambda}$ to $W\widetilde{L}^{1,\lambda}$.

When $m\geq2$ and $\Omega\in L^{s}(\mathbb{S}^{n-1})$, we find $M_{\Omega}$ also has the same properties by providing the following multi-version of Lemmas 2.1 and 2.2.

Theorem 2.3

Let $\Omega\in L^{s}(\mathbb{S}^{n-1})$ with $1< s\leq\infty$, $0\leq\lambda< n$, p be the harmonic mean of $p_{1},\ldots,p_{m}>1$, $p\geq s'$ and satisfy (1.1).

(i)
If $p>s'$, there exists a positive constant C such that
$$\begin{aligned} \|M_{\Omega}{\mathbf {f}}\|_{L^{p,\lambda}}\leq C\prod _{j=1}^{m}\|f_{j}\| _{L^{p_{j},\lambda_{j}}}. \end{aligned}$$
(ii)
If $p=s'$, there exists a positive constant C such that
$$\begin{aligned} \|M_{\Omega}{\mathbf {f}}\|_{WL^{p,\lambda}}\leq C\prod _{j=1}^{m}\|f_{j}\| _{L^{p_{j},\lambda_{j}}}. \end{aligned}$$

Theorem 2.4

Let $\Omega\in L^{s}(\mathbb{S}^{n-1})$ with $1< s\leq\infty$, $0\leq\lambda< n$, p be the harmonic mean of $p_{1},\ldots,p_{m}>1$, $p\geq s'$ and satisfy (1.1).

(i)
If $p>s'$, there exists a positive constant C such that
$$\begin{aligned} \|M_{\Omega}{\mathbf {f}}\|_{\widetilde{L}^{p,\lambda}}\leq C\prod _{j=1}^{m}\| f_{j}\|_{\widetilde{L}^{p_{j},\lambda_{j}}}. \end{aligned}$$
(ii)
If $p=s'$, there exists a positive constant C such that
$$\begin{aligned} \|M_{\Omega}{\mathbf {f}}\|_{W\widetilde{L}^{p,\lambda}}\leq C\prod _{j=1}^{m}\| f_{j}\|_{\widetilde{L}^{p_{j},\lambda_{j}}}. \end{aligned}$$

Here, we give only the proof of Theorem 2.4 and omit the proof of Theorem 2.3 due to the similarity.

Proof

Since $\Omega\in L^{s}(\mathbb{S}^{n-1})$ with $s>1$, Hölder’s inequality yields

$$\begin{aligned} &\frac{1}{r^{n}} \int_{|y|< r}\bigl|\Omega(y)\bigr| \prod_{j=1}^{m}\bigl|f_{j}(x- \theta_{j}y)\bigr|\,dy \\ &\quad\leq\frac{1}{r^{n}} \Biggl( \int_{|y|< r}\prod_{j=1}^{m}\bigl|f_{j}(x- \theta_{j}y)\bigr|^{s'}\,dy \Biggr)^{1/s'} \biggl( \int_{|y|< r}\bigl| \Omega(y)\bigr|^{s}\,dy \biggr)^{1/s} \\ &\quad=\frac{1}{r^{n}} \Biggl( \int_{|y|< r}\prod_{j=1}^{m}\bigl|f_{j}(x- \theta_{j}y)\bigr|^{s'}\,dy \Biggr)^{1/s'} \biggl( \int_{0}^{r} \int_{\mathbb{S}^{n-1}}\bigl|\Omega(\xi)\bigr|^{s} z^{n-1}\,d\xi \,dz \biggr)^{1/s} \\ &\quad=C \Biggl(\frac{1}{r^{n}} \int_{|y|< r}\prod_{j=1}^{m}\bigl|f_{j}(x- \theta_{j}y)\bigr|^{s'}\,dy \Biggr)^{1/s'} \\ &\quad\leq C\prod_{j=1}^{m} \biggl( \frac{1}{r^{n}} \int_{|y|< r}\bigl|f_{j}(x-\theta _{j}y)\bigr|^{s'p_{j}/p}\,dy \biggr)^{p/{s'p_{j}}} \\ &\quad\leq C\prod_{j=1}^{m} \bigl[\mathcal{M} \bigl({f_{j}}^{s'p_{j}/p}\bigr) (x) \bigr]^{p/{s'p_{j}}}, \end{aligned}$$

which implies a pointwise estimate

$$ M_{\Omega}{\mathbf{f}}(x)\leq C \prod _{j=1}^{m} \bigl[\mathcal{M}\bigl({f_{j}}^{s'p_{j}/p} \bigr) (x) \bigr]^{p/{s'p_{j}}}. $$

(2.1)

(i) If $p>s'$, by (2.1) and the Hölder inequality, we get

$$\begin{aligned} \frac{1}{[t]_{1}^{\lambda}} \int_{B(x,t)}\bigl|M_{\Omega}{\mathbf{f}}(y)\bigr|^{p}\,dy & \leq C\frac{1}{[t]_{1}^{\lambda}} \int_{B(x,t)}\prod_{j=1}^{m} \bigl[\mathcal {M}\bigl({f_{j}}^{s'p_{j}/p}\bigr) (y) \bigr]^{p^{2}/{s'p_{j}}}\,dy \\ &\leq C\prod_{j=1}^{m} \biggl( \frac{1}{[t]_{1}^{\lambda_{j}}} \int_{B(x,t)} \bigl[\mathcal{M}\bigl({f_{j}}^{s'p_{j}/p} \bigr) (y) \bigr]^{p/{s'}}\,dy \biggr)^{p/{p_{j}}} \end{aligned}$$

for all $x\in \mathbb {R}^{n}$ and $t>0$.

Taking the pth root of both sides and applying Lemma 2.2 with $p/s'>1$ and the fact ${f_{j}}^{s'p_{j}/p}\in L^{p/s',\lambda_{j}}$, we get

$$\begin{aligned} \|M_{\Omega}{\mathbf {f}}\|_{\widetilde{L}^{p,\lambda}}&=\sup_{x\in \mathbb {R}^{n},t>0} \biggl(\frac{1}{[t]_{1}^{\lambda}} \int_{B(x,t)}\bigl|M_{\Omega}{\mathbf {f}}(y)\bigr|^{p}\,dy \biggr)^{1/p} \\ &\leq C\prod_{j=1}^{m}\sup _{x\in \mathbb {R}^{n},t>0} \biggl(\frac {1}{[t]_{1}^{\lambda_{j}}} \int_{B(x,t)} \bigl[\mathcal {M}\bigl({f_{j}}^{s'p_{j}/p} \bigr) (y) \bigr]^{p/{s'}}\,dy \biggr)^{1/{p_{j}}} \\ &= C\prod_{j=1}^{m}\bigl\Vert \mathcal{M}\bigl(f_{j}^{s'p_{j}/p}\bigr)\bigr\Vert _{\widetilde {L}^{p/s',\lambda_{j}}}^{p/s'p_{j}} \\ &\leq C\prod_{j=1}^{m}\bigl\Vert f_{j}^{s'p_{j}/p}\bigr\Vert _{\widetilde{L}^{p/s',\lambda _{j}}}^{p/s'p_{j}} \\ &=C\prod_{j=1}^{m}\|f_{j} \|_{\widetilde{L}^{p_{j},\lambda_{j}}}, \end{aligned}$$

which is the desired inequality.

(ii) If $p=s'$, for any $\beta>0$, let $\varepsilon_{0}=\beta$, $\varepsilon_{m}=1$ and $\varepsilon_{1},\varepsilon_{2},\ldots,\varepsilon_{m-1}>0$ be arbitrary which will be chosen later. From the pointwise estimate (2.1), we get

$$\begin{aligned} \bigl\{ y\in B(x,t):\bigl|M_{\Omega}{\mathbf{f}}(y)\bigr|>\beta\bigr\} \subset\bigcup_{j=1}^{m} \biggl\{ y\in B(x,t): \bigl[\mathcal{M}\bigl({f_{j}}^{s'p_{j}/p}\bigr) (y) \bigr]^{p/{s'p_{j}}}>\frac {\varepsilon_{j-1}}{[t]_{1}^{(\lambda-\lambda_{j})/p_{j}}\varepsilon_{j}} \biggr\} . \end{aligned}$$

Let us now take $\varepsilon_{1},\varepsilon_{2},\ldots,\varepsilon_{m-1}>0$ such that

$$ \frac{\varepsilon_{j}}{\varepsilon_{j-1}}=\frac{ [\prod_{j=1}^{m}\| f_{j}\|_{\widetilde{L}^{p_{j},{\lambda_{j}}}} ]^{{s'/p_{j}}}}{\beta ^{s'/p_{j}}\|f_{j}\|_{\widetilde{L}^{p_{j},{\lambda_{j}}}}},\quad j=1,2,\ldots,m. $$

Then, applying Lemma 2.2 with $p/s'=1$ and the fact ${f_{j}}^{p_{j}}\in L^{1,{\lambda_{j}}}$, we get

$$\begin{aligned}[b] &\bigl|\bigl\{ y\in B(x,t):\bigl|M_{\Omega}{\mathbf{f}}(y)\bigr|>\beta\bigr\} \bigr| \\ &\quad\leq C\sum_{j=1}^{m}\biggl\vert \biggl\{ y\in B(x,t):\mathcal{M}\bigl({f_{j}}^{p_{j}}\bigr) (y)> \biggl(\frac{\varepsilon _{j-1}}{[t]_{1}^{(\lambda-\lambda_{j})/p_{j}}\varepsilon_{j}} \biggr)^{{p_{j}}} \biggr\} \biggr\vert \\ &\quad\leq C\sum_{j=1}^{m}[t]_{1}^{\lambda_{j}} \biggl(\frac{[t]_{1}^{(\lambda -\lambda_{j})/p_{j}}\varepsilon_{j}}{\varepsilon_{j-1}} \biggr)^{{p_{j}}} \bigl\| {f_{j}}^{p_{j}} \bigr\| _{\widetilde{L}^{1,{\lambda_{j}}}} \\ &\quad=C\sum_{j=1}^{m}[t]_{1}^{\lambda} \biggl(\frac{\varepsilon _{j}}{\varepsilon_{j-1}} \biggr)^{{p_{j}}} \|f_{j} \|_{\widetilde{L}^{p_{j},{\lambda_{j}}}}^{p_{j}} \\ &\quad=C\sum_{j=1}^{m}[t]_{1}^{\lambda} \biggl[ \biggl(\frac{\varepsilon _{j}}{\varepsilon_{j-1}} \biggr) \|f_{j}\|_{\widetilde{L}^{p_{j},{\lambda_{j}}}} \biggr]^{p_{j}} \\ &\quad= C\sum_{j=1}^{m}[t]_{1}^{\lambda} \Biggl(\frac{1}{\beta}\prod_{j=1}^{m} \|f_{j}\|_{\widetilde{L}^{p_{j},{\lambda_{j}}}} \Biggr)^{s'} \\ &\quad=C [t]_{1}^{\lambda}\Biggl(\frac{1}{\beta}\prod _{j=1}^{m}\|f_{j}\|_{\widetilde {L}^{p_{j},{\lambda_{j}}}} \Biggr)^{p}. \end{aligned} $$

Hence, we obtain the following inequality:

$$\begin{aligned} \|M_{\Omega}{\mathbf {f}}\|_{W\widetilde{L}^{p,\lambda}}&=\sup_{\beta >0} \beta\sup_{x\in \mathbb {R}^{n},t>0} \biggl(\frac{1}{[t]_{1}^{\lambda}} \bigl|\bigl\{ y\in B(x,t):\bigl|M_{\Omega}{\mathbf{f}}(y)\bigr|>\beta\bigr\} \bigr| \biggr)^{\frac{1}{p}}\\ &\leq C\prod_{j=1}^{m}\|f_{j} \|_{\widetilde{L}^{p_{j},\lambda_{j}}}. \end{aligned}$$

This is the conclusion (ii) of Theorem 2.4. □

Boundedness of $T_{\Omega,\alpha}$ and $M_{\Omega,\alpha}$

The present section consists of two parts which are about the bounded estimates on Morrey and modified spaces for the multilinear fractional integral operator $T_{\Omega,\alpha}$ and the multilinear fractional maximal operator $M_{\Omega,\alpha}$, respectively.

Boundedness on Morrey spaces

In this part, we will prove Theorem 1.1. Let us begin with a requisite Hedberg’s type estimates, which plays a key role in proving Theorem 1.1.

Lemma 3.1

Let $0<\alpha<n$, $\Omega\in L^{s}(\mathbb{S}^{n-1})$ with $1< s\leq\infty$, p be the harmonic mean of $p_{1},\ldots,p_{m}>1$, $0\leq\lambda< n-\alpha p$, $s'\leq p<{n}/\alpha$ and satisfy (1.1), then there exists a positive constant C such that

$$ \bigl|T_{\Omega,\alpha}{\mathbf{f}}(x)\bigr|\leq C\bigl[M_{\Omega}{\mathbf{f}}(x) \bigr]^{1-p\alpha/(n-\lambda)}\prod_{j=1}^{m} \|f_{j}\| ^{p\alpha/(n-\lambda)}_{L^{p_{j},\lambda_{j}}}. $$

Proof

For any $\delta>0$, we split the integral into two parts:

$$\begin{aligned} T_{\Omega,\alpha}{\mathbf{f}}(x)&= \biggl( \int_{|y|< \delta}+ \int_{|y|\geq \delta} \biggr) \frac{\Omega(y)}{|y|^{n-\alpha}}\prod _{j=1}^{m}f_{j}(x-\theta_{j}y)\,dy =:A(x,\delta)+S(x,\delta). \end{aligned}$$

For $A(x,\delta)$, we have

$$\begin{aligned} \bigl|A(x,\delta)\bigr| &\leq \int_{|y|< \delta}\frac{|\Omega(y)|}{|y|^{n-\alpha}}\prod_{j=1}^{m}\bigl|f_{j}(x- \theta_{j}y)\bigr|\,dy \\ &\leq\sum_{i=0}^{\infty}\int_{2^{-i-1}\delta\leq|y|< 2^{-i}\delta }\frac{|\Omega(y)|}{|y|^{n-\alpha}}\prod_{j=1}^{m}\bigl|f_{j}(x- \theta_{j}y)\bigr|\,dy \\ &\leq\sum_{i=0}^{\infty}\bigl(2^{-i-1} \delta\bigr)^{\alpha-n} \int _{|y|< 2^{-i}\delta}\bigl|\Omega(y)\bigr|\prod_{j=1}^{m}\bigl|f_{j}(x- \theta_{j}y)\bigr|\,dy \\ &\leq\sum_{i=0}^{\infty}\bigl(2^{-i-1} \delta\bigr)^{\alpha-n}\bigl(2^{-i}\delta \bigr)^{n}M_{\Omega}{ \mathbf{f}}(x) \\ &\leq2^{n-\alpha}\delta^{\alpha}M_{\Omega}{\mathbf{f}}(x)\sum _{i=0}^{\infty}2^{-i\alpha} \\ &\leq C\delta^{\alpha}M_{\Omega}{\mathbf{f}}(x). \end{aligned}$$

Recalling the conditions of Lemma 3.1, we can see $s'\leq p<(n-\lambda)/\alpha$, which implies $\alpha<(n-\lambda)/p\leq(n-\lambda)/s'$, then we get

$$n-\alpha s'>n-(n-\lambda)s'/p\geq n-(n-\lambda)= \lambda. $$

In order to estimate $S(x,\delta)$, we choose a real number σ such that

$$n-\alpha s'>\sigma>n-(n-\lambda)s'/p\geq \lambda. $$

One can then see from the choice of σ that

$$ n-\bigl(n-\alpha-\sigma/s'\bigr)s< 0 $$

(3.1)

and

$$ {(n-\sigma)}/{s'}-{(n-\lambda)}/p< 0. $$

(3.2)

Then, using the Hölder inequality, we obtain

$$\begin{aligned} \bigl|S(x,\delta)\bigr| &\leq \int_{|y|\geq\delta}\frac{|\Omega(y)|}{|y|^{n-\alpha-\sigma /s'}}\frac{1}{|y|^{\sigma/s'}}\prod _{j=1}^{m}\bigl|f_{j}(x-\theta_{j}y)\bigr|\,dy \\ &\leq \biggl( \int_{|y|\geq\delta}\frac{|\Omega(y)|^{s}}{|y|^{(n-\alpha -\sigma/s')s}}\,dy \biggr)^{1/s} \Biggl( \int_{|y|\geq\delta}\frac{1}{|y|^{\sigma}}\prod_{j=1}^{m}\bigl|f_{j}(x- \theta_{j}y)\bigr|^{s'}\,dy \Biggr)^{1/s'} \\ &=:E_{\sigma}(\delta)\times F_{\sigma}(x,\delta). \end{aligned}$$

For $E_{\sigma}(\delta)$, by the fact (3.1), we obtain

$$ E_{\sigma}(\delta)= \biggl( \int_{\delta}^{\infty}\int_{\mathbb{S}^{n-1}}\bigl|\Omega (\xi)\bigr|^{s} r^{n-(n-\alpha-\sigma/s')s-1}\,d\xi \,dr \biggr)^{1/s}=C\delta^{\alpha-(n-\sigma)/s'}. $$

For $F_{\sigma}(x,\delta)$, we have

$$\begin{aligned} F_{\sigma}(x,\delta) &\leq \Biggl(\sum_{i=0}^{\infty}\int_{2^{i}\delta\leq|y|< 2^{i+1}\delta }\frac{1}{|y|^{\sigma}}\prod_{j=1}^{m}\bigl|f_{j}(x- \theta_{j}y)\bigr|^{s'}\,dy \Biggr)^{1/s'} \\ &\leq\sum_{i=0}^{\infty}\bigl(2^{i} \delta\bigr)^{-\sigma/s'} \Biggl( \int _{|y|< 2^{i+1}\delta}\prod_{j=1}^{m}\bigl|f_{j}(x- \theta_{j}y)\bigr|^{s'}\,dy \Biggr)^{1/s'}. \end{aligned}$$

If $p>s'$, applying Hölder’s inequality and the fact (3.2), we have

$$\begin{aligned} F_{\sigma}(x,\delta) &\leq\sum_{i=0}^{\infty}\bigl(2^{i}\delta\bigr)^{-\sigma/s'} \biggl( \int _{|y|< 2^{i+1}\delta}\,dy \biggr)^{1/s'-1/p} \Biggl( \int_{|y|< 2^{i+1}\delta }\prod_{j=1}^{m}\bigl|f_{j}(x- \theta_{j}y)\bigr|^{p}\,dy \Biggr)^{1/p} \\ &\leq C\sum_{i=0}^{\infty}\bigl(2^{i}\delta\bigr)^{(n-\sigma)/s'-n/p} \Biggl( \int_{|y|< 2^{i+1}\delta}\prod_{j=1}^{m}\bigl|f_{j}(x- \theta_{j}y)\bigr|^{p}\,dy \Biggr)^{1/p} \\ &\leq C\sum_{i=0}^{\infty}\bigl(2^{i}\delta\bigr)^{(n-\sigma)/s'-(n-\lambda )/p} \Biggl(\frac{1}{(2^{i+1}\delta)^{\lambda}} \int_{|y|< 2^{i+1}\delta}\prod_{j=1}^{m}\bigl|f_{j}(x- \theta_{j}y)\bigr|^{p}\,dy \Biggr)^{1/p} \\ &\leq C\sum_{i=0}^{\infty}\bigl(2^{i}\delta\bigr)^{(n-\sigma)/s'-(n-\lambda )/p}\prod _{j=1}^{m} \biggl(\frac{1}{(2^{i+1}\delta)^{\lambda_{j}}} \int _{|y|< 2^{i+1}\delta}\bigl|f_{j}(x-\theta_{j}y)\bigr|^{p_{j}}\,dy \biggr)^{1/{p_{j}}} \\ &\leq C\sum_{i=0}^{\infty}\bigl(2^{i}\delta\bigr)^{(n-\sigma)/s'-(n-\lambda )/p}\prod _{j=1}^{m}\|f_{j}\|_{L^{p_{j},\lambda_{j}}} \\ &\leq C\delta^{(n-\sigma)/s'-(n-\lambda)/p}\prod_{j=1}^{m} \|f_{j}\| _{L^{p_{j},\lambda_{j}}}. \end{aligned}$$

If $p=s'$, using the Hölder inequality and the fact $\lambda<\sigma$, we get

$$\begin{aligned} F_{\sigma}(x,\delta) &\leq\sum_{i=0}^{\infty}\bigl(2^{i}\delta\bigr)^{-\sigma/s'} \Biggl( \int _{|y|< 2^{i+1}\delta}\prod_{j=1}^{m}\bigl|f_{j}(x- \theta_{j}y)\bigr|^{s'}\,dy \Biggr)^{1/s'} \\ &\leq C\sum_{i=0}^{\infty}\bigl(2^{i}\delta\bigr)^{-\sigma/s'+\lambda /s'} \Biggl(\frac{1}{(2^{i+1}\delta)^{\lambda}} \int_{|y|< 2^{i+1}\delta}\prod_{j=1}^{m}\bigl|f_{j}(x- \theta_{j}y)\bigr|^{s'}\,dy \Biggr)^{1/s'} \\ &\leq C\sum_{i=0}^{\infty}\bigl(2^{i}\delta\bigr)^{(\lambda-\sigma)/s'}\prod _{j=1}^{m} \biggl(\frac{1}{(2^{i+1}\delta)^{\lambda_{j}}} \int _{|y|< 2^{i+1}\delta}\bigl|f_{j}(x-\theta_{j}y)\bigr|^{p_{j}}\,dy \biggr)^{1/{p_{j}}} \\ &\leq C\sum_{i=0}^{\infty}\bigl(2^{i}\delta\bigr)^{(\lambda-\sigma)/s'}\prod _{j=1}^{m}\|f_{j}\|_{L^{p_{j},\lambda_{j}}} \\ &\leq C\delta^{(\lambda-\sigma)/s'}\prod_{j=1}^{m} \|f_{j}\|_{L^{p_{j},\lambda_{j}}} \\ &= C\delta^{(n-\sigma)/s'-(n-\lambda)/p}\prod_{j=1}^{m} \|f_{j}\| _{L^{p_{j},\lambda_{j}}}. \end{aligned}$$

Hence, for every $p\geq s'$, we have

$$\bigl|S(x,\delta)\bigr|\leq C\delta^{\alpha-(n-\lambda)/p}\prod_{j=1}^{m} \|f_{j}\| _{L^{p_{j},\lambda_{j}}}. $$

Thus

$$\bigl|T_{\Omega,\alpha}{\mathbf{f}}(x)\bigr|\leq C \Biggl( \delta^{\alpha}M_{\Omega }{ \mathbf{f}}(x)+\delta^{\alpha-(n-\lambda)/p}\prod_{j=1}^{m} \|f_{j}\| _{L^{p_{j},\lambda_{j}}} \Biggr),\quad \delta>0. $$

Now take

$$\delta= \Biggl[\bigl(M_{\Omega}{\mathbf{f}}(x)\bigr)^{-1}\prod _{j=1}^{m}\|f_{j}\| _{L^{p_{j},\lambda_{j}}} \Biggr]^{p/(n-\lambda)}, $$

and then we get the conclusion of Lemma 3.1. □

Now we are ready to prove Theorem 1.1.

Proof of Theorem 1.1

First of all, we will devote our efforts to the proof of (i).

Sufficiency. By Lemma 3.1 and the conclusion (i) of Theorem 2.3, we have

$$\begin{aligned} \biggl(\frac{1}{t^{\lambda}} \int_{B(x,t)}\bigl|T_{\Omega,\alpha}{\mathbf {f}}(y)\bigr|^{q}\,dy \biggr)^{1/q} &\leq C\prod_{j=1}^{m} \|f_{j}\|^{1-p/q}_{L^{p_{j},\lambda_{j}}} \biggl(\frac {1}{t^{\lambda}} \int_{B(x,t)}\bigl(M_{\Omega}{\mathbf{f}}(y) \bigr)^{p}\,dy \biggr)^{1/q} \\ &\leq C\prod_{j=1}^{m}\|f_{j} \|^{1-p/q}_{L^{p_{j},\lambda_{j}}}\prod_{j=1}^{m} \|f_{j}\| ^{p/q}_{L^{p_{j},\lambda_{j}}} \\ &\leq C\prod_{j=1}^{m}\|f_{j} \|_{L^{p_{j},\lambda_{j}}}. \end{aligned}$$

Taking the supremum for $x\in \mathbb {R}^{n}$ and $t>0$, we will get the desired conclusion.

Necessity. Suppose that $T_{\Omega,\alpha}$ is bounded from $L^{p_{1},\lambda_{1}}\times\cdots\times L^{p_{m},\lambda_{m}}$ to $L^{q,\lambda}$. Define ${\mathbf {f}}_{\epsilon}(x)=(f_{1}(\epsilon x),\ldots, f_{m}(\epsilon x))$ for $\epsilon>0$. Then it is easy to show that

$$ T_{\Omega,\alpha}{\mathbf{f}_{\epsilon}}(y)= \epsilon^{-\alpha}T_{\Omega,\alpha }{\mathbf{f}}(\epsilon y). $$

(3.3)

Thus

$$\begin{aligned} \|T_{\Omega,\alpha}{\mathbf{f}_{\epsilon}}\|_{L^{q,\lambda}} &= \epsilon^{-\alpha}\sup_{x\in \mathbb {R}^{n},t>0} \biggl(\frac {1}{t^{\lambda}} \int_{B(x,t)}\bigl|T_{\Omega,\alpha}{\mathbf{f}}(\epsilon y)\bigr|^{q}\,dy \biggr)^{1/q} \\ &=\epsilon^{-\alpha-n/q}\sup_{x\in \mathbb {R}^{n},t>0} \biggl(\frac {1}{t^{\lambda}} \int_{B(\epsilon x,\epsilon t)}\bigl|T_{\Omega,\alpha}{\mathbf {f}}(y)\bigr|^{q}\,dy \biggr)^{1/q} \\ &=\epsilon^{-\alpha-n/q+\lambda/q}\sup_{x\in \mathbb {R}^{n},t>0} \biggl(\frac{1}{(\epsilon t)^{\lambda}} \int_{B(\epsilon x,\epsilon t)}\bigl|T_{\Omega ,\alpha}{\mathbf{f}}(y)\bigr|^{q}\,dy \biggr)^{1/q} \\ &=\epsilon^{-\alpha-(n-\lambda)/q}\|T_{\Omega,\alpha}{\mathbf{f}}\| _{L^{q,\lambda}}. \end{aligned}$$

Since $T_{\Omega,\alpha}$ is bounded from $L^{p_{1},\lambda_{1}}\times\cdots\times L^{p_{m},\lambda_{m}}$ to $L^{q,\lambda}$, we have

$$\begin{aligned} \|T_{\Omega,\alpha}{\mathbf{f}}\|_{L^{q,\lambda}}&=\epsilon^{\alpha +(n-\lambda)/q} \|T_{\Omega,\alpha}{\mathbf{f}_{\epsilon}}\|_{L^{q,\lambda}} \\ &\leq C\epsilon^{\alpha+(n-\lambda)/q}\prod_{j=1}^{m} \bigl\| f_{j}(\epsilon\cdot )\bigr\| _{L^{p_{j},\lambda_{j}}} \\ &=C\epsilon^{\alpha+(n-\lambda)/q} \prod_{j=1}^{m} \sup_{x\in \mathbb {R}^{n},t>0} \biggl(\frac{1}{t^{\lambda _{j}}} \int_{B(x,t)}\bigl|f_{j}(\epsilon y)\bigr|^{p_{j}}\,dy \biggr)^{1/{p_{j}}} \\ &= C\epsilon^{\alpha+(n-\lambda)/q} \prod_{j=1}^{m} \epsilon^{-n/{p_{j}}}\sup_{x\in \mathbb {R}^{n},t>0} \biggl(\frac{1}{t^{\lambda_{j}}} \int_{B(\epsilon x,\epsilon t)}\bigl|f_{j}(y)\bigr|^{p_{j}}\,dy \biggr)^{1/{p_{j}}} \\ &= C\epsilon^{\alpha+(n-\lambda)/q} \prod_{j=1}^{m} \epsilon^{(\lambda_{j}-n)/{p_{j}}}\sup_{x\in \mathbb {R}^{n},t>0} \biggl(\frac{1}{(\epsilon t)^{\lambda_{j}}} \int_{B(\epsilon x,\epsilon t)}\bigl|f_{j}(y)\bigr|^{p_{j}}\,dy \biggr)^{1/{p_{j}}} \\ &= C\epsilon^{\alpha+(n-\lambda)/q-(n-\lambda)/{p}} \prod_{j=1}^{m} \|f_{j}\|_{L^{p_{j},\lambda_{j}}}, \end{aligned}$$

where C is independent of ϵ.

If $1/p<1/q+\alpha/(n-\lambda)$, then for all ${\mathbf {f}} \in L^{p_{1},\lambda_{1}}\times\cdots\times L^{p_{m},\lambda_{m}}$, we have $\|T_{\Omega,\alpha}{\mathbf{f}}\|_{L^{q,\lambda}}=0$ as $\epsilon\rightarrow0$.

If $1/p>1/q+\alpha/(n-\lambda)$, then for all ${\mathbf {f}} \in L^{p_{1},\lambda_{1}}\times\cdots\times L^{p_{m},\lambda_{m}}$, we have $\|T_{\Omega,\alpha}{\mathbf{f}}\|_{L^{q,\lambda}}=0$ as $\epsilon\rightarrow\infty$.

Therefore we get $1/p=1/q+\alpha/(n-\lambda)$.

We proceed to prove (ii). Sufficiency. For any $\beta>0$, applying Lemma 3.1 and the conclusion (ii) of Theorem 2.3, we get

$$\begin{aligned} &\|T_{\Omega,\alpha}{\mathbf{f}}\|_{WL^{q,\lambda}} \\ &\quad=\sup_{\beta >0} {\beta}\sup_{x\in \mathbb {R}^{n},t>0} \biggl( \frac{1}{t^{\lambda}}\bigl|\bigl\{ y\in B(x,t):\bigl|T_{\Omega}{\mathbf{f}}(y)\bigr|>\beta \bigr\} \bigr| \biggr)^{1/q} \\ &\quad\leq\sup_{\beta>0} {\beta}\sup_{x\in \mathbb {R}^{n},t>0} \Biggl( \frac{1}{t^{\lambda}}\Biggl|\Biggl\{ y\in B(x,t):\bigl(CM_{\Omega}{\mathbf{f}}(y) \bigr)^{s'/q}\prod_{j=1}^{m} \|f_{j}\|^{1-s'/q}_{L^{p_{j},\lambda_{j}}}>\beta\Biggr\} \Biggr| \Biggr)^{1/q} \\ &\quad\leq\sup_{\beta>0} {\beta}\sup_{x\in \mathbb {R}^{n},t>0} \biggl[ \frac{1}{t^{\lambda}}\biggl\vert \biggl\{ y\in B(x,t):M_{\Omega}{ \mathbf{f}}(y)> \biggl(\frac{\beta}{C\prod_{j=1}^{m}\|f_{j}\|^{1-s'/q}_{L^{p_{j},\lambda_{j}}}} \biggr)^{q/s'} \biggr\} \biggr\vert \biggr]^{1/q} \\ &\quad\leq\sup_{\beta>0} {\beta}\sup_{x\in \mathbb {R}^{n},t>0} \biggl[ \frac{1}{t^{\lambda}}\biggl\vert \biggl\{ y\in B(x,t):M_{\Omega}{ \mathbf{f}}(y)> \biggl(\frac{\beta}{C\prod_{j=1}^{m} \|f_{j}\|^{1-s'/q}_{L^{p_{j},\lambda_{j}}}} \biggr)^{q/s'} \biggr\} \biggr\vert \biggr]^{\frac{1}{s'}\times\frac{s'}{q}} \\ &\quad\leq{C}\sup_{\beta>0}\ {\beta} \Biggl[ \biggl(\frac{\prod_{j=1}^{m} \|f_{j}\|^{1-s'/q}_{L^{p_{j},\lambda _{j}}}}{\beta} \biggr)^{q/s'} \prod_{j=1}^{m} \|f_{j}\|_{L^{p_{j},\lambda_{j}}} \Biggr]^{s'/q} \\ &\quad\leq{C}\sup_{\beta>0} {\beta} \Biggl[\frac{\prod_{j=1}^{m}\|f_{j}\| ^{1-s'/q}_{L^{p_{j},\lambda_{j}}}}{\beta}\prod _{j=1}^{m}\|f_{j}\| ^{s'/q}_{L^{p_{j},\lambda_{j}}} \Biggr] \\ &\quad\leq{C} {\prod_{j=1}^{m} \|f_{j}\|_{L^{p_{j},\lambda_{j}}}}. \end{aligned}$$

Thus, we complete the sufficiency of (ii).

Necessity. Let $T_{\Omega,\alpha}$ be bounded from $L^{p_{1},\lambda_{1}}\times\cdots\times L^{p_{m},\lambda_{m}}$ to $WL^{q,\lambda}$. Because we have (3.3) for ${\mathbf {f}}_{\epsilon}(x)=(f_{1}(\epsilon x),\ldots, f_{m}(\epsilon x))$ with $\epsilon>0$, then we obtain

$$\begin{aligned} \|T_{\Omega,\alpha}{\mathbf{f}_{\epsilon}}\|_{WL^{q,\lambda}} &=\sup _{r>0} r\sup_{x\in \mathbb {R}^{n},t>0} \biggl(\frac {1}{t^{\lambda}} \int_{\{y\in B(x,t):|T_{\Omega,\alpha}{\mathbf{f}_{\epsilon}}(y)|>r\}}\,dy \biggr)^{\frac{1}{q}} \\ &=\sup_{r>0} r\sup_{x\in \mathbb {R}^{n},t>0} \biggl( \frac {1}{t^{\lambda}} \int_{\{y\in B( x,t):|T_{\Omega,\alpha}{\mathbf{f}}(\epsilon y)|>r\epsilon^{\alpha}\}}\,dy \biggr)^{\frac{1}{q}} \\ &=\epsilon^{-n/q}\sup_{r>0}\ r\sup _{x\in \mathbb {R}^{n},t>0} \biggl(\frac{1}{t^{\lambda}} \int_{\{y\in B(\epsilon x,\epsilon t):|T_{\Omega,\alpha}{\mathbf{f}}(y)|>r\epsilon^{\alpha}\}}\,dy \biggr)^{\frac{1}{q}} \\ &=\epsilon^{-\alpha-n/q+\lambda/q}\sup_{r>0}\ r\epsilon^{\alpha}\sup_{x\in \mathbb {R}^{n},t>0} \biggl(\frac{1}{(\epsilon t)^{\lambda}} \int_{\{y\in B(\epsilon x,\epsilon t):|T_{\Omega,\alpha}{\mathbf{f}}(y)|>r\epsilon^{\alpha}\}}\,dy \biggr)^{\frac{1}{q}} \\ &=\epsilon^{-\alpha-(n-\lambda)/q}\|T_{\Omega,\alpha}{\mathbf{f}}\| _{WL^{q,\lambda}}. \end{aligned}$$

Since $T_{\Omega,\alpha}$ is bounded from $L^{p_{1},\lambda_{1}}\times\cdots\times L^{p_{m},\lambda_{m}}$ to $WL^{q,\lambda}$, we have

$$\begin{aligned} \|T_{\Omega,\alpha}{\mathbf{f}}\|_{WL^{q,\lambda}}&=\epsilon^{\alpha +(n-\lambda)/q} \|T_{\Omega,\alpha}{\mathbf{f}_{\epsilon}}\|_{WL^{q,\lambda}} \leq C\epsilon^{\alpha+(n-\lambda)/q}\prod_{j=1}^{m} \bigl\| f_{j}(\epsilon\cdot )\bigr\| _{L^{p_{j},\lambda_{j}}} \\ &\leq C\epsilon^{\alpha+(n-\lambda)/q-(n-\lambda)/p} \prod_{j=1}^{m} \|f_{j}\|_{L^{p_{j},\lambda_{j}}}, \end{aligned}$$

where C is independent of ϵ.

If $1/p<1/q+\alpha/(n-\lambda)$, then for all ${\mathbf {f}} \in L^{p_{1},\lambda}\times\cdots\times L^{p_{m},\lambda}$, we have $\|T_{\Omega,\alpha}{\mathbf{f}}\|_{WL^{q,\lambda}}=0$ as $\epsilon\rightarrow0$.

If $1/p>1/q+\alpha/(n-\lambda)$, then for all ${\mathbf {f}} \in L^{p_{1},\lambda}\times\cdots\times L^{p_{m},\lambda}$, we have $\|T_{\Omega,\alpha}{\mathbf{f}}\|_{WL^{q,\lambda}}=0$ as $\epsilon\rightarrow\infty$.

Consequently, we get $1/p=1/q+\alpha/(n-\lambda)$.

Next, we prove conclusions (i) and (ii) hold for $M_{\Omega,\alpha}$. By the same arguments as above we get the necessity part and the sufficiency part follows from the conclusion of $T_{\Omega,\alpha}$ and the following lemma.

Lemma 3.2

[9]

Suppose that $0<\alpha<n$, $\Omega\in L^{s}(\mathbb{S}^{n-1})$ with $1< s\leq\infty$. Then

$$ M_{\Omega,\alpha}({\mathbf {f}}) (x)\leq C_{\alpha,n}T_{|\Omega|,\alpha}\bigl({ |\mathbf {f}|}\bigr) (x), $$

where ${|\mathbf {f}|}=(|f_{1}|,\ldots,|f_{m}|)$.

Then the proof of Theorem 1.1 is completed. □

As an application of Theorem 1.1, we get Spanne type estimates, which can be seen a multi-version of Proposition 1.1.

Corollary 3.1

Let α, Ω, s, $p_{j}$, $\lambda_{j}$, p, and λ be as in Theorem 1.1, $1/q=1/p-\alpha/{n}$, $\mu/q=\lambda/p$.

(i)
If $p>s'$, then $T_{\Omega,\alpha}$ is bounded from $L^{p_{1},\lambda_{1}}(\mathbb{R}^{n})\times\cdots\times L^{p_{m},\lambda_{m}}(\mathbb{R}^{n})$ to $L^{q,\mu}(\mathbb{R}^{n})$.
(ii)
If $p=s'$, then $T_{\Omega,\alpha}$ is bounded from $L^{p_{1},\lambda_{1}}(\mathbb{R}^{n})\times\cdots\times L^{p_{m},\lambda_{m}}(\mathbb{R}^{n})$ to $WL^{q,\mu}(\mathbb{R}^{n})$.

Moreover, similar estimates hold for $M_{\Omega,\alpha}$.

Proof

From Lemma 3.2, we only need to show the boundedness of $T_{\Omega,\alpha}$.

First, we choose t to satisfy $(n-\mu)/q=(n-\lambda)/t$, then we get

$${1}/{t}=(n-\mu)/q(n-\lambda)={1}/{p}-{\alpha}/(n-\lambda )< {1}/{p}-{ \alpha}/n=1/q. $$

Then Hölder’s inequality implies $L^{t,\lambda}(\mathbb{R}^{n})\subset L^{q,\mu}(\mathbb{R}^{n})$ and $WL^{t,\lambda}(\mathbb{R}^{n})\subset WL^{q,\mu}(\mathbb{R}^{n})$. In fact, there exists a constant $C>0$ such that

$$ \|T_{\Omega,\alpha}{\mathbf{f}}\|_{L^{q,u}}\leq C\|T_{\Omega,\alpha}{ \mathbf{f}}\|_{L^{t,\lambda}} $$

and

$$ \|T_{\Omega,\alpha}{\mathbf{f}}\|_{WL^{q,u}}\leq C\|T_{\Omega,\alpha}{ \mathbf{f}}\|_{WL^{t,\lambda}}. $$

Then, by Theorem 1.1, we have

$$ \|T_{\Omega,\alpha}{\mathbf{f}}\|_{L^{q,u}}\leq C\|T_{\Omega,\alpha}{ \mathbf{f}}\|_{L^{t,\mu}}\leq C\prod_{j=1}^{m} \|f_{j}\|_{L^{p_{j},\lambda_{j}}} \quad\mbox{for } p>s' $$

and

$$ \|T_{\Omega,\alpha}{\mathbf{f}}\|_{WL^{q,u}}\leq C\|T_{\Omega,\alpha}{ \mathbf{f}}\|_{WL^{t,\mu}}\leq C\prod_{j=1}^{m} \|f_{j}\|_{L^{p_{j},\lambda_{j}}} \quad\mbox{for } p=s'. $$

Thus, the proof of Corollary 3.1 is completed. □

As an another application, by Hölder’s inequality, we obtain an Olsen’s inequality as in the following corollary, which is a multi-version of the results in considered by Olsen in [12] in the study of the Schrödinger equation with perturbed potentials W.

Corollary 3.2

Let α, Ω, s, $p_{j}$, $\lambda_{j}$, p, and λ be as in Theorem 1.1 and let $W\in L^{(n-\lambda)/\alpha,\lambda}$. If $p>s'$ and $1/p-1/q=\alpha/(n-\lambda)$, then there exists a positive constant C such that

$$ \|W\cdot T_{\Omega,\alpha}{\mathbf{f}}\|_{L^{p,\lambda}(\mathbb{R}^{n})} \leq C \|W\|_{L^{(n-\lambda)/\alpha,\lambda}(\mathbb{R}^{n})} \prod_{j=1}^{m}\|f_{j}\|_{L^{p_{j},\lambda_{j}}(\mathbb{R}^{n})}. $$

Moreover, similar estimates hold for $M_{\Omega,\alpha}$.

Boundedness on modified Morrey spaces

This part we will devote to the boundedness on modified Morrey spaces and show the proof Theorem 1.2 and 1.3. With the same arguments on Morrey spaces, we also begin with a requisite Hedberg’s type estimates on modified Morrey spaces.

Lemma 3.3

Let $0<\alpha<n$, $\Omega\in L^{s}(\mathbb{S}^{n-1})$ with $1< s\leq\infty$, p be the harmonic mean of $p_{1},\ldots,p_{m}>1$, $0\leq\lambda< n-\alpha p$, $s'\leq p<{n}/\alpha$ and satisfy (1.1), then there exists a positive constant C such that

$$ \bigl|T_{\Omega,\alpha}{\mathbf{f}}(x)\bigr|\leq C\bigl(M_{\Omega}{\mathbf{f}}(x) \bigr)^{p/q}\prod_{j=1}^{m} \|f_{j}\|^{1-p/q}_{\widetilde {L}^{p_{j},\lambda_{j}}}. $$

Proof

For any $\delta>0$, we do the same decomoposition of $T_{\Omega,\alpha}$ as in the proof of Lemma 3.1, then we only need to estimate $F_{\sigma}(x,\delta)$. We also choose the same σ during the proof of Lemma 3.1, then we get

$$ (n-\sigma)/{s'}-{n}/p\leq(n-\sigma)/{s'}-(n- \lambda)/p< 0. $$

(3.4)

If $p>s'$, by the Hölder inequality and the fact (3.4), we obtain

$$\begin{aligned} F_{\sigma}(x,\delta) &\leq\sum_{i=0}^{\infty}\bigl(2^{i}\delta\bigr)^{-\sigma/s'} \Biggl( \int _{|y|< 2^{i+1}\delta}\prod_{j=1}^{m}\bigl|f_{j}(x- \theta_{j}y)\bigr|^{s'}\,dy \Biggr)^{1/s'} \\ &\leq C\sum_{i=0}^{\infty}\bigl(2^{i}\delta\bigr)^{(n-\sigma)/s'-n/p} \Biggl( \int_{|y|< 2^{i+1}\delta}\prod_{j=1}^{m}\bigl|f_{j}(x- \theta_{j}y)\bigr|^{p}\,dy \Biggr)^{1/p} \\ &\leq C\sum_{i=0}^{\infty}\bigl(2^{i}\delta\bigr)^{(n-\sigma )/s'-n/p}\bigl[2^{i+1}\delta \bigr]_{1}^{\lambda/p} \Biggl(\frac{1}{[2^{i+1}\delta ]_{1}^{\lambda}} \int_{|y|< 2^{i+1}\delta}\prod_{j=1}^{m}\bigl|f_{j}(x- \theta _{j}y)\bigr|^{p}\,dy \Biggr)^{1/p} \\ &\leq C\sum_{i=0}^{\infty}\bigl(2^{i}\delta\bigr)^{(n-\sigma )/s'-n/p}\bigl[2^{i+1}\delta \bigr]_{1}^{\lambda/p}\prod_{j=1}^{m} \biggl(\frac {1}{[2^{i+1}\delta]_{1}^{\lambda_{j}}} \int_{|y|< 2^{i+1}\delta}\bigl|f_{j}(x-\theta _{j}y)\bigr|^{p_{j}}\,dy \biggr)^{1/{p_{j}}} \\ &\leq C\sum_{i=0}^{\infty}\bigl(2^{i}\delta\bigr)^{(n-\sigma)/s'-n/p}\bigl[2^{i+1}\delta \bigr]_{1}^{\lambda/p}\prod_{j=1}^{m} \|f_{j}\|_{\widetilde{L}^{p_{j},\lambda_{j}}} \\ &= C\prod_{j=1}^{m}\|f_{j} \|_{\widetilde{L}^{p_{j},\lambda_{j}}}\sum_{i=0}^{\infty}\bigl(2^{i}\delta\bigr)^{(n-\sigma)/s'-n/p}\bigl[2^{i+1}\delta \bigr]_{1}^{\lambda /p} \\ &\leq C\prod_{j=1}^{m}\|f_{j} \|_{\widetilde{L}^{p_{j},\lambda_{j}}} \left \{ \textstyle\begin{array}{@{}l@{\quad}l} \sum_{i=0}^{\infty}\bigl(2^{i}\delta \bigr)^{(n-\sigma)/s'-n/p}, &\mbox{if } \delta\geq1/2,\\ \sum_{i=0}^{[\log_{2}{\frac{1}{2\delta}}]}\bigl(2^{i} \delta\bigr)^{(n-\sigma )/s'-(n-\lambda)/p}\\ \quad{}+\sum^{\infty}_{i=[\log_{2}{\frac{1}{2\delta }}]+1} \bigl(2^{i}\delta\bigr)^{(n-\sigma)/s'-n/p}, & \mbox{if } 0< \delta< 1/2 \end{array}\displaystyle \right . \\ &\leq C\prod_{j=1}^{m}\|f_{j} \|_{\widetilde{L}^{p_{j},\lambda_{j}}} \left \{ \textstyle\begin{array}{@{}l@{\quad}l} \delta^{(n-\sigma)/s'-n/p}, &\mbox{if } \delta\geq1/2,\\ \delta^{(n-\sigma)/s'-(n-\lambda)/p}+\delta^{(n-\sigma)/s'-n/p}, &\mbox{if } 0< \delta< 1/2 \end{array}\displaystyle \right . \\ &\leq C\prod_{j=1}^{m}\|f_{j} \|_{\widetilde{L}^{p_{j},\lambda_{j}}} \left \{ \textstyle\begin{array}{@{}l@{\quad}l} \delta^{(n-\sigma)/s'-n/p}, &\mbox{if }\delta\geq1/2,\\ \delta^{(n-\sigma)/s'-(n-\lambda)/p}, &\mbox{if } 0< \delta< 1/2 \end{array}\displaystyle \right . \\ &\leq C\delta^{(n-\sigma)/s'-n/p}[2\delta]_{1}^{\lambda/p}\prod _{j=1}^{m}\|f_{j}\| _{\widetilde{L}^{p_{j},\lambda_{j}}}. \end{aligned}$$

If $p=s'$, using the Hölder inequality and the fact $0\leq\lambda<\sigma$, we get

$$\begin{aligned} F_{\sigma}(x,\delta) &\leq\sum_{i=0}^{\infty}\bigl(2^{i}\delta\bigr)^{-\sigma/s'} \Biggl( \int _{|y|< 2^{i+1}\delta}\prod_{j=1}^{m}\bigl|f_{j}(x- \theta_{j}y)\bigr|^{s'}\,dy \Biggr)^{1/s'} \\ &\leq C\sum_{i=0}^{\infty}\bigl(2^{i}\delta\bigr)^{-\sigma/s'}\bigl[2^{i+1}\delta \bigr]_{1}^{\lambda/s'} \Biggl(\frac{1}{[2^{i+1}\delta]_{1}^{\lambda}} \int _{|y|< 2^{i+1}\delta}\prod_{j=1}^{m}\bigl|f_{j}(x- \theta_{j}y)\bigr|^{s'}\,dy \Biggr)^{1/s'} \\ &\leq C\sum_{i=0}^{\infty}\bigl(2^{i}\delta\bigr)^{-\sigma/s'}\bigl[2^{i+1}\delta \bigr]_{1}^{\lambda/s'}\prod_{j=1}^{m} \biggl(\frac{1}{[2^{i+1}\delta]_{1}^{\lambda _{j}}} \int_{|y|< 2^{i+1}\delta}\bigl|f_{j}(x-\theta_{j}y)\bigr|^{p_{j}}\,dy \biggr)^{1/{p_{j}}} \\ &\leq C\prod_{j=1}^{m}\|f_{j} \|_{\widetilde{L}^{p_{j},\lambda_{j}}}\sum_{i=0}^{\infty}\bigl(2^{i}\delta\bigr)^{-\sigma/s'}\bigl[2^{i+1}\delta \bigr]_{1}^{\lambda/s'} \\ &\leq C\prod_{j=1}^{m}\|f_{j} \|_{\widetilde{L}^{p_{j},\lambda_{j}}} \left \{ \textstyle\begin{array}{@{}l@{\quad}l} \sum_{i=0}^{\infty}\bigl(2^{i}\delta \bigr)^{-\sigma/s'}, &\mbox{if } \delta\geq1/2,\\ \sum_{i=0}^{[\log_{2}{\frac{1}{2\delta}}]}\bigl(2^{i} \delta\bigr)^{(\lambda -\sigma)/s'}\\ \quad{}+\sum^{\infty}_{i=[\log_{2}{\frac{1}{2\delta }}]+1} \bigl(2^{i}\delta\bigr)^{-\sigma/s'}, & \mbox{if } 0< \delta< 1/2 \end{array}\displaystyle \right . \\ &\leq C\prod_{j=1}^{m}\|f_{j} \|_{\widetilde{L}^{p_{j},\lambda_{j}}} \left \{ \textstyle\begin{array}{@{}l@{\quad}l} \delta^{-\sigma/s'}, &\mbox{if }\delta\geq1/2,\\ \delta^{(\lambda-\sigma)/s'}+\delta^{-\sigma/s'}, &\mbox{if } 0< \delta< 1/2 \end{array}\displaystyle \right . \\ &\leq C\prod_{j=1}^{m}\|f_{j} \|_{\widetilde{L}^{p_{j},\lambda_{j}}} \left \{ \textstyle\begin{array}{@{}l@{\quad}l} \delta^{-\sigma/s'}, &\mbox{if } \delta\geq1/2,\\ \delta^{(\lambda-\sigma)/s'}, &\mbox{if } 0< \delta< 1/2 \end{array}\displaystyle \right . \\ &\leq C\delta^{-\sigma/s'}[2\delta]_{1}^{\lambda/p}\prod _{j=1}^{m}\|f_{j}\| _{\widetilde{L}^{p_{j},\lambda_{j}}} \\ &\leq C\delta^{(n-\sigma)/s'-n/p}[2\delta]_{1}^{\lambda/p}\prod _{j=1}^{m}\|f_{j}\| _{\widetilde{L}^{p_{j},\lambda_{j}}}. \end{aligned}$$

Then, combining with the estimates $E_{\sigma}(\delta)\leq C\delta^{\alpha-(n-\sigma)/s'}$, we have

$$ \bigl|S(x,\delta)\bigr|\leq C\delta^{\alpha-n/p}[2\delta]_{1}^{\lambda/p} \prod_{j=1}^{m}\|f_{j}\| _{\widetilde{L}^{p_{j},\lambda_{j}}}, \quad\mbox{for every } p\geq s'. $$

Thus

$$\begin{aligned} \bigl|T_{\Omega,\alpha}{\mathbf{f}}(x)\bigr| \leq{}& C \Biggl( \delta^{\alpha}M_{\Omega}{ \mathbf{f}}(x)+\delta^{\alpha-n/p}[2\delta ]_{1}^{\lambda/p} \prod_{j=1}^{m}\|f_{j} \|_{\widetilde{L}^{p_{j},\lambda _{j}}} \Biggr) \\ \leq {}&C \min \Biggl\{ \delta^{\alpha}M_{\Omega}{\mathbf{f}}(x)+ \delta^{\alpha-n/p}\prod_{j=1}^{m}\| f_{j}\|_{\widetilde{L}^{p_{j},\lambda_{j}}},\\ &{}\delta^{\alpha}M_{\Omega}{\mathbf{f}}(x)+\delta ^{\alpha-(n-\lambda)/p}\prod_{j=1}^{m} \|f_{j}\|_{\widetilde{L}^{p_{j},\lambda _{j}}} \Biggr\} . \end{aligned}$$

Minimizing with respect to δ, at

$$\delta= \Biggl[\bigl(M_{\Omega}{\mathbf{f}}(x)\bigr)^{-1}\prod _{j=1}^{m}\|f_{j}\| _{\widetilde{L}^{p_{j},\lambda_{j}}} \Biggr]^{p/n} $$

and

$$\delta= \Biggl[\bigl(M_{\Omega}{\mathbf{f}}(x)\bigr)^{-1}\prod _{j=1}^{m}\|f_{j}\| _{\widetilde{L}^{p_{j},\lambda_{j}}} \Biggr]^{p/(n-\lambda)} $$

we have

$$\begin{aligned} \bigl|T_{\Omega,\alpha}{\mathbf{f}}(x)\bigr|&\leq C \min \biggl\{ \biggl( \frac{M_{\Omega}{\mathbf{f}}(x)}{\prod_{j=1}^{m}\|f_{j}\| _{\widetilde{L}^{p_{j},\lambda_{j}}}} \biggr)^{1-\frac {p\alpha}{n}}, \biggl(\frac{M_{\Omega}{\mathbf{f}}(x)}{\prod_{j=1}^{m}\|f_{j}\|_{\widetilde {L}^{p_{j},\lambda_{j}}}} \biggr)^{1-\frac{p\alpha}{n-\lambda}} \biggr\} \prod_{j=1}^{m}\|f_{j} \|_{\widetilde{L}^{p_{j},\lambda _{j}}} \\ &\leq C\bigl(M_{\Omega}{\mathbf{f}}(x)\bigr)^{p/q}\prod _{j=1}^{m}\|f_{j}\|^{1-p/q}_{\widetilde {L}^{p_{j},\lambda_{j}}}. \end{aligned}$$

This is the conclusion of Lemma 3.3. □

Now we give the proof of Theorem 1.2.

Proof of Theorem 1.2

Similarly to the proof of sufficiency in Theorem 1.1, by the boundedness of $M_{\Omega}$ in Theorem 2.4, we will get the sufficiency. Now, we give only the proof of necessity.

Let $[\epsilon]_{1,+}=\max\{1,\epsilon\}$, by (3.3), for ${\mathbf {f}}_{\epsilon}(x)$ with $\epsilon>0$, we get

$$\begin{aligned} \|T_{\Omega,\alpha}{\mathbf{f}_{\epsilon}}\|_{\widetilde{L}^{q,\lambda}} ={}& \epsilon^{-\alpha}\sup_{x\in \mathbb {R}^{n},t>0} \biggl(\frac {1}{[t]_{1}^{\lambda}} \int_{B(x,t)}\bigl|T_{\Omega,\alpha}{\mathbf{f}}(\epsilon y)\bigr|^{q}\,dy \biggr)^{1/q} \\ ={}&\epsilon^{-\alpha-n/q}\sup_{x\in \mathbb {R}^{n},t>0} \biggl(\frac {1}{[t]_{1}^{\lambda}} \int_{B(\epsilon x,\epsilon t)}\bigl|T_{\Omega,\alpha}{\mathbf {f}}(y)\bigr|^{q}\,dy \biggr)^{1/q} \\ ={}&\epsilon^{-\alpha-n/q}\sup_{t>0} \biggl(\frac{[\epsilon t]_{1}}{[t]_{1}} \biggr)^{\lambda/q}\\ &{}\times\sup_{x\in \mathbb {R}^{n},t>0} \biggl(\frac {1}{[\epsilon t]_{1}^{\lambda}} \int_{B(\epsilon x,\epsilon t)}\bigl|T_{\Omega ,\alpha}{\mathbf{f}}(y)\bigr|^{q}\,dy \biggr)^{1/q} \\ ={}&\epsilon^{-\alpha-n/q}[\epsilon]_{1,+}^{\frac{\lambda}{q}} \|T_{\Omega ,\alpha}{\mathbf{f}}\|_{\widetilde{L}^{q,\lambda}} \end{aligned}$$

and

$$\begin{aligned} \|T_{\Omega,\alpha}{\mathbf{f}_{\epsilon}}\|_{W\widetilde{L}^{q,\lambda}} ={}&\sup _{r>0}\ r\sup_{x\in \mathbb {R}^{n},t>0} \biggl(\frac{1}{[t]_{1}^{\lambda}} \int_{\{y\in B(x,t):|T_{\Omega,\alpha}{\mathbf{f}_{\epsilon}}(y)|>r\}}\,dy \biggr)^{\frac{1}{q}} \\ ={}&\sup_{r>0}\ r\sup_{x\in \mathbb {R}^{n},t>0} \biggl( \frac{1}{[t]_{1}^{\lambda}} \int_{\{y\in B( x,t):|T_{\Omega,\alpha}{\mathbf{f}}(\epsilon y)|>r\epsilon ^{\alpha}\}}\,dy \biggr)^{\frac{1}{q}} \\ ={}&\epsilon^{-n/q}\sup_{r>0}\ r\sup _{x\in \mathbb {R}^{n},t>0} \biggl(\frac{1}{[t]_{1}^{\lambda}} \int_{\{y\in B(\epsilon x,\epsilon t):|T_{\Omega,\alpha}{\mathbf{f}}(y)|>r\epsilon^{\alpha}\}}\,dy \biggr)^{\frac{1}{q}} \\ ={}&\epsilon^{-\alpha-n/q}\sup_{t>0} \biggl(\frac{[\epsilon t]_{1}}{[t]_{1}} \biggr)^{\lambda/q} \\ &{} \times\sup_{r>0} r\epsilon^{\alpha}\sup _{x\in \mathbb {R}^{n},t>0} \biggl(\frac{1}{[\epsilon t]_{1}^{\lambda}}\bigl\vert \bigl\{ y\in B( \epsilon x,\epsilon t):\bigl|T_{\Omega,\alpha}{\mathbf{f}}(y)\bigr|>r\epsilon^{\alpha}\bigr\} \bigr\vert \biggr)^{\frac{1}{q}} \\ ={}&\epsilon^{-\alpha-n/q}[\epsilon]_{1,+}^{\frac{\lambda}{q}} \|T_{\Omega ,\alpha}{\mathbf{f}}\|_{W\widetilde{L}^{q,\lambda}}. \end{aligned}$$

(i) Assume that $T_{\Omega,\alpha}$ is bounded from $\widetilde{L}^{p_{1},\lambda_{1}}\times\cdots\times \widetilde{L}^{p_{m},\lambda_{m}}$ to $\widetilde{L}^{q,\lambda}$, we get

$$\begin{aligned} \|T_{\Omega,\alpha}{\mathbf{f}}\|_{\widetilde{L}^{q,\lambda}} ={}&\epsilon^{\alpha+n/q}[ \epsilon]_{1,+}^{-\frac{\lambda}{q}}\|T_{\Omega ,\alpha}{\mathbf{f}_{\epsilon}} \|_{\widetilde{L}^{q,\lambda}} \\ \leq{}& C\epsilon^{\alpha+n/q}[\epsilon]_{1,+}^{-\frac{\lambda}{q}}\prod _{j=1}^{m}\bigl\| f_{j}(\epsilon\cdot) \bigr\| _{\widetilde{L}^{p_{j},\lambda_{j}}} \\ ={}&C\epsilon^{\alpha+n/q}[\epsilon]_{1,+}^{-\frac{\lambda}{q}} \prod _{j=1}^{m}\sup_{x\in \mathbb {R}^{n},t>0} \biggl(\frac{1}{[t]_{1}^{\lambda _{j}}} \int_{B(x,t)}\bigl|f_{j}(\epsilon y)\bigr|^{p_{j}}\,dy \biggr)^{1/{p_{j}}} \\ ={}& C\epsilon^{\alpha+n/q}[\epsilon]_{1,+}^{-\frac{\lambda}{q}} \prod _{j=1}^{m}\epsilon^{-n/{p_{j}}}\sup _{x\in \mathbb {R}^{n},t>0} \biggl(\frac{1}{[t]_{1}^{\lambda_{j}}} \int_{B(\epsilon x,\epsilon t)}\bigl|f_{j}(y)\bigr|^{p_{j}}\,dy \biggr)^{1/{p_{j}}} \\ \leq{}& C\epsilon^{\alpha+n/q}[\epsilon]_{1,+}^{-\frac{\lambda}{q}} \prod _{j=1}^{m}\epsilon^{-n/{p_{j}}}\sup _{t>0} \biggl(\frac{[\epsilon t]_{1}}{[t]_{1}} \biggr)^{\lambda_{j}/p_{j}} \\ &{}\times\sup_{x\in \mathbb {R}^{n},t>0} \biggl(\frac {1}{[\epsilon t]^{\lambda_{j}}} \int_{B(\epsilon x,\epsilon t)}\bigl|f_{j}(y)\bigr|^{p_{j}}\,dy \biggr)^{1/{p_{j}}} \\ \leq{}& C\epsilon^{\alpha+n/q-n/p}[\epsilon]_{1,+}^{-\frac{\lambda}{q}} [ \epsilon]_{1,+}^{\frac{\lambda}{p}} \prod_{j=1}^{m} \|f_{j}\|_{\widetilde{L}^{p_{j},\lambda_{j}}} \\ \leq{}& C\epsilon^{\alpha+n/q-n/p}[\epsilon]_{1,+}^{\frac{\lambda}{p}-\frac {\lambda}{q}} \prod _{j=1}^{m}\|f_{j} \|_{\widetilde{L}^{p_{j},\lambda_{j}}}, \end{aligned}$$

where C is independent of ϵ.

When $1/p<1/q+\alpha/n$, then for all ${\mathbf {f}} \in \widetilde{L}^{p_{1},\lambda_{1}}\times\cdots\times \widetilde{L}^{p_{m},\lambda_{m}}$, we have $\|T_{\Omega,\alpha}{\mathbf{f}}\|_{\widetilde{L}^{q,\lambda}}=0$ as $\epsilon\rightarrow0$.

When $1/p>1/q+\alpha/(n-\lambda)$, then for all ${\mathbf {f}} \in \widetilde{L}^{p_{1},\lambda_{1}}\times\cdots\times \widetilde{L}^{p_{m},\lambda_{m}}$, we have $\|T_{\Omega,\alpha}{\mathbf{f}}\|_{\widetilde{L}^{q,\lambda}}=0$ as $\epsilon\rightarrow\infty$.

Therefore we get $\alpha/n\leq1/p-1/q\leq\alpha/(n-\lambda)$.

(ii) Assume that $T_{\Omega,\alpha}$ is bounded from $\widetilde{L}^{p_{1},\lambda_{1}}\times\cdots\times \widetilde{L}^{p_{m},\lambda_{m}}$ to $W\widetilde{L}^{q,\lambda}$, we have

$$\begin{aligned} \|T_{\Omega,\alpha}{\mathbf{f}}\|_{W\widetilde{L}^{q,\lambda}} &=\epsilon^{\alpha+n/q}[ \epsilon]_{1,+}^{\frac{-\lambda}{q}}\|T_{\Omega ,\alpha}{\mathbf{f}_{\epsilon}} \|_{W\widetilde{L}^{q,\lambda}} \leq C\epsilon^{\alpha+n/q}[\epsilon]_{1,+}^{-\frac{\lambda}{q}}\prod _{j=1}^{m}\bigl\| f_{j}(\epsilon\cdot) \bigr\| _{\widetilde{L}^{p_{j},\lambda_{j}}} \\ &\leq C\epsilon^{\alpha+n/q-n/p}[\epsilon]_{1,+}^{\frac{\lambda}{p}-\frac {\lambda}{q}} \prod _{j=1}^{m}\|f_{j} \|_{\widetilde{L}^{p_{j},\lambda_{j}}}, \end{aligned}$$

where C is independent of ϵ.

When $1/p<1/q+\alpha/n$, then for all ${\mathbf {f}} \in \widetilde{L}^{p_{1},\lambda}\times\cdots\times \widetilde{L}^{p_{m},\lambda}$, we have $\|T_{\Omega,\alpha}{\mathbf{f}}\|_{W\widetilde{L}^{q,\lambda}}=0$ as $\epsilon\rightarrow0$.

When $1/p>1/q+\alpha/(n-\lambda)$, then for all ${\mathbf {f}} \in \widetilde{L}^{p_{1},\lambda}\times\cdots\times \widetilde{L}^{p_{m},\lambda}$, we have $\|T_{\Omega,\alpha}{\mathbf{f}}\|_{W\widetilde{L}^{q,\lambda}}=0$ as $\epsilon\rightarrow\infty$.

Consequently, we get $\alpha/n\leq1/p-1/q\leq\alpha/(n-\lambda)$.

Next, we prove conclusions (i) and (ii) hold for $M_{\Omega,\alpha}$. By the same arguments as above we get the necessity part and the sufficiency part follows from the conclusion of $T_{\Omega,\alpha}$ and Lemma [9].

This completes the proof of Theorem 1.2. □

Finally we show the proof of Theorem 1.3.

Proof of Theorem 1.3

By the Hölder inequality, we have

$$\begin{aligned} M_{\Omega,\alpha}{\mathbf{f}}(x) &=\sup_{r>0} \frac{1}{r^{n-\alpha}} \int_{|y|< r} \bigl|\Omega(y)\bigr| \prod_{j=1}^{m}\bigl|f_{j}(x- \theta_{j}y)\bigr|\,dy \\ &\leq C\sup_{r>0}\frac{1}{r^{n-\alpha}} \biggl( \int_{|y|< r} \bigl|\Omega(y)\bigr|^{p'}\,dy \biggr)^{1/p'} \Biggl( \int_{|y|< r} \prod_{j=1}^{m}\bigl|f_{j}(x- \theta_{j}y)\bigr|^{p} \,dy \Biggr)^{1/p} \\ &\leq C\sup_{r>0}\frac{1}{r^{n-\alpha}} \biggl( \int_{|y|< r} \bigl|\Omega(y)\bigr|^{p'}\,dy \biggr)^{1/p'} \prod_{j=1}^{m} \biggl( \int_{|y|< r} \bigl|f_{j}(x-\theta_{j}y)\bigr|^{p_{j}}\,dy \biggr)^{1/{p_{j}}} \\ &\leq C\sup_{r>0}{r^{\alpha-n/p}} \biggl( \frac{1}{r^{n}} \int_{|y|< r} \bigl|\Omega(y)\bigr|^{s}\,dy \biggr)^{1/s} \prod_{j=1}^{m} \biggl( \int_{|y|< r} \bigl|f_{j}(x-\theta_{j}y)\bigr|^{p_{j}}\,dy \biggr)^{1/{p_{j}}} \\ &\leq C\sup_{r>0}{r^{\alpha-n/p}}\prod _{j=1}^{m} \biggl( \int_{|y|< r} \bigl|f_{j}(x-\theta_{j}y)\bigr|^{p_{j}}\,dy \biggr)^{1/{p_{j}}}. \end{aligned}$$

(i) If $p=(n-\lambda)/\alpha\geq s'$, by the fact (1.1), we obtain

$$\begin{aligned} M_{\Omega,\alpha}{\mathbf{f}}(x)&\leq C\sup_{r>0}{r^{\alpha-(n-\lambda)/p}} \prod_{j=1}^{m} \biggl(\frac {1}{r^{\lambda_{j}}} \int_{|y|< r} \bigl|f_{j}(x-\theta_{j}y)\bigr|^{p_{j}}\,dy \biggr)^{1/{p_{j}}} \\ &=C\prod_{j=1}^{m}\|f_{j} \|_{L^{p_{j},\lambda_{j}}}. \end{aligned}$$

(ii) If $(n-\lambda)/\alpha\leq p\leq n/\alpha$, using the fact (1.1), we get

$$\begin{aligned} M_{\Omega,\alpha}{\mathbf{f}}(x)&\leq C\sup_{r>0}{r^{\alpha-n/p}[r]_{1}^{\lambda/p}} \prod_{j=1}^{m} \biggl(\frac {1}{[r]_{1}^{\lambda_{j}}} \int_{|y|< r} \bigl|f_{j}(x-\theta_{j}y)\bigr|^{p_{j}}\,dy \biggr)^{1/{p_{j}}} \\ &\leq C\sup_{r>0}{r^{\alpha-n/p}[r]_{1}^{\lambda/p}} \prod_{j=1}^{m}\|f_{j}\| _{\widetilde{L}^{p_{j},\lambda_{j}}} \\ &\leq C\prod_{j=1}^{m}\|f_{j} \|_{\widetilde{L}^{p_{j},\lambda_{j}}}\max \Bigl\{ \sup_{0< r< 1}r^{\alpha-\frac{n-\lambda}{p}},\sup _{r\geq1}r^{\alpha-n/p} \Bigr\} \\ &=C\prod_{j=1}^{m}\|f_{j} \|_{\widetilde{L}^{p_{j},\lambda_{j}}}. \end{aligned}$$

Therefore, we complete the proof of Theorem 1.3. □

Finally, we would like to remark that our theorems generalize the relevant results in [13–15].

References

1.
Lu, S, Ding, Y, Yan, D: Singular Integrals and Related Topics. World Scientific, Singapore (2006)
- Google Scholar
2.
Stein, EM: Harmonic Analysis: Real-Variable Methods, Orthogonality, and Oscillatory Integrals. Princeton University Press, Princeton (1993)
- Google Scholar
3.
Guliyev, V, Shukurov, P: On the boundedness of the fractional maximal operator, Riesz potential and their commutators in generalized Morrey spaces. Oper. Theory, Adv. Appl. 229, 175-199 (2013)
- MathSciNet
- Google Scholar
4.
Peetre, J: On the theory of $L^{p,\lambda}$. J. Funct. Anal. 4, 71-87 (1969)
5.
Adams, DR: A note on Riesz potentials. Duke Math. J. 42, 765-778 (1975)
6.
Guliyev, V, Hasnov, J, Zeren, Y: Necesary and sufficient conditions for the boundedness of the Riesz potential in modified Morrey spaces. J. Math. Inequal. 5, 491-506 (2011)
7.
Grafakos, L: On multilinear fractional integrals. Stud. Math. 102, 49-56 (1992)
8.
Gunawan, H, Sihwaningrum, I: Multilinear maximal functions and fractional integrals on generalized Morrey spaces. http://personal.fmipa.itb.ac.id/hgunawan/files/2007/11/multilinear-maximal-functions-n-fractional-integrals-ver-3.pdf (2014). Accessed 26 Dec 2014
9.
Ding, Y, Lu, S: The $L^{p_{1}}\times L^{p_{2}}\times\cdots\times L^{p_{k}}$ boundedness for some rough operators. J. Math. Anal. Appl. 203, 166-186 (1996)
10.
Shi, Y, Tao, X: Multilinear Riesz potential operators on Herz-type spaces and generalized Morrey spaces. Hokkaido Math. J. 38, 635-662 (2009)
11.
Nakai, E: Hardy-Littlewood maximal operator, singular integral operators and the Riesz potentials on generalized Morrey spaces. Math. Nachr. 166, 95-103 (1994)
12.
Olsen, PA: Fractional integration, Morrey spaces and a Schrödinger equation. Commun. Partial Differ. Equ. 20, 2005-2055 (1995)
13.
Kenig, CE, Stein, EM: Multilinear estimates and fractional integration. Math. Res. Lett. 6, 1-15 (1999)
14.
Shi, Y, Tao, X: The boundedness of sublinear operators on Morrey-Herz spaces over the homogeneous type space. Anal. Math. 39, 69-85 (2013)
15.
Shi, Y, Tao, X: Some multi-sublinear operators on generalized Morrey spaces with non-doubling measures. J. Korean Math. Soc. 49, 907-925 (2012)

Download references

Acknowledgements

The research of the first author was supported by the Soft Science Foundation of Ningbo City (No. 2015A10001). The second author was supported by the National Natural Science Foundation of China (No. 11401175 and No. 11501169). The third author was supported by the National Natural Science Foundation of China (No. 11171306). Thanks are also given to the anonymous referees for careful reading and suggestions.

Author information

Affiliations

Zhejiang Pharmaceutical College, Ningbo, Zhejiang, 315100, P.R. China
- Yanlong Shi
School of Mathematics and Information Science, Henan Polytechnic University, Jiaozuo, Henan, 454000, P.R. China
- Zengyan Si
Faculty of Science, Zhejiang University of Science & Technology, Hangzhou, Zhejiang, 310023, P.R. China
- Xiangxing Tao
School of Science, Ningbo University of Technology, Ningbo, Zhejiang, 315211, P.R. China
- Yafeng Shi
School of Statistics and Management, Shanghai University of Finance and Economics, Shanghai, 200433, P.R. China
- Yafeng Shi

Authors

Yanlong Shi
View author publications
You can also search for this author in
- PubMed
- Google Scholar
Zengyan Si
View author publications
You can also search for this author in
- PubMed
- Google Scholar
Xiangxing Tao
View author publications
You can also search for this author in
- PubMed
- Google Scholar
Yafeng Shi
View author publications
You can also search for this author in
- PubMed
- Google Scholar

Corresponding author

Correspondence to Xiangxing Tao.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

All authors 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.

Reprints and Permissions

About this article

Cite this article

Shi, Y., Si, Z., Tao, X. et al. Necessary and sufficient conditions for boundedness of multilinear fractional integrals with rough kernels on Morrey type spaces. J Inequal Appl 2016, 43 (2016). https://doi.org/10.1186/s13660-015-0930-y

Download citation

Received: 18 March 2015
Accepted: 06 December 2015
Published: 04 February 2016
DOI: https://doi.org/10.1186/s13660-015-0930-y

MSC

42B20
42B25
42B35

Keywords

multilinear maximal operator
multilinear fractional integrals
rough kernel
Morrey spaces
modified Morrey spaces

Necessary and sufficient conditions for boundedness of multilinear fractional integrals with rough kernels on Morrey type spaces

Abstract

Introduction

Proposition 1.1

Proposition 1.2

Proposition 1.3

Proposition 1.4

Theorem 1.1

Theorem 1.2

Remark 1.1

Theorem 1.3

Boundedness of maximal operator \(M_{\Omega}\)

Definition 2.1

Definition 2.2

Lemma 2.1

Lemma 2.2

Theorem 2.3

Theorem 2.4

Proof

Boundedness of \(T_{\Omega,\alpha}\) and \(M_{\Omega,\alpha}\)

Boundedness on Morrey spaces

Lemma 3.1

Proof

Proof of Theorem 1.1

Lemma 3.2

Corollary 3.1

Proof

Corollary 3.2

Boundedness on modified Morrey spaces

Lemma 3.3

Proof

Proof of Theorem 1.2

Proof of Theorem 1.3

References

Acknowledgements

Author information

Affiliations

Corresponding author

Additional information

Competing interests

Authors’ contributions

Rights and permissions

About this article

Cite this article

MSC

Keywords