1.5 Serie de Taylor

MTODOS NUMRICOS
1.5 Serie de Taylor
Gustavo Rocha 20052005-2
1.5 Serie de Taylor
1.5 Serie de Taylor

La serie de Taylor es, sin duda, el fundamento matemtico ms importante para comprender, manejar y formular mtodos numricos que se basan en la aproximacin de funciones por medio de polinomios. Aunque a veces no sea muy evidente, la mayora de los mtodos numricos se basan en la aproximacin de funciones por medio de polinomios.
1.5 Serie de Taylor

La expansin de Taylor de una funcin, es una serie infinita de potencias que representa, de manera exacta, el comportamiento de la funcin en la vecindad de un punto dado. Si se ignoran todos los trminos de la serie de Taylor, excepto unos cuantos, se obtiene un polinomio que aproxima a la funcin verdadera. El error del mtodo numrico depende de la precisin con la que el polinomio aproxima a a la funcin verdadera. Los errores por truncamiento se evalan a travs de la comparacin del desarrollo polinomial de la solucin numrica, con la serie de Taylor, de la solucin exacta.
1.5.1 Expansin en serie de Taylor

Sea una funcin f(X) que tiene derivadas continuas hasta de orden n en el punto Xi, para el cual se conoce el valor de la funcin a0 y el de sus derivadas: a1, a2, a3, a4, an,
f(x)
f(Xi+1)
a0 xi Xi+1

Se trata de encontrar un polinomio de la forma:
P(X) = a a1X a X
a 3X 3
...
a nX n
... _____ (1.13) 13)
que permita predecir el valor de la funcin en un punto cualquiera X, en trminos de la propia funcin y de sus derivadas en el punto Xi.
El polinomio P(X) se hace coincidir con la funcin f(X), y las primeras n derivadas del polinomio se hacen coincidir con las n primeras derivadas de la funcin en el punto Xi.
P(Xi ) = f(Xi ) P'(Xi) = f'(Xi ) P''(Xi ) = f''(Xi ) ... P(n) (Xi ) = f (n) (Xi )
_____ (1.14)

El valor de la funcin en un punto cualquiera X se puede evaluar a travs de un polinomio equivalente al de la expresin (1.13):
f(X) (X) b b1(X X) b (X X) i i b3(X X)3 ... bn(X X)n ... ____ (1.15) i i
Desarrollando la expresin (1.15) y comparndola con la expresin (1.13), se obtiene:

a a1 a an b b1 b ... bn ... b1Xi b Xi 3b 3 Xi b Xi 3b3 Xi 6b X i b3 Xi3 ... b Xi ... ... b Xi3
_____(1.16)

Las n primeras derivadas del polinomio son:
'(X) = ''(X) = '''(X) =
(n) 1
(X Xi )
(X Xi ) ...
...
n
n n (X Xi )n 1 ... ...
...

... ...
(X Xi )
n(n 1) n (X Xi )n
n(n 1)(n ) n (X Xi )
_____ (1.17)
(X) = n(n 1)(n-2) ... 3 2 1bn + ... = n!bn + ...
Evaluando el polinomio y sus derivadas en el punto Xi:
P(Xi ) = b ! 0!b P'(Xi ) = b1 ! 1 1 !b P''(Xi ) = 2b2 = 2!b2 ... P(n) (Xi ) = n!bn
_____ (1.18)

Considerando simultneamente las expresiones (1.14) y (1.18):
b0 = f( i ) b1 = f ( i )/1! b2 = f ( i )/2! ... bn = f(n)( i )/n!

Sustituyendo los valores de los coeficientes dados en (1.19) en la expresin (1.15): _______ (1.19)
f( ) = f( i )
f ( i )(
i) / !
i)
f ( i )( ... f (n)( i )(
)2 /2! i )n /n! i ...
_____ (1.20)
f ( i )(
que en forma sinttica se expresa:

g
f( ) =
f(j)(
j=0
)(
) /j!
_____ (1.20 )

Las expresiones (1.20) y (1.20 ) son equivalentes y representan la expansin en serie de Taylor que permite evaluar el valor de la funcin en cualquier punto X, en trminos de la propia funcin y de sus derivadas en el punto Xi. Se pueden presentar dos casos: A) Cuando el valor de X se encuentra a la derecha de Xi, se usa la nomenclatura Xi+1, con lo que se indica que es mayor que Xi.
Xi+1 > Xi ;
g ()
X i+1 X i
h>0
g ()
f(Xi+1 )
f
0
(Xi )(Xi+1 Xi ) !
f
0
(Xi )h !
_____ (1.21)
donde h se denomina tamao del paso, tratndose en este caso de un paso hacia adelante.

B) Cuando el valor de X se encuentra a la izquierda de Xi, se usa la nomenclatura Xi-1, con lo que se indica que es menor que Xi.
X Xi-1 < Xi Xi - Xi-1
(j)
0 f (Xi )(Xi - Xi-1 )j /j!

(j)
f(Xi-1 )
j par
(Xi )(Xi - Xi-1 )j /j! -
j impar
_____ (1.22)
f(Xi-1 )
j par
(j)
(Xi )hj /j! -
j impar
f (Xi )hj /j!
(j)
_____ (1.22 )
donde h es el tamao del paso, tratndose en este caso de un paso hacia atrs. Para cada combinacin de puntos Xi, Xi+1 en una funcin f(x), la serie de Taylor es nica, es decir, no hay otra serie de potencias en h Xi+1 Xi , para representar a f(X)

Ejemplo. En el punto Xi los siguientes valores:
f(1) 1 f (1)
1, la funcin f(X) y sus derivadas toman

6 f (1) 2 f (1) 6.
A partir de estos datos y utilizando la expansin en serie de Taylor dada en (1.21), encontrar el polinomio que permita predecir valor de la funcin para cualquier valor de X, y, en particular, el valor de la funcin para Xi+1 3.
f(X) 1 + 6(X - 1) + 2(X - 1)2 2 + 6(X - 1)3 3 1 + 6X - 6 + X2 - 2X + 1 + X3 - 3X2 + 3X - 1 - 5 + 7X - 2X2 + X3 h Xi+1 - Xi f(3) 3-1 2 25 f(Xi+1) 1 + 6(2) + 2(2)2 2 + 6(2)3 3 1 + 12 + 4 + 8

Vamos a repetir el ejercicio, pero ahora considerando la expansin en serie de Taylor dada en (1.22) y obteniendo el valor de la funcin para Xi-1 f(X) 0. 1 - 6(1 - X) + 2(1 - X)2 2 - 6(1 - X)3 3 1 - 6 + 6X + X2 - 2X + 1 - 1 + 3X - 3X2 + X3 - 5 + 7X - 2X2 + X3 h Xi - Xi-1 f(0) 1-0 1
f(Xi-1)
1 - 6(1) + 2(1)2 2 - 6(1)3 3 -5
1-6+1-1

En el ejercicio anterior, el polinomio obtenido se ajusta perfectamente a la funcin, porque sta es algebraica, polinomial de tercer grado en este caso, las derivadas de orden superior al tercero se anulan, por lo que los primeros cuatro trminos de la expansin en serie de Taylor son suficientes para determinar, sin error alguno, el comportamiento de la funcin, para cualquier valor de X. Pero no siempre es as cuando se trata de funciones trascendentes o mixtas, la expansin en serie de Taylor slo puede proporcionar una aproximacin a la funcin de inters, porque, en ese caso, cada uno de los trminos de la serie infinita tiene un valor absoluto diferente de cero, con el que participa, as sea de manera mnima, en el valor de la funcin. En virtud de que no es posible considerar un nmero infinito de trminos, no hay ms remedio que truncar la serie y considerar nicamente los n primeros.

Una funcin f(x) es analtica en xi, si se puede representar por medio de una serie de potencias en trminos de h xi+i xi, dentro de un radio de convergencia 0 < `xi+i - xi`, y si todas sus derivadas son continuas en la vecindad de xi. Los polinomios son funciones analticas en todas partes. Si la funcin f(x) es diferenciable en todas partes de la vecindad de un punto x0, excepto en el mismo, el punto se denomina singular y entonces la funcin no es analtica en x0. Algunas funciones trascendentes tienen puntos singulares por ejemplo, tan(x) es analtica excepto en s(n + )T.

Ejemplo. Aproximar la funcin f(X) cos X en 30r, conociendo los valores de la funcin y el de sus derivadas para 0 y considerando los primeros siete trminos de la expansin en serie de Taylor. No olvidemos trabajar en radianes:
Xi f(X) 0r 0 Xi+1 30r
T6
Xi+1 - Xi
T 6-0
T 6
f(Xi) + f (Xi)h + f (Xi)h2 2 + f (Xi)h3 3 + fiv(Xi)h4 4 + fv(Xi)h5 5 + fvi(Xi)h6 6 f(X) f (X) f (X) f (X) fiv(X) fv(X) fvi(X) cos X - sen X - cos X sen X cos X - sen X - cos X f(0) f (0) f (0) f (0) fiv(0) fv(0) fvi(0) cos 0 1 - sen 0 0 - cos 0 - 1 sen 0 0 cos 0 1 - sen 0 0 - cos 0 - 1

Ejemplos: Los desarrollos en serie de Taylor de e-x y de sen x, en la vecindad de x 1, son respectivamente:
h -1 h3 -1 h4 -1 e - he + e - e + e - ... e 2! 3! 4! h h3 h4 sen(x) sen(1) + h cos(1) sen(1) cos(1) sen(1) ... 2! 3! 4!
-x -1 -1
El desarrollo en serie de Taylor de una funcin alrededor de x 0 recibe el nombre de serie de Maclaurin por ejemplo: ex, cos x, y ln(x+1) x 2 x3 x 4 e 1+x+ + + + ... 2! 3! 4! x2 x4 x6 x8 cos(x) 1 ... 2! 4! 6! 8! x 2 x3 x 4 ln(x 1) x + + + + ... 2 3 4
x

f(T/6) 1 - 1(T/6)2/2! + 1(T/6)4/4! - 1(T/6)6/6!
= 1 - 0.1370778 + 0.0031317 - 0.0000286 = 0.8660252 Considerando como "verdadero" el valor que ofrece una calculadora cientfica de 8 dgitos, que es: cos 30r = 0.8660254, se aprecia que el truncamiento a siete trminos de la serie, conduce a un pequeo error de 0.0000002
1.5.2 El residuo de la serie de Taylor

En la seccin 1.4 se esboz lo que era un error por truncamiento, pero no qued lo suficientemente claro, porque para comprender este concepto, faltaba conocer a detalle el comportamiento de la expansin en serie de Taylor. Ahora podemos entender con claridad qu es un truncamiento y cmo repercute ste en un error, al aproximar el valor de una funcin para un determinado valor de la variable, considerando solamente los primeros n trminos de la serie infinita. Los trminos de la serie que se desprecian constituyen un residuo cuyo valor puede tener signo positivo, en detrimento del valor de la funcin, o negativo, en profusin del valor de la funcin en trminos absolutos, este residuo puede ser significativo o insignificante (como sucedi en el ejemplo anterior), lo cual depende de dos factores:

1) El valor de n, es decir, el nmero de trminos de la serie, considerados al aproximar el valor de la funcin mientras mayor sea el valor de n, menor ser el residuo y mejor ser la aproximacin al valor de la funcin. 2) El valor de h, es decir, el tamao del paso o distancia entre el valor de la variable para el cual se evala la funcin y el valor de la variable para el que se conoce el valor de la funcin y el de sus derivadas mientras menor sea el valor de h, mayor ser la cercana entre Xi y Xi+1 y, por ende, mejor ser la aproximacin al valor de la funcin.

En adelante, y en tanto no se indique lo contrario, usaremos nicamente la expansin en serie de Taylor que considera el paso hacia adelante para aproximar f(Xi+1) a partir de f(Xi) y sus derivadas, conforme a la expresin (1.21), la que en forma explcita se escribe:
f(Xi+1) = f(Xi) + f (Xi)h + f (Xi)h2/2! + f (Xi)h3/3! + ... + f(n)(Xi)hn/n! + ...__ (1.21 ) y en forma alternativa: f(Xi+1) = f(Xi) + f (Xi)h + f (Xi)h2/2! + f (Xi)h3/3! + ... + f(n)(Xi)hn/n! + Rn (1.23)
Esta ltima expresin se conoce como expansin en serie de Taylor con residuo, y es idntica a la expresin (1.21 ), excepto porque los puntos suspensivos se han sustituido por el trmino Rn, que sintetiza los trminos de la serie que se han despreciado y se conoce con el nombre de residuo de la aproximacin al n-simo orden. nLa serie se puede truncar en cualquier punto, de manera que el subndice n indica que slo se han incluido en la aproximacin los primeros (n+1) trminos de la serie.

Por ejemplo, podemos truncar la serie a un solo trmino (n = 0): f(Xi+1) $ f(Xi) lo que implica suponer que la funcin que se va a aproximar es una constante: P(X) = a0 si tal suposicin es cierta, la aproximacin resulta perfecta y no hay error alguno, pero si no es as, existe un residuo R0 tal que se cumple: f(Xi+1) = f(Xi) + R0 R0 = f (Xi)h + f (Xi)h2/2! + f (Xi)h3/3! +...+ f(n)(Xi)hn/n! +... _____ (1.24) R0 es el residuo de orden cero y representa una serie infinita idntica a la de la expresin (1.21 ), excepto por la exclusin del primer trmino. Para simplificar, podramos truncar el residuo a solo un trmino: R0 f (Xi)h, despreciando todos los dems, pero esto obviamente no es exacto. Conviene entonces encontrar una manera ms adecuada de valorar R0.

Auxilindonos en la siguiente figura, podemos ver fcilmente que la recta que une los puntos [Xi, f(Xi)], [Xi+1,f(Xi+1)], tiene pendiente R0/h.
f(x) f(\) f(Xi+1)
R0 = f(Xi+1) - f(xi)
f(xi) xi
P(X) = ao
Xi+1

Invocando el teorema del valor medio, podemos asegurar que existe un punto , entre Xi y Xi+1, para el cual el valor de la primera derivada f (\), es decir, la pendiente de la tangente de la funcin en ese punto, es paralela a la recta mencionada previamente: R0/h = f (\) y entonces: R0 = f (\)h _____ (1.25) De manera similar, si truncamos la serie a dos trminos (n=2): f(Xi+1) f(Xi) + f (Xi)h estaremos suponiendo que la funcin que se va a aproximar es una recta: P(X) = a0 + a1X si la suposicin es correcta, la aproximacin es perfecta y sin error, pero si no es as, existe un residuo R1 tal que: f(Xi+1) = f(Xi) + f (Xi)h + R1 R1 = f (Xi)h2/2! + f (Xi)h3/3! + ... + f(n)(Xi)hn/n! + ... R1 es un residuo de primer orden que, al igual que se hizo con R0, pero ahora considerando el teorema extendido del valor medio, tambin se puede evaluar de manera exacta mediante: R1 = f (\)h2/2! Y as, sucesivamente:

f(x) P(X) = ao + a1x + a2x2 f(Xi+1) f(x)
P(X) = ao + a1x
ao xi Xi+1
P(X) = ao x

Un truncamiento a tres trminos (n = 2), supone que la funcin a aproximar es una parbola P(X) = a0 + a1X + a2X2 y un posible error dado por el residuo de segundo orden R2. Un truncamiento a cuatro trminos (n = 3), supone que la funcin a aproximar es una parbola cbica P(X) = a0 + a1X + a2X2 + a3X3 y un posible error dado por el residuo de segundo orden R3. En general, un truncamiento a (n+1) trminos de la serie, supone un polinomio P(X) = a0 + a1X + a2X2 + a3X3 + ... + anXn y un posible error dado por el residuo de n-simo orden, que se expresa: nRn = f(n+1)(\)hn+1/(n+1)! _____ (1.26) Rn es el error por truncamiento al aproximar el valor de una funcin f(Xi+1), considerando solamente los (n+1) primeros trminos de la expansin en serie de Taylor correspondiente a la funcin.

Ejemplo. Obtener una aproximacin al valor del nmero e, con mantisa de ocho dgitos y considerando los primeros ocho trminos de la expansin en serie de Taylor para la funcin f(X) = ex. Sabemos que: e0 = 1, que:e Xi+1 = 1 h=1-0=1 entonces: Xi = 0 f(0) = e0 = 1 f(1) = e f(1) = f(0) + f (0)(1) + f (0)(1)2/2! + f (0)(1)3/3! + fiv(0)(1)4/4! + ... f (X) = ex f (0) = 1 f (X) = ex f (0) = 1 f (X) = ex f (0) = 1 ... f (n)(0) = 1 f (n)(X) = ex f(1) $ 1 + 1 + 1/2! + 1/3! + 1/4! + 1/5! + 1/6! + 1/7! e $ 1 + 1 + 0.5 + 0.16666667 + 0.04166667 + 0.00833333 + + 0.00138889 + 0.00019841 = 2.71825397 El valor que arroja una calculadora de 9 dgitos es: e = 2.71828183

El error por truncamiento es: R7 = fviii(\)(1)8/8! = fviii(\)/40320 = 0.00002786 fviii(\) = e\ = 1.1233152
\ = 0.11628431
Observamos que \ efectivamente se localiza entre Xi y Xi+1: 0 < \ < 1, aunque bastante ms cerca de Xi que de Xi+1 Si hubisemos truncado a solo tres trminos: e $ 2.5, R2 = f (\)(1)3/3! = f (\)/6 = 0.21828183 f (\) = e\ = 1.30969098
\ = 0.26979122
Vemos tambin que el valor de \ es distinto para residuos de diferente orden, pero siempre cumple con localizarse entre Xi y Xi+1.

Los valores dados en la siguiente tabla, referidos a este ejemplo, pueden verificarse fcilmente: n 0 1 2 3 4 5 6 7 e 1 2 2.5 2.66666667 2.70833334 2.71666667 2.71805556 2.71825397 Rn 1.71828183 0.71828183 0.21828183 0.05161516 0.00994849 0.00161516 0.00022627 0.00002786 f(n+1)(\) 1.71828183 1.43656366 1.30969098 1.23876384 1.19381880 1.16291520 1.14040080 1.12331520
\
0.54132486 0.36225391 0.26979172 0.21411398 0.17715724 0.15092996 0.13137978 0.11628431

En este ejemplo, tuvimos manera de consultar el valor "exacto" de e, echando mano de una calculadora, igual que lo pudimos haber consultado en un libro el nmero e es conocido por toda la comunidad cientfica, por eso su valor es accesible a cualquiera. Pero no ocurre lo mismo cuando estamos estimando el valor de una funcin complicada, ligada a un experimento en el que apenas tenemos idea de su comportamiento y del orden de magnitud que puede tomar la funcin, para cada determinado valor de la variable. En tal caso, no hay manera de calcular con exactitud los residuos y solo habr que conformarse con una estimacin burda de ellos. Para el efecto, y siempre que sea factible derivar analticamente la funcin de inters, se sugiere considerar como valor estimado de el punto medio entre Xi y Xi+1, es decir:
\* = (Xi + Xi+1)/2
_____ (1.27)
con la seguridad de que los residuos estimados a partir de este valor y, por ende, los errores asociados a ellos, siempre sern superiores a los verdaderos. Rn = f(n+1)(\*)hn+1/(n+1)! _____ (1.26 )

1.5 Serie de Taylor

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

1.5 Serie de Taylor

Cargado por

Copyright:

Formatos disponibles

MTODOS NUMRICOS