Density in $W^{s,p}(\Omega ; N)$ - Archive ouverte HAL Access content directly
Journal Articles Journal of Functional Analysis Year : 2015

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


Let $\Omega$ be a smooth bounded domain in ${\mathbb R}^n$, $s\in (0,\infty)$ and $p\in [1,\infty)$. We prove that $C^\infty(\overline\Omega ; {\mathbb S}^1)$ is dense in $W^{s,p}(\Omega ; {\mathbb S}^1)$ except when $sp\in [1,2)$ and $n\ge 2$. The main ingredient is a new approximation method for $W^{s,p}$-maps when $s\in (0,1)$. With $s\in (0,1)$, $p\in [1,\infty)$ and $sp\in (0,n)$, $\Omega$ a ball, and $N$ a general compact connected manifold, we prove that $C^\infty(\overline\Omega ; N)$ is dense in $W^{s,p}(\Omega ; N)$ if and only if $\pi_{[sp]}(N)=0$. This supplements analogous results obtained by Bethuel when $s=1$, and by Bousquet, Ponce and Van Schaftingen when $s=2,3,\ldots$ (General domains $\Omega$ have been treated by Hang and Lin when $s=1$; our approach allows to extend their result to $s\in (0,1)$.) The case where $s\in (1,\infty)$, $s\not\in{\mathbb N}$, is still open.
Fichier principal
Vignette du fichier
density_wsp_20150310.pdf (486.65 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-01101299 , version 1 (08-01-2015)
hal-01101299 , version 2 (03-02-2015)
hal-01101299 , version 3 (13-03-2015)



Haïm Brezis, Petru Mironescu. Density in $W^{s,p}(\Omega ; N)$. Journal of Functional Analysis, 2015, 269 (7), pp.2045--2109. ⟨hal-01101299v3⟩
517 View
161 Download



Gmail Facebook X LinkedIn More