Interpolacion

de Lagrange.
Interpolacion
del error.
Estimacion

Splines cubicas.

521230

-1-

DIM Universidad de Concepcion

Idea:

esta basado en la idea de obtener una

El concepto de interpolacion

p, que aproxime una funcion

desconocida f de la cual conocemos su
funcion
en un numero
valor solo
finito de puntos distintos x0 , x1 , . . . , xn . Intuitivamente

para que p este cerca de f , es natural pedirle que coincida con f en los puntos

x0 , x1 , . . . , xn .

521230

-2-

DIM Universidad de Concepcion

 Polinomial
Interpolacion
Sean (x0 , y0 ), (x1 , y1 ), . . . , (xn , yn ), n + 1 puntos en el plano, tales que

xi 6= xj si i 6= j . Diremos que el polinomio p(x) = a0 + a1 x + + am xm ,

interpola al conjunto de datos, si

p(xi ) = yi ,

i = 0, . . . , n.

Dado que se tienen m + 1 parametros

independientes a0 , . . . , am y n + 1
condiciones sobre p, es razonable considerar m

= n. El sistema de ecuaciones

esta dado por

que resuelve este problema de interpolacion

a0 + a1 x0 + a2 x20 + + an xn0 = y0

..
.

a + a x + a x2 + + a xn = y
0
1 n
2 n
n n
n

521230

-3-

DIM Universidad de Concepcion

Teorema.
Dados n + 1 puntos (x0 , y0 ), . . . , (xn , yn ) tales que xi 6= xj , i 6= j ,
entonces existe un unico

polinomio p, de grado menor o igual a n, tal que

p(xi ) = yi ,

i = 0, . . . , n.

Demostracion.
El determinante de la matriz asociada al sistema de ecuaciones que resuelve el
esta dado por
problema de interpolacion

(xi xj ),

0j<in

que es evidentemente distinto de cero.

521230

-4-

DIM Universidad de Concepcion

Polinomios de Lagrange
p, sin tener que resolver un
Una manera de calcular el polinomio de interpolacion
de los polinomios de Lagrange i , con
sistema de ecuaciones, es a traves

i = 0, . . . , n asociados a los puntos x0 , . . . , xn . Estos polinomios de grado n

definidos por
estan

i (x) :=


n 
Y
x xj

j=0
j6=i

xi xj

i = 0, . . . , n.

:
Notar que ellos satisfacen la relacion

1,
i (xj ) =
0,

521230

-5-

si i

= j,

si i

6= j,

i, j = 0, . . . , n.

DIM Universidad de Concepcion

El conjunto {0 , 1 , . . . , n } es una base del espacio de polinomios de grado

menor o igual a n. Gracias a esto existen escalares 0 , 1 , . . . , n

R tales

p se puede escribir de la siguiente manera:

que el polinomio de interpolacion

p(x) = 0 0 (x) + 1 1 (x) + + n n (x) .

Debido a las propiedades de los polinomios de Lagrange es inmediato ver que

o = y0 , 1 = y1 , . . . , n = yn , es decir
p(x) = y0 0 (x) + y1 1 (x) + + yn n (x) .

521230

-6-

DIM Universidad de Concepcion

 tal que yi = f (xi ), i = 0, 1, . . . , n. Una

: R R una funcion
f es a traves
del polinomio de interpolacion,

manera de aproximar la funcion

respecto a x0 , . . . , xn , el que en este caso esta dado por

Sea f

pn (x) =

n
X

f (xi )i (x), n = 0, 1, . . .

i=0

Teorema.
real n + 1 veces
Sean x0 , . . . , xn numeros
reales distintos y f una funcion

continuamente diferenciable en el intervalo I = (a, b), donde

a = min{x0 , . . . , xn } y b = max{x0 , . . . , xn }. Entonces, para cada
x [a, b], existe x I tal que
n
X

(x x0 ) (x xn ) (n+1)
f
(x ).
f (xi )i (x) =
E(x) := f (x)
(n
+
1)!
i=0

521230

-7-

DIM Universidad de Concepcion

 Interpolacion
lineal.
Aplicacion:
Para n = 1. Supongamos que x0 x x1 , es decir [a, b] = [x0 , x1 ]. Sea
h := x1 x0 , entonces

p(x) = f (x0 )

(x x0 )
(x x1 )
+ f (x1 )
.
(x0 x1 )
(x1 x0 )

Luego

f (x )
f (x) p(x) = (x x0 )(x x1 )
2

x0 < x < x1 ,

h2
x [x0 , x1 ] (ejercicio), entonces
as, como (x x0 )(x x1 )
4
M 2
max |f (x) p(x)|
h ,
8
x[a,b]

521230

-8-

M := max |f (x)| .
x[a,b]

DIM Universidad de Concepcion


Fenomeno
de Runge
polinomial para un valor de n grande con puntos xi
Al realizar una interpolacion
equiespaciados, se puede comprobar que se producen grandes oscilaciones del
p entre dos puntos consecutivos, especialmente cerca
polinomio de interpolacion
[a, b].
de los extremos del intervalo de interpolacion

1
f (x) =
, 5 x 5, consideremos el
Ejemplo: Dada la funcion
1 + x2
polinomio de grado 10 que interpola f en los puntos xi = 5, 4, 3, . . . , 5.

521230

-9-

DIM Universidad de Concepcion

1./(1+x )
2
Puntos
Exacta
Lagrange

1.5

0.5

0.5
5

Figure 1: Fenomeno
de Runge

521230

- 10 -

DIM Universidad de Concepcion

 consiste en construir funciones

Una estrategia efectiva que evita esta situacion
polinomial por tramos (pedazos), en particular las interpolantes
de interpolacion
spline cubicas.

521230

- 11 -

DIM Universidad de Concepcion

 por funciones spline cubicas

Interpolacion

Dados n + 1 puntos (x0 , y0 ), . . . , (xn , yn ) tales que x0

< x1 < . . . < xn .

s es una interpolante spline cubica

en [x0 , xn ], si existen
Una funcion
3, tales que:
polinomios q0 , q1 , . . . , qn1 , de grado a lo mas

s(x) = qk (x), en [xk , xk+1 ], k = 0, 1, , n 1,

qk (xk ) = yk ,

qk (xk+1 ) = yk+1 ,

qk1
(xk ) = qk (xk ) = s (xk ), k = 1, , n 1,

(xk ) = qk (xk ) = s (xk ), k = 1, , n 1.

qk1

521230

- 12 -

DIM Universidad de Concepcion

Las dos ultimas

propiedades quieren decir que los polinomios qk tienen la misma

pendiente y concavidad en los nodos de acoplamiento. Esto garantiza la

suavidad de s en [x0 , xn ].

En particular, cada qk es lineal e interpola a (xk , k ) y (xk+1 , k+1 ) en

[xk , xk+1 ], donde k := s (xk ). En consecuencia:

qk (x) = k
con k

521230

x xk+1
x xk
+ k+1
,
xk xk+1
xk+1 xk

= 0, 1, , n 1.

- 13 -

DIM Universidad de Concepcion

Si hk

:= xk+1 xk , con k = 0, 1, , n 1, entonces integrando dos veces

qk , tenemos
k (xk+1 x)3 + k+1 (x xk )3
+ k (x),
qk (x) =
6hk
donde k , con k

= 0, 1, , n 1, son polinomios de grado 1, que se pueden

escribir de la forma

k (x) := Ak (x xk ) + Bk (xk+1 x),

donde Ak y Bk son constantes determinadas por las relaciones qk (xk )

= yk y

qk (xk+1 ) = yk+1 , es decir ellas se determinan despejando su valor de las

ecuaciones

521230

yk

yk+1

- 14 -

k 2
h + Bk hk ,
6 k
k+1 2
h k + Ak h k .
6

DIM Universidad de Concepcion

Despejando Ak y Bk , y reemplazando dichos valores en el polinomio de qk ,

obtenemos


(xk+1 x)3
hk (xk+1 x)
qk (x) =
hk


3
k+1 (x xk )
+
hk (x xk )
6
hk




x xk
xk+1 x
+ yk+1
,
+yk
hk
hk
k
6

k = 0, 1, , n 1.

521230

- 15 -

DIM Universidad de Concepcion

 determinados por el ultimo

Los valores k estan
conjunto de condiciones que

falta por verificar y que caracterizan a la spline cubica,

a saber que la derivada es

continua. Es decir, se debe verificar que s resulte continua en cada xk . Para ello
derivamos el polinomio qk obteniendo

qk (x) =





2
2
k+1 3(x xk )
3(xk+1 x)
k
+ hk +
hk

6
hk
6
hk
yk+1 yk
,
+
hk

521230

- 16 -

k = 0, 1, , n 1.

DIM Universidad de Concepcion


Luego, como qk1
(xk )

= qk (xk ), k = 1, , n 1 (continuidad de s ), se

tiene que

2k
2k
yk yk1
k+1
yk+1 yk
k1
=
,
hk1 +
hk1 +
hk
hk +
6
6
hk1
6
6
hk
para

521230

k = 1, . . . , n 1.

- 17 -

DIM Universidad de Concepcion

Es decir, tenemos un sistema de ecuaciones lineales:

hk1 k1 + 2(hk1 + hk )k + hk k+1 = 6

yk yk1
yk+1 yk

hk
hk1

k = 1, . . . , n 1, constituido por n 1 ecuaciones y n + 1 incognitas

:
0 , . . . , n .

con

521230

- 18 -

DIM Universidad de Concepcion

Para resolver este sistema, por ejemplo podemos asignar valores arbitrarios a las

incognitas
0 y n , reduciendo as el numero
de incognitas
a n 1. Cuando se

toma 0

= n = 0, la interpolante que se obtiene se denomina spline

cubica

natural. Escribiendo las ecuaciones de manera matricial para la spline

cubica
natural, se obtiene el siguiente sistema tridiagonal, con matriz simetrica
y

definida positiva.

521230

- 19 -

DIM Universidad de Concepcion


a1

b1

b1
a2

b2

..

..

bn3

..

an2
bn2

d1

2
d2

.
.
.. = 6 ..

bn2 n2
d
n2

an1
n1
dn1

donde

ak = 2(hk1 + hk ),
yk yk1
yk+1 yk

,
dk =
hk
hk1
bk = h k ,

521230

k = 1, . . . , n 1,

k = 1, . . . , n 2,

- 20 -

DIM Universidad de Concepcion

 f del fenomeno

Ejemplo: Consideremos nuevamente la funcion

de Runge. Si
calculamos la spline cubica
natural s que interpola a f en los puntos

xi = 5, 4, 3, . . . , 5 , obtenemos

521230

- 21 -

DIM Universidad de Concepcion

1./(1+x )
2

Puntos
Exacta
Lagrange
Spline

1.5

0.5

0.5
5

521230

- 22 -

DIM Universidad de Concepcion