Les séries entières

Ecole Nationale des Sciences Appliquées, El Jadida

Analyse 4 - Deux Années Préparatoires

Filière 2AP, S4 - ENSAJ Analyse 4, Pr B. ABOUZAID

Définition
On appelle série entière une série de fonctions de terme général
fn (z) = an z n , où z ∈ C et (an )n est une suite numérique dans C.
Les éléments an sont les coefficients de la série entière.

Filière 2AP, S4 - ENSAJ Analyse 4, Pr B. ABOUZAID

Définition
On appelle série entière une série de fonctions de terme général
fn (z) = an z n , où z ∈ C et (an )n est une suite numérique dans C.
Les éléments an sont les coefficients de la série entière.

Exemple :
zn zn
1. fn (z) = z n , 2. fn (z) = , 3. fn (z) = (−1)n−1
n! n

Filière 2AP, S4 - ENSAJ Analyse 4, Pr B. ABOUZAID

Définition
On appelle série entière une série de fonctions de terme général
fn (z) = an z n , où z ∈ C et (an )n est une suite numérique dans C.
Les éléments an sont les coefficients de la série entière.

Exemple :
zn zn
1. fn (z) = z n , 2. fn (z) = , 3. fn (z) = (−1)n−1
n! n

Théorème d’Abel
Soit z0 un complexe non nul.
Si la suite (an z0n )n est bornée, alors la série an z n converge
P
absolument pour tout z, tel que | z |<| z0 | et normalement dans tout
disque {z ∈ C tel que | z |≤ k | z0 |, 0 < k < 1}

Filière 2AP, S4 - ENSAJ Analyse 4, Pr B. ABOUZAID

Définition
an z n , l’élément
P
On appelle rayon de convergence de la série entière
R ∈ [0, +∞] tel que
an z n converge absolument pour tout | z |< R.
P
1 La série entière

an z n diverge pour tout | z |> R, (ou bien

P
2 La série entière

diverge absolument avec (an z n )n est non bornée).

Filière 2AP, S4 - ENSAJ Analyse 4, Pr B. ABOUZAID

Définition
an z n , l’élément
P
On appelle rayon de convergence de la série entière
R ∈ [0, +∞] tel que
an z n converge absolument pour tout | z |< R.
P
1 La série entière

an z n diverge pour tout | z |> R, (ou bien

P
2 La série entière

diverge absolument avec (an z n )n est non bornée).

Proposition
Si la suite (an z0n )n est bornée et la série P an z0n diverge, alors le
P
rayon de convergence de la série entière an z n est R =| z0 |.

Filière 2AP, S4 - ENSAJ Analyse 4, Pr B. ABOUZAID

Remarques
an z n diverge pour tout z ∈ C.
P
1 Si R = 0, alors la série entière
an z n converge absolument
P
2 Si R = +∞, alors la série entière
pour tout z ∈ C.
an z n converge s’appelle
P
3 L’ensemble des points pour lesquels
domaine de convergence.
an (z − z0 )n , le disque de convergene
P
4 Si la série est donné par
est donné par D(z0 , R) = {z ∈ C tel que | z − z0 |< R}.

Filière 2AP, S4 - ENSAJ Analyse 4, Pr B. ABOUZAID

Remarques
an z n diverge pour tout z ∈ C.
P
1 Si R = 0, alors la série entière
an z n converge absolument
P
2 Si R = +∞, alors la série entière
pour tout z ∈ C.
an z n converge s’appelle
P
3 L’ensemble des points pour lesquels
domaine de convergence.
an (z − z0 )n , le disque de convergene
P
4 Si la série est donné par
est donné par D(z0 , R) = {z ∈ C tel que | z − z0 |< R}.

formule de Cauchy-Hadamard
an z n une série entière, son rayon de convergence est donné par
P
Soit
1
1 R = p
limn→+∞ n | an |
an
2 R = lim |
n→+∞ an+1 |

Filière 2AP, S4 - ENSAJ Analyse 4, Pr B. ABOUZAID

Remarques
an z n diverge pour tout z ∈ C.
P
1 Si R = 0, alors la série entière
an z n converge absolument
P
2 Si R = +∞, alors la série entière
pour tout z ∈ C.
an z n converge s’appelle
P
3 L’ensemble des points pour lesquels
domaine de convergence.
an (z − z0 )n , le disque de convergene
P
4 Si la série est donné par
est donné par D(z0 , R) = {z ∈ C tel que | z − z0 |< R}.

formule de Cauchy-Hadamard
an z n une série entière, son rayon de convergence est donné par
P
Soit
1
1 R = p
limn→+∞ n | an |
an
2 R = lim |
n→+∞ an+1 |

Exemple : Déterminer le rayon de convergence :

zn zn
1. fn (z) = z n , 2. fn (z) = , 3. fn (z) = (−1)n−1
n! n
Filière 2AP, S4 - ENSAJ Analyse 4, Pr B. ABOUZAID
opérations algébriques
an z n et bn z n deux séries entières de rayon de convergence
P P
Soient
Ra et Rb respectivement.
1 Soit Ra+b le rayon de convergence de la série somme
(an + bn )z n , alors Ra+b ≥ min(Ra , Rb ) et on a .
P

+∞
X +∞
X +∞
X
n n
(an + bn )z = an z + bn z n , ∀ z; | z |< min(Ra , Rb )
n=0 n=0 n=0

De plus, si Ra 6= Rb , alors Ra+b = min(Ra , Rb )

cn z n , où
P
2 Soit Rab le rayon de convergence de la série produit
Xn
cn = ak bn−k , alors Rab ≥ min(Ra , Rb ).
k=0

+∞
X +∞
X +∞
X
cn z n = ( an z n ) × ( bn z n ), ∀ z; | z |< min(Ra , Rb )
n=0 n=0 n=0

Filière 2AP, S4 - ENSAJ Analyse 4, Pr B. ABOUZAID

Exemple :
1. P(2−n −P1)z n et
P P n
z
2. z n et zn

Filière 2AP, S4 - ENSAJ Analyse 4, Pr B. ABOUZAID

Exemple :
1. P(2−n −P1)z n et
P P n
z
2. z n et zn

convergence sur le bord

an z n une série entière de rayon de convergence R.
P
Soit
an z n converge absolument en un point z0 du
P
1 Si la série entière

bord du disque de convergence, alors elle converge absolument en

tout point z du bord.
lim an Rn 6= 0, alors an z n diverge en tout point du bord
P
2 Si
n→+∞
du disque de convergence.
3 Supposons que les coefficients an soient réels strictement positifs
décroissants et tendant vers 0.
an z n converge en tout point du bord du disque
P
Si R = 1, alors
de convergence sauf peut être au point z = 1.

Filière 2AP, S4 - ENSAJ Analyse 4, Pr B. ABOUZAID

Exemple :
1. P(2−n −P1)z n et
P P n
z
2. z n et zn

convergence sur le bord

an z n une série entière de rayon de convergence R.
P
Soit
an z n converge absolument en un point z0 du
P
1 Si la série entière

bord du disque de convergence, alors elle converge absolument en

tout point z du bord.
lim an Rn 6= 0, alors an z n diverge en tout point du bord
P
2 Si
n→+∞
du disque de convergence.
3 Supposons que les coefficients an soient réels strictement positifs
décroissants et tendant vers 0.
an z n converge en tout point du bord du disque
P
Si R = 1, alors
de convergence sauf peut être au point z = 1.

P zn
Exemple : Déterminer le domaine de convergence de la série .
n

Filière 2AP, S4 - ENSAJ Analyse 4, Pr B. ABOUZAID

Théorème complémentaire d’Abel
an xn une série entière réelle, de rayon de convergence R fini
P
Soit
et non nul.
an Rn converge, alors la série an xn converge
P P
1 Si la série

uniformément sur [a, R], où a ∈] − R, R].

an (−R)n converge, alors la série an xn
P P
2 Si de plus, la série

converge uniformément sur [−R, R].

Filière 2AP, S4 - ENSAJ Analyse 4, Pr B. ABOUZAID

Principe des zéros isolés
an z n de rayon de
P
Soit f (z) la somme d’une série entière
convergence non nul.
Si les coefficients an ne sont pas tous nuls, alors il existe r > 0 tel que
f (z) 6= 0, ∀ z ∈ C tel que 0 <| z |≤ r.

Filière 2AP, S4 - ENSAJ Analyse 4, Pr B. ABOUZAID

Principe des zéros isolés
an z n de rayon de
P
Soit f (z) la somme d’une série entière
convergence non nul.
Si les coefficients an ne sont pas tous nuls, alors il existe r > 0 tel que
f (z) 6= 0, ∀ z ∈ C tel que 0 <| z |≤ r.

Conséquence
an z n une série entière qui converge dans le disque D(0, R) et
P
Soit
f (z) sa fonction somme.
Si f (z) = 0, ∀ z ∈ D(0, R) alors les coefficients an sont tous nuls.
an z n et bn z n ont le même rayon de
P P
Si deux séries entières
convergence R et leur fonctions sommes sont égales sur le disque
ouvert de convergence alors an = bn , ∀ n.

Filière 2AP, S4 - ENSAJ Analyse 4, Pr B. ABOUZAID

 an z n une série entière de rayon de convergence R.
P
Soit

Intégration et dérivation des séries entières

La série de terme
P général nan z n−1 est dite série dérivée de la
n
série entière an z .
an n+1
La série de terme général z est dite série primitive ou
nP+1
n
intégrale de la série entière an z .

Filière 2AP, S4 - ENSAJ Analyse 4, Pr B. ABOUZAID

 an z n une série entière de rayon de convergence R.
P
Soit

Intégration et dérivation des séries entières

La série de terme
P général nan z n−1 est dite série dérivée de la
n
série entière an z .
an n+1
La série de terme général z est dite série primitive ou
nP+1
n
intégrale de la série entière an z .

Proposition
Toutes les séries obtenues par dérivation ou intégration ont le même
rayon de convergence que la série initiale.

Filière 2AP, S4 - ENSAJ Analyse 4, Pr B. ABOUZAID

Continuité
an z n de rayon de convergence R
P
La somme S(z) d’une série entière
est une fonction continue sur le disque
{z ∈ C tel que | z |≤ k | R |, 0 < k < 1}.

Filière 2AP, S4 - ENSAJ Analyse 4, Pr B. ABOUZAID

Continuité
an z n de rayon de convergence R
P
La somme S(z) d’une série entière
est une fonction continue sur le disque
{z ∈ C tel que | z |≤ k | R |, 0 < k < 1}.

Fonction holomorphe
Soit f une fonction définie dans un domaine D ⊂ C et à valeurs
complexe.
f (z) − f (z0 )
On dit que f est holomorphe au point z0 ∈ D si lim
z→z0 z − z0
existe et finie.
f est holomorphe sur D si elle est holmorphe en chaque point z0 ∈ D.

Filière 2AP, S4 - ENSAJ Analyse 4, Pr B. ABOUZAID

Continuité
an z n de rayon de convergence R
P
La somme S(z) d’une série entière
est une fonction continue sur le disque
{z ∈ C tel que | z |≤ k | R |, 0 < k < 1}.

Fonction holomorphe
Soit f une fonction définie dans un domaine D ⊂ C et à valeurs
complexe.
f (z) − f (z0 )
On dit que f est holomorphe au point z0 ∈ D si lim
z→z0 z − z0
existe et finie.
f est holomorphe sur D si elle est holmorphe en chaque point z0 ∈ D.

Théorème
an z n une série entière de rayon de convergence R, alors sa
P
Soit
fonction somme S(z) est une fonction holomorphe sur le disque ouvert
+∞
X
de convergence D(0, R) et on a : S 0 (z) = nan z n−1 , ∀ z ∈ D(0, R)
n=1

Filière 2AP, S4 - ENSAJ Analyse 4, Pr B. ABOUZAID

Propriétés
an xn une série entière réelle, de rayon de convergence R et de
P
Soit
fonction somme f .
1 Sa fonction somme est une fonction continue et dérivable sur
] − R, R[.
an xn est indéfiniment dérivable et intégrable sur
P
2 La série
] − R, R[, donc sa fonction somme est de classe C ∞ sur ] − R, R[
f (n) (0)
et on a ∀ n ∈ N, an = .
n!

Filière 2AP, S4 - ENSAJ Analyse 4, Pr B. ABOUZAID

Propriétés
an xn une série entière réelle, de rayon de convergence R et de
P
Soit
fonction somme f .
1 Sa fonction somme est une fonction continue et dérivable sur
] − R, R[.
an xn est indéfiniment dérivable et intégrable sur
P
2 La série
] − R, R[, donc sa fonction somme est de classe C ∞ sur ] − R, R[
f (n) (0)
et on a ∀ n ∈ N, an = .
n!

D’une manière
P générale, la fonction somme d’une série entière
complexe an z n est de classe C ∞ sur le disque ouvert de
convergence et on a
+∞ +∞ (n)
X X f (0) n
S(z) = an z n = z
n=0 n=0
n!

Filière 2AP, S4 - ENSAJ Analyse 4, Pr B. ABOUZAID

Fonction analytique
Soit z0 ∈ C et f une fonction définie sur un voisinage de z0 .
1 La fonction f est dite développable en série entière au point z0 ,
P existe unen suite numérique (an )n telle que la série
s’il
an (z − z0 ) converge pour tout z ∈ vois(z0 )
+∞
X
∃ r > 0, tel que f (z) = an (z − z0 )n , ∀ z ∈ D(z0 , r)
n=0
2 La fonction f est dite analytique au point z0 , si elle est
développable en série entière au point z0 .
3 La fonction f est dite analytique sur D, si elle est analytique en
tout point z0 de D.

Filière 2AP, S4 - ENSAJ Analyse 4, Pr B. ABOUZAID

Fonction analytique
Soit z0 ∈ C et f une fonction définie sur un voisinage de z0 .
1 La fonction f est dite développable en série entière au point z0 ,
P existe unen suite numérique (an )n telle que la série
s’il
an (z − z0 ) converge pour tout z ∈ vois(z0 )
+∞
X
∃ r > 0, tel que f (z) = an (z − z0 )n , ∀ z ∈ D(z0 , r)
n=0
2 La fonction f est dite analytique au point z0 , si elle est
développable en série entière au point z0 .
3 La fonction f est dite analytique sur D, si elle est analytique en
tout point z0 de D.

+∞
X
Si f (z) = an z n , ∀ z ∈ D(0, r), alors il existe une suite (bn )n ;
n=0
+∞
X
dépend de z0 ; t. q. f (z) = bn (z − z0 )n , ∀ z ∈ D(z0 , r).
n=0
Le développement en série entière en un point z0 , s’il existe, est
unique.
Filière 2AP, S4 - ENSAJ Analyse 4, Pr B. ABOUZAID
Remarques
1 La somme d’une série entière est une fonction analytique dans
son disque de convergence.
2 Toute fonction analytique est holomorphe.
,→ Toute fonction analytique est de classe C ∞ .
3 Dans C, toute fonction holomorphe est analytique.
4 Toute fonction complexe indéfiniment dérivable est analytique.
,→ ceci n’est pas vérifiée dans R.

Filière 2AP, S4 - ENSAJ Analyse 4, Pr B. ABOUZAID

Remarques
1 La somme d’une série entière est une fonction analytique dans
son disque de convergence.
2 Toute fonction analytique est holomorphe.
,→ Toute fonction analytique est de classe C ∞ .
3 Dans C, toute fonction holomorphe est analytique.
4 Toute fonction complexe indéfiniment dérivable est analytique.
,→ ceci n’est pas vérifiée dans R.

1
Exemple : Montrer que la fonction réelle suivante f (x) = e− x2 si
x 6= 0 et f (0) = 0 est de classe C ∞ au voisinage de 0, mais n ’est pas
analytique au voisinage de 0.

Filière 2AP, S4 - ENSAJ Analyse 4, Pr B. ABOUZAID

Proposition
Soit f une fonction réelle, indéfiniment dérivable au voisinage de 0.
X f (n) (0)
1 La série xn converge vers f (x) au voisinage de 0 si et
n!
xn+1 (n+1)
seulement si lim f (θx) = 0 pour tout x au
n→+∞ (n + 1)!
voisinage de 0 et θ ∈]0, 1[.
2 S’il existent r > 0 et M > 0 tel que f (n) (x) ≤ M, ∀ n ∈ N, alors
f est développable en série entière sur ] − r, r[ et on a
+∞ (n)
X f (0) n
f (x) = x , ∀ x ∈] − r, r[.
n=0
n!

Filière 2AP, S4 - ENSAJ Analyse 4, Pr B. ABOUZAID