Rigidity for two-phase overdetermined problems in ${\mathbb{S}}^n$

Abstract

In this paper, we study rigidity phenomena associated with a class of overdetermined two-phase problems on the $n$-dimensional sphere ${\mathbb{S}}^n$. Specifically, we analyze the solutions of coupled elliptic equations defined on a domain $\Omega \subset {\mathbb{S}}^n$ and its complement, subject to Dirichlet boundary conditions on the interface $\partial \Omega$ and a compatibility condition on the gradient. We utilize two different methods. The method of moving planes works when $\partial \Omega$ is contained inside an open hemisphere. The other method works when $\Omega$ is simply connected in ${\mathbb{S}}^2$. Both lead to the same conclusion. Namely, the existence of a solution to such overdetermined problems necessarily implies that $\Omega$ is a geodesic ball. In the latter, we prove this rigidity property for three distinct scenarios: a baseline problem with piecewise constant source terms, which is the two-phase version of the torsion problem; a generalization including a class of positive and regular nonlinearities; and finally an eigenvalue problem involving the first Dirichlet eigenvalue of the respective phases.