Interpolación

• Interpolación de Lagrange.
• Estimación del error.
• Splines cúbicas.

521230 -1- DIM – Universidad de Concepción

 Idea: El concepto de interpolación está basado en la idea de obtener una
función p, que aproxime una función desconocida f de la cual conocemos su
valor sólo en un número finito de puntos distintos x0 , x1 , . . . , xn . Intuitivamente
para que p esté cerca de f , es natural pedirle que coincida con f en los puntos
x0 , x1 , . . . , xn .

521230 -2- DIM – Universidad de Concepción

 Interpolación Polinomial
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 parámetros independientes a0 , . . . , am y n + 1
condiciones sobre p, es razonable considerar m = n. El sistema de ecuaciones
que resuelve este problema de interpolación está dado por



 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 Concepción

 Teorema.
Dados n + 1 puntos (x0 , y0 ), . . . , (xn , yn ) tales que xi 6= xj , i 6= j ,
entonces existe un único polinomio p, de grado menor o igual a n, tal que

p(xi ) = yi , i = 0, . . . , n.

Demostración.
El determinante de la matriz asociada al sistema de ecuaciones que resuelve el
problema de interpolación está dado por
Y
(xi − xj ),
0≤j<i≤n

que es evidentemente distinto de cero.

521230 -4- DIM – Universidad de Concepción

 Polinomios de Lagrange
Una manera de calcular el polinomio de interpolación p, sin tener que resolver un
sistema de ecuaciones, es a través de los polinomios de Lagrange ℓi , con
i = 0, . . . , n asociados a los puntos x0 , . . . , xn . Estos polinomios de grado n
están definidos por
n  
Y x − xj
ℓi (x) := , i = 0, . . . , n.
j=0
xi − xj
j6=i

Notar que ellos satisfacen la relación :


 1, si i = j,
ℓi (xj ) = i, j = 0, . . . , n.
 0, si i 6= j,

521230 -5- DIM – Universidad de Concepción

 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ón 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 = y0 , α1 = y1 , . . . , αn = yn , es decir

p(x) = y0 ℓ0 (x) + y1 ℓ1 (x) + · · · + yn ℓn (x) .

521230 -6- DIM – Universidad de Concepción

 Sea f : R → R una función tal que yi = f (xi ), i = 0, 1, . . . , n. Una
manera de aproximar la función f es a través del polinomio de interpolación,
respecto a x0 , . . . , xn , el que en este caso está dado por
n
X
pn (x) = f (xi )ℓi (x), n = 0, 1, . . .
i=0

Teorema.
Sean x0 , . . . , xn números reales distintos y f una función real n + 1 veces
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)
E(x) := f (x) − f (xi )ℓi (x) = f (ξx ).
i=0
(n + 1)!

521230 -7- DIM – Universidad de Concepción

 Aplicación: Interpolación lineal.
Para n = 1. Supongamos que x0 ≤ x ≤ x1 , es decir [a, b] = [x0 , x1 ]. Sea
h := x1 − x0 , entonces
(x − x1 ) (x − x0 )
p(x) = f (x0 ) + f (x1 ) .
(x0 − x1 ) (x1 − x0 )
Luego

f ′′ (ξx )
f (x) − p(x) = (x − x0 )(x − x1 ) x0 < ξx < x1 ,
2
h2
ası́, como (x − x0 )(x − x1 ) ≤ ∀x ∈ [x0 , x1 ] (ejercicio), entonces
4
M 2
max |f (x) − p(x)| ≤ h , M := max |f ′′ (x)| .
x∈[a,b] 8 x∈[a,b]

521230 -8- DIM – Universidad de Concepción

 Fenómeno de Runge

Al realizar una interpolación polinomial para un valor de n grande con puntos xi

equiespaciados, se puede comprobar que se producen grandes oscilaciones del
polinomio de interpolación p entre dos puntos consecutivos, especialmente cerca
de los extremos del intervalo de interpolación [a, b].

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

521230 -9- DIM – Universidad de Concepción

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

1.5

0.5

−0.5
−5 −4 −3 −2 −1 0 1 2 3 4 5

Figure 1: Fenómeno de Runge

521230 - 10 - DIM – Universidad de Concepción

 Una estrategia efectiva que evita esta situación consiste en construir funciones
de interpolación polinomial por tramos (pedazos), en particular las interpolantes
spline cúbicas.

521230 - 11 - DIM – Universidad de Concepción

 Interpolación por funciones spline cúbicas
Dados n + 1 puntos (x0 , y0 ), . . . , (xn , yn ) tales que x0 < x1 < . . . < xn .
Una función s es una interpolante spline cúbica en [x0 , xn ], si existen
polinomios q0 , q1 , . . . , qn−1 , de grado a lo más 3, tales que:

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

• qk (xk ) = yk , qk (xk+1 ) = yk+1 ,
′
• qk−1 (xk ) = qk′ (xk ) = s′ (xk ), k = 1, · · · , n − 1,
′′
• qk−1 (xk ) = qk′′ (xk ) = s′′ (xk ), k = 1, · · · , n − 1.

521230 - 12 - DIM – Universidad de Concepción

 Las dos últimas 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:
x − xk+1 x − xk
qk′′ (x) = σk + σk+1 ,
xk − xk+1 xk+1 − xk
con k = 0, 1, · · · , n − 1.

521230 - 13 - DIM – Universidad de Concepción

 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
qk (x) = + λk (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
σk 2
yk = h + Bk hk ,
6 k
σk+1 2
yk+1 = h k + Ak h k .
6

521230 - 14 - DIM – Universidad de Concepción

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

(xk+1 − x)3
 
σk
qk (x) = − hk (xk+1 − x)
6 hk
3
 
σk+1 (x − xk )
+ − hk (x − xk )
6 hk
   
xk+1 − x x − xk
+yk + yk+1 ,
hk hk
k = 0, 1, · · · , n − 1.

521230 - 15 - DIM – Universidad de Concepción

 Los valores σk están determinados por el último conjunto de condiciones que
falta por verificar y que caracterizan a la spline cúbica, 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
2 2
   
σk 3(xk+1 − x) σk+1 3(x − xk )
qk′ (x) = − + hk + − hk
6 hk 6 hk

yk+1 − yk
+ , k = 0, 1, · · · , n − 1.
hk

521230 - 16 - DIM – Universidad de Concepción

 ′
Luego, como qk−1 (xk ) = qk′ (xk ), k = 1, · · · , n − 1 (continuidad de s′ ), se
tiene que

σk−1 2σk yk − yk−1 2σk σk+1 yk+1 − yk

hk−1 + hk−1 + =− hk − hk + ,
6 6 hk−1 6 6 hk

para k = 1, . . . , n − 1.

521230 - 17 - DIM – Universidad de Concepción

 Es decir, tenemos un sistema de ecuaciones lineales:

 
yk+1 − yk yk − yk−1
hk−1 σk−1 + 2(hk−1 + hk )σk + hk σk+1 = 6 −
hk hk−1

con k = 1, . . . , n − 1, constituido por n − 1 ecuaciones y n + 1 incógnitas :

σ0 , . . . , σn .

521230 - 18 - DIM – Universidad de Concepción

 Para resolver este sistema, por ejemplo podemos asignar valores arbitrarios a las
incógnitas σ0 y σn , reduciendo ası́ el número de incógnitas a n − 1. Cuando se
toma σ0 = σn = 0, la interpolante que se obtiene se denomina spline
cúbica natural. Escribiendo las ecuaciones de manera matricial para la spline
cúbica natural, se obtiene el siguiente sistema tridiagonal, con matriz simétrica y
definida positiva.

521230 - 19 - DIM – Universidad de Concepción

     
a1 b1 σ1 d1
    
 b1 a2 b2   σ2   d2 
    
 .. .. ..  .   . 
 . . .   ..  = 6  .. 
    
    

 bn−3 an−2 bn−2  σn−2 
   
d n−2


bn−2 an−1 σn−1 dn−1
donde

ak = 2(hk−1 + hk ),

yk+1 − yk yk − yk−1
dk = − , k = 1, . . . , n − 1,
hk hk−1

bk = h k , k = 1, . . . , n − 2,

521230 - 20 - DIM – Universidad de Concepción

 Ejemplo: Consideremos nuevamente la función f del fenómeno de Runge. Si
calculamos la spline cúbica natural s que interpola a f en los puntos
xi = −5, −4, −3, . . . , 5 , obtenemos

521230 - 21 - DIM – Universidad de Concepción

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

0.5

−0.5
−5 −4 −3 −2 −1 0 1 2 3 4 5

521230 - 22 - DIM – Universidad de Concepción