Interpolaci on

Interpolaci on de Lagrange.
Estimaci on del error.
Splines c ubicas.
521230 - 1- DIM Universidad de Concepci on
Idea: El concepto de interpolaci on est a basado en la idea de obtener una
funci on p, que aproxime una funci on desconocida f de la cual conocemos su
valor s olo en un n umero nito de puntos distintos x
0
, x
1
, . . . , x
n
. Intuitivamente
para que p est e cerca de f, es natural pedirle que coincida con f en los puntos
x
0
, x
1
, . . . , x
n
.
521230 - 2- DIM Universidad de Concepci on
Interpolaci on Polinomial
Sean (x
0
, y
0
), (x
1
, y
1
), . . . , (x
n
, y
n
), n + 1 puntos en el plano, tales que
x
i
= x
j
si i = j. Diremos que el polinomio p(x) = a
0
+a
1
x + +a
m
x
m
,
interpola al conjunto de datos, si
p(x
i
) = y
i
, i = 0, . . . , n.
Dado que se tienen m + 1 par ametros independientes a
0
, . . . , a
m
y n + 1
condiciones sobre p, es razonable considerar m = n. El sistema de ecuaciones
que resuelve este problema de interpolaci on est a dado por
_

_
a
0
+ a
1
x
0
+ a
2
x
2
0
+ + a
n
x
n
0
= y
0
.
.
.
a
0
+ a
1
x
n
+ a
2
x
2
n
+ + a
n
x
n
n
= y
n
521230 - 3- DIM Universidad de Concepci on
Teorema.
Dados n + 1 puntos (x
0
, y
0
), . . . , (x
n
, y
n
) tales que x
i
= x
j
, i = j,
entonces existe un unico polinomio p, de grado menor o igual a n, tal que
p(x
i
) = y
i
, i = 0, . . . , n.
Demostraci on.
El determinante de la matriz asociada al sistema de ecuaciones que resuelve el
problema de interpolaci on est a dado por

0j<in
(x
i
x
j
),
que es evidentemente distinto de cero.
521230 - 4- DIM Universidad de Concepci on
Polinomios de Lagrange
Una manera de calcular el polinomio de interpolaci on p, sin tener que resolver un
sistema de ecuaciones, es a trav es de los polinomios de Lagrange
i
, con
i = 0, . . . , n asociados a los puntos x
0
, . . . , x
n
. Estos polinomios de grado n
est an denidos por

i
(x) :=
n

j=0
j=i
_
x x
j
x
i
x
j
_
, i = 0, . . . , n.
Notar que ellos satisfacen la relaci on :

i
(x
j
) =
_
_
_
1, si i = j,
0, si i = j,
i, j = 0, . . . , n.
521230 - 5- DIM Universidad de Concepci on
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
que el polinomio de interpolaci on p se puede escribir de la siguiente manera:
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
= y
0
,
1
= y
1
, . . . ,
n
= y
n
, es decir
p(x) = y
0

0
(x) + y
1

1
(x) + + y
n

n
(x) .
521230 - 6- DIM Universidad de Concepci on
Sea f : R R una funci on tal que y
i
= f(x
i
), i = 0, 1, . . . , n. Una
manera de aproximar la funci on f es a trav es del polinomio de interpolaci on,
respecto a x
0
, . . . , x
n
, el que en este caso est a dado por
p
n
(x) =
n

i=0
f(x
i
)
i
(x), n = 0, 1, . . .
Teorema.
Sean x
0
, . . . , x
n
n umeros reales distintos y f una funci on real n + 1 veces
continuamente diferenciable en el intervalo I = (a, b), donde
a = min{x
0
, . . . , x
n
} y b = max{x
0
, . . . , x
n
}. Entonces, para cada
x [a, b], existe
x
I tal que
E(x) := f(x)
n

i=0
f(x
i
)
i
(x) =
(x x
0
) (x x
n
)
(n + 1)!
f
(n+1)
(
x
).
521230 - 7- DIM Universidad de Concepci on
Aplicaci on: Interpolaci on lineal.
Para n = 1. Supongamos que x
0
x x
1
, es decir [a, b] = [x
0
, x
1
]. Sea
h := x
1
x
0
, entonces
p(x) = f(x
0
)
(x x
1
)
(x
0
x
1
)
+ f(x
1
)
(x x
0
)
(x
1
x
0
)
.
Luego
f(x) p(x) = (x x
0
)(x x
1
)
f

(
x
)
2
x
0
<
x
< x
1
,
as, como (x x
0
)(x x
1
)
h
2
4
x [x
0
, x
1
] (ejercicio), entonces
max
x[a,b]
|f(x) p(x)|
M
8
h
2
, M := max
x[a,b]
|f

(x)| .
521230 - 8- DIM Universidad de Concepci on
Fen omeno de Runge
Al realizar una interpolaci on polinomial para un valor de n grande con puntos x
i
equiespaciados, se puede comprobar que se producen grandes oscilaciones del
polinomio de interpolaci on p entre dos puntos consecutivos, especialmente cerca
de los extremos del intervalo de interpolaci on [a, b].
Ejemplo: Dada la funci on f(x) =
1
1 + x
2
, 5 x 5, consideremos el
polinomio de grado 10 que interpola f en los puntos x
i
= 5, 4, 3, . . . , 5.
521230 - 9- DIM Universidad de Concepci on
5 4 3 2 1 0 1 2 3 4 5
0.5
0
0.5
1
1.5
2
1./(1+x
2
)
Puntos
Exacta
Lagrange
Figure 1: Fen omeno de Runge
521230 - 10 - DIM Universidad de Concepci on
Una estrategia efectiva que evita esta situaci on consiste en construir funciones
de interpolaci on polinomial por tramos (pedazos), en particular las interpolantes
spline c ubicas.
521230 - 11 - DIM Universidad de Concepci on
Interpolaci on por funciones spline c ubicas
Dados n + 1 puntos (x
0
, y
0
), . . . , (x
n
, y
n
) tales que x
0
< x
1
< . . . < x
n
.
Una funci on s es una interpolante spline c ubica en [x
0
, x
n
], si existen
polinomios q
0
, q
1
, . . . , q
n1
, de grado a lo m as 3, tales que:
s(x) = q
k
(x), en [x
k
, x
k+1
], k = 0, 1, , n 1,
q
k
(x
k
) = y
k
, q
k
(x
k+1
) = y
k+1
,
q

k1
(x
k
) = q

k
(x
k
) = s

(x
k
), k = 1, , n 1,
q

k1
(x
k
) = q

k
(x
k
) = s

(x
k
), k = 1, , n 1.
521230 - 12 - DIM Universidad de Concepci on
Las dos ultimas propiedades quieren decir que los polinomios q
k
tienen la misma
pendiente y concavidad en los nodos de acoplamiento. Esto garantiza la
suavidad de s en [x
0
, x
n
].
En particular, cada q

k
es lineal e interpola a (x
k
,
k
) y (x
k+1
,
k+1
) en
[x
k
, x
k+1
], donde
k
:= s

(x
k
). En consecuencia:
q

k
(x) =
k
x x
k+1
x
k
x
k+1
+
k+1
x x
k
x
k+1
x
k
,
con k = 0, 1, , n 1.
521230 - 13 - DIM Universidad de Concepci on
Si h
k
:= x
k+1
x
k
, con k = 0, 1, , n 1, entonces integrando dos veces
q

k
, tenemos
q
k
(x) =

k
(x
k+1
x)
3
+
k+1
(x x
k
)
3
6h
k
+
k
(x),
donde
k
, con k = 0, 1, , n 1, son polinomios de grado 1, que se pueden
escribir de la forma

k
(x) := A
k
(x x
k
) + B
k
(x
k+1
x),
donde A
k
y B
k
son constantes determinadas por las relaciones q
k
(x
k
) = y
k
y
q
k
(x
k+1
) = y
k+1
, es decir ellas se determinan despejando su valor de las
ecuaciones
y
k
=

k
6
h
2
k
+ B
k
h
k
,
y
k+1
=

k+1
6
h
2
k
+ A
k
h
k
.
521230 - 14 - DIM Universidad de Concepci on
Despejando A
k
y B
k
, y reemplazando dichos valores en el polinomio de q
k
,
obtenemos
q
k
(x) =

k
6
_
(x
k+1
x)
3
h
k
h
k
(x
k+1
x)
_
+

k+1
6
_
(x x
k
)
3
h
k
h
k
(x x
k
)
_
+y
k
_
x
k+1
x
h
k
_
+ y
k+1
_
x x
k
h
k
_
,
k = 0, 1, , n 1.
521230 - 15 - DIM Universidad de Concepci on
Los valores
k
est an determinados por el ultimo conjunto de condiciones que
falta por vericar y que caracterizan a la spline c ubica, a saber que la derivada es
continua. Es decir, se debe vericar que s

resulte continua en cada x

k
. Para ello
derivamos el polinomio q
k
obteniendo
q

k
(x) =

k
6
_

3(x
k+1
x)
2
h
k
+ h
k
_
+

k+1
6
_
3(x x
k
)
2
h
k
h
k
_
+
y
k+1
y
k
h
k
, k = 0, 1, , n 1.
521230 - 16 - DIM Universidad de Concepci on
Luego, como q

k1
(x
k
) = q

k
(x
k
), k = 1, , n 1 (continuidad de s

), se
tiene que

k1
6
h
k1
+
2
k
6
h
k1
+
y
k
y
k1
h
k1
=
2
k
6
h
k

k+1
6
h
k
+
y
k+1
y
k
h
k
,
para k = 1, . . . , n 1.
521230 - 17 - DIM Universidad de Concepci on
Es decir, tenemos un sistema de ecuaciones lineales:
h
k1

k1
+2(h
k1
+h
k
)
k
+h
k

k+1
= 6
_
y
k+1
y
k
h
k

y
k
y
k1
h
k1
_
con k = 1, . . . , n 1, constituido por n 1 ecuaciones y n + 1 inc ognitas :

0
, . . . ,
n
.
521230 - 18 - DIM Universidad de Concepci on
Para resolver este sistema, por ejemplo podemos asignar valores arbitrarios a las
inc ognitas
0
y
n
, reduciendo as el n umero de inc ognitas a n 1. Cuando se
toma
0
=
n
= 0, la interpolante que se obtiene se denomina spline
c ubica natural. Escribiendo las ecuaciones de manera matricial para la spline
c ubica natural, se obtiene el siguiente sistema tridiagonal, con matriz sim etrica y
denida positiva.
521230 - 19 - DIM Universidad de Concepci on
_

_
a
1
b
1
b
1
a
2
b
2
.
.
.
.
.
.
.
.
.
b
n3
a
n2
b
n2
b
n2
a
n1
_

_
_

2
.
.
.

n2

n1
_

_
= 6
_

_
d
1
d
2
.
.
.
d
n2
d
n1
_

_
donde
a
k
= 2(h
k1
+ h
k
),
d
k
=
y
k+1
y
k
h
k

y
k
y
k1
h
k1
, k = 1, . . . , n 1,
b
k
= h
k
, k = 1, . . . , n 2,
521230 - 20 - DIM Universidad de Concepci on
Ejemplo: Consideremos nuevamente la funci on f del fen omeno de Runge. Si
calculamos la spline c ubica natural s que interpola a f en los puntos
x
i
= 5, 4, 3, . . . , 5, obtenemos
521230 - 21 - DIM Universidad de Concepci on
5 4 3 2 1 0 1 2 3 4 5
0.5
0
0.5
1
1.5
2
1./(1+x
2
)
Puntos
Exacta
Lagrange
Spline
521230 - 22 - DIM Universidad de Concepci on