Convex functional and the stratification of the singular set of their stationary points
We prove partial regularity of stationary solutions and minimizers $u$ from a set $Ω\subset \mathbb R^n$ to a Riemannian manifold $N$, for the functional $\int_ΩF(x,u,|\nabla u|^2) dx$. The integrand $F$ is convex and satisfies some ellipticity and boundedness assumptions. We also develop a new monotonicity formula and an $ε$-regularity theorem for such stationary solutions with no restriction on their images. We then use the idea of quantitative stratification to show that the k-th strata of the singular set of such solutions are k-rectifiable.