Spé PT / PT* D.M.

3 ( 2023 / 2024 )
Convergence et Somme de quelques séries remarquables …

Question préliminaire : Le lemme de Lebesgue

Soit f : a , b  IR une fonction définie et de classe C 1 sur un segment  a , b .

b
Si   IR est un réel donné, on pose : L(  )   a f (t)sin( t )dt .
Démontrer, à l’aide d’une intégration par parties, que : lim L()  0 .
  

––I–– : Une fonction définie par une série trigonométrique !

1) Préciser l'ensemble D des réels  tels que : ei   1 .

2) Convergence de la série  n1 e i n  lorsque  D .

On veut prouver ici que si  est un réel donné dans D, alors la série  n1 e i n  converge.
Soit donc un réel donné  D , et soit   e i  .
n n
Pour tout n  IN* , on pose : E n   1
k
k , v n 
1
n ( n  1)
n , et Tn   vk .
k 1 k 1

a) Quelle est la nature de la série  vn ?

b) Grâce à une décomposition en éléments simples, puis grâce à un décalage d'indices,
justifier la relation : n  IN* , Tn  E n   E n  1  1 .
1

c) En déduire une expression de En en fonction de Tn , de n et de  … et conclure !



sin ( n x )
3) Si x  D , et sous réserve de convergence, on pose : F( x )  n
n 1
a) Grâce à la question précédente, justifier que F une fonction définie sur IR .
b) Justifier que cette fonction est impaire, et 2π-périodique, sur IR .

––II–– : Une expression explicite de la fonction F .



sin ( n x )
On se propose, dans cette partie, de calculer la valeur pour tout x  IR , de la somme : F( x )  n .
n 1
n n
Pour cela, on va utiliser, si n  IN* , les quantités suivantes : Cn (x)   cos( kx ) et Sn (x)   sin( kx ) .
k 1 k 1

sin 
nt 
 i ( n  1)
t
 2
1) Démontrer que pour tout t  D et pour tout n  IN* , on a : Cn (t)  i.Sn (t)  e 2 .
sin  
t
2
 sin  ( n  1 ) t  
2) En déduire que : t  D , n  IN* , Cn (t)    2    1 .
 2 sin  t   2
 2 
  dt

 1

 
n sin ( n  )t
3) En déduire que pour tout x   0,   et tout n  IN* , on a :  sin ( k x )
k

x
2
 

1
2 t

2

k 1 x sin
2

4) En déduire ainsi qu'on a : x   0,   , F(x) 

x
2
.
5) Donner le graphe sur   2 , 4  de la fonction F .
Critiquer la phrase suivante : "une somme de fonctions continues est une fonction continue" …
Critiquer la phrase suivante : "la limite d'une somme est égale à la somme des limites" …

 2 n 1
( 1) n
6) En utilisant cette fonction F , déterminer la valeur de la somme : .
n0

––III–– : Le calcul de deux sommes remarquables !

n
Pour tout n  IN* , et pour tout x   0,  , on pose : Fn (x)   sin (kk x ) .
k 1
 
L'objectif de cette partie est de prouver que : lim  
 0 Fn ( x )dx    0 F(x)dx ,
n  
 
pour ensuite en déduire les valeurs des sommes : A   n1 2
et B   ( 2 n 1 1) 2
.
n 1 n0

On rappelle le résultat suivant, déjà démontré en exercice : si H n  1  12  13    n1 , alors H n ~ ln n .

n

1) Prouver que : n  IN* , a   0,   ,

a
 0 Fn (x) dx  a.H n .

2) Dans cette question ( uniquement ) on revient aux notations ( et aux hypothèses ) de la question préliminaire.
a) Justifier que :   IR * , L()  1  f (b)  f (a)  f (t) dt  .
b
 a  
b) En déduire que si la fonction f est positive et décroissante sur  a , b  , alors on a : L() 
2 f (a )
.



 sin  ( n  12 ) t 
3) Pour x   0,   et pour n  IN , on pose : R n (x)  
* dt .
 sin  t 
x 2
a) À l'aide de la question ci-dessus pour la première inégalité,
puis à l'aide d'une inégalité de convexité pour la seconde,
n  IN* , x   0,   , R n (x) 
4 4
prouver que :  .

( 2 n  1) sin
x
2  ( 2 n  1) x


b) En déduire que : n  IN* , a   0,   ,
4
a R n (x)dx  2n 1
(ln   ln a ) .

4) Proposer une suite n  a(n) qui vérifie :

 n  IN 

, a(n)   0,   et  0  et  
a(n)
*
 0 Fn (x)dx 
n
   a ( n ) R n (x)dx 
n
0 .


 
5) En utilisant cette suite n  a(n) , prouver que :   0 Fn (x)dx  
n

 0 F(x)dx .


6) Le calcul des sommes A et B .

  n 
a) Justifier que : n  IN* , 0 F2 n 1 (x)dx  2   1
 k  0 ( 2 k 1 ) 
2
.
 
2
b) En déduire : B  .
8
n n
c) Pour n  1 , soit : A n  k 1
2
et Bn   ( 2 k 11 ) 2 . Exprimer Bn en fonction de A 2 n  1 et de An .
k 1 k0
d) En déduire ainsi la valeur de A .