Relatively compact sets in variable-exponent Lebesgue spaces (Q1751641)

The authors study totally bounded sets in variable Lebesgue spaces over metric measure spaces with doubling measure. Let \((X,\varrho,\mu)\) be a metric measure space equipped with a metric \(\varrho\) and a doubling measure \(\mu\) and \(p:X\to(0,\infty]\) be a measurable map such that \(p_-:=\text{ess\,inf}_{x\in X}p(x)>0\) and \(p_+:=\mathrm{ess}\sup\limits_{x\in X}p(x)<\infty\). Suppose that \(L^{p(\cdot)}(X,\mu)\) is the set of all measurable functions \(f\) on \(X\) satisfying \(\int_X|f(x)|^{p(x)}d\mu(x)<\infty\). It is shown that a family \({\mathcal F}\subset L^{p(\cdot)}(X,\mu)\) is totally bounded in \(L^{p(\cdot)}(X,\mu)\) if {\parindent=6mm \begin{itemize}\item[(a)] there exists a constant \(M>0\) such that \[ \sup\limits_{f\in{\mathcal F}}\int_X |f(x)|^{p(x)}d\mu(x)\leq M; \] \item[(b)] there exists \(q\in(0,p_-)\) such that \[ \lim\limits_{r\to 0}\sup\limits_{f\in{\mathcal F}}\int_X\left(\frac{1}{\mu B(x,r)} |f(x)-f(y)|d\mu(y)\right)^{p(x)/q}d\mu(x)=0, \] where \(B(x,r)\) stands for the ball of radius \(r>0\) centered at \(x\in X\); \item[(c)] for some \(x_0\in X\), one has \[ \lim\limits_{R\to \infty}\sup\limits_{f\in{\mathcal F}}\int_{X\setminus B(x_0,R)}|f(x)|^{p(x)}d\mu(x)=0. \] \end{itemize}} If, in addition, \(1/p\) is globally \(\log\)-Hölder continuous, that is, there are constants \(C_1,C_2>0\) and \(p_\infty\in{\mathbb R}\) such that for all \(x,y\in X\), one has \(|1/p(x)-1/p(y)|\leq C_1/\log(e+1/\varrho(x,y))\) and \(|1/p(x)-p_\infty|\leq C_2/\log(e+\varrho(x,x_0))\) for some \(x_0\in X\), then it is shown that conditions (a)--(c) are also necessary for a family \({\mathcal F}\subset L^{p(\cdot)}(X,\mu)\) to be totally bounded in \(L^{p(\cdot)}(X,\mu)\).