2004 - Grard Lavau - http://perso.wanadoo.fr/lavau/index.htm Vous avez toute libert pour tlcharger, imprimer, photocopier ce cours et le diffuser gratuitement.

Toute diffusion titre onreux ou utilisation commerciale est interdite sans accord de l'auteur. Si vous tes le gestionnaire d'un site sur Internet, vous avez le droit de crer un lien de votre site vers mon site, condition que ce lien soit accessible librement et gratuitement. Vous ne pouvez pas tlcharger les fichiers de mon site pour les installer sur le vtre.

SERIES ENTIERES
PLAN I : Dfinition, rayon de convergence 1) Dfinition 2) Rayon de convergence 3) Dtermination pratique 4) Convergence normale II : Fonction somme d'une srie entire 1) Continuit 2) Drive et primitive 3) Somme de sries entires 4) Produit de sries entires III : Dveloppement en sries entires 1) Dfinition 2) Dveloppements usuels 3) Exponentielle complexe Annexe 1 : Exemple de srie de Taylor divergente Annexe 2 : Une formule sur dcouverte en 1995 Annexe 3 : Les nombres de Catalan Annexe 4 : Convolution I : Dfinition, rayon de convergence 1 Dfinition DEFINITION : On appelle srie entire d'une variable complexe une srie de la forme : an zn
n=0

z est complexe, ainsi que les an. On pose par convention 0 = 1, comme pour les polynmes, de sorte que la valeur de la srie pour z = 0 soit a0. La premire question que l'on se pose est de savoir pour quelles valeurs de z la srie converge. DEFINITION On appelle domaine de convergence D de la srie entire l'ensemble des z tels que la srie converge. EXEMPLES : u

n=0

zn n! -1-

Pour z = 0, la srie converge et vaut 1.

Pour z 0, on applique la rgle de D'Alembert. zn+1.n! z = tend vers 0 quand n tend vers + donc la srie converge pour tout z. (n+1)!.zn n+1 D=

n=0

n! zn

Pour z = 0, la srie converge et vaut 1. Pour z 0, le terme gnral tend vers l'infini, donc la srie diverge. D = {0}. u

n=0

zn

Pour z <1, il s'agit d'une srie gomtrique convergente. Pour z 1, il s'agit d'une srie gomtrique divergente.

D = { z | z <1}.

n=1

zn n

Pour z < 1, la rgle de D'Alembert permet de conclure la convergence. Pour z >1, la mme rgle permet de conclure la divergence. En ce qui concerne le cas z = 1, on peut montrer que la srie converge sauf pour z = 1, mais cela dpasse le cadre du programme. D = { z | z < 1 ou [z 1 et z =1] }.

2 n=1 n
1 . Elle est donc absolument convergente. n2

Pour z 1, le terme gnral de la srie est major par

Pour z > 1, le terme gnral tend vers l'infini donc la srie diverge.

D = { z | z 1}.

On remarque que dans tous les cas, le domaine de convergence est un disque centr l'origine, de rayon ventuellement nul ou infini, et comprenant ou non des lments du cercle frontire. Nous allons voir que ceci est gnral. 2 Rayon de convergence PROPOSITION : LEMME D'ABEL -2-

Soit

n=0

an zn une srie entire et Z un complexe non nul tel que la suite de terme gnral anZn soit

borne. Soit z tel que z < Z . Alors la srie an zn est absolument convergente.
n=0

Dmonstration : Soit M un majorant de anZn . On a : anzn = anZn La srie de terme gnral M zn zn M n Zn Z

zn est une srie gomtrique de raison strictement infrieure 1. Elle Zn

est donc convergente. La srie de terme gnral anzn est donc absolument convergente. L'hypothse de la proposition est en particulier vrifie lorsque anZn tend vers 0 lorsque n tend vers l'infini, et en particulier lorsque la srie de terme gnral anZn converge. Autrement dit, si la srie converge pour Z, alors elle converge ncessairement pour tout z de module infrieur Z . DEFINITION Soit R un rel positif ou nul. On appelle disque ouvert de rayon R, et l'on note Do(R) l'ensemble { z / z < R } .On appelle disque ferm de rayon R, et l'on note Df(R) l'ensemble { z / z R }. Pour

R = +, Do(R) et Df(R) sont gaux PROPOSITION

Soit an zn une srie entire de domaine de convergence D. Alors il existe R lment de [0,+] tel
n=0

que : Do(R) D Df(R) (Autrement dit, le domaine de convergence est un disque de rayon R, sans qu'on puisse prciser davantage si les points de la frontire du disque appartiennent ou non D). R s'appelle le rayon de convergence de la srie entire. Dmonstration 1 : Soit R = Sup{ z | z D }. Si z est tel que z > R, alors par dfinition de R, an zn diverge, ce qui prouve que : D Df(R).
n=0

Si z est tel que z < R, alors, par dfinition de la borne suprieure, il existe un complexe Z tel que z < Z < R et tel que Z appartienne D. Comme an Zn converge, la suite (an Zn) est borne (et tend mme vers 0). Le lemme d'Abel permet de conclure que z appartient aussi D. Ce qui prouve que : Do(R) D. Dmonstration 2 : Soit R = Sup{ Z | la suite (anZn) est borne }. -3-

Si z est tel que z > R, alors par dfinition de R, la suite (anzn) n'est pas borne, donc en particulier ne tend pas vers 0, donc la srie an zn diverge, ce qui prouve que : D Df(R).
n=0

Si z est tel que z < R, alors, par dfinition de la borne suprieure, il existe un complexe Z tel que z < Z < R et tel que la suite (anZn) soit borne. Le lemme d'Abel permet de conclure que z appartient aussi D. Ce qui prouve que : Do(R) D. 3 Dtermination pratique La rgle de D'Alembert est d'un usage frquent pour le calcul du rayon de convergence (cf exemples du I1). On peut aussi utiliser les critres usuels de majoration, minoration, quivalent pour montrer qu'une srie converge ou diverge. Le lemme d'Abel peut galement servir ; si (anZn) est borne, alors R Z . Si de plus la srie de terme gnral anZn diverge, alors R = Z . Le lemme d'Abel prouve galement que la convergence est absolue dans Do(R). Donc si Z est tel que la srie de terme gnral anZn est semiconvergente, (i.e. convergente sans tre absolument convergente) alors R = Z . 4 Convergence normale PROPOSITION Soit
n=0

an zn une srie entire de rayon de convergence R. Alors, pour tout r < R, cette srie

converge normalement sur le disque ferm de centre O de rayon r. Dmonstration : Le terme gnral de la srie en effet major en module par anrn qui est le terme gnral d'une srie convergente. On notera qu'il peut ne pas y avoir convergence normale sur de disque D(O,R). Il suffit de prendre par exemple la srie zn.
n=0

La proposition prcdente s'applique galement sur un compact K inclus dans le disque ouvert de convergence. En effet, la fonction de K dans , qui z associe z est continue, donc admet un maximum r strictement infrieur R. K est donc inclus dans Df(O,r), et il y a bien convergence normale. II : Fonction somme d'une srie entire 1 Continuit PROPOSITION

-4-

Soit f(z) =

n=0

an zn la fonction dfinie sur le domaine de convergence D, somme de la srie entire,

de rayon de convergence R. Alors f est continue sur Do(R). Dmonstration : Soit z tel que z < R. Soit r tel que z < r < R. Comme il y a convergence normale sur Df(O,r) et que chaque terme de la srie est continu, il en est de mme de la somme. On remarquera que la continuit sur le domaine de convergence D tout entier n'est pas assure. Il peut en effet se poser des problmes de continuit aux points z tel que z = R, mme si la srie converge en z. Voici une consquence immdiate de la proposition prcdente. PROPOSITION Soit f(z) =
n=0

an zn une srie entire de rayon de convergence R > 0. Alors f admet un

dveloppement limit tout ordre en 0. Dmonstration : On a, l'ordre n : f(z) = ap zp +

p=0 n n

p=n+1

ap zp ap zpn
tend vers 0 quand z tend vers 0

= ap zp + zn
p=0

p=n+1

= ap zp +o( zn)
p=0

La rciproque est fausse en gnral. Il ne suffit pas d'avoir un dveloppement limit tout ordre pour conclure que f est dveloppable en srie entire. C'est ce que nous allons voir dans les paragraphes qui suivent. 2 Drive et primitive PROPOSITION Les sries nan zn1 et
n=1

an z n+1 , dites respectivement sries drives et sries primitives de an zn n=0 n=0

n+1

, ont mme rayon de convergence que celleci.

-5-

Dmonstration : u Soit R le rayon de convergence de la srie initiale, Rd celui de la srie drive et Rp celui de la srie primitive. Soit z tel que z < R. Montrons que la srie drive converge pour ce z. Prenons r tel que z < r < R. La srie de terme gnral anrn est absolument convergente et l'on a : zn1 1 nanzn1 n n1 anrn r r zn1 or lim n n1 = 0 donc le terme gnral de la srie drive est major par M anrn , o M est une r n+ constante. La srie drive est donc absolument convergente sur Do(R). Donc Rd R. Soit maintenant z tel que z Rd. Montrons que la srie initiale converge. La srie de terme gnral nanzn1 terme gnral anzn. Donc R Rd. anzn nanzn1 z tant absolument convergente, il en est de mme de la srie de

La conclusion des deux tapes est R = Rd u La srie an zn tant la drive de la srie

n=0

n=0

an zn+1 , on en dduit que Rp = R. n+1

PROPOSITION Soit f(x) =

n=0

an xn une srie entire de rayon de convergence R non nul. Alors, pour tout x de nan xn1. f admet
an xn+1 . n+1

l'intervalle ouvert ]R, R[, f est drivable et sa derive est dfinie par f '(x) = une primitive sur D0(R), la primitive s'annulant en 0 tant dfinie par F(x) =

n=1

n=0

Dmonstration : On se place en x tel que x < R, et l'on choisit l aussi un r tel que x < r. Il y a convergence normale sur ]r, r[ de la srie drive. On applique le thorme de drivation des sries normalement convergente. On en tire le corollaire suivant : une srie entire est indfiniment drivable sur ]R, R[. Par rcurrence, on a: f(k)(x) = n(n1)...(nk+1)an xnk
n=k

On en dduit que : f(k)(0) k! Ainsi, les coefficients de la srie entire sont dfinis de manire unique par f. Par consquent, deux sries entires de rayon de convergence non nul sont gales si et seulement si leurs coefficients sont gaux. Une srie entire de rayon de convergence non nul est nulle si et seulement si ses coefficients sont nuls. -6ak =

Rciproquement, il ne suffit pas qu'une fonction soit indfiniment drivable pour tre dveloppable en srie entire. On a seulement les implications, les rciproques tant fausses : f dveloppable en srie entire f indfiniment drivable f admet un dveloppement limit tout ordre en 0 3 Somme de sries entires PROPOSITION Soient
n=0

an zn et bn zn deux sries entires de rayon de convergence respectivement R1 et R2.

n=0

Alors

n=0

(an + bn) zn est une srie entire gale la somme des deux sries initiales, et de rayon de

convergence R gal au minimum de R1 et R2 si R1R2, et suprieur ou gal au minimum de R1 et R2 si R1=R2. Dmonstration : Si z est tel que z < Min(R1,R2), alors chaque srie converge, de mme que leur somme. Ce qui prouve que R Min(R1,R2). Si R1<R2, par exemple, soit z tel que R1 < z < R2. Alors l'une des sries converge et l'autre diverge, donc la somme diverge, ce qui prouve qu'on ne peut avoir R > R1. Donc R = R1. Dans le cas o R1=R2, les termes des deux sries peuvent se compenser pour faire converger la somme au del de la valeur commune du rayon. On peut donc avoir R > Min(R1,R2). Prendre par exemple : f(z) =

n=0

n! zn de rayon nul et g(z) = n! zn de rayon nul. Alors (f+g)(z) = 0 avec un

n=0

rayon de convergence infini. 4 Produit de sries entires PROPOSITION Soient

n=0

an zn et bn zn deux sries entires de rayon de convergence respectivement R1 et R2.

n=0 n

Alors

n=0 p=0

[ apbnp] zn est une srie entire gale au produit des deux sries initiales, et de rayon de

convergence R suprieur ou gal au minimum de R1 et R2. Dmonstration : Si z est tel que z < Min(R1,R2), alors chaque srie converge absolument, de mme que leur produit. Ce qui prouve que : R Min(R1,R2).

-7-

Rappelons que si un et
n=0

n=0

vn sont deux sries absolument convergentes, alors on a : un vn = [ upvnp]

n=0 n=0 p=0 n

n=0 n n

un = anz et vn = bnz conduisent la formule annonce. Si les rayons sont diffrents, R peut ne pas tre gal au minimum des deux. Il n'y a pas de rgle particulire. Prendre par exemple f(z) = fg(z) = 1 avec R = +. III : Dveloppement en sries entires 1 Dfinition Une fonction f d'une variable complexe est dite dveloppable en srie entire s'il existe une srie entire an zn de rayon R strictement positif, tel que :
n=0

n=0

zn avec R1=1 et g(z) = 1z avec R2 = +. Le produit vaut

z Do(R), on a : f(z) = an zn
n=0

Une fonction f d'une variable relle est dite dveloppable en srie entire s'il existe une srie entire an zn de rayon R strictement positif, tel que :
n=0

x ]R,R[, on a : f(x) = an xn
n=0

On peut aussi dfinir un dveloppement en srie entire au voisinage de z0, en posant : f(z) = an (zz0)n
n=0

Les dveloppements en sries entires gnralisent par des sries ce que les dveloppements limits procurent par des polynmes. Une condition ncessaire pour que f soit dveloppable en srie entire est que f soit indfiniment drivable. Et dans ce cas : f(n)(0) an = n! Inversement, soit f indfiniment drivable. f estelle dveloppable en srie entire ? Pour une fonction dfinie sur ]R,R[, on est amen considrer la srie :
(n) (0) f n! xn n=0

Cette srie est dite srie de Taylor associe f. -8-

Plusieurs cas peuvent se produire : a) La srie est convergente et converge vers f(x). f est alors dveloppable en srie entire. b) La srie est convergente, mais ne converge pas vers f(x). f n'est pas dveloppable en srie entire. Voici un exemple (Cauchy 1823) : f: 1 x exp( 2) pour x non nul x 00 1 On montre par rcurrence que, pour x non nul, f(n)(x) = Qn(x)exp( 2) o Qn est une fraction x rationnelle en x. Montrons que, pour tout n, f(n)(0) = 0. C'est vrai pour n = 0. Si c'est vrai au rang f(n1)(x) Qn(x) 1 n1, alors f(n)(0) est gal la limite en 0 de = exp( 2). Cette limite est nulle. x x x La srie de Taylor associe f est donc identiquement nulle. Or, en dehors de 0, f est strictement positive. Ainsi, la srie de Taylor est convergente, mais ne converge pas vers f. c) La srie de Taylor est divergente. f n'est pas dveloppable en srie entire. Un exemple explicite est donn en annexe, mais il existe bien d'autres exemples. Borel a dmontr en 1895 que, si on se donne une suite relle ou complexe (an) quelconque, il existe une fonction C dfinie sur f(n)(0) telle que = an. Bien entendu, la srie anxn n'a alors aucune raison de converger. Par exemple, n! il existe une fonction C telle que an = n!, de sorte que la srie de Taylor de cette fonction n!xn diverge en tout x autre que 0. Pour dfinir une telle fonction dans le cas o la srie anxn diverge, on remplace anxn par anxnhn(x) o hn est une fonction C de la forme suivante :

nulle en dehors d'un intervalle [ n, n], gale 1 sur un intervalle [ n, n] avec n < n < 0 < n < n . Le plateau gal 1 sur [ n, n] permet d'affirmer que toutes les drives de anxnhn(x) en 0 sont identiques celles de anxn ; en particulier, elles sont toutes nulles, sauf la drive n-me qui vaudra ann!. Le fait que hn soit nulle en dehors de [ n, n] permet de limiter la divergence de la srie. Plus prcisment, on peut choisir n et n de faon ce que la srie anxnhn(x) converge normalement, ainsi que toutes les sries drives. La fonction obtenue est alors C et sa drive n me en 0 a pour valeur ann! de sorte que la srie de Taylor de la fonction est bien anxn, qui rappelons-le a toutes les possibilits de diverger. Le lecteur qui souhaitera plus de dtails consultera par exemple R. Godement, Analyse Mathmatique, Springer (1998, 2003).

-9-

Les problmes du type b) ou c) se rencontrent uniquement pour des fonctions de variable relle. Pour ces fonctions, il existe cependant un moyen d'tude possible, la formule de Taylor avec reste intgral : x f"(0) f(n1)(0) f(n)(t) f(x) = f(0) + xf '(0) + x2 + ... + xn1 + (xt)n1 dt 2 (n1)! (n1)! 0 ou bien l'ingalit de TaylorLagrange : (n1) M xn (0) n1 f 2 f"(0) ... x f(x) f(0) xf '(0) x (n1)! 2 n! o M majore f(n) . On prend la limite lorsque n tend vers +. Si le majorant tend vers 0, alors la srie de Taylor convergera vers f. PROPOSITION Soit f une fonction de variable relle, indfiniment drivable sur un intervalle I. Si, pour tout n, f(n) Mn! est majore par n , alors f est dveloppable en srie entire sur l'intervalle ]R,R[ I. R Dmonstration : M xn Pour x dans ]R,R[ I, le majorant de la formule de Taylor est n , qui tend vers 0 lorsque n tend R vers +. La proposition prcdente s'applique en particulier lorsque les f(n) sont bornes par une constante n! indpendante de n et de x. On peut prendre R quelconque puisque n tend vers + lorsque n tend R vers +. Les hypothses sont donc vrifies. Des exemples d'utilisation de cette proposition sont donns dans le paragraphe suivant. 2 Dveloppements usuels Voici les dveloppements des fonctions usuelles en sries entires :

ex =

n=0

xn n! x2n+1 (2n+1)! x2n+1 (2n+1)!

sur

(i)

n=0

n=0

n=0

n=1

- 10 -

 

cosx = (1)n

x2n (2n)!

sur

chx =

x2n (2n)!

sur

sinx = (1)n

sur

shx =

sur

(ii)

(iii)

(iv)

(v)

 1 = zn 1z n=0 1 n1 2 = n z (1z) n=1 p1 1 = C n znp+1 p (1z) n=p1

sur Do(1)

(vi)

sur Do(1)

(vii)

sur Do(1)

(viii)

ln(1+x) = (1)n1
n=1

xn n

sur ]1,1[

(ix)

ln(1x) =

n=1

xn n x2n+1 2n+1

sur ]1,1[

(x)

arctan(x) = (1)n
n=0 (1+x) = n xn n=0

sur ]1,1[

(xi)

sur ]1,1[

(xii)

(1)...(n+1) o n = n! 1 = n x2n 2 1x n=0 4 arcsin(x) =

C2n

sur ]1,1[

(xiii)

C2n
n

n=0

x2n+1 4 2n + 1

sur ]1,1[

(xiv)

Dmonstration : u (i) : Sur tout intervalle ]a,a[, la drive nme de l'exponentielle est majore par M = exp(a), indpendamment de n et de x. ex est donc dveloppable en srie sur ]a,a[. a tant quelconque, ex est dveloppable en srie sur . u (ii) et (iv) : sh(x) et ch(x) sont les parties paires et impaires de l'exponentielle. , indpendamment de
   

u (iii) et (v) : sin(x) et cos(x) ont leur drives nme majores par 1 sur n et x. Elles sont donc dveloppables en sries entires. u (vi) : 1 + z + z2 +... + zn =

1 1 zn+1 . Le membre de droite admet une limite, , si et seulement 1z 1z

si z < 1. u (vii) s'obtient en drivant la formule (iv) - 11 -

u (viii) s'obtient par rcurrence, en drivant successivement les formules (vi), (vii),... Elle est vraie pour p=1 et p=2. Si elle est vraie pour p, alors, en drivant, on obtient :
p1 p np p+1 = C n (np+1) z (1z) n=p p1 np+1 np 1 z p+1 = C n (1z) p n=p p

= Cn znp
n=p

(x) s'obtient en intgrant (vi) pour x rel et (ix) en changeant x en x. On remarquera en outre que, pour x lment de [0,1] (y compris en 1), la srie la somme partielle (1)k1
k=1 n

n=1

(1)n1

xn est alterne. La diffrence entre n

xk et la somme totale est donc majore par le premier terme nglig. On k

a ainsi : x [0,1], ln(1+x) (1)k1

k=1 n

xk xn+1 1 k n+1 n+1

n 1 xk Sup ln(1+x) (1)k1 k n+1 k=1 x [0,1] n

On a donc ici un exemple de srie

n=1

(1)n1 x qui converge uniformment vers ln(1+x) sur [0,1], n

alors qu'elle ne converge pas normalement (puisque

|| (1)n1

n=1

xn || = n

n=1

1 diverge). Convergeant n

uniformment vers [0,1], la srie est continue sur [0,1] et l'on a donc l'galit avec ln(1+x) sur [0,1] et pas seulement sur [0,1[. En particulier, pour x = 1, on a : ln2 = u (1)n1 n n=1

(xi) s'obtient en intgrant (vi) pour z = x2, rel. Comme pour ln(1+x), la formule

arctan(x) = (1)n
n=0

x2n+1 est valable y compris en 1, de sorte que : 2n+1 = (1)n 4 n=0 2n+1 - 12 -

(formule dcouverte par Madhava, mathmaticien indien de la rgion de Kerala vers 1400, puis indpendamment, par Gregory et Leibniz au XVIIme). u (xii) Cette srie s'appelle srie du binme de Newton. Nous en donnons quatre dmonstrations. La premire utilise l'ingalit de Taylor-Lagrange, la deuxime montre comment utiliser une srie entire pour rsoudre une quation diffrentielle, la troisime montre rciproquement comment utiliser une quation diffrentielle pour trouver la somme d'une srie entire, la quatrime est une dmonstration historique due Cauchy. Dmonstration 1 a) Montrons que la srie converge pour x <1. Le critre de D'Alembert donne : n+1 x = x (n) qui tend vers x quand n tend vers . n+1 n b) La formule de Taylor avec reste intgral conduit : (1) 2 (1)...(n+1) n (1+x) = 1 + x + x + ... + x 2 n! x (1)...(n) (n+1) (xt)n dt + (1+t) n! 0 c) Soit x tel que x <1, il suffit maintenant de montrer que le reste intgral tend vers 0 lorsque n tend vers l'infini. On obtiendra alors la srie du binme de Newton. Ce reste, en valeur absolue, peut s'crire : (1)...(n) xt n (1+t)1 dt = Rn(x) 1+t n!
x 0

La fonction t

xt est une fonction homographique monotone, variant de 0 x lorsque t varie de 0 1+t

x

x. Elle est donc majore par x . (1)...(n) 1 D'o : Rn(x) x n dt (on a gard la valeur absolue autour de l'intgrale (1+t) n! 0 dans le cas o x < 0) (1)...(n) n 1 x (1+x) 1 n!

Or

(1)...(n) n x tend vers 0 lorsque n tend vers l'infini, car c'est le terme gnral d'une srie n!

convergente, comme on le vrifiera facilement en utilisant le critre de D'Alembert. Dmonstration 2 - 13 -

Considrons la fonction y(x) = (1 + x). On a alors y' = (1 + x)1 = Rciproquement, si on considre l'quation diffrentielle y' =

y et y(0) = 1. 1+x

y sur ]1, [, on trouve comme 1+x solutions les fonctions (1 + x) [Il suffit d'intgrer y'/y]. La constante est donne par la valeur y(0). De sorte que : y' = y 1+x y = (1 + x) y(0) = 1 Cherchons donc les sries entires

n=0

an xn solutions de cette quation diffrentielle. La condition

y(0) = 1 donne a0 = 1. Ecrivons la premire sous la forme (1 + x)y' = y. On obtient : (1 + x)

n=1

nan xn1 = an xn
n=0

n=1

nan xn1 + nan xn = an xn

n=1 n=0

n=0

(n + 1)an+1 xn + nan xn = an xn
n=0 n=0

(n + 1) an+1 + nan = an n an+1 = an n+1 On vrifiera par rcurrence que la suite (an) vrifiant ces conditions est prcisment dfinie par (1)...(n+1) an = n = . Du fait de l'unicit de la solution, on a donc : n!
f(x) = n xn n=0

Dmonstration 3 Soit g(x) = encore : n n = ( n + 1) n 1

n=0 n n xn. On a, pour n > 0, n = ( 1)...( n + 1) = n + 1 n 1 ou n! n=0

n n xn = x n n xn1 = xg'(x) d'une part

n=1 = ( n + 1) n 1 xn d'autre part n=1 = ( n) n xn+1 en rebaptisant les indices n 1 n n=0

- 14 -

 = n xn+1 n n xn+1 n=0 n=0

= xg(x) x2g'(x) xg'(x) = xg(x) x2g'(x) g'(x) = g(x) xg'(x) pour x non nul, mais les fonctions tant continues, la relation reste vraie en x = 0 g'(x)(1 + x) g(x) = 0 (*) On peut alors rsoudre lquation diffrentielle en tenant compte du fait que g(0) = 1, ou bien encore g(x) considrer h(x) = . On a en effet : (1 + x) g'(x)(1 + x) g(x)(1 + x)1 = 0 d'aprs la relation (*) h'(x) = (1 + x)2 Donc h est constante, gale h(0) = 1, donc g(x) = (1 + x). Dmonstration 4 Cette dernire dmonstration est plus complique que les prcdentes, mais prsente l'intrt historique d'tre due Cauchy lui-mme. Comme dans la dmonstration 1, on montre que la srie converge si x < 1. Posons maintenant () =

n=0

n xn, x tant provisoirement fix entre 1 et 1. Autrement dit, on considre la srie comme

fonction de et non plus de x. est une fonction continue de . En effet, si varie dans un intervalle [a, a], alors : (1)...(n+1) n a(a+1)...(a+n1) n x x n! n! a(a+1)...(a+n1) n x terme gnral d'une srie convergente (appliquer d'Alembert par exemple). n! () converge donc normalement sur [a, a] et est donc continue sur [a, a]. a tant quelconque, est continue sur . Considrons maintenant deux nombres et et effectuons le produit de Cauchy de () par () (les sries convergeant absolument) : avec
n ()() = ( n xn) ( n xn) = k nk xn n=0 n=0 n=0 k=0 n + Or k nk = . En effet, cette galit est vrifie pour toute valeur entire de et (on n k=0
 

dnombre de deux faons diffrentes le nombre de parties n lments dans un ensemble + lments). On a donc :
   

n + , k nk = n k=0

Or les deux membres de l'galit sont des fonctions polynomiales de . Ces deux fonctions polynmes tant gales pour toute valeur entire de sont gales pour toute valeur relle de (deux polynmes qui concident sur tous les entiers positifs sont gaux. Pourquoi ?). On a donc : - 15 -

On regarde maintenant les deux membres comme deux fonctions polynomiale de . Etant gales pour toute valeur entire de , elles sont gales pour toute valeur relle. Ainsi :
   

Il en rsulte que :
+ n ()() = x = ( + ) n=0 n

Or cette relation fonctionnelle, avec continue, caractrise les applications de la forme C, o C est la valeur de en 1. En effet, par rcurrence, on a, pour tout , (n) = ()n pour tout entier 1 1 n strictement positif. Pour = 1, on obtient donc (n) = Cn, pour = , on obtient (1) = C = ( )n n n 1 x x x2 1 soit ( ) = C1/n. (On peut remarquer que 0 puisque (x) = ( + ) = ( ) ). Pour = , on n 2 2 2 m 1 n obtient ( ) = ( )n = Cn/m, et par continuit de , () = C pour tout 0 en prenant comme m m suite de rationnels (et donc (0) = C0 = 1). Enfin, (0) = ( + ()) = ()() 1 = C () entrane que () = C, prouvant la validit de la formule () = C sur tout entier. On a donc :
() = n xn = C n=0 1 avec C = (1) = n xn = 1 + x, tous les autres termes de la somme tant nuls. Ainsi : n=0

u u

(xiii) C'est la formule (xii) avec = (xiv) en intgrant la formule (xiii).

Si on a une fonction quelconque, on peut la plupart du temps la dcomposer en fonction usuelles. EXEMPLE : ln(1+x) Soit f(x) = sinx . Cette fonction est dveloppable en srie entire et le rayon de convergence 1+x est au moins gal 1. On applique en effet les thormes sur les produits de sries entires en partant 1 des trois fonctions sinx, ln(1+x) et . 1+x - 16 -

n + , k nk = n k=0

n + , k nk = n k=0

n=0

n xn = (1 + x)

1 2

A l'inverse, il n'est pas toujours possible d'exprimer une srie entire l'aide de fonctions usuelles. Ainsi en est-il de
zn zn1 ln(1 z) . Sa srie drive est gal pour z rel compris entre 1 et z n2 n=1 n z

n=1

ln(1 t) 1, de sorte que la srie initiale est dt (fonction dilogarithme). Mais est-on plus avanc t 0 ? 3 Exponentielle complexe Toutes les fonctions dcrites au III2) par des sries entires sur en particulier le cas de l'exponentielle. DEFINITION On pose, pour z complexe ez =
!

. n=0 n!

zn

Cette srie, ayant un rayon de convergence infini, est dfinie pour tout z complexe. A noter qu'en premire anne, on dfinit l'exponentielle complexe comme tant : ez = ex+iy = ex(cosy + isiny) Nous allons donc montrer que les deux dfinitions concident. L'intrt de dfinir l'exponentielle par une srie entire permet d'unifier les deux exponentielles, relle ou complexe, sous une dfinition unique. (A noter que le mathmaticien Landau fut chass de l'universit de Gttingen par les nazis en 1934 sous prtexte d'avoir prsent l'exponentielle de cette faon ses tudiants). PROPOSITION Pour tout z et z' complexes, on a : ez+z' = ezez'. Dmonstration : On a : ezez' =

n=0

zn z' n n! n=0 n!
n zp z' np p!(np)! p=0 n p p z' np Cn z n! p=0

= =

n=0

n=0

On reconnat un dveloppement binmial. =

n=0

(z + z')n n!

= ez+z' En particulier, si z = x + iy, avec x et y rels, on a ez = ex+iy = exeiy et :

- 17 -

"

"

, peuvent tre tendues

!

. C'est

eiy =

n=0

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

= cosy + isiny On peut galement vrifier que la drive de l'exponentielle est l'exponentielle. Annexe 1 : Exemple de srie de Taylor divergente Soit f(x) =

n=0

cos(n2x) 2n cos(n2x) 1 n donc la srie f est normalement convergente. Elle est dfinie n 2 2

u Convergence de f : pour tout x.

u Continuit de f : la srie tant normalement convergente et chaque terme tant continue, la somme est continue. u Drivabilit de f : La srie drive est
n=0

n2 sin(n2x) qui est elle-mme normalement convergente. Elle est donc gale 2n n4k cos(n2x) 2n n4k+2 sin(n2x) 2n

la drive de f. Plus gnralement : f(2k)(x) = (1)k

n=0

et

f(2k+1)(x) = (1)k+1
n=0

les sries tant toujours normalement convergentes. On a donc : f(2k)(0) = (1)k

n=0

n4k et f(2k+1)(0) = 0 2n
# #

Ainsi, f est indfiniment drivable sur . u Cependant, nous allons voir que sa srie de Taylor associe est divergente. Le terme gnral de f(k)(0) xk cette srie est : k! On a : f(2k)(0) x2k = (2k)!

n=0

n4k 2n

x 2k (2k)!

2k (2k)4k x 2k . pour n = 2k 2 (2k)!

- 18 -

x 2k(2k)4k 2 .(2k)
2k 2k

car (2k)! < (2k)2k

x 2kk2k. Or le terme gnral tend vers + quand k tend vers +. La srie initiale n'est donc absolument convergente pour aucune valeur de x non nulle. Le rayon de convergence est nul. Annexe 2 : Une formule sur dcouverte en 1995 Le 19 dcembre 1995, 0h29, Simon Plouffe dcouvrit la formule suivante : =

n=0

1 4 2 1 1 16n 8n+1 8n+4 8n+5 8n+6

Ce qui est remarquable, c'est que la preuve de cette formule est la porte d'un lve de CPGE et qu'elle aurait pu tre dcouverte depuis longtemps. Prcisons galement qu'elle permet de calculer un chiffre de d'un rang donn en base 16 sans avoir calculer les chiffres qui prcdent, chose qu'on ne sait pas faire en base 10. On connat ainsi (en 2000) le 40 mille millardime chiffre binaire de (un 0 suivi de 000011111001111111110011011100011101).
1 x8n+p 16n 8n+p, dont le rayon de

Il suffit de calculer la somme d'une srie entire de la forme f(x) =

n=0

convergence est 161/8 > 1. On prendra ensuite x = 1 et p = 1, 4, 5 ou 6. Or : f '(x) = xp1 16 xp1 1 8n+p1 x = = n x8 16 x8 n=0 16 1 16 x 1 16 tp1 16 tp1 f(x) = 8 dt et f(1) = 8 dt 16 t 16 t 0 0
1

3 4 5 4 2 1 1 1 16n 8n+1 8n+4 8n+5 8n+6 = 16 4 2t t8 t dt 16 t n=0 0 avec 4 2t3 t4 t5 = (t 1)(t2 + 2)(t2 + 2t + 2) et 16 t8 = (t2 2)(t2 + 2)(t2 + 2t + 2)(t2 2t + 2) 1 1 4 2 1 1 t1 16n 8n+1 8n+4 8n+5 8n+6 = 16 (t2 2)(t2 2t + 2) dt n=0 0 t2 t =4 2 2 dt t 2 t 2t + 2 0 1 1 1 = 4 ln t2 2 ln t2 2t 2 + arctan(t 1) 2 2 0 = - 19 1

Annexe 3 : Les nombres Catalan Le nme nombre de Catalan dnombre les faons de parenthser sans ambigut le produit non associatif de n termes (par exemple le produit vectoriel de n vecteurs) ou bien le nombre d'arbres binaires ayant n feuilles. L'identit entre parenthsage et arbre binaire est classique. Par exemple, pour n = 4, on associe chaque parenthsage un arbre binaire :

(ab)(cd) est associ a b c d ((ab)c)d est associ a b d (a(bc))d est associ a b a a((bc)d) est associ b a a(b(cd)) est associ b c d c d c c d

Si an est le nme nombre de Catalan, on a a1 = 1, a2 = 1, a3 = 2, a4 = 5, .... On dispose de la relation de rcurrence : an = akank pour n 2
k=1 n n1

= akank
k=0

si on pose a0 = 0

En effet, en partant de la racine, on cre un arbre n feuilles en dessinant une branche gauche suivie d'un arbre k feuilles, et une branche droite suivie d'un arbre nk feuilles. Posons alors f(x) =

n=0

an xn . La relation de rcurrence sur les an exprime que f(x) = f(x)2 + x, d'o f(x) =
C2n
n

1 1 4x . 2

En dveloppant f en srie entire, on trouve an =

. 2(2n1)

- 20 -

Annexe 4 : Convolution Soit a = (an) une suite. La srie entire an xn s'appelle fonction gnratrice de la suite. Cette notion
n=0

ne prsente d'intrt que si la srie converge. (En cas de divergence, une variante consiste utiliser la fonction gnratrice exponentielle

n=0

an xn qui a un rayon de convergence suprieur la premire n! an xn. Si a = (an) et b = (bn) sont deux suites, la suite obtenue ak bnk.On note cette suite c = a * b. Le
n

srie). Notons T(a) la fonction x

n=0

par convolution de a par b est la suite c = (cn) avec cn =

k=0

produit de deux sries entires donne le rsultat remarquable suivant : T(a * b) = T(a)T(b) Ainsi, la transformation T qui change une suite en une fonction, change galement le produit de convolution en un produit normal. La convolution intervient dans bien des domaines. L'automatisme Considrons un systme dont la sortie y peut tre modifie par une commande u (ou entre). commande u sortie y

systme

Par exemple, le systme est une voiture, la commande est la pression exerce sur le frein, la sortie est la vitesse du vhicule. Considrons une modlisation particulirement simple o la valeur de la sortie y un instant x donn dpend des valeurs donnes la commande dans le temps qui a prcd x. Pour chaque t 0, la valeur de u(xt), commande donne un moment ayant prcd x d'une dure t, aura une influence sur la valeur de y(x). Cette influence est dtermine par un coefficient multiplicatif h(t). On suppose le systme linaire de sorte que toutes les entres vont s'ajouter pour dterminer la sortie. Il s'agit donc de faire la somme des u(t)h(). Cette somme peut faire intervenir un nombre fini d'instants (impulsions de Dirac des moments donns). Le plus souvent, on sera amen effectuer une sommation sous forme d'intgrale. x + y(x) = u(xt)h(t) dt = u(t)h(xt) dt 0 On peut rendre l'criture plus symtrique, compte tenu du fait que h(t) est nul pour t < 0 (pour des raisons de causalit, la sortie ne peut dpendre d'une commande ultrieure). + y(x) = u(xt)h(t) dt = u(t)h(xt) dt On a dfini ci-dessus le produit de convolution de u par h, de sorte que : y=u*h - 21 -

u, h et y jouent ici le rle des suites a, b, c. Le terme h peut tre trs gnral : une fonction, comme ci-dessus, mais aussi ce qu'on appelle une distribution, comme une distribution de Dirac, c'est dire une impulsion ponctuelle en un instant donn. La distribution de Dirac a est telle que la notation + + u(t) a dt est par dfinition gale u(a), et que u(xt) a dt est donc gal u(xa). Autrement dit, la sortie y l'instant x est purement et simplement gale la commande u un moment ayant prcd x d'une dure a. On peut aussi faire une somme, voire une srie d'impulsions de Dirac. Un peigne de Dirac, par exemple, de la forme

n=1

n consiste dfinir une sortie comme

somme d'impulsions d'une commande des intervalles rguliers : y(x) = u(xn).

n=1

Il existe alors des transformations T modifiant le produit de convolution en un produit usuel. Voyons-en quelques-unes. La transforme de Fourier
$ $

, posons T(u) la fonction x u(t) eixt dt. Si u est un signal de commande, T(u) peut s'interprter comme la part que prend une onde de pulsation x dans le signal u. Il s'agit en fait de densit d'onde, mais peu importe. On montre alors que T(u * h) = T(u)T(h). Cette formule s'interprte de la faon suivante : l'amplitude de l'onde de pulsation x dans le signal de sortie y = u * h est gal au produit de l'amplitude de cette onde dans le signal de commande, multipli par l'amplitude de la mme onde dans le facteur h. Pour u intgrable sur Dans le cas o h est une distribution de Dirac a par exemple, on a : y(x) = (u * a)(x) = u(xa) T(y)(x) = y(t) eixt dt = u(ta) eixt dt = u(v) eix(v+a) dt = uiax u(v) eixv dv = u-iax T(u)(x) = (T(u)T(a))(x) puisque T(a)(x) = a eixt dt = e-iax. Plus gnralement : T(y)(x) = y(t) eixt dt = u(v)h(tv) dv eixt dt ixt = u(v)h(tv)e dvdt = u(v)eivx h(tv)eix(tv) dvdt = h(tv)eix(tv)dt u(v)eivxdv = h(w)eixwdw u(v)eivxdv

= T(h)(x) u(v)eivxdv = T(h)(x) u(v)eivxdv = T(h)(x) T(u)(x) T(y) = T(h)T(u). - 22 -

1 f(t)eint dt. Posons 2 T(f) = (cn)n . On peut considrer ces coefficients comme une version discrte de la transforme de Fourier. cn(f) correspond l'amplitude de l'onde einx dans le signal f. Par une dmonstration comparable la prcdente, on montre que T(u * h) = T(u)T(h), avec ici : 1 (u * h)(x) = u(t)h(xt) dt. 2 Pour f 2-priodique, on dfinit les coefficients de Fourier cn(f) = La transforme de Laplace Une autre transformation possible est la transformation de Laplace, o T(u) est la fonction z u(t) ezu du, o z est un rel strictement (ou complexe partie relle positive). On pourrait 0 noter u(t) ezu du en considrant que l'instant 0 est l'instant o le systme dmarre et que toutes les fonctions (commande, sortie) taient nulles avant 0. Si z tait imaginaire pur, on retrouverait la transforme de Fourier, mais la transforme de Laplace peut s'appliquer des fonctions non intgrables pour laquelle la transformation de Fourier n'est pas dfinie. On montre l aussi que x T(u * h) = T(u)T(h), avec ici (u * h)(x) = u(t)h(xt) dt compte tenu du fait que les fonctions sont 0 T(y) s'appelle ici fonction de transfert. On note nulles pour une variable ngative. Le quotient T(h) = T(u) Y(z) alors Y = T(y), U = T(u) et H = T(h), d'o H(z) = sous une forme plus usuelle. U(z) L'intrt de cette transformation est donc de permettre un calcul extrmement rapide de Y partir de U et H, ou un calcul rapide de H partir de Y et U par simple produit ou quotient. Des tables permettent alors de remonter aux fonctions y ou h initiales, et par exemple de dterminer h connaissant y et u, ce qui serait extrmement difficile directement. De mme, dans l'annexe 3 avions-nous trouver une suite a = (an) vrifiant : a0 = 0, a1 = 1, et n 2, an = akank
k=0 n
% %

Les sries de Fourier

soit a = a * a + u, o u est la suite (0,1,0,0,0,...). L'application de la transformation T conduit l'quation du second degr T(a) = T(a)2 + T(u) et c'est bien ainsi d'ailleurs que nous avons dtermin la suite a.

- 23 -

Les analogies rencontres sont donc les suivantes : Objets Convolution Srie entire Transforme de Fourier suite a = (an) (a * b)(n) = ak bnk
k=0 n

Transformation T(a)(z) = an zn
n=0

Srie de Fourier Transforme de Laplace

fonction f 2priodique fonction f sur

'

avec, dans chaque cas, T(f * g) = T(f)T(g)

&

&

fonction f sur

(f * g)(x) = f(t) g(xt)dt (f * g)(x) = 1 f(t) g(xt)dt 2

x

T(f)(x) = f(t) eitx dt T(f)(n) = 1 f(t) eint dt 2

+
'

(f * g)(x) = f(t) g(xt)dt 0

T(f)(z) = f(t) ezt dt 0

- 24 -