Séries entières

Algèbre

Qui suis-je ?

Je suis Rémi Fonvieille, ex-étudiant en Licence EEA, je me suis tout naturellement dirigé vers un Master Robotique. Je suis moi-même passé par ces moments de recherche d’information sans réels trouvaille. C’est pour cela que j’ai fais ce travail pour vous !

Définition 1 :
Une série entière est une série de la forme

   

Dans le cas particulier où a_nx in ℝ, on a donc une série entière réellequi apparaît comme un polynôme « généralisé ».

.

Rayon de convergence

.

Lorsqu’on étudie la convergence d’une série entière, il est commode de comparer la série étudiée à une série géométrique. Afin de déterminer la nature de la série, lorsque n tend vers l’infini, on utilisera la limite du quotientRayon de convergence

.

Soit, (u_n) une suite numérique et soit l=lim_{{nto+infty}}left |frac{u_{n+1}}{u_n} right |

Soit, (u_n) une suite numérique et soit l=lim_{{nto+infty}}left |frac{u_{n+1}}{u_n} right |

  • l<1absolument convergente (donc cv)
  • l>1″ align= »absmiddle »><img src=grossièrement divergente (donc dv)
  • l=1     Ne peut rien dire → Voir avec la méthode de Riemann

Ce qui permet d’en déduire le théorème de convergence des séries entières :

Théorème 1 :
Pour toute série entière, il existe R in [0,+infty] tel que :

  • La série est absolument convergente pour tout zin ℂ tel que |z| < R,
  • La série est grossièrement divergente pour tout zin ℂ tel que |z| > R » align= »absmiddle »>.</span></li>
</ul>
<p><span style=Le réel R s’appelle le rayon de convergence de la série. On ne peut rien dire de général pour |z|=R

Ainsi la série est absolument convergente sur le disque ouvert D(0,R) et est grossièrement divergente sur le complémentaire du disque fermé D(0,R). Le domaine de définition D_s de la fonction s définie parest donc tel que D(0,R)subset D_ssubset D(0,R)

Dans le cas cas d’une série entière réelle, le domaine définition D_s de la fonctionest tel que ]-R,R[subset D_ssubset [-R,R]

.

Opérations sur les séries entières

.

Somme et produit

Soitetdeux séries de rayons de convergence respectifs R_a et R_b.

  • Il est clair que la sérieest convergence pour tout z in ℂ de module inférieur à la fois à R_a et à R_b. On en déduit que le rayon de convergence de la série s est au moins égal à min(R_a,R_b). Sa somme est alors s(z)=lambda a(z)+mu b(z).
  • Considérons de même la série produit :
    Cette série est absolument convergente lorsque ses deux paramètres (aussi appelés opérandes) sont absolument convergente et que la somme est alors le produit des sommes. Il vient que cette série produit converge pour tout z in ℂ de module inférieur à la fois à R_a et à R_b et donc que le rayon de convergence de la série p est au moins égal à min(R_a,R_b). On a alors p(z)=a(z)b(z).

.

Intégration et dérivation

Considérons la série, de rayon de convergence R et associons-lui les deux séries suivantes (que l’on peut assimiler à une série dérivée et une série primitive, si l’on considère la variable comme réelle)  :                                                 et

A partir du rapport de d’Alembert, on montre (et admettra dans tous les cas c’est-à dire même quand d’Alembert ne marche pas) que ces trois séries ont le même rayon de convergence R :

Ceci nous amène au théorème suivant :

Théorème 2 :

Soitune série entière réelle de rayon de convergence R>0″ align= »absmiddle »>.</span></p>
<ul>
<li><span style=On peut intégrer terme à terme :sur ]-R,R[.

  • On peut dériver terme à terme : s est dérivable sur ]-R,R[, avec
  • Plus généralement, s est indéfiniment dérivable sur ]-R,R[, avec
  • En résumé, sur l’intervalle ouvert de convergence :

    • la dérivée d’une série entière est égale à la série des dérivées, et
    • l’intégrale d’une série entière est égale à la série des intégrales.

    .

    Développement d’une fonction en série entière

    .

    Définition, série de Taylor

    Définition 2 :
    On dit qu’une fonction réelle f est développable en série entière autour de 0 si elle est égale à la somme d’une série entière de rayon de convergence R>0″ align= »absmiddle »> :<img loading=sur ]-R,R[

    Pour qu’une fonction soit développable en série entière autour de 0, elle doit être définie et indéfiniment dérivable sur un intervalle ouvert centré en 0.

    Remarque : La plupart des fonctions indéfiniment dérivables usuelles sont développable en série entière autour de 0.

    Le calcul se fait par extension de la formule de Taylor vue en première année.

    Partons de la fonction réelle f égale à la somme d’une série entière de rayon de convergence R>0″ align= »absmiddle »> vue à la <strong>définition 2</strong> et dérivons <img class= fois en utilisant la formule de fin du théorème 2. En faisant x=0, ce qui revient à prendre le terme constant :  f^{(k)}(0)=k!a_k, donc a_k=frac{f^{(k)}(0)}{k!}, on reporte cette valeur dans la série du théorème 2 et on obtient : 

    La série ci-dessus s’appelle la série de Taylor de f. Usuellement la formule de Taylor permet de calculer les développements limités usuels, sauf que dans ce cas, il s’agit de développements « illimités » c’est-à dire de séries. On note également que le terme frac{f^{(k)}(0)}{n!}x^n apparaît dans les développements limités et dans les développement en série entière, les formules donnant les développements en série entière usuels et les développements limités usuels sont donc analogues.

    Remarque : On note que le développement limité n’est exploitable que localement (c’est-à dire au voisinage d’un point) alors que le développement en série entière est exploitable globalement, donc sur tout l’intervalle de convergence ]-R,R[.

    .

    Développement en série des fonctions usuelles

    On suit la même formule que l’on applique aux différentes fonctions usuelles. On note que le rayon de convergence se calcule par d’Alembert.

    L’exponentielle

    Le sinus et le cosinus

    Le sinus et le cosinus hyperbolique par combinaison d’exponentielles

    Le binôme généralisé

    Remarque : Si a est un entier p, le coefficient de x^k s’annule dès que n>p » align= »absmiddle »> et il vient la formule du binôme de Newton (d’où le nom de « binôme généralisé ») :<img loading=

    Remarque : Le développement en série entière de la fraction frac{1}{(1-x)^p}  (p in *)   est

    Gagnez du temps pour être plus productif

    Les meilleures méthodes d’organisation pour gagner du temps et être productif.

    Vous souhaitez réussir votre Licence EEA ?

    « Tes fiches m’ont permises d’approfondir mes cours nottament sur les équations différentielles »

    Réussissez toutes vos équations différentielles

    Une formation clé en main pour réussir toutes vos équations différentielles.

    Pour vous aider à réviser, je vous offre :

    ✔️ 20 fiches de révision
    ✔️ 
    annales corrigées
    ✔️
     
    un accès au groupe privé
    ✔️
     
    une notification lors de chaque publication d’article de cours

    Pour vous aider à réviser, je vous offre :

    ✔️ 20 fiches de révision
    ✔️ 
    annales corrigées
    ✔️
     
    un accès au groupe privé
    ✔️
     
    une notification lors de chaque publication d’article de cours

    0 commentaires

    Envie d'obtenir votre Licence EEA ?

    Recevez des FICHES RECAPITULATIVES ainsi que des ANNALES CORRIGÉES 

    You have Successfully Subscribed!

    Envie d'obtenir votre Licence EEA ?

    Recevez des FICHES RECAPITULATIVES ainsi que des ANNALES CORRIGÉES 

    You have Successfully Subscribed!