Universidad Politcnica de Madrid

Ingeniera de Minas

INTERPOLACIN: INTERPOLACIN: Frmulas Frmulas en en diferencias diferencias finitas finitas

Prof. Alfredo Lpez Benito Prof. Carlos Conde Lzaro Prof. Arturo Hidalgo Lpez
Marzo, 2007
Departamento de Matemtica Aplicada y Mtodos Informticos
70

Universidad Politcnica de Madrid

Ingeniera de Minas

OBJETIVOS OBJETIVOS
1. Conocer el concepto de soporte equidistante. 2. Conocer el concepto de diferencia finita (progresiva y regresiva). 3. Conocer las principales propiedades de las diferencias finitas y su relacin con las diferencias divididas. 4. Particularizar la frmula de Newton al caso de soportes equidistantes: Frmulas en diferencias finitas. 5. Obtener polinomios interpoladores utilizando diferencias finitas.
Departamento de Matemtica Aplicada y Mtodos Informticos
71

Universidad Politcnica de Madrid

Ingeniera de Minas

SOPORTES SOPORTES EQUIDISTANTES EQUIDISTANTES

Definicin Siendo h un valor real estrictamente positivo, se denomina soporte equidistante a todo soporte de (n+1) puntos generados a partir de un punto x0 mediante: xi = x0 + ih ( i = 1, 2, ..., n)

Un soporte equidistante se caracteriza porque la distancia entre dos puntos consecutivos cualesquiera de l siempre es la misma.
h h h h h

xo

x1

xi

xn
72

Departamento de Matemtica Aplicada y Mtodos Informticos

Universidad Politcnica de Madrid

Ingeniera de Minas

DIFERENCIAS DIFERENCIAS FINITAS FINITAS PROGRESIVAS PROGRESIVAS

Definicin Sea {x0 < x1 < ....< xn} un soporte equidistante y sean {f0, f1, ..., fn} los valores de una funcin f(x) en los (n+1) puntos del soporte. Se denomina: Diferencia finita progresiva de orden 0 de f(x) en xi al valor:
(0) fi = fi

(i = 0, ...., n )

Diferencia finita progresiva de orden k de f(x) en xi al valor:

(k ) fi = (k 1) fi+1 (k 1) fi

(k = 1, 2, ..., n) (i = 0, ...., (n - k))

73

Departamento de Matemtica Aplicada y Mtodos Informticos

Universidad Politcnica de Madrid

Ingeniera de Minas

TABLA TABLA DE DE DIFERENCIAS DIFERENCIAS FINITAS FINITAS PROGRESIVAS PROGRESIVAS

= f f0 f1 = f f1 (2) f2 x 2 f2 = f f2 = f3 f 2 2 3 3 2 2 (2) (3) (1) (2) (1) (2) f = f f = f f3 x 3 f3 = f f3 = f4 f3 3 3 4 4 3 ... ... ... ... ... ... ... ... ... (2) (1) (1) (0) (1) f = f fn 2 xn 2 fn 2 = fnf = fn1 f n 22 n1 2 n n 2 (0) (1) xn1 fn1 = fnf 1 = fn fn 1 n 1 xn fn = (0) fn
f0
(0) (1) 0 (0) (1) 1 (0) (1) 2 (0) (1) 3

x0 x1

(2) f00 = f1 f (2) f1 = f2 f 1

(1) (2) (1) (2) ... ... = (3) ff = f f0 0 1 0 1 (1) (1) (2) ... ... = (3) f f12 = (2) f2 f1 1 (1) (1) ... ... = (3) f f= (2) f (2) f

(n) f0

(n1) f1 (n1) f0
Departamento de Matemtica Aplicada y Mtodos Informticos
74

Universidad Politcnica de Madrid

Ingeniera de Minas

DIFERENCIAS DIFERENCIAS FINITAS FINITAS REGRESIVAS REGRESIVAS

Definicin Sea {x0 < x1 < ....< xn} un soporte equidistante y sean {f0, f1, ..., fn} los valores de una funcin f(x) en los (n+1) puntos del soporte. Se denomina: Diferencia finita regresiva de orden 0 de f(x) en xi al valor:
(0) fi = fi

(i = 0, ...., n )

Diferencia finita regresiva de orden k de f(x) en xi al valor:

(k) fi = (k 1) fi (k 1) fi1

(k = 1, 2, ..., n) (i = k, ...., n)
75

Departamento de Matemtica Aplicada y Mtodos Informticos

Universidad Politcnica de Madrid

Ingeniera de Minas

TABLA TABLA DE DE DIFERENCIAS DIFERENCIAS FINITAS FINITAS REGRESIVAS REGRESIVAS

x0 x1 x2 x3 ... x n 2 ...

x n1 xn

= (0) f0 (1) (0) f1 = = f1 f0 ff 11 (2) (1) (1) (1) (0) f2 = = f f f = f f1 ff 21 2 2 22 (2) (1) (3) (2) (1) (1) (2) (0) f3 = = f f f = f f f = f f2 ff 32 3 3 33 2 33 ... ... ... ... ... ... ... ...... (2) (1) (3) (2) (1) (1)(2) (0) ... fn 2 = = f f f = f f f = f fn 3 ff n 2 n n 23 n nn 2 2 n n 32 n 22 (2) (1) (3) (2) (1) (1) (2) (0) fn1 = ... ... = f f f = f f f = f fn 2 ff n 1 n n 1 2 n n1 n n 1 1 n 2 n 11 (2) (1) (3) (2) (2) (n) f (1) (1) ... (0) ... fn = ff =f = fn1 fn fn1 n fnfn n fn 1 = n n
f0 (n1) fn (n1) fn1

Departamento de Matemtica Aplicada y Mtodos Informticos

76

Universidad Politcnica de Madrid

Ingeniera de Minas

PROPIEDADES PROPIEDADES DE DE LAS LAS DIFERENCIAS DIFERENCIAS FINITAS FINITAS

Propiedad 1 Siendo {x0 < x1 < ....< xn} un soporte equidistante y {f0, f1, ..., fn} los valores de f(x) en los puntos que lo forman, se verifica que: (k ) fi = (k ) fi+k (k = 0, ..., n), (i = 0, ...., (n - k))
Demostracin: Para k = 0: Para k = 1:

( 0 ) fi = fi = ( 0 ) fi = ( 0 ) fi+ 0
(1) fi = fi+1 fi = (1) fi+1

(i = 0, ...., (n - 0)) (i = 0, ...., (n - 1))

Suponiendo que para algn valor (k-1) se verifica que: (i = 0, ...., (n k+1)) (k 1) fi = (k 1) fi+k 1 se tendr que: (k ) fi = (k 1) fi+1 (k 1) fi = (k 1) fi+k (k 1) fi+k 1 = (k ) fi+k 0 < i < (n k)) c.q.d.
Departamento de Matemtica Aplicada y Mtodos Informticos
77

Universidad Politcnica de Madrid

Ingeniera de Minas

PROPIEDADES PROPIEDADES DE DE LAS LAS DIFERENCIAS DIFERENCIAS FINITAS FINITAS

Propiedad 2 Siendo {x0 < x1 < ....< xn} un soporte equidistante, {f0, f1, ..., fn} los valores de f(x) en los puntos que lo forman, y h la distancia entre puntos consecutivos del soporte, se verifica que:
(k ) fi = k !hk f [ xi ,xi+1 ,..., xi+k ] (k = 0, ..., n), (i = 0, ...., (n - k)) Propiedad 2 (bis)

Siendo {x0 < x1 < ....< xn} un soporte equidistante, {f0, f1, ..., fn} los valores de f(x) en los puntos que lo forman, y h la distancia entre puntos consecutivos del soporte, se verifica que:
(k ) fi = k !hk f [ xik ,xik +1 ,..., xi ]

(k = 0, ..., n), (i = k, ...., n)

78

Departamento de Matemtica Aplicada y Mtodos Informticos

Universidad Politcnica de Madrid

Ingeniera de Minas

PROPIEDADES PROPIEDADES DE DE LAS LAS DIFERENCIAS DIFERENCIAS FINITAS FINITAS

Demostracin: (i = 0, ...., (n - 0)) Para k = 0: ( 0 ) fi = fi = fi+ 0 = 0!h0 f xi+ 0 Suponiendo que para algn valor (k-1) se verifica (i = 0, ...., (n k+1)) (k 1) fi = (k 1)!h(k 1) f [ xi ,...,xi+k 1 ] se tiene que para todo valor del ndice i tal que 0 < i < (n-k) :

(k ) fi = (k 1) fi+1 (k 1) fi = (k 1)!h(k 1) f [ xi+1,...,xi+k ] (k 1)!h(k 1) f [ xi ,...,xi+k 1 ] (k ) fi = (k 1)!h(k 1) ( f [ xi+1,...,xi+k ] f [ xi ,...,xi+k 1 ] ) (k ) fi = (k 1)!h(k 1) f [ xi ,...,xi+k ]( xi+k xi )
kh
Departamento de Matemtica Aplicada y Mtodos Informticos

= k !hk f [ xi+1, ...,xi+k ]

c.q.d.
79

Universidad Politcnica de Madrid

Ingeniera de Minas

FRMULA FRMULA DE DE NEWTON NEWTON GREGORY GREGORY PROGRESIVA PROGRESIVA

Consecuencia (Frmula de Newton para soporte equidistante) (i 1) n pn (x ) = f(x 0 ) + f [ x 0 ,...,xi ] (x x j ) i=1 j= 0
(i 1) 1 (i) pn ( x ) = f ( x 0 ) + f0 (x x j ) i i = 1 i!h j= 0 si x = x0 + th (i 1) n 1 (i) pn (t ) = f(x 0 ) + f0 (t j)h i i = 1 i!h j= 0 n
(i1) j= 0

h (t j)
i j=0

i1

(t j)
i!

t (i) pn (t ) = f(x 0 ) + f0 i=1 i

n

Frmula de Newton Gregory progresiva

80

Departamento de Matemtica Aplicada y Mtodos Informticos

Universidad Politcnica de Madrid

Ingeniera de Minas

FRMULA FRMULA DE DE NEWTON-GREGORY NEWTON-GREGORY REGRESIVA REGRESIVA

Consecuencia (Frmula de Newton para soporte equidistante) (i 1) n pn (x ) = f(x 0 ) + f [ x 0 ,...,xi ] (x x j ) i=1 j= 0
(i 1) 1 (i) pn ( x ) = f ( x 0 ) + fi (x x j ) i i = 1 i!h j= 0 si x = x0 + th (i 1) n 1 (i) pn (t ) = f(x 0 ) + fi (t j)h i i = 1 i!h j= 0 n
(i1) j= 0

hi (t j)
j=0

i1

(t j)
i!

t (i) pn (t ) = f(x 0 ) + fi i=1 i

n

Frmula de Newton Gregory regresiva

81

Departamento de Matemtica Aplicada y Mtodos Informticos

Universidad Politcnica de Madrid

Ingeniera de Minas

EJEMPLO EJEMPLO (1/8) (1/8)

EJEMPLO 1 Calcular, si es posible, una expresin polinmica que proporcione el valor exacto de:

i(n i)
i= 0

Solucin

Departamento de Matemtica Aplicada y Mtodos Informticos

82

Universidad Politcnica de Madrid

Ingeniera de Minas

EJEMPLO EJEMPLO (2/8) (2/8)

a) Analicemos si es posible lo que se pide
f(m) = i(m i)
i= 0 m

fm = f(m + 1) f (m)

f(m + 1) =

m+ 1 i= 0

i(m + 1 i)
m

fm =

m+ 1 i= 0

i(m + 1 i) i(m i)
i= 0

m+ 1 i= 0

mi + i i mi + i =
2 2 i= 0 i= 0 i= 0 i= 0

m+ 1

m+ 1

m+ 1 m m+ 1 m+ 1 m+ 1 2 m 2 2 2 = m i i + i i i = m + m + i (m + 1) i= 0 i= 0 i= 0 i= 0 i= 0 i= 0

= m + m + i m 2m 1 =
2 2 i= 0

m+ 1

m+ 1 i= 0

i m 1
83

Departamento de Matemtica Aplicada y Mtodos Informticos

Universidad Politcnica de Madrid

Ingeniera de Minas

EJEMPLO EJEMPLO (3/8) (3/8)

fm =
(m+ 1) i= 0

im1
(m+ 2) i= 0 (m+ 2)

fm = fm+1 fm =
(2)

(m+ 2) i= 0

im2 i+m+1
i= 0

(m+ 1)

fm+1 =
(2)

im2

i= 0

fm =

(m+ 1)

i= 0

i 1 = m + 2 - 1 = m + 1 (2) fm+1 = m + 2

(3) fm = (2) fm+1 (2) fm = 1

fm = 1
(3)

fm = 0
(4)

Las diferencias finitas de orden 4 y superior son nulas para todo m La expresin es un polinomio de grado 3 Se puede determinar con 4 valores

(3) fm+1 = 1

Departamento de Matemtica Aplicada y Mtodos Informticos

84

Universidad Politcnica de Madrid

Ingeniera de Minas

EJEMPLO EJEMPLO (4/8) (4/8)

b) Calculemos la expresin polinmica xi fi
0 1 2 3
0 i= 0 1

0 0 1 4

f0 = f(0) = i(0 i) = 0(0 0) = 0 f1 = f(1) = i(1 i) = 0(1 0) + 1(1 1) = 0 f2 = f(2) = i(2 i) = 0(2 0) + 1(2 1) + 2(2 2) = 1 f3 = f(3) = i(3 i) = 0(3 0) + 1(3 1) + 2(3 2) + 3(3 3) = 4
i= 0 i= 0 3 i= 0 2

Departamento de Matemtica Aplicada y Mtodos Informticos

85

Universidad Politcnica de Madrid

Ingeniera de Minas

EJEMPLO EJEMPLO (5/8) (5/8)

xi
0 1 2 3

fi
0 0 1 4

fi 0

1 3

f0 = f1 f0 = 0 0 = 0
f1 = f2 f1 = 1 0 = 1

f2 = f3 f2 = 4 1 = 3
Departamento de Matemtica Aplicada y Mtodos Informticos
86

Universidad Politcnica de Madrid

Ingeniera de Minas

EJEMPLO EJEMPLO (6/8) (6/8)

xi
0 1 2 3

fi
0 0 1 4

fi 0

(2) fi

1 2

1 3

(2) f0 = f1 f0 = 1 0 = 1
(2) f1 = f2 f1 = 3 1 = 2

Departamento de Matemtica Aplicada y Mtodos Informticos

87

Universidad Politcnica de Madrid

Ingeniera de Minas

EJEMPLO EJEMPLO (7/8) (7/8)

xi
0 1 2 3

fi
0 0 1 4

fi 0

(2) fi

1 2

(3) fi 1

1 3

( 3) f0 = (2) f1 ( 2 ) f0 = 2 1 = 1

Departamento de Matemtica Aplicada y Mtodos Informticos

88

Universidad Politcnica de Madrid

Ingeniera de Minas

EJEMPLO EJEMPLO (8/8) (8/8)

xi
0 1 2 3

fi
0 0 1 4
3

fi 0

(2) fi

1 2

(3) fi 1

1 3

h=1 n = 0 + nh = n

n (i) n n n n p3 (n) = f(x 0 ) + f0 = 0 + 0 + 1 + 1 = 1 2 3 i=1 i 0

n(n 1) n(n 1)(n 2) = + 2! 3!

n3 n = 6
89

Departamento de Matemtica Aplicada y Mtodos Informticos

Universidad Politcnica de Madrid

Ingeniera de Minas

Departamento de Matemtica Aplicada y Mtodos Informticos

90