A Friedlander type estimate for Stokes operators
Let $Ω\subset \mathbb{R}^d$ be a bounded open connected set with Lipschitz boundary. Let $A^N$ and $A^D$ be the Neumann Stokes operator and Dirichlet Stokes operator on $Ω$, respectively. Further let $λ_1^N \leq λ_2^N \leq \ldots$ and $λ_1^D \leq λ_2^D \leq \ldots$ be the eigenvalues of $A^N$ and $A^D$ repeated with multiplicity, respectively. Then \[ λ_{n+1}^N < λ_n^D \] for all $n \in \mathbb{N}$.