Centrale, 2011, MP, Mathématiques 1

(9 pages)

I - Étude préliminaire

I.A - Convergence des séries de Riemann

Z k
I.A.1) Pour tout x ∈ [k − 1, k] ⊂ [a, +∞[, f (x + 1) 6 f (k) 6 f (x) par décroissance de f donc f (x + 1) dx 6
k−1
Z k Z k
f (k) dx 6 f (x) dx, soit, en effectuant le changement de variable t = x + 1 dans la première
k−1
Z k+1 k−1 Z k
intégrale, f (x) dx 6 f (k) 6 f (x) dx .
k k−1

I.A.2) Si α > 1, on a donc, en appliquant ce qui précède à f : t 7→ t1α qui est bien continue et décroissante sur
[1, +∞[,
n Z n  n
X 1 dt 1 1 1 1
∀n ∈ N, α 6 1 + α = 1 + α−1 =1+ − α−1 61+
k 1 t (1 − α)t 1 α − 1 (α − 1)n α−1
k=1

P 1
et la série nα est une série à termes réels positifs dont la suite des sommes partielles est majorée: elle
n>1
est donc convergente.
Si α 6 1, on a donc, en appliquant [1] f : t 7→ 1t qui est continue et décroissante sur [1, +∞[,

n n Z n
X 1 X 1 dt n
∀n ∈ N, α > > = [ln(t)]1 = ln(n) −−−→ +∞
k k 1 t n→+∞
k=1 k=1

P 1
et la série nα est donc divergente.
n>1
X 1
Ainsi converge si et seulement si α > 1 .
nα
n>1

I.A.3) 1 .
La majoration a été vue au [2], la minoration est immédiate donc ∀α > 0, 1 6 S(α) 6 1 + α − 1

I.B - Première étude asymptotique du reste

I.B.1) Pour α < 1, la fonction t 7→ t1α est intégrable sur [1, +∞[ et o déduit de [A.1] :
Z +∞ Z +∞
1 dt dt 1
∀n ∈ N ∗ , = α 6 R n (α) 6 α =
(α − 1)nα−1 n t n−1 t (α − 1)(n − 1)α−1

donc 0 6 Rn (α) − 1 6 1 − 1 .
(α − 1)nα−1 (α − 1)(n − 1)α−1  (α − 1)nα−1 
 1−α
1 1 1 1 ∼ 1α .
Or α−1 − α−1 = α−1 1− n −1
n→∞ n
(α − 1)(n − 1) (α − 1)n  (α − 1)n
Donc Rn (α) = 1 + O n1α .
(α − 1)nα−1
 Centrale, 2011, MP, Mathématiques 1 2/9

I.B.2) La formule de Taylor avec reste intégral à l’ordre 2 entre k ∈ N ∗ et k + 1 s’écrit

1 1 (3)
Z
0 1 00
f (k + 1) = f (k) + f (k) + f (k) + f (k + t)(1 − t)2 dt.
2 2 0
α , f 00 (t) = α(α + 1) . On a donc
Or ∀t ∈ R ∗+ , f 0 (t) = t1α , f 00 (t) = − α+1
t tα+2
Z 1
1 α 1 α(α + 1) (1 − t)2 1 α 1
f (k + 1) − f (k) = α − + α+2 dt = k α − 2 α+1 + Ak
k 2 k α+1 2 0 (k + t) k
α(α + 1) 1 1
Z
avec 0 6 Ak 6 α+2 dt.
2 0 k
α(α + 1) 1
On a donc ∀k ∈ N ∗ , f (k + 1) − f (k) = 1α − α 1
2 k α+1 + Ak avec 0 6 Ak 6 2 .
k k α+2
 
I.B.3) On peut écrire l’égalité ci-dessus sous la forme 1α = f (k) − f (k + 1) + α
2k
1 − A avec A = O
α+1 k k
1
α+2 .
P
k k
La série f (k) − f (k + 1) est une série télescopique qui converge puisque f (n) −−−→ 0 et les séries
k>1 n→∞
P 1 et
P 1 sont des séries de Riemann convergentes. On a donc, par linéarité de la somme,
k>1 k α+1 k>1 k α+2
+∞
Rn (α) = f (n)+ α
P
2 Rn (α+1)− k=n Ak . Or, par sommation de relation de comparaison pour des séries con-
+∞  
vergentes, on a
P

Ak = O Rn (α+2) . D’autre part, [1 ] donne Rn (α+1) = αn 1 +O 1
α α+1 et Rn (α+
k=n n
     
2) = 1 + O 1 = O 1 . Finalement, R (α) = 1 + 1 + O 1 .
n α
(α + 1)nα+1 nα+2 nα+1 (α − 1)nα−1 2n nα+1

II - Formule de Taylor et nombres de Bernoulli

II.A - Nombres de Bernoulli

II.A.1) Montrons, par récurrence sur p > 1, qu’il existe a0 , . . . , ap−1 ∈ R p tels que
p−1 p p−1
p−1 ∞
X
(k)
X 1 (j) 0
X
bl,p f (l+p) .



∃ b1,p , . . . , bp−1,p ∈ R , ∀f ∈ C I, C , g = ak f vérifie g =f +
j=1
j!
k=0 l=1

Pour p = 1, il suffit de prendre a0 = 1, alors g = f donc g 0 = f 0 et l’égalité est vérifiée.

Pour p = 2, prenons a1 = − 12 . On a alors g = f − 21 f 0 donc g 0 + 12 g 00 = f 0 − 21 f 00 + 12 f 00 − 41 f (3) = f 0 − 41 f (3)
ce qui est l’égalité voulue.
p
ak f (k) = h − b1,p f (p) . L’hypothèse
P
Si le résultat est vrai jusqu’à p, prenons ap = −b1,p et notons g =
k=0
p p−1
de récurrence donne
P 1 h(j) = f 0 + P b f (l+p) donc
l,p
j=1
j! l=1

p+1 p p+1
X 1 (j) X 1 (j) 1 X 1 (p+j)
g = h + h(p+1) − b1,p f
j=1
j! j=1
j! (p + 1)! j=1
j!
p−1 p p+1
X 1 X X b1,p (p+j)
= f0 + bl,p f (l+p) + ak f (k+p+1) − b1,p f (p+1) − f
(p + 1)! j=2
j!
l=1 k=0
p−1 p p+1
X 1 X X b1,p (p+j)
= f0 + bl,p f (l+p) + ak f (k+p+1) − f
(p + 1)! j=2
j!
l=2 k=0
Xp
= f0 + bl,p+1 f (l+p+1) CQFD
l=1
 Centrale, 2011, MP, Mathématiques 1 3/9

II.A.2)  Appliquons ce qui précède à f : t → 7 ext qui est de classe C ∞ sur R: on a alors ∀t ∈ R, g(t) =
p−1 p−1
ak f (k) (t) = ak xk ext donc, pour t = 0 et pour tout x ∈ C,
P P
k=0 k=0

 
p p p−1 2p−1
!
X 1 (j) X 1 X X X ak  i
g (0) = ak xk+j = x

j! j! j!

j=1 j=1 k=0 i=1 j+k=i
16j6p, 06k6p
   
p i p−1
X
X ai−j  i X X ak  l+p
= a0 x + x + x
 
j! j!

i=2 j=1 l=1 j+k=l+p
16j6p, 06k6p

et
p−1
X p−1
X
f 0 (0) + bl,p f (l+p) (0) = x + bl,p xl+p .
l=1 l=1

i
P ai−j
Cette égalité étant vraie pour tout x ∈ C, on obtient a0 = 1 et ∀i ∈ [[2, p]], = 0 donc ai−1 =
j=1
j!
i p+1
P ai−j P ap+1−j
− . Ceci étant vrai pour tout p, on a bien obtenu a0 = 1 et ∀p > 1, ap = − .
j=2
j! j=2
j!
q
Remarque: on peut préférer utiliser f : t 7→ t qui vérifie f (k) (0) = δk,q .
q!
 
 Montrons ap  6 1 par récurrence sur p: c’est  fait pour p = 0 et si c’est vrai jusqu’à p − 1, pour
p+1  
p+1 ap+1−j  p+1 +∞
ap+1−j 
  P  P  P 1 P 1
p > 1, on a, selon ci-dessus, ap  =  6 6 6 = e − 2 < 1. Ainsi

j=2 j!  j! j! j!

j=2 j=2 j=2
 
∀p ∈ N, ap  6 1 .
1 .
 La formule de récurrence donne facilement a1 = − 21 , a2 = 12

 
II.A.3) a) Pour |z| 6 1, on a, d’après [1], ∀p ∈ N, ap z p  6 1 et donc la suite (ap z p )p∈N est bornée. Le lemme
ap z p est R > 1. Notamment, si |z| < 1, ap z p converge .
P P
d’Abel donne que le rayon de convergence de
p∈N p∈N

+∞
b)  Pour tout z ∈ C, ez − 1 = z q donc, par produit de Cauchy de séries entières sur l’intersection de
P
q=1
q!
leur disques ouverts de convergence, pour |z| < 1,
! !  
+∞ q +∞ +∞ n
X z X X X an−j
ez − 1 ϕ(z) = ap z p  zn = z


× =  selon [2]
q=1
q! p=1 n=1 j=1
j!

donc si |z| < 1, ez − 1 ϕ(z) = z .
 Or ez − 1 = 0 ⇔ z ∈ 2iπ.Z donc si 0 < |z| < 1, ez − 1 6= 0 et donc si 0 < |z| < 1, ϕ(z) = ez z− 1 .

z
c)  On a donc, pour 0 < |z| < 1, ψ(z) = ϕ(z) + z2 = z eez + 1 ez/2 + e−z/2
− 1 = z ez/2 − e−z/2 = ψ(−z) et, pour |z| < 1,
∞
ap z p . Par unicité du développement en série entière de la restriction de ψ à ] − 1, 1[, la
P
ψ(z) = a0 +
p=2
parité de ψ donne ∀k > 1, a2k+1 = 0 .
1 .
 La formule de récurrence du [2] ou un développement limité de ϕ donne a4 = − 720

II.B - Formule de Taylor

 Centrale, 2011, MP, Mathématiques 1 4/9

II.B.1) Si f (x) = 1 alors f donc g sont de classe C ∞ sur R ∗+ et la formule de Taylor avec reste intégral
(1 − α)xα−1
à l’ordre 2p entre k ∈ N ∗ et k + 1 pour g donne

2p Z 1
X 1 (j) 1
g(k + 1) = g(k) + g (k) + g (2p+1) (k + t) (1 − t)2 dt
j=1
j! (2p)! 0

2p 2p−1
!
Z 1
X 1 X
= f 0 (k) + bl,2p f (l+2p) (k) + ai f (i+2p+1) (k + t) (1 − t)2 dt.
(2p)! 0 i=0
l=1

α · · · (α + n − 2)
Or ∀n ∈ N ∗ , ∀x ∈ R ∗+ , f (n) (x) = (−1)n−1 donc
xα+n−1
 4p Z 1" X4p
# 
  X α · · · (α + n − 2) α · · · (α + n − 2) 
bn−2p,2p (−1)n−1 n−1 2 

R(k) =  + an−2p−1 (−1) (1 − t) dt
k α+n−1 (2p)!(k + t)α+n−1


n=2p+1 0 n=2p+1 
4p 4p
Z 1 !
X  α · · · (α + n − 2) 1 X  α · · · (α + n − 2)
(1 − t)2 dt
 
6  bn−2p,2p 
α+n−1 +  an−2p−1 
α+n−1
n=2p+1
k (2p)! 0 n=2p+1
(k + t)
" 4p  ! #
X  an−2p−1 
α · · · (α + n − 2) k −(2p+α)

6  bn−2p,2p +
n=2p+1
(2p)!

 
donc, p étant fixé, ∃ A ∈ R, ∀k ∈ N ∗ , R(k) 6 A k −(2p+α) .

II.B.2) Erreur d’énoncé: la formule donnée n’est pas vraie pour p = 1 car elle s’écrirait Rn (α) = 1 +
  (α − 1)nα−1
O 1 en désaccord avec le développement trouvé au [I.B.3].
nα+1
 
D’après [1], on a R(k) = O 2p+α 1 et 2p + α > 1 donc la série
P
R(k) est convergente et on a,
k k>1
∞  
par sommation des relations de comparaison,
P
R(k) = O (Rn (2p + α)) = O 1 selon [I.B.1].
k=n n2p+α−1
2p−1
a0 α · · · (α + i − 2)
Or R(k) = g(k + 1) − g(k) − 1α avec g(k) = ai (−1)i−1
P
α−1 + −−−→ 0
k (1 − α)k i=1 k α+i−1 k→+∞
P
P∞
donc la série g(k + 1) − g(k) converge et on a R(k) = −g(n) − Rn (α) donc Rn (α) = −g(n) +
k>1 k=n
∞  
P
R(k) = −g(n) + O 1 . De plus, pour p > 1, a3 = . . . = a2p−1 = 0 selon [A.3]. Ceci donne
k=n n2p+α−1
   
∀p > 2, Rn (α) = − a0 f (n) + a1 f 0 (n) + a2 f 00 (n) + · · · + a2p−2 f (2p−2) (n) + O 1 .
2p+α−1
n
 
α(α + 1)(α + 2)
 
II.B.3) Pour p = 3, il vient Rn (α) = − 1 1 −
− 2n α 1
α α+1 + +O soit,
(1 − α)nα−1 12n
  720nα+3 n α+5

en particulier, Rn (3) = 1 2 + 1 3 + 1 4 − 1 6 + O 18 .
2n 2n 4n 12n n

III - Polynômes de Bernoulli et formule sommatoire d’Euler-Maclaurin

III.A - Polynômes de Bernoulli

III.A.1)Propriétés élémentaires
a)  Montrons l’existence et l’unicité de An par récurrence sur n.
 Centrale, 2011, MP, Mathématiques 1 5/9

Pour n = 0, A0 est donné directement donc il existe unique et c’est bien un polynôme .Et si An existe
unique alors soit F la primitive de An qui s’annule en 0, F est un polynôme et
 Z 1   Z 1 
A0n+1 = An et An+1 (t) dt = 0 ⇐⇒ An = F + C (C constante) et C = − F (t) dt
0 0

donc la constante C existe unique et donc le polynôme An existe unique.

Ainsi les conditions [III.1] définissent une unique suite An n∈N de polynômes sur R .
 Montrons, par récurrence sur n, que deg(An ) = n : c’est clair pour n = 0, et si c’est vrai pour n, alors
n n
cn,k k+1
A0n+1 (X) = An (X) = cn,k X k avec cn, n 6= 0 donc An+1 (X) =
P P
X + cn+1,0 .
k=0 k=0
k +1
3
 On trouve facilement A1 = X − 12 , A2 = X6 − X 1 X2 X2 X
2 + 12 , A3 = 2 − 4 + 12 .

b) Posons Cn (x) = (−1)n An (1 − x): Cn est une fonction polynôme et on a C0 = 1, ∀n > 1, Cn0 (x) =
Z 1 Z 1
(−1)n+1 A0n (1 − x) = (−1)n+1 An−1 (1 − x) = Cn−1 (x) et Cn (t) dt = (−1)n An (1 − t) dt =
0 0 u=1−t
Z 1
n


(−1) An (u) du = 0. Donc la suite Cn vérifie les conditions [III.1] et donc, par unicité, ∀n, Cn = An
0
ce qui donne ∀n ∈ N, ∀x ∈ R, An (x) = (−1)n An (1 − x) .
R1 R1
c)  Pour n > 2, An (1) − An (0) = 0 A0n (t) dt = 0 An−1 (t) dt = 0 donc ∀n > 2, An (1) = An (0) .
 Selon [b], A2n−1 (0) = −A2n−1 (1 − 0) = −A2n−1 (0) d’après ci-dessus donc ∀n > 2, A2n−1 (0) = 0 .

n
P cn−k k
d)  Montrons, par récurrence sur n, que An (X) = X : c’est clair pour n = 0, et si c’est
k=0
k!
n n
cn−k k cn−k
vrai pour n, alors A0n+1 (X) = An (X) = X k+1 + cn+1 car
P P
X donc An+1 (X) =
k=0
k! k=0 (k + 1)!
n+1
P cn+1−k k
cn+1 = An+1 (0). Ceci donne bien An+1 (X) = X .
k=0
k!
n+1 n
P cn+1−k P ck
 L’égalité An+1 (1) = An+1 (0) donne alors = 0 soit ∀n > 1, =0.
k=1
k! k=0 (n + 1 − k)!

n+1
P cn+1−k
e) On c0 = A0 (0) = 1 et, pour n > 1, cn = − donc, suivant [II.A.2], et par récurrence
k=2
k!
immédiate, ∀n ∈ N, cn = an .

III.A.2)Fonction génératrice
 n   n    n 
 
n
 P an−k k  n P an−k  n
P 1
a) Pour t ∈ [−1, 1], An (t) z = 
  t  |z| 6
 |z| 6 |z|n 6 e |z|n selon
k=0
k! k=0
k! k!
P n Pk=0
[II.A.2]. Or |z| converge si |z| < 1 donc si t ∈ [−1, 1] et |z| < 1 alors An (t) z n converge .
n∈N n∈N

n
b)  un : t 7→ An (t) z n est de classe C 1 sur [0, 1] avec u0n (t) = An−1 (t) z si n > 1 , pour z tel que
n
0 si n=1
[0,1]
un converge simplement sur [0, 1] selon [a] et ∀n > 1, u0n ∞ 6 e |z|n donc
P P 0
|z| < 1 fixé la série un
n∈N n∈N
converge normalement sur [0, 1]. Le théorème de dérivation terme à terme permet de conclure et comme
∞ ∞
∂f
An−1 (t) z n = z An (t) z n , t 7→ f (t, z) est de classe C 1 sur [0, 1] et ∀t ∈ [0, 1],
P P
(t, z) = z f (t, z) .
n=1 n=0
∂t
 La fonction ci-dessus est donc solution de l’équation différentielle y 0 = z y donc ∀t ∈ [0, 1], f (t, z) =
∞ ∞ zt
f (0, z) ezt . Or f (0, z) = an z n = ϕ(z) donc si t ∈ [0, 1] et 0 < |z| < 1 alors An (t) z n = ezz e− 1 .
P P
n=0 n=0

c)  Erreur d’énoncé: lire z ∈ C ∗ et |z| < 2π.

 Centrale, 2011, MP, Mathématiques 1 6/9

z/2 z/2
Pour 0 < |z| < 2π, on a ez − 1 6= 0 et ezze− 1 + ez z− 1 = z z/2 e
+z/2 1
. On a donc bien
e −1 e +1
z/2 z/2
si 0 < |z| < 2π, ezze− 1 + ez z− 1 = 2 z/2 .
e −1
∞ z/2 z/2
   
An 12 z n = ezze− 1 = 2 z/2 − ez z− 1 = 2ϕ z2 − ϕ(z) =
P
 Ainsi selon [b], pour 0 < |z| < 1,
n=0 e −1
∞  n ∞
2
P
an 2 z −
P n
an z . Cette égalité est notamment vraie pour z ∈]0, 1[ et aussi pour z = 0. par
n=0 n=0    
unicité du développement en série entière en 0, ceci donne ∀n ∈ N, An 21 = n−1 1 −1 a .
n
2

III.A.3)Variations des polynômes de Bernoulli

a) Montrons par récurrence sur p que, pour tout p ∈ N ∗ , on a les tableaux de variations suivants:

x 0 α2p−1 1/2 β2p−1 1 x 0 α2p−1 1/2 β2p−1 1

& % % &
A4p−2 (x) 0 0 A4p−1 (x) 0 0 0
& % & %
x 0 α2p 1/2 β2p 1 x 0 α2p 1/2 β2p 1
% & % &
A4p (x) 0 0 A4p+1 (x) 0 0 0
% & & %

Pour p = 1, le tableau de de variations de A2 est bien comme indiqué avec α2 = 12 − √ 1 et β = 1 + √

2 2 2 3,
1
2 3
puis, comme A03 = A2 et A3 (1/2) =h a3 =i 0, le tableau
 de variations
  de A3 est celui voulu. On en déduit,
 
0 1
puisque A4 = A3 que A4 croı̂t sur 0, 2 donc A4 2 = 1 1 − 1 > a ce qui donne a < 0 < A 1
4 4 4 2
23 i h
et donc, grâce à sa stricte monotonie, A4 a une unique racine α4 ∈ 0, 21 . De même, puisque A4 (1) = a4 ,
h i i h
A4 décroı̂t sur 21 , 1 et a une unique racine β4 ∈ 12 , 1 . On a donc le tableau voulu pour A4 et donc
celui de A5 en sachant que A5 (0) = A5 (1) = A5 (1/2) = 0.
Si le résultat est vrai pour p, du tableau de A4p+1 , on déduit le signe de A04p+2 qui donne la décroissance
h i h i
stricte de A4p+2 sur 0, 12 et sa croissance stricte sur 12 , 1 et, comme pour A4 ceci donne, puisque
 
1 1
n−1 − 1 < 0, A4p+2 2 < 0 < a4p+2 donc A4p+2 s’annule une fois et une seule dans chaque intervalle
i2 h i h
0, 12 et 21 , 1 . On en déduit le signe de A4p+2 donc les variations de A4p+3 , puis son signe sachant que
A4p+3 s’annule en 0, 12 et 1. Les tableaux de variations de A4p+4 et A4p+5 s’obtiennent de même et sont
bien ceux attendus.
       
b)  D’après les tablaux ci-dessus A2n ∞ = Max a2n , A2n 21  mais, pour n > 1, A2n 21  =
[0,1]    
    
1 − 2n−11    
a2n  < a2n  donc ∀n > 1, ∀x ∈ [0, 1], A2n (x) 6 a2n  .
2
[0,1] [0,1/2] h i
. Mais si x ∈ 0, 12 ,

 Puisque A2n+1 (1 − x) = −A2n+1 (x), on a A2n+1 ∞ = A2n+1 ∞
A2n+1 (x) = A2n+1 (0) + x A2n (t) dt =  x A2n (t) dt 6 x A2n [0,1] car a2n+1 = 0 si n > 1. Ainsi
   R  R 
0   0 ∞
  a2n 
∀n > 1, ∀x ∈ [0, 1], A2n+1 (x) 6 2 .
 

III.B - Formule sommatoire d’Euler-Maclaurin

III.B.1) a) Montrons par récurrence sur q ∈ N (il est plus simple de partir de 0) que

q
X h i1 Z 1
f (1) − f (0) = (−1)j+1 Aj (t)f (j) (t) + (−1)q Aq (t)f (q+1) (t) dt .
0 0
j=1
 Centrale, 2011, MP, Mathématiques 1 7/9

R1
Pour q = 0, la formule se réduit à f (1) − f (0) = 0
f 0 (t) dt qui est vraie et si celle est vraie pour q,
comme, par intégration par parties,
Z 1 Z 1 h i1 Z 1
Aq (t)f (q+1) (t) dt = A0q+1 (t)f (q+1) (t) dt = Aq+1 (t)f (q+1) (t) − Aq+1 (t)f (q+2) (t) dt,
0 0 0 0

on obtient celle pour q + 1.

b) Puisque A1 (0) = −A1 (1) = − 21 et pour k > 1 , A2k (1) = A2k (0) et A2k+1 (1) = A2k+1 (0) = 0, on en
déduit, pour tout p > 0,
p  Z 1
1 0
X 
f (1) − f (0) = f (1) + f 0 (0) − a2j f (2j) (1) − f (2j) (0) − A2p+1 (t)f (2p+2) (t) dt .
2 j=1 0

III.B.2)  En appliquant à fk (t) = f (k + t), on obtient

p  Z 1
1 0
X 
f (k + 1) − f (k) = f (k + 1) + f 0 (k) − a2j f (2j) (k + 1) − f (2j) (k) − A2p+1 (t)f (2p+2) (t + k) dt
2 j=1 0
p  Z k+1
1
X 
= f 0 (k + 1) + f 0 (k) − a2j f (2j) (k + 1) − f (2j) (k) − A∗2p+1 (t)f (2p+2) (t) dt
2 j=1 k

donc, en sommant entre n et N , par télescopage,

N p  Z N +1
X
0 1 0 0

X 
f (N +1)−f (n) = f (k)+ f (N +1)−f (n) − a2j f (2j)
(N +1)−f (2j)
(n) − A∗2p+1 (t)f (2p+2) (t) dt
2 j=1 n
k=n

et, selon les hypothèses, d’une part, ∀j, f (j) (N + 1) −−−→ 0 et d’autre part, en notant  est le signe
N →+∞
(2p+2)
 ∗  [0,1]
constant de f sur [n, +∞[, ∀t ∈ [n, +∞[, A2p+1 (t)f (2p+2) (t) 6 A2p+1 ∞  f (2p+2) (t), avec

Z x   Z x
 (2p+2) 
f (t) dt =  f (2p+2) (t) dt = f (2p+1) (x) − f (2p+1) (n) −−−→ −f (2p+1) (n)
n n x→+∞

ce qui montre l’intégrabilité de f (2p+2) donc de A∗2p+1 f (2p+2) sur [n, +∞[. En écrivant

N p  Z N +1
X
0 1 0 0

X 
f (k) = f (N +1)−f (n)− f (N +1)−f (n) + a2j f (2j)
(N +1)−f (2j)
(n) + A∗2p+1 (t)f (2p+2) (t) dt
2 j=1 n
k=n

f 0 (k) et donne, à la limite,

P
ceci montre la convergence de
k>n

+∞ p Z +∞
X 1 X
f 0 (k) = f − f (n) + f 0 (n) − a2j f (2j) (n) + A∗2p+1 (t)f (2p+2) (t) dt .
2 j=1 n
k=n

Z +∞  Z +∞
∗ (2p+2)
[0,1]
f (2p+2) (t) dt =
 
 L’inégalité vue plus haut donne   A2p+1 (t)f (t) dt 6 A2p+1 ∞ 

n n
[0,1]
− A2p+1 ∞ f (2p+1) (n) donc , avec le résultat de [A.3.b] , et vu que le signe du majorant est positif,

Z +∞ 
 ∗ (2p+2)
 |a2p |  (2p+1) 
 A 2p+1 (t)f (t) dt 6 (n) .
2
  f
n

III.B.3) En appliquant la formule ci-dessus à f (x) = 1 au rang p − 1, ce qui est légitime car, comme
(1 − α)xα−1
on a vu au [II.B.1], f est de classe C ∞ sur tout [n, +∞[ pour n ∈ N ∗ , f 6 0, ∀n ∈ N ∗ , ∀x ∈
 Centrale, 2011, MP, Mathématiques 1 8/9

α · · · (α + n − 2)
R ∗+ , f (n) (x) = (−1)n−1 α+n−1 du signe de (−1)n−1 et ∀n ∈ N, f (n) (x) −−−→ 0, on obtient
Z +∞ x  x→+∞
1
A∗2p−1 (t)f (2p) (t) dt = O .
n n2p+α−1

IV - Complément sur l’erreur

IV.A - Encadrement de l’erreur h i h i

IV.A.1) Si n ≡ 1 mod 4 alors selon [III.A.3.a], An 6 0 sur 0, 12 et An > 0 sur 12 , 1 . Donc, l’inégalité
h i   h i   h i
∀t ∈ 0, 21 , g(t) 6 g 21 implique ∀t ∈ 0, 12 , An (t)g(t) > g 21 An (t). De même, ∀t ∈ 12 , 1 , g(t) >
  h i    
g 21 implique ∀t ∈ 1 , 1
2  Z, A n (t)g(t) > g 1 A (t). On a donc ∀t ∈ [0, 1], A (t)g(t) > g 1 A (t)
2 n n 2 n
Z 1 1
1
donc An (t)g(t) dt > g An (t) dt = 0 car n > 1. Le cas n ≡ 3 mod 4 se traite de même et on
0 2
Z0 1
peut résumer en ∀p ∈ N, (−1)p A2p+1 (t)g(t) dt > 0 .
0

IV.A.2)  Par définition (vue au [II.B.2]) et d’après [III.B.3], on a pour p > 1,

p Z +∞
1 X
Sen,2p = S(α) − Rn (α) − f (n) + f 0 (n) − a2j f (2j) (n) = S(α) − A∗2p+1 (t)f (2p+2) (t) dt .
2 j=1 n

Z +∞ +∞ Z
X k+1 +∞ Z
X 1
Or A∗2p+1 (t)f (2p+2) (t) dt = A∗2p+1 (t)f (2p+2) (t) dt = A2p+1 (t)f (2p+2) (t + k) dt et, en
n k=n k k=n 0
posant, pour t ∈ [0, 1], gk (t) = f (t + k), on a gk0 (t) = f (2p+3) (t + k) > 0 (voir [III.B.3]) donc on
(2p+2)
R1
peut appliquer [1] et on obtient que ∀k > n, 0 A2p+1 (t)f (2p+2) (t + k) dt est du signe de (−1)p et donc
S(α) − Sen,2p est également du signe de (−1)p .
Ceci donne donc Sen,4p 6 S(α) 6 Sen,4p+2 et Sen,4p 6 S(α) 6 Sen,4p−2 .
   
 Donc 0 6 S(α) − Sen,4p 6 Sen,4p+2 − Sen,4p = −a4p+2 f (4p+2) (n) d’où S(α) − Sen,4p  6 a4p+2 f (4p+2) (n)
 
   
et −a4p f (4p) (n) = Sen,4p − Sen,4p−2 6 S(α) − Sen,4p−2 6 0 d’où S(α) − Sen,4p−2  6 a4p f (4p) (n). On a
 
   
donc traité le cas q = 2p et q = 2p − 1, donc ∀q > 1, S(α) − Sen,2q  6 a2q+2 f (2q+2) (n) .
 

 
IV.A.3) On a donc S(α) − Se100,4  6 a6 f (6) (100). Or f (6) (x) = (−1)5 3 × 4 × 58× 6 × 7 = − 7 × 86! (voir
   
  x 2x
  1 10−16 < 10−17 .
[III.B.3]) donc S(α) − Se100,4  6 12

IV.B - Séries de Fourier  h i  h i

ep (x + 2π) = Ap x + 1 − ( x + 1 = Ap x − ( x
IV.B.1) A =A ep (x) car ∀t, [t + 1] = [t] + 1.
2π   2π 2π 2π
ep (x) = Ap x qui se prolonge en une fonction continue sur [0, 2π] donc, vue la périodicité,
∀x ∈ [0, 2π[, A 2π
ep ∈ CM2π (R, R) .
A

IV.B.2) Erreur d’énoncé: lire A ep (x) au lieu de A ep (t) dans l’intégrande.

Z 1 Z 1
En posant x = 2π t, on a déjà A
bp (n) = Ap (u) e−2iπnt dt. Si n = 0, on a donc A bp (0) = Ap (u) dt = 0
0 Z 1 0
e−2iπnt
car p > 1. Si n 6= 0, on peut écrire A bp (n) = Ap (u) f (p+1) (t) dt en prenant f (t) = p+1 de
0 (−2iπn)
 Centrale, 2011, MP, Mathématiques 1 9/9

façon à utiliser la formule du [III.B.1]. Comme Aj (1) = Aj (0) pour j > 2 et f (j) (1) = f (j) (0) pour tout
j, il vient  
Abp (n) = (−1)p 0 − (−1)2 A1 (1) − A1p(0)
(−2iπn)

bp (0) = 0 et ∀n ∈ Z ∗ , A
bp (n) = − 1
soit A p .
(2iπn)

IV.B.3) Comme au [1], la restriction de A ep à [0, 2π[ se prolonge en une fonction de classe C ∞ sur [0, 2π], donc
∞
Aep est de classe C par morceaux sur R. De plus, la valeur en 2π de ce prolongement est Ap (1) donc,
si p > 2, Aep est continue sur R tandis que si p = 1, A e1 (0− ) = 1 .
e1 (0+ ) = − 1 et A
2 2
Les théorèmes de Dirichlet et de connvergence normale des séries de Fourier donnent donc
(
si p > 2, la série de Fourier de A
ep converge normalement vers Aep sur R ;
si p = 1, la série de Fourier de A e1 sur R \ 2π.Z, vers 0 sur 2π.Z .
e1 converge simplement vers A

+∞
e2p (x) = − P
IV.B.4) Pour p > 1, on a donc ∀x ∈ R, A 1  inx
+ e−inx et A

2p e
e2p (0) = A2p (0) = a2p ce qui
n=1 (2iπn)
(1)p+1
donne a2p = S(2p) .
22p−1 π 2p

IV.C - Comportement de l’erreur

α · · · (α + 2p − 2) α · · · (α + 2p − 2)(α + 2p − 1)(α + 2p)
IV.C.1) Pour p > 1, on a f (2p) (n) = − et f (2p+2) (n) = − =
nα+2p−1   nα+2p+1
(α + 2p − 1)(α + 2p) (2p) a f (2p+2) (n)  (α + 2p − 1)(α + 2p) S(2p + 2)
f (n) et, avec [B.4],  2p+2 (2p) = .
n2 a2p f (n)  4n2 π 2 S(2p)

 
a f (2p+2) (n) 
IV.C.2)  L’encadrement du [I.A.3] montre que S(α) −−−→ 1 donc, à n fixé,  2p+2 (2p) −−−→ +∞ et,

α→+∞
 a2p f (n)  p→+∞
a f (2p+2) (n) 
notamment, il existe p0 tel que ∀p > p0 ,  2p+2 (2p) > 1 et donc dans l’écriture
a2p f (n) 

n−1 p
X 1 1 0 X
Sen,2p = − f (n) + f (n) − a2j f (2j) (n)
kα 2 j=1
k=1

la dernière somme est somme partielle d’une série (alternée) grossièrement divergente.
 
On en conclut que n étant fixé, la suite Sen,2p ne converge pas vers S(α) quand p tend vers + ∞ .
p>1

 Erreur d’énoncé: hh doit-on iiest mal venu qui suggère une condition nécessaire alors qu’il s’agit d’une
condition suffisante.
On choisit p et n pour que la majorant obtenu au [A.2] soit le plus petit possible. C’est la méthode de
sommation au plus petit terme que Poincaré appelait ”méthode des astronomes”.

* * *
* *
*