Abstract
Relative weakly compact sets and weak convergence in variable exponent Lebesgue spaces \({L^{p(\cdot )}(\Omega )}\) for infinite measure spaces \((\Omega ,\mu )\) are characterized. Criteria recently obtained in [14] for finite measures are here extended to the infinite measure case. In particular, it is showed that the inclusions between variable exponent Lebesgue spaces for infinite measures are never L-weakly compact. A lattice isometric representation of \({L^{p(\cdot )}(\Omega )}\) as a variable exponent space \(L^{q(\cdot )}(0,1)\) is given.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Compactness and weak compactness has always been a relevant matter of study in Banach spaces. Many specific results have been obtained for concrete spaces. Recall, for example, the classical Riesz-Kolmogorof compacity theorem in \(L_{p}\)-spaces (\(1\le p <\infty \)), which has been recently extended to the context of variable exponent Lebesgue spaces \({L^{p(\cdot )}(\Omega )}\) (or Nakano spaces) by Górka and Macios [12], Bandaliev and Górka [3] and Dong et al. [9]. These authors give useful criteria according with the underlying measure space \((\Omega , \mu )\) considered (f.i. Euclidean spaces, metric measure spaces or locally compact groups).
Weak compactness has been also widely studied in many different contexts. Recall, for example, the classical Dunford and Pettis result for \(L_{1}(\Omega )\) spaces characterizing the relative weakly compact subsets as the equi-integrable sets. For Orlicz spaces \(L^{\varphi }(\Omega )\), useful weak compactness criteria were given by Andô in [1] (cf. [21] chapter 4). Later on, many extensions have been given for symmetric function spaces (see f.i. [8] and references within) and also for the vectorial case of Orlicz-Bochner spaces ( [20]). In the non-symmetric setting, the weak compactness in variable exponent Lebesgue spaces \({L^{p(\cdot )}(\Omega )}\) for finite measure spaces \((\Omega ,\mu )\) has been studied recently in [14], obtaining suitable criteria of weak compactness and weak convergence.
In this paper we broaden the study of weak compactness in variable exponent Lebesgue spaces \({L^{p(\cdot )}(\Omega )}\). One of our goals is to find suitable weak compactness criteria in \({L^{p(\cdot )}(\Omega )}\) for infinite measure spaces \((\Omega ,\mu )\) extending results obtained in [14] for the case of finite measure. We analyze possible versions of Andô weak compactness characterizations given for Orlicz spaces \(L^\varphi (\Omega )\) ( [1]). Another goal in this paper is to find lattice isometric representations of variable exponent Lebesgue spaces \({L^{p(\cdot )}(\Omega )}\) over infinite measure spaces \((\Omega ,\mu )\) as a suitable variable exponent Lebesgue space \(L^{q(\cdot )}(0,1)\) on the probability measure space (0, 1) with the Lebesgue measure. This kind of representations are a useful tool in the study of the structure of general variable exponent Lebesgue spaces.
Often, to lift properties from function spaces over probability measure spaces to the framework of function spaces on infinite measure spaces requires a careful study and additional conditions are usually needed. For example, while for finite measures the \(L^{p(\cdot )}\)-equi-integrability is equivalent to the uniform integrability, in the case of infinite measures the additional condition of uniform decay at infinity (i.e. for every \(\varepsilon >0\) there exists \(A\subset \Omega \) with \(\mu (A)<\infty \) such that \(\sup _{f\in S} \, \Vert f \chi _{\Omega \setminus A}\Vert <\varepsilon \)) is required for the equivalence (see Proposition 3.1). Thus, the Dunford-Pettis Theorem in \(L_1(\Omega )\) for \(\sigma \)-finite measure spaces \((\Omega ,\mu )\) is stated as follows (cf. [11] Theorem IV.8.9):
Theorem 1.1
([10]) A bounded subset \(S \subset L_1(\Omega )\) is relatively weakly compact if and only if it is equi-integrable if and only if it is uniformly integrable and decays uniformly at infinity.
The paper is organized as follows. After a preliminary section, in Sect. 3 we give a characterization of \({L^{p(\cdot )}(\Omega )}\)-equi-integrability for infinite measure spaces \((\Omega ,\mu )\). It is proved that all inclusion operators between \(L^{p(\cdot )}(\Omega )\) spaces for infinite measures are not L-weakly compact (Theorem 3.4). Section 4 is devoted to the study of weak compactness in variable exponent Lebesgue spaces \(L^{p(\cdot )}(0,\infty )\) on the real interval \((0,\infty )\). We find suitable weak compactness criteria extending those given in [14] for finite measures. To prove it, we make use of an isometric lattice representation of the spaces \({L^{p(\cdot )}(0,\infty )}\) as a suitable \(L^{q(\cdot )}(0,1)\) space on the interval (0, 1). From this it follows easily that \({L^{p(\cdot )}(0,\infty )}\) is weakly Banach-Saks if and only if \(p^+<\infty \).
Section 5 is devoted to variable exponent Lebesgue spaces \({L^{p(\cdot )}(\Omega )}\) for abstract \(\sigma \)-finite measure spaces \((\Omega ,\mu )\). Firstly, we give a lattice isometric representation of \({L^{p(\cdot )}(\Omega )}\) over non-atomic separable \(\sigma \)-finite spaces as a space \(L^{\widehat{p}(\cdot )}(0,\infty )\) for a suitable exponent function \(\widehat{p}(\cdot )\) (see Theorem 5.4). This useful representation theorem is obtained using the classical Carathéodory Theorem on algebras of measure (cf. [22] page 399). In particular, it follows that every space \({L^{p(\cdot )}(\Omega )}\) for a non-atomic separable \(\sigma \)-finite measure space can be lattice represented as a certain variable exponent space \(L^{q(\cdot )}(0,1)\) on the interval (0, 1). This remarkable fact is not true for the class of Orlicz spaces (see Remark 5.9). Finally, as a consequence of the above representation and previous results in Sect. 4, suitable criteria for weak compactness and weak convergence in \({L^{p(\cdot )}(\Omega )}\) are obtained. Namely, \(S\subset {L^{p(\cdot )}(\Omega )}\) is relatively weakly compact if and only if it is bounded,
and
where \(\Omega _1:=p^{-1}(\{1\})\). A sequence \((f_{n})\) converges weakly to f in \({L^{p(\cdot )}(\Omega )}\) if and only if
- (i):
-
\(\lim _{n} \int _{A} f_{n} d\mu = \int _{A} f d\mu \) for each \(A\in \Sigma \) with \(\mu (A)<\infty \),
- (ii):
-
\(\lim _{\lambda \rightarrow 0}\, \sup _{n} \frac{1}{\lambda }\int _{\Omega \setminus \Omega _1} \vert \lambda ( f_{n}-f) \vert ^{p(t)} d\mu = 0\), and
- (iii):
-
\(\lim _{A_k\searrow \emptyset }\, \sup _{n\in \mathbb {N}}\int _{A_k\cap \Omega _1} \vert f_n(t)-f(t)\vert d\mu =0\).
We point out that no extra conditions on the regularity of the exponent functions (like the log-Hölder continuous conditions) will be required along the paper.
2 Preliminaries
Throughout the paper, \((\Omega ,\Sigma ,\mu )\) is a non-atomic \(\sigma \)-finite measurable space (unless specified otherwise) and \(L_{0} (\Omega )\) is the space of all real \(\mu \)-measurable function classes (where \(f=g\) if \(f(t)=g(t)\) a.e.-\(\mu \)). Given a measurable subset \(A\subset \Omega \), \(\chi _A\in L_0(\Omega )\) denotes the characteristic function of A. A Banach function space \(E(\Omega )\) is a Banach lattice formed by measurable function classes. \(E(\Omega )\) is said to be order continuous if \(\lim _{\alpha } \Vert f_\alpha \Vert =0\) for every downward directed set \((f_\alpha )\) in \(E(\Omega )\) with \(\bigwedge _\alpha f_\alpha =0\).
Given a \(\mu \)-measurable function \(p:\Omega \rightarrow [1,\infty )\) (called exponent function), the variable exponent Lebesgue space (or Nakano space) \({L^{p(\cdot )}(\Omega )}\) is defined to be the set of all real measurable function classes such that the modular \(\rho _{p(\cdot )}(f/r)\) is finite for some \(r>0\), where
The associated Luxemburg norm is defined as
With the usual pointwise order, \(\big ({L^{p(\cdot )}(\Omega )},\Vert \cdot \Vert _{p(\cdot )}\big )\) is a Banach function space. The case of \(p(\cdot )=p\) constant will be denoted by \(L_p(\Omega )\).
Let \(p^-:=\text {ess}\inf \{p(t):t\in \Omega \}\) and \(p^+:=\text {ess}\sup \{p(t):t\in \Omega \}\). By \(p_{\vert A}^+\) and \(p_{\vert A}^-\) we denote the essential supremum and infimum of the function \(p(\cdot )\) over a measurable subset \(A\subset \Omega \). The conjugate function \(p^*(\cdot )\) of \(p(\cdot )\) is defined by the equation \(\frac{1}{p(t)}+\frac{1}{p^*(t)}= 1\) almost everywhere \(t\in \Omega \). Thus, for \(p^+<\infty \) the topological dual of the space \({L^{p(\cdot )}(\Omega )}\) is the variable exponent space \(L^{p^*(\cdot )}(\Omega )\).
A \({L^{p(\cdot )}(\Omega )}\) space is separable if and only if \(p^+< \infty \) or, equivalently, if and only if \({L^{p(\cdot )}(\Omega )}\) contains no isomorphic copy of \(\ell _{\infty }\). In the sequel, only separable variable exponent Lebesgue spaces \({L^{p(\cdot )}(\Omega )}\) will be considered (note that \(p^*(\cdot )\) is bounded if and only if \(p^->1\), so we can consider non separable dual spaces \(L^{p^*(\cdot )}(\Omega )\)). An space \({L^{p(\cdot )}(\Omega )}\) is reflexive if and only if \(1<p^{-}\le p^{+}<\infty \). This is also equivalent to \({L^{p(\cdot )}(\Omega )}\) being uniformly convex ( [17] Theorem 3.3). Notice that, for \(p^+<\infty \), \(\Vert f\Vert _{p(\cdot )}=1\) if and only if the modular \(\rho _{p(\cdot )}(f)= 1\). Also for \(p^+<\infty \), a sequence \((f_n) \subset {L^{p(\cdot )}(\Omega )}\) satisfies \(\lim _{n\rightarrow \infty }||f_n||_{p(\cdot )}=0\) if and only if \(\lim _{n\rightarrow \infty }\rho _{p(\cdot )}(f_n)= 0\) (cf. [7]). By \(B_{L^{p(\cdot )}}\) we denote the closed unit ball of \({L^{p(\cdot )}(\Omega )}\). The essential range of the exponent function \(p(\cdot )\) is defined as
It is a closed subset of \([1,\infty )\) and it is compact when \(p(\cdot )\) is essentially bounded. Fixed an exponent function \(p(\cdot )\), we denote \(\,\Omega _1^{p(\cdot )}(\equiv \Omega _1)\,\) the subset of \(\Omega \) defined by \(\Omega _1:=p^{-1}(\{1\})\).
Given a sequence \((p_n)\) in \([1,\infty )\), the Nakano sequence space \(\ell _{p_n}\) is the Banach lattice of sequences \((x_n)\) such that \(\sum _{n=1}^{\infty }\left| \frac{x_n}{r}\right| ^{p_n}<\infty \) for some \(r>0\), equipped with the Luxemburg norm
We refer to [4, 6, 7, 16] for other definitions and basic facts regarding variable exponent Lebesgue spaces and Banach function spaces.
3 \(L^{p(\cdot )}\) equi-integrability
Given a Banach function space \(E(\Omega )\), a subset \(S\subset E(\Omega )\) is equi-integrable if, for every decreasing sequence of measurable sets \((A_n)\) in \(\Omega \) with zero measure intersection (denoted shortly by \(A_n\searrow \emptyset \)),
A subset \(S\subset E(\Omega )\) is said to be uniformly integrable if
In Banach function spaces on finite measure spaces, both properties are equivalent (cf. [15] Lemma 2.1) However, for infinite measure spaces, uniform integrability is not enough for getting equi-integrability and an additional condition is required.
Proposition 3.1
Let \(E(\Omega )\) be an order continuous Banach function space on an infinite measure space \((\Omega ,\mu )\) and let \(S\subset E(\Omega )\) bounded. Then, S is equi-integrable if and only if it is uniformly integrable and it decays uniformly at infinity, i.e. for every \(\varepsilon >0\) there exists \(A\subset \Omega \) with \(\mu (A)<\infty \) such that
Let us first characterize equi-integrability by a more suitable property:
Lemma 3.2
Let \(E(\Omega )\) be an order continuous Banach function space and \(S\subset E(\Omega )\). Then, S is equi-integrable if and only if, for every disjoint sequence of measurable sets \((A_n)\),
Proof
Let S be equi-integrable. For every disjoint sequence \((A_n)\) in \(\Omega \), take the decreasing sequence \((B_n)\) defined by \(B_n:=\bigcup _{m=n}^\infty A_m\) which satisfies \(B_n\searrow \emptyset \). Then,
Conversely, if S is not equi-integrable, there exist \(\varepsilon >0\), a decreasing sequence \(A_n\searrow \emptyset \) in \(\Omega \) and a sequence \((f_n)\) in S such that, for all \(n\in {\mathbb {N}}\),
Now, using that \(E(\Omega )\) is order continuous, given \(n_1\in {\mathbb {N}}\) we can find \(n_2>n_1\) large enough so that, for \(B_1=A_{n_1}\setminus A_{n_2}\),
Then, we can find \(n_3\) large enough so that, for \(B_2=A_{n_2}\setminus A_{n_3}\),
Thus, we can define the disjoint sequence \((B_m)\) by \(B_m:=A_{n_m}\setminus A_{n_{m+1}}\) from the subsequence \((A_{n_m})\) and, taking the subsequence \((f_{n_m})\), for every \(m\in {\mathbb {N}}\) we get
ending the proof. \(\square \)
Proof of Proposition 3.1
If \(\lim _{\mu (A)\rightarrow 0} \sup _{f\in S}\Vert f\chi _{A}\Vert \not =0\), we can take a sequence \((A_n)\) in \(\Omega \) with \(\mu (A_{n+1})\le \frac{\mu (A_n)}{2}\) and a sequence \((f_n)\) in S such that
Fixed some \(n_1\), take \(n_2\) large enough so that
Then, we can take \(n_3\) large enough so that
Thus, we construct the disjoint sequence \((B_m)\), where \(B_m:= A_{n_m}\setminus \bigcup _{k=n_{m+1}}^{\infty } A_{k}\), which satisfies, for every natural m,
Hence, by Lemma 3.2, S is not equi-integrable.
Assume now that there exists some \(\varepsilon >0\) such that, for every A with \(\mu (A)<\infty \), it holds \(\sup _{f\in S} \Vert f \chi _{\Omega \setminus A}\Vert \ge \varepsilon \). Then we can take an increasing sequence of sets \((A_n)\nearrow \Omega \) of finite measure and \((f_n)\) in S such that, for all \(n\in {\mathbb {N}}\),
Now, as before, fixed \(n_1\) take \(n_2\) large enough so that
In the same way, we define the disjoint sequence \((B_m)\) by \(B_m=A_{n_{m+1}}\setminus A_{n_{m}}\) satisfying
so S is not equi-integrable.
Conversely, assume that, given \(\varepsilon >0\), by (\(*\)) there exists \(\delta >0\) so that, for every A with \(\mu (A)<\delta \),
And by (\(**\)), take \(B\subset \Omega \) with \(\mu (B)<\infty \) such that
Then, for every disjoint sequence \((A_n)\), as \((A_n\cap B)\subset B\), for n large enough we have \(\mu (A_n\cap B)< \delta \), hence
Thus, by Lemma 3.2, S is equi-integrable. \(\square \)
Conditions (\(*\)) and (\(**\)) separately do not imply \(L^{p(\cdot )}\)-equi-integrability. The set \(S_1=\{\chi _{[n,n+1)} : n\in {\mathbb {N}}\}\) in a separable \({L^{p(\cdot )}(0,\infty )}\) space satisfies (\(*\)), but it is not equi-integrable. Neither the set \(S_2=\{\frac{\chi _{A_n}}{\mu (A_n)^{\frac{1}{p(\cdot )}}} : n\in {\mathbb {N}}\}\), where \((A_n)\) is a disjoint sequence contained in a set \(A \subset \Omega \) of finite measure, is equi-integrable in spite of satisfying (\(**\)).
Recall that an inclusion operator \({L^{q(\cdot )}(\Omega )}\subset {L^{p(\cdot )}(\Omega )}\) is said to be L-weakly compact when the unit ball \(B_{L^{q(\cdot )}}\) is an equi-integrable set in \({L^{p(\cdot )}(\Omega )}\). In [14] it is studied the L-weak compactness of inclusions \({L^{q(\cdot )}(\Omega )}\subset {L^{p(\cdot )}(\Omega )}\) for \(\mu (\Omega )<\infty \). In this case of finite measures, the inclusion \({L^{q(\cdot )}(\Omega )}\subset {L^{p(\cdot )}(\Omega )}\) holds if and only if \(p(\cdot )\le q(\cdot )\). A sufficient condition for this inclusion to be L-weakly compact is that \(ess\inf _{t\in \Omega } (q(t)-p(t))>0\) (but it is not necessary) (see [14] Proposition 3.4).
Inclusions between variable exponent Lebesgue spaces for infinite measure spaces are more restricted but nonetheless they exist (in contrast with the behavior of classical Lebesgue spaces \(L_p\)). The following is known (cf. [7] Theorem 3.3.1. See also [6] and [2]):
Proposition 3.3
The inclusion \({L^{q(\cdot )}(\Omega )}\subset {L^{p(\cdot )}(\Omega )}\) holds if and only if \(p(t)\le q(t)\) a.e-\(t\in \Omega \) and there exists \(\lambda >1\) such that
where \(\Omega _d=\{t\in \Omega : p(t)<q(t)\}\) and \(r(\cdot )\) is the defect exponent defined by \(\frac{1}{r(\cdot )}:=\frac{1}{p(\cdot )}-\frac{1}{q(\cdot )}\).
Let us remark that if the inclusion \({L^{q(\cdot )}(\Omega )}\subset {L^{p(\cdot )}(\Omega )}\) holds and \(\mu (\Omega _d)=\infty \), then for every \(\varepsilon >0\) the set \(D_\varepsilon :=\{t\in \Omega _d: q(t)<p(t)+\varepsilon \}\) has infinite measure.
Indeed, assume that there exists \(\varepsilon >0\) such that \(\mu (D_\varepsilon )<\infty \). Then, \(\mu (\Omega _d\setminus D_\varepsilon )=\infty \) with \(r^+_{\vert \Omega _d\setminus D_\varepsilon }\le \frac{p^+ q^+}{\varepsilon }<\infty \). Hence, for every \(\lambda >1\),
which, using the above Proposition, gives a contradiction.
Theorem 3.4
Let \({L^{p(\cdot )}(\Omega )}\) and \({L^{q(\cdot )}(\Omega )}\) with \(\mu (\Omega )=\infty \). If the inclusion \({L^{q(\cdot )}(\Omega )}\subset {L^{p(\cdot )}(\Omega )}\) holds, then it is not L-weakly compact.
Proof
To prove this theorem, it will be enough to find a disjoint sequence \((f_n)\) which be seminormalized in \({L^{p(\cdot )}(\Omega )}\) as well as in \({L^{q(\cdot )}(\Omega )}\). To do so, we distinguish two cases. If \(\mu (\Omega _d)<\infty \), then \(\mu (\Omega \setminus \Omega _d)>0\). Hence, as \(p(t)\le q(t)\) for almost every \(t\in \Omega \) for the inclusion to hold, \(L^{q(\cdot )}(\Omega \setminus \Omega _d)=L^{p(\cdot )}(\Omega \setminus \Omega _d)\) and every disjoint sequence of functions \((f_n)\) supported in \(\Omega \setminus \Omega _d\) will have equal norm in \({L^{p(\cdot )}(\Omega )}\) and in \({L^{q(\cdot )}(\Omega )}\).
If, on the contrary, \(\mu (\Omega _d)=\infty \), we take \((f_n:=\chi _{A_n})\), where \((A_n)\) is a disjoint sequence satisfying that \(\mu (A_n)=1\) and, for every natural n,
Indeed, in that case we have
and
and, using ( [19], cf. [13] Lemma 3.2), we have \(\ell _{p^-_{\vert _{A_n}}}\simeq \ell _{p^+_{\vert _{A_n}}}\simeq \ell _{q^-_{\vert _{A_n}}}\simeq \ell _{q^+_{\vert _{A_n}}}\). Hence, we deduce \([f_n]_{p(\cdot )}\simeq [f_n]_{q(\cdot )}\).
From the above remark it follows that \(\mu (D_{\frac{1}{2n}})=\infty \) for every natural n. We take a finite partition \(1= x_1<...<x_i<...< x_m=q^+\), \(1\le i\le m\), of the interval \([1,q^+]\) where \(x_{i+1}-x_i<\frac{1}{2n}\) for every i. We can ensure that, for some j,
Now, due to the definition of \(D_{\frac{1}{2n}}\), it is also true that
Thus, we deduce that there exists an infinite measure set \(E_{n}\) (the set above) such that
Finally, since \(\mu (E_n)=\infty \) for each natural n, we take the subsets which satisfy the required properties, namely \(A_n\subset \left( E_n\setminus (\bigcup _{i=1}^{n-1} A_i)\right) \) having \(\mu (A_n)=1\). \(\square \)
For example, the inclusion \(L^{\frac{2t+3}{t+1}}(0,\infty )\subset L^{\frac{2t+3}{t+2}}(0,\infty )\) is not L-weakly compact.
4 Weak compactness in \({L^{p(\cdot )}(0,\infty )}\)
In this section we study the weak compactness of subsets of \({L^{p(\cdot )}(0,\infty )}\) spaces defined on the infinite interval \((0,\infty )\) with the Lebesgue measure \(\mu \). Weak compactness is derived from the equi-integrability (cf. [18] Proposition 3.6.5), but the converse is not true in general. We will use an isometric representation of \({L^{p(\cdot )}(0,\infty )}\) as a space \(L^{q(\cdot )}(0,1)\) on the finite interval for a suitable exponent \(q(\cdot )\) to obtain weak compactness criteria in \({L^{p(\cdot )}(0,\infty )}\) from the ones given in [14] for finite measures.
Fixed an exponent function \(p(\cdot )\) on \((0,\infty )\), let \(\tau :(0,1)\rightarrow (0,\infty )\) be an dipheomorphism (for example the tangent function \(\tau (s)=\tan (\frac{\pi }{2}s)\)). If we consider the exponent function \(q(\cdot ):(0,1)\rightarrow [1,\infty )\) defined by \(q(s):=p(\tau (s))\), we have, for \(f\in L^{p(\cdot )}(0,\infty )\),
Thus, the operator \(T_{\tau }: L^{p(\cdot )}(0,\infty )\rightarrow L^{q(\cdot )}(0,1)\) defined by
is an isomodular lattice isomorphism. The inverse operator \(T_\tau ^{-1}\) is given by
This representation has been already used in ( [23] Lemma 3.2) for other purposes. Given \(S\subset L^{p(\cdot )}(0,\infty )\), we study now the weak compactness of \(T_{\tau }(S)\).
Recall that in the case of finite measures we have ( [14] Theorem 4.2) that a subset \(S \subset {L^{p(\cdot )}(\Omega )}\), for \(\mu (\Omega )<\infty \) and \(p^+<\infty \), is relatively weakly compact if and only if S is norm bounded and, for each \(g\in L^{p^*(\cdot )}(\Omega )\),
Thus, applying this and the isometry \(T_{\tau }\) (shortly denoted by T), we get that \(S\subset {L^{p(\cdot )}(0,\infty )}\) is relatively weakly compact if and only if, for every \(g\in L^{q^*(\cdot )}(0,1)\),
with \(q(s)=p(\tau (s))\). Consider now the isometry \(T_*: L^{p^*(\cdot )}(0,\infty )\rightarrow L^{q^*(\cdot )}(0,1)\)
As \(T_{*}(L^{p^*(\cdot )}(0,\infty ))=L^{q^*(\cdot )}(0,1)\) coincides with the dual of \(T(L^{p(\cdot )}(0,\infty ))=L^{q(\cdot )}(0,1)\), we can rewrite the above expression as
for \(g\in L^{p^*(\cdot )}(0,1)\). Equivalently, \(S\subset {L^{p(\cdot )}(0,\infty )}\) is relatively weakly compact if, for each \(g\in L^{p^*(\cdot )}(0,\infty )\), the set \(S'_g=\{Tf \cdot T_*g : f\in S \}\) is uniformly integrable in \(L_1(0,1)\). As this is equivalent to being equi-integrable (for finite measure spaces), we rewrite the expression as
So, we can give a weak compactness criteria in \(L^{p(\cdot )}(0,\infty )\) in terms of equi-integrability:
Theorem 4.1
Let \(L^{p(\cdot )}(0,\infty )\) with \(p^{+}<\infty \). A subset \(S \subset L^{p(\cdot )}(0,\infty )\) is relatively weakly compact if and only if it is norm bounded and, for each \(g\in L^{p^*(\cdot )}(0,\infty )\) and each sequence of measurable sets \(A_n\searrow \emptyset \),
Proof
Through the previous reasoning, we need only to show that, for \(A_n\searrow \emptyset \) in \((0,\infty )\),
if and only if, for \(E_n\searrow \emptyset \) in (0, 1),
This is easily proved using Lemma 3.2 and that the dipheomorphisms \(\tau \) and \(\tau ^{-1}\) preserve disjointness. Indeed, if there exist a disjoint sequence \((A_n)\) in \((0,\infty )\) and \((f_n)\) in S such that
we obtain, using the change of variable \(t=\tau (s)\), another disjoint sequence \((\tau ^{-1}(A_n))\) in (0, 1) such that
(using that \(\frac{dt}{ds}=\tau '(s)=\tau '(s)^{\frac{1}{q(s)}+\frac{1}{q^*(s)}}\)).
Analogously, if there exist a disjoint sequence \((E_n)\) in (0, 1) and \((f_n)\) in S such that
we obtain, using the change of variable \(s=\tau ^{-1}(t)\), another disjoint sequence \((\tau (E_n))\) in \((0,\infty )\) such that
\(\square \)
Now, by Proposition 3.1, we deduce that weakly compact sets \(S\subset {L^{p(\cdot )}(0,\infty )}\) are characterized as those sets which satisfy, for every \(g\in L^{p^*(\cdot )}(0,\infty )\), that
and that, for every \(\varepsilon >0\), there exists some \(A\subset (0,\infty )\) with \(\mu (A)<\infty \) such that
Another criterion for finite measure spaces (given in [14] Proposition 4.3) states that in \({L^{p(\cdot )}(\Omega )}\) with \(\mu (\Omega _1)=0\), a subset \(S\subset {L^{p(\cdot )}(\Omega )}\) is relatively weakly compact if and only if
As the zero measure sets are preserved under \(\tau \), we can apply the isometry T again obtaining that \(S\subset L^{p(\cdot )}(0,\infty )\) is relatively weakly compact if and only if
And we can enunciate it avoiding to leave the space \(L^{p(\cdot )}(0,\infty )\):
Theorem 4.2
Let \({L^{p(\cdot )}(0,\infty )}\) with \(p_+<\infty \) and \(\mu (\Omega _1)=0\). A subset \(S\subset L^{p(\cdot )}(0,\infty )\) is relatively weakly compact if and only if it is norm bounded and
Proof
We just have to prove that this condition is equivalent to:
But, as the isometry T is also isomodular, it is clear that
\(\square \)
If \(\mu (\Omega _1)>0\), combining the above result and Dunford-Pettis Theorem 1.1 we get:
Theorem 4.3
Let \( {L^{p(\cdot )}(0,\infty )}\) with \(p^{+}<\infty \). A subset \(S \subset {L^{p(\cdot )}(0,\infty )}\) is relatively weakly compact if and only if it is norm bounded,
and
We pass to characterize weakly convergent sequences in \({L^{p(\cdot )}(0,\infty )}\):
Proposition 4.4
Let \({L^{p(\cdot )}(0,\infty )}\) with \( p^{+} <\infty \) and a sequence \((f_{n})\) and f in \({L^{p(\cdot )}(0,\infty )}\). Then, \(f_{n}\rightarrow f\) weakly if and only if
-
(i)
\(\lim _{n} \int _{A} (f_{n}-f) d\mu = 0\) for each \(A\in \Sigma \) with \(\mu (A)<\infty \),
-
(ii)
\(\lim _{\mu (A)\rightarrow 0} \sup _{n} \int _A \vert (f_{n}-f) g\vert d\mu = 0\) for each function \(g\in L^{p^{*}(\cdot )}(0,\infty )\), and
-
(iii)
For each function \(g\in L^{p^{*}(\cdot )}(0,\infty )\) and for each \(\varepsilon >0\), there exists some \(A\in \Sigma \) with \(\mu (A)<\infty \) such that \(\, \sup _{n\in {\mathbb {N}}} \int _{(0,\infty )\setminus A} \vert (f_{n}-f) g\vert d\mu \le \varepsilon \).
Proof
\((\Rightarrow ):\) Clearly, (i) holds since \(\chi _{A} \in L^{p^{*}(\cdot )}\), and conditions (ii) and (iii) follow from above Theorem 4.1 and Proposition 3.1.
\((\Leftarrow ):\) We can assume w.l.o.g. \(f=0\). If \(g\in L^{p^{*}(\cdot )}(0,\infty )\) is a simple function with finite measure support, then it follows directly from (i) that \(\lim _{n} \int _{0}^\infty f_{n}g d\mu = 0\). Assume now that g is a bounded function. Given \(\varepsilon > 0\), by condition (iii) there exists \(A\subset (0,\infty )\) with \(\mu (A)<\infty \) such that
and we can take a simple function \(g_{s}\) such that \(\Vert (g-g_{s})\chi _{A}\Vert _{\infty } < \frac{\varepsilon }{3}\). Thus,
and hence \(\int _{0}^\infty |f_{n} g| d\mu \le \varepsilon \) for \(n\in {\mathbb {N}}\) large enough.
Now, for an arbitrary \(g\in L^{p^{*}(\cdot )}(0,\infty )\), by condition (ii), there exists \(\delta > 0\) such that \(\int _{A} |f_{n} g| d\mu < \frac{\varepsilon }{2}\) if \(\mu (A) < \delta \). Consider \(G_{m}= \{t \in (0,\infty ): |g(t)|\le m\}\) with m large enough so that \(\mu (G_{m}^{c}) < \delta \). Then,
Since \(g\chi _{G_m}\) is bounded, we have \(\int _{0}^\infty |f_{n} g| d\mu \le \varepsilon \) from \(n\in {\mathbb {N}}\) large enough. \(\square \)
Proposition 4.5
Let \({L^{p(\cdot )}(0,\infty )}\) with \(p^+<\infty \) and \(\mu (\Omega _1)=0\). A sequence \((f_{n})\) in \({L^{p(\cdot )}(0,\infty )}\) converges weakly to \(f\in {L^{p(\cdot )}(0,\infty )}\) if and only if
-
(i)
\(\lim _{n} \int _{A} f_{n} d\mu = \int _{A} f d\mu \) for each \(A\in \Sigma \) with \(\mu (A)<\infty \), and
-
(ii)
\(\lim _{\lambda \rightarrow 0}\sup _{n\in {\mathbb {N}}} \frac{1}{\lambda }\int _{0}^\infty \vert \lambda ( f_{n}-f) \vert ^{p(t)} d\mu = 0\).
Proof
Clearly, (i) is equivalent to condition (i) in the above Proposition 4.4 and, using Therorem 4.2, we get also condition (ii).
Conversely, let \(g\in L^{p^*(\cdot )}(0,\infty )\) and \(r>0\) such that \(\int _{0}^\infty \vert rg(t)\vert ^{p^{*}(t)}d\mu <\infty \). By hypothesis (ii), given \(\varepsilon >0\), there exists \(\lambda _0>0\) such that
Take \(A\subset (0,\infty )\) with \(\mu (A)<\infty \) such that
Take \(\delta >0\) such that, for every measurable set E with \(\mu (E)<\delta \),
Thus, using Young inequality ( [7] Lemma 3.2.20), we have:
as well as
and so the conditions (iii) and (ii) of the above Proposition 4.4 are respectively satisfied. Thus, we conclude that \((f_n)\) is weakly convergent to f. \(\square \)
Another consequence of the isometric representation of \({L^{p(\cdot )}(0,\infty )}\) as \(L^{q(\cdot )}(0,1)\) for \(q(s)=p(\tau (s))\) is (using [14] Theorem 5.1):
Proposition 4.6
A \({L^{p(\cdot )}(0,\infty )}\) space is weakly Banach-Saks if and only if \(p^+<\infty \).
5 A representation of \({L^{p(\cdot )}(\Omega )}\)
In this section \((\Omega ,\Sigma ,\mu )\) will denote an abstract non-atomic separable \(\sigma \)-finite measure space (i.e. \(\Sigma \) endowed with the usual metric \(d([A],[B])=\mu ((A\setminus B)\cup (B\setminus A))\), for \(A,B\in \Sigma \), is separable). The real interval \((0,\infty )\) with the Lebesgue measure will be denoted by \(((0,\infty ),{\mathcal {B}},\lambda )\). In the previous Sect. 4, we have obtained weak compactness criteria in \({L^{p(\cdot )}(0,\infty )}\) by using the lattice isometry \(T_\tau \) between \({L^{p(\cdot )}(0,\infty )}\) and a certain \(L^{q(\cdot )}(0,1)\) space. We would like now to formulate this result for general separable \(\sigma \)-finite measure spaces \((\Omega ,\mu )\). In order to do it, we are going to give a lattice isomorphic representation of the space \({L^{p(\cdot )}(\Omega )}\) as a certain variable exponent space \(L^{\widehat{p}(\cdot )}(0,\infty )\) in the interval \((0,\infty )\). For that, we will use a version of the classical Carathéodory Theorem on algebras of measure for \(\sigma \)-finite measure spaces. Recall that \({\mathcal {N}}_\mu \) and \({\mathcal {N}}_\lambda \) are the classes of subsets of measure zero in \(\Omega \) and \((0,\infty )\) respectively.
Theorem 5.1
(Carathéodory, [22] page 399) Let \((\Omega ,\Sigma , \mu )\) be a non-atomic separable finite measure space and \(((0,\mu (\Omega )),{\mathcal {B}},\lambda )\) be the interval \((0,\mu (\Omega ))\) with the \(\sigma \)-algebra of Borel sets \({\mathcal {B}}\) and the Lebesgue measure \(\lambda \). Then, there exists an isomorphism between the algebras of measure \(\phi : \Sigma /{\mathcal {N}}_\mu \rightarrow {\mathcal {B}}/{\mathcal {N}}_\lambda \) that preserves the measures i.e. \(\lambda (\phi (A))=\mu (A)\).
For \(\sigma \)-finite measure spaces, we have the following extension:
Proposition 5.2
Let \((\Omega ,\Sigma , \mu )\) be a non-atomic separable \(\sigma \)-finite measure space and \(((0,\infty ),{\mathcal {B}},\lambda )\). Then, there exists an isomorphism \(\phi : \Sigma /{\mathcal {N}}_\mu \rightarrow {\mathcal {B}}/{\mathcal {N}}_\lambda \) that preserves the measures i.e. \(\lambda (\phi (A))=\mu (A)\).
Proof
Since \(\Omega \) is \(\sigma \)-finite, consider a sequence \((A_n)\) of sets with \(\mu (A_n)<\infty \) such that \(\Omega =\bigcup _{n=1}^{\infty } A_n\). Taking \(B_n:=A_n\setminus \bigcup _{i<n} A_i\), we have \(\Omega =\bigcup _{n=1}^{\infty } B_n\) with \((B_n)\) mutually disjoint and \(\mu (B_n)<\infty \). Thus, if we take an increasing sequence \((x_n)\nearrow \infty \) in \((0,\infty )\) with \(x_1=0\) and, for all \(n\in {\mathbb {N}}\), \(\, x_{n+1}-x_n=\mu (B_n)\), then the above Carathéodory theorem says that, for every natural n, the measure spaces \((B_n,\Sigma \vert _{B_n},\mu \vert _{B_n})\) and \(((x_n,x_{n+1}], {\mathcal {B}}\vert _{(x_n,x_{n+1}]}, \lambda \vert _{(x_n,x_{n+1}]})\) are isomorphic (modulo sets of zero measure). Also, \((\bigcup _{n=1}^{\infty } \Sigma \vert _{B_n})/{\mathcal {N}}_\mu =\bigcup _{n=1}^{\infty }(\Sigma \vert _{B_n}/{\mathcal {N}}_\mu )\) and \((\bigcup _{n=1}^{\infty } {\mathcal {B}}\vert _{(x_n, x_{n+1}]})/{\mathcal {N}}_\lambda =\bigcup _{n=1}^{\infty }({\mathcal {B}}\vert _{(x_n, x_{n+1}]}/{\mathcal {N}}_{\lambda })\). In consequence, \(\Sigma /{\mathcal {N}}_\mu \) and \({\mathcal {B}}/{\mathcal {N}}_\lambda \) are isomorphic too. \(\square \)
We can now pursue a representation Theorem. To begin with, given the measure preserving isomorphism \(\phi \) from \(\Sigma /{\mathcal {N}}_\mu \) to \({\mathcal {B}}/{\mathcal {N}}_\lambda \), take any simple function \(S=\sum _{n\in \Delta } a_n\chi _{A_n}\) in \(L_0(\Omega )\) (we assume simple functions in this section with the canonical decomposition, i.e. \((A_n)\) is a disjoint finite sequence such that \(\Omega =\bigcup _{n\in \Delta } A_n\)). Define the transformation
into a simple function in \(L_0(0,\infty )\). Recall that given a positive measurable function f, there exists an increasing sequence of simple functions \((S_n)\) such that \(S_n\nearrow f\) pointwise (cf. [5]). Thus, for a positive function \(f\in L_0(\Omega )\), we define the transformation
into \(L_0(0,\infty )\), where \((S_n)\) is an increasing sequence of positive simple functions such that \(S_n\nearrow f\), since the sequence \((\widehat{S_n})\) is also increasing a.e-\(\lambda \). The next proposition shows that \(\widehat{f}\) is well defined.
Proposition 5.3
Let \((S_n)\) and \((R_n)\) be increasing sequences of positive simple functions in \(L_0(\Omega )\) such that both \(S_n\nearrow f\), \(R_n\nearrow f\) pointwise. Then, both \(\widehat{S_n}\nearrow \widehat{f}\) and \(\widehat{R_n}\nearrow \widehat{f}\).
Proof
As \((\widehat{S_n})\) and \((\widehat{R_n})\) are increasing sequences, they have a \(\lambda \)-pointwise limit, noted \(\widehat{S_n}\nearrow \widehat{f}\) and \(\widehat{R_n}\nearrow \widehat{g}\). We have to prove that \(\widehat{f}(s)=\widehat{g}(s)\) a.e-\(\lambda \). Assume there is \(\varepsilon >0\) such that,
Then, we can take \(C\subset D_\varepsilon \) with \(0<\mu (C)<\infty \). Let \(A=\phi ^{-1}(C)\in \Sigma \) so \(\mu (A)=\lambda (C)\). By Egorov’s theorem, we can suppose w.l.o.g. that the convergence on C (and on \(\phi ^{-1}(C)=A\)) is uniform, i.e, \(S_n\vert _{A}\nearrow f\vert _{A}\), \(R_n\vert _{A}\nearrow f\vert _{A}\), \(\widehat{S_n}\vert _{C}\nearrow \widehat{f}\vert _{C}\) and \(\widehat{R_n}\vert _{C}\nearrow \widehat{g}\vert _{C}\) uniformly. So,
and then \(\vert \widehat{S_n} - \widehat{R_n}\vert \rightarrow 0\) uniformly on C. Finally,
uniformly in C, which is a contradiction. \(\square \)
Similarly, it holds that if \((S_n)\) is a decreasing sequence of positive simple functions in \(L_0(\Omega )\) such that \(S_n\searrow f\) pointwise, then, \(\widehat{S_n}\searrow \widehat{f}\) a.e-\(\lambda \).
We pass to extend this map to general measurable functions, getting an isometry between the spaces \({L^{p(\cdot )}(\Omega )}\) and \(L^{\widehat{p}(\cdot )}(0,\infty )\) for non-atomic separable \(\sigma \)-finite measure spaces \((\Omega ,\mu )\).
Theorem 5.4
Let \(L^{p(\cdot )}(\Omega )\) with \(p^+<\infty \) on a non-atomic separable \(\sigma \)-finite measure space \((\Omega ,\mu )\). The operator \(T_\phi : {L^{p(\cdot )}(\Omega )}\rightarrow L^{\widehat{p}(\cdot )}(0,\infty )\) defined by
where \(f=f^+-f^-\), is an isomodular lattice isomorphism, i.e. for every \(f\in {L^{p(\cdot )}(\Omega )}\) and denoting \(T_\phi (f)= \widehat{f}\),
Before we prove this theorem we state several easy preliminary lemmas.
Lemma 5.5
Let \(f,g\in L_0(\Omega )\) with \(f,g\ge 0\). Then, \(\widehat{f+g}=\widehat{f}+\widehat{g}\).
Proof
Let \(S_n\nearrow f\) and \(R_n\nearrow g\) pointwise with \((S_n)\) and \((R_n)\) increasing simple functions. We can write
As \(S_n+R_n\nearrow f+g\), we have
\(\square \)
Lemma 5.6
Let \(f,g\in L_{0}(\Omega )\) with \(g< 0\) and \(f\ge \vert g\vert \). Then, \(\widehat{f+g}=\widehat{f}+\widehat{g}\).
Proof
Firstly, suppose that g has a finite measure support. Then, we can take increasing sequences of simple functions \((S_n)\) and \((R_n)\) such that \(S_n\nearrow f\) and \(R_n\nearrow g\) (which exists as g has a finite measure support). Hence, \(S_n+R_n \nearrow f+g\), so (for \(\widehat{g}=\lim _{n\rightarrow \infty }-(\widehat{-R_n})\))
Now, if g has an infinite measure support, let us take \(f_n:=f\chi _{\Omega _n}\) and \(g_n:=g\chi _{\Omega _n}\) for a sequence \((\Omega _n)\nearrow \Omega \) with \(\mu (\Omega _n)<\infty \). As, \(f_n+g_n\nearrow f+g\), then \(\widehat{f_n+g_n}\nearrow \widehat{f+g}\). But, for each \(n\in {\mathbb {N}}\), we have \(\widehat{f_n+g_n}=\widehat{f_n}+\widehat{g_n}\) and \(\widehat{f_n}+\widehat{g_n}\nearrow \widehat{f}+\widehat{g}\), so we conclude \(\widehat{f+g}=\widehat{f}+\widehat{g}\). \(\square \)
Lemma 5.7
Let \(p(\cdot )\) be an exponent function and \(f\in L_0(\Omega )\) with \(f\ge 0\) and finite measure support. Then, \(\widehat{f^p}=\widehat{f}^{\,\widehat{p}}\).
Proof
As \(f=f\chi _{\{f\ge 1\}} + f\chi _{\{0\le f < 1\}}\), by Lemma 5.5 we just need to show \(\widehat{f^p}=\widehat{f}^{\,\widehat{p}}\) for \(f\ge 1\) and for \(0\le f<1\). Both proofs are similar, so we just do the \(0\le f<1\) case. Let \(S_n=\sum _{k\in \Delta _n} a_{n_k}\chi _{A_{n_k}}\ge 1\) be an increasing sequence of simple functions such that \(S_n\nearrow p\) and let \(R_n=\sum _{j\in \Gamma _n} b_{n_j}\chi _{B_{n_j}}\le 1\) be a decreasing sequence of simple functions with \(R_n\searrow f\) (which exists since f has a finite measure support). Then, the sequence of simple functions \((R_n^{S_n})\) is decreasing and \(R_n^{S_n}\searrow f^p\) pointwise. Hence,
\(\square \)
Note that it is also easily deduced that \(\widehat{f\chi _{A}}=\widehat{f}\chi _{\phi (A)}\). We are now ready to
Proof of Theorem 5.4
First, let us show that \(T_\phi \) is linear. Given \(f,g\in L_0(\Omega )\), we have
so we just have to apply Lemmas 5.5 and 5.6 to get \(\widehat{f+g}=\widehat{f}+\widehat{g}\). Also, trivially \(\widehat{cf}=c\widehat{f}\) for any constant c.
Now we have to show that, for every \(f\in {L^{p(\cdot )}(\Omega )}\),
We only need to do it for positive functions, since
Suppose first that \(f\ge 0\) has a finite measure support. Then, we can take sequences of simple functions \((p_n)\), \((S_n)\) and \((R_n)\) such that \((p_n)\nearrow p(\cdot )\), \((S_n)\nearrow f\chi _{\{f\ge 1\}}\) and \((R_n)\searrow f\chi _{\{f< 1\}}\). Hence, by the Lebesgue Theorem and Lemma 5.7,
Suppose now that \(f\ge 0\) has an infinite measure support. Then, we can take \((\Omega _n)\nearrow \Omega \) such that \(\mu (\Omega _n)<\infty \) for every natural n. As \(\int _{\{f\ge 1\}} f^p(\cdot )<\infty \), then \(f\chi _{\{f\ge 1\}}\) has a finite measure support and \(f\chi _{\{f< 1\}}\) has an infinite measure support. Let us define \(f_n:=f\chi _{\Omega _n}\). Hence, every \(f_n\) has a finite measure support and, by the dominated convergence theorem, we have
Finally, it is clear that \(T_\phi \) is onto using that it is isomodular and that \(\phi \) is biyective. \(\square \)
It is worth noting that if we compose the above isometry operator \(T_\phi \) with the isometry operator \(T_\tau \) considered in Sect. 4, we get the following representation theorem:
Corollary 5.8
Every \({L^{p(\cdot )}(\Omega )}\) space with \(p^+<\infty \) on a non-atomic separable \(\sigma \)-finite measure space \((\Omega ,\mu )\) is isomodular lattice isomorphic to \(L^{q(\cdot )}(0,1)\) for a suitable exponent function \(q(\cdot )\) with the same essential ranges \(R_{p(\cdot )}=R_{q(\cdot )}\).
Remark 5.9
The above is not true in the class of Orlicz spaces: there exist separable Orlicz spaces \(L^{\varphi }(\mu )\) for an infinite measure \(\mu \) that are not isomorphic to any Orlicz space \(L^{\psi }(0,1)\) (for example the Orlicz spaces \(L^{\varphi }(\mu )=L_p+L_q(0,\infty )\) for \(1<p<q<2\), see [16] page 210).
We pass now to give some applications of the above representation theorem. Thus, several results given in Sect. 4 for spaces \(L^{p(\cdot )}(0,\infty )\) are now easily extended to the framework of \({L^{p(\cdot )}(\Omega )}\) spaces for non-atomic separable \(\sigma \)-finite measure spaces \((\Omega ,\mu )\).
Proposition 5.10
Let \(L^{p(\cdot )}(\Omega )\) with \(p^{+}<\infty \). A subset \(S \subset L^{p(\cdot )}(\Omega )\) is relatively weakly compact if and only if S is norm bounded and, for each \(g\in L^{p^*(\cdot )}(\Omega )\) and each sequence of measurable sets \(A_n\searrow \emptyset \),
Proof
Given \(S \subset L^{p(\cdot )}(\Omega )\), consider \(\widehat{S}\subset L^{\widehat{p}(\cdot )}(0,\infty )\) as in above Theorem 5.4. Since both spaces are isomorphic, S is relatively weakly compact if and only if \(\widehat{S}\) is relatively weakly compact. Thus, by Theorem 4.1 we have just to show that
if and only if
It is clear by Proposition that any decreasing sequence \(E_n\searrow \emptyset \) in \((0,\infty )\) can be expresed (up to a zero measure set) as \(E_n=\phi (A_n)\) for some decreasing sequence \(A_n\searrow \emptyset \) in \(\Omega \) with \(\mu (A_n)=\lambda (E_n)\), and vice versa. Furthermore, for all \(x\in {\mathbb {R}}\), we have \(\mu (\{t\in \Omega : (fg)(t)\le x\}) =\lambda (\{s\in (0,\infty ) : (\widehat{f}\widehat{g})(s)\le x\})\), so the integrals coincide and the equivalence is proved. \(\square \)
The following results are deduced similarly. Thus, from Theorem 4.3 and Dunford-Pettis Theorem 1.1 we get:
Proposition 5.11
Let \( {L^{p(\cdot )}(\Omega )}\) with \(p^{+}<\infty \). A subset \(S \subset {L^{p(\cdot )}(\Omega )}\) is relatively weakly compact if and only if it is norm bounded,
and
Also, from Proposition 4.6 we deduce that \({L^{p(\cdot )}(\Omega )}\) is weakly Banach-Saks if and only if \(p^+<\infty \).
Finally, criterion for the weak convergence follows from Proposition 4.5:
Proposition 5.12
Let \({L^{p(\cdot )}(\Omega )}\) with \( p^{+} <\infty \). A sequence \((f_{n})\) in \({L^{p(\cdot )}(\Omega )}\) converges weakly to \(f\in {L^{p(\cdot )}(\Omega )}\) if and only if the following three conditions hold:
-
(i)
\(\lim _{n} \int _{A} f_{n} d\mu = \int _{A} f d\mu \) for each \(A\in \Sigma \) with \(\mu (A)<\infty \),
-
(ii)
\(\lim _{\lambda \rightarrow 0}\, \sup _{n} \frac{1}{\lambda }\int _{\Omega \setminus \Omega _1} \vert \lambda ( f_{n}-f) \vert ^{p(t)} d\mu = 0\), and
-
(iii)
\(\lim _{A_k\searrow \emptyset }\, \sup _{n\in {\mathbb {N}}}\int _{A_k\cap \Omega _1} \vert f_n(t)-f(t)\vert d\mu =0\).
References
Andô, T.: Weakly compact sets in Orlicz spaces. Can. J. Math. 14, 170–176 (1962)
Bandaliev, R.A.: Embedding between variable exponent Lebesgue spaces with measures. Azerb. J. Math. 2, 119–126 (2012)
Bandaliev, R.A., Górka, P.: Relatively compact sets in variable-exponent Lebesgue spaces. Banach J. Math. Anal 12, 331–346 (2018)
Bennett, C., Sharpley, R.C.: Interpolation of Operators, vol. 129. Academic Press, New York (1988)
Cohn, D.L.: Measure Theory, 2nd edn. Birkhaüser, New York (2013)
Cruz-Uribe, D., Fiorenza, A.: Variable Lebesgue spaces: Foundations and Harmonic Analysis. Birkhaüser, Basel (2013)
Diening, L., Harjulehto, P., Hästö, P., Ružička, M.: Lebesgue and Sobolev spaces with variable exponents. Lecture Notes in Math., vol. 2017, (2011)
Dodds, P.G., Sukochev, F.A., Schlüchtermann, G.: Weak compactness criteria in symmetric spaces of measurable operators. Math. Proc. Camb. Phil. Soc. 131, 363–384 (2001)
Dong, B., Fu, Z., Xu, J.: Riesz-Kolmogorov theorem in variable exponent Lebesgue spaces and its applications to Riemann-Liouville fractional differential equations. Science China Math. 61, 1807–1824 (2018)
Dunford, N., Pettis, B.: Linear operators on summable functions. Trans. Am. Math. Soc. 471, 323–392 (1940)
Dunford, N., Schwartz, J.T.: Linear Operators, Part 1: General Theory. John Wiley & Sons Inc, New York (1988)
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)
Hernández, F.L., Ruiz, C.: Averaging and orthogonal operators on variable exponent spaces \({L}^{p(\cdot )}({\Omega })\). J. Math. Anal. Appl. 413, 139–153 (2014)
Hernández, F.L., Ruiz, C., Sanchiz, M.: Weak compactness in variable exponent spaces. J. Func. Anal. 281, 1–23 (2021)
Leśnik, K., Maligranda, L., Tomaszewski, J.: Weakly compact sets and weakly compact pointwise multipliers in Banach function lattices. Math. Nachr. 295, 274–292 (2022)
Lindenstrauss, J., Tzafriri, L.: Classical Banach spaces II, Springer-Verlag, (1979)
Lukes, J., Pick, L., Pokorný, D.: On geometric properties of the spaces \({L}^{p(x)}\). Rev. Mat. Complutense 24, 115–130 (2011)
Meyer-Nieberg, P.: Banach Lattices. Springer-Verlag, Berlin Heidelberg (1991)
Nakano, H.: Modulared sequence spaces. Proc. Japan Acad. 27, 411–415 (1951)
Nowak, M.: Weak compactness in Köthe-Bocher spaces and Orlicz-Bocher spaces. Indagationes Math. 10, 73–86 (1999)
Rao, M.M., Ren, Z.D.: Theory of Orlicz Spaces. Marcel Dekker, Inc., New York (1991)
Royden, H.L.: Real Analysis (3rd Ed.), Macmillan, (1988)
Ruiz, C., Sánchez, V.M.: Variable exponent Lebesgue spaces which are not Riesz isomorphic to their own square. RACSAM 114, 84 (2020)
Funding
Open Access funding provided thanks to the CRUE-CSIC agreement with Springer Nature.
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.
Francisco L. Hernández, César Ruiz: Partially supported by Grant PID2019-107701G-I00
Mauro Sanchiz: Partially supported by scholarship CT42/18-CT43/18.
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
Hernández, F.L., Ruiz, C. & Sanchiz, M. Weak compactness and representation in variable exponent Lebesgue spaces on infinite measure spaces. Rev. Real Acad. Cienc. Exactas Fis. Nat. Ser. A-Mat. 116, 152 (2022). https://doi.org/10.1007/s13398-022-01298-2
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s13398-022-01298-2