Related papers: Density in $W^{s,p}(\Omega ; N)$

We prove that for a bounded simply connected domain $\Omega\subset \mathbb R^2$, the Sobolev space $W^{1,\,\infty}(\Omega)$ is dense in $W^{1,\,p}(\Omega)$ for any $1\le p<\infty$. Moreover, we show that if $\Omega$ is Jordan, then…

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 prove that for a bounded domain $\Omega\subset \mathbb R^n$ which is Gromov hyperbolic with respect to the quasihyperbolic metric, especially when $\Omega$ is a finitely connected planar domain, the Sobolev space $W^{1,\,\infty}(\Omega)$…

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 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 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 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 show the density of smooth Sobolev functions $W^{k,\infty}(\Omega)\cap C^\infty(\Omega)$ in the Orlicz-Sobolev spaces $L^{k,\Psi}(\Omega)$ for bounded simply connected planar domains $\Omega$ and doubling Young functions $\Psi$.

Given a complete noncompact Riemannian manifold $N^n$, we investigate whether the set of bounded Sobolev maps $(W^{1, p} \cap L^\infty) (Q^m; N^n)$ on the cube $Q^m$ is strongly dense in the Sobolev space $W^{1, p} (Q^m; N^n)$ for $1 \le p…

Given a compact manifold $N^n \subset \mathbb{R}^\nu$, $s \ge 1$ and $1 \le p < \infty$, we prove that the class of smooth maps on the cube with values into $N^n$ is strongly dense in the fractional Sobolev space $W^{s, p}(Q^m; N^n)$ when…

Given a compact manifold $N^n$, an integer $k \in \mathbb{N}_*$ and an exponent $1 \le p < \infty$, we prove that the class $C^\infty(\overline{Q}^m; N^n)$ of smooth maps on the cube with values into $N^n$ is dense with respect to the…

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 prove that for a domain $\Omega$ in a PI space $X$ such that $\Omega$ satisfies the Gehring Hayman condition and the ball separation condition, the Newtonian Sobolev space $N^{1,\infty}(\Omega)$ is dense in the space $N^{1,p}(\Omega)$…

We prove that if $\Om \subseteq \R^2$ is bounded and $\R^2 \setminus \Om$ satisfies suitable structural assumptions (for example it has a countable number of connected components), then $W^{1,2}(\Om)$ is dense in $W^{1,p}(\Om)$ for every…

We show that, for certain non-smooth bounded domains $\Omega\subset\mathbb{R}^n$, the real interpolation space $(L^p(\Omega), W^{1,p}(\Omega))_{s,p}$ is the subspace $\widetilde W^{s,p}(\Omega) \subset L^p(\Omega)$ induced by the restricted…

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…

Brezis and Mironescu have announced several years ago that for a compact manifold $N^n \subset \mathbb{R}^\nu$ and for real numbers $0 < s < 1$ and $1 \le p < \infty$ the class $C^\infty(\overline{Q}^m; N^n)$ of smooth maps on the cube with…

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…

We construct a bounded domain $\Omega$ in $\mathbb{C}^2$ with boundary of class $\mathcal{C}^{1,1}$, such that $\overline{\Omega}$ has a Stein neighborhood basis, but is not $s$-H-convex for any real number $s\geq{1}$.

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