SESSION 2010

Concours commun Centrale

MATHMATIQUES 1. FILIERE PC

Partie I - Polynmes de Tchebychev

I.A -
I.A.1) a) La fonction x 7 Arccos x est dfinie sur [1, 1] et donc chaque fonction Fn , n N, est dfinie sur D = [1, 1].
b) Pour tout x [1, 1],
F1 (x) = cos(Arccos x) = x
F2 (x) = cos(2 Arccos x) = 2 cos2 (Arccos x) 1 = 2x2 1
F3 (x) = cos(3 Arccos x) = 4 cos3 (Arccos x) 3 cos(Arccos x) = 4x3 3x.

x D = [1, 1], F1 (x) = x, F2 (x) = 2x2 1 et F3 (x) = 4x3 3x.

c) Soit n N.
Fn (1) = cos(n Arccos(1)) = cos(0) = 1,
Fn (1) = cos(n Arccos(1)) = cos(n) =(1)n ,
 
(1)n/2 si n 2Z
Fn (0) = cos(n Arccos(0)) = cos n = .
2 0 si n 1 + 2Z
d) Soit n N. Pour x [1, 1], x [1, 1] et

Fn (x) = cos(n Arccos(x)) = cos(n( Arccos(x))) = (1)n cos(n Arccos x) = (1)n Fn (x).

n N, Fn a la parit de n.

I.A.2) Soit n N . Pour x [1, 1],

Fn+1 (x) + Fn1 (x) = cos((n + 1) Arccos(x)) + cos((n 1) Arccos(x)) = 2 cos(Arccos(x)) cos(n Arccos x) = 2xFn (x).

n N, x [1, 1], Fn+1 (x) + Fn1 (x) = 2xFn (x).

I.A.3) Un polynme concidant avec Fn sur [1, 1] est uniquement dfini sil existe car [1, 1] est infini.
Montrons par rcurrence que pour tout n N, il existe un polynme encore not Fn , de degr n, tel que x [1, 1],
Fn (x) = cos(n Arccos x).
Pour n = 0 et n = 1, les polynmes F0 = 1 et F1 = X conviennent et sont de degrs 0 et 1 respectivement.
Soit n > 0. Supposons quil existe deux polynmes Fn et Fn+1 de degrs respectifs n et n + 1 tels que x [1, 1],
Fn (x) = cos(n Arccos x) et Fn+1 (x) = cos((n + 1) Arccos x).
Alors, daprs la question prcdente, le polynme P = 2XFn+1 Fn vrifie x [1, 1], P(x) = cos((n + 2) Arccos x) et
donc convient. On le note Fn+2 . De plus, deg(Fn ) = n et deg(Fn+1 ) = n + 1 et donc deg(Fn+2 ) = deg(2XFn+1 Fn ) =
deg(XFn+1 ) = n + 2.
On a montr que pour tout n N, il existe un polynme et un seul not Fn , de degr n, tel que x [1, 1], Fn (x) =
cos(n Arccos x). De plus, n N, degFn = n.
Pour n > 1, on a dom(Fn+1 ) = dom(2XFn Fn1 ) = 2dom(Fn ). Puisque dom(F1 ) = 1, on en dduit que n N ,
dom(Fn ) = 2n1 . Dautre part, dom(F0 ) = 1.
I.A.4) Algorithme en Maple.

> tchebychev :=proc(n) local i,u,v,w ;

> if n=0 then v :=1
> else u :=1 :v :=x :
> for i from 2 to n do w :=2xv-u :u :=v :v :=simplify(w) end do ;
> end if :
> v : end proc ;

http ://www.maths-france.fr 1 c Jean-Louis Rouget, 2010. Tous droits rservs.

I.A.5) Soient n N et x R.

1
Tn+2 (x) = 21n Fn+2 (x) = 2n xFn+1 (x) + 21n Fn (x) = xTn+1 (x) Tn (x).
4

1
n N , Tn+2 = XTn+1 Tn .
4

I.B -
I.B.1) a) Fn est de classe C sur R en tant que polynme.
b) Soit n N. La fonction x 7 n Arccos x est drivable sur ] 1, 1[ valeurs dans R et la fonction y 7 cos y est drivable
sur R. Donc la fonction Fn est drivable sur ] 1, 1[ et pour x ] 1, 1[,

n sin(n Arccos x)
Fn (x) = (n Arccos) (x) cos (n Arccos x) = .
1 x2
I.B.2) a) Quand x tend vers 1 par valeurs infrieures, Arccos(x) tend vers 0 et donc
p p
Arccos(x) sin (Arccos(x)) = 1 x2 = (1 x)(1 + x) 2(1 x).
x 1 x 1

p
Arccos(x) 2(1 x).
x 1

n sin(n Arccos x)
b) Soit n N . Puisque Fn est de classe C1 sur R, Fn (1) = lim Fn (x) = lim . Or
x 1 x 1 1 x2

n sin(n Arccos x) n2 Arccos x) n2 1 x2 )
= n2 .
1 x2 x 1 1 x2 x 1 1 x2
Ensuite, Fn a la parit de n (daprs I.A.1)d), x [1, 1], Fn (x) = (1)n Fn (x) et donc Fn (X) = (1)n Fn puisque
[1, 1] est infini), et donc Fn a la parit contraire de n. On en dduit que Fn (1) = (1)n1 n2 .

n N , Fn (1) = n2 et Fn (1) = (1)n1 n2 .

I.B.3) Soit n N . Pour x ] 1, 1[,

n2 cos(n Arccos x) nx sin(n Arccos x)

Fn (x) = + ,
1 x2 (1 x2 )3/2

et donc

  
n sin(n Arccos x) n2 cos(n Arccos x) nx sin(n Arccos x)
xTn (x) (1 x2 )Tn (x) = 21n x (1 x2 ) +
1 x2 1 x2 (1 x2 )3/2
= n2 21n cos(n Arccos x) = n2 Tn (x).

Ainsi, les polynmes XTn (1 X2 )Tn et n2 Tn concident sur ] 1, 1[ qui est infini et donc ces polynmes sont gaux.

n N , x R, (1 x2 )Tn (x) xTn (x) + n2 Tn (x) = 0.

I.C -
f(x)g(x)
I.C.1) Soit (f, g) E2 . La fonction x 7 est continue sur ] 1, 1[. De plus, f et g sont bornes au voisinage de 1 et
1 x2  
f(x)g(x) 1 f(x)g(x)
au voisinage de 1 car continues en 1 et en 1. On en dduit que = = O 1/2
et = =
  1x 2 x 1 (1 x) 1 x2 x 1+
1 1 1
O . Comme les fonctions x 7 et x 7 sont intgrables au voisinage de 1 et au voisinage
(1 + x)1/2 (1 x)1/2 (1 + x)1/2
f(x)g(x)
de 1 respectivement, on en dduit que la fonction x 7 est intgrable sur ] 1, 1[.
1 x2
Z1
f2 (x)
I.C.2) est bilinaire et symtrique. De plus, pour f E, (f, f) = dx > 0. Enfin,
1 1 x2

http ://www.maths-france.fr 2 c Jean-Louis Rouget, 2010. Tous droits rservs.

 Z1
(f(x))2
(f, f) = 0 dx = 0
1 1 x2
(f(x))2
x ] 1, 1[, = 0 (fonction continue, positive, dintgrale nulle)
1 x2
x ] 1, 1[, f(x) = 0 f = 0 (polynme ayant une infinit de racines).

Finalement, est une forme bilinaire, symtrique , dfinie et positive sur E et donc un produit scalaire sur E.
I.C.3) a) On prend dj p0 = 1 qui est un polynme unitaire de degr 0. Soit n N . Lorthogonal de En1 dans En est
une droite vectorielle, engendre par un certain polynme Pn . Pn est dans En et pas dans En1 et donc Pn est de degr
n.
Pn
Pour tout entier n, on pose pn = . La famille (pn )nN est une famille de polynmes unitaires telle que n N ,
dom(Pn )
deg(pn ) = n et pn E n1 .

b) La famille (pn )nN convient. Montrons lunicit de cette famille. Soit (Qn )nN une famille de polynmes unitaires telle
que n N , deg(Qn ) = n et Qn E n1 . Ncessairement, Q0 = 1 = p0 .
Ensuite, pour n N , Qn En Vect(Qk )
06k6n1 = En En1 = Vect(pn ) (puisque pn est un lment non nul de la

droite vectorielle En1 En ) et donc il existe R tel que Qn = pn . Puisque pn et Qn sont unitaires, on a = 1 et
donc Qn = pn .

Il existe une unique suite (Qn )nN de polynmes unitaires telle que Q0 = 1 et n N , deg(Qn ) = n et Qn E
n1 .

I.C.4) Soit (m, n) N2 . En posant t = Arccos x, on obtient

Z1 Z1
2nm Fn (x)Fm (x) 2nm cos(n Arccos x) cos(m Arccos x)
(Tn |Tm ) = 2 dx2 dx
1x 2 1 x2
1 1
Z0 Z Z 
1
= cos(nt) cos(mt) dt = cos((n + m)t) dt + cos((n m)t) dt .
2 0 0

Par suite, si n 6= m (de sorte que n + M 6= 0 et n m 6= 0), (Tn |Tm ) = 0 puis si n = m 6= 0, (Tn |Tm ) = et enfin si
2
n = m = 0, (Tn |Tm ) = .


si n = m = 0

(n, m) N2 , (Tn |Tm ) = si n = m 6= 0 .
2


0 si n = m

En particulier, la famille (Tn )nN est lunique famille orthogonale pour (.|.) constitue de polynmes unitaires et telle que
n N, deg(Tn ) = n.

Partie II - Ingalits de Bernstein et Markov

II.A -
h i
II.A.1) a) Soit n N . Si n = 1, pour tout 0, , on a | sin(n)| = n sin . A partir de maintenant dans les questions
2
a), b) et c), on suppose n > 2.
h i h i h i
Pour 0, , on pose f() = n sin() | sin(n)| = n sin() sin(n). f est drivable sur 0, et pour 0, ,
2n 2n 2n
f () = n (cos() cos(n)).
i i h i
Pour 0, , on a 0 < < n 6 et donc f () > 0 puisque la fonction cos est strictement dcroissante sur 0, .
2n 2 h i i i 2
La fonction f est strictement dcroissante sur 0, . On en dduit que pour 0, , f() < f(0) = 0. Donc,
2n 2n
h i
n > 2, 0, , | sin(n)| 6 n sin avec galit si et seulement si = 0.
2n

http ://www.maths-france.fr 3 c Jean-Louis Rouget, 2010. Tous droits rservs.

 h i h i
b) La fonction sin est concave sur 0, . Donc son graphe sur 0, est au-dessus de sa corde joignant ses points
2 h i 2
2
dabscisses 0 et . On en dduit que , , sin() > .
2 2n 2

h i 2 2n
c) Pour tout de , , on a n sin > n > 2n = 1 > | sin(n)|.
2n 2
d) On a montr que
h i
0, , | sin(n)| 6 n sin .
2
h i
e) Si n = 1, on a vu que 0, , | sin(n)| = n sin . Soit alors n > 2.
h i 2 i i 2
On a vu que pour 0, , | sin(n)| = n sin = 0. Dautre part, si , , n sin > n > 1 et donc
2n 2n 2
n sin > | sin(n)|. Finalement
h i
Si n = 1, 0, , | sin(n)| = n sin .
2
h i
Si n > 2, 0, , | sin(n)| = n sin = 0.
2

II.A.2) Soit n > 1. Pour x ] 1, 1[,

 
 n sin(n Arccos x)  n
|Tn (x)| = 21n  6 1 x2 |n sin(Arccos x)| = 2
1n 2
n .
1 x2

Cette ingalit reste vraie par continuit de Tn en 1 et 1. Donc x [1, 1], |Tn (x)| 6 21n n2 . De plus, daprs la
question I.B.2)b), |Tn (1)| = 21n n2 et donc

n > 1, sup |Tn (x)| = 21n n2 .

x[1,1]

Ensuite, si n = 1, x [1, 1], T1 (x) = x et donc x [1, 1], |T1 (x)| = 1 = 211 12 . Donc, si n = 1, la borne suprieure
est atteinte en tout rel x de [1, 1].
Si n > 2, on sait dj que sup |Tn (x)| est atteint pour x = 1 et x = 1 daprs la question I.B)2)b).
x[1,1]
Soit x ] 1, 1[. Puisque Tn est paire ou impaire

 
 sin(n Arccos(|x|) 
|Tn (x)| = |Tn (|x|)| = n21n  

1 x2
n sin(Arccos(|x|)) h h
< n21n (car Arccos |x| 0, et daprs II.A.1)e))
1 x2 2
= n2 21n .

Finalement, pour tout n N , la borne suprieure est atteinte. De plus, si n = 1 elle est atteinte en tout rel x de [1, 1]
et si n > 2, elle est atteinte en x = 1 et x = 1.
II.A.3) Soit n N . Pour x [1, 1],

k
Tn (x) = 0 cos(n Arccos x) = 0 k Z/ n Arccos x = + k k Z/ Arccos x = + (*).
2 2n n
k n n  1 1
Soit k Z. 0 6 + 6 6k6 6 k 6 n 0 6 k 6 n 1. Donc
2n n 2n 2n 2 2
 
k k
() k J0, n 1K/ Arccos x = + k J0, n 1K/ x = cos + .
2n n 2n n
 
k k
Maintenant, les nombres cos + , 0 6 k 6 n 1, sont deux deux distincts (car k J0, n 1K, + [0, ]
2n n 2n n
et car la fonction cos est injective sur [0, ]) et tous racines du polynme Tn qui est de degr n. Ce sont donc toutes les
racines de ce polynme, toutes simples, relles et dans [1, 1]. Plus prcisment, puisque Tn (1) 6= 0 et Tn (1) 6= 0 daprs
I.A.1)c), ces racines sont dans ] 1, 1[.
Puisque la fonction cos est strictement dcroissante sur [0, ], on a

http ://www.maths-france.fr 4 c Jean-Louis Rouget, 2010. Tous droits rservs.

     
(n 1) (n 2)   
cos + < cos + < . . . < cos + < cos ,
2n n 2n n 2n n 2n
 
(n j) (2n 2j + 1)
et on pose donc xn,j = cos + = cos pour 1 6 j 6 n.
2n n 2n
   
(2n 2j + 1) (2j 1)
n > 1, j J1, nK, xn,j = cos = cos .
2n 2n

n
Y
II.A.4) Puisque Tn est de degr n et de coefficient dominant 21n , pour x R on a Tn (x) = 21n (x xn,j ) et donc
j=1
pour x R \ {xn,j , 1 6 j 6 n},
n Y
X n
X Tn (x)
Tn (x) = 21n (x xn,k ) = ,
x xn,j
j=1 k6=j j=1

et donc
n
Tn (x) X 1
n > 1, x R \ {xn,j , 1 6 j 6 n}, = .
Tn (x) x xn,j
j=1

II.A.5) a) Soit P En1 .

Tn Y
Pour j J1, nK, = (X xn,k ) est un polynme de degr n 1 que lon note Un,j . De plus, pour k 6= j,
X xn,j
k6=j
Un,j (xn,k ) = 0 et pour k = j, Un,j (xn,j ) = Tn (xn,j ) car Tn = ((X xn,j )Un,j ) = Un,j + (X xn,j )Un,j

.
X n
P(xn,j )
Par suite, le polynme U = Un,j est un polynme de degr au plus n 1 tel que pour tout j J1, nK,
Tn (xn,j )
j=1

P(xn,j )
U(xn,j ) = 0 + . . . + 0 + Un,j (xn,j ) + 0 + . . . + 0 = P(xn,j ).
Tn (xn,j )
Puisque les polynmes U et P sont de degrs au plus n 1 et prennent la mme valeur en au moins n rels deux deux
distincts, ces polynmes sont gaux. On a montr que
n
X P (xn,j ) Tn (x)
P En1 , x R \ {xn,j , 1 6 j 6 n}, P(x) = .
Tn (xn,j ) x xn,j
j=1

b) Soient n N puis j J1, nK. Puisque les racines de Tn sont simples, on a Tn (xn,j ) 6= 0 et
q
1 1 x2n,j 2n1 q 1 n1 q
2 nj 2
= = 1 x n,j
  = (1) 1 x2n,j
Tn (xn,j ) 21n n sin(n Arccos(xn,j )) n (2n 2j + 1) n
sin
2
et donc
n
2n1 X q Tn (x)
P En1 , x R \ {xn,j , 1 6 j 6 n}, P(x) = (1)nj 1 x2n,j P (xn,j ) .
n x xn,j
j=1

II.B - Ingalit de Bernstein

 
II.B.1) Soit n N . Tout dabord, x1,n 6 0 6 xn,n et |x1,n | = |xn,n | = cos . Par suite,
2n
 
x1,n 6 x 6 xn,n x2 6 cos2
2n
r
p     2
1 x2 > 1 cos2 = sin > (daprs II.A.1)b))
2n 2n 2n
p 1
1 x2 > .
n

II.B.2) a) Soit n N . Soit P En1 tel que sup 1 x2 |P(x)| 6 1. Soit x [1, 1].
x[1,1]

1
Si x [xn,1 , xn,n ], daprs la question prcdente, 1 x2 > et donc
n
http ://www.maths-france.fr 5 c Jean-Louis Rouget, 2010. Tous droits rservs.

 1
|P(x)| 6 6 n.
1 x2
Supposons maintenant que x [1, xn,1 []xn,n , 1]. Alors x nest pas racine de Tn et daprs la question II.A.5)b)

 
 n q 
2n1 X T n (x) 
|P(x)| =  (1)nj 1 x2 P(xn,j )  (daprs II.A.5)b))
n  n,j
x xn,j 
 j=1
2n1 X q
n
|Tn (x)|
6 1 x2n,j |P(xn,j )|
n |x xn,j |
j=1
n1 n
X
2 |Tn (x)|
6 .
n |x xn,j |
j=1

n
Tn (x) X 1
Maintenant, daprs la question II.A.4), = . De plus, puisque x [1, xn,1 []xn,n , 1], on a ou bien
Tn (x) x xn,j
j=1
n
|Tn (x)| X 1
j J1, nK, x xn,j < 0, ou bien j J1, nK, x xn,j > 0, de sorte que = . On en dduit que
|Tn (x)| |x xn,j |
j=1

n
2n1 X |Tn (x)| 2n1
|P(x)| 6 = |Tn (x)|
n |x xn,j | n
j=1

2n1
6 21n n2 (daprs II.A.2))
n
= n.

Finalement, x [1, 1], |P(x)| 6 n et donc sup |P(x)| 6 n.

x[1,1]

b) Soient n N et P En1 . Si P = 0, lingalit

de lnonc est immdiate. Sinon, P ne sannule pas en au moins un
rel de ] 1, 1[ et donc le nombre M = sup 1 x2 |P(x)| est strictement positif.
x[1,1]
 
P 1 
Le polynme est alors un lment de En1 tel que sup 1 x2  P(x) 6 1. La question prcdente permet
M x[1,1] M
 
1 
daffirmer que sup  P(x) 6 n et donc que sup |P(x)| 6 nM = n sup 1 x2 |P(x)|. On a montr que
x[1,1] M x[1,1] x[1,1]

P En1 , sup |P(x)| 6 n sup 1 x2 |P(x)|.
x[1,1] x[1,1]

II.B.3)
 a) Soit k N . Pour R, on a Fk (cos ) = cos(k) et donc sin Fk (cos ) = k sin(k) puis sin(k) =
Fk 1
sin (cos ). Puisque Fk est un polynme de degr k, le polynme Bk = Fk est un polynme de degr k 1
k k
vrifiant R, sin(k) = sin Bk (cos ).
b) Pour R,

n
X
T (0 + ) T (0 ) = (ak (cos(k(0 + )) cos(k(0 ))) + bk (sin(k(0 + )) sin(k(0 ))))
k=1
Xn
= (2ak sin(k0 ) sin(k) + 2bk cos(k0 ) sin(k))
k=1
Xn
=2 (ak sin(k0 ) + bk cos(k0 ))Bk (cos ) sin
k=1
= 2 sin P(cos )
n
X
o P = (ak sin(k0 ) + bk cos(k0 ))Bk est un polynme de degr au plus n 1. Le polynme P dpend de T et de 0 .
k=1
c) Soit x [1, 1]. On pose M = sup|T ()|. Puisque P En1 , la question II.B.2)b) permet dcrire
R

http ://www.maths-france.fr 6 c Jean-Louis Rouget, 2010. Tous droits rservs.

 p p 
|P(x)| 6 n sup 1 x2 |P(x)| = n sup 1 cos2 |P(cos )| = n sup | sin P(cos )|
x[1,1] R R
n n
= sup |T (0 + ) T (0 )| 6 (M + M) = nM,
2 R 2

et donc sup |P(x)| 6 n sup|T ()|.

x[1,1] R

2 sin P(cos()) T (0 + ) T (0 ) T (0 + ) T (0 ) T (0 ) T (0 )
d) Soient 0 R et N , = = .


Quand tend vers 0, on obtient 2P(1) = 2T (0 ) et donc

|T (0 )| = |P(1)| 6 sup |P(x)| 6 n sup |T ()|.

x[1,1] R

Ceci tant valable pour tout rel 0 , on a montr que

sup |T ()| 6 n sup |T ()|.

R R

II.C - Ingalit de Markov

n
X
Soit P = ak Xk En . Pour R, on pose T () = P(cos ).
k=0
On sait que pour k J0, nK, cosk se linarise en une combinaison linaire des cos(j), 0 6 j 6 k et donc il existe des
n
X
rels a0 , . . . , an tels que R, T () = a0 + ak cos(k). On a alors
k=1
p
sup |P (x)| 6 n sup 1 x2 |P (x)| (daprs II.B.2)b) car P En1 )
x[1,1] x[1,1]

= n sup| sin P (cos )| = n sup|T ()|

R R
2
6 n sup|T ()| (daprs II.B.3)d))
R

= n2 sup |P(x)|
x[1,1]

On a montr que

P En , sup |P (x)| 6 n2 sup |P(x)|.

x[1,1] x[1,1]

Partie III - Approximation polynmiale

III.A -
III.A.1) Soient (n )nN S et j N. La suite (nj+2 n )nN est borne et donc nj+2 n = O (1) ou encore
  n +
1
nj n = O . On en dduit que la srie numrique de terme gnral nj n , n N, converge absolument et donc
n + n2
converge.
M
III.A.2) Soit k N. Il existe M R+ tel que p N, |pj+k+2 p | 6 M et donc p N, |pj p | 6 . Pour n N , on
pk+2
a alors

+
X +
X 1
|nk Rn (j)| 6 nk |pj p | 6 Mnk (la srie converge car k + 2 > 2)
pk+2
p=n+1 p=n+1
+ Z p
X Z +  +
1 dt 1
6 Mnk dt = Mnk = Mn k

tk+2 tk+2 (k + 1)tk+1 n
p=n+1 p1 n

M M
= 6 ,
(k + 1)n k+1
M
ce qui reste vrai pour n = 0 car 0k R0 (j) = 0. Donc n N, |nk Rn (j)| 6 . On a montr que k N, la suite
k+1
(nk Rn (j))nN est borne et donc la suite (Rn (j))nN est lment de S.

http ://www.maths-france.fr 7 c Jean-Louis Rouget, 2010. Tous droits rservs.

III.B -
III.B.1) Soit x [1, 1].  
1
Pour tout n N, |Fn (x)| = | cos(n Arccos(x))| 6 1. Par suite, pour tout n N, |n Fn (x)| 6 |n | avec n = O .
n + n2
On en dduit que la srie de terme gnral n Fn (x), n N, converge.
III.B.2) La srie de fonctions de terme gnral n Fn , n N, converge simplement vers f sur [1, 1] et chaque fonction
n Fn est de classe C sur [1, 1].
Ensuite, Daprs la question II.C), puisque Fn En ,

sup |(n Fn ) (x)| = |n | sup |Fn (x)| 6 n2 |n | sup |Fn (x)| 6 n2 |n |.

x[1,1] x[1,1] x[1,1]

(k)
Plus gnralement, puisque pour k 6 n, Fn est dans Enk , pour k 6 n, on a

sup |(n Fn )(k)(x)| 6 n2 (n 1)2 . . . (n k + 1)2 |n | 6 n2k |n |,

x[1,1]

(k)
ce qui reste vrai pour k > n car alors Fn = 0. Ainsi, k N , n N, sup |(n Fn )(k)(x)| 6 n2k |n |. Comme la srie
x[1,1]
numrique de terme gnral n2k |n |, n N, converge daprs la question III.A.1), on en dduit que pour tout k N , la
srie de fonction de terme (n Fn )(k) , n N, converge normalement sur [1, 1].
En rsum,
- la srie de fonctions de terme gnral n Fn , n N, converge simplement vers f sur [1, 1].
- chaque fonction n Fn , n N, est de classe C sur [1, 1]
(k)
- chaque srie de fonctions n Fn , k N et n N, converge normalement sur [1, 1].
Daprs une gnralisation du thorme de drivation terme terme, la fonction f est de classe C sur [1, 1] et les
drives successives de f sobtiennent par drivation terme terme.
III.B.3) Soit n N. Pour x [1, 1],
   
 Xn   X +  +
X +
X
   
f(x) k Fk (x) =  k Fk (x) 6 |k ||Fk (x)| 6 |k |
   
k=0 k=n+1 k=n+1 k=n+1
 
 Xn  +
X Xn
 
Mais alors, sup f(x) k Fk (x) 6 |k |. Maintenant, puisque k Fk est dans Vn , on en dduit que
x[1,1]  k=0

k=n+1 k=0
 
 n
X  +
X
 
d(f, Vn ) 6 sup f(x) k Fk (x) 6 |k |. Ainsi,
x[1,1]  k=0

k=n+1

+
X
n N, d(f, Vn ) 6 |k | (*).
k=n+1

Maintenant, il est clair que la suite (n ) est dcroissance rapide si et seulement si la!suite (|n |) lest et la question
+
X
III.A.2) applique la suite (|n |) et j = 0 permet daffirmer que la suite |k | est dcroissance rapide.
k=n+1 nN
Les ingalits () montrent alors quil en est de mme de la suite (d(f, Vn ))nN .

La suite (d(f, Vn ))nN est dcroissance rapide.

III.C -
III.C.1) La fonction fe est 2-priodique, continue par morceaux et paire et donc n N , bn (f)e = 0. Ensuite, puisque f
 
e = o 1
est de classe C sur [1, 1], fe est de classe C sur R. On sait alors que k N, an (f) ou encore k N,
n + nk
e 0. En particulier, k N, la suite (nk an (f))
nk an (f) e est borne et donc la suite (an (f))
e est dcroissance rapide.
n +

III.C.2) Puisque fe est de classe C1 sur R, 2-priodique, on sait que la srie de Fourier de fe converge normalement vers
fe sur R.
III.C.3) Pour tout rel ,
+
X +
X
e =
f(cos ) = f() e cos(n) =
an (f) n Fn (cos ),
n=0 n=0

http ://www.maths-france.fr 8 c Jean-Louis Rouget, 2010. Tous droits rservs.

 Z
1

2 f(cos t) dt si n = 0
+
X
e
o n = an (f) = Z . Mais alors, x [1, 1], f(x) = n Fn (x). De plus, la suite


1 n=0
f(cos t) cos(nt) dt si n > 1

(n )nN est dcroissance rapide daprs la question II.C.1).
Mais alors, daprs la question III.B.3), la suite (d(f, Vn ))nN est dcroissance rapide. On a ainsi montr que si f est de
classe C sur [1, 1], la suite (d(f, Vn ))nN est dcroissance rapide.
III.D -
1
III.D.1) Soit n N. Par dfinition dune borne infrieure, il existe un lment pn de Vn tel que kfpn k 6 d(f, Vn )+ n .
   n
1
Maintenant, pour tout entier k, la suite nk d(f, Vn ) + n est borne et il en est de mme de la suite (nk kf pnk ).
n
Ainsi, (pn )nN est une suite de fonctions polynomiales telle que n N, deg(pn ) 6 n et la suite (kf pn k ) est
dcroissance rapide.
III.D.2) a) Soient k N puis P Ek1 .

Z Z
e = 1
ak (P) e cos(kt) dt = 2
P(t) P(cos t)Fk (cos t) dt
0
Z 1 Z1
2 dx 2 P(x)Fk (x)
= P(x)Fk (x) = dx
1 1 x 2 1 1 x2
1 2k1
= (P|Fk ) = (P|Tk ).

Maintenant, daprs la question I.C.3), Tk E e

k1 et donc (P|Tk ) = 0. Ainsi, k N , ak (P) = 0. Ensuite, par linarit

des coefficients de Fourier, pour k N ,

e = ak (f)
ak (f) e ak (P) e = ak (f]
e = ak (fe P) P).

b) Soit k N . Pour tout P Ek1 ,

Z  Z
e ] 1   1

|ak (f)| = |ak (f P)| =  (f P)(cos t) cos(kt) dt 6 |(f P)(cos t)|| cos(kt)| dt 6 2kf Pk .

1 e est un minorant de {kf Pk , P Vk1 } et puisque d(f, Vk1 ) est le plus grand de ces minorants, on a
Par suite, |ak (f)|
2
1 e 6 d(f, Vk1 ). Ainsi, k N , |ak (f)|
e 6 2d(f, Vk1 ). On en dduit que la suite (ak (f))
e kN est dcroissance
donc |ak (f)|
2
rapide.
+
X
c) Soit g la fonction dfinie sur [1, 1] par : x [1, 1], g(x) = e n (x).
an (f)F
n=0
e nN est dcroissance rapide, la question III.B permet daffirmer que g est dfinie sur [1, 1] et
Puisque la suite (an (f))
de classe C sur [1, 1].
+
X +
X
Pour tout rel , ge() = e n (cos ) =
an (f)F e cos(n), cette srie convergeant normalement vers g
an (f) e sur R (car
n=0 n=0  
par exemple R, |an (f)e cos(n)| 6 |an (f)| e = O 1 .
e avec an (f)
n + n2
On sait alors que lon obtient les coefficients de Fourier de g e par intgration terme terme ce qui fournit n N,
an (e e et n N , bn (e
g) = an (f) e Comme fe et g
g) = bn (f). e sont continues sur R, on en dduit que fe = ge. Mais alors
x [1, 1], f(x) = g(x) et donc f = g. Puisque g est de classe C sur [1, 1], il en est de mme de f.
On a montr que

f C([1, 1]), f est de classe C sur [1, 1] si et seulement si la suite (d(f, Vn ))nN est dcroissance rapide.

http ://www.maths-france.fr 9 c Jean-Louis Rouget, 2010. Tous droits rservs.