Related papers: Density of smooth functions in variable exponent S…

A basilar property and a useful tool in the theory of Sobolev spaces is the density of smooth compactly supported functions in the space $W^{k,p}(\R^n)$ (i.e. the functions with weak derivatives of orders $0$ to $k$ in $L^p$). On Riemannian…

We describe some sufficient conditions, under which smooth and compactly supported functions are or are not dense in the fractional Sobolev space $W^{s,p}(\Omega)$ for an open, bounded set $\Omega\subset\mathbb{R}^{d}$. The density property…

We investigate the density of compactly supported smooth functions in the Sobolev space $W^{k,p}$ on complete Riemannian manifolds. In the first part of the paper, we extend to the full range $p\in [1,2]$ the most general results known in…

We investigate here the density of the set of the restrictions from $C_C^\infty(\mathbb{R}^d)$ to $C_C^\infty(\Omega)$ in the Musielak-Orlicz-Sobolev space $W^{1,\Phi}(\Omega)$. It is a continuation of article \cite{KamZyl3}, where we have…

We prove density of smooth functions in subspaces of Sobolev- and higher order $BV$-spaces of kind $W^{m,p}(\Omega)\cap L^q(\Omega-D)$ and $BV^m(\Omega)\cap L^q(\Omega-D)$, respectively, where $\Omega\subset\mathbb{R}^n$ ($n\in\mathbb{N}$)…

We provide a new, short proof of the density in energy of Lipschitz functions into the metric Sobolev space defined by using plans with barycenter (and thus, a fortiori, into the Newtonian-Sobolev space). Our result covers first-order…

In this paper, we show that the density in energy of Lipschitz functions in a Sobolev space $N^{1,p}(X)$ holds for all $p\in [1,\infty)$ whenever the space $X$ is complete and separable and the measure is Radon and finite on balls.…

In this paper we show a density property for fractional weighted Sobolev spaces. That is, we prove that any function in a fractional weighted Sobolev space can be approximated by a smooth function with compact support. The additional…

We show that capacity can be computed with locally Lipschitz functions in locally complete and separable metric spaces. Further, we show that if $(X,d,\mu)$ is a locally complete and separable metric measure space, then continuous functions…

We give characterizations of the bounded subanalytic $\mathscr{C}^\infty$ submanifolds $M$ of $\mathbb{R}^n$ for which the space of Neumann regular functions is dense in Sobolev spaces. By ``Neumann regular function'', we mean a function…

Let $(M,F)$ be a $C^\infty$ Finsler manifold, $p\geq 1$ a real number, $k$ a positive integer and $H_k^p (M)$ a certain Sobolev space determined by a Finsler structure $F$. Here, it is shown that the set of all real $C^{\infty}$ functions…

Let $\Omega $ be an open subset of $\mathbb{R}^{N}$, and let $p,\, q:\Omega \rightarrow \left[ 1,\infty \right] $ be measurable functions. We give a necessary and sufficient condition for the embedding of the variable exponent space…

We prove that smooth $C^\infty$ functions are dense in weighted fractional Sobolev spaces on an arbitrary open set, under some mild conditions on the weight. We also obtain a~similar result in non-weighted spaces defined by some kernel…

We show that in a bounded Gromov hyperbolic domain $\Omega$ smooth functions with bounded derivatives $C^\infty(\Omega)\cap W^{k,\infty}(\Omega)$ are dense in the homogeneous Sobolev spaces $L^{k,p}(\Omega)$.

We consider complete non-compact manifolds with either a sub-quadratic growth of the norm of the Riemann curvature, or a sub-quadratic growth of both the norm of the Ricci curvature and the squared inverse of the injectivity radius. We show…

Here, a natural extension of Sobolev spaces is defined for a Finsler structure $F$ and it is shown that the set of all real $C^{\infty}$ functions with compact support on a forward geodesically complete Finsler manifold $(M, F)$, is dense…

In this paper we study approximations of functions of Sobolev spaces $W^2_{p,\loc}(\Omega)$, $\Omega\subset\mathbb R^n$, by Lipschitz continuous functions. We prove that if $f\in W^2_{p,\loc}(\Omega)$, $1\leq p<\infty$, then there exists a…

We are going to show that on bounded Lipschitz domain $D$: both $C_{c}^{\infty}(D)$, the set of smooth functions on $D$ with compact support, and $C_{0}^{\infty}(D)$, the set of smooth functions on $D$ with (extension) zero boundary, are…

We consider here Musielak-Orlicz Sobolev (MOS) spaces $W^{k,\Phi}(\Omega)$, where $\Omega$ is an open subset of $\mathbb{R}^d$, $k\in\mathbb{N}$ and $\Phi$ is a Musielak-Orlicz function. The main outcomes consist of the results on density…

We prove the density of smooth functions in the modular topology in the Musielak-Orlicz-Sobolev spaces essentially extending the results of Gossez \cite{GJP2} obtained in the Orlicz-Sobolev setting. We impose new systematic regularity…