Abstract
Boundedness of the maximal operator and the Calderón–Zygmund singular integral operators in central Morrey–Orlicz spaces were proved in papers (Maligranda et al. in Colloq Math 138:165–181, 2015; Maligranda et al. in Tohoku Math J 72:235–259, 2020) by the second and third authors. The weak-type estimates have also been proven. Here we show boundedness of the Riesz potential in central Morrey–Orlicz spaces and the corresponding weak-type version.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Orlicz spaces and central Morrey–Orlicz spaces
First of all, we recall the definition of Orlicz spaces on \({\mathbb {R}}^n\) and some of their properties to be used later on (see [24] and [26] for details).
A function \(\Phi :[0,\infty ) \rightarrow [0,\infty )\) is called an Orlicz function, if it is an increasing continuous and convex function with \(\Phi (0)=0\). Each such a function \(\Phi \) has an integral representation \(\Phi (u) = \int _0^u \Phi ^{\prime }_{+}(t) \,dt\), where the right-derivative \(\Phi ^{\prime }_{+}\) is a nondecreasing right-continuous function (see [24, Theorem 1.1]). We will write below estimates for everywhere differentiable Orlicz function \(\Phi \), but then using the above integral representation, these estimates will be true for almost all \(u > 0\) with its right-derivative \(\Phi ^{\prime }_+\) instead of derivative \(\Phi ^{\prime }\). Of course, we have estimates
If we want to include in the Orlicz spaces, for example, spaces \(L^{\infty }({{\mathbb {R}}^n}), L^p ({{\mathbb {R}}^n}) \cap L^{\infty }({{\mathbb {R}}^n})\) and \(L^p ({{\mathbb {R}}^n}) + L^{\infty }({{\mathbb {R}}^n})\) for \(1 \le p < \infty \), then we need to consider a broader class of functions than Orlicz functions, the so-called Young functions. A function \(\Phi :[0,\infty ) \rightarrow [0,\infty ]\) is called a Young function, if it is a nondecreasing convex function with \(\lim _{u \rightarrow 0^+}\Phi (u) = \Phi (0) = 0\), and not identically 0 or \(\infty \) in \((0,\infty )\). It may have jump up to \(\infty \) at some point \(u>0\), but then it should be left continuous at u.
Let \((\Omega , \Sigma , \mu )\) be a \(\sigma \)-finite complete nonatomic measure space and \(L^0(\Omega )\) be the space of all \(\mu \)-equivalent classes of real-valued and \(\Sigma \)-measurable functions defined on \(\Omega \).
For any Young function \(\Phi \), the Orlicz space \(L^{\Phi }(\Omega )\), which contains all \(f \in L^0(\Omega )\) such that \(\int _{\Omega } \Phi ( \varepsilon |f(x)|) \, d\mu (x) < \infty \) for some \( \varepsilon = \varepsilon (f) > 0\) with the Luxemburg–Nakano norm
is a Banach space (cf. [24, pp. 70–71], [26, pp. 15–16], [27, pp. 125–127] and [38, pp. 67–68]). The fundamental function of the Orlicz space \(L^{\Phi }(\Omega )\) is
where \(\chi _{A}\) is the characteristic function of the set \(A \subset \Omega , t = \mu (A)\) and \(\Phi ^{-1}\) is the right-continuous inverse of \(\Phi \) defined by \(\Phi ^{-1}(v) = \inf \, \{u \ge 0 :\Phi (u) > v\}\) with \(\inf \, \emptyset = \infty \).
To each Young function \(\Phi \) one can associate another convex function \(\Phi ^*\), i.e., the complementary function to \(\Phi \), which is defined by
Then \(\Phi ^*\) is also a Young function and \(\Phi ^{**} = \Phi \). Note that \(u \le \Phi ^{-1}(u) \Phi ^{*^{-1}}(u) \le 2 u\) for all \(u > 0\).
We say that a Young function \(\Phi \) satisfies the \(\Delta _2\)-condition and we write shortly \(\Phi \in \Delta _2\), if \(0< \Phi (u) < \infty \) for \(u>0\) and there exists a constant \(D_2 \ge 1\) such that
In this paper we consider Orlicz spaces \(L^{\Phi }({\mathbb {R}}^n)\) on \({\mathbb {R}}^n\) with the Lebesgue measure. Then we define the Morrey–Orlicz spaces \(M^{\Phi , \lambda }({{\mathbb {R}}^n})\) and central Morrey–Orlicz spaces \(M^{\Phi , \lambda }(0)\). In the 2000s, several authors (for example, F. Deringoz, V. S. Guliyev, J. J. Hasanov, T. Mizuhara, E. Nakai, S. Samko, Y. Sawano, H. Tanaka and others) defined Orlicz versions of the Morrey space, i.e., Morrey–Orlicz spaces, and investigated the boundedness for the Hardy–Littlewood maximal operator and other operators on them (see, for example, [11, 19, 20, 34, 39] and the references therein). The Orlicz version of central Morrey spaces, i.e., central Morrey–Orlicz spaces were defined in papers by the second and third authors. They investigated boundedness on central Morrey–Orlicz spaces of the Hardy–Littlewood maximal operator in paper [28] and also boundedness of the Calderón–Zygmund singular integral operators on them in paper [29]. In this paper we present conditions under which the Riesz potential is bounded on central Morrey–Orlicz spaces.
For any Young function \(\Phi \), number \(\lambda \in {\mathbb {R}}\), a set \(A \subset {\mathbb {R}}^n\) with \(0< |A| < \infty \) and for \(f \in L^0({{\mathbb {R}}^n})\) let
and the corresponding (smaller) expression
where \(d(f, u) = | \{x \in {{\mathbb {R}}^n} :|f(x)| > u \}|\). Note that \(\Vert f\Vert _{\Phi , \lambda , A, \infty } \le \Vert f\Vert _{\Phi , \lambda , A} \) provided that the expression on the right is finite. In fact, if \(\Vert f\Vert _{\Phi , \lambda , A} < c\), then for arbitrary \(u > 0\) we have
and \(\Vert f\Vert _{\Phi , \lambda , A, \infty } \le c\). Hence, \(\Vert f\Vert _{\Phi , \lambda , A, \infty } \le \Vert f\Vert _{\Phi , \lambda , A}\).
Using these notions and considering open balls \(B(x_0, r)\) with a center at \(x_0 \in {\mathbb {R}}^n\) and radius \(r > 0\), i.e. \(B(x_0, r) = \{x \in {{\mathbb {R}}^n} :|x - x_0| < r\}\), and also open balls \(B(0, r) = B_r\) with a center at 0 we can define Morrey–Orlicz spaces \(M^{\Phi , \lambda }({{\mathbb {R}}^n})\) and weak Morrey–Orlicz spaces \(WM^{\Phi , \lambda }({{\mathbb {R}}^n})\):
and
Similarly, we can define central Morrey–Orlicz spaces \(M^{\Phi , \lambda }(0)\) and weak central Morrey–Orlicz spaces \(WM^{\Phi , \lambda }(0)\):
and
All these spaces are Banach ideal spaces on \({{\mathbb {R}}^n}\) (sometimes they are \(\{0\}\), that is, they contain only all functions equivalent to 0 on \({\mathbb {R}}^n\)). Moreover, we have continuous embeddings \(M^{\Phi , \lambda }({{\mathbb {R}}^n}) \overset{1}{\hookrightarrow } WM^{\Phi , \lambda }({{\mathbb {R}}^n}), M^{\Phi , \lambda }(0) \overset{1}{\hookrightarrow } WM^{\Phi , \lambda }(0)\) and also \(M^{\Phi , \lambda }({{\mathbb {R}}^n}) \overset{1}{\hookrightarrow } M^{\Phi , \lambda }(0), WM^{\Phi , \lambda }({{\mathbb {R}}^n})\overset{1}{\hookrightarrow } WM^{\Phi , \lambda }(0)\).
Let us recall that the normed subspace \(X = (X, \Vert \cdot \Vert _X)\) of \(L^0(\Omega )\) is an ideal space on \(\Omega \): if \(f, g \in X\) with \(|f(x)| \le |g(x)|\) for \(\mu \)-almost all \(x \in \Omega \), and \(g \in X\), then \(f \in X\) and \(\Vert f\Vert _X \le \Vert g\Vert _X\). Here and further, for two Banach ideal spaces X and Y, we use the symbol \(X\hookrightarrow Y\) rather than \(X\subset Y\) for continuous embedding. Moreover, the symbol \(X\overset{C}{\hookrightarrow }Y\) indicates that \(X\hookrightarrow Y\) with the norm of the embedding operator not bigger than C, i.e., \(\Vert f\Vert _{Y} \le C\, \Vert f\Vert _{X}\) for all \(f\in X\).
Note that Morrey–Orlicz spaces and central Morrey–Orlicz spaces are generalizations of Orlicz spaces and Morrey spaces (on \({{\mathbb {R}}^n}\)). In particular, we can obtain the following spaces (see [28] for more details):
- \((\mathrm{i})\):
-
(Orlicz and weak Orlicz spaces) If \(\lambda = 0\), then
$$\begin{aligned} M^{\Phi , 0}({{\mathbb {R}}^n})= & {} M^{\Phi , 0}(0) = L^{\Phi }({{\mathbb {R}}^n}) \ \ {\text {{and}}} \\ WM^{\Phi , 0}({{\mathbb {R}}^n})= & {} WM^{\Phi , 0}(0) = WL^{\Phi }({{\mathbb {R}}^n}). \end{aligned}$$ - \((\mathrm{ii})\):
-
(Beurling–Orlicz and weak Beurling–Orlicz spaces) If \(\lambda = 1\), then
$$\begin{aligned} M^{\Phi , 1}({{\mathbb {R}}^n}) = B^{\Phi }({{\mathbb {R}}^n}) \ \ {\text {{and}}} \ \ WM^{\Phi , 1}({{\mathbb {R}}^n}) = WB^{\Phi }({{\mathbb {R}}^n}). \end{aligned}$$As for \(B^{\Phi }({{\mathbb {R}}^n})\) and \(WB^{\Phi }({{\mathbb {R}}^n})\), see [28].
- \((\mathrm{iii})\):
-
(Classical Morrey, weak Morrey, central Morrey and weak central Morrey spaces) If \(\Phi (u) = u^p, 1 \le p< \infty \) and \(\lambda \in {\mathbb {R}}\), then \(M^{\Phi , \lambda }({{\mathbb {R}}^n}) = M^{p, \lambda }({{\mathbb {R}}^n}), WM^{\Phi ,\lambda }({{\mathbb {R}}^n}) = WM^{p,\lambda }({{\mathbb {R}}^n})\) and \(M^{\Phi , \lambda }(0) = M^{p, \lambda }(0), WM^{\Phi ,\lambda } (0) = WM^{p,\lambda }(0)\). Here \(M^{p, \lambda }({{\mathbb {R}}^n})\), \(WM^{p, \lambda }({{\mathbb {R}}^n})\), \(M^{p, \lambda }(0)\), \(WM^{p, \lambda }(0)\) are the classical Morrey, weak Morrey, central Morrey and weak central Morrey spaces, respectively.
We want to note that \(M^{p, \lambda }({{\mathbb {R}}^n}) \ne \{0\}\) if and only if \(0 \le \lambda \le 1\) (see [6, Lemma 1]) and \(M^{p, \lambda }(0) \ne \{0\}\) if and only if \(\lambda \ge 0\) (see [4, 6, 7]). Moreover, \(M^{p, 0}({{\mathbb {R}}^n}) = M^{p, 0}(0) = L^p({{\mathbb {R}}^n})\) and \(M^{p, 1}({{\mathbb {R}}^n}) = L^{\infty }({{\mathbb {R}}^n})\) (see [25, Theorem 4.3.6]). However, \( L^{\infty }({{\mathbb {R}}^n}) \overset{1}{\hookrightarrow } M^{p, 1}(0)\) and the inclusion is strict. For example, in one-dimensional case \(f(x) = \sum _{n=0}^{\infty }2^{n/p} \chi _{[n, n+2^{-n}]}(|x|) \in M^{p, 1}(0) \setminus L^{\infty }({{\mathbb {R}}^1})\). Of course, for \(0 \le \lambda \le 1\) the inclusion \(M^{p, \lambda }({{\mathbb {R}}^n}) \overset{1}{\hookrightarrow } M^{p, \lambda }(0)\) holds and is strict for \(0 < \lambda \le 1\) (a suitable example we can find in [22, p. 156]). It is also true that if \(1 \le p< q< \infty , 0 \le \mu< \lambda < 1\) and \(\frac{1 - \lambda }{p} = \frac{1 - \mu }{q}\), then
Both inclusions are proper (see, for example, [21]); the second embedding in (8) is also true for \(1< \lambda < \mu \). The embeddings (8) follow by the Hölder–Rogers inequality with \(\frac{q}{p} > 1\), since for any \(x_0 \in {\mathbb {R}}^n\) we have
and from the fact that \(1 - p/q + \mu p/q = (\mu - 1) \, p/q + 1 = - (1 - \lambda ) + 1 = \lambda \).
If the supremum in definitions (4)–(7) is taken over all \(r > 1\), then we will have corresponding definitions of non-homogeneous Morrey–Orlicz spaces, non-homogeneous weak Morrey–Orlicz spaces, non-homogeneous central Morrey–Orlicz spaces and non-homogeneous weak central Morrey–Orlicz spaces.
2 The Riesz potential in Lebesgue, Orlicz and Morrey spaces
The Riesz potential of order \(\alpha \in (0, n)\) of a locally integrable function \(f \in L^0({{\mathbb {R}}^n})\) is defined as
The linear operator \(I_{\alpha }\) plays a role in various branches of analysis, including potential theory, harmonic analysis, Sobolev spaces and partial differential equations. Therefore, investigations of the boundedness of the operator \(I_{\alpha }\) between different spaces are important.
The classical Hardy–Littlewood–Sobolev theorem states that if \(1< p< q < \infty \), then a Riesz potential \(I_{\alpha }\) is of strong-type (p, q), that is, bounded from \(L^p({{\mathbb {R}}^n})\) to \(L^q({{\mathbb {R}}^n})\) if and only if \(1/q=1/p-\alpha /n\). For \(p = 1< q < \infty \) Zygmund proved that \(I_{\alpha }\) is of weak-type (1, q), that is, bounded from \(L^1({{\mathbb {R}}^n})\) to \(WL^q({{\mathbb {R}}^n})\), where \(1/q=1-\alpha /n\). The weak-\(L^q\) space \(WL^q({{\mathbb {R}}^n}) = L^{q, \infty }({{\mathbb {R}}^n})\), called also the Marcinkiewicz space, consists of all \(f \in L^0({{\mathbb {R}}^n})\) such that the quasi-norm \(\Vert f\Vert _{q, \infty } = \sup _{t> 0} t \, | \{x \in {{\mathbb {R}}^n} :|f(x)| > t \}|^{1/q}\) is finite. The proofs of these results we can find in the books [15, pp. 125–127], [16, pp. 2–5], [40, pp. 117–121], [41, pp. 150–154] and [42, pp. 86–87].
The boundedness of \(I_{\alpha }\) from an Orlicz space \(L^{\Phi }({\mathbb {R}}^n)\) to another Orlicz space \(L^{\Psi }({\mathbb {R}}^n)\) was studied by Simonenko (1964), O’Neil (1965) and Torchinsky (1976) under some restrictions on the Orlicz functions \(\Phi \) and \(\Psi \). In 1999 Cianchi [10] gave a necessary and sufficient condition for the boundedness of \(I_{\alpha }\) from \(L^{\Phi }({\mathbb {R}}^n)\) to \(L^{\Psi }({\mathbb {R}}^n)\) and from \(L^{\Phi }({\mathbb {R}}^n)\) to weak Orlicz space \(WL^{\Psi }({\mathbb {R}}^n)\). Another sufficient conditions for boundedness of the Riesz operator \(I_{\alpha }\) (and even for a generalized fractional operator \(I_{\rho }\)) were given in 2001 by Nakai [32, 33]. Then in 2017, Guliyev–Deringoz–Hasanov in [20, Theorem 3.3], gave more readable necessary and sufficient conditions for the boundedness of \(I_{\alpha }\) from \(L^{\Phi }({\mathbb {R}}^n)\) to \(WL^{\Psi }({\mathbb {R}}^n)\) and from \(L^{\Phi }({\mathbb {R}}^n)\) to \(L^{\Psi }({\mathbb {R}}^n)\).
Results concerning boundedness of the Riesz potential between Morrey spaces were first obtained by Spanne with the Sobolev exponent \(1/q=1/p-\alpha /n\), and this result was published in 1969 by Peetre [36]: if \(0< \alpha< n, 1< p< n(1 - \lambda )/\alpha , 0< \lambda < 1, 1/q=1/p-\alpha /n\) and \(\lambda /p = \mu /q\), then the Riesz potential \(I_{\alpha }\) is bounded from \(M^{p, \lambda }({\mathbb {R}}^n)\) to \(M^{q, \mu }({\mathbb {R}}^n)\). Then in 1975 a stronger result was obtained by Adams [1], and reproved by Chiarenza–Frasca [9]. Adams proved boundedness of \(I_{\alpha }\) from \(M^{p, \lambda }({\mathbb {R}}^n)\) to \(M^{q_1, \lambda }({\mathbb {R}}^n)\) with a better exponent \(q_1\), namely \( 1/q_1 = 1/p - \alpha /[n(1-\lambda )]\). Adams result is stronger than the Peetre–Spanne theorem because \(q < q_1\) and \((1 - \mu )/q = (1 - \lambda )/q_1\), from which follows the embedding \(M^{q_1, \lambda }({\mathbb {R}}^n) \overset{1}{\hookrightarrow } M^{q, \mu }({\mathbb {R}}^n)\) and this means that the target space \(M^{q_1, \lambda }({\mathbb {R}}^n)\) is smaller than target space \(M^{q, \mu }({\mathbb {R}}^n)\) in the Peetre–Spanne result. Central Morrey spaces \(M^{p, \lambda }(0)\) were first introduced in [14, p. 607] and in [2, p. 5] (see also [8, p. 257] and [13, p. 500] for \(\lambda = 1\)). Further studies of the central Morrey spaces and their generalizations were investigated, for example, in [6, 17, 18, 37].
Result on the boundedness of the Riesz potential in these spaces was proved by Fu–Lin–Lu [12, Proposition 1.1]: if \(1< p< n (1 - \lambda )/\alpha , 0< \lambda < 1, 1/q = 1/p - \alpha /n\) and \(\lambda /p = \mu /q\), then the Riesz potential \(I_{\alpha }\) is bounded from \(M^{p,\lambda }(0)\) to \(M^{q, \mu }(0)\) (see also [5, 17, 18]). Komori-Furuya and Sato [23, Proposition 1] showed that Adams type result on boundedness in central Morrey spaces does not hold. They showed that if \(\frac{1 - \mu }{q} = \frac{1 - \lambda }{p} - \frac{\alpha }{n}\) and \( \alpha /n< 1/p - 1/q < \alpha /[n(1 - \lambda )]\), then \(I_{\alpha }\) is not bounded from \(M^{p, \lambda }(0)\) to \(M^{q, \mu }(0)\) because \(\mu /q = \lambda /p - (1/p - \alpha /n - 1/q) < \lambda /p\).
We will generalize the last results to central Morrey–Orlicz spaces. In Theorem 2, the necessary conditions for boundedness of \(I_{\alpha }\) are given, and in Theorem 3 – sufficient conditions are presented.
In the proof of boundedness of the Riesz potential in the central Morrey-Orlicz spaces we will need some necessary estimates. We will present them in the next section.
3 Some technical results
To prove the main results of this paper, we need some technical calculations. In order not to hide the main ideas in proofs of the main results we collect such calculations in Lemma 1 below.
Lemma 1
Let \(\Phi \) be a Young function, \(\Phi ^*\) its complementary function, \(0 \le \lambda \le 1\) and \(r > 0\). Then
- \((\mathrm{i})\):
-
\(\int _{B_r} |f(x)g(x)|\,dx \le 2\, |B_r|^{\lambda }\, \Vert f\Vert _{\Phi , \lambda , B_r} \Vert g\Vert _{\Phi ^*, \lambda , B_r}\).
- \((\mathrm{ii})\):
-
\(\Vert \chi _{B(x_0, r_0)}\Vert _{\Phi ^{*}, \lambda , B_r} \le \frac{|B_r \cap B(x_0, r_0)|}{|B_r|^\lambda }\Phi ^{-1} \left( \frac{|B_r|^\lambda }{|B_r \cap B(x_0, r_0)|} \right) \), where \(B_r \cap B(x_0, r_0) \ne \emptyset \)for \(x_0 \in \mathbb R^n\) and \(r_0 > 0\) .
In particular, \(\Vert \chi _{B_r} \Vert _{\Phi ^*, \lambda , B_r} \le \dfrac{\Phi ^{-1} \left( |B_r|^{\lambda -1} \right) }{|B_r|^{\lambda -1}}.\)
- \((\mathrm{iii})\):
-
\(\Vert \chi _{B_t}\Vert _{\Phi , \lambda , B_r} = 1/ {\Phi ^{-1} \left( \frac{|B_r|^\lambda }{|B_r \cap B_t|}\right) }\) and \(\Vert \chi _{B_t}\Vert _{M^{\Phi , \lambda } (0)} = \dfrac{1}{\Phi ^{-1}(|B_t|^{\lambda - 1})}\) for any \(t > 0\).
- \((\mathrm{iv})\):
-
\(\Vert \chi _{B_t}\Vert _{\Phi , \lambda , B_r, \infty } = 1/ {\Phi ^{-1} \left( \frac{|B_r|^\lambda }{|B_r \cap B_t|}\right) }\) and \(\Vert \chi _{B_t}\Vert _{WM^{\Phi , \lambda } (0)} = \dfrac{1}{\Phi ^{-1}(|B_t|^{\lambda - 1})}\) for any \(t > 0\).
Proof
(i) This estimate was proved in [29, Lemma 2.6].
(ii) Since for \(u > 0\) we have \(\Phi ^{*} \left( \frac{u}{\Phi ^{-1}(u)} \right) \le u\) (cf. Lemma 2.6 in [29]) it follows for \(u = \frac{|B_r|^\lambda }{|B_r \cap B(x_0, r_0)|}\) that
Hence, \(\Vert \chi _{B(x_0, r_0)}\Vert _{\Phi ^{*}, \lambda , B_r} \le \Phi ^{-1} \left( \frac{|B_r|^\lambda }{|B_r \cap B(x_0, r_0)|} \right) \frac{|B_r \cap B(x_0, r_0)|}{|B_r|^\lambda }\), and (ii) follows.
(iii) Let \(t > 0\). Since \(\Phi (\Phi ^{-1} (u)) \le u\) for any \(u > 0\) it follows that
and so \(\Vert \chi _{B_t}\Vert _{\Phi , \lambda , B_r} \le 1/ {\Phi ^{-1} \left( \frac{|B_r|^\lambda }{|B_r \cap B_t|}\right) }\). On the other hand,
or
Since \(u \le \Phi ^{-1} (\Phi (u))\) for any \(u > 0\) such that \(\Phi (u) < \infty \) we obtain
which together with the previous estimate gives equality \(\Vert \chi _{B_t}\Vert _{\Phi , \lambda , B_r} = 1/ {\Phi ^{-1} \left( \frac{|B_r|^\lambda }{|B_r \cap B_t|}\right) }\). Thus,
and point (iii) of the lemma has been proved.
(iv) For \(t > 0\) we have
Thus,
because \(1/\varepsilon \le \Phi ^{-1}(\Phi (1/\varepsilon ))\). On the other hand, since \(1 \ge \Phi (\frac{1}{\Vert \chi _{B_t}\Vert _{\Phi , \lambda , B_r, \infty } }) \frac{|B_r \cap B_t|}{|B_r|^\lambda }\) it follows that
which together gives the first equality in (iv). The second equality in (iv) has the same proof as the second equality in (iii). \(\square \)
4 On the norm of the dilation operator in central Morrey–Orlicz spaces
For any \(a > 0\) and \(x\in {\mathbb {R}}^n\) we define the dilation operator \(D_a\) by
The dilation operator is bounded in central Morrey–Orlicz spaces \(M^{\Phi ,\lambda } (0)\) and we will calculate its norm. For this purpose quantity \(s_{\Phi ^{-1}} \) is needed for the Orlicz function \(\Phi \):
Theorem 1
If \(\Phi \) is an Orlicz function, \(0 \le \lambda \le 1\) and \(a > 0\), then the operator norm of \(D_a\) is
Proof
By definition of \(s_{\Phi ^{-1}}\), for any \(s> 0, a > 0\), we have
and so
For \(a^{n(\lambda - 1)}s = \Phi (u)\) we have \(u =\Phi ^{-1}\left( a^{n(\lambda -1)} s \right) \) and
Therefore, from (12) it follows that for any \(f \in {M^{\Phi ,\lambda }}(0)\) and \(r>0\),
which means that \(\Vert D_a f\Vert _{M^{\Phi ,\lambda }(0)} \le s_{\Phi ^{-1}} \left( a^{n(\lambda - 1)}\right) \Vert f\Vert _{M^{\Phi ,\lambda }(0)}\). Here, \(v_n = |B_1|\).
To show that (11) holds we consider the characteristic function \(\chi _{B_t}(x)\) of the ball \(B_t,~t>0.\) Note that \( D_a \chi _{B_t} (x) = \chi _{B_{t/a}}(x)\). Moreover, by Lemma 1(iii) we get
This brings us to (11). \(\square \)
5 The Riesz potential in central Morrey–Orlicz spaces—necessary conditions
We begin to study the boundedness of the Riesz potential, first finding the necessary conditions for its boundedness.
Theorem 2
Let \(0< \alpha < n, \Phi \), \(\Psi \) be Orlicz functions and \(0 \le \lambda , \mu < 1\).
- \((\mathrm{i})\):
-
If the Riesz potential \(I_{\alpha }\) is bounded from \(M^{\Phi , \lambda }(0)\) to \(M^{\Psi , \mu }(0)\), then there are positive constants \(C_1,C_2\) such that
- \((\mathrm{a})\):
-
\(u^{\frac{\alpha }{n}} \,\Phi ^{-1}(u^{\lambda -1}) \le C_1\, \Psi ^{-1}(u^{\mu -1})\,\,\text {for any}~ u > 0.\)
- \((\mathrm{b})\):
-
\(s_{\Psi ^{-1}}(u^{\mu -1}) \le C_2\, u^{\frac{\alpha }{n}} \, s_{\Phi ^{-1}}(u^{\lambda -1}) \,\,\text {for any}~ u > 0.\)
- \((\mathrm{ii})\):
-
If there exists a small constant \(c > 0\) such that \(c \le \frac{v_{n}^{\lambda /\mu } }{v_{n - 1}}\) with \(v_0 =1\) and
$$\begin{aligned} \liminf \limits _{t \rightarrow \infty } \frac{\Phi ^{-1}(c t^\lambda )}{\Psi ^{-1}(t^\mu )} = \infty , \end{aligned}$$then \(I_{\alpha }\) is not bounded from \(M^{\Phi , \lambda }(0)\) to \(M^{\Psi , \mu }(0)\).
Proof
(i) (a) Let \(t > 0\) and \(x \in B_t\). In this case we have
or
Then
and by the Lemma 1 (iii) we obtain
which means
Thus,
which by a simple change of variables can be rewritten as
where \(C_1 = 2^{n - \alpha } v_n^{\alpha /n - 1} C\).
(i) (b) First, note that we have identity
In fact,
Now, let \(f \in M^{\Phi , \lambda }(0)\). Using the above identity and applying Theorem 1 we obtain
Assumption of boundedness of \( I_\alpha \) and reuse of Theorem 1 gives
or
Thus,
We must have that \( \inf _{u> 0} \frac{u^{\alpha /n} s_{\Phi ^{-1}}(u^{\lambda - 1}) }{s_{\Psi ^{-1}}(u^{\mu - 1}) } = c > 0\) since otherwise \(I_\alpha f = 0\) and we get a contradiction. Therefore,
(ii) We follow the same argument as in [23, Proposition 1]. Let \(R \ge 1,~x_R = (R,0,...,0) \in {\mathbb {R}}^n\) and \(f_R(x) = \chi _{B(x_R,1)}(x).\) Then
because if \(0<r \le R-1\) then \(|B_r \cap B(x_R,1)| = 0\). Thus,
We will consider two cases: \(R-1< r < R\) and \(r \ge R.\) In the first case, using calculations from [6, p. 161], we can prove that for \(n \ge 2\)
and so
For \(n = 1\) and \(R - 1< r < R\) with \(v_0 = 1\) we have
In the second case, \(|B_r \cap B(x_R,1)| \le |B(x_R,1)| = v_n\) and
Thus,
Since \(\frac{v_{n-1}}{v_n} \ge \sqrt{\frac{n}{2 \pi }}\) with \(v_0 = 1\) (see [3, Theorem 2]), it follows that \(\frac{2^n \,v_{n-1}}{v_n} \ge 1\) and then \(\frac{v_n^\lambda }{2^n \, v_{n-1}} \le v_n^{\lambda - 1}\), which gives
Next, we will estimate \(I_\alpha f_R.\) If \(x,y \in B(x_R,1)\) then \(|x-y| \le 2\) and we obtain
Thus,
Since \(x \in B(x_R,1)\) and \(B_{R+1} \cap B(x_R,1) = B(x_R,1)\) it follows that
Making the substitution \(t^\mu = v_n^{\mu -1}2^{\mu n}R^{\mu n}\) we obtain
and
Thus, the operator \(I_\alpha \) is not bounded from \(M^{\Phi , \lambda }(0)\) to \(M^{\Psi , \mu }(0)\). \(\square \)
6 The Riesz potential in central Morrey–Orlicz spaces – sufficient conditions
We want to prove boundedness of the Riesz potential \(I_{\alpha }\) between two different central Morrey–Orlicz spaces. The following lemmas are important for proving the main result.
Lemma 2
Let \(0< \alpha <n, \Phi \) be an Orlicz function and \(0 \le \lambda < 1\). If \(f \in M^{\Phi ,\lambda }(0)\), then there exists a constant \(C_3 > 0\) such that
for all \(r > 0\).
Proof
We prove this lemma using the same arguments as in the proof of Theorem 7.1 in [35] and Lemma 2.5 in [29]. From the Lemma 1 (i) and (ii) it follows that
where \(C_3^{\prime } = 2^{n-\alpha +1} v_n^{1-\alpha /n}\) and \(C_3 = \frac{2^{\alpha }}{n \ln 2} C_3^{\prime } \). Thus, we arrive to the assertion of Lemma 2. \(\square \)
Next, we show the following well-definedness of \(I_{\alpha }f\) when \(f \in M^{\Phi , \lambda }(0)\).
Lemma 3
Let \(0< \alpha < n\), \(\Phi \) be an Orlicz function and \(0 \le \lambda <1\). If the integral \(\int _{|B_r|}^{\infty } t^{\alpha /n} \Phi ^{-1}(t^{\lambda - 1})\frac{dt}{t}\) is convergent for any \(r>0\) and \(f \in M^{\Phi , \lambda }(0)\) then the Riesz potential \(I_{\alpha }f\) is well-defined.
Proof
We will prove this lemma using the same arguments that were presented in the proof in [30, Theorem 2.1]. Let \(f \in M^{\Phi ,\lambda }(0)\), \(r > 0\) and \(x \in B_r\), and let
Since \(f\chi _{B_{2r}} \in L^1({{\mathbb {R}}^n})\), the first term is well-defined. Indeed, in view of [31, Theorem 1.1, Chapter 2] the requirement \(I_\alpha |f\chi _{B_{2r}}| \not \equiv \infty \) for any \(f \in M^{\Phi ,\lambda }(0)\) and \(r>0\) is equivalent to
The last inequality is true since \(\Vert (1+|y|)^{\alpha -n}\Vert _{\Phi ^*, \lambda , B_{2r}} \le \frac{(1+2r)^{\alpha -n}}{(\Phi ^*)^{-1}(|B_{2r}|^{\lambda -1})}\) and by Lemma 1 (i) we obtain
For the second term for any \(x \in B_r\) we have
Since the integral \(\int _{|B_r|}^{\infty } t^{\alpha /n} \Phi ^{-1}(t^{\lambda - 1})\frac{dt}{t}\) is convergent for any \(r>0\) and \(f \in M^{\Phi , \lambda }(0)\) it follows from Lemma 2 that \(I_{\alpha }(f(1-\chi _{B_{2r}}))(x)\) is well-defined for all \(x \in B_r.\)
Further, since for \(0< s < r\),
it follows that for \(x \in B_s \subset B_r\),
This shows that \(I_{\alpha }f\) is independent of \(B_r\) containing x. Thus, \(I_{\alpha }f\) is well-defined on \({{\mathbb {R}}^n}\). \(\square \)
Now we will present sufficient conditions on spaces so that the operator \(I_\alpha \) is bounded between distinct central Morrey–Orlicz spaces. In the proofs of these estimates we will use estimates from [28] for the Hardy–Littlewood maximal operator. The Hardy–Littlewood maximal operator M is defined for \(f \in L^1_{loc} ({{\mathbb {R}}^n})\) and \(x {\in {\mathbb {R}}^n}\) by
Then, for an Orlicz function \(\Phi \) and \(0 \le \lambda \le 1\), this operator M is bounded on \(M^{\Phi , \lambda }(0)\), provided \({\Phi }^* \in {\Delta }_2\), that is, there exists a constant \(C_0>1\) such that
(see [28, Theorem 6(i)]). Moreover, M is bounded from \(M^{\Phi , \lambda }(0)\) to \(WM^{\Phi , \lambda }(0)\), that is, there exists a constant \(c_0>1\) such that \(\Vert Mf\Vert _{WM^{\Phi , \lambda }(0)} \le c_0 \, \Vert f\Vert _{M^{\Phi , \lambda }(0)}\) for all \(f \in M^{\Phi , \lambda }(0)\) (see [28, Theorem 6(ii)]).
Theorem 3
Let \(0< \alpha <n, \Phi , \Psi \) be Orlicz functions and either \(0< \lambda , \mu < 1, \lambda \ne \mu \) or \(\lambda = \mu = 0\). Assume that there exist constants \(C_4, C_5 \ge 1\) such that
and
- \((\mathrm{i})\):
-
If \({\Phi }^* \in {\Delta }_2\), then \(I_{\alpha }\) is bounded from \(M^{\Phi , \lambda }(0)\) to \(M^{\Psi , \mu }(0)\), that is, there exists a constant \(C_6 \ge 1\) such that \(\Vert I_{\alpha } f\Vert _{M^{\Psi , \mu }(0)} \le C_6 \, \Vert f\Vert _{M^{\Phi , \lambda }(0)}\) for all \(f \in M^{\Phi , \lambda }(0)\).
- \((\mathrm{ii})\):
-
The operator \(I_{\alpha }\) is bounded from \(M^{\Phi , \lambda }(0)\) to \(WM^{\Psi , \mu }(0)\), that is, there exists a constant \(c_6 \ge 1\) such that \(\Vert I_{\alpha } f\Vert _{WM^{\Psi , \mu }(0)} \le c_6\, \Vert f\Vert _{M^{\Phi , \lambda }(0)}\) for all \(f \in M^{\Phi , \lambda }(0)\).
Remark 1
The same conclusions hold for non-homogeneous versions of \(M^{\Phi , \lambda }(0)\) and \(M^{\Psi , \mu }(0)\).
Remark 2
From the estimate (15) we get the inequality (a) in Theorem 2(i). Namely, using the concavity of the function \(\Phi ^{-1}\) we get
Remark 3
Note that if either \(\lambda = \mu > 0\) or \(\lambda = 0\) and \(\mu > 0\), then estimate (16) doesn’t hold.
Remark 4
If \(\lambda = \mu = 0\), then inequalities (15) and (16) are the same. Moreover, condition (15) in this case is a sufficient condition for boundedness of \(I_{\alpha }\) from Orlicz space \(L^{\Phi }({{\mathbb {R}}^n})\) to weak Orlicz space \(WL^{\Psi }({{\mathbb {R}}^n})\), and if additionally \(\Phi ^* \in \Delta _2\) then \(I_{\alpha }\) is bounded from Orlicz space \(L^{\Phi }({{\mathbb {R}}^n})\) to Orlicz space \(L^{\Psi }({{\mathbb {R}}^n})\) (proof we can find, for example, in [20, Theorem 3.3]).
In the proof of Theorem 3 the following lemma plays a crucial role.
Lemma 4
Let \(0<\alpha <n, \Phi , \Psi \) be Orlicz functions, \(\Phi ^* \in \Delta _2\) and either \(0< \lambda , \mu <1, \lambda \ne \mu \) or \(\lambda = \mu = 0\). If the estimate (16) holds, then there exists a constant \(C_7 \ge 1\) such that
Proof
Let \(f \in M^{\Phi ,\lambda }(0)\). We write \(I_\alpha (f \chi _{B_{2r}})\) as follows
where \(\delta >0\) will be defined later on. It is known that
where \(C_8 = \frac{2^\alpha }{2^\alpha - 1} \, C_3^{\prime }\). Note that for any parameters \(u > 0\) and \(r>0\) we have
Thus, applying (16) we obtain
Following Hedberg’s method we get for \(J_2f(x)\)
From Lemma 1 (i) and (ii) it follows that
Taking into account that \(u\Phi ^{-1}(1/u)\) is increasing and \(|B_{2r} \cap B(x,2^k \delta )| \le |B(x,2^k \delta )|\) we obtain
Now we choose \(\delta >0\) such that
where the constant \(C_0\) is from (14). Then
and
Thus, with \(C_{9} = 2\, C_5 \max \left( \frac{2}{\ln 2} C_0 C_8,\, C_3\right) \) we obtain
Then
Finally, with \(C_7 = 2^{n(\mu -\lambda )} C_{9}\) we get
and we arrive to the statement of this lemma. \(\square \)
Proof of Theorem 3
(i) Let \(0< \alpha <n\) and \(0< \lambda< 1, 0< \mu <1\). Let also \(f \in M^{\Phi ,\lambda }(0)\) and \(r >0.\) Since \(I_{\alpha }f\) is well-defined by Lemma 3, we prove only that
Now, by (13), for \(C_6 =2 \,\max (C_7,\, 2^{n-\alpha }C_3\,C_4)\), it follows that
From Lemma 4 we get that \(I_1 \le |B_r|^\mu \) for all \(r >0\) .
Next, we estimate \(I_2\). Since for \(x \in B_r\) and \(|y| \ge 2 r\) we have \(|x| < r \le \frac{|y|}{2}\) and \(| x - y| \ge |y| - |x| > \frac{|y|}{2}\), it follows that
By Lemma 2 and the estimate (15) we obtain
Thus, for \(x \in B_r\)
Hence,
and so
(ii) Similarly to the previous case, by (13), we obtain for \(u > 0\)
with \(c_6 = 2 \,\max (c_7,\, 2^{n-\alpha +1}\,C_3\, C_4), c_7 = 2^{n(\mu -\lambda )+1} c_9\) and \(c_9 = 2\, C_5 \max \big (\frac{2}{\ln 2} c_0 C_8, C_3 \big )\).
Since \(\Psi (u) \, d(g, u) = v \, d(g, \Psi ^{-1}(v)) = v \, d(\Psi (g), v)\) for any \(u > 0\) with \(v = \Psi (u)\) and
it follows that
From the proof of Lemma 4 for all \(r >0\)
and
For \(I_4\), using Lemma 2 we obtain
and
Thus,
and \(\Vert I_{\alpha }f\Vert _{WM^{\Psi ,\mu }(0)} \le c_{6} \, \Vert f\Vert _{M^{\Phi ,\lambda }(0)}.\) \(\square \)
Example 1
Let \(0<\alpha<n, 1< p< \frac{n(1-\lambda )}{\alpha }, 0 \le \lambda < 1,\) and
Then \({\Phi }^*(u) = (p - 1) \, p^{- p^{\prime }} u^{p^{\prime }}\), where \(1/p + 1/p^{\prime } = 1\) and \({\Phi }^*(2u) = 2^{p^{\prime }} {\Phi }^*(u)\), that is, \({\Phi }^* \in {\Delta }_2\). The estimate (15) holds since
for all \(u > 0\), where the last integral is convergent because \( p < \frac{n(1-\lambda )}{\alpha }\). If \( \frac{1}{q} = \frac{1}{p} - \frac{\alpha }{n}\) and \(\frac{\lambda }{p} = \frac{\mu }{q}\), then \(\frac{\alpha }{n} + \frac{\lambda - 1}{p} = \frac{\lambda }{p} - (\frac{1}{p} - \frac{\alpha }{n}) = \frac{\mu }{q} - \frac{1}{q}\) and
that is, the estimate (15) holds. Also estimate (16) holds since for all \(u, r > 0\)
From the Theorem 3 we get the Spanne–Peetre type result proved in [12, Proposition 1.1], that is, the Riesz potential \(I_\alpha \) is bounded from \(M^{p,\lambda }(0)\) to \(M^{q,\mu }(0)\) under the conditions \(1< p< \frac{n(1-\lambda )}{\alpha }, 0 \le \lambda < 1, \frac{1}{q} = \frac{1}{p} - \frac{\alpha }{n}\) and \(\frac{\lambda }{p} = \frac{\mu }{q}\).
Remark 5
It is easy to see that for \(0 \le \lambda < 1\) if \(\Phi _1, \Phi _2\) are two Orlicz functions and there exists a constant \(k > 0\) such that \(\Phi _2(u) \le \Phi _1(k u)\) for all \(u > 0\), then \(\Vert f\Vert _{\Phi _2, \lambda ,A } \le k \, \Vert f\Vert _{\Phi _1, \lambda ,A } \) provided the right side is finite. Furthemore, \( M^{\Phi _1, \lambda }({{\mathbb {R}}^n}) \overset{k}{\hookrightarrow } M^{\Phi _2, \lambda }({{\mathbb {R}}^n})\) and \(M^{\Phi _1, \lambda }(0) \overset{k}{\hookrightarrow } M^{\Phi _2, \lambda }(0)\). Hence it follows that if two Orlicz functions \(\Phi _1, \Phi _2\) are equivalent, i.e. there exist positive constants \(k_1,k_2\) such that \(\Phi _1(k_1 u) \le \Phi _2(u) \le \Phi _1(k_2 u)\) for all \(u > 0\), then \( M^{\Phi _1, \lambda }({{\mathbb {R}}^n}) = M^{\Phi _2, \lambda }({{\mathbb {R}}^n})\) and \(M^{\Phi _1, \lambda }(0) = M^{\Phi _2, \lambda }(0)\) with equivalent norms.
Example 2
Let \(0< \alpha< n, 0 \le \lambda< 1, 1< p < \frac{n(1-\lambda )}{\alpha }, a > 0\) and
If \(\frac{1}{q} = \frac{1}{p} - \frac{\alpha }{n}, \frac{\lambda }{p} = \frac{\mu }{q}\), then condition (15) is satisfied. Really, for \(u \ge 1\) we have equality as in the Example 1. If \(0< u < 1\), then using the fact that function \( \left( 1 + \ln t^{\lambda - 1} \right) ^{-a} \) is strictly increasing of variable t on (0, 1], we get \( \left( 1 + \ln t^{\lambda - 1} \right) ^{-a} \le 1\) for \(0 < t \le 1\) and so
that is, the estimate (15) holds. Next, we consider condition (16). If \(u \ge r^{\lambda }\), then
Let now \(0< u < r^{\lambda }\). Then, \((1 + \ln \frac{r^{\lambda }}{t})^{-a} \le 1\) as an increasing function of t on \((0, r^{\lambda }]\) and since \(u < t \le r^{\lambda }\), we have
that is, the estimate (16) holds. The function \(\Phi ^{-1}\) is increasing, unbounded, obviously concave on (0, 1) and concave for large u. Therefore, there exists a concave function on \((0, \infty )\) which is equivalent to \(\Phi ^{-1}\) and so \(\Phi \) is equivalent to an Orlicz function. Also we have equivalence
Moreover, since
it follows that the Matuszewska–Orlicz index \(\beta _{\Phi ^{- 1}} = \frac{1}{p}\) and so \(1 = \frac{1}{\beta _{\Phi ^*}} + \frac{1}{\alpha _{\Phi }} = \frac{1}{\beta _{\Phi ^*}} +\beta _{\Phi ^{- 1}} = \frac{1}{\beta _{\Phi ^*}} + \frac{1}{p}\) or \(\beta _{\Phi ^*} = \frac{p}{p - 1} < \infty \), which means that \(\Phi ^* \in \Delta _2\) (for definitions and properties of indices – see [26, pp. 87–89]). Thus, by Remark 5, the space \(M^{\Phi , \lambda }(0)\) is a Banach space and by Theorem 3 the Riesz potential \(I_\alpha \) is bounded from \(M^{\Phi ,\lambda }(0)\) to \(M^{\Psi ,\mu }(0) = M^{q, \mu }(0)\).
Example 3
Let \(0< \alpha< n, 0 \le \lambda< 1, 1< p < \frac{n(1-\lambda )}{\alpha }, 0 \le b \le a\) and
If \(\frac{1}{q} = \frac{1}{p} - \frac{\alpha }{n}, \frac{\lambda }{p} = \frac{\mu }{q}\), then conditions (a), (b) of Theorem 2(i) and (15), (16) are satisfied. The calculations are similar to those in Example 2 so we will omit them here. Observe only that
Then, the functions \(\Phi ^{-1}, \Psi ^{-1}\) are increasing, unbounded and concave near 0 and for large u, and so the inverses \(\Phi , \Psi \) are equivalent to Orlicz functions. Thus, by Remark 5, the spaces \(M^{\Phi , \lambda }(0), M^{\Psi , \mu }(0)\) are Banach spaces and by Theorem 3 the Riesz potential \(I_\alpha \) is bounded from \(M^{\Phi ,\lambda }(0)\) to \(M^{\Psi ,\mu }(0)\).
References
Adams, D.R.: A note on Riesz potentials. Duke Math. J. 42(4), 765–778 (1975)
Alvarez, J., Guzmán-Partida, M., Lakey, J.: Spaces of bounded \(\lambda \)-central mean oscillation, Morrey spaces, and \(\lambda \)-central Carleson measures. Collect. Math. 51(1), 1–47 (2000)
Alzer, H.: Inequalities for the volume of the unit ball in \({\mathbb{R}}^n\). J. Math. Anal. Appl. 252(1), 353–363 (2000)
Burenkov, V.I.: Recent progress in studying the boundedness of classical operators of real analysis in general Morrey-type spaces. I. Eurasian Math. J. 3(3), 11–32 (2012)
Burenkov, V.I., Gogatishvili, A., Guliyev, V.S., Mustafayev, R.Ch.: Boundedness of the Riesz potential in local Morrey-type spaces. Potential Anal. 35(1), 67–87 (2011)
Burenkov, V.I., Guliyev, H.V.: Necessary and sufficient conditions for boundedness of the maximal operator in local Morrey-type spaces. Studia Math. 163(2), 157–176 (2004)
Burenkov, V.I., Jain, P., Tararykova, T.V.: On boundedness of the Hardy operator in Morrey-type spaces. Eurasian Math. J. 2(1), 52–80 (2011)
Chen, Y., Lau, K.: Some new classes of Hardy spaces. J. Funct. Anal. 84(2), 255–278 (1989)
Chiarenza, F., Frasca, M.: Morrey spaces and Hardy-Littlewood maximal function. Rend. Math. Appl. 7(7), 273–279 (1987)
Cianchi, A.: Strong and weak type inequalities for some classical operators in Orlicz spaces. J. London Math. Soc. (2) 60(1), 187–202 (1999)
Deringoz, F., Guliyev, V.S., Nakai, E., Sawano, Y., Shi, M.: Generalized fractional maximal and integral operators on Orlicz and generalized Orlicz-Morrey spaces of the third kind. Positivity 23(3), 727–757 (2019)
Fu, Z.W., Lin, Y., Lu, S.: \(\lambda \)-central BMO estimates for commutators of singular integral operators with rough kernels. Acta Math. Sin. (Engl. Ser.) 24(3), 373–386 (2008)
García-Cuerva, J.: Hardy spaces and Beurling algebras. J. London Math. Soc. (2) 39(3), 499–513 (1989)
García-Cuerva, J., Herrero, M.J.L.: A theory of Hardy spaces assosiated to the Herz spaces. Proc. London Math. Soc. (3) 69(3), 605–628 (1994)
Garling, D.J.H.: Inequalities. A Journey into Linear Analysis. Cambridge University Press, Cambridge (2007)
Grafakos, L.: Modern Fourier Analysis, 2nd edn. Springer, New York (2009)
Guliyev, V. S.: Integral Operators on Function Spaces on the Homogeneous Groups and on Domains in \({\mathbb{R}}^n\). Doctoral Dissertation, Mat. Inst. Steklov, Moscow, 329 pp. (in Russian) (1994)
Guliyev, V. S.: Function Spaces, Integral Operators and Two Weighted Inequalities on Homogeneous Groups. Some Applications. Casioglu, Baku, 332 pp. (in Russian) (1999)
Guliyev, V. S., Deringoz, F.: On the Riesz potential and its commutators on generalized Orlicz–Morrey spaces. J. Funct. Spaces, Article ID 617414, 11 pp (2014)
Guliyev, V. S., Deringoz, F., Hasanov, S.: Riesz potential and its commutators on Orlicz spaces. J. Inequal. Appl., Paper No. 75, 18 pp (2017)
Gunawan, H., Hakim, D.I., Idris, M.: Proper inclusions of Morrey spaces. Glas. Mat. Ser. III 53(73), 143–151 (2018)
Guzmán-Partida, M.: A note on some operators acting on central Morrey spaces. Mat. Vesnik 70(2), 155–160 (2018)
Komori-Furuya, Y., Sato, E.: Fractional integral operators on central Morrey spaces. Math. Inequal. Appl. 20(3), 801–813 (2017)
Krasnoselskii, M. A., Rutickii, Ja. B.: Convex Functions and Orlicz Spaces. Noordhoff, Groningen (1961)
Kufner, A., John, O., Fucik, S.: Function Spaces, Noordhoff International Publishing. Leyden; Academia, Prague (1977)
Maligranda, L.: Orlicz Spaces and Interpolation. Seminars in Math. 5, Universidade Estadual de Campinas, Campinas (1989)
Maligranda, L.: Hidegoro Nakano (1909-1974) – on the centenary of his birth, in: “Banach and Function Spaces III” (ISBFS 2009, Kitakyushu, Sept. 14–17, 2009), Yokohama Publ., Yokohama 2011, 99–171
Maligranda, L., Matsuoka, K.: Maximal function in Beurling-Orlicz and central Morrey-Orlicz spaces. Colloq. Math. 138(2), 165–181 (2015)
Maligranda, L., Matsuoka, K.: Calderón-Zygmund singular integrals in central Morrey-Orlicz spaces. Tohoku Math. J. (2) 72(2), 235–259 (2020)
Matsuoka, K., Nakai, E.: Fractional integral operators on \(B^{p,\lambda }\) with Morrey–Campanato norms. in: “Function Spaces IX” (Krakow, July 6–11, 2009), Banach Center Publ. 92, 249–264 (2011)
Mizuta, Y.: Potential Theory in Euclidean Spaces. Gakkōtosho, Tokyo (1996)
Nakai, E.: On generalized fractional integrals. Taiwanese J. Math. 5(3), 587–602 (2001)
Nakai, E.: On generalized fractional integrals in the Orlicz spaces on spaces of homogeneous type. Sci. Math. Jpn. 54(3), 473–487 (2001)
Nakai, E.: Generalized fractional integrals on Orlicz–Morrey spaces. in: “Banach and Function Spaces” (ISBFS 2003, Kitakyushu, October 2–4, 2003), Yokohama Publ., Yokohama, 323–333 (2004)
Nakai, E.: Orlicz-Morrey spaces and the Hardy-Littlewood maximal function. Studia Math. 188(3), 193–221 (2008)
Peetre, J.: On the theory of \({\cal{L}}_{p,\lambda }\) spaces. J. Funct. Anal. 4, 71–87 (1969)
Rafeiro, H., Samko, S.: Coincidence of variable exponent Herz spaces with variable exponent Morrey type spaces and boundedness of sublinear operators in these spaces. Potential Anal. 56(3), 437–457 (2022)
Rao, M.M., Ren, Z.D.: Theory of Orlicz Spaces. Marcel Dekker, New York (1991)
Sawano, Y., Sugano, S., Tanaka, H.: Orlicz-Morrey spaces and fractional operators. Potential Anal. 36(4), 517–556 (2012)
Stein, E.M.: Singular Integrals and Differentiability Properties of Functions. Princeton University Press, Princeton, NJ (1970)
Torchinsky, A.: Real-Variable Methods in Harmonic Analysis. Academic Press, Orlando (1986)
Ziemer, W.P.: Weakly Differentiable Functions. Springer-Verlag, New York (1989)
Acknowledgements
The third author is partially supported by Grant-in-Aid for Scientific Research (C), No. 17K05306, No. 20K03663, Japan Society for the Promotion of Science.
Funding
Open access funding provided by Luleå University of Technology.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Burtseva, E., Maligranda, L. & Matsuoka, K. Boundedness of the Riesz potential in central Morrey–Orlicz spaces. Positivity 26, 22 (2022). https://doi.org/10.1007/s11117-022-00879-0
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s11117-022-00879-0
Keywords
- Riesz potential
- Orlicz functions
- Orlicz spaces
- Morrey–Orlicz spaces
- Central Morrey–Orlicz spaces
- Weak central Morrey–Orlicz spaces