MATHÉMATIQUES 2022 – 2023 1

Résumé 9 – Séries entières

Une série entière de

P variable réelle ou complexe z est une Théorème
série de la forme a n z n où (a n )n 2N 2 KN . Son domaine P P
Pour ↵ 2 R, les séries entières a n z n et n ↵ a n z n
de convergence est le domaine de définition de :
ont même rayon de convergence.
X
+1
z 7! an z n
n =0
! Opérations sur les séries entières
Rayon de convergence
Théorème : Somme et produit
! Définition et propriétés P
• (a n + bn )z n est une série entière de rayon de
Lemme : Lemme d’Abel convergence R avec R = min(Ra , R b ) si Ra 6= R b
ou R æ Ra si Ra = R b .
Soit z 0 2 C. Si la suite (a n z 0n )n 2N est bornée, alors, P
pour Ptout nombre complexe z tel que |z | < |z 0 |, la • a n z n est une série entière de rayon de
série a n z n est absolument convergente. convergence Ra si 6= 0 ou +1 si = 0.
• Le produit de Cauchy des deux séries est de la
P X
n
Définition forme cn z n avec cn = a k bn k et son rayon
On
P appelle rayon de convergence de la série entière k =0
a n z n l’élément R 2 R+ défini par : de convergence R vérifie R æ min(Ra , R b ).

R = sup r æ 0 | (a n r n )n 2N est bornée

Régularité de la somme
P
Théorème Soient la série entière a n z n , R > 0 son rayon de conver-
P X
+1
Soit a n z n une série entière de rayon de conver-
gence et f : z 7! a n z n sa somme.
gence R .
P n =0
• Si |z | < R alors a n z n converge absolument.
P ! Continuité
• Si |z | > R alors a n z n diverge grossièrement.
• Si |z | = R alors on ne peut rien dire. Théorème
Une série entière converge normalement, donc uni-
En d’autres termes, formément, sur D f (0, r ) pour tout r < R .
X
R = sup{r æ 0 | a n r n converge absolument}
Attention, il n’y a a priori pas convergence normale sur
le domaine de convergence, seulement sur tout disque
! Détermination pratique du rayon de convergence
P P fermé inclus dans le domaine ouvert !
On considère deux séries entières a n z n et bn z n de
Théorème : Continuité
rayons de convergence respectifs Ra et R b .
La somme d’une série entière réelle est continue sur
Théorème : Encadrement le disque ouvert de convergence.
Soit z 0 2 C.
P Pour justifier la continuité au bord du domaine, on s’inté-
• Si a n z 0n converge, alors |z 0 | ∂ R
P ressera à la convergence uniforme ou on appliquera (dans
• Si a n z 0n diverge, alors |z 0 | æ R . le cas réel) le théorème radial.
P
• Si a n z 0n est semi-convergente, alors |z 0 | = R .
Théorème : Théorème de convergence radiale d’Abel
P
Soit a n x n une série entière de P rayon de conver-
Théorème : Comparaison gence R 2 R⇤+ . On suppose que a n R n converge.
• si |a n | ∂ |bn | à partir d’un certain rang, Ra æ R b . X
+1 X
+1
Alors, an x n ! an R n .
• si |a n | ⇠ |bn |, Ra = R b . x !R
n !+1 n =0 n =0

• si a n = o(bn ), Ra æ R b .
n !+1
Dans le cas réel, la somme est continue sur le domaine de
convergence.
On appliquera également la règle de d’Alembert (pour
une série numérique à termes strictement positifs) ou,
lorsque a n 6= 0 à partir d’un certain rang, sous la forme : ! Dérivation et intégration terme à terme (cas réel)
P
a n +1 1 On suppose désormais que a n x n est une série entière
! ` 2 R+ =) R= de la variable réelle. f est alors définie sur l’intervalle I ,
an n !+1 `
où ] R , R [⇢ I ⇢ [ R , R ].

Année 2022/2023 Lycée Louis-le-Grand – MP

2 Fiche 9 – Séries entières

Théorème : Dérivation terme à terme

P
f est de classe C 1 sur ] R , R [, n a n x n 1 est une
série entière de rayon de convergence R et :
X
+1
8x 2] R , R [, f 0 (x ) = n an x n 1

n =1

Théorème : Intégration terme à terme

X a
n
On note F une primitive de f . x n +1 est une
n +1
série entière de rayon de convergence R et :
X
+1
a n n +1
8x 2] R , R [, F (x ) = F (0) + x
n=0
n +1

Développements en série entière

Définition
Une application est développable en série P entière
sur ] r, r [ s’il existe une série entière a n x n de
rayon de convergence R avec R æ r telle que :
X
+1
8x 2] r, r [, f (x ) = an x n .
n =0

Théorème
Si f admet un développement en série entière sur
] r, r [ alors f est de classe C 1 sur ] r, r [, son déve-
loppement en série entière est unique et est donné
X
+1 (n )
f (0) n
par sa série de Taylor : x .
n =0
n!

La réciproque est fausse : toute fonction de classe C 1

n’est pas développable en série entière.

! Détermination pratique
• Utilisation des développements usuels (~).
• Dérivation et intégration terme à terme.
• Formule de Taylor avec reste intégral.
• Décomposition en éléments simples.
• Utilisation d’une équation différentielle.

! Développements en série entière usuels

X
+1 n
z
+1 ez =
n =0
n!
X
+1
x 2n X
+1
x 2n+1
+1 ch(x ) = ; sh(x ) =
n =0
(2n )! n =0
(2n + 1)!
X
+1
( 1)n x 2n X
+1
( 1)n x 2n +1
+1 cos(x ) = ; sin(x ) =
n =0
(2n )! n=0
(2n + 1)!

1 X
+1 X
+1
( 1)n +1 n
R =1 = ( 1)n x n ; ln(1 + x ) = x
1 + x n =0 n =1
n
X
+1
↵(↵ 1) · · · (↵ n + 1)
R =1 (1 + x )↵ = 1 + x n (↵ 2
/ N)
n =1
n!

© Mickaël PROST Année 2022/2023