A new symmetry criterion based on the distance function and applications to PDE's

Abstract

We prove that, if $Ω\subset \mathbb{R}^n$ is an open bounded starshaped domain of class $C^2$, the constancy over $\partial Ω$ of the function $$φ(y) = \int_0^{λ(y)} \prod_{j=1}^{n-1}[1-t κ_j(y)]\, dt$$ implies that $Ω$ is a ball. Here $k_j(y)$ and $λ(y)$ denote respectively the principal curvatures and the cut value of a boundary point $y \in \partial Ω$. We apply this geometric result to different symmetry questions for PDE's: an overdetermined system of Monge-Kantorovich type equations (which can be viewed as the limit as $p \to + \infty$ of Serrin's symmetry problem for the $p$-Laplacian), and equations in divergence form whose solutions depend only on the distance from the boundary in some subset of their domain.