Série de Taylor
Dans les mathématiques , la série de Taylor de est une représentation d'une fonction comme somme infinie de limites calculées à partir des valeurs de ses dérivés à un unique. Elle peut être considérée comme la limite des polynômes de Taylor de que des séries de Taylor sont appelées en l'honneur du ruisseau anglais Taylor de mathématicien du . Si la série emploie les dérivés à zéro, la série s'appelle également une série de Maclaurin de , baptisée du nom de écossais Colin Maclaurin de mathématicien du .
Définition
La série de Taylor d'un le vrai complexe f ( X ) de fonction de ou qui est le infiniment différentiable dans un voisinage d'un vrai complexe de nombre de ou un , est la série entière < ! -- Comme indiqué ci-dessous, les séries de Taylor n'ont pas besoin d'égaler la fonction. Veuillez ainsi n'écrivent pas f (x)=… ici --> quel dans plus compact forme peut être écrit en tant que
là où de n ! est le factoriel du de n et du   de de f ; ( de n) ( un ) dénote le dérivé de Th de de n du de f au point un ; le dérivé de zeroth du de f est défini pour être le de f lui-même et (  de de X ; &minus ;   ; un ) 0 et 0 ! sont tous les deux définis pour être 1.
Souvent le de f ( de X) est égal à sa série de Taylor évaluée au de X pour tout le de X suffisamment près de un . C'est la raison principale pourquoi les séries de Taylor sont importantes.
Dans le cas particulier où le , la série s'appelle également une série de Maclaurin.
Exemples
La série de Maclaurin pour n'importe quel polynôme est le polynôme lui-même.
La série de Maclaurin pour le ^ du est le de la série géométrique ainsi la série de Taylor pour le à est le
.
En intégrant la série de Maclaurin ci-dessus nous trouvons la série de Maclaurin pour le , où dénote le logarithme naturel : et la série de Taylor correspondante pour le à est - du .
La série de Maclaurin pour la fonction exponentielle au est + de .
L'expansion ci-dessus se tient parce que le dérivé de est également les égales 1. de et de . Ceci laisse le dans le numérateur et le n ! dans le dénominateur pour chaque limite dans la somme infinie.
Convergence
Les séries de Taylor n'ont pas besoin en général d'être des séries convergentes , mais souvent elles sont. La limite d'une série de Taylor de convergent n'a pas besoin en général d'être égale au f ( X ) de valeur de fonction, mais souvent elle est. Si le f ( X ) est égal à sa série de Taylor dans un voisinage par , il serait le analytique dans ce voisinage. Si le f ( X ) est égal à sa série de Taylor partout ce s'appelle le entier. La fonction exponentielle de et le sinus et le cosinus des fonctions trigonométriques sont des exemples des fonctions entières. Les exemples des fonctions qui ne sont pas entières incluent le logarithme , la tangente de la fonction trigonométrique , et son inverse Arctan . Pour ces fonctions les séries de Taylor même ne convergent pas si le X est loin de un .
Une série de Taylor peut être employée pour calculer la valeur d'une fonction entière à chaque point, si la valeur de la fonction, et de tous ses dérivés, est connue à un unique. Les utilisations de la série de Taylor pour des fonctions entières incluent : Les sommes partielles (les polynômes de Taylor de de la série peuvent être employés comme approximations de la fonction entière. Ces approximations sont bonnes si suffisamment beaucoup de limites sont incluses.
Décrite du côté droit est une approximation précise de péché ( X ) autour du de point = 0. La courbe rose est un polynôme du degré sept :
. L'erreur dans cette approximation n'est pas plus que le
de
Le pythagorien Zeno de philosophe du a considéré le problème d'additionner une série infinie pour réaliser un résultat fini, mais l'a rejeté comme impossibilité : le résultat était le paradoxe de Zeno de . Plus tard, le Aristote a proposé une résolution philosophique du paradoxe, mais le contenu mathématique était apparemment non défini jusqu'à prendre par le Democritus et puis le Archimède . Il était par la méthode du d'Archimède d'épuisement qu'un nombre infini de subdivisions progressives pourrait être exécuté pour réaliser un résultat trigonométrique fini. Le Liu Hui indépendamment a utilisé une méthode semblable plusieurs siècles plus tard.
En XIVème siècle , les exemples les plus tôt de l'utilisation de la série de Taylor et des méthodes closely-related ont été donnés par le Madhava de Sangamagrama . Bien qu'aucun disque de son travail ne survive, les écritures des mathématiciens indiens postérieur suggèrent qu'il ait trouvé un certain nombre de cas spéciaux de la série de Taylor, y compris ceux pour les fonctions trigonométriques du sinus, du cosinus, de la tangente , et de l'arctangente . L'école du Kerala de de l'astronomie et les mathématiques promeuvent ont augmenté ses travaux avec de diverses expansions de série et approximations raisonnables jusqu'au XVIème siècle .
En XVIIème siècle , James Gregory également travaillé dans ce secteur et édité plusieurs séries de Maclaurin. Il n'était pas jusqu'au 1715 cependant qu'une méthode générale pour construire ces séries pour toutes les fonctions pour lesquelles elles existent a été finalement fourni par le ruisseau Taylor , du nom dont les séries sont maintenant baptisées.
La série de Maclaurin a été baptisée du nom de Colin Maclaurin , un professeur à Edimbourg, qui a édité le cas spécial du résultat de Taylor en XVIIIème siècle.
Propriétés
Si cette série converge pour chaque X dans l'intervalle ( un &minus de ; le r , le + r ) et la somme est égal au f ( X ), puis le f ( X ) de fonction serait le de analytique dans l'intervalle ( un &minus de ; r , + r ). Si cela vaut pour n'importe quel r puis la fonction serait une fonction entière de de . Pour vérifier si la série converge vers le f ( X ), on emploie normalement des évaluations pour la limite de reste du théorème de Taylor de . Une fonction est analytique si et seulement si elle peut être représentée comme série entière ; les coefficients de cette série entière sont alors nécessairement ceux indiqués dans la formule ci-dessus de série de Taylor.L'importance d'une telle représentation de série entière est au moins quadruple. D'abord, la différentiation et l'intégration de la série entière peuvent être limite exécutée par limite et sont par conséquent particulièrement faciles. En second lieu, une fonction analytique peut être uniquement prolongée à une fonction holoèdre définie sur un disque ouvert dans le plan complexe , qui rend les machines entières de l'analyse complexe disponibles. Troisièmement, la série (tronquée) peut être employée pour calculer des valeurs de fonction approximativement (souvent en remaniant le polynôme dans la forme de Tchebychev de et en l'évaluant avec l'algorithme de Clenshaw de ).
Quatrièmement, des opérations algébriques peuvent souvent être faites beaucoup plus aisément sur la représentation de série entière ; par exemple la preuve la plus simple de la formule d'Euler de emploie les expansions de série de Taylor pour le sinus, le cosinus, et les fonctions exponentielles. Ce résultat est d'importance fondamentale dans des domaines tels que l'analyse harmonique .
Noter qu'il y a des exemples du f ( X ) des fonctions infiniment différentiables dont les séries de Taylor convergent, mais est le pas égal au f ( X ). Par exemple, la fonction a défini le pointwise par le f ( X ) = e&minus ; 1 ² du X si le ≠ 0 du X et le f (0) = 0 est un exemple d'une fonction douce Non-analytique . Tous ses dérivés au X = 0 sont zéro, ainsi la série de Taylor de f ( X ) à 0 est zéro partout, quoique la fonction soit différente de zéro pour chaque ≠ 0 du X . Cette pathologie particulière n'afflige pas la série de Taylor dans l'analyse complexe . Là, le secteur de la convergence d'une série de Taylor est toujours un disque dans le plan complexe (probablement avec rayon 0), et où la série de Taylor converge, il converge à la valeur de fonction. Noter que le ² du z d'e−1/n'approche pas 0 pendant que le z approche 0 le long de l'axe imaginaire, par conséquent cette fonction n'est pas continue comme fonction sur le plan complexe. Puisque chaque ordre de vrais ou complexes nombres peut apparaître comme coefficients de la série de Taylor d'une fonction infiniment différentiable définie sur la vraie ligne, le rayon de convergence d'une série de Taylor peut être zéro. Il y a même des fonctions infiniment différentiables définies sur la vraie ligne dont les séries de Taylor ont un rayon de convergence 0 partout. Quelques fonctions ne peuvent pas être écrites comme série de Taylor parce qu'elles ont une singularité ; dans ces cas, on peut souvent encore réaliser une expansion de série si on permet également des puissances négatives du variable X ; voir la série de Laurent . Par exemple, peut être écrit comme série de Laurent. La méthode de Parker-Sochacki de est une avance récente en trouvant les séries de Taylor qui sont des solutions au cet algorithme des équations sont une prolongation de l'itération de Picard de . Fonction exponentielle : Logarithme naturel : Série géométrique fini : Série géométrique infinie : Variantes de la série géométrique infinie : Racine carrée : Série binomiale (inclut la racine carrée pour le α de = 1/2 et les séries géométriques infinies pour le α de = &minus ; 1) : avec les coefficients binomiaux généralisés : Fonctions trigonométriques de Fonctions hyperboliques Fonction de W de Lambert de : Le apparaissant dans les expansions de l'addition de du tan ( X ) et du tanh ( X ) sont les nombres de Bernoulli . Le dans l'expansion de sec ( X ) sont les nombres d'Euler de . D'abord, récrire la fonction en tant que . Nous prenons pour le et pour cosinus fonction Using la série de Taylor, on peut définir des fonctions analytiques des matrices et des opérateurs, telles que le Matrix le logarithme exponentiel de Matrix de ou de . Par exemple, pour une fonction qui dépend de deux variables, X et y , la série de Taylor au deuxième ordre au sujet du point ( un , b ) est : Une expansion de série de second ordre de Taylor d'une fonction scalaire-évaluée de plus que celle variable peut être de manière compacte écrite en tant que là où est gradient et est la matrice hessoise (ne pas être confondu avec le Laplacian , qui a parfois la même notation). Appliquant la notation de Multi-index de la série de Taylor pour plusieurs variables devient Liste de série de Taylor de quelques fonctions communes
< ! -- --> Plusieurs expansions de série importantes de Maclaurin suivent. Toutes ces expansions sont valides pour le .
où le B s sont les nombres de Bernoulli .
Calcul de série de Taylor
Plusieurs méthodes existent pour le calcul de la série de Taylor d'un grand nombre de fonctions. On peut essayer d'employer la série de Taylor réelle et de généraliser la forme des coefficients, ou on peut employer des manipulations telles que la substitution, la multiplication ou la division, l'addition ou la soustraction de la série de Taylor standard pour construire la série de Taylor avec d'une fonction, en vertu de la série de Taylor étant série entière. Dans certains cas, on peut également dériver la série de Taylor en appliquant à plusieurs reprises l'intégration de par les pièces . Particulièrement commode est l'utilisation des systèmes d'algèbre d'ordinateur de de calculer la série de Taylor. Premier exemple
Calculer le polynôme de Maclaurin du degré 7th pour le .
La dernière expansion de série a une limite constante nul, qui nous permet de substituer la deuxième série dans le premier et d'omettre facilement des limites d'évolué que le degré 7th en employant la grande notation d'O : le Puisque le cosinus est une fonction même , les coefficients pour tout le impair X , le X 3, le X 5, le X 7 de puissances. Deuxième exemple
Supposent que nous veulent Taylor série à 0 de fonction
. Nous prenons pour = de et, comme dans le premier exemple, Supposer que la série entière est le Puis la multiplication avec le dénominateur et la substitution de la série du Le rassemblement des limites jusqu'au quatrième ordre rapporte le Comparer des coefficients à la série ci-dessus de la fonction exponentielle rapporte le . Série de Taylor comme définitions
Classiquement, les fonctions ci-dessus sont définies par une certaine propriété qui se tient pour elles. Par exemple, la fonction exponentielle est définie comme fonction qui est égale à son propre dérivé. Cependant, dans l'analyse calculable , des fonctions doivent être définies par des algorithmes plutôt que des propriétés, ainsi les expansions ci-dessus de Taylor sont employées en tant que définitions primaires plutôt que des résultats dérivés. C'est susceptible également d'être le cas dans des réalisations de logiciel des fonctions. Série de Taylor pour plusieurs variables
La série de Taylor peut également être généralisée aux fonctions de plus que celles variables avec le .
.
| Random links: | Tioga, le Dakota du Nord | de Shepway | Meany de George | Le Nevada Barr | Région centrale de vin d'Otago | Serie_de_Taylor |