Optimal Regularity for The Signorini Problem and its Free Boundary
We will show optimal regularity for minimizers of the Signorini problem for the Lame system. In particular if =˘(u1,u2,u3)∈W1,2(B1+:R3) minimizes J()˘=∫B1+∣∇+˘∇⊥∣˘2+λ÷()˘2 in the convex set K={=˘(u1,u2,u3)∈W1,2(B1+:R3);u3≥0onΠ, =˘f∈C∞(∂B1)on(∂B1)+}, where λ≥0 say. Then ∈˘C1,1/2(B1/2+). Moreover the free boundary, given by $$ Γ_\u=\partial \{x;\;u^3(x)=0,\; x_3=0\}\cap B_{1}, $$ will be a C1,α graph close to points where $\u$ is not degenerate. Similar results have been know before for scalar partial differential equations (see for instance \cite{AC} and \cite{ACS}). The novelty of this approach is that it does not rely on maximum principle methods and is therefore applicable to systems of equations.