Let be the Stokes operator defined in a bounded domain Ω of with Dirichlet boundary conditions. We prove that, generically with respect to the domain Ω with boundary, the spectrum of satisfies a non-resonant property introduced by C. Foias and J.C. Saut in  to linearize the Navier–Stokes system in a bounded domain Ω of with Dirichlet boundary conditions. For that purpose, we first prove that, generically with respect to the domain Ω with boundary, all the eigenvalues of are simple. That answers positively a question raised by J.H. Ortega and E. Zuazua in [27, Section 6]. The proofs of these results follow a standard strategy based on a contradiction argument requiring shape differentiation. One needs to shape differentiate at least twice the initial problem in the direction of carefully chosen domain variations. The main step of the contradiction argument amounts to study the evaluation of Dirichlet-to-Neumann operators associated to these domain variations.
Cite this article
Y. Chitour, D. Kateb, R. Long, Generic properties of the spectrum of the Stokes system with Dirichlet boundary condition in . Ann. Inst. H. Poincaré Anal. Non Linéaire 33 (2016), no. 1, pp. 119–167DOI 10.1016/J.ANIHPC.2014.09.007