Characterization of $f$-extremal disks
Résumé
We show uniqueness for overdetermined elliptic problems defined on topological disks $\Omega$ with $C^2$ boundary, \textit{i.e.}, positive solutions $u$ to $\Delta u + f(u)=0$ in $\Omega \subset (M^2,g)$ so that $u = 0$ and $\frac{\partial u}{\partial \vec\eta} = cte $ along $\partial \Omega$, $\vec\eta$ the unit outward normal along $\partial\Omega$ under the assumption of the existence of a candidate family. To do so, we adapt the Galvez-Mira generalized Hopf-type Theorem to the realm of overdetermined elliptic problem.
When $(M^2,g)$ is the standard sphere $\mathbb S^2$ and $f$ is a $C^1$ function so that $f(x)>0$ and $f(x)\ge xf'(x)$ for any $x\in\mathbb R_+^*$, we construct such candidate family considering rotationally symmetric solutions. This proves the Berestycki-Caffarelli-Nirenberg conjecture in $\mathbb S^2$ for this choice of $f$. More precisely, this shows that if $u$ is a positive solution to $\Delta u + f(u) = 0$ in a topological disk $\Omega \subset \mathbb S^2$ with $C^2$ boundary so that $u = 0$ and $\frac{\partial u}{\partial \vec\eta} = cte $ along $\partial \Omega$, then $\Omega$ must be a geodesic disk and $u$ is rotationally symmetric. This solves the case $\Delta u + \lambda u = 0$, $\lambda >0$.
Origine | Fichiers produits par l'(les) auteur(s) |
---|