On K-peak solutions for the Yamabe equation on product manifolds

Cet article démontre l'existence de solutions à pics multiples pour l'équation de Yamabe sous-critique sur des produits de variétés fermées $(M \times X, g + \epsilon^2 h)$ lorsque $\epsilon$ est suffisamment petit, en exploitant les points critiques stables d'une fonctionnelle géométrique sur $M$ dans des cas dimensionnels spécifiques.

L'essentiel

🏔️ Le Grand Voyage des "Picots" : Une histoire de géométrie et de solutions multiples

Imaginez que vous êtes un architecte cosmique. Votre tâche est de construire des univers (des "variétés") qui ont une propriété très spéciale : leur "courbure" (leur forme globale) doit être parfaitement uniforme, comme une boule de billard parfaite, mais en dimensions supérieures. C'est ce qu'on appelle le problème de Yamabe.

Jusqu'à présent, on pensait souvent qu'il n'y avait qu'une seule façon de faire cela pour une forme donnée. Mais les mathématiciens Juan Miguel Ruiz et Areli Vázquez Juárez se sont demandé : "Et si on pouvait créer plusieurs solutions différentes, toutes aussi valides les unes que les autres ?"

Leur papier répond à cette question en utilisant une recette culinaire très particulière : les produits de variétés.

1. Le décor : Un tapis roulant et une boule de billard

Imaginez deux objets :

• L'objet A (M) : Un terrain de jeu complexe, peut-être accidenté, avec des collines et des vallées (c'est votre variété $M$).
• L'objet B (X) : Une petite boule de billard parfaite, lisse et constante (c'est votre variété $X$).

Les auteurs prennent ces deux objets et les "collent" ensemble pour créer un nouvel univers géant ($M \times X$). Mais ils ne les collent pas n'importe comment. Ils utilisent un paramètre magique, noté $\epsilon$ (epsilon), qui agit comme un zoom.

• Quand $\epsilon$ est grand, la boule de billard est visible.
• Quand $\epsilon$ devient tout petit (presque nul), la boule de billard s'écrase et devient invisible, laissant le terrain de jeu $M$ dominer.

2. Le problème : Trouver la "recette" parfaite

Dans cet univers géant, il existe une équation (l'équation de Yamabe) qui dicte comment la matière doit se répartir pour que la courbure reste constante. C'est comme chercher la quantité exacte de sucre dans un gâteau pour qu'il soit parfait.

Le défi ? Trouver des solutions positives (qui existent vraiment) et multiples.

Les auteurs veulent prouver qu'on peut créer des solutions qui ressemblent à des montagnes (des pics de hauteurs) sur le terrain de jeu $M$. Ils veulent construire un gâteau avec K pics (K montagnes) au lieu d'un seul.

3. La méthode : La technique du "Lyapunov-Schmidt" (ou comment assembler des Lego)

Pour trouver ces solutions, ils utilisent une méthode ingénieuse qu'on pourrait appeler "l'art de l'approximation".

1. Le modèle de base : Ils commencent par une solution parfaite connue dans un espace infini (comme un pic de montagne isolé dans le vide). C'est leur "brique Lego" de base.
2. L'assemblage : Ils prennent cette brique et la placent à plusieurs endroits stratégiques sur le terrain de jeu $M$. Ils en mettent $K$ fois.
3. Le problème de l'assemblage : Si vous collez deux pics trop près l'un de l'autre, ils se gênent et la forme devient imparfaite. Il faut les espacer correctement.
4. La correction (Le "Raffinement") : Les auteurs ajoutent une petite couche de "pâte" (une perturbation mathématique) pour corriger les imperfections créées par le collage. C'est ici que la magie opère : ils montrent que si vous choisissez les bons endroits pour poser vos pics, vous pouvez toujours lisser la surface pour obtenir une solution parfaite.

4. Le secret : Où placer les pics ?

C'est là que le papier devient vraiment intéressant. Pour que les $K$ pics tiennent debout sans s'effondrer, ils ne peuvent pas être placés n'importe où. Ils doivent se poser sur des points critiques d'une fonction spéciale, qu'on appelle $\Phi$.

Imaginez que le terrain de jeu $M$ a une "topographie énergétique".

• Si la courbure de votre terrain change beaucoup, les pics se posent là où la courbure est stable.
• Mais le cas spécial de ce papier : Les auteurs s'intéressent à des situations où la courbure est déjà constante (un terrain plat) ou où un certain nombre magique ($\beta$) est nul. Dans ces cas, la "boussole" habituelle ne fonctionne plus.

Alors, ils inventent une nouvelle boussole : la fonction $\Phi$.
Cette fonction regarde non seulement la courbure, mais aussi comment la courbure change (ses dérivées) et la forme précise de l'espace (le tenseur de courbure).

L'analogie du chef d'orchestre :
Si la courbure est constante, c'est comme un orchestre qui joue une seule note. Pour créer des pics (des solos), il faut écouter les subtilités de l'instrument (la géométrie fine). Les auteurs disent : "Regardez où l'instrument vibre le plus fort (les points stables de $\Phi$), c'est là qu'il faut placer vos pics."

5. Le résultat final : Une forêt de pics

Le théorème principal (Théorème 1.1) dit essentiellement ceci :

"Peu importe combien de pics ($K$) vous voulez construire (1, 2, 100...), si vous placez vos pics autour d'un point stable de cette nouvelle fonction $\Phi$, et si vous zoomez assez fort (si $\epsilon$ est assez petit), alors une solution parfaite existe."

C'est comme dire : "Vous pouvez construire une forêt entière de montagnes parfaites sur ce terrain, tant que vous respectez les règles de la géométrie fine que nous avons découvertes."

En résumé

Ce papier est une avancée majeure car il résout des cas qui restaient bloqués dans la littérature précédente. Il montre que même dans des environnements très réguliers (où la courbure est constante), la nature est capable de créer une multiplicité infinie de formes (des solutions à pics multiples), à condition de savoir où regarder.

C'est une démonstration de la richesse cachée de l'univers mathématique : même là où tout semble plat et uniforme, il y a des endroits secrets où des structures complexes peuvent éclore.

Résumé technique

Voici un résumé technique détaillé de l'article "ON K-PEAK SOLUTIONS FOR THE YAMABE EQUATION ON PRODUCT MANIFOLDS" par Juan Miguel Ruiz et Areli Vázquez Juárez.

1. Problème Étudié

L'article s'intéresse à l'équation de Yamabe sous-critique sur une variété produit $M \times X$, où $(M^n, g)$ et $(X^m, h)$ sont des variétés fermées avec $n, m > 2$. On suppose que $(X, h)$ possède une courbure scalaire constante positive.

On considère une famille à un paramètre de métriques produits :
$$(M \times X, g_\epsilon) \quad \text{avec} \quad g_\epsilon = g + \epsilon^2 h, \quad \epsilon > 0.$$

L'équation de Yamabe sous-critique sur cette variété, après renormalisation pour chercher des solutions dépendant uniquement de $M$, se réduit au problème suivant (équation 3) :
$$-\Delta_g u + (c s_g \epsilon^{-2} + 1)u = u^{p-1}$$
où $N = n+m$, $p = \frac{2N}{N-2}$, $s_g$ est la courbure scalaire de $(M, g)$, et $c = \frac{N-2}{4(N-1)}$.

L'objectif principal est de prouver l'existence de solutions positives à "K pics" (K-peak solutions) pour cette équation lorsque $\epsilon \to 0$. Ces solutions se concentrent autour de $K$ points distincts sur la variété $M$.

2. Contexte et Motivation

Les travaux antérieurs (notamment [18]) ont établi l'existence de solutions multipeaks lorsque le paramètre dimensionnel $\beta$ (défini ci-dessous) est non nul et que la courbure scalaire $s_g$ possède des points critiques isolés et stables. Dans ce cas, les pics se concentrent autour des points critiques de $s_g$.

Cependant, deux cas restaient ouverts :

1. Lorsque $\beta \neq 0$ mais que $s_g$ est constante.
2. Lorsque $\beta = 0$ (cas critique dimensionnel).

Dans ces situations, la concentration ne peut pas être guidée par les points critiques de $s_g$ (car elle est constante) ou par le terme dominant habituel. L'article vise à combler ces lacunes en identifiant un nouveau fonctionnel $\Phi$ dont les points critiques déterminent la position des pics.

3. Méthodologie

Les auteurs utilisent la méthode de réduction de Lyapunov-Schmidt, une technique standard pour les équations elliptiques non linéaires sur les variétés, combinée à une analyse asymptotique fine de l'énergie.

A. Construction de la solution approchée

La solution est construite comme une superposition de $K$ "pics" localisés autour de points $\xi_1, \dots, \xi_K \in M$.

1. Profil de base : On utilise la solution unique, positive et radialement symétrique $U$ de l'équation limite dans $\mathbb{R}^N$ : $-\Delta U + U = U^{p-1}$.
2. Approximation : On définit une fonction approchée $W_{\epsilon, \xi}$ en transplantant $U$ via l'exponentielle locale et en la tronquant avec une fonction de coupure $\chi$.
3. Correction d'ordre 2 : Pour affiner l'approximation, on ajoute un terme de correction $\epsilon^2 V_{\epsilon, \xi}$, où $V$ est la solution bornée d'une équation linéaire $L_0 v = \text{RHS}$ impliquant la courbure de $M$ et $s_g$.
4. Somme : La solution approchée est $Y_{\epsilon, \bar{\xi}} = \sum_{i=1}^K (W_{\epsilon, \xi_i} + \epsilon^2 V_{\epsilon, \xi_i})$.

B. Réduction de dimension

Le problème est décomposé en deux parties via des projections orthogonales dans l'espace de Hilbert $H_\epsilon$ :

1. Partie orthogonale ($\Pi^\perp$) : On résout l'équation dans le sous-espace orthogonal aux directions de translation des pics. Cela permet de trouver une perturbation unique $\phi_{\epsilon, \bar{\xi}}$ telle que $u_\epsilon = Y_{\epsilon, \bar{\xi}} + \phi_{\epsilon, \bar{\xi}}$ satisfasse l'équation modulo les directions critiques.
2. Partie finie dimensionnelle ($\Pi$) : La recherche de la solution exacte se réduit à trouver un point critique du fonctionnel réduit $\bar{J}_\epsilon(\bar{\xi}) = J_\epsilon(Y_{\epsilon, \bar{\xi}} + \phi_{\epsilon, \bar{\xi}})$.

C. Développement asymptotique de l'énergie

Le cœur technique de l'article réside dans le développement de l'énergie $J_\epsilon$ jusqu'à l'ordre $\epsilon^4$.
$$\bar{J}_\epsilon(\bar{\xi}) = K\alpha + \epsilon^2 \frac{\beta}{2} \sum s_g(\xi_i) + \epsilon^4 \sum \Phi(\xi_i) - \frac{1}{2} \sum_{i \neq j} \gamma_{ij} U\left(\frac{d(\xi_i, \xi_j)}{\epsilon}\right) + o(\epsilon^4)$$

• $\alpha$ : Énergie de la solution limite $U$.
• $\beta$ : Constante dimensionnelle dépendant de $n$ et $m$. Si $\beta \neq 0$, le terme en $\epsilon^2$ domine et guide les pics vers les extrema de $s_g$.
• Le terme clé $\Phi(\xi)$ : Lorsque $\beta = 0$ ou $s_g$ est constante, le terme en $\epsilon^2$ s'annule ou devient constant. La dynamique est alors gouvernée par le terme en $\epsilon^4$, défini par le fonctionnel :
  $$\Phi(\xi) = \frac{1}{120(n+2)} \left( -c_8 \Delta_g s_g(\xi) + c_6 \|Ric_\xi\|^2 - 3c_1 \|R_\xi\|^2 \right) + c_7 s_g(\xi)^2 + c_9 s_g(\xi)$$
  où $Ric_\xi$ et $R_\xi$ sont respectivement le tenseur de Ricci et le tenseur de courbure de Riemann de $(M, g)$. Les constantes $c_i$ dépendent uniquement des dimensions.

4. Résultats Principaux

Théorème 1.1 (Existence de solutions K-pics) :
Supposons que $\beta = 0$ ou que $s_g$ est constante. Soit $\xi_0$ un point critique local isolé et $C^1$-stable du fonctionnel $\Phi$. Alors, pour tout entier $K \ge 1$, il existe $\epsilon_0 > 0$ tel que pour tout $\epsilon \in (0, \epsilon_0)$, il existe une solution positive $u_\epsilon$ de l'équation de Yamabe sous-critique sur $M \times X$ qui présente $K$ pics.

Ces pics sont localisés en des points $\xi_1^\epsilon, \dots, \xi_K^\epsilon$ tels que :

1. Ils convergent vers $\xi_0$ : $d_g(\xi_i^\epsilon, \xi_0) \to 0$.
2. Ils sont bien séparés à l'échelle $\epsilon$ : $\frac{d_g(\xi_i^\epsilon, \xi_j^\epsilon)}{\epsilon} \to \infty$ pour $i \neq j$.
3. La solution converge vers la somme des pics : $\|u_\epsilon - \sum W_{\epsilon, \xi_i^\epsilon}\|_\epsilon \to 0$.

Cas particuliers notables :

• Si $(M, g)$ est une variété d'Einstein sans courbure sectionnelle constante, les solutions se concentrent autour des points critiques stables de la norme du tenseur de courbure $\|R_\xi\|$.
• Le résultat couvre les cas restants non traités par [18], démontrant ainsi la multiplicité des solutions dans des configurations géométriques plus complexes.

5. Contributions Techniques et Significatives

1. Identification du fonctionnel $\Phi$ : L'article dérive explicitement la forme du fonctionnel $\Phi$ qui régit la localisation des pics lorsque le terme de courbure scalaire dominant ($\beta s_g$) est absent ou constant. Ce fonctionnel fait intervenir des invariants géométriques d'ordre supérieur (Laplacien de la courbure scalaire, norme du tenseur de Ricci et de Riemann).
2. Analyse de l'ordre $\epsilon^4$ : La preuve nécessite un développement très précis de l'énergie jusqu'à l'ordre 4, ce qui implique des calculs complexes de termes d'interaction entre les pics et les corrections géométriques de la métrique produit.
3. Généralisation des résultats existants : En traitant les cas $\beta=0$ et $s_g=\text{constante}$, l'article complète la théorie de l'existence de solutions multipeaks pour l'équation de Yamabe sur les produits, montrant que la géométrie interne de $M$ (via $\Phi$) suffit à structurer les solutions même en l'absence de variations de courbure scalaire.
4. Méthodologie robuste : La démonstration combine rigoureusement la réduction de Lyapunov-Schmidt, des estimées d'erreur exponentielles précises (Lemmes 6.2 à 6.7) et l'analyse de stabilité des points critiques du fonctionnel réduit.

Conclusion

Cet article établit l'existence de solutions à multiplicité de pics pour l'équation de Yamabe sur des variétés produits dans des régimes géométriques précédemment non résolus. Il démontre que lorsque la courbure scalaire ne suffit pas à guider la concentration des solutions, ce sont des invariants de courbure plus fins (tenseurs de Ricci et Riemann) qui déterminent la structure des solutions via le fonctionnel $\Phi$. Ce résultat enrichit significativement la compréhension de la non-unicité des métriques à courbure scalaire constante.