Bifurcation domains from any high eigenvalue for an overdetermined elliptic problem

Titre de l'article

Domaines de bifurcation à partir de n'importe quelle haute valeur propre pour un problème elliptique surdéterminé
Auteurs : Guowei Dai, Yingxin Sun, Yong Zhang

---

1. Problème Étudié

L'article s'intéresse à un problème de valeur propre surdéterminé défini sur un domaine non borné $\Omega \subset \mathbb{R}^{N+1}$ (avec $N \ge 1$) :
$$\begin{cases} -\Delta u = \lambda u & \text{dans } \Omega, \\ u = 0 & \text{sur } \partial\Omega, \\ \partial_\nu u = \text{const} & \text{sur } \partial\Omega. \end{cases}$$
Ce problème est lié à la conjecture de Berenstein, qui postule que si un tel problème admet une solution non triviale sur un domaine borné $C^{2,\alpha}$, alors ce domaine doit être une boule.

Contexte et Motivation :

• Le théorème classique de Serrin (pour le problème de torsion) et les travaux de Berestycki-Caffarelli-Nirenberg (BCN) établissent la symétrie radiale pour des domaines bornés ou certains domaines non bornés spécifiques (demi-espaces, cylindres).
• Des contre-exemples ont été trouvés récemment (Sicbaldi, Schlenk-Sicbaldi) montrant que le cylindre $B_1^N \times \mathbb{R}$ peut être perturbé en un domaine non borné périodique admettant une solution positive (perturbation de la première valeur propre $\lambda_1$).
• Des travaux antérieurs des auteurs ([9]) ont étendu cela aux solutions changeant de signe pour la deuxième valeur propre ($\lambda_2$).
• Question centrale : Existe-t-il des domaines non bornés admettant des solutions changeant de signe pour n'importe quelle haute valeur propre $\lambda_k$ ($k \ge 3$) du laplacien sur la boule unité ?

2. Méthodologie

Les auteurs utilisent une approche basée sur la théorie de la bifurcation (théorème de Crandall-Rabinowitz) appliquée à un opérateur non linéaire défini sur des cylindres déformés.

A. Formulation du problème de bifurcation

1. Domaines de perturbation : Ils considèrent des cylindres modifiés $\Omega_s$ dont le rayon dépend de la coordonnée axiale $t$ :
   $$|x| < 1 + s \cos\left(\frac{2\pi}{T}t\right) + s w\left(\frac{2\pi}{T}t\right)$$
   où $s$ est un petit paramètre, $T$ est la période, et $w$ est une fonction de correction.
2. Opérateur Dirichlet-Neumann : Le problème est reformulé comme la recherche de zéros d'un opérateur $F(v, T) = 0$, où $v$ représente la déformation du bord.
3. Linéarisation : L'étude de la linéarisation de l'opérateur $F$ autour de la solution triviale (cylindre droit) conduit à l'analyse d'un opérateur linéaire dont les valeurs propres dépendent de $T$.

B. Analyse Spectrale et Fonctions de Bessel

Le cœur de l'analyse technique réside dans l'étude des valeurs propres $\sigma_m(T)$ de l'opérateur linéarisé, qui impliquent des fonctions de Bessel $J_\nu$ et des fonctions de Bessel modifiées $I_\nu$.

• Les auteurs établissent le comportement asymptotique et la monotonie de la fonction $\sigma_1(T)$ (associée au premier mode de Fourier) sur des intervalles séparés par des points singuliers $T_i$.
• Ils démontrent des propriétés d'intercalation des zéros des fonctions de Bessel et des inégalités de convexité du type $J_\nu^2(s) > J_{\nu-1}(s)J_{\nu+1}(s)$ pour prouver la stricte monotonie de $\sigma(T)$ sur chaque intervalle.
• Cas $N=1$ : Une analyse explicite est réalisée en utilisant des fonctions trigonométriques (cas limite des fonctions de Bessel), permettant de calculer exactement les points de bifurcation.

C. Théorème de Bifurcation

• Cas de noyau de dimension 1 : Lorsque le point de bifurcation $T_{i,*}$ n'est pas un multiple entier d'un autre point de bifurcation précédent, le noyau de l'opérateur linéarisé est de dimension 1. Le théorème standard de Crandall-Rabinowitz s'applique directement.
• Cas de noyau de dimension supérieure : Lorsque $T_{i,*} = l \cdot T_{j,*}$ (multiples entiers), le noyau devient multidimensionnel. Les auteurs contournent cette difficulté en restreignant l'espace fonctionnel à un sous-espace où le noyau redevient de dimension 1, permettant ainsi d'appliquer à nouveau le théorème de bifurcation.

3. Résultats Principaux

Théorème 1.1 (Bifurcation principale)

Pour tout entier $k \ge 3$, il existe un nombre positif $T_{1,*}$ et une famille lisse de domaines non bornés $\Omega_s$ bifurquant du cylindre droit, tels que le problème surdéterminé admet une solution $u_s$ qui :

• Est $T_{1,*}$-périodique.
• Change de signe exactement $k-1$ fois le long du rayon (correspondant aux $k-1$ nœuds de l'autofonction radiale $\phi_k$).
• Le domaine est une perturbation du cylindre unité $B_1^N \times \mathbb{R}$.

Théorème 1.2 (Multiplicité des branches)

Il existe $k-1$ familles distinctes de domaines bifurquant du cylindre, associées à des périodes $T_{2,*}, \dots, T_{k,*}$.

• Chaque famille correspond à une branche de bifurcation différente.
• Les auteurs traitent soigneusement les cas de résonance (quand une période est un multiple d'une autre) en ajustant l'espace de bifurcation.
• Pour chaque branche, il existe $k-1$ lignes nodales $r_j(t)$ où la solution s'annule.

Cas unidimensionnel ($N=1$)

Pour $N=1$, les auteurs donnent des formules explicites pour les points de bifurcation :
$$T_{i,*} = \frac{4}{\sqrt{(2k-1)^2 - 4(i-1)^2}}$$
Ils montrent également que des noyaux multidimensionnels peuvent se produire pour des choix spécifiques de $k, i, j$, et fournissent des exemples numériques.

4. Contributions Clés et Innovations

1. Extension aux hautes valeurs propres : C'est la première construction de domaines non bornés admettant des solutions changeant de signe pour n'importe quel $k \ge 3$. Les travaux précédents se limitaient à $k=1$ (solution positive) et $k=2$.
2. Complexité analytique : La preuve nécessite une analyse fine des fonctions de Bessel pour des indices élevés et des intervalles multiples, dépassant la complexité des cas $k=1, 2$.
3. Gestion des noyaux multidimensionnels : La méthode développée pour traiter les points de bifurcation où le noyau de l'opérateur linéarisé est de dimension supérieure à 1 (via la restriction d'espace) est une contribution technique significative.
4. Contre-exemples généralisés : Ces résultats fournissent une famille infinie de contre-exemples à la conjecture de Berenstein sur les domaines non bornés, montrant que la géométrie "cylindrique" n'est pas la seule possibilité pour des solutions non triviales.

5. Signification

• Théorique : Ces résultats enrichissent considérablement la compréhension des problèmes elliptiques surdéterminés. Ils démontrent que la symétrie radiale (ou cylindrique) n'est pas une nécessité même en présence de conditions aux limites surdéterminées, surtout dans le contexte des domaines non bornés et des solutions changeant de signe.
• Mathématiques appliquées : Bien que le problème soit purement mathématique, les problèmes surdéterminés ont des applications en physique des plasmas, réacteurs nucléaires et tomographie. La compréhension de la multiplicité des solutions et de la géométrie des domaines admissibles est cruciale pour la modélisation précise de ces systèmes.
• Perspectives : La méthode ouvre la voie à l'étude d'autres types de non-linéarités ou de conditions aux limites dans des géométries complexes, et suggère que la "richesse" des solutions bifurquées augmente avec l'ordre de la valeur propre.

En résumé, cet article résout un problème ouvert majeur en démontrant l'existence de structures géométriques complexes (domaines périodiques non cylindriques) supportant des modes d'oscillation d'ordre élevé pour des problèmes elliptiques surdéterminés, utilisant des outils avancés d'analyse spectrale et de théorie de la bifurcation.