🔢 mathematics

A proof of Vishik's nonuniqueness Theorem for the forced 2D Euler equation

Cet article propose une démonstration plus simple du théorème de non-unicité de Vishik pour l'équation d'Euler 2D forcée dans la classe de vorticité $L^1\cap L^p$ , en utilisant une construction alternative d'un vortex instable régularisé via un argument de point fixe.

Auteurs originaux : Ángel Castro, Daniel Faraco, Francisco Mengual, Marcos Solera

Publié 2026-04-17

📖 4 min de lecture🧠 Analyse approfondie

CC0 1.0

Auteurs originaux : Ángel Castro, Daniel Faraco, Francisco Mengual, Marcos Solera

Article original placé dans le domaine public sous CC0 1.0 (http://creativecommons.org/publicdomain/zero/1.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 versiez du lait dans votre café. Normalement, si vous le faites deux fois de la même manière, le résultat est toujours le même : un mélange uniforme. En physique des fluides, on s'attend à ce que si l'on connaît parfaitement l'état initial d'un fluide (comme l'air ou l'eau) et les forces qui s'exercent sur lui, on puisse prédire exactement comment il va bouger à chaque instant. C'est ce qu'on appelle l'unicité : une cause, un effet.

Cependant, cette nouvelle étude d'Ángel Castro, Daniel Faraco, Francisco Mengual et Marcos Solera nous dit : "Attendez, ce n'est pas toujours vrai !"

Voici une explication simple de leur découverte, basée sur l'équation d'Euler (qui décrit comment tournent les fluides parfaits).

1. Le Problème : Un Tourbillon qui se dédouble

Les mathématiciens savaient depuis longtemps que pour des fluides très "lisses" (très réguliers), l'unicité était garantie. Mais qu'arrive-t-il si le fluide est un peu plus "rugueux" ?

Les auteurs prouvent qu'il est possible de créer une situation où, en partant d'un état de calme absolu (comme un café sans mouvement), l'application d'une force extérieure précise peut faire naître deux histoires différentes pour le futur du fluide.

Scénario A : Le fluide reste calme.
Scénario B : Le fluide se met à tourbillonner violemment.

Les deux scénarios respectent les mêmes lois de la physique et partent de la même situation initiale. C'est comme si vous lanciez une pièce de monnaie et que, selon une loi physique secrète, elle tombait sur "Face" ou sur "Pile" sans que vous puissiez prédire lequel, même avec toutes les informations en main.

2. La Solution : Construire un "Monstre" Instable

Pour prouver cela, les auteurs ont dû construire un objet mathématique très spécial : un tourbillon instable.

Imaginez que vous essayez d'équilibrer un crayon sur son bout. C'est possible, mais il suffit d'une micro-poussée pour qu'il tombe. Dans leur papier, les auteurs construisent un tourbillon qui est comme ce crayon : il est parfaitement équilibré, mais il est instable.

Leur méthode est plus simple que celle des travaux précédents (de Vishik) :

L'Étape du Lego (Vortex par morceaux) : Au lieu de construire un tourbillon complexe et lisse d'un coup, ils commencent par un tourbillon "en Lego". C'est une forme simple, faite de blocs carrés (des valeurs constantes). C'est comme dessiner un nuage avec des carrés de pixels. Ils montrent que même cette forme "brute" est instable : elle a tendance à se déformer.
L'Étape du Lisser (Régularisation) : Ensuite, ils prennent ce tourbillon "pixelisé" et le lissent pour le rendre parfaitement lisse et doux, comme de la crème glacée. Ils utilisent une astuce mathématique (un "point fixe") pour s'assurer que même une fois lissé, le tourbillon garde son caractère instable.

3. L'Analogie de la Montagne Russe

Pour comprendre pourquoi cela mène à deux solutions, imaginez une montagne russe :

Le point de départ : Le train est tout en haut, au sommet d'une colline parfaite (c'est notre état initial, le café calme).
La force : On pousse légèrement le train (c'est la force extérieure $f$ ).
L'instabilité : Le sommet est si pointu que le train peut partir soit vers la gauche, soit vers la droite.
Le résultat : Si vous répétez l'expérience exactement de la même manière, vous ne savez pas si le train ira à gauche ou à droite. Les deux trajectoires sont valides physiquement.

Dans ce papier, les auteurs montrent comment construire cette "colline pointue" (le tourbillon instable) de manière très claire.

4. Pourquoi c'est important ?

Avant cette preuve, on pensait peut-être que les lois de la physique étaient toujours déterministes (une cause = un effet). Cette étude montre que pour certains fluides, même avec des forces connues, l'avenir n'est pas unique.

C'est une découverte majeure car :

Elle précise les limites de notre compréhension des fluides.
Elle utilise une méthode plus simple (les "Lego" puis le lissage) pour prouver un résultat complexe, ce qui rend le raisonnement plus accessible aux autres scientifiques.
Elle ouvre la porte à comprendre des phénomènes plus complexes, comme la turbulence ou même d'autres équations de la physique (comme celles décrivant la météo ou les plasmas).

En résumé : Les auteurs ont construit un tourbillon mathématique "précaire". Ils ont prouvé que si on le pousse un tout petit peu, il peut choisir deux chemins différents. Cela signifie que pour certaines conditions, la nature ne nous donne pas une seule réponse, mais plusieurs possibilités, défiant notre intuition habituelle de la prévisibilité.

1. Problème et Contexte

Le papier s'attaque à la question de l'unicité des solutions faibles de l'équation d'Euler bidimensionnelle (2D) forcée, dans la classe de régularité des tourbillons (vorticité) $L^1 \cap L^p$ avec $2 < p < \infty$ .

Contexte théorique : Le théorème d'unicité de Yudovich garantit l'unicité des solutions si la vorticité est bornée ( $L^\infty$ ). Cependant, pour $p < \infty$ , l'unicité reste une question ouverte sans force externe.
Résultat de Vishik : Vishik a démontré précédemment que pour l'équation d'Euler 2D forcée, l'unicité échoue dans la classe $L^1 \cap L^p$ . Sa preuve repose sur la construction d'un tourbillon instable qui se développe de manière auto-similaire.
Objectif de l'article : Fournir une preuve plus simple et plus directe du théorème de non-unicité de Vishik. L'approche simplifie considérablement la construction du tourbillon instable, qui est l'étape la plus technique de la preuve originale.

2. Méthodologie

La preuve se décompose en trois étapes principales, suivant la stratégie de Vishik, mais avec une simplification majeure à la première étape :

Étape 1 : Construction d'un tourbillon instable (Eulerien)

C'est l'apport principal de simplification de ce travail. Au lieu de modifier des tourbillons à loi de puissance complexes comme Vishik, les auteurs procèdent en deux sous-étapes :

Tourbillon constant par morceaux : Ils construisent d'abord un tourbillon $\bar{\omega}$ dont le profil radial est constant par morceaux (une fonction en escalier). Pour ce profil, l'équation de stabilité de Rayleigh se réduit à un système linéaire $2 \times 2$ élémentaire. Ils montrent explicitement qu'il existe des paramètres géométriques ( $r_1, r_2$ ) et une fréquence angulaire $n$ tels que ce système admette une valeur propre $z$ avec une partie imaginaire positive ( $\Im z > 0$ ), garantissant l'instabilité linéaire.
Régularisation par point fixe : Puisque le tourbillon constant par morceaux n'est pas régulier (sa dérivée est une mesure de Dirac), les auteurs utilisent un argument de point fixe dans des variables redimensionnées pour régulariser ce tourbillon en un tourbillon lisse $\bar{\Omega} \in C^\infty_c$ (à support compact), tout en préservant l'instabilité pour un $\epsilon$ suffisamment petit.

Étape 2 : Instabilité auto-similaire

Les auteurs placent le système dans des coordonnées auto-similaires $(\tau, X)$ définies par $\tau = \frac{1}{ab}\log t$ et $X = \frac{x}{(abt)^{1/a}}$ .

Ils montrent que l'opérateur linéarisé dans ces coordonnées, noté $L_b$ , possède un spectre qui converge vers celui de l'opérateur Eulerien $L$ lorsque le paramètre de force $b \to 0$ .
Grâce à la théorie des opérateurs (perturbations compactes), ils établissent que l'instabilité trouvée à l'étape 1 persiste pour $b > 0$ petit, assurant l'existence d'une solution linéaire croissante exponentiellement en temps logarithmique $\tau$ .

Étape 3 : Instabilité non-linéaire

Enfin, ils contrôlent les termes non-linéaires de l'équation d'Euler.

En utilisant la formule de Duhamel et des estimations d'énergie dans un espace fonctionnel adapté (incluant des dérivées pondérées), ils prouvent que la correction non-linéaire reste négligeable par rapport à la croissance exponentielle de la solution linéaire lorsque $t \to 0$ (ou $\tau \to -\infty$ ).
Cela permet de construire une solution globale qui coïncide avec la solution triviale $\omega=0$ à $t=0$ mais qui diverge immédiatement pour $t>0$ .

3. Contributions Clés

Simplification de la construction du tourbillon instable : Le passage par un tourbillon constant par morceaux réduit la partie spectrale complexe à un calcul matriciel explicite, évitant les modifications analytiques lourdes de la preuve originale de Vishik.
Argument de régularisation robuste : L'utilisation d'un argument de point fixe pour passer du cas discontinu au cas lisse est présentée de manière claire et adaptable.
Structure auto-similaire simplifiée : La preuve des étapes 2 et 3 est rendue plus transparente grâce à la simplicité structurelle du tourbillon de base (support compact, régularité $C^\infty$ ).
Généralité : Les auteurs notent que leur méthode de construction de tourbillons instables est suffisamment flexible pour être potentiellement appliquée à d'autres contextes, comme les équations SQG (Surface Quasi-Géophysique) généralisées.

4. Résultats Principaux

Le Théorème 1.1 est établi :
Pour tout $2 < p < \infty$ , il existe une force externe $f \in L^1_t(L^1 \cap L^p)$ (avec un potentiel de vitesse associé $g \in L^1_t L^2$ ) telle que l'équation d'Euler 2D forcée, partant de la condition initiale nulle ( $\omega|_{t=0} = 0$ ), admet au moins deux solutions distinctes $\omega_0$ et $\omega_1$ dans l'espace $L^\infty_t(L^1 \cap L^p)$ .

La solution "triviale" $\omega_0$ est l'unique solution lisse construite directement à partir de la force.
La solution "non-unique" $\omega_1$ est construite via la perturbation instable et diverge de $\omega_0$ dès $t > 0$ .
Les auteurs montrent que ces solutions peuvent être choisies infiniment différentiables ( $C^\infty$ ) pour tout $t > 0$ , bien que la régularité se dégrade à l'approche de $t=0$ .

5. Signification et Impact

Optimalité du théorème de Yudovich : Ce résultat démontre la netteté (sharpness) du théorème d'unicité de Yudovich. Il prouve que la condition $p = \infty$ (vorticité bornée) est nécessaire pour garantir l'unicité dans le cadre des équations d'Euler forcées. Dès que l'on descend en régularité ( $p < \infty$ ), l'unicité échoue.
Méthodologie pour la Navier-Stokes : La construction de tourbillons instables est une étape intermédiaire cruciale. Les auteurs mentionnent que leur vortex, bien que différent de celui de Vishik, satisfait les conditions nécessaires pour prouver la non-unicité des solutions de Leray pour l'équation de Navier-Stokes 3D forcée (comme démontré par Albritton, Brué et Colombo).
Perspectives futures : La flexibilité de la construction (notamment la régularisation de profils discontinus) ouvre la voie à l'étude de la non-unicité dans des contextes plus singuliers et non-locaux, tels que les équations SQG généralisées, un sujet que les auteurs prévoient d'aborder dans un travail ultérieur.

En résumé, ce papier offre une preuve plus accessible et pédagogique de la non-unicité pour l'Euler 2D forcé, en remplaçant des constructions analytiques complexes par une approche combinant calculs élémentaires sur des profils discontinus et analyse fonctionnelle rigoureuse pour la régularisation.