Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Irene Tischer
Typeset by FoilTEX
Mtodos numricos
Contenido
1. El Teorema de Taylor 2. El desarrollo de Taylor en varios dimensiones 3. Implementacin en Scilab
Typeset by FoilTEX
Mtodos numricos
Contenido
1. El Teorema de Taylor 2. El desarrollo de Taylor en varios dimensiones 3. Implementacin en Scilab
Typeset by FoilTEX
Mtodos numricos
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
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!
Typeset by FoilTEX
Mtodos numricos
1. El Teorema de Taylor
fHxL
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
1. El Teorema de Taylor
R1
orden 1
R0 x0 x0+h
orden 0
Figura 2.
Typeset by FoilTEX
Mtodos numricos
1. El Teorema de Taylor
Typeset by FoilTEX
Mtodos numricos
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
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
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
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
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
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
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
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
= 16384): n 13.
Typeset by FoilTEX
15
Mtodos numricos
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
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
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
Entonces la convergencia no es de O(
1 ). 3 k
Typeset by FoilTEX
18
Mtodos numricos
Contenido
1. El Teorema de Taylor 2. El desarrollo de Taylor en varios dimensiones 3. Implementacin en Scilab
Typeset by FoilTEX
19
Mtodos numricos
Typeset by FoilTEX
20
Mtodos numricos
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
h x
k y
)n
Typeset by FoilTEX
21
Mtodos numricos
Typeset by FoilTEX
22
Mtodos numricos
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
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
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
Contenido
1. El Teorema de Taylor 2. El desarrollo de Taylor en varios dimensiones 3. Implementacin en Scilab
Typeset by FoilTEX
26
Mtodos numricos
3. Implementacin en Scilab
Typeset by FoilTEX
27
Mtodos numricos
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
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
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