Compactness results for Sign-Changing Solutions of critical nonlinear elliptic equations of low energy

1. Problème Étudié

L'article s'intéresse aux propriétés de compacité des solutions changeant de signe (sign-changing solutions) de l'équation elliptique critique suivante définie sur un domaine borné, lisse et connexe $\Omega \subset \mathbb{R}^n$ ($n \ge 3$) :

\begin{cases} -\Delta v + h v = |v|^{2^*-2} v & \text{dans } \Omega, \\ v = 0 & \textsur } \partial\Omega, \end{cases}

où $2^* = \frac{2n}{n-2}$ est l'exposant critique de Sobolev, et $h \in C^1(\Omega)$ est une fonction potentielle.
L'opérateur $-\Delta + h$ est supposé coercif. Le problème est de déterminer si l'ensemble des solutions de cette équation, possédant une énergie inférieure à un certain seuil critique, est compact dans la topologie $C^2(\Omega)$.

Le contexte est celui de l'analyse de blow-up (explosion) : on considère une suite de solutions $(v_\alpha)$ qui ne converge pas fortement dans $H^1_0(\Omega)$ (c'est-à-dire qu'elle "explose" en norme $L^\infty$). L'objectif est de montrer que, sous certaines conditions sur la dimension $n$ et le potentiel $h$, une telle explosion est impossible pour les solutions changeant de signe à basse énergie, garantissant ainsi la compacité.

2. Méthodologie

La preuve repose sur une analyse par contradiction combinée à une analyse fine de blow-up (blow-up analysis) et à l'utilisation d'identités de Pohozaev.

A. Décomposition Asymptotique

En supposant l'existence d'une suite de solutions $(v_\alpha)$ qui explose ($\|v_\alpha\|_\infty \to +\infty$) tout en restant bornée en énergie, les auteurs utilisent les résultats classiques de Struwe pour décomposer la solution :
$$v_\alpha = B_\alpha \pm v_\infty + o(1) \quad \text{dans } H^1_0(\Omega),$$
où :

• $v_\infty$ est une solution (positive) de l'équation limite.
• $B_\alpha$ est un profil de "bulle" (bubble) positif, concentré en un point $x_\alpha \in \Omega$ avec un paramètre d'échelle $\mu_\alpha \to 0$, modélisé par la solution fondamentale de l'équation critique sur $\mathbb{R}^n$.

B. Nouvelle Estimation Ponctuelle Globale (Théorème 2.1)

La contribution méthodologique majeure de l'article est l'établissement d'une estimation ponctuelle précise (pointwise estimate) valable jusqu'au bord $\partial\Omega$. Contrairement aux travaux antérieurs sur les solutions positives, les auteurs prouvent que :
$$\left| v_\alpha(x) - \Pi B_\alpha(x) \mp v_\infty(x) \right| \le \varepsilon_\alpha (B_\alpha(x) + v_\infty(x)),$$
où $\Pi B_\alpha$ est la projection de la bulle $B_\alpha$ dans $H^1_0(\Omega)$ (solution de $(-\Delta + h_\alpha)u = B_\alpha^{2^*-1}$).
Cette estimation est cruciale car elle contrôle le comportement de la solution non seulement au centre de concentration, mais aussi près du bord, là où $B_\alpha$ et $v_\infty$ se comportent différemment. C'est la première fois qu'une telle estimation est obtenue pour des solutions changeant de signe jusqu'au bord.

C. Analyse des Points de Concentration

Les auteurs distinguent deux cas pour le point de concentration $x_\infty = \lim x_\alpha$ :

1. Explosion intérieure ($x_\infty \in \Omega$) : Utilisation d'identités de Pohozaev locales pour obtenir des conditions nécessaires sur $h(x_\infty)$ et $v_\infty(x_\infty)$.
2. Explosion au bord ($x_\infty \in \partial\Omega$) : C'est le cœur de la difficulté technique. Les auteurs introduisent une échelle intermédiaire $r_\alpha$ pour analyser l'interaction entre la bulle et le bord. Ils utilisent des identités de Pohozaev sur des domaines adaptés et des estimations fines de la fonction de Green pour montrer que l'explosion au bord est impossible sous certaines hypothèses.

3. Résultats Principaux

Le résultat central est le Théorème 1.1, qui établit la compacité $C^2$ des solutions changeant de signe à l'énergie minimale pour le changement de signe.

Hypothèses :

• $I_h(\Omega) < K_n^{-2}$ (où $K_n$ est la constante de Sobolev optimale).
• La suite de solutions $(v_\alpha)$ satisfait une borne d'énergie : $\limsup \int |v_\alpha|^{2^*} \le K_n^{-n} + I_h(\Omega)^{n/2}$.

Conclusion de Compacité :
La suite $(v_\alpha)$ converge fortement (à une sous-suite près) vers une solution non triviale dans $C^2(\Omega)$ si l'une des conditions suivantes est remplie :

1. Dimensions basses : $n \in \{3, 4, 5\}$. La compacité est inconditionnelle (valable pour tout $h$ satisfaisant les hypothèses de coercivité).
2. Dimensions élevées : $n \ge 7$ et $h(x) \neq 0$ partout dans $\Omega$.

Cas de la dimension 6 :
Le cas $n=6$ est exclu du théorème de compacité générale. Les auteurs prouvent le Proposition 1.1 : si une suite de solutions changeant de signe explose en dimension 6, alors le point de concentration $x_\infty$ est intérieur, $v_\infty > 0$, et la condition nécessaire $h(x_\infty) = \pm 2v_\infty(x_\infty)$ doit être satisfaite. Cela suggère que la compacité peut échouer en dimension 6.

Cas des solutions positives :
L'article note que pour les solutions positives, la compacité échoue souvent en dimensions $3 \le n \le 5$ même à basse énergie (contre-exemples connus). Le résultat sur les solutions changeant de signe est donc surprenant et contre-intuitif, car ces solutions sont généralement considérées comme ayant un comportement plus erratique.

4. Contributions Clés et Innovations

1. Estimation Ponctuelle au Bord pour Solutions Changeant de Signe : La preuve du Théorème 2.1 est une avancée technique majeure. Elle permet de contrôler finement la différence entre la solution et la somme des profils (bulle + solution résiduelle) jusqu'au bord, ce qui est essentiel pour exclure les explosions au bord.
2. Exclusion de l'Explosion au Bord : En utilisant les estimations ponctuelles et les identités de Pohozaev, les auteurs démontrent rigoureusement que pour $n \in \{3, 4, 5\}$ ou $n \ge 7$ avec $h \neq 0$, le point de concentration ne peut pas se situer sur le bord $\partial\Omega$. C'est une difficulté spécifique aux solutions changeant de signe, car les solutions positives ne peuvent pas exploser au bord dans ce contexte (résultat connu de [31]).
3. Résultat de Compacité Inconditionnelle en Basses Dimensions : Contrairement au cas positif où la compacité nécessite des conditions supplémentaires sur $h$ ou l'énergie, les solutions changeant de signe sont compactes en dimensions 3, 4 et 5 sans hypothèse supplémentaire sur le signe de $h$ (au-delà de la coercivité).

5. Signification et Impact

Ce travail complète la théorie de la compacité pour les équations elliptiques critiques.

• Il comble un vide important concernant le comportement des solutions changeant de signe, qui sont beaucoup plus difficiles à analyser que les solutions positives en raison de l'absence de principe de maximum et de la complexité de leur structure nodale.
• Il établit un seuil d'énergie critique ($K_n^{-n} + I_h(\Omega)^{n/2}$) au-delà duquel la compacité est garantie pour les solutions changeant de signe, analogue au seuil de Brézis-Nirenberg pour les solutions positives.
• Il met en lumière un phénomène dimensionnel spécifique : la dimension 6 apparaît comme une dimension critique où la compacité peut échouer, nécessitant des conditions supplémentaires (comme $h(x_\infty) = \pm 2v_\infty(x_\infty)$) pour décrire le comportement des suites explosives.
• Les techniques développées, notamment l'analyse fine au bord via les estimations ponctuelles, ouvrent la voie à de nouvelles études sur la stabilité et la structure des solutions pour des équations non linéaires critiques sur des variétés à bord.

En résumé, ce papier démontre que, paradoxalement, les solutions changeant de signe à basse énergie sont plus "stables" (compacts) que les solutions positives dans les dimensions 3 à 5, grâce à une interaction subtile entre la bulle de concentration et la solution résiduelle qui empêche la formation de singularités au bord.