Global renormalized solutions for hard potential non-cutoff Boltzmann equation without defect measure

1. Problématique et Contexte

L'article s'intéresse à l'équation de Boltzmann sans coupure angulaire (non-cutoff), qui modélise les interactions à longue portée (potentiels en loi de puissance inverse). L'équation est donnée par :
$$\partial_t f + v \cdot \nabla_x f = Q(f, f)$$
où le noyau de collision $B(v-v_*, \sigma)$ présente une singularité non intégrable par rapport à l'angle de diffusion $\theta$ (comportement asymptotique en $\theta^{-1-\nu}$).

Le problème central :
En 2002, Alexandre et Villani ont établi l'existence de solutions renormalisées globales pour ce type d'équation. Cependant, leur définition de solution renormalisée inclut une mesure de défaut (defect measure) non négative. Cette mesure apparaît naturellement lors de l'application du lemme de Fatou pour passer à la limite dans le terme de collision renormalisé, en raison de l'absence de convergence forte suffisante pour éliminer les termes résiduels.

L'objectif de ce papier est de prouver que, pour le cas des potentiels durs ($0 \le \gamma \le 1$), cette mesure de défaut s'annule. Ainsi, les solutions existent au sens standard (sans mesure de défaut), ce qui constitue une amélioration significative par rapport au résultat général d'Alexandre-Villani. L'article démontre également que cette approche échoue pour les potentiels mous ($-3 < \gamma < 0$).

2. Méthodologie

Les auteurs utilisent une approche par approximation et compacité forte, en s'appuyant sur des estimées de régularité spécifiques aux potentiels durs.

A. Construction de l'approximation

Ils construisent une suite de solutions régulières $f_n$ pour une équation approchée avec un noyau de collision tronqué $B_n$ (coupure des collisions rasantes) et une régularisation de l'opérateur collisionnel. Ces solutions satisfont les lois de conservation (masse, énergie) et une identité d'entropie.

B. Convergence forte en $L^1$

La clé de la démonstration réside dans l'établissement de la convergence forte de la suite $f_n$ vers la limite $f$ dans $L^1([0, T] \times \mathbb{R}^3_x \times \mathbb{R}^3_v)$.
Pour cela, ils utilisent une inégalité fonctionnelle reliant la régularité de $\sqrt{f_n}$ (en variable de vitesse) à la dissipation d'entropie. Cette inégalité, inspirée des travaux d'Alexandre, Desvillettes, Villani et Wennberg, montre que les composantes de haute fréquence de $\sqrt{f_n}$ sont contrôlées par la dissipation d'entropie.

• Cas des potentiels durs ($0 \le \gamma \le 1$) : L'intégrale de collision $\int f f_* |v-v_*|^\gamma dv dv_*$ est contrôlée par les moments d'ordre 2 (énergie), ce qui permet de fermer les estimées et d'obtenir la compacité forte.
• Cas des potentiels mous ($-3 < \gamma < 0$) : L'intégrale de collision peut diverger même si l'entropie et les moments sont finis. Les auteurs construisent un contre-exemple (Exemple 9.1) montrant l'existence d'une fonction avec entropie finie mais intégrale de collision infinie, rendant l'approche inapplicable.

C. Analyse de l'opérateur de collision renormalisé

L'opérateur renormalisé $\beta'(f)Q(f,f)$ est décomposé en trois termes : $(R_1)$, $(R_2)$ et $(R_3)$.

• $(R_1)$ et $(R_2)$ : Leur convergence est établie en utilisant la convergence forte de $f_n$ et des estimées de régularité dans des espaces de Besov négatifs ($B^{-\alpha}_{1,1}$), en exploitant la régularité Hölderienne des fonctions tests ($C^\alpha_c$) plutôt que les espaces $W^{1,\infty}$ utilisés précédemment.
• $(R_3)$ (Le terme critique) : Ce terme, lié à la convexité de la fonction de renormalisation, est positif. Dans les travaux antérieurs, on ne pouvait obtenir que l'inégalité de Fatou, introduisant la mesure de défaut.
  • Nouvelle contribution : Les auteurs établissent une estimation moyenne temps-vitesse (average time-velocity estimate) pour $(R_3)_n$. En développant le terme quadratique et en utilisant l'inégalité d'entropie, ils montrent que l'intégrale de $(R_3)_n$ est uniformément bornée par la dissipation d'entropie et les moments, sans terme résiduel.
  • Ils décomposent ensuite l'intégrale angulaire en une partie singulière (près de $\theta=0$) et une partie non singulière. Grâce à l'estimation de régularité fractionnaire (norme de Sobolev $H^{\nu/2}$) obtenue via la dissipation d'entropie, ils prouvent que la contribution de la partie singulière tend uniformément vers zéro lorsque le paramètre de coupure angulaire tend vers l'infini.

3. Résultats Principaux

1. Existence globale sans mesure de défaut : Pour des potentiels durs ($0 \le \gamma \le 1$), y compris les molécules de Maxwell ($\gamma=0$) et les sphères dures ($\gamma=1$), l'équation de Boltzmann sans coupure angulaire admet une solution renormalisée globale $f$ qui satisfait l'équation au sens des distributions sans terme de défaut.
   $$\partial_t \beta(f) + v \cdot \nabla_x \beta(f) = \beta'(f)Q(f, f)$$
   Cette solution appartient à $C(\mathbb{R}_+; w-L^1(\mathbb{R}^3_x; B^{-\alpha}_{1,1}(\mathbb{R}^3_v)))$ et satisfait les bornes a priori sur la masse, l'énergie et l'entropie.

2. Inégalité d'entropie : La solution satisfait l'inégalité d'entropie standard (loi de H), confirmant la cohérence physique de la solution.

3. Impossibilité pour les potentiels mous : L'article démontre que la méthode développée pour les potentiels durs échoue pour les potentiels mous ($-3 < \gamma < 0$). Un contre-exemple explicite montre qu'il existe des fonctions à entropie finie pour lesquelles l'intégrale de collision diverge, empêchant le contrôle nécessaire pour éliminer la mesure de défaut.

4. Contributions Clés et Innovations Techniques

• Élimination de la mesure de défaut : C'est le résultat principal. Les auteurs prouvent que la singularité angulaire, bien que forte, ne génère pas de défaut de mesure pour les potentiels durs grâce à la coercivité accrue de l'opérateur de collision dans ce régime.
• Estimation moyenne temps-vitesse : L'établissement de l'estimation (7.1) pour le terme $(R_3)_n$ est une avancée technique majeure. Elle permet de contrôler la masse de la partie non linéaire de la collision par la dissipation d'entropie, évitant ainsi l'application directe du lemme de Fatou qui introduirait le défaut.
• Utilisation des espaces de Besov et régularité Hölderienne : Le passage des espaces $W^{1,\infty}$ aux espaces $C^\alpha_c$ pour les fonctions tests permet de mieux gérer la singularité du noyau pour les potentiels durs critiques ($\gamma=1$), où les estimées précédentes échouaient.
• Contre-exemple pour les potentiels mous : La construction rigoureuse d'une fonction à entropie finie mais à intégrale de collision infinie clarifie les limites de la théorie actuelle pour les interactions à longue portée attractives (potentiels mous).

5. Signification

Ce travail résout une question ouverte majeure concernant la nature des solutions renormalisées pour l'équation de Boltzmann non-cutoff.

• Il confirme que pour les potentiels durs, la régularisation inhérente aux collisions (effet régularisant de l'opérateur de collision) est suffisante pour garantir une convergence forte et une solution "propre" (sans défaut).
• Il met en lumière la différence fondamentale entre les régimes de potentiels durs et mous : la coercivité de l'opérateur de collision est suffisante pour contrôler les singularités dans le premier cas, mais insuffisante dans le second.
• Ces résultats renforcent la compréhension mathématique de la dynamique des gaz dilués à interactions à longue portée et ouvrent la voie à l'étude de la stabilité et de la régularité des solutions dans des régimes plus complexes.