Regularity properties of isometric immersions

We show that an isometric immersion y from a two-dimensional domain S with C^1,α boundary to ℝ³ which belongs to the critical Sobolev space W^2,2 is C¹ up to the boundary. More generally C¹ regularity up to the boundary holds for all scalar functions V ∈ W^2,2(S) which satisfy det ∇²V=0. If S has only Lipschitz boundary we show such V can be approximated in W^2,2 by functions V_k ∈ W^1,∞∩W^2,2 with det ∇²V_k=0.