S eries enti` eres

Dans ce chapitre on va donner la d enition et quelques propri et es des s eries de fonctions. Puis aussit ot apr` es on se placera dans le cas particulier des s eries enti` eres que lon etudiera en d etails.

Suites et s eries de fonctions

Soit A un sous-ensemble de R ou C. En g en eral A sera soit dans le cas r eel un intervalle ]a , a + [, on pourra aussi consid erer le cas de lintervalle ferm e [a , a + ]. Dans le cas complexe A sera le disque ouvert, D(a, ) = {z C | |z a| < } ou le disque ferm e (a, ) = {z C | |z a| } D est dans les deux cas un r eel positif. On consid` ere dans la suite des fonctions de A de A dans R ou dans C. D enition 1.1. Une suite de fonctions de A dans R (resp. dans C) est la donn ee dune famille de fonctions un : A R (resp. C), i N. D enition 1.2. On dit que la suite de fonctions (un ) converge simplement si pour tout x A la suite de r eels ou de complexes (un (x)) converge vers une limite (x). Celle ci est appel ee la (fonction) limite. La suite telle que A = R et un = | sin(x)|n converge vers la fonction , 1 sinon (x) = 0 si x = k + 2 telle que

La suite telle que A = R et un = sin(x)n ne converge pas vers une limite car si les valeurs prises sont (1)n qui ne converge pas. x = (2k + 1) + 2 La suite telle que A = R et un = enx converge vers la fonction si x < 0, 1 si x = 0. telle que (x) = 0

D enition 1.3. On dit que la s erie de fonctions associ ee ` a la suite de fonctions (un ) converge simplement si la suite de fonctions des sommes partielles
i=n

sn (x) =
i=0

ui (x)

converge vers une limite qui dans ce cas est appel ee la somme s(x) de la s erie. D enition 1.4. On dit que la s erie de fonctions associ ee ` a la suite de fonctions (un ) (on dit aussi de terme g en eral un ) converge absolument si la suite de fonctions des sommes partielles
i=n

s n ( x) =
i=0

|ui (x)|

converge vers une limite. 1

Proposition 1.5. Si une s erie de fonctions converge absolument elle converge simplement. La r eciproque est fausse. La s erie de fonctions de treme g en eral z n avec z D(0, 1) converge absolement. La 1 somme est 1 z
1 La s erie de fonctions de terme g en eral un (z ) = n eni pour n 1 et Re(z ) > 1 z d converge absolument par application du crit` ere des s eries de Riemann. Sa somme est appel ee la fonction de Riemann.

S eries enti` eres et rayon de convergence

Consid erons maintenant a C et (an ) une suite de nombres complexes. D enition 2.1. Soit z C la s erie de fonctions de terme g en eral an (z a)n sappelle une s erie enti` ere en a. Les an sont les coecients de la s erie enti` ere. Si pour tout z A, o` u A C, elle converge vers une valeur s(z ), la fonction s (d enie sur A) est appel ee la somme de la s erie. Dans les exemples qui suivent a = 0. La s erie enti` ere dont tous le coecients valent 1 est la s erie g eom etrique. Elle 1 converge si |z | < 1. Sa somme vaut 1z . La s erie enti` ere dont le coecient an vaut
1 n!

est la s erie exponentielle.

Th eor` eme 2.2. Etant donn ee une s erie enti` ere en a de terme g en eral an z n il existe un unique , 0 ou = +, tel que la s erie converge absolument (et donc converge) si (a, ). Cette valeur est appel z D(a, ) et diverge si z D ee le rayon de convergence de la s erie. Voici des r` egles qui permettent de calculer dans la plupart des cas le rayon de convergence. Les limites consid er ees sont eventuellement +. Proposition 2.3. (R` egle de Cauchy) Si la limite quand n tend vers + de |an | n existe alors : 1 = 1 limn+ |an | n
+1 | Proposition 2.4. (R` egle de dAlembert) Si la limite quand n tend vers + de |an | |a|n an | existe alors : 1 = +1 | limn+ |a|n an | 1

Plus g en eralement : Proposition 2.5. Si pour tout n assez grand m |an | n M existe alors : 1 1 M m
1

Proposition 2.6. Si Si pour tout n assez grand m 1 1 M m

|an+1 | |an |

M existe alors :

On notera que dans toutes ces formules a ne joue aucun r ole. Voici des exemples : La s erie enti` ere dont tous les coecients valent 1 a pour rayon de convergence 1(r` egle de Cauchy). La s erie exponentielle a pour rayon de convergence + ( r` egle de dAlembert). La s erie enti` ere dont tous les coecients a2n valent 1 et les coecients a2n+1 valent 0 a pour rayon de convergence 1. On utilise la troisi` eme propri et e pour montrer que 1. Maintenant si |z | 1 le terme g en eral de la s erie qui est soit z 2n soit 0 ne tend pas vers 0 et on applique alors le th eor` eme 2.2. La s erie enti` ere dont les coecients (pour n > 0) valent n est a pour rayon de convergence 1 par apllication de la r` egle de Cauchy. La s erie enti` ere dont les coecients valent k n est a pour rayon de convergence apllication de la r` egle de dAlembert.
1 k

par

La s erie enti` ere dont les coecients valent nn a pour rayon de convergence 0 par application de la r` egle de Cauchy. La s erie enti` ere dont les coecients valent n! a pour rayon de convergence 0 par application de la r` egle de dAlembert. , 0 sinon a pour rayon de con La s erie enti` ere dont les coecients a2n valent (21 n)! vergence +. En eet en comparant a ` la s erie exponentielle il est clair que la s erie z 2n de terme g en eral (2 pour les valeurs paires, resp. 0 converge pour tout z C . En n)! fait sa somme est egale a ` cos(z ).

Op erations sur les s eries enti` eres

Etant donn ee deux s eries enti` eres de termes g en eraux respectifs an z n et bn z n , de rayon de convergence respectif et , et un scalaire on peut faire plusieurs op erations. Multiplier une s erie par le scalaire, additionner deux s eries, faire le produit des deux s eries. On a les r esultats suivants Proposition 3.1. Le rayon de convergence de la s erie de terme g en eral an z n , avec = 0, est egal ` a . Le rayon de convergence de la s erie de terme g en eral (an + bn )z n est sup erieur ou egal ` a inf(, ). Proposition 3.2. Soit pn = an b0 + an1 b1 + . . . + a0 bn . Le rayon de convergence de la s erie de terme g en eral pn z n est est sup erieur ou egal ` a inf(, ).

On peut ne pas avoir egalit e. Par exemple dans le second cas il sut dadditionner ` a une s erie la s erie oppos ee (dont les coecients sont oppos es a ` ceux de la s erie initiale). La somme donne 0 le rayon de convergence est inni alors que le rayon de convergence des s eries initiales pouvait m eme etre nul. Dans le troisi` eme il sut de consid erer le produit de 1 z (rayon de convergence inni) 2 par 1 + z + z + . . . (rayon de convergence 1)qui vaut 1 pour le montrer.

Int egration et d erivation des s eries enti` eres

Dans toute la suite les s eries enti` eres sont suppos ees etre des s eries enti` eres en 0, les r esultats s etendent automatiquement aux s eries enti` eres en a. n Etant donn ee une s erie enti` ere de terme g en eral an z , on appellera s erie d eriv ee la s erie de terme g en eral (n + 1)an+1 z n . On a le th eor` eme suivant Th eor` eme 4.1. Etant donn ee une s erie enti` ere de terme g en eral an z n de rayon de convergence la s erie d eriv ee a aussi pour rayon de convergence. Supposons que la variable est r eelle et si s(x) est la somme de la s erie initiale (|x| < ) alors s est d erivable dans son domaine de d enition et s (x) est la somme de la s erie d eriv ee : s (x) = a1 + 2a2 x + . . . + (n + 1)an+1 xn+1 + . . . pour |x| < . En fait la seconde partie du th eor` eme pr ec edent reste vraie si z C. Mais comme on na pas d eni la notion de d erivabilit e pour les fonctions de variables complexes il faudra etre prudent dans lutilisation de ce r esultat dans ce cas. On admettra donc lextension et on donnera des pr ecisions si n ecessaire au cas par cas. Voici des applications de ce r esultat. On a 1 + 2x + . . . + (n + 1)xn + . . . = ( 1 1 ) = 1x (1 x)2

et plus g en eralement pour k 1 en d erivant k fois k ! + [(k + 1) . . . 2]x + . . . + [(n + k ) . . . (n + 1)]xn + . . . = ( soit 1 (k) 1 ) = k! 1x (1 x)k+1

1 n+k n = 1 + (k + 1)x + . . . + x + ... k +1 (1 x) k

pour |x| < 1. Consid erons la s erie exponentielle, cest-` a-dire la s erie dont le terme g en eral vaut xn . On constate que la s erie d eriv ee est identique. Donc si s(x) est la somme de n! cette s erie (qui est d enie pour tout x et en fait tout z ) on a s(x) = s x). Or on sait que la fonction exponentielle (fonction r eciproque du logarithme n eperien) est telle que exp(x) = exp (x). On en d eduit facilement que s(x) = exp(x) avec

 R. Il sut pour faire cela de montrer que la d eriv ee de s(x) exp(x) est nulle, ce qui est facile. On conclut que s(x) = exp(x) en observant que s(0) = exp(0) = 1. Donc x2 xn + ... + + ... 2! n! pour tout x R. Par d enition pour tout z C on peut donc d enir exp(z ) par exp(x) = 1 + x + z2 zn exp(z ) = 1 + z + + ... + + ... 2! n! ce qui a un sens car les deux termes conciden t si x R. Consid erons la s erie de terme g en eral x , n 1, son rayon de convergence est 1. La n 1 s erie d eriv ee est la s erie de terme g en eral xn , n 0, de somme 1 . La x Le r esultat pr ec edent s etend automatiquement au cas des primitives : Th eor` eme 4.2. Etant donn ee une s erie enti` ere de terme g en eral an z n et de rayon de convergence la s erie enti` ere de terme g en eral (si n 1, le terme u0 constant est quelconque) an1 n un = n z a aussi pour rayon de convergence. Supposons que la variable est r eelle et soit s(x) la somme de la s erie initiale (|x| < ), et S (x) la somme de la seconde s erie. Alors S est d erivable dans son domaine de d enition et S (x) = s(x) : (u0 + a0 x + . . . + pour |x| < . De plus on a :
b
n

an1 n x + . . .) = a0 + a1 x + . . . + an xn + . . . n

S (b) S (a) =
n0

an
a

tn dt

pourvu que < a b < . La m eme remarque que plus haut vaut pour les fonctions complexes. n Par exemple la s erie enti` ere de terme g en eral x si n 1 0 sinon est de rayon de convern gence 1 et sa somme vaut ln(1 x) : ln(1 x) = x + si |x| < 1. Corollaire 4.3. Etant donn ee une s erie enti` ere de terme g en eral an xn de rayon de convergence . Soit s(x) la somme de la s erie initiale, alors s est inniment d erivable pour |x| < . Sa d eriv ee k -i eme est somme de la s erie enti` ere de rayon de convergence obtenue en d erivant termes ` a termes k -fois la s erie enti` ere initiale. x2 xn + ... + + ... 2 n

D eveloppement de fonctions en s eries enti` eres

Il est naturel de se demander quand une fonction est d eveloppable en s erie enti` ere, cest ` a dire somme dune s erie enti` ere, en 0 (ou a) de rayon de convergence non nul. En fait les fonctions que lon utilise par exemple en physique ont tr` es souvent cette propri et e. En fait ce sont des fonctions tr` es particuli` eres, ainsi quon la vu elles sont inniment d erivable. Il r esulte de la section pr ec edente que : Th eor` eme 5.1. Etant donn ee une fonction f somme de la s erie enti` ere de terme g en eral n an z de rayon de convergence . On a an = et Proposition 5.2. Une fonction d eveloppable en s erie enti` ere en 0 admet des d eveloppements limt es ` a nimporte quel ordre en 0. Mais ceci nest pas susant pour garantir quune fonction f est d eveloppable en s erie enti` ere. On a cependant aussi, comme cons equence de la formule de Taylor : Th eor` eme 5.3. Etant donn ee une fonction f telle quil existe une constante K 0 et un r eel > 0 tels que |f (n) (x)| K pour tout n et tout x tel que x < . Alors f est d evelopable en s erie enti` ere de rayon de convergence sup erieur ou egal ` a . On notera aussi le r esultat fondamental suivant, li e` a cette question : Th eor` eme 5.4. (Principe des z eros isol es) Si f est somme dune s erie enti` ere de rayon de convergence non nul . Alors soit f est nulle dans son rayon de convergence et tous les coecients de la s erie sont nuls; soit f ne sannule quun nombre ni de fois pour des valeurs de x telles que |x| , < . f (n) (0) n!

Equations di erentielles

Voici un exemple de r esolution d equation di erentielle utilisant une un d eveloppement en s erie enti` ere. Soit l equation y + xy + y = 1 On va chercher la solution comme somme dune s erie enti` ere : an x n
n0

dont on suppose que le rayon de convergence est strictement positif. Dans le domaine de convergence la d eriv ee y et la d eriv ee seconde y sont donn ees par (n + 1)an+1 xn
n0

et (n + 2)(n + 1)an+2 xn
n0

le d eveveloppement de xy est obtenu en multipliant celui de y par x. Si une telle solution existe, la fonction y + xy + y admet donc pour d eveloppement en s erie enti` ere (x < ) ((n + 2)(n + 1)an+2 + nan + an )xn
n0

cette fonction devant etre constante egale a ` 1 le coecient dordre sont nuls : 2a2 + a0 = 1 (n + 2)an+2 + an = 0, n 1 On en d eduit que a2n =
(1)n (a 24...2n 0

vaut 1, les autres

1) et n1

a2n+1 =

(1)n a, 13...2n+1 1

On est donc amen ea ` consid erer les deux s eries enti` eres dont les termes g en eraux sont d ecrits ci-dessus On montre alors que leur rayon de convergence est inni (il ne d epend pas de a0 et a1 ), leur somme respective u et v sont donc solution de l equation. Donc toute combinaison lin eaire de u et v est solution de l equation. On admettra que toute solution est de cette forme. Cherchons maintenant lunique solution telle que g (0) = g (0) = 0. On trouve a0 = 0 et a1 = 1, soit x2 ) 1 + exp( 2

Le th eor` eme dAbel

Le th eor` eme suivant etudie le comportement dune fonction d eveloppable en s erie enti` ere en 0 de rayon de convergence quand x tend vers par valeurs inf erieures. La d emonstration est tr` es proche de celle du lemme dAbel et nest pas faite ici. Th eor` eme 7.1. Soit f une fonction d eveloppable en s erie enti` ere de coecient an , de rayon de convergence > 0. Supposons que la s erie num erique de terme g en eral an n converge (simplement) vers une somme S . alors la limite de f quand x tend vers par valeurs inf erieures existe et est egale ` a S. On peut appliquer ce th eor` eme au cas de f (x) = ln(1 + x), pour laquelle = 1. Les (1)n coecients valent n si n 1, 0 sinon. On peut appliquer le th eor` eme car on sait que la s erie altern ee converge. On en d eduit que ln(2) =
n1

(1)n+1 n

On en d eduit aussi que = arctg(1)(2) = 4 (1)n 2n + 1

n0