Sries entires

1 Dnitions
Dnition d'une srie entire :
Sit

(an )

une suite de nombres complexes, la

complexe z associe la suite

note :

(an ) est la
X
an z n

srie entire

de la variable

srie de fonction de

dans

Lemme
P :

an z n

une srie entire et z0 un nombre complexe non nul. Si la suite

n
(an z0 ) est borne, alors pour tout nombre complexe z, an z n = O(| zz0 |n )

Soit

Thorme
: lemme d'Abel
P
Soit

an z n

une srie entire et

z0

un nombre complexe non nul. Si la suite

(an z0n )

est borne, alors pour tout nombre complexe z tel que

P
srie numrique
an z n est absolument convergente.

|z| < |z0 |,

la

Dnition du rayon de convergence

:
P

Etant donn une srie entire

an z n , on note A l'ensemble des rels positifs
n
r tels que la suite (anP
r ) soit borne. On dnit
de la srie entire
an z n par :

le rayon de convergence

R = sup A = sup{r R+ , (an rn )nN born

ee}

Thorme
:
P
Soit

an z n

une srie entire de rayon de convergence R.

Pour tout complexe z vriant

|z| < R,

la srie numrique

an z n

est

|z| > R,

la srie numrique

an z n

est

absolument convergente.

Pour tout complexe z vriant

grossirement divergente.

Thorme
:
P
Soit

an z n

une srie de rayon de convergence R. Alors :

R = sup{r R+ , (an rn ) converge vers 0}

Dnition
du disque de convergence :
P
an z n

Soit

une srie entire de rayon de convergence R. Dans le plan com-

plexe, on appelle

disque de convergence de la srie entire le disque ouvert

de centre O, de rayon R :

{z C, |z| < R}

2 Calcul du rayon de convergence

Thorme
:
P
an z n

Soit

une srie entire.

Si la srie numrique

convergence R est tel que

Si la srie numrique

convergence R est tel que

an z0n converge pour un certain z0 ,

|z
P0 | R
an z1n diverge pour un certain z1 ,
R |z1 |.

le rayon de
le rayon de

Rgle
P d'Alembert pour les sries entires :
an z n

Soit

une srie entire vriant les hypothses suivantes :

pour tout entier n, an 6= 0

an+1
|) tend vers un lment L de R+ {+}
la suite (|
an
Alors le rayon de convergence R de la srie entire est :
? L1 si L R+
? + si L = 0

? 0

si

L = +

3 Oprations sur les sries entires

Thorme
: P
P
n
Soit

an z

et

bn z n

deux sries entires de rayons de convergence respecP

tifs R et R'. On note p le rayon de convergence de la srie entire
(an +bn )z n ,

somme de ces deux sries entires, alors :

0

p min(R, R )
pour tout z tel que z < min(R, R0 )
+
X

(an + bn )z =

n=0

si

R 6= R0 ,

alors

+
X
n=0

p = min(R, R0 ).

an z +

+
X
n=0

bn z n

Produit de Cauchy :
Le produit de Cauchy des sries entires
P
cn z n avec
n
X

cn =

an z n

et

bn z n

est la srie entire

aj bnj

j=0

Thorme
: P
P
n
an z

Soit

n
bn zP
deux
Notons
cn z n

et

tifs R et R'.

sries entires de rayons de convergence respecla srie entire produit de Cauchy de ces deux

sries et R son rayon de convergence, alors :

0
pour tout nombre complexe z tel que |z| < min(R, R ), les trois sries
P
P
P
numriques
an z n ,
bn z n et
cn z n sont absolument convergentes. De

plus :

+
X

+
+
X
X
cn z n = (
an z n )(
bn z n )

n=0
00

n=0

n=0

R min(R, R )

4 Continuit sur le disque de convergence

Thorme :
La srie entire

an z n

est normalement convergente sur tout compact

contenu dans son disque ouvert de convergence.

Thorme
:
P
Soit

an z n

une srie entire de rayon de convergence

R > 0.

La fonction

somme de cette srie entire est continue sur le disque ouvert de convergence

{z C, |z| < R}

5 Primitive de la somme d'une srie entire

Thorme
:
P
Soit

an x n

une srie entire relle de rayon de convergence R strictement

positif. Une primitive sur

] R, R[ de la fonction somme

S de la srie entire

s'obtient en intgrant terme terme la srie entire :

Z
x ] R, R[,

+
x X

n=0

an t )dt =

+
X
n=0

an

xn+1
n+1

6 Drivation de la somme d'une srie entire

Thorme
:
P
Soit

an x n

une srie entire de rayon de convergence R strictement positif.

Sa fonction somme S est de classe C

sur ] R, R[. Pour tout entier k 1,
la drive k-ime de S sur

] R, R[ s'obtient en drivant k fois terme terme

la srie de fonctions :

(k)

(x) =

+
X

an

n=0

n!
xnk
(n k)!

Corollaire :
Soit f une fonction de

] R, R[ dans C. Si, sur cet intervalle, la fonction f est

la fonction somme d'une srie entire de rayon de convergence suprieur ou

gal R, alors f est de classe C

sur cet intervalle.

7 Fonctions dveloppables en srie entire

Une fonction f, dnie sur un intervalle

] r, r[ (avec r > 0) est dite dvelopP

an x n ,

pable en srie entire sur cet intervalle s'il existe une srie entire
de rayon de convergence suprieur ou gal r, telle que :

x ] r, r[,

f (x) =

+
X

an x n

n=0

Thorme :
Soit f une fonction dveloppable en srie entire sur ] r, r[. La fonction f est

de classe C
sur cet intervalle et les coecients an de son dveloppement
sont uniques et dtermins par la formule :

n N,

an =

f (n) (0)
n!

8 Dveloppements classiques
Formule du binme gnralise :
Pour tout rel

] 1, 1[.

, la fonction x 7 (+x)

est dveloppable en srie entire sur

Son dveloppement est donn par :

x ] 1, 1[,

(1 + x) = 1 +

X
( 1) . . . ( n + 1)

n!

n=1

xn

Fonctions construites partir de la fonction exponentielle et dveloppables

sur

R.
tz

e =

+ n n
X
t z
n=0

+
X

cos x =

n!

(1)n

n=0

x2n
(2n)!

+
X
x2n+1
(1)n
sin x =
(2n + 1)!
n=0
+
X
x2n
ch x =
(2n)!
n=0

sh x =

+
X
n=0

x2n+1
(2n + 1)!

Fonctions construites partir de sries gomtriques et de la formule du binme gnralise dveloppables sur

] 1, 1[.
+

X
1
=
xn
1 x n=0
ln(1 x) =

+
X
xn
n=1

X
1
=
(1)n xn
1 + x n=0

+
X
1)n1 xn

ln(1 + x) =

n=1

X
1
=
(1)n x2n
1 + x2
n=0
Arctan x =

+
X
(1)n x2n+1
n=0

2n + 1

X (2n)!
1

=
x2n
2n
2
2
2 (n!)
1x
n=0
Arcsin x =

+
X
(2n)! x2n+1
22n (n!)2 2n + 1
n=0
+

X (1)n (2n)!
1

x2n
=
2n (n!)2
2
2
1+x
n=0
Argsh x = ln(x +

x2

+
X
(1)n (2n)! x2n+1
+ 1) =
22n (n!)2 2n + 1
n=0