🔢 mathematics

Non-Uniqueness for Nonlinear Fokker--Planck Equations and Their Associated Distribution-Dependent SDEs

Cet article établit la non-unicité des solutions stationnaires pour les équations différentielles stochastiques dépendantes de la distribution et leurs équations de Fokker-Planck non linéaires associées sur $\mathbb T^d$ ou $\mathbb R^d$ ( $d\geq 2$ ) en construisant des dérives sans divergence présentant une régularité critique qui engendrent une infinité ou un nombre arbitraire d'états d'équilibre distincts.

Auteurs originaux : Huaxiang Lü

Publié 2026-07-01

📖 6 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Huaxiang Lü

Article original sous licence CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Ceci est une explication générée par l'IA de l'article ci-dessous. Elle n'a pas été rédigée ni approuvée par les auteurs. Pour une précision technique, consultez l'article original. Lire la clause de non-responsabilité complète

Imaginez que vous observez une foule géante et invisible de personnes se déplaçant dans une ville. En physique et en mathématiques, nous utilisons souvent des équations pour prédire comment cette foule va se comporter. Habituellement, nous supposons que si nous savons exactement où chacun commence et comment le vent (ou les forces externes) souffle, la foule se déplacera d'une manière spécifique et prévisible. C'est ce qu'on appelle la « bien posée » (well-posedness).

Ce document, écrit par Huaxiang Lü, remet en question cette hypothèse. Il montre que pour certains types de foules (plus précisément, celles où le mouvement de chaque personne dépend de la densité de l'ensemble de la foule), les règles de la prévisibilité peuvent s'effondrer. Même si vous partez d'une foule parfaitement calme et stationnaire et que vous appliquez une poussée infime, à peine perceptible, la foule pourrait se diviser en plusieurs futurs possibles différents au lieu de suivre un seul chemin.

Voici une décomposition des idées principales du document en utilisant des analogies simples :

1. La mise en place : La foule et le vent

Le document étudie un modèle mathématique appelé Équation Différentielle Stochastique Dépendante de la Distribution (DDSDE).

L'analogie : Pensez à une foule de personnes marchant dans un parc. Le mouvement de chaque personne est influencé par deux choses :
1. Le Vent : Une force externe qui les pousse (comme une brise).
2. La Foule : La densité de la foule autour d'eux. Si c'est bondé, ils se déplacent différemment que si c'est vide.
L'Équation : C'est la « Équation de Fokker-Planck non linéaire ». C'est une recette complexe qui indique comment la densité de la foule change au fil du temps.

2. Le problème : Le « lissé » vs le « rugueux »

Dans le monde réel, le vent est généralement lisse. En mathématiques, nous préférons les forces « lisses » car elles rendent les équations faciles à résoudre, et nous obtenons une réponse unique (un futur spécifique).

Cependant, l'auteur pose la question : Et si le vent était « rugueux » ?

La métaphore : Imaginez que le vent n'est pas une brise légère mais une rafale chaotique et dentelée qui change de direction instantanément et de manière erratique. En termes mathématiques, il s'agit d'une dérive à « faible régularité » ou « rugueuse ».
La découverte : Le document prouve que si ce vent rugueux est juste un tout petit peu « dentelé » (spécifiquement dans une catégorie mathématique appelée $L^d-$ ), le système perd sa capacité à prédire un futur unique.

3. Le résultat principal : Un départ, de multiples fins

La revendication majeure du document est la Non-Unicité.

Le scénario : Imaginez la foule debout, parfaitement immobile (un « état stationnaire »). Le vent est calme.
Le rebondissement : L'auteur introduit un vent rugueux, minuscule, invisible, si petit qu'on peut à peine le mesurer.
Le résultat : Au lieu que la foule reste immobile ou se déplace dans une direction, le document montre qu'une infinité de scénarios différents peuvent se produire à partir de ce même point de départ.
- Dans un scénario, la foule tourbillonne vers la gauche.
- Dans un autre, elle tourbillonne vers la droite.
- Dans un troisième, elle se divise en deux groupes.
- Tous ces scénarios sont des solutions mathématiquement valides à la même équation avec les mêmes conditions initiales.

4. La méthode : L'intégration convexe (Le tour de l'architecte)

Comment l'auteur a-t-il prouvé cela ? Il a utilisé une technique appelée Intégration Convexe.

L'analogie : Imaginez un architecte essayant de construire une tour qui ressemble à une ligne droite de loin, mais qui, de près, est en fait composée de milliers de petits zigzags dentelés.
Le processus :
1. Commencer par une solution simple et lisse (la ligne droite).
2. Ajouter un minuscule « tremblement » à haute fréquence (une perturbation rugueuse) au vent.
3. Ce tremblement crée une erreur dans la prédiction.
4. L'auteur ajoute ensuite un autre tremblement pour annuler cette erreur, mais ce nouveau tremblement crée une nouvelle petite erreur.
5. Ils répètent ce processus un nombre infini de fois.
La magie : En contrôlant soigneusement la taille et la fréquence de ces tremblements, ils peuvent faire en sorte que le résultat final ressemble à une solution valide, mais parce qu'ils ont ajouté tellement de différents « tremblements », ils peuvent construire de nombreuses solutions valides différentes à partir du même point de départ.

5. Deux découvertes spécifiques

Le document présente deux types principaux de chaos :

Découverte A : Évolutions infinies à partir d'un état stationnaire
Même si la foule commence parfaitement immobile, un vent rugueux infime peut provoquer le système pour qu'il évolue vers une infinité de motifs différents. Cela se produit à un « seuil critique » — ce qui signifie que le vent est juste assez rugueux pour briser les règles, mais pas si rugueux que les mathématiques s'effondrent complètement.
Découverte B : États stationnaires multiples (Multistabilité)
Le document montre également qu'un système peut avoir plusieurs différents « états de repos ».
L'analogie : Pensez à une balle dans un paysage. Généralement, une balle roule vers le fond d'une seule vallée (un état stable).
Le résultat : L'auteur montre qu'avec le bon vent rugueux, on peut créer un paysage avec plusieurs vallées. La balle pourrait s'installer dans n'importe laquelle d'entre elles, et le système n'a aucun moyen de « savoir » laquelle il devrait choisir. Cela imite les transitions de phase en physique (comme l'eau se transformant en glace ou en vapeur), où un système peut exister sous plusieurs formes stables.

6. Domaines d'application

L'auteur a testé cela sur deux types de « villes » :

Le Tore (une forme de donut) : Un espace fini et répétitif (comme un monde de jeu vidéo où l'on sort par le bord gauche pour réapparaître à droite).
L'Espace Entier (le plan infini) : Un monde ouvert et infini.

Dans les deux cas, le résultat est le même : une petite perturbation rugueuse détruit l'unicité de la solution.

Résumé

En termes simples, ce document dit : « Si vous avez une foule de particules en interaction et que vous les poussez avec une force très spécifique, rugueuse et dentelée, vous ne pouvez pas prédire leur futur. Elles pourraient prendre une infinité de directions différentes, ou s'installer dans de nombreux états de repos différents, même si elles ont toutes commencé exactement au même endroit. »

Il s'agit d'une découverte fondamentale sur les limites de la prévisibilité dans les systèmes complexes, montrant que la « lissé » est souvent la seule chose qui empêche nos modèles mathématiques de sombrer dans le chaos.

Résumé Technique : Non-unicité pour les équations de Fokker–Planck non linéaires et leurs EDS associées dépendantes de la distribution

Énoncé du Problème
L'article étudie la bien-définition des équations différentes stochastiques dépendantes de la distribution (DDSDE) et de leurs équations de Fokker–Planck non linéaires (nFPE) associées. Plus précisément, il traite du phénomène de non-unicité de la loi pour ces systèmes. Alors que la théorie classique établit la bien-définition pour les DDSDE avec des coefficients suffisamment réguliers (par exemple, des dérives dans $L^r_t L^p_x$ avec $\frac{d}{p} + \frac{2}{r} < 1$ ), ce travail explore les régimes critiques et supercritiques où la dérive est rugueuse. La question centrale est de savoir si une perturbation de la dérive, arbitrairement petite et suffisamment rugueuse et sans divergence, peut détruire l'unicité des solutions, tant pour l'évolution temporelle partant d'un état stationnaire que pour les états stationnaires eux-mêmes.

L'étude considère deux cadres principaux :

Le cadre périodique : Le domaine est le tore $\mathbb{T}^d$ ( $d \ge 2$ ).
Le cadre de l'espace entier : Le domaine est $\mathbb{R}^d$ ( $d \ge 2$ ), se concentrant sur des équations avec des potentiels de confinement et une diffusion non linéaire.

Les équations considérées prennent la forme générale :
$dX_t = v(t, X_t) dt + (V * \rho_t)(X_t) dt + \sqrt{2}\sigma(t, X_t, \rho_t) dW_t,$
où $\rho_t$ est la densité de probabilité de $X_t$ , $v$ est une dérive externe, $V$ représente les noyaux d'interaction, et $\sigma$ est un coefficient de diffusion dépendant de la distribution. La nFPE associée est :
$\partial_t \rho - \text{div}\text{div}((\sigma\sigma^T)(\rho)\rho) + \text{div}(v\rho) + \text{div}((V*\rho)\rho) = 0.$

Méthodologie
L'outil principal employé est la méthode d'intégration convexe, développée à l'origine pour la dynamique des fluides (par exemple, les équations d'Euler et de Navier-Stokes) pour construire des solutions sauvages. Les auteurs adaptent cette technique au contexte des équations paraboliques non linéaires dépendant de la distribution.

Innovations et adaptations techniques clés :

Gestion de la non-linéarité : Contrairement aux équations de Fokker–Planck linéaires où les combinaisons convexes de solutions restent des solutions, la nFPE est véritablement non linéaire. Les auteurs ne peuvent pas simplement superposer les solutions. Au lieu de cela, ils construisent une infinité de solutions distinctes en éliminant de manière itérative les termes de contrainte dans un système d'équations couplées.
Construction de systèmes infinis : Pour générer une infinité de solutions (Théorème 1.3), les auteurs construisent une suite croissante d'entiers $\{N_q\}$ et appliquent le schéma d'intégration convexe uniquement à la première $N_{q+1}$ équations à l'étape $q+1$ . Ils introduisent un facteur de décroissance $2^{-i}$ pour les termes de contrainte des équations d'indices $i > N_{q+1}$ afin d'assurer la convergence de la perturbation totale tout en maintenant les estimations nécessaires pour les équations actives.
Blocs de construction : La construction utilise des « jets spatio-temporels intermittents » spécifiques (dans le cas dépendant du temps) et des « flux de type Mikado » (dans le cas stationnaire). Ces blocs de construction sont conçus pour avoir des supports disjoints et des propriétés oscillatoires spécifiques afin d'annuler les termes d'erreur (oscillation, non linéaire, linéaire et erreur de commutateur) tout en contrôlant la régularité de la dérive.
Seuils de régularité : La construction cible des dérives dans l'espace $C_t L^{d-}$ (continu en temps, $L^p$ dans l'espace avec $p < d$ ), qui se situe au seuil naturel de régularité critique. L'article démontre que la bien-définition échoue dans tout voisinage d'une dérive lisse au sein de cette topologie de faible régularité.
Adaptation à l'espace entier : Pour le cas $\mathbb{R}^d$ , les auteurs utilisent l'opérateur de Bogovskii pour gérer le problème de divergence inverse tout en préservant le support compact. Cela permet de localiser la construction à un domaine fixe, garantissant que la perturbation n'affecte pas le comportement du système à l'infini ou du potentiel de confinement.

Contributions Clés et Résultats

Non-unicité de l'évolution temporelle (Théorèmes 1.3 & 1.6) :
- Les auteurs prouvent que pour $d \ge 2$ , il existe des champs de dérive sans divergence $v \in C_t L^{d-}$ (arbitrairement proches d'une dérive lisse) tels que la nFPE admet une infinité de solutions de densité de probabilité distinctes partant de la même densité initiale stationnaire (par exemple, la mesure uniforme sur le tore ou un état stationnaire spécifique dans $\mathbb{R}^d$ ).
- Par le principe de superposition, cela implique l'existence d'une infinité de solutions martingales distinctes pour la DDSDE correspondante.
- Ce résultat est montré comme étant essentiellement optimal, car la bien-définition est attendue pour des dérives dans $C_t L^{d+}$ .
Non-unicité des états stationnaires (Théorèmes 1.5 & 1.7) :
- Pour $d \ge 3$ , l'article construit des dérives sans divergence pour lesquelles la nFPE stationnaire admet au moins $N$ solutions de densité de probabilité stationnaires distinctes pour tout $N \in \mathbb{N}$ prescrit.
- Cette multiplicité d'états d'équilibre est analogue aux phénomènes de multistabilité et de transition de phase dans les systèmes physiques.
- Le résultat s'applique tant aux noyaux d'interaction réguliers qu'aux cas plus singuliers (par exemple, les interactions de type fonction de Green où $V \sim |x|^{1-d}$ ).
Extension aux interactions singulières (Théorème 1.4) :
- Le mécanisme de non-unicité est étendu aux cas avec des noyaux d'interaction plus singuliers (par exemple, $V = \text{div } b$ avec $b \in L^{\frac{d}{d-\gamma}, \infty}$ ).
- Dans ce régime, les auteurs obtiennent $N$ solutions distinctes avec des estimations de régularité temporelle améliorées ( $C_t$ bounds) pour justifier les termes d'interaction non linéaires impliquant des noyaux singuliers.
Modèles Physiques Spécifiques :
Le cadre s'applique à une large classe de modèles, incluant :
- Les EDS indépendantes de la distribution avec des dérives rugueuses.
- Les équations de type McKean–Vlasov par convolution.
- Les équations de type milieu poreux.
- Les équations de Keller–Segel (chimiotactisme).
- Les équations de Navier–Stokes de vorticité 2D.
- Les équations de type Landau.

Signification et Revendications
L'article affirme établir les premiers résultats de non-unicité pour une large classe d'équations de Fokker–Planck non linéaires et dépendantes de la distribution. Les auteurs soulignent que la construction d'une infinité de solutions est fondamentalement différente du cas linéaire, car les combinaisons convexes de solutions ne sont généralement pas des solutions dans le cadre non linéaire.

Les résultats mettent en évidence la fragilité de la bien-définition en présence de dérives rugueuses, même lorsque la dérive est sans divergence et arbitrairement petite dans les normes de faible régularité. Les conclusions suggèrent que le seuil de régularité critique pour l'unicité dans ces systèmes est optimal. De plus, la construction de multiples états stationnaires fournit un mécanisme mathématique pour la multistabilité dans les systèmes de champ moyen avec des champs externes rugueux, étendant la compréhension des transitions de phase au-delà des modèles classiques à diffusion constante.

Ce travail ne propose pas de nouvelles applications expérimentales, mais fournit un contre-exemple théorique rigoureux à la conjecture d'unicité dans le régime de régularité critique pour une large classe de limites de systèmes de particules en interaction.