Professional Documents
Culture Documents
Ingeniera de Minas
Frmulas Frmulas de de Derivacin Derivacin Numrica: Numrica: Aproximacin Aproximacin de de la la derivada derivada primera primera de de una una funcin funcin
Prof. Alfredo Lpez Benito Prof. Carlos Conde Lzaro Prof. Arturo Hidalgo Lpez
Departamento de Matemtica Aplicada y Mtodos Informticos
Abril, 2007
0
Ingeniera de Minas
OBJETIVOS OBJETIVOS
1. Conocer el concepto de frmula de derivacin numrica 2. Obtener y aplicar frmulas de derivacin numrica de tipo interpolatorio para aproximar primeras derivadas de funciones. 3. Analizar y obtener cotas del error de aproximacin de derivadas primeras mediante frmulas de tipo interpolatorio. 4. Conocer las principales propiedades de las frmulas de derivacin numrica de tipo interpolatorio para aproximar derivadas primeras de funciones. 5. Obtener y aplicar frmulas de tipo interpolatorio para aproximar derivadas de orden superior al primero, y conocer sus propiedades principales.
Departamento de Matemtica Aplicada y Mtodos Informticos
Ingeniera de Minas
A los nmeros ci se les denomina COEFICIENTES (o PESOS) de la frmula. Si ci = Li(x*), siendo Li(x) (i = 0, 1, ..., n) los (n+1)polinomios de base de Lagrange sobre el soporte {x0, x1, ..., xn} a la frmula se la denomina frmula de derivacin numrica de tipo interpolatorio (en el sentido de Lagrange).
Departamento de Matemtica Aplicada y Mtodos Informticos
2
Ingeniera de Minas
se denomina ERROR DE TRUNCAMIENTO de la frmula para la funcin f(x) el en punto x*, al valor: Rf(x*) = f(x*) f* NOTA: Para cada funcin f,
Rf : I R
Ingeniera de Minas
Frmulas Frmulas de de derivacin derivacin numrica numrica de de tipo tipo interpolatorio interpolatorio
Sea n 1. Siendo pn(x) el polinomio interpolador de Lagrange de una funcin f(x) sobre el soporte {x0, x1, , xn} se tiene que: n f(x) = pn(x) + f(x) = f(xi )Li (x) + f (x)
f '(x*) =
l l f(x )L (x*) + i i f (x*) i =0 n
i =0
ci
Rf(x*)
A las frmulas as obtenidas se las de derivacin numrica de tipo interpolatorio construidas sobre el soporte {x0, x1, , xn}
Departamento de Matemtica Aplicada y Mtodos Informticos
4
Ingeniera de Minas
Ingeniera de Minas
Ingeniera de Minas
c1
p1(x*) = tg () f(x*) = tg ()
x0
x* H h0 h1
x1
Ingeniera de Minas
Ingeniera de Minas
Ingeniera de Minas
Ejemplo Ejemplo
f '(x*) h
0.1 0.01 10-3 10-4 10-9 910-10 110-10
x* = 0
Ingeniera de Minas
El El error error en en las las frmulas frmulas de de tipo tipo interpolatorio interpolatorio
x ( x0 , xn ) f (n +1 ( (x) ) n = (x) / f(x) pn (x) = ( x xi ) (n + 1 ) ! i =0
n n 1 f (n +1 ( (x*)) + (x * x ) i (n + 1 ) ! j =0 i =0 i j
Departamento de Matemtica Aplicada y Mtodos Informticos
11
Ingeniera de Minas
Si fCn+1((a, b)):
ij h j ( j in+1hn+1 (n+1 f (xi ) = f (x * +i h) = f (x*) + i hf '(x*) + f (x*) + f (x * + i h) j! (n + 1)! j= 2
n
12
Ingeniera de Minas
Si ci = Li(x*) ......
Propiedad 1 Propiedad 2
c
i= 0 n i= 0
=0
ci i =
n i= 0
Propiedad 3 ci ij = 0
13
Ingeniera de Minas
n hn (n+ 1 f '(x*) ci f (xi ) = f '(x*) + ( ci n (x * +i h) ) i hi f (n + 1) ! i=0 i= 0 n h f '(x*) ci f (xi ) = f '(x *) + ( i f (n+1(i ) ) (n + 1)! i=0 i= 0 n n
n hn R f ( x *) = ( i f (n+1 (i ) ) (n + 1)! i= 0
n hn R f ( x *) i f (n+1(i ) (n + 1)! i= 0
)
14
Ingeniera de Minas
Lema Si gC((a,b)), dados (n+1) coeficientes no negativos y no todos nulos {0,1, ...,n} y (n+1) puntos {0,1, ..., n} de (a,b), existe algn punto (a, b) tal que: n n i g(i ) = g() i donde: =
i= 0
i= 0
Luego: R f ( x *)
( )
i= 0 i
(n + 1)!
hn f (n+1(i ) = hn f (n+1 (i )
Ingeniera de Minas
Propiedad 1 Si ci = Li(x*):
Demostracin: Interpolando la funcin f(x) = 1 (polinomio de grado 0 que se interpolar sin error sea cual sea el valor de n) se tiene 1 = L0(x) + L1(x) + .+Ln(x)
c
i= 0
=0
1=
L (x)
i= 0 i
16
Ingeniera de Minas
Si ci = Li(x*): ci i = 1
i= 0
Interpolando la funcin f(x) = x (polinomio de grado 1 que se interpolar sin error sea cual sea el valor de n 1) se tiene x = L0(x)x0 + L1(x)x1 + .+Ln(x)xn
x =
n
L (x)x
i= 0 i n
1=
cx
i= 0 i
c(x * + h) =
i= 0 i i
x * ci + h c i i
i= 0 i= 0
17
Ingeniera de Minas
Si ci = Li(x*) y j < n:
c
i= 0 i
j i
=0
Interpolando la funcin f(x) = (x x*)j (polinomio de grado j que se interpolar sin error con los (n+1) puntos de soporte) se tiene (x-x*)j = L0(x)(x0x*)j + L1(x)(x1x*)j + .+Ln(x)(xnx*)j
( x x *)
n
= h j Li (x)ij
i= 0
Derivando la identidad anterior y particularizando en x* resultar que: de donde se tiene la igualdad que se quera demostrar
Departamento de Matemtica Aplicada y Mtodos Informticos
18
j 0 = h j c i i i= 0
Ingeniera de Minas
EJEMPLO EJEMPLO
H
Si fC2((a, b)):
x1
h1
f ( x *)
f (x1 ) f (x 0 ) f (x1 ) f (x 0 ) = x1 x 0 H x1 x* = 1h
x0
h0
x*
h= sup(h0, h1)
f (x1 ) f (x 0 ) f(x*) = H
( 1 0 )hf '(x*)
H
Ingeniera de Minas
( 1 0 )hf '(x*)
H
H = h
f(x*) f '(x*) +
x0
h0
x*
h1
x1
Error de orden h
h= sup(h0, h1)
Casos particulares:
x* = x0 x* = x1
h = H; = 1; 0 = 0; 1 = 1; h = H; = 1; 0 = -1; 1 = 0;
0(h) 0(h)
20
Ingeniera de Minas
x* = (x0+x1)/2
H = 2h; = 2; 0 = - ; 1 = ;
R f ( x*) = h1 1 f "( 1 ) f "( 0 ) 44 4
Pero .
Ingeniera de Minas
Frmulas Frmulas de de tipo tipo interpolatorio: interpolatorio: orden orden de de exactitud. exactitud.
Definicin Se dice que la frmula de derivacin numrica: f '(x*) f '* = ci .f (xi )
i= 0 n
es exacta para la funcin f(x) en el punto x* cuando Rf(x*) =0 Definicin Se dice que la frmula de derivacin numrica: f '(x*) f '* = ci .f (xi )
i= 0 n
es exacta de orden k cuando es exacta para cualquier polinomio de grado menor o igual que k y en cualquier punto x* de la recta real.
Departamento de Matemtica Aplicada y Mtodos Informticos
22
Ingeniera de Minas
Frmulas Frmulas de de tipo tipo interpolatorio: interpolatorio: orden orden de de exactitud. exactitud.
EJEMPLO: La frmula de derivacin numrica de tipo interpolatorio construida sobre el soporte {x0 , x1}:
f ( x *) f (x1 ) f ( x 0 ) x1 x 0
Si f(x) es un polinomio de grado < 1, se verifica que M = 0. En consecuencia, la frmula anterior es exacta de orden 1.
Departamento de Matemtica Aplicada y Mtodos Informticos
23
Ingeniera de Minas
Teorema Las condicin necesaria y suficiente para que una frmula de derivacin numrica construida sobre un soporte de (n+1) puntos {x0, x1, ..., xn} sea exacta de orden n es que sea una frmula de tipo interpolatorio.
Demostracin: a) Demostremos que si f '(x*) ci .f (xi ) es de tipo interpolatorio
i= 0 n
Frmulas Frmulas de de tipo tipo interpolatorio: interpolatorio: orden orden de de exactitud. exactitud.
Si f(x) es cualquier polinomio de grado < n y denotamos por pn(x) a su polinomio interpolador de Lagrange sobre el soporte {x0, x1, ..., xn} se verifica para cualquier punto x*: f(x) = pn(x) = f (xi )Li (x)
i= 0 n
24
Ingeniera de Minas
Frmulas Frmulas de de tipo tipo interpolatorio: interpolatorio: orden orden de de exactitud. exactitud. b) Demostremos que si f '(x*) c .f (x ) es exacta de orden n, entonces
n i= 0 i i
es de tipo interpolatorio
Si es exacta de orden n, para cualquier polinomio de grado < n y en cualquier x* es exacta. En particular lo ser para cada uno de los polinomios de base de Lagrange Lj(x) (j = 0, 1, ....n) L j '(x*) = ci .L j (xi )
i= 0 n
(j = 0, 1, ..., n)
(j = 0, 1, ..., n)
c.q.d.
25
Ingeniera de Minas
c
i= 0
i= 0 n
=0
x :
n
L (x) = 1
i= 0 i
n L (x) i ' = 0 i= 0
L '(x) = 0
i= 0 i
L '(x*) = 0
i= 0 i
c
i= 0
=0
c.q.d.
26
Ingeniera de Minas
c x
i= 0 i
m i
= m( x
* m 1
27
Ingeniera de Minas
Ingeniera de Minas
Frmulas Frmulas de de tipo tipo interpolatorio: interpolatorio: frmulas frmulas usuales usuales
f '(x*) p0 '(x *) = 0 f '(x *) p0 '(x *) = f [ x 0 , x1 ]
= f (x1 ) f(x 0 ) H
x1 f (x 0 + H) f (x 0 ) (Frmula en adelanto o backwind) x* = x0 f '(x 0 ) H f (x1 ) f(x1 H) (Frmula en retroceso o upwind) x* = x1 f '(x1 ) H f ( x * + H 2) f(x * H 2) (Frmula centrada) x* = (x0+x1)/2 f '(x *) H x*
Departamento de Matemtica Aplicada y Mtodos Informticos
29
x0
Ingeniera de Minas
Frmulas Frmulas de de tipo tipo interpolatorio: interpolatorio: frmulas frmulas usuales usuales
f (x) p1 (x) = f (x 0 ) + f [ x 0 ,x1 ]( x x 0 ) + f [ x 0 ,x1,x 2 ]( x x 0 )( x x1 ) f '(x*) p0 '(x*) = f [ x 0 ,x1 ] + f [ x 0 ,x1 ,x 2 ]( ( x * x 0 ) + ( x * x1 ) ) f (x 2 ) f (x1 ) f (x1 ) f (x 0 ) f (x1 ) f (x 0 ) x 2 x1 x1 x 0 ( ( x * x 0 ) + ( x * x1 ) ) = + x1 x 0 x2 x0 Primer caso particular: soporte equidistante y x* = x0 x* x0
h
x1
h
x2
f '(x *)
f (x * +2h) + 4f (x * +h) 3f (x *) 2h
Ingeniera de Minas
Frmulas Frmulas de de tipo tipo interpolatorio: interpolatorio: frmulas frmulas usuales usuales
Segundo caso particular: soporte equidistante y x* = x1 x* x0
h
x1
h
x2
f ( x * +h) f (x * h) f '(x *) 2h
(Frmula centrada con 3 puntos)
x1
h
x2
f '(x *)
3f (x*) 4f (x * h) + 3f (x * 2h) 2h
Ingeniera de Minas
32