Catalogue Licence
L2 • Analyse Réelle
Approfondissement L2

Séries entières et lemme d'Abel

Rayon de convergence, disque ouvert, convergence normale sur les compacts, régularité et développements en série entière

Point d'entrée intuitif

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 ?

Idée en une phrase :
Une série entière converge exactement à l'intérieur d'un disque dont le rayon est la distance à la singularité complexe la plus proche.
Généalogie historique du concept :

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 CETTE définition formelle :

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)

Modèle #1

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 :

Dérivation, intégration, produit et composition terme à terme sont tous licites à l'intérieur du disque ouvert, avec le même rayon.

⚠️ Où l'analogie ment :

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.

Modèle #2

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 :

Le mystère de se dissipe : les pôles sont en , à distance , ce qui fixe le rayon à sans qu'aucune anomalie ne soit visible sur la droite réelle.

⚠️ Où l'analogie ment :

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.

Modèle #3

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 :

Une information très faible — la bornitude — produit une conclusion très forte — la convergence normale sur tout compact du disque. C'est ce déséquilibre qui rend le lemme si puissant.

⚠️ Où l'analogie ment :

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

1
Le rayon de convergence se lit sur le comportement de la fonction sur .

Correction :

Faux : est de classe sur tout et son rayon vaut pourtant , à cause des pôles complexes . C'est le phénomène de Runge, et il montre que le rayon est une quantité intrinsèquement COMPLEXE.

2
Sur le cercle de convergence, la série diverge.

Correction :

Le comportement au bord est totalement indéterminé et doit être étudié point par point. Trois exemples de rayon : diverge partout sur le cercle, converge absolument partout, et diverge en et converge en tout autre point du cercle.

3
Une fonction de classe est développable en série entière.

Correction :

Faux : la fonction valant pour et en a toutes ses dérivées nulles en , donc une série de Taylor identiquement nulle, qui converge partout mais pas vers elle. Être et être ANALYTIQUE sont deux propriétés distinctes — la seconde est strictement plus forte.

4
On peut dériver une série entière terme à terme uniquement là où elle converge normalement.

Correction :

Le point remarquable est que la série dérivée a EXACTEMENT le même rayon de convergence que la série initiale : la multiplication par ne change rien, puisque . La dérivation terme à terme est donc toujours licite à l'intérieur du disque ouvert, sans vérification supplémentaire. C'est une propriété spécifique aux séries entières.

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