Abstract
We study a characterization of the precompactness of sets in variable exponent Morrey spaces on bounded metric measure spaces. Totally bounded sets are characterized from several points of view for the case of variable exponent Morrey spaces over metric measure spaces. This characterization is new in the case of constant exponents.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In the present article, we investigate relatively compact sets in variable exponent Morrey spaces. In classical \(L^p\)-spaces, the celebrated Riesz–Kolmogorov theorem nicely characterizes the relatively compact sets [22, 30]. The aim of the paper is to characterize precompact sets in variable exponent Morrey spaces on an arbitrary doubling metric measure space. Our characterization is new even in the constant exponent case. Let us mention some generalizations of the Riesz–Kolmogorov theorem. Rafeiro characterized precompact sets in variable exponent Lebesgue spaces on Euclidean spaces [29]. For example, we refer to [3, 10, 11] for the characterization of precompact sets in variable exponent Lebesgue spaces on an arbitrary doubling metric measure space. Recently, the precompactness in quasi-Banach function spaces was studied in [6, 12, 13] (see [4, 14] as well).
The study of variable exponent function spaces is now an extensively developed field due to the advent of two books [7, 8]. Function spaces with variable exponents are a very active area of research and this theory finds many applications, e.g., in nonlinear elastic mechanics [36], electrorheological fluids [31], image restoration [24], and in differential equations with non-standard growth. During the last decade, Lebesgue and Sobolev spaces with variable exponent have been intensively studied; see, for instance, the following survey papers [9, 32]. On the other hand, there are also various advances in the study of variable exponent Morrey function spaces [2, 15, 16, 25]. Those types of spaces have emerged very recently (we refer the reader to [26, 28] to see the classical setting). However, despite the significant progress in the theory of variable Lebesgue spaces, the study of variable exponent Morrey function spaces has a lot to be desired.
The present paper is structured as follows. In Sect. 2, we introduce the variable exponent Morrey norms and corresponding function spaces. We also recall standard results from the theory of variable exponent spaces including some facts on metric measure spaces. A characterization of relatively compact sets in variable exponent Morrey spaces over metric measure spaces is proved in Sect. 4. In the last section, we present some examples, remarks, and an open problem.
2 Preliminaries
2.1 Variable Exponent Lebesgue and Morrey spaces
We begin with the some definitions and some elementary facts. Let \((\Omega , \mu )\) be a \(\sigma \)-finite measure space. By a variable exponent, we mean a bounded \(\mu \)-measurable function \(p(\cdot ): \Omega \rightarrow (0, \infty ).\) We denote the set of variable exponents on \(\Omega \) by \({\mathcal P}(\Omega ,\mu ).\) For a measurable subset U of \(\Omega ,\) we put
If \(U =\Omega ,\) we will abbreviate \(p_\pm (U)\) to \(p_\pm .\) In the present paper, we assume that the variable exponent function \(p(\cdot )\) satisfies \(0< p_{-}\le p_+ < \infty \).
The variable exponent Lebesgue space \(L^{p(\cdot )}(\Omega )\) consists of all \(\mu \)-measurable functions \(f:\Omega \rightarrow \mathbb R\) for which the modular
is finite. The space \(L^{p(\cdot )}(\Omega )\) is a quasi-Banach space under the functional
for \(f\in L^{p(\cdot )}(\Omega )\). If the variable exponent \(p(\cdot )\) is constant p, then \(L^{p(\cdot )}(\Omega )\) is nothing but the classical Lebesgue space \(L^{p}(\Omega )\). A fundamental observation made by Orlicz [27] is that the functional \(\Vert \cdot \Vert _{L^{p(\cdot )}(\Omega )}\) given by (2.1) defines a norm in \(L^{p(\cdot )}(\Omega )\) as long as \(p_- \ge 1\). In particular, if \(p_- \ge 1\), then \(L^{p(\cdot )}(\Omega )\) is a Banach function spaces; see [7, 8, 21]. Variable Lebesgue space are realized as a special case of Musielak–Orlicz spaces.
In general, there are no functional relationships between the norm and the modular, but we have the following useful result:
Lemma 2.1
[7, 8, 21] Suppose that \(p(\cdot ) \in {\mathcal P}(\Omega ,\mu )\) satisfies \(0< p_{-}\le p_+ < \infty \), and let \(f\in L^{p(\cdot )}(\Omega ,\mu ).\) Then
As the following lemma shows (see [3] for example), \(L^{p(\cdot )}(\Omega )\) is a quasi-normed space.
Lemma 2.2
Suppose that \(p(\cdot ) \in {\mathcal P}(\Omega ,\mu )\) satisfies \(0< p_{-}\le p_+ < \infty \). Then
for all \(f,g\in L^{p(\cdot )}(\Omega )\). In particular
We need the following lemma on the generalized Hölder inequality in variable exponent Lebesgue spaces.
Lemma 2.3
[19]. Let \(\Omega \) be a measurable subset of X. Suppose that we have \(p(\cdot ), q(\cdot ), s(\cdot )\in {\mathcal P}(\Omega ,\mu )\) be such that
for almost every \(x\in \Omega .\) Then
holds for all \(f\in L^{p(\cdot )}(\Omega )\) and \(g\in L^{q(\cdot )}(\Omega )\).
Here and below, we work in a metric measure space \((X, \rho , \mu )\) equipped with a metric \(\rho \) and the Borel regular measure \(\mu \). Let \(\lambda (\cdot ):X \rightarrow [0,1]\) be a measurable function. The variable Morrey space \(L^{p(\cdot ), \lambda (\cdot )}(X)\) is introduced via the quasi-norm
This is quasi-Banach spaces with respect to the quasi-norm (2.2) (see [2, 17, 18]).
Remark 2.4
-
1.
The above definition naturally extends the classical one. Note that if \(\lambda (\cdot ):= 0,\) then \(L^{p(\cdot ), \lambda (\cdot )}(X)\) coincides with the variable Lebesgue space \(L^{p(\cdot )}(X).\) Meanwhile, if \(\lambda (\cdot )\) and \(p(\cdot )\) are constant exponents \(\lambda \) and p, respectively, then the variable Morrey space \(L^{p(\cdot ), \lambda (\cdot )}(X)\) coincides with the classical Morrey space \(L^{p,\lambda }(X)\) [28].
-
2.
As is seen from the definition of \(L^{p(\cdot ), \lambda (\cdot )}(X)\), this function space depends on \(p(\cdot )\) and \(\lambda (\cdot )/p(\cdot )\). The function \(p(\cdot )\) itself can be considered modulo the sets of \(\mu \)-measure zero. However, one can not do so for \(\lambda (\cdot )/p(\cdot )\). A prominent example reflecting this fact is the following example: Let \((X,\rho ,\mu )\) be a the unit ball in \({\mathbb R}^d\) with the Lebesgue measure, and let \(p(\cdot ) := 2\) and \(\lambda (\cdot )=\dfrac{1}{3}+\dfrac{1}{3}\chi _{X \cap {\mathbb Q}^d}\). Then, \(L^{p(\cdot ), \lambda (\cdot )}(X)\) coincides with \(L^{2, \frac{1}{3}}(X)\cap L^{2, \frac{2}{3}}(X)\).
We carry over Lemma 2.1 to variable exponent Morrey spaces.
Lemma 2.5
Let \(p(\cdot ) \in {\mathcal P}(X,\mu )\) satisfy \(0< p_{-}\le p_+ < \infty \), and let \(\lambda (\cdot ):X \rightarrow [0,1]\) be an exponent. Then, for \(f\in L^{p(\cdot ), \lambda (\cdot )}(X)\)
Proof
Let \(\Omega = X\) in Lemma 2.1. By substituting \(f\chi _{{B(x, t)}}\) into f, we have
If we insert this estimate into the definition of \(\Vert f\Vert _{L^{p(\cdot ), \lambda (\cdot )}(X)}\), we obtain the desired result.
\(\square \)
We transform Lemma 2.2 to the one in variable exponent Morrey spaces.
Lemma 2.6
Let \(p(\cdot )\) and \(\lambda (\cdot )\) be non-negative variable exponents, such that \(0< p_{-}\le p_+ < \infty \) and that \(\sup \nolimits _{x \in X}\lambda (x) \le 1\), and let \(f, g\in L^{p(\cdot ), \lambda (\cdot )}(\Omega ).\) Then
In particular, \( \Vert f+g\Vert _{L^{p(\cdot ), \lambda (\cdot )}(\Omega )}\le 2^{\frac{p_++1}{p_{-}}} \left( \Vert f\Vert _{L^{p(\cdot ), \lambda (\cdot )}(\Omega )}+ \Vert g\Vert _{L^{p(\cdot ), \lambda (\cdot )}(\Omega )}\right) \).
The following two lemmata will be important in variable exponent Morrey spaces.
Lemma 2.7
Let \((X, \rho , \mu )\) be a metric measure space with finite measure, and let \(p(\cdot )\) and \(\lambda (\cdot )\) be non-negative variable exponents. Then
More precisely, for all \(f \in L^{p(\cdot )}(X)\)
where \(a:=\sup \nolimits _{x \in X}\frac{\lambda (x)}{p(x)}\) and \(b:=\inf \limits _{x \in X}\frac{\lambda (x)}{p(x)}\).
Proof
We have only to prove (2.3); the embedding is its direct consequence. We calculate
as required.
\(\square \)
Under an additional conditions \( \mathop {\sup }\nolimits _{{x \in X}} \frac{{\lambda (x)}}{{p(x)}} \le \frac{1}{{p_{ + } }} \) and \(\mu (X)<\infty \), we can control \(\Vert 1\Vert _{L^{p(\cdot ), \lambda (\cdot )}(X)}.\)
Lemma 2.8
Let \((X, \rho , \mu )\) be a metric measure space with finite measure, and let \(p(\cdot )\) and \(\lambda (\cdot )\) be non-negative variable exponents. Assume \(0< p_{-}\le p_+ < \infty \) and \(\mathop {\sup \nolimits _{x \in X}}\frac{\lambda (x)}{p(x)} \le \frac{1}{p_+}.\) Then
More generally, for any measurable set F
Proof
Thanks to Lemma 2.1, we obtain
Recall that \(\mathop {\sup \nolimits _{x \in X}}\frac{\lambda (x)}{p(x)} \le \frac{1}{p_+}\) by assumption and hence \(\displaystyle {\frac{1}{p_{\pm }}- \frac{\lambda (x)}{p(x)}}\ge 0\) for all \(x \in X\). Thus
It remains to use \(\mathop {\sup \nolimits _{x\in X}} \;\mu (F)^{-\frac{\lambda (x)}{p(x)}} = \max \left\{ \mu (F)^{-\sup \limits _{x \in X}\frac{\lambda (x)}{p(x)}}, \mu (F)^{-\inf \limits _{x \in X}\frac{\lambda (x)}{p(x)}} \right\} . \)
\(\square \)
Remark 2.9
Let \((X, \rho , \mu )\) be a metric measure space with finite measure, and let \(p(\cdot )\) and \(\lambda (\cdot )\) be non-negative variable exponents. Assume \(0< p_{-}\le p_+ < \infty \) and \(\mathop {\sup \nolimits _{x \in X}}\frac{\lambda (x)}{p(x)} < \frac{1}{p_+}.\) Then, the constant function 1 belongs to \(L^{p(\cdot ),\lambda (\cdot )}(X)\). Moreover, for any \(\varepsilon \) there exists \(\delta >0\), such that \(\Vert \chi _E\Vert _{L^{p(\cdot ),\lambda (\cdot )}(X)} <\varepsilon \) for any measurable set E satisfying \(\mu (E)<\delta \).
2.2 Log-Hölder Continuity of Functions
Let \((X, \rho )\) be a metric space, and let \(\Omega \) be a measurable subset of X. We say that a function \(p(\cdot ) : \Omega \rightarrow \mathbb R\) is locally log-Hölder-continuous on \(\Omega ,\) if there exists \(C_1>0\), such that for all \(x, y\in \Omega \)
In addition, we say that the exponent \(p(\cdot )\) satisfies the log-Hölder decay condition at infinity with a fixed point \(x_0\in X,\) if there exist \(p_\infty ,C_2>0\), such that for all \(x\in \Omega \)
We also say that \(p(\cdot )\) is globally log-Hölder-continuous on \(\Omega \) if it is locally log-Hölder-continuous on and satisfies the log-Hölder decay condition at infinity. Then, the constant
is called the log-Hölder constant for the exponent \(p(\cdot )\). We also define the set of log-Hölder-continuous exponents by
2.3 Metric Measure Spaces
Let \((X, \rho , \mu )\) be a metric measure space equipped with a metric \(\rho \) and the Borel regular measure \(\mu \). We assume throughout the paper that the measure of every open nonempty set is positive and that the measure of every bounded set is finite. Additionally, we assume that the measure \(\mu \) satisfies a doubling condition. It means that there exists a constant \(C_{\mu }>0\), such that for every ball B(x, r)
It is well known (see [20] for example) that the doubling condition implies that there exists a positive constant D satisfying
where \(s := \log _2 C_{\mu }\) for all balls \(B\left( x_2, r_2\right) \) and \(B\left( x_1, r_1\right) ,\) with \(r_2\ge r_1 > 0\) and \(x_1\in B\left( x_2, r_2\right) \). It follows from the above inequality that if we fix a ball \(B\left( x_0, R\right) ,\) then there exists \(b > 0\), such that the following lower Ahlfors condition holds for \(x\in B\left( x_0, R\right) \) and for \(r\le R\):
In particular, if X is bounded, then there exists \(b > 0\), such that the following inequality holds for \(r <\mathrm{diam}(X)\) and \(x \in X\)
Furthermore, we define \((f)_A\) the integral average of the \(\mu \)-measurable function f over the measurable set A; that is
2.4 Space of Measurable Functions \(L^{0}(X)\)
Let \((X, \mu )\) be a finite measure space.Footnote 1 Then, by \(L^{0}(X)\), we denote the space of measurable functions on X. This space is a complete metric space with respect to the metric
where
It is well known that the convergence in this metric is equivalent to the convergence in measure. Using the idea employed in [23], one can show the following theorem.
Theorem 2.10
Let \((X, \rho , \mu )\) be a totally bounded metric measure space. Any almost uniformly bounded and almost equicontinuous subset of \(L^{0}(X, \mu )\) is totally bounded. That is, a subset \({\mathcal F}\) of \(L^{0}(X, \mu )\) is totally bounded if for any \(\varepsilon > 0\) and any function \(f\in \mathcal F\), there exists measurable subset \(E(f)\subset X\) and constants \(\delta > 0\) and \(\Lambda > 0\) independent of f with the following properties:
-
(1)
\(\mu (E(f))< \varepsilon ;\)
-
(2)
\(|f(x)- f(y)|< \varepsilon \) for any \(x, y\in X{\setminus } E(f)\) satisfying \(\rho (x, y)< \delta ;\)
-
(3)
\(|f(x)|\le \Lambda \) for \(x\in X{\setminus } E(f).\)
3 Totally Bounded Sets in \(L^{p(\cdot ), \lambda (\cdot )}(X)\)
We go back to a measure space \((X, \rho , \mu )\). In this section, we study totally bounded sets in \(L^{p(\cdot ), \lambda (\cdot )}(X)\), where \((X, \rho , \mu )\) is a doubling metric space. We start with the following version of the Lebesgue–Vitali compactness-type theorem in \(L^{p(\cdot ), \lambda (\cdot )}(X)\) over finite metric measure spaces.
Theorem 3.1
Let \((X, \rho , \mu )\) be a metric measure space with finite measure. Let \(p(\cdot )\) and \(\lambda (\cdot )\) be non-negative variable exponents, such that \(0< p_{-}\le p_{+}<\infty \) and that \(\mathop {\sup \nolimits _{x \in X}}\frac{\lambda (x)}{p(x)} \le \frac{1}{p_+}.\) Assume that a subset \(\mathcal F\) of \(L^{p(\cdot ), \lambda (\cdot )}(X)\) satisfies the following conditions:
-
(i)
\(\mathcal F\) is totally bounded in \(L^{0}(X);\)
-
(ii)
the family \(\mathcal F\) is \(L^{p(\cdot ), \lambda (\cdot )}(X)\)-equi-integrable, that is, for all \(\varepsilon > 0\), there exists \(\delta > 0\), such that \( \mathop {\sup \nolimits _{f\in \mathcal F}} \left\| f\,\chi _{A}\right\| _{L^{p(\cdot ), \lambda (\cdot )}(X)}< \varepsilon \) for all \(A\subset X\) satisfying \(\mu (A)< \delta \).
Then, \(\mathcal F\) is totally bounded in \(L^{p(\cdot ), \lambda (\cdot )} (X).\)
Proof
We fix \(\varepsilon > 0\). We choose \(\alpha \in (0, 1)\), such that \(\alpha \Vert 1\Vert _{L^{p(\cdot ), \lambda (\cdot )}(X)}< 2^{\frac{p_{+}+ 1}{p_{-}}}\varepsilon \). Then, thanks to (ii), there exists \(\delta > 0\), such that \( \sup \nolimits _{f\in \mathcal F} \left\| f\,\chi _{A}\right\| _{L^{p(\cdot ), \lambda (\cdot )}(X)}< \varepsilon , \) whenever A is a measurable set satisfying \(\mu (A) < \delta \). Thanks to (i), there exists a \(\delta \phi (\alpha )\)-net \(\left\{ f_k\right\} _{k \in K}\subset \mathcal F\) in \(L^{0}(X)\), where \(\phi \) is given by (2.6) and K is a finite set.
By the definition of \(\delta \phi (\alpha )\)-nets, for any \(f\in \mathcal F,\) there exists \(k\in K\), such that \(d_0(f, f_k)< \delta \phi (\alpha ).\) Let
and let
Therefore, thanks to Lemma 2.6, we obtain
Since \(f,f_k \in {\mathcal F}\)
thanks to Lemma 2.8 once again. Moreover, in view of the monotonicity of \(\phi \) and the Markov inequality,Footnote 2 we deduce
Hence, by condition (ii), we have \(\displaystyle \left\| f- f_k\right\| _{L^{p(\cdot ), \lambda (\cdot )}(X)}\le 4^{\frac{p_{+}+ 1}{p_{-}}+ 1} \varepsilon . \) Thus, \(\mathcal {F}\) is totally bounded in \(L^{p(\cdot ), \lambda (\cdot )} (X).\) \(\square \)
Now, we prove the converse. We aim to find additional conditions on variable Morrey spaces that guarantee the validity of (i) and (ii).
Now, we recall the definition of the absolute continuity.
Definition 3.2
We say that an element f in a quasi-Banach space \(B\subset L^{0}(X)\) has absolutely continuous quasi-norm if \(\lim \nolimits _{j\rightarrow \infty } \left\| f\chi _{E_j}\right\| _B= 0\) for every sequence \(\left\{ E_j\right\} _{j=1}^\infty \) of measurable sets satisfying \(\lim \nolimits _{j \rightarrow \infty }\chi _{E_j}=0\) \(\mu \)-almost everywhere.
We use the condition of the absolute continuity as follows:
Lemma 3.3
Let \((X,\rho ,\mu )\) be a metric measure space and \(x_0 \in X\). If an element f in a quasi-Banach space \(B\subset L^{0}(X)\) has absolutely continuous quasi-norm, then
Proof
Simply observe that \(\chi _{X {\setminus } B(x_0,R) \cap \{|f| \le R\}} \rightarrow 0\) as \(R \rightarrow \infty \).
\(\square \)
Motivated by [34], the set of all functions in \(L^{p(\cdot ), \lambda (\cdot )}(X)\) having absolutely continuous quasi-norm is denoted by \({\widetilde{L}}^{p(\cdot ), \lambda (\cdot )}(X).\) We equip \(L^{p(\cdot ), \lambda (\cdot )}(X)\) with the norm \(\Vert f\Vert _{{\widetilde{L}}^{p(\cdot ), \lambda (\cdot )}(X)}= \Vert f\Vert _{L^{p(\cdot ), \lambda (\cdot )}(X)}\) for \(f \in L^{p(\cdot ), \lambda (\cdot )}(X)\).
Theorem 3.4
Let \((X, \rho , \mu )\) be a metric measure space with finite measure and let \(p(\cdot )\) and let \(\lambda (\cdot )\) be non-negative variable exponents, such that \(0< p_{-}\le p_{+}<\infty .\) Then, conditions (i) and (ii) of Theorem 3.1 hold for any subset \(\mathcal F\) of \({\widetilde{L}}^{p(\cdot ), \lambda (\cdot )}(X)\) which is totally bounded in \({\widetilde{L}}^{p(\cdot ), \lambda (\cdot )}(X)\).
Proof
We will verify (i). Write \(A:=\max \left\{ \mu (X)^{a},\; \mu (X)^{b}\right\} \). Let us fix \(\varepsilon > 0\) and \(\alpha \in (0, 1)\) such that \(\phi (\alpha ) \mu (X)\le \varepsilon \), where \(\phi \) is as in (2.6). Additionally, choose an \(\varepsilon \alpha \)-net \(\left\{ f_k\right\} _{k=1}^n\) in \(\widetilde{L}^{p(\cdot ), \lambda (\cdot )}(X)\). Then, by the definition of \(\varepsilon \alpha \)-nets, for any \(f\in \mathcal F,\) there exists \(k\in \{1,\ldots ,n\}\), such that \( \left\| f- f_k\right\| _{\widetilde{L}^{p(\cdot ), \lambda (\cdot )}(X)}\le \varepsilon \alpha . \) Hence, due to Lemma 2.7, we have
Thus
Let \(X_\alpha \) and \(X_\alpha ^\star \) be the sets defined by (3.1) and (3.2), respectively. Then, from the property of \(\alpha \), we obtain
By Lemma 2.1, we have
We write \(\varepsilon _0=\varepsilon _0(\varepsilon ) := \varepsilon + \max \left\{ (A\varepsilon )^{p_{-}}, \;(A\varepsilon )^{p_{+}}\right\} .\) Then, the above inequality reads as \(d_0\left( f, f_k\right) \le \varepsilon _0\). This implies that \(\{f_k\}_{k=1}^n\) is an \(\varepsilon _0\)-net. Since \(\lim \nolimits _{\varepsilon \rightarrow 0}\varepsilon _0=\lim \nolimits _{\varepsilon \rightarrow 0}\varepsilon _0(\varepsilon )=0\), we see that (i) is satisfied.
We will verify (ii). We fix \(\varepsilon > 0\) and choose an \(\varepsilon \)-net \(\left\{ f_k\right\} _{k= 1}^n \subset {\mathcal F}\) in \(L^{p(\cdot ), \lambda (\cdot )}(X)\). Fix \(k= 0, 1,\ldots , n\). Since \(f_k\in \widetilde{L}^{p(\cdot ), \lambda (\cdot )}(X),\) there exists \(\delta _k,\) such that \( \left\| f_k\,\chi _{A}\right\| _{\widetilde{L}^{p(\cdot ),\,\lambda (\cdot )}(X)}< \varepsilon \) as long as a measurable subset A satisfies \(\mu (A)< \delta _k\). We now move k. For \(A\subset X\) satisfying \(\mu (A)< \delta :=\min \left\{ \delta _k:\; k= 0, 1, \ldots , n\right\} \), we have
For any \(f\in \mathcal F,\) there exists k, such that \(\left\| f- f_k\right\| _{L^{p(\cdot ), \,\lambda (\cdot )}(X)}\le \varepsilon \), since \(\{f_k\}_{k=1}^n\) is an \(\varepsilon \)-net in \(L^{p(\cdot ),\lambda (\cdot )}(X)\). Therefore, we obtain
Consequently, \(\mathcal F\) satisfies (ii).
\(\square \)
From Theorems 3.1 and 3.4, we have the following corollaries.
Corollary 3.5
Let \((X, \rho , \mu )\) be a metric measure space with finite measure and let \(p(\cdot )\in {\mathcal P}(X, \mu )\) satisfy \(0< p_{-}\le p_{+}< \infty \). Let also \(\lambda (\cdot ):X \rightarrow [0,1]\) be a non-negative exponent, such that \(\mathop {\sup \nolimits _{x \in X}}\frac{\lambda (x)}{p(x)}\le \frac{1}{p_ {+}}\). Then, a subset \(\mathcal F\) of \(\widetilde{L}^{p(\cdot ), \lambda (\cdot )}(X)\) is totally bounded in \(\widetilde{L}^{p(\cdot ), \lambda (\cdot )}(X)\) if and only if the following conditions are satisfied:
-
(i)
\(\mathcal F\) is totally bounded in \(L^{0}(X);\)
-
(ii)
the family \(\mathcal F\) is \(\widetilde{L}^{p(\cdot ), \lambda (\cdot )}(X)\)-equi-integrable, that is, for all \(\varepsilon >0\), there exists \(\delta >0\), such that \( \mathop {\sup \nolimits _{f\in \mathcal F}} \Vert f\,\chi _{A}\Vert _{L^{p(\cdot ), \lambda (\cdot )}(X)}< \varepsilon \) for any measurable set A of X with \(\mu (A)<\delta \).
Let \(\lambda (\cdot ):= 0\). In this case, Theorem 3.1 boils down to the Lebesgue–Vitali compactness criteria in variable Lebesgue spaces, since \(\widetilde{L}^{p(\cdot ), \lambda (\cdot )}(X)=L^{p(\cdot )}(X)\). We say that the family \(\mathcal F\) is \(p(\cdot )\)-equi-integrable if for all \(\varepsilon >0\), there exists \(\delta >0\), such that \( \mathop {\sup \nolimits _{f\in \mathcal F}} \Vert f\,\chi _{A}\Vert _{L^{p(\cdot )}(X)}< \varepsilon \) for any measurable set A of X with \(\mu (A)<\delta \).
Corollary 3.6
[3] Let \((X, \mu )\) be a finite measure space, and let \(p(\cdot )\in {\mathcal P}(X, \mu )\) satisfy \(0< p_{-}\le p_{+}< \infty \). Then, a subset \(\mathcal F\) of \(L^{p(\cdot )}(X)\) is totally bounded in \(L^{p(\cdot )}(X)\) if and only if \(\mathcal F\) is totally bounded in \(L^{0}(X)\) and the family \(\mathcal F\) is \(p(\cdot )\)-equi-integrable.
Lemma 3.7
Let \((X, \rho , \mu )\) be a doubling metric measure space with finite measure, and let \(q \in (0,p_-)\). Assume that \(\displaystyle \sup _{x \in X}\frac{\lambda (x)}{p(x)}< \frac{1}{p_+}.\) Then, for \(f \in L^\infty (X)\), we have
Proof
Let \(r_{n}\) be a sequence such that \(r_{n} \rightarrow \) 0. We fix \(\varepsilon >0\). Then thanks to Lemma 2.8, there exists \(\delta >0\), such that \(\Vert \chi _E\Vert _{L^{p(\cdot ),\lambda (\cdot )}(X)}<\varepsilon \) for any measurable set E satisfying \(\mu (E)<\delta \).
Since \(\mu \) is doubling, we have
for \(\mu \)-almost all \(x \in X\). By the Egoroff Theorem, there exist \(N_{0} \in N\) and a measurable set F, such that
as long as \(n \ge N_{0}\). For this F, we have
If we take the \(L^{p(\cdot ),\lambda (\cdot )}(X)\)-norm, then we obtain
as long as \(n \ge N_{0}\). Since \(\varepsilon >0\) is arbitrary, we obtain the desired result.\(\square \)
Let \(q> 0\) and \(f \in L^0(X)\). The Hardy–Littlewood maximal operator \({\mathcal M}\) is defined by
and the powered Hardy–Littlewood maximal operator is defined by
Theorem 3.8
Let \((X, \rho , \mu )\) be a doubling metric measure space with finite measure. Let \(q \in (0, p_-)\) and \(\displaystyle \sup _{x \in X}\frac{\lambda (x)}{p(x)}< \frac{1}{p_+}.\) Assume that the powered maximal operator \({\mathcal M}_q : L^{p(\cdot ),\lambda (\cdot )}(X) \rightarrow L^{p(\cdot ),\lambda (\cdot )}(X)\) is bounded. Then, we have the following properties for any subset \(\mathcal F\) of \( \widetilde{L}^{p(\cdot ), \lambda (\cdot )}(X)\) which is totally bounded in \(\widetilde{L}^{p(\cdot ), \lambda (\cdot )}(X)\):
-
(a)
\(\mathcal F\) is bounded in \(L^{p(\cdot ), \lambda (\cdot )}(X);\)
-
(b)
\(\displaystyle \lim \nolimits _{r\rightarrow +0} \sup \nolimits _{f\in \mathcal F} \left\| \fint _{B(\cdot , r)} |f(\cdot )- f(y)|^q \text {d}\mu (y) \right\| _{L^{\frac{p(\cdot )}{q}, \lambda (\cdot )}(X)}= 0; \)
-
(c)
for some \(x_0\in X,\) \( \lim _{R\rightarrow \infty } \sup _{f\in \mathcal F} \left\| f\chi _{{X{\setminus } B\left( x_0, R\right) }} \right\| _{L^{p(\cdot ), \lambda (\cdot )}(X)}= 0. \)
Proof
Before the proof, we need a setup. Denote by C the operator norm of \({\mathcal M}_q\) acting on \(L^{p(\cdot ),\lambda (\cdot )}(X)\). Assume that \(\mathcal F\) is totally bounded in \(\widetilde{L}^{p(\cdot ),\, \lambda (\cdot )}(X).\) We fix \(\varepsilon > 0\) and let \(\left\{ f_k\right\} \) is an \(\varepsilon \)-net in \(\mathcal F.\) For each \(f\in \mathcal F\), we choose \(k\in \left\{ 1, \ldots , N\right\} \) satisfying
Put \(M_1:= \sup \nolimits _{k= 1,\ldots , N} \left\| f_k\right\| _{\widetilde{L}^{p(\cdot ),\, \lambda (\cdot )}(X)}\). We write
With this in mind, we prove \((a)-(c)\).
-
(a)
Let \(f\in \mathcal F.\) Then, from Lemma 2.6, we deduce
$$\begin{aligned} \left\| f\right\| _{\widetilde{L}^{p(\cdot ),\, \lambda (\cdot )}(X)}\le & {} 2^{\frac{p_{+}+ 1}{p_{-}}}\left( \left\| f_k\right\| _{\widetilde{L}^{p(\cdot ),\, \lambda (\cdot )}(X)}+\left\| f_k- f\right\| _{\widetilde{L}^{p(\cdot ),\, \lambda (\cdot )}(X)} \right) \\\le & {} 2^{\frac{p_{+}+ 1}{p_{-}}}\left( M_1+ \varepsilon \right) =: M. \end{aligned}$$ -
(b)
We use
$$\begin{aligned} |f(\cdot )-f(y)| \le |f(\cdot )-f_k(\cdot )|+|f_k(\cdot )-f(y)| \end{aligned}$$to have
$$\begin{aligned}&\left\| \fint _{B(\cdot , r)}\left| f(\cdot )- f(y)\right| ^{q} \text {d}\mu (y)\right\| _{\widetilde{L}^{\frac{p(\cdot )}{q}, \lambda (\cdot )}(X)}^ {1/q} \\&\quad \le 2\left( \left\| \left( \fint _{B(\cdot , r)}\left| f(\cdot )- f_k(\cdot )\right| ^q \text {d}\mu (y)+ \fint _{B(\cdot , r)}\left| f(y)- f_k(\cdot )\right| ^q \text {d}\mu (y)\right) \right\| _{\widetilde{L}^{\frac{p(\cdot )}{q}, \lambda (\cdot )}(X)}\right) ^{\frac{1}{q}}, \end{aligned}$$where we have applied the inequality
$$\begin{aligned} (a+b)^{q} \le 2^{q}(a^{q}+b^{q}) \quad (a,b \ge 0). \end{aligned}$$We have
$$\begin{aligned}&\left\| \fint _{B(\cdot , r)}\left| f(\cdot )- f(y)\right| ^{q} \text {d}\mu (y)\right\| _{\widetilde{L}^{\frac{p(\cdot )}{q}, \lambda (\cdot )}(X)}^ {1/q} \\&\quad \le 2^{1+ \frac{p_{+}+ q}{q p_{-}}}\,\left( \left\| \fint _{B(\cdot , r)}\left| f(\cdot )- f_k(\cdot )\right| ^q \text {d}\mu (y)\right\| _{\widetilde{L}^{\frac{p (\cdot )}{q}, \lambda (\cdot )}(X)}\right. \\&\qquad \left. + \left\| \fint _{B(\cdot , r)}\left| f(y)- f_k(\cdot )\right| ^q \text {d}\mu (y)\right\| _{ \widetilde{L}^{\frac{p(\cdot )}{q}, \lambda (\cdot )}(X)}\right) ^{\frac{1}{q}} \\&\quad \le 2^{1+ \frac{1}{q}+ \frac{p_{+}+ q}{q p_{-}}} \left( \mathrm{I}_1+ \left\| \fint _{B(\cdot , r)}\left| f(y)- f_k(\cdot )\right| ^q \text {d}\mu (y)\right\| _{\widetilde{L}^{\frac{p(\cdot )}{q}, \lambda (\cdot )}(X)}^{\frac{1}{q}}\right) . \end{aligned}$$In the next step, we use
$$\begin{aligned} |f_k(\cdot )-f(y)| \le |f_k(y)-f_k(\cdot )|+|f_k(y)-f(y)| \end{aligned}$$to obtain
$$\begin{aligned} \left\| \fint _{B(\cdot , r)}\left| f(\cdot )- f(y)\right| ^{q} \text {d}\mu (y) \right\| _{\widetilde{L}^{\frac{p(\cdot )}{q}, \lambda (\cdot )}(X)}^ {1/q} \le 2^{2+ \frac{1}{q}+ \frac{2p_{+}+ 2q}{q p_{-}}} (\mathrm{I}_1+\mathrm{I}_2+\mathrm{I}_3). \end{aligned}$$Now, we give the bounds for \(\mathrm{I}_1\), \(\mathrm{I}_2\) and \(\mathrm{I}_3\). Note that \(\mathrm{I}_1< \varepsilon \) as we saw above. Fix a point \(x_0 \in X\). Write \(h_{k,R}:=\chi _{B(x_0,R)}\chi _{(0,R)}(|f_k|)f_k\). Since \(f_k \in \widetilde{L}^{p(\cdot ), \lambda (\cdot )}(X)\), by Lemma 3.3, we have
$$\begin{aligned} \lim _{R \rightarrow \infty }\Vert f_k-h_{k,R}\Vert _{L^{p(\cdot ), \lambda (\cdot )}(X)}=0. \end{aligned}$$Thus, we can choose \(R>0\), such that \( \Vert f_k-h_{k,R}\Vert _{L^{p(\cdot ), \lambda (\cdot )}(X)} \le \epsilon . \) We observe that
$$\begin{aligned} \mathrm{I}^q_2&\le 4^{q+\frac{p_+ + q}{p_-}} \Big \Vert \fint _{B(\cdot , r)}\left| h_{k,R}(y)-f_k(y)\right| ^q \text {d}\mu (y)\Big \Vert _{\widetilde{L}^{\frac{p(\cdot )}{q}, \lambda (\cdot )}(X)} \\&\quad +4^{q+\frac{p_+ + q}{p_-}} \Big \Vert \fint _{B(\cdot , r)}\left| h_{k,R}(y)-h_{k,R}(\cdot )\right| ^q \text {d}\mu (y)\Big \Vert _{\widetilde{L}^{\frac{p(\cdot )}{q}, \lambda (\cdot )}(X)}\\&\quad +4^{q+\frac{p_+ + q}{p_-}} \Big \Vert \fint _{B(\cdot , r)}\left| f_k(\cdot )-h_{k,R}(\cdot )\right| ^q \text {d}\mu (y)\Big \Vert _{\widetilde{L}^{\frac{p(\cdot )}{q}, \lambda (\cdot )}(X)}. \end{aligned}$$Therefore
$$\begin{aligned} \mathrm{I}^q_2\le & {} 4^{q+\frac{p_+ + q}{p_-}} \Vert (\mathcal {M}_q (h_{k,R}-f))^q\Vert _{\widetilde{L}^{\frac{p(\cdot )}{q}, \lambda (\cdot )}(X)}\\&\quad +4^{q+\frac{p_+ + q}{p_-}}\left\| \fint _{B(\cdot , r)}\left| h_{k,R}(y)-h_{k,R}(\cdot )\right| ^q \text {d}\mu (y)\right\| _{\widetilde{L}^{\frac{p(\cdot )}{q}, \lambda (\cdot )}(X)}\\&\quad +4^{q+\frac{p_+ + q}{p_-}}\Vert |f-h_{k,R}|^q\Vert _{\widetilde{L}^{\frac{p(\cdot )}{q}, \lambda (\cdot )}(X)}\\\le & {} 4^{q+\frac{p_+ + q}{p_-}} (C^q+1)\Vert f_k-h_{k,R}\Vert ^q_{\widetilde{L}^{p(\cdot ), \lambda (\cdot )}(X)})\\&\quad +4^{q+\frac{p_+ + q}{p_-}} \left\| \fint _{B(\cdot , r)}\left| h_{k,R}(y)-h_{k,R}(\cdot )\right| ^q \text {d}\mu (y)\right\| _{\widetilde{L}^{\frac{p(\cdot )}{q}, \lambda (\cdot )}(X)}. \end{aligned}$$Since
$$\begin{aligned} \lim _{r \rightarrow +0} \left\| \fint _{B(\cdot , r)}\left| h_{k,R}(y)-h_{k,R}(\cdot )\right| ^q \text {d}\mu (y)\right\| _{\widetilde{L}^{\frac{p(\cdot )}{q}, \lambda (\cdot )}(X)}^{\frac{1}{q}}=0 \end{aligned}$$thanks to Lemma 3.7, for sufficiently small \(r > 0\), we have
$$\begin{aligned} \left\| \fint _{B(\cdot , r)}\left| h_{k,R}(y)-h_{k,R}(\cdot )\right| ^q \text {d}\mu (y)\right\| _{\widetilde{L}^{\frac{p(\cdot )}{q}, \lambda (\cdot )}(X)}^{\frac{1}{q}} \le \epsilon . \end{aligned}$$Therefore, we obtain \( I_2 \le 4^{1+\frac{p_+ + q}{p_- q}}(C^q+2)^{\frac{1}{q}}\epsilon \) as long as r is small enough. It remains to control \(\mathrm{I}_3\). We have
$$\begin{aligned} \mathrm{I}_3&= \Big \Vert \fint _{B(\cdot , r)}\left| f_k(y)- f(y)\right| ^q \text {d}\mu (y)\Big \Vert _{\widetilde{L}^{\frac{p(\cdot )}{q}, \lambda (\cdot )}(X)}^{\frac{1}{q}} \\&= \Big \Vert \Big (\fint _{B(\cdot , r)}\left| f_k(y)- f(y)\right| ^q \text {d}\mu (y)\Big )^{\frac{1}{q}}\Big \Vert _{\widetilde{L}^{p(\cdot ), \lambda ( \cdot )}(X)} \\&\le \Big \Vert {\mathcal M}_q\left( f- f_k\right) \Big \Vert _{\widetilde{L}^{p(\cdot ), \lambda (\cdot )}(X)}\le C \left\| f- f_k \right\| _{\widetilde{L}^{p(\cdot ), \lambda (\cdot )}(X)}\le C\, \varepsilon . \end{aligned}$$ -
(c)
For \(k = 1,\ldots , N,\) we fix sufficiently large \(R_k\) satisfying
$$\begin{aligned} \left\| f_k\chi _{{X{\setminus } B\left( x_0, R_k\right) }}\right\| _{\widetilde{L}^{p(\cdot ), \lambda (\cdot )}(X)}< \varepsilon . \end{aligned}$$Then, for \(R = \max \left\{ R_k:\;\; k = 1,\ldots , N\right\} ,\) we have
$$\begin{aligned}&\left\| f\chi _{{X{\setminus } B\left( x_0, R\right) }}\right\| _{\widetilde{L}^{p(\cdot ), \lambda (\cdot )}(X)} \\&\quad \le 2^{\frac{p_{+} + 1}{p_{-}}} \left( \left\| \left( f- f_k\right) \chi _{{X{\setminus } B\left( x_0, R\right) }}\right\| _{\widetilde{L}^{p(\cdot ), \lambda (\cdot )}(X)}+ \left\| f_k\chi _{{X{\setminus } B\left( x_0, R\right) }}\right\| _{\widetilde{L}^{p(\cdot ), \lambda (\cdot )}(X)}\right) \\&\quad \le 2^{\frac{p_{+} + 1}{p_{-}}} \left( \left\| f- f_k\right\| _{\widetilde{L}^{p(\cdot ), \lambda (\cdot )}(X)}+ \left\| f_k\chi _{{X{\setminus } B\left( x_0, R\right) }}\right\| _{\widetilde{L}^{p(\cdot ), \lambda (\cdot )}(X)}\right) \le 2^{\frac{p_{+} + 1}{p_{-}}+ 1} \varepsilon . \end{aligned}$$
\(\square \)
We now show the reciprocal of the previous theorem.
Theorem 3.9
Let \((X, \rho , \mu )\) be a bounded doubling metric measure space, and let \(p(\cdot )\in {\mathcal P}(X, \mu )\) satisfy \(0< p_{-}\le p_{+}<\infty \) and \(\mathop {\sup _{x \in X}}\frac{\lambda (x)}{p(x)}< \frac{1}{p_+}.\) Assume that a subset \(\mathcal F\) of \( {L}^{p(\cdot ), \lambda (\cdot )}(X)\) satisfies
-
(a)
\(\mathcal F\) is bounded in \(L^{p(\cdot ), \lambda (\cdot )}(X);\)
-
(b)
for some \(q \in (0,p_-)\)
$$\begin{aligned} \lim \limits _{r\rightarrow +0} \sup \limits _{f\in \mathcal F} \left\| \fint _{B(\cdot , r)} |f(\cdot )- f(y)|^q \text {d}\mu (y) \right\| _{L^{\frac{p(\cdot )}{q}, \lambda (\cdot )}(X)}= 0. \end{aligned}$$
Then, \(\mathcal F\) is totally bounded in \(L^{p(\cdot ),\lambda (\cdot )}(X).\)
Proof
We divide the proof into two lemmata.\(\square \)
Lemma 3.10
The family \({\mathcal F}\) is \({L}^{p(\cdot ), \lambda (\cdot )}(X)\)-equi-integrable.
Proof
Let \(q \in (0,p_-)\) as in Theorem 3.9. Let E be a measurable subset of X and fix \(r \in (0,1)\) and \(x \in E\). Since \((a+b)^q \le 2^q(a^q+b^q)\) for \(a,b \ge 0\), we have
for any \(y \in B(x,r)\) and \(f \in {\mathcal F}\). Averaging the above inequality with respect to \(y\in B(x, r),\) we obtain
By Hölder’s inequality and Lemma 2.3, we have
By the definition of the Morrey norm \(\Vert \cdot \Vert _{L^{p(\cdot ) \lambda (\cdot )}(X)}\),
where in the last inequality, we applied the estimate \( \Vert f\Vert _{\widetilde{L}^{p(\cdot ), \lambda (\cdot )}(X)}\le M.\) Meanwhile, due to Lemma 2.1, we obtain
Therefore, thanks to (2.5), there exists a constant \(b> 0\), such that
provided that \(r\ll 1.\)
Thus, gathering the above estimates, we have
Now, by (3.3), we have
where \(C:=2^{q+ \frac{p_{+}+ q}{p_{-}}}\left\{ 1+q\left( \frac{1}{p_{-}}+ \frac{p_{+}- q}{p_{+}}\right) b^{-\frac{q}{p_{-}}}\left( \mu \left( X \right) +1\right) ^{q\sup \limits _{x \in X}\frac{\lambda (x)}{p(x)}} M^q\right\} \).
Finally, by the scaling relation, we obtain
By condition (b) for given \(\varepsilon > 0\), we can and do fix sufficiently small \(r> 0\), such that the first term on the right-hand side of (3.4) is less than \(\varepsilon .\) Thanks to Lemma 2.8, we can choose \(\delta \in (0,1)\), such that \(r^{-\frac{qs}{p_{-}}} \left\| \chi _{E} \right\| ^q_{L^{p(\cdot ), \lambda (\cdot )}(X)}\le \varepsilon \) for any measurable set E satisfying \(\mu (E)<\delta \). Thus, the family \({\mathcal F}\) is \({L}^{p(\cdot ), \lambda (\cdot )}(X)\)-equi-integrable.\(\square \)
Lemma 3.11
The family \({\mathcal F}\) is totally bounded in \(L^{0}\left( X \right) \).
Proof
Since the measure \(\mu \) is doubling, \(\left( X, \rho \right) \) is totally bounded (see [20]).
Let us fix \(\varepsilon \in (0, 1).\) We take \(\delta > 0\), such that the following condition holds for all \(f\in {\mathcal F}\):
Hence, in view of the Markov inequality and Lemma 2.1, we obtain
By Lemma 2.7, one has
where the constant A is defined in Lemma 2.7. Next, for any \(x, y\in X\) satisfying \(\rho (x, y) <\delta ,\) we have
A geometric observation shows that \(B(x, \delta ) \subset B(y; 2\delta )\). Since the measure \(\mu \) is doubling, the last inequality implies that, for any \(x, y\in X\) satisfying \(\rho (x, y) < \delta \)
Let \(\Lambda > 1.\) By virtue of the Markov inequality, Lemma 2.1, and the boundedness of \({\mathcal F}\) in \(L^{p(\cdot ), \lambda (\cdot )}(X)\), we have
Thanks to condition (a) of Theorem 3.8, there exists \(M> 0\) which is independent of \(f \in {\mathcal F}\), such that
Therefore, if \(\Lambda \gg 1\), then \( \sup \nolimits _{f\in \mathcal F}\mu \left\{ x\in X\,:\,|f(x)|> \Lambda \right\} < \varepsilon . \) We set
Then, \(\mu (E(f))< \varepsilon \) as long as \(\Lambda \gg 1\). Moreover
Thus, by Theorem 2.10, we conclude that \({\mathcal F}\) is totally bounded in \(L^{0}\left( X\right) .\) \(\square \)
Now, we can finish the proof of the theorem. Indeed, we conclude from the previous lemmata that \(\mathcal {F}\) is \(L^{p(\cdot ), \lambda (\cdot )}(X)\)-equi-integrable, since \({\mathcal F}\) is totally bounded in \(L^{0}(X)\). Thus, by virtue of Theorem 3.1, we obtain that \({\mathcal F}\) is totally bounded in \(L^{p(\cdot ), \lambda (\cdot )}\left( X\right) \).
4 Examples and Remarks
We summarize what we have obtained in the present paper together with some remarks. First, it was proved (see, e.g., [17, 18]) that if \((X, \rho , \mu )\) is a doubling metric measure space with measure \(\mu \) satisfying some additional regularity assumptions, \(p(\cdot )\in {\mathcal P}_{\log }(X,\mu )\) satisfies \(1< p_{-}\le p_{+}< \infty \) and \(0\le \lambda (x)\le \min \left\{ 1, \;\frac{p(x)}{p_{\infty }}\right\} \) for all \(x \in X\), then maximal operator \(\mathcal M\) is bounded in \( L^{p(\cdot ), \lambda (\cdot )}(X)\).
Example 4.1
Let \((X, \rho , \mu )\) be a metric measure space with finite measure, and let \(p(\cdot )\) and \(q(\cdot )\) be variable exponents satisfying \(1\le p_{+}< q_{-}\le q_{+}< \infty \). Let also \(\lambda (\cdot )\) be a non-negative function. Assume that \(\displaystyle {s(x):= \frac{p(x)q(x)}{q(x)- p(x)}}, x \in X\) satisfies \(\mathop {\sup _{x \in X}}\frac{\lambda (x)}{p(x)}\le \frac{1}{s_{+}}.\) Then, we claim that \( L^{q(\cdot )}(X)\hookrightarrow L^{p(\cdot ), \lambda (\cdot )}(X). \)
Indeed, by Lemmas 2.1 and 2.3, we have
Thus
Since \(\displaystyle {\sup _{x \in X}\frac{\lambda (x)}{p(x)}\le \frac{1}{s_{+}}}\), it follows that:
Thus, in total, we have \( L^{q(\cdot )}(X)\hookrightarrow L^{p(\cdot ), \lambda (\cdot )}(X). \)
From Theorems 3.8 and 3.9, we get the following.
Theorem 4.2
Let \((X, \rho , \mu )\) be a bounded doubling metric measure space. Let \(q \in (0, p_-)\). Assume that \(\displaystyle \sup _{x \in X}\frac{\lambda (x)}{p(x)}< \frac{1}{p_+}\), and that the powered maximal operator \(\mathcal {M}_q : L^{p(\cdot ), \lambda (\cdot )}(X)\rightarrow L^{p(\cdot ), \lambda (\cdot )}(X).\)
Then, a family \(\mathcal F\) of \(\widetilde{L}^{p(\cdot ), \lambda (\cdot )}(X)\) is totally bounded in \(\widetilde{L}^{p(\cdot ),\lambda (\cdot )}(X)\) if and only if the following conditions are satisfied:
-
(a)
\(\mathcal F\) is bounded in \(\widetilde{L}^{p(\cdot ), \lambda (\cdot )}(X);\) that is, there exists \(M> 0,\) such that
$$\begin{aligned} \sup \limits _{f\in \mathcal F} \Vert f\Vert _{\widetilde{L}^{p(\cdot ),\lambda (\cdot )}(X)}\le M; \end{aligned}$$ -
(b)
\(\displaystyle \lim \limits _{r\rightarrow +0} \sup \limits _{f\in \mathcal F} \left\| \fint _{B(\cdot , r)} |f(\cdot )- f(y)|^q \text {d}\mu (y) \right\| _{\widetilde{L}^{\frac{p(\cdot )}{q}, \lambda (\cdot )}(X)}= 0. \)
Remark 4.3
Theorem 4.2 is new in the constant exponent case, but this question has also been considered in [5]. In [35], some sufficient conditions for subsets to be precompact sets in variable Morrey spaces. Note that in variable exponent Lebesgue spaces (that is for \(\lambda (\cdot ):= 0\)), Theorem 4.2 was proved in [3].
Moreover, thanks to Theorem 4.2, we can characterize precompact sets in \(\widetilde{L}^{p(\cdot ), \lambda (\cdot )}(X)\) in the case of \(p_{-} >1\).
Theorem 4.4
Let \((X, \rho , \mu )\) be a bounded doubling metric measure space, and let \(1<p_{-}\le p_{+}< \infty \) and \(\displaystyle \sup \nolimits _{x \in X}\frac{\lambda (x)}{p(x)}< \frac{1}{p_+}.\) Assume that the maximal operator \(\mathcal {M}: L^{p(\cdot ), \lambda (\cdot )}(X)\rightarrow L^{p(\cdot ), \lambda (\cdot )}(X)\) is bounded.
Then, a family \(\mathcal F\) of \(\widetilde{L}^ {p(\cdot ), \lambda (\cdot )}(X)\) is totally bounded in \(\widetilde{L}^{p(\cdot ),\lambda (\cdot )}(X)\) if and only if the following conditions are satisfied:
-
(a)
\(\mathcal F\) is bounded in \(\widetilde{L}^{p(\cdot ), \lambda (\cdot )}(X);\)
-
(b)
\( \lim \nolimits _{r\rightarrow +0} \sup \nolimits _{f\in \mathcal F} \left\| \fint _{B(\cdot , r)} |f(\cdot )- f(y)| \text {d}\mu (y) \right\| _{\widetilde{L}^{p(\cdot ), \lambda (\cdot )}(X)}= 0. \)
Let us close the paper with the following open question.
Open question: Let \((X, \rho , \mu )\) be an unbounded metric measure space. Characterize relatively compact sets in variable exponent Morrey spaces on \((X, \rho , \mu )\).
Notes
Finite measure space means that the measure of the space is finite.
For \(\epsilon > 0\) and a measurable function g, the following inequality \(\mu \left( \left\{ x \in X\,:\,|g(x)| > \epsilon \right\} \right) \le \frac{1}{\epsilon }\int _{X} |g(x)|\text {d}\mu (x) \) holds.
References
D.R. Adams, Morrey Spaces, Lecture Notes in Applied and Numerical Harmonic Analysis, Birkhäuser, 2015
Almeida, A., Hasanov, J.J., Samko, S.: Maximal and potential operators in variable exponent Lebesgue spaces. Georgian Math. J. 15(2), 195–208 (2008)
Bandaliyev, R.A., Górka, P.: Relatively compact sets in variable-exponent Lebesgue spaces. Banach J. Math. Anal. 2(12), 331–346 (2018)
Bandaliyev, R.A., Hasanov, S.G.: On denseness of \(C_0^{\infty }(\Omega )\) and compactness in \(L_{p(x)}\) for \(0\)\(<\)\(p(x)\)\(<\)\(1\). Moscow Math. J. 1(18), 1–13 (2018)
Bokayev, N.A., Burenkov, V.I., Matin, D.T.: On precompactness of a set in general local and global Morrey-type spaces. Eurasian Math. J. 8(3), 109–115 (2017)
Caetano, A., Gogatishvili, A., Opic, B.: Compactness in quasi-Banach function spaces and applications to compact embeddings of Besov-type spaces. Proc. Edinb. Math. Soc. 146(5), 905–927 (2016)
D. Cruz-Uribe, A. Fiorenza, Variable Lebesgue spaces. Foundations and Harmonic analysis, Birkhäuser/Springer, Heidelberg, 2013
L. Diening, P. Harjulehto, P. Hästö, M. Ru̇žička, Lebesgue and Sobolev spaces with variable exponents, Springer Lecture Notes, v. 2017, Springer–Verlag, Berlin, 2011
L. Diening, P. Hästö, A. Nekvinda, Open problems in variable exponent Lebesgue and Sobolev spaces, in: Proc. Int. Conference Function Spaces, Differential Operators and Nonlinear Analysis, Milovy, Czech Rep., May 28 - June 4, 2004, Math. Inst. Acad. Sci. Czech Rep., Prague, 2005, 38-58
Górka, P., Macios, A.: Almost everything you need to know about relatively compact sets in variable Lebesgue spaces. J. Funct. Anal. 269, 1925–1949 (2015)
Górka, P., Macios, A.: Riesz-Kolmogorov theorem on metric spaces. Miskolc Math. Notes 15(2), 459–465 (2014)
P. Górka, P. Pośpiech, Banach function spaces on locally compact groups.Ann. Funct. Anal., https://doi.org/10.1215/20088752-2019-0002.
P. Górka, H. Rafeiro, From Arzelà-Ascoli to Riesz-Kolmogorov, Nonlinear Anal. 144 (2016), 23–31; Correction, Nonlinear Anal. 149 (2017), 177–179
Górka, P., Rafeiro, H.: Light side of compactness in Lebesgue spaces: Sudakov theorem. Ann. Acad. Sci. Fenn. Math. 42(1), 135–139 (2017)
Guliyev, V.S., Hasanov, J.J., Samko, S.G.: Boundedness of the maximal, potential and singular operators in the generalized variable exponent Morrey spaces. Math. Scand. 107, 285–304 (2010)
Guliyev, V.S., Hasanov, J.J., Samko, S.G.: Maximal, potential and singular operators in the local complementary variable exponent Morrey type spaces. J. Math. Anal. Appl. 401(1), 72–84 (2013)
Guliyev, V.S., Samko, S.G.: Maximal, potential and singular operators in the generalized variable exponent Morrey spaces on unbounded sets. J. Math. Sci. 193(2), 228–248 (2013)
Guliyev, V.S., Samko, S.G.: Maximal operator in variable exponent generalized Morrey spaces on quasi-metric measure space. Mediterr. J. Math. 13, 1151–1165 (2016)
Harjulehto, P., Hästö, P.: Variable exponent Lebesgue spaces on metric spaces: Hardy-Littlewood maximal operator. Real Anal. Exchange 30, 87–104 (2004)
J. Heinonen, Lectures on analysis on metric spaces, Universitext, Springer, New York, 2001
M. Izuki, E. Nakai, Y. Sawano, Function spaces with variable exponents–an introduction, Sci. Math. Jpn. 77(2014), no. 2, 187–315
A. N. Kolmogorov, Über Kompaktheit der Funktionenmengen bei der Konvergenz im Mittel, in Selected works of A. N. Kolmogorov, Vol. I, Kluwer, Dordrecht, 1991, 147–150
V.G. Krotov, Compactness criteria in the spaces Lp, p\(>\) 0 (in Russian), Mat. Sb. 203 (2012), no. 7, 129–148; English translation in Sb. Math. 203 (2012), no. 7–8, 1045–1064
Li, F., Li, Z., Pi, L.: Ling, Variable exponent functionals in image restoration. Appl. Math. Comput. 216(3), 870–882 (2010)
Mizuta, Y., Shimomura, T.: Sobolev embeddings for Riesz potentials of functions in Morrey spaces of variable exponent. J. Math. Soc. Jpn. 60, 583–602 (2008)
Morrey, C.B.: On the solutions of quasi-linear elliptic partial differential equations. Trans. Am. Math. Soc. 43, 126–166 (1938)
Orlicz, W.: Über konjugierte exponentenfolgen. Studia Math. 3, 200–212 (1931)
Peetre, J.: On the theory of \(\cal{L}_{p,\lambda }\) spaces. J. Funct. Anal. 4, 71–87 (1969)
Rafeiro, H.: Kolmogorov compactness criterion in variable exponent Lebesgue spaces. Proc. A. Razmadze Math. Inst. 150, 105–113 (2009)
Riesz, M.: Sur les ensembles compacts de fonctions sommables. Acta. Szeged Sect. Math. 6, 136–142 (1933)
M. Růẑiĉka, Electrorheological Fluids: Modeling and Mathematical Theory, Springer-Verlag, Berlin, 2000
Samko, S.: On a progress in the theory of Lebesgue spaces with variable exponent: maximal and singular operators. Integr. Transf. Spec. Funct. 16, 461–482 (2005)
Y. Sawano, G. Di Fazio, D. I. Hakim, Morrey Spaces: Introduction and Applications to Integral Operators and PDE’s, CRC Press, 2020
Sawano, Y., Tanaka, H.: The Fatou property of block spaces. J. Math. Sci. Univ. Tokyo 22, 663–683 (2015)
W. Wang, J. Xu, Precompact sets, boundedness, and compactness of commutators for singular integrals in variable Morrey spaces, J. Funct. Spaces, 2017 (2017), Article ID 3764142, 1–9
V.V. Zhikov, Averaging of functionals of the calculus of variations and elasticity theory, Math. USSR–Izv. (29) (1987), 675–710
Acknowledgements
Some part of the paper has been performed during the visit of the second author to the Dumlupinar University. Moreover, the research of third author was partially supported by the grant of Cooperation Program 2532 TUBITAK-RFBR (RUSSIAN foundation for basic research) (Agreement number no. 119N455). We wish to thank the referee for comments and suggestions. R.A. Bandaliyev and V.S. Guliyev were partially supported by the RUDN University Strategic Academic Leadership Program and by the grant of 1st Azerbaijan-Russia Joint Grant Competition (No. EIF-BGM-4-RFIF-1/2017-21/01M-M-08).
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
Bandaliyev, R.A., Górka, P., Guliyev, V.S. et al. Relatively Compact Sets in Variable Exponent Morrey Spaces on Metric Spaces. Mediterr. J. Math. 18, 232 (2021). https://doi.org/10.1007/s00009-021-01828-z
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00009-021-01828-z