Serie Numeriques

Table des matières
1 Séries numériques 1
1.1 Généralités . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
1.1.1 Convergence et divergence d’une série numérique . . . . . . . . . . . . . . . . . 2
1.6.1 Premiers Exemples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.9.1 Séries absolument convergentes . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.13 Séries à termes réels positifs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.17 Règles de comparaison . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.17.1 Série majorante, série minorante . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.21.1 Comparaison avec une série géométrique . . . . . . . . . . . . . . . . . . . . . 13
1.28.1 Comparaison avec une série de Riemann . . . . . . . . . . . . . . . . . . . . . 19
1.29.1 Comparaison avec une intégrale . . . . . . . . . . . . . . . . . . . . . . . . . . 19
1.31.1 Applications . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
1.32 Séries à termes quelconques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
1.33.1 Séries alternées . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
1.35.1 Règle d’Abel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
1.39 Opérations sur les séries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
1.40.1 Produit de Cauchy de deux séries . . . . . . . . . . . . . . . . . . . . . . . . . 29
1.42.1 Sommation par paquets (ou regroupement des termes) . . . . . . . . . . . . . . 32
1.44.1 Convergence commutative . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
2 Suites et Séries de Fonctions 35

2.1 Suites de Fonctions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
2.1.1 Convergence simple et uniforme d’une suite de fonctions . . . . . . . . . . . . . 36
2.8.1 Propriétés de la convergence uniforme . . . . . . . . . . . . . . . . . . . . . . . 41
2.13.1 Théorème de Weierstrass . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
2.17 Séries de Fonctions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
2.24.1 Conditions suffisantes de convergence uniforme pour les séries de fonctions . . . 49
3 Séries entières 52
3.2 Rayon de convergence d’une série entière . . . . . . . . . . . . . . . . . . . . . . . . . 53
3.5.1 Méthodes de calcul du rayon de convergence . . . . . . . . . . . . . . . . . . . 54
3.12 Propriétés de la somme d’une série entière . . . . . . . . . . . . . . . . . . . . . . . . . 58
3.27 Développement en série entière . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64
3.29.1 Equations différentielles et séries entières . . . . . . . . . . . . . . . . . . . . . 66
3.31 Fonctions usuelles de la variable complexe . . . . . . . . . . . . . . . . . . . . . . . . . 72
ii
Table des matières
4 Séries de Fourier 78
4.1 Séries trigonométriques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 78
4.2.1 Convergence des séries trigonmétriques . . . . . . . . . . . . . . . . . . . . . . 79
4.9 Développement en série de Fourier . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 81
4.11.1 Convergence ponctuelle de la série de Fourier d’une fonction . . . . . . . . . . . 84
4.16.1 Inégalité de Bessel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 89
iii Boussouis Brahim

Chapitre 1
Séries numériques
Sommaire
1.1 Généralités . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
1.1.1 Convergence et divergence d’une série numérique . . . . . . . . . . . . . . . . 2
Convergence des séries à termes complexes . . . . . . . . . . . . . . . . . . . 4
1.6.1 Premiers Exemples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
La série géométrique . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
Séries télescopiques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
La série de l’exponentielle . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.9.1 Séries absolument convergentes . . . . . . . . . . . . . . . . . . . . . . . . . 7
Critère de Cauchy pour les séries . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.13 Séries à termes réels positifs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
Critère de condensation de Cauchy . . . . . . . . . . . . . . . . . . . . . . . . 9
Séries de Riemann . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
1.17 Règles de comparaison . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.17.1 Série majorante, série minorante . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.21.1 Comparaison avec une série géométrique . . . . . . . . . . . . . . . . . . . . 13
Test logarithmique . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
Test de D’Alembert . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
Test de Cauchy . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
Comparaison des tests de D’Alembert et de Cauchy . . . . . . . . . . . . . . . 17
Règle de Duhamel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
1.28.1 Comparaison avec une série de Riemann . . . . . . . . . . . . . . . . . . . . 19
1.29.1 Comparaison avec une intégrale . . . . . . . . . . . . . . . . . . . . . . . . . 19
Séries de Bertrand . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
1.31.1 Applications . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
La constante d’Euler γ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
La formule (faible) de Stirling . . . . . . . . . . . . . . . . . . . . . . . . . . 23
1.32 Séries à termes quelconques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
1.33.1 Séries alternées . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
1.35.1 Règle d’Abel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
Application aux séries trigonométriques . . . . . . . . . . . . . . . . . . . . . 27
Récapitulatif . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
1
Chapitre 1: Séries numériques
1.39 Opérations sur les séries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
1.40.1 Produit de Cauchy de deux séries . . . . . . . . . . . . . . . . . . . . . . . . 29
1.42.1 Sommation par paquets (ou regroupement des termes) . . . . . . . . . . . . . 32
1.44.1 Convergence commutative . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
1.1 Généralités
1.1.1 Convergence et divergence d’une série numérique
Soit (un )n≥0 une suite de scalaires (réels ou complexes). On se propose de donner un sens à la somme
infinie
u0 + u1 + · · · + un + · · ·
A cette fin, on forme les sommes partielles S n = u0 + u1 + · · · + un et on étudie la limite de la suite (S n )n≥0 .
Définition 1.2 (Convergence et divergence d’une série)
Soit (un )n≥0 une suite d’éléments de K (=R ou C), et pour chaque n ∈ N, soit
S n = u0 + u1 + · · · + un
la somme des n + 1 premiers termes de cette suite. On appelle série de terme général un , notée par un ,
P
la suite (un , S n )n∈N . S n s’appelle la somme partielle de rang n de cette série.
P
On convient de dire que la série un est convergente (CV, en abrégé), si la suite (S n )n≥0 admet une limite
(dans K). En cas de convergence, la limite S B lim S n s’appelle la somme de la série et Rn = S − S n
n→∞
s’appelle le reste de rang n de cette série. a On note :
∞
 n 
X X 
un B lim S n = lim  uk  = S . (1.1)
n→∞ n→∞
n=0 k=0
P
Si (S n )n≥0 n’admet pas de limite (ou admet une limite infinie), on dit que la série un est divergente
(DV, en abrégé).
Le fait pour une série de converger ou de diverger s’appelle la nature de cette série.
a. Rn est l’erreur commise en remplaçant S par S n . Notez que le reste n’est défini que pour les séries convergentes.
P
Remarque 1.2.1. — On peut considèrer des séries un dont le terme général un n’est défini qu’à
partir d’un certain rang n0 . On se ramène à la situation de la définition précèdente, en convenant
X∞
que uk = 0 si k < n0 . Lorsque la série obtenue converge, sa somme est notée par un .
P n=n 0
— Avec la convention ci-dessus, le reste de rang n d’une série convergente un peut s’écrire :
n≥n0
∞
X
Rn = S − Sn = uk , (1.2)
k=n+1
et on a lim Rn = 0.
n→∞
2 Boussouis Brahim
1.1. Généralités
P
Étudier une série un ,
— c’est d’abord déterminer sa nature : convergence ou divergence;
— puis, étudier le comportement de la suite (S n )n≥0 des sommes partielles en cas de divergence;
— ou déterminer la valeur exacte ou approchée de la somme et obtenir des renseignements sur la
vitesse de convergence vers 0 de la suite des restes de rang n en cas de convergence.
Dans ce cours, on se limitera essentiellement à la détermination de la nature d’une série numérique.
Proposition 1.3
Soient (un )n≥0 et (vn )n≥0 deux suites de scalaires. Si ces deux suites ne diffèrent que par un nombre fini
P P
de termes, alors les séries un et vn sont de même nature. Autrement dit, on ne modifie pas la nature
P
de la série un en changeant un nombre fini de termes (par contre, on modifie la somme de cette série
en cas de convergence).
n
X
Démonstration. Par hypothèse, il existe un rang n0 tel que un = vn , pour tout n > n0 . Soient Un = uk
k=0
n
X
et Vn = vk . On a alors, pour n> n0 :
k=0
n0
X n
X n0
X
Un − Vn = (uk − vk ) + (uk − vk ) = (uk − vk ) (= constante indépendante de n > n0 ).
k=0 k=n0 +1 k=0
Donc la suite (Un − Vn ) est stationnaire donc convergente; on en déduit que les suites (Un ) et (Vn ) sont
simultanément convergentes ou simultanément divergentes.
Proposition 1.4 (Condition Nécessaire de Convergence)

P
Pour qu’une série un converge, il est nécessaire et non suffisant que son terme général un converge
vers 0.
n
X n−1
X
un converge. Les suites S n = uk et S n−1 =
P
Démonstration. Supposons que la série uk ont alors
k=0 k=0
la même limite S ∈ K. Donc
lim un = lim (S n − S n−1 ) = S − S = 0.

n→∞ n→∞
!
1
Pour voir que la condition n’est pas suffisante, considèrons la série de terme général un = log 1 + ,
n
Xn
n ≥ 1. On a un = log(n + 1) − log n et S n = uk = log(n + 1) −→ +∞, donc la série
P
un diverge,
n−→∞ n≥1
k=1
alors que lim un = 0.
n→∞
Remarque 1.4.1. Logiquement, la proposition précèdente est équivalente à sa contraposée :
3 Boussouis Brahim
P
Si un 6−→ 0, alors la série un diverge.
Pour cette raison, la condition ” lim un = 0” est considèrée comme un test de divergence de la série un :
P
n→∞ P
S’elle n’est pas satisfaite, alors la série un diverge mais la satisfaction de cette condition ne permet pas
de déterminer la nature de la série.
Si le terme général d’une série n’admet pas de limite ou s’il converge vers une limite non nulle, on dit
qu’une telle série diverge grossièrement.
Proposition 1.5 (Linéarité de la somme d’une série)
Soient un et vn deux séries convergentes à termes dans K, et soit λ ∈ K. Alors la série (λun + vn )
P P P
est convergente, et on a :
X∞ ∞
X X∞
(λun + vn ) = λ un + vn .
n=0 n=0 n=0
Démonstration. Immédiate.
1. Si λ ∈ K\{0}, alors les séries un et λun sont de même nature.
P P
Remarque 1.5.1.
2. Si la série un est convergente, alors les séries vn et (un + vn ) sont de même nature; en
P P P
particulier, si la série un est convergente et la série vn est divergente, alors la série (un + vn )
P P P
est divergente.
P P
3. Si les séries un et vn sont divergentes, on ne peut rien affirmer a priori quant à la nature de la
série (un + vn ).
P
Convergence des séries à termes complexes
Proposition 1.6
Soit zn une série à termes complexes et soient xn = <zn et yn = =zn respectivement la partie réelle et la
P
P
partie imaginaire de zn . Alors la série zn converge dans C, si, et seulement si, chacune des deux séries
P P
xn et yn converge dans R, auquel cas, on a :
∞
X ∞
X ∞
X
zn = xn + i yn . (1.3)
n=0 n=0 n=0
n
X n
X n
X n
X n
X
Démonstration. La suite Zn = zk = <(zk ) + i =(zk ) = xk + i yk = Xn + iYn converge
k=0 k=0 k=0 k=0 k=0
si, et seulement si, les suites réelles (Xn )n≥0 et (Yn )n≥0 sont convergentes, et dans ce cas Z = lim Zn =
n→∞
lim Xn + i lim Yn 1
n→∞ n→∞
1. En effet,
|(Xn + iYn ) − (X + iY)|2 = |Xn − X|2 + |Xn − X|2 −→ 0 ⇐⇒ |Xn − X|2 −→ 0 et |Yn − Y|2 −→ 0 .
n→∞ n→∞ n→∞
4 Boussouis Brahim
1.1. Généralités
1.6.1 Premiers Exemples
La série géométrique
La série géométrique de raison r ∈ C et de premier terme a est la série de terme général un = arn . Nous
excluons le cas trivial où a = 0.
Proposition 1.7
arn , a , 0, converge si, et seulement si, |r| < 1 et en cas de convergence, on a :

P
La série géométrique
n≥0
∞
X a
arn = . (1.4)
n=0
1−r
Démonstration. En effet, on a :
(n + 1)a si r = 1,



S n = a 1 + r + r2 + · · · + rn = 

n+1
1−r
a si r , 1.


1−r
a a
Si |r| < 1, alors lim rn = 0 2 et lim S n =
P
, donc la série un converge et sa somme est . Si
n→∞ n→∞ 1−r 1−r
n 3 P
|r| ≥ 1, alors le terme général ar ne tend pas vers 0, donc la série un diverge grossièrement.
Remarque 1.7.1. L’exemple de la série géomètrique montre qu’il n’est pas toujours judicieux d’étudier
séparément les parties réelle et imaginaire d’une série à termes complexes pour déterminer sa nature ou
pour calculer sa somme lorsqu’elle converge.
Séries télescopiques
P
Ce sont les séries de la forme (vn+1 − vn ), où (vn )n≥0 est une suite réelle ou complexe.
Proposition 1.8 (Convergence et somme d’une série télescopique)
P
La série télescopique (vn+1 − vn ) converge si, et seulement si, la suite (vn )n≥0 est convergente et, dans ce
cas, on a :
∞
X
(vn+1 − vn ) = lim vn − v0 (1.5)
k=0
Démonstration. La somme partielle de rang n, S n , se calcule ainsi :

n
X
Sn = (vk+1 − vk ) = vn+1 − v0
k=0
2. Posons un = |r|n . Si |r| < 1, alors (un )n≥0 est décroissante et minorée par 0, donc elle converge vers une limite finie l. Comme
un+1 = |r| · un , on a, en paasant à la limite l = |r| l et par suite l = 0 (car |r| , 1).
3. car |arn | ≥ |a| > 0, pour tout n ∈ N
5 Boussouis Brahim
Donc la suite (S n )n≥0 converge si, et seulement si, la suite (vn )n≥0 est convergente; et dans ce cas, on a
∞
X
lim S n = (vk+1 − vk ) = lim vn+1 − v0 = lim vn − v0
n n n
k=0
1
Exemple 1.8.1. Considèrons, par exemple, la série de terme général un = , n ≥ 1. On a pour
n(n + 1)
n
1 X 1
tout n ≥ 1, un = vn+1 − vn , où vn = − . Donc uk = vn+1 − v1 = − + 1, et par conséquent la série
n k=1
n + 1
P
un converge et l’on a :
∞ !
X 1 1
= lim − + 1 = 1.
n=1
n(n + 1) n→∞ n + 1
La série de l’exponentielle
Proposition 1.9
Pour tout x ∈ R, on a :
∞
X xk
exp x = e x
= . (1.6)
k=0
k!
Démonstration. Si x = 0, il n’y a rien à montrer. Supposons par la suite que x , 0, et utilisons la formule
de Mac-Laurin à l’ordre n + 1 :
n
X xk xn+1 θx
∃θ ∈ ]0, 1[ , e x = + e .
k=0
k! (n + 1)!
On en déduit :
n
X xk |x|n+1 |x|
ex − ≤ e . (1.7)
k=0
k! (n + 1)!
|x|n+1 un+1 |x| un+1

Posons un = > 0. On a = → 0, donc à partir d’un certain rang, < 1, et la
(n + 1)! un n+2 un
suite (un )n≥0 est décroissante; comme elle est positive, elle est convergente. Soit l = lim un . En passant
n→∞
|x|
à la limite dans la relation un+1 = un , on obtient l = 0. En passant à la limite, n → ∞, dans
n+2
l’inégalité (1.7), on obtient la formule (1.6).
Exercice 1. En procèdant comme ci-dessus, démontrer les formules suivantes :
6 Boussouis Brahim
1.1. Généralités
∞
X x2n
∀x ∈ R, ch x = .
n=0
(2n)!
∞
X x(2n+1
∀x ∈ R, sh x = .
n=0
(2n + 1)!
∞
X x2n
∀x ∈ R, cos x = (−1)n .
n=0
(2n)!
∞
X x(2n+1
∀x ∈ R, sin x = (−1)n .
n=0
(2n + 1)!
1.9.1 Séries absolument convergentes

Critère de Cauchy pour les séries
Théorème 1.10 (Critère de Cauchy pour les séries)

P
Pour que la série un converge, il faut et il suffit qu’elle vérifie le critère de Cauchy suivant :
n
X
∀ε ∈ R∗+ , ∃N = N(ε), ∀n > m ≥ N, uk = |um+1 + um+2 + · · · + un | ≤ ε. (1.8)
k=m+1
Démonstration. C’est le critère de Cauchy appliqué à la suite (S n ) des sommes partielles, puisque S n −
Xn
Sm = uk .
k=m+1
Remarque 1.10.1. Le critère de Cauchy donne une condition nécessaire et suffisante de convergence
d’une série numérique sans mentionner la somme de cette série. Dans la pratique, ce critère n’est utilisé
qu’en dernier recours.
1
Exemple 1.10.1. La série harmonique 4 est la série de terme général un = , n ≥ 1. On a :
n
2n 2n
X 1 X 1 n 1
S 2n − S n = ≥n = = ,
k=n+1
k k=n+1
2n 2n 2
donc cette série est divergente car elle ne vérifie pas le critère de Cauchy. La série harmonique est un
autre exemple de série divergente dont terme général converge vers 0.
1
4. La série est dite harmonique car chaque terme un = est la moyenne harmonique des deux termes qui l’encadrent, à savoir
n
1 1
un−1 = et un+1 = :
n−1 n+1
2 1 1
∀n ≥ 2, = + ⇐⇒ 2n = (n − 1) + (n + 1).
un un−1 un+1
7 Boussouis Brahim
Définition 1.11
P P
On dit que la série un est absolument convergente (ACV, en abrégé), si la série |un | est convergente.
Proposition 1.12
P
Pour qu’une série un converge, il suffit qu’elle soit absolument convergente, et lorsque c’est le cas,
alors on a :
∞
X ∞
X
un ≤ |un | . (1.9)
n=0 n=0
P
Démonstration. En effet, si la série |un | est convergente, elle vérifie le critère de Cauchy (comme
condition nécessaire), donc :
n
X n
X
∀ε ∈ R∗+ , ∃N = N(ε), ∀n > m ≥ N, uk ≤ |uk | ≤ ε.
k=m+1 k=m+1
P
Donc la série un vérifie le critère de Cauchy (comme condition suffisante), et par conséquent, elle est
convergente. L’inégalité (1.9) se déduit, par passage à la limite, de l’inégalité triangulaire :
n
X n
X
∀n ∈ N, uk ≤ |uk | .
k=0 k=0
P xn xn |x|n |x|n
Exemple 1.12.1. La série est absolument convergente, pour tout x ∈ C, car = , et sum
n! n! n! n!
converge ’après la proposition 1.9.
Nous verrons plus loin qu’il existe des séries semi-convergentes, c’est-à-dire des séries convergentes qui
ne sont pas absolument convergentes.
1.13 Séries à termes réels positifs

La notion de convergence absolue nous ramène à l’étude des séries à termes réels positifs. Le théorème
suivant est fondamental pour la suite.
8 Boussouis Brahim
1.13. Séries à termes réels positifs
Théorème 1.14
P
Soit un une série à termes réels positifs. Alors la suite (S n )n≥0 de ses sommes partielles est croissante,
et la série converge si, et seulement si, la suite (S n ) est majorée :
∃M ∈ R+ , ∀n ∈ N, S n = u0 + · · · + un ≤ M,
et en cas de convergence, on a :
∞
X
un = supS n .
k=0 n≥0
Démonstration. En effet, pour tout n ∈ N, on a :
S n+1 − S n = un+1 ≥ 0;
donc (S n )n≥0 est une suite réelle croissante et elle converge (vers sa borne supérieure) si, et seulement
si, elle est majorée.
Remarque 1.14.1. Si une série à termes réels positifs un diverge, alors lim S n = +∞. En appliquant
P
n→∞
P1
ce résultat à la série harmonique qui est divergente, on obtient :
n
!
1 1 1
lim 1 + + + · · · + = +∞.
n→∞ 2 3 n
Le calcul approché, sur ordinateur, des sommes partielles de la série harmonique montre que S n tend
“lentement” vers +∞ :
S 109 21.30048150,
S 1012 28.20823687,
S 1020 46.62891752
S 10100 230.8357250 < 1000.
Cet exemple illustre le fait qu’on ne peut pas se fier aux méthodes numériques pour l’étude de la nature
d’une série!
Convention d’écriture : Si une série à termes positifs un converge, on convient d’écrire un < +∞,
P P
et s’elle diverge on écrira un = +∞.
P

Ces conventions ne s’appliquent qu’aux séries à termes positifs.
Critère de condensation de Cauchy
Théorème 1.15 ( Critère de condensation de Cauchy)
2n u2n sont de même nature.

P P
Soit (un )n≥1 une suite décroissante de réels positifs. Alors les séries un et
9 Boussouis Brahim
Démonstration. Posons
vn = 2n u2n ;
n
X
Un = u1 + u2 + · · · + un = uk ;
k=1
n
X
Vn = u1 + 2u2 + · · · + 2n u2n = vk .
k=0
On a :
u2 ≤ u2 ≤ u1
2u4 ≤ u3 + u4 ≤ 2u2
4u8 ≤ u5 + u6 + u7 + u8 ≤ 4u4
............................................
2n u2n+1 ≤ u1+2n + · · · + u2n+1 ≤ 2n u2n
| {z }
2n termes
En sommant ces inégalités, on obtient :
u2 + 2u4 + · · · + 2n u2n+1 ≤ u2 + u3 + · · · + u2n+1 ≤ u1 + 2u2 + · · · + 2n u2n

m
1
2u2 + 4u4 + · · · + 2n+1 u2n+1 ≤ u2 + u3 + · · · + u2n+1 ≤ 20 u20 + 21 u21 + · · · + 2n u2n
2
m
1
(Vn+1 − v0 ) ≤ U2n+1 − u1 ≤ Vn
2
Les suites (Un ) et (Vn ) sont toutes les deux croissantes, les inégalités ci-dessus montrent qu’elles sont si-
P
multanément majorées ou simultanément non majorées. Donc, d’après le théorème 1.14, les séries n≥1 un
P
et vn sont de même nature.
P
Exercice 2. Montrer que , sous les hypothèses du théorème 1.15, la série un est de même nature que
P n
p u pn , où p est un entier ≥ 2.
Séries de Riemann
P 1
Les séries de Riemann sont les séries de la forme , où α est un paramètre réel. On les utilisera, dans
nα
la suite, comme des séries de réfèrence.
Proposition 1.16
P 1
La série de Riemann α
est convergente si, et seulement si, α > 1.
n≥1 n
1
Démonstration. Posons un = α . Si α ≤ 0, alors un ne tend pas vers zéro et la série un diverge
P
n
grossièrement. Si α > 0, alors la suite (un )n≥1 est à termes positifs et décroissante. D’après le critère de
P 1−α n
condensation de Cauchy, la série un est de même nature que la série 2n u2n =
P P
2 . Or la série
P 1−α n
géomètrique 2 converge si, et seulement si, 2 1−α
< 1 ou encore si, et seulement si, α > 1. Donc la
série un converge si, et seulement si, α > 1.
P

10 Boussouis Brahim
1.17. Règles de comparaison
1.17 Règles de comparaison
En utilisant des séries à termes positifs dont on connaît la nature (appelées séries étalons ou séries de
réfèrence), on peut étudier la nature d’autres séries par comparaison avec de tels étalons.
1.17.1 Série majorante, série minorante
Corollaire 1.18
P P
Soient un et vn deux séries à termes réels positifs telles que
∀n ∈ N, un ≤ vn . (1.10)
P P
(i) Si la série majorante vn converge, alors la série un converge, et l’on a :
∞
X ∞
X
un ≤ vn . (1.11)
n=0 n=0
P P
(ii) Si la série minorante un diverge, alors la série vn diverge.
P P
Démonstration. (i). Soient Un (resp. Vn ) la somme partielle de rang n de la série un (resp. vn ).
∞
X
On a pour tout entier n, Un ≤ Vn ≤ lim V p = v p . Donc la suite (Un ) est majorée, et d’après le
p→∞
p=0
∞
X ∞
X
un = lim Un ≤
P
théorème 1.14, la série un converge et vn .
n→∞
n=0 n=0
(ii). s’obtient à partir de (i) par contrapostion.

Remarque 1.18.1. 1. En dehors de l’inégalité (1.11), les résultats du corollaire précèdent restent
valides si l’inégalité (1.10) a lieu seulement à partir d’un certain rang.
2. On en déduit que si un = O(vn ), c’est-à-dire s’il existe M ∈ R+ et N ∈ N tel que
∀n ≥ N, 0 ≤ un ≤ Mvn ,
P P
alors la convergence de vn entraîne celle de un .
3. Pour montrer la convergence d’une série à termes positifs, on recherche une série majorante
convergente.
4. Pour montrer la divergence d’une série à termes positifs, on recherche une série minorante diver-
gente.
e − sin n e − 1
Exemples 1.18.1. 1. On a, pour tout n ≥ 1, un = ≥ > 0. Puisque la série (à termes
n n
P e−1 P
positifs) est divergente, la série un est également divergente.
n≥1 n n≥1
11 Boussouis Brahim
cos n 1 P 1
2. Soit un = . On a, pour tout n ≥ 1, |un | ≤ 2 . Comme la série (de Riemann) est
n2 P n n≥1 n2
convergente, il en résulte que un est une série absolument convergente, donc convergente.
n≥1
Définition 1.19
Soient (un )n≥0 et (vn )n≥0 deux suites réelles ou complexes. On dit que (un )n≥0 et (vn )n≥0 sont équivalentes,
et note un ∼ vn , s’il existe une suite (εn )n≥0 de limite nulle telle que vn = (1 + εn )un
Proposition 1.20 (Règle des équivalents)

P P
Soient un une série à termes positifs à partir d’un certain rang et vn une série à termes réels telles
P P
que un ∼ vn . Alors les séries un et vn sont de même nature.
Démonstration. Soit ε ∈]0, 1[. Puisque un ∼ vn , il existe un entier N tel que, pour tout n ≥ N, on ait
0 ≤ (1 − ε)un ≤ vn ≤ (1 + ε)un . (1.12)
Ainsi la suite (vn ) est une suite à termes positifs (à partir d’un certain rang), (1 + ε)un est une série
P
majorante de vn , et (1 − ε)un est une série minorante de vn . On en déduit que la convergence de
P P P
P P P P
un implique celle de vn et la divergence de u implique celle de vn .
P P
Remarque 1.20.1. Si un est négatif à partir d’un certain rang et un ∼ vn , alors les séries un et vn
sont de même nature. Il suffit alors d’appliquer la proposition précèdente aux suites (−un ) et (−vn ).
!
1 1
Exemple 1.20.1. Posons un = log 1 + − . On a
n n
!
1 1 1
un = − 2 + o 2 ∼ − 2 .
2n n 2n
P 1 P
Comme la série (de Riemann) est convergente, on déduit de la remarque ci-dessus, que un est
n2
convergente.
Proposition 1.21 (Sommation des équivalents)

P P
Soient un une série à termes positifs etvn une série à termes réels telles que un ∼ vn .
+∞
X +∞
X
(i) Si les deux séries sont convergentes, alors leurs restes d’ordre n, Rn (u) = uk et Rn (v) = vk ,
k=n+1 k=n+1
sont équivalents.
n
X
(ii) Si les deux séries sont divergentes, alors les sommes partielles d’ordre n, S n (u) = uk et S n (v) =
k=0
n
X
vk sont équivalentes.
k=0
12 Boussouis Brahim
Démonstration. (i). Supposons que les deux séries soient convergentes et montrons que Rn (u) ∼
Rn (v). Soit ε ∈]0, 1[. Il existe un entier N tel que (1 − ε)un ≤ vn ≤ (1 + ε)un , pour tout n ≥ N. En
sommant ces inégalités, on obtient, pour tout n ≥ N :
+∞
X +∞
X +∞
X
(1 − ε) uk ≤ vk ≤ (1 + ε) uk
k=n+1 k=n+1 k=n+1
⇓
(1 − ε)Rn (u) ≤ Rn (v) ≤ (1 + ε)Rn (u).
Donc Rn (u) ∼ Rn (v).

(ii). Supposons, à présent, que les deux séries soient divergentes et montrons que S n (u) ∼ S n (v). En
tenant compte des inégalités (1.12), on peut écrire, pour tout n ≥ N :
n
X n
X n
X
(1 − ε) uk ≤ vk ≤ (1 + ε) uk .
k=N k=N k=N
On en déduit que
(1 − ε)[S n (u) − S N−1 (u)] ≤ S n (v) − S N−1 (v) ≤ (1 + ε)[S n (u) − S N−1 (u)]
Il en résulte que :
(1 − ε)S n (u)−(1 − ε)S N−1 (u) + S N−1 (v) ≤ S n (v) ≤ (1 + ε)S n (u)+S N−1 (v) − (1 + ε)S N−1 (u)
| {z } | {z }
A B
un est divergente et à termes positifs, on a : lim S n (u) = +∞. Donc

P
Notons que, puisque
n→∞
A B
lim = lim = 0.
n→∞ S n (u) n→∞ S n (u)
On en dédui qu’il existe un enteir N 0 > N tel que, pour tout n ≥ N 0 , on ait
S n (v)
1 − 2ε ≤ ≤ 1 + 2ε
S n (u)
S n (v)
Donc lim = 1, ce qui prouve que S n (u) ∼ S n (v).
n→∞ S n (u)

!
1 1 P1
Exemple 1.21.1. Puisque log 1 + ∼ et que la série harmonique est divergente, on déduit de
n n n
la proposition précédente que
n n ! X n
X 1 X 1
log 1 + = log(k + 1) − log k = log(n + 1) ∼ log n.

∼
k=1
k k=1
k k=1
1.21.1 Comparaison avec une série géométrique

Test logarithmique
13 Boussouis Brahim
Proposition 1.22 (Test logarithmique)
P P
Considérons deux séries à termes strictement positifs un et vn telles que
un+1 vn+1
∃N ∈ N, ∀n ≥ N, ≤
un vn
Alors :
P P
1. si vn est convergente, alors un est convergente;
P P
2. si un est divergente, alors vn est divergente.
!
un
Démonstration. La suite est décroissante, ce qui donne les inégalités
vn n≥N
un un uN vN
∀n ≥ N, ≤ ⇒ ∀n ≥ N, 0 < un ≤ vn et 0 < un ≤ vn
vn vN vN uN
La règle de comparaison donne le résultat.
Test de D’Alembert
Lemme 1.23
P
Soit un une série à termes strictement positifs.
un+1
(i) Si, à partir d’un certain rang, reste inférieur ou égal à un nombre fixe k plus petit que 1, alors
un
la série est convergente.
un+1
(ii) Si, à partir d’un certain rang, est supérieur ou égal à 1, alors la série diverge grossièrement.
un
Démonstration. (i). Supposons qu’ à partir d’un certain rang on ait :

un+1
≤ k < 1.
un
un+1
Soit vn = kn . On a 0 < k < 1, donc la série géométrique vn est convergente. Comme ≤k=
P
un
vn+1 P
, il résulte du test logarithmique que la série un est convergente.
vn
un+1
(ii). Supposons qu’à à partir d’un certain rang N, est supérieur ou égal à 1. On en déduit que la
un
suite (un )n≥N est croissante; donc un ≥ uN > 0, pour tout n ≥ N. Il en résulte que un ne tend pas
P
vers 0 et que la série un diverge grossièrement.

Dans la pratique, on utilise plutôt la règle suivante dûe à D’Alembert.
14 Boussouis Brahim
Théorème 1.24 (Test de D’Alembert)
un+1
existe (dans R+ =
P
Soit un une série à termes strictement positifs tels que la limite l := lim
n→∞ un
[0, +∞]).
(i) si l < 1 , alors la série
P
un converge.
(ii) si l > 1 , alors un tend vers +∞ et la série
P
un diverge (grossièrement).
(iii) si l = 1 , on ne peut pas conclure (cas douteux).
un+1
Démonstration. (i). Si l < 1, on choisit un réel k tel que l < k < 1. Puisque lim < k, il existe un
n→∞ un
rang N tel que
un+1
∀n ≥ N, < k.
un
P
D’après le lemme 1.23, la série un converge.
un+1
(ii). Si l > 1, on choisit k tel que 1 ≤ k < l. Puisque k < lim , il existe un rang N tel que
n→∞ un
un+1
∀n ≥ N, > k.
un
P
D’après le lemme 1.23, la série un diverge grossièrement.
1 un+1
(iii). Posons un = . On a, pour tout α ∈ R, lim = 1. Mais la série un converge pour α > 1
P
nα n→∞ un
et diverge pour α ≤ 1.

Exemples 1.24.1. 1. Soit un = nα xn , où α ∈ R et x > 0. On a :

!α
un+1 1
lim = lim 1 + x = x.
n→∞ un n→∞ n
un converge, pour tout α ∈ R, si 0 < x < 1; et elle diverge, pour tout α ∈ R,

P
Donc la série
n≥1
si x > 1. Si x = 1, la série
P
un est une série de Riemann, et elle converge si, et seulement
n≥1
si, α < −1.
2. Soit un la série à termes positifs dont le terme général est défini par u2n = u2n+1 = 4−n , n ∈ N.
P
un+1
La série un est convergente (car 0 ≤ un ≤ 2−n , pour tout entier n), mais
P
n’admet pas de
un
limite !
Test de Cauchy
15 Boussouis Brahim
Lemme 1.25
P
Soit un une série à termes positifs.
√
(i) Si, à partir d’un certain rang, n un reste inférieur ou égal à un nombre fixe k plus petit que 1, alors
la série est convergente.
√
(ii) Si n un est supérieur ou égal à 1, pour une infinité d’indices, alors la série diverge grossièrement.
√
Démonstration. (i). Supposons qu’ à partir d’un certain rang on ait n un ≤ k < 1. Alors, on a aussi
un ≤ kn . Comme la série géométrique kn est convergente, il en résulte que un est également
P P
convergente.
√
(ii). Si n un ≥ 1, pour une infinité d’indices, alors un ≥ 1, pour une infinité d’indices, et par consé-
P
quent un ne tend pas vers 0 et la série un diverge grossièrement.

Dans la pratique, on utilise surtout la règle suivante dûe à Cauchy.
Théorème 1.26 (Test de Cauchy)
√
un une série à termes positifs telle que la limite l := lim n un existe (dans [0, +∞]).
P
Soit
n→∞
(i) Si l < 1 , alors un converge;

P
(ii) Si l > 1 , alors un diverge grossièrement;

P
(iii) Si l = 1 , on ne peut pas conclure (cas douteux).
Démonstration. (i). Si l < 1, on choisit un réel k tel que l < k < 1. Il existerait un rang N à partir
√
duquel on aurait n un < k. Donc un est convergente d’après la proposition (i) du lemme 1.25.
P
(ii). Si l > 1, on choisit k de telle façon que 1 < k < l. Il existerait un rang N à partir duquel on aurait
√
k < n un . Donc un diverge grossièrement d’après la proposition (ii) du lemme 1.25.
P
1 √
(iii). Soit un = α . On a, pour tout α ∈ R, lim n un = 1; mais un converge pour α > 1 et diverge
P
n n→∞
pour α ≤ 1.

!2n
2n − 1
Exemple 1.26.1. Soit un = xn , x ≥ 0. On a :
n+1
!2
√ 2n − 1
lim n un = lim x = 4x.
n→∞ n→∞ n + 1
1 1 1
Donc si 0 ≤ x < , la série un converge et si x > , cette série diverge grossièrement . Si x = , on a :
P
4 4 4
16 Boussouis Brahim
1
2n − 1
!2n
2n − 1 1− 3
!
log un = log = 2n log = 2n log 2n ∼ 2n − = −3.
2n + 2 2n + 2 1 2n
1+
n
Donc lim un = e−3
P
, 0, et par conséquent, la série un diverge grossièrement.
n→∞
Comparaison des tests de D’Alembert et de Cauchy
Proposition 1.27
!
un+1
Soit (un )n≥0 une suite de réels strictement positifs telle que la suite admette une limite l ∈
√ un n≥0
[0, +∞]. Alors la suite n un admet également l pour limite.
n≥1
P (l − ε)n P un
Démonstration. Commençons par le cas où 0 < l < +∞. Soit ε ∈ ]0, l[. Les séries et
un (l + ε)n
convergent d’après le test de D’Alembert. Donc leurs termes généraux tendent vers 0, et par suite il existe
N ∈ N tel que
(l − ε)n
!
un √
∀n ≥ N, ≤1 et ≤ 1 ⇒ ∀n ≥ N, l − ε ≤ n un ≤ l + ε.
un (l + ε)n
√
Donc lim n un = l.
n→∞
P un
Si l = 0, on utilise seulement la série pour trouver un entier N tel que, pour tout n ≥ N, on ait
(l + ε)n
un √
≤ 1 ⇒ n un ≤ l + ε = ε.
(l + ε)n
√
Donc lim n un = l = 0.
n→∞
P An
Si l = +∞, on considère un réel A > 0 quelconque. En utilisant la série et en raisonnant comme
un
précèdemment, on peut trouver un entier N tel que, pour tour n ≥ N, on ait :
An √
≤ 1 ⇒ A ≤ n un .
un
√
Ceci étant fait pour tout A > 0, on en déduit que lim n un = +∞ = l.
n→∞
√n
Exemple 1.27.1. La proposition précèdente permet, dans certains cas, de calculer la limite de un . Soit,
s
(n!)2 √ (n!)2
par exemple, vn = . On a vn = n un , où un =
n
. Or,
(2n + 1)! (2n + 1)!
un+1 (n + 1)2 1
= −→ ,
un (2n + 2)(2n + 1) n−→∞ 4
1
donc lim vn = .
n→∞ 4
17 Boussouis Brahim
Remarque 1.27.1. 1. On déduit de la proposition précèdente que si on rencontre le cas douteux du
test de D’Alembert, alors il est inutile d’essayer le test de Cauchy qui conduirait, lui aussi, au cas
douteux. !
√ un+1
2. La suite unn
peut admettre une limite sans que la suite en admette une. C’est le
n≥1 un n≥0
cas de la suite (un )n≥0 définie par :

6 p
 si n = 2p
un = 

2 · 6 p si n = 2p + 1

On a
√
si n = 2p
1
 6 
si n = 2p
√n un+1 

 
un =  =

1 p 2

et

un 1
2 2p + 1 · 6 2p + 1 si n = 2p + 1 si n = 2p + 1


 



3
√ √ un+1
On a lim n un = 6 mais n’admet pas de limite.
n→∞ un
Règle de Duhamel
Lorsqu’on ne peut pas conclure à partir du test de D’Alembert, la règle suivante peut être utile.
Théorème 1.28 (Règle de Duhamel)
Soit (un )n≥0 une suite de réels positifs telle que
β
!
un+1 1
=1− +o (β = constante);
un n n
1. si β > 1, alors la série

P
un est convergente;
2. si β < 1, alors la série
P
un est divergente.
1 β+1
Démonstration. Soit vn = , où α = . On a :
nα 2
un+1 vn+1 1 − β
!
1
− = +o .
un vn 2n n
un+1 vn+1 1−β un+1 vn+1
Si β > 1, alors α > 1, > 0 à partir d’un
P
vn est convergente, − ∼ , donc −
un Pvn 2n un vn <
certain rang et d’après le test logarithmique, la série un est convergente.
un+1 vn+1 1−β un+1 vn+1
Si β < 1, alors α < 1, vn est divergente, > 0 à partir d’un
P
− ∼ , donc −
un Pvn 2n un vn
certain rang et d’après le test logarithmique, la série un est divergente.
1 · 3 · 5 · · · (2n − 1)
Exemples 1.28.1. 1. Soit un = . On a
2 · 4 · ·6 · · · (2n)
!
un+1 1 1
=1− +o .
un 2n n
18 Boussouis Brahim
P
donc la série un diverge.
2. lorsque β = 1, on ne peut pas conclure. Voir page 22.
1.28.1 Comparaison avec une série de Riemann

Les tests de Cauchy et de D’Alembert résultent de la comparaison d’une série à termes positifs avec une
série géométrique. Ces deux tests sont en fait assez grossiers. Ils ne permettent de prouver la convergence
d’une série que si son terme général “tend plus rapidement” vers 0 que le terme général d’une série géo-
mètrique; et ils ne permettent de prouver la divergence d’une série que si celle-ci diverge grossièrement.
Par contre, la comparaison avec une série de Riemann permet d’obtenir des tests plus fins.
Proposition 1.29 (Règle de nα un )
un une série à termes positifs. On suppose que la limite lim nα un = l existe dans R+ .
P
Soit
n→∞
(i) Si l = 0 , alors un converge lorsque α > 1;

P
(ii) Si l = +∞ , alors un diverge lorsque α ≤ 1;

P
(iii) Si 0 < l < ∞ , alors un converge si, et seulement si, α > 1.

P
!
1 1 P 1
Démonstration. (i). Dans ce cas, un est négligeable devant , donc un = O et est conver-
nα nα nα
gente.
1 1 P 1
(ii). Dans ce cas, α
est négligeable devant un , donc α = O(un ) et est divergente.
n n nα
l P P l
(iii). Dans ce cas, α est équivalente à un , donc les séries un et sont de même nature.
n nα

1
Exemple 1.29.1. Soit un = . L’exposant qui est au dénominateur tend vers 1 lorsque n tend vers
1
2−cos
n n
+∞, on va étudier la limite de nun . On a :
!
1 log n log n
 
1 
cos

− 1 log n − +o
−1

cos

2 2n2
nun = n n =e n = e 2n

−→ 1.
n−→+∞
P
Donc la série un est divergente.
n≥1
1.29.1 Comparaison avec une intégrale
Théorème 1.30
Z ∞ f : [0, +∞[ → R+ une fonction positive décroissante. Alors la série

P
Soit f (n) et l’intégrale impropre
f (t) dt sont de même nature.
0
19 Boussouis Brahim
Démonstration. Rappelons qu’une fonction monotone Z ∞ est Riemann-intégrable sur les intervalles com-
pacts. De plus, comme f est positive, l’intégrale f (t) dt est convergente si, et seulement si, la fonction
Z x 0
R n
x 7→ f (t) dt est majorée 5 , ou encore si, et seulement si, la suite 0 f (t) dt est majorée.
n≥0
0
D’autre part, puisque f est décroissante sur [k, k + 1], on a :
∀t ∈ [k, k + 1], f (k + 1) ≤ f (t) ≤ f (k)
Donc Z k+1 Z k+1 Z k+1

f (k + 1) = f (k + 1) dt ≤ f (t) dt ≤ f (k) dt = f (k). (1.13)
k k k
y y
f (0)
f (1) f (1) f (x)

f (2) f (x)
f (3) (4) f (2) f (3) f (4)
0 1 2 4 1 2 3 4 5 x
3 x 0
Et en sommant ces dernières inégalités, on obtient :

n−1
X n
X Z n n−1
X
f (k + 1) = f (k) ≤ f (t) dt ≤ f (k).
k=0 k=1 0 k=0
n
X
Soit S n = f (k); on a donc :
k=0 Z n
S n − f (0) ≤ f (t) dt ≤ S n − f (n) ≤ S n .
0
On en déduit que :
R∞ R n P
f (t) dt CV ⇒ f (t) dt majorée ⇒ (S n )n≥0 majorée ⇒ f (n) CV.
R0∞ R0n n≥0 P
0
f (t) dt DV ⇒ 0
f (t) dt non majorée ⇒ (S n )n≥0 non majorée ⇒ f (n) DV.
n≥0

Remarques 1.30.1. 1. Le théorème 1.30 reste valable en supposant que f est positive et décrois-
sante seulement à partir d’un certain rang.
2. Lorsqu’il y a convergence, en sommant les inégalités (1.13) de k = n à l’infini, on obtient l’enca-
drement suivant :
X∞ Z ∞ ∞
X
f (k + 1) ≤ f (t) dt ≤ f (k).
k=n n k=n
5. Notez l’analogie avec la convergence des séries à termes positifs
20 Boussouis Brahim
D’où l’encadrement du reste Rn :
Z ∞ ∞
X Z ∞
f (t) dt ≤ Rn = f (k) ≤ f (t) dt. (1.14)
n+1 k=n+1 n
3. En cas de divergence, on a :
Z n n
X
f (t) dt ∼ f (k). (1.15)
0 k=0
Z ∞ Z n
En effet, si l’intégrale f (t) dt est divergente, alors lim S n = lim f (t) dt = +∞ et
0 n→∞ n→∞ 0
Rn
f (0) 0
f (t) dt
1− ≤ ≤ 1.
Sn Sn
Rn
f (t) dt Z n
Donc lim 0
= 1, et par suite S n ∼ f (t) dt.
n→∞ Sn 0
1
Exemple 1.30.1. En appliquant la formule (1.15) à la fonction t 7→ α , où 0 < α ≤ 1, on obtient les
t
équivalents suivants :
n n
n1−α
Z " #
X 1 dt 1 1
α
∼ = − 1 ∼ , si 0 ≤ α < 1. (1.16)
k=1
k 1 tα 1 − α nα−1 1−α
n Z n
X 1 dt
∼ = log n, si α = 1. (1.17)
k=1
k 1 t
Séries de Bertrand
1
, où α, β ∈ R. Notez que les séries de Riemann sont un cas
P
Ce sont les séries de la forme
nα log n β
n≥2
particulier des séries de Bertrand (β = 0).
Proposition 1.31
1
converge si, et seulement si, ou bien α > 1 ou bien α = 1 et β > 1.
P
La série
n≥2 nα log n β
1 1 γ
β est à termes positifs. Posons un = α et vn = n un . On a
P
Démonstration. La série
n≥2 nα log n n log n β

+∞ si γ > α;

lim vn = 

n→∞ 0
 si γ < α.
— si α > 1, on choisit γ tel que α > γ > 1. D’après la régle 1.29, la série un converge;
P
— si α < 1, on choisit γ tel que α < γ < 1. D’après la régle 1.29, la série un diverge;
P
21 Boussouis Brahim
1
— si α = 1, considèrons f (t) = , t ≥ 2. f est positive et décroissante à partir d’un certain
t(log t)β
log t + β
rang ( f 0 (t) = − 2 < 0 pour t assez grand); donc la série f (n) est de même nature que
P
β+1
Z t (log t)
∞
l’intégrale f (t) dt. Or
2
Z ∞ Z ∞
u=log t du
f (t) dt = converge ⇐⇒ β > 1.
2 log 2 uβ

Exemple 1.31.1. lorsque β = 1, on ne peut pas conclure à partir de la règle de Duhamel. Ainsi pour
1 1
un = et vn = , on a
n n log2 n
!−1 !
un+1 1 1 1
= 1+ =1− +o
un n n n
!−1 !2
vn+1 1 log n
= 1+
vn n log(n + 1)
 2
 
" !# 
1 1  log n

= 1− +o

 ! 
n n  1 
 log n + log 1 + 
n
 2
 
" !# 
1 1  1

= 1− o

 ! 
n n  1 1
1 + +o


n log n n log n
" !# " !#
1 1 2 1
= 1− +o 1− +o
n n n log n n log n
!
1 1
= 1− +o
n n
!
un+1 un+1 1 1
= = 1− +o
P P
Donc , alors que la série un diverge et la série vn converge (série de
un un n n
Bertrand convergente).
Remarque 1.31.1. Puisqu’on connaît la nature des séries de Bertrand, on peut les utiliser comme des
séries étalons : en comparant une série à termes positifs à une série de Bertrand (via le test logarithmique,
ou un équivalent, etc . . . ), on peut, dans certains cas, déduire la nature de cette série. Par exemple :
1 1
— un = √
P
∼ 2
, donc la série un est convergente.
n + 1 log
2 2
n n log n
log log n
— un = . On a :
n log2 n

log log n
un = lim = 0.
3/2
lim n log n
n→∞ n→∞ log n 1/2

22 Boussouis Brahim
Donc, il existe un entier N ≥ 3 tel que:
1
∀n ≥ N, 0 < un < .
n log n 3/2
P 1 P
Comme la série de Bertrand est convergente, on en déduit que la série un est
n log n 3/2

convergente.
1.31.1 Applications
La constante d’Euler γ
On veut montrer que la suite

1
xn = 1 + 1/2 + · · · + − log n,
n
admet une limite finie notée γ (et appelée constante d’Euler).
P
Soit la série un définie par :
u1 = x1 = 1,
∀n ≥ 2, un = xn − xn−1
1
= − log n − log(n − 1)
n
1 1
= + log 1 −
n n!
1 1
= − 2 +o 2 .
2n n
P
Ce qui montre la convergence de la série un et donc la convergence de la suite (xn )n . On a alors :
∞ ∞
X X 1 1
γ := lim xn = un = 1 − log − ≈ 0, 5772156649 . . .
n
n=1 n=2
1 − 1/n n
1 1
1+ + · · · + = log n + γ + o(1). (1.18)
2 n
1 1
Remarque 1.31.2. La formule (1.18) précise la relation (1.17) ( 1 + + · · · + ∼ log n ), obtenue à
2 n n→∞
partir d’une comparaison avec une intégrale.
La formule (faible) de Stirling
La formule de Stirling donne un équivalent de n! au voisinage de +∞ :

√
n! ∼ nn e−n 2πn. (1.19)
23 Boussouis Brahim
Posons xn = n! n−(n+1/2) en , yn = log xn = log n! − (n + 1/2) log n + n et pour n > 1, un = yn − yn−1 . On a :
1 1
un =1 + n − log 1 −
2 n !
1 1 1 1 1
= 1+ n− − − 2 − 3 +o 3
2 n 2n 3n n
!
1 1 1 1 1
= 1 + −1 − − + + +o 2
2n 3n2 2n 4n2 n
!
1 1
= − +o 2 (1.20)
12n2 n
Ce développement limité montre que un ∼ −1/(12n2 ); la série√ un converge, la suite (yn )n admet une
P
limite λ et xn = eyn tend vers l = eλ > 0. On démontre que l = 2π.
1.32 Séries à termes quelconques
Définition 1.33
On appelle série semi-convergente toute série convergente non absolument convergente.
Nous allons donner deux règles qui permettent d’établir la convergence de telles séries et nous en donne-
rons des exemples.
1.33.1 Séries alternées
Définition 1.34
P
On appelle série alternée une série à termes réels un telle que un un+1 ≤ 0, pour tout entier n, c’est-à-dire
soit un = (−1) vn avec vn ≥ 0, pour tout n ∈ N; soit un = (−1)n+1 vn avec vn ≥ 0, pour tout n ∈ N.
n
P (−1)n P cos n
Par exemple, est une série alternée et n’en est pas une.
n n
Théorème 1.35 (Critère spécial des séries alternées)

P
Soit un une série alternée telle que la suite (|un |) tend vers zéro en décroissant. Alors :
P
— un est convergente;
X∞
— Rn = uk et un+1 sont de même signe;
k=n+1
X∞
— |Rn | = uk ≤ |un+1 |.
k=n+1
24 Boussouis Brahim
1.32. Séries à termes quelconques
Démonstration. Supposons, par exemple, un = (−1)n vn avec vn = |un | et (vn ) décroissante de limite nulle.
n
X
Soit S n = uk . On a :
k=0
S 2n+2 − S 2n = u2n+2 + u2n+1 = v2n+2 − v2n+1 ≤ 0 ⇒ (S 2n ) &

S 2n+1 − S 2n−1 = u2n+1 + u2n = −v2n+1 + v2n ≥ 0 ⇒ (S 2n+1 ) %
S 2n+1 − S 2n = u2n+1 = −v2n+1 −→ 0;
Donc les suites (S 2n ) et (S 2n+1 ) sont adjacentes et convergent vers la même limite S ; on en déduit que
P
(S n )n≥0 est convergente de limite égale à S et que un est convergente de somme S . De plus, on a :
∀n ∈ N, S 2n+1 ≤ S ≤ S 2n ,
∀n ∈ N, 0 ≥ R2n = S − S 2n ≥ S 2n+1 − S 2n = u2n+1 ,
∀n ∈ N, 0 ≤ R2n+1 = S − S 2n+1 ≤ S 2n+2 − S 2n+1 = u2n+2 .
On en déduit que, pour tout entier p, R p ≤ u p+1 et que R p est du même signe que u p+1 .
P (−1)n
Exemples 1.35.1. 1. La série harmonique alternée est semi-convergente : elle est conver-
n
P (−1)n
gente, d’après le critère spécial des séries alternées, mais est une série de Riemann
n
divergente.
(−1)n 1 (−1)n
2. Posons un = √ + et vn = √ . On a :
n n n
— un ∼ vn ,
P
— vn converge (par le critère spécial des séries alternées),
P
— un diverge (somme d’une série convergente et d’une série divergente).
Donc la règle des équivalents ne marche pas pour des séries réelles à signes variables ou pour des
séries à termes complexes non réels!
1.35.1 Règle d’Abel

Commençons par établir le lemme suivant.
Lemme 1.36 (Transformation dAbel)
Soient (an )n≥0 et (bn )n≥0 deux suites à termes réels ou complexes. Alors, on a :
q
X q−1
X
an bn = Aq bq − A p−1 b p + An (bn − bn+1 ), a
(1.21)
n=p n=p
n
X
où p et q sont deux entiers tels que 1 ≤ p < q et où An B ak .
k=0
Rq q
Rq
a. Notez l’analogie avec une intégration par parties : p
a(x)b(x) dx = [A(x)b(x)] p − p
A(x)b0 (x) dx, où A est une primitive de
a.
25 Boussouis Brahim
Démonstration. Soient q et p deux entiers tels q > p ≥ 1. On remplace an par An − An−1 , pour écrire :
q
X q
X
an bn = (An − An−1 )bn
n=p n=p
q
X q
X
= An bn − An−1 bn
n=p n=p
q
X q−1
X
= An bn − An bn+1
n=p n=p−1
q−1
X
= Aq bq − A p−1 b p + An (bn − bn+1 )
n=p
Théorème 1.37 (Règle d’Abel)
un une série à termes réels ou complexes telle que un = an bn . On suppose que

P
Soit
n
X
1. la suite (An )n≥0 est bornée, où An = ak ,
k=0
2. (bn )n≥0 est une suite décroissante de réels positifs telle que lim bn = 0,
n→∞
P
Sous ces conditions, la série un est convergente.
Démonstration. On déduit de la transformation d’Abel (1.21), que :
q
X q−1
X
an bn ≤ Aq bq + Aq−1 b p + sup |An | (bn − bn+1 )
n=p n∈N n=p
 q−1

 X 
≤ sup |An | bq + b p +
 (bn − bn+1 ) = 2b p sup |An | −→ 0.
n∈N n∈N p−→∞
n=p
P
Donc la série un vérifie la critère de Cauchy, et par suite elle est convergente.
Remarque 1.37.1. 1. La règle d’Abel généralise le critère spécial des séries alternées. En posant
Xn
an = (−1)n , on remarque que les sommes partielles An = ak sont bornées, donc la série
k=0
(−1)n bn converge si la suite (bn )n≥0 converge vers zéro en décroissant.
P
P
2. On dit qu’une suite numérique (bn )n≥0 est à variation bornée si la série |bn+1 − bn | est conver-
X ∞
gente, le nombre |bn+1 − bn | s’appelle la variation totale de (bn )n≥0 . En reprenant la démons-
n=0 P
tration ci-dessus, on voit que la série an bn est convergente sous les hypothèses suivantes :
Xn
(a) la suite (An )n≥0 est bornée, où An = ak ,
k=0
(b) (bn )n≥0 est à variation bornée et de limite nulle.
26 Boussouis Brahim
1.32. Séries à termes quelconques
Application aux séries trigonométriques
Théorème 1.38
Soient (an )n≥0 et (bn )n≥0 deux suites réelles décroissantes et convergentes vers 0. Alors la série trigono-
a0 X
métrique + (an cos nx + bn sin nx) converge pour tout x . 0[2π].
2 n≥1
n
X n
X
Démonstration. Soient x ∈ R\2πZ, Un = cos kx et Vn = sin kx. On a :
k=1 k=1
n
X eix − ei(n+1)x
Un + iVn = eix =
k=1
1 − eix

eix einx/2 e−inx/2 − einx/2
=
eix/2 e−ix/2 − eix/2

eix einx/2 (−2i sin nx/2)

=
eix/2 (−2i sin x/2)
sin nx/2 i(n+1)x/2
= e
sin x/2
On en déduit que :
sin nx/2 · cos(n + 1)x/2 1

|Un | = ≤ .
sin x/2 |sin x/2|
sin nx/2 · sin(n + 1)x/2 1
|Vn | = ≤ .
sin x/2 |sin x/2|
On termine la démonstration en utilisant la règle d’Abel.
27 Boussouis Brahim
Récapitulatif
P
Pour étudier la nature d’une série numérique un , on procède comme suit :
P
1. la suite (un )n≥0 converge-t-elle vers 0? Si la réponse est non, alors un diverge grossièrement;
sinon, on passe à l’étape suivante.
2. les un sont-ils des réels positifs (du moins à partir d’un certain rang)? Si oui, on essaye l’une
des méthodes suivantes :
— majoration (ou minoration) par une série de nature connue;
— test logarithmique;
— test de D’Alembert;
— test de Cauchy;
— règle de Duhamel;
— règle de nα un ;
— règle des équivalents (développements limités);
— comparaison avec une intégrale.
3. si les un sont des réels à signes variables ou bien des complexes (non réels), on regarde si la
série n’est pas absolument convergente (donc convergente); sinon, on essaye d’appliquer le
critère spécial des séries alternées ou la règle d’Abel.
4. Il existe des séries pour lesquelles aucune des méthodes sus-citées n’est applicable; dans un
tel cas, on se débrouille comme on peut!
28 Boussouis Brahim
1.39. Opérations sur les séries
P
Nature de un ?
NON P
un −→ 0? un DVG : FIN
OUI
-majoration (ou minoration) par une série de nature connue;
-Test logarithmique;
Les un sont ≥ 0 à partir d’un certain rang? OUI
-Test de D’Alembert
-Test de Cauchy
-Règle de nα un ;
NON
-Règle des équivalents;
P
|un | CV? -Comparaison avec une intégrale.
OUI NON
P
un CV : FIN un = an bn ?
OUI
NON
On essaye le critère spcial des séries alternées

On se débrouille : FIN
ou la règle d’Abel : FIN
1.39 Opérations sur les séries
Théorème 1.40
un ,
P P
L’ensemble des séries numériques convergentes est un K-espace vectoriel; et si vn sont deux
séries convergentes et si λ ∈ K, alors (λun + vn ) est convergente et l’on a :
P
∞
X ∞
X ∞
X
(λun + vn ) = λ un + vn .
n=0 n=0 n=0
1.40.1 Produit de Cauchy de deux séries
29 Boussouis Brahim
Définition 1.41
P P
Soient un et vn deux séries numériques, et soit
n
X X
wn = uk vn−k = ui v j , (n ∈ N).
n=0 i+ j=n
P P P
La série wn s’appelle la série produit (de Cauchy) des séries un et vn .
Théorème 1.42
P P P P P
Soient un et vn deux séries absolument convergente. Alors la série produit wn de un et vn
P P
est absolument convergente et sa somme est le produit des sommes de un et vn :
∞
∞  ∞ 
X X  X 
wn =  un  ×  vn . (1.22)
n=0 n=0 n=0
Démonstration. Posons
n
X n
X n
X
Un = uk , Vn = vk , Un0 = |uk | ;
k=0 k=0 k=0
X∞ X∞ X∞
U = uk , V = vk , U0 = |uk | ;
k=0 k=0 k=0
Xn Xn
= = ui v j , Wn0 = |wk | .
P
Wn wk
i+ j≤n
k=0 k=0
Quelque soit n, on a :
n

n X
  n  n 
X X  X X  X 
Wn0 = |ui | v j  = |ui | v j =  |ui |  v j  ≤ U 0 V 0

|wk | ≤ 
k=0 k=0 i+ j=k i+ j≤n i=0 j=0
Donc les somme partielles Wn0 sont majorées et il en résulte que la série wn est absolument convergente
P
X∞
(donc convergente). Soit W = wn . Posons :
n=0
n o
Cn = ~0, n2 et T n = (i, j) ∈ N2 : i + j ≤ n .
On a :
X X X
Wn = ui v j , Un Vn = ui v j , W2n = ui v j .
(i, j)∈T n (i, j)∈Cn (i, j)∈C2n
Comme Cn ⊂ T 2n ⊂ C2n , on peut écrire :
30 Boussouis Brahim
N
2n
C2n
T 2n
n
Cn
Tn
0 n 2n N
X X
|W2n − Un Vn | = ui v j − ui v j
(i, j)∈T 2n (i, j)∈Cn
X
= ui v j
(i j)∈T 2n \Cn
X
≤ |ui | v j
(i j)∈C2n \Cn
 2n   2n   n  n 
X  X  X  X
v j  = U2n
 0 0
≤  |ui |  v j  −  |ui | 
   V2n − Un0 Vn0
i=0 j=0 i=0 i=0
En passant à la limite dans cette inégalité, on obtient :
|W − UV| ≤ U 0 V 0 − U 0 V 0 = 0.
Donc W = UV.
Remarque 1.42.1. Il existe un théorème (difficile à démontrer) dû au mathématicien allemand Mertens

P
qui assure la convergence de la série produit wn et la validité de la formule (1.22) si l’une des deux
P P
séries un ou vn est absolument convergente et l’autre est convergente.
n
(−1)n X
Exercice 3. Soient un = vn = √ et wn =
P P
uk vn−k . Montrer que wn est divergente (alors que un
n k=1
P
et vn sont toutes les deux convergentes).
31 Boussouis Brahim
1.42.1 Sommation par paquets (ou regroupement des termes)
Soient p0 < p1 < · · · < pn < · · · une suite strictement croissante d’entiers naturels. A partir de la série
P P
un , on peut former la série vn définie par :
v0 = u 0 + · · · + u p0 ;
v1 = u1+p0 + · · · + u p1 ;
........................
vn = u1+pn−1 + · · · + u pn .
P P
On dit que les vn est une série de paquets (ou de tranches) de la série un .
Théorème 1.43
P P
Si la série un est convergente, alors vn est convergente et admet la même somme :
∞
X ∞
X
un = vn .
n=0 n=0
n
X n
X
Démonstration. En effet, soient Un = uk et Vn = vk . On a Vn = U pn , donc (Vn )n≥0 est une sous-suite
k=0 k=0
de (Un )n≥0 qui est convergente. Donc (Vn )n≥0 est convergente et admet la même limite que (Un )n≥0 .
La réciproque est fausse en général, comme le montre le contre-exemple suivant : soit un = (−1)n et
p = 2n + 1. On a alors v0 = v1 = · · · = vn = 0, pour tout n, donc la série vn est convergente, alors que
P
Pn
un est divergente.
Cependant, la réciproque est vraie dans certains cas particuliers.
Théorème 1.44
P P
La convergence de la série vn entraîne celle de un dans chacun des cas suivants :
(i) les un sont tous positifs;
h i
(ii) lim u pn + u1+pn + · · · + u pn+1 = 0.
n→∞
(iii) lim un = 0 et la longueur des paquets est bornée : ∃M > 0, ∀n ∈ N, pn+1 − pn ≤ M.
n→∞
Démonstration. On garde les notations de la démonstration précèdente.

(i) Dans ce cas, la suite (Un )n≥0 est croissante et admet une sous-suite U pn qui est convergente, donc elle
converge.
X∞
(ii) Posons S = vn . A tout entier n, on associe le plus petit entier k = kn tel que pk ≤ n < pk+1 . On a
n=0
32 Boussouis Brahim
alors :
Un − S = u0 + · · · + un − S
Vk
 
z 
= u0 + · · · + u pk+1 −S  − un+1 + · · · + u pk+1
}| {
|Un − S | ≤ |Vk − S | + |un+1 | + · · · + u pk+1

≤ |Vk − S | + u pk + u1+pk + · · · + u pk+1 −→ 0.
n−→∞
(iii) C’est un cas particulier de (ii), puisque dans ce cas
u pn + u1+pn + · · · + u pn+1 ≤ (1 + pn+1 − pn ) × sup u j ≤ (1 + M)sup u j −→ 0.

j>pn j>pn n−→∞

Remarque 1.44.1. Soit (un )n≥1 une suite décroissante de réels positifs et posons vn = u2n−1 +1 + · · · + u2n .
On a, pour tout j ∈ ~2n−1 + 1, 2n :
u2n ≤ u j ≤ u2n−1
En sommant ces inégalités (au nombre de 2n − 2n−1 = 2n−1 ), on obtient :
1 n
2 u2n ≤ vn ≤ 2n−1 u2n−1 .
2n−1 u2n =
2
Donc 2n u2n est de même nature que la série des paquets vn , et cette dernière est de même nature que
P P
P
u , car les u sont positifs. On retrouve ainsi le critère 1.15 de condensation de Cauchy : les séries
P n P n n
un et 2 u2n sont de même nature (voir page 9).
1.44.1 Convergence commutative

n
X
Dans une somme finie de scalaires uk , on peut changer l’ordre des termes uk sans changer la valeur de
k=0
la somme :
n
X n
X
uk = uσ(k) ,
k=0 k=0
où σ est une permutation de l’ensemble ~0, n. Cette propriété ne subsiste plus lorsqu’on considère des
P (−1)n+1
sommes infinies. Considèrons, par exemple, la série (qui converge d’après le critère spécial
n≥1 n
des séries alternées) et notons par S sa somme :
∞
X (−1)n+1 1 1 1 1
S = =1− + − + − ···
n=1
n 2 3 4 5
P (−1)n+1
On construit une nouvelle série, faite des mêms termes que la série , de la façon suivante : on
n≥1 n
P (−1)n+1
prend 2 termes positifs de la série , puis un terme négatif, puis 2 termes positifs, suivis d’un
n≥1 n
terme négatif et ainsi de suite. Pour montrer que la nouvelle série converge, on forme la série des paquets
! ! !
1 1 1 1 1 1 1 1
1+ − + + − + ··· + + − + ···
3 2 5 7 4 4n − 3 4n − 1 2n
33 Boussouis Brahim
On a : !
1 1 1 1
+ − =O 2
4n − 3 4n − 1 2n n
Ainsi la série des paquets converge; comme le terme général de la série étudiée tend vers 0 et que la
longueur des paquets est bornée (par 3), la série étudiée est convergente; soit Σ sa somme :
1 1 1 1 1
Σ=1+ − + + − + ···
3 2 5 7 4
Soit S n (resp. Σn ) la somme partielle d’ordre n de la première série (resp. de la deuxième série) et soit
n
X 1
Hn = . On a :
k=1
k
1 1 1 1 1
S 2n = 1− + − + ··· + −
2 3 4 !2n − 1 2n !
1 1 1 1 1 1 1
= 1 + + + ··· + −2 + + + ··· +
2 3 2n 2 4 6 2n
= H2n − Hn ;
!
1 1 1 1 1 1 1
Σ3n = 1 + + + · · · + + − + + ··· +
3 5 4n − 3 4n − 1 2 4 2n
! ! !
1 1 1 1 1 1 1 1 1
= 1 + + + ··· + − + + ··· + − + + ··· +
2 3 4n 2 4 4n 2 4 2n
1 1
= H4n − H2n − Hn
2 2
En utilisant la relation : Hn = log n + γ + o(1), où γ est la constante d’Euler (voir page 23), on en déduit
que
= lim S 2n = lim log(2n) − log n + o(1) = log 2;

S
n→∞ n→∞
!
1 1 3
Σ = lim Σ3n = lim log(4n) − log(2n) − log n + o(1) = log 2.
n→∞ n→∞ 2 2 2
∞
X (−1)n+1
Donc la somme infinie S = change en changeant l’ordre des termes. Introduisons la définition
n=1
n
suivante.
Définition 1.45
On dit que la série un est commutativement convergente si, et seulement si, pour toute permutation σ
P
P P
de N, la série uσ(n) est convergente et admet la même somme que un . En particulier, une série qui est
commutativement convergente est convergente (ce qui correspond à σ = idN ).
Lemme 1.46
Une série à termes positifs est commutativement convergente si, et seulement si, elle est convergente.
34 Boussouis Brahim
Démonstration. Supposons que la série à termes positifs un soit convergente. Soit σ : N → N une
P
P
bijection. La série uσ(n) est une série à termes positifs dont les sommes partielles sont majorées par
X∞
un ; donc elle converge et de plus,
n=0
∞
X ∞
X
uσ(n) ≤ un .
n=0 n=0
En échangeant les rôles de un et uσ(n) ( ce qui revient à appliquer σ−1 à la dernière série), et en
P P
reprenant le raisonnement précèdent, on obtiendrait
∞
X ∞
X
un ≤ uσ(n) .
n=0 n=0
∞
X ∞
X
Donc uσ(n) = un ; la réciproque est triviale.
n=0 n=0
Théorème 1.47
Toute série numérique (à termes réels ou complexes) absolument convergente est commutativement
convergente.
P
Démonstration. Commençons par le cas d’une série à termes réels xn qui est absolument convergente.
Pour chaque réel x, on associe sa partie positive x+ = sup(x, 0) et sa partie négative x− = sup(−x, 0). On
a alors :
x = x+ − x− et |x| = x+ + x− .
On a pour tout n, 0 ≤ xn+ , xn− ≤ |xn |, donc les séries à termes positifs xn+ et xn− sont convergentes. 6
P P
D’après le lemme 1.46, ces deux séries sont commutativement convergentes : pour toute permutation σ
P + P −
de N, les séries xσ(n) et xσ(n) sont convergentes et leurs sommes ne dépendent pas de la permutation
σ. Soient
∞
X ∞
X X∞ ∞
X
+
s1 = xσ(n) = xn+ e s2 = −
xσ(n) = xn− .
n=0 n=0 n=0 n=0
P P
La série xσ(n) est donc convergente et sa somme est s1 − s2 . Il est clair que xn converge et a pour
P
somme s1 − s2 . Ainsi xn est commutativement convergente.
P P
Soit maintenant une série zn à termes complexes absolument convergente. Alors les séries <zn et
P
=zn sont deux séries réelles absolument convergentes, donc commutativement convergentes, et par
P
suite zn est commutativement convergente.
P
Remarque 1.47.1. Un théorème (difficile) dû à Riemann affirme que si un est une série à termes réels
semi-convergente, alors pour tout réel S donné d’avance, il existe une permutation σ de N telle que la
série uσ(n) soit convergente et sa somme est égale à S ; de plus, il existe deux permutations τ et χ de N
P
telles que
n
X n
X
lim uτ(k) = +∞ et lim uχ(k) = −∞.
n→∞ n→∞
k=0 k=0
Il en résulte la réciproque du théorème 1.47 est également vraie.
P
6. Donc la série xn est convergente. On retrouve ici une nouvelle démonstration du fait qu’une série réelle absolument conver-
gente est convergente, qui n’utilise pas le critère de Cauchy.
35 Boussouis Brahim
Chapitre 2
Suites et Séries de Fonctions
Sommaire
Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
2.1 Suites de Fonctions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
2.1.1 Convergence simple et uniforme d’une suite de fonctions . . . . . . . . . . . . 37
Interprétation géométrique de la convergence uniforme . . . . . . . . . . . . . 40
Plan d’étude d’une suite de fonctions . . . . . . . . . . . . . . . . . . . . . . 40
Critère de Cauchy uniforme . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
Norme de la convergence uniforme . . . . . . . . . . . . . . . . . . . . . . . 43
2.8.1 Propriétés de la convergence uniforme . . . . . . . . . . . . . . . . . . . . . . 44
Voisinage d’un point et adhèrence d’un ensemble . . . . . . . . . . . . . . . . 44
Convergence uniforme et limite . . . . . . . . . . . . . . . . . . . . . . . . . 45
2.10.1 Intégrabilité et limite . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
Rappels d’intégration . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
Intégrale et limite uniforme . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
Dérivabilité et limite . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48
2.13.1 Théorème de Weierstrass . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50
Polynômes de Bernstein . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50
2.17 Séries de Fonctions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
2.24.1 Conditions suffisantes de convergence uniforme pour les séries de fonctions . . 55
Convergence normale (ou test de Weierstrass) . . . . . . . . . . . . . . . . . . 55
Tableau récapitulatif . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56
Régle d’Abel uniforme . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56
Fonction ζ de Riemann . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
Introduction
Soient ( fn )n≥0 une suite de fonctions définies sur le même sous-ensemble A ⊂ K à valeurs dans K (=R ou
C). Sous certaines conditions, on peut construire deux autres fonctions numériques f et S définies sur A
par :
∀x ∈ A, f (x) := lim fn (x);
n→∞
X∞
∀x ∈ A, S (x) := fn (x).
n=0
36
2.1. Suites de Fonctions
On s’intéresse au “passage à la limite“ de certaines propriétés des fonctions fn . Voici quelques questions
que nous allons étudier dans ce chapitre :
1. Sachant que les fn sont continues (resp. bornées, resp. dérivables, resp. intégrables,. . . ) sur A, est-
ce-que les fonctions f et S sont continues (resp. bornées, resp. dérivables, resp. intégrables,. . . )
sur A ?
2. Sous quelles conditions a-t-on l’une des égalités suivantes :

lim lim fn (x) = lim lim fn (x) ,
x→x0 n→∞ n→∞ x→x0
X∞
lim S (x) = lim fn (x),
x→x0 x→x0
n=0
Z Z
lim fn (x) dx = f (x) dx,
n→∞ A A
Z ∞ Z
X
S (x) dx = fn (x) dx,
A n=0 A
f 0 (x) = lim fn0 (x),

n→∞
X∞
S 0 (x) = fn0 (x)?
n=0
2.1 Suites de Fonctions

2.1.1 Convergence simple et uniforme d’une suite de fonctions
Définition 2.2 (Convergence simple d’une suite de fonctions)
On dit que la suite de fonctions ( fn )n≥0 converge simplement sur A, (CVS, en abrégé), si et seulement

si, pour tout x ∈ A, la suite numérique fn (x) converge dans K. Dans ce cas, pour tout x ∈ A, on note

f (x) la limite de la suite fn (x) et on dit que la suite ( fn )n≥0 converge simplement sur l’ensemble A vers
la fonction f :
∀x ∈ A, f (x) = lim fn (x) (2.1)
n
Ce qui se traduit par :
∀x ∈ A, ∀ε > 0, ∃N = N(ε, x) ∈ N, ∀n ∈ N, (n ≥ N ⇒ | f (x) − fn (x)| ≤ ε). (2.2)
Remarques 2.2.1. — On notera que, dans la proposition 2.2, l’entier N dépend à la fois de x et de
ε.
— Il est clair que si ( fn )n≥0 converge simplement vers f sur A, f est unique (car, pour tout x ∈ A, la
limite lim fn (x) est unique). f est appelée la limite simple de la suite ( fn )n≥0 sur A.
n→∞
Exemple 2.2.1. On prend A = [0, 1] et fn (x) = xn . On a :


0 si 0 ≤ x < 1,

f (x) := lim fn (x) = 

n→∞ 1 si x = 1

37 Boussouis Brahim
Chapitre 2: Suites et Séries de Fonctions
Donc ( fn )n≥0 CVS vers f sur A.
Proposition 2.3
La limite simple d’une suite ( fn )n≥0 de fonctions croissantes (resp.décroissantes, resp. convexes) sur un
intervalle I ⊂ R est croissante (resp. décroissante, resp. convexe) sur I.
Démonstration. si les fn sont croissantes : soient x, y ∈ I tels que x < y. On a, pour tout n ∈ N,
fn (x) ≤ fn (y). En passant à la limite, on obtient
f (x) = lim fn (x) ≤ lim fn (y) = f (y).

n→∞ n→∞
Donc f est croissante. Si les fn sont décroissantes, alors les fonctions − fn sont croissantes, donc
− f = lim (− fn ) est croissante et par suite f est croissante.
n→∞
si les fn sont convexes : soient x, y ∈ I et soit λ ∈ [0, 1]. En passant à la limite dans les inégalités :
∀n ∈ N, fn (λx + (1 − λ)y) ≤ λ fn (x) + (1 − λ) fn (y),
on obtient :
f (λx + (1 − λy) ≤ λ f (x) + (1 − λ) f (y).
Donc f est convexe.

Dans l’exemple 2.2.1, on remarque que les fn sont toutes continues en 1, alors que la limite f ne l’est pas.
Pour cette raison, on introduit une autre notion de convergence, plus contraignante que la convergence
simple, qui garantit la continuité de la limite d’une suite de fonctions.
Définition 2.4 (Convergence uniforme d’une suite de fonctions)
On dit que la suite ( fn ) converge uniformément sur A vers f (CVU, en abrégé), si et seulement si,
lim sup | fn (x) − f (x)| = 0. (2.3)

n→∞ x∈A
Ce qui se traduit par :
∀ε > 0, ∃N = N(ε) ∈ N, ∀n ≥ N(ε), sup | fn (x) − f (x)| ≤ ε

x∈A
m
∀ε > 0, ∃N = N(ε) ∈ N, ∀n ≥ N(ε), ∀x ∈ A, | fn (x) − f (x)| ≤ ε. (2.4)
Il est clair que la convergence uniforme entraîne la convergence simple, mais la réciproque est fausse,
comme le montre l’exemple 2.2.1 : dans cet exemple, ( fn )n≥0 converge simplement vers f sur A, mais
sup | fn (x) − f (x)| = 1 6−→ 0.

x∈A n−→∞
38 Boussouis Brahim
39 Boussouis Brahim
Pour voir directement que la condition (2.4) n’est pas vérifiée, cherchons, pour 0 < ε < 1 et pour chaque
x ∈ [0, 1] le plus petit entier N(ε, x) tel que :
∀n ≥ N(ε, x), | fn (x) − f (x)| ≤ ε.

Si x ∈ {0, 1}, alors | fn (x) − f (x)| = 0 ≤ ε, pour tout entier n; si 0 < x < 1, alors
log ε log ε
!
| fn (x) − f (x)| = xn ≤ ε ⇐⇒ n log x ≤ log ε ⇐⇒ n ≥ ⇐⇒ n ≥ E .
log x log x
log ε
!
Le meilleur N(ε, x) que l’on puisse prendre est E si 0 < x < 1. On constate que sup N(ε, x) = +∞,
log x 0≤x≤1
donc on ne peut pas prendre le même entier N pour tous les x ∈ A, autrement dit ( fn )n≥0 ne converge pas
uniformément vers f sur A.
Interprétation géométrique de la convergence uniforme
y = f (x) + ε
,n≥N
y = fn (x)
y = f (x) − ε
On suppose que A est un intervalle de R et que les fn et f sont à valeurs réelles. Dire que ( fn )n≥0 converge
uniformément vers f sur A, c’est dire que pour tout ε > 0, il existe un rang N = N(ε) à partir duquel le
graphe de fn est contenue dans la “bande (ou le couloir)” B = {(x, y) ∈ A × R : f (x) − ε < y < f (x) + ε},
déterminée par les graphes de f + ε et de f − ε.
Plan d’étude d’une suite de fonctions

On commence par étudier la convergence simple : pour chaque x ∈ A fixé, on étudie la suite numérique
( fn (x)). Dans le cas où cette suite converge, on définit f : A → K par f (x) = lim fn (x).
n→∞
Pour montrer la convergence uniforme, on peut
— soit chercher une suite (αn )n≥0 indépendante de x et de limite nulle telle que
∀n ∈ N, ∀x ∈ A, | fn (x) − f (x)| ≤ αn .
— soit calculer directement la suite Mn = sup | fn (x) − f (x)| (lorsque c’est possible!).
x∈A
40 Boussouis Brahim
Pour montrer que ( fn )n≥0 ne converge pas uniformément vers f sur A, on peut utiliser la proposition
suivante :
Proposition 2.5
La suite ( fn )n≥0 converge uniformément vers f sur A si, et seulement si, pour toute suite (xn )n≥0 d’éléments
de A, on a :
lim | fn (xn ) − f (xn )| = 0.
n→∞
Démonstration. La condition est nécessaire, puisque
0 ≤ | fn (xn ) − f (xn )| ≤ sup | fn (x) − f (x)| −→ 0.

x∈A n−→∞
Donc lim | fn (xn ) − f (xn )| = 0.

n→∞
Montrons que la condition est suffisante. En utilisant la définition de la borne supérieure, on dispose pour
tout n ∈ N, d’un point xn ∈ A tel que
1
0 ≤ sup | fn (x) − f (x)| ≤ | fn (xn ) − f (xn )| + −→ 0.
x∈A n + 1 n−→∞
Donc lim sup | fn (x) − f (x)| = 0, et par suite ( fn )n≥0 converge uniformément vers f sur A.
n→∞ x∈A
x+n
Exemples 2.5.1. 1. Soit fn (x) = , x ∈ R. On a, pour tout x ∈ R,
n + nx2
!
x 1 1
lim fn (x) = lim + = f (x) B .
n→∞ n→∞ n(1 + x )2 1+x 2 1 + x2
D’autre part,
1 |x| 1
. ≤ αn B=
∀x ∈ R, | fn (x) − f (x)| = .
n 1 + x2 2n
Comme lim αn = 0, on en déduit que ( fn )n≥0 converge uniformément vers f sur R.
n→∞
2. Soit fn (x) = x(1 − x)n , x ∈ [0, 1]. Il est facile de voir que ( fn )n≥0 converge simplement vers la
fonction nulle sur [0, 1]. D’autre part, fn0 (x) = (1 − x)n−1 [1 − (n + 1)x].
1
x 0 1
n+1
fn0 (x) + 0 -
Mn
fn (x)
0 0
Figure 2.1 – Tableau de variations de fn
41 Boussouis Brahim
Donc, en étudiant les variations de fn , on obtient :
! !−n
1 1 1
Mn = sup | fn (x)| = fn = 1+ −→ 0,
0≤x≤1 n+1 n+1 n n−→∞
et par suite ( fn )n≥0 converge uniformément vers f sur [0, 1].

x2n
3. Soit fn (x) = , x ∈ R. On a :
1 + x2n




0 si |x| < 1,
f (x) := lim fn (x) =  si |x| > 1,


1
n→∞ 

si |x| = 1.

1/2

On remarque ici que

!2n
1
1−
e−2
! ! !
1 1 1 n
fn 1 − − f 1− = fn 1 − = −→ , 0.
1 + e−2
n n n !2n n−→∞
1
1+ 1−
n
Donc ( fn )n≥0 ne converge pas uniformément vers f sur R.
Critère de Cauchy uniforme
Théorème 2.6 (Critère de Cauchy uniforme)
Soit ( fn )n≥0 une suite de fonctions numériques définies sur un ensemble A. Alors ( fn )n≥0 converge unifor-
mément sur A si, et seulement si, elle satisfait le critère suivant :
∀ε > 0, ∃N = N(ε), ∀n, m ≥ N, ∀x ∈ A, | fm (x) − fn (x)| ≤ ε. (2.5)
Démonstration. La condition est nécessaire : si ( fn )n≥0 converge uniformément sur A vers une fonction
f , alors pour tout ε > 0, il existe N = N(ε) tel que
∀n, m ≥ N, ∀x ∈ A, | fm (x) − f (x)| ≤ ε/2

⇓
∀n, m ≥ N, ∀x ∈ A, | fm (x) − fn (x)| ≤ | fm (x) − f (x)| + | f (x) − fn (x)| ≤ ε/2 + ε/2 = ε.
Donc ( fn )n≥0 vérifie le critère de Cauchy uniforme.

Supposons maintenant que la condition (2.5) est vérifée. On en déduit que, pour tout x ∈ A, la suite ( fn (x))
est de Cauchy dans K qui est complet, donc la limite f (x) := lim fn (x) existe.
n→∞
On fixe à présent ε > 0, n ≥ N(ε), x ∈ A et on fait tendre m vers l’infini dans la condition (2.5) :
∀ε > 0, ∃N = N(ε), ∀n ≥ N, ∀x ∈ A, | f (x) − fn (x)| ≤ ε.
Donc ( fn )n≥0 converge uniformément vers f sur A.
42 Boussouis Brahim
Norme de la convergence uniforme
Soit B(A, K) le K-espace vectoriel des fonctions bornées définies sur A à valeurs dans K. on vérifie
facilement que l’application k.k∞ : B(A, K) → R+ définie par:
k f k∞ = sup | f (x)|
x∈A
est une norme sur B(A, K), appelée norme de la convergence uniforme.
Proposition 2.7
La limite uniforme f d’une suite ( fn )n≥0 de fonctions bornées sur A est bornée sur A.
Démonstration. En effet, il existe N ∈ N tel que sup | f (x) − fN (x)| ≤ 1, donc f − fN est bornée sur A et
x∈A
par suite f = ( f − fN ) + fN est également bornée sur A.
Remarque 2.7.1. La limite simple d’une suite de fonctions bornées peut ne pas être bornée, comme le
montre l’exemple suivant :
 1
n si 0 < x < n



fn (x) = 

 1 1
si ≤ x ≤ 1



x n
fn
0 1
1
n
1
On a 0 ≤ fn (x) ≤ n, pour tout x ∈ ]0, 1], mais f (x) = lim fn (x) = n’est pas bornée sur ]0, 1].
n→∞ x
La proposition suivante justifie l’appellation de norme de la convergence uniforme donnée à k.k∞ .
Proposition 2.8
Soit ( fn )n≥0 une suite d’éléments de B(A, K). Alors ( fn )n≥0 converge uniformément sur A si, et seulement
si, ( fn )n≥0 converge dans l’e.v.n. (B(A, K), k.k∞ ).
43 Boussouis Brahim
Démonstration. En effet,
! !
( fn )n≥0 CVU vers f sur A ⇐⇒ f ∈ B(A, K) et lim k fn − f k∞ = 0
n→∞
!
lim fn = f dans l’e.v.n. B(A, K), k.k∞

⇐⇒
n→∞
2.8.1 Propriétés de la convergence uniforme

Voisinage d’un point et adhèrence d’un ensemble
Commençons par rappeler la définition d’un point adhèrent à une partie.
Définition 2.8.1. 1. Soit a ∈ R. On appelle voisinage de a toute partie V de R contenant un inter-

valle ouvert contenant a.
2. On appelle voisinage de +∞ (resp. −∞) toute partie V de R contenant un intervalle de la forme
]A, +∞[ (resp. ] − ∞, A[), où A est un nombre réel.
3. Soit a ∈ C. On appelle voisinage de a toute partie V de C contenant un disque ouvert centré en
a:
V ∈ V(a) ⇐⇒ ∃r > 0, D(a, r) B {z ∈ C |z − a| < r} ⊂ V.
L’ensemble des voisinages d’un point a est noté par V(a).
Exemples 2.8.1. 1. Un intervalle ouvert est voisinage de chacun de ses points. De même, un disque
ouvert est voisinage de chacun de ses points.
2. R+ est un voisinage de +∞.
Définition 2.8.2. Soient A une partie de K (= R ou C) et a ∈ K. On dit que a est adhèrent à A, et on

note a ∈ A, si, et seulement si, A rencontre tout voisinage de a :
a ∈ A ⇐⇒ ∀V ∈ V(a), V ∩ A , ∅.
L’ensemble A des points adhèrents à A est appelé adhèrence de A.
Exemple 2.8.1. Soit A = ]1, +∞[ , alors 1 et +∞ sont adhèrents à A. De même, si A = z ∈ C : =(z) > 0 et <(z) > 0 ,

alors l’origine 0 est adhèrente à A (faites un dessin). Notez que les points de A sont tous adhèrents à A,
mais l’ahérence de A peut contenir des points n’appartenant pas à A (par exemple, 1 est adhèrent à
]1, +∞[).
L’avantage d’introduire les notions de voisinage et de point adhèrent est de pouvoir exprimer la notion de
limite d’une fonction d’une manière générale qui englobe tous les cas possibles.
Proposition 2.8.1. Soient f une application définie sur une partie A ⊂ K à valeurs dans K,a un point
adhèrent à A et l ∈ K ∪ ±∞. Alors
lim f (x) = l ⇐⇒ ∀V ∈ V(l), ∃W ∈ V(a), f (W ∩ A) ⊂ V. (2.6)

x→a
Démonstration. En exercice. Distinguer tous les cas possibles (a ∈ K, l ∈ K, a = ±∞ et l = ±∞).
44 Boussouis Brahim
Convergence uniforme et limite
Théorème 2.9 (d’interversion des limites)
Soient ( fn )n≥0 une suite de fonctions numériques définies sur A ⊂ K et a ∈ A (ie. a est un point adhèrent
à A). On suppose que :
(i) ( fn )n≥0 converge uniformément sur A vers une fonction f : A → K,
(ii) pour tout n ∈ N, la limite ln = lim fn (x) existe (dans K);
x→a
x∈A
Alors (ln )n≥0 admet une limite et f admet une limite en a et l’on a :
 
lim ln = lim f (x) ⇐⇒ lim lim fn (x) = lim lim fn (x) .
 
n→∞ x→a n→∞ x→a x→a n→∞
x∈A x∈A x∈A
Démonstration. Puisque ( fn )n≥0 converge uniformément sur A, elle vérifie le critère de Cauchy uniforme :
∀ε > 0, ∃N = N(ε), ∀n, m ≥ N, ∀x ∈ A, | fm (x) − fn (x)| ≤ ε. (2.7)
On fixe ε, N, et m, n ≥ N, et on fait tendre x vers a dans l’inégalité (2.7); à la limite on obtient :
∀ε > 0, ∃N = N(ε), ∀n, m ≥ N, |lm − ln | ≤ ε. (2.8)
Donc (ln )n≥0 est une suite numérique qui est de Cauchy, donc elle est convergente; soit l := lim ln .
n→∞
On obtient, après un passage à la limite (m → ∞), dans les inégalités (2.8) et (2.7),
∀ε > 0, ∃N ∈ N, ∀n ≥ N, |ln − l| ≤ ε. (2.9)

∀ε > 0, ∃N ∈ N, ∀n ≥ N, ∀x ∈ A, | fn (x) − f (x)| ≤ ε. (2.10)
D’autre part, puisque lim fN (x) = lN , il existe un voisinage V ∈ V(a) tel que
x→a
x∈A
∀x ∈ V ∩ A, | fN (x) − lN | ≤ ε. (2.11)
On en déduit que
∀ε > 0, ∃W ∈ V(a), ∀x ∈ W ∩ A , | f (x) − l| ≤ | f (x) − fN (x)| + | fN (x) − lN | + |lN − l| ≤ 3ε

m
∀V ∈ V(l), ∃W ∈ V(a), f (W ∩ A) ⊂ V.
Donc lim f (x) = l.

x→a
x∈A
Corollaire 2.10
Soit ( fn )n≥0 une suite de fonctions numériques définies sur A qui converge uniformément sur A vers une
fonction f . On suppose que les fn sont continues en un point a ∈ A. Alors f est continue en a.
45 Boussouis Brahim
Remarque 2.10.1. Si une suite de fonctions qui sont continues en un point a ∈ A converge simplement
vers une fonction non continue en a, alors la convergence n’est pas uniforme sur A. C’est ainsi que dans
l’exemple 2.2.1, les fn sont toutes continues en 1, alors que f ne l’est pas, donc ( fn )n≥0 ne converge pas
uniformément sur [0, 1] vers f .
2.10.1 Intégrabilité et limite

Rappels d’intégration
Rappelons brièvement la construction de l’intégrale de Riemann à l’aide des sommes de Darboux (
Consultez votre cours de première année pour plus de détails). Soit f : [a, b] → R une fonction bor-
née. A toute subdivision σ = (ai )0≤i≤n de [a, b], on associe les sommes :
i=n
X i=n
X
d( f, σ) = mi ∆ai ; D( f, σ) = Mi ∆ai ,
i=1 i=1
où mi = inf f (x) et Mi = sup f (x) et ∆ai = ai − ai−1 . Alors d( f, σ) (resp. D( f, σ)) est appelée
ai−1 ≤x≤ai ai−1 ≤x≤ai
somme de Darboux inférieure (resp. supérieure) de f , pour la subdivision σ.
Théorème et définition 2.10.1 (Intégrales supérieure et inférieure). Soit f : [a, b] → R une fonction
bornée. Les sommes de Darboux inférieures de f sont majorées, et les sommes de Darboux supérieures
de f sont minorées. Les nombres
Z b
f = sup d( f, σ)
a σ∈Σ
Z b
f = inf D( f, σ)
a σ∈Σ
s’appellent respectivement intégrale inférieure et intégrale supérieure de f sur [a, b], et on a :

Z b Z b
f ≤ f
a a
Définition 2.10.1. Une fonction f : [a, b] → R est dite Riemann-intégrable sur [a, b] si, et seulement
si, elle est bornée et ses intégrales supérieure et inférieure sont égales :
Z b Z b
f = f
a a
Dans ce cas, le nombre

Zb Z b Z b
f B f = f
a a
a
s’appelle l’intégrale de f sur [a, b].

Une fonction f : [a, b] → C est dite Riemann-intégrable sur [a, b],si, et seulement si, ses parties réelle
<( f ) et imaginaire =( f ) sont Riemann-intégrables sur [a, b] et dans ce cas l’intégrale de f sur [a, b] est
Zb Z b Z b
f B <( f ) + i =( f ).
a a
a
46 Boussouis Brahim
Intégrale et limite uniforme
Théorème 2.11
Soient ( fn )n≥0 une suite de fonctions Riemann-intégrables sur un segment [a, b] de R. On suppose que
( fn )n≥0 converge uniformément sur [a, b] vers une fonction f . Alors f est Riemann-intégrable sur [a, b]
et on a : Z b Z b Z b
lim fn (x) dx = f (x) dx = lim fn (x) dx.
n→∞ a a a n→∞
Démonstration. En considèrant les parties réelle et imaginaire des fn et de f , on se ramène au cas où

les fn et f sont à valeurs réelles. Pour montrer l’intégrabilité de f , on va montrer que f est bornée et ses
intégrales supérieure et inférieure sont égales. f est bornée sur [a, b] car c’est la limite uniforme d’une
suite de fonctions bornées sur [a, b]. D’autre part, soit ε > 0. Il existe N ∈ N tel que pour tout entier
n ≥ N et pour tout x ∈ [a, b], on ait :
fn (x) − ε ≤ f (x) ≤ fn (x) + ε.
On en déduit les inégalités suivantes entre les intégrales supérieure et inférieure:

Z b Z b Z b Z b Z b Z b
( fn − ε) = fn − ε(b − a) ≤ f ≤ f ≤ ( fn + ε) = fn + ε(b − a).
a a a a a a
Donc
Z b Z b
∀ε > 0, 0 ≤ f− f ≤ 2ε(b − a).
a a
Rb Rb
On en déduit que a
f = a
f et que f est Riemann-intégrable. De plus,
Z b Z b Z b
∀n ≥ N, fn − ε(b − a) ≤ f ≤ fn + ε(b − a),
a a a
Z b Z b
ce qui montre que lim fn (x) dx = f (x) dx.
n→∞ a a
Z x Z x
Remarque 2.11.1. 1. Soient Fn (x) = fn (t) dt et F(x) = f (t) dt, a ≤ x ≤ b. On a, pour tout
a a
x ∈ [a, b] :
Z x Z x Z b
|Fn (x) − F(x)| = | fn (t) − f (t)| dt ≤ (b−a) sup | fn (t) − f (t)| .

fn (t) − f (t) dt ≤ | fn (t) − f (t)| dt ≤
a a a a≤t≤b
Donc sup |Fn (x) − F(x)| ≤ (b − a) sup | fn (t) − f (t)| −→ 0, et par conséquent la suite (Fn )n≥0
a≤x≤b a≤t≤b n−→∞
converge uniformément vers la fonction F sur [a, b].
2. Si une suite ( fn )n≥0 de fonctions intégrables sur [a, b] converge simplement vers une fonction in-
Z b Z b
tégrable sur [a, b] et si lim fn (x) dx , f (x) dx, alors on peut dire que ( fn )n≥0 ne converge
n→∞ a a
47 Boussouis Brahim
pas uniformément vers f sur [a, b]. Considèrons, par exemple, la suite ( fn )n≥0 de fonctions repré-
sentées ci-dessous :
Il est clair que ( fn )n≥0 converge simplement vers 0 sur [0, 1] et que
Z 1
1 1
fn (x) dx = aire du triangle hachuré = × 2n × = 1 6−→ 0.
0 2 n n−→∞
Donc ( fn )n≥0 ne converge pas uniformément vers 0 sur [0, 1].
2n
fn
0 1 1
1
2n n
Dérivabilité et limite
On vient de voir que la convergence uniforme sur [a, b] permet d’intégrer, mais elle ne permet pas de
dériver, comme le montre l’exemple suivant. Soit ( fn )n≥1 la suite de fonctions dérivables sur R définies
par :
r
1
fn (x) = x2 + .
n
On a, pour tout réel x, lim fn (x) = |x| = f (x). De plus, pour tout x ∈ R, on a :
n→∞
1/n 1/n 1
| fn (x) − f (x)| = r ≤ = √
1 1 n
x2 + + |x| √
n
n
CVU
Donc lim sup | fn (x) − f (x)| = 0 et ( fn )n≥1 −→ f sur R, mais f n’est pas dérivable en 0, bien que fn0

n→∞ x∈R n≥1
converge simplement sur R :





 −1 si x < 0
lim fn (x) = 
0
si x = 0

0

n→∞ 

+1

 si x > 0
48 Boussouis Brahim
Lemme 2.12
Soient I un intervalle borné de R et ( fn )n≥0 une suite de fonctions dérivables sur I. On suppose que
(i) la suite des dérivées fn0 converge uniformément sur I vers une fonction g : I → K;

(ii) Il existe un point x0 ∈ I tel que la suite numérique ( fn (x0 )) soit convergente.
Alors la suite ( fn )n≥0 converge uniformément sur I vers une fonction f : I → K; de plus f est dérivable
sur I et f 0 = g : 0
∀x ∈ I, lim fn (x) = lim fn0 (x).
n→∞ n→∞
Démonstration. I étant borné, il existe a, b ∈ R, a < b tels que ]a, b[ ⊂ I ⊂ [a, b]. Soit ε > 0. La suite
( fn (x0 )) vérifie le critère de Cauchy , donc il existe N1 ∈ N tel que
ε
∀m, n > N1 , | fn (x0 ) − fm (x0 ) |≤ .
2
De même, la suite fn0 vérifie le critère de Cauchy uniforme, donc il existe N2 ∈ N tel que

ε
∀m, n > N2 , ∀t ∈ I, | fn0 (t) − fm0 (t) |≤ .
2(b − a)
Soit N = max(N1 , N2 ). Alors
ε
∀m, n > N, | fn (x0 ) − fm (x0 ) | ≤ ;
2
ε
∀m, n > N, ∀t ∈ I, | fn0 (t) − fm0 (t) | ≤ . (2.12)
2(b − a)
Soient x, y ∈ I, et soient m, n > N. Appliquons l’inégalité des accroissements finis à la fonction fn − fm

entre x et y :
ε ε
| ( fn − fm ) (x) − ( fn − fm ) (y) |≤| x − y | sup ( fn − fm )0 (t) ≤ (b − a) = . (2.13)
x<t<y 2(b − a) 2
On en déduit, en prenant y = x0 que :
ε ε
| fn (x) − fm (x) |≤| fn (x0 ) − fm (x0 ) | + | ( fn (x) − fm (x)) − ( fn (x0 ) − fm (x0 )) |≤ + = ε.
2 2
Donc la suite ( fn ) vérifie le critère de Cauchy uniforme, et par suite elle converge uniformément sur I.
Soit f = lim fn . Fixons y ∈ I et posons :
fn (x) − fn (y) f (x) − f (y)

hn (x) = ; h(x) = .
x−y x−y
D’après les inégalités (2.12) et (2.13), on a , pour tout x , y :
ε
| hn (x) − hm (x) |≤ .
2(b − a)
Donc (hn ) converge uniformément sur I\{y}. Comme les fn convergent vers f , on a limn→∞ hn = h. On
utilise alors le théorème d’interversion des limites pour avoir :
49 Boussouis Brahim
lim h(x) = lim lim

x→y x→y
hn (x) = lim fn0 (y)
n→∞ n→∞
x∈I\{y} x∈I\{y}
Ce qui prouve que f est dérivable en y et que f 0 (y) = lim fn0 (y).
n→∞
Remarque 2.12.1. L’hypothèse la plus forte, celle de la convergence uniforme, porte sur la suite des dérivées
fn0 . La convergence uniforme de la suite ( fn )n≥0 ne suffit pas pour que fn0 converge vers f 0 , même en

sin nx
supposant f et les fn dérivables. Soit, par exemple, fn (x) = √ , 0 ≤ x ≤ π/2. On a
n
1
sup | fn (x) |≤ √ −→ 0.
0≤x≤π/2 n
√
Donc ( fn ) converge uniformément vers la fonction nulle sur [0, π/2], alors que fn0 (x) = n cos nx ne
converge en aucun point.
Lorsque l’intervalle I n’est pas borné, on utilise le résultat suivant.
Théorème 2.13
Soient I un intervalle quelconque de R et ( fn )n≥0 une suite de fonctions dérivables sur I. On suppose que
(i) la suite des dérivées fn0 converge uniformément sur toutes les parties bornées de I; (ce qui im-

plique que fn0 converge simplement vers une fonction g : I → K);

(ii) Il existe un point x0 ∈ I tel que la suite numérique ( fn (x0 )) soit convergente.
Alors la suite ( fn )n≥0 converge uniformément sur toute partie bornée de I vers une fonction f : I → K;
de plus f est dérivable sur I et f 0 = g :
0
∀x ∈ I, lim fn (x) = lim fn0 (x).
n→∞ n→∞
Démonstration. On applique le lemme précèdent aux restriction de fn et f aux sous-intervalles [a, b] ⊂

I.
2.13.1 Théorème de Weierstrass

Le théorème de Weierstrass ne fai plus partie du programme d’analyse 4. Néanmoins, je le donne ici pour
compléter votre culture.
Polynômes de Bernstein
n!
Soient n ∈ N∗ et k ∈ N tels que 0 ≤ k ≤ n. Posons bn,k (x) = Cnk xk (1 − x)n−k , où Cnk = .
k!(n − k)!
50 Boussouis Brahim
Définition 2.14
Soit f une fonction numérique continue sur le segment [0, 1] et soit n ∈ N∗ . Le polynôme de Bernstein de
degré ≤ n associé à f est
n ! n !
X k X k k
Bn (x) = Bn ( f ; x) = f bn,k (x) = k
Cn f x (1 − x)n−k .
k=0
n k=0
n
Lemme 2.15
On a les identités suivantes :

n
X
bn,k (x) = 1 (2.14)
k=0
n
X
kbn,k (x) = x (2.15)
k=0
n
X
(k − nx)2 bn,k (x) = nx(1 − x). (2.16)
k=0
Démonstration. En effet, la formule du binôme permet d’écrire :

n
X
∀x ∈ R, (x + 1 − x)n = 1 = Cnk xk (1 − x)n−k .
k=0
D’où la relation (2.14). De même, on a :

n
X
∀x, y ∈ R, ey + 1 − x n = Cnk eky (1 − x)n−k .

(2.17)
k=0
On dérive l’équation (2.17) par rapport à y et on pose ey = x, pour obtenir (2.15); et en dérivant enCore
une fois par rapport à y et en posant ey = x, on obtient :
n
X
nx + n(n − 1)x2 = k2 bn,k (x). (2.18)
k=0
On en déduit la relation (2.16) en faisant la somme des égalités obtenues en multipliant (2.14) par n2 x2 ,
(2.15) par −2nx, et (2.18) par 1 .
Théorème 2.16 ( de Weierstrass)
Soit f une fonction continue sur un segment [a, b] de R. Alors il existe une suite (Pn )n≥0 de fonctions
polynômes qui converge uniformément vers f sur [a, b].
51 Boussouis Brahim
Démonstration. Commençons par le cas où [a, b] = [0, 1]. La fonction f étant continue sur le com-
pact [0, 1], elle y est uniformément continue :
ε
∀ε > 0, ∃η > 0, ∀x, y ∈ [0, 1], |x − y| < η ⇒ | f (x) − f (y)| < . (2.19)
2
En vertu de la relation (2.14), on a :
n " !#
X k
f (x) − Bn (x) = f (x) − f bn,k (x).
k=0
n
Posons
( )
k
I = k ∈ {0, 1, · · · , n} : x − < η ; J = {0, 1, · · · , n}\I; M = sup | f (x)| .
n 0≤x≤1
D’après (2.14) et (2.19)

n
X" εX εX ε
!#
k
f (x) − f bn,k (x) ≤ bn,k (x) ≤ bn,k (x) = .
k∈I
n 2 k∈I 2 k=0 2
X" k
!# X X (k − nx)2 bn,k (x)
f (x) − f bn,k (x) ≤ 2M bn,k (x) = 2M .
k∈J
n k∈J k∈J
(k − nx)2
Mais si k ∈ J, on a (nx − k)2 ≥ n2 η2 , par conséquent

X" k
!# X (nx − k)2 bn,k (x)
f (x) − f bn,k (x) ≤ 2M .
k∈J
n k∈J
n2 η2
n
2M X 2M
≤ (nx − k)2 bn,k (x) = 2 2 nx(1 − x)
n2 η2 k=0 n η
M 1
≤ 2
(car x(1 − x) ≤ , pour tout x ∈ [0, 1]).
2nη 4
Finalement
X" k
!# X" k
!#
| f (x) − Bn (x)| ≤ f (x) − f bn,k (x) + f (x) − f bn,k (x)
k∈I
n k∈J
n
ε M
≤ +
2 2nη2
M
≤ ε si n ≥ .
εη2
Donc la suite de polynômes (Bn )n≥0 converge uniformément vers f sur [0, 1].
Soit g une application numérique continue sur un segment [a, b], a < b; f : x 7→ g(a + (b − a)x) est
une application continue sur [0, 1], donc elle est la limite uniforme, sur [0, 1], de la suite Bn ( f ; x)
de ses polynômes de Bernstein. On en déduit que g est la limite uniforme sur [a, b] de la suite de
fonctions polynômes (Pn )n≥0 définie par
x − a
Pn (x) = Bn f ; .
b−a

52 Boussouis Brahim
2.17. Séries de Fonctions
2.17 Séries de Fonctions
Définition 2.18 (Convergence simple d’une série de fonctions)

P
Soit fn une série de fonctions définies définies sur un ensemble A et soit (S n )n≥0 la suite de ses sommes
partielles :
Xn
Sn B fk .
k=0
P
On dit que fn converge simplement sur A (CVS, en abrégé), si et seulement si, la suite de fonctions
P
(S n )n≥0 converge simplement sur A, ou encore si, et seulement si, la série numérique fn (x) converge
P
pour tout x ∈ A. Dans ce cas, on note S (x) la somme de la série fn (x) :
∞
X
∀x ∈ A, S (x) = fn (x).
n=0
Exemples 2.18.1.
X 1
converge simplement sur ]1, +∞[.
nx
X (−1)n
converge simplement sur ]0, +∞[.
nx
P
Remarque 2.18.1. La convergence simple sur A de la série de fonctions fn équivaut à la la convergence
simple sur A de la suite de fonctions (S n ) des sommes partielles vers la somme S de la série. Donc, ce
n’est pas nécessaire pour une série de fonctions de rechercher la limite simple : c’est la somme de la
série!
Définition 2.19 (Convergence uniforme d’une série de fonctions)
P
On dit que la série de fonctions fn converge uniformément sur A (CVU, en abrégé), si et seulement si,
n
X
la suite (S n )n≥0 de ses sommes partielles (S n = fk ) converge uniformément sur A.
k=0
P P
Remarque 2.19.1. 1. fn converge uniformément sur A implique fn converge simplement sur A,
et la réciproque est fausse en général.
P
2. La convergence uniforme de la série de fonctions fn sur A implique que la suite de fonctions
( fn )n≥0 converge uniformément vers 0 sur A (car fn = S n − S n−1 ).
P P
3. Si fn converge simplement sur A, alors fn converge uniformément si, et seulement si, la suite
∞
X
(Rn )n≥0 des restes converge uniformément vers 0 sur A (car Rn = fk = S − S n ).
k=n+1
53 Boussouis Brahim
P 1
Exemples 2.19.1. 1. La série de fonctions converge uniformément sur [a, +∞[, a > 1. En effet,
nx
cette série converge simplement sur ]1, +∞[ et
sup |Rn (x)| ≤ Rn (a) −→ 0.

x≥a
P zn
2. La série de fonctions converge uniformément sur tout disque fermé D(0, r) B {z ∈ C : |z| ≤ r}.
n!
En effet, d’après le test de d’Alembert, cette série converge absolument pour tout z ∈ C (donc elle
converge simplement sur C), et
∞ ∞
X zn X rn
sup |Rn (z)| = sup ≤ −→ 0.
|z|≤r |z|≤r k=n+1
n! k=n+1
n!
La convergence simple (resp. uniforme) d’une série de fonctions est équivalente à la convergence simple
(resp. uniforme) de la suite des sommes partielles. Les théorèmes portant sur la continuité, l’intégration
et la dérivation d’une suite de fonctions s’appliquent aux suites de sommes partielles, donc aux séries de
fonctions. Les résultats suivants sont des applications immédiates des théorèmes 2.6, 2.9, 2.10, 2.11 et
2.13 aux suites des sommes partielles.
Théorème 2.20 (Critère de Cauchy uniforme pour les séries de fonctions)

P
Pour que la série de fonctions numériques fn converge uniformément sur A, il faut et il suffit qu’elle
vérifie le critère suivant :
n
X
∀ε > 0, ∃N = N(ε), ∀n > m ≥ N, ∀x ∈ A, fk (x) ≤ ε. (2.20)
k=m+1
Théorème 2.21 (d’interversion des limites pour les séries de fonctions)

P
Soient fn une série de fonctions numériques définies sur une partie A ⊂ K, et a un point adhèrent à A.
On suppose que
P
1. fn converge uniformément sur A;
2. pour tout n ∈ N, la limite ln := lim fn (x) existe (dans K).
x→a
x∈A
∞
X
P
Alors la série ln converge et fn admet une limite en a et l’on a :
n=0
∞
X ∞
X
lim fn (x) = lim fn (x).
x→a x→a
x∈A n=0 n=0 x∈A
54 Boussouis Brahim
Corollaire 2.22
P
Soient fn une série de fonctions numériques définies sur une partie A de K, et continues en un point
P
a ∈ A. Si la série fn converge uniformément sur A, alors sa somme est continue en a.
Théorème 2.23 (Intégration terme à terme)

P
Soit fn une série de fonctions intégrables (au sens de Riemann) sur un segment [a, b] de R. On suppose
X∞
P
que la série fn converge uniformément sur [a, b]. Alors la somme fn est intégrable sur [a, b] et l’on
n=0
a: ∞ ∞ Z
Z b
 b
X X
 fn (x) dx =

fn (x) dx.
a n=0 n=0 a
Théorème 2.24 (dérivation terme à terme)

P
Soit fn une série de fonctions dérivables sur un intervalle quelconque I de R. On suppose que
(i) La série des dérivées fn0 converge uniformément sur toute partie bornée de I;
P
P
(ii) Il existe un point x0 ∈ I tel que la série numérique fn (x0 ) converge;
P
Alors la série fn converge uniformément sur toute partie bornée de I, sa somme est dérivable sur I et
l’on a :  ∞ 0
X  X∞
∀x ∈ I,  fn  (x) = fn0 (x).
n=0 n=0
2.24.1 Conditions suffisantes de convergence uniforme pour les séries de fonctions

Convergence normale (ou test de Weierstrass)
Définition 2.25
P
On dit qu’une série de fonctions fn converge normalement sur A (CVN, en abrégé), si les fn sont
P
bornées et si la série k fn k∞ est convergente, ou encore s’il existe une suite (αn )n≥0 de réels positifs tels
que
1. ∀n ∈ N, ∀x ∈ A, | fn (x)| ≤ αn ;
2. la série αn est convergente.
P
55 Boussouis Brahim
Proposition 2.26
Toute série normalement convergente sur A est uniformément et absolument convergente sur A.
P
Démonstration. Soit fn une série normalement convergente sur A. Pour tout x ∈ A et pour tout entier
P
n, on a | fn (x)| ≤ k fn k∞ , donc la série fn (x) est absolument convergente donc convergente. Par ailleurs,
∞
X ∞
X
sup |Rn (x)| = sup fk (x) ≤ k fn k∞ −→ 0.
x∈A x∈A k=n+1 k=n+1
P
Donc fn converge uniformément sur A.
La réciproque de la proposition précèdente est fausse, comme le montre l’exemple suivant.
(−1)n
Exemple 2.26.1. Soit fn (x) =
P
, x ∈ R. La série fn converge uniformément sur R, mais la série
n
P1
k fn k∞ =
P
est divergente.
n
Tableau récapitulatif
Nous venons de voir quatre types de convergence pour les séries de fonctions : convergence simple (CVS),
convergence uniforme (CVU), convergence normale (CVN) et convergence absolue (CVA). ILe tableau
suivant permet de les situer les unes par rapport aux autres.
CVA
CVN
CVS
CVU
Régle d’Abel uniforme
En utilisant la transformation d’Abel (voir page 25) et en cherchant des majorations uniformes, on ob-
tient :
56 Boussouis Brahim
Théorème 2.27
fn une série de fonctions telles que pour tout (n, x) ∈ N × A, on ait fn (x) = an (x)bn (x). On suppose
P
Soit
que
n
X
1. Les sommes partielles An = ak sont uniformément bornées :
k=0
∃M ∈ R+ , ∀n ∈ N, ∀x ∈ A, |An (x)| ≤ M;
2. Pour tout x ∈ A, la suite réelle (bn (x)) est décroissante;

3. la suite de fonctions (bn )n≥0 converge uniformément vers 0 sur A.
P
Alors fn converge uniformément sur A.
n+m
X
Démonstration. Posons S n,m (x) = ak (x)bk (x), et utilisons la transformation d’Abel (cf. page 25) pour
k=n
écrire :
n+m−1
X
S n,m (x) = (bk (x) − bk+1 (x))Ak (x) + bn+m (x)An+m (x) − bn (x)An (x)
k=n
n+m−1 
 X 
S n,m (x) ≤ sup |Ak (x)|  (bk (x) − bk+1 (x)) + bn+m (x) + bn (x)
k≥n k=n
≤ 2Mbn (x)
sup S n,m (x) ≤ 2M · sup bn (x) −→ 0.
x∈A x∈A n−→∞
Le théorème découle du critère de Cauchy uniforme pour les séries.
Corollaire 2.28
Soit (bn )n≥0 une suite décroissante de fonctions positives convergeant uniformément vers 0 sur A. Alors
la série fonctions (−1)n bn (x) converge uniformément sur A.
P
Démonstration. C’est une conséquence du théorème 2.27.
Fonction ζ de Riemann
Elle est définie sur I = ]1, +∞[ par :
∞
X 1
ζ(x) := x
. (2.21)
n=1
n
1 log n
Continuité et dérivabilité de ζ : Posons fn (x) = x , n ≥ 1, x > 1. On a fn0 (x) = − x . Pour
n n
log n
tout a > 1, sup fn (x) = a est le terme général d’une série de Bertrand convergente, donc la
0
x≥a n
57 Boussouis Brahim
série fn0 converge normalement (donc uniformément) sur Ia = [a, +∞[ . Comme fn converge
P P
simplement sur Ia , on en déduit que ζ est dérivable sur cet intervalle. Or a > 1 est arbitraire, donc
ζ est dérivable (et en particulier continue) sur I et sa dérivée est donnée par :
∞
X log n
∀x > 1, ζ 0 (x) = − .
n=1
nx
Limites aux bornes et sens de variation de ζ : On remarque que les fn sont toutes décroissantes sur
I, donc leur somme ζ est également décroissante sur I (on pourrait aussi remarquer que ζ 0 (x) < 0,
pour tout x ∈ I). Etant décroissante sur I, ζ admet une limite l ( ∈ R+ ) en 1+ . Si l est finie, ζ serait
bornée au voisinage de 1 :
∃α > 0, ∃M > 0, ∀x ∈ ]1, 1 + α] , ζ(x) ≤ M

⇓
N
X 1
∀N ∈ N∗ , ∀x ∈ ]1, 1 + α] , x
≤ M
n=1
n
⇓
N N
X 1 X 1
∀N ∈ N∗ , lim+ x
= ≤ M.
x→1
n=1
n n=1
n
P1
Donc les sommes partielles de la série harmonique , (qui est à termes positifs), sont majorées,
n
et par suite cette série est convergente, ce qui est faux. Donc l = lim+ ζ(x) = +∞.
x→1
Pour étudier la limite en +∞, on remarque
P
 que fn converge normalement (donc uniformément)
1 si n = 1

sur I2 = [2, ∞[, et que lim fn (x) = 

D’après le théorème 2.21 d’interversion des
x→+∞ 0 si n ≥ 2.

limites, on peut écrire :
X∞
lim ζ(x) = lim fn (x) = 1.
x→+∞ x→+∞
n=1
58 Boussouis Brahim
0 1
Figure 2.2 – Courbe de ζ
59 Boussouis Brahim
Chapitre 3
Séries entières
Sommaire
3.1 Généralités sur les séries entières . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61
Opérations sur les séries entières . . . . . . . . . . . . . . . . . . . . . . . . . 62
3.4 Rayon de convergence d’une série entière . . . . . . . . . . . . . . . . . . . . . . . 63
3.7.1 Méthodes de calcul du rayon de convergence . . . . . . . . . . . . . . . . . . 64
Séries entières lacunaires . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 66
Rayons de convergence de la somme et du produit de deux séries entières . . . 67
3.14 Propriétés de la somme d’une série entière . . . . . . . . . . . . . . . . . . . . . . 68
Etude sur le cercle d’incertitude . . . . . . . . . . . . . . . . . . . . . . . . . 73
3.30 Développement en série entière des fonctions uselles . . . . . . . . . . . . . . . . . 75
De la formule de Taylor à la série de Taylor . . . . . . . . . . . . . . . . . . . 77
3.33.1 Equations différentielles et séries entières . . . . . . . . . . . . . . . . . . . . 78
Les équations différentielles permettent de développer certaines fonctions en
sére entière . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 78
Les séries entières permettent de résoudre certaines équations différentielles . . 80
Développement en série entière d’une fraction rationnelle . . . . . . . . . . . 81
3.35 Fonction Exponentielle Complexe . . . . . . . . . . . . . . . . . . . . . . . . . . . 84
3.36.1 Les fonctions trigonométriques circulaires et les fonctions trigonométriques hy-
perboliques complexes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 86
3.1 Généralités sur les séries entières
Dans toute la suite, K = R ou C.
61
Chapitre 3: Séries entières
Définition 3.2
P
Une série entière de variable z ∈ K est une série de fonctions fn dans laquelle fn est une application
de K dans C de la forme fn : z 7→ an zn , où an est un nombre complexe; on la note an zn . En cas de
P
convergence, la somme est notée :
∞
X
S (z) = an zn .
n=0
an zn .
P
Les an sont appelés cœfficients de la série entière
P zn 1
Exemples 3.2.1. — est une série entière de cœfficients a0 = 0 et an = , pour n ≥ 1.
n  n
P 2 1 si n est un carré parfait

— zn est aussi une une série entière de cœfficients an = 

.
0 sinon

Opérations sur les séries entières
Définition 3.3
On appelle
— somme des séries entières an zn et bn zn la série entière (an + bn )zn .
P P P
— produit de la série entière an z par le scalaire λ ∈ K la série entière λan zn .
P n P
P n P n P n
— produit des séries entières an z et bn z la série entière cn z où
X n
X
cn = a p bq = ak bn−k .
p+q=n k=0
— série entière dérivée de an zn la série entière (n + 1)an zn .

P P
P an n+1
— série entière primitive de an zn toute série entière de la forme c +
P
z , où c est une
n+1
constante complexe.
Remarque 3.3.1. L’ensemble des séries entières muni de l’addition, de la multiplication et de la

multiplication par un scalaire est une K-algèbre commutative, unitaire.
Trois problèmes principaux se posent pour ces séries :

— Problème de la convergence : une série entière an zn étant donnée, déterminer l’ensemble des
P
z ∈ C pour lesquels cette série converge;
— Propriétés de la somme : (continuité, dérivabilité,. . . );
— Représentation (ou développement) des fonctions usuelles à l’aide des séries entières : une fonc-
tion f : D ⊂ K → C étant donnée, z0 ∈ D existe-t-il une série entière an zn et une partie
P
X∞
{z0 } ⊂ A ⊂ D de K telles que, pour tout z ∈ A, f (z) = an (z − zn0 ?
n=0
62 Boussouis Brahim
3.4. Rayon de convergence d’une série entière
3.4 Rayon de convergence d’une série entière
L’outil principal pour étudier la convergence des séries entières est le lemme suivant (dû à Abel) :

Lemme 1 (d’Abel 1 ). Soit an zn une série entière. S’il existe z0 ∈ K∗ tel que la suite an zn0
P
soit
n≥0
bornée, alors la série entière an z converge absolument pour tout z ∈ K tel que |z| < |z0 |.
P n
z0
0
Démonstration. Soit M = sup an zn0 < +∞. On a :

n≥0
n
z z n
∀n ∈ N, |an zn | = an zn0 ≤M .
z0 z0
n
z z
Donc si |z| < |z0 |, alors < 1 et la série géométrique M
P
converge, d’où le résultat.
z0 z0
Définition 3.5
Le nombre
R = sup r ≥ 0 : la suite (an rn )n≥0 est bornée ∈ [0, +∞],

s’appelle le rayon de convergence de la série entière an zn . On note R = Rcv ( an zn ).

P P
Remarque 3.5.1. L’ensemble E = r ≥ 0 : la suite (an rn )n≥0 est bornée contient 0, donc il est non

vide. De plus, si r ∈ E, alors [0, r] ⊂ E, donc E est intervalle.
Théorème 3.6
Soit R = Rcv ( an zn ). Alors la série entière an zn

P P
1. converge absolument pour tout z ∈ K tel que |z| < R,

2. et diverge grossièrement pour tout z ∈ K tel que |z| > R.
Démonstration. si |z| < R, alors il existe r ≥ 0 tel que |z| < r et tel que la suite (an rn ) soit bornée. D’après
le lemme d’Abel, la série an zn converge absolument.
P
Si |z| > R, alors la suite (an zn ) est non bornée, donc la série an zn diverge grossièrement (car son terme
P
général ne converge pas vers 0).
1. Niels Abel (1802-1829), mathématicien norvégien.
63 Boussouis Brahim
Définition 3.7
Soit R = Rcv ( an zn ).
P
1. Lorsque K = R, l’intervalle ouvert ]−R, +R[ s’appelle l’intervalle de convergence de la série

entière an xn de la variable réelle x.
P
2. Lorsque K = C, le disque ouvert D(0, R) = {z ∈ C : |z| < R} s’appelle le disque de convergence

de la série entière an zn de la variable complexe z.
P
3.7.1 Méthodes de calcul du rayon de convergence

La proposition suivante permet, dans certains cas, de déterminer (sans beaucoup de calculs) le rayon de
convergence d’une série entière.
Proposition 3.8
Soit R = Rcv ( an zn ) et soit z0 ∈ K.

P
1. si an zn0 est convergente, alors |z0 | ≤ R;

P
2. si an zn0 est divergente, alors |z0 | ≥ R;

P
3. s’il existe ρ > 0 tel que la série entière converge pour |z| < ρ et diverge pour |z| > ρ, alors R = ρ.
Démonstration. Laissée en exercice.
Remarque 3.8.1. On attachera une grande attention au caractère strict ou large des inégalités!
P zn
Exemple 3.8.1. La série entière converge pour z = −1 (critère spécial des séries alternées) donc
n
1 ≤ R, et diverge pour z = 1, donc R ≤ 1, et finalement R = 1.
Proposition 3.9
an zn est la borne supérieure de chacun des ensembles

P
Le rayon de convergence de la série entière
suivants :
E = {r ∈ R+ : la suite (an rn ) est bornée}

F= r ∈ R+ : la suite (an rn ) admet 0 pour limite

G= r ∈ R+ : la série an rn converge
P
I= r ∈ R+ : la série |an | rn converge

P
64 Boussouis Brahim
Démonstration. Les inclusions I ⊂ G ⊂ F ⊂ E sont évidentes et donnent les inégalités :
sup I ≤ sup G ≤ sup F ≤ sup E
Reste à montrer l’inégalité sup E ≤ sup I; pour cela montrons que si 0 ≤ r < sup E, alors r ∈ I. Or si
r < sup E, la suite (|an | rn ) est une suite bornée et le lemme d’Abel montre que r ∈ I.
En utilisant le test de D’Alembert, on obtient
Théorème 3.10
P n
Soit an z une série entière telle que an , 0 à partir d’un certain rang. On suppose que la limite l :=
an+1 1
lim existe (0 ≤ l ≤ +∞). Alors le rayon de convergence R de la série entière est R = , en
n→∞ an l
1 1
convenant que = +∞ et = 0.
0 +∞
1 an+1 zn+1
Démonstration. En effet, si 0 < |z| < = |zl| < 1, et la série an zn converge
P
, alors lim
l n→∞ an zn
1 an+1 zn+1
d’après le test de D’Alembert; et si |z| > , alors lim = |zl| > 1, et la série an zn diverge
P
l n→∞ an zn
1
(toujours d’après le test de D’Alembert). Donc R = .
l
P zn P n
Exemples 3.10.1. En appliquant cette formule aux séries entières et n!z , on trouve :
n!
n! X zn !
lim =0 ⇒ Rcv = +∞
n→∞ (n + 1)! n!
(n + 1)! X
lim = +∞ ⇒ Rcv n!zn = 0.
n→∞ n!
En utilisant le test de Cauchy, on obtient
Proposition 3.11
pn
an zn une série entière telle que la limite l = lim |an | existe (0 ≤ l ≤ +∞). Alors le rayon de
P
Soit
n→∞
1 1 1
convergence R de la série entière est R = , en convenant que = +∞ et = 0.
l 0 +∞
Démonstration. Soit z ∈ K. On a : pn
lim |an zn | = |zl| .
n→∞
1
Donc si |lz| < 1, alors la série an zn converge, d’après le test de Cauchy, ce qui prouve que R ≥ . Et si
P
l
1 1
|lz| > 1, alors an z diverge, donc R ≤ . Donc R = .
P n

l l
65 Boussouis Brahim
! n2
n+1
Exemple 3.11.1. Calculons le rayon de convergence R de an zn , où an =
P
. On a :
n
!n
pn 1 1
|an | = 1 + −→ e ⇒ R = .
n e
Séries entières lacunaires
On appelle série entière lacunaire une série entière an zn , où il y a une infinité d’indices n pour lesquels
P
an = 0 et une infinité d’autres indices n pour lesquels an , 0.
Pour de telles séries, on fait appel aux tests de D’Alembert (ou de Cauchy) pour les séries numériques.

n n2  p p si n = p2 ,

1. n z est une série entière lacunaire de coefficients : an = 
P 
Exemples 3.11.1. .
0
 si n n’est pas un carré parfait.

n n2 √n 0
 si |z| < 1 2
On pose un = n z . lim un = 

. D’après le test de Cauchy, la série nn zn
P
n→∞ 
+∞ si |z| > 1
P 2

converge (absolument) si |z| < 1 et diverge (grossièrement) si |z| > 1. Donc Rcv nn zn = 1.

P z2n+1 0 si n est pair z2n+1


est une série lacunaire de cœfficients an =  . On pose un =

2. 1 ,
2n + 1 

 si n est impair 2n + 1
n
un+1 P z2n+1
z , 0. Alors lim = |z| . D’après le test de D’Alembert, la série
2
converge (absolu-
n→∞ un 2n + 1
P z2n+1
!
ment) si |z| < 1 et diverge (grossièrement) si |z| > 1. Donc Rcv = 1.
2n + 1
Remarques 3.11.1. 1. Si R = 0, la série entière ne converge que pour z = 0;

2. si R = +∞, la série entière converge absolument pour tout z ∈ C;
3. Lorsque 0 < R < +∞, des situations différentes peuvent se produire lorsque |z| = R, par exemple :
P zn
(a) la série entière admet un rayon de convergence R = 1, et elle converge absolument pour
n2
tout z de module 1.
(b) la série entière zn admet un rayon de convergence R = 1, et elle diverge pour tout z de
P
module 1.
P zn
(c) la série entière admet un rayon de convergence R = 1, et elle est semi- convergente pour
n
tout z de module 1 et différent de 1 d’après la règle d’Abel 2 ; par contre elle diverge pour
z = 1.
C’est pourquoi le cercle de centre 0 et de rayon R s’appelle le cercle d’incertitude.
n
z − zn+1
!
1 X 2
2. car la suite tend vers 0 en décroissant et pour tout n ≥ 1 et |z| = 1, z , 1, on a zk = ≤
n k=1
1−z |1 − z|
66 Boussouis Brahim
A l’extérieur du disque D(0, R) la série entière diverge grossièrement
Sur le cercle, tout peut arriver
0
R
A l’intérieur du disque D(0, R) la série entière converge absolument
Proposition 3.12 (Comparaison de rayons de convergence)
Soient an zn et bn zn deux séries entières de rayons de convergence respectifs Ra et Rb .

P P
(i) Si an = O(bn ), alors Ra ≥ Rb .

(ii) Si |an | ∼ |bn |, alors Ra = Rb .
Démonstration. (i). Si an = O(bn ), alors il existe M ∈ R+ et un entier N tels que, pour tout n ≥ N,
on ait |an | ≤ M |bn |. On en déduit que
Eb = {r ≥ 0 : (bn rn ) bornée} ⊂ Ea = {r ≥ 0 : (an rn ) bornée}.
Donc Rb ≤ Ra , d’après la définition 3.5 du rayon de convergence.

(ii). Si |an | ∼ |bn |, alors pour tout ε > 0, il existe N ∈ N tel que, pour tout n ≥ N, on ait :
(1 − ε) |an | ≤ |bn | ≤ (1 + ε) |an | .
Donc an = O(bn ) et bn = O(an ). En utilisant (i), on en déduit que Rb ≤ Ra et Ra ≤ Rb , donc

Ra = Rb .

1 1
Exemples 3.12.1. 1. Soit an = 1 + + · · · + . On a, pour tout n ≥ 1, 1 ≤ an ≤ n. Comme les
2 n
séries entières zn et nzn ont le même rayon de convergence 1, on déduit de la proposition (i)
P P
ci-dessus que Rcv ( an z ) = 1.
P n
log nzn = 1 (test de D’Alembert), et en

P
On peut aussi observer que an ∼ log n et que Rcv
utilisant la proposition (ii) ci-dessus, en déduire Rcv ( an z ) = Rcv log n zn = 1.
P n P
2. Soit an le nombre de diviseurs de n, n ∈ N∗ . On a 1 ≤ an ≤ n. Les rayons de convergence de zn

P
P n
et de nz étant égaux à 1 (test de D’Alembert), on en déduit que le rayon de convergence de
P n
an z est lui aussi égal à 1.
Rayons de convergence de la somme et du produit de deux séries entières
67 Boussouis Brahim
Théorème 3.13
Soient an zn et bn zn deux séries entières de rayons de convergence respectivement Ra et Rb . On a :

P P
X
1. Rcv (an + bn )zn ≥ min(Ra , Rb ), avec égalité :
(a) si Ra , Rb ;
(b) ou si Ra = Rb et les séries entières an zn et bn zn sont disjointes, c’est-à-dire si an bn = 0
P P
pour tout entier n.
Xn X
2. Soit cn = ak bn−k , n ∈ N. Alors Rcv cn zn = Rc ≥ min(Ra , Rb ) et si |z| < min(Ra , Rb ), alors
k=0
on a :
∞
∞  ∞ 
X X n  X
cn z =  an z  ·  bn z .
n n

  
n=0 n=0 n=0
Démonstration. (i) Soit r ≥ 0 tel que r < min(Ra , Rb ). Alors les suites (an rn ) et (bn rn ) sont bornées
et par suite (an + bn )rn est bornée. Donc Ra+b ≥ r, pour tout r < min(Ra , Rb ). Donc Ra+b ≥
P
min(Ra , Rb ).
(a) Supposons, par exemple, que Ra < Rb . On a déjà Ra = min(Ra , Rb ) ≤ Ra+b . Soit r ∈
]Ra , Rb [. Alors la suite (an rn ) est non bornée tandis que la suite (bn rn ) est bornée et par suite
((an + bn )rn ) est non bornée. Donc Ra+b ≤ r et on a ]Ra , Rb [ ⊂ [Ra+b , +∞[. On en déduit que
Ra+b ≤ Ra et que Ra = min(Ra , Rb ) = Ra+b .
(b) Supposons maintenant que Ra = Rb et que an bn = 0, pour tout entier n. On a déjà Ra ≤ Ra+b .
Si cette dernière inégalité est stricte, on pourrait trouver un réel r tel que Ra < r < Ra+b . La
suite (an rn ) serait non bornée et la suite ((an + bn )rn ) serait bornéee. Or on a, pour tout entier
n:
an bn = 0 ⇒ |an + bn | rn = |an | rn + |bn | rn ≥ |an | rn .
Donc la suite (an rn ) est bornée. Contradiction. Donc Ra = Ra+b .
(ii) Notons que cn zn est le produit de Cauchy des séries entières an zn et bn zn . Soit z ∈ K tel
P P P
que |z| < min(Ra , Rb ). Les séries entières an z et bn z sont absolument convergentes, donc
P n P n
leur produit (de Cauchy) cn zn est absolument convergent et on a la formule (∗) et l’inégalité
P
min(Ra , Rb ) ≤ Rc .

Remarques 3.13.1. 1. L’inégalité Ra+b ≥ min(Ra , Rb ) peut être stricte. Considèrons, par exemple,
les séries entières an zn et bn zn où an = 1 et bn = 3−n − 1. On a Ra = 1 et puisque |an | ∼ |bn |,
P P
on aussi Rb = 1; mais Ra+b = 3 > min(Ra , Rb ).
2. De même, l’inégalité Rc ≥ min(Ra , Rb ) peut être stricte. Considèrons, par exemple, les série en-
tières an zn et bn zn où an = 1, pour tout n, b0 = 1, b1 = −1 et bn = 0 si n ≥ 2. On a Ra = 1 et
P P
Rb = +∞, mais Rc = +∞ > min(Ra , Rb ).
3.14 Propriétés de la somme d’une série entière
68 Boussouis Brahim
3.14. Propriétés de la somme d’une série entière
Théorème 3.15
Soit an zn une série entière de rayon de convergence R > 0. Alors la série entière converge normalement
P
sur tout disque fermé D(0, r) ⊂ D(0, R) (ie. tel que 0 ≤ r < R).
Démonstration. Car pour tout 0 ≤ r < R, alors sup |an zn | = |an | rn et |an | rn est convergente.
P

|z|≤r
Corollaire 3.16
La somme d’une série entière est continue sur son disque de convergence si K = C (resp. sur son intervalle
de convergence si K = R).
Pour étudier la dérivabilité de la somme d’une série entière, le résultat suivant est essentiel.
Théorème 3.17
Soit an zn une série enitère de rayon de convergence R > 0. Alors la série des dérivées (n + 1)an+1 zn
P P
admet le même rayon de convergence R.
X
Démonstration. Soit R1 = Rcv (n + 1)an zn . On a, pour tout entier n, |an | ≤ (n + 1) |an |, donc R1 =
Rcv ( (n + 1)an zn ) ≤ R = Rcv ( an zn ), d’après la proposition 3.12.
P P
Inversement, soit 0 < r < R et soit 0 < r < ρ < R. Il existe M ≥ 0 tel que pour tout entier n, on ait
|an | ρn ≤ M. On a alors :
!n
r
(n + 1) |an | r = (n + 1) |an | ρ ·
n n
≤ M.(n + 1)τn ,
ρ
r
où τ = ∈ ]0, 1[. Comme lim (n + 1)τn = 0, la suite ((n + 1)τn ) est bornée. On en déduite que la suite
ρ n→∞
((n + 1)an rn ) est également bornée, et par suite r ≤ R1 . Finalement R = R1 .
En appliquant le théorème précèdent plusieurs fois, on obtient le corollaire suivant.
Corollaire 3.18
Les séries entières an zn , (n + 1)an+1 zn , (n + 2)(n + 1)an+2 zn , . . . , (n + k)(n + k − 1) · · · (n + 1)an+k zn

P P P P
P an n+1
et z ont le même rayon de convergence.
n+1
69 Boussouis Brahim
Définition 3.19 (Dérivabilité au sens complexe)
Soient Ω un ouvert de C et f : Ω → C. On dit que f est C-dérivable ou dérivable au sens complexe au

point z0 ∈ Ω si la limite
f (z0 + h) − f (z0 )
lim
h→0
h∈C∗
h
existe. Lorsque cette limite existe, on la note f 0 (z0 ).

f est dite C-dérivable ou dérivable au sens complexe sur Ω, s’elle est dérivable au sens complexe en tout
point de Ω.
Il est facile de voir que, de même que pour la dérivabilité au sens réel, la somme, le produit, le quotient
(lorsqu’il est défini) et la composée de deux fonctions C-dérivables est C-dérivable et l’on a les formules :
( f + g)0 (z0 ) = f 0 (z0 ) + g0 (z0 )

( f g)0 (z0 ) = f 0 (z0 )g(z0 ) + f (z0 )g0 (z0 )
!0
f f 0 (z0 )g(z0 ) − f (z0 )g0 (z0 )
(z0 ) =
g g2 (z0 )
( f ◦ g)0 (z0 ) = 0 0
g (z0 ) · f (g(z0 )).
Théorème 3.20
Soit R le rayon de convergence de la série entière an zn de la variable complexe z. Sur le disque ouvert
P
∞
X
D(0, R), la somme S (z) = an zn est C-dérivable et sa dérivée est
n=0
∞
X ∞
X
S 0 (z) = nan zn−1 = (n + 1)an+1 zn . (3.1)
n=1 n=0
En particulier S est R-dérivable sur ]−R, R[ et sa dérivée est donnée par la relation (3.1).
Démonstration. Soit z0 ∈ D(0, R), 0 < α < R − |z0 | et h ∈ C∗ tel que |h| < α (ce qui entraîne z0 + h ∈
D(0, R)). On a :
S (z0 + h) − S (z0 ) X∞
(z0 + h)n − zn0
= an
h n=1
h
∞
X
= an gn (h)
n=1
où gn (h) = (z0 + h)n−1 + z0 (z0 + h)n−2 + · · · + zn−1

0 .
On a |gn (h)| ≤ nr , où r = max(|z0 + h| , |z0 |) < α + |z0 | < R. Donc sup |an gn (h)| ≤ n |an | rn−1 . Donc la
n−1
|h|<R−|z0 |
70 Boussouis Brahim
an gn (h) converge normalement (donc uniformément) sur le disque D(0, α), et par conséquent
P
série
∞ ∞
S (z0 + h) − S (z0 ) X X
lim = lim an gn (h) = 0 .
nan zn−1
h→0
h∈C∗
h n=1
h→0
n=1
Donc S est C-dérivable en z0 et sa dérivée est donnée par la formule (3.1).
En itérant le théorème précèdent, et en tenant compte du corollaire 3.18, on peut affirmer que S est
indéfiniment dérivable et que
∞
X
∀k ∈ N∗ , ∀z ∈ D(0, R), S (k) (z) = n(n − 1) · · · (n − k)an zn−k−1 (3.2)
n=k
X∞
= (n + k)(n + k − 1) · · · nan+k zn . (3.3)
n=0
1
Exemple 3.20.1. La série entière xn admet 1 pour rayon de convergence et pour somme S (x) =
P
,
1−x
−1 < x < 1. D’après le théorème précédent, on a :
!0 ∞
1 1 X
= = (n + 1)xn
1−x (1 − x)2 n=0
!(k) ∞ ∞
(n + k)!
!
1 1 1 X X k
= = xn = xn .
k! 1 − x (1 − x)k+1 n!k! n+k
n=0 n=0
Corollaire 3.21
Soient an xn une série entière de rayon de convergence R > 0 et de somme S . Alors S est de classe C ∞
P
sur ]−R, R[, et on a :
S (n) (0)
∀n ∈ N, an = . (3.4)
n!
Démonstration. Il suffit de poser z = 0 dans la formule (3.3).
Corollaire 3.22
an xn et bn xn ont la même somme pour tout x ∈ ]−r, r[, r > 0, alors an = bn ,

P P
Si deux séries entières
pour tout n ∈ N.
(an − bn )xn .
P
Démonstration. On applique le corollaire précédent à la diffèrence
71 Boussouis Brahim
Corollaire 3.23
an xn de la variable réelle et de rayon de convergence non nul.

P
Soit S la somme d’une série entière
n≥0
1. Si S est paire, alors a2n+1 = 0, pour tout n;
2. Si S est impaire, alors a2n = 0, pour tout n
S (2n+1) (0)
Démonstration. Si S est paire, alors S (2n+1) est impaire, donc a2n+1 = = 0; et si S est impaire,
(2n + 1)!
S (2n) (0)
alors S (2n) est impaire, donc a2n = = 0.
(2n)!
Corollaire 3.24 (Développement limité de la somme d’une série entière)
Soit S la somme d’une série entière an xn de rayon de convergence non nul. Alors pour tout entier n ∈ N,
P
S admet un développement limité au sens fort, d’ordre n au point 0 :
n
X
S (x) = ak xk + O(xn+1 ).
k=0
Théorème 3.25 (Intégration terme à terme d’une série entière)
an xn une série entière de la variable réelle, de rayon de convergence R > 0 et de somme S . Alors
P
Soit
n≥0
P an n+1
la série entière x admet R pour rayon de convergence, et sa somme est la primitive de S qui
n≥0 n + 1
s’annule en 0.
Démonstration. C’est une conséquence du théorème de dérivation des séries entières.

Exemples 3.25.1. On a :
∞
1 X
∀x ∈ ]−1, 1[ , = (−1)n xn
1+x n=0
D’où :
∞
X xn+1
∀x ∈ ]−1, 1[ , log(1 + x) = (−1)n .
n=0
n+1
De même :
∞
1 X
∀x ∈ ]−1, 1[ , = (−1)n x2n
1 + x2 n=0
72 Boussouis Brahim
Donc
∞
X x2n+1
∀x ∈ ]−1, 1[ , Arctg x = (−1)n .
n=0
2n + 1
D’après le corollaire 3.21, on peut reconstituer les cœfficients an à partir de la somme S par dérivation.
En fait, on peut aussi retrouver les an par intégration :
Proposition 3.26 (Inégalités de Cauchy)
an xn une série entière de la variable réelle, de rayon de convergence R > 0 et de somme S . Alors,
P
Soit
n≥0
pour tout r ∈ ]0, R[, et pour tout entier p, on a :
Z 2π
1
ap = S (reit )e−ipt dt. (3.5)
2πr p 0
M(r)
ap ≤ (Inégalités de Cauchy). (3.6)
rp
où M(r) = sup |S (z)|.
|z|=r
∞
X
Démonstration. On a S (reit ) = an rn ei(n−p)t et la convergence est normale sur [0, 2π]. On obtient les
n=0
équations (4.5), en intégrant terme à terme sur [0, 2π]. Les inégalités (3.6) (de Cauchy) s’en déduisent
immédiatement.
Etude sur le cercle d’incertitude
Théorème 3.27 (d’Abel)
Soit an zn une série entière de rayon de convergence R fini et non nul. Si z0 est un point du cercle
P
d’incertitude (|z0 | = R) en lequel la série entière converge, alors la série an zn converge uniformément
P
sur le segment [0, z0 ] := {tz0 : 0 ≤ t ≤ 1}.
z0
C(0, 1)
an zn converge uniformément sur [0, z0 ].

P
Figure 3.1 –
73 Boussouis Brahim
Démonstration. On se ramène au cas où R = 1 et z0 = 1 en remplaçant an par an zn0 . Désormais, nous
supposons que la série entière an zn admet 1 pour rayon de convergence et qu’elle converge pour z = 1.
P
∞
X
Soit Rn = ak le reste d’ordre n de la série an . On a ak = Rk−1 − Rk , pour k ≥ 1. En utilisant la
P
k=n+1
transformation d’Abel, on peut écrire pour n > m ≥ 1 et z ∈ [0, 1] :
n
X n
X
ak zk = (Rk−1 − Rk )zk
k=m k=m
n−1
X
= zm Rm + (zk+1 − zk )Rk − zn Rn
k=m
n
 n−1

X  X 
ak zk ≤ sup |Rk | 2 + k k+1
(z − z )
k=m k≥m k=m
≤ sup |Rk | (2 + zm − zn ) ≤ 3sup |Rk | .
k≥m k≥m
Donc an zn vérifie le critère de Cauchy uniforme pour les séries, et par conséquent elle converge unifor-
P
mément sur [0, 1].
Corollaire 3.28
Soit an zn une série entière de rayon de convergence R fini et non nul. Si z0 est un point du cercle
P
d’incertitude (|z0 | = R) en lequel la série entière converge, alors :
∞
X ∞
X
lim an (tz0 )n = an zn0 .
t→1
t∈[0,1] n=0 n=0
Démonstration. En effet la série converge uniformément sur le segment [0, z0 ], donc la restriction de sa
somme à ce segment est continue en z0 .
Exemple 3.28.1. On a déjà vu (voir page 72) que :

∞
X x2n+1
∀x ∈ ]−1, 1[ , Arctg x = (−1)n .
n=0
2n + 1
x2n+1
Comme la série entière (−1)n admet 1 pour rayon de convergence et qu’elle converge pour x = 1,
P
2n + 1
on déduit du corollaire précèdent que
∞
π X (−1)n
Arctg 1 = = .
4 n=0 2n + 1
En complément au théorème 1.42, nous avons :
74 Boussouis Brahim
3.30. Développement en série entière des fonctions uselles
Corollaire 3.29
P P P
Soient an et bn deux séries convergentes telles que la série (produit) cn soit convergente, où
n
X
∀n ∈ N, cn = ak bn−k .
k=0
Alors on a :
∞
∞  ∞ 
X X  X 
cn =  an  ×  bn .
n=0 n=0 n=0
Démonstration. Puisque les séries an , bn et cn sont convergentes, les séries entières an zn , bn zn

P P P P P
et cn z ont un rayon de convergence ≥ 1 . Donc si |z| < 1, les trois séries entières convergent absolument
P n
et d’après le théorème 1.42, on peut écrire :
∞
∞  ∞ 
X X n  X
cn z =  an z  ×  bn z .
n n

   (3.7)
n=0 n=0 n=0
On obtient la formule annoncée, en passant à la limite, z → 1, z ∈ [0, 1] dans l’identité ci-dessus.
3.30 Développement en série entière des fonctions uselles

Dorénavant, nous nous limiterons au cas où la variable est réelle, que nous noterons par x.
On a vu que la somme d’une série entière de rayon de convergence R > 0 est de classe C ∞ sur ]−R, R[.
On étudie à présent le problème inverse. Soient I = ]−r, r[ un intervalle ouvert centré en 0 et f : I → C
une fonction numérique de classe C ∞ sur I :
(i) Existe-t-il une série entière an xn de rayon de convergence R ≥ r qui coïncide avec f sur I?
P
(ii) Si une telle série entière existe, est-elle unique?

f (n) (0)
La réponse à la question (ii) est affirmative, d’après le corollaire 3.21, puisqu’on doit avoir an = ,
n!
P f (n) (0) n
pour tout n. La série x s’appelle série de Mac-Laurin de f .
n!
Introduisons la terminologie suivante.
Définition 3.31
Soit f une application définie sur un intervalle ouvert U contenant x0 à valeurs dans C. On dit que f est
développable en série entière en x0 , (dse x0 , en abrégé), s’il existe r > 0 tel que I = ]x0 − r, x0 + r[ ⊂ U
et une série entière an xn de rayon de convergence R ≥ r tels que :
P
∞
X
∀x ∈ I, f (x) = an (x − x0 )n .
n=0
75 Boussouis Brahim
Exemples 3.31.1. 1. L’application exponentielle est développable en série entière en tout point x0 ∈
R:
∞ ∞ x0
X (x − x0 )n X e
∀x ∈ R, e x = e x0 e x−x0 = e x0 = (x − x0 )n .
n=0
n! n=0
n!
1 1
2. L’application x 7→ est dse x0 , pour tout x0 ∈ ]−1, 1[. En effet, on a : ∀x ∈ ]−1, 1[ , =
1−x 1−x
X∞
xn . Donc si x0 ∈ ]−1, 1[ et |x − x0 | < |1 − x0 |, alors on a :
n=0
∞ !n
1 1 1 1 X x − x0
= = .
1 − x 1 − x0 1 − x − x0 1 − x0 n=0 1 − x0
1 − x0
∞
1 X 1
Donc = an (x − x0 )n avec an = .
1 − x n=0 (1 − x0 )n+1
Remarque 3.31.1. — f est développable en série entière en x0 si, et seulement si, l’application
g : x 7→ f (x0 + x) est développable en série entière en 0. Dans la suite on se limitera uniquement
aux développements en série entière à l’origine.
f (n) (0) 3
— Si f est dse0 , alors ce développement est unique et an = .
n!
— Si f et g sont développables en série entière en 0, il en est de même de λ f + µg, (λ, µ ∈ C), de f g,
des dérivées successives et des primitives de f .
On peut maintenant reformuler nos deux questions de la façon suivante : étant donnée une fonction
f : I = ]−r, r[ → C de classe C ∞ sur I :
1. Est-ce que sa série de Mac-Laurin admet un rayon de convergence R ≥ r?
2. Si oui, est-ce que f coïncide avec la somme de sa série de Mac-Laurin sur I?
En général, le rayon de convergence R de la série de Mac-Laurin de f n’a aucune raison d’être ≥ r. Par
1
exemple, f (x) = est de classe C ∞ sur I = ]−∞, +∞[, mais sa série de Mac-Laurin est (−1)n x2n et
P
1+x 2
admet un rayon de convergence R = 1. Par conséquent, cette série ne peut représenter f (x), pour |x| > 1.
Il peut aussi arriver que le rayon de convergence R de la série de Mac-Laurin de f soit ≥ r, mais sa somme
différe de f . Considérons, par exemple l’application f : R → R définie par

e−1/x si x > 0;

f (x) = 

0
 si x ≤ 0.
Etablissons, par récurrence sur n ∈ N∗ , la proposition P(n) suivante.
!
1 −1/x
P(n) : f est n fois dérivable sur R avec f (n) (0) = 0 et ∀x > 0, f (n) (x) = Pn e ,
x
où Pn est un polynôme.
∞ (n)
X f (x0 ) P f (n) (x0 )
3. De même, si f est dse x0 , ce développement est unique et f (x) = (x − x0 )n . La série (x − x0 )n s’appelle
n=0
n! n!
la série de Taylor de f en x0 .
76 Boussouis Brahim
La proposition P(1) car f est dérivable sur R∗ et
f (x) − f (0) f (x) − f (0) 1

lim = 0; lim = lim+ e−1/x = 0.
x→0− x x→0+ x x→0 x
f (x) − f (0)
Donc lim = 0, ce qui prouve que f est dérivable en 0 et f 0 (0) = 0.
x→0 x
En supposant P(n) vraie, on déduit que f (n) est dérivable sur R∗ , avec
 !
1 −1/x
si x > 0

Pn+1 e


∀x ∈ R∗ , f (n+1) (x) = 

 x
si x < 0

0

et Pn+1 (X) = X 2 (Pn (X) − P0 (X)). Pn+1 est un polynôme et on a
f (n) (x) − f (n) (0) f (n) (x) − f (n) (0)

!
1 1 −1/x
lim− = 0; lim+ = lim+ .Pn e =0
x→0 x x→0 x x→0 x x
(car l’exponentielle l’emporte sur les puissances au voisnage de −∞).

0
Donc f (n) est dérivable en 0 et f (n) (0) = f (n+1) (0) = 0. On a ainsi prouvé que P(n + 1) est vraie, donc
P(n) est vraie, pour tout entier n ≥ 1. En conclusion, f est de classe C ∞ sur R, f (n) (0) = 0, pour tout
entier n; La série de Mac-Laurin est donc identiquement nulle (avec un rayon de convergence infini), mais
f n’est identiquement nulle sur aucun intervalle ]−r, r[.
De la formule de Taylor à la série de Taylor
Rappelons, sans démonstration, la formule de Taylor avec reste intégral :
Lemme 3.32
Soit U un intervalle ouvert de R et soit f une fonction de classe C (n+1) sur U. Alors, pour tout x, x0 ∈ U,
Z x
f (n) (x0 ) (x − t)n (n+1)
f (x) = f (x0 ) + (x − x0 ) f 0 (x0 ) + · · · + (x − x0 )n + f (t) dt.
n! x0 n!
R x (x − t)n (n+1)
Posons Rn ( f, x, x0 ) = x f (t) dt (le reste de Taylor-Lagrange d’ordre n + 1). Le problème
0 n!
revient à montrer que la suite de fonctions (Rn ( f, x, x0 )) converge simplement vers 0 sur un intervalle
]x0 − r, x0 + r[ ⊂ U. Nous allons donner ici une condition suffisante (et qui est loin d’être nécessaire),
pour qu’il en soit ainsi.
77 Boussouis Brahim
Proposition 3.33
Soit f une fonction numérique de classe C ∞ sur intervalle ouvert U telle que ses dérivées successives
soient uniformément bornées sur U :
∃M ∈ R+ , ∀x ∈ U, ∀n ∈ N, f (n) (x) ≤ M.
Alors, f est développable en série entière au voisinage de chaque point x0 ∈ U; de manière précise, pour
tout x, x0 ∈ U, on a :
∞
X f (n) (x0 )
f (x) = (x − x0 )n .
n=0
n!
Démonstration. L’hypothèse imposée aux dérivées de f entraîne

Z x
(x − t)n (n+1) |x − x0 |n+1
|Rn ( f, x, x0 )| = f (t) dt ≤ M · −→ 0.
x0 n! (n + 1)! n−→∞

Cette proposition s’applique en particulier aux fonctions exponentielle, sh, ch, sin et cos en x0 = 0 :
∞ n
X x
∀x ∈ R, ex = .
n=0
n!
∞ 2n
X x
∀x ∈ R, ch x = .
n=0
(2n)!
∞
X x(2n+1
∀x ∈ R, sh x = .
n=0
(2n + 1)!
∞
X x2n
∀x ∈ R, cos x = (−1)n .
n=0
(2n)!
∞
X x(2n+1
∀x ∈ R, sin x = (−1)n .
n=0
(2n + 1)!
3.33.1 Equations différentielles et séries entières

Il y a deux aspects dans la relation “équations différentielles-séries entières”. D’un côté, les équations
différentielles permettent de développer certaines fonctions en sére entière, et de l’autre côté, les séries
entières servent à résoudre certaines équations différentielles. Nous allons exhiber deux exemples qui
illustrent chacun des deux aspects.
Les équations différentielles permettent de développer certaines fonctions en sére entière

Cherchons, par exemple, le développement en série entière de f (x) = (1 + x)α , α , 0. Si α ∈ N∗ , la
fonction f est polynômiale et la formule du binôme permet d’écrire :
α !
X n n
(∗) ∀x ∈ R, f (x) = (1 + x)α = x .
α
n=0
78 Boussouis Brahim
α(α − 1) · · · (α − n + 1)
!
n
où = . Supposons dans la suite que α < N. Alors f est de classe C ∞ sur
α α!
]−1, ∞[ et vérifie l’équation différentielle avec conditions initiales suivante :
(1 + x) f 0 (x) = α f (x)
(
(E)
f (0) = 1
Commençons par démontrer le résultat suivant.
Lemme 2. Soient a : I → R une fonction continue sur un intervalle I, x0 ∈ I et y0 ∈ R. Le problème de
Cauchy
y0 (x) =
(
a(x)y(x)
(E)
y(x0 ) = y0
admet une solution unique sur I; elle est donnée par
Z x !
y(x) = y0 exp a(t) dt .
x0
Z x
Démonstration du lemme. Soit A(x) = a(t) dt et soit z(x) = y(x)e−A(x) . On a z0 (x) = e−A(x) (y0 (x) − a(x)y(x)).
x0
Donc y est solution de (E) si, et seulement si,
∀x ∈ I, z0 (x) = 0
(
⇐⇒ ∀x ∈ I, z(x) = y0 ⇐⇒ ∀x ∈ I, y(x) = y0 eA(x) .
z(x0 ) = y0
Reprenons le développement en série entière de la fonction f (x) = (1 + x)α . La somme d’une série entière
an xn vérifie (E) si, et seulement si,
P
 X∞ X∞
 (1 + x) (n + 1)an+1 xn = α an xn ∀n ∈ N, (n + 1)an+1 = (α − n)an


 (

⇐⇒

 n=0 n=0 a0 = 1
=


 a0 1
D’où :
α−n+1 α−n+1α−n+2
∀n ∈ N∗ , an = an−1 = an−2 = · · ·
n n n−1
α(α − 1) · · · (α − n + 1) α(α − 1) · · · (α − n + 1)
= a0 = .
n! n!
|an |
La série entière obtenue a un rayon de convergence R = 1 (car lim = 1). Par ailleurs, d’après le
n→∞ |an+1 |
lemme 2, l’équation (E) admet une solution unique sur ]−1, 1[, donc
∞
X α(α − 1) · · · (α − n + 1)
(∗∗) ∀x ∈ ]−1, 1[ , f (x) = (1 + x)α = 1 + xn .
n=1
n!
!
n
On constate que si α ∈ N, la formule (**) est encore valable et que si n ≤ α, alors an = . Par analogie
α
avec l’équation (*), nous poserons :
79 Boussouis Brahim
!  α(α − 1) · · · (α − n + 1)
si n ≥ 1

n 

∀α ∈ R, ∀n ∈ N,

B n!
α 
1
 si n = 0.
Finalement, on obtient la formule du binôme généralisée :
∞ !
X n n α
∀α ∈ R, ∀x ∈ ]−1, 1[ , (1 + x) = x . (3.8)
α
n=0
En donnant à α des valeurs particulières, et en remplaçant t par t2 , on obtient, pour tout t ∈ ]−1, 1[ :
∞
1 X
= tn
1−t n=0
∞
1 X
= t2n
1 − t2 n=0
∞
1 X
= (−1)n t2n
1 + t2 n=0
∞
1 X 1.3. · · · (2n − 1)
√ = 1+ t2n
1 − t2 n=1
2n n!
∞
1 X 1.3. · · · (2n − 1) 2n
√ = 1+ (−1)n t
1 + t2 n=1
2n n!
Les séries entières permettent de résoudre certaines équations différentielles

Soit l’équation différentielle suivante :
y (x) + xy0 (x) + y(x) =

 00

 0
=

(E) y(0) 1


=

y0 (0) 0.


Cherchons une solution y(x) de (E) qui est développable en série entière sur un intervalle ]−r, r[ : y(x) =
X∞
an xn .
n=0
∞
X
y(x) = an xn
n=0
∞
X
xy0 (x) = nan xn
n=0
∞
X
y00 (x) = (n + 2)(n + 1)an+2 xn
n=0
∞
X
y00 (x) + xy0 (x) + y(x) = (n + 1)[(n + 2)an+2 + an ]xn .
n=0
Donc y(x) est solution de (E) si, et seulement si,
80 Boussouis Brahim
an 
a0 (−1)n
=

∀n ∈ N, an+2 − = (−1)n n = n

 ∀n ∈ N, a2n
 
n+2
 
2 .n!
 
 
⇒ 2 n!
y(0) = a0 =

 1 (−1)n
= a1 = 0
 
 ∀n ∈ N, a2n+1

 y0 (0) = a 
=
 
0 1 · 3 · 3 · 5 · · · (2n + 1)

1
∞
X (−1)n
Donc y(x) = n n!
x2n ; Le rayon de convergence de cette série est non nul (en fait, il est infini!). Donc
n=0
2
l’équation (E) admet bien une solution développable en série entière. En fait, on reconnaît la solution
trouvée, puisque
∞ ∞
X (−1)n 2n X (−x2 /2)n
= e−x /2 .
2
y(x) = n
x =
n=0
2 n! n=0
n!
Développement en série entière d’une fraction rationnelle
Théorème 3.34
N
Soit F = ∈ C(X) une fraction rationnelle (écrite sous forme réduite) et soient α1 , · · · , αm les zéros
D
du polynôme D (ou encore les pôles de F). Alors F est développable en série entière en tout point
z0 ∈ C\{α1 , · · · , αm } :
X∞
∀z ∈ D(z0 , R), F(z) = an (z0 )(z − z0 )n .
n=0
Le rayon de convergence de cette série entière est R = min |z0 − αk |.

1≤k≤m
Démonstration. On décompose F en éléments simples dans C(X) :

mk
m X
X βk,l
F(X) = E(X) + .
|{z}
k=1 l=1
(X − αk )l
partie entière
où E(X) est la partie entière de F(X) (ie. le quotient de la division euclidienne de N(X) par D(X)), mk est
la multiplicité du pôle αk et βk,l un nombre complexe.
Moyennant une translation (z → z − z0 ), on peut se ramener à z0 = 0 et on suppose qu’aucun pôle n’est
nul. On écrit !−l
1 1 z
= 1 −
(z − αk )l (−αk )l αk
et on utilise la formule du binôme (3.8), pour obtenir :
∞ !n X ∞
(n + 1)(n + 2) · · · (n + l − 1) n
!
1 1 X n z
∀z ∈ D(0, |αk |), = = (−1)l z. (3.9)
(z − αk )l (−αk ) n=0 −l αk
l
n=0
αn+l
k
Le rayon de convergence de cette série entière est égal à |αk |. On en déduit que F est développable en série
entière en 0 en tant que somme de fonctions développables en série entière et le rayon de convergence R de
la série entière représentant F est ≥ min |αk |. Si R > min |αk |, il existerait k ∈ {1, · · · , m} tel que |αk | < R.
1≤k≤m 1≤k≤m
F serait continue sur le disque D(0; R) donc en αk , ce qui est impossible car lim |F(z)| = +∞.
z→αk
81 Boussouis Brahim
z3
Exemple 3.34.1. Développons en série entière la fraction rationnelle F(z) = 2 . On commence
z +z−2
par décomposer F en éléments simples :
1 1 8 1
F(z) = −1 + z + + .
3z−1 3z+2
Pour z ∈ C tel que |z| < 1, on a :
∞
1 X
= −(1 − z)−1 = − zn
z−1 n=0
Pour z ∈ C tel que |z| < 2, on a :

∞
1 1 z −1 X (−1)n n
= 1+ = z
z+2 2 2 n=0
2n+1
Donc
∞ "
−2n+1 + 8(−1)n n
X #
F(z) = z .
n=3
3.2n+1
Le rayon de convergence de cette série entière est 1.
82 Boussouis Brahim
Développement en Série Entière des Fonctions Usuelles
f (t) D.S.E Rcv

∞ n
X t
et Rcv = +∞
n=0
n!
∞
X t2n
ch t Rcv = +∞
n=0
(2n)!
∞
X t2n+1
sh t Rcv = +∞
n=0
(2n + 1)!
∞
X t2n
cos t (−1)n Rcv = +∞
n=0
(2n)!
∞
X t2n+1
sin t (−1)n Rcv = +∞
n=0
(2n + 1)!
∞
X α(α − 1) · · · (α − n + 1)
(1 + t)α tn Rcv = 1
n=0
n!
∞
1 1 1 X −a n n b
= t Rcv = , (ab , 0);
at + b b 1 + a t n=0
b a
b ∞
1 X
tn Rcv = 1
1−t n=0
∞
1 X
t2n Rcv = 1
1 − t2 n=0
∞
1 X
(−1)n t2n Rcv = 1
1 + t2 n=0
∞
1 X 1.3. · · · (2n − 1)
√ 1+ t2n Rcv = 1
1− t2 n=1
2n n!
∞
1 X 1.3. · · · (2n − 1) 2n
√ 1+ (−1)n t Rcv = 1
1+ t2 n=1
2n n!
∞
R t du X tn
log(1 + t) = 0 1+u
(−1)n+1 Rcv = 1
n=1
n
∞
du
Rt X t2n+1
Arctg t = (−1)n Rcv = 1
0 1 + u2
n=0
2n + 1
∞
R t du X t2n+1
Argtanh t = 0 Rcv = 1
1 − u2 n=0
2n + 1
∞
Rt du X 1.3. · · · (2n − 1) t2n+1
Arcsin t = 0 √ t+ Rcv = 1
1 − u2 n=1
2n n! 2n + 1
∞
π π
Z t
du X 1.3. · · · (2n − 1) t2n+1
Arccos t = − √ −t− Rcv = 1
2 0 1 − u2 2 n=1
2n n! 2n + 1
∞
Rt du X 1.3. · · · (2n − 1) t2n+1
Argsh t = 0 √ t+ (−1)n Rcv = 1
1 + u2 n=1
2n n! 2n + 1
83 Boussouis Brahim
3.35 Fonction Exponentielle Complexe
La fonction exponentielle est définie sur C par :
∞ n
X z
exp z = ez = .
n=0
n!
La série définissant ez a un rayon de convergence infini, donc ez est défini pour tout z ∈ C. On résume les
propriétés les plus importantes de l’exponentielle dans le théorème suivant :
Théorème 3.36
1. La fonction exponentielle est C-dérivable et coïncide avec sa dérivée.

2. Pour tous z1 , z2 ∈ C, on a :
ez1 +z2 = ez1 · ez2 .

3. L’application exp est une surjection de C dans C∗ .
4. La restriction de exp à R est une fonction réelle strictement croissante et positive qui vérifie
lim e x = +∞ lim e x = 0.
x→+∞ x→−∞
5. Pour tout réel t, on a : eit = 1.

6. Il existe un nombre réel > 0, noté π, tel que exp(iπ/2) = 1 et tel que
ez = 1 ⇐⇒ z ∈ 2iπZ.
7. La fonction exp est périodique de période 2iπ.
Démonstration. 1. La dérivabilité et la valeur de la dérivée de exp découlent du théorème 3.20 de

dérivation des séries entières.
2. Les séries définissant ez1 et ez2 sont absolument convergentes, donc
 ∞ n  ∞ n ∞
X z1  X z2  X
e · e = 
z1 z2
 ·   = cn (z1 , z2 )
n=0
n! n=0
n! n=0
où
n k
X z z2n−k (z1 + z2 )n
cn (z1 , z2 ) = 1
= (formule du binôme).
k=0
k! (n − k)! n!
D’où la relation annoncée.

3. De la relation ez · e−z = 1, il découle que ez , 0. Nous établirons la surjectivité de exp : C → C∗
dans la suite.
4. Les cœfficients de la série entière définissant e x sont des réels, donc e x ∈ R si x ∈ R. Comme
x2
∀x ≥ 0, e x = 1 + x + + des termes positifs ≥ 1 + x,
2
84 Boussouis Brahim
3.35. Fonction Exponentielle Complexe
on en déduit que lim e x = +∞. D’autre part, e−x = 1/e x , donc lim e x = 0. Comme (e x )0 = e x
x→+∞ x→−∞
ne s’annule jamais, la fonction exp est strictement monotone sur R; en fait, elle est strictement
croissante sur R car lim e x = +∞. Enfin, étant strictement croissante sur R et sa limite en −∞ est
x→+∞
0, on en déduit que e x > 0, pour tout x ∈ R.
5. Soit t ∈ R. On a :
∞ ∞
2
X (it)n X (−it)n
eit = eit · eit = eit × = eit × = eit · e−it = eit−it = e0 = 1.
n=0
n! n=0
n!
6. Définissons deux fonctions de la variable réelle : 4

eit + e−it X ∞ eit − e−it X ∞
t2n t2n+1
cos t := < eit = = (−1)n sin t := = eit = = (−1)n .
2 n=0
(2n)! 2i n=0
(2n + 1)!
En dérivant, on obtient
ieit − ie−it ieit + ie−it

(cos t)0 = = − sin t (sin t)0 = = cos t.
2 2i
On a :
∞
X 22n
cos 2 = (−1)n .
n=0
(2n)!
22n
la suite étant décroissante et de limite nulle, d’après le théorème des séries alternées, cos 2 <
(2n)!
2
2 24
S2 = 1 − + < 0. Comme cos 0 = 1 et que cos est continue, elle doit s’annuler entre 0 et 2.
2 4!
Soit t0 le plus petit réel ∈ ]0, 2[ tel que cos t0 = 0, et posons
π = 2t0 .
2
Comme eit = cos2 t + sin2 t = 1, on en déduit que sin t0 = ±1, et comme (sin t)0 = cos t > 0 sur
]0, t0 [, la fonction sin est strictement croissante sur ]0, t0 [; d’autre part sin 0 = 0, donc sin t0 > 0
et sin t0 = 1. On a donc démontré que
eiπ/2 = i et eiπ = i2 = −1.
On en déduit que e2inπ = 1, pour tout n ∈ Z et que
∀z ∈ C, ez+2iπ = ez · e2iπ = ez .
Donc la fonction exp est périodique de période 2iπ.

Soit z = x + iy, (x, y ∈ R), tel que ez = 1. On a |ez | = e x eiy = e x = 1, donc x = 0 ( exp est
strictement croissante donc injective sur R). Il reste à montrer que y ∈ 2πZ. Pour cela, on va
montrer que si 0 < y < 2π, alors eiy , 1.
Soit donc y ∈ ]0, 2π[. Ecrivons eiy/4 = a + ib, a, b ∈ R. Comme y/4 ∈ ]0, π/2[, on a a > 0 et b > 0.
D’autre part,
eiy = (a + ib)4 = a4 − 6a2 b2 + b4 + 4iab(a2 − b2 ).
4. La définition que l’on donne ici des fonctions sin et cos est indépendante de toute considération géométrique, et permet de
retrouver toutes les propriétés de ces deux fonctions usuelles.
85 Boussouis Brahim
Donc
a2 +b2 =1 1 a>0,b>0 1
eiy = 1 ⇐⇒ a2 − b2 = 0 ⇒ a2 = b2 = ⇒ a = b = √ ⇒ eiy = a4 − 6a2 b2 + b4 = −1 !!
2 2
Donc eiy , 1, pour tout y ∈ ]0, 2π[.

Terminons par la démonstration de la surjectivité de exp : C → C∗ . Soit d’abord z ∈ C de module
1 : z = a + i b . Si a et b sont tous les deux positifs, comme 0 = cos π/2 ≤ a ≤ 1 = cos 0, le
∈R ∈R
théorème des valeurs intermédiaires assure l’existence de t ∈ ]0, π/2[ tel que a = cos t. Comme
sin2 t = 1 − a2 = b2 , et comme b ≥ 0 et 0 ≤ t ≤ π/2, on a b = sin t et z = eit .
Si a < 0, b ≥ 0, on applique ce qui précède à −iz; on trouve −iz = eit , donc z = ei(t+π/2) . Enfin, si
b < 0, on sait que −z = eit et donc z = ei(t+π) .
Pour finir, soit z ∈ C∗ . On écrit z = |z| z0 , avec z0 de module 1. D’après ce qui précède, z0 = eit ,
pour un t ∈ R. La fonction exp étant bijection de R sur R∗+ ( d’après le théorème de la fonction
réciproque), il existe u ∈ R tel que |z| = eu . Donc z = eu · eit = eu+it , ce qui prouve que exp est une
surjection de C sur C∗ .

z n
Exercice 4. Montrer que pour tout z ∈ C, ez = lim 1 + .
n→∞ n
3.36.1 Les fonctions trigonométriques circulaires et les fonctions trigonométriques

hyperboliques complexes
On définit les fonctions cos, sin, ch et sh sur C par :
∞
eiz + e−iz X z2n
∀z ∈ C, cos z := = (−1)n ,
2 n=0
(2n)!
∞
eiz − e−iz X z2n+1
∀z ∈ C, sin z := = (−1)n ,
2i n=0
(2n + 1)!
∞
ez − e−z X z2n+1
∀z ∈ C, sh z := = ,
2 n=0
(2n + 1)!
∞
ez + e−z X z2n
∀z ∈ C, ch z := = .
2 n=0
(2n)!
Les formules
eiz = cos z + i sin z (Formule de Moivre) sin2 z + cos2 z = 1 ch2 z − sh2 z = 1
continuent à être valables sur C, mais les inégalités |sin z| ≤ 1, |cos z| ≤ 1 et |ch z| ≥ 1 ne sont plus valables
sur C !
Les formules d’addition et de multiplication des fonctions circulaires d’une variable complexe sont les
mêmes que pour les fonctions circulaires d’une variable réelle. On peut les déduire de la formule de
86 Boussouis Brahim
3.35. Fonction Exponentielle Complexe
eiz + e−iz eiz − e−iz
Moivre et des formules d’Euler cos z = et sin z = . Par exemple
2 2i
ei(a+b) + e−i(a+b)
cos(a + b) =
2
eia eib + e−ia e−ib
=
2
(cos a + i sin a)(cos b + i sin b) + (cos a − i sin a)(cos b − i sin b)
=
2
= cos a cos b − sin a sin b.
Enfin, les relations

ch iz = cos z et sh iz = i sin z
permettent d’obtenir des formules d’addition et de multiplication pour les fonctions hyperboliques. Par
exemple :
ch(a + b) = cos (−i(a + b))

= cos(−ia) cos(ib) − sin(−ia) sin(−ib)
= ch a ch b − (i sh a)(i sh b)
= ch a ch b + sh a sh b.
87 Boussouis Brahim
Chapitre 4
Séries de Fourier
Sommaire
4.1 Séries trigonométriques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 88
4.2.1 Convergence des séries trigonmétriques . . . . . . . . . . . . . . . . . . . . . 89
Un cas de convergence normale . . . . . . . . . . . . . . . . . . . . . . . . . 89
4.9 Développement en série de Fourier . . . . . . . . . . . . . . . . . . . . . . . . . . . 92
Calcul des Cœfficients de Fourier . . . . . . . . . . . . . . . . . . . . . . . . 92
Cas des fonctions T -périodiques . . . . . . . . . . . . . . . . . . . . . . . . . 94
4.11.1 Convergence ponctuelle de la série de Fourier d’une fonction . . . . . . . . . . 95
Fonctions continues par morceaux . . . . . . . . . . . . . . . . . . . . . . . . 95
4.13.1 Interprétation géométrique . . . . . . . . . . . . . . . . . . . . . . . . . . . . 97
Inégalité de Bessel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 101
Egalité de Parseval . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 102
Les séries de Fourier sont, comme les séries entières, des séries de fonctions d’une forme particulière.
Elles permettent de représenter, dans un sens qui sera précisé dans la suite, une fonction périodique
à l’aide d’une série de fonctions sinusoïdales. Elles jouent un grand rôle dans la pratique (traitement du
signal, mécanique, . . . ) et dans la théorie (elles ont été à l’origine de la théorie des ensembles, des espaces
de Hilbert, . . . ).
4.1 Séries trigonométriques
Définition 4.2 (Forme réelle)

P
On apelle série trigonométrique une série de fonctions particulières un (t) où
a0
un (t) = an cos nt + bn sin nt si n ∈ N∗ et u0 (t) = .
2
les an et les bn étant des constantes complexes.
La forme donnée à u0 (t) sera justifiée par la suite. Comme sin 0 = 0, on convient de poser b0 = 0.
88
4.1. Séries trigonométriques
En utilisant les formules d’Euler
eint + e−int eint − e−int

cos nt = et sin nt = ,
2 2I
on remarque que an cos nt + bn sin nt peut s’écrire sous la forme cn eint + cn e−int , en posant
 a − ib
n n
si n ∈ N,



cn =  2

(4.1)

a + ibn
 n si n ∈ Z− ,



2
Inversement, étant donnée une suite (cn )n∈Z de nombres complexes, on peut écrire cn eint + cn e−int =
an cos nt + bn sin nt, en posant
∀n ∈ N, an = cn + c−n , et bn = i(cn − c−n ). (4.2)
a0 X
De sorte que la série + (an cos nt + bn sin nt) peut aussi s’écrire sous la forme complexe :
2 n≥1
X X
c0 + (cn eint + c−n e−int ) ou encore cn eint
n∈N∗ n∈Z
On passe de la forme réelle à la forme complexe en utilisant les équations (4.1) et (4.2).
Nous nous posons deux types de questions à propos de ces séries :
— Convergence et Propriétés de la somme d’une série trigonométrique;
— Représentation d’une fonction donnée comme somme d’une série trigonométrique (ou ce qu’on
appellera développement en série de Fourier de la dite fonction).
4.2.1 Convergence des séries trigonmétriques

Un cas de convergence normale
Théorème 4.3
(|an | + |bn |) est convergente, alors la série trigonométrique

P
Si la série numérique
n≥1
a0 X
+ (an cos nt + bn sin nt)
2 n≥1
converge normalement sur R et sa somme est une fonction continue et 2π-périodique.
Démonstration. Immédiate.
89 Boussouis Brahim
Chapitre 4: Séries de Fourier
Théorème 4.4
Supposons que les suites réelles (an )n≥0 et (bn )n≥0 soient décroissantes et convergent vers 0. Alors
1. La série trigonométrique
a0 X
+ (an cos nt + bn sin nt)
2 n≥1
converge simplement sur R\2πZ et sa somme est 2π-périodique.
2. La convergence est uniforme sur tout intervalle de la forme [α + 2kπ, 2π − α + 2kπ], où 0 < α < π
et k ∈ Z.
3. La somme est continue sur R\2πZ.
n
X n
X
Démonstration. Soient t ∈ R\2πZ, Un (t) = cos kt et Vn (t) = sin kt. On reprend les calculs de
k=1 k=1
la page 27 :
n
X eit − ei(n+1)t
Un (t) + iVn (t) = eit =
k=1
1 − eit
it int/2
e e (−2i sin nt/2)
=
eit/2 (−2i sin t/2)
sin nt/2 i(n+1)t/2
= e
sin t/2
On en déduit que :
sin nt/2 · cos(n + 1)t/2 1

|Un (t)| = ≤ . (4.3)
sin t/2 |sin t/2|
sin nt/2 · sin(n + 1)t/2 1
|Vn (t)| = ≤ . (4.4)
sin t/2 |sin t/2|
1 a0 X
Comme |Un (t)| , |Vn (t)| ≤ , on déduit de la règle d’Abel que la série + (an cos nt + bn sin nt)
|sin t/2| 2 n≥1
converge simplement sur R\2πZ et que sa somme est 2π-périodique.
1 1
Soit 0 < α < π. Si on impose à t d’appartenir à [α, 2π − α] (modulo 2π), alors ≤ , et
|sin t/2| |sin α/2|
par suite les sommes partielles Un (t) et Vn (t) sont uniformément bornéesX sur [α, 2π − α] (modulo
a0
2π); d’après la règle d’Abel uniforme ( cf. théorème 2.27 ), la série + (an cos nt + bn sin nt)
2 n≥1
converge uniformément sur [α, 2π − α] (modulo 2π), donc sa somme est continue sur cet inter-
valle.
Comme α ∈ ]0, π[ est arbitraire, la somme est continue sur ]0, 2π[, et par périodicité, elle est continue
sur R\2πZ.
P cos nt
Exemple 4.4.1. La série ne converge pas sur R en entier, mais converge simplement sur R\2πZ.
n
De plus, la convergence est uniforme sur les intervalles [α + 2kπ, 2(k + 1)π − α], ( k ∈ Z, 0 < α < 2π).
La somme de cette série est continue et 2π-périodique sur R\2πZ.
90 Boussouis Brahim
4.1. Séries trigonométriques

Introduisons la définition suivante :
Définition 4.5
αn (indexée par Z) est convergente (resp. absolument convergente) si

P
On dira que la série numérique
n∈Z
la série α0 + (αn + α−n ) est convergente (resp. si la série |α0 | + (|αn | + |α−n |) est convergente).
P P
n∈N∗ n∈N∗
On en déduit une condition suffisante de convergence uniforme pour les séries trigonométrique sous forme
complexe :
Proposition 4.6
cn eint converge normale-

P P
Si la série cn est absolument convergente, alors la série trigonométrique
n∈Z n∈Z
ment (donc uniformément) sur R et sa somme est une fonction continue et 2π-périodique.
Exemples 4.6.1. Soit an zn une série entière de rayon de convergence R > 0. Alors pour tout 0 ≤ r < R,
P
la série trigonométrique an rn eint converge normalement sur R. Par exemple, pour |z| < 1, on a
P
∞
X 1 1+z
= 1 + 2 zn = 1 + 2z = .
n=1
1−z 1−z
Donc pour r ∈ [0, 1[, on obtient

∞
1 + reit X
= 1 + 2 rn eint .
1 − reit n=1
En séparant les parties réelles et imaginaires, on obtient les identités remarquables suivantes :
∞
1 + reit 1 − r2
! X
∀t ∈ R, < = = 1 + 2 rn cos nt
1 − reit 1 − 2r cos t + r2 n=1
∞
1 + reit
!
2r sin t X
∀t ∈ R, = = = 1 + 2 rn sin nt
1 − reit 1 − 2r cos t + r2 n=1
En raisonnant par récurrence et en appliquant le théorème de dérivation d’une série de fonctions, on peut
démontrer facilement le résultat suivant :
91 Boussouis Brahim
Proposition 4.7
Soit k ∈ N∗ . Si les séries

P k P k
n an et n bn sont absolument convergentes, alors la série trigonométrique
n∈N n∈N
a0 X
+ (an cos nt + bn sin nt) converge normalement sur R, sa somme est une fonction 2π-périodique de
2 n≥1
classe C k , et l’on a pour tout p ∈ {1, · · · , k},
 ∞
(p) ∞
 a0 X X pπ pπ
 + (an cos nt + bn sin nt) = n p an cos nt + + bn sin nt + .

2 n=1 n=1
2 2
Ou encore
Proposition 4.8
Soit k ∈ N∗ . Si la série nk cn est absolument convergente, alors la série de Fourier cn eint converge
P P
n∈Z n∈Z
normalement sur R, sa somme est une fonction 2π-périodique de classe C k , et l’on a pour tout p ∈
{1, · · · , k},
 +∞ (p) +∞
 X X
cn e  = (in) p cn eint .

int 

n=−∞ n=−∞
4.9 Développement en série de Fourier

Calcul des Cœfficients de Fourier
P
Commençons par un cas particulier. Supposons que la série cn soit absolument convergente. Alors
n∈Z
cn eint converge normalement (donc uniformément) sur R et sa somme f est une fonction
P
la série
n∈Z
continue et 2π-périodique. Comme la fonction t 7→ e−ipt est bornée (p ∈ Z), la série cn eint e−ipt converge
P
n∈Z
uniformément sur R, et l’on peut l’intégrer terme à terme sur [0, 2π] :
Z 2π Z 2π ∞ Z
X 2π
−ipt
f (t)e dt = c0 −ipt
e dt + cn eint + c−n e−int e−ipt dt (4.5)
0 0 n=1 0
= 2πc p . (4.6)
en distinguant les cas p = 0, p ≥ 1 et p ≤ −1. Donc
Z 2π
1
∀p ∈ Z, c p = f (t)e−ipt dt.
2π 0
92 Boussouis Brahim
4.9. Développement en série de Fourier
Et on en déduit les cœfficients de la forme réelle :
1 2π
Z
∀p ∈ N, a p = f (t) cos pt dt.
π 0
Z 2π
1
∀p ∈ N∗ , b p = f (t) sin pt dt.
π 0
Ceci nous amène à poser la définition suivante :
Définition 4.10
Soit f : R → C une fonction 2π-périodique et localement intégrable sur R (ie. intégrable sur tous les
segments). Les nombres
1 2π
Z
an ( f ) = f (t) cos nt dt, (n ∈ N),
π 0
1 2π
Z
bn ( f ) = f (t) sin nt dt, (n ∈ N∗ ),
π 0
a0 ( f ) X
s’appellent les cœfficients de Fourier de f , et la série + (an ( f ) cos nt + bn ( f ) sin nt) s’appelle la
2 n≥1
série de Fourier de f .
cn ( f )eint , où
P
La série de Fourier sous forme complexe de f est la série
n∈Z
Z 2π
1
∀n ∈ Z, cn ( f ) = f (t)e−int dt.
2π 0
Remarque 4.10.1. 1. C’est pour avoir une formule homogène pour tous les an , n ∈ N, que l’on
a0
écrit le terme constant de la série de Fourier d’une fonction sous la forme .
2
2. Deux fonctions différentes peuvent avoir la même série de Fourier. C’est le cas, par exemple, si
les deux fonctions sont égales en dehors d’un sous-ensemble fini de [0, 2π].

a0 X
+ (an cos nt + bn sin nt) (resp. cn eint )
P
Convention. On convient d’exprimer le fait que la série
2 n≥1 n∈Z
a0 X
+ (an cos nt + bn sin nt) (resp. f ≈ cn eint ).
P
est la série de Fourier de la fonction f par : f ≈
2 n≥1 n∈Z
Les calculs des cœfficients de Fourier peuvent être simplifiés par des considèrations de parité.
93 Boussouis Brahim
Proposition 4.11
Soit f une fonction 2π-périodique et localement intégrable sur R et soit

a0 X X
+ (an cos nt + bn sin nt) = cn eint ,
2 n≥1 n∈Z
sa série de Fourier.
1. Si f est paire, alors
Z π Z π
2 1
∀n ∈ N, bn = 0; an = f (t) cos nt dt; cn = c−n = f (t) cos nt dt. (4.7)
π 0 π 0
2. Si f est impaire, alors

Z π Z π
2 i
∀n ∈ N, an = 0; bn = f (t) sin nt dt; cn = −c−n = − f (t) sin nt dt. (4.8)
π 0 π 0
Démonstration. En effet, on sait que si g est une fonction 2π-périodique et localement intégrable sur R,
alors pour tout α ∈ R,
Z 2π Z α+2π Z +π
g(t) dt = g(t) dt = g(t) dt, (α = −π).
0 α −π
Donc
1 +π
Z
∀n ∈ N, an = f (t) cos nt dt;
π Z−π
+π
1
∀n ∈ N, bn = f (t) sin nt dt;
π Z−π
+π
1
∀n ∈ Z, cn = f (t)e−int dt;
2π −π
1. Donc si f est de plus paire, alors
1 +π 2 +π
Z Z
∀n ∈ N, an = f (t) cos nt dt = f (t) cos nt dt; (car t 7→ f (t) cos nt est paire)
π −π π 0
Z +π
1
∀n ∈ N, bn = f (t) sin nt dt = 0; (car t 7→ f (t) sin nt est impaire)
π −π
an ± ibn an
On en déduit que c±n = = .
2 2
2. Démonstration analogue pour les formules (4.8), si f est impaire.

Cas des fonctions T -périodiques

2π t
Si f est T -périodique, on pose ω = ( la pulsation). La fonction g(t) = f est alors 2π-périodique,
T ω
et on peut lui appliquer les résultats précèdents. La série de Fourier de f serait alors
a0 X X
+ (an cos nωt + bn sin nωt) = cn einωt
2 n≥1 n∈Z
94 Boussouis Brahim
avec
2 T
Z
∀n ∈ N, an = f (t) cos nωt dt;
T 0
Z T
2
∀n ∈ N∗ , bn = f (t) sin nωt dt;
T 0
1 T
Z
∀n ∈ Z, cn = f (t)e−inωt dt.
T 0
4.11.1 Convergence ponctuelle de la série de Fourier d’une fonction

Etant donnée une fonction 2π-périodique et localement intégrable f , il n’y a aucune raison, à priori, pour
que sa série de Fourier converge, et s’elle converge, elle peut converger vers une somme différente de f .
On démontre qu’il existe des fonctions continues et 2π-périodiques dont les séries de Fourier divergent en
une infinité de points. Aussi nous allons nous intéresser aux conditions sur la fonction f sous lesquelles
sa série de Fourier converge vers f .
Fonctions de classe C 1 par morceaux
Définition 4.12
Soit f : I = [a, b] → C. On dit que

1. f est continue par morceaux sur I s’il existe une subdivision a = x0 < x1 · · · < xn = b de I telle
que
(a) f est continue sur les intevalles ]xk−1 , xk [, k = 1, · · · , n;
(b) f admet une limite à droite en a = x0 , · · · , xn−1 et une limite à gauche en x1 , · · · , xn = b.
2. f est dérivable par morceaux sur I si

(a) f est continue par morceaux sur I (relativement à une subdivision x0 < · · · < xn de I);
(b) f est dérivable sur les intevalles ]xk−1 , xk [, k = 1, · · · , n;
(c) f 0 admet une limite à droite en a = x0 , · · · , xn−1 et une limite à gauche en x1 , · · · , xn = b.
3. f est dite de classe C 1 par morceaux, s’il existe une subdivision a = x0 < x1 · · · < xn = b de
I telle que, pour tout i ∈ ~1, n, la restriction de f à ]xi−1 , xi [ est de classe C 1 et chacune des
+
applications f et f 0 admet une limite finie en xi−1 et xi− ; ou encore si la restriction de f à ]xi−1 , xi [
peut être prolongée en une application de classe C 1 sur [xi−1 , xi ].
Remarque 4.12.1. Aucune condition n’est imposée à f aux points x0 , · · · , xn , et f peut présenter des
discontinuités (de première espèce) en ces points.
Exemples 4.12.1. 1. La fonction f (x) = x − E(x) est continue par morceaux sur [0, 3] (E(x) est la
partie entière de x).
1

si 0 < x ≤ 2π,

sin

2. La fonction f (x) = 

x n’est pas continue par morceaux sur [0, 2π] (car elle
si x = 0

0

n’admet pas de limite en 0+ ).
95 Boussouis Brahim
f(xk )
f(xk+1) f(b−0)
f(a) f(xk −0)
f(xk+1 −0) f(b)

f(a+0)
f(xk+1 +0)
a xk xk+1 b
Figure 4.1 – Une fonction continue par morceaux
3. La fonction f (x) = |x| est de classe C 1 par morceaux sur [−1, 1].
Nous admettons, sans démonstration, le théorème suivant.
Théorème 4.13 (Règle de Dirichlet (1829) )

a
Si f est une fonction numérique 2π-périodique et de classe C 1 par morceaux sur [−π, π], sa série de
1
Fourier converge en tout point x ∈ R et sa somme est f (x + 0) + f (x − 0) . En particulier, cette somme

2
vaut f (x) si f est continue est continue en x.
a. Johann Peter Gustav Lejeune Dirichlet (1805-1859), mathématicien allemand.
Exemples 4.13.1. 1. Soit f la fonction de période 2π sur R définie par :





−1 si − π < t < 0
f (t) =  si 0 < t < π

1



si t ∈ {−π, 0, π}.

0

−2π −π 0 2π
π
−1
f est impaire, donc les an ( f ) sont tous nuls et pour tout n ≥ 1, on a :
96 Boussouis Brahim

Z π Z π 0 si n est pair
2 2 2 1 − cos nπ 

bn ( f ) = f (t) sin nt dt = sin nt dt = =

4
π 0 π 0 π n 

 si n est impair.
nπ
Comme f est dérivable par morceaux, on peut écrire :
∞
1 4 X sin(2n + 1)t
∀t ∈ R, f (t) = f (t + 0) + f (t − 0) = .
2 π n=0 2n + 1
2. Soit g la fonction de période 2π telle que g(t) = |t| si |t| ≤ π :
−3π −2π −π 0 π 2π 3π
g est paire, donc les bn sont tous nuls et
2 π
Z
a0 = t dt = π.
π 0
Z π "" #π Z π #
2 2 t sin nt sin nt
∀n ≥ 1, an = t cos nt dt = − t dt
π 0 π n 0 0 n

0 si n est pair
2 cos nt π 
= 0+ =

4
π n2 
0 − 2

 si n est impair.
nπ
g étant dérivable par morceaux sur [−π, π] et continue sur R, donc
∞
π 4 X cos(2n + 1)t
∀t ∈ R, g(t) = − .
2 π n=0 (2n + 1)2
4.13.1 Interprétation géométrique
Les séries de Fourier sont à l’origine de la généralisation de la notion de produit scalaire de l’espace R3
à des espaces plus généraux.
97 Boussouis Brahim
Définition 4.14
Soit E un K-espace vectoriel (K ∈ {R, C}). On appelle produit scalaire sur E toute application ϕ : E 2 →
K qui satisait les conditions suivantes :
(i) ϕ est linéaire par rapport à la première variable, c’est-à-dire que pour tout v ∈ E, on a :
∀λ ∈ K, ∀u1 , u2 ∈ E, ϕ(λu1 + u2 , v) = λϕ(u1 , v) + ϕ(u2 , v).
(ii) ∀u, v ∈ E, ϕ(v, u) = ϕ(u, v).
(iii) ∀u ∈ E\{0}, ϕ(u, u) > 0.
La notation usuelle du produit scalaire est ϕ(u, v) = hu, vi. Un espace préhilbertien est un espace vectoriel
muni d’un produit scalaire.
Remarque 4.14.1. — Si K = R, alors ϕ est un produit scalaire si, et seulement si, ϕ est bili-
néaire (ie. ϕ(u, v) est linéaire par arpport à u et à v), symétrique (ie. ϕ(u, v) = ϕ(v, u), pour tous
u, v ∈ E) et définie positive (ie. ϕ vérifie la condition (iii) ci-dessus).
— Si K = C, alors alors ϕ est un produit scalaire si, et seulement si, ϕ est sesquilinéaire (ie. ϕ(u, v) est
linéaire par rapport à u et semi-linéaire par rapport à v, c’est-à-dire que, pour tous u, v1 , v2 ∈ E
et pour tout λ ∈ C, ϕ(u, λv1 + v2 ) = λ̄ϕ(u, v1 ) + ϕ(u, v2 )) et définie positive (ϕ vérifie la condition
(iii) ci-dessus).
Exemple 4.14.1. Soit E le C-espace vectoriel des fonctions 2π-périodiques et continues par morceaux
1
sur [0, 2π] et qui, en tout point de discontinuité t, vérifient f (t) = f (t + 0) + f (t − 0) . On définit un

2
produit scalaire sur E, en posant, pour tous f, g ∈ E,
Z 2π
1
< f, g >= f (t)g(t) dt.
π 0
Proposition 4.15
1
Soient f0 : t 7→ √ , fn : t 7→ cos nt, et gn : t 7→ sin nt, n ∈ N∗ . Alors le système S =
n 2o
fn , g p : (n, p) ∈ N × N∗ est un système orthonormé, et si f ∈ E, alors :
√
a0 ( f ) = 2h f , f0 i.
∀n ∈ N , an ( f ) =
∗
h f , fn i.
∀n ∈ N∗ , bn ( f ) = h f , gn i.
98 Boussouis Brahim
Démonstration. En utilisant les formules:
1
cos a cos b = [cos(a + b) + cos(a − b)],
2
1
cos a sin b = [sin(a + b) − sin(a − b)],
2
1
sin a sin b = [− cos(a + b) + cos(a − b)];
2

D E 1
 si n = p
∀n, p ∈ N, fn , f p = δn,p =

(4.9)
0
 si n , p.
D E
∀(n, p) ∈ N × N∗ , fn , g p = 0. (4.10)

D E 1
 si n = p
∀n, p ∈ N∗ , gn , g p = δn,p =

(4.11)
0
 si n , p.
Donc le système S est orthonormé. De plus, on a
1 2π
Z √
a0 ( f ) = f (t) dt = 2h f , f0 i.
π 0
1 2π
Z
∀n ∈ N∗ , an ( f ) = f (t) cos nt dt = h f , fn i.
π 0
Z 2π
1
∀n ∈ N∗ , bn ( f ) = f (t) sin nt dt = h f , gn i.
π 0

Définition 4.16
On appelle polynôme trigonométrique de degré ≤ n une expression de la forme

n
a0 X
T n (t) = + [ak cos kt + bk sin kt],
2 k=1
où les ak et bk sont des constantes complexes.

On notera Tn l’espace des polynômes trigonométriques de degré ≤ n : Tn = Vect{ f0 , · · · , fn , g1 , · · · , gn }.
Définition 4.17
Soient f, g ∈ E. On appelle écart quadratique de f et g, et on notera δ( f, g), le nombre réel

s
1 2π
Z
δ( f, g) := k f − gk2 = | f (t) − g(t)|2 dt.
π 0
99 Boussouis Brahim
Remarque 4.17.1. L’application δ vérifie les propriétés de symétrie (δ( f, g) = δ(g, f )) et de l’inéga-
lité triangulaire (δ( f, g) ≤ δ( f, h) + δ(h, g)) et l’axiome de séparation (δ( f, g) = 0 ⇒ f = g). Donc δ est
pas une distance sur E.
Théorème 4.18
n
a0 ( f ) X
Soit f ∈ E et soit S n ( f )(t) = + ak ( f ) cos kt + bk ( f ) sin kt la somme partielle de rang n de la

2 k=1
série de Fourier de f . Alors S n ( f ) est, parmi les polynôme trigonométriques de degré ≤ n, celui qui est
le plus proche, au sens de l’écart quadratique, de f . Autrement dit S n est la projection orthogonale de f
sur Tn :
inf δ( f, T ) = δ( f, S n ( f )) (4.12)
T ∈Tn
Ou encore,
n 2
2π
α0 X 2π
Z Z
inf f (t) − − (αk cos kt + βk sin kt) dt = | f (t) − S n ( f )(t)|2 dt. (4.13)
α0 ,··· ,αn ,β1 ,··· ,βn ∈C 0 2 0
k=1
S n( f )
Tn
Figure 4.2 – S n ( f ) est la projection orthogonale de f sur Tn .
Démonstration. On a :
n
X n
X
S n( f ) = h f , fk i fk + h f , gk igk ∈ Tn .
k=0 k=1
Et en tenant compte des relations (4.9), (4.10) et (4.11), on peut écrire :
∀k ∈ {0, · · · , n}, h f − S n , fk i = 0,
∀k ∈ {1, · · · , n}, h f − S n , gk i = 0.
Donc, f − S n est orthogonal à l’espace vectoriel Tn engendré par { f0 , · · · , fn , g1 , · · · , gn } : f − S n ⊥ Tn .
Soit maintant T ∈ Tn un polynôme trigonométrique de degré ≤ n. On a :
δ( f, T )2 = hf − T , f − Ti
= h f − S n( f ) + S n( f ) − T , f − S n( f ) + S n( f ) − T i
= h f − S n ( f ) , f − S n ( f )i + 2<(h f − S n ( f ) , S n ( f ) − T i) + hS n ( f ) − T , S n ( f ) − T i
= δ( f, S n ( f )) 2 + δ(S n ( f ), T ) 2 ( car f − S n ( f ) ⊥ S n ( f ) − T ).

≥ δ( f, S n ( f ))2 .
100 Boussouis Brahim

Or S n ( f ) ∈ Tn , donc inf δ( f, T ) = min δ( f, T ) = δ( f, S n ( f )).
T ∈Tn T ∈Tn
Inégalité de Bessel
Proposition 4.19 (Inégalité de Bessel)
a0 X |a0 |2 X 2
Soit f ∈ E et soit + (an cos nt + bn sin nt) sa série de Fourier. Alors la série + |an | + |bn |2
2 n≥1 2 n≥1
est convergente et l’on a :
∞ 2π
|a0 |2 X 2 1 Z
+ |an | + |bn |2 ≤ | f (t)|2 dt = k f k22 . (4.14)
2 n=1
π 0
n
X n
X
Démonstration. Soit n ∈ N∗ et soit S n = h f , fk i fk + h f , gk igk la somme partielle de rang n de la
k=0 k=1
série de Fourier de f . On a :
* n
X n
X +
h f , S ni = f, h f , fk i fk + h f , gk igk (4.15)
k=0 k=1
n n n
X X |a0 |2 X 2
= |h f , fk i|2 + |h f , gk i|2 = + |ak | + |bk |2 (4.16)
k=0 k=1
2 k=1
= kS n k22 . (4.17)
kf − S n k22 = h f − S n , f − S ni (4.18)
= h f , f i − 2<(h f , S n i) + hS n , S n i (4.19)
= k f k22 − 2kS n k22 + kS n k22 (4.20)
= k f k22 − kS n k22 . (4.21)
Donc 0 ≤ k f − S n k22 = k f k22 − kS n k22 et par suite :

n 2π
|a0 |2 X 2
Z
1
∀n ∈ N , ∗
+ |ak | + |bk |2 ≤ k f k22 = | f (t)|2 dt.
2 k=1
π 0
|a0 |2 X 2
Ainsi les sommes partielles de la série à termes positifs + |an | + |bn |2 sont majorées, donc elle
2 n≥1
est convergente et l’inégalité 4.14 s’en déduit par passage à la limite.
|a0 |2 X 2
Remarque 4.19.1. +
1. Puisque la série |an | + |bn |2 est convergente, son terme gé-
2 n≥1
néral converge vers 0, donc lim an = lim bn = 0.
n→∞ n→∞
2. Il existe des séries trigonométriques convergentes sur R qui ne sont la série de Fourier d’aucune
P sin nt
fonction localement intégrable sur R. C’est le cas, par exemple, de la série √ . Cette série
n≥1 n

converge simplement sur 2πZ de manière triviale, et sur R\2πZ ( par la règle d’Abel). S’il existe
f ∈ E telle que
X sin nt
f (t) ≈ √ ,
n≥1
n
!2
1 P 1
=
P
d’après l’inégalité de Bessel, la série √ serait convergente, ce qui est faux.
n≥1 n n≥1 n
est la série de Fourier de f sous forme exponentielle, alors an = cn + c−n et bn =

int
P
3. Si cn e
n∈Z
i(cn − c−n ). Donc |an |2 + |bn |2 = 2 |cn |2 + |c−n |2 , et l’inégalité de Bessel s’écrit :
∞ ∞ Z 2π
X X 1
|c0 | +
2
|cn | + |c−n |
2 2
= |cn | ≤2
| f (t)|2 dt.
n=1 n=−∞
2π 0
Comme application de l’inégalité de Bessel, on donne ici une condition suffisante sur une fonction pour
que sa série de Fourier converge uniformément.
Proposition 4.20
La série de Fourier d’ une application de classe C 1 et 2π-périodique converge normalement (donc unifor-
mément) sur R.
Démonstration. Soit f une application de classe C 1 et 2π-périodique. On a :

Z 2π
1
∀n ∈ Z, cn ( f ) =
0
f 0 (t)e−int dt
2π 0
Z 2π !
1 h −int 2π
i
= f (t)e + in −int
f (t)e dt
2π 0
0
= incn ( f ).
On en déduit :
|cn ( f 0 )|
∀n ∈ Z∗ , |cn ( f )| =
|n|
" #
1 0 2 1
≤ cn ( f ) + 2 .
2 n
|cn ( f 0 )|2 est convergente, donc la série

P P
D’après l’inégalité de Bessel, la série |cn ( f )| est convergente,
n∈Z n∈Z
cn ( f )eint .
P
ce qui assure la convergence normale sur R de
n∈Z
Egalité de Parseval

Théorème 4.21 (Egalité de Parseval)

a0 X
Soit f : R → R une application 2π-périodique et continue, et soit + (an cos nt + bn sin nt) sa série
2 n≥1
de Fourier. On a :
∞ 2π
|a0 |2 X 2
Z
1
+ |an | + |bn |2 = | f (t)|2 dt = k f k22 . (4.22)
2 n=1
π 0
Corollaire 4.22
a0
Soient f, g : R → C deux applications continues et 2π-périodiques, et soient +
2
X a00 X 0
(an cos nt + bn sin nt) et + an cos nt + b0n sin nt leurs séries de Fourier respectives. On a :

n≥1
2 n≥1
∞
2π a0 a00 X
Z
1
h f , gi = f (t)g(t) dt = + (an a0n + bn b0n ).
π 0 2 n=1
Démonstration. Posons Q( f ) = h f , f i. En appliquant l’égalité de Parseval à f ± g et f ± ig, on obtient :

2
a0 + a00 ∞
X 2 2

Q( f + g) = + an + a0n + bn + b0n
2 n=1
2 ∞
a0 − a00 X 2 2

Q( f − g) = + an − a0n + bn − b0n
2 n=1
2
a0 + ia00 ∞
X 2 2

Q( f + ig) = + an + ia0n + bn + ib0n
2 n=1
2 ∞
a0 − ia00 X 2 2

Q( f − ig) = + an − ia0n + bn − ib0n .
2 n=1
La démonstration se termine en appliquant la formule de polarisation :

1
h f , gi = Q( f + g) − Q( f − g) + i(Q( f + ig) − Q( f − ig) .

4

cn eint est la série de Fourier de f sous forme complexe, la formule

P
Remarque 4.22.1. 1. Si
n∈Z
de Parseval s’écrirait :
+∞ Z 2π
X 1
|cn |2 = | f (t)|2 dt.
n=−∞
2π 0

2. On peut démontrer que l’égalité de Parseval est vraie pour une fonction 2π-périodique et de
carré Lebesgue-intégrable sur [0, 2π]. En particulier, et nous l’admettrons, elle est vraie pour une
fonction 2π-périodique et localement Riemann-intégrable sur [0, 2π].
3. La formule de Parseval possède une interprétation physique. Si f représente l’intensité d’un cou-
rant électrique en un point donné, | f |2 est proportionnelle à l’énergie diffusée par effet Joule.
Z 2π ∞
1 |a0 |2 X 2
| f |2 est la moyenne de cette énergie, et + |an | + |bn |2 n’est autre que la somme
2π 0 2 n=1
des énergies correspondant à chacune des composantes sinusoïdales de f .
Exemples 4.22.1. 1. Soit f la fonction π-périodique telle que f (x) = x si |x| < π et telle que
P (−1)n−1
f (±π) = 0. Sa série de Fourier est 2 sin nx. En lui appliquant la formule de Parse-
n≥1 n
val, on obtient :
∞ 2π π π
2π2
Z Z Z
X 1 1 1 1
4 = f 2 (t) dt = f 2 (t) dt = t2 dt = .
n=1
n2 π 0 π −π π −π 3
D’où :
∞
X 1 π2
ζ(2) = 2
= .
n=1
n 6
2. Soit g la fonction 2π-périodique telle que g(t) = |t| si |t| ≤ π. Sa série de Fourier est
π 4 X sin(2n + 1)t
− .
2 π n≥0 (2n + 1)2
En lui appliquant la formule de Parseval, on obtient :

∞ π π
π2 16 X 2π
2π2
Z Z Z
1 1 1 2
+ 2 = g2 (t) dt = g2 (t) dt = t2 dt = .
2 π n=0 (2n + 1)4 π 0 π −π π 0 3
⇓
∞
X 1 π4
=
n=0
(2n + 1)4 96
⇓
∞ ∞ ∞
X 1 X 1 X 1
= +
n=1
n4 n=1
(2n)4
n=0
(2n + 1)4
∞
1X1 π4
= 4
+
16 n=1 n 96
Donc :
∞
X 1 π4
ζ(4) = 4
= .
n=1
n 90

Serie Numeriques

Transféré par

Informations du document

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Serie Numeriques

Transféré par

Droits d'auteur :

Formats disponibles

Table des matières

2 Suites et Séries de Fonctions 35

iii Boussouis Brahim

Définition 1.2 (Convergence et divergence d’une série)

Proposition 1.4 (Condition Nécessaire de Convergence)

lim un = lim (S n − S n−1 ) = S − S = 0.

Remarque 1.4.1. Logiquement, la proposition précèdente est équivalente à sa contraposée :

Proposition 1.5 (Linéarité de la somme d’une série)

Convergence des séries à termes complexes

arn , a , 0, converge si, et seulement si, |r| < 1 et en cas de convergence, on a :

Proposition 1.8 (Convergence et somme d’une série télescopique)

Démonstration. La somme partielle de rang n, S n , se calcule ainsi :

|x|n+1 un+1 |x| un+1

Exercice 1. En procèdant comme ci-dessus, démontrer les formules suivantes :

1.9.1 Séries absolument convergentes

Théorème 1.10 (Critère de Cauchy pour les séries)

1.13 Séries à termes réels positifs

Démonstration. En effet, pour tout n ∈ N, on a :

Critère de condensation de Cauchy

Théorème 1.15 ( Critère de condensation de Cauchy)

2n u2n sont de même nature.

u2 + 2u4 + · · · + 2n u2n+1 ≤ u2 + u3 + · · · + u2n+1 ≤ u1 + 2u2 + · · · + 2n u2n

1.17.1 Série majorante, série minorante

Proposition 1.20 (Règle des équivalents)

Proposition 1.21 (Sommation des équivalents)

Donc Rn (u) ∼ Rn (v).

un est divergente et à termes positifs, on a : lim S n (u) = +∞. Donc

1.21.1 Comparaison avec une série géométrique

La règle de comparaison donne le résultat.

Démonstration. (i). Supposons qu’ à partir d’un certain rang on ait :

Dans la pratique, on utilise plutôt la règle suivante dûe à D’Alembert.

Théorème 1.24 (Test de D’Alembert)

Exemples 1.24.1. 1. Soit un = nα xn , où α ∈ R et x > 0. On a :

un converge, pour tout α ∈ R, si 0 < x < 1; et elle diverge, pour tout α ∈ R,

Dans la pratique, on utilise surtout la règle suivante dûe à Cauchy.

Théorème 1.26 (Test de Cauchy)

(i) Si l < 1 , alors un converge;

(ii) Si l > 1 , alors un diverge grossièrement;

(iii) Si l = 1 , on ne peut pas conclure (cas douteux).

Comparaison des tests de D’Alembert et de Cauchy

Théorème 1.28 (Règle de Duhamel)

Soit (un )n≥0 une suite de réels positifs telle que

1. si β > 1, alors la série

1.28.1 Comparaison avec une série de Riemann

Proposition 1.29 (Règle de nα un )

(i) Si l = 0 , alors un converge lorsque α > 1;

(ii) Si l = +∞ , alors un diverge lorsque α ≤ 1;

(iii) Si 0 < l < ∞ , alors un converge si, et seulement si, α > 1.

1.29.1 Comparaison avec une intégrale

Z ∞ f : [0, +∞[ → R+ une fonction positive décroissante. Alors la série

∀t ∈ [k, k + 1], f (k + 1) ≤ f (t) ≤ f (k)

Donc Z k+1 Z k+1 Z k+1

f (1) f (1) f (x)

Et en sommant ces dernières inégalités, on obtient :

5. Notez l’analogie avec la convergence des séries à termes positifs

On veut montrer que la suite

La formule (faible) de Stirling

La formule de Stirling donne un équivalent de n! au voisinage de +∞ :

1.32 Séries à termes quelconques

On appelle série semi-convergente toute série convergente non absolument convergente.

1.33.1 Séries alternées

Théorème 1.35 (Critère spécial des séries alternées)

S 2n+2 − S 2n = u2n+2 + u2n+1 = v2n+2 − v2n+1 ≤ 0 ⇒ (S 2n ) &

1.35.1 Règle d’Abel

Démonstration. On garde les notations de la démonstration précèdente.