Sries entires

I
I.1

Rayon de convergence dune srie entire

Dnitions

Dnition 1. Soit (an )nN une suite de nombres complexes. On appelle srie entire associe la suite (an )nN la srie de fonctions un o pour tout z C, un (z) = an zn . Dans la suite, on notera par abus an zn une telle srie et f sa somme, dnie pour tout z C pour lequel la srie numrique an zn converge par :

f( z ) =
n=0

an zn . an xn la srie entire associe.

Remarque 1. Si (an )nN est une suite relle, on notera Exemples 1. zn ,

zn sont des sries entires. n! Toute fonction polynomiale est une srie entire associe une suite (an )nN nulle partir dun certain rang. (1)n z2n est une srie entire lacunaire : la suite (an )nN est en eet telle que pour tout n N, a2n = (1)n et a2n+1 = 0.

Proposition 1 (Lemme dAbel). Soient an zn une srie entire et r un rel strictement positif tel que n la suite (an r )nN est borne. Alors, pour tout complexe z tel que |z| < r, la srie numrique an zn est absolument convergente. Remarque 2. On note D(0, r) = {z C, |z| < r}. Dnition 2. On appelle rayon de convergence de la srie entire an zn , llment de R+ {} dni par : R = sup {r R+ | (an rn )nN est borne } . Remarque 3. On note E = {r R+ | (an rn )nN est borne }. E est non vide : 0 E, Si E est major, alors R R, sinon R = , E est un intervalle. Thorme 1. Soient an zn une srie entire de rayon de convergence R tel que 0 < R < et z C. an zn est absolument convergente. an zn est grossirement divergente.

1. Si |z| < R alors la srie entire 2. Si |z| > R, alors la srie entire Remarques 4. Si R = 0 : Si R = :

an zn converge z = 0. an zn converge pour tout z C.

Dnition 3. Soit an zn une srie entire de rayon de convergence R. Si la variable est complexe, le disque D(0, R) est appel disque ouvert de convergence. Si la variable est relle, lintervalle ] R, R[ est appel intervalle ouvert de convergence.

2
Remarque 5. Si |z| = R, on ne peut rien conclure de manire gnrale. Exemples 2. Comportement des sries entires zn , nzn , zn , n zn , n2

Lyce Henri BERGSON - PSI

n!zn et

zn . n!

I.2

Dtermination pratique du rayon de convergence

an zn une srie entire de rayon de convergence R et z0 C. |z0 |. diverge, alors R |z0 |.

Proposition 2. Soient 2. Si la srie an z n 0

1. Si la suite (an zn 0 )nN est borne, alors R

Remarque 6. Il nest pas toujours possible de trouver un tel z0 satisfaisant ces deux conditions. Caractrisation importante. La dtermination du rayon de convergence R de la srie entire an zn ne dpend que du comportement de la srie numrique |an zn | : R est lunique rel tel que |an |rn converge si 0 < r < R et diverge grossirement si r > R. On se ramne alors ltude de sries terme rels positifs. En pratique, on pourra entre autres utiliser : un quivalent de |an |, la rgle de dAlembert pour les sries numriques termes rels positifs. Remarque 7. Attention : la rgle de dAlembert ne permet pas toujours daboutir et doit tre utilise avec prudence. Exemples 3. Rayon de convergence de la srie entire Rayon de convergence de la srie entire Rayon de convergence de la srie entire Proposition 3. Soient et Rb . an zn et n! n z . nn 2n z2n . an zn o pour tout n N, an est la ne dcimale de

2.

bn zn deux sries entires de rayons de convergence respectifs Ra

1. Si an = bn , C, alors Ra = Rb . 2. Si an bn , alors Ra = Rb . 3. Si |an | |bn |, alors Ra Rb . 4. Si an = nbn , alors Ra = Rb . Exemples 4. Rayon de convergence de la srie f(n)zn , o f est une fonction rationnelle non nulle. n3 + 3n an zn en fonction de celui de an zn . Rayon de convergence de la srie entire n2 + ln n

I.3

Oprations sur les sries entires

Proposition 4. Soient an zn et bn zn deux sries entires de rayons de convergence respectifs Ra et Rb . Alors, le rayon de convergence Ra+b de la srie entire (an + bn )zn vrie : Ra+b min (Ra , Rb ) .

Si Ra = Rb , alors Ra+b = min (Ra , Rb ). De plus, pour tout z C tel que |z| < min (Ra , Rb ), on a :

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

an z +
n=0

b n zn .

Chapitre 9 - Sries entires

Dnition 4. Soient an zn et bn zn deux sries entires, on appelle produit de Cauchy de ces deux sries entires la srie entire cn zn o la suite (cn )nN est dnie par :
n

cn =
k=0

ak bnk =
p+q=n

ap bq . an zn et

Proposition 5. Le rayon de convergence Rab du produit de Cauchy de deux sries entires bn zn vrie : Rab min (Ra , Rb ) . De plus, pour tout z C tel que |z| < min (Ra , Rb ), on a :

cn z n =
n=0 n=0

an z n

n=0

b n zn

Remarque 8. Attention : Si Ra = Rb , on na pas forcment Rab = min (Ra , Rb ). Exemples 5. Produit de Cauchy de la srie entire z , z C, zn par elle-mme.

exp(z + z ) = exp(z) exp(z ).

II
II.1

Somme dune srie entire

Nature de la convergence - continuit

Thorme 2. Soit an zn une srie entire de rayon de convergence R > 0. La srie entire an zn converge normalement sur tout disque ferm D (0, r), 0 < r < R, inclus dans le disque ouvert de convergence. Remarque 9. Attention : en gnral, il ny a pas convergence normale sur le disque ouvert de convergence tout entier. Exemple 6. Convergence des sries zn ,
n 1

xn , R +. n

Proposition 6. Soit an zn une srie entire de rayon de convergence R > 0. Alors, la somme de la srie entire est une fonction continue sur le disque ouvert de convergence D(0, R). Remarques 10. Si R = , alors la fonction somme est continue sur C tout entier. Dans le cas dune srie entire variable relle, la fonction somme est continue sur lintervalle ] R, R[ et sur R tout entier si R = .

II.2

Intgration et drivation terme terme

an n+1 x n+1

Dans ce paragraphe, on se limite aux sries entires variable relle. Proposition 7. Soit et an xn une srie entire de rayon de convergence R. Les sries entires

nan zn1 ont le mme rayon de convergence R.

Thorme 3. Soient f sa somme.

an xn une srie entire de la variable relle et de rayon de convergence R > 0 et

1. On peut intgrer terme terme sur tout segment [a, b] ] R, R[ :

b a b

an t n
n=0

dt =
n=0

an
a

tn dt.

Lyce Henri BERGSON - PSI

2. En particulier, on a : x ] R, R[,

f(t)dt =
0

an n+1 x . n+1 n=0

Exercice 1. En utilisant la srie entire

n 0

(1) x

n 2n

, montrer que : x ] 1, 1[, arctan x =

n=0

(1)n

x2n+1 . 2n + 1

En utilisant la srie entire

n 0

xn , montrer que : x ] 1, 1[, ln(1 + x) =

(1)n1 n x . n n=1

Thorme 4. Soient an xn une srie entire de la variable relle et de rayon de convergence R > 0 et f sa somme. La fonction f est de classe C1 sur lintervalle ] R, R[ et la drive est obtenue sur cet intervalle en drivant terme terme : n1 x ] R, R[, f (x) = nan x = (n + 1)an+1 xn .
n=1 n=0

Corollaire 1. Soient an xn une srie entire de la variable relle et de rayon de convergence R > 0 et f sa somme. La fonction f est de classe C sur lintervalle ] R, R[ et :

k N,

x ] R, R[,

(k)

(x) =
n=k

n(n 1) . . . (n k + 1)an xnk (n + k)(n + k 1) . . . (n + 1)an+1 xn .

n=0

= En particulier, pour tout k N, on a f(k) (0) = k!ak .

Remarques 11. Toutes ces sries admettent R pour rayon de convergence. La somme f de la srie entire an xn de rayon de convergence R > 0 admet un dveloppement limit n tout ordre : n N, x ] R, R[, f(x) = ak xk + o(xn ).
k=0

Exemple 7. On considre la srie entire k N,

xn . On trouve : 1 n+k n = x . x R, |x| < 1, k + 1 k (1 x) n=0

II.3

Unicit dune srie entire

Proposition 8. Soient an zn et bn zn deux sries entires qui convergent sur un disque D(0, r), r > 0 et dont les sommes concident sur ]r, r[. Alors les suites (an )nN et (bn )nN sont gales. Corollaire 2. Soit an xn une srie entire de rayon de convergence R et de somme f.

f est paire a2n+1 = 0 n N. f est impaire a2n = 0 n N.

III
III.1

Dveloppements en sries entires

Fonctions dveloppables en srie entire

Dnition 5. Soit f une fonction dnie sur un intervalle I de R et valeurs dans C. On dit que f est dveloppable en srie entire en 0 sil existe r > 0 et une suite de complexes (an )nN tels que :

] r, +r[ I

et

x ] r, +r[,

f(x) =
n=0

an xn .

Chapitre 9 - Sries entires

Remarques 12. f est de classe C sur ] r, r[ et an = f(n) (0) pour tout n N. n! Le rayon de convergence de la srie ainsi obtenue vrie : 0 < r R.

Dnition 6. Soit f une fonction dnie sur un intervalle I de R et valeurs dans C. On dit que f est dveloppable en srie entire en x0 si la fonction x f(x + x0 ) est dveloppable en srie entire en 0. Dnition 7. Soit f une fonction de classe C sur un intervalle ] r, r[ avec r > 0. On appelle srie de f(n) (0) n Taylor de f la srie entire x . n! Proposition 9. Si f est dveloppable en srie entire en 0, ce dveloppement est unique : cest la srie de Taylor de f. Remarque 13. Attention : il existe des fonctions de classe C qui ne sont pas dveloppables en srie entire (un exemple sera vu en TD). Thorme 5. Soit f une fonction dnie sur un intervalle ] r, r[ avec r > 0. La fonction f est dveloppable en srie entire sur ] r, r[ si et seulement si f est de classe C sur ] r, r[ et
x

x ] r, r[,

n 0

lim

(x t)n (n+1) f (t)dt = 0. n!

Remarques 14. Souvent, lingalit de Taylor-Lagrange sura montrer ce rsultat. En rsum, une fonction f est dveloppable en srie entire sur ] r, r[, r > 0 si et seulement si : 1. f est de classe C , 2. la srie de Taylor de f est convergente sur ] r, r[, 3. f est la somme de sa srie de Taylor (le reste dordre n tend vers 0).

III.2

Mthodes de dveloppement en srie entire

Etude du reste dordre n de la srie de Taylor Exemple 8. Dveloppement en srie entire en 0 de : f : x ] 1, +[ (1 + x) . Intgration ou drivation de dveloppements connus Exemples 9. Dveloppements en srie entire de ln(1 + x), arcsin x, arccos x, arctan x, . . . Produit de Cauchy de dveloppements connus Utilisation dune quation direntielle Exemple 10. Dveloppement en srie entire en 0 de : f : x ] 1, +[ (1 + x) . Cas des fonctions rationnelles On commence par dcomposer la fonction rationnelle en lments simples : elle est alors combinaison linaire 1 de termes de la forme : . Pour a = 0, on crit : ( z a) k 1 1 1 = , k k z k ( z a) (a) 1 a n puis on utilise les sries drives de la srie z (cf. exemple 7 : formules valables pour z C galement).

Lyce Henri BERGSON - PSI

Proposition 10. Toute fonction rationnelle nadmettant pas 0 pour ple est dveloppable en srie entire et son rayon de convergence est le plus petit des modules des ples. Exercice 2. Soient a et b deux complexes non nuls distincts, dvelopper en srie entire la fonction : 1 . f : z C\{a, b} (z a)(z b)

III.3

Dveloppements en srie entire classiques

zn . n ! n=0

Exponentielle complexe Dnition 8. On pose : z C, exp z =

Proposition 11. Soit z C, la fonction t R exp tz est gale la fonction t R etz . On obtient ainsi un dveloppement en srie entire de t etz de rayon de convergence R = . Corollaire 3. Soit z = x + iy C, on a : exp z = ex (cos y + i sin y). Corollaire 4. On a les dveloppements en srie entire avec rayon de convergence R = suivants : x R, x R, x2n ch x = (2n)! n=0

et

sh x =

x2n+1 , (2n + 1)! n=0

cos x =
n=0

(1)n

x2n (2n)!

et

sin x =
n=0

(1)n

x2n+1 . (2n + 1)!

Quelques dveloppements en srie entire classiques 1 = zn 1 z n=0 1 = (1)n zn 1 + z n=0

R=1 R=1 xn n R=1 R= z 2n (2n)! z2n+1 (2n + 1)! R= R= R= R= x2n+1 2n + 1 R=1 R=1 R=1

ln(1 + x) = exp(z) = cos z =

n=0

(1)n1

z n! n=0

n=1 n

(1)n (1)n

sin z =
n=0

ch x = sh x =

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

arctan x =
n=0

(1)n

Argth x =

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

( 1 + z) = 1 +