Sries entires j - 1

Sommaire
1. Sries Entires, Convergence 1
1.1. Srie entire . . . . . . . . . . . . . . . . . . . 1
1.2. Rayon de convergence . . . . . . . . . . . . . 1
1.3. Disque ouvert de convergence . . . . . . . . 2
1.4. Recherche du rayon de convergence . . . . 3
2. Oprations sur les Sries Entires 4
2.1. Somme de 2 sries entires . . . . . . . . . . 4
2.2. Produit par un scalaire . . . . . . . . . . . . . 4
3. Somme dune Srie Entire 4
3.1. Intervalle de convergence, continuit . . . . 4
3.2. Drivation et intgration terme terme . . . 4
3.3. Dveloppements usuels . . . . . . . . . . . . 5
4. Dveloppement en S.E., Somme de S.E. 7
4.1. Fonction dveloppable en srie entire . . . 7
4.2. Dveloppement en srie entire . . . . . . . 7
4.3. Sommation de certaines sries entires . . 8
5. Exponentielle complexe 8
5.1. Exponentielle complexe . . . . . . . . . . . . 8
5.2. Cohrence de cette dnition . . . . . . . . . 8
6. Complments 9
6.1. Colbert, lyce numrique . . . . . . . . . . . 9
6.2. Les mathmaticiens du chapitre . . . . . . . 9
Une srie de fonctions est une srie du type :

f
n
(x).
Nous navons pas notre programme dtude gnrale des sries de fonctions. Nous avons cependant tudier
deux types de sries de fonctions que sont les sries entires et les sries de Fourier.
On peut dire de toutes faons, qu x x, il sagit dune srie numrique. Ainsi, lensemble des x pour lesquels
la srie

f
n
(x) converge sera lensemble de dnition de la somme.
Cette somme est donc une fonction de x. Se posent alors les problmes usuels, cette fonction est-elle continue,
drivable ?...
1. Sries Entires, Convergence
1.1. Srie entire
Dnition : Une srie entire de la variable z est une srie de la forme :

a
n
z
n
.
avec z K(K= R ou C) et a
n
K(K= R ou C).
Exemple : Un polynme est un cas trs particulier et sans intrt de srie entire.
Par contre, une srie gomtrique est le premier cas de srie entire rencontr (sans le dire) dans le cadre des
sries gomtriques.
Pour une valeur de z xe z
0
par exemple, la srie

a
n
z
n
0
est une srie numrique.
Pour les valeurs de z telles que la srie converge, on dnit donc, point par point, une fonction de la variable
z par : f (z) =
+

n=0
a
n
z
n
.
Un des objets de ce chapitre est dtudier des proprits de ces fonctions.
Quand la variable est relle, on va plutt la noter x que z.
Exemple :
+

n=0
1
n
2
+1
z
n
est donc une srie entire o a
n
=
1
n
2
+1
.
Mais
+

n=0
1
(2n)!
z
2n
est aussi une srie entire o a
n
=
1
n!
si n est pair et a
n
= 0 si n est impair...
1.2. Rayon de convergence
Thorme : Soit

a
n
z
n
une srie entire,
alors, il existe R un rel positif ou + tel que : R = sup{r, r R
+
,

|a
n
| r
n
converge}.
R est appel le rayon de convergence de

a
n
z
n
.
Dmonstration : I = {r, r R
+
,

|a
n
| r
n
converge} est un intervalle de R
+
contenant 0, soit il est born et admet
alors une borne suprieure, soit il nest pas born et R = +.
Cours de Sp T.S.I. Christophe Caignaert Lyce Colbert jioo Tourcoing http://c.caignaert.free.fr
j - i Sries entires
Exemple : Cherchons le rayon de convergence de
+

n=0
z
n
Soit r 0, on sait que

r
n
ne converge que si r < 1 et sup[0, 1[ = 1. On a donc R = 1.
On reviendra rapidement sur les moyens de calcul pratique de ce rayon de convergence. Signalons quil sagit
dune notion fondamentale dans ltude des sries entires.
1.3. Disque ouvert de convergence
Dnition : Soit

a
n
z
n
une srie entire, R son rayon de convergence.
La boule ouverte de centre O et de rayon R, ou le plan complexe si R = +, est appele disque ouvert de
convergence ou intervalle ouvert de convergence selon que la variable est complexe ou relle.
Ce disque est vide si R = 0.
Cette notion de disque ouvert de convergence se justie par le thorme suivant :
Thorme : Soit

a
n
z
n
une srie entire, R son rayon de convergence,
si |z
0
| < R alors

a
n
z
n
0
converge absolument,
si |z
0
| > R alors

a
n
z
n
0
diverge grossirement, et
si |z
0
| = R, on ne sait rien priori sur la convergence de la srie. Tout peut se produire.
La gure 1, ci-dessous, illustre le thorme.
|z|>R
Divergence grossire
|z|<R
Convergence
absolue
|z|=R
On ne sait rien
Figure 1 Convergence et Rayon de convergence
Dmonstration : La premire proposition dcoule directement de la dnition du rayon de convergence, |z
0
| <
R |z
0
| I, I tant lintervalle utilis dans la dmonstration de lexistence du rayon de convergence.
Pour la deuxime proposition, on a |z
0
| > R, supposons que la suite
_
a
n
z
n
0
_
nN
soit borne.
Alors il existe A tel que : n N, |a
n
|

z
n
0

A.
Mais pour z tel que |z| < |z
0
|, |a
n
| |z
n
| = |a
n
|

z
n
0

z
z
0

n
A

z
z
0

n
qui est le terme gnral dune srie gomtrique
convergente.
Ce qui prouve que R |z| pour |z| < |z
0
|, cest dire R |z
0
|, ce qui est contraire lhypothse. La suite
_
a
n
z
n
0
_
nN
nest donc pas borne, la srie diverge (trs) grossirement.
Cours de Sp T.S.I. Christophe Caignaert Lyce Colbert jioo Tourcoing http://c.caignaert.free.fr
Sries entires j -
1.4. Recherche pratique du rayon de convergence
On peut toujours travailler en module pour rechercher le rayon de convergence.
Une ingalit obtenue sur le rayon de convergence est toujours une ingalit large.
On applique quand on peut le thorme de dAlembert sur la convergence des sries numriques.
Cependant on noubliera pas que a nest pas la seule mthode...
Par le thorme de dAlembert.
On considre

|a
n
| |z
n
| comme une srie numrique en ne considrant pas les termes nuls, z tant x non
nul.
Si le thorme de dAlembert est applicable directement, R est le |z| tel quon soit dans le cas douteux, cest
dire tel que la limite est 1.
Si la limite est toujours nulle, R = +.
Si pour un |z| donn, la limite est infrieure ou gale 1, R |z|
Si pour un |z| donn, la limite est suprieure ou gale 1, R |z|
Dans le cas o le thorme de dAlembert ne fournit pas le rsultat, on obtient des ingalits en utilisant le
paragraphe prcdent.
Si on a un z
0
tel que

a
n
z
n
0
converge, alors R |z
0
|, tandis que,
si on a un z
0
tel que

a
n
z
n
0
diverge, alors R |z
0
|.
Si on a un z
0
tel que

a
n
z
n
0
est semi-convergente, alors R = |z
0
|.
En eet, comme on na ni convergence absolue, ni divergence grossire, le rayon de convergence ne peut tre
ni plus grand ni plus petit que |z
0
|.
Si on na pas pu conclure en utilisant ce qui prcde, on applique lun des thormes suivants :
Thorme : R = sup
_
r, r R
+
, lim
n
|a
n
| r
n
= 0
_
Thorme : R = sup{r, r R
+
, la suite (a
n
r
n
) est borne}
Lintrt de ces thormes est quil sut dtudier la suite (|a
n
| r
n
) pour dterminer le rayon de convergence.
Il est donc inutile dtudier la srie, ce qui est plus complexe. Le premier rsulte immdiatement de la
convergence dune srie entire, on montre le second :
Dmonstration : On a lim
n
|a
n
| r
n
= 0 (|a
n
| r
n
) est borne do R r, ce qui entraine
R sup
_
r, r R
+
, lim
n
|a
n
| r
n
= 0
_
Si lim
n
|a
n
| r
n
0, la srie diverge et donc r R. Ce qui achve la dmonstration.
Exemple : Cherchons le rayon de convergence de
+

n=0
n2
n
z
2n
.
(n +1) 2
n+1
|z|
2n+2
n2
n
|z|
2n
=
n +1
n
2|z|
2
2|z|
2
quand n , do 2R
2
= 1 qui donne R =
1

2
.
Exemple : Cherchons le rayon de convergence de
+

n=1
sinn
n
x
n
.
Si 0 r < 1, lim
n
sinn
n
r
n
= 0, do R 1 car il est suprieur ou gal tous les r qui sont plus petits que 1.
Si r > 1,
sinn
n
r
n
na pas de limite quand n , car
r
n
n
+ et sinn na pas de limite.
Donc,
sinn
n
r
n
0 et R 1 car il est infrieur ou gal tous les r qui sont plus grands que 1.
Et donc r = 1.
Cours de Sp T.S.I. Christophe Caignaert Lyce Colbert jioo Tourcoing http://c.caignaert.free.fr
j - Sries entires
2. Oprations sur les Sries Entires
2.1. Somme de 2 sries entires
Thorme :

a
n
z
n
de rayon R
a

b
n
z
n
de rayon R
b
_

(a
n
+b
n
) z
n
est de rayon

inf(R
a
, R
b
) pour R
a
R
b
R R
a
pour R
a
= R
b
Dmonstration : Si R
a
= R
b
, on na rien montrer puisque la somme de 2 sries convergentes est convergente.
Si R
a
R
b
, par exemple R
a
< R
b
.
Pour r tel que R
a
< r < R
b
,

a
n
r
n
diverge

b
n
r
n
converge
_

(a
n
+b
n
) r
n
diverge, et R R
a
.
Par ailleurs, R R
a
par somme de sries convergentes. On a donc bien R = R
a
.
2.2. Produit par un scalaire
Thorme : Si

a
n
z
n
est une srie entire de rayon de convergence R, et 0,
alors

a
n
z
n
est une srie entire de rayon de convergence R

= R.
Dmonstration : Cest tout fait simple ! On prend un r < R, alors

a
n
r
n
converge et donc : R

R.
On prend ensuite r > R, alors

a
n
r
n
diverge et donc : R

R.
3. Somme dune Srie Entire de variable relle
On notera cette srie entire :

a
n
x
n
.
3.1. Intervalle de convergence, continuit
On a un thorme de continuit trs simple quon va admettre.
Thorme :

a
n
x
n
une srie entire de rayon de convergence R. On dnit la fonction f par : f (x) =
+

n=0
a
n
x
n
.
Si R = +, D
f
= R.
Si R est ni, D
f
=

]R, R[
ou ]R, R]
ou [R, R[
ou [R, R]
De plus, dans tous les cas, f est continue sur D
f
.
3.2. Drivation et intgration terme terme
Les thormes ont encore des noncs trs simples et on va encore les admettre.
Thorme :

a
n
x
n
une srie entire de rayon de convergence R. On dnit la fonction f par : f (x) =
+

n=0
a
n
x
n
.
Alors f est de classe C

sur au moins ]R, R[ et f

(x) =
+

n=1
na
n
x
n1
, est une srie entire qui a, de plus, le
mme rayon de convergence R.
Cours de Sp T.S.I. Christophe Caignaert Lyce Colbert jioo Tourcoing http://c.caignaert.free.fr
Sries entires j -
Thorme :

a
n
x
n
une srie entire de rayon de convergence R, convergente sur [0, x].
On dnit la fonction f par : f (t) =
+

n=0
a
n
t
n
.
Alors F(x) =
_
x
0
f (t) dt =
+

n=0
a
n
n +1
x
n+1
, est une srie entire qui a encore le mme rayon de convergence R et
qui converge partout o

a
n
x
n
converge.
En un mot, on peut driver et intgrer terme terme une srie entire de variable relle sur louvert de
convergence, ce qui ne change pas le rayon de convergence.
De plus, on peut intgrer terme terme une srie entire sur lintervalle de convergence
3.3. Dveloppements usuels
On peut voir sur le tableau 1, ci-dessous, les dveloppements usuels en srie entire.
Tableau 1 Dveloppements Usuels en Srie Entire
f D
f
DSE R I
e
x
R

n=0
x
n
n!
+ R
cosx R

n=0
(1)
n
x
2n
(2n)!
+ R
sinx R

n=0
(1)
n
x
2n+1
(2n +1)!
+ R
ch x R

n=0
x
2n
(2n)!
+ R
sh x R

n=0
x
2n+1
(2n +1)!
+ R
1
1 +x
R\ {1}

n=0
(1)
n
x
n
1 ]1, 1[
ln(1 +x) ]1, +[

n=1
(1)
n+1
x
n
n
1 ]1, 1]
1
1 x
R\ {1}

n=0
x
n
1 ]1, 1[
ln(1 x) ], 1[

n=1
x
n
n
1 [1, 1[
arctanx R

n=0
(1)
n
x
2n+1
(2n +1)
1 [1, 1]
(1 +x)
a
]1, +[ 1 +

n=1
a(a 1) . . . (a n +1)
n!
x
n
1 ou + (a N)
La srie gomtrique et lexponentielle sont aussi valables pour une variable complexe.
Dmonstration :
Cours de Sp T.S.I. Christophe Caignaert Lyce Colbert jioo Tourcoing http://c.caignaert.free.fr
j - 6 Sries entires
Pour e
x
, on applique lingalit de Taylor-Lagrange lordre n en 0 :

e
x

k=0
x
k
k!

|x|
n+1
(n +1)!
e
|x|
.
Or lim
n
|x|
n+1
(n +1)!
e
|x|
= 0, ce qui se montre facilement en montrant que la srie converge.
Do lim
n
_
e
x

k=0
x
k
k!
_
= 0 ce qui est le rsultat annonc.
Pour cosx, on utilise le mme procd :

cosx
n

k=0
(1)
k
x
2k
(2k)!

|x|
2k+1
(2k +1)!
1.
Or lim
n
|x|
2k+1
(2k +1)!
= 0, ce qui se montre facilement en montrant que la srie converge. On conclut de la mme
faon.
Pour sinx, on utilise le mme procd :

sinx
n

k=0
(1)
k
x
2k+1
(2k +1)!

|x|
2k+2
(2k +2)!
1.
Or lim
n
|x|
2k+2
(2k +2)!
= 0, ce qui se montre facilement en montrant que la srie converge. On conclut de la mme
faon.
Pour ch x, on crit que ch x =
e
x
+e
x
2
, le rsultat en dcoule immdiatement.
Cest la mme chose pour sh x =
e
x
e
x
2

1
1 +x
est somme dune srie gomtrique, de mme
1
1 x
. La dmonstration a t faite dans le chapitre relatif
aux sries numriques.
ln(1 +x) et ln(1 x) sont les primitives des prcdentes qui sannulent en 0.
On va montrer le prolongement la borne 1 pour ln(1 +x), on ladmettra pour ln(1 x).
On a la convergence de en 1 de

n=1
(1)
n+1
x
n
n
par application du critre spcial des sries alternes. Ceci
prouve la continuit de la somme de la srie entire en 1.
Ainsi, la fonction et son dveloppement en srie entire sont :
dnies et gales sur ]1, 1[,
dnies et continues toutes les deux en 1,
on a ainsi lgalit entre la fonction et la srie entire en 1 et donc sur ]1, 1].
Ce procd est trs usuel pour prolonger lgalit entre la fonction et son dveloppement en srie
entire une borne de lintervalle de convergence. Il est rgulirement utilis par les problmes.
arctanx est la primitive nulle en 0 de
1
1 +x
2
qui est aussi la somme dune srie gomtrique.
La convergence en 1 et en 1 sobtient encore par application du critre spcial.
Lgalit entre la fonction et la srie entire en 1 et en 1 sobtient encore en utilisant :
lgalit de la fonction et de la srie entire sur ]1, 1[,
la continuit de la fonction et de la srie entire en 1 et 1.
Pour (1 +x)

, avec x ]1, 1[, on applique la formule de Taylor avec reste intgral :

(1 +x)

_
1 +

n=1
a(a 1) . . . (a n +1)
n!
x
n
_
=
_
x
0
(x t)
n
n!
a(a 1) . . . (a n) (1 +t)
n1
dt
=
a(a 1) . . . (a n)
n!
_
x
0
_
x t
1 +t
_
n
(1 +t)
1
dt
Or, on montre assez facilement que :

x t
1 +t

|x|, ce qui donne :

(1 +x)

_
1 +

n=1
a(a 1) . . . (a n +1)
n!
x
n
_

|a(a 1) . . . (a n)|
n!
|x|
n

_
x
0
(1 +t)
1
dt

On montre ensuite que cette quantit tend vers 0 en calculant lintgrale et en montrant par application du
thorme de dAlembert que cest le terme gnral dune srie convergente.
Ce qui est laiss au lecteur, qui prendra soin de sparer les cas x > 0 et x < 0.
Cours de Sp T.S.I. Christophe Caignaert Lyce Colbert jioo Tourcoing http://c.caignaert.free.fr
Sries entires j -
4. Dveloppement dune fonction en Srie Entire, Sommation de Sries Entires
Les deux problmes sont complmentaires, il sagit
pour une fonction donne de trouver une srie entire gale cette fonction sur un intervalle prciser, ou
bien
pour une srie entire de trouver une fonction usuelle laquelle est est gale sur un intervalle prciser.
4.1. Fonction dveloppable en srie entire
Dnition : Soit f : R K, dnie au voisinage de 0.
On dit que f est dveloppable en srie entire lorigine il existe une srie entire

a
n
x
n
de rayon de
convergence R, et un voisinage V de lorigine tel que : x V, f (x) =
+

n=0
a
n
x
n
.
On remarquera que ncessairement, V [R, R].
Thorme : Soit f dveloppable en srie entire lorigine, alors f est de classe C

au voisinage de 0, et
cette srie entire est la srie de Taylor :
+

n=0
f
(n)
(0)
n!
x
n
.
Ce dveloppement, sil existe, est donc unique, gal la srie de Taylor lorigine de la fonction.
Il ny a pas de rciproque, une fonction peut tre de classe C

au voisinage de 0 sans tre dveloppable

en srie entire lorigine.
Dmonstration : Soit ]a, a[ V, alors, x ]a, a[ , f (x) =
+

n=0
a
n
x
n
.
Or ]a, a[ ]R, R[, ce qui prouve que la srie entire, et donc la fonction est de classe C

au voisinage de 0.
On obtient, en drivant terme terme la srie entire :
f (0) = a
0
f

(0) = 1 a
1
f

(0) = 2 1 a
2
.
.
.
f
(n)
(0) = n! a
n
Ce qui assure le rsultat.
Corollaire : f dnie et dveloppable en srie entire sur ]a, a[,

f paire son dveloppement est pair

f impaire son dveloppement est impair
4.2. Dveloppement dune fonction en srie entire
Il sagit ici de la recherche pratique du dveloppement dune fonction donne en srie entire.
Il faut essayer dutiliser les dveloppements connus, mais aussi leurs drives et leurs primitives...
Ceci est toujours possible pour une fraction rationnelle quon dcompose en lments simples sur C, mme
si la fonction est valeurs relles. On se retrouve avec des sries gomtriques et des drives de sries
gomtriques. Par exemple :
1
a x
=
1
a
+

n=0
_
x
a
_
n
pour |x| < |a|
1
(a x)
2
=
_
1
a x
_

Cours de Sp T.S.I. Christophe Caignaert Lyce Colbert jioo Tourcoing http://c.caignaert.free.fr

j - 8 Sries entires
On peut essayer la formule de Taylor avec reste intgral ou lingalit de Taylor-Lagrange comme on la fait
pour les fonctions usuelles. Lnonc doit vous guider...
Enn, on peut utiliser une quation direntielle. L aussi, lnonc doit vous guider...
On considre au dpart une srie entire de rayon de convergence R > 0 solution de lquation diren-
tielle. On pose donc y =
+

n=0
a
n
x
n
.
Tout ce quon crit est valable pour x ]R, R[. Il faut le dire...
On calcule y

et au besoin y

, on reporte dans lquation.

On clate tout en sommes de sries entires.
On regroupe ce qui se regroupe naturellement.
Ensuite, on rindexe pour trouver une srie entire unique et nulle.
Alors, chaque coecient est nul, par unicit du dveloppement en srie entire quand il existe. On a en
gnral une relation de rcurrence entre les coecients. Cette relation permet normalement de calcu-
ler les coecients mais aussi assez souvent de trouver directement le rayon de convergence, ce qui est
indispensable.
Exemple : On peut facilement retrouver les dveloppements de lexponentielle, du sinus, ..., par ce procd.
4.3. Sommation de certaines sries entires
Il sagit ici aussi de la recherche pratique de sommation dune srie entire. Il faut essayer :
en drivant et en intgrant terme terme,
en regroupant ou en sparant des termes,
de se ramener des sries connues.
Exemple : Soit f (x) =
+

n=1
n
2
n
x
n
.
On calcule facilement le rayon de convergence R = 2, on travaille pour x ]2, 2[.
Le problme est ici dabord le n en facteur. On considre que cet n est apparu lors dune drivation.
f (x) =
+

n=1
n
2
n
x
n
= x
+

n=1
n
2
n
x
n1
= xg

(x)
Do : g (x) =
+

n=1
x
n
2
n
=
x
2
1
x
2
=
x
2 x
puisquil sagit dune srie gomtrique.
Par simple drivation, g

(x) =
2
(2 x)
2
et enn : x ]2, 2[ , f (x) =
2x
(2 x)
2
.
5. Exponentielle complexe
5.1. Exponentielle complexe
Dnition : Pour z C, on pose e
z
=
+

n=0
z
n
n!
quon appelle exponentielle de z.
Cette dnition est bien entendue destine prolonger la dnition de lexponentielle dans R.
5.2. Cohrence de cette dnition
Pour z = e
i
, avec R,
cos +i sin =

n=0
(1)
n

2n
(2n)!
+i

n=0
(1)
n

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

n=0
(i)
2n
(2n)!
+

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

n=0
(i)
n
n!
= e
i
.
Tout ceci est bien compatible. Il faudrait encore montrer que e
z+z

= e
z
e
z

pour avoir les rgles de calcul

habituelles sur les complexes. On admet ce rsultat.
Cours de Sp T.S.I. Christophe Caignaert Lyce Colbert jioo Tourcoing http://c.caignaert.free.fr
Sries entires j - j
6. Complments
6.1. Colbert, lyce numrique
On peut toujours considrer une srie entire comme une srie numrique, x tant un paramtre.
La commande de base est donc la mme que dans le chapitre prcdent.
a/ Avec Maple
Cest le package powseries (littralement, srie de puissances ) qui permet de manipuler spciquement
des sries entires.
Il contient de nombreuses fonctions usuelles, citons

powsin
powcos
powexp
powslog
De plus evalpow qui permet de crer une srie entire pour nimporte quelle fonction, et powsolve qui
permet de rsoudre en srie entire une quation direntielle linaire. On renvoie laide Maple sur chacun
de ces mots-clefs.
Pas de faux espoirs cependant, Maple vous donnera facilement les premiers termes mais trs rarement le terme
gnral...
b/ Calculatrices
Pour les calculatrices, ce sont des sries paramtre...
Nattendons aucun miracle daucune dentre elles !
6.2. Les mathmaticiens du chapitre
Mercator Nicolas 1620-1687 Cet allemand fut le prcurseur de lusage des dveloppements en srie entire.
La srie de Mercator est le dveloppement de ln(1 +x) ...
Gregory James 1638-1675 Ce mathmaticien anglais fut le premier sintresser la convergence des sries
entires... Il donna celle de larc-tangente...
Lagrange Joseph 1736-1813 Ce mathmaticien franais est sans doute le premier stre intress, entre
autres, aux fonctions dveloppables en srie entire et aux sommes de sries entires.
Cours de Sp T.S.I. Christophe Caignaert Lyce Colbert jioo Tourcoing http://c.caignaert.free.fr