Minimisers and Kellogg's theorem
We extend the celebrated theorem of Kellogg for conformal mappings to the minimizers of Dirichlet energy. Namely we prove that a diffeomorphic minimiser of Dirichlet energy of Sobolev mappings between double connected domains D and Ω having Cn,α boundary is Cn,α up to the boundary, provided Mod(D)≥Mod(Ω). If Mod(D)<Mod(Ω) and n=1 we obtain that the diffeomorphic minimiser has C1,α′ extension up to the boundary, for α′=α/(2+α). It is crucial that, every diffeomorphic minimizer of Dirichlet energy has a very special Hopf differential and this fact is used to prove that every diffeomorphic minimizer of Dirichlet energy can be locally lifted to a certain minimal surface near an arbitrary point inside and at the boundary.