Analyse 4 –Chapitre 3–: Série entières.

Pr. Hamid OULGHAZI

Analyse 4 (M147)

FST Errachidia

20 Décembre 2021

Pr. Hamid OULGHAZI (FST Errachidia ) 20 Décembre 2021 1 / 24

 Table of contents

1 Définition

2 Rayon de convergence

3 Comparaison de rayons de convergence

4 Propriétés des sommes de séries entières

Continuité de la fonction somme
Intégration de la fonction somme
Dérivabilité de la fonction somme

5 Fonctions développables en série entière

6 Séries entières classiques

Pr. Hamid OULGHAZI (FST Errachidia ) 20 Décembre 2021 2 / 24

 Définition

Série entière

Définition
Une série entière est une série de fonctions de la forme
X
an x n
n≥0

où (an )n≥0 est une suite de réels ou de complexes et appelée la suite

des coefficients de la série.

On va voir que ces séries ont des propriétés particulièrement

agréables.

Pr. Hamid OULGHAZI (FST Errachidia ) 20 Décembre 2021 3 / 24

 Rayon de convergence

Rayon de convergence

Théorème
Soit (an )n≥0 une suite de réels ou de complexes. Alors, il existe un
unique élément R de R+ ∪ {+∞} possédant les deux propriétés
suivantes:
(i) pour tout x ∈ R tel que |x| < R, la série n≥0 an x n converge.
P

(ii) pour tout x ∈ R tel que |x| > R, la série n≥0 an x n diverge.
P

De plus, on a
n o
n
R = sup r ≥ 0/ (|an | r )n≥0 est majorée

Définition
L’élément R de R+ ∪ {+∞} défini dans le théorème précédent est
appelé le rayon de convergence de la série entière n≥0 an x n .
P

Pr. Hamid OULGHAZI (FST Errachidia ) 20 Décembre 2021 4 / 24

 Rayon de convergence

Rayon de convergence

Remarque
an x n converge, alors |x| ≤ R.
P
Si x ∈ R est tel que
Pn≥0 n
Si x ∈ R est tel que n≥0 an x diverge, alors |x| ≥ R.

P |x| = R, on ne peut à priori rien dire de la nature de la

Lorsque
série n≥0 an x n , tout peut arriver.
L’ensemble {x ∈PC, |x| < R} est dit le disque de convergence de
la série entière n≥0 an x n .
L’ensemble {x ∈ R, −R < x < R}P est dit l’intervalle de
convergence de la série entière n≥0 an x n .

Pr. Hamid OULGHAZI (FST Errachidia ) 20 Décembre 2021 5 / 24

 Rayon de convergence

Méthode pratique pour calculer R

Dans cette section, nous poserons
1 1
= 0 si R = +∞, et = +∞ si R = 0.
R R

Proposition (Régle d’Alembert)

an x n une série entière, et notons R son rayon de convergence.
P
Soit
a
Si la suite de terme général an+1 n
converge vers l ∈ R+ , alors R = 1/l.

Exemple
x n /n!, on a
P
Pour la série entière

an+1 n! 1
lim = lim = lim =0
n→+∞ an n→+∞ (n + 1)! n→+∞ n + 1

Le rayon de convergence est donc égal à +∞.

Pr. Hamid OULGHAZI (FST Errachidia ) 20 Décembre 2021 6 / 24
 Rayon de convergence

Méthode pratique pour calculer R

Remarque
La règle de D’Alembert est inapplicable pour les séries du type
2
X X X
an z 2n , an z 2n+1 , an z n . . .

Exemple
P 2n z 2n+1
Calculons le rayon de convergence de n+1 . Soit z0 ∈ C∗ , et
2n |z0 |2n+1 un+1 2n+1 |z0 |2n+3 n+1 2|z0 |2 (n+1)
posons un = On a = × = .
n+1 un n+2 2n |z0 |2n+1 n+2
u
Il en résulte limn→+∞ un+1n
= 2 |z0 |2 . On en déduit que, si
√ P
|z0 | < 1/√2, la série P
à termes positifs un converge et si
|z0 | > 1/ 2, la série un diverge. Par définition-même, √ le rayon de
convergence de la série entière proposée est égal à 1/ 2.

Pr. Hamid OULGHAZI (FST Errachidia ) 20 Décembre 2021 7 / 24

 Rayon de convergence

Méthode pratique pour calculer R

Proposition (Régle de Cauchy)

1
an z n une série entière. Si la suite de terme genéral |an | n
P
Soit
converge vers L ∈ R+ , alors R = 1/L.

Exemple
P n n
Le rayon de convergence de la série entière 2n z vaut 2. En
effet, on a
ln(n)
1 n1/n e n 1
lim |an | = lim
n = lim =
n→+∞ n→+∞ 2 n→+∞ 2 2
Montrer en utilisant la régle de Cauchy
P 1 que le rayon de
convergence de la série entière n
z vaut 1.
nln(n)

Pr. Hamid OULGHAZI (FST Errachidia ) 20 Décembre 2021 8 / 24

 Comparaison de rayons de convergence

Comparaison de rayons de convergence

an z n et bn z n sont deux séries entières de
P P
Dans ce paragraphe,
rayons de convergence respectifs Ra et Rb .
Proposition
Si pour tout n ∈ N, on a |an | ≤ |bn |, alors Ra ≥ Rb .

Exemple
−1 ≤ ecos n ≤ e. Les deux séries
P −1 n
Pour
P n tout n ∈ N, on a e e z et
P ezcos nétant de rayon de convergence égal a 1, alors la série
e z n est aussi de rayon de convergence égal à 1 .

Proposition
Si an = O (bn ), alors Ra ≥ Rb .
Si an ∼ bn , alors Ra = Rb .

Pr. Hamid OULGHAZI (FST Errachidia ) 20 Décembre 2021 9 / 24

 Comparaison de rayons de convergence

Opérations sur les séries entières

(Somme de deux séries entières)

(an + bn )z n
P
le rayon de convergence R de la série entière somme
vérifie:
Si Ra 6= Rb , R = inf(Ra , Rb ).
Si Ra = Rb , R ≥ Ra = Rb .
De plus pour tout z ∈ C tel que |z| < inf (Ra , Rb ), on a
+∞
X +∞
X +∞
X
n n
(an + bn ) z = an z + bn z n
n=0 n=0 n=0

k
kkk

Pr. Hamid OULGHAZI (FST Errachidia ) 20 Décembre 2021 10 / 24

 Comparaison de rayons de convergence

Opérations sur les séries entières

Série entière dérivée

an z n la
P
On appelle série entière dérivée d’une série entière
n
P
série (n + 1)an+1 z
Une série entière et sa série dérivée ont même rayon de
convergence.

j
jjj

Pr. Hamid OULGHAZI (FST Errachidia ) 20 Décembre 2021 11 / 24

 Propriétés des sommes de séries entières Continuité de la fonction somme

Convergence uniforme et séries entières

Théorème
Une série entière, converge normalement (donc uniformément) sur
toute partie compacte incluse dans le disque de convergence.

Théorème(Continuité de la fonction somme)

an z n une série entière de rayon
P
Soit P+∞de convergence R non nul;
n
alors la somme de la série S(x) = n=0 an z est une fonction
continue sur l’intervalle de convergence ] − R, R[ (ou sur le disque de
convergence si on travaille dans C)

Pr. Hamid OULGHAZI (FST Errachidia ) 20 Décembre 2021 12 / 24

 Propriétés des sommes de séries entières Continuité de la fonction somme

Continuité de la fonction somme

Exemple
P zn
La règle d’Alembert permet de voir facilement que la série est de
Pn!
+∞ z n
rayon de convergence égal à +∞. Sa fonction somme z → n=0 n!
est donc continue sur C tout entier.

Pr. Hamid OULGHAZI (FST Errachidia ) 20 Décembre 2021 13 / 24

 Propriétés des sommes de séries entières Intégration de la fonction somme

Intégration de la fonction somme

Théorème
an x n une série entière, de rayon de convergence R > 0. Si
P
Soit
[a, b] est un segment inclus dans l’intervalle de convergence ] − R, R[,
alors
Z b +∞
X Z b
S(x)dx = an x n dx
a n=0 a

Corollaire
an x n est continue sur
P
La fonction somme S de la série entière
l’intervalle de convergence ] − R, R[, et ses primitives sont de la forme
+∞
X an n+1
x 7→ α + x où α ∈ C.
n+1
n=0

Pr. Hamid OULGHAZI (FST Errachidia ) 20 Décembre 2021 14 / 24

 Propriétés des sommes de séries entières Dérivabilité de la fonction somme

Dérivabilité de la fonction somme

Théorème
an x n une série entière complexe de variable réelle, de rayon de
P
Soit
convergence R > 0. Alors la fonction somme S définie sur ] − R, R[ est
de classe C 1 et sa dérivée S 0 est la fonction somme de la série entière
dérivée. i.e.
+∞ +∞
0 0
X X
∀x ∈] − R, R[, S (x) = ( an x n ) = (n + 1)an+1 x n .
n=0 n=0

Corollaire
Sous les hypothèses du theorème ci-dessus, la fonction somme S est
de classe C ∞ sur ] − R, R[, et on a
+∞
X k!
∀k ∈ N, ∀x ∈] − R, R[, S (k ) (x) = an x n−k .
(n − k )!
n=k
Pr. Hamid OULGHAZI (FST Errachidia ) 20 Décembre 2021 15 / 24
 Propriétés des sommes de séries entières Dérivabilité de la fonction somme

Dérivabilité de la fonction somme

Exemple
P n
On a vu que la série géométrique
P+∞ n x est de rayon de convergence 1
1
et que ∀x ∈] − 1, 1[, n=0 x = 1−x .
Par dérivation, on a,P pour tout x ∈] P
− 1, 1[,
1 d 1 +∞ n−1 = +∞ n
(1−x)2
= (
dx 1−x ) = n=1 nx n=0 (n + 1)x .
Par une récurrence immédiate sur k , on en déduit que
+∞
!
1 dk 1 dk X n
 
1 1
= = x
(1 − x)k +1 k ! dx k 1 − x k ! dx k
n=0

+∞ +∞
1 X X (n + k )!
= (n + k ) . . . (n + 1)x n = xn
k! k !n!
n=0 n=0

Pr. Hamid OULGHAZI (FST Errachidia ) 20 Décembre 2021 16 / 24

 Fonctions développables en série entière

Fonctions développables en série entière

Définition
Soit f une fonction complexe de variable réelle, définie sur une partie I
de R. On dit que fPest développable en série entière en 0 , s’il existe
une série entière an x n de rayon de convergence R > 0 et un
nombre r ∈]0, R] avec ] − r , r [⊂ I tel que
+∞
X
∀x ∈] − r , r [, f (x) = an x n .
n=0

Définition
On dit que f : I → R est développable en série entière en un point x0 si
la fonction x 7→ f (x − x0 ) est développable en série entière en 0.

Pr. Hamid OULGHAZI (FST Errachidia ) 20 Décembre 2021 17 / 24

 Fonctions développables en série entière

Fonctions développables en série entière

Exemple
Tout polynôme P est développable en série entière en tout point x0 de
R en effet on a d’après la formule de Taylor:
deg P +∞ (n)
X P (n) (x0 ) X P (x0 )
∀x ∈ R, P(x) = (x − x0 )n = (x − x0 )n .
n! n!
n=0 n=0

Proposition
Si une fonction f est développable en série entière en x0 , alors il existe
un voisinage de x0 sur lequel f est de classe C ∞ et le développement
P f (n) (x0 )
en série entière de f en x0 est n! (x − x0 )n . Cette série est
appelé la série de Taylor de f en x0 .

Pr. Hamid OULGHAZI (FST Errachidia ) 20 Décembre 2021 18 / 24

 Séries entières classiques

Fonction exponentielle

La fonction exp : x 7→ ex est de classe C ∞ sur R et on a

∀n ∈ N, exp(n) (0) = 1. D’après la formule de Taylor avec reste
k Rx n
intégrale, on a ∀(n, x) ∈ N × R, ex = nk =0 xk ! + 0 (x−t) t
P
n! e dt.
Comme
Z x Z x
(x − t)n t x (x − t)n
e dt ≤ max (1, e ) dt
0 n! 0 n!

|x|n+1
= max (1, ex ) −→ 0.
(n + 1)! n→+∞
Finalement,
n +∞ k
X xk X x
lim = = ex
n→+∞ k! k!
k =0 k =0

Pr. Hamid OULGHAZI (FST Errachidia ) 20 Décembre 2021 19 / 24

 Séries entières classiques

Fonctions hyperboliques

Pour tout x ∈ R, on a alors

+∞
ex + e−x X x 2n
ch x = = .
2 (2n)!
n=0

et
+∞
ex − e−x X x 2n+1
sh x = = .
2 (2n + 1)!
n=0

Pr. Hamid OULGHAZI (FST Errachidia ) 20 Décembre 2021 20 / 24

 Séries entières classiques

Fonctions cosinus et sinus:

Les deux fonctions cosinus et sinus sont de classe C ∞ sur R et

cos(n) (x) = cos x + nπ



∀(n, x) ∈ N × R, 2
sin(n) (x) = sin x + nπ


2

En utilisant la formule de Taylor avec reste intégrale, on montre,

comme précédemment, que cosinus et sinus sont développables en
série entière en 0 , de rayon de convergence égale à +∞, et que pour
tout x ∈ R:
+∞ +∞
X (−1)n x 2n X (−1)n x 2n+1
cos x = et sin x = .
(2n)! (2n + 1)!
n=0 n=0

Pr. Hamid OULGHAZI (FST Errachidia ) 20 Décembre 2021 21 / 24

 Séries entières classiques

La fonction fα : x 7→ (1 + x)α
A l’aide de la méthode de l’équation différentielle, on montre que fα est
développable en série entière en 0, avec rayon de convergence égal à
1 si α ∈
/ N, et égal à +∞ si α ∈ N. De plus,
+∞
X α(α − 1) . . . (α − n + 1)
∀x ∈] − 1, 1[, (1 + x)α = 1 + x n.
n!
n=1

En particulier,
+∞
1 X
∀x ∈] − 1, 1[, = (−1)n x n .
1+x
n=0

En remplaçant x par −x, on retrouve la série géométrique

+∞
1 X
∀x ∈] − 1, 1[, = x n.
1−x
n=0

Pr. Hamid OULGHAZI (FST Errachidia ) 20 Décembre 2021 22 / 24

 Séries entières classiques

La fonction x 7→ ln(1 + x)

En prenant la primitive (qui s’annule en 0) du développement en série

entière de la fonction x 7→ (1 + x)−1 , on obtient
+∞
X (−1)n+1
∀x ∈] − 1, 1[, ln(1 + x) = x n.
n
n=1

On en déduit également que

+∞
X 1
∀x ∈] − 1, 1[, ln(1 − x) = − x n.
n
n=1

Pr. Hamid OULGHAZI (FST Errachidia ) 20 Décembre 2021 23 / 24

 Séries entières classiques

Merci pour votre attention

Pr. Hamid OULGHAZI (FST Errachidia ) 20 Décembre 2021 24 / 24