Density of smooth functions in weighted Sobolev spaces with variable exponent
type: Item
instance of: scholarly article
title: Density of smooth functions in weighted Sobolev spaces with variable exponent
zbMATH Open document ID: 1315.46039
DOI: 10.1134/S1064562414020045
published in: Doklady Mathematics
publication date: 2014-10-15T00:00:00Z
review text: In a bounded Lipschitz domain \(\Omega\subset\mathbb{R}^{n}\), \(n\geq 2\), we are given a weight \(\rho \) that is a nonnegative measurable function summable on \(\Omega.\) Additionally, let \(p=p(x) \) be a given exponent that is measurable in \(\Omega\) and satisfies the condition \[ 1<\alpha <p( x) <\beta <\infty . \tag{1} \] The Luxemburg norm is defined as \[ \| f\| _{p( .) ,\rho dx}=\inf \left\{ \lambda>0:\int | \lambda ^{-1}f| ^{p( x) }\rho dx\leq 1\right\} . \] The classes \(L^{p( .) }( \Omega;\rho dx) \) with this norm are reflexive separable Banach spaces with dual \(L^{p'(.)}(\Omega;\rho dx)\), where \(p'(x)=\frac{p(x)}{p(x)-1}.\) Define the weighted Sobolev-Orlicz space by \[ W=\left\{ u\in W_{0}^{1,1}( \Omega) :\int_{\Omega}| \nabla u| ^{p( x) }\rho dx<\infty \right\} \] with the norm \[ \| u\| _{W}=\| \nabla u\| _{p(.) ,\rho dx}. \] Assume that \(\rho ^{-\frac{1}{p}}\in L^{p'}( \Omega;dx) .\) Then \(W\) is complete. The space \(H\) is defined as\ the closure of \(C_{0}^{\infty }( \Omega) \) with respect to the norm \(\| .\| _{W}.\) The weight \(\rho \) is said to be regular if \(H=W.\) A non-negative locally summable function (weight) \(\omega\) is said to belong to \(A_{p(.)}(\Omega)\) if \[ \| \omega\| _{A_{p( .) }( \Omega)}:=\sup_{x\in Q\subset \Omega}\left( \int_{Q}\omega dy\right) ^{\frac{1}{p(x)}}\frac{\| \omega^{-\frac{1}{p}}\| _{L^{p'}}( Q) }{| Q| }<\infty , \] where the supremum is taken over the cubes \(Q\subset \Omega\) whose faces are parallel to the coordinate hyperplanes. We define the logarithmic condition by \[ | p( x) -p( y) | \leq \frac{k_{0}}{\ln \frac{1}{| x-y| }},\quad | x-y| <1,\tag{2} \] where \(k_{0}\) does not depend on \(x,y.\) The main result of this paper is the following. Theorem. Let an exponent \(p( .) \) satisfy conditions (1) and (2), let \(\rho\) be a weight that can be represented as \(\rho=\omega\omega_{0}\), where \(\omega_{0}\in A_{p( .) }(\Omega)\), and let \[ \lim\inf_{t\rightarrow \infty } \left( \int_{\Omega}\…
Mathematics Subject Classification ID: 46E35
Mathematics Subject Classification ID: 46E30
zbMATH DE Number: 6355635
zbMATH Keywords: density of smooth functions
zbMATH Keywords: weighted Sobolev spaces
zbMATH Keywords: weighted Sobolev spaces with variable exponent
author: M. D. Surnachev
MaRDI profile type: Publication
cites work: H = W
cites work: Weighted Sobolev spaces
cites work: Density of smooth functions in weighted Sobolev spaces
cites work: Q4021390
cites work: On Lavrentiev's phenomenon
cites work: Regularity of nonstandard lagrangians ƒ(x, ξ)
cites work: On the spaces \(L^{p(x)}(\Omega)\) and \(W^{m,p(x)}(\Omega)\)
cites work: Riesz potential and Sobolev embeddings on generalized Lebesgue and Sobolev spacesLp(·) andWk,p(·)
cites work: On variational problems and nonlinear elliptic equations with nonstandard growth conditions
cites work: Lebesgue and Sobolev spaces with variable exponents
cites work: On Lipschitz truncations of Sobolev functions (with variable exponent) and their selected applications
full work available at URL: s1064562414020045
OpenAlex ID: W2322940471
description: scientific article; zbMATH DE number 6355635