The equality case in a Poincaré–Wirtinger type inequality

It is known that, for any convex planar set W, the first non-trivial Neumann eigenvalue μ1 (Ω) of the Hermite operator is greater than or equal to 1. Under the additional assumption that Ω is contained in a strip, we show that β1 (Ω) = 1 if and only if Ω is any strip. The study of the equality case requires, among other things, an asymptotic analysis of the eigenvalues of the Hermite operator in thin domains.