Strong density for higher order Sobolev spaces into compact manifolds
Given a compact manifold , an integer and an exponent , we prove that the class of smooth maps on the cube with values into is dense with respect to the strong topology in the Sobolev space when the homotopy group of order is trivial. We also prove density of maps that are smooth except for a set of dimension , without any restriction on the homotopy group of .