Déterminer une condition nécessaire sur f pour que le problème
(P) ait une solution.
Soit Hm={v∈H1(]0,1[):∫01v(t)dt=0}
le sous-espace des fonctions à moyenne nulle dans H1(]0,1[).
Montrer que Hm muni de la norme de H1(]0,1[) est un espace de Hilbert.
Rappeler l'inégalité de Poincaré pour les éléments de
H01(]0,1[)⊂H1(]0,1[)
(on supposera que cette inégalité est vérifiée aussi dans Hm).
Formuler le problème variationnel associé à (P),
et montrer qu'il est bien posé.