Abstract
In the present paper, we shall give a characterization for the Spanne and Adams type boundedness of the Riesz potential and its commutators on the generalized Orlicz-Morrey spaces, respectively. Also we give criteria for the weak versions of Spanne and Adams type boundedness of the Riesz potential on the generalized Orlicz-Morrey spaces. In all the cases the conditions for the boundedness are given in terms of Zygmund type integral inequalities involving the Young function \(\Phi(u)\) and the function \(\varphi(x,r)\) defining the space.
Similar content being viewed by others
1 Introduction
As is well known, Morrey spaces are widely used to investigate the local behavior of solutions to second order elliptic partial differential equations (PDE). Recall that the classical Morrey spaces \(\mathcal {M}^{p,\lambda}({\mathbb{R}^{n}})\) are defined by
where \(0 \le\lambda\le n\), \(1\le p < \infty\). \(\mathcal {M}^{p,\lambda}({\mathbb{R}^{n}})\) was an expansion of \(L^{p}({\mathbb{R}^{n}})\) in the sense that \(\mathcal{M}^{p,0}({\mathbb{R}^{n}})=L^{p}({\mathbb{R}^{n}})\) and \(\mathcal {M}^{p,n}({\mathbb{R}^{n}})=L^{\infty}({\mathbb{R}^{n}})\).
Here and everywhere in the sequel \(B(x,r)\) is the ball in \({\mathbb {R}^{n}}\) of radius r centered at x and \(|B(x,r)|=v_{n} r^{n}\) is its Lebesgue measure, where \(v_{n}\) is the volume of the unit ball in \({\mathbb{R}^{n}}\).
By \(W\mathcal{M}^{p,\lambda}({\mathbb{R}^{n}})\) we denote the weak Morrey space defined as the set of functions f in the local weak space \(WL^{p}_{\mathrm{loc}}({\mathbb{R}^{n}}) \) for which
The spaces \(\mathcal{M}^{p,\varphi}({\mathbb{R}^{n}})\) defined by the norm
with a function φ positive and measurable on \({\mathbb {R}^{n}}\times(0,\infty)\) are known as generalized Morrey spaces (see, for example, [1–3]). Also by \(W\mathcal{M}^{p,\varphi}({\mathbb{R}^{n}})\) we denote the weak generalized Morrey space of all functions \(f\in WL^{p}_{\mathrm{loc}}({\mathbb{R}^{n}}) \) for which
The Orlicz space was first introduced by Orlicz in [4, 5] as a generalization of Lebesgue spaces \(L^{p}\). Since then this space has been one of the important functional frames in mathematical analysis, and especially in real and harmonic analysis. Orlicz space is also an appropriate substitute for \(L^{1}\) space when \(L^{1}\) space does not work. For example, the Hardy-Littlewood maximal operator
is bounded on \(L^{p}\) for \(1 < p < \infty\), but not on \(L^{1}\), but using Orlicz spaces, we can investigate the boundedness of the maximal operator near \(p = 1\), see [6, 7] and [8] for more precise statements.
A natural step in the theory of functions spaces was to study Orlicz-Morrey spaces \(\mathcal{M}^{\Phi,\varphi}({\mathbb{R}^{n}})\), where the ‘Morrey type measuring’ of the regularity of functions is realized with respect to the Orlicz norm over balls instead of the Lebesgue one. Such spaces were first introduced and studied by Nakai [9]. Then another kind of Orlicz-Morrey spaces were introduced by Sawano et al. [10]. Our definition of Orlicz-Morrey spaces introduced in [11] and used here is different from that of [9] and [10].
Let \(0<\alpha <n\). The Riesz potential operator \(I_{\alpha }\) is defined by
The commutators generated by \(b\in L^{1}_{\mathrm{loc}}({\mathbb{R}^{n}})\) and the operator \(I_{\alpha }\) are defined by
The operator \(|b,I_{\alpha }|\) is defined by
The classical result by Hardy-Littlewood-Sobolev states that the operator \(I_{\alpha } \) is of weak type \((p,np/(n-\alpha p))\) if \(1\le p< n/\alpha \) and of strong type \((p,np/(n-\alpha p))\) if \(1< p< n/\alpha \).
Around the 1970s, the Hardy-Littlewood-Sobolev inequality was extended from Lebesgue spaces to Morrey spaces. As stated in [12], Spanne proved the following result.
Theorem 1.1
(Spanne, but published by Peetre [12])
Let \(0<\alpha<n\), \(1\leq p<\frac{n}{\alpha}\), \(0<\lambda<n-\alpha p\). Moreover, let \(\frac{1}{p}-\frac{1}{q}=\frac{\alpha}{n}\) and \(\frac{\lambda }{p}=\frac{\mu}{q}\). Then, for \(p>1\), the operator \(I_{\alpha}\) is bounded from \(\mathcal {M}^{p,\lambda}({\mathbb{R}^{n}})\) to \(\mathcal{M}^{q,\mu}({\mathbb{R}^{n}})\) and for \(p=1\), \(I_{\alpha }\) is bounded from \(\mathcal{M}^{1,\lambda}({\mathbb{R}^{n}})\) to \(W\mathcal {M}^{q,\mu}({\mathbb{R}^{n}})\).
Later on, a stronger result was obtained by Adams [13], and refined by Chiarenza and Frasca [14].
Theorem 1.2
(Adams [13])
Let \(0<\alpha<n\), \(1\leq p<\frac{n}{\alpha}\), \(0<\lambda<n-\alpha p\) and \(\frac{1}{p}-\frac{1}{q}=\frac{\alpha}{n-\lambda}\). Then, for \(p>1\), the operator \(I_{\alpha}\) is bounded from \(\mathcal {M}^{p,\lambda}({\mathbb{R}^{n}})\) to \(\mathcal{M}^{q,\lambda}({\mathbb{R}^{n}})\) and for \(p=1\), \(I_{\alpha}\) is bounded from \(\mathcal{M}^{1,\lambda}({\mathbb{R}^{n}})\) to \(W\mathcal {M}^{q,\lambda}({\mathbb{R}^{n}})\).
Guliyev [1] (see also, [15, 16]) extended the results of Spanne and Adams from Morrey spaces to generalized Morrey spaces. Later on, Spanne type results were obtained by Guliyev et al. [17] under a weaker condition. These results can be summarized as follows.
Theorem 1.3
([17])
Let \(0<\alpha <n\), \(1\le p < \frac{n}{\alpha }\), \(\frac{1}{q}=\frac {1}{p}-\frac{\alpha }{n}\) and \((\varphi_{1},\varphi_{2})\) satisfy the condition
where C does not depend on x and r. Then \(I_{\alpha}\) is bounded from \(\mathcal{M}^{p,\varphi_{1}}({\mathbb{R}^{n}})\) to \(\mathcal {M}^{q,\varphi _{2}}({\mathbb{R}^{n}})\) for \(p>1\) and from \(\mathcal{M}^{p,\varphi _{1}}({\mathbb{R}^{n}})\) to \(W\mathcal{M}^{q,\varphi_{2}}({\mathbb{R}^{n}})\) for \(p\ge1\).
Theorem 1.4
([1])
Let \(1 \le p < \infty\), \(0<\alpha<\frac{n}{p}\) and let \(\varphi (x,t)\) satisfy the conditions
and
where \(q> p\) and C does not depend on \(x\in{\mathbb{R}^{n}}\) and \(t>0\). Suppose also that, for almost every \(x\in{\mathbb{R}^{n}}\), the function \(\varphi(x,r)\) fulfills the condition
Then, for \(p>1\), the operator \(I_{\alpha }\) is bounded from \(\mathcal{M}^{p,\varphi}({\mathbb {R}^{n}})\) to \(\mathcal{M}^{q,\varphi^{\frac{p}{q}}}({\mathbb{R}^{n}})\) and for \(p\ge1\) the operator \(I_{\alpha }\) is bounded from \(\mathcal{M}^{p,\varphi}({\mathbb {R}^{n}})\) to \(W\mathcal{M}^{q,\varphi^{\frac{1}{q}}}({\mathbb{R}^{n}})\).
It is well known that commutators of classical operators of harmonic analysis play an important role in various topics of analysis and PDE.
As an application of the above results, the boundedness of \([b,I_{\alpha}]\) on generalized Morrey spaces is investigated in [17, 18].
The boundedness of \(I_{\alpha } \) from Orlicz space \(L^{\Phi }({\mathbb{R}^{n}})\) to the corresponding another Orlicz space \(L^{\Psi}({\mathbb{R}^{n}})\) was studied in [8]. There were given necessary and sufficient conditions for the boundedness of \(I_{\alpha }\) from \(L^{\Phi}({\mathbb{R}^{n}})\) to \(L^{\Psi}({\mathbb{R}^{n}})\) and also from \(L^{\Phi}({\mathbb{R}^{n}})\) to the weak Orlicz space \(WL^{\Psi}({\mathbb{R}^{n}})\).
In this paper, we shall give a characterization for the Spanne and Adams type boundedness of the Riesz potential and its commutators on generalized Orlicz-Morrey spaces, respectively. Also we give criteria for the weak versions of Spanne and Adams type boundedness of the Riesz potential on the generalized Orlicz-Morrey spaces.
By \(A \lesssim B\) we mean that \(A \le C B\) with some positive constant C independent of appropriate quantities. If \(A \lesssim B\) and \(B \lesssim A\), we write \(A\approx B\) and say that A and B are equivalent.
2 Preliminaries
2.1 On Young functions and Orlicz spaces
We recall the definition of Young functions.
Definition 2.1
A function \(\Phi: [0,\infty) \rightarrow [0,\infty]\) is called a Young function if Φ is convex, left-continuous, and we have \(\lim_{r\rightarrow+0} \Phi(r) = \Phi(0) = 0\) and \(\lim_{r\rightarrow\infty} \Phi(r) = \infty\).
From the convexity and \(\Phi(0) = 0\) it follows that any Young function is increasing. If there exists \(s \in(0,\infty)\) such that \(\Phi(s) = \infty\), then \(\Phi(r) = \infty\) for \(r \geq s\). The set of Young functions such that
will be denoted by \(\mathcal{Y}\). If \(\Phi\in\mathcal{Y}\), then Φ is absolutely continuous on every closed interval in \([0,\infty)\) and bijective from \([0,\infty)\) to itself.
For a Young function Φ and \(0 \leq s \leq\infty\), let
If \(\Phi\in\mathcal{Y}\), then \(\Phi^{-1}\) is the usual inverse function of Φ. We note that
It is well known that
where \(\widetilde{\Phi}(r)\) is defined by
A Young function Φ is said to satisfy the \(\Delta_{2}\)-condition, denoted also as \(\Phi\in\Delta_{2}\), if
for some \(k>1\). If \(\Phi\in\Delta_{2}\), then \(\Phi\in\mathcal {Y}\). A Young function Φ is said to satisfy the \(\nabla _{2}\)-condition, denoted also by \(\Phi\in\nabla_{2}\), if
for some \(k>1\).
Definition 2.2
(Orlicz space)
For a Young function Φ, the set
is called Orlicz space. If \(\Phi(r)=r^{p}\), \(1\le p<\infty\), then \(L^{\Phi}({\mathbb{R}^{n}})=L^{p}({\mathbb{R}^{n}})\). If \(\Phi(r)=0\) (\(0\le r\le1\)) and \(\Phi(r)=\infty\) (\(r> 1\)), then \(L^{\Phi}({\mathbb{R}^{n}})=L^{\infty}({\mathbb{R}^{n}})\). The space \(L^{\Phi}_{\mathrm{loc}}({\mathbb{R}^{n}})\) is defined as the set of all functions f such that \(f\chi_{B}\in L^{\Phi}({\mathbb{R}^{n}})\) for all balls \(B \subset{\mathbb{R}^{n}}\).
\(L^{\Phi}({\mathbb{R}^{n}})\) is a Banach space with respect to the norm
We note that
Lemma 2.3
([11])
For a Young function Φ and \(B=B(x,r)\), the following inequality is valid:
where \(\|f\|_{L^{\Phi}(B)}=\|f\chi_{B}\|_{L^{\Phi}}\).
By elementary calculations we have the following.
Lemma 2.4
Let Φ be a Young function and B a set in \(\mathbb{R}^{n}\) with finite Lebesgue measure. Then
2.2 Generalized Orlicz-Morrey space
Various versions of generalized Orlicz-Morrey spaces were introduced in [9, 10] and [11]. We used the definition of [11] which runs as follows.
Definition 2.5
Let \(\varphi(x,r)\) be a positive measurable function on \({\mathbb {R}^{n}}\times (0,\infty)\) and Φ any Young function. We denote by \(\mathcal{M}^{\Phi,\varphi}({\mathbb{R}^{n}})\) the generalized Orlicz-Morrey space, the space of all functions \(f\in L^{\Phi}_{\mathrm{loc}}({\mathbb{R}^{n}})\) for which
The following theorem and lemma play a key role in our main results.
Theorem 2.6
([11])
Let \(\Phi\in\mathcal{Y}\), the functions φ and Φ satisfy the condition
where C does not depend on x and r. Then the maximal operator M is bounded from \(\mathcal{M}^{\Phi,\varphi}({\mathbb{R}^{n}})\) to \(\mathcal{M}^{\Phi,\varphi}({\mathbb{R}^{n}})\) for \(\Phi\in\nabla_{2}\).
A function \(\varphi:(0,\infty) \to(0,\infty)\) is said to be almost increasing (resp. almost decreasing) if there exists a constant \(C > 0\) such that
For a Young function Φ, we denote by \({\mathcal{G}}_{\Phi}\) the set of all almost decreasing functions \(\varphi:(0,\infty) \to (0,\infty)\) such that \(t\in(0,\infty) \mapsto\frac{1}{\Phi ^{-1}(v_{n}^{-1}t^{-n})}\varphi(t)\) is almost increasing.
Lemma 2.7
Let \(B_{0}:=B(x_{0},r_{0})\). If \(\varphi\in{\mathcal{G}}_{\Phi}\), then there exists \(C>0\) such that
Proof
Let \(B=B(x,r)\) denote an arbitrary ball in \({\mathbb{R}^{n}}\). By the definition and Lemma 2.4, it is easy to see that
Now if \(r\leq r_{0}\), then \(\varphi(r_{0})\leq C\varphi(r)\) and
On the other hand if \(r\geq r_{0}\), then \(\frac{\varphi(r_{0})}{\Phi ^{-1}(|B_{0}|^{-1})}\leq C\frac{\varphi(r)}{\Phi^{-1}(|B|^{-1})}\) and
This completes the proof. □
3 Spanne type results for \(I_{\alpha}\) in the spaces \(\mathcal {M}^{\Phi,\varphi}\)
We recall that, for functions Φ and Ψ from \([0,\infty)\) into \([0,\infty]\), the function Ψ is said to dominate Φ globally if there exists a positive constant c such that \(\Phi(s)\le\Psi(cs)\) for all \(s\geq0\).
In the theorems below we also use the notation
where \(1< P\le\infty\) and \(\widetilde{\Psi}_{P}(s)\) is the Young conjugate function to \(\Psi_{P}(s)\), and
where \(\mathcal{B}_{P}^{-1}(s)\) and \(\mathcal{A}_{P}^{-1}(s)\) are inverses to
respectively. These functions \(\Psi_{P}(s)\) and \(\Phi_{P}(s)\) are used below with \(P=\frac{n}{\alpha}\).
Theorem 3.1
([8])
Let Φ and Ψ Young functions and \(0 < \alpha< n\). Then the Riesz potential \(I_{\alpha}\) is bounded from \(L^{\Phi}({\mathbb {R}^{n}})\) to \(L^{\Psi}({\mathbb{R}^{n}})\) if and only if
and
Lemma 3.2
([19])
Let Φ and Ψ Young functions and \(\Phi_{P}\), \(P\in (1,\infty]\), Young function defined as in (3.1). If \(\int _{0}^{1}\widetilde{\Phi}(t)/t^{1+P^{\prime}}\,dt<\infty\) and \(\Phi _{P}\) dominates Ψ globally then
For proving our main results, we need the following estimate.
Lemma 3.3
If \(B_{0}:=B(x_{0},r_{0})\), then \(r_{0}^{\alpha}\leq C I_{\alpha } \chi_{B_{0}}(x)\) for every \(x\in B_{0}\).
Proof
If \(x,y\in B_{0}\), then \(|x-y|\leq|x-x_{0}|+|y-x_{0}|<2r_{0}\). Since \(0<\alpha <n\), we get \(r_{0}^{\alpha -n}\leq C |x-y|^{\alpha -n}\). Therefore
□
The following theorem is a useful necessary and sufficient result for the boundedness of \(I_{\alpha}\) in the framework of generalized Orlicz-Morrey space.
Theorem 3.4
(Spanne type result)
Let Φ, Ψ be Young functions and \(0 < \alpha< n\).
-
1.
If the functions \((\Phi, \Psi)\) satisfy the conditions (3.2) and (3.3), then the condition
$$ \int_{t}^{\infty } \mathop{\operatorname{ess\, inf}}_{r< s< \infty }\frac{\varphi_{1}(s)}{\Phi^{-1} (v_{n}^{-1}s^{-n} )}\Psi^{-1} \bigl(v_{n}^{-1}r^{-n} \bigr)\frac{dr}{r} \le C \varphi_{2}(t) $$(3.4)for all \(t>0\), where \(C>0\) does not depend on t, is sufficient for the boundedness of \(I_{\alpha }\) from \(\mathcal{M}^{\Phi,\varphi _{1}}({\mathbb{R}^{n}})\) to \(\mathcal{M}^{\Psi,\varphi_{2}}({\mathbb{R}^{n}})\).
-
2.
If the function \(\varphi_{1}\in{\mathcal{G}}_{\Phi}\), then the condition
$$ t^{\alpha}\varphi_{1}(t)\le C \varphi_{2}(t) $$(3.5)for all \(t>0\), where \(C>0\) does not depend on t, is necessary for the boundedness of \(I_{\alpha }\) from \(\mathcal{M}^{\Phi,\varphi _{1}}({\mathbb{R}^{n}})\) to \(\mathcal{M}^{\Psi,\varphi_{2}}({\mathbb{R}^{n}})\).
-
3.
Let the functions \((\Phi, \Psi)\) satisfy the conditions (3.2) and (3.3). If \(\varphi_{1}\in{\mathcal {G}}_{\Phi}\) satisfies the regularity type condition
$$ \int_{t}^{\infty} \frac{\Psi^{-1} (v_{n}^{-1}r^{-n} )}{\Phi ^{-1} (v_{n}^{-1}r^{-n} )} \varphi_{1}(r) \frac{dr}{r} \le C t^{\alpha } \varphi_{1}(t) $$(3.6)for all \(t>0\), where \(C>0\) does not depend on t, then the condition (3.5) is necessary and sufficient for the boundedness of \(I_{\alpha }\) from \(\mathcal{M}^{\Phi,\varphi_{1}}({\mathbb{R}^{n}})\) to \(\mathcal {M}^{\Psi,\varphi _{2}}({\mathbb{R}^{n}})\).
Proof
The first part of the theorem was proved in [19], Theorem 14.
We shall now prove the second part. Let \(B_{0}=B(x_{0},t_{0})\) and \(x\in B_{0}\). By Lemma 3.3 we have \(t_{0}^{\alpha}\leq C I_{\alpha } \chi_{B_{0}}(x)\). Therefore, by Lemma 2.4 and Lemma 2.7
Since this is true for every \(t_{0}>0\), we are done.
The third statement of the theorem follows from the first and second parts of the theorem. □
If we take \(\Phi(t)=t^{p}\), \(\Psi(t)=t^{q}\), \(p,q\in[1,\infty)\) at Theorem 3.4 we get the following new result for generalized Morrey spaces.
Corollary 3.5
Let \(0<\alpha <n\) and \(p,q\in[1,\infty)\).
-
1.
If \(1< p<\frac{n}{\alpha}\) and \(\frac{1}{q}=\frac{1}{p}-\frac {\alpha }{n}\), then the condition
$$ \int_{t}^{\infty }\frac{ {\operatorname{ess\, inf}}_{r< s< \infty }\varphi_{1}(s)s^{\frac {n}{p}}}{r^{\frac{n}{q}}} \frac{dr}{r} \le C\varphi_{2}(t) $$(3.7)for all \(t>0\), where \(C>0\) does not depend on t, is sufficient for the boundedness of \(I_{\alpha }\) from \(\mathcal{M}^{p,\varphi _{1}}({\mathbb{R}^{n}})\) to \(\mathcal{M}^{q,\varphi_{2}}({\mathbb{R}^{n}})\).
-
2.
If the function \(\varphi_{1} \in{\mathcal{G}}_{p} \equiv {\mathcal{G}}_{t^{p}}\), then the condition (3.5) is necessary for the boundedness of \(I_{\alpha }\) from \(\mathcal {M}^{p,\varphi_{1}}({\mathbb{R}^{n}})\) to \(\mathcal{M}^{q,\varphi _{2}}({\mathbb{R}^{n}})\).
-
3.
Let \(1< p<\frac{n}{\alpha}\) and \(\frac{1}{q}=\frac{1}{p}-\frac {\alpha }{n}\). If \(\varphi_{1}\in{\mathcal{G}}_{p}\) satisfies the regularity condition
$$ \int_{t}^{\infty} r^{\alpha } \varphi_{1}(r) \frac{dr}{r} \le C t^{\alpha } \varphi_{1}(t) $$(3.8)for all \(t>0\), where \(C>0\) does not depend on t, then the condition (3.5) is necessary and sufficient for the boundedness of \(I_{\alpha }\) from \(\mathcal{M}^{p,\varphi_{1}}({\mathbb{R}^{n}})\) to \(\mathcal {M}^{q,\varphi_{2}}({\mathbb{R}^{n}})\).
Remark 3.6
If we take \(\varphi_{1}(t)=t^{\frac{\lambda-n}{p}}\) and \(\varphi _{2}(t)=t^{\frac{\mu-n}{q}}\) at Corollary 3.5, then conditions (3.8) and (3.5) are equivalent to \(0<\lambda<n-\alpha p\) and \(\frac{\lambda}{p}=\frac{\mu}{q}\), respectively. Therefore, we get the following Spanne result for Morrey spaces.
Corollary 3.7
([20])
Let \(0<\alpha <n\), \(1< p<\frac{n}{\alpha}\), \(0<\lambda<n-\alpha p\) and \(\frac{1}{q}=\frac{1}{p}-\frac{\alpha }{n}\). Then \(I_{\alpha}\) is bounded from \(\mathcal{M}^{p,\lambda}({\mathbb {R}^{n}})\) to \(\mathcal{M}^{q,\mu}({\mathbb{R}^{n}})\) if and only if \(\frac{\lambda}{p}=\frac{\mu}{q}\).
4 Adams type results for \(I_{\alpha}\) in the spaces \(\mathcal {M}^{\Phi,\varphi}\)
The following pointwise estimate plays a key role where we prove our main results.
Lemma 4.1
Let \(0<\alpha <n\) and \(\varphi(x,t)\) satisfy the condition
for some \(\beta\in(0,1)\) and for every \(x\in{\mathbb{R}^{n}}\) and \(t>0\). Then we have the pointwise inequality:
Proof
For an arbitrary ball \(B=B(x,t)\) we represent f as
and have
For \(I_{\alpha}f_{1}(x)\), following the Hedberg trick, see [21], we obtain \(|I_{\alpha}f_{1}(x)|\leq C_{1}t^{\alpha}Mf(x)\). For \(I_{\alpha}f_{2}(x)\) by Lemma 2.3 we have
Consequently we have
Thus, by (4.1) we obtain
where we have used the fact that the supremum is achieved when the minimum parts are balanced. □
Theorem 4.2
Let \(\Phi\in\mathcal{Y}\cap\nabla_{2}\) and \(0<\alpha <n\). Let \(\varphi (x,t)\) satisfy the conditions (2.3) and (4.1). Define \(\eta(x,t)\equiv\varphi(x,t)^{\beta}\) and \(\Psi(t)\equiv\Phi(t^{1/\beta})\). Then the operator \(I_{\alpha}\) is bounded from \(\mathcal{M}^{\Phi,\varphi}({\mathbb{R}^{n}})\) to \(\mathcal{M}^{\Psi,\eta}({\mathbb{R}^{n}})\).
Proof
By using the pointwise estimate (4.2) we have
where \(B=B(x,t)\).
Note that from (2.2) we get
Thus \(\|(Mf)^{\beta}\|_{L^{\Psi}(B)}\leq\|Mf\|_{L^{\Phi}(B)}^{\beta }\). Consequently by using this inequality we have
From Theorem 2.6 and (4.3), we get
□
The following theorem is one of our main results.
Theorem 4.3
(Adams type result)
Let \(0<\alpha <n\), \(\Phi\in\mathcal{Y}\), \(\beta\in(0,1)\) and \(\eta (t)\equiv\varphi(t)^{\beta}\) and \(\Psi(t)\equiv\Phi(t^{1/\beta})\).
-
1.
If \(\Phi\in\nabla_{2}\) and \(\varphi(t)\) satisfies (2.3), then the condition
$$ t^{\alpha}\varphi(t) + \int_{t}^{\infty} r^{\alpha} \varphi(r) \frac{dr}{r} \le C \varphi(t)^{\beta} $$(4.4)for all \(t>0\), where \(C>0\) does not depend on t, is sufficient for the boundedness of \(I_{\alpha }\) from \(\mathcal{M}^{\Phi,\varphi }({\mathbb{R}^{n}})\) to \(\mathcal{M}^{\Psi,\eta}({\mathbb{R}^{n}})\).
-
2.
If \(\varphi\in{\mathcal{G}}_{\Phi}\), then the condition
$$ t^{\alpha}\varphi(t)\le C \varphi(t)^{\beta} $$(4.5)for all \(t>0\), where \(C>0\) does not depend on t, is necessary for the boundedness of \(I_{\alpha }\) from \(\mathcal{M}^{\Phi,\varphi }({\mathbb{R}^{n}})\) to \(\mathcal{M}^{\Psi,\eta}({\mathbb{R}^{n}})\).
-
3.
Let \(\Phi\in\nabla_{2}\). If \(\varphi\in{\mathcal{G}}_{\Phi}\) satisfies the regularity condition
$$ \int_{t}^{\infty} r^{\alpha} \varphi(r) \frac{dr}{r} \le C t^{\alpha }\varphi(t) $$(4.6)for all \(t>0\), where \(C>0\) does not depend on t, then the condition (4.5) is necessary and sufficient for the boundedness of \(I_{\alpha }\) from \(\mathcal{M}^{\Phi,\varphi}({\mathbb{R}^{n}})\) to \(\mathcal{M}^{\Psi ,\eta }({\mathbb{R}^{n}})\).
Proof
The first part of the theorem is a corollary of Theorem 4.2.
We shall now prove the second part. Let \(B_{0}=B(x_{0},t_{0})\) and \(x\in B_{0}\). By Lemma 3.3 we have \(t_{0}^{\alpha}\leq C I_{\alpha } \chi_{B_{0}}(x)\). Therefore, by Lemma 2.4 and Lemma 2.7 we have
Since this is true for every \(t_{0}>0\), we are done.
The third statement of the theorem follows from the first and second parts of the theorem. □
If we take \(\Phi(t)=t^{p}\), \(p\in[1,\infty)\) and \(\beta=\frac {p}{q}\) with \(p< q<\infty\) at Theorem 4.3 we get the following new result for generalized Morrey spaces.
Corollary 4.4
Let \(1< p< q<\infty\).
-
1.
If \(\varphi(t)\) satisfies (1.1), then the condition
$$ t^{\alpha}\varphi(t) + \int_{t}^{\infty} r^{\alpha} \varphi(r) \frac{dr}{r} \le C \varphi(t)^{\frac{p}{q}} $$(4.7)for all \(t>0\), where \(C>0\) does not depend on t, is sufficient for the boundedness of \(I_{\alpha }\) from \(\mathcal{M}^{p,\varphi }({\mathbb{R}^{n}})\) to \(\mathcal{M}^{q,\varphi^{\frac{p}{q}}}({\mathbb{R}^{n}})\).
-
2.
If \(\varphi\in{\mathcal{G}}_{p}\), then the condition
$$ t^{\alpha}\varphi(t)\le C \varphi(t)^{\frac{p}{q}} $$(4.8)for all \(t>0\), where \(C>0\) does not depend on t, is necessary for the boundedness of \(I_{\alpha }\) from \(\mathcal{M}^{p,\varphi}({\mathbb {R}^{n}})\) to \(\mathcal{M}^{q,\varphi^{\frac{p}{q}}}({\mathbb{R}^{n}})\).
-
3.
If \(\varphi\in{\mathcal{G}}_{p}\) satisfies the regularity condition (4.6), then the condition (4.8) is necessary and sufficient for the boundedness of \(I_{\alpha }\) from \(\mathcal{M}^{p,\varphi}({\mathbb{R}^{n}})\) to \(\mathcal {M}^{q,\varphi^{\frac {p}{q}}}({\mathbb{R}^{n}})\).
Remark 4.5
If we take \(\varphi(t)=t^{\frac{\lambda-n}{p}}\) at Corollary 4.4, then the condition (4.6) is equivalent to \(0<\lambda<n-\alpha p\) and the condition (4.8) is equivalent to \(\frac{1}{p}-\frac{1}{q}=\frac{\alpha}{n-\lambda}\). Therefore, we get the following Adams result for Morrey spaces.
Corollary 4.6
Let \(0<\alpha<n\), \(1< p< q<\infty\) and \(0<\lambda<n-\alpha p\). Then \(I_{\alpha}\) is bounded from \(\mathcal{M}^{p,\lambda}({\mathbb{R}^{n}})\) to \(\mathcal{M}^{q,\lambda}({\mathbb{R}^{n}})\) if and only if \(\frac {1}{p}-\frac{1}{q}=\frac{\alpha}{n-\lambda}\).
5 Spanne type results for \([b,I_{\alpha}]\) in the spaces \(\mathcal{M}^{\Phi,\varphi}\)
We recall the definition of the space of \(\operatorname{BMO}({\mathbb{R}^{n}})\).
Definition 5.1
Suppose that \(f\in L^{1}_{\mathrm{loc}}({\mathbb{R}^{n}})\), let
where
Define
Modulo constants, the space \(\operatorname{BMO}({\mathbb{R}^{n}})\) is a Banach space with respect to the norm \(\| \cdot\|_{\ast}\).
Before proving our theorems, we need the following lemmas.
Lemma 5.2
([22])
Let \(b \in \operatorname{BMO}({\mathbb{R}^{n}})\). Then there is a constant \(C>0\) such that
where C is independent of b, x, r, and t.
Lemma 5.3
Let \(f\in \operatorname{BMO}({\mathbb{R}^{n}})\) and Φ be a Young function with \(\Phi\in \Delta_{2}\), then
Lemma 5.4
If \(b\in L^{1}_{\mathrm{loc}}({\mathbb{R}^{n}})\) and \(B_{0}:=B(x_{0},r_{0})\), then
for every \(x\in B_{0}\), where \(b_{B_{0}}=\frac{1}{|B_{0}|} \int_{B_{0}} b(y)\,dy\).
Proof
If \(x,y\in B_{0}\), then \(|x-y|\leq|x-x_{0}|+|y-x_{0}|<2r_{0}\). Since \(0<\alpha <n\), we get \(r_{0}^{\alpha -n}\leq C |x-y|^{\alpha -n}\). Therefore
□
The following theorem is one of our main results.
Theorem 5.5
Let \(0<\alpha <n\) and \(b\in \operatorname{BMO}({\mathbb{R}^{n}})\).
-
1.
Let Φ be a Young function and Ψ defined, via its inverse, by setting, for all \(t\in(0,\infty )\), \(\Psi^{-1}(t):=\Phi ^{-1}(t)t^{-\alpha /n}\). If \(\Phi,\Psi\in\Delta_{2}\cap\nabla_{2}\), then the condition
$$ \int_{r}^{\infty } \biggl(1+\ln\frac{t}{r} \biggr) \mathop{\operatorname{ess\, inf}}_{t< s< \infty }\frac {\varphi_{1}(s)}{\Phi^{-1} (s^{-n} )} \Psi^{-1} \bigl(t^{-n} \bigr)\frac{dt}{t} \le C \varphi_{2}(r) $$for all \(r>0\), where \(C>0\) does not depend on r, is sufficient for the boundedness of \(|b,I_{\alpha }|\) from \(\mathcal{M}^{\Phi,\varphi _{1}}({\mathbb{R}^{n}})\) to \(\mathcal{M}^{\Psi,\varphi_{2}}({\mathbb{R}^{n}})\).
-
2.
Let Φ, Ψ be Young functions. If \(\Psi\in\Delta_{2}\) and \(\varphi_{1}\in{\mathcal{G}}_{\Phi}\), then the condition (3.5) is necessary for the boundedness of \(|b,I_{\alpha }|\) from \(\mathcal {M}^{\Phi,\varphi_{1}}({\mathbb{R}^{n}})\) to \(\mathcal{M}^{\Psi ,\varphi_{2}}({\mathbb{R}^{n}})\).
-
3.
Let Φ be a Young function and Ψ defined, via its inverse, by setting, for all \(t\in(0,\infty )\), \(\Psi^{-1}(t):=\Phi ^{-1}(t)t^{-\alpha /n}\) and \(\Phi,\Psi\in\Delta_{2}\cap\nabla_{2}\). If \(\varphi_{1}\in{\mathcal{G}}_{\Phi}\) satisfies the regularity type condition
$$ \int_{r}^{\infty} \biggl(1+\ln\frac{t}{r} \biggr) t^{\alpha} \varphi _{1}(t) \frac{dt}{t} \le C r^{\alpha }\varphi_{1}(r) $$(5.3)for all \(r>0\), where \(C>0\) does not depend on r, then the condition (3.5) is necessary and sufficient for the boundedness of \(|b,I_{\alpha }|\) from \(\mathcal{M}^{\Phi,\varphi_{1}}({\mathbb{R}^{n}})\) to \(\mathcal {M}^{\Psi,\varphi _{2}}({\mathbb{R}^{n}})\).
Proof
From the proof of [19], Theorem 34, we know that the boundedness result is still true if one has \(|b,I_{\alpha }|\) instead of \([b,I_{\alpha }]\). Hence, the first part of the theorem is a corollary of [19], Theorem 34.
We shall now prove the second part. Let \(B_{0}=B(x_{0},r_{0})\) and \(x\in B_{0}\). By Lemma 5.4 we have \(r_{0}^{\alpha }|b(x)-b_{B_{0}}|\leq C |b,I_{\alpha }| \chi_{B_{0}}(x)\). Therefore, by Lemma 5.3 and Lemma 2.7
Since this is true for every \(r_{0}>0\), we are done.
The third statement of the theorem follows from the first and second parts of the theorem. □
If we take \(\Phi(t)=t^{p}\), \(\Psi(t)=t^{q}\), \(p,q\in[1,\infty)\) at Theorem 5.5 we get the following new result for generalized Morrey spaces.
Corollary 5.6
Let \(0<\alpha <n\), \(p,q\in[1,\infty)\) and \(b\in \operatorname{BMO}({\mathbb{R}^{n}})\).
-
1.
Let \(1< p < \frac{n}{\alpha }\), \(\frac{1}{q}=\frac {1}{p}-\frac{\alpha }{n}\), then the condition
$$ \int_{r}^{\infty } \biggl(1+\ln\frac{t}{r} \biggr)\frac{ \mathop{\operatorname{ess\, inf}}_{t< s< \infty }\varphi_{1}(s)s^{\frac{n}{p}}}{t^{\frac{n}{q}+1}}\,dt\le C\varphi_{2}(r) $$for all \(r>0\), where \(C>0\) does not depend on r, is sufficient for the boundedness of \(|b,I_{\alpha }|\) from \(\mathcal{M}^{p,\varphi _{1}}({\mathbb{R}^{n}} )\) to \(\mathcal{M}^{q,\varphi_{2}}({\mathbb{R}^{n}})\).
-
2.
If \(\varphi_{1}\in{\mathcal{G}}_{p}\), then the condition (3.5) is necessary for the boundedness of \(|b,I_{\alpha }|\) from \(\mathcal {M}^{p,\varphi_{1}}({\mathbb{R}^{n}})\) to \(\mathcal{M}^{q,\varphi _{2}}({\mathbb{R}^{n}})\).
-
3.
Let \(1< p < \frac{n}{\alpha }\), \(\frac{1}{q}=\frac {1}{p}-\frac{\alpha }{n}\). If \(\varphi_{1}\in{\mathcal{G}}_{p}\) satisfies the regularity type condition (5.3), then the condition (3.5) is necessary and sufficient for the boundedness of \(|b,I_{\alpha }|\) from \(\mathcal{M}^{p,\varphi_{1}}({\mathbb{R}^{n}})\) to \(\mathcal {M}^{q,\varphi_{2}}({\mathbb{R}^{n}})\).
6 Adams type results for \([b,I_{\alpha}]\) in the spaces \(\mathcal{M}^{\Phi,\varphi}\)
The commutators generated by \(b\in L^{1}_{\mathrm{loc}}({\mathbb{R}^{n}})\) and the maximal operator M is defined by
Theorem 6.1
([24])
Let \(b\in \operatorname{BMO}({\mathbb{R}^{n}})\), Φ be a Young function with \(\Phi \in\Delta_{2}\cap\nabla_{2}\), φ and Φ satisfy the condition
where C does not depend on x and r. Then the operator \(M_{b}\) is bounded from \(\mathcal{M}^{\Phi,\varphi }({\mathbb{R}^{n}})\) to \(\mathcal{M}^{\Phi,\varphi}({\mathbb{R}^{n}})\).
The following lemma is the analog of the Hedberg trick for \([b, I_{\alpha}]\).
Lemma 6.2
If \(0<\alpha<n\) and \(f, b\in L^{1}_{\mathrm{loc}}({\mathbb{R}^{n}})\), then for all \(x \in{\mathbb{R}^{n}}\) and \(r>0\) we get
Proof
□
Theorem 6.3
Let \(b\in \operatorname{BMO}({\mathbb{R}^{n}})\), \(\beta\in(0,1)\), Φ be a Young function with \(\Phi\in\Delta_{2}\cap\nabla_{2}\). Let \(\varphi(x,r)\) satisfy the conditions (6.1) and
for every \(x\in{\mathbb{R}^{n}}\) and \(r>0\). Define \(\eta(x,r)\equiv\varphi(x,r)^{\beta}\) and \(\Psi(r)\equiv \Phi(r^{1/\beta})\). Then the operator \([b, I_{\alpha}]\) is bounded from \(\mathcal{M}^{\Phi,\varphi}({\mathbb{R}^{n}})\) to \(\mathcal{M}^{\Psi ,\eta}({\mathbb{R}^{n}})\).
Proof
For arbitrary \(x_{0} \in{\mathbb{R}^{n}}\), set \(B=B(x_{0},r)\) for the ball centered at \(x_{0}\) and of radius r. Write \(f=f_{1}+f_{2}\) with \(f_{1}=f\chi_{{2B}}\) and \(f_{2}=f\chi_{{}^{\complement\!}(2B)}\).
For \(x \in B\) we have
since \(x \in B\) and \(y\in {}^{\complement\!}(2B)\) implies \(|x-y|\approx|x_{0}-y|\).
Let us estimate \(J_{1}\):
Applying Hölder’s inequality, by (2.1), (5.1), (5.2), and Lemma 2.3 we get
Also using (6.2), we get
where \(J_{0}(x):=|[b,I_{\alpha}]f_{1}(x)|\).
Thus, by (6.3) we obtain
Consequently for every \(x\in B\) we have
By using the inequality (6.4) we have
Note that from (2.2) we get
Thus \(\|(M_{b} f)^{\beta}\|_{L^{\Psi}(B)}\leq\|M_{b} f\|_{L^{\Phi }(B)}^{\beta}\). Therefore, we have
In order to estimate \(J_{2}\), by (5.2), Lemma 2.3, and the condition (6.3), we also get
Consequently by using Theorem 6.1, we get
□
The following theorem is one of our main results.
Theorem 6.4
Let \(0<\alpha <n\), \(\Phi\in\mathcal{Y}\), \(b\in \operatorname{BMO}({\mathbb {R}^{n}})\), \(\beta\in (0,1)\) and \(\eta(t)\equiv\varphi(t)^{\beta}\) and \(\Psi(t)\equiv \Phi(t^{1/\beta})\).
-
1.
If \(\Phi\in\Delta_{2}\cap\nabla_{2}\) and \(\varphi(t)\) satisfies (6.1), then the condition
$$ r^{\alpha}\varphi(r) + \int_{r}^{\infty} \biggl(1+\ln\frac {t}{r} \biggr) \varphi(t)t^{\alpha}\frac{dt}{t} \le C \varphi(r)^{\beta} $$for all \(r>0\), where \(C>0\) does not depend on r, is sufficient for the boundedness of \(|b,I_{\alpha }|\) from \(\mathcal{M}^{\Phi,\varphi }({\mathbb{R}^{n}})\) to \(\mathcal{M}^{\Psi,\eta}({\mathbb{R}^{n}})\).
-
2.
If \(\Phi\in\Delta_{2}\) and \(\varphi\in{\mathcal{G}}_{\Phi}\), then the condition (4.5) is necessary for the boundedness of \(|b,I_{\alpha }|\) from \(\mathcal {M}^{\Phi,\varphi}({\mathbb{R}^{n}})\) to \(\mathcal{M}^{\Psi,\eta }({\mathbb{R}^{n}})\).
-
3.
Let \(\Phi\in\Delta_{2}\cap\nabla_{2}\). If \(\varphi\in{\mathcal {G}}_{\Phi}\) satisfies the conditions
$$ \sup_{r< t< \infty} \biggl(1+\ln\frac{t}{r} \biggr) \varphi(t) \le C \varphi(r) $$(6.5)and
$$ \int_{r}^{\infty} \biggl(1+\ln\frac{t}{r} \biggr) \varphi(t)t^{\alpha }\frac{dt}{t} \le C r^{\alpha} \varphi(r) $$(6.6)for all \(r>0\), where \(C>0\) does not depend on r, then the condition (4.5) is necessary and sufficient for the boundedness of \(|b,I_{\alpha }|\) from \(\mathcal{M}^{\Phi,\varphi}({\mathbb{R}^{n}})\) to \(\mathcal{M}^{\Psi,\eta }({\mathbb{R}^{n}})\).
Proof
From the proof of Theorem 6.3, we know that the boundedness result is still true if one has \(|b,I_{\alpha }|\) instead of \([b,I_{\alpha }]\). Hence, the first part of the theorem is a corollary of Theorem 6.3.
We shall now prove the second part. Let \(B_{0}=B(x_{0},r_{0})\) and \(x\in B_{0}\). By Lemma 5.4 we have \(r_{0}^{\alpha }|b(x)-b_{B_{0}}|\leq C |b,I_{\alpha }| \chi_{B_{0}}(x)\). Therefore, by Lemma 5.3 and Lemma 2.7
Since this is true for every \(r_{0}>0\), we are done.
The third statement of the theorem follows from the first and second parts of the theorem. □
If we take \(\Phi(t)=t^{p}\), \(p\in[1,\infty)\) and \(\beta=\frac {p}{q}\) with \(1< p< q<\infty\) at Theorem 6.4 we get the following new result for generalized Morrey spaces.
Corollary 6.5
Let \(0<\alpha <n\), \(1 \le p < q < \infty\) and \(b\in \operatorname{BMO}({\mathbb{R}^{n}})\).
-
1.
If \(1< p<\infty\) and \(\varphi(t)\) satisfies
$$ \sup_{r< t< \infty} \biggl(1+\ln\frac{t}{r} \biggr) \frac{ {\operatorname{ess\, inf}}_{t< s< \infty }\varphi_{1}(s)s^{\frac{n}{p}}}{t^{\frac{n}{p}}}\leq C \varphi_{2}(r), $$then the condition
$$ r^{\alpha}\varphi(r) + \int_{r}^{\infty} \biggl(1+\ln\frac {t}{r} \biggr) \varphi(t)t^{\alpha}\frac{dt}{t} \le C \varphi(r)^{\frac{p}{q}} $$for all \(r>0\) and \(C>0\) does not depend on r, is sufficient for the boundedness of \(|b,I_{\alpha }|\) from \(\mathcal{M}^{p,\varphi }({\mathbb{R}^{n}})\) to \(\mathcal{M}^{q,\varphi^{\frac{p}{q}}}({\mathbb{R}^{n}})\).
-
2.
If \(\varphi\in{\mathcal{G}}_{p}\), then the condition
$$ r^{\alpha}\varphi(r)\le C \varphi(r)^{\frac{p}{q}} $$(6.7)for all \(r>0\) and \(C>0\) does not depend on r, is necessary for the boundedness of \(|b,I_{\alpha }|\) from \(\mathcal {M}^{p,\varphi}({\mathbb{R}^{n}})\) to \(\mathcal{M}^{q,\varphi^{\frac {p}{q}}}({\mathbb{R}^{n}})\).
-
3.
Let \(1< p<\infty\). If \(\varphi\in{\mathcal{G}}_{p}\) satisfies the conditions (6.5) and (6.6), then the condition (6.7) is necessary and sufficient for the boundedness of \(|b,I_{\alpha }|\) from \(\mathcal{M}^{p,\varphi}({\mathbb{R}^{n}})\) to \(\mathcal {M}^{q,\varphi^{\frac {p}{q}}}({\mathbb{R}^{n}})\).
7 Weak type results
Definition 7.1
Let Φ be a Young function. The weak Orlicz space is defined as
where
and \(d_{f}(t)=|\{x\in{\mathbb{R}^{n}}: |f(x)|>t\}|\).
Lemma 7.2
If \(0<\Vert f\Vert_{WL^{\Phi}}<\infty\), then
Proof
By the definition of \(\Vert\cdot\Vert_{WL^{\Phi}}\), for all \(\lambda>\Vert f\Vert_{WL^{\Phi}}\) we have \(\Phi(\frac{t}{\lambda })d_{f}(t) \leq1\) for all \(t>0\). Now as λ decreases to \(\Vert f\Vert_{WL^{\Phi}}\), the quotient \(\frac{t}{\lambda}\) increases to \(\frac{t}{\Vert f\Vert_{WL^{\Phi}}}\). By the left-continuity of Φ, we have \(\Phi (\frac{t}{\lambda } )\uparrow\Phi (\frac{t}{\Vert f\Vert_{WL^{\Phi }}} )\). Therefore we get the desired result. □
By elementary calculations we have the following.
Lemma 7.3
Let Φ be a Young function and B a set in \(\mathbb{R}^{n}\) with finite Lebesgue measure. Then
Theorem 7.4
([8])
Let Φ, Ψ Young functions and \(0 < \alpha< n\). Then the Riesz potential \(I_{\alpha}\) is bounded from \(L^{\Phi}({\mathbb {R}^{n}})\) to \(WL^{\Psi}({\mathbb{R}^{n}})\) if and only if
Here, \(\Phi_{n/\alpha}\) is the Young function defined as in (3.1).
Definition 7.5
Let \(\varphi(x,r)\) be a positive measurable function on \({\mathbb {R}^{n}}\times (0,\infty)\) and Φ any Young function. By \(W\mathcal{M}^{\Phi,\varphi}({\mathbb{R}^{n}})\) we denote the weak generalized Orlicz-Morrey space of all functions \(f\in WL^{\Phi}_{\mathrm{loc}}({\mathbb{R}^{n}})\) for which
where \(\|f\|_{WL^{\Phi}(B(x,r))}=\|f\chi_{B(x,r)}\|_{WL^{\Phi}}\).
Lemma 7.6
Let \(B_{0}:=B(x_{0},r_{0})\). If \(\varphi\in{\mathcal{G}}_{\Phi}\), then
Proof
The proof is similar to the proof of Lemma 2.7 thanks to Lemma 7.3. □
Theorem 7.7
([11])
Let \(\Phi\in\mathcal{Y}\), the functions φ and Φ satisfy the condition (2.3), then the maximal operator M is bounded from \(\mathcal{M}^{\Phi,\varphi}({\mathbb{R}^{n}})\) to \(W\mathcal {M}^{\Phi,\varphi }({\mathbb{R}^{n}})\).
Theorem 7.8
(Weak version of Spanne type result)
Let \(0<\alpha <n\) and Φ, Ψ are Young functions.
-
1.
If the functions \((\Phi, \Psi)\) satisfy the condition (7.2), then the condition (3.4) is sufficient for the boundedness of \(I_{\alpha }\) from \(\mathcal {M}^{\Phi ,\varphi_{1}}({\mathbb{R}^{n}})\) to \(W\mathcal{M}^{\Psi,\varphi _{2}}({\mathbb{R}^{n}})\).
-
2.
If the function \(\varphi_{1}\in{\mathcal{G}}_{\Phi}\), then the condition (3.5) is necessary for the boundedness of \(I_{\alpha }\) from \(\mathcal{M}^{\Phi,\varphi_{1}}({\mathbb{R}^{n}})\) to \(W\mathcal{M}^{\Psi ,\varphi_{2}}({\mathbb{R}^{n}})\).
-
3.
Let the functions \((\Phi, \Psi)\) satisfy the condition (7.2). If \(\varphi_{1}\in{\mathcal{G}}_{\Phi}\) satisfies the condition (3.6), then the condition (3.5) is necessary and sufficient for the boundedness of \(I_{\alpha }\) from \(\mathcal{M}^{\Phi,\varphi_{1}}({\mathbb{R}^{n}})\) to \(W\mathcal {M}^{\Psi,\varphi_{2}}({\mathbb{R}^{n}})\).
Proof
The first part of the theorem was proved in [19], Theorem 14.
We shall now prove the second part. Let \(B_{0}=B(x_{0},t_{0})\) and \(x\in B_{0}\). By Lemma 3.3 we have \(t_{0}^{\alpha}\leq C I_{\alpha } \chi_{B_{0}}(x)\). Therefore, by Lemmas 7.3 and 2.7
Since this is true for every \(t_{0}>0\), we are done.
The third statement of the theorem follows from the first and second parts of the theorem. □
If we take \(\Phi(t)=t^{p}\), \(\Psi(t)=t^{q}\), \(p,q\in[1,\infty)\) at Theorem 7.8 we get the following new result for generalized Morrey spaces.
Corollary 7.9
Let \(0<\alpha <n\) and \(p,q\in[1,\infty)\).
-
1.
If \(1\leq p<\frac{n}{\alpha}\) and \(\frac{1}{q}=\frac {1}{p}-\frac{\alpha }{n}\), then the condition (3.7) is sufficient for the boundedness of \(I_{\alpha }\) from \(\mathcal{M}^{p,\varphi_{1}}({\mathbb{R}^{n}})\) to \(W\mathcal {M}^{q,\varphi_{2}}({\mathbb{R}^{n}})\).
-
2.
If the function \(\varphi_{1}\in{\mathcal{G}}_{p}\), then the condition (3.5) is necessary for the boundedness of \(I_{\alpha }\) from \(\mathcal {M}^{p,\varphi_{1}}({\mathbb{R}^{n}})\) to \(W\mathcal{M}^{q,\varphi _{2}}({\mathbb{R}^{n}})\).
-
3.
Let \(1\le p<\frac{n}{\alpha}\) and \(\frac{1}{q}=\frac {1}{p}-\frac{\alpha }{n}\). If \(\varphi_{1}\in{\mathcal{G}}_{p}\) satisfies the regularity condition (3.8), then the condition (3.5) is necessary and sufficient for the boundedness of \(I_{\alpha }\) from \(\mathcal{M}^{p,\varphi_{1}}({\mathbb{R}^{n}})\) to \(W\mathcal {M}^{q,\varphi_{2}}({\mathbb{R}^{n}})\).
Remark 7.10
If we take into account Remark 3.6 we get the following weak version of the Spanne result for Morrey spaces.
Corollary 7.11
Let \(0<\alpha <n\), \(1\le p<\frac{n}{\alpha}\), \(0<\lambda<n-\alpha p\) and \(\frac{1}{q}=\frac{1}{p}-\frac{\alpha }{n}\). Then \(I_{\alpha}\) is bounded from \(\mathcal{M}^{p,\lambda}({\mathbb {R}^{n}})\) to \(W\mathcal{M}^{q,\mu}({\mathbb{R}^{n}})\) if and only if \(\frac{\lambda}{p}=\frac{\mu}{q}\).
Theorem 7.12
Let \(\Phi\in\mathcal{Y}\) and \(0<\alpha <n\). Let \(\varphi(x,t)\) satisfy the conditions (2.3) and (4.1). Define \(\eta(x,t)\equiv\varphi(x,t)^{\beta}\) and \(\Psi(t)\equiv \Phi(t^{1/\beta})\). Then the operator \(I_{\alpha}\) is bounded from \(\mathcal{M}^{\Phi,\varphi}({\mathbb{R}^{n}})\) to \(W\mathcal {M}^{\Psi,\eta }({\mathbb{R}^{n}})\).
Proof
By using the inequality (4.2) we have
where \(B=B(x,t)\). Note that from (7.1) we get
Thus \(\|(Mf)^{\beta}\|_{WL^{\Psi}(B)}\leq\|Mf\|_{WL^{\Phi }(B)}^{\beta}\). Consequently by using this inequality we have
From Theorem 7.7 and (7.3), we get
□
Theorem 7.13
(Weak version of Adams type result)
Let \(0<\alpha <n\), \(\Phi\in\mathcal{Y}\), \(\beta\in(0,1)\) and \(\eta (t)\equiv\varphi(t)^{\beta}\) and \(\Psi(t)\equiv\Phi(t^{1/\beta})\).
-
1.
If \(\varphi(t)\) satisfies (2.3), then the condition (4.4) is sufficient for the boundedness of \(I_{\alpha }\) from \(\mathcal{M}^{\Phi,\varphi}({\mathbb{R}^{n}})\) to \(W\mathcal {M}^{\Psi,\eta }({\mathbb{R}^{n}})\).
-
2.
If \(\varphi\in{\mathcal{G}}_{\Phi}\), then the condition (4.5) is necessary for the boundedness of \(I_{\alpha }\) from \(\mathcal {M}^{\Phi ,\varphi}({\mathbb{R}^{n}})\) to \(W\mathcal{M}^{\Psi,\eta}({\mathbb{R}^{n}})\).
-
3.
Let \(\varphi(t)\) satisfy (2.3). If \(\varphi\in {\mathcal{G}}_{\Phi}\) satisfies the regularity condition (4.6), then the condition (4.5) is necessary and sufficient for the boundedness of \(I_{\alpha }\) from \(\mathcal{M}^{\Phi,\varphi}({\mathbb{R}^{n}})\) to \(W\mathcal {M}^{\Psi,\eta}({\mathbb{R}^{n}})\).
Proof
The first part of the theorem is a corollary of Theorem 7.12.
We shall now prove the second part. Let \(B_{0}=B(x_{0},t_{0})\) and \(x\in B_{0}\). By Lemma 3.3 we have \(t_{0}^{\alpha}\leq C I_{\alpha } \chi_{B_{0}}(x)\). Therefore, by Lemmas 7.3 and 2.7
Since this is true for every \(t_{0}>0\), we are done.
The third statement of the theorem follows from the first and second parts of the theorem. □
If we take \(\Phi(t)=t^{p}\), \(p\in[1,\infty)\) and \(\beta=\frac {p}{q}\) with \(p< q<\infty\) at Theorem 7.13 we get the following new result for generalized Morrey spaces.
Corollary 7.14
Let \(1\le p< q<\infty\).
-
1.
If \(\varphi(t)\) satisfies (1.1), then the condition (4.7) is sufficient for the boundedness of \(I_{\alpha }\) from \(\mathcal{M}^{p,\varphi}({\mathbb{R}^{n}})\) to \(W\mathcal {M}^{q,\varphi^{\frac {p}{q}}}({\mathbb{R}^{n}})\).
-
2.
If \(\varphi\in{\mathcal{G}}_{p}\), then the condition (4.8) is necessary for the boundedness of \(I_{\alpha }\) from \(\mathcal{M}^{p,\varphi}({\mathbb{R}^{n}})\) to \(W\mathcal {M}^{q,\varphi^{\frac {p}{q}}}({\mathbb{R}^{n}})\).
-
3.
If \(\varphi\in{\mathcal{G}}_{p}\) satisfies the regularity condition (4.6), then the condition (4.8) is necessary and sufficient for the boundedness of \(I_{\alpha }\) from \(\mathcal{M}^{p,\varphi}({\mathbb{R}^{n}})\) to \(W\mathcal {M}^{q,\varphi^{\frac {p}{q}}}({\mathbb{R}^{n}})\).
Remark 7.15
If we take into account Remark 4.5 we get the following weak version of Adams result for Morrey spaces.
Corollary 7.16
Let \(0<\alpha<n\), \(1\le p< q<\infty\) and \(0<\lambda<n-\alpha p\). Then \(I_{\alpha}\) is bounded from \(\mathcal{M}^{p,\lambda}({\mathbb{R}^{n}})\) to \(W\mathcal{M}^{q,\lambda}({\mathbb{R}^{n}})\) if and only if \(\frac {1}{p}-\frac{1}{q}=\frac{\alpha}{n-\lambda}\).
References
Guliyev, VS: Boundedness of the maximal, potential and singular operators in the generalized Morrey spaces. J. Inequal. Appl. 2009, Article ID 503948 (2009)
Nakai, E: A characterization of pointwise multipliers on the Morrey spaces. Sci. Math. 3, 445-454 (2000)
Persson, L-E, Ragusa, MA, Samko, N, Wall, P: Commutators of Hardy operators in vanishing Morrey spaces. In: 9th Int. Conf. on Math. Problems in Engineering, Aerospace and Sciences (ICNPAA 2012). AIP Conf. Proc., vol. 1493, pp. 859-866 (2012)
Orlicz, W: Über eine gewisse Klasse von Räumen vom Typus B. Bull. Acad. Pol. A, 207-220 (1932); reprinted in: Collected Papers, PWN, Warszawa, 217-230 (1988)
Orlicz, W: Über Räume \((L^{M})\). Bull. Acad. Pol. A, 93-107 (1936); reprinted in: Collected Papers, PWN, Warszawa, 345-359 (1988)
Kita, H: On maximal functions in Orlicz spaces. Proc. Am. Math. Soc. 124, 3019-3025 (1996)
Kita, H: On Hardy-Littlewood maximal functions in Orlicz spaces. Math. Nachr. 183, 135-155 (1997)
Cianchi, A: Strong and weak type inequalities for some classical operators in Orlicz spaces. J. Lond. Math. Soc. 60(2), 187-202 (1999)
Nakai, E: Generalized fractional integrals on Orlicz-Morrey spaces. In: Banach and Function Spaces (Kitakyushu, 2003), pp. 323-333. Yokohama Publishers, Yokohama (2004)
Sawano, Y, Sugano, S, Tanaka, H: Orlicz-Morrey spaces and fractional operators. Potential Anal. 36(4), 517-556 (2012)
Deringoz, F, Guliyev, VS, Samko, S: Boundedness of maximal and singular operators on generalized Orlicz-Morrey spaces. In: Operator Theory, Operator Algebras and Applications. Operator Theory: Advances and Applications, vol. 242, pp. 139-158 (2014)
Peetre, J: On the theory of \(M_{p,\lambda}\). J. Funct. Anal. 4, 71-87 (1969)
Adams, DR: A note on Riesz potentials. Duke Math. J. 42, 765-778 (1975)
Chiarenza, F, Frasca, M: Morrey spaces and Hardy-Littlewood maximal function. Rend. Mat. Appl. (7) 7, 273-279 (1987)
Guliyev, VS: Integral operators on function spaces on the homogeneous groups and on domains in \({\mathbb{R}^{n}}\). Doctor’s degree dissertation, Mat. Inst. Steklov, Moscow (1994) (in Russian)
Guliyev, VS: Function Spaces, Integral Operators and Two Weighted Inequalities on Homogeneous Groups: Some Applications. Casioglu, Baku (1999) (in Russian)
Guliyev, VS, Aliyev, SS, Karaman, T, Shukurov, PS: Boundedness of sublinear operators and commutators on generalized Morrey space. Integral Equ. Oper. Theory 71(3), 327-355 (2011)
Guliyev, VS, Shukurov, PS: On the boundedness of the fractional maximal operator, Riesz potential and their commutators in generalized Morrey spaces. In: Advances in Harmonic Analysis and Operator Theory. Operator Theory: Advances and Applications, vol. 229, pp. 175-194 (2013)
Guliyev, VS, Deringoz, F: On the Riesz potential and its commutators on generalized Orlicz-Morrey spaces. J. Funct. Spaces 2014, Article ID 617414 (2014)
Ragusa, MA: Necessary and sufficient condition for a VMO function. Appl. Math. Comput. 218, 11952-11958 (2012)
Hedberg, LI: On certain convolution inequalities. Proc. Am. Math. Soc. 36, 505-510 (1972)
Janson, S: Mean oscillation and commutators of singular integral operators. Ark. Mat. 16, 263-270 (1978)
Ho, K-P: Characterization of BMO in terms of rearrangement-invariant Banach function spaces. Expo. Math. 27, 363-372 (2009)
Deringoz, F, Guliyev, VS, Samko, S: Boundedness of the maximal operator and its commutators on vanishing generalized Orlicz-Morrey spaces. Ann. Acad. Sci. Fenn., Math. 40, 535-549 (2015)
Acknowledgements
We thank the referee(s) for careful reading the paper and useful comments. The research of VS Guliyev and F Deringoz was partially supported by the grant of Ahi Evran University Scientific Research Project (FEF.A3.16.024).
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
This work was carried out in collaboration between all authors. VSG raised these interesting problems in the research. VSG, FD, and SGH proved the theorems, interpreted the results, and wrote the article. All authors defined the research theme, read, and approved the manuscript.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Deringoz, F., Guliyev, V.S. & Hasanov, S.G. Characterizations for the Riesz potential and its commutators on generalized Orlicz-Morrey spaces. J Inequal Appl 2016, 248 (2016). https://doi.org/10.1186/s13660-016-1192-z
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-016-1192-z