Séries entières
2e année MP · Lemme d'Abel, rayon de convergence et ses méthodes de calcul, opérations, régularité de la somme, développements usuels et résolution d'équations différentielles par séries entières.
1. Rayon de convergence
Une série entière est une série de fonctions avec . Tout repose sur un résultat élémentaire.
Lemme d'Abel : si la suite est bornée, alors converge absolument pour tout . En effet .
On définit le rayon de convergence . Alors :
- pour , la série converge absolument ;
- pour , la suite n'est pas bornée : divergence grossière ;
- pour , aucune règle générale : diverge en tout point du cercle unité, y converge partout, diverge en 1 et converge en .
Méthodes de calcul
- 1Règle de d'Alembert : si à partir d'un certain rang et , alors . Pour une série lacunaire (, ...), on applique d'Alembert à la série numérique à fixé.
- 2Comparaison : si , alors ; si , alors . Multiplier les coefficients par ne change pas le rayon.
- 3Étude en un point : la convergence de donne , sa divergence donne . Si la convergence en n'est pas absolue, .
- 4Bornitude : si est bornée et ne tend pas vers 0, alors (cas de ).
Piège : d'Alembert ne s'applique pas lorsque une infinité de coefficients sont nuls, et ne conclut pas si le rapport n'a pas de limite. Ne jamais écrire sans avoir justifié l'existence de cette limite.
2. Opérations
- Somme : , avec égalité si .
- Produit de Cauchy : avec , on a et sur le plus petit disque. C'est ainsi qu'on prouve .
- Substitution : le rayon de est .
3. Régularité de la somme
La série converge normalement sur tout disque fermé avec , mais pas nécessairement sur le disque ouvert. On en déduit :
- Continuité : la somme est continue sur le disque ouvert .
- Dérivation (variable réelle) : est de classe sur , ses dérivées s'obtiennent terme à terme et les séries dérivées ont le même rayon .
- Intégration : pour .
- Coefficients : . D'où l'unicité : deux séries entières de même somme sur un voisinage de 0 ont les mêmes coefficients. Une somme paire n'a que des coefficients d'indices pairs.
Théorème radial d'Abel (classique, à redémontrer) : si converge, alors quand . Il donne par exemple et .
4. Fonctions développables en série entière
est DSE au voisinage de 0 s'il existe et une série entière de rayon dont la somme coïncide avec sur . Alors est et la série est sa série de Taylor. La réciproque est fausse : (prolongée par 0) est , a toutes ses dérivées nulles en 0, mais n'est pas DSE.
Développements usuels
| Fonction | Développement | Rayon |
|---|---|---|
| , | , | |
| , | , | |
| 1 | ||
| 1 | ||
| 1 | ||
| , | 1 |
Comment prouver qu'une fonction est DSE
- Opérations sur les développements usuels : combinaisons linéaires, produits de Cauchy, dérivation, primitivation.
- Fractions rationnelles : décomposer en éléments simples puis développer chaque .
- Équation différentielle : montrer que est l'unique solution d'un problème de Cauchy et en exhiber une solution DSE.
- Taylor-Lagrange : majorer le reste pour montrer qu'il tend vers 0 (méthode historique pour , , ).
5. Équations différentielles et séries entières
Méthode :
- 1Chercher de rayon (hypothèse d'analyse).
- 2Dériver terme à terme, injecter, réindexer pour regrouper les termes en .
- 3Par unicité des coefficients, obtenir une relation de récurrence sur .
- 4Résoudre la récurrence et calculer le rayon.
- 5Synthèse : si , la somme est solution sur . Si l'équation est résolue en (ou ) avec coefficients continus, Cauchy-Lipschitz assure que c'est la solution du problème posé.
Exemple : vérifie et . En injectant, on obtient et pour . Comme , les coefficients pairs sont nuls et , de rayon 1.
Pièges : oublier de vérifier (si , il n'y a pas de solution DSE non triviale) ; mal réindexer les sommes ; confondre condition d'existence (analyse) et vérification (synthèse) ; croire que les solutions DSE sont toutes les solutions : là où le coefficient dominant s'annule (point singulier, comme pour ), Cauchy-Lipschitz ne s'applique pas et d'autres solutions peuvent exister sur .
6. À retenir pour les concours
- Le rayon se calcule en premier ; le comportement au bord s'étudie à part.
- Convergence normale sur les disques fermés de rayon : c'est elle qui justifie continuité, dérivation et intégration terme à terme.
- Les DSE usuels doivent être connus avec leur rayon ; tout le reste s'en déduit par opérations ou par une équation différentielle.
Révise cette fiche avec les flashcards et le quiz du chapitre
Crée un compte gratuit pour retrouver cette fiche dans l'application, mémoriser les points clés avec les flashcards et te tester avec le quiz.
Réviser cette fiche gratuitementGratuit, sans carte bancaire.