Related papers: On Sobolev spaces and density theorems on Finsler …

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…

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 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…

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 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…

The classical ``$H=W$" theorem establishes the identity between two function spaces on an arbitrary nonempty open set in the Euclidean spaces: the space $W$ defined via weak derivatives, and the space $H$ defined as the closure of smooth…

We consider the problem of strong density of smooth maps in the Sobolev space $ W^{s,p}(Q^{m};\mathcal{N}) $, where $ 0 < s < +\infty $, $ 1 \leq p < +\infty $, $ Q^{m} $ is the unit cube in $ \mathbb{R}^{m} $, and $ \mathcal{N} $ is a…

We focus on the Sobolev spaces of bounded subanalytic submanifolds of $\mathbb{R}^n$. We prove that if $M$ is such a manifold then the space $\mathscr{C}_0^\infty(M)$ is dense in $W^{1,p}(M,\partial M)$ (the kernel of the trace operator)…

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…

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 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…

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…

In this article, we show some density properties of smooth and compactly supported functions in fractional Musielak-Sobolev spaces essentially extending the results of Fiscella, Servadei, and Valdinoci obtained in the fractional Sobolev…

We consider the $(1,2)$-Sobolev space $W^{1,2}(U)$ on subsets $U$ in an abstract Wiener space, which is regarded as a canonical Dirichlet space on $U$. We prove that $W^{1,2}(U)$ has smooth cylindrical functions as a dense subset if $U$ is…

We characterize the model spaces $K_\Theta$ in which functions with smooth boundary extensions are dense. It is shown that such approximations are possible if and only if the singular measure associated to the singular inner factor of…

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

We prove a general criterion for the density in energy of suitable subalgebras of Lipschitz functions in the metric-Sobolev space $H^{1,p}(X,\mathsf{d},\mathfrak{m})$ associated with a positive and finite Borel measure $\mathfrak{m}$ in a…

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 show that if $p_-\geq 2$, then a sufficient condition for the density of smooth functions with compact support, in the variable exponent Sobolev space $W^{1,p(\cdot)}(\mathbb R^n)$, is that the Riesz potentials of compactly supported…

The paper deals with a nontrivial density result for $C^m(\overline{\Omega})$ functions, with $m\in{\mathbb N}\cup\{\infty\}$, in the space $$W^{k,\ell,p}(\Omega;\Gamma)= \left\{u\in W^{k,p}(\Omega): u_{|\Gamma}\in…