Mostra la font per a Sèrie de Taylor

[[Fitxer:sintay.svg|miniatura|upright=1.5|El polinomi de Taylor aproxima una funció en el veïnat d'un punt. A mesura que augmenta el grau del polinomi, millor és l'aproximació. Aquest gràfic mostra la [[funció sinus]] (en negre) i els seus polinomis de Taylor de graus <span style="color:red">1</span>, <span style="color:orange">3</span>, <span style="color:yellow">5</span>, <span style="color:green">7</span>, <span style="color:blue">9</span>, <span style="color:indigo">11</span> i <span style="color:violet">13</span>.]]
[[Fitxer:Exp series.gif|miniatura|La [[funció exponencial]] (en blau) i la suma dels primers ''n''+1 termes de la seva sèrie de Taylor centrada a 0 (en vermell)]]

En [[matemàtiques]], i més específicament en [[càlcul infinitesimal]], la '''sèrie de Taylor''' és una representació d'una [[funció matemàtica|funció]] com una [[sèrie (matemàtiques)|suma infinita]] de termes calculats a partir dels valors de les [[derivada|derivades]] de la funció en un punt concret. Més concretament, si <math>f</math> és una funció de variable real, infinitament diferenciable en el veïnat d'un punt <math>a</math>, aleshores la seva sèrie de Taylor centrada en ''a'' és la [[sèrie de potències]] següent:

:<math>
\sum_{n=0}^{\infin} \frac{f^{(n)}(a)}{n!} (x-a)^{n}
</math>.

El concepte de sèrie de Taylor va ser introduït formalment pel matemàtic anglès [[Brook Taylor]] l'any 1715. Quan la sèrie de Taylor està centrada al zero, llavors també s'anomena '''sèrie de Maclaurin''', en honor al matemàtic escocès [[Colin Maclaurin]], qui féu un ús extensiu d'aquest cas especial de la sèrie de Taylor al s. <small>XVIII</small>.

Quan una funció té un grau de diferenciabilitat finit, o quan es vol fer un [[càlcul numèric]] del valor de la funció en les proximitats d'un punt, llavors s'usa el [[polinomi de Taylor]], que és el mateix que la sèrie però amb només un nombre finit de termes. En aquest cas el [[teorema de Taylor]] dóna estimacions quantitatives de l'error que es comet amb aquest tipus d'aproximació. Es pot considerar que la sèrie de Taylor és el [[límit]] dels polinomis de Taylor quan el grau tendeix a infinit. 

Encara que una funció sigui infinitament diferenciable en un veïnat de&nbsp;''a'', pot passar que la seva sèrie de Taylor tingui [[radi de convergència]] zero, la qual cosa significa que la sèrie no es pot avaluar en cap punt diferent de&nbsp;''<math>a</math>''. També pot passar que el radi de convergència sigui més gran que zero, però que la sèrie no coincideixi amb la funció en cap punt diferent de&nbsp;''a''. Una funció que és igual a la seva sèrie de Taylor en un cert domini s'anomena [[funció analítica]].

==Definició==
La sèrie de Taylor d'una funció [[funció real|real]] o [[Anàlisi complexa|complexa]] <math>f(x)</math> que sigui [[funció infinitament diferenciable|infinitament diferenciable]] en un [[veïnat (matemàtiques)|veïnat]] d'un [[nombre]] ([[nombre real|real]] o [[nombre complex|complex]]) ''a'' és la [[sèrie de potències]] següent:<ref name="mathworld">{{MathWorld| urlname= TaylorSeries| title= Taylor Series}}</ref>

:<math>f(a)+\frac {f'(a)}{1!} (x-a)+ \frac{f''(a)}{2!} (x-a)^2+\frac{f^{(3)}(a)}{3!}(x-a)^3+ \cdots </math>

Aquesta sèrie es pot escriure d'una manera més compacta fent servir el [[sumatori]] com:
:<math> \sum_{n=0} ^ {\infin } \frac {f^{(n)}(a)}{n!} \, (x-a)^{n}\,,</math>
on <math>n!</math> denota el [[factorial]] de <math>n</math> i <math>f^{(n)}(a)</math> denota la [[derivada]] <math>n</math>-èsima de <math>f</math> avaluada en el punt <math>a</math>. S'entén que la derivada d'ordre zero de ''<math>f</math>'' és la pròpia ''<math>f</math>'', i <math>(x-a)^0</math> i <math>0!</math> valen, ambdós,&nbsp;1. En el cas que <math>a=0</math>, la sèrie també s'anomena sèrie de MacLaurin.

== Història ==
El concepte de sèrie de Taylor, i de sèrie de potències, està estretament lligat al de [[sèrie (matemàtiques)|sèrie]] numèrica. El problema de la suma d'una sèrie infinita de nombres ja fou estudiat al s. <small>V</small> aC a l'antiga Grècia, però no fou fins al s. <small>III</small> aC quan [[Arquimedes]] donà un primer mètode de suma, el [[mètode d'exhaustió]].<ref>Kline, M. (1990) ''Mathematical Thought from Ancient to Modern Times''. Oxford University Press. pp. 35-37.</ref> Els primers desenvolupaments en sèrie de potències podrien ser deguts al matemàtic indi [[Madhava de Sangamagrama]] (c. 1340–1425), fundador de l'[[Madhava de Sangamagrama#L'escola de Kerala|Escola de Kerala]], que obtingué les sèries de potències d'algunes [[funció trigonomètrica|funcions trigonomètriques]]: sinus, cosinus i arc tangent.<ref name="Roy">{{ref-llibre|cognom=Roy
|nom=Ranjan
|títol=Sources in the development of mathematics 
|data=2011
|editorial=Cambridge University Press
|lloc=Cambdridge
|isbn=978-0-521-11470-7}}, pàg. 3</ref>
<ref name="dani">{{ref-publicació|títol=Ancient Indian Mathematics – A Conspectus
|cognom=Dani
|nom=S. G.
|publicació= Resonance 
|volum=17
|data=2012
|pàgines=236–246}}</ref> 
Aquestes sèries foren redescobertes força més tard, al s. <small>XVII</small>, per [[Isaac Newton]] i [[James Gregory]], mentre que Johannes Hudde i [[Nicolaus Mercator]] obtingueren la sèrie de Taylor del logaritme.<ref>{{ref-llibre|cognom=Roy
|nom=Ranjan
|títol=Sources in the development of mathematics 
|data=2011
|editorial=Cambridge University Press
|lloc=Cambdridge
|isbn=978-0-521-11470-7}}, pàg. 140</ref> 

L'any 1715 el matemàtic anglès [[Brook Taylor]] donà el mètode general per construir aquestes sèries de potències.<ref>{{ref-llibre
|cognom=Taylor
|nom=Brook
|títol=Methodus Incrementorum Directa et Inversa 
|lloc=Londres 
|data=1715}};
pàg 21-23, proposició VII, teorema 3, corol·lari 2</ref> 
La sèrie de Taylor s'anomena en honor seu, i la sèrie de Maclaurin en honor del matemàtic escocès [[Colin Maclaurin]], que publicà el cas especial del resultat de Taylor durant el s. <small>XVIII</small>.

==Exemples==
La sèrie de Maclaurin (sèrie de Taylor centrada al zero) de qualsevol [[funció polinòmica|polinomi]] és el polinomi mateix.

La sèrie de Maclaurin de la funció <math>(1-x)^{-1}</math> és la sèrie geomètrica infinita
:<math>1+x+x^2+x^3+\cdots\,,</math>
i la sèrie de Taylor de <math>x^{-1}</math> centrada en <math>a=1</math> és 
:<math>1-(x-1)+(x-1)^2-(x-1)^3+\cdots\,.</math>

Si s'integren aquestes sèries s'obté la sèrie de Taylor de la funció <math>\ln(1-x)</math>, on <math>\ln</math> denota el [[logaritme natural]]:
:<math>-x-\frac{1}{2}x^2-\frac{1}{3}x^3-\frac{1}{4}x^4-\cdots\,,</math>
i la sèrie de Taylor corresponent per a <math>\ln(x)</math> centrada en <math>a=1</math>, que és
:<math>(x-1)-\frac{1}{2}(x-1)^2+\frac{1}{3}(x-1)^3-\frac{1}{4}(x-1)^4+\cdots\,.</math>

La sèrie de Taylor de la [[funció exponencial]] <math>e^x</math> centrada en <math>a=0</math> és:
:<math>1 + \frac{x^1}{1!} + \frac{x^2}{2!} + \frac{x^3}{3!} + \frac{x^4}{4!} + \frac{x^5}{5!}+ \cdots = 1 + x + \frac{x^2}{2} + \frac{x^3}{6} + \frac{x^4}{24} + \frac{x^5}{120} + \cdots\! = \sum_{n=0} ^ {\infin} \frac{x^n}{n!}\,.</math>

El desenvolupament anterior s'obté fàcilment, ja que la derivada de <math>e^x</math> és <math>e^x</math>, i <math>e^0</math> val&nbsp;1, la qual cosa deixa els termes <math>(x-0)^n</math> al numerador i <math>n!</math> al denominador, per a cada terme de la suma infinita.

== Funcions analítiques ==
[[Fitxer:Exp neg inverse square.svg|miniatura|La funció e<sup>−1/x²</sup> no és analítica en ''x''&nbsp;=&nbsp;0: la sèrie de Taylor és idènticament 0, tot i que la funció no ho és.]]
Si la funció <math>f(x)</math> ve donada per una sèrie de potències convergent en un [[Disc (topologia)|disc]] obert (o [[interval (matemàtiques)|interval]] en la recta real) centrat en ''<math>b</math>'', es diu que la funció és [[funció analítica|analítica]] dins d'aquest disc. Llavors, per una <math>x</math> d'aquest disc, ''<math>f</math>'' ve donada per la sèrie de potències convergent següent:

:<math>f(x) = \sum_{n=0}^\infty a_n(x-b)^n</math>.

Diferenciant la fórmula anterior respecte ''<math>x</math>'' <math>n</math> vegades i establint <math>x=b</math> s'obté:

:<math>\frac{f^{(n)}(b)}{n!} = a_n</math>.

Per la qual cosa l'expansió de la sèrie de potències es correspon amb la sèrie de Taylor. En conclusió, una funció és analítica en un disc obert centrat en ''b'' si i només si la seva sèrie de Taylor convergeix al valor de la funció en cada punt del disc.

Si ''f''(''x'') equival a la seva sèrie de Taylor en qualsevol punt, s'anomena [[funció entera]]. Els polinomis, la [[funció exponencial]] ''e''<sup>''x''</sup> i les [[funció trigonomètrica|funcions trigonomètriques]] sinus i cosinus són exemples de funcions enteres; per contra, algunes funcions que no són enteres són, per exemple, el [[logaritme]], la tangent i l'arctangent. Per aquestes darreres funcions, la sèrie de Taylor no [[sèrie convergent|convergeix]] si ''x'' es troba lluny de ''b''. La sèrie de Taylor es pot fer servir per calcular el valor d'una funció entera en qualsevol punt si el valor de la funció –i de totes les seves derivades– es coneixen per un punt concret.

Alguns usos de la sèrie de Taylor per funcions analítiques són els següents:
* Les sumes parcials (els [[polinomi de Taylor|polinomis de Taylor]]) de la sèrie es pot fer servir com aproximacions de la funció entera. Aquestes aproximacions són bones si s'hi inclouen suficients termes.
* La diferenciació i integració de sèries de potències es pot dur a terme terme a terme, per la qual cosa és especialment fàcil.
* Una funció analítica és únicament estesa a una [[funció holomorfa]] en un [[disc obert]] del [[pla complex]], la qual cosa condueix a la possibilitat de l'[[anàlisi complexa]].
* La sèrie (truncada) es pot fer servir per calcular numèricament valors de funcions. Sovint es fa transformant el polinomi a la [[forma de Txebixev]] i avaluant-lo amb l'[[algorisme de Clenshaw]].
* Les operacions algebraiques es poden fer fàcilment sobre la representació en forma de sèrie de potències; per exemple, la [[fórmula d'Euler]] surt de l'expansió de la sèrie de Taylor de funcions trigonomètriques i exponencials. Aquest resultat resulta d'una importància fonamental en camps com l'[[anàlisi harmònica]].
* Les aproximacions fetes fent servir pocs primers termes de la sèrie de Taylor poden convertir problemes que no podrien ser resolts en problemes possibles en un domini restringit. Aquest tipus d'aproximacions són freqüents en física.

==Aproximació i convergència==
[[Fitxer:Taylorsine.svg|miniatura|upright=1.4|La [[funció sinus]] (en blau) s'aproxima molt bé amb el seu polinomi de grau set (en rosa) per un període sencer centrat a l'origen.]]
[[Fitxer:LogTay.svg|miniatura|Amb els polinomis de Taylor de log(''1+x'') només s'obtenen aproximacions precises en el rang {{nowrap|−1 < ''x'' ≤ 1}}. Cal notar que per {{nowrap|''x'' > 1}} els polinomis de Taylor de grau més elevat són aproximacions pitjors.]]
La imatge de la dreta mostra una aproximació acurada de la funció ''<math>\sin(x)</math>'' al voltant del punt ''<math>x=0</math>''. La corba rosa és el polinomi de Taylor de grau set:

:<math>\sin\left( x \right) \approx x - \frac{x^3}{3!} + \frac{x^5}{5!} - \frac{x^7}{7!}\!</math>.

L'error d'aquesta aproximació no és superior a ''<math>\dfrac{|x|^9}{9!}</math>''. En particular, per ''<math>-1<x<1</math>'', l'error és inferior a 0,000003.

En contrast, la imatge inferior mostra la funció del [[logaritme]] <math>\log(1+x)</math> i alguns dels seus polinomis de Taylor al voltant de ''<math>a=0</math>''. Aquestes aproximacions convergeixen cap a la funció tan sols en l'interval ''<math>-1<x\leq1</math>''; fora d'aquest, els polinomis de Taylor de grau superior són aproximacions ''pitjors'' de la funció. Això és similar al [[fenomen de Runge]].

L'error que s'obté en aproximar una funció pel seu polinomi de Taylor de grau ''n'' s'anomena el [[residu (anàlisi numèrica)|residu]] i es denota per la funció ''<math>R_n(x)</math>''. Es pot utilitzar el [[teorema de Taylor]] per obtenir un rang de la mida del residu.

En general, la sèrie de Taylor no ha de ser necessàriament [[sèrie convergent|convergent]]. De fet, el conjunt de funcions que tenen sèrie de Taylor convergent és un [[conjunt magre]] de l'[[Espai T1|espai de Fréchet]] de les [[funció contínuament diferenciable|funcions contínuament diferenciables]]. Fins i tot si la sèrie de Taylor d'una funció ''<math>f</math>'' convergeix, el seu límit, en general, no ha de ser necessàriament igual al valor de la funció ''<math>f(x)</math>''. Per exemple:

:<math>
f(x) = \begin{cases}
e^{-\frac{1}{x^2}}&\mathrm{si}\ x\not=0\\
0&\mathrm{si}\ x=0
\end{cases}
</math>

Aquesta funció és [[infinitament diferenciable]] en ''<math>x=0</math>'', i en aquest punt totes les seves derivades són nul·les. Conseqüentment, la sèrie de Taylor de ''<math>f(x)</math>'' al voltant de ''<math>x=0</math>'' és idènticament zero. Tanmateix, ''<math>f(x)</math>'' no és igual a la funció zero i, per tant, tampoc no és igual a la seva sèrie de Taylor al voltant de l'origen.

En [[anàlisi real]], aquest exemple demostra que hi ha [[funció infinitament diferenciable|funcions infinitament diferenciables]] ''<math>f(x)</math>'' que tenen sèries de Taylor que ''no'' són iguals a ''<math>f(x)</math>'', fins i tot encara que convergeixin. D'altra banda, en [[anàlisi complexa]] ''no'' hi ha cap [[funció holomorfa]] ''<math>f(z)</math>'' que la seva sèrie de Taylor convergeixi a un valor diferent de ''<math>f(z)</math>''. La funció complexa ''<math>e^{-z^{-2}}</math>'' no s'aproxima a 0 quan ''<math>z</math>'' s'aproxima a 0 al llarg de l'eix imaginari i, per tant, la seva sèrie de Taylor aquí no es troba definida.

D'una manera més general, tota seqüència de nombres reals o complexos pot aparèixer com a [[coeficient]]s d'una sèrie de Taylor d'una funció infinitament diferenciable definida en la recta real; això és conseqüència del [[lema de Borel]]. Com a resultat, el [[radi de convergència]] d'una sèrie de Taylor pot ser zero. Fins i tot hi ha funcions infinitament diferenciables definides en la recta real les sèries de Taylor de les quals tenen un radi de convergència nul a tot arreu.<ref>{{ref-llibre | cognom = Rudin | nom = Walter | enllaçautor = Walter Rudin| títol = Real and Complex Analysis | lloc = Nova Dehli | editor = McGraw-Hill | data = 1980 | pàgines = 418, exercici 13 | isbn = 0-07-099557-5}}</ref>

Algunes funcions no es poden escriure en forma de sèrie de Taylor perquè tenen una [[singularitat (matemàtiques)|singularitat]]; tot i això, en aquests casos es pot aconseguir una expansió en forma de sèrie si es permeten potències negatives de ''<math>x</math>'' (vegeu [[Sèrie de Laurent]]). Per exemple, ''<math>f(x)=e^{-z^{-2}}</math>'' es pot escriure com una sèrie de Laurent.

===Generalització===
Existeix una generalització de la sèrie de Taylor que convergeix al valor de la mateixa funció per qualsevol [[funció contínua]] [[funció fitada|fitada]] en ''<math>(0,\infty)</math>'', fent servir el càlcul de [[diferència finita|diferències finites]].<ref>{{ref-llibre|nom=William|cognom=Feller|enllaçautor=William Feller|títol=An introduction to probability theory and its applications, Volume 2|edició=3a ed.|editorial=Wiley|any=1971|pàgines=230–232}}</ref><ref>{{ref-llibre|nom=Einar|cognom=Hille|enllaçautor=Einar Hille|nom2=Ralph S.|cognom2=Phillips|enllaçautor2=Ralph S. Phillips|títol=Functional analysis and semi-groups|editorial=American Mathematical Society|col·lecció=AMS Colloquium Publications|volum=31|any=1957|pàgines=300–327}}</ref> El següent teorema, enunciat per [[Einar Hille]], postula que per qualsevol ''<math>t<0</math>'',

:<math>\lim_{h\to 0^+}\sum_{n=0}^\infty \frac{t^n}{n!}\frac{\Delta_h^nf(a)}{h^n} = f(a+t).</math>

Aquí, ''<math>\Delta^n_h</math>'' és l'operador diferència finita ''<math>n</math>''-èsima de mida de pas ''<math>h</math>''. La sèrie és precisament la sèrie de Taylor, excepte pel fet que apareixen les diferències dividides en comptes de la diferenciació: la sèrie és formalment similar a la [[sèrie de Newton]]. Quan la funció ''<math>f</math>'' és analítica en ''<math>a</math>'', els termes de la sèrie convergeixen als termes de la sèrie de Taylor, és a dir, generalitzen aquesta darrera.

En general, per qualsevol seqüència infinita ''a''<sub>''i''</sub>, es manté la següent identitat de sèrie de potències:

:<math>\sum_{n=0}^\infty\frac{u^n}{n!}\Delta^na_i = e^{-u}\sum_{j=0}^\infty\frac{u^j}{j!}a_{i+j}.</math>

Per tant, en particular,

:<math>f(a+t) = \lim_{h\to 0^+} e^{-\frac th}\sum_{j=0}^\infty f(a+jh) \frac{\left(\frac th\right)^j}{j!}.</math>

La sèrie de la dreta és el [[esperança matemàtica|valor esperat]] de ''<math>f(a+X)</math>'', on ''<math>X</math>'' és una [[variable aleatòria]] que segueix la [[distribució de Poisson]] i que pren el valor ''<math>jh</math>'' amb probabilitat <math>\dfrac{\left(\frac th\right)^j}{e^{\frac th}j!}</math> Llavors,

:<math>f(a+t) = \lim_{h\to 0^+} \int\limits_{-\infty}^\infty f(a+x)dP_{\frac th,h}(x).</math>

La [[llei dels grans nombres]] fa que es mantingui aquesta identitat.

== Llista de sèries de Maclaurin d'algunes funcions comunes ==
{{VT|Llista de sèries matemàtiques}}
[[Fitxer:TaylorCosCos.png|miniatura|La part real de la [[funció cosinus]] al [[pla complex]]]]
[[Fitxer:TaylorCosPol.png|miniatura|Una aproximació de 8è grau de la funció cosinus al pla complex]]
[[Fitxer:TaylorCosAll.png|miniatura|Les dues corbes anteriors dibuixades al mateix gràfic]]
A continuació es mostren diverses expansions de sèries de Maclaurin de funcions importants.<ref>La majoria es poden trobar a: {{harv|Abramowitz|Stegun|1970}}</ref><ref name="mathworld" /> Totes les expansions són vàlides per arguments ''<math>x</math>'' complexos.

[[Funció exponencial]]:

:<math>e^{x} = \sum^{\infin}_{n=0} \frac{x^n}{n!} = 1 + x + \frac{x^2}{2!} + \frac{x^3}{3!} + \cdots\quad\text{ per tot } x\!</math>

[[Logaritme]]:

:<math>\log(1-x) = - \sum^{\infin}_{n=1} \frac{x^n}n\quad\text{ per } -1\le x<1</math>

:<math>\log(1+x) = \sum^{\infin}_{n=1} (-1)^{n+1}\frac{x^n}n\quad\text{ per }-1<x\le1</math>

[[Sèrie geomètrica]] finita:

:<math>\frac{1-x^{m + 1}}{1-x} = \sum^{m}_{n=0} x^n\quad\text{ per } x \not= 1 \,\,\text{ i } m\in\mathbb{N}_0\!</math>

Sèrie geomètrica infinita:

:<math>\frac{1}{1-x} = \sum^{\infin}_{n=0} x^n\quad\text{ per }|x| < 1\!</math>

Variants de la sèrie geomètrica infinita:

:<math>\frac{x}{x-1} = \sum^{\infin}_{n=0} x^{-n}\quad\text{ per }|x| > 1\!</math> 

:<math>\frac{x^m}{1-x} = \sum^{\infin}_{n=m} x^n\quad\text{ per }|x| < 1 \,\,\text{ i } m\in\mathbb{N}_0\!</math>

:<math>\frac{x}{(1-x)^2} = \sum^{\infin}_{n=1}n x^n\quad\text{ per }|x| < 1\!</math>

:<math>\frac{1}{(1-x)^2} = \sum^{\infin}_{n=1}n x^{n-1}\quad\text{ per }|x| < 1\!</math>

[[Arrel quadrada]]:
:<math>\sqrt{1+x} = \sum_{n=0}^\infty \frac{(-1)^n(2n)!}{(1-2n)(n!)^2(4^n)}x^n = 1 + \tfrac{1}{2} x - \tfrac{1}{8} x^2 + \tfrac{1}{16} x^3 - \tfrac{5}{128} x^4 + \dots\quad\text{ per }|x|\le1</math>

[[Sèrie binomial]] (inclou l'arrel quadrada per ''<math>\alpha=\frac12</math>'' i la sèrie geomètrica infinita per ''<math>\alpha=-1</math>''):

:<math>(1+x)^\alpha = \sum_{n=0}^\infty {\alpha \choose n} x^n\quad\text{ per tot }|x| < 1 \text{ i tot complex } \alpha\!</math>

amb [[coeficient binomial|coeficients binomials]] generalitzats

: <math>{\alpha\choose n} = \prod_{k=1}^n \frac{\alpha-k+1}k = \frac{\alpha(\alpha-1)\cdots(\alpha-n+1)}{n!}</math>

[[Funcions trigonomètriques]]:

:<math>\sin x = \sum^{\infin}_{n=0} \frac{(-1)^n}{(2n+1)!} x^{2n+1} = x - \frac{x^3}{3!} + \frac{x^5}{5!} - \cdots\quad\text{ per tot } x\!</math>

:<math>\cos x = \sum^{\infin}_{n=0} \frac{(-1)^n}{(2n)!} x^{2n} = 1 - \frac{x^2}{2!} + \frac{x^4}{4!} - \cdots\quad\text{ per tot } x\!</math>

:<math>\tan x = \sum^{\infin}_{n=1} \frac{B_{2n} (-4)^n (1-4^n)}{(2n)!} x^{2n-1} = x + \frac{x^3}{3} + \frac{2 x^5}{15} + \cdots\quad\text{ per }|x| < \frac{\pi}{2}\!</math>

:<math>\sec x = \sum^{\infin}_{n=0} \frac{(-1)^n E_{2n}}{(2n)!} x^{2n}\quad\text{ per }|x| < \frac{\pi}{2}\!</math>

:<math>\arcsin x = \sum^{\infin}_{n=0} \frac{(2n)!}{4^n (n!)^2 (2n+1)} x^{2n+1}\quad\text{ per }|x| \le 1\!</math>

:<math>\arccos x ={\pi\over 2}-\arcsin x={\pi\over 2}- \sum^{\infin}_{n=0} \frac{(2n)!}{4^n (n!)^2 (2n+1)} x^{2n+1}\quad\text{ per }|x| \le 1\!</math>

:<math>\arctan x = \sum^{\infin}_{n=0} \frac{(-1)^n}{2n+1} x^{2n+1}\quad\text{ per }|x| \le 1, x\not=\pm i\!</math>

[[Funcions hiperbòliques]]:

:<math>\sinh x = \sum^{\infin}_{n=0} \frac{x^{2n+1}}{(2n+1)!} = x + \frac{x^3}{3!} + \frac{x^5}{5!} + \cdots\quad\text{ per tot } x\!</math>

:<math>\cosh x = \sum^{\infin}_{n=0} \frac{x^{2n}}{(2n)!} = 1 + \frac{x^2}{2!} + \frac{x^4}{4!} + \cdots\quad\text{ per tot } x\!</math>

:<math>\tanh x = \sum^{\infin}_{n=1} \frac{B_{2n} 4^n (4^n-1)}{(2n)!} x^{2n-1} = x-\frac{1}{3}x^3+\frac{2}{15}x^5-\frac{17}{315}x^7+\cdots \quad\text{ per }|x| < \frac{\pi}{2}\!</math>

:<math>\mathrm{arsinh} (x) = \sum^{\infin}_{n=0} \frac{(-1)^n (2n)!}{4^n (n!)^2 (2n+1)} x^{2n+1}\quad\text{ per }|x| \le 1\!</math>

:<math>\mathrm{artanh} (x) = \sum^{\infin}_{n=0} \frac{x^{2n+1}}{2n+1} \quad\text{ per }|x| < 1\!</math>

Els nombres ''<math>B_k</math>'' que apareixen en les expansions del sumatori de ''<math>\tan(x)</math>'' i ''<math>\tanh(x)</math>'' són els [[nombres de Bernoulli]]. Els ''<math>E_k</math>'' en l'expansió de ''<math>\sec(x)</math>'' són [[nombre d'Euler|nombres d'Euler]].

==Càlcul de la sèrie de Taylor==
Existeixen molts mètodes per calcular la sèrie de Taylor d'un gran nombre de funcions. Es pot intentar fer servir la sèrie de Taylor tal com és i generalitzar la forma dels coeficients directament, o bé es poden utilitzar manipulacions com la substitució, multiplicació, divisió, addició o subtracció de la sèrie de Taylor estàndard per construir la sèrie de Taylor d'una funció (això és possible perquè la sèrie de Taylor és una sèrie de potències). En alguns casos, també es pot obtenir la sèrie de Taylor aplicant repetidament la [[integració per parts]]. Un mètode particularment útil de calcular la sèrie de Taylor són els [[sistema algebraic computacional|sistemes algebraics computacionals]].

===Primer exemple===
Es vol calcular el polinomi de Taylor (o de MacLaurin) de grau 7 per la funció

:<math>f(x)=\log\cos x, \quad x\in\left(-\dfrac\pi2, \dfrac\pi2\right)\!</math>.

Primer, es reescriu la funció com
:<math>f(x)=\log(1+(\cos x-1))\!</math>.

Pel logaritme es té que (fent servir la [[notació de Landau]] o notació d'O gran)

:<math>\log(1+x) = x - \frac{x^2}2 + \frac{x^3}3 + {O}(x^4)\!</math>

i per la funció cosinus

:<math>\cos x - 1 = -\frac{x^2}2 + \frac{x^4}{24} - \frac{x^6}{720} + {O}(x^8)\!</math>

La darrera expansió de la sèrie té un [[terme constant]] igual a zero, la qual cosa permet substituir la segona sèrie dins de la primera i ometre els termes d'ordre superior que els de grau 7 fent servir la notació de Landau:

:<math>\begin{align}f(x)&=\log(1+(\cos x-1))\\
&=\bigl(\cos x-1\bigr) - \frac12\bigl(\cos x-1\bigr)^2 + \frac13\bigl(\cos x-1\bigr)^3+ {O}\bigl((\cos x-1)^4\bigr)\\&=\biggl(-\frac{x^2}2 + \frac{x^4}{24} - \frac{x^6}{720} +{O}(x^8)\biggr)-\frac12\biggl(-\frac{x^2}2+\frac{x^4}{24}+{O}(x^6)\biggr)^2+\frac13\biggl(-\frac{x^2}2+O(x^4)\biggr)^3 + {O}(x^8)\\ & =-\frac{x^2}2 + \frac{x^4}{24}-\frac{x^6}{720} - \frac{x^4}8 + \frac{x^6}{48} - \frac{x^6}{24} +O(x^8)\\
& =- \frac{x^2}2 - \frac{x^4}{12} - \frac{x^6}{45}+O(x^8). \end{align}\!</math>

Com que el cosinus és una [[funció parella]], els coeficients de totes les potències imparelles ''<math>(x,x^3,x^5,x^7,\ldots)</math>'' han de ser zero.

===Segon exemple===
Es vol obtenir la sèrie de Taylor centrada en 0 de la funció

: <math>g(x)=\frac{e^x}{\cos x}\!</math>.

Per una [[funció exponencial]] es té que
: <math>e^x = \sum^\infty_{n=0} {x^n\over n!} =1 + x + {x^2 \over 2!} + {x^3 \over 3!} + {x^4 \over 4!}+\cdots\!</math>

i, igual que en el primer exemple,
: <math>\cos x = 1 - {x^2 \over 2!} + {x^4 \over 4!} - \cdots\!</math>

S'assumeix que la sèrie de potències és
: <math>{e^x \over \cos x} = c_0 + c_1 x + c_2 x^2 + c_3 x^3 + \cdots\!</math>

Llavors, si es multiplica amb el denominador i se substitueix la sèrie del cosinus s'obté

: <math>\begin{align} e^x &= (c_0 + c_1 x + c_2 x^2 + c_3 x^3 + \cdots)\cos x\\
&=\left(c_0 + c_1 x + c_2 x^2 + c_3 x^3 + c_4x^4 + \cdots\right)\left(1 - {x^2 \over 2!} + {x^4 \over 4!} - \cdots\right)\\&=c_0 - {c_0 \over 2}x^2 + {c_0 \over 4!}x^4 + c_1x - {c_1 \over 2}x^3 + {c_1 \over 4!}x^5 + c_2x^2 - {c_2 \over 2}x^4 + {c_2 \over 4!}x^6 + c_3x^3 - {c_3 \over 2}x^5 + {c_3 \over 4!}x^7 +\cdots \end{align}\!</math>

Agrupant termes fins a l'ordre quatre dóna

: <math>=c_0 + c_1x + \left(c_2 - {c_0 \over 2}\right)x^2 + \left(c_3 - {c_1 \over 2}\right)x^3+\left(c_4+{c_0 \over 4!}-{c_2\over 2}\right)x^4 + \cdots\!</math>

Finalment, si es comparen els coeficients amb la sèrie de la funció exponencial, s'obté la sèrie de Taylor desitjada:

: <math>\frac{e^x}{\cos x}=1 + x + x^2 + {2x^3 \over 3} + {x^4 \over 2} + \cdots</math>

===Tercer exemple===
En aquest cas es fa servir un mètode anomenat «expansió indirecta» per aconseguir expandir la funció donada. Es vol expandir la següent funció en forma d'una sèrie de potències de ''<math>x</math>'':

: <math>(1 + x)e^x</math>.

Se sap que la sèrie de Taylor de la funció <math>e^x</math> és
: <math>e^x = \sum^\infty_{n=0} {x^n\over n!} =1 + x + {x^2 \over 2!} + {x^3 \over 3!} + {x^4 \over 4!}+\cdots\!, -\infty<x<+\infty</math>

Llavors,
: <math>\begin{align}(1+x)e^x &= e^x + xe^x = \sum^\infty_{n=0} {x^n\over n!} + \sum^\infty_{n=0} {x^{n+1}\over n!} = 1 + \sum^\infty_{n=1} {x^n\over n!} + \sum^\infty_{n=0} {x^{n+1}\over n!} \\ &= 1 + \sum^\infty_{n=1} {x^n\over n!} + \sum^\infty_{n=1} {x^{n}\over (n-1)!} =1 + \sum^\infty_{n=1}\left({1\over n!} + {1\over (n-1)!}\right)x^n \\ &= 1 + \sum^\infty_{n=1}{n+1\over n!}x^n, -\infty<x<+\infty  \\ &= \sum^\infty_{n=0}{n+1\over n!}x^n\end{align}</math>

== Sèrie de Taylor com a definició ==
Clàssicament, les [[funció algebraica|funcions algebraiques]] es defineixen per una equació algebraica, i les [[funció transcendent|funcions transcendents]] es defineixen per alguna propietat que satisfacin, com ara una [[equació diferencial]]. Per exemple, la [[funció exponencial]] és la funció que és igual a la seva pròpia [[derivada]] en qualsevol punt, i assumeix el valor 1 a l'origen. També es pot definir una [[funció analítica]] per la seva sèrie de Taylor.

La sèrie de Taylor es fa servir per definir funcions i «[[operador (matemàtiques)|operador]]s» en diverses àrees de les matemàtiques. Particularment, això és cert en àrees en les quals les definicions clàssiques de les funcions no es compleixen. Per exemple, es poden definir –fent servir la sèrie de Taylor– funcions analítiques de matrius i operadors tals com l'[[exponencial d'una matriu]] o el [[logaritme d'una matriu]].

En altres àrees, com per exemple l'anàlisi formal, és més convenient treballar directament amb la mateixa [[sèrie de potències]]. Llavors, es pot definir una solució d'una equació diferencial ''com'' una sèrie de potències que, tal com es vol demostrar, és la sèrie de Taylor de la solució desitjada.

== Sèrie de Taylor de diverses variables ==
La sèrie de Taylor també es pot generalitzar per funcions de més d'una variable amb:

:<math>T(x_1,\dots,x_d) = \sum_{n_1=0}^\infty \sum_{n_2=0}^\infty \cdots \sum_{n_d = 0}^\infty 
\frac{(x_1-a_1)^{n_1}\cdots (x_d-a_d)^{n_d}}{n_1!\cdots n_d!}\,\left(\frac{\partial^{n_1 + \cdots + n_d}f}{\partial x_1^{n_1}\cdots \partial x_d^{n_d}}\right)(a_1,\dots,a_d).\!</math>

Per exemple, per una funció que depèn de dues variables ''<math>x</math>'' i ''<math>y</math>'', la sèrie de Taylor de segon ordre al voltant del punt ''<math>(a,b)</math>'' és:

:<math>
\begin{align}
f(x,y) & \approx f(a,b) +(x-a)\, f_x(a,b) +(y-b)\, f_y(a,b) \\
& {}\quad + \frac{1}{2!}\left[ (x-a)^2\,f_{xx}(a,b) + 2(x-a)(y-b)\,f_{xy}(a,b) +(y-b)^2\, f_{yy}(a,b) \right],
\end{align}
</math>

Els subíndexs denoten les [[derivada parcial|derivades parcials]] respectives.

Una expansió de segon ordre de la sèrie de Taylor d'una funció escalar de més d'una variable es pot escriure de manera compacta com:

:<math>T(\mathbf{x}) = f(\mathbf{a}) + \mathrm{D} f(\mathbf{a})^T (\mathbf{x} - \mathbf{a})  + \frac{1}{2!} (\mathbf{x} - \mathbf{a})^T \,\{\mathrm{D}^2 f(\mathbf{a})\}\,(\mathbf{x} - \mathbf{a}) + \cdots\!
\,,</math>

on <math>D f(\mathbf{a})\!</math> és el [[gradient (matemàtiques)|gradient]] de <math>\,f</math> avaluat en <math>\mathbf{x} = \mathbf{a}</math> i <math>D^2 f(\mathbf{a})\!</math> és la [[matriu hessiana]]. Si s'aplica la [[notació multiíndex]], la sèrie de Taylor per diverses variables esdevé:

:<math>T(\mathbf{x}) = \sum_{|\alpha| \ge 0}^{}\frac{(\mathbf{x}-\mathbf{a})^{\alpha}}{\alpha !}\,({\mathrm{\partial}^{\alpha}}\,f)(\mathbf{a})\,,</math>

Aquesta forma s'ha d'entendre com una versió multiíndex encara més abreujada de la primera equació d'aquesta secció, de nou en analogia completa amb el cas d'una sola variable.

=== Exemple ===
[[Fitxer:Taylor e^xln1plusy.png|miniatura|Aproximació per sèrie de Taylor de segon ordre (en gris) de la funció <math>{\scriptstyle f(x,y) = e^x\log{(1+y)}}</math> al voltant de l'origen]]
Es vol calcular l'expansió de la sèrie de Taylor de segon ordre al voltant del punt <math>(a,b) = (0,0)</math> de la funció
:<math>f(x,y)=e^x\log(1+y).\,</math>

En primer lloc, cal calcular totes les derivades parcials necessàries:

:<math>f_x(a,b)=e^x\log(1+y)\bigg|_{(x,y)=(0,0)}=0\,,</math>

:<math>f_y(a,b)=\frac{e^x}{1+y}\bigg|_{(x,y)=(0,0)}=1\,,</math>

:<math>f_{xx}(a,b)=e^x\log(1+y)\bigg|_{(x,y)=(0,0)}=0\,,</math>

:<math>f_{yy}(a,b)=-\frac{e^x}{(1+y)^2}\bigg|_{(x,y)=(0,0)}=-1\,,</math>

:<math>f_{xy}(a,b)=f_{yx}(a,b)=\frac{e^x}{1+y}\bigg|_{(x,y)=(0,0)}=1.</math>

La sèrie de Taylor és:

:<math>\begin{align} T(x,y) = f(a,b) & +(x-a)\, f_x(a,b) +(y-b)\, f_y(a,b) \\
&+\frac{1}{2!}\left[ (x-a)^2\,f_{xx}(a,b) + 2(x-a)(y-b)\,f_{xy}(a,b) +(y-b)^2\, f_{yy}(a,b) \right]+
\cdots\,,\end{align}</math>

Que en aquest cas esdevé:

:<math>\begin{align}T(x,y) &= 0 + 0(x-0) + 1(y-0) + \frac{1}{2}\Big[ 0(x-0)^2 + 2(x-0)(y-0) + (-1)(y-0)^2 \Big] + \cdots \\
&= y + xy - \frac{y^2}{2} + \cdots. \end{align}
</math>

com que <math>\log(1+y)</math> és analític en<math>|y|<1</math>, es té que:

:<math>e^x\log(1+y)= y + xy - \frac{y^2}{2} + \cdots</math>

per <math>|y|<1</math>.

== Sèrie de Taylor fraccionària ==
Amb l'emergència del [[càlcul fraccionari]] es planteja la pregunta de com seria el desenvolupament de la sèrie de Taylor. Odibat i Shawagfeh<ref>{{ref-llibre |cognom=Odibat|nom=ZM.|cognom2=Shawagfeh|nom2= NT.|data=2007|títol=Generalized Taylor's formula. Applied Mathematics and Computation |capítol=186|pàgines=286-293|llengua=anglès}}</ref> van donar-ne la resposta el 2007. Si es fa servir la derivada fraccionària de Caputo, <math>0<\alpha<1\,\!</math>, i <math>x+\,\!</math> indica el límit en aproximar-se per la dreta, la sèrie de Taylor fraccionària es pot escriure com:

:<math>f(x+\Delta x) = f(x) + D_x^\alpha  f(x+)\frac{(\Delta x)^\alpha}{\Gamma(\alpha+1)} + D_x^\alpha  D_x^\alpha f(x+)\frac{(\Delta x)^{2\alpha}}{\Gamma(2\alpha+1)} + \cdots.</math>

== Comparació amb la sèrie de Fourier ==
{{AP|Sèrie de Fourier}}
La [[Sèrie de Fourier|sèrie de Fourier trigonomètrica]] permet expressar una [[funció periòdica]] (o una funció definida en un interval compacte) en una suma infinita de [[funcions trigonomètriques]] ([[sinus]] i [[cosinus]]).<ref>{{MathWorld| urlname= FourierSeries| title= Fourier Series}}</ref> En aquest sentit, la sèrie de Fourier es pot considerar anàloga a la sèrie de Taylor, ja que aquesta permet expressar una funció com a suma infinita de [[funció potencial|potències]]. Tanmateix els dos tipus de sèrie difereixen en qüestions fonamentals:
* El càlcul de la sèrie de Taylor requereix el coneixement de la funció en un [[veïnat (matemàtiques)|veïnat]] arbitràriament petit d'un punt, mentre que el càlcul de la sèrie de Fourier requereix conèixer la funció en tot el seu [[interval (matemàtiques)|interval]] de domini. En certa manera es podria dir que la sèrie de Taylor és «local» i la sèrie de Fourier «global».
* El càlcul de la sèrie de Taylor requereix que la funció sigui de classe ''<math>C^\infty</math>'', mentre que el de la sèrie de Fourier només requereix que la funció sigui [[funció integrable|integrable]] (i doncs ni cal que sigui contínua).
* La convergència de les dues sèries té propietats molt diferents. Encara que la sèrie de Taylor tingui radi de convergència estrictament positiu, la sèrie resultant pot no coincidir amb la funció; però si la funció és analítica, aleshores la sèrie [[convergència puntual|convergeix puntualment]] a la funció, i [[convergència uniforme|uniformement]] en cada conjunt compacte. Pel que fa a la sèrie de Fourier, si la funció és de [[funció de quadrat integrable|quadrat integrable]] aleshores la sèrie convergeix en mitjana quadràtica; però calen requisits addicionals per assegurar la convergència puntual o la uniforme (per exemple, si la funció és periòdica i de classe ''<math>C^1</math>'' aleshores la convergència és uniforme).
* Finalment, a la pràctica es vol aproximar la funció amb un nombre finit de termes, ja sigui el polinomi de Taylor o una suma parcial de la sèrie trigonomètrica, respectivament. En el cas de la sèrie de Taylor l'[[Error d'aproximació|error]] és molt petit en un veïnat del punt on es calcula, mentre que l'error pot ser molt gran en un punt allunyat. En el cas de la sèrie de Fourier l'error està distribuït per tot el domini de la funció.

== Referències ==
{{referències}}

== Bibliografia ==
*{{ref-llibre| cognom=Abramowitz| nom=Milton|cognom2=Stegun| nom2=Irene A.| títol=[[Abramowitz and Stegun|Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables]]| editorial=[[Dover Publications]]| lloc=Nova York| any=1970 |llengua=anglès}}
*{{ref-llibre| cognom=Thomas|nom=George B. Jr.|cognom2=Finney|nom2=Ross L.| títol=Calculus and Analytic Geometry |edició=9a ed| editorial=Addison Wesley| any=1996| isbn=0-201-53174-7 |llengua=anglès}}
*{{ref-llibre| cognom=Greenberg|nom=Michael| títol=Advanced Engineering Mathematics |edició=2a ed| editorial=Prentice Hall| any=1998| isbn=0-13-321431-1 |llengua=anglès}}

== Vegeu també ==
* [[Aproximant de Padé]]
* [[Sèrie de Laurent]]

== Enllaços externs==
{{commonscat}}
* {{springer|title=Taylor series|id=p/t092320}}
* [http://math.fullerton.edu/mathews/c2003/TaylorSeriesMod.html Representació de la sèrie de Taylor per John H. Mathews] {{en}}
* [http://stud3.tuwien.ac.at/~e0004876/taylor/Taylor_en.html Una altra visualització de la sèrie de Taylor] en la qual es pot escollir el punt d'aproximació i el nombre de derivades {{en}}
* [http://numericalmethods.eng.usf.edu/topics/taylor_series.html ''Taylor series revisited for numerical methods''] a [http://numericalmethods.eng.usf.edu Numerical Methods for the STEM Undergraduate] {{en}}
* [http://www.efunda.com/math/taylor_series/inverse_trig.cfm Sèrie de Taylor de funcions trigonomètriques inverses] {{en}}
* [http://www.mathworks.com/help/symbolic/taylor.html Matlab- Expansió en sèries de Taylor ] {{en}}

{{Article bo}}
{{ORDENA:Serie De Taylor}}
{{autoritat}}
[[Categoria:Càlcul]]
[[Categoria:Sèries|Taylor]]
[[Categoria:Anàlisi complexa]]
[[Categoria:Anàlisi funcional]]
[[Categoria:Articles bons de matemàtiques]]
[[Categoria:Traduccions que són articles bons]]