Séries entières et lemme d'Abel
Pourquoi la série de cesse-t-elle de converger dès que , alors que la fonction est parfaitement régulière sur tout — et où se cache l'obstruction ?
Newton manipule les séries de puissances dès 1665 pour interpoler les fonctions ; Euler en fait un outil de calcul universel au XVIII siècle, sans se soucier de convergence. Abel démontre en 1826 le lemme qui porte son nom et qui fonde toute la théorie : la convergence en un point entraîne la convergence dans tout le disque plus petit. Cauchy et Hadamard donnent la formule du rayon. Le phénomène de Runge, découvert en 1901, révèle la portée du résultat : la convergence d'une série réelle est gouvernée par la géométrie complexe.
Pourquoi définir le rayon par une borne supérieure de bornitude plutôt que par la convergence ? Parce que la bornitude de est une condition plus faible et plus facile à vérifier, et parce que le lemme d'Abel montre qu'elle suffit à garantir la convergence ABSOLUE pour tout module strictement inférieur. La définition est choisie pour rendre le lemme d'Abel immédiat, ce qui simplifie ensuite tout le chapitre.
Images Mentales & Modèles d'Intuition (3)
Une série entière est un polynôme de degré infini : à l'intérieur du disque, elle se manipule exactement comme un polynôme.
Ce qu'elle capture :
L'image échoue au bord : sur le cercle de convergence, tous les comportements sont possibles, et un polynôme n'a pas de bord. Elle échoue aussi hors du disque, où la série n'a plus aucun sens alors que le polynôme, lui, est défini partout.
Le rayon de convergence est la distance de l'origine au premier obstacle rencontré dans le PLAN COMPLEXE, même si l'on ne s'intéresse qu'aux réels.
Ce qu'elle capture :
L'image suppose que l'obstacle est un pôle. Il peut être bien plus subtil — point de branchement, singularité essentielle, ou frontière naturelle où la fonction ne se prolonge nulle part. Pour , tout point du cercle unité est singulier.
Le lemme d'Abel est un effet de dominos : la simple bornitude en un point déclenche la convergence absolue partout plus près de l'origine.
Ce qu'elle capture :
L'image ne dit pas que rien ne se propage vers l'extérieur : la convergence en un point ne dit rien sur les points plus éloignés, et le comportement au bord reste totalement indéterminé.
Les Pièges Conceptuels Classiques
Correction :
Correction :
Correction :
Correction :
Glossaire des Notations Mathématiques
rayon de convergence
distance à la singularité complexe la plus proche ; peut valoir $0$ ou $+\infty$
disque ouvert
domaine de convergence absolue ; le bord est exclu et son étude est séparée
limite supérieure
intervient dans la formule de Hadamard, qui donne le rayon sans hypothèse sur les coefficients