SESSION 2008

CONCOURS COMMUN POLYTECHNIQUE (ENSI)

FILIERE MP
MATHEMATIQUES 1
I. Gnralits
1. Soit x R. Tout dabord, pour chaque n N

,
(1)
n1
n
x
existe. Ensuite,
Si x 0,
(1)
n1
n
x
ne tend pas vers 0 quand n tend vers +. On en dduit que la srie de terme gnral
(1)
n1
n
x
est
grossirement divergente. Dans ce cas, F(x) nexiste pas.
Si x > 0, la suite
_
(1)
n1
n
x
_
est alterne en signe et sa valeur absolue, savoir
1
n
x
, tend vers 0 en dcroissant. On en
dduit que la srie de terme gnral
(1)
n1
n
x
converge en vertu du critre spcial aux sries alternes et donc que F(x)
existe.
F est dnie sur ]0, +[.
2. Soit t [0, 1[. Pour n N

, g
n
(t) =
n

k=0
(t)
k
=
1 (t)
n+1
1 (t)
=
1
1 +t

(t)
n+1
1 + t
(car t = 1).
Puisque | t| < 1, g
n
(t) tend vers
1
1 +t
quand n tend vers +.
La suite de fonctions (g
n
)
nN
converge simplement sur [0, 1[ vers la fonction g : t
1
1 +t
.
Chaque fonction g
n
est continue et intgrable sur [0, 1] et pour n N

1
0
g
n
(t) dt =
n

k=0
(1)
k

1
0
t
k
dt =
n

k=0
(1)
k
k +1
=
n+1

k=1
(1)
k1
k
.
La suite de fonctions (g
n
)
nN
converge simplement sur [0, 1] vers la fonction g qui est continue sur [0, 1].
Soient t [0, 1] et n N.
|g
n
(t)| =

1 (t)
n+1
1 +t

1 + |(t)
n+1
|
1 + t

2
1 +t
= (t),
o la fonction est continue sur le segment [0, 1] et donc intgrable sur ce segment.
Daprs le thorme de convergence domine, la suite
_

1
0
g
n
(t) dt
_
nN
converge et
lim
n+

1
0
g
n
(t) dt =

1
0
_
lim
n+
g
n
(t)
_
dt =

1
0
1
1 +t
dt = ln 2.
Maintenant, pour n N

1
0
g
n
(t) dt =
n+1

k=1
(1)
k1
k
et donc
lim
n+

1
0
g
n
(t) dt =
+

k=1
1)
k1
k
= F(1),
et donc
F(1) =

1
0
g(t) dt = ln 2.
http ://www.maths-france.fr 1 c Jean-Louis Rouget, 2008. Tous droits rservs.
3. Soit n N

. Pour x > 0, posons f

n
(x) =
(1)
n1
n
x
.
Pour x 2, on a |f
n
(x)| =
1
n
x
=
1
n
2
et donc sup{|f
n
(x)|, x [2, +[}
1
n
2
. Comme la srie numrique de terme gnral
1
n
2
, n 1, converge, la srie de fonctions de terme gnral f
n
, n 1, converge normalement vers F sur [2, +[.
La srie de fonctions de terme gnral x
(1)
n1
n
x
, n 1, converge normalement sur [2, +[.
La srie de fonctions de terme gnral f
n
, n 1, converge normalement et donc uniformment vers F sur [2, +[. De
plus, chaque fonction f
n
, n 1, a une limite relle
n
quand x tend vers + savoir
n
=

1 si n = 1
0 si n 2
.
Le thorme dinterversion des limites permet alors darmer que
La srie numrique de terme gnral
n
, n 1, converge ;
F a une limite relle quand x tend vers +;
lim
x+
F(x) =
+

n=1

n
= 1 +0 +. . . = 1.
lim
x+
F(x) = 1.
4. Drivabilit de F.
(a) Soit x > 0. la fonction u : t
ln t
t
x
est drivable sur ]0, +[ et pour t > 0,
u

(t) =
1
t

1
t
x
+ ln t
x
t
x+1
=
1 x ln t
t
x+1
.
u

(t) est du signe de 1 x lnt sur ]0, +[ et donc la fonction u est strictement croissante sur ]0, e
1/x
] et strictement
dcroissante sur [e
1/x
, +[. Mais alors, pour n n
0
= E(e
1/x
) +1, on a u(n) u(n + 1) et donc
x > 0, la suite
_
ln n
n
x
_
n1
dcrot partir du rang n
0
= E(e
1/x
) +1.
(b) Soit a > 0. Chaque fonction f
n
est de classe C
1
sur [a, +[ et pour x a, f

n
(x) = (1)
n
ln n
n
x
.
Soit x a. La suite numrique (f

n
(x)) est alterne en signe, tend vers 0 quand n tend vers + et la question (a) montre
que la suite (|f

n
(x)|) dcrot partir du rang E(e
1/x
) + 1. Ainsi, la srie numrique de terme gnral f

n
(x) converge en
vertu du critre spcial aux sries alternes ou encore la srie de fonctions de terme gnral f

n
converge simplement sur
[a, +[.
Soit n E(e
1/a
) + 1 = n
0
. Pour x a, on a E(e
1/x
) +1 E(e
1/a
) +1 et donc n E(e
1/x
) + 1. La question (a) montre
alors que la suite
_
ln n
n
x
_
nn
0
est dcroissante. Mais alors, daprs une majoration classique du reste lordre n dune
srie alterne

k=n+1
(1)
n
ln k
k
x

(1)
n+1
ln(n +1)
(n +1)
x

=
ln(n + 1)
(n +1)
x

ln(n +1)
(n +1)
a
,
et donc, pour n E(e
1/a
)+1, sup

k=n+1
f

n
(x)

, x [a, +[

ln(n +1)
(n +1)
a
. Comme lim
n+
ln(n +1)
(n + 1)
a
= 0, on a montr
que la srie de fonctions de terme gnral f

n
converge uniformment sur [a, +[.
En rsum,
La srie de fonctions de terme gnral f
n
, n 1, converge simplement vers F sur [a, +[ ;
chaque fonction f
n
est de classe C
1
sur [a, +[ ;
la srie de fonctions de terme gnral f

n
converge uniformment sur [a, +[.
http ://www.maths-france.fr 2 c Jean-Louis Rouget, 2008. Tous droits rservs.
Daprs une thorme de drivation terme terme, F est de classe C
1
sur [a, +[ et F

=
+

n=1
f

n
. Ce rsultat tant valable
pour tout rel a > 0, on a montr que
F est de classe C
1
sur ]0, +[ et x > 0, F

(x) =
+

n=1
(1)
n
ln n
n
x
.
5. Lien avec . Soit x > 1. Dj, (x) est dni.
Ensuite, si n est un entier impair, (1)
n1
1 = 0 et si n est un entier pair, (1)
n1
1 = 2 et donc
F(x) (x) =
+

n=1
(1)
n1
1
n
x
=
+

p=1
2
(2p)
x
= 2
1x
+

p=1
1
p
x
= 2
1x
(x),
et donc, F(x) = (1 2
1x
)(x).
x ]1, +[, F(x) = (1 2
1x
)(x).
lim
x+
2
1x
= 0 et donc lim
x+
(x) = lim
x+
F(x)
1 2
1x
=
1
1 0
= 1.
lim
x+
(x) = 1.
II. Produit de Cauchy de la srie alterne par elle-mme
6. tude de la convergence
(a) Soit x > 1. La srie numrique de terme gnral
1
n
x
est convergente ou encore la srie de terme gnral a
n
(x) =
(1)
n1
n
x
est absolument convergente. On sait alors que la srie produit de Cauchy de la srie de terme gnral a
n
(x)
par elle-mme est convergente et a pour somme
_
+

n=1
a
n
(x)
_
2
ou encore (F(x))
2
.
x > 1,

n2
c
n
(x) converge et
+

n=2
c
n
(x) = (F(x))
2
.
(b) Soit x > 0. Pour n N, posons a
n
(x) =

0 si n = 0
(1)
n1
n
x
si n 1
.
Dj c
0
(x) = a
0
(x)
2
= 0 et c
1
(x) = a
0
(x)a
1
(x) +a
1
(x)a
0
(x) = 0. Ensuite pour n 2,
c
n
(x) =
n

k=0
a
k
(x)a
nk
(x) =
n1

k=1
(1)
k1
k
x
(1)
nk1
(n k)
x
= (1)
n
n1

k=1
1
(k(n k))
x
.
Maintenant, pour k 1, n 1, k(n k) = k
2
+kn =
_
k
n
2
_
2
+
n
2
4

n
2
4
et donc
|c
n
(x)| =
n1

k=1
1
(k(n k))
x

n1

k=1
1
(n
2
/4)
x
=
4
x
(n 1)
n
2x
.
x > 0, n 2, |c
n
(x)|
4
x
(n 1)
n
2x
.
http ://www.maths-france.fr 3 c Jean-Louis Rouget, 2008. Tous droits rservs.
Si de plus x ]0,
1
2
], pour n 2 on a
|c
n
(x)|
4
x
(n 1)
n
2x

4
x
(n/2)
n
2x
= 2
2x1
n
12x
2
2x1
2
12x
= 1 car 1 2x 0.
Mais alors, c
n
(x) ne tend pas vers 0 quand n tend vers +et la srie numrique de terme gnral c
n
(x) est grossirement
divergente.
Si 0 < x
1
2
, la srie

n2
c
n
(x) est grossirement divergente.
7. Cas o x = 1
(a) Soit n 2.
1
X(n X)
=
1
n
n X +X
X(n X)
=
1
n
_
1
X
+
1
n X
_
. Puis
c
n
(1) = (1)
n
n1

k=1
1
k(n k)
=
(1)
n
n
n1

k=1
_
1
k
+
1
n k
_
=
2(1)
n
n
n1

k=1
1
k
=
2(1)
n
H
n1
n
.
n 2, c
n
(1) =
2(1)
n
H
n1
n
.
(b) Soit n 2.
H
n1
n

H
n
n + 1
=
1
n(n +1)
_
(n + 1)
n1

k=1
1
k
n
n

k=1
1
k
_
=
1
n(n +1)
__
n1

k=1
1
k
_
1
_

1
n(n +1)
(1 1) = 0,
et donc
la suite
_
H
n1
n
_
n2
est dcroissante.
(c) Pour n 2, on a H
n1
=
n1

k=1
1
k
1 +
n1

k=2

k
k1
1
t
dt = 1 +

n
1
1
t
dt = 1 + ln n. Par suite, pour n 2
|c
n
(1)|
2(1 + ln n)
n
.
On en dduit que la suite |c
n
(1)| tend vers 0 quand n tend vers +. En rsum, la suite (c
n
(1))
n2
est de signe altern
et sa valeur absolue tend vers 0 en dcroissant (daprs (b)). Daprs le critre spcial aux sries alternes,
la srie

n2
c
n
(1) converge.
III. Calcul de la somme dune srie laide dune tude de zeta au voisinage de 1
8. Dveloppement asymptotique en 1
(a) Daprs la question 4.(b), F est de classe C
1
sur ]0, +[. En particulier, F est drivable en 1 et admet donc un
dveloppement limit dordre 1 en 1 :
F(x) =
x1
F(1) +F

(1)(x 1) +o(x 1) = ln 2 + F

(1)(x 1) +o(x 1) (daprs 2.).

On a aussi
1 2
1x
= 1 e
ln2(x1)
= 1 1 + ln 2(x 1)
ln
2
2
(x 1)
2
+o((x 1)
2
) = ln 2(x 1)
ln
2
2
2
(x 1)
2
+o((x 1)
2
).
http ://www.maths-france.fr 4 c Jean-Louis Rouget, 2008. Tous droits rservs.
(b) Mais alors quand x tend vers 1 par valeurs suprieures,
(x) =
F(x)
1 2
1x
=
ln 2 +F

(1)(x 1) +o(x 1)
ln 2(x 1)
ln
2
2
2
(x 1)
2
+ o((x 1)
2
)
=
1
x 1

1 + (F

(1)/ ln 2)(x 1) +o(x 1)

1
ln 2
2
(x 1) + o(x 1)
=
1
x 1
_
1 +
F

(1)
ln 2
(x 1) +o(x 1)
__
1 +
ln 2
2
(x 1) + o(x 1)
_
=
1
x 1
_
1 +
_
F

(1)
ln 2
+
ln 2
2
_
(x 1) +o(x 1)
_
=
1
x 1
+
_
F

(1)
ln 2
+
ln 2
2
_
+o(1).
(x) =
x1
+
1
x 1
+
_
F

(1)
ln 2
+
ln 2
2
_
+o(1).
9. Dveloppement asymptotique en 1 (bis)
(a) Soient n N

et x [1, 2].
La fonction t
1
t
x
est dcroissante sur [n, n + 1] et donc (n + 1 n)
1
(n +1)
x

n+1
n
1
t
x
dt (n + 1 n)
1
n
x
puis
0
1
n
x

n+1
n
1
t
x
dt
1
n
x

1
(n +1)
x
.
n N

, x [1, 2], 0 v
n
(x)
1
n
x

1
(n + 1)
x
.
(b) Soit x [1, 2]. La srie de terme gnral
1
n
x

1
(n +1)
x
est de mme nature que la suite de terme gnral
1
n
x
(sries
tlescopiques) cest--dire convergente. La question (a) permet alors darmer que dsumn 1v
n
(x) converge.
x [1, 2],

n1
v
n
(x) converge.
(c) Soit x ]1, 2]. Pour n N

,
n

k=1
v
k
(x) =
n

k=1
1
k
x

n+1
1
1
t
x
dt =
n

k=1
1
k
x
+
1
x 1
_
1
t
x1
_
n+1
1
=
n

k=1
1
k
x
+
1
x 1
_
1
(n + 1)
x1
1
_
,
et quand n tend vers +, on obtient
+

n=1
v
n
(x) = (x)
1
x 1
.
x ]1, 2],
+

n=1
v
n
(x) = (x)
1
x 1
.
(d) Soit n N

. Daprs (a), pour x [1, 2], on a

0
+

k=n+1
v
k
(x)
+

k=n+1
_
1
k
x

1
(k +1)
x
_
=
1
(n +1)
x
(srie tlescopique)

1
n +1
,
http ://www.maths-france.fr 5 c Jean-Louis Rouget, 2008. Tous droits rservs.
et donc sup

k=n+1
v
k
(x)

, x [1, 2]

1
n + 1
. Comme
1
n +1
tend vers 0 quand n tend vers +, on a montr que
la suite des restes de la srie de fonctions de terme gnral v
n
converge uniformment vers la fonction nulle sur [1, 2] ou
encore
la srie de fonctions de terme gnral v
n
, n 1, converge uniformment sur [1, 2].
(e) Montrons tout dabord que chaque fonction v
n
est continue sur [1, 2].
Soit n N

. Pour x [1, 2], on a

v
n
(x) =

1
n
ln(n +1) + ln n si x = 1
1
n
x
+
1
x 1
_
1
(n +1)
x1

1
n
x1
_
si x ]1, 2]
.
Dj la fonction v
n
est continue sur ]1, 2] et quand x tend vers 1,
v
n
(x) =
1
n
x
+
1
x 1
_
1
(n +1)
x1

1
n
x1
_
=
1
n
x
+
e
(x1) ln(n+1)
e
(x1) ln(n)
x 1
=
1
n
x
+
(1 (x 1) ln(n +1)) (1 (x 1) ln(n)) + o(x 1)
x 1
=
1
n
(ln(n +1) ln(n)) +o(1)
= v
n
(1) +o(1).
Ainsi, chaque v
n
est continue sur [1, 2] et puisque la srie de fonctions de terme gnral v
n
converge uniformment sur
[1, 2], la somme
+

n=1
v
n
est une fonction continue sur [1, 2] et en particulier en 1.
On dduit alors de la question (c) que
lim
x1
+
_
(x)
1
x 1
_
= lim
x1
+
+

n=1
v
n
(x) =
+

n=1
v
n
(1) = ,
et donc que
(x) =
x1
+
1
x 1
+ +o(1).
10. Application En comparant les dveloppements obtenus en 8. et 9., on obtient
F

(1)
ln 2
+
ln 2
2
= et donc F

(1) =
ln 2
ln
2
2
2
. Mais on a vu que pour x > 0, F

(x) =
+

n=1
(1)
n
ln n
n
x
et donc
+

n=1
(1)
n1
ln n
n
= F

(1) =
ln
2
2
2
ln2.
+

n=1
(1)
n1
ln n
n
=
ln 2(ln 2 2)
2
.
IV. Calcul des F(2k) laide des polynmes de Bernoulli
11. B

1
= B
0
= 1 et donc B
1
= X +b
1
avec
0 =

1
0
B
1
(t) dt =
1
2
+b
1
.
Donc B
1
= X
1
2
. Ensuite, B

2
= 2B
1
= 2X 1 et doncB
2
= X
2
X +b
2
avec
0 =

1
0
B
2
(t) dt =
1
3

1
2
+ b
2
,
et donc b
2
=
1
6
puis B
2
= X
2
X +
1
6
.
B
1
= X
1
2
et B
2
= X
2
X +
1
6
.
http ://www.maths-france.fr 6 c Jean-Louis Rouget, 2008. Tous droits rservs.
12. Soit n 2.
B
n
(1) B
n
(0) =

1
0
B

n
(t) dt = n

1
0
B
n1
(t) dt = 0 car n 1 1.
n 2, B
n
(0) = B
n
(1).
13. Symtrie Pour n N, posons P
n
= (1)
n
B
n
(1 X). On a dj P
0
= 1 = B
0
. Ensuite, pour n N

,
P

n
(X) = (1)
n
B

n
(1 X) = (1)
n1
nB
n1
(X) = nP
n1
(X),
et dautre part en posant u = 1 t,

1
0
P
n
(t) dt = (1)
n

1
0
B
n
(1 t) dt = (1)
n

0
1
B
n
(u) du = (1)
n

1
0
B
n
(u) du = 0.
Par unicit de la suite des polynmes de Bernoulli, on en dduit que
n N, B
n
(1 X) = (1)
n
B
n
(X).
14. Dveloppement en srie de Fourier
Soit k N. Dj, g
k
est 2-priodique, de classe C
1
par morceaux et daprs le thorme de Dirichlet, la srie de
Fourier de g
k
converge en tout rel x vers
g(x
+
) +g(x

)
2
.
Vrions que g
k
est continue sur R. Par 2-priodicit, il sut de vrier que g
k
est continue gauche en 2. Or, daprs
12., si k 1, B
2k
(1) = B
2k
(0), ce qui reste vrai quand k = 0. Par suite,
g
k
(2) = g
k
(0) = B
2k
(0) = B
2k
(1) = lim
x2

B
2k
_
x
2
_
= g
k
(2

).
Ainsi, g
k
est continue gauche en 2 et donc sur R par 2-priodicit. Ceci montre que la srie de Fourier de g
k
a pour
somme g
k
sur R.
Vrions que g
k
est paire. Par 2-priodicit, il sut de vrier que g
k
(x) = g
k
(x) pour x ]0, 2[. Soit donc x ]0, 2[.
Daprs la question 13., on a
g
k
(x) = g
k
(x + 2) = B
2k
_
1
x
2
_
= (1)
2k
B
2k
_
x
2
_
= g
k
(x),
ce qui montre que g
k
est paire. En notant a
n
(k) et b
n
(k) les coecients de Fourier de g
k
, on en dduit que n N

,
b
n
(k) = 0 et donc que
x R, g
k
(x) =
a
0
(k)
2
+
+

n=1
a
n
(k) cos(nx).
15. Expression des coecients
(a) Pour n N

et k N

, une double intgration par parties fournit

a
n
(k) =
1

2
0
B
2k
_
x
2
_
cos(nx) dx = 2

1
0
B
2k
(u) cos(2nu) du = 2
_
_
B
2k
(u)
sin(2nu)
2n
_
1
0

1
0
B

2k
(u)
sin(2nu)
2n
du
_
= 2
_

k
n

1
0
B
2k1
(u) sin(2nu) du
_
= 2
_
k
n
_
B
2k1
(u)
cos(2nu)
2n
_
1
0

k
n

1
0
(2k 1)B
2k1
(u)
cos(2nu)
2n
du
_
=
k
(n)
2
(B
2k1
(1) B
2k1
(0))
(2k)(2k 1)
(2n)
2
2

1
0
B
2k1
(u) cos(2nu) du
=
k
(n)
2
(B
2k1
(1) B
2k1
(0))
(2k)(2k 1)
(2n)
2
a
n
(k 1).
http ://www.maths-france.fr 7 c Jean-Louis Rouget, 2008. Tous droits rservs.
n N

, k N

, a
n
(k) =
k
(n)
2
(B
2k1
(1) B
2k1
(0))
(2k)(2k 1)
(2n)
2
a
n
(k 1).
(b) On a vu que B
1
= X
1
2
et donc pour k = 1 et n N

, on obtient
a
n
(1) =
1
(n)
2
(B
1
(1) B
1
(0))
2
(2n)
2
a
n
(0) =
1
(n)
2

2
(2n)
2
1

2
0
cos(nx) dt =
1
(n)
2
.
n N

, a
n
(1) =
1
(n)
2
.
(c) Soit k 2. Daprs les questions 12. et 13, puisque 2k 1 2, on a B
2k1
(0) = B
2k1
(1) = B
2k1
(0) et donc
B
2k1
(0) = B
2k1
(1) = 0. La relation de la question (a) scrit donc pour n N

, a
n
(k) =
(2k)(2k 1)
(2n)
2
a
n
(k 1). Par
suite,
a
n
(k) =
(2k)(2k 1)
(2n)
2

(2k 2)(2k 3)
(2n)
2
. . .
(4)(3)
(2n)
2
a
n
(1) =
(1)
k1
(2k)!/2
(2n)
2(k1)
1
(n)
2
=
(1)
k1
(2k)!
2
2k1
(n)
2k
.
n N

, k N

, a
n
(k) =
(1)
k1
(2k)!
2
2k1
(n)
2k
.
16. Conclusion Pour k N

, on a aussi
a
0
(k) =
1

2
0
B
2k
_
x
2
_
dx = 2

1
0
B
2k
(u) du = 0.
Daprs la question 14., pour k N

on a alors
b
2k
= g
k
(0) =
+

n=1
a
n
(k) =
+

n=1
(1)
k1
(2k)!
2
2k1
(n)
2k
=
(1)
k1
(2k)!
2
2k1

2k
+

n=1
1
n
2k
=
(1)
k1
(2k)!
2
2k1

2k
(2k),
et donc
k N

, (2k) = (1)
k1
2
2k1

2k
b
2k
(2k)!.
17. Calcul eectif des b
n
(a) Soit n N. Daprs la formule de Taylor
B
n
(X) =
n

k=0
B
(k)
n
(0)
k!
X
k
=
n

k=0
(n!/(n k)!)B
nk
(0)
k!
X
k
=
n

k=0
_
n
k
_
b
nk
X
k
.
n N, B
n
(X) =
n

k=0
_
n
k
_
b
nk
X
k
.
(b) Soit n N

. En intgrant lgalit prcdente sur [0, 1], on obtient

0 =

1
0
B
n
(t) dt =
n

k=0
_
n
k
_
b
nk
k +1
,
et donc
b
0
= 1 et n N

, b
n
=
n

k=1
_
n
k
_
b
nk
k + 1
.
http ://www.maths-france.fr 8 c Jean-Louis Rouget, 2008. Tous droits rservs.
Algorithme en MAPLE.
restart ;
bn:=proc(n)
local j, k, B, S;
B[0]:=1;
if n>0 then
for j from 1 to n do
S :=0;
for k from 1 to j do
S :=S-binomial(j,k)*B[j-k]/(k+1)
od ;
B[j]: =S
od;
print(B[n])
else print(B[0])
fi
end ;
http ://www.maths-france.fr 9 c Jean-Louis Rouget, 2008. Tous droits rservs.