Elliptic PDEs with fibered nonlinearities

In ℝ m ×ℝ n-m, endowed with coordinates x=(x′,x″), we consider bounded solutions of the PDE Δ u(x)=f(u(x))χ(x'). We prove a geometric inequality, from which a symmetry result follows.