Chapitre 04 : Séries Entières

On étudie dans ce chapitre une famille particulière des séries de fonctions : celles de la forme
ou dites séries entières. On s’intéresse dans un premier temps aux propriétés de
la somme d’une série entière (domaine de convergence, continuité,…), on verra ensuite comment
exprimer des fonctions usuelles comme somme des séries entières.

I. Définition et domaine de convergence d’une série entière :

1. Définition :
On appelle série entière réelle (resp. complexe) toute série de fonctions avec réel (resp.
avec complexe) et une suite numérique réelle ou complexe.

Exemples :

On s’intéresse principalement aux séries entières complexes dont on déduira facilement les résultats
pour les séries entières réelles. La première question à se poser est celle du domaine de convergence :
pour quelles valeurs , la série converge ?

2. Domaine de convergence d’une série entière :

Lemme d’Abel :

 S’il existe tel que la série converge, alors la série entière est
absolument convergente pour tout tel que .
 Et s’il existe tel que la série diverge, alors la série entière est divergente
pour tout tel que .

Preuve : Soit le nombre complexe tel que la série converge (toute série entière
converge pour z=0), donc (condition nécessaire pour la convergence d’une série),
ceci implique aussi que la suite est bornée, disons par M. Soit

Alors : , donc la série géométrique converge.

On en conclut que converge absolument pour tout nombre complexe tel que
.

Si on suppose que la série entière diverge, et qu’il existe tel que avec
convergente, alors la première assertion du lemme d’Abel implique que la série
converge absolument, ce qui est absurde.

Analyse 03/A-U : 2014-2015/F.Sehouli Page 1

Théorème : « Rayon de convergence d’une série entière » Soit une série entière. Il
existe un unique réel R positif ou nul, ou éventuellement infini ( ), possédant les
propriétés suivantes :

 La série converge absolument pour tout tel que .

 La série diverge grossièrement ( ) pour tout tel que .

Le nombre réel R est dit rayon de convergence de la série entière , et le disque ouvert
centré en 0 de rayon R, noté , est appelé disque ouvert de
convergence.

Exemples :

 La série géométrique converge absolument si , et diverge grossièrement pour

, donc son rayon de convergence R=1 et son domaine de convergence .
 La série entière converge absolument pour , et
diverge pour , donc et d’après le lemme d’Abel elle est divergente
pour toute valeur de x tel que , alors son rayon de convergence R=1.
 La série entière converge absolument pour toute valeur complexe z, en effet :

Remarques :

 Toute série entière possède un rayon de convergence.

 Dire que R=0 signifie que la série entière converge uniquement pour z=0.
 Si la série converge pour tout complexe z, on dit que le rayon de convergence est infini.
 On ne peut rien conclure sur la nature de la série entière lorsque .
 Le rayon de convergence est aussi défini par .

Proposition : Soit la série entière .

 Si la limite existe, alors le rayon de convergence de la série est

R=
 Si pour n assez grand, existe, alors le rayon de convergence de la

série est R=

Analyse 03/A-U : 2014-2015/F.Sehouli Page 2

Exemples :

 Soit la série entière , on a , donc le rayon

de convergence est égal à 1. Pour , la série converge d’après le

critère d’Abel sauf pour les valeurs multiples de . Ce qui signifie que le domaine de
convergence de cette série entière est
.

 Considérons la série entière ,

. Le domaine de convergence de

cette série est , car la limite

Attention : La proposition précédente est basée sur l’existence des

limites , mais si ces limites n’existent pas cela ne signifie pas que le
rayon de convergence n’existera pas : car toute série entière possède un rayon de convergence
. Le cas classique où la proposition ne s’applique pas est celui des séries lacunaires,
c'est-à-dire ayant une infinité de termes nuls. Par exemple la série , dont tous les coefficients
impairs sont nuls. Dans ce cas ; ou bien on applique le critère de D’Alembert d’origine ; ou bien on
effectue un changement de variable, ici , afin de se ramener à une série non lacunaire.

Exemples :

 Soit la série entière , on donne la représentation canonique avec

Posons . Donc la série converge absolument si et

diverge grossièrement si , d’où

 La série . On a
.ce qui implique que la série converge absolument si
et diverge grossièrement si et donc R=1.

3. Opérations sur les séries entières :

Théorème : Soient deux séries entières de rayons de convergences
respectivement.

 La série somme est une série entière de rayon de convergence

.
 La série produit est une série entière de
rayon de convergence .

Analyse 03/A-U : 2014-2015/F.Sehouli Page 3

Preuve : Si , alors les deux séries sont absolument convergentes, donc
l’est aussi. On en déduit que . Si maintenant les rayons diffèrent,
par exemple : supposons que , alors il existe z tel que

convergente. Mais puisque est elle-même convergente,

on aurait aussi convergente : absurde. Donc .

4. Convergence normale d’une série entière :

Théorème : Soit , la série entière converge normalement sur
tout disque fermé centré en 0 et de rayon r : .

Preuve : Soit . Donc et ceci implique l’existence d’un complexe vérifiant

converge ( .

On a , comme converge alors , ce qui signifie que la

suite est bornée par un certain réel M. D’où :

L’inégalité précédente signifie que la série entière converge normalement sur .

Remarque : Dire que la série entière converge normalement sur tout disque fermé
ne veut pas dire qu’elle converge normalement sur le disque ouvert de
convergence .

D’où : une série entière converge normalement, donc uniformément sur tout disque fermé centré en 0
inclue dans le disque ouvert de convergence.

Analyse 03/A-U : 2014-2015/F.Sehouli Page 4

 II. Continuité, intégration et dérivation d’une série entière :
On considère, dans la suite, la série entière réelle .

1. Continuité :
Théorème :

 La somme d’une série entière, , de rayon de convergence R est une fonction

continue sur l’intervalle ouvert de convergence .
 Si la série converge pour alors la somme
est continue à gauche de .

Preuve : Ceci découle du résultat sur les séries de fonctions normalement convergentes.

Soit : les fonctions sont continues sur – et la série de fonctions

converge normalement vers S sur cet l’intervalle, donc S est continue sur – . Ceci est vrai
pour tout

Soit maintenant , prenons est continue sur – , donc en x. Ainsi, S est continue
sur – .

2. Primitive d’une série entière :

Théorème : Toute série entière , de rayon de convergence R, possède une primitive sur
– donnée par : qui est série entière de même rayon de convergence R.

Exemple : La série entière a pour somme . Donc

. La série

est une série alternée convergente, i.e. converge pour x=1, donc et d’après

le théorème de continuité, la fonction est continue sur

3. Dérivée d’une série entière :

Théorème : Toute série entière , de rayon de convergence R, est dérivable sur – sa
dérivée qui est série entière de même rayon de
convergence R.

Exemple :

Généralisation : En partant de de rayon de convergence R, on a

de même rayon de convergence R,

de même rayon de convergence R,

de même rayon de convergence R,…

Analyse 03/A-U : 2014-2015/F.Sehouli Page 5

Ces formules donnent respectivement

Théorème : La somme d’une série entière , de rayon de convergence R, est une

fonction de classe sur l’intervalle ouvert de convergence – ; sa dérivée d’ordre p est une série
entière, de même rayon de convergence, s’obtient en dérivant les termes de la série p fois, et on a

Remarque : Les conditions précédentes ne sont pas suffisantes pour dire qu’une fonction est

développable en série entière, en effet : la fonction

Est de classe , et par récurrence on montre qu’elle est indéfiniment dérivable en 0 et

que . D’où , mais sur . Ainsi cette
fonction n’est pas développable en série entière autour de 0.

III. Fonctions développables en séries entières :

Définition : Une fonction , définie sur un intervalle contenant 0, est dite développable en série entière
autour de 0 s’il existe un intervalle – et une série entière définie sur – telle
que – .

Proposition : Si est développable en série entière autour de 0, alors .

Ce développement est dit de Taylor.

Théorème : « condition suffisante » : Soit une fonction vérifiant la condition

suivante :

Alors, pour tout , la fonction est somme de la série entière

Qui est de rayon de convergence supérieur ou égale à .

S’il existe, un développement en série entière autour de0, est unique.

Proposition : Soient deux fonctions développables en séries entière autour de 0 ;

et . Alors :

 est développable en série entière autour de 0, et .

 est développable en série entière autour de 0, et .
 est développable en série entière autour de 0, et
 , la primitive de , est développable en série entière autour de 0,

Analyse 03/A-U : 2014-2015/F.Sehouli Page 6

 et
 Si la fonction est paire, alors .
 Si la fonction est impaire, alors .

Exemples fondamentaux :

1) est majoré sur tout intervalle

2) , dont toutes les dérivées sont majorées par 1.

D’où

3) , dont toutes les dérivées sont majorées par 1.

D’où

4) , en intégrant terme à terme sur le domaine de convergence, on

obtient :
5) , en intégrant terme à terme sur le domaine de convergence, on

obtient :

Exercice : Développer en série entière autour de 0 :

5. Application aux équations différentielles ordinaires :

On peut parfois exprimer, au moyen de leur développement en série entière, des solutions d’une
équation différentielle. Expliquons cela en traitant un exemple :

Exemple : Soit l’équation différentielle: .

Cherchons les solutions sous forme de série entière donc

Analyse 03/A-U : 2014-2015/F.Sehouli Page 7

Et

Notre équation différentielle devient :

Donc

Ce qui implique

Or

Analyse 03/A-U : 2014-2015/F.Sehouli Page 8

 Complément de cours

Fonctions usuelles complexes :

1. Exponentielle complexe :
Définition : On appelle exponentielle complexe, noté , la somme de la série
entière qui est de rayon de convergence infini.

Proposition :




2. Logarithme complexe :
Proposition : il existe une unique fonction continue , définie sur le plan complexe privé
du demi axe réel négatif telle que .
Cette fonction est appelée détermination principale du logarithme notée :
et coïncide avec la fonction ln sur
Pour tout complexe: , on a

3. Fonctions trigonométriques et trigonométrique hyperbolique :






Attention :

Il faut prendre garde du fait que les inégalités bien pratiques ne sont
vérifiées que si z est réel.

Analyse 03/A-U : 2014-2015/F.Sehouli Page 9

 Liste des sommes des séries entières usuelles

Formule Rayon de Ensemble de

convergence validité de la
formule

1 ]-1,1[
(

1 ]-1,1[

1 ]-1,1[

1 [-1,1[

1 ]-1,1]

1 [-1,1]

1 ]-1,1[

1 [-1,1]

1 [-1,1]

Analyse 03/A-U : 2014-2015/F.Sehouli Page 10

Analyse 03/A-U : 2014-2015/F.Sehouli Page 11