24 mars 2011 19:12 Page 1/4

2
0
1
1 Mathmatiques I
MP
4 heures Calculatrices autorises
Dveloppement asymptotique du reste
des sries de Riemann convergentes
Lobjet de ce problme est de donner une approximation de la somme des sries de Riemann convergentes
S() =
+

n=1
1
n

o est un rel strictement suprieur 1. Pour cela, on tudie le reste R

n
() =
+

k=n
1
k

.
Dans la premire partie, on donne une premire approximation du reste. Cette mthode se gnralisant mal, on
utilise dans la deuxime partie une formule de Taylor pour obtenir simplement un dveloppement asymptotique
du reste. Linconvnient de cette mthode est quelle ne donne aucun contrle de lerreur.
Dans la troisime partie, on retrouve partir de la formule sommatoire dEuler-Maclaurin le mme dvelop-
pement asymptotique avec une expression de lerreur assez satisfaisante. On a besoin dans cette partie dune
tude succincte des polynmes de Bernoulli.
Dans la dernire partie, on tudie de manire assez prcise le contrle de cette erreur, pour conclure que les
formules sommatoires tudies ne sont pas ncessairement convergentes.
Rappels et notations
On note [x] la partie entire dun rel x.
Soit (u
n
)
nN
et (v
n
)
nN
deux suites relles. On note v
n
= O(u
n
) si
M R, n
0
N, n N, n n
0
|v
n
| M|u
n
|
I tude prliminaire
I.A Convergence des sries de Riemann
I.A.1) Soit f une fonction relle, dnie continue et dcroissante sur [a, +[, o a R. Montrer, que pour
tout entier k [a + 1, +[, on a
_
k+1
k
f(x) dx f(k)
_
k
k1
f(x) dx.
I.A.2) En dduire la nature de la srie de Riemann

n1
1
n

selon la valeur de R.
En cas de convergence, on pose S() =
+

n=1
1
n

.
I.A.3) Pour tout rel > 1, montrer que 1 S() 1 +
1
1
.
I.B Premire tude asymptotique du reste
Dans la suite du problme, pour tout rel strictement suprieur 1 et pour tout entier naturel non nul n, on
pose R
n
() =
+

k=n
1
k

.
I.B.1) En utilisant lencadrement de la question I.A.1, montrer que R
n
() =
1
( 1)n
1
+ O
_
1
n

_
.
I.B.2) Soit f la fonction dnie sur R

+
par f(x) =
1
(1 )x
1
. En appliquant f la formule de Taylor
avec reste intgral lordre 2, montrer que, pour tout k N

, f(k + 1) f(k) =
1
k

2
1
k
+1
+ A
k
o A
k
est un rel vriant 0 A
k

( + 1)
2k
+2
.
I.B.3) En dduire que
R
n
() =
1
( 1)n
1
+
1
2n

+ O
_
1
n
+1
_
On pourrait rpter le procd pour obtenir un dveloppement asymptotique plus prcis de R
n
(), mais la
partie suivante va donner une mthode plus rapide.
24 mars 2011 19:12 Page 2/4
II Formule de Taylor et nombres de Bernoulli
II.A Nombres de Bernoulli
II.A.1) Montrer quil existe une suite relle (a
n
)
nN
ayant la proprit suivante : pour tout entier p N

,
pour tout intervalle non rduit un point I et pour toute fonction complexe f de classe C

sur I, la fonction
g dnie sur I par g = a
0
f + a
1
f

+ + a
p1
f
(p1)
vrie
g

+
1
2!
g

+
1
3!
g
(3)
+ +
1
p!
g
(p)
= f

+
p1

l=1
b
l,p
f
(p+l)
o les b
l,p
sont des coecients indpendants de f que lon ne cherchera pas calculer.
II.A.2) Montrer que a
0
= 1 et que pour tout p 1, a
p
=
p+1

i=2
a
p+1i
i!
. En dduire que |a
p
| 1 pour tout
entier naturel p. Dterminer a
1
et a
2
.
II.A.3) a) Pour tout z C tel que |z| < 1, justier que la srie

pN
a
p
z
p
est convergente.
On note (z) sa somme : (z) =

p=0
a
p
z
p
.
b) Pour z C tel que |z| < 1, calculer le produit (e
z
1)(z). En dduire que, pour tout z C

vriant
|z| < 1, on a (z) =
z
e
z
1
.
c) Montrer que a
2k+1
= 0 pour tout entier k 1. Calculer a
4
.
Les nombres b
n
= n!a
n
sont appels nombres de Bernoulli.
II.B Formule de Taylor
Soit f la fonction dnie sur R

+
par f(x) =
1
(1 )x
1
, o est un rel strictement suprieur 1.
Dans cette question II.B, on xe un entier naturel non nul p et on note g = a
0
f + a
1
f

+ + a
2p1
f
(2p1)
.
Pour tout k N

, on pose R(k) = g(k + 1) g(k) f

(k) de sorte que g(k + 1) g(k) = f

(k) + R(k).
II.B.1) En appliquant g la formule de Taylor avec reste intgral lordre 2p, montrer quil existe un rel
A tel que, pour tout k N

, |R(k)| Ak
(2p+)
.
II.B.2) En dduire le dveloppement asymptotique du reste
R
n
() =
+

k=n
1
k

=
_
a
0
f(n) + a
1
f

(n) + a
2
f

(n) + + a
2p2
f
(2p2)
(n)
_
+ O
_
1
n
2p+1
_
On obtient ainsi une valeur approche de S(), donne par

S
n,2p2
() =
n1

k=1
1
k

_
a
0
f(n) + a
1
f

(n) + a
2
f

(n) + + a
2p2
f
(2p2)
(n)
_
II.B.3) Donner le dveloppement asymptotique de R
n
(3) correspondant au cas = 3 et p = 3.
III Polynmes de Bernoulli et formule sommatoire dEuler-Maclaurin
On peut calculer, pour n = 100 :

S
100,4
(3) = 1,202056903159594277 . . . tandis que S(3) vaut 1,202056903159594285 . . .
(constante dApry). La mthode de la partie II semble satisfaisante, mais ne fournit pas dinformation prcise
sur le terme O
_
1
n
2p+1
_
. Cest pourquoi on introduit dans cette partie les polynmes de Bernoulli et la formule
sommatoire dEuler-Maclaurin.
III.A Polynmes de Bernoulli
On dnit une suite de polynmes (A
n
)
nN
= (A
n
(X))
nN
vriant les conditions suivantes
A
0
= 1, A

n+1
= A
n
et
_
1
0
A
n+1
(t) dt = 0 pour tout n N (III.1)
Les polynmes B
n
= n!A
n
sont appels polynmes de Bernoulli.
III.A.1) Proprits lmentaires
a) Montrer que la suite (A
n
)
nN
est dtermine de faon unique par les conditions III.1; prciser le degr
de A
n
; calculer A
1
, A
2
et A
3
.
24 mars 2011 19:12 Page 3/4
b) Montrer que A
n
(t) = (1)
n
A
n
(1 t) pour tout n N et tout t R.
c) Pour tout entier n 2, montrer que A
n
(0) = A
n
(1) et que A
2n1
(0) = 0.
d) On pose provisoirement c
n
= A
n
(0) pour tout entier naturel n. Montrer que, pour tout n N,
A
n
(X) = c
0
X
n
n!
+ + c
n2
X
2
2!
+ c
n1
X + c
n
puis que, si n 1,
c
0
(n + 1)!
+ +
c
n2
3!
+
c
n1
2!
+ c
n
= 0
e) En dduire que, pour tout n N, on a en fait c
n
= a
n
.
III.A.2) Fonction gnratrice
a) Montrer que la srie

n
A
n
(t)z
n
converge pour tout rel t [1, 1] et tout complexe z vriant |z| < 1.
Sous ces conditions, on pose f(t, z) =
+

n=0
A
n
(t)z
n
.
b) Soit z C tel que |z| < 1. Montrer que la fonction t f(t, z) est drivable sur [0, 1] et exprimer sa drive
en fonction de f(t, z). En dduire que, si |z| < 1 et z = 0,
+

n=0
A
n
(t)z
n
=
ze
tz
e
z
1
.
c) Montrer que, si z C et |z| < 2, on a
ze
z/2
e
z
1
+
z
e
z
1
= 2
z/2
e
z/2
1
.
En dduire, pour tout entier naturel n, A
n
_
1
2
_
=
_
1
2
n1
1
_
a
n
.
III.A.3) Variations des polynmes de Bernoulli
On tablit ici une majoration des polynmes de Bernoulli sur [0, 1].
a) Montrer que pour tout entier naturel n 2, les variations des polynmes A
n
sur [0, 1] correspondent
schmatiquement aux quatre cas ci-dessous :
x
1
y
x
1
y
x
1
y
x
1
y
n 0(mod4) n 1(mod4) n 2(mod4) n 3(mod4)
En dautres termes, pour n 2, on a :
1. Si n 2 mod4, alors A
n
(0) = A
n
(1) > 0 > A
n
(
1
2
) ; de plus, la fonction A
n
est strictement dcroissante sur
[0,
1
2
] et strictement croissante sur [
1
2
, 1].
2. Si n 0 mod4, alors A
n
(0) = A
n
(1) < 0 < A
n
(
1
2
) ; de plus, la fonction A
n
est strictement croissante sur
[0,
1
2
] et strictement dcroissante sur [
1
2
, 1].
3. Si n 1 mod4, alors A
n
(0) = A
n
(
1
2
) = A
n
(1) = 0 ; de plus, A
n
< 0 sur ]0,
1
2
[ et A
n
> 0 sur ]
1
2
, 1[.
4. Si n 3 mod4, alors A
n
(0) = A
n
(
1
2
) = A
n
(1) = 0 ; de plus, A
n
> 0 sur ]0,
1
2
[ et A
n
< 0 sur ]
1
2
, 1[.
b) Pour tout n N

et tout x [0, 1], montrer que |A

2n
(x)| |a
2n
| et |A
2n+1
(x)|
|a
2n
|
2
.
III.B Formule sommatoire dEuler-Maclaurin
III.B.1) Soit f une fonction complexe de classe C

sur [0, 1].

a) Montrer que pour tout entier q 1
f(1) f(0) =
q

j=1
(1)
j+1
_
A
j
(t)f
(j)
(t)
_
1
0
+ (1)
q
_
1
0
A
q
(t)f
(q+1)
(t) dt
b) En tenant compte des relations trouves dans la partie prcdente, montrer que pour tout entier naturel
impair q = 2p + 1
f(1) f(0) =
1
2
_
f

(0) + f

(1)
_

j=1
a
2j
_
f
(2j)
(1) f
(2j)
(0)
_

_
1
0
A
2p+1
(t)f
(2p+2)
(t) dt
III.B.2) Soit n N et soit f une fonction relle de classe C

sur [n, +[. On suppose que f et toutes ses

drives sont de signe constant sur [n, +[ et tendent vers 0 en +.
24 mars 2011 19:12 Page 4/4
En appliquant, pour k n, le rsultat prcdent f
k
(t) = f(k + t), montrer
+

k=n
f

(k) = f(n) +
1
2
f

(n)
p

j=1
a
2j
f
(2j)
(n) +
_
+
n
A

2p+1
(t)f
(2p+2)
(t) dt
o on a pos A

j
(t) = A
j
(t [t]) pour tout t R.
Montrer que

_
+
n
A

2p+1
(t)f
(2p+2)
(t)dt

a
2p
2

f
(2p+1)
(n)

III.B.3) Montrer que, dans lexpression de R

n
() du II.B.2, le terme O
_
1
n
2p+1
_
peut scrire sous forme
dune intgrale.
IV Complments sur lerreur
Dans cette partie, on xe un rel > 1 et on considre la fonction f dnie sur R

+
par f(x) =
1
(1 ) x
1
.
IV.A Encadrement de lerreur
IV.A.1) Soit g une fonction continue par morceaux croissante sur [0, 1].
En remarquant
_
1
0
=
_
1/2
0
+
_
1
1/2
, montrer que
si n 1 mod4, alors
_
1
0
A
n
(t)g(t)dt 0 ;
si n 3 mod4, alors
_
1
0
A
n
(t)g(t)dt 0.
IV.A.2) En reprenant les notations de II.B.2, montrer que pour tout entier naturel p 1

S
n,4p
() S()

S
n,4p+2
()
et que

S
n,4p
() S()

S
n,4p2
()
En dduire que lerreur

S()

S
n,2p
()

est majore par

a
2p+2
f
(2p+2)
(n)

.
IV.A.3) Dans cette question, on reprend le cas de II.B.3. Sachant que 6!a
6
=
1
42
, retrouver que lerreur
|S(3)

S
100,4
(3)| est majore par une expression de lordre de 10
17
.
IV.B Sries de Fourier
Pour tout entier naturel p 1 et tout rel x, on pose

A
p
(x) = A
p
_
x
2

_
x
2
__
.
IV.B.1) Montrer que

A
p
est 2-priodique et continue par morceaux.
IV.B.2) laide de la question III.B.1, dterminer les coecients de Fourier de

A
p
:

A
p
(n) =
1
2
_
2
0

A
p
(t)e
inx
dx
IV.B.3) tudier la convergence de la srie de Fourier de

A
p
.
IV.B.4) Pour p N

, en dduire que a
2p
= A
2p
(0) = (1)
p+1
S(2p)
2
2p1

2p
.
IV.C Comportement de lerreur
IV.C.1) Montrer que, pour tous entiers n, p 1

a
2p+2
f
(2p+2)
(n)
a
2p
f
(2p)
(n)

=
( + 2p)( + 2p 1)S(2p + 2)
4n
2

2
S(2p)
IV.C.2) Que dire de lapproximation de S() par

S
n,2p
() lorsque, n tant x, p tend vers +? Pour le
calcul numrique de S(), comment doit-on choisir n et p ?
FIN