On the size of the singular set of minimizing harmonic maps
We consider minimizing harmonic maps u from Ω⊂Rn into a closed Riemannian manifold N and prove: (1) an extension to n≥4 of Almgren and Lieb's linear law. That is, if the fundamental group of the target manifold N is finite, we have Hn−3(sing u)≤C∫∂Ω∣∇Tu∣n−1dHn−1; (2) an extension of Hardt and Lin's stability theorem. Namely, assuming that the target manifold is N=S2 we obtain that the singular set of u is stable under small W1,n−1-perturbations of the boundary data. In dimension n=3 both results are shown to hold with weaker hypotheses, i.e., only assuming that the trace of our map lies in the fractional space Ws,p with s∈(21,1] and p∈[2,∞) satisfying sp≥2. We also discuss sharpness.