On the weak limits of smooth maps for the Dirichlet energy between manifolds

Abstract

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