Domain variations of the first eigenvalue via a strict Faber-Krahn type inequality
For $d\geq 2$ and $\frac{2d+2}{d+2} < p < \infty $, we prove a strict Faber-Krahn type inequality for the first eigenvalue $λ_1(Ω)$ of the $p$-Laplace operator on a bounded Lipschitz domain $Ω\subset \mathbb{R}^d$ (with mixed boundary conditions) under the polarizations. We apply this inequality to the obstacle problems on the domains of the form $Ω\setminus \mathscr{O}$, where $\mathscr{O}\subset \subset Ω$ is an obstacle. Under some geometric assumptions on $Ω$ and $\mathscr{O}$, we prove the strict monotonicity of $λ_1 (Ω\setminus \mathscr{O})$ with respect to certain translations and rotations of $\mathscr{O}$ in $Ω$.