A capacity approach to the Poincaré inequality and Sobolev imbeddings in variable exponent Sobolev spaces (Q1884578)

Given an open set \(\Omega\) in \(\mathbb R^n\) and a measurable function \(p\:\Omega\to[1,\infty)\) (called the variable exponent), the generalized Lebesgue space (or the Lebesgue spaces with a variable exponent) \(L^{p(\cdot)}(\Omega)\) consists of all measurable functions \(u\:\Omega\to\mathbb R\) with finite norm \(\| u\|_{p(\cdot)}=\inf\{\lambda>0: \int_\Omega| u(x)/\lambda|^{p(x)}dx\leq1\}\). The generalized Sobolev space \(W^{1,p(\cdot)}(\Omega)\) is then defined on this basis in analogy with the classical Sobolev space. The authors have recently paid rather systematical attention to the investigation of spaces with variable exponents. In this paper, they prove that for a bounded John domain \(\Omega\) and for \(p\) satisfying certain estimates, the Poincaré inequality \[ \| u-u_\Omega\|_{p(\cdot)}\leq C(1+| D|^2)| D|^{1/n-\varepsilon}\|\nabla u\|_{p(\cdot)} \] holds for every \(u\in W^{1,p(\cdot)}(\Omega)\), where \(u_\Omega=|\Omega|^{-1}\int_\Omega u(x)dx\) and the perturbation \(\varepsilon\) is equal to the oscillation of \(1/p\). It is well-known that in the classical case the constant in the Poincaré inequality can be expressed in the form \(C\text{\,diam}(\Omega)\). The authors prove that this holds true also for the variable exponent case under the assumptions that \(\Omega\) is a bounded uniform domain and \(p\) satisfies the 0-Hölder (or \(\log\)-Hölder) condition \[ | p(x)-p(y)|\leq A(\log| x-y|^{-1})^{-1} \] for every \(x,y\in\Omega\) with \(| x-y|\leq1/2\). Finally, they prove that the space \(W^{1,p(\cdot)}(\Omega)\) is embedded in \(L^\infty(\Omega)\) if \(\Omega\) satisfies a uniform interior cone condition and \(p(x)\geq n+f(\text{dist}(x,\partial\Omega))\) for a certain increasing function \(f\).