Séries entieres Flashcards Preview

Maths > Séries entieres > Flashcards

Flashcards in Séries entieres Deck (47)
Loading flashcards...
1

Introduction

Une serie entiere est une serie de fonctions sigmaUn tres particuliere : pour chaque n, il existe un complexe an
telle que un soit l'application qu ia z associe anzn.
Comme on peut s'y attendre, l'etude des proprietes de la somme sera grandement simplifiee dans ce cadre
restreint. Le domaine de definition de cette somme retiendra particulièrement notre attention.
On peut se demander si une fonction donnee f, definie au voisinage de 0, coincide avec la somme d'une
serie entiere au voisinage de 0. Nous verrons qu'il est necessaire, mais non sufisant, que f soit de classe C8
au voisinage de 0. De plus, nous verrons que la serie entiere ne peut etre que som f^(n)(0)z^n/n!

2

Définition - Série entière

Soit a = (an) ndeN une suite de nombre complexes. On appelle série entière associée à la série de fonction somUn, ou, pour tout n, un est la fonction qui a zdeC associe anz^n. Par convention, on écrira abusivement somanz^n cette serie de fonction.
La somme S: z associe som(0,8)anz^n de cette serie est def sur une partie de C, non vide puisqu'elle comprend 0.

3

Lemme D'abel

Si la suite (anz0^n) est bornée, alors, pour tout z tel que |z| inf |zo|, la serie somanz^n est absolument convergente

4

Définition - Rayon de convergence d'une série entière

On appelle rayon de convergence de la série entière somanz^n l'élément Ra de R+U{+8} def par :
Ra=sup{r de R+, (anz^n) est bornée}
On appelle disque ouvert de convergence de ka série entière som anz^n, et on note Da, le disque ouvert centré en 0 de rayon Ra :
Da=def={z de C, |z| inf stricte Ra}
L'intervalle ]-Ra;+Ra[ est appelé intervalle ouvert de convergence.
Ns noterons R le rayon de cvg et D le disque ouvert de cvg de som anz^n (si R=+8 alors D=C)

5

Comportement en un point selon son module, notion de cercle d'incertitude

Ainsi pour tout z de C:
-|z| inf stricte R (ie si z de D) alors CVA de som anz^n
-|z| sup stricte R, alors il y a divergence grossière
-|z| =R, on ne sait rien a priori de l'éventuelle convergence: une étude plus fine est en général nécéssaire. Certain appellent le cercle de centre 0 de rayon R le cercle d'incertitude de la serie entière som anz^n

6

Rq a propos du domaine ◙ de CV de la serie som anz^n

Il vérifie D C ◙ C _D, chacune des inclusions pouvant être stricte (on retiendra qu'il peut y avoir convergence en un point hors du disque ouvert de convergence)

7

Comportement dans un disque fermé inclus dans le disque ouvert de convergence

La convergence de som anz^n est normale sur tout le disque fermé de centre 0 et de rayon strictement inferieur a R
Plus généralement, il y a convergence normale sur tout compact inclus dans le disque ouvert de convergence

8

Convergence normale sur un disque fermé inclus dans le disque ouvert

La proposition précédente ne prétend nullement qu'il y ait convergence normale sur le disque ouvert de convergence:
En fait, on montre assez facilement que s'il y a convergence normale sur le disque ouvert de convergence D, alors Ø=_D et il y a convergence normale sur _D.

9

Corollaire : continuité de la somme d'une série entière sur le disque ouvert de convergence.

La somme de la série entière som anz^n est continue sur D.

10

Rq continuité de la serie

L'étude des ptés de la somme au bord du disque ouvert de convergence n'est pas un objectif du programme. On peut toutefois réfléchir a des questions de continuités en un point du cercle d'incertitude ou il y a convergence. Ns verrons qu'il n'y a pas toujours continuité en un tel point. Bien sûr, dans le cas particulier où som anz^n est normalement convergente sur _D, on a Ø=_D et S est continue sur Ø

11

Comment déterminer le rayon de convergence

On tentera d'abord de recourir a la def. On pourra ainsi observer que si som anz0^n converge, alors |zo| inf R
Et si elle diverge, R inf |zo|
Bien sur, si on change la suite (an) en un nombre fini d'indices, cela ne change rien a son rayon de convergence.

12

Proposition - Séries entières et relation de domination

(1) On suppose que an= O(bn). On a alors Ra sup Rb
(2) On suppose que an~bn. On a alors Ra=Rb

(1) Soir r de R+, on suppose pt n, an=O(bn) donc anr^n = O bn r^n donc bnr^n = O(1) implique que anr^n =O(1) donc Bb C Ba et Ra sup Rb

13

Proposition - Règle de D'Alembert pour les séries entières

On suppose que la suite (an) est a termes tous non nuls a partir d'un certain rang N, et que la suite (|an+1|/|an|) nsupN tend vers l de R+U{+8}. Le rayon de convergence de som anz^n vaut alors 1/l (0 ds le cas ou l=+8, +8 ds le cas ou l=0)

Soit z de C*, pt n, |an+1z^n+1/anz^n| tend L|z| selon le signe de L|z| il y a convergence ou pas de la serie (regle de D sur les series numériques)

14

Règle de d'Alembert

(1) Pour tout réel @, la série entière som n^@z^n admet 1 pour rayon de convergence.
(2)La série entière som n!z^n est de rayon de convergence nul

15

Lorsque la règle de d'Alembert ne s'applique pas

La règle de d'Alembert pour les séries entières ne peut pas tjrs s'appliquer. Supposons par exemple que la série entière soit lacunaire, ie an=0 pour une infinité de valeur de n.
Si (an) est nulle apcr, alors al somme est une fonction polynomiale et le rayon de convergence est infini.
Pour som z^(2n)/n(3^n+1) par ex, la regle ne s'applique pas. Comment faire? Appliquer la regle pour tout zo de C a la serie numerique som z0^(2n)/n(3^n+1)
On notera que le fait de revenir a la def du rayon est au moins aussi rapide

16

Déterminer le rayon de convergence de la série entière som anz^n ou an=3^n si n est pair et an=1/4^n si n est impair

Lorsque n est pair, le rayon de convergence est le sup de Ba avec Ba={r de R+ tq (3^(2n) z^(2n) est bornée} donc d'apres la définiton Ra=1/3
Lorsque n est impair, le rayon de convergence est le sup de Bb avec Bb={r de R+ tq (1/4^(2n+1) z^(2n+1) est bornée} donc Rb= 4
Puisque les termes impairs et les termes pairs forment la suite, le rayon de convergence est le plus petit des deux, donc 1/3

17

Somme et produit de Cauchy de deux séries entières

La somme des séries entières som anz^n et som bnz^n est la serie entière som (an+bn)z^n
Le prod de Cauchy de ces séries entières est la série entière som cnzn avec pt n de N : cn = som(0,n)akbn-k

18

Proposition : rayon de convergence de la somme et du produit de deux séries entières

(1) : Le rayon de convergence de Ra+b de la serie entière som (an+bn)z^n vérifie : Ra+b sup min{Ra,Rb}, une cond suffisante d'égalité est que Ra diff Rb
(pour le min entre les deux, prendre z tq Ra inf z inf Rb)
(2): Le rayon de convergence Rc de la serie entière som cnz^n vérifie Rc sup min{Ra,Rb}
(Meme si Ra diff Rb il se peut qu'il n'y ait pas egalité)
(3): Pour tout z de C tq |z| inf stricte min{Ra,Rb}, on a :
som(0,8)anz^n + som(08)bnz^n=som(08)(an+bn)z^n et (som(0,8)anz^n)(som(0,8)bnz^n)=som(0,8)cnz^n

19

Série entière d'une variable réelle, contexte

On s'intéresse ici à la possibilité ou non de dériver une série entière, et on voit donc cette dernière comme une fonction d'une variable réelle. S est définie sur l'intervalle ouvert de convergence ]-R,R[ mais aussi en -R ou en R dans certains cas

20

Lemme pour la dérivation d'une série entière

Les séries entières som anz^n et som nanz^n ont le même rayon de convergence.
Plus généralement , pour tout @, les séries som n^@z^n et som anz^n ont le meme rayon de convergence.

21

Dérivation d'une série entière

La somme T de la série entière som an/n+1 z^n+1 est def sur ]-R,R[ et est dérivable sur ]-R,R[ de dérivée S

22

Proposition - Dérivation successive d'une série entière

La somme d'une série entière est de C8 sur l'intervalle ouvert de convergence, et ses dérivées s'obtiennent par dérivation termes a termes : pour tout x de ]-R,R[, pour tout p de N :
S^(p)(x)= som(p,8) n(n-1)...(n-(p-1))anx^(n-p) = som(p,8) n!/(n-p)! anx^(n-p) = som(0,8) (n+p)!/n! an+px^n

23

Proposition - Retrouver les coefficients d'une série entière en dérivant.

Si R sup stricte a 0, alors pour tout p de N : ap=S^(p)(0)/p!

Dans le cas des séries entières, qui sont de rayon de convergence st positifs, on peut retrouver la série a partir de la somme ! Cette extraction d'infos est exceptionnelle

24

Corollaire : Obtention de la série entière a partir de sa somme lorsque R n'est pas nul

Si les fonctions x associe som(0,8)anx^n et x associe som(0,8)bnx^n coïncident sur un voisinage de 0, alors pour tout n, an=bn

25

Définition - Fonction d'une variable complexe développable en série entières

On dit qu'une fonction f, définie au voisinae de 0 dans C, est développable en série entière en 0 (ou qu'elle admet un développement en série entière en 0) s'il existe r sup stricte 0 et une série entière som anz^n de rayon de convergence R sup r tq :
pt z de {wdeC, |w| inf stricte r}, f(z) = som (0,8) anz^n

26

Exemple de développement en série entière, variable complexe

(1) la fonction exponentielle est développable en série entière en 0. Pour tout complexe z, exp (z) = som(0,8)z^n/n!
(2): la fonction qui a z associe 1/1-z est dev en serie entière en 0, pour tout z tq |z| inf str 1, 1/1-z = som(0,8)z^n

27

Opérations sur les DSE

Etre développable en série entière est une propriété robuste par opérations algébriques : si f et g admettent un DSE : alors af+bg ou a,b de C, et fg admettent un DSE

28

Définition - Fonction d'une variable réelle développable en série entière

On dit qu'une fonction f définie au voisinage de 0, et a valeurs réelles est développable en série entière en 0 s'il existe r sup str 0 et une série entière som anz^n de rayon de convergence R sup r tq :
pt x de ]-r, r[, f(x) = som anx^n

29

Intégration et primitivation d'un DSE

Si f admet un DSE, alors ces dérivées successives (def au vois de 0) aussi, et leur DSE s'obtiennent par dérivation terme a terme, et de meme pour les primitives de f. Au passage, on prendra garde a la cste d'intégration lorsqu'on primitive un DSE.

30

Définition - Série de Taylor

On appelle série de Taylor d'une fonction f de classe C8 sur un intervalle ]-r,r[ la série entière som(0,8) f^(n)(0)/n! x^n