CONCOURS COMMUNS POLYTECHNIQUES - SESSION 2008 - FILIRE MP - MATH 1

AUTOUR DE LA FONCTION ZETA ALTERNE DE RIEMANN

I. Gnralits

X (1)n1
1
tend
vers
0
en
dcroissant
;
donc
la
srie
alterne
nx n1
nx
n1


X (1)n1
(1)n1
ne converge pas vers 0, donc la srie
diverge (grossiconverge ; si x 0, la suite
x
n
nx
n1

1. Soit x R ; si x > 0, alors la suite

n1

rement).
2. Comme |t| < 1, la srie gomtrique

(t)n converge et sa somme vaut

+
X

(t)k =

k=0

1
1
=
; donc
1 (t)
1+t

1
la suite (gn ) converge simplement vers la fonction g : t 7
sur [0, 1[.
1+t
La suite (gn ) converge simplement vers la fonction g sur [0, 1[ ;
la fonction g et les fonctions gn , n N sont continues
(par morceaux)
;


n+1
 1 (t)n+1 
2 def
1

(t)
=
condition de domination : t [0, 1[, |gn (t)| = 

= (t) ; la fonction

1+t
1+t
1+t
est indpendante de n, continue (mme sur [0, 1]) et intgrable sur [0, 1[.
Z 1 
Z 1
D'aprs le thorme de convergence domine, la suite
gn converge vers
g.
Z

n+1
X

n
X
(1)k

k1

0
1

i1
g = ln(1 + t) = ln 2.

(1)
=
; donc F (1) =
k
+
1
k
0
0
0
k=1
k=0


X 1
 (1)n1 
 1 . Comme la srie
est indpendante de n et convergente, la srie
3. n 1, x 2, 

x
2
n
n
n2
n1
X (1)n1
converge normalement sur [2, +[.
nx

Or,

gn =

n1

On en dduit qu'elle converge uniformment sur [2, +[. Comme, pour tout n 2,

(1)n1
0 et
x+
nx

(1)n1
= 1, le thorme de passage la limite terme terme permet d'armer que
nx
+
+
X (1)n1
X
(1)n1
F (x) =

lim
= 1.
x+
x+
nx
nx
n=1
n=1

que, pour n = 1,

4. Drivabilit de F

tx1 (1 x ln t)
ln t

0
est
de
classe
C
sur
]0,
+[
et
h
(t)
=
. Donc h0x
x
tx
t2x
est ngative sur l'intervalle [e1/x , +[ et positive sur ]0, e1/x ]. Donc hx est dcroissante sur [e1/x , +[ et
croissante sur ]0, e1/x ].




ln n
On en dduit que la suite
est dcroissante partir du rang E e1/x + 1.
x
n
n1

(a) Soit x > 0. La fonction hx : t 7

(b) fn : x 7 (1)n1 ex ln n est de classe C 1 et fn0 (x) = (1)n

ln n
.
nx

Soit a > 0. On pose Na = E e1/a + 1. Pour tout x a, la suite

donc la srie alterne

ln n
nx

tend vers 0 en dcroissant ;

nNa

fn0 (x) converge et, pour n Na , son reste d'ordre n, n (x), vrie :

nNa

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

.
|n (x)| (1)n+1
(n + 1)x 
(n + 1)a

Donc sup |n (x)|

xa

X
ln(n + 1)

0
.
Donc
la
srie
fn0 converge uniformment sur [a, +[.
(n + 1)a n+
n1

1/5

1
Pour tout
Xn 1, la fonction fn est de classe C sur ]0, +[ ;
la srie
fn converge simplement sur ]0, +[ et sa somme est F ;
n1

la srie

fn0 converge uniformment sur tout segment inclus dans ]0, +[.

n1

D'aprs le thorme de drivation terme terme, F est de classe C 1 sur ]0, +[ et

x > 0, F 0 (x) =

+
X

(1)n

n=1

ln n
.
nx

5. Lien avec
Pour x > 1, F (x) (x) =

+
+
+
X
X
(1)n1 1 X 2
1
1x
=
=
2
= 21x (x). On en dduit l'galit :
x
x
x
n
(2k)
k
n=1
k=1

k=1

F (x) = (1 21x )(x).

Comme 21x 0, F (x) (x) au voisinage de + et donc (x) 1.
x+

x+

II. Produit de Cauchy de la srie alterne par elle-mme

6. tude de la convergence
X (1)n1
X (1)n1
converge absolument ; donc la srie produit de
par ellex
n
nx
n1
n1
!2
+
X
(1)n1
= (F (x))2 .
mme converge absolument et sa somme vaut :
x
n
n=1

(a) Lorsque x > 1, la srie

(b) Pour x > 0, cn (x) = (1)n2

n1
X
k=1

n
1
. Comme k 7 k(n k) est maximum quand k = et que la
[k(n k)]x
2

somme comporte n 1 termes, |cn (x)| =

n1
X
k=1

1
1
(n 1)4x

(n

1)
=
.
[k(n k)]x
[(n/2)2 ]x
n2x

1 (n 1)4
a une limite strictement positive (nie ou non), donc la suite (cn (x)) ne converge
2
n2x X
pas vers 0. Donc la srie
cn (x) diverge grossirement.

Pour 0 < x ,

n2

7. Cas o x = 1
(a)

1
1
=
X(n X)
n
cn (1)


1
1
+
. Donc
X nX

(1)n2

n1
X
k=1

2(1)n2

1
n


n1
X 1
1
1
1
n2 1
= (1)
+
= (1)n2
k(n k)
n
k nk
n
k=1

n1
X
k=1

n1
X
k=1

n1

1 X 1
+
k
nk

k=1

Hn1
1
= 2(1)n2
.
k
n

(b) Monotonie
Hn1
Hn

n
n+1

Donc la suite

Hn1
n

1
n





1
Hn
1
1
1
Hn

= Hn

2
n
n+1
n n+1
n

1
1
1
n2
1+

= 2
0.
2 n(n + 1) n2
2n (n + 1)

est dcroissante.
n2

(c) "Classiquement", Hn ln n au voisinage de +. Donc la suite

et la srie alterne

cn (1) converge.

n2

2/5

Hn1
n

converge vers 0 en dcroissant

n2

III. Calcul de la somme d'une srie l'aide d'une tude de

au voisinage de

8. Dveloppement asymptotique en 1
(a) On pose h = x 1. Comme F est drivable en 1, au voisinage de 1, on a :
F (x) = F (1) + hF 0 (1) + o(h) = ln 2 + hF 0 (1) + o(h).

On a aussi : 1 21x = 1 eh ln 2 = h ln 2
(b) Dveloppement de
(x)

=
=

ln2 2 2
h + o(h2 ) au voisinage de x = 1.
2

ln 2 + hF 0 (1) + o(h)
1 ln 2 + hF 0 (1) + o(h)
=
2
ln 2
h ln 2
ln 2 2
h + o(h)
1
h ln 2
h + o(h2 )
2
2






1
ln 2
1
ln2 2
0
0
(ln 2 + hF (1) + o(h)) 1 +
h + o(h) =
ln 2 + h F (1) +
+ o(h)
h ln 2
2
h ln 2
2
 0

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

9. Dveloppement asymptotique en 1 (bis)

1
est dcroissante sur [n, n + 1] (qui est un intervalle de longueur 1), donc
x
t
Z n+1
1
1
dt
1
1
1.

1. x . On en dduit que : 0 vn (x) x

.
x
x
(n + 1)
t
n
n
(n + 1)x
n

 
n 
X
1
1
1
1

, la srie
(b) Pour x [1, 2], la suite
converge (vers 0) ; comme
= 1
nx n1
kx
(k + 1)x
(n + 1)x
k=1


X 1
X
1

converge.
De
l'encadrement
du
(a),
on
dduit
la
convergence
de
la
srie
vn (x).
nx
(n + 1)x
n1
n1
Z n+1
Z +
n
n
X
X
1
dt
dt
1
vk (x) =
(c) Pour x ]1, 2],

(x)

= (x)
.
x n+
x
kx
t
t
x

1
1
1

(a) Pour n 1 et x [1, 2], t 7

k=1

k=1

(d) La srie

+
X

vn converge simplement sur [1, 2]. On note Rn (x) =

n1

vk (x) le reste d'ordre n de la

k=n+1


+ 
X
1
1
1
1
1

=
lim x =
. Donc
k+ k
kx
(k + 1)x
(n + 1)x
(n + 1)x
k=n+1
X
0. Donc la srie
vn converge uniformment sur [1, 2].

srie. D'aprs (a), 0 Rn (x)

sup |Rn (x)|
x[1,2]

1
(n + 1)1

(e) Pour x ]1, 2], vn (x) =

n+

1
1

nx
1x

n1

1
nx1

1
(n + 1)x1

; vn (1) =

1
ln(n + 1) + ln n.
n

vn est continue, sauf peut-tre en 1.

1
1
En 1 : en posant h = x 1, x = + o(1) par continuit de l'exponentielle x 7 nx en 1 et
n
n




1
1
1
1
1 h ln n

=
e
eh ln(n+1) =
(1h ln n+o(h))(1h ln(n+1)+o(h) =
x1
x1
1x n
(n + 1)
h
h
1
ln(n + 1) ln n + o(1) ; donc vn (x) = + ln(n + 1) ln n + o(1). Donc vn est continue en 1.
n
X
On en dduit que la srie
vn est une srie de fonctions continues sur [1, 2]. La convergence uniforme sur
n1

[1, 2] entrane donc la continuit de sa somme sur [1, 2].

!
+
+
X
X
1
=
vn (x) =
vn (1) + o(1) = + o(1) au voisinage de 1+ . D'o
On en dduit que (x)
x1
n=1
n=1
1
(x) =
+ + o(1) au voisinage de 1+ .
x1

10. Application
Par unicit du dveloppement limit en 1+ (ventuellement en multipliant

par (x 1)), on dduit de 8.(b) et
F 0 (1) ln 2
ln
2
9.(e) les galits a = 1 et
+
= b = . D'o F 0 (1) = ln 2
.
ln 2

3/5



+
X
(1)n1 ln n
ln 2
0
D'aprs I.4.(b),
= F (1) = ln 2
.
n
2
n=1
IV. Calcul des

11.

B10

F (2k)

l'aide des nombres de Bernoulli

= 1.B0 = 1, donc il existe k R tel que B1 = X + k . Alors 0 =

(t + k) dt =

1
B1 = X .
2
B20

= 2B1 = 2X 1, donc il existe ` R tel que B2 = X X + `. Alors 0 =

2

(t2 t + `) dt =

1
1
` = et B2 = X2 X + .
6
6

12. Pour n 2, Bn (1) Bn (0) =

1
1
+ k . Donc k = et
2
2

Bn0 (t) dt = n

1 1
+ `. Donc
3 2

Bn1 (t) dt = 0 (car n 1 1).

13. Symtrie
On note An = (1)n Bn (1 X). On va montrer que (An ) est une suite de polynmes de Bernoulli. L'unicit
admise d'une telle suite donnera le rsultat attendu.
Les An sont des polynmes rels ;
A0 = B0 = 1 ;
n N , A0n = (1)n (1)Bn0 (1 X) = (1)n1 nBn1 (1 X) = nAn1 ;
Z
Z
Z
1

n N ,

An (t) dt = (1)n

Bn (1 t) dt

u=1t

(1)n

Bn (u) du = 0.

14. Dveloppement en srie de Fourier

Soit k un entier naturel. La restriction de gk [0, 2[ est continue. Comme B2k (0) = B2k (1) (mme pour k = 0)
et que B2k est continue, gk (x)
B2k (1) = B2k (0) = gk (2). On en dduit que gk est continue en 2 et,
x2
par priodicit, sur R.
x
, donc gk est de classe C 1 par
De plus, la restriction de gk [0, 2] est l'application de classe C 1 : x 7 B2k
2
morceaux.
D'aprs le thorme de convergence normale, la srie de Fourier de gk converge normalement sur R et sa somme
est gk . Il reste montrer que la fonction gk est paire pour obtenir l'existence d'une suite de rels (an (k))n0
+

a0 (k) X
+
an (k) cos(nx).
2
n=1



x
2 x
x  13.
2x[0,2]
x [0, ], gk (x) = gk (2 x)
=
B2k
= B2k 1
= B2k
2
2
2
priodicit, la fonction gk est paire.

telle que, pour tout rel x, on ait : gk (x) =

x[0,2]

gk (x). Par

L'unicit est hors de porte d'un taupin.

15. Expression des coecients

(a) Relation de rcurrence
Z

an (k)

=
I.P.P.

I.P.P.

=
=
1
(b) an (0) =

x
cos(nx) dx
2
0
0
x
0

Z 2
 x  sin(nx) 2 Z 2 B2k
x
sin(nx)
k
2
B2k

dx =
B2k1
sin(nx) dx
2
n
2
n
n 0
2
0
0
x

Z 2 B 0
 x  cos(nx) 2
2k1
k
k
2 cos(nx) dx
B2k1

n
2
n
n
2
n
0
0
Z 2



k
k(2k 1)
x
B
(1)

B
(0)

B
cos(nx) dx
2k1
2k1
2k2
n2
2n2 2
2
0
 (2k)(2k 1)
k 
B
(1)

B
(0)

.an (k 1)
2k1
2k1
n2
(2n)2
gk (x) cos(nx) dx =

B2k

cos(nx) dx = 0 car n 1.

1 
2
1
Donc an (1) =
B
(1)

B
(0)

.an (0) =
.
1
1
(n)2
(2n)2
(n)2
0

4/5

(2k)(2k 1)
an (k 1). Donc
(2n)2

 



(2k)!
(2k 2)(2k 3)
(4)(3)
(2k)(2k 1)
.
.....
an (1) = (1)k1
an (k) =

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

(c) Pour k 2, la formule du (a) devient an (k) =

16. Conclusion
En appliquant l'galit de la question 14. pour x = 0, on obtient
+
(2k)!
(2k)!
a0 (k) X
a0 (k)
+
(1)k1 2k1
=
+ (1)k1 2k1 2k (2k).
2k
2
2
(n)
2
2
()
n=1
Z 2
Z 2
Z 1


1
x
1
dx = 2
gk (x) dx =
B2k
B2k (t) dt = 0 pour k 1.
Or a0 (k) =
0
0
2
0
(2k)!
Finalement b2k = (1)k1 2k1 2k (2k).
2
()
17. Calcul eectif des bn

b2k = gk (0) =

(a) Par rcurrence, on vrie que Bn est de degr n.

D'aprs la formule de Taylor pour les polynmes, Bn (X) =

n
(k)
X
Bn (0)
k=0

k!

Xk .

n!
= n(n 1) . . . (n k + 1)Bnk =
Bnk .
(n k)!
n  
n
X
n!Bnk (0) k X n
bnk Xk .
X =
Donc Bn (X) =
k
(n k)!k!
k=0
k=0
n  
n  
X
X
n
n
bnk = 0.
bnk , donc
(b) Pour n 2, bn = Bn (0) = Bn (1) =
k
k
k=1
k=0
n  
n2  
1X n
1X n
On en dduit : bn1 =
bnk =
bk .
k
k
n
n
k=2
k=0

n1 
1 X n+1
bk .
Finalement, pour tout n 1 : bn =
k
n+1

Par rcurrence, pour tout k [[0, n]],

(k)
Bn

Programme Maple de calcul du coefficient b

k=0

bernoulli :=proc(p)
local bern,n,binome ;
if p=0 then 1
else
binome :=[1,1,seq(0,i=1..p)] ;
bern[0] :=1 ;
for n from 1 to p do
for i from n+1 downto 1 do binome[i] :=binome[i-1]+binome[i] od ;
bern[n] :=-sum(binome[i]*bern[i],i=0..n-1)/(n+1) ;
od ;
;
bern(p) ;
end ;
La variable bern reprsente une liste indexe de 0 p contenant les nombres de Bernoulli
et binome une liste


indexe de 0 p + 1 contenant, au dbut de l'tape n, les coecients du binme

pas : il conviendrait de dcaler les indices d'une unit pour tester le programme.
Fin du corrig

5/5

n2
. De telles listes n'existent
k