Résumé technique : Simplicité des valeurs propres pour les problèmes elliptiques avec conditions aux limites de type Steklov-Robin mixtes

1. Énoncé du problème

L'article étudie les propriétés spectrales de deux classes spécifiques de problèmes de valeurs propres elliptiques définis sur un domaine ouvert borné $\Omega \subset \mathbb{R}^n$ avec une frontière $\partial\Omega$ de classe $C^{1,1}$. La frontière est partitionnée en deux composantes connexes disjointes, $S$ et $W$ (avec des intérieurs non vides). L'étude se concentre sur la preuve que, pour un domaine générique (c'est-à-dire pour presque toutes les formes de domaines), toutes les valeurs propres de ces problèmes sont simples (multiplicité un).

Les deux problèmes principaux analysés sont :

1. Problème mixte Steklov-Robin pour le Laplacien :
   $$\begin{cases} -\Delta u = 0 & \text{dans } \Omega \\ \partial_\nu u = \lambda u & \text{sur } S \\ \partial_\nu u + u = 0 & \text{sur } W \end{cases}$$
   Il s'agit d'une modification du problème de sloshing classique, incorporant une condition de Robin sur $W$ pour surmonter les obstacles techniques liés au cas de masse nulle.

2. Problème de type Steklov pour l'opérateur $-\Delta + I$ :
   $$\begin{cases} -\Delta u + u = 0 & \text{dans } \Omega \\ \partial_\nu u = \lambda u & \text{sur } S \\ \partial_\nu u = 0 & \text{sur } W \end{cases}$$
   Ce problème présente un terme de masse et des conditions de Neumann sur $W$.

Les auteurs étendent également leur analyse à des problèmes avec des coefficients non constants (perturbations du potentiel $a(x)$) et des opérateurs elliptiques anisotropes sous forme divergente ($Lu = \partial_i(a_{ij}(x)\partial_j u)$).

2. Méthodologie

La méthodologie centrale repose sur les techniques de perturbation de domaine et l'analyse de la transversalité des opérateurs associés. L'approche suit le cadre établi par Micheletti (référencé comme [11, 12, 9] dans le texte) pour prouver la généricité des valeurs propres simples.

2.1 Formulation variationnelle et définition de l'opérateur

Les problèmes sont reformulés dans un cadre variationnel au sein de l'espace de Sobolev $H^1(\Omega)$.

• Pour le Problème (1), un produit scalaire est défini comme $a_\Omega(u, v) = \int_\Omega \nabla u \cdot \nabla v \, dx + \int_{\partial\Omega} uv \, d\sigma$.
• Pour le Problème (2), le produit scalaire inclut un terme de volume : $a_\Omega(u, v) = \int_\Omega \nabla u \cdot \nabla v \, dx + \int_\Omega uv \, dx$.

Un opérateur $E_\Omega$ est construit de telle sorte que le problème de valeurs propres soit équivalent à la recherche de paires $(\mu, e)$ pour $E_\Omega$ où $\mu = 1/\lambda$. Cela transforme le problème en la recherche du spectre d'un opérateur compact et auto-adjoint sur un espace de Hilbert.

2.2 Perturbation de domaine et rappel (Pullback)

Pour analyser la dépendance des valeurs propres vis-à-vis de la forme du domaine, les auteurs considèrent des perturbations $\psi \in C^2(\mathbb{R}^n, \mathbb{R}^n)$ de petite norme, définissant un domaine perturbé $\Omega_\psi = (I + \psi)\Omega$.

• Les fonctions sur $\Omega_\psi$ sont ramenées au domaine fixe $\Omega$ via le difféomorphisme $\gamma_\psi$.
• Cela permet la définition d'une famille d'opérateurs $T_\psi$ agissant sur l'espace fixe $H^1(\Omega)$.
• La différentiabilité de ces opérateurs par rapport au paramètre $\psi$ en $\psi=0$ est établie.

2.3 La condition de « non-scission » (No-Splitting)

La preuve repose sur le Théorème 6, un résultat abstrait stipulant que si une valeur propre $\bar{\lambda}$ de multiplicité $m > 1$ maintient sa multiplicité sous toutes les petites perturbations, alors une condition spécifique de « non-scission » doit être satisfaite. Plus précisément, pour une base orthonormée $\{e_1, \dots, e_m\}$ de l'espace propre, il doit exister un scalaire $\rho$ tel que :
$$\langle T'(0)[\psi]e_j, e_i \rangle = \rho \delta_{ij}$$
pour toutes les perturbations $\psi$.

Les auteurs démontrent que cette condition ne peut pas être satisfaite pour les problèmes étudiés. Ils dérivent des formules intégrales explicites (impliquant les termes $L_1, I_1, I_2, G$) pour la dérivée de l'opérateur et montrent que supposer la validité de la condition mène à une contradiction via le Principe de Continuité Unique.

2.4 Stratégie de scission itérative

La preuve procède en deux étapes :

1. Scission d'une valeur propre unique : Il est démontré que pour toute valeur propre multiple, il existe une petite perturbation (supportée soit dans $S$, soit dans $W$) qui réduit sa multiplicité.
2. Simplicité globale : En itérant ce processus un nombre dénombrable de fois avec une séquence convergente de perturbations (garantissant que la perturbation totale reste petite), il est prouvé que l'on peut construire un domaine où toutes les valeurs propres sont simples.

3. Contributions clés et résultats

3.1 Principaux théorèmes sur les perturbations de domaine

• Théorème 1 : Pour le problème mixte Steklov-Robin (1), pour tout $\epsilon > 0$, il existe une perturbation $\psi$ avec $\|\psi\|_{C^2} < \epsilon$ telle que toutes les valeurs propres du problème sur $\Omega_\psi$ soient simples. Crucialement, $\psi$ peut être choisi de manière à laisser soit la composante $S$, soit la composante $W$ inchangée.
• Théorème 2 : Pour le problème de type Steklov (2), un résultat similaire est obtenu : toutes les valeurs propres peuvent être rendues simples via une petite perturbation qui laisse la composante $W$ inchangée.
  • Note : Les auteurs notent une limitation technique pour le Problème (2) : bien qu'ils puissent prouver la simplicité en perturbant $S$, ils rencontrent des difficultés pour dériver une contradiction en tentant de perturber uniquement $W$ tout en gardant $S$ fixe.

3.2 Résultats sur les perturbations de coefficients

L'article étend la généricité des valeurs propres simples aux problèmes à coefficients variables :

• Théorème 3 : Pour les problèmes (6) et (7) impliquant un potentiel $a(x)$, il existe une petite perturbation $b(x)$ telle que le coefficient modifié $\tilde{a} = a + b$ donne un problème avec des valeurs propres simples.
• Théorème 4 : Pour l'opérateur anisotrope $Lu = \partial_i(a_{ij}\partial_j u)$, il existe une petite perturbation $B(x)$ de la matrice de coefficients $A(x)$ telle que les valeurs propres résultantes soient simples.
• Corollaire 5 : Un résultat similaire est énoncé pour l'opérateur anisotrope avec un terme de masse (preuve omise).

4. Signification et affirmations

L'article affirme établir que la simplicité des valeurs propres est une propriété générique pour ces classes de problèmes aux valeurs limites mixtes. Cela est significatif car :

• Stabilité et interprétabilité : Les valeurs propres simples garantissent que l'analyse qualitative et perturbative des EDP est stable et physiquement cohérente, car le système possède une forme (fonction propre) unique pour chaque niveau d'énergie.
• Généralisation : Les résultats généralisent le problème de Steklov classique et traitent le problème de « sloshing » avec des conditions mixtes, qui sont pertinents en dynamique des fluides et en ingénierie.
• Robustesse méthodologique : Le travail démontre l'applicabilité de l'approche de transversalité abstraite de Micheletti à des conditions aux limites mixtes complexes et à des opérateurs anisotropes, surmontant les obstacles techniques liés aux interactions de bord spécifiques (par exemple, l'interface entre $S$ et $W$).

Les auteurs déclarent explicitement que l'inclusion du terme linéaire dans la condition de Neumann pour le Problème (1) était une modification nécessaire pour surmonter les obstacles techniques présents dans le cas de Neumann pur (masse nulle), notant qu'une étude dédiée du problème de sloshing classique (3) est actuellement en préparation.