Introduction aux équations de Navier-Stokes incompressibles

402 pages. Temps de lecture estimé 5h01min.
Dans la modélisation mathématique de l’hydrodynamique, les équations de Navier-Stokes sont des équations aux dérivées partielles non linéaires qui décrivent l’écoulement de certains fluides. D’un point de vue purement mathématique, ces équations soulèvent des problèmes passionnants qui sont pour la plupart entièrement ouverts et qui font l’objet de recherches actuelles très actives.Issu d’un cours de Master 2 donné à l’Université Paris-Saclay, ce livre est une introduction destinée à donner les outils de base pour comprendre l’étude mathématique de ces équations. Le premier chapitre propose une rapide déduction physique de ces équations tandis que le deuxième chapitre introduit le cadre mathématique qui sera utilisé par la suite. Plusieurs types de solutions des équations de Navier-Stokes sont alors abordés : les solutions classiques dans le chapitre 3, les solutions de type mild dans les chapitres 4 et 5 et enfin les solutions faibles dans les chapitres 6 et 7. Des problèmes d’explosion, de régularité et d’unicité pour les équations stationnaires sont également étudiés. Chaque chapitre du livre se termine par des exercices qui proposent des compléments utiles ainsi quelques développements inspirés d’articles de recherche récents.Introduction. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . v1. Un peu d’histoire et un peu de physique. . . . . . . . . . . . . . . . . . . . . 11.1. Bernoulli, Euler, Navier, Poisson, Stokes & Cie. . . . . . . . . . . . . . 21.2. Rapide déduction physique des équations de Navier-Stokes. . . 42. Les outils de base. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 132.1. Généralités. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 132.2. Quelques définitions et identités vectorielles. . . . . . . . . . . . . . . . . . 162.3. Espaces de Lebesgue. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 192.4. Espaces de Sobolev. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 282.5. Quelques résultats utiles. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 412.6. Notes et compléments. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 452.7. Exercices. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 463. Solutions classiques. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 513.1. Équation de la chaleur et équation de Laplace. . . . . . . . . . . . . . . 533.2. Décomposition de Helmholtz. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 653.3. Problème de Stokes et tenseur d’Oseen. . . . . . . . . . . . . . . . . . . . . . . 683.4. Solutions classiques des équations de Navier-Stokes . . . . . . . . . . 743.5. Formulation différentielle et formulation intégrale. . . . . . . . . . . . 893.6. Propriétés de décroissance spatiale des solutions classiques . . . 933.7. Notes et compléments. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1133.8. Exercices. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1144. Solutions mild . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1214.1. Principe de contraction. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1224.2. Solutions faibles. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1244.3. Formulation intégrale et solutions mild . . . . . . . . . . . . . . . . . . . . . . . 1284.4. Un théorème d’existence de solutions mild . . . . . . . . . . . . . . . . . . . 1384.5. Démonstration du théorème 4.4.1. . . . . . . . . . . . . . . . . . . . . . . . . . . . 1434.6. Bilan des estimations. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1494.7. Formulation différentielle et formulation intégrale : équivalence 1524.8. Temps d’existence des solutions et critères d’explosion . . . . . . . 1604.9. Espaces fonctionnels et homogénéité. . . . . . . . . . . . . . . . . . . . . . . . . 1694.10. Notes et compléments. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1714.11. Exercices. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1725. Solutions mild de type Fourier-Herz. . . . . . . . . . . . . . . . . . . . . . . . . . 1815.1. Introduction. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1815.2. Définitions et propriétés des espaces de Fourier-Herz. . . . . . . . . 1845.3. Solutions mild dans l’espace L2t F0;1H  . . . . . . . . . . . . . . . . . . . . . . . . . 1885.4. Solutions mild dans l’espace L1t F2;1H . . . . . . . . . . . . . . . . . . . . . . . 1935.5. Notes et compléments. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1955.6. Exercices. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1966. Solutions faibles de Leray. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1996.1. Motivation. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2006.2. Théorème principal. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2066.3. Inégalité forte d’énergie. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2326.4. Unicité fort-faible. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2406.5. Le cas de la dimension n = 2. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2516.6. Notes et compléments. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2646.7. Exercices. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2657. Le alpha-modèle de H. Beirão da Veiga. . . . . . . . . . . . . . . . . . . . . . . . . . . 2697.1. Une variante du théorème de point fixe. . . . . . . . . . . . . . . . . . . . . . 2707.2. Le modèle d’hyperviscosité. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2727.3. Étude du problème régularisé. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2757.4. Inégalité d’énergie et solutions régularisées globales . . . . . . . . . 2847.5. Passage à la limite et solutions faibles. . . . . . . . . . . . . . . . . . . . . . . . 2867.6. Notes et compléments. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2897.7. Exercices. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2908. Explosion pour une équation simplifiée. . . . . . . . . . . . . . . . . . . . . . 2958.1. Introduction. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2958.2. Un modèle d’étude. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2968.3. Construction de solutions. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2988.4. Explosion en temps fini pour le modèle simplifié. . . . . . . . . . . . . 3028.5. Notes et compléments. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3098.6. Exercices. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3109. Solutions stationnaires. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3159.1. Solutions H1 pour le problème stationnaire. . . . . . . . . . . . . . . . . . 3159.2. Quelques théorèmes de point fixe. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3189.3. Existence de solutions stationnaires. . . . . . . . . . . . . . . . . . . . . . . . . . 3219.4. Problème de type Liouville. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3289.5. Notes et compléments. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3349.6. Exercices. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33510. Régularité locale. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33910.1. Résultats de régularité associés à l’équation de la chaleur . . . 34010.2. Localisation. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34310.3. Critère de régularité locale de Serrin. . . . . . . . . . . . . . . . . . . . . . . . 34610.4. Le contre-exemple de Serrin. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36710.5. Notes et compléments. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36810.6. Exercices. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 370Conclusion. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 375Bibliographie. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 379Index. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 387