Boundary regularity of stationary biharmonic maps
We consider the Dirichlet problem for stationary biharmonic maps u from a bounded, smooth domain Ω⊂Rn (n≥5) to a compact, smooth Riemannian manifold N⊂Rl without boundary. For any smooth boundary data, we show that if, in addition, u satisfies a certain boundary monotonicity inequality, then there exists a closed subset Σ⊂Ωˉ, with Hn−4(Σ)=0, such that u∈C∞(Ωˉ∖Σ,N).