The Faber-Krahn inequality for $p$-Hermite operators

We prove a Faber-Krahn inequality for the first eigenvalue of the $p$-Hermite operator (the weighted $p$-Laplacian with Gaussian weight) on Lipschitz domains in $\R^n$ under Robin boundary conditions with positive Robin parameter. The main result states that, among all domains of given Gaussian measure, the first eigenvalue is minimized by a half-space, and equality holds only for half-spaces. This extends the classical Faber-Krahn inequalities for the $p$-Laplacian \cite{BucurCV} to the $p$-Hermite operator and generalizes the linear case \cite{ChiacchioMathann} to the full nonlinear regime $p>1$.