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:
( i = 1, 2, ..., n)

xi = x0 + ih

Un soporte equidistante se caracteriza porque la distancia

entre dos puntos consecutivos cualesquiera de l siempre
es la misma.
h

xo

x1

xi

xn

Departamento de Matemtica Aplicada y Mtodos Informticos

72

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))

Departamento de Matemtica Aplicada y Mtodos Informticos

73

Universidad Politcnica de Madrid

Ingeniera de Minas

TABLA
TABLA DE
DE DIFERENCIAS
DIFERENCIAS FINITAS
FINITAS PROGRESIVAS
PROGRESIVAS
x0
x1

(2)

= f1 ff00
(2)

= f2 ff11

(1)
(1)
...f01 (2)...
= (3)
ff01 = (2)
f0
(1)
(1)
...f (2)...f
= (3)
ff12 = (2)
2
1
1
(1)
(1)
...f (2)...f
= (3)
ff = (2)

= f f0
f1 = f f1
(2)

x 2 f2 = f f2 = f3 ff22
23
32
2
(2)
(3)
(1)
(2)
(1)
(2)
f
=

f
f
=

f3

x 3 f3 = f f3 = f4 f33
34
43
... ...
...
... ... ...
......
...
(2)
(1)
(1)
(1)(0)
f
=

fn 2

xn 2 fn 2 = fnfn2 2= fn1 fnn22

n1
xn1 fn1 =(1)(0)fnfn11 = fn fn1
xn fn = (0) fn
f0

(1)(0)
0
(1)(0)
1
(1)(0)
2
(1)(0)
3

(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)

Departamento de Matemtica Aplicada y Mtodos Informticos

75

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
f1 = (0)(1)ff11
= f1 f0
f2 = (0)(1)ff22
=f2(2)f2f1 = (1) f2 (1) f1
(3)
f3 = (0)(1)ff33
=f3(2)f3f2 =
ff33 =(1)
f2(2) f3 (2) f2
(1)
...
... ...
...
...
... ...
......
(2)
(2)
(1)(3)
(1)(2)
...
fn 2 = (0)(1)ffnn22 = f

f
f
=

f
=

fn 3
n 2 n n
23
nn2 2
n n
32
(2)
(2)
(1)(3)
(1) (2)
fn1 = (0)(1)ffnn11 = f
...
...

f
f
=

f
=

fn 2
n 1 n n1 2
n n1 1
n 2n 1
(2)
(1)
(2)
(2) (n) f
(1)(3)
(1) ...
(0)
...
fn = ffnn = fn fn 1 = fnfn =
fn1 fn fn1 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:

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

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

Para k = 1:

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

(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)

Departamento de Matemtica Aplicada y Mtodos Informticos

78

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 )

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

kh
Departamento de Matemtica Aplicada y Mtodos Informticos

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

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

(i1)

(t j)
j= 0

i1

h (t j)
i

j=0

Frmula de
Newton Gregory
progresiva

i!
Departamento de Matemtica Aplicada y Mtodos Informticos

80

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

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

(i1)

(t j)
j= 0

i1

hi (t j)
j=0

Frmula de
Newton Gregory
regresiva

i!
Departamento de Matemtica Aplicada y Mtodos Informticos

81

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:
n

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
m

f(m) = i(m i)

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

i= 0

f(m + 1) =

m+ 1

i(m + 1 i)
i= 0

fm =

m+ 1

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

i= 0

m+ 1

m+ 1

m+ 1

mi + i i mi + i =
2

i= 0

i= 0

i= 0

i= 0

i= 0

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+ 1

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

i= 0

m+ 1

i m 1
i= 0

Departamento de Matemtica Aplicada y Mtodos Informticos

83

Universidad Politcnica de Madrid

Ingeniera de Minas

EJEMPLO
EJEMPLO (3/8)
(3/8)
fm =

(m+ 1)

im1

fm+1 =

i= 0

(m+ 2)

(m+ 1)

i= 0

i= 0

im2 i+m+1

(m+ 2)

fm =

(2)

fm = fm+1 fm =
(2)

im2

i= 0
(m+ 2)

i= 0

(m+ 1)

i= 0

i 1 = m + 2 - 1 = m + 1

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

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

(3) fm+1 = 1

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

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

4
0

f0 = f(0) = i(0 i) = 0(0 0) = 0

i= 0
1

f1 = f(1) = i(1 i) = 0(1 0) + 1(1 1) = 0

i= 0
2

f2 = f(2) = i(2 i) = 0(2 0) + 1(2 1) + 2(2 2) = 1

i= 0
3

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

i= 0

Departamento de Matemtica Aplicada y Mtodos Informticos

85

Universidad Politcnica de Madrid

Ingeniera de Minas

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

fi

fi
0

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

fi

fi
0

(2) fi

1
2

(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

fi

fi
0

(2) fi

(3) fi
1

( 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

fi

fi
0

(2) fi

(3) fi
1

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
3

n(n 1) n(n 1)(n 2)

=
+
2!
3!

n3 n
=
6

Departamento de Matemtica Aplicada y Mtodos Informticos

89

Universidad Politcnica de Madrid

Ingeniera de Minas

Departamento de Matemtica Aplicada y Mtodos Informticos

90