Catalogue Licence
L3 • Analyse Fonctionnelle
Recherche L3

Théorème de Lax-Milgram et formulations variationnelles

Formes bilinéaires coercives, solutions faibles, principe de Dirichlet, lemme de Céa et éléments finis

Fils Rouges :Fil 7 — Orthogonalité : mesurer, projeter, approcher au mieux
Point d'entrée intuitif

Comment démontrer qu'une équation aux dérivées partielles possède une solution unique, alors qu'aucune formule ne la donne — et pourquoi faut-il d'abord affaiblir la notion même de solution ?

Idée en une phrase :
Une forme bilinéaire continue et coercive sur un Hilbert définit un isomorphisme avec le dual : toute équation qui s'écrit sous cette forme a donc une solution unique.
Généalogie historique du concept :

Riemann invoque en 1851 le principe de Dirichlet — la solution minimise une énergie — pour démontrer ses résultats sur les fonctions holomorphes. Weierstrass objecte en 1870 que l'existence du minimum n'est pas acquise : une borne inférieure peut ne pas être atteinte, et le principe s'effondre. Il faudra un demi-siècle pour le réhabiliter : Hilbert le sauve en 1900 dans un cadre adapté, et Lax et Milgram donnent en 1954 l'énoncé abstrait qui règle définitivement la question, en dégageant la COERCIVITÉ comme hypothèse décisive.

Pourquoi CETTE définition formelle :

Pourquoi affaiblir la notion de solution, en n'exigeant plus qu'une égalité intégrale contre des fonctions test ? Parce que la solution classique peut ne pas exister — un second membre irrégulier interdit toute dérivée seconde — alors que le problème physique a manifestement une réponse. La formulation faible ne triche pas : elle reconnaît que l'équation ponctuelle était une exigence excessive, et l'on démontre ensuite que la solution faible est classique dès que les données sont régulières.

Images Mentales & Modèles d'Intuition (3)

Modèle #1

La coercivité est un puits : la forme quadratique associée croît au moins comme le carré de la norme, ce qui empêche de fuir à l'infini.

Ce qu'elle capture :

C'est exactement ce qui garantit qu'une suite minimisante reste bornée, donc qu'un minimum peut exister. Sans coercivité, l'énergie peut décroître indéfiniment.

⚠️ Où l'analogie ment :

L'image d'un puits suggère la symétrie. Or Lax-Milgram ne l'exige PAS : c'est même là son apport principal sur Riesz, et il traite des problèmes où l'énergie n'existe pas — équations de convection-diffusion notamment.

Modèle #2

Une solution faible est une solution vue à travers un microscope imparfait : on n'exige plus l'égalité en chaque point, mais l'égalité de toutes les moyennes pondérées.

Ce qu'elle capture :

Tester contre toutes les fonctions régulières suffit à caractériser une fonction, exactement comme les coefficients de Fourier la déterminent.

⚠️ Où l'analogie ment :

L'image suggère qu'on perd de l'information. En réalité, sous hypothèse de régularité des données, la solution faible EST classique — c'est la théorie de la régularité elliptique. L'affaiblissement est temporaire.

Modèle #3

La méthode des éléments finis résout le problème dans un sous-espace de dimension finie : on cherche la solution parmi les fonctions affines par morceaux.

Ce qu'elle capture :

Le problème discret est de même nature — même forme bilinéaire, restreinte — donc Lax-Milgram s'y applique aussi et garantit un système linéaire inversible.

⚠️ Où l'analogie ment :

L'image ne dit pas que la qualité de l'approximation dépend de la géométrie du maillage. Le lemme de Céa la ramène à une distance d'approximation, mais les constantes se dégradent si les éléments sont trop aplatis.

Les Pièges Conceptuels Classiques

1
Lax-Milgram exige la symétrie de la forme bilinéaire.

Correction :

C'est précisément l'inverse : Lax-Milgram s'affranchit de la symétrie, et c'est son apport décisif. Dans le cas symétrique, il se ramène au théorème de Riesz pour le produit scalaire induit par la forme. Sans symétrie, aucune énergie ne se minimise, et pourtant existence et unicité subsistent.

2
Une solution faible n'est qu'une solution approchée.

Correction :

C'est une solution EXACTE d'un problème reformulé. Mieux : sous hypothèse de régularité du second membre et du domaine, la théorie de la régularité elliptique montre que la solution faible est classique. L'affaiblissement porte sur la méthode, jamais sur le résultat.

3
Le principe de Dirichlet est évident : il suffit de minimiser l'énergie.

Correction :

Weierstrass a montré en 1870 qu'une borne inférieure peut ne pas être ATTEINTE : il exhibe une fonctionnelle d'énergie dont l'infimum vaut zéro sans qu'aucune fonction ne le réalise. La coercivité et la complétude sont exactement ce qui manquait, et il aura fallu cinquante ans pour les identifier.

4
Le lemme de Céa donne l'erreur de la méthode des éléments finis.

Correction :

Il ramène l'erreur commise à la MEILLEURE approximation possible dans l'espace discret, à une constante multiplicative près. Il ne dit rien de cette meilleure approximation, qui dépend de la régularité de la solution et de la finesse du maillage — c'est un second travail, relevant de la théorie de l'interpolation.

Glossaire des Notations Mathématiques

forme bilinéaire

non nécessairement SYMÉTRIQUE : c'est l'apport de Lax-Milgram sur Riesz

constante de coercivité

minoration de $a(u,u)$ par $\alpha\left\|u\right\|^{2}$ ; contrôle la stabilité de la solution

espace de Sobolev

cadre naturel des problèmes elliptiques ; les dérivées y sont FAIBLES