Serrin's overdetermined problems on epigraphs

Abstract

In this work we establish some rigidity results for Serrin's overdetermined problem \begin{equation*} \left\{ \begin{array}{cll} - \Delta u=f(u) & \text{in}& \Omega,\newline u > 0& \text{in} & \Omega,\newline u=0 & \text{on} & \partial \Omega,\newline \dfrac{\partial u}{\partial \eta} = \mathfrak{c} = const. & \text{on} & \partial \Omega, \end{array} \right. \end{equation*} when $\Omega \subset \mathbb{R}^N$ is an epigraph (not necessarily globally Lipschitz-continuous) and $u$ is a classical solution, possibly unbounded. In broad terms, our main results prove that $\Omega$ must be an affine half-space and $u$ must be one-dimensional, provided the epigraph is bounded from below. These results hold when $f$ is of Allen-Cahn type and $ N \geq 2$ or, alternatively, when $f$ is locally Lipschitz-continuous (with no restriction on the sign of $f(0)$) and $ N \leq 3$. These results partially answer a question raised by Berestycki, Caffarelli and Nirenberg in [1]. Finally, when $f(0) <0$, we also prove a new monotonicity result, valid in any dimension $ N \geq 2$.