Corrig du problme: autour de la fonction

zeta alterne de Riemann

I Gnralits
1. Pour x > 0, la suite
_
(1)
n
n
x
_
dcrot vers 0, donc la srie

n1
(1)
n1
n
x
converge par le critre
spcial des sries alternes.
Pour x 0,
(1)
n1
n
x
ne tend pas vers 0, ce qui montre la divergence grossire de la srie.
Finalement, F est dnie sur ]0, +[.
2. Pour t [0, 1[, g
n
(t) =
1(t)
n+1
1+t
qui tend vers
1
1+t
lorsque n tend vers +. Pour tout n, g
n
est
continue sur [0, 1[ et est domine par la fonction constante gale 2 donc intgrable sur [0, 1[. Le
thorme de convergence domine permet alors dcrire
_
1
0
g(t) dt = lim
n+
_
1
0
g
n
(t) dt
_
1
0
1
1 + t
dt = lim
n+
n

k=0
(1)
k
k + 1
ln 2 = F(1).
3. Pour x 2,

(1)
n1
n
x

1
n
2
, terme gnral dune srie de Riemann convergente. La srie

n1
(1)
n1
n
x
converge donc normalement sur [2, +[, et donc uniformment sur [2, +[. Le thorme de la
double limite sapplique, comme F(x) = 1 +

+
n=2
(1)
n1
n
x
et que pour tout n 2, lim
x+
1
n
x
= 0,
on obtient que F a pour limite 1 en +.
4. (a) On xe x > 0 et on dnit sur [1, +[, : u
ln u
u
x
. La fonction est drivable et

(u) =
(1 xln u)
u
x+1
Cette drive est ngative ou nulle pour u e
1/x
, ce qui prouve que la suite
_
ln n
n
x
_
est
dcroissante partir du rang E
_
e
1/x
_
+ 1.
(b) Soit a > 0. Pour tout n, la fontion f
n
: x
(1)
n1
n
x
est de classe C
1
sur [a, +[ et a pour
drive x
(1)
n
ln n
n
x
.
Comme la suite
_
ln n
n
x
_
dcrot partir dun certain rang et est de limite nulle (croissance com-
pare), la srie

n1
(1)
n
ln n
n
x
vrie le critre spcial pour les sries alternes, en particulier
son reste de rang n vrie pour x [a, +[ et pour n E
_
e
1/a
_
+ 1,

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

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

ln(n + 1)
(n + 1)
a
.
1
Ce dernier terme tend vers 0 lorsque n tend vers +, ce qui prouve la convergence uniforme
de la srie des drives

n1
(1)
n
ln n
n
x
sur [a, +[. Puisque de plus

n
f
n
converge simple-
ment sur [a, +[ ;on a que F est de classe C
1
sur [a, +[, et ce pour tout a > 0, ce qui
permet de conclure.
5. Lien avec
Soit x > 1.
F(x) (x) =
+

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

k=1
2
(2k)
x
= 2
1x
(x)
On en dduit bien que F(x) = (x)(1 2
1x
).
Quand x tend vers +, 2
1x
= e
(1x) ln 2
tend vers 0, donc
F(x)
12
1x
= (x) a la mme limite que F,
cest dire 1.
II Produit de Cauchy de la srie alterne par elle-mme
6. tude de la convergence
(a) Pour x > 1,

n1
(1)
n
n
x
est absolument convergente, comme le produit de deux sries absolu-
ment convergentes est absolument convergent, la srie

n2
c
n
(x) est absolument convergente
(donc convergente). On a de plus
+

n=2
c
n
(x) = (F(x))
2
.
(b) On a
c
n
=
n1

k=1
(1)
k
k
x
(1)
nk
(n k)
x
= (1)
n
n1

k=1
1
(k(n k))
x
.
Comme la fonction trinme k k(n k) a pour maximum
n
2
4
atteint en k =
n
2
, on a
|c
n
(x)|
n1

k=1
1
(n
2
/4)
x
=
4
x
(n 1)
n
2x
.
Pour n au voisinage de +, on a
n1
n
2x

1
n
2x1
. En particulier pour 0 < x
1
2
,
4
x
(n1)
n
2x
ne
tend pas vers 0, ce qui empche |c
n
(x)| de tendre vers 0 et donc prouve la divergence grossire
de

n2
c
n
(x).
7. Dsormais on suppose que x = 1.
(a) On a
1
X(n X)
=
1
n
_
1
X
+
1
n X
_
. Ainsi
c
n
(x) =
(1)
n
n
n1

k=1
_
1
k
+
1
n k
_
=
2(1)
n
H
n1
n
.
2
(b) Posons t
n
=
H
n1
n
pour n 2. On a
t
n+1
t
n
=
nH
n
(n + 1)H
n1
n(n + 1)
=
1 H
n1
n(n + 1)
0,
ce qui prouve la dcroissance de (t
n
).
(c) On sait que H
n
ln n, on en dduit que
2H
n1
n

2 ln(n1)
n
qui tend vers 0 par croissance
compare.
Comme on vient de voir que
_
2H
n1
n
_
est en plus dcroissante, la srie

n2
c
n
(x) est conver-
gente par le critre spcial des sries alternes.
III. Calcul de la somme dune srie laide dune tude de zeta au voisinage de 1.
8. Dveloppement asymptotique en 1
(a) Puisque F est drivable en 1, on a pour x au voisinage de 1 :
F(x) = F(1) + (x 1)F

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

(1) + o(x 1).

Comme 1 x est au voisinage de 0, on a :
1 2
1x
= 1 e
(1x) ln 2
= 1
_
1 + (1 x) ln 2 +
((1 x) ln 2)
2
2!
+ o((x 1)
2
)
_
= (x 1) ln 2
((x 1) ln 2)
2
2!
+ o((x 1)
2
).
(b) On a ainsi
(x) =
ln 2 + (x 1)F

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

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

(1) + o(x 1)]

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

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

(1)
ln 2
+
ln 2
2
_
+ o(1).
9. Dveloppement asymptotique en 1 (bis)
(a) Par la dcroissance de t
1
t
x
, on a
1
(n + 1)
x

_
n+1
n
dt
t
x

1
n
x
,
ce qui donne facilement lencadrement souhait.
3
(b) On a en sommant de n = 1 N, lencadrement de la question prcdente
0
N

n=1
v
n
(x) 1
1
(M + 1)
x
2,
ce qui prouve que la srie

n
v
n
(x) est convergente puisque cest une srie termes positifs
dont la suite des sommes partielles est majore.
(c) Pour x ]1, 2] et N 1, on a
0
N

n=1
v
n
(x) =
N

n=1
1
n
x

_
N+1
1
dt
t
x
=
N

n=1
1
n
x

_
(N + 1)
1x
1
1 x
_
puis en faisant tendre N vers linni, comme les deux termes de la somme de droite convergent,
on a
+

n=1
v
n
(x) = (x) +
1
1 x
.
(d) Prenons x dans [1, 2]. En sommant de n = N + 1 M lencadrement du dpart, on a
0
M

n=N+1
v
n
(x)
1
(N + 1)
x

1
(M + 1)
x
,
ce qui donne en faisant tendre M vers linni,
0
+

n=N+1
v
n
(x)
1
(N + 1)
x

1
N + 1
.
Ce reste de rang N converge donc uniformment vers 0 sur [1, 2], ce qui prouve que la srie

n1
v
n
converge uniformment sur [1, 2].
(e) Grce la convergence uniforme sur [1, 2],

+
n=1
v
n
est continue en 1
+
, ainsi
+

n=1
v
n
(1) = lim
x1
+
+

n=1
v
n
(x),
ce qui donne en utilisant les questions prcdentes
= lim
x1
+
_
(x) +
1
1 x
_
.
Cela permet de conclure que pour x au voisinage de 1
+
, on a
(x) =
1
x 1
+ + o(1).
4
10. Application
On a donc obtenu deux dveloppements asymptotiques (avec celui de la question 8) de en 1
+
.
Lunicit de la limite donne que =
F

(1)
ln 2
+
ln 2
2
, on trouve alors que
+

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

(1) =
_
ln 2
2

_
ln 2.
III Calcul des F(2k) laide des nombres de Bernoulli
11. Soit (B
n
) une suite de polynmes de Bernoulli. Comme B

1
= B
0
= 1, B
1
= X + c. De plus
_
1
0
B
1
=
1
2
+ c = 0, ce qui donne B
1
= X
1
2
. De mme, on obtient B
2
= X
2
X +
1
6
.Il vient
b
1
=
1
2
et b
2
=
1
6
.
12. Pour n 2, B
n
(1) B
n
(0) =
_
1
0
B

n
=
_
1
0
nB
n1
= n
_
1
0
B
n1
. .
0
= 0.
13. Symtrie
Considrons le polynme C
n
= (1)
n
B
n
(1 X).
On a C
0
= 1 et pour n 1, C

n
= (1)
n
(1)B

n
(1 X) = (1)
n1
nB
n1
(1 X) = nC
n1
.
Enn,
_
1
0
C
n
=
_
1
0
(1)
n
B
n
(1 x) dx = (1)
n
_
1
0
B
n
(u) du = 0, par le changement de variable
u = 1 x. La suite de polynmes (C
n
) vrie donc les proprits des polynmes de Bernoulli, par
unicit on a B
n
= C
n
, ce qui donne B
n
(1 X) = (1)
n
B
n
(X).
14. Dveloppement en srie de Fourier
Soit k un entier naturel. Lapplication 2-priodique g
k
est de classe C
1
par morceaux sur R et
est continue sur R puisque g
k
(2) = B
2k
(1) = B
2k
(0) = g
k
(0) (cest bien vrai pour k = 0 puisque
puisque B
0
= 1). Le thorme de convergence normale sapplique et g
k
est limite simple sur R (il
y a convergence normale, mais ce nest pas utile ici) de sa srie de Fourier. Il ne reste plus qu
prouver que g
k
est paire pour conclure.
Si x [, 0],
g
k
(x) = B
2k
(
x
2
) = B
2k
(1 +
x
2
) = B
2k
_
2+x
2
_
= g
k
(x + 2) = g
k
(x), lavant dernire galit
dcoule du fait que x + 2 [, 2].
15. Expresion des coecients
(a) Soit n 1 et k 1. On va eectuer deux intgrations par parties (IPP) successives. Pour la
premire, on posera u = B
2k
(
t
2
) et v

= cos(nt), pour la deuxime on posera u = B

2k1
(
t
2
)
5
et v

= sin(nt).
a
n
(k) =
1

_
2
0
B
2k
(
t
2
) cos(nt) dt
=
..
IPP
1

_
_
_
_
_
B
2k
(
t
2
)
sin nt
n
_
2
0
. .
0

_
2
0
1
2
B

2k
(
t
2
)
sin(nt)
n
dt
_
_
_
_
=
k
n
2
_
2
0
B
2k1
(
t
2
) sin(nt) dt car B

2k
(
t
2
) = 2kB
2k1
(
t
2
)
=
..
IPP
k
n
2
_
_
B
2k1
(
t
2
)
cos nt
n
_
2
0
+
_
2
0
1
2
B

2k1
(
t
2
)
cos(nt)
n
dt
_
=
k
n
2
_
1
n
(B
2k1
(1) B
2k1
(0)) +
_
2
0
2k 1
2n
B
2k2
(
t
2
) cos(nt) dt
_
=
k
(n)
2
(B
2k1
(1) B
2k1
(0))
(2k)(2k 1)
(2n)
2
a
n
(k 1).
(b) Soit n 1. On a
a
n
(1) =
1
n
2

2
_
_
B
1
(1) B
1
(0)
. .
1
_
_

1
2n
2

2
a
n
(0).
Comme a
n
(0) =
1

_
2
0
cos nt dt = 0 pour n 1, on a
a
n
(1) =
1
n
2

2
.
(c) Soit n 1 et k 2. On a 2k 1 3 do B
2k1
(1) B
2k1
(0) = 0.
Ainsi a
n
(k) = (2k)(2k 1)
1
4n
2

2
a
n
(k 1). Une rcurrence sur k immdiate donne alors
a
n
(k) =
_
1
4n
2

2
_
k1
(2k)!
2
a
n
(1)
=
(1)
k1
(2k)!
2
2k1
(n)
2k
.
On remarque pour la suite que cette formule reste vraie pour k = 1.
16. Conclusion
Soit k 1. Comme 2k 2, on a a
0
(k) =
1

_
2
0
B
2k
(
t
2
) dt = 0.
Lgalit entre g
k
et sa srie de Fourier value en x = 0, donne
g
k
(0) = b
2k
=
+

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

2k
+

n=1
1
n
2k
,
ce qui donne
(2k) =
(1)
k1
2
2k1

2k
b
2k
(2k)!
.
17. Calcul eectif des b
n
6
(a) La formule de Taylor applique au polynme B
n
de degr n donne
B
n
(X) =
n

k=0
B
(k)
n
(0)
k!
X
k
.
Or B
(k)
n
(X) = n(n 1) . . . (n k + 1)B
nk
(X), ce qui donne
B
(k)
n
(0)
k!
=
_
n
k
_
b
nk
,
et permet de conclure.
(b) Avec x = 1, on obtient B
n
(1) =

n
k=0
_
n
k
_
b
nk
, comme pour n 2, B
n
(1) = B
n
(0), on obtient
b
n
= b
n
+
n

k=1
_
n
k
_
b
nk
et donc b
n1
=
1
n
n

k=2
_
n
k
_
b
nk
. Finalement la suite (b
n
) est dnie
par
b
0
= 1, n 1, b
n
=
1
n + 1
n1

k=0
_
n + 1
k
_
b
k
.
Voici une petite procdure MAPLE donnant la valeur exacte des b
k
:
> b[0] :=1 : for n to 10 do b[n] :=-1/(n+1)*sum(binomial(n+1,k)*b[k],k=0..n-1) ;
od ; On trouve alors par exemple
b
10
=
5
66
,
et
(10) =

10
93 555
et F(10) =
73
10
6 842 880
.
7