التمرين 1
Exercice 1 — Problème de Neumann : formulation faible et condition de compatibilité
Soit un ouvert borné avec frontière assez régulière et . On dit que est solution faible du problème de Neumann
si
- Montrer que si est solution forte alors la formulation faible est vérifiée.
- Si est solution faible et , montrer que : (a) dans ; (b) dans au sens des traces.
- Montrer que la condition est nécessaire pour l'existence d'une solution faible.
- Soit . En supposant la condition précédente satisfaite, montrer que si vérifie la formulation faible pour tout , alors elle est vérifiée pour tout .
- Utiliser Lax-Milgram dans l'espace de Hilbert et déduire que la condition de compatibilité est suffisante pour l'existence d'une solution faible.
◀الحل
1.
Multiplier par et intégrer sur . En intégrant par parties et en utilisant la condition de Neumann homogène, on obtient la formulation faible.
2.
(a) Prendre dans la formulation faible : , donc au sens des distributions, puis dans .
(b) Reprendre l'intégration par parties pour un général et comparer aux identités. Le terme de bord est nul, donc la trace normale est nulle.
3.
Prendre . Alors .
4.
Tout se décompose en avec . Comme , le terme constant disparaît. Donc la formulation sur suffit.
5.
Sur , la forme est continue et coercive (Poincaré-Wirtinger). Le second membre est continu. Par Lax-Milgram, il existe une unique solution dans .