- Formulation faible
-
En comparaison avec la formulation forte, la formulation faible est une autre manière d'énoncer un problème physique régi par des équations différentielles ou aux dérivées partielles.
Une solution forte du problème d’origine est également solution de la formulation faible. Une solution de cette dernière est naturellement appelée solution faible.
L’intérêt de cette approche est de pouvoir disposer de concepts et de propriétés de l’analyse fonctionnelle, en particulier ceux des espaces de Hilbert et de Sobolev.
La formulation faible prend son sens dans le Théorème de Lax-Milgram. Elle est un des fondements de la méthode des éléments finis.
Formellement
Etant donné un opérateur différentiel
et une fonction
définie sur un domaine ouvert Ω, la formulation forte du problème est la suivante :
Trouver
définie sur Ω vérifiant
en tout point de Ω.
Une solution
est naturellement solution du problème suivant (formulation faible) :
Trouver
définie sur Ω vérifiant
pour toute fonction
définie sur Ω.
Selon la nature du problème, des transformations équivalentes de cette dernière égalité (par exemple une intégration par parties) permet de faire apparaître une forme symétrique ayant la nature d’un produit scalaire (ou d’un produit hermitien dans le cas de fonctions complexes). Les deux fonctions
et
appartiennent alors à un même espace fonctionnel. Dans ce cas, la formulation faible stipule que la solution
est une sorte de projection de
dans cet espace. C’est à ce stade du développement qu’intervient le Théorème de Lax-Milgram.
D’autres contraintes sur la frontière de Ω (conditions aux limites) peuvent être imposées à
(et à
).
Exemple
Dans le cadre d’un problème concret, le passage d’une formulation forte à faible est présenté ici.
Voir aussi
Wikimedia Foundation. 2010.