Universidad Politécnica de Madrid Ingeniería de Minas

INTERPOLACIÓN:
INTERPOLACIÓN:
Fórmulas
Fórmulas en
en diferencias
diferencias finitas
finitas
Prof. Alfredo López Benito
Prof. Carlos Conde Lázaro
Prof. Arturo Hidalgo López
Marzo, 2007

Departamento de Matemática Aplicada y Métodos Informáticos 70

 Universidad Politécnica de Madrid Ingeniería 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 relación con las diferencias divididas.

4º. Particularizar la fórmula de Newton al caso de soportes

equidistantes: Fórmulas en diferencias finitas.
5º. Obtener polinomios interpoladores utilizando diferencias
finitas.

Departamento de Matemática Aplicada y Métodos Informáticos 71

 Universidad Politécnica de Madrid Ingeniería de Minas

SOPORTES
SOPORTES EQUIDISTANTES
EQUIDISTANTES
Definición
Siendo h un valor real estrictamente positivo, se denomina
soporte equidistante a todo soporte de (n+1) puntos gene-
rados a partir de un punto x0 mediante:

xi = x0 + i·h ( 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

Departamento de Matemática Aplicada y Métodos Informáticos 72

 Universidad Politécnica de Madrid Ingeniería de Minas

DIFERENCIAS
DIFERENCIAS FINITAS
FINITAS PROGRESIVAS
PROGRESIVAS
Definición
Sea {x0 < x1 < ....< xn} un soporte equidistante y sean {f0, f1,
..., fn} los valores de una función 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 Matemática Aplicada y Métodos Informáticos 73

 Universidad Politécnica de Madrid Ingeniería de Minas

TABLA
TABLA DE
DE DIFERENCIAS
DIFERENCIAS FINITAS
FINITAS PROGRESIVAS
PROGRESIVAS

x0 → =∆∆ f f0
f0 (1)(0)
0
∆ (2)
= f1 − ff00 = ∆∆(3)
(1)
ff01 =− ∆ (2)
...f01 − ∆ (2)...
(1)
f0 ∆ (n) f0
x1 → f1 =∆∆ f f1 ∆ (2)
= ∆∆(3)
(1) ...f − ∆ (2)...f
ff12 =− ∆∆(2)
(1)
(1)(0)
1 = f2 − ff11 2
1 1

x 2 → f2 =∆∆ f f2 = f3 − ff22
(1)(0) ∆ (2)
= ∆∆(3)
(1)
ff =− ∆∆(2) ...f − ∆ (2)...f
(1)
2 23 32 2

x 3 → f3 =∆∆ f f3 = f4 − f33
(1)(0)
3
∆ (2)
f = ∆
∆ (3)
(1)
ff34 =
− ∆
∆ (2)
(1)
f43 − ∆ (2)
f3
... ... ... ... ...... ... ... ...
∆ (2)
xn− 2 → fn− 2 =∆∆ fnf−n2− 2= fn−1 − fnn−−22
(1)(0) f = ∆ (1)
fn−1 − ∆ (1)
fn− 2
xn−1 → fn−1 =∆∆(1)(0)fnf−n1−1 = fn − fn−1
xn → fn = ∆ (0) fn
∆ (n−1) f1 − ∆ (n−1) f0

Departamento de Matemática Aplicada y Métodos Informáticos 74

 Universidad Politécnica de Madrid Ingeniería de Minas

DIFERENCIAS
DIFERENCIAS FINITAS
FINITAS REGRESIVAS
REGRESIVAS

Definición
Sea {x0 < x1 < ....< xn} un soporte equidistante y sean {f0, f1,
..., fn} los valores de una función 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) fi−1 (k = 1, 2, ..., n)
(i = k, ...., n)
Departamento de Matemática Aplicada y Métodos Informáticos 75
 Universidad Politécnica de Madrid Ingeniería de Minas

TABLA
TABLA DE
DE DIFERENCIAS
DIFERENCIAS FINITAS
FINITAS REGRESIVAS
REGRESIVAS
x0 → f0 = ∇ (0) f0
x1 → f1 = ∇∇(0)(1)ff11 = f1 − f0
x2 → f2 = ∇∇(0)(1)ff22 =∇f2(2)−f2f1 = ∇ (1) f2 − ∇ (1) f1
x3 → f3 = ∇∇(0)(1)ff33 =∇f3(2)−f3f2 = ∇ ∇(1)
(3)
ff33 − ∇=(1)∇ f2(2) f3 − ∇ (2) f2
... ... ... ...... ...
... ... ... ... ...
x n− 2 → fn− 2 = ∇∇(0)(1)ffnn−−22 = f∇ (2)
−
f
n− 2 n− nf =
2−3 ∇∇(1)(3)
f f
n−n2− 2− ∇
= ∇ ...
(1)(2)
f f
n− n3−2 − ∇ (2)
fn− 3
x n−1 → fn−1 = ∇∇(0)(1)ffnn−−11 = f∇ (2)
−f f =
n− 1 n −n1− 2 ∇∇(1)(3)
f f −
n −n1− 1 ∇
= ∇
(1) (2)
...
f f
n− 2n− 1 − ∇
... (2)
fn− 2
(2) ∇ (n) f
xn → fn = ∇∇ ffnn = f∇n − fn −1 = ∇∇ fnfn− ∇= ∇
(0)(1) (2) (1)(3) (1) ...
(2) ...
fn−1 fn − ∇ fn−1 n

∇ (n−1) fn − ∇ (n−1) fn−1

Departamento de Matemática Aplicada y Métodos Informáticos 76

 Universidad Politécnica de Madrid Ingeniería 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))
Demostración:
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 algún valor (k-1) se verifica que:
∆ (k −1) fi = ∇ (k −1) fi+k −1 (i = 0, ...., (n – k+1))
se tendrá que:
0 < i < (n – k)) ∆ (k ) fi = ∆ (k −1) fi+1 − ∆ (k −1) fi = ∇ (k −1) fi+k − ∇ (k −1) fi+k −1 = ∇ (k ) fi+k
c.q.d.
Departamento de Matemática Aplicada y Métodos Informáticos 77
 Universidad Politécnica de Madrid Ingeniería 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 distan-
cia 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 distan-
cia entre puntos consecutivos del soporte, se verifica que:

∇ (k ) fi = k !·hk ·f [ xi−k ,xi−k +1 ,..., xi ] (k = 0, ..., n), (i = k, ...., n)

Departamento de Matemática Aplicada y Métodos Informáticos 78
 Universidad Politécnica de Madrid Ingeniería de Minas

PROPIEDADES
PROPIEDADES DE
DE LAS
LAS DIFERENCIAS
DIFERENCIAS FINITAS
FINITAS
Demostración:
Para k = 0: ∆ ( 0 ) fi = fi = fi+ 0 = 0!·h0 ·f xi+ 0 [ ]
(i = 0, ...., (n - 0))
Suponiendo que para algún valor (k-1) se verifica
∆ (k −1) fi = (k − 1)!·h(k −1) ·f [ xi ,...,xi+k −1 ] (i = 0, ...., (n – 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 ]

k·h c.q.d.
Departamento de Matemática Aplicada y Métodos Informáticos 79
 Universidad Politécnica de Madrid Ingeniería de Minas

FÓRMULA
FÓRMULA DE
DE NEWTON
NEWTON –– GREGORY
GREGORY PROGRESIVA
PROGRESIVA
Consecuencia (Fórmula de Newton para soporte equidistante)
n ⎛ (i − 1)
⎞
pn (x ) = f(x 0 ) + ∑ ⎜ f [ x 0 ,...,xi ]·∏ (x − x j ) ⎟
i=1 ⎝ j= 0 ⎠
n ⎛ 1 (i − 1)
⎞
pn ( x ) = f ( x 0 ) + ∑ ⎜ ·∆ f0 ·∏ (x − x j ) ⎟
(i) i−1

i = 1 ⎝ i!·h
i h ·∏ (t − j)
i
j= 0 ⎠ j=0
si x = x0 + t·h
n ⎛ (i −1)
⎞
1
pn (t ) = f(x 0 ) + ∑ ⎜ i
·∆ f0 ·∏ (t − j)·h ⎟
(i)

i = 1 ⎝ i!·h j= 0 ⎠
n
⎛ ⎛ t ⎞ (i) ⎞ Fórmula de
pn (t ) = f(x 0 ) + ∑ ⎜ ⎜ ⎟ ∆ f0 ⎟
(i−1)

∏ (t − j) Newton – Gregory
j= 0 i=1 ⎝ ⎝ i ⎠ ⎠ progresiva
i!

Departamento de Matemática Aplicada y Métodos Informáticos 80

 Universidad Politécnica de Madrid Ingeniería de Minas

FÓRMULA
FÓRMULA DE
DE NEWTON-GREGORY
NEWTON-GREGORY REGRESIVA
REGRESIVA
Consecuencia (Fórmula de Newton para soporte equidistante)
n ⎛ (i −1)
⎞
pn (x ) = f(x 0 ) + ∑ ⎜ f [ x 0 ,...,xi ]·∏ (x − x j ) ⎟
i=1 ⎝ j= 0 ⎠
n ⎛ 1 (i − 1)
⎞
pn ( x ) = f ( x 0 ) + ∑ ⎜ ·∇ fi ·∏ (x − x j ) ⎟
(i)
i−1
hi ·∏ (t − j)
i
i = 1 ⎝ i!·h j= 0 ⎠
si x = x0 + t·h j=0

n ⎛ (i −1)
⎞
1
pn (t ) = f(x 0 ) + ∑ ⎜ i
·∇ fi ·∏ (t − j)·h ⎟
(i)

i = 1 ⎝ i!·h j= 0 ⎠
n
⎛ ⎛ t ⎞ (i) ⎞ Fórmula de
pn (t ) = f(x 0 ) + ∑ ⎜ ⎜ ⎟ ∇ fi ⎟
(i−1)

∏ (t − j) Newton – Gregory
j= 0 i=1 ⎝ ⎝ i ⎠ ⎠ regresiva
i!

Departamento de Matemática Aplicada y Métodos Informáticos 81

 Universidad Politécnica de Madrid Ingeniería de Minas

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

EJEMPLO 1º

Calcular, si es posible, una expresión polinómica que

proporcione el valor exacto de:
n

∑ i·(n − i)
i= 0

Solución

Departamento de Matemática Aplicada y Métodos Informáticos 82

 Universidad Politécnica de Madrid Ingeniería 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

m+ 1
f(m + 1) = ∑ i·(m + 1 − i)
i= 0

m+ 1 m m+ 1 m+ 1 m+ 1 m m
∆fm = ∑ i·(m + 1 − i) − ∑ i·(m − i)
i= 0 i= 0
= ∑ m·i + ∑ i − ∑ i − ∑ m·i + ∑ i =
i= 0 i= 0 i= 0
2

i= 0 i= 0
2

m+ 1
⎛ m+ 1 m
⎞ m+ 1 ⎛ m+ 1 2 m 2 ⎞
= m·⎜ ∑ i − ∑ i ⎟ + ∑ i − ⎜ ∑ i − ∑ i ⎟ = m + m + ∑ i − (m + 1)
2 2
=
⎝ i= 0 i= 0 ⎠ i= 0 ⎝ i= 0 i= 0 ⎠ i= 0

m+ 1 m+ 1
= m + m + ∑ i − m − 2·m − 1 =
2 2
∑i − m − 1
i= 0 i= 0
Departamento de Matemática Aplicada y Métodos Informáticos 83
 Universidad Politécnica de Madrid Ingeniería de Minas

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

(m+ 1) (m+ 2) (m+ 1)

∆fm = ∑ i−m−1
i= 0
∆ fm = ∆fm+1 − ∆fm =
(2)
∑ i−m−2− ∑ i+m+1
i= 0 i= 0

(m+ 2)
∆fm+1 = ∑ i−m−2
i= 0
⎛ (m+ 2) (m+ 1)
⎞
∆ fm = ⎜
(2)
∑ i− ∑ i⎟ − 1 = m + 2 - 1 = m + 1 ∆ (3) fm = ∆ (2) fm+1 − ∆ (2) fm = 1
⎝ i= 0 i= 0 ⎠
∆ (2) fm+1 = m + 2
Las diferencias finitas de orden 4
∆ fm = 1
(3)
∆ fm = 0
(4)
y superior son nulas para todo “m”
∆ (3) fm+1 = 1 La expresión es un polinomio de grado 3
Se puede determinar con 4 valores
Departamento de Matemática Aplicada y Métodos Informáticos 84
 Universidad Politécnica de Madrid Ingeniería de Minas

EJEMPLO
EJEMPLO (4/8)
(4/8)
b) Calculemos la expresión polinómica
xi fi
0 0
1 0
2 1
3 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 Matemática Aplicada y Métodos Informáticos 85

 Universidad Politécnica de Madrid Ingeniería de Minas

EJEMPLO
EJEMPLO (5/8)
(5/8)
xi fi ∆fi
0 0 0
1 0 1
2 1 3
3 4

∆f0 = f1 − f0 = 0 − 0 = 0
∆f1 = f2 − f1 = 1 − 0 = 1

∆f2 = f3 − f2 = 4 − 1 = 3

Departamento de Matemática Aplicada y Métodos Informáticos 86

 Universidad Politécnica de Madrid Ingeniería de Minas

EJEMPLO
EJEMPLO (6/8)
(6/8)
xi fi ∆fi ∆ (2) fi
0 0 0 1
1 0 1 2
2 1 3
3 4

∆ (2) f0 = ∆f1 − ∆f0 = 1 − 0 = 1

∆ (2) f1 = ∆f2 − ∆f1 = 3 − 1 = 2

Departamento de Matemática Aplicada y Métodos Informáticos 87

 Universidad Politécnica de Madrid Ingeniería de Minas

EJEMPLO
EJEMPLO (7/8)
(7/8)
xi fi ∆fi ∆ (2) fi ∆ (3) fi
0 0 0 1 1
1 0 1 2
2 1 3
3 4

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

Departamento de Matemática Aplicada y Métodos Informáticos 88

 Universidad Politécnica de Madrid Ingeniería de Minas

EJEMPLO
EJEMPLO (8/8)
(8/8)
xi fi ∆fi ∆ (2) fi ∆ (3) fi
0 0 0 1 1
1 0 1 2
h=1
2 1 3
3 4 n = 0 + n·h = n

3
⎛ ⎛ n ⎞ (i) ⎞ ⎛ n ⎞ ⎛ n⎞ ⎛ n⎞ ⎛ n⎞
p3 (n) = f(x 0 ) + ∑ ⎜ ⎜ ⎟ ∆ f0 ⎟ = ⎜ ⎟·0 + ⎜ ⎟·0 + ⎜ ⎟·1 + ⎜ ⎟·1 =
i=1 ⎝ ⎝ i ⎠ ⎠ ⎝0⎠ ⎝ 1⎠ ⎝ 2⎠ ⎝ 3⎠

n·(n − 1) n·(n − 1)·(n − 2) n3 − n

= + =
2! 3! 6
Departamento de Matemática Aplicada y Métodos Informáticos 89
 Universidad Politécnica de Madrid Ingeniería de Minas

Departamento de Matemática Aplicada y Métodos Informáticos 90