Serrin's over-determined Problem on Riemannian Manifolds
Let (M,g) be a compact Riemannian manifold of dimension N, N≥2. In this paper, we prove that there exists a family of domains (Ωε)ε∈(0,ε0) and functions uε such that −Δguε=1 in Ωε,uε=0 on ∂Ωε,g(∇guε,νε)=−Nε on ∂Ωε, where νε is the unit outer normal of ∂Ωε. The domains Ωε are smooth perturbations of geodesic balls of radius ε centered at some point p0. If, in addition, p0 is a non-degenerate critical point of the scalar curvature of g then, the family (∂Ωε)ε∈(0,ε0) constitutes a smooth foliation of a neighborhood of p0. By considering a family of domains Ωε in which the above overdetermined system is satisfied, we also prove that if this family converges to some point p0 in a suitable sense as ε→0, then p0 is a critical point of the scalar curvature. A Taylor expansion of he energy rigidity for the torsion problem is also given.