Professional Documents
Culture Documents
Anne 2017/2018
Devoir libre 2 (facultatif)
rendre lundi 11 septembre 2017
Dans tout le problme, n dsigne un entier naturel. On note Rn [x] lespace vectoriel des fonctions polyno-
miales de degr infrieur ou gal n et C n (R) lespace vectoriel des fonctions relles de classe C n sur R.
En particulier, C 0 (R) dsigne lespace vectoriel des fonctions relles continues sur R.
toute fonction f appartenant C 0 (R), on associe la fonction note (f ), ou plus simplement f , dfinie
sur R par : x
x R, f (x) = f (t) dt.
x1
On dfinit ainsi un endomorphisme : f 7 f de lespace vectoriel C 0 (R), dont on se propose dtudier
quelques proprits au travers de parties qui sont largement indpendantes.
Premire partie : gnralits
1. Dans cette question, on tudie quelques proprits de f en fonction de celles de f .
a. Pour f C 0 (R), tablir la formule :
1
x R, f (x) = f (x + u 1) du.
0
b. On suppose la fonction f paire (resp. impaire). Exprimer f (x) en fonction de f (x + 1) pour
x R.
c. On suppose la fonction f croissante (resp. dcroissante). Est-ce le cas de f ?
d. On suppose la fonction f convexe (resp. concave). Est-ce le cas de f ?
e. On suppose la fonction f admet une limite ` en . Est-ce le cas de f ?
2. Dans cette question, on tudie lendomorphisme induit par sur Rn [x].
a. Montrer que Rn [x] est stable par i.e. que (Rn [x]) Rn [x]. On note alors n : P 7 n (P) = (P)
lendomorphisme de Rn [x] induit par .
b. Dterminer la matrice reprsentative de n en base canonique.
c. Dterminer les valeurs propres et vecteurs propres de n .
Reformulation pour les carrs : dterminer les rels pour lesquels le sous-espace E (n ) = Ker(n
idRn [x] ) nest pas nul et expliciter alors les lments de ce sous-espace E (n ).
3. Dans cette question, on tudie linjectivit et la surjectivit de .
a. Montrer, pour toute fonction f de C 0 (R), que la fonction f est de classe C 1 et en prciser la drive
(f )0 .
Soit k N. Pour quelles valeurs du nombre entier j a-t-on linclusion C k (R) C j (R) ?
b. Montrer que Ker est form des fonctions 1-priodiques et dintgrale nulle sur une priode.
c. Lendomorphisme est-il surjectif ? injectif ?
4. Dans cette question, on tudie les lments propres de .
a. On considre une valeur propre de lendomorphisme , autrement dit un nombre rel tel quil
existe une fonction f non nulle appartenant C 0 (R) vrifiant f = f .
Montrer que si 6= 0, alors toute fonction propre f de associe la valeur propre i.e. toute
fonction f non nulle de C 0 (R) telle que f = f est de classe C sur R.
b. Quelles sont les fonctions polynomiales f qui sont propres pour ?
c. Montrer, pour tout rel > 0, quil existe une et une seule fonction de la forme fa : x 7 eax ,
a R, qui soit propre pour associe la valeur propre .
Quelles sont alors les valeurs propres de parmi les rels positifs ?
d. tant donn un rel > 1, montrer que la seule fonction f borne de C 0 (R) vrifiant f = f est
la fonction nulle.
Dans la suite du problme, on tudie le sous-espace propre E1 () de associ la valeur propre 1, cest-
-dire lensemble des fonctions f de C 0 (R) vrifiant f = f , ou encore :
x
x R, f (t) dt = f (x).
x1
ECS2 Lyce La Bruyre, Versailles Devoir libre 2 (facultatif) 2
2. On dfinit alors par rcurrence partir de f0 la suite (fn )nN de fonctions sur [0, 1] en posant :
x
n N, x [0, 1], fn+1 (x) = fn (1)e e x x
fn (t)et dt.
0
a. Montrer que pour tout n N, fn+1 est de classe C sur [0, 1] et vrifie fn+1
1 0
= fn+1 fn . En dduire
que : 1
fn+1 (1) fn+1 (0) = fn+1 (t) fn (t) dt.
0
b. Montrer que pour tout n N, fn+1 (0) = fn (1) et en dduire que :
1
fn (1) = fn (t) dt.
0
c. tablir enfin :
x 1
n N, x [0, 1], fn+1 (x) = fn+1 (t) dt + fn (t) dt.
0 x
d. Justifier que lon dfinit une unique fonction f sur [0, +[ en posant :
n N, x [n, n + 1[, f (x) = fn (x n).
Montrer que la fonction f ainsi dfinie est continue sur [0, +[ et vrifie :
x
x > 1, f (x) = f (t) dt.
x1
3. On prolonge la fonction f dfinie ci-dessus sur [0, +[ en une fonction dfinie sur [1, +[ en posant
f (x) = f (x + 1) f 0 (x + 1) pour tout x [1, 0[.
Montrer que f est continue sur [1, +[ et vrifie :
x
x [0, +[, f (x) = f (t) dt.
x1
Remarque. En ritrant ce mme procd sur [2, +[, [3, +[, etc., on obtiendrait une fonction f
continue sur R vrifiant f = f .