Related papers: Density in $W^{s,p}(\Omega ; N)$
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}$)…
Let $n\in \mathbb N\cap[2,\infty)$. In this article, we show that there exists a bounded $C^1$ domain $\Omega\subset \mathbb R^n$ such that, for any given $s\in(1,2)\setminus\{\frac32\}$, \begin{align*} \left[H_0^1(\Omega),H^2(\Omega)\cap…
The present paper presents a counterexample to the sequentially weak density of smooth maps between two manifolds $M$ and $N$ in the Sobolev space $W^{1, p} (M, N)$, in the case $p$ is an integer. It has been shown that, if $p<\dim M $ is…
Bourgain et al.(2001) proved that for $p>1$ and smooth bounded domain $\Omega\subseteq\mathbb{R}^N$, \begin{equation*} \lim\limits_{s\to1}(1-s)\iint \limits_{\Omega \times \Omega}\frac{\lvert f(x)-f(y) \rvert^p}{\lvert x-y \rvert^{N+sp}}dx…
We consider the strong density problem in the Sobolev space $ W^{s,p}(Q^{m};\mathscr{N}) $ of maps with values into a compact Riemannian manifold $ \mathscr{N} $. It is known, from the seminal work of Bethuel, that such maps may always be…
We study the density of functions which are holomorphic in a neighbourhood of the closure $\overline{\Omega}$ of a bounded non-smooth pseudoconvex domain $\Omega$, in the Bergman space $ H^2(\Omega ,\varphi)$ with a plurisubharmonic weight…
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…
In recent work by Zimmer it was proved that if $\Omega\subset\mathbb C^n$ is a bounded convex domain with $C^\infty$-smooth boundary, then $\Omega$ is strictly pseudoconvex provided that the squeezing function approaches one as one…
We study the question: when are Lipschitz mappings dense in the Sobolev space $W^{1,p}(M,\mathbf{H}^n)$? Here $M$ denotes a compact Riemannian manifold with or without boundary, while $\mathbf{H}^n$ denotes the $n$th Heisenberg group…
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…
For every $2 < p < 3$, we show that $u \in W^{1,p}(B^3; S^2)$ can be strongly approximated by maps in $C^\infty(\Bar{B}^3; S^2)$ if, and only if, the distributional Jacobian of $u$ vanishes identically. This result was originally proved by…
Let $p \in (1,\infty)$, $\alpha\in \mathbb{R}$, and $\Omega\subsetneq \mathbb{R}^N$ be a $C^{1,\gamma}$-domain with a compact boundary $\partial \Omega$, where $\gamma\in (0,1]$. Denote by $\delta_{\Omega}(x)$ the distance of a point $x\in…
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…
For a constant $\gamma \in[0,1]$ and a graph $G$, let $\omega_{\gamma}(G)$ be the largest integer $k$ for which there exists a $k$-vertex subgraph of $G$ with at least $\gamma\binom{k}{2}$ edges. We show that if $0<p<\gamma<1$ then…
We construct a smooth compact n-dimensional manifold Y with one point singularity such that all its Lipschitz homotopy groups are trivial, but Lipschitz mappings Lip(S^n,Y) are not dense in the Sobolev space W^{1,n}(S^n,Y). On the other…
We identify all the weak sequential limits of smooth maps in $W^{1,2}(M,N)$. In particular, this implies a necessary and sufficient topological condition for smooth maps to be weakly sequentially dense in $W^{1,2}(M,N)$.
This paper studies the inclusions between different Sobolev-Lorentz spaces $W^{1,(p,q)}(\Omega)$ defined on open sets $\Omega \subset {\mathbf{R}^n},$ where $n \ge 1$ is an integer, $1<p<\infty$ and $1 \le q \le \infty.$ We prove that if $1…
We give analytic description for the completion of $C_0^\infty ( \mathbf{R}_+)$ in Dirichlet space $D^{1,p}(\mathbf{R}_+, \omega):= \{ u:\mathbf{R}_+\rightarrow \mathbf{R}: u\ \hbox{ is locally absolutely continuous on} \ \mathbf{R}_+ \…
We prove two density theorems for quadrature domains in $\mathbb{C}^n$, $n \geq 2$. It is shown that quadrature domains are dense in the class of all product domains of the form $D \times \Omega$, where $D \subset \mathbb{C}^{n-1}$ is a…
Let $\Omega \subset \mathbb{R}^d$ be bounded open and connected. Suppose that $W^{1,2}(\Omega) \subset L^r(\Omega)$ for some $r > 2$. Let $A$ be a pure second-order elliptic differential operator with bounded real measurable coefficients on…