Strong approximation of fractional Sobolev maps
Brezis and Mironescu have announced several years ago that for a compact manifold Nn⊂Rν and for real numbers 0<s<1 and 1≤p<∞ the class C∞(Qm;Nn) of smooth maps on the cube with values into Nn is dense with respect to the strong topology in the Sobolev space Ws,p(Qm;Nn) when the homotopy group π⌊sp⌋(Nn) of order ⌊sp⌋ is trivial. The proof of this beautiful result is long and rather involved. Under the additional assumption that Nn is ⌊sp⌋ simply connected, we give a shorter proof of their result. Our proof for sp≥1 is based on the existence of a retraction of Rν onto Nn except for a small subset in the complement of Nn and on the Gagliardo-Nirenberg interpolation inequality for maps in W1,q∩L∞. In contrast, the case sp<1 relies on the density of step functions on cubes in Ws,p.