Séries entières

Séries entières

1 Dénitions
Dénition d’une série entière :
Sit

(an )

une suite de nombres complexes, la

série entière

de la variable

complexe z associée à la suite notée :

(an )

est la série de fonction de

C

dans

C

an z n

Lemme :
Soit

une série entière et z0 un nombre complexe non nul. Si la suite n (an z0 ) est bornée, alors pour tout nombrecomplexe z, an z n = O(| zz0 |n )

an z n

Théorème : lemme d’Abel
Soit

an z n

une série entière et

z0

un nombre complexe non nul. Si la suite

n (an z0 )

est bornée, alors pour tout nombre complexe z tel que série numérique an z n est absolument convergente.

|z| < |z0 |, la Dénition du rayon de convergence : R Etant donné une série entière an z n , on note A l’ensembledes réels positifs n r tels que la suite (an r ) soit bornée. On dénit de la série entière an z n par : le rayon de convergence R = sup A = sup{r ? R+ , (an rn )n?N born´e} e Théorème :
Soit

an z n

une série entière de rayon de convergence R.

• •

Pour tout complexe z vériant Pour tout complexe z vériant

|z| < R, |z| > R,

la série numérique la série numérique

an zn an z n

est est

absolument convergente. grossièrement divergente.

Théorème :
Soit

an z n

une série de rayon de convergence R. Alors :

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

1

Dénition du disque de convergence :
Soit

an z n

une série entière de rayon de convergence R. Dans le plan com-

plexe, on appelle

disque de convergence de la série entière ledisque ouvert
{z ? C, |z| < R} de centre O, de rayon R : 2 Calcul du rayon de convergence
Théorème :
Soit

an z n

une série entière.

• •

Si la série numérique Si la série numérique

convergence R est tel que convergence R est tel que

n an z0 converge pour un certain z0 , |z0 | ? R n an z1 diverge pour un certain z1 , R ? |z1 |.

le rayon de le rayon de

Règle d’Alembertpour les séries entières :
Soit

an z n

une série entière vériant les hypothèses suivantes :

• •

pour tout entier n, an = 0 an+1 |) tend vers un élément L de R+ ? {+?} la suite (| an Alors le rayon de convergence R de la série entière est : 1 ? si L ? R+ L + ? si L = 0

0

si

L = +?

3 Opérations sur les séries entières
Théorème :
Soit deux séries entières de rayons deconvergence respectifs R et R’. On note p le rayon de convergence de la série entière (an +bn )z n ,

an z n

et

bn z n

somme de ces deux séries entières, alors :

• p ? min(R, R ) • pour tout z tel que z < min(R, R )
+?

:

+?

+?

(an + bn )z =
n=0 n=0

n

an z +
n=0

n

bn z n

si

R=R,

alors

p = min(R, R ).

2

Produit de Cauchy :
Le produit deCauchy des séries entières cn z n avec n

an z n

et

bn z n

est la série entière

cn =
j=0

aj bn?j

Théorème :
Soit

an z n

et

bn z n

tifs R et R’. Notons

deux séries entières de rayons de convergence respeccn z n la série entière produit de Cauchy de ces deux

séries et R son rayon de convergence, alors :

pour tout nombre complexe z tel que |z| < min(R, R), les trois séries numériques an z n , bn z n et cn z n sont absolument convergentes. De plus : +? +? +? cn z n = (
n=0 n=0

an z n )(
n=0

bn z n )

• R ? min(R, R )

4 Continuité sur le disque de convergence
Théorème :
La série entière

an z n

est normalement convergente sur tout compact

contenu dans son disque ouvert de convergence.

Théorème :
Soit

an z nune série entière de rayon de convergence

R > 0.

La fonction

somme de cette série entière est continue sur le disque ouvert de convergence

{z ? C, |z| < R} 5 Primitive de la somme d’une série entière
Théorème :
Soit

an x n

une série entière réelle de rayon de convergence R strictement

positif. Une primitive sur

] ? R, R[ de la fonction somme
x +? +?

S de la…