Académique Documents
Professionnel Documents
Culture Documents
eries enti`
eres
finition 1
De
Pour tout z0 C et tout r > 0, on note D(z0 , r) le disque ouvert de centre z0 et de rayon r et D(z0 , r) le
disque ferme correspondant :
D(z0 , r) = {z C, |z z0 | < r}
D(z0 , r) = {z C, |z z0 | 6 r} .
et
Sn =
n
X
fk = f0 + f1 + + fn .
k=0
fn .
n>0
n>0
+
X
fn (z) de cette
k=0
serie numerique.
P
P
fn est
En posant D = z E, la serie
fn (z) converge , la fonction somme de la serie de fonction
n>0
la fonction
S: D C
+
X
z 7
fn (z).
k=0
S
eries enti`
eres dune variable complexe
1.1
D
efinition et rayon de convergence
finition 3
De
Soit z0 un nombre complexe. Une serie enti`ere centree en z0 est une serie de fonctions de C dans C dont le
terme general est de la forme fn : C C
o`
u an est un nombre complexe.
z 7 an (z z0 )n
P
Dans la suite, cette serie enti`ere sera plus simplement notee
an (z z0 )n . Les complexes an sappellent
n>0
fonction
S: D C
P+
n
z 7
k=0 an (z z0 ) .
Remarque.
Les fonctions polyn
omes sont des cas particuliers de fonctions sommes de series enti`eres, la suite des coefficients etant nulle `
a partir dun certain rang.
Le but ici est de determiner le domaine de definition de cette serie enti`ere, cest-`a-dire lensemble des com-
n>0
Pour simplifier,
on considerera souvent dans ce chapitre des series enti`eres centrees en 0, cest-`a-dire de la
P
n
forme
an z . Les resultats restent valables pour les series centrees en z0 .
n>0
finition 4
De
P
Soit
an z n une serie enti`ere. Lensemble
n>0
n
o
X
r R+ ,
|an |rn converge
n>0
+
est un intervalle de la forme [0, R[ (o`
u R > 0 est un nombre reel ou +), ou de la forme [0, R] (o`
Pu R n R ).
+
Ce nombre R (appartenant `
a R {+}) est le rayon de convergence de la serie enti`ere
an z .
n>0
Exemples.
1. Soit P =
PN
0
ak xk un polyn
ome `
a coefficients complexe. Comme la somme
X
|ak |rk =
N
X
n>0
|ak |rk
est finie pour tout tout r R+ , la serie converge pour r R+ . Donc le rayon de convergence est +.
X
z n . Soit r R+ , on etudie la
2. Pour tout n N, on pose an = 1. La serie enti`ere centree en 0 est
n>0
convergence de la serie :
SN (r) =
N
X
0
1 rN +1
r =
1r
n
1
1r
+
si r < 1
si r > 1
Donc la serie converge si et seulement si r [0, 1[. Donc le rayon de convergence de la serie enti`ere est
R = 1.
X zn
1
3. Pour tout n N, on pose an = n!
, donc la serie est
. Soit r R+ , on etudie la convergence de la
n!
n>0
P
rn
serie n>0 n! . On a
r
rn+1 /(n + 1)!
=
0<1
n
r /n!
n+1
donc, par crit`ere de dAlembert, la serie converge pour tout r R+ . Donc le rayon de convergence de
cette serie est R = +.
X
4. Pour tout n N, on pose an = n! et on etudie
n!z n . Soit r R+ , on etudie la convergence de la serie
n>0
P
n
n>0 n!r :
rn+1 (n + 1)!
= r(n + 1)
rn n!
si r 6= 0, donc la serie diverge pour tout r R?+ . Donc le rayon de convergence de cette serie est R = 0.
'
Proposition
5
P
Soit
an z n une serie enti`ere de rayon de convergence R > 0.
n>0
P
Pour tout z C tel que |z| < R, la serie
an z n converge absolument.
n>0
P
Pour tout z C tel que |z| > R, la serie
an z n diverge.
n>0
Si R est un reP
el strictement positif, le disque ouvert D(0, R) est appele le disque de convergence de la
serie enti`ere
an z n .
&
n>0
1.2
La r`
egle de DAlembert pour les s
eries enti`
eres
ore
`P
The
me 6
Soit
an z n une serie enti`ere dont les coefficients an sont tous non nuls.
n>0
|an+1 |
Si la suite
admet une limite ` dans R, alors le rayon de convergence R de la serie enti`ere
|an | nN
P
1
1
1
an z n est donne par R = . (avec la convention
= 0 et = +).
`
+
0
n>0
D
emonstration. On etudie la convergence de
n>0
strictement positif et
|an+1 |rn+1
|an+1 |
|an+1 |rn+1
=
r
donc
lim
= r`
n
|an |rn
|an |
|an |rn
Par la r`egle de dAlembert des serie, on a donc convergence si r` < 1, cest `a dire r <
cest `a dire r > 1` . Donc le rayon de convergence est R = 1` .
1
`
et divergence si r` > 1,
Remarque. La r`egle de DAlembert peut etre appliquee avec une serie enti`ere dont tous les coefficients sont
tous non nuls au del`
a dun certain rang.
P 2n n
Exemple. Calculer le rayon de convergence de la serie enti`ere
z .
n>1 n
1.3
Op
erations sur les s
eries enti`
eres
On definit sur lensemble des series enti`eres une addition et la multiplication par un scalaire :
finition 7
De
P
P
bn z n deux series enti`eres et un nombre complexe.On pose :
an z n et
Soit
n>0
n>0
X
n>0
an z n +
X
n>0
bn z n =
(an + bn )z n
et
n>0
an z n =
n>0
(an )z n .
n>0
'
Proposition
8 P
P
bn z n deux series enti`eres de rayons de convergence respectifs Ra et Rb . On consid`ere
an z n et
Soit
n>0
n>0
P
la serie enti`ere
(an + bn )z n dont on note Ra+b le rayon de convergence.
n>0
1. On a Ra+b > min(Ra , Rb ) et sur le disque ouvert centre en z0 de rayon min(Ra , Rb ), les trois
series enti`eres sont convergentes et lon a
z D 0, min(Ra , Rb ) ,
+
X
(an + bn )z =
n=0
+
X
an z +
n=0
&
+
X
bn z n .
n=0
'
Proposition
9
P
an z n une serie enti`ere dont on note Ra le rayon de convergence et soit C.
Soit
n>0
P
1. Si 6= 0, alors le rayon de convergence de la serie enti`ere
an z n est egal `a Ra . Les series
n>0
P
P
enti`eres
an z n et
an z n convergent alors pour les memes nombres complexes z et leurs
n>0
n>0
sommes verifient
+
X
an z =
n=0
+
X
an z n .
n=0
n>0
&
P
an z n une serie enti`ere de rayon de convergence 2, et
bn z n une serie enti`ere de rayon de
n>0
n>0
n P
n
P
P
convergence 3. Les series (numeriques)
an 32 ,
an 12 et
an 3n convergent-elles ? Que peut-on
n>0
n>0
n>0
P
P
P
dire sur
an 2n et
an (2)n ? Que peut-on dire sur le rayon de convergence de
(an bn )z n ?
Test 1. Soit
n>0
n>0
n>0
S
erie enti`
ere dune variable r
eelle
Soit
an xn une serie enti`ere dune variable reelle x de rayon de convergence R > 0. Le rayon de convergence
n>0
de cette serie enti`ere est defini de la meme mani`ere que precedemment, mais on parle maintenant dintervalle
de convergence. Cet intervalle de convergence peut etre [R, R], [R, R[, ] R, R] ou ] R, R[ suivant que la
serie enti`ere converge ou non en R et R.
2.1
Continuit
e - d
erivabilit
e
ore
`P
The
me 10
Soit
an xn une serie enti`ere de rayon de convergence R > 0 dont on note S la fonction somme.
n>0
3. Si
n>0
4. Si
n>0
5. La s
erie enti`
ere d
eriv
ee
n>1
+
X
nan xn1
n=1
X
(n + 1)an+1 xn .
n>0
Corollaire 11
P
Soit
an xn une serie enti`ere de rayon de convergence R > 0 dont on note S la fonction somme. La fonction
n>0
+
X
n=k
+
X
n=k
n!
an xnk .
(n k)!
2.2
Int
egration terme `
a terme
ore
`P
The
me 12
Soit
an xn une serie enti`ere de rayon de convergence R > 0 dont on note S la fonction somme.
n>0
1. La serie enti`ere
an
xn+1 a egalement pour rayon de convergence R.
n>0 n + 1
P
2. Sur ] R, R[, une primitive de la fonction S est la fonction somme de la serie enti`ere
X an
xn+1
n+1
n>0
n=0
D
eveloppements en s
eries enti`
eres
3.1
Fonctions d
eveloppables en s
erie enti`
ere
finition 13
De
Une fonction f definie sur un intervalle
eveloppable en s
erie enti`
ere sur
P ] n r, r[ (avec r > 0) est dite d
] r, r[ sil existe une serie enti`ere
an x de rayon de convergence R > r telle que :
n>0
x ] r, r[,
f (x) =
+
X
n=0
Exemple.
an xn .
3.2
Unicit
e et
ecriture du d
eveloppement en s
erie enti`
ere dune fonction
ore
`me 14
The
P
Soit f une fonction reelle developpable en serie enti`ere sur ] r, r[ (avec r > 0) et
an xn une serie
n>0
f (x) =
+
X
an xn .
n=0
La fonction f est de classe C sur ] r, r[ et les coefficients an sont uniques et determines par la
formule :
f (n) (0)
n N, an =
.
n!
D
emonstration. On a vu precedemment que la fonction somme S de la serie enti`ere qui concide avec f sur
] r, r[ est de classe C sur ] r, r[ et lon a pour tout n N, f (n) (0) = S (n) (0) = n!an . Ceci donne pour tout
f (n) (0)
n N, an =
.
n!
Remarque. Si f est developpable en serie enti`ere sur ] r, r[, la valeur des coefficients an montre que lon
obtient un developpement limite de f en 0 a` nimporte quel ordre en tronquant le developpement en serie
enti`ere de f .
Attention : Ce nest pas parce quune fonction est de classe C sur ] r, r[ quelle est developpable en serie
enti`ere sur ] r, r[.
Corollaire 15
P
an xn la serie enti`ere telle que :
Soit f une fonction developpable en serie enti`ere sur ] r, r[ et
n>0
x ] r, r[,
f (x) =
+
X
an xn .
n=0
1. Si f est paire alors pour tout n N, on a a2n+1 = 0. (ie les coefficients devant les monomes de degre
impair sont tous nuls).
2. Si f est impaire, alors pour tout n N, a2n = 0. (ie les coefficients devant les monomes de degre pair
sont tous nuls).
3.3
Op
erations sur les fonctions d
eveloppables en s
erie enti`
eres
ore
`me 16
The
Lensemble des fonctions developpables en serie enti`ere sur ] r, r[ est un sous-espace vectoriel de
lensemble des fonctions definies sur ] r, r[. Autrement dit, si f et g sont deux fonctions developpables
en serie enti`ere sur ] r, r[ et un reel, alors f + g est developpable en serie enti`ere sur ] r, r[.
Proposition 17
Soit f une fonction reelle definie sur ] r, r[. Si f est developpable en serie enti`ere sur ] r, r[, alors
les derivees `a tout ordre de f et les primitives successives de f sont developpables en serie enti`ere sur
] r, r[.
3.4
D
eveloppements en s
erie enti`
ere usuels
On a dej`a vu :
+
X
1
=
xn
1x
n=0
et
ln(1 x) =
+ n
X
x
n=1
Par consequent,
+
X
1
=
(1)n xn et
1+x
ln(1 + x) =
n=0
+ n
X
x
n=0
n!
S 0 (x) =
+
X
(1)n1
n=1
xn .
P xn
avait un rayon de convergence infini. De plus la fonction
n!
+
+ n
+
X
X
x
n n1 X xn1
x
=
=
= S(x).
n!
(n 1)!
n!
n=1
n=1
n=0
Ainsi, la fonction S ainsi definie, est lunique solution sur R de lequation differentielle du premier ordre y 0 y = 0
telle que y(0) = 1 et donc S = exp. On en deduit :
pour tout x R, on a
exp(x) =
+ n
X
x
n=0
n!
ex + ex
, donc par combinaison lineaire,
2
+
xn + (x)n
n!
|
{z
}
1X
ch(x) =
2
n=0
p=0
p=0
X x2p
1 X 2x2p
=
=
.
2
(2p)!
(2p)!
X x2p+1
ex ex
, on obtient de meme que sh(x) =
2
(2p + 1)!
p=0
On retient :
pour tout x R,
on a
ch(x) =
+
X
x2p
(2p)!
et
sh(x) =
+
X
x2p+1
.
(2p + 1)!
p=0
p=0
Technique. Pour determiner le developpement en serie enti`ere de sin autour de 0, nous allons utiliser une
methode qui repose sur les equations differentielles (M
ethode `
a retenir).
+
X
x2p+1
On obtient donc que pour tout x R, on a sin(x) =
(1)p
. La fonction cos etant la derivee de sin,
(2p + 1)!
p=0
+
X
x2p
pour tout x R, on a cos(x) =
. On retient :
(1)p
(2p)!
p=0
pour tout x R,
on a
sin(x) =
+
X
(1)p
p=0
x2p+1
(2p + 1)!
et
cos(x) =
+
X
x2p
(1)p
.
(2p)!
p=0
(1 + x) =
+
X
( 1) . . . ( n + 1)
n!
n=0
( 1) . . . ( n + 1)
vaut 1.
n!
+
+
X
X
1
(1)n n! n
1
Pour = 1, on obtient
=
x cest-`a-dire :
=
(1)n xn .
1+x
n!
1+x
n=0
n=0
xn .
x)k
n
X
n
k=0
xk .
1
1x ,
finition 18
De
La serie enti`ere
P zn
de la variable complexe z a un rayon de convergence infini.
n>0 n!
Lapplication exp : C
z
zn
7 exp(z) =
= ez
n!
n=0
+
P
Remarque.
1. Lorsque z est un nombre reel, on retrouve bien la fonction exponentielle reelle.
2. Soit R. On a dapr`es ce qui prec`ede :
cos() + i sin() =
+
X
n=0
(1)n
n=0
n=0
n=0
n=0
X
X (i)2n X (i)2n+1
X (i)n
2n+1
2n
+i
=
+
=
(1)n
(2n)!
(2n + 1)!
(2n)!
(2n + 1)!
n!
Proposition 19
Corollaire 20
Pour tout z C avec z = x + iy (x, y R), on a
exp(z) = exp(x + iy) = exp(x) exp(iy)
et donc cette definition est compatible avec la definition vue en debut dannee.