Pathological Large Deviations of the KMP Process in Dimension $d\ge 2$

Résumé technique : Grandes déviations pathologiques du processus KMP en dimension $d \ge 2$

Énoncé du problème
Cet article étudie les grandes déviations dynamiques du processus de Kipnis–Marchioro–Presutti (KMP), un processus de Markov canonique modélisant la conduction thermique sur un tore discret $\mathbb{T}^d_N$. L'objet central de l'étude est la fonction de taux régissant la probabilité des trajectoires rares s'écartant de l'équation de la chaleur macroscopique $\partial_t u = \frac{1}{2}\Delta u$.

Les analyses formelles précédentes (par exemple, Bertini, Gabrielli, Lebowitz) suggéraient une fonction de taux candidate $I_\rho$ dérivée d'une structure de flot de gradient impliquant une équation de type Fokker-Planck. Cependant, le processus KMP présente un défi unique : bien que sa diffusivité soit linéaire, sa mobilité est quadratique. Cela contraste avec les processus d'exclusion ou à portée nulle où la diffusivité et la mobilité sont gouvernées par la même fonction. L'article examine si la structure formelle de flot de gradient caractérise entièrement les grandes déviations ou si des trajectoires « pathologiques » — celles manquant de la régularité requise pour résoudre l'équation du squelette associée — peuvent se produire avec un taux fini.

Méthodologie
Les auteurs emploient une combinaison de techniques probabilistes de grandes déviations et d'analyse d'équations aux dérivées partielles (EDP) mal posées.

1. Minorant restreint (Théorème 1) :
   Pour établir une borne inférieure pour la fonction de taux sur des trajectoires suffisamment régulières ($u \in \mathcal{R}$), les auteurs utilisent la méthode du retournement (changement de mesure). Un obstacle technique majeur est l'absence d'une « estimation de remplacement superexponentielle » pour le terme de mobilité quadratique, ce qui est standard dans d'autres systèmes de particules en interaction.

   • Résolution : Au lieu de s'appuyer sur une estimation superexponentielle globale, les auteurs construisent un changement de mesure spécifique $Q_{N,K}$ avec une coupure $K$ sur l'énergie. En exploitant la régularité de la trajectoire cible $u$, ils prouvent une borne $L^2_{t,x}$ sur la mesure empirique sous $Q_{N,K}$. Cela leur permet de contourner le besoin d'une estimation superexponentielle pour des observables non bornées, validant la borne inférieure pour les trajectoires régulières sans nécessiter toute la machinerie habituellement requise pour la borne supérieure.

2. Construction de trajectoires pathologiques (Théorème 2) :
   Le cœur du travail consiste à construire des suites de trajectoires lisses $u_n$ qui convergent vers des limites singulières $\Xi$ tout en maintenant un coût dynamique $J(u_n)$ borné (ou tendant vers zéro).

   • Analyse de l'équation du squelette : Les auteurs analysent l'équation « squelette » $\partial_t u = \frac{1}{2}\Delta u - \nabla \cdot (ug)$, où $g \in L^2_{t,x}$ est le contrôle. Ils démontrent que l'équilibre entre la diffusion linéaire et la mobilité quadratique permet la concentration de masse (pics) qui peuvent se déplacer ou apparaître/disparaître avec un coût fini.
   • Dépendance dimensionnelle : La construction repose sur la force des plongements de Sobolev et des estimations de dissipation d'entropie :
     • $d=1$ : Le coût de création d'une singularité (une masse de Dirac) est fini.
     • $d=2$ : L'inégalité de Moser-Trudinger permet la construction de trajectoires avec un nombre dénombrable de sauts (discontinuités dans le temps) avec un coût fini.
     • $d \ge 3$ : La dissipation d'entropie n'est plus semi-continue inférieurement dans la topologie faible. Cela permet la construction de mesures relâchées arbitraires (y compris celles avec singularités) qui peuvent être approchées par des trajectoires lisses avec un coût dynamique nul.

Résultats clés

• Théorème 1 (Minorant restreint) : Pour toute dimension $d \ge 1$, la borne inférieure de grandes déviations vaut pour toutes les trajectoires suffisamment régulières $u$ (lisses, strictement positives). Sur cet ensemble, la fonction de taux candidate $I_\rho$ est valide, et le coût dynamique $J$ coïncide avec le coût formel de Fokker-Planck $J_{FP}$.
• Théorème 2 (Trajectoires pathologiques) : La fonction de taux candidate $I_\rho$ échoue à décrire toutes les grandes déviations possibles en dimensions $d \ge 2$.
  • $d=1$ : Il existe des trajectoires avec une singularité instantanée unique (une masse de Dirac apparaissant au temps $t_0$) qui se produisent avec un taux fini.
  • $d=2$ : Il existe des trajectoires avec un nombre dénombrable de sauts instantanés (discontinuités dans la topologie faible des mesures) qui se produisent avec un taux fini.
  • $d \ge 3$ : Il existe des trajectoires convergeant vers des mesures relâchées arbitraires (satisfaisant des bornes d'énergie minimales) avec un coût dynamique nul. Cela implique que dans les hautes dimensions, le principe de grandes déviations est dominé par ces trajectoires singulières, et la fonction de taux standard est effectivement nulle pour une vaste classe de trajectoires non lisses.

Portée et affirmations
L'article affirme que les obstacles empêchant un principe de grandes déviations complet pour le processus KMP ne sont pas seulement techniques mais fondamentaux.

• Échec de la structure formelle : La structure de flot de gradient formelle, qui décrit avec succès les grandes déviations pour d'autres modèles (comme le processus à portée nulle), ne régit pas le processus KMP en dimensions $d \ge 2$. Les trajectoires « pathologiques » (singularités et sauts) ne sont pas des artefacts de la preuve mais de véritables événements de grandes déviations avec un taux fini (ou nul).
• Sensibilité dimensionnelle : Les résultats mettent en évidence une dépendance aiguë à la dimension. Alors que le processus est physiquement bien défini pour tout $d \ge 1$, la nature des grandes déviations change radicalement : des singularités en $d=1$, aux sauts en $d=2$, jusqu'à l'effondrement complet de la capacité de la fonction de taux à pénaliser l'irrégularité en $d \ge 3$.
• Contribution méthodologique : Le travail fournit une validation rigoureuse de la borne inférieure sans estimations superexponentielles en adaptant le changement de mesure à la régularité de la trajectoire cible. De plus, il relie le problème des grandes déviations à l'ill-posedness des équations paraboliques-hyperboliques avec dérive rugueuse, montrant comment le manque de compacité en dimensions supérieures permet la construction de trajectoires qui échappent aux contraintes de régularité standard.

Les auteurs concluent que les grandes déviations du processus KMP en $d \ge 2$ incluent des trajectoires qui ne sont pas continues dans le temps (dans la topologie faible) et ne peuvent pas être interprétées comme des solutions de l'équation du squelette, démontrant ainsi que la structure de flot de gradient formelle est insuffisante pour décrire le paysage complet des événements rares.