Exercice 2 (10pts)
On considère l’espace vectoriel réel E des fonctions dérivables par morceaux sur l’intervalle [0; 1]
et F = hf1 ; f2 ; f3 ; f4 i le sev des fonctions dé…nies sur l’intervalle [0; 1], a¢ nes par morceaux et continues
sur l’intervalle [0; 1], engendrées par f1 ; f2 ; f3 et f4 telles-que :
1 1
f1 a¢ ne sur [0; ], avec f1 (0) = 1, et f1 (x) = 0 , si x 1;
3 3
1 1 2 1 2
f2 a¢ ne sur [0; ] et sur [ ; ], avec f2 (0) = 0 et f2 = 1, f2 (x) = 0 sur x 1;
3 3 3 3 3
1 2 2 2 1
f3 a¢ ne sur [ ; ] et sur [ ; 1], avec f3 = 1 et f3 (x) = 0 si 0 x ainsi que pour x = 1 ;
3 3 3 3 3
2 2
f4 a¢ ne sur [ ; 1] ;avec f4 (1) = 1, et f4 (x) = 0 , si 0 x :
3 3
Z1
On munit E de la FBS ' dé…nie sur E par ' (f; g) = f 0 (t) g 0 (t) dt.
0
1. Prouver que la forme bilinéaire , dé…nie par : (u; v) = ' (L(u); v), (u; v) 2 E 2 , est dé…nie-positive sur
E: (3pts) :
2. Montrer que l’endomorphisme L est symétrique dans l’espace préhilbertien (E; '). Que représente alors
pour le R e:v E ? (2:5pts)
3. Est-il injectif ? Justi…er (1:5pt)
1
4. Pour tout élément u 2 E, on pose : F (u) = (y; u) ' (f; u), où y 2 E est solution de l’EDO :
2
(p(x)y 0 (x))0 + q(x)y(x) = f (x), x 2]0; 1[, où f 2 C([0; 1]; R).
Montrer que : F (u) > F (y), avec u 6= y: (3pts)