Related papers: A density result for homogeneous Sobolev spaces

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 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$.

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

Let $\Omega\subset\mathbb{C}^n$ be a strictly pseudoconvex Runge domain with $C^2$-smooth defining function, $l\in\mathbb{N},$ $p\in(1,\infty).$ We prove that the holomorphic function $f$ has derivatives of order $l$ in $H^p(\Omega)$ if and…

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

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…

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

Let $\Omega$ be a bounded, smooth domain of $\mathbb{R}^{N},$ $N\geq2.$ For $p>N$ and $1\leq q(p)<\infty$ set \[ \lambda_{p,q(p)}:=\inf\left\{ \int_{\Omega}\left\vert \nabla u\right\vert ^{p}\mathrm{d}x:u\in W_{0}^{1,p}(\Omega)\text{ \ and…

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

Let $\Omega\subset\mathbb{C}^n$ be a bounded domain with smooth boundary, whose Bergman projection $B$ maps the Sobolev space $H^{k_{1}}(\Omega)$ (continuously) into $H^{k_{2}}(\Omega)$. We establish two smoothing results: (i) the full…

Let $\Omega$ be a smooth bounded domain in ${\mathbb R}^n$, $0\textless{}s\textless{}\infty$ and $1\le p\textless{}\infty$. We prove that $C^\infty(\overline\Omega\, ; {\mathbb S}^1)$ is dense in $W^{s,p}(\Omega ; {\mathbb S}^1)$ except…