INTRODUCTION

Lobjet du problme est ltude de la srie

1
:
2
.
On dnit la suite des sommes partielles par :
\: N

, :
n
=
n

k=1
1
/
2
Les parties 1, 2 et 3 suivantes seront consacres la dtermination de sa somme o par divers moyens.
Elles sont donc indpendantes.
La partie 4 utilisera la valeur de o obtenue pour calculer la somme dune srie double.
On rappelle que:
pour tous entiers : et : vriant : _ : on note [[:. :]] lintervalle dentiers:
[[:. :]] = j Z. : _ j _ :
pour tous entiers : et : vriant : _ : on note
_
:
:
_
le coecient binomial
_
:
:
_
=
:!
:!(: :)!
PRELIMINAIRE
1. Justier la convergence de la srie

1
:
2
. On note donc o =
+1

n=1
1
:
2
2. Calculer en fonction de o la somme des deux sries :
\ =
+1

n=0
1
(2: + 1)
2
, \ =
+1

n=1
(1)
n
:
2
PREMIERE PARTIE : Utilisation de polynmes
1. Soit 1 C[A] un polynme de degr : _ 1: 1(A) =
n

k=0
c
k
A
k
Rappeler la formule permettant de calculer la somme o
1
des racines de 1 , comptes avec leur multi-
plicit, en fonction de ses coecients c
n
et c
n1
.
2. a) Soient j N et , R . .Dmontrer lgalit :
sin ((2j + 1) ,) =
p

k=0
(1)
k
_
2j + 1
2/ + 1
_
(cos (,))
2p2k
(sin (,))
2k+1
b) En dduire que, pour tout entier j N et pour tout rel , ,= 0[:], on a :
sin ((2j + 1) ,) = (sin (,))
2p+1
p

k=0
(1)
k
_
2j + 1
2/ + 1
_
(cotan (,))
2p2k
3. Soit j N et 1 le polynme dni par :
1(A) =
p

k=0
(1)
k
_
2j + 1
2/ + 1
_
A
pk
a) Pour tout entier / [[1. j]],on pose
k
= cotan
2
_
/:
2j + 1
_
.Calculer 1(
k
) pour tout / [[1. j]].
b) Vrier que, pour tout / [[1. j]], le rel
/:
2j + 1
appartient lintervalle ]0. :,2[. En dduire que
le polynme 1 possde j racines simples, que lon dterminera.
c) En dduire les galits :
p

k=1
cotan
2
_
/:
2j + 1
_
=
j(2j 1)
3
,
p

k=1
1
sin
2
_
k
2p+1
_ =
2j(j + 1)
3
4. a) Dmontrer, pour tout rel , ]0. :,2[, les encadrements :
0 < sin , < , < tan ,
b) En dduire que, pour tout entier j _ 1 on a lencadrement :
j(2j 1)
3
<
(2j + 1)
2
:
2
:
p
<
2j(j + 1)
3
c) Calculer o .
DEUXIEME PARTIE :Utilisation des intgrales de Wallis
Pour tout : N , on pose :
1
n
=
_
=2
0
(cos(t))
2n
dt , J
n
=
_
=2
0
t
2
(cos(t))
2n
dt , 1
n
=
4
n
(:!)
2
(2:)!
J
n
1. Calculer les intgrales 1
0
et 1
1
.
2. a) Dmontrer, laide dune intgration par partie, que pour tout : N on a :
1
n+1
=
2: + 1
2: + 2
1
n
b) En dduire que pour tout : N on a :
1
n
=
(2:)!
4
n
(:!)
2
:
2
3. Soit : _ 1.
a) Dmontrer la relation
1
n
= :(2: 1)J
n1
2:
2
J
n
b) En dduire que
1
n1
1
n
=
:
4:
2
c)En dduire que
:
4
:
n
= J
0
1
n
2
4. a) Dmontrer que, pour tout rel r [0. :,2], on a :
r _
:
2
sin(r)
b)En dduire que, pour tout entier :, on a :
0 _ J
n
_
:
2
1
n+1
4(2: + 1)
, 0 _ 1
n
_
:
3
16(: + 1)
c) Retrouver la valeur de o.
TROISIEME PARTIE : Noyau de Dirichlet
Pour tout entier : _ 1 on note 1
n
le noyau de Dirichlet,dni par :
\r R , 1
n
=
1
2
+
n

k=1
cos(/r)
1. Dmontrer que, pour tout entier : _ 1 et tout rel r ,= 0[2:], on a :
1
n
(r) =
1
2
sin
__
: +
1
2
_
r
_
sin
_
x
2
_
2. Pour tout entier : _ 1 on note 1
n
lintgrale :
1
n
=
_

0
r1
n
(r)dr
a)Calculer lintgrale
_

0
r cos(/r)dr pour tout entier / _ 1
b) En dduire que
1
n
=
:
2
4

n

k=1
1 (1)
k
/
2
c) En dduire que la suite (1
n
) converge et exprimer sa limite en fonction du rel \ dni dans le
prliminaire.
3. On note , le prolongement par continuit en 0 de la fonction dnie sur lintervalle ]0. :] par :
r
r
sin(r,2)
(3/2) Dmontrer que la fonction , est de classe C
1
sur lintervalle [0. :]
(5/2) En tudiant
1
,
montrer que la fonction , est de classe C
1
sur lintervalle [0. :]
4. Soit c C
1
([0. :]. R). Dmontrer que
lim
!+1
__

0
c(r) sin(`r)dr
_
= 0
3
5. a) Dmontrer que
lim
n!+1
(1
n
) = 0
b) Retrouver la valeur de o.
QUATRIEME PARTIE : Une somme double
Lobjet de cette partie est de calculer la limite de la somme double
lim
M!+1
_
lim
N!+1
N

n=1
M

m=1
1
::(: +:1)
_
On pose pour tout entier ` _ 1 :
H
N
=
N

n=1
1
:
1. a) Dmontrer que pour tout entier ` _ 1 on a:
ln(1 +`) _ H
N
_ 1 + ln(`)
indication : noubliez pas que ln(r) est une primitive de
1
r
b) En dduire la limite en + de
H
N
`
c) Dmontrer que pour tout entier ` _ 1 on a :
M

m=1
H
m
:(:+ 1)
=
M

m=1
1
:
2

H
M
` + 1
indication : dcomposer
1
:(:+ 1)
sous la forme
c
:
+
/
:+ 1
, (c. /) calculer.
d) En dduire que la srie
+1

m=1
H
m
:(:+ 1)
converge et dterminer sa somme.
2. Pour tous entier ` _ 1 et pour tout entier : _ 2,on pose
2
N;m
=
N

n=1
1
:(: +:1)
a) Dmontrer que pour tout entier : _ 2
2
N;m
=
1
:1
_
H
m1

N+m1

n=N+1
1
:
_
indication : dcomposer
1
:(: +:1)
sous la forme
c
:
+
/
: +:1
, (c. /) calculer.
b) En dduire que
lim
N!+1
(2
N;m
) =
H
m1
:1
4
3. a) Montrer que pour tout entier ` _ 1 , et pour tout entier ` _ 2 on a:
N

n=1
M

m=1
1
::(: +:1)
= :
N
+
M

m=2
2
N;m
:
b) En dduite
lim
N!+1
_
N

n=1
M

m=1
1
::(: +:1)
_
puis :
lim
M!+1
_
lim
N!+1
_
N

n=1
M

m=1
1
::(: +:1)
__
5