Symmetry of bounded solutions to quasilinear elliptic equations in a half-space

Let $u$ be a bounded positive solution to the problem $-Δ_p u = f(u)$ in $\mathbb{R}^N_+$ with zero Dirichlet boundary condition, where $p>1$ and $f$ is a locally Lipschitz continuous function. Among other things, we show that if $f(\sup_{\mathbb{R}^N_+} u)=0$ and $f$ satisfies some other mild condi