L'indispensable: le lemme d'Abel

Le lemme d'Abel doit être présent en mémoire en toute circonstance et doit pouvoir être exhibé sans la moindre hésitation si un jour quelqu'un vous aborde, pointe un révolver sur vous et vous dit "Le lemme d'Abel ou la vie !".

Lemme [Lemme d'Abel] Soit un nombre complexe tel que la suite soit bornée. Alors pour tout tel que , la série est absolument convergente.

Démonstration: , et ... Le résultat en découle.

Maintenant que me voilà rassuré quant à votre avenir au cas où vous fassiez agresser par un mathématicien amateur désireux (à juste titre) d'apprendre ce résultat fondamental, le lemme d'Abel permet d'introduire une notion fondamentale en matière de séries entières: le rayon de convergence.

Définition Le rayon de convergence de la série entière est le sup des réels tel que soit bornée. Le rayon de convergence peut éventuellement être infini.

Théorème [conséquence du lemme d'Abel] Si la série est de rayon de convergence , alors :

pour tout de module la série de terme général est absolument convergente.

pour tout de module la série de terme général diverge, et en fait la suite n'est pas même bornée.

Démonstration: Il suffit de regarder le lemme d'Abel dans le blanc des yeux.

Le disque ouvert de centre 0 et de rayon s'appelle le disque de convergence. Lorsque , on appelle tout entier le disque de convergence.

Le théorème que l'on vient de voir permet donc de classer les nombres complexes en deux catégories, l'une où la somme est convergente, avec plein de belles propriétés que l'on va voir, et un ensemble où il n'y a pas convergente; toutefois, il reste une zone limite, sur laquelle nous n'avons pas de résultat, et sur laquelle nous en auront bien peu; le cercle de rayon le rayon de convergence, lorsque celui-ci est fini.