- Serie de Taylor
-
Série de Taylor
Pour les articles homonymes, voir Taylor.En analyse, la série de Taylor se définit pour une fonction f indéfiniment dérivable d'une variable réelle ou complexe et en un point a au voisinage duquel la fonction est définie. La série de Taylor de f en a est la série entière suivante :
ce qui s'écrit sous forme synthétique comme suit :
- .
n! est la factorielle de n (le produit de tous les entiers naturels inférieurs ou égal à n) et f (n)(a) désigne la dérivée nème de f au point a. La notation fait encore sens en analyse fonctionnelle dans les algèbres normées, réelles ou complexes ; mais cette généralisation ne sera pas plus abordée dans cet article.
Si a = 0, la série est aussi appelée une série de Maclaurin.
Fonctions usuelles
Nom de la fonction : Série de Taylor: Rayon de convergence : Exponentielle ex = Infini Logarithme ln(1 + x) = 1 Somme d'une série géométrique 1 Fonctions trigonométriques : sin(x) = Infini cos(x) = Infini tan(x) = Pi / 2 sec(x) = Pi / 2 arcsin(x) = 1 arccos(x) = 1 arctan(x) = 1 Fonctions hyperboliques : sh(x) = Infini ch(x) = Infini th(x) = Pi / 2 argsh(x) = 1 argch(x) = 1 Fonction W de Lambert W(x) = 1 / e |Notations --- Dans les séries de Taylor ci-dessus, on a utilisé les notations suivantes :
- Les nombres Bk apparaissant dans les développements de tan(x) et de th(x) sont les nombres de Bernoulli.
- est un coefficient binomial.
- Le nombre Ek dans le développement de sec(x) est un nombre d'Euler.
Convergence de la série de Taylor
La série de Taylor est une série entière. Elle admet donc un rayon de convergence R, et sur le disque de centre a et de rayon R, la série converge normalement sur tout compact. Cependant,
- La somme de la série de Taylor de f en a sur son disque de convergence peut être différente de la fonction f ;
- Le rayon de convergence ne donne en général pas plus de renseignements sur la taille du domaine de définition de f.
Par exemple, toutes les dérivées de f définie par f(x) = exp(-1/x2) sont nulles en x = 0, et donc la somme de sa série de Taylor de f est nulle, et ainsi son rayon de convergence est infini, alors que la fonction n'est pas du tout nulle. Ce phénomène arrive pour des fonctions plates (toutes les dérivées successives en un point s'annulent).
Si la fonction f vaut la somme de sa série entière au voisinage de a, alors on dit que f est analytique. Cette définition est valable aussi bien pour les fonctions d'une variable réelle que pour les fonctions d'une variable complexe. Toutefois, une fonction d'une variable complexe analytique est appelée holomorphe : pour qu'elle le soit, il suffit de la supposer dérivable ! C'est un des premiers résultats de rigidité en analyse complexe.
Les sommes partielles d'une série de Taylor peuvent être utilisées pour calculer des valeurs approchées de la fonction au voisinage d'un point.
- Portail des mathématiques
Catégories : Analyse réelle | Analyse complexe | Série
Wikimedia Foundation. 2010.