Vous êtes sur la page 1sur 13

Sries entires.

Chap. 09 : cours complet.

1. Rayon de convergence et somme dune srie entire.


Dfinition 1.1 :
srie entire relle ou complexe
Thorme 1.1 :
lemme dAbel
Thorme 1.2 :
intervalle des valeurs positives o une srie entire a son terme gnral born
Dfinition 1.2 :
rayon de convergence (premire dfinition)
Thorme 1.3 :
autres dfinitions du rayon de convergence
Thorme 1.4 :
diverses proprits de convergence lies au rayon de convergence
Dfinition 1.3 :
somme dune srie entire, disque ouvert et intervalle ouvert de convergence
Thorme 1.5 :
sries somme et produit par un scalaire de sries entires
Thorme 1.6 :
utilisation de relations de comparaison
Thorme 1.7 :
utilisation de la rgle de dAlembert pour les sries entires
Thorme 1.8 :
srie produit au sens de Cauchy de deux sries entires
Exemple 1.9 :
la srie exponentielle complexe
2. Proprits de la somme dune srie entire.
Thorme 2.1 :
convergence normale sur tout compact inclus dans la zone ouverte de convergence
Thorme 2.2 :
continuit de la somme dune srie entire de variable relle
Thorme 2.3 :
continuit de la somme dune srie entire de variable complexe
Thorme 2.4 :
primitives de la somme dune srie entire de variable relle
Thorme 2.5 :
drivabilit et caractre C de la somme dune srie entire
Thorme 2.6 :
galit de deux sries entires de rayon de convergence non nul
Thorme 2.7 :
cas de fonctions paires ou impaires
3. Fonctions dveloppables en srie entire, dveloppement de fonctions en srie entire.
Dfinition 3.1 :
fonction dveloppable en srie entire
Thorme 3.1 :
condition ncessaire de dveloppement en srie entire
Dfinition 3.2 :
srie de Taylor dune fonction de classe C autour de 0
Thorme 3.2 :
dveloppements en srie entire obtenus directement ou par la formule de Taylor
Thorme 3.3 :
dveloppements en srie entire obtenus par combinaisons linaires
Thorme 3.4 :
dveloppements en srie entire obtenus par drivation ou intgration
Thorme 3.5 :
dveloppements en srie entire obtenus laide dune quation diffrentielle
Thorme 3.6 :
lien entre exponentielle complexe, sinus et cosinus
Remarque
Exemple 3.7 :
sommation de sries entires

Chapitre 09 : Sries entires Cours complet.

-1-

Sries entires.

Chap. 09 : cours complet.

1. Rayon de convergence et somme dune srie entire.


Dfinition 1.1 : srie entire relle ou complexe
On appelle srie entire une srie de fonctions

de variable relle x avec :

n , x , un(x) = an.x , o : an ,
ou une srie de fonctions
u n de variable complexe z avec :
n

n , z , un(z) = an.zn, o : an .
Une srie entire est par convention note

a .x

, ou

a .z
n

Thorme 1.1 : lemme dAbel


Soit
a n .z n une srie entire.

Soit : > 0, tel que la suite (|an|.n) soit borne.


Alors : z , (|z| < ) ( a n .z n converge absolument).

Dmonstration :
Soit donc : z , |z| < .
n

z
Si on dsigne par M un majorant de la suite (|an|. ), alors : n , a n .z = a n . . n M . .

Le terme gnral de la srie


puisque : 0

a .z
n

< 1 , et donc la srie

est alors major par celui dune srie gomtrique convergente,

a .z
n

est absolument convergente.

Thorme 1.2 : intervalle des valeurs positives o une srie entire a son terme gnral born
Soit
a n .z n une srie entire.

Lensemble : E1 = { +, (an.n) borne}, est un intervalle du type [0,R] ou [0,R[, avec :


R , ou : R = +.
Dmonstration :
Il est clair pour commencer que E1 contient 0.
- Si E1 est major, il admet une borne suprieure (puisquil est de plus non vide) quon peut noter : R 0.
On a alors : E1, 0 R, et : E1 [0,R].
Si R appartient E1, alors (an.Rn) est borne, donc ( a n .R n ) aussi (par exemple par M), donc :
0 < R, n , a n . n a n .R n M , et la suite (an.n) est borne, donc : E1.
Autrement dit, dans ce cas, on a aussi : [0,R] E1, do finalement : [0,R] = E1.
Si R nappartient pas E1, alors pour tout : 0 < R, il existe : E1, avec : < < R, puisque R
tant le plus petit des majorants de E1, nest pas un majorant de E1.
Mais alors (an.n) est borne, et comme prcdemment : E1.
Autrement dit dans ce cas, on a : [0,R[ E1, et comme : E1 [0,R], et : R E1, finalement : E1 = [0,R[.
- Si maintenant E1 nest pas major, alors pour tout : 0 , il existe : E1, avec : < , et l encore
on en dduit que : E1.
Finalement dans ce dernier car : + E1 +, do : E1 = + = [0,+).
Dfinition 1.2 : rayon de convergence (premire dfinition)
Soit
a n .z n une srie entire.

On appelle rayon de convergence de la srie entire : R = sup{


R est donc un rel positif ou vaut +.

Chapitre 09 : Sries entires Cours complet.

, (an.n) borne}.

-2-

Thorme 1.3 : autres dfinitions du rayon de convergence


Soit
a n .z n une srie entire de rayon de convergence R.

On dfinit les quatre ensembles :


E1 = { +, (an.n) borne},
E2 = { +, (an.n) tend vers 0},
E3 = { +,
a n . n converge},
E4 = {

, a .
n

est absolument convergente}.

Alors : [0,R[ E4 E3 E2 E1 [0,R], et R est la borne suprieure de ces quatre ensembles.


Dmonstration :
Vu les rsultats classiques sur les sries numriques, il est clair que : E4 E3 E2 E1.
Par ailleurs, on a vu dans la dmonstration prcdente que : E1 [0,R].
Soit maintenant : 0 < R.
Puisque R est la borne suprieur de E1, on peut trouver : E1, tel que : < < R.
Or la suite (an.n) est alors borne, tout comme ( a n . ' n ).
Le lemme dAbel garantit alors que la srie

a .
n

est absolument convergente, donc : E4.

On a donc tabli que : [0,R[ E4.


Enfin, si R est infini, les quatre ensemble ont comme borne suprieure +, sinon ils sont borns tous les
quatre et admettent la mme borne suprieure finie R.
Thorme 1.4 : diverses proprits de convergence lies au rayon de convergence
Soit
a n .z n une srie entire de rayon de convergence R.

il y a absolue convergence pour : |z| < R, et divergence grossire si : |z| > R.


sil existe : z , tel que
a n .z n converge (ou converge absolument) ou tel que la suite (an.zn) soit

borne (ou tende vers 0) alors : R |z|.


sil existe : z , tel que
a n .z n diverge (ou diverge absolument) ou tel que la suite (an.zn) soit non

borne (ou ne tende pas vers 0) alors : R |z|.


Dmonstration :
Cest une consquence immdiate de ce qui prcde :
si : |z| < R, E1, 0 < |z| < , et la suite ( a n . n ) tant borne, le lemme dAbel garantit la
convergence absolue de

a .z
n

Si : |z| > R, alors : |z| E1, et la suite (|an|.|z|n) nest pas borne donc la suite (an.zn) ne tend pas vers
a n .z n diverge grossirement.
0, et la srie

Sil existe : z , tel que

a .z
n

converge (ou converge absolument) ou tel que la suite (an.zn) soit

borne (ou tende vers 0), alors : |z| E3, (ou : |z| E4), ou : |z| E1, (ou : |z| E2), et dans tous les
cas : |z| R, du fait du thorme prcdent.
Dans ce dernier cas, alors |z| nappartient pas au moins lun des quatre ensembles et : |z| [0,R[.
Donc dans ce cas : |z| R.
Dfinition 1.3 : somme dune srie entire, disque ouvert et intervalle ouvert de convergence
Soit
a n .z n une srie entire de rayon de convergence R.

Lensemble :
D = { z , |z| < R} = B(0,R), dans le cas dune variable complexe, et :
I = {x , |x| < R} = ]-R,+R[, dans le cas dune variable relle,
sont appels respectivement disque ouvert et intervalle ouvert de convergence pour la srie entire.
La srie entire converge absolument pour tout lment de ces ensembles (et ventuellement au bord)
et on appelle somme de la srie entire la fonction S dfinie par :
z D, S ( z ) =

n =0

n =0

an .z n , dans le cas complexe, et : x I, S ( x) = an .x n , dans le cas rel.

Chapitre 09 : Sries entires Cours complet.

-3-

Thorme 1.5 : sries somme et produit par un scalaire de sries entires


Soient
a n .z n ,
bn .z n , des sries entires, et : K.

On note Ra et Rb leur rayon de convergence respectif.


On dfinit par ailleurs les sries
s n .z n et
p n .z n par :

n , sn = an + bn, et : pn = .an,
en notant Rs et Rp leur rayon de convergence respectif.
Pour la srie entire
s n .z n , on a alors :

si : Ra Rb, Rs = min(Ra, Rb),


si : Ra = Rb, Rs Ra (ou Rb).
Pour la srie entire
p n .z n , on a par ailleurs :

si : 0, Rp = Ra,
si : = 0, Rp = +.
Dmonstration :
Pour la srie
s n .z n :

Si : Ra = Rb, on a : z , |z| < Ra (ou Rb),

s .z

a .z
n

et

b .z

convergent absolument, donc

converge, comme somme de deux sries convergentes.

Dans ce cas : |z| Rs, et donc : [0,Ra[ [0, Rs], soit : Rs Ra.
Si : Ra Rb, par exemple : Ra < Rb, alors de mme que prcdemment : z , |z| < Ra,

b .z

convergent absolument, donc

s .z
n

a .z

et

converge, comme somme de deux sries convergentes.

L encore : [0,Ra[ [0, Rs], soit : Rs Ra.


Mais de plus : z , Ra < |z| < Rb,
a n .z n diverge et

b .z
n

converge, donc

s .z
n

diverge

comme somme dune srie convergente et dune srie divergente.


On en dduit que : ]Ra,Rb[ [Rs,+), et : Rs Ra, soit finalement : Rs = Ra = min(Ra, Rb).
Pour la srie
p n .z n :

Si : = 0, la srie tant la srie nulle, elle converge sur , et : Rp = +.


p n .z n converge), entrane que : Rp = Ra.
Si : 0, lquivalence : z , ( a n .z n converge) (

Thorme 1.6 : utilisation de relations de comparaison


Soit
a n .z n une srie entire de rayon de convergence R.

Alors :
( n0 , n n0, |an| |bn| ) (Ra Rb),
et plus gnralement :
( , k > 0, n0 , n n0, |a n| k.|bn|.n) (Ra Rb),
( , a n ~ bn .n ) (Ra = Rb),
+

et en particulier :
( a n ~ bn ) (Ra = Rb).
+

Dmonstration :
Dans ce premier cas, il est immdiat que : z , n n0, |an|.|z|n |bn|.|z|n.
Donc : z , (|z| < Rb) (absolue convergence de
bn .z n ) (absolue convergence de

a .z
n

),

et donc : z , (|z| < Rb) (|z| < Ra).


Do : [0,Rb[ [0,Ra[, et : Ra Rb.
De mme : z , n n0, |an|.|z|n |bn|.|z|n.k.n.
Donc : z , (|z| < Rb) ( , |z| < < Rb), et donc, en notant : x =

, on a : 0 x < 1, et :

n n0, (|an|.|z|n = |an|.n.xn |bn|.||n.[k.n.xn].


Or, daprs le thorme des croissances compares, (k.n.xn) tend vers 0, donc constitue une suite
borne (par M par exemple), et : n n0, (|an|.|z|n |bn|.||n.M).
Chapitre 09 : Sries entires Cours complet.

-4-

Do : z , (|z| < Rb), la srie


donc aussi

a .z

b .z
n

est absolument convergente, tout comme

M .b .z

, et

Finalement : z , (|z| < Rb) (|z| < Ra), puis : [0,Rb[ [0,Ra[, et : Ra Rb.
Dans ce troisime point, puisque : a n ~ bn .n , entrane : |an| = |bn|.n.(1 + n), avec : lim n = 0 , on en
+

n +

dduit que : n0 , n n0, |an| = 2.|bn|.n, et donc que : Ra Rb.


Mais on a aussi : bn ~ a n .n , et en application de ce quon vient dobtenir, on en dduit : Rb Ra.
+

Finalement : Ra = Rb.
Enfin ce quatrime point correspond au troisime dans le cas particulier : = 0.
Thorme 1.7 : utilisation de la rgle de dAlembert pour les sries entires
Soit
a n .z n une srie entire, telle que : n0 , n n0, an 0.

a n+1 .x n +1
a .x n
n

Pour x non nul, si la suite

converge vers L.|x| (ou +), alors :

n n0

la srie converge absolument pour : L.|x| < 1,


la srie diverge grossirement pour : L.|x| > 1.
Remarque :
Le rayon de convergence Ra de la srie

a .z
n

vaut donc : Ra =

1
(0, si : L = +, et + si : L = 0).
L

Dmonstration :
Soit : z , z 0.

a n +1 .z n +1
a
Alors : n n0,
= n +1 . z , et donc la suite
n
an
a n .z

a n+1 .z n +1

a .z n
n

tend vers L.|z| (ou vers + dans le

nn0

cas o L est infini).


Si L est nul, le critre de dAlembert pour les sries numriques garantit alors que la srie

a .z

converge pour tout : z , soit : Ra = +.


Si L est infini, ce mme critre montre que la srie ne converge que pour z nul (cest la srie nulle), et :
Ra = 0,
Si : L +*, il y a garantie de convergence pour : L.|z| < 1, et garantie de divergence pour : L.|z| > 1.
Donc : Ra =

1
.
L

Thorme 1.8 : srie produit au sens de Cauchy de deux sries entires


Soient
a n .z n ,
bn .z n , des sries entires, et : K.

On note Ra et Rb leurs rayons de convergence respectifs.


On dfinit par ailleurs la srie produit au sens de Cauchy des deux sries entires
n , cn =

p + q =n

c .z
n

, par :

.bq .

Alors le rayon de convergence Rc de cette srie produit vrifie : Rc min(Ra,Rb).


Dmonstration :
Puisquon a vu que lorsque deux sries sont absolument convergente, leur produit de Cauchy lest
aussi, on en dduit que : z , |z| < min(Ra,Rb),
a n .z n et
bn .z n sont absolument convergente,

donc

c .z
n

converge aussi.

Donc : Rc min(Ra,Rb).

Chapitre 09 : Sries entires Cours complet.

-5-

Exemple 1.9 : la srie exponentielle complexe


+

La srie entire

zn

n!

a un rayon de convergence infini, sa somme pour z complexe donn est note

n =0

exp(z), et la fonction exp vrifie : (z,z) 2, exp(z).exp(z) = exp(z + z).


Dmonstration :
Pour le rayon de convergence de cette srie, on peut utiliser la rgle de dAlembert :
z *, n 0, an =

z
a .z n +1
1
0, et : n +1 n =
, et cette suite tend vers 0 en +, donc le rayon de
n!
n +1
a n .z

convergence de la srie entire est +.

z'n
n! sont absolument convergentes donc leur produit de Cauchy est
+ z n + z ' n +
= c n , avec :
convergent et on a de plus : exp( z ). exp( z ' ) = .
n
!
n
!
=
=
n
0
n
0

n =0

Puis : (z,z)

zn
n! et

z p z'q
n , cn =
.
=
p + q = n p! q!

p p q 1 n p p n p ( z + z ' ) n
1
.z .z ' = .z .z '
.
.
=

n! p =0 n
n!
p + q = n ( p + q )! p + q

( z + z' ) n
Donc : exp( z ). exp( z ' ) =
= exp( z + z ' ) .
n!
n=0
+

2. Proprits de la somme dune srie entire.


Thorme 2.1 : convergence normale sur tout compact inclus dans la zone ouverte de convergence
Soit
a n .z n une srie entire de rayon de convergence R.

La srie converge alors normalement sur tout compact inclus dans le disque ouvert de convergence (cas
dune variable complexe) ou lintervalle ouvert de convergence (cas dune variable relle).
Dans le cas dune variable relle, il y a en particulier convergence normale de la srie entire sur tout
segment de type [a,b] ou [-a,+a] inclus dans ]-R,+R[.
Dmonstration :
Dans le cas complexe ou rel, la fonction : z a |z|, (ou : x a |x|) est continue sur le compact C donc elle
y est borne et atteint ses bornes, puisque valeurs relles.
Donc : z0 C, |z0| = max{|z|, z C}.
Et comme : C B(0,1), on a : |z0| < R.
n

Dans ce cas : n , z C, |z| |z0|, donc : |an|.|z|n |an|.|z0|n, do : sup a n . z |an|.|z0|n.


Mais comme la srie
convergence de

a .z

sup a
zC

zC

n
0

est absolument convergente (puisque : |z0| < R), on en dduit la

. z , donc la convergence normale de la srie de fonctions sur C.

La dmonstration sadapte immdiatement dans le cas rel, et pour finir, il suffit de remarquer que [a,b]
ou [-a,+a] sont des ensembles ferms, borns donc des compacts de .
Thorme 2.2 : continuit de la somme dune srie entire de variable relle
Soit
a n .x n une srie entire de variable relle, de rayon de convergence R et de somme S.

La fonction S est continue sur lintervalle ouvert de convergence ]-R,+R[.


Dmonstration :
La continuit des fonctions : n , x a an.xn, sur tout intervalle : [a,b] ]-R,+R[, et la convergence
normale sur [a,b], de la srie de ces fonctions, font que la somme de cette srie (soit la somme S de la
srie entire) est continue sur tout intervalle : [a,b] ]-R,+R[, donc sur ]-R,+R[ lui-mme.
Thorme 2.3 : continuit de la somme dune srie entire de variable complexe
Soit
a n .z n une srie entire de variable complexe, de rayon de convergence R et de somme S.

La fonction S est continue sur le disque ouvert D(0,R).


Chapitre 09 : Sries entires Cours complet.

-6-

Dmonstration (hors programme) :


Notons Sn la somme partielle de la srie entire, pour : n .
Soit : z0 D(0,R), et donc : |z0| < R, et soit : > 0.
En posant : =

1
.( z 0 + R ) > |z0|, on constate que : z0 B(0,), boule ferme de centre 0 et de rayon ,
2

puis que cette boule est compacte (ferme et borne), et incluse dans le disque ouvert de convergence.
La srie entire convergeant normalement donc uniformment sur cette boule, on sait que :
N ,

sup S ( z ) S N ( z )

zB '( 0 , )

Puisque la fonction SN est continue car polynomiale sur , on sait que :


> 0, z , (|z z0| ) (|SN(z) SN(z0)|

).

Enfin, en posant : = min(, |z0|) > 0, on constate que :

z , (|z z0| ) (|SN(z) SN(z0)|

), et : (|z| + |z0| < R) (|S(z) SN(z)|

).

Mais cette dernire ingalit est aussi valable pour z0, et donc :
z , (|z z0| ) (|S(z) S(z0)| |S(z) SN(z)| + |SN(z) SN(z0)| + |SN(z0) S(z0)| ).
La fonction S est bien continue en z0, pour tout : z0 D(0,R), donc sur D(0,R).
Thorme 2.4 : primitives de la somme dune srie entire de variable relle
+

Soit

an .x n une srie entire de variable relle, de rayon R, et de somme : S ( x) = a n .x n .


n=0

On peut intgrer terme terme S sur tout segment inclus dans ]-R,+R[.
En particulier, S admet sur ]-R,+R[ des primitives qui valent : C +
Ces primitives ont mme rayon de convergence R que

a .x

x n +1

a . n +1
n

n=0

, o : C .

Dmonstration :
S tant continue sur ]-R,+R[, elle y admet des primitives.
De plus, pour : 0 a < R, la srie entire
a n .x n converge normalement sur [-a,+a] donc on peut la

primitiver terme terme.


Finalement les primitives de S sur [-a,+a], (qui sont toutes gales une constante additive prs) valent :
+

n
S ( x).dx = C + a n .x .dx = C + an .
n =0

n =0

x n +1
, o C est une constante relle ou complexe.
n +1

Ces nouvelles sries entires on un rayon de convergence Rp.


Pour x non nul, la convergence de

an .

x n+1
est quivalente celle de
n +1

an .

xn
, puisquelles sont
n +1

gales entre elles une constante multiplicative prs.


Mais alors : n ,

an
a n , et on en dduit que : Rp R.
n +1

Puis : z , |z| < Rp,

, |z| < < Rp.

On peut alors crire : n , a n .z

z
Et comme la suite (n + 1).

= an .

an .

n
n +1

n +1

.[(n + 1).

].

tend vers 0, du fait du thorme des croissances compares, on en

dduit que : n0 , n n0, (n + 1).


Or la srie

1 , et : a n .z n a n .

n
n +1

converge (puisque : 0 < Rp), et donc la srie

Chapitre 09 : Sries entires Cours complet.

a .x
n

converge absolument.
-7-

On en dduit que : |z| R, donc : [0,Rp[ [0,R], et : Rp R.


Finalement : Rp = R, et les sries primitives ont mme rayon de convergence que la srie de dpart.
Thorme 2.5 : drivabilit et caractre C de la somme dune srie entire
+

Soit

an .x n une srie entire de variable relle, de rayon R, et de somme : S ( x) = a n .x n .


n=0

Sur ]-R,+R[, la fonction S est de classe C , et on obtient ses drives successives par drivation terme
terme de la fonction S.
Toutes les sries entires drives de S ont mme rayon de convergence R que
a n .x n .

De plus :
x ]-R,+R[, S ' ( x) =

n.a .x
n =1

n =0

p , x ]-R,+R[, S ( p ) ( x) =
Les coefficients de la srie entire
Dmonstration :
Tout dabord la srie entire

= (n + 1).a n+1 .x n , et :

n 1

+
n!
(n + p)!
n p
=
.
a
.
x
.a n + p .x n .

n
n!
n = p ( n p )!
n =0
+

an .x n vrifie alors : p , a p =

(n + 1).a
n0

n +1

.x n qui scrit aussi

n.a .x
n 1

S ( p ) (0)
.
p!

n 1

a un rayon de convergence R

gal celui de ses sries primitives qui sont :

C + (n + 1).a n +1 .
n 0

Or la srie

a .x
n

x n+1
= C + a n +1 .x n +1 = C + a n .x n .
n +1
n 0
n 1
est une de ces sries (celle pour : C = a0), et donc : R = R.
+

De plus, puisque sur ]-R,+R[, x a

an .x n , est une primitive de : x a


n =0

n =1

n=0

n.an .x n1 = (n + 1).an+1 .x n ,

on en dduit que la deuxime fonction est en fait la drive de la premire, autrement dit que :
x ]-R,+R[, S(x) =

n =1

n=0

n.an .x n1 = (n + 1).an+1 .x n .

Puis par rcurrence, il est immdiat que S est de classe Cp pour tout : p , quon obtient sa drive
pime en drivant S terme terme p fois et que le rayon de convergence des sries drives est R.
Enfin : p , S(p)(0) vaut le terme constant de la srie, soit : ap.p!, et on en dduit le dernier rsultat.
Thorme 2.6 : galit de deux sries entires de rayon de convergence non nul
Soient deux sries entires
a n .x n , et
bn .x n , avec : 0 < Ra Rb.

Si : 0 < R Ra, x ]-R,+R[, Sa(x) = Sb(x), alors : n , an = bn.


Dmonstration :
La srie entire dfinie par (Sa Sb) a un rayon de convergence au moins gal Ra, et sur ]-R,+R[, elle
est nulle, donc toutes ses drives sont galement nulles, notamment en 0.
Donc : n , (Sa Sb)(n)(0) = 0 = n!.(an bn), do : an = bn.
Thorme 2.7 : cas de fonctions paires ou impaires
Si une fonction paire se dveloppe en srie entire, tous les termes dindices impairs de son
dveloppement sannulent.
De mme, si une fonction impaire se dveloppe en srie entire, tous les termes dindices pairs de son
dveloppement sannulent.
Dmonstration :
Si f est une fonction paire se dveloppant en srie entire sur ]-r,+r[, alors :
x ]-r,+r[, f ( x) = S ( x) =

n=0

n =0

a n .x n = f ( x) = (1) n .a n .x n .

En appliquant le thorme prcdent, on en dduit que : n , an = (-1)n.an, et donc tous les


Chapitre 09 : Sries entires Cours complet.

-8-

coefficients an sont nuls si pour les n impairs (mme raisonnement pour les fonctions impaires).
3. Fonctions dveloppables en srie entire, dveloppement de fonctions en srie entire.
Dfinition 3.1 : fonction dveloppable en srie entire
Soit I un intervalle de contenant 0 et soit f une fonction de I dans K.
On dit que f est dveloppable en srie entire en 0 (ou autour de 0), en abrg DSE(0) si et seulement
si il existe une srie entire
a n .x n de rayon de convergence non nul R, et : 0 < r R, tels que :
x ]-r,+r[ I,

f ( x) = a x
+

n=0

Si f est une fonction de ]-r,+r[ dans K, on dit que f est dveloppable en srie entire sur ]-r,+r[ si et
seulement si il existe une srie entire
a n .x n de rayon de convergence non nul : R r, telle que :

x ]-r,+r[, f ( x) =

a
n=0

xn .

On dit alors que

a
n =0

x n est le dveloppement en srie entire en 0 de f.

Thorme 3.1 : condition ncessaire de dveloppement en srie entire


Soit : r > 0, et f une fonction de ]-r,+r[, dans K, dveloppable en srie entire en 0, telle que :
x ]-r,+r[, f ( x) =

a
n=0

xn .

Alors f est de classe C sur ]-r,+r[, et : n , a n =

1 (n )
. f ( 0) .
n!

Dmonstration :
Si f concide avec la somme S dune srie entire sur ]-r,+r[, elle est alors C puisquune somme de
srie entire est de classe C sur son intervalle ouvert de convergence.
De plus : n , S(n)(0) = n!.an, et : S = f, do : n , a n =

1 (n)
1
.S (0) = . f
n!
n!

(n)

( 0) .

Dfinition 3.2 : srie de Taylor dune fonction de classe C autour de 0


Soit : r > 0, et f une fonction de ]-r,+r[, dans K, de classe C sur ]-r,+r[.
On appelle srie de Taylor de f en 0 la srie entire

f ( n ) ( 0) n
.x .
n!

Thorme 3.2 : dveloppements en srie entire obtenus directement ou par la formule de Taylor
Les fonctions suivantes sont dveloppables en srie entire (on note R leur rayon de convergence) :

+
1
= zn ,
1 z n =0

exp( z ) =

pas de convergence pour : |z| = 1.

R = +,

et en particulier :

zn
,

n = 0 n!

xn
e =
,
n = 0 n!
x

R = 1,

cos( x) =

x 2n
,
(2.n)!

R = +.

x 2 n +1
,
(2.n + 1)!

R = +.

(1) n .
n =0

sin( x) =

R = +.

(1) n .
n =0

Dmonstration :
Pour : z , la srie

est gomtrique et converge si et seulement si : |z| < 1.

Chapitre 09 : Sries entires Cours complet.

-9-

1 z n +1
, pour : z 1, et (n+1) pour : z = 1.
1 z
k =0
1
Donc la suite des sommes partielles converge pour : |z| < 1, et la somme de la srie vaut :
.
1 z
n

En effet, la somme partielle Sn de cette srie vaut :

zk =

Cest la dfinition de la fonction exp, exponentielle complexe.


Pour la fonction exponentielle relle, elle est de classe C sur
n , exp(n) = exp, do : exp(n)(0) = 1.
Puis la formule de Taylor avec reste intgral donne :

, et :

n
x (x t)
1 k
n , x , e = .x +
. exp ( n +1) (t ).dt .
0
n!
k = 0 k!
n

n +1

Il suffit alors dcrire : n , x ,

n
x
x (x t)
(x t)n
x
x
. exp ( n +1) (t ).dt e .
.dt = e .
,
0
n!
n!
(n + 1)!

en distinguant au besoin les cas : x > 0, et : x < 0, et en majorant et sur [0,x] ou [x,0] par e|x|.
Si maintenant, on fait tendre n vers +, lintgrale ( x fix) tend vers 0 et la somme partielle
n

k ! .x

tend donc vers ex, do lgalit.

k =0

Pour sinus et cosinus, on remarque tout dabord que les fonctions sont de classe C sur
n , x , sin(n)(x) = sin( x + n.

), et : cos(n)(x) = cos( x + n.

, et que :

).

On utilise alors la formule de Taylor avec reste intgral, et on remarque que :


n +1

n ,x ,

n
x
x (x t)
(x t)n
. sin ( n +1) (t ).dt 1.
.dt =
, de mme pour cosinus.
0
n!
n!
(n + 1)!

Autrement dit, le reste intgral tend vers 0 (pour x fix) quand n tend vers +, et la somme partielle tend
vers sin(x) (ou cos(x)), lorsque n tend vers +.
Et comme, pour n pair, avec : n = 2.p, sin(n)(0) = 0, cos(n)(0) = (-1)p, et pour n impair, avec : n = 2.p + 1,
on a de mme : sin(n)(0) = (-1)p, et : cos(n)(0) = 0, on en dduit les deux dveloppements proposs aprs
rindexation des deux sries.
Thorme 3.3 : dveloppements en srie entire obtenus par combinaisons linaires
Les fonctions suivantes sont dveloppables en srie entire (on note R leur rayon de convergence) :
+

ch( x) =

x 2n
,

n = 0 ( 2.n )!

R = +.

sh( x) =

x 2 n+1
,

n = 0 ( 2.n + 1)!

R = +.

Dmonstration :
On obtient le dveloppement de ch et de sh sur
x , ch( x) =

e +e
2
x

1 + (1)
=
2
n =0
+

grce aux galits :

x
e x e x + 1 (1) n
. , sh( x) =
=
2
2
n =0
n!
n

xn
. ,
n!

et on distingue alors deux cas :

1 + (1) n
1 (1) n
= 1 , et :
=0
2
2
1 + (1) n
1 (1) n
si n est impair, avec : n = 2.p + 1, alors :
= 0 , et :
= 1.
2
2

si n est pair, avec : n = 2.p, alors :

Il suffit alors de rindexer les termes de la somme (avec p) pour obtenir les expressions proposes.
Thorme 3.4 : dveloppements en srie entire obtenus par drivation ou intgration
Les fonctions suivantes sont dveloppables en srie entire (on note R leur rayon de convergence) :

Chapitre 09 : Sries entires Cours complet.

- 10 -

+
p!
(n + p)! n
=
.x ,

p +1
n!
(1 x)
n =0

pas de convergence en 1.

R = 1,

n
x n+1 +
n 1 x
ln(1 + x) = (1) .
= (1) . , R = 1,
n + 1 n=1
n
n=0
n +1
n
+
+
x
x
= ,
R = 1,
ln(1 x) =
n=0 n + 1
n =1 n
+
1
R = 1,
=
(1) n .x 2 n ,

2
1+ x
n=0
2 n +1
+
n x
arctan( x) = (1) .
,
R = 1,
2n + 1
n=0
+

convergence et galit en +1.


convergence et galit en -1.
pas de convergence en 1.
convergence et galit en 1.

Dmonstration :
La srie gomtrique, pour x rel donne : x ]-1,+1[,

+
1
= x n , et il suffit de calculer les
1 x n=0

drives pimes de ces fonctions (par exemple par rcurrence) pour obtenir les galits proposes.
Le rayon de convergence vaut 1 et il y a divergence grossire pour : x = 1.
ln(1 + x) sobtient en intgrant terme terme

1
, sur ]-1,+1[.
1+ x

Pour : x = 1, on peut remarquer que la srie de fonctions converge uniformment sur [0,1].
En effet, pour tout : x [0,1], la srie numrique

(1) n1 .
n 1

converge, et : x [0,1], n *,

(1) k 1 .

k = n +1

Do : n *, sup Rn ( x)
x[ 0 ,1]

xn
est alterne, vrifie le critre spcial donc
n

xk
x n +1
1

.
k
n +1 n +1

1
, et la convergence uniforme de la srie de fonctions sur [0,1].
n +1

La somme S est alors continue sur [0,1], en particulier elle est dfinie et continue en 1.
Finalement : S (1) = lim S ( x) = lim ln(1 + x) = ln(2) .
x 1

x 1

ln(1 x) sobtient en remplaant x par x dans lgalit prcdente.


Pour

1
, on pose : u = x2, et :
2
1+ x

x ]-1,+1[, u = x2 ]-1,+1[, et :

+
+
1
1
n
n
=
=
(

1
)
.
u
=
(1) n .x 2 n .

2
1 + u n =0
1+ x
n =0

Pour : x = 1, il y a divergence grossire de la srie.


Pour arctan, on intgre la srie prcdente et pour la valeur en 1 (en -1,on utilise limparit de la
fonction), on travaille comme pour ln(1 + x), grce une convergence uniforme et une limite.
Thorme 3.5 : dveloppements en srie entire obtenus laide dune quation diffrentielle
Les fonctions suivantes sont dveloppables en srie entire (on note R leur rayon de convergence) :
(1 + x) = 1 +

.( 1).( n + 1)

n =1

n!

.x n ,

R = 1, ( ).
R = +, ( ).

arcsin( x) =

2
n =0

2 n +1

(2.n)! x
.
,
.(n!) 2 2.n + 1

2n

R=1

convergence et galit en 1.

Dmonstration :
Pour la fonction : x a (1 + x), on va utiliser une quation diffrentielle.
Cette fonction f, dfinie sur ]-1,+) est un polynme si : .
Elle est videmment dans ce cas dveloppable en srie entire sur puisquun polynme est une srie
entire particulire.
Si : , f est continue et drivable sur ]-1,+1[ et vrifie :
Chapitre 09 : Sries entires Cours complet.

- 11 -

x ]-1,+), (E)
(1 + x).f(x) .f(x) = 0.
Daprs le thorme de Cauchy-Lipschitz, cette quation admet des solutions sur tout intervalle I inclus
dans ]-1,+), de la forme : y(x) = .(1 + x), et en particulier une seule qui vaut 1 en 0, correspondant
la valeur : = 1.
Par ailleurs, soit : y ( x) =

a
n=0

x n , une srie entire de rayon de convergence R suppos non nul.

Alors y (qui est de classe C sur ]-R,+R[) est solution sur ]-R,+R[ de lquation (E) si et seulement si :
+

n.a .x

x ]-R,+R[, (1 + x).

n =1

n 1

. a n x n = 0 .
n=0

On dveloppe alors les produits, on regroupe les termes de puissances identiques, en rindexant au
besoin les sries et on aboutit :
x ]-R,+R[,

[(n + 1).a
n =0

n +1

+ (n ).a n ]x n = 0 .

Or une srie entire est nulle sur ]-R,+R[ si et seulement si tous ses coefficients sont nuls, do :
n , a n +1 =

n
n +1

.a n .

En rsum, une srie entire (de rayon de convergence a priori non nul) est solution de (E) sur un
intervalle si et seulement si ses coefficients vrifient les galits au-dessus.
Rciproquement, soit : la srie entire S dfinie par : a0 = 1, n , a n +1 =

n
n +1

.a n .

Puisque : , tous ses coefficients sont non nuls, elle a un rayon de convergence gal 1 daprs la
rgle de dAlembert, vrifie lquation diffrentielle (E), et : S(0) = 1.
Donc S concide avec f sur ]-1,+1[, et : x ]-1,+1[, (1 + x) = 1 +

.( 1).( n + 1)

n =1

n!

.x n .

1
, on obtient :
2
n
+
+
1
(2.n)!
1 3 2.n 1 u
u ]-1,+1[,
= 1 + . ...
= 2n
.(1) n .u n .
.
2
2
2
2
n
!
2
.(
n
!
)
1+ u

n =1
n =0
+
1
(2.n)!
= 2n
.x 2 n .
Puis : x ]-1,+1[, u = x2 ]-1,+1[, et :
2
1 x 2 n =0 2 .(n!)

Si maintenant, on crit cette galit pour : =

En intgrant alors terme terme avec : arcsin(0) = 0, on termine avec :


x ]-1,+1[, arcsin( x) =

(2.n)! x 2 n +1
.
.

2n
2
2.n + 1
n = 0 2 .( n!)
+

(2.n)!
1
(2.n) 2 n .e 2 n . 4. .n
1 1
.
~
~
. 3 .
2n
2
2n
n n
2
+

2 .(n!) 2.n + 1 2 .[n .e . 2. .n ] .2.n


2
n
2 n +1
(2.n)! x
(2.n)!
1
1 1
Donc : sup 2 n
= 2n
.
.
~
.
.
2
2
2.n + 1 2 .(n!) 2.n + 1 + 32
x[ 1, +1] 2 .( n!)
n
Puis, grce la formule de Stirling on a :

La srie entire converge donc normalement sur [-1,+1], sa somme y est continue, tout comme la
+

fonction arcsin, et :

2
n =0

(2.n)!
1

.
= lim S ( x) = lim arcsin( x) = arcsin(1) = .
2
x

1
x

1
2
.(n!) 2.n + 1

2n

En -1, on a le mme rsultat ou on utilise limparit des fonctions.


Thorme 3.6 : lien entre exponentielle complexe, sinus et cosinus
Pour tout : z , z = a + i.b, avec : (a,b) 2, on a :
t , et.z = exp(t.z) = et.a.(cos(t.b) + i.sin(t.b)).
On a donc en particulier : t , e

t .z

zn n
= .t .
n = 0 n!

Chapitre 09 : Sries entires Cours complet.

- 12 -

Dmonstration :
Pour : z = a + i.b, (a,b) 2, t , t.z = (a.t) + i.(b.t), avec : (a.t, b.t) 2.
Donc : exp(t.z) = exp(a.t).exp(i.b.t), puisque cette relation a t dmontre dans le thorme 1.9.
Mais t tant rel, on a : exp(a.t) = ea.t, du fait de lgalit des expressions des sries entires.
2 n +1
+
+
(b.t ) 2 n
(i.b.t ) 2 n + (i.b.t ) 2 n +1
n (b.t )
De mme : cos(t.b) + i.sin(t.b) = (1) .
+ i. (1) .
=
+
,
(2.n)!
(2.n + 1)! n=0 (2.n)! n =0 (2.n + 1)!
n =0
n=0
+

et en regroupant les deux sommes (quitte au besoin repasser par les sommes partielles), on a donc :
+

(i.b.t ) n
cos(b.t) + i.sin(b.t) =
= exp(i.b.t ) .
n!
n =0
Autrement dit, on a bien : exp(t.z) = ea.t.(cos(b.t) + i.sin(b.t)).
En rcrivant la srie de lexponentielle, on constate bien par ailleurs que : t , e

t .z

zn n
= .t .
n = 0 n!

Remarque :
La dfinition de lexponentielle complexe par la formule : z , exp( z ) =

zn
, permet de dfinir

n = 0 n!

proprement les fonctions sinus et cosinus sur , et de montrer ainsi leurs principales proprits par :
t , exp(i.t) = cos(t) + i.sin(t), autrement dit par :
t , cos(t) = Re(exp(i.t)), et : sin(t) = Im(exp(i.t)).
Les fonctions sinus et cosinus ont ainsi comme dfinition le fait dtre sommes de sries entires.
Exemple 3.7 : sommation de sries entires
La plupart des sries entires dont on demande la sommation explicite se calculent partir des sries
gomtriques et exponentielles et des sries qui en sont dduites.
Par exemple :
x ,

(n 1) n
.x = ( x 1).e x ,
n
!
n =0
+

x ]-1,+1[,

(n 2 + 1).x n =
n =0

2. x 2 x + 1
.
(1 x) 3

Dmonstration :
Lide dans les deux cas est de se rapprocher de sries entires connues.

n 1
1
1
=
, et donc :
n!
(n 1)! n!
+
+
+
+
+
(n 1) n
(n 1) n
1
1
x n + x n
x ,
.x =
.x 1 =
.x n .x n 1 = x.

= ( x 1).e x .
n!
n!
n =0
n =1
n =1 ( n 1)!
n =1 n!
n = 0 n!
n = 0 n!

On commence par crire : n 1,

Mme chose, mais avec dautres sries en perspective :


n , n2 + 1 = n.(n 1) + n + 1, do : x ]-1,+1[,
+

(n
n =0

n= 2

n =1

n=0

+ 1).x n = n.(n 1).x n + n.x n + x n = x 2 .(

1
1
1
2. x 2 x + 1
)' '+ x.(
)'+ (
)=
.
1 x
1 x
1 x
(1 x) 3

Dans les deux cas, il faut surveiller les indices de dpart dans les sommes qui apparaissent et justifier
que toutes les sries intermdiaires sont convergentes.
Enfin, si le coefficient de la srie sommer est du type fraction rationnelle en n, on essaiera de se
rapprocher dune srie gomtrique (ou de sries qui en dcoulent), et sil est du type inverse dune
factorielle (et ses variantes) on essaiera de se rapprocher dune srie de la famille des exponentielles
(exp, sin, cos, ch, sh, etc).

Chapitre 09 : Sries entires Cours complet.

- 13 -