Optimisation et analyse numérique.

MAP 431

(G. Allaire)

Programme des cours en amphithéatre (année 2014)

Amphi 1 du 28/01 (Grégoire Allaire): Chapitre I

Section 1.1

Section 1.2: Modélisation de la conduction thermique.

Section 1.4: Calcul numérique par différences finies.

Section 1.5: Notion de problème bien posé.

Mots clés: modélisation, équation aux dérivées partielles, schéma numérique, condition de stabilité CFL, décentrement.

Les transparents du premier amphi (en pdf): amphi1.pdf

Amphi 2 du 04/02 (Grégoire Allaire): Chapitre II (début)

Section 2.1

Section 2.2 (début): Différences finies pour l'équation de la chaleur. Exemples, consistance, précision, stabilité (analyse de Fourier et principe du maximum), convergence (théorème 2.2.20 de Lax).

Mots clés: schéma explicite ou implicite, ordre d'un schéma, condition de stabilité CFL.

Amphi 3 du 11/02 (Grégoire Allaire): Chapitre II (fin)

Section 2.2 (suite): schémas multiniveaux, schémas multidimensionnels.

Section 2.3: équation d'advection.

Mots clés: condition de stabilité de Von Neumann, schéma diffusif ou dispersif, équation équivalente, schéma décentré.

Amphi 4 du 18/02 (Grégoire Allaire): Chapitre III

Section 3.1: solutions classiques d'équations aux dérivées partielles.

Section 3.2: formules de Green, formulation variationnelle.

Section 3.3: théorème 3.3.1 de Lax-Milgram.

Mots clés: formulation variationnelle, théorème de Lax-Milgram.

Amphi 5 du 04/03 (Grégoire Allaire): Chapitre IV

Section 4.1

Section 4.2: dérivation faible (Définition 4.2.3, Lemme 4.2.4).

Section 4.3: espaces de Sobolev (Définitions 4.3.1 et 4.3.7, Propositions 4.3.2 et 4.3.9), densité des fonctions régulières (Théorème 4.3.5), inégalité de Poincaré (Proposition 4.3.10, Corollaire 4.3.12), traces et formules de Green (Théorèmes 4.3.13, 4.3.15 et 4.3.30, Corollaire 4.3.16), théorème de compacité de Rellich (Théorème 4.3.21).

Mots clés: Sobolev, Poincaré, traces, Rellich.

Amphi 6 du 11/03 (Grégoire Allaire): Chapitre V (début)

Section 5.1

Section 5.2 (début): résolution du Laplacien avec condition aux limites de Dirichlet ou de Neumann, minimisation d'une énergie, cas des coefficients variables.

Mots clés: solution faible ou variationnelle.

Début des cours de François Alouges

Amphi 7 du 18/03 (François Alouges): Chapitre V (fin)

Section 5.2 (fin): propriétés qualitatives, principe du maximum, régularité des solutions, exemple de singularité.

Section 5.3: système de l'élasticité linéarisée, équations de Stokes.

Mots clés: solution faible ou variationnelle.

Amphi 8 du 25/03 (François Alouges): Chapitre VI (début)

Section 6.1: approximation variationnelle interne, lemme de Céa.

Section 6.2: éléments finis en dimension 1, résolution pratique, convergence et estimation d'erreur.

Mots clés: matrice de rigidité, éléments finis P1 et P2 de Lagrange, interpolation, ordre de convergence.

Amphi 9 du 01/04 (François Alouges): Chapitre VI (fin)

Section 6.3: éléments finis en dimension N>1, convergence et estimation d'erreur.

Section 6.4: résolution de systèmes linéaires, méthodes directes et itératives.

Mots clés: maillage, éléments finis triangulaires ou quadrangulaires, systèmes linéaires.

Les transparents du neuvième amphi sur les éléments finis (en pdf): amphief.pdf

Amphi 10 du 08/04 (François Alouges): Chapitre VII

Section 7.1: exemples de problème aux valeurs propres.

Section 7.3: valeurs propres du Laplacien.

Section 7.4: méthodes numériques.

Mots clés: valeurs propres et fonctions (modes) propres, matrice de masse, méthode de la puissance.

Amphi 11 du 15/04 (François Alouges): Chapitre VIII (début)

Section 8.1: exemples de problèmes d'évolution.

Section 8.2: existence et unicité pour l'équation de la chaleur.

Section 8.3: existence et unicité pour l'équation des ondes.

Mots clés: décomposition spectrale, estimation d'energie.

Amphi 12 du 06/05 (François Alouges): Chapitre VIII (fin)

Section 8.4: propriétés qualitatives pour la chaleur: principe du maximum, effet régularisant.

Section 8.5: propriétés qualitatives pour les ondes: réversibilité, conservation de l'énergie.

Section 8.6: méthodes numériques pour la chaleur.

Section 8.7: méthodes numériques pour les ondes.

Mots clés: vitesse de propagation, schémas numériques, condition CFL de stabilité.

Début des cours de Pierre-Louis Lions

Amphi 13 du 13/05 (Pierre-Louis Lions): Chapitre IX

Section 9.1: exemples de problèmes d'optimisation.

Section 9.2: théorie d'existence en dimension infinie, analyse convexe.

Mots clés: convexité, forte convexité, minimisation.

Amphi 14 du 20/05 (Pierre-Louis Lions): Chapitre X (début)

Section 10.1: notions de différentiabilité.

Section 10.2 (début): conditions d'optimalité, inéquation d'Euler, multiplicateurs de Lagrange.

Mots clés: contraintes convexes, contraintes d'égalité.

Amphi 15 du 27/05 (Pierre-Louis Lions): Chapitre X (suite)

Section 10.2 (fin): multiplicateurs de Lagrange.

Mots clés: contraintes d'inégalité, lagrangien.

Amphi 16 du 03/06 (Pierre-Louis Lions): Chapitre X (suite)

Section 10.3: point selle, théorème de Kuhn et Tucker, dualité.

Mots clés: Kuhn et Tucker, dualité.

Amphi 17 du 10/06 (Pierre-Louis Lions): Chapitre X (fin)

Section 10.5: méthodes numériques d'optimisation, algorithmes de gradient et de Newton, cas avec et sans contraintes.

Mots clés: gradient à pas fixe ou optimal, méthode de Newton, algorithme d'Uzawa.

Amphi 18 du 17/06 (Pierre-Louis Lions): Chapitre XI

Section 11.1

Section 11.2: programmation linéaire.

Mots clés: problèmes primal et dual, algorithme du simplexe.