Bonsoir à tous,

On peut montrer que pour un ouvert borné assez régulier :


On considère les formes bilinéaires symétriques continues de dans définies par :


avec et . Je voudrai montrer que pour tout , il existe tel que soit coercive (i.e tel qu'il existe vérifiant pour tout ).

J'ai utilisé (1) avec , pour pouvoir minorer , mais je me retrouve avec au lieu de la norme H1.

Auriez vous des idées à ce problème ?

Bien cordialement.