The CKN inequality for spinors: symmetry and symmetry breaking

Résumé Technique : L'inégalité CKN pour les spinors : Symétrie et brisure de symétrie

Énoncé du Problème
Cet article étudie les inégalités de Caffarelli-Kohn-Nirenberg (CKN) pour les fonctions à valeurs de spinors en trois dimensions ($d=3$). Alors que l'inégalité CKN scalaire est bien comprise concernant l'existence d'optimiseurs et leurs propriétés de symétrie (spécifiquement, si les optimiseurs sont radiaux ou si la symétrie rotationnelle est brisée), le problème analogue pour les spinors présente des défis distincts. Les auteurs considèrent l'inégalité :
$$\int_{\mathbb{R}^3} \frac{|\sigma \cdot \nabla \psi(x)|^2}{|x|^{2\alpha}} dx \geq C_{\alpha,\beta} \left( \int_{\mathbb{R}^3} \frac{|\psi(x)|^p}{|x|^{\beta p}} dx \right)^{2/p}$$
où $\psi: \mathbb{R}^3 \to \mathbb{C}^2$ est un 2-spinor, $\sigma$ représente les matrices de Pauli, et l'exposant $p$ est déterminé par l'invariance d'échelle. La question centrale est de déterminer la plage de paramètres $(\alpha, \beta)$ pour laquelle la constante optimale $C_{\alpha,\beta}$ est atteinte par des spinors « symétriques », et inversement, où une « brisure de symétrie » se produit (c'est-à-dire où l'optimiseur global n'est pas symétrique).

Une difficulté majeure identifiée est que, contrairement au cas scalaire où le groupe $O(3)$ agit sur les fonctions, l'inégalité spinorielle est invariante sous le groupe $SU(2)$. Cependant, il n'existe pas de spinors non triviaux invariants par $SU(2)$. Par conséquent, les auteurs doivent redéfinir rigoureusement la notion de « symétrie » pour les spinors. Ils définissent un spinor comme étant symétrique s'il appartient à une représentation irréductible de la plus basse dimension ($H_0$ ou $H_{-2}$), ce qui correspond à des spinors de la forme $f(|x|)\chi_0$ ou $f(|x|)(\sigma \cdot \hat{x})\chi_0$, où $\chi_0$ est un spinor constant.

Méthodologie
Les auteurs emploient une approche multidimensionnelle combinant l'analyse spectrale, les méthodes variationnelles et les inégalités d'interpolation :

1. Coordonnées logarithmiques et décomposition spectrale : Le problème est transformé en coordonnées logarithmiques ($s = \log|x|$) sur le cylindre $\mathbb{R} \times S^2$. Cela convertit l'invariance d'échelle de l'inégalité originale en invariance par translation. La partie angulaire de l'opérateur est analysée en utilisant la décomposition des spinors en harmoniques sphériques (fonctions propres de $\sigma \cdot L$). L'opérateur angulaire effectif est identifié comme $K_\alpha = (\sigma \cdot L)^2 + (1-2\alpha)\sigma \cdot L$. Contrairement au cas scalaire où l'opérateur angulaire effectif est indépendant du paramètre, $K_\alpha$ dépend de manière non monotone de $\alpha$, créant des obstacles techniques importants.

2. Existence d'optimiseurs : En utilisant des arguments de compacité concentrée adaptés du cas scalaire (suivant spécifiquement Catrina et Wang), les auteurs prouvent l'existence d'optimiseurs pour l'inégalité logarithmique pour tout $\alpha \notin \Lambda$ (où $\Lambda$ est un ensemble de valeurs singulières) et $p \in (2,6)$.

3. Preuves de symétrie (Monotonie et Interpolation) :

   • Monotonie : Un argument d'échelle est utilisé pour établir que si la symétrie tient pour un paramètre spécifique, elle tient pour une plage de paramètres. Cela repose sur l'analyse du fonctionnel $G_\alpha[\phi]$ et la distinction des cas $\alpha < 1/2$ et $\alpha > 1/2$.
   • Inégalités de Gagliardo-Nirenberg sur la sphère : Une contribution novatrice consiste en la dérivation d'une inégalité d'interpolation de Gaglioli-Nirenberg pour les spinors sur la sphère $S^2$. Cette inégalité borne la forme quadratique associée à $K_\alpha$ par des normes $L^q$. Les auteurs prouvent que pour certaines plages de $q$ (et donc de $p$), l'inégalité est saturée uniquement par des spinors constants (type $H_0$). Cela leur permet de prouver que les optimiseurs globaux doivent être symétriques dans certaines régions de paramètres.

4. Brisure de symétrie (Analyse de stabilité) : Pour identifier les régions de brisure de symétrie, les auteurs analysent la stabilité linéaire des solutions symétriques. Ils calculent la seconde variation de l'intégrale d'énergie autour d'un optimiseur symétrique. En construisant des fonctions tests spécifiques (perturbations) dans des modes de moment angulaire supérieur, ils démontrent que la solution symétrique devient un point selle (linéairement instable) lorsque les paramètres dépassent certains seuils. Cette instabilité implique que l'optimiseur global doit être non symétrique, conduisant à $C_{\alpha,\beta} < C^*_{\alpha,\beta}$.

Résultats Clés
L'article établit les principaux résultats suivants :

• Existence : Des optimiseurs existent pour tous les paramètres admissibles où l'inégalité est non triviale ($\alpha \notin \Lambda$).
• Régions de symétrie : Les auteurs identifient des régions explicites dans le plan $(\alpha, p)$ où tous les optimiseurs sont symétriques. Ces régions sont délimitées par deux fonctions, $\alpha_*(p)$ et $\alpha^*(p)$. À l'intérieur de ces régions, la constante optimale pour les spinors coïncide avec la constante optimale restreinte aux spinors symétriques.
  • Pour $\alpha \in (-1/2, 0]$, la symétrie tient si $p$ est suffisamment petit (spécifiquement $p \leq 2\frac{3+4(\alpha+1)^2}{3+4\alpha^2}$).
  • Pour $\alpha \in (0, 1/2) \cup (1/2, 1)$, la symétrie tient sous des limites similaires impliquant des fonctions rationnelles de $\alpha$.
• Brisure de symétrie : Les auteurs prouvent qu'une brisure de symétrie se produit dans des régions spécifiques où les solutions symétriques sont linéairement instables. Cela arrive quand $p$ est grand par rapport à $\alpha$.
  • Pour $\alpha \in (-1/2, 0)$, la brisure de symétrie se produit si $p > \min\{p_1(\alpha), p_2(\alpha)\}$.
  • Pour $\alpha > 1/2$, la brisure de symétrie se produit pour un $p$ suffisamment grand.
• Différences structurelles avec le cas scalaire : L'article souligne que le cas des spinors est qualitativement différent de l'inégalité CKN scalaire. Dans le cas scalaire, la brisure de symétrie se produit typiquement pour un grand $a$ (ou $\alpha$) et un grand $p$. Dans le cas des spinors, la région de symétrie est bornée en $\alpha$ (spécifiquement $-2 \leq \alpha \leq 1$), et la région de symétrie pour un $\alpha$ fixé consiste en deux intervalles disjoints de $p$ (ou $\beta$), séparés par une région de brisure de symétrie. Cette structure d'« îlot » de symétrie est unique au cadre des spinors.

Signification et Revendications
Les auteurs affirment que ce travail constitue la première analyse détaillée de la symétrie et de la brisure de symétrie pour les inégalités de type CKN impliquant des spinors. Ils soulignent que :

1. Absence de symétrisation : Contra\text{à} le cas scalaire, aucune technique de réarrangement ou de symétrisation n'est disponible pour les spinors. Les résultats reposent entièrement sur des méthodes spectrales et l'analyse de stabilité.
2. Complexité : Le problème est nettement plus complexe que le cas scalaire en raison de la dépendance non monotone de l'opérateur angulaire effectif vis-à-vis du paramètre $\alpha$ et de la nature complexe-linéaire de l'espace des spinors.
3. Nouvelles inégalités : La dérivation de l'inégalité de Gagliardo-Nirenberg pour les spinors sur la sphère est présentée comme un résultat d'intérêt indépendant.
4. Modestie sur la précision : Les auteurs déclarent explicitement que leurs résultats ne sont pas optimaux (« sharp ») au sens où ils ne couvrent pas l'ensemble du régime des paramètres ; les frontières exactes entre symétrie et brisure de symétrie (les fonctions $\alpha_*$ et $\alpha^*$) ne sont pas totalement déterminées ; l'article fournit des bornes supérieures et inférieures rigoureuses pour ces courbes de transition. Déterminer le diagramme de phase complet reste un problème ouvert.

En résumé, l'article cartographie avec succès un diagramme de phase riche pour les inégalités CKN spinorielles, démontrant que la brisure de symétrie est un phénomène robuste dans ce contexte, mais avec une structure plus complexe et contrainte que son homologue scalaire.