Vous êtes sur la page 1sur 4

2 avril 2012 16:58 Page 1/4

2
0
1
2 Mathmatiques 1
PC
4 heures Calculatrices autorises
Si n et k sont deux entiers naturels, on note
_
n
k
_
le nombre de parties k lments dun ensemble n lments.
I Approximation
I.A Quelques calculs prliminaires
Dans cette sous-partie, x est un nombre rel et n est un entier naturel.
I.A.1) Montrer que
n

k=0
_
n
k
_
x
k
(1 x)
nk
= 1.
I.A.2) Montrer que
n

k=0
k
_
n
k
_
x
k
(1 x)
nk
= nx.
I.A.3) Montrer que
n

k=0
k(k 1)
_
n
k
_
x
k
(1 x)
nk
= n(n 1)x
2
.
I.A.4) Dduire des questions prcdentes que
n

k=0
_
x
k
n
_
2
_
n
k
_
x
k
(1 x)
nk
=
x(1 x)
n
.
I.B tude de S(x)
Soit n N

et x [0, 1]. Le but de cette sous-partie est de majorer la somme


S(x) =
n

k=0

x
k
n

_
n
k
_
x
k
(1 x)
nk
.
I.B.1) Majoration de S(x) : premire mthode
On note
V lensemble des entiers k {0, . . . , n} tels que

x
k
n

n
,
W lensemble des entiers k {0, . . . , n} tels que

x
k
n

>
1

n
,
et on pose
S
V
(x) =

kV

x
k
n

_
n
k
_
x
k
(1 x)
nk
et S
W
(x) =

kW

x
k
n

_
n
k
_
x
k
(1 x)
nk
.
a) Montrer que S
V
(x)
1

n
.
b) Montrer que S
W
(x)
x(1 x)

n
.
c) En dduire que S(x)
5
4

n
.
I.B.2) Majoration de S(x) : seconde mthode
a) crire lingalit de Cauchy-Schwarz dans lespace R
n+1
muni de son produit scalaire canonique.
b) laide de la question I.A.4, en dduire que S(x)
1
2

n
.
2 avril 2012 16:58 Page 2/4
I.C Application lapproximation uniforme
Dans cette sous-partie, on note C lespace vectoriel des fonctions continues de [0, 1] dans R. On munit C de la
norme de la borne suprieure, note

:
f C, f

= sup
x[0,1]
|f(x)|.
Pour f C et n N

, on dnit le n-ime polynme de Bernstein de f, not B


n
(f), en posant, pour tout
x [0, 1]
B
n
(f)(x) =
n

k=0
f
_
k
n
_
_
n
k
_
x
k
(1 x)
nk
.
Le but de cette sous-partie est dtudier B
n
(f) f

lorsque f est un lment de C vriant une hypothse


additionnelle.
I.C.1) Un exemple
Si f(x) = x
2
pour tout x [0, 1], dterminer, pour tout n N

, le polynme B
n
(f) et en dduire la valeur de
B
n
(f) f

.
I.C.2) Soit f C. Montrer, pour tout x [0, 1], la relation
B
n
(f)(x) f(x) =
n

k=0
_
f
_
k
n
_
f(x)
_
_
n
k
_
x
k
(1 x)
nk
.
I.C.3) a) Montrer que si f est -lipschitzienne, alors B
n
(f) f

n
pour tout entier n 1.
b) En dduire que si f est de classe C
1
, alors il existe un rel c tel que, pour tout n N

, B
n
(f) f

n
.
c) tendre le rsultat prcdent au cas o f est une fonction continue, de classe C
1
par morceaux.
I.C.4) Soit f : [0, 1] R une fonction continue, C
1
par morceaux. Dduire de ce qui prcde que, pour tout
rel r > 0, il existe un polynme P coecients rels tel que x [0, 1], f(x) r P(x) f(x) +r.
II Un thorme de Hardy-Littlewood
Soit (a
n
)
n0
une suite relle. On suppose que la srie entire associe

a
n
x
n
admet pour rayon de convergence
R
a
= 1 et que la somme f de cette srie, dnie par
x ]1, 1[ f(x) =
+

n=0
a
n
x
n
vrie
f(x)
1
1 x
quand x 1, x < 1. (II.1)
On note
A
n
=
n

k=0
a
k
et a
n
=
A
n
n + 1
.
Ainsi, a
n
est la moyenne arithmtique des nombres a
0
, . . . , a
n
.
Le but de cette partie est dtudier le comportement des a
n
lorsque n tend vers linni. On sintresse en
particulier aux deux proprits suivantes :
lim
n
a
n
= 1 (II.2)
et
lim
n
a
n
= 1 (II.3)
II.A Lhypothse II.1 nentrane pas la proprit II.2
II.A.1) Dterminer une suite relle (b
n
)
n0
telle que
x ]1, 1[,
1
1 x
2
=
+

n=0
b
n
x
n
.
II.A.2) En dduire un exemple de suite (a
n
)
n0
vriant II.1 mais ne convergeant pas vers 1.
2 avril 2012 16:58 Page 3/4
II.B Lhypothse II.1 nentrane pas la proprit II.3
II.B.1) Donner le dveloppement en srie entire de la fonction t
1
(1 t)
2
ainsi que son rayon de conver-
gence. Prciser si la srie converge aux bornes de lintervalle de convergence.
II.B.2) On considre les fonctions : x
1
(1 x
2
)
2
et : x
1
(1 +x)
2
(1 x)
. Dterminer des suites
(u
n
)
nN
et (v
n
)
nN
telles que, pour tout x ]1, 1[,
(x) =
+

n=0
u
n
x
n
et (x) =
+

n=0
v
n
x
n
.
On explicitera en fonction de n, suivant la parit de n, les rels u
n
et v
n
.
II.B.3) Calculer v
n
(moyenne arithmtique des nombres v
0
, . . . , v
n
).
II.B.4) Construire laide de un exemple de suite (a
n
)
n0
vriant II.1 mais ne vriant pas la proprit II.3.
Jusqu la n de cette partie, on continue de supposer II.1 et on fait lhypothse supplmentaire :
n N, a
n
0. (II.4)
Lobjectif principal, aprs quelques observations concernant la suite (a
n
)
n0
, est de dmontrer la proprit II.3
(thorme de Hardy et Littlewood).
II.C Majoration de la suite (a
n
)
n0
II.C.1) Pour tout x [0, 1[ et tout n N, montrer que f(x) A
n
x
n
.
II.C.2) Montrer lexistence dun entier N > 0 tel que
n N, f(e
1/n
)
2
1 e
1/n
.
II.C.3) En dduire que la suite (a
n
)
n0
est majore.
II.D Minoration, partir dun certain rang, de (a
n
)
n0
par un rel > 0
On dsigne par > 0 un majorant de la suite (a
n
)
n0
: n N, a
n
.
II.D.1) a) Pour tout x ]1, 1[, montrer que (1 x)
+

k=0
A
k
x
k
= f(x).
b) En dduire que pour tout x [0, 1[ et tout N N

f(x)
1 x
A
N1
1 x
N
1 x
+
+

k=N
(k + 1)x
k
.
c) En dduire que pour tout x [0, 1[ et tout N N

f(x) A
N1
+
_
(N + 1)x
N
+
x
N+1
1 x
_
.
II.D.2) Soit un rel strictement positif.
a) Montrer quil existe un entier N
0
> 0 tel que pour tout N N
0
,
f(e
/N
)
1
2(1 e
/N
)

N
2
.
b) Montrer que pour tout N N
0
a
N1

1
2
e

_
1 +
1
N
+ e
/N
1
N(1 e
/N
)
_
.
c) Dterminer en fonction de la limite, quand N tend vers linni, du membre de droite dans lingalit
prcdente.
d) Montrer quil existe un rel > 0 tel que cette limite soit strictement positive.
II.D.3) Conclure quil existe un rel > 0 tel qu partir dun certain rang on ait a
n
.
2 avril 2012 16:58 Page 4/4
II.E Dmonstration de la proprit II.3, due Karamata
Soit g : [0, 1] R la fonction telle que g(x) = 1/x si x e
1
et g(x) = 0 sinon.
On xe un rel ]0, e
1
[. On dnit deux applications continues g
+
, g

: [0, 1] R ainsi :
g
+
est ane sur [e
1
, e
1
] et concide avec g sur [0, e
1
] [e
1
, 1] ;
g

est ane sur [e


1
, e
1
+] et concide avec g sur [0, e
1
[ [e
1
+, 1].
Pour tout entier N > 0 on pose x
N
= e
1/N
.
On rappelle que dans cette sous-partie, on fait les hypothses II.1 et II.4
II.E.1) Calculer
_
1
0
g
+
(t) dt et
_
1
0
g

(t) dt.
II.E.2) Soit P un polynme coecients rels. Montrer que
(1 x)
+

n=0
a
n
x
n
P(x
n
)
x1
x<1
_
1
0
P(t) dt.
On considrera dabord le cas particulier P(x) = x
k
, o k N.
II.E.3) tablir lexistence de deux polynmes P, Q coecients rels tels que :
x [0, 1], g

(x) P(x) g(x) Q(x) g


+
(x) +.
II.E.4) tablir lexistence dun entier N
1
> 0 tel que pour tout entier N N
1
,
(1 x
N
)
+

n=0
a
n
x
n
N
P(x
n
N
)
_
1
0
P(t) dt
et
(1 x
N
)
+

n=0
a
n
x
n
N
Q(x
n
N
)
_
1
0
Q(t) dt +.
II.E.5) Dduire des trois questions prcdentes que pour tout entier N N
1
1 5 (1 x
N
)A
N
1 + 5.
II.E.6) Conclure.
FIN