Dans le chapitre précédent, nous avons étudié les séries géométriques, à savoir des séries de la forme :
Ces séries ont cependant une particularité : le coefficient formula_2 est le même pour tous les termes de la suite géométrique. Cependant, on peut imaginer des séries plus générales que les suites géométriques, où le coefficient formula_2 changerait à chaque rang. Ces généralisations des séries géométriques sont appelées des séries de puissances, souvent mal nommées séries entières. On peut voir les séries entières comme un polynôme avec une infinité de termes, bien que la formulation ne soit pas très rigoureuse.
Dans leur forme la plus simple, les séries entières sont de la forme suivante :
De telles séries sont "centrées sur zéro". Cela signifie que pour formula_5, les termes disparaissent à l'exception du tout premier, formula_6.
Plus généralement, les séries entières sont les suivantes :
De telles séries entières sont "centrées sur c". Là encore, cela veut dire que pour formula_8, les termes disparaissent à l'exception du tout premier, formula_6.
La différence entre "série centrée sur zéro" et "série centrée sur c" est utile pour simplifier certaines démonstrations. On peut en effet généraliser les résultats obtenus avec les séries centrées sur zéro, aux séries centrées sur c, par un simple changement de variable. Il suffit pour cela d'étudier la série formula_10, naturellement centrée sur zéro, en posant formula_11.
De nombreuses séries de ce genre sont utilisées, les plus connues étant de loin les séries de Taylor ou de Laurent, qui en sont les cas particuliers les plus connues.
La convergence des séries entières.
Les séries entières peuvent converger ou diverger, selon la valeur de leur raison ou de leurs coefficients formula_12. On est certain qu'il existe au moins une valeur pour laquelle la série converge toujours : le centre de la série. Une série centrée sur zéro converge forcément pour formula_13, de même qu'une série centrée sur a converge pour formula_14. Mais pour les autres valeurs de x, le comportement varie grandement suivant la série. Si l'on prend une série centrée sur a, on peut se retrouver dans trois cas distincts :
Le dernier cas est celui qui va nous intéresser. L'intervalle de convergence a plusieurs propriétés intéressantes. Déjà, on sait qu'il contient la valeur a, sur laquelle la série est centrée. Mais on peut ajouter que a est au milieu de l'intervalle, qui est symétrique par rapport à a. La distance entre a et les bornes de l'intervalle est appelé le rayon de convergence de la série, et sera notée R dans ce qui suit. Avec ce qu'on vient de dire, la série converge quand formula_15 et diverge pour tout formula_16. Pour formula_17, la série peut diverger ou converger, tout dépend de la série étudiée.
L'application du critère l'Alembert.
Le comportement décrit plus haut peut faire penser aux séries géométriques. Comme pour les séries entières, elles convergent forcément pour formula_13, et leur convergence dans les autres cas dépend de la valeur de la raison. Suivant la valeur de la raison, elles peuvent converger ou non. Nous allons voir que les propriétés de convergence de ces séries entières sont assez similaires à celles des séries géométriques, à quelques détails près. Pour nous en rendre compte, nous allons étudier divers exemples.
Un premier exemple.
Comme premier exemple, nous allons utiliser la suite définie par :
On peut alors utiliser le test du quotient pour vérifier si cette suite converge ou non. Calculons :
On voit que la série converge si la limite, donc formula_22, est inférieure à 1. Elle diverge si elle est supérieure à 1. Dans le cas où formula_23, on retombe sur la série harmonique qui est divergente. Pour les valeurs négatives de formula_22, les résultats sont identiques, si ce n'est que le cas où formula_25 donne la série harmonique alternée, qui diverge elle aussi.
Un second exemple.
On peut aussi étudier la série suivante, assez semblable à la série précédente :
On a montré il y a quelques chapitres que la série converge quelle que soit la valeur donnée à formula_22. La démonstration avait été réalisée avec la méthode du quotient, illustrée plus haut. Nous reproduisons ici cette démonstration, pour montrer la ressemblance avec la démonstration pour la série précédente.
Calculons le rapport : formula_28 :
Or, formula_22 est une constante, ce qui fait que ce rapport tend vers 0.
En conséquence, la série converge !
Dans le cas où formula_23, la série se simplifie en la série de l'inverse des factorielles, qui vaut :
Le cas général.
Comme vous l'avez peut-être remarqué, l'application de la règle d'Alembert donne des démonstrations extrêmement similaires pour toutes les séries entières. En effet, prenons le cas général, à savoir :
Le critère d'Alembert dit que la série converge toujours pour :
On vient d'établir que la série converge si :
La convergence de la série entière dépend donc de la convergence de la suite formula_12, même si celle-ci ne converge pas. On a bien le cas de la série : formula_19 où la suite des formula_12 ne converge pas. Un autre paramètre important pour la convergence est la valeur de la raison formula_22.
Le rayon de convergence.
La valeur formula_41 est appelée le rayon de convergence et est définie comme la valeur maximale de la raison qui permette à la série de converger. Plus précisément, le rayon de convergence formula_42 est définie comme la valeur telle que :
Le rayon de convergence peut être nul, non-nul ou infini et ces trois cas donnent des résultats différents en termes de convergence. Les cas où formula_46 et formula_47 donnent une forme indéterminée, dont on peut trouver facilement la solution. Mais hormis ces cas pathologiques, il existe toujours une valeur de la raison qui permette de faire converger la série. Pour résumer :
Ce qui nous amène au point suivant, nommé lemme d'Abel par les mathématiciens :
Les fonctions analytiques.
Les séries entières ont un lien avec une classe de fonctions bien particulières : les fonctions analytiques. Ces dernières sont des fonctions que l'on peut approximer par une série entière. L'intérêt de cette approximation est qu'elle permet d'étudier des fonctions assez simplement. Transformer une fonction compliquée en un polynôme facilite grandement les calculs. L'analyse d'un polynôme ne demande que les quatre opérations de base et des manipulations de puissances, choses qui sont à la portée de tout lycéen. On peut ainsi dériver ou intégrer une fonction analytique sans faire de calculs compliqués. La plupart des fonctions que vous connaissez sont analytiques. C’est le cas pour les polynômes, les fonctions trigonométriques, l'exponentielle, le logarithme, et quelques autres. Par contre, certaines fonctions comme la valeur absolue ne le sont pas.
Une fonction analytique formula_53 peut se calculer avec une série entière telle que :
Précisons que l'égalité ne vaut que si x est dans l'intervalle de convergence, pas ailleurs. En dehors de cet intervalle, la série diverge et l'égalité avec la fonction cède. En clair, on sait que la formule précédente est valable pour formula_55, éventuellement pour d'autres valeurs. Si la série a un rayon de convergence non-nul, alors l'égalité fonction-série tient tant que x reste dans l'intervalle de convergence : la formule n'est valable que dans le voisinage de formula_55 (pour les valeurs proches). Dans de rares cas, le rayon de convergence est infini et la série converge pour tout x réel/complexe, la formule est alors valable pour tout x.
Pour donner un exemple, prenons la fonction formula_57. On sait que la série géométrique formula_58 converge vers formula_59 pour formula_60. On peut donc écrire :
Ce qui est équivalent à écrire :
Mais l'égalité ne vaut que pour formula_60, condition nécessaire pour que la série converge au-delà, la fonction et la série n'ont plus aucun rapport entre elles.
Les coefficients d'une série entière et les dérivées de la fonction analytique associée.
Les coefficients formula_12 peuvent se calculer de plusieurs manières différentes. Le cas le plus courant est celui où l'on calcule les coefficients à partir des dérivées de la fonction f(x). Pour être précis, on a besoin de la fonction, de ses dérivées première, seconde, troisième, quatrième, cinquième et ainsi de suite. On a besoin de toutes les autres dérivées d'ordre n, jusqu'à l'infini, ce qui implique que de telles dérivées existent toutes. Dit autrement, la fonction doit être de classe formula_65. La méthode que nous allons voir ne marche pas pour les fonctions qui ne respectent pas cette condition.
Les coefficients d'une série entière ont un rapport avec les dérivées de la fonction associée. On sait déjà que le premier coefficient est égal à f(0) pour une série centrée sur zéro, et à f(a) pour une série centrée sur a.
Maintenant, essayons de calculer le premier coefficient. Prenons une fonction f(x) et considérons sa série entière associée, en supposant que la série entière soit centrée sur zéro.
Maintenant, dérivons l'équation précédente. On sait que la dérivée d'un polynôme est la somme des dérivées de chaque terme, de chaque monôme.
On utilise la formule formula_68 :
On applique la formule formula_70 :
Regardons la valeur pour x = 0. Les coefficients multiples de x s'annulent et ne laissent que le coefficient formula_72.
Le résultat se généralise pour les séries qui ne sont pas centrées sur zéro, mais sur a : il suffit de remplacer zéro par a dans les formules.
Maintenant, calculons la dérivée seconde. Pour cela, repartons de la formule de la dérivée première établie plus haut :
Le calcul de la dérivée est similaire aux calculs précédents, ce qui donne :
En prenant x = 0, on trouve :
Le résultat se généralise pour les séries qui ne sont pas centrées sur zéro, mais sur a : il suffit de remplacer zéro par a dans les formules.
Le calcul du troisième coefficient procède de la même manière, en calculant la dérivée troisième à partir de la formule de la dérivée seconde établie auparavant. Cela donne :
En prenant x=0, on trouve :
Notons que le produit est égal à la factorielle de 3.
Le résultat se généralise pour les séries qui ne sont pas centrées sur zéro, mais sur a : il suffit de remplacer zéro par a dans les formules.
Même chose pour le quatrième coefficient. On part de la dérivée troisième :
On dérive une nouvelle fois et on trouve :
En prenant x=0, on trouve :
On a donc :
Et on peut poursuivre ainsi de suite. On aura toujours la formule suivante :
L'expansion en série de Taylor.
Avec ce que l'on vient de voir, on a :
Avec cette méthode, la fonction f(x) est donc approximée par une série appelée série de Taylor :
Une série de Taylor nous permet de calculer la fonction au point x, si l'on connait sa valeur et ses dérivées au point formula_55. L'avantage est que la plupart des fonctions ont un point où calculer leurs propriétés est très facile. Dans le cas particulier où formula_87, une série de Taylor est appelée une série de Maclaurin.
On connait les séries de Taylor pour de nombreuses fonctions. Voici quelques autres exemples très connus.
L'approximation d'une fonction analytique par une série de Taylor partielle.
Les fonctions non-polynomiales ont un nombre infini de termes, alors que les fonctions polynomiales n'ont qu'un nombre fini de termes (sous-entendu, de termes non-nuls). D'ailleurs, la série de Taylor d'une fonction polynomiale est la fonction elle-même. En fait, le principe qui se cache derrière les séries de Taylor est d'approximer la fonction par un polynôme, polynôme décrit par la série de Taylor. Si la fonction est polynomiale, alors la série de Taylor est le polynôme lui-même. Pour d'autres fonctions, la correspondance marche localement, à savoir qu'au voisinage d'un point, la fonction est décrite à la perfection par un polynôme en un point x, mais que l’approximation se fait de moins en moins bonne quand on s'en éloigne.
Notons que les séries de Taylor sont des séries infinies, mais que l'on peut ne prendre en compte que les premiers termes pour des applications pratiques. Par exemple, les séries de Taylor sont utilisées pour faire des approximations en physique ou en ingénierie. Si un phénomène est décrit par une fonction assez compliquée, ou mal connue, on peut l'approximer par une série de Taylor et ne prendre en compte que les premiers termes (souvent les plus importants). Prenons par exemple celui de la fonction sinus et de sa série de Taylor associée. Sur le schéma ci-dessous, on voit la fonction sinus, avec la courbe obtenue avec les 7 premiers termes de la série de Taylor associée. On voit que la fonction est pas trop mal approximée par le polynôme, mais seulement à proximité du point étudié.