Sei sulla pagina 1di 30

Metodos Numricos Tema: El desarrollo de Taylor

Irene Tischer

Escuela de Ingeniera y Computacin Universidad del Valle, Cali

Typeset by FoilTEX

Mtodos numricos

Tema: Desarrollo de Taylor

Contenido
1. El Teorema de Taylor 2. El desarrollo de Taylor en varios dimensiones 3. Implementacin en Scilab

Typeset by FoilTEX

Mtodos numricos

Tema: Desarrollo de Taylor

Contenido
1. El Teorema de Taylor 2. El desarrollo de Taylor en varios dimensiones 3. Implementacin en Scilab

Typeset by FoilTEX

Mtodos numricos

Tema: Desarrollo de Taylor

1. El Teorema de Taylor

Justicacin
La aplicacin del teorema de Taylor es central para el desarrollo de muchos mtodos numricos. Permite aproximar una funcin por un polinomio y estimar el error de truncamiento.

Typeset by FoilTEX

Mtodos numricos

Tema: Desarrollo de Taylor

1. El Teorema de Taylor

Teorema de Taylor
Sea f una funcin que es n + 1 veces continuamente derivable en un intervalo que contiene los puntos x0 y x. Entonces el valor de la funcin f en el punto x est dado por
f (x0) f (3)(x0) 2 3 f (x) = f (x0) + f (x0)(x x0) + (x x0) + (x x0) + 2! 3! f (n)(x0) n (x x0) + Rn(x) + n!

donde el residuo Rnest dado por: Rn(x) = .


x0 x

(x t)n (n+1) f (t) dt n!

Typeset by FoilTEX

Mtodos numricos

Tema: Desarrollo de Taylor

1. El Teorema de Taylor

Representacin de la funcin con las deriviadas en un punto


fHxL

fHxL

fHxL fHxL xo xo+h

Figura 1:

El valor desconocido f (x0 + h) se aproxima por los valores conocidos en x0 de f y sus derivadas.

Typeset by FoilTEX

Mtodos numricos

Tema: Desarrollo de Taylor

1. El Teorema de Taylor

Otra forma de la frmula de Taylor


Usando h = x x0:
f (x0) 2 f (3)(x0) 3 f (x0 + h) = f (x0) + f (x0)h + h + h + 2! 3! f (n)(x0) n h + Rn(x) + n!
f

R1

orden 1

R0 x0 x0+h

orden 0

Figura 2.

La funcin f y las aproximaciones obtenidas por la serie de Taylor de orden 0 y 1.

Typeset by FoilTEX

Mtodos numricos

Tema: Desarrollo de Taylor

1. El Teorema de Taylor

Teorema (forma de Lagrange del residuo)


Bajo las condiciones del teorema del Taylor, el residuo puede expresarse como: f (n+1)(x) n+1 Rn(x) = h (n + 1)! donde x es un punto en el intervalo entre x0 y x, que depende de x. En esta forma, el residuo es ms fcil de estimar, ya que slo depende de la derivada de orden n + 1 en un (desconocido) punto.

Typeset by FoilTEX

Mtodos numricos

Tema: Desarrollo de Taylor

1. El Teorema de Taylor

Ejemplo
Para una funcin que es 2 veces continuamente derivable, se tiene f (x) = f (x0) + f (x0)(x x0) + R1(x); es decir se aproxima f por una recta, se linealiza la funcin f : f (x) f (x0) + f (x0)(x x0).

Typeset by FoilTEX

Mtodos numricos

Tema: Desarrollo de Taylor

1. El Teorema de Taylor

Corolario
Para un polinomio p de grado n, el desarrollo de Taylor de orden n es exacto, ya que p(n+1) es contonte igual a 0 y por consecuencia , el residuo es 0.

Typeset by FoilTEX

10

Mtodos numricos

Tema: Desarrollo de Taylor

1. El Teorema de Taylor

Denicin
La serie de Taylor que usa el desarrollo en el punto 0 se llama la serie de McLaurin.

Typeset by FoilTEX

11

Mtodos numricos

Tema: Desarrollo de Taylor

1. El Teorema de Taylor

Ejemplo
( )n x x 1 2 . Las derivadas de f son de la forma f (n) (x) = Sea f (x) := e e2 . 2 La aproximacin de f por la serie de McLaurin (en x0 = 0) da para el punto x = x0 + h = h :
Aproximacin orden 0 1 2 residuo

f (x) f (0) f (x) f (0) + (x 0)f (0) 2 f (x) f (0) + xf (0) + x f (2) (0) 2 2 f (x) f (0) + xf (0) + x f (2) (0) + 2 2 f (x) f (0) + xf (0) + x f (2) (0) + 2

x3 f (3) (0) 3! x3 f (3) (0) + ... + x10 f (10) (0) 3! 10!

3 10

1 R0 (x) = f (x )h f (2) (x ) 2 R1 (x) = h 2! f (3) (x ) 3 h R2 (x) = 3! f (4) (x ) 4 R3 (x) = h 4! f (11) (x ) 11 R10 (x) = h 11!

Typeset by FoilTEX

12

Mtodos numricos

Tema: Desarrollo de Taylor

1. El Teorema de Taylor

Ejemplo

(continuacin)

En el punto x = 1 se obtiene las siguientes aproximaciones. Comparando con el valor exacto de la funcin en 1 (f (1) = 1,64872) podemos determinar el valor del residuo.
Aproximacin orden 0 1 2 3 10 residuo en x = 1

f (1) f (0) = 1 f (1) f (0) + 1 0)f (0) = 1 + 1 = 1,5 2 2 f (1) f (0) + 1 f (2) (0) = 1,5 + 1 = 1,625 2 2 f (1) f (0) + f (0) + 1 f (2) (0) + 1 f (3) (0) = 1,64583 2 3! f (1) f (0) + f (0) + 1 f (2) (0) + 1 f (3) (0) + + 1 f (10) (0) = 1,64872 2 3! 10!

R0 (1) = 0,64871 R1 (1) = 0,148721 R2 (1) = 0,0237213 R3 (1) = 0,002888794 11 R10 (1) = 1,2 10

Typeset by FoilTEX

13

Mtodos numricos

Tema: Desarrollo de Taylor

1. El Teorema de Taylor

Ejercicio
Determinar el valor de la funcin f (x) = cos x en el punto x = 0,5 usando la representacin de la funcin cos como serie de McLaurin. Se quiere el resultado con un error absoluto menor que 104.

Typeset by FoilTEX

14

Mtodos numricos

Tema: Desarrollo de Taylor

1. El Teorema de Taylor

Solucin
Las derivadas del cos son f (0)(x) = f (x) = cos x f (1)(x) = sin x f (2)(x) = cos x f (3)(x) = sin x f (4)(x) = f (x) = cos x f (0)(0) = f (0) = cos 0 = 1 f (1)(0) = 0 f (2)(0) = 1 f (2)(0) = 1 f (4)(0) = 1

Con esto se tiene 2 4 6 cos x = 1 x + x x y por eso 2 4! 6! Para los residuos se tiene: Rn = es decir (por 2
f (n+1) (x ) 1 n+1 (n+1)! 2 14

1 1 1 1 1 cos 1 = 1 1 22 + 4! 24 6! 26 2 2

= |Rn|

1 2n+1

= |Rn| 104 si 2n+1 104,

= 16384): n 13.

Typeset by FoilTEX

15

Mtodos numricos

Tema: Desarrollo de Taylor

1. El Teorema de Taylor

Solucin

(continuacin)

Esta estimacin es muy gruesa, como se ve en la tabla siguiente. El residuo verdadero ( es el error verdadero!) se obtiene comparando las aproximaciones con el valor verdadero: 1 cos 2 = 0,877583.
orden de la serie 0 2 4 6 8 aproximacin de cos 1 2 1 0.875 0.877604 0.877582 0.877583 estimacin del residuo 0.5 0.125 0.03125 0.0078125 0.0019531 residuo verdadero -0.122417 0.002583 -0.000021 0.000001 coincide en 6 decimales

Typeset by FoilTEX

16

Mtodos numricos

Tema: Desarrollo de Taylor

1. El Teorema de Taylor

Nomenclatura O
Se dice que el residuo Rn de la frmula de Taylor es de orden O(hn) o el n-simo residuo converge con rapidez O(hn). Esto signica: si (hk )kN es una sucesin que converge a 0, entonces la sucesin n (Rn(hk )kN converge a 0 de tal forma que |Rn(hk )| C |(hk ) | para k > k0. En trminos generales: Sea (k )kN una sucesin que converge a y (k )kN una sucesin que converge a 0. Se dice que (k )kN converge a con una rapidez de O(k ) si existe k0 N y una constante C, tal que |k | C |k | para k > k0.

Typeset by FoilTEX

17

Mtodos numricos

Tema: Desarrollo de Taylor

1. El Teorema de Taylor

Ejemplo
1 1 La sucesin (k )kN denida por k := 1 2 converge a 1 con O( 2 ). 2k k k 1 La rapidez de convergencia no es O( 3 ). k Demostracin
1 1 2k 1 k k 2k 1 k 2k k 1 1 1 1 |k 1| = 1 2k2k 1 = 2k2k k , es decir convergencia con O( k2 ).
2 2

Sea C una constante positiva y k > 2C


k2 > C 2k > C(2k 1) k3 > C(2k2 k) 1 1 |k 1| = 1 2k2k 1 = 2k2k > C k13 .

Entonces la convergencia no es de O(

1 ). 3 k

Typeset by FoilTEX

18

Mtodos numricos

Tema: Desarrollo de Taylor

Contenido
1. El Teorema de Taylor 2. El desarrollo de Taylor en varios dimensiones 3. Implementacin en Scilab

Typeset by FoilTEX

19

Mtodos numricos

Tema: Desarrollo de Taylor

2. El desarrollo de Taylor en varios dimensiones

El desarrollo de Taylor para funciones de varias dimensiones


Sea F : R2 R tal que sus derivadas parciales de orden n + 1 existan y sean continuas en un conjunto abierto que contenga los puntos (x0, y0) y (x, y) = (x0 + h, y0 + k). Entonces: F (x, y) = = F (x0 + h, y0 + k) = )i n 1( = F (x0, y0) + h +k F (x0, y0) + Rn(x, y) i! x y i=1 Similar al caso de una dimension, se expresa el valor de la funcin como expresion relacionado con las derivadas parciales en el punto inicial (x0, y0): ( )i 1 F (x0, y0) (se explica ahora) i! h x + k y y un residuo Rn(x, y), que depende del punto que interesa (x, y).

Typeset by FoilTEX

20

Mtodos numricos

Tema: Desarrollo de Taylor

2. El desarrollo de Taylor en varios dimensiones

El desarrollo de Taylor para funciones de varias dimension: el trmino de las derivadas


i El trmino h + k F (x, y) se dene de la siguiente manera: x y 1 F F h +k F (x, y) = h +k (x, y) x y x y ! 2 2 2 2 F 2 F 2 F F (x, y) = h h +k + 2hk +k 2 (x, y) x y x2 xy y

i=1: i=2:

i=3: aparecen las derivadas parciales combinadas de orden 3, ! 3 3 3 3 3 F 3 F 2 2 F 3 F h +k F (x, y) = h + 3h k 2 + 3hk +k (x, y) x y x3 x y xy 2 y 3

y as sucesivamente: el trmino n se construye en analoga formal al polinimio

h x

k y

)n

Typeset by FoilTEX

21

Mtodos numricos

Tema: Desarrollo de Taylor

2. El desarrollo de Taylor en varios dimensiones

El desarrollo de Taylor para funciones de varias dimension: el residuo


El residuo en el punto (x, y) = (x0 + h, y0 + k) se obtiene como ( )n+1 1 Rn(x, y) = h +k F (x0 + h, y0 + k) (n + 1)! x y para un ]0, 1[. Se observa la analoga al caso de una dimsensin: x0 + h es un punto en el interval (x0, x0 + h), y + k es el punto en el interval (y0, y0 + k) que conserva la proporcin.

Typeset by FoilTEX

22

Mtodos numricos

Tema: Desarrollo de Taylor

2. El desarrollo de Taylor en varios dimensiones

Ejemplo
Sea F (x, y) = x4 + x2y + y 2 y sea x0 = 1; y0 = 2. Aplique el desarrollo de Taylor en (x0, y0) de orden 1 y 2 para obtener aproximaciones en (x0 + h, y0 + k) para h = 0,1; k = 0,2. Determine el residuo correspondiente y estime el error.

Typeset by FoilTEX

23

Mtodos numricos

Tema: Desarrollo de Taylor

2. El desarrollo de Taylor en varios dimensiones

Solucin
Las derivadas parciales de F respecto a x y y son
F F 3 2 orden 1: = 4x + 2xy; = x + 2y; x y 1 3 2 2 +k F (x, y) = h(4x + 2xy) + k(x + 3y ) h x y 2F 2F 2F 2 orden 2: = 12x + 2y; = 2x; = 6y; x2 xy y 2 2 2 2 2 h +k F (x, y) = h (12x + 2y) + hk(4x) + k (6y) x y 3F 3F 3F 3F orden 3: = 24x; = 2; = 0; = 6. 3 2 y 2 3 x x xy y 3 3 2 3 h +k F (x, y) = h (24x) + h k(6) + k (6) x y

Typeset by FoilTEX

24

Mtodos numricos

Tema: Desarrollo de Taylor

2. El desarrollo de Taylor en varios dimensiones

Solucion (continuacin)
Serie de Taylor de Orden 0 F (1,1, 2,2) F (1, 1) = 11 |R0| 0,1(4 1,13 + 2 1,1 2,2) + 0,2(1,12 + 3 2,22) = 4,1624 Serie de Taylor de Orden 1 (Linealizacin de F ) F (1,1, 2,2) F (1, 1) + 0,1(4 13 + 2 1 2) + 0,2(12 + 3 22) = 14,4 ) 1( 2 |R1| 0,01(12 1,1 + 2 2,2 + 0,02 4 1,1) + 0,04 6 2,2 = 0,4026 2 Serie de Taylor de Orden 2 ( ) 1 2 F (1,1, 2,2) 14,4+ 2 0,01 (12 1 + 2 2) + 0,02 4 1 + 0,04 6 2 = 14,76
1 |R1| 6 (0,001 24 1,1) + 0,002 6 + 0,008 6) = 0,0144.

Typeset by FoilTEX

25

Mtodos numricos

Tema: Desarrollo de Taylor

Contenido
1. El Teorema de Taylor 2. El desarrollo de Taylor en varios dimensiones 3. Implementacin en Scilab

Typeset by FoilTEX

26

Mtodos numricos

Tema: Desarrollo de Taylor

3. Implementacin en Scilab

La serie de McLaurin para la funcin cos(x) usando Scilab


Se dene la funcin factorial en Scilab: >function [y]=factorial(x) >y=1 >for i=1:x, y=y*i; end; >endfunction Tambin se puede usar una denicin recursiva: >function [y]=factorialREC(x) >if x == 1 then y=1; >else y=factorialREC(x-1)*x; end >endfunction

Typeset by FoilTEX

27

Mtodos numricos

Tema: Desarrollo de Taylor

3. Implementacin en Scilab

La serie de McLaurin (serie de Taylor para x0 = 0) Se usa el vector v que contiene el cos y sus primeras 3 derivadas. Para las derivadas superiores se usa el clculo modulo 4, ya que se repiten. Los 2 parmetros de la funcin se reeren al punto, donde se quiere evaluar la serie de McLaurin (x) y al orden de la serie (k). >function [y]=TaylorCOS(x,k) >v=[1 0 -1 0] >y=1; >for i=1:k, y=y+v(modulo(i,4)+1)*x^i/factorial(i); end >endfunction

Typeset by FoilTEX

28

Mtodos numricos

Tema: Desarrollo de Taylor

3. Implementacin en Scilab

La siguiente modicacin de la funcin TaylorCOS estima adems el residuo. La funcin cos y sus derivadas son menor que 1 en valor absoluto, de manera que para el ksimo residuo Rk se tiene: |x| |Rk | (k + 1)! La mano derecha de esta ecuacin se calcula en la segunda componente del parmetro y que en esta funcin se considera un vector. >function [y]=TaylorCOS1(x,k) >v=[1 0 -1 0] >y(1)=1; >for i=1:k, y(1)=y(1)+v(modulo(i,4)+1)*x^i/factorial(i); end >y(2)=x^(k+1)/factorial(k+1) >endfunction
k+1

Typeset by FoilTEX

29

Mtodos numricos

Tema: Desarrollo de Taylor

3. Implementacin en Scilab

La siguiente funcin devuelve el valor del cos con una tolerancia dada, aplicando la serie de McLaurin >function [y]=TaylorCOS2(x,tau) >v=[1 0 -1 0] >y=1; >i=1; >e=abs(x)^(i)/factorial(i) >while e>=tau, y=y+v(modulo(i,4)+1)*x^i/factorial(i); >i=i+1; >e=abs(x)^(i)/factorial(i); end >endfunction

Typeset by FoilTEX

30

Potrebbero piacerti anche