Sei sulla pagina 1di 44

MTODOS NUMRICOS

1.4 Serie de Taylor


1.4 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.4 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.4.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
x

xi Xi+1
1.4.1 Expansin en serie de Taylor

Se trata de encontrar un polinomio de la forma:

P(X) = a0 + a1X + a2 X 2 + a3 X 3 + ... + an X n + ..._____ (1.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 ) _____ (1.14)
P''(Xi ) = f''(Xi )
...
P(n) (Xi ) = f (n) (Xi )
1.4.1 Expansin en serie de Taylor

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) = P(X) = b0 + b1(X - Xi ) + b2 (X - Xi )2 + b3 (X - Xi )3 + ... + bn (X - Xi )n + ... ____ (1.15)

Desarrollando la expresin (1.15) y comparndola con la expresin


(1.13), se obtiene:
a0 = b0 - b1Xi + b2 Xi2 - b3 Xi3 + b4 Xi4 - ...
a1 = b1 - 2b2 Xi + 3b3 Xi2 - 4b4 Xi3 + ...
a2 = b2 - 3b3 Xi + 6b4 Xi2 - ... _____(1.16)
...
an = bn - ...
1.4.1 Expansin en serie de Taylor

Las n primeras derivadas del polinomio son:


P'(X) = b1 + 2b2 (X - Xi ) + 3b3 (X - Xi )2 + ... + nbn (X - Xi )n-1 + ...
P''(X) = 2b2 + 3 2b3 (X - Xi ) + ... + n(n-1)bn (X - Xi )n-2 + ...
_____ (1.17)
P'''(X) = 3 2b3 + ... + n(n-1)(n-2)bn (X-Xi )n-3 + ...
...
P(n) (X) = n(n-1)(n-2) ... 3 2 1bn + ... = n!bn + ...
Evaluando el polinomio y sus derivadas en el punto Xi:
P(Xi ) = b0 0!b0
P'(Xi ) = b1 1!b1
P''(Xi ) = 2b2 = 2!b2 _____ (1.18)
...
P(n) (Xi ) = n!bn
1.4.1 Expansin en serie de Taylor
Considerando simultneamente las expresiones (1.14) y (1.18):
b0 = f(Xi )
b1 = f'(Xi )/1!
b2 = f''(Xi )/2! _______ (1.19)

...
bn = f(n)(Xi )/n!
Sustituyendo los valores de los coeficientes dados en (1.19) en la expresin (1.15):

f(X) = f(Xi ) + f'(Xi )(X - Xi ) + f''(Xi )(X - Xi )2 /2! _____ (1.20)


+ f'''(Xi )(X - Xi )3 /3! + ... + f (n) (Xi )(X - Xi )n /n! + ...

que en forma sinttica se expresa:

_____ (1.20')
f(X) = f(j)(X )(X - X ) /j!
j=0
i i
j
1.4.1 Expansin en serie de Taylor

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.

X = Xi+1 > Xi ; Xi+1 - Xi = h > 0

(j) (j)

f(Xi+1 ) = f (Xi )(Xi+1- Xi ) /j! =


j=0
j
i /j!
f
j=0
(X )h j _____ (1.21)

donde h se denomina tamao del paso, tratndose en este caso de un


paso hacia adelante.
1.4.1 Expansin en serie de Taylor

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 = h > 0

_____ (1.22)
f
(j) (j)
f(Xi-1 ) = (Xi )(Xi - Xi-1 ) j /j! - f (Xi )(Xi - Xi-1 ) j /j!
j par j impar

f
(j) (j)
f(Xi-1 ) = (Xi )h j /j! - f (Xi )h j /j! _____ (1.22')
j par j impar

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)
1.4.1 Expansin en serie de Taylor

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.
1.4.1 Expansin en serie de Taylor

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 (n + ).
1.4.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.4.2 El residuo de la serie de Taylor

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.
1.4.2 El residuo de la serie de Taylor

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.
La 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.
1.4.2 El residuo de la serie de Taylor

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.
1.4.2 El residuo de la serie de Taylor
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)

P(X) = ao
f(xi)

xi Xi+1 x
h
1.4.2 El residuo de la serie de Taylor
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:
1.4.2 El residuo de la serie de Taylor

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

P(X) = ao + a1x

ao P(X) = ao

xi Xi+1 x
h
1.4.2 El residuo de la serie de Taylor

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:
Rn = 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.
MTODOS NUMRICOS
1.5 Races
RACES DE ECUACIONES
EJEMPLOS DE APLICACIN EN INGENIERA
DEFINICIN
ECUACIONES ALGEBRAICAS

Solucin de una ecuacin algebraica de primer grado

es solucin de:

Solucin de una ecuacin algebraica de segundo grado

es solucin de:

Solucin de una ecuacin trascendente

es solucin de:
BSQUEDA DE UNA RAZ
RACES DE POLINOMIOS
BSQUEDA DE VARIAS RACES
MTODOS NUMRICOS
1.6 Races de ecuaciones
MTODOS GRFICOS

Como auxiliares en la comprensin visual de los


mtodos numricos tantos cerrados como
abiertos, para identificar el nmero de posibles
races y la identificacin de casos en los que los
mtodos abiertos no funcionan.
MTODO GRFICO
f(x)

Visual

x
xr
MTODO GRFICO
x f(x)
-x
f ( x) e -x
0 1
0.05 0.90122942
0.1 0.80483742
0.15 0.71070798 1

0.2 0.61873075
0.25 0.52880078 0.8

0.3 0.44081822
0.35 0.35468809 0.6

0.4 0.27032005
0.4
0.45 0.18762815
0.5 0.10653066 0.57
0.2
0.55 0.02694981
0.6 -0.05118836 0

0.65 -0.12795422 0.05 0.1 0.15 0.2 0.25 0.3 0.35 0.4 0.45 0.5 0.55 0.6 0.65 0.7 0.75 0.8 0.85 0.9 0.95 1

0.7 -0.2034147 -0.2

0.75 -0.27763345
0.8 -0.35067104 -0.4

0.85 -0.42258507
-0.6
0.9 -0.49343034
0.95 -0.56325898 -0.8
1 -0.63212056
MTODO DE BISECCIN
f(x)

x
MTODO DE BISECCIN

1. Consiste en considerar un intervalo (xi, xs) en el que se


garantice que la funcin tiene raz.
MTODO DE BISECCIN
f(x)

f ( x i ).f ( x s ) < 0
f(xi)

xi xs x

f(xs)
MTODO DE BISECCIN

1. Consiste en considerar un intervalo (xi, xs) en el que se


garantice que la funcin tiene raz.
2. El segmento se bisecta, tomando el punto de
biseccin xr como aproximacin de la raz buscada.
MTODO DE BISECCIN
f(x)

xi + x s
f(xi)
xr
2

f(xr)
xi xr xs x

f(xs)
MTODO DE BISECCIN

La frmula de recurrencia para el mtodo


de biseccin es el promedio de los valores
inferior y superior de los extremos del
intervalo:

xi + x s
xr
2
MTODO DE BISECCIN

1. Consiste en considerar un intervalo (xi, xs) en el que se


garantice que la funcin tiene raz.
2. El segmento se bisecta, tomando el punto de
biseccin xr como aproximacin de la raz buscada.
3. Se identifica luego en cul de los dos intervalos est la
raz.
MTODO DE BISECCIN
f(x)

f(xi) xi x r

f(xr)
xi xi xs x

f(xs)
MTODO DE BISECCIN

1. Consiste en considerar un intervalo (xi, xs) en el que se


garantice que la funcin tiene raz.
2. El segmento se bisecta, tomando el punto de
biseccin xr como aproximacin de la raz buscada.
3. Se identifica luego en cul de los dos intervalos est la
raz.
4. El proceso se repite n veces, hasta que el punto de
biseccin xr coincide prcticamente con el valor exacto
de la raz.
MTODO DE BISECCIN
f(x)

xi + x s
xr
2

f(xr)
xi xr xs x

f(xs)
MTODO DE BISECCIN
-x
f ( x) e -x
Iteracin Xi Xs f(xi) f(Xs) Xr f(Xr) e(%) e*(%)
1 0 1 1 -0.63212056 0.5 0.10653066 11.84

2 0.5 1 0.10653066 -0.63212056 0.75 -0.27763345 32.24 33.33

3 0.5 0.75 0.10653066 -0.27763345 0.625 -0.08973857 10.2 20.00

4 0.5 0.625 0.10653066 -0.08973857 0.5625 0.00728282 0.82 11.11


5 0.5625 0.625 0.00728282 -0.08973857 0.59375 -0.04149755 4.69 5.26

6 0.5625 0.59375 0.00728282 -0.04149755 0.578125 -0.01717584 1.94 2.70

7 0.5625 0.578125 0.00728282 -0.01717584 0.5703125 -0.00496376 0.56 1.37

8 0.5625 0.5703125 0.00728282 -0.00496376 0.56640625 0.0011552 0.13 0.69

9 0.56640625 0.5703125 0.0011552 -0.00496376 0.56835938 -0.00190536 0.21 0.34

10 0.56640625 0.56835938 0.0011552 -0.00190536 0.56738281 -0.00037535 0.04 0.17

11 0.56640625 0.56738281 0.0011552 -0.00037535 0.56689453 0.00038986 0.04 0.09

12 0.56689453 0.56738281 0.00038986 -0.00037535 0.56713867 7.2379E-06 0 0.04

13 0.56713867 0.56738281 7.2379E-06 -0.00037535 0.56726074 -0.00018406 0.02 0.02

14 0.56713867 0.56726074 7.2379E-06 -0.00018406 0.56719971 -8.8412E-05 0.01 0.01

Decisiones Funcin Recurrencia Xr = 0.567143


MTODO DE BISECCIN

0.5
0.75
0.625
0.5625
0.59375
-x
f ( x) e -x 0.578125
0.5703125
0.56640625






0.567143 1
0