Está en la página 1de 6

INTERPOLACIN POLINOMICA SEGMENTARIA, CERCHAS CUBICAS

Interpolar una tabla de n + 1 parejas (xj ; yj ) ; j = 0; :::; n; donde x0 < x1 < ::: < xn ; por medio
de una curva denida a trozos, consiste en encontrar una funcin S denida en [x0 ; xn ] que en cada
subintervalo [xj ; xj+1 ] tiene una forma particular.
Interpolacin lineal a trozos
La ms importante de las interpolaciones segmentarias es tambin la ms comn, se trata de la inter-
polacin lineal a trozos. Consiste en denir al interpolante S por medio de las rectas Sj (x) que pasan
por los puntos (xj ; yj ) y (xj+1 ; yj+1 ) :

xj 1 3 5 9
Ejemplo: El interpolante lineal a trozos de la tabla
yj 2 4 3 8
8
> x + 1; x 2 [1; 3]
>
< 11 x
es S (x) = ; x 2 (3; 5]
> 2
>
: 5x 13
; x 2 (5; 9]
4

Interpolacin lineal a trozos


8

2
1 2 3 4 5 6 7 8 9

La interpolacin lineal a trozos es la que utilizan por defecto la mayora de las herramientas gracado-
ras, incluido plot de MATLAB. Pero, en general un interpolante lineal a trozos es una curva continua
no diferenciable, buscamos una funcin interpolante polinmica segmentaria que en el interior del
intervalo es continua y tiene primera y segunda derivadas continuas.
Interpolacin cbica (Cerchas Cbicas)
Dados (x0 ; y0 ); (x1 ; y1 ) ; :::; (xn ; yn ) con x0 < x1 < ::: < xn consideramos la funcin S denida en

1
[x0 ; xn ] por 8
>
> S0 (x) ; x 2 [x0 ; x1 ]
>
< S1 (x) ; x 2 (x1 ; x2 ]
S (x) = ..
>
> .
>
:
Sn 1 (x) x 2 (xn 1 ; xn ]

tal que cada Sk sea una funcin cbica y buscamos que S 2 C 2 [x0 ; xk ] :
n
Denicin: Supongamos que tenemos n + 1 puntos f(xk ; yk )gk=0 cuyas abscisas estn ordenadas de
manera creciente x0 < x1 < ::: < xn : Se dice que una funcin S (x) es una cercha cbica inter-
poladora o un interpolante cbico segmentario para dichos datos si existen n polinomios
cbicos Sk (x) que podemos escribir en trminos de unos coecientes ak ; bk ; ck y dk como
2 3
I. S (x) = Sk (x) = ak + bk (x xk ) + ck (x xk ) + dk (x xk ) para x 2 [xk ; xk+1 ] y k =
0; 1; :::; n 1, que verican las siguientes propiedades:
II. S (xk ) = yk ; para k = 0; 1; :::; n:
III. Sk (xk+1 ) = Sk+1 (xk+1 ) ; para k = 0; 1; :::; n 2:
0 0
IV. Sk (xk+1 ) = Sk+1 (xk+1 ) ; para k = 0; 1; :::; n 2:
00 00
V. Sk (xk+1 ) = Sk+1 (xk+1 ) ; para k = 0; 1; :::; n 2:

La propiedad I. indica que los polinomios de los subintervalos son todos de grado 3, cada uno tiene
4 (incgnitas) coecientes y generan un conjunto de 4n coecientes.
La propiedad II. dice que S (x) es una funcin interpolante de la tabla, lo cual proporciona n + 1
ecuaciones.
Con la propiedad III. se impone la continuidad de S (x) : Esta propiedad aporta n 1 ecuaciones al
sistema de ecuaciones.
La continuidad de S 0 (x) y S 00 (x) se imponen a travs de las propiedades IV. y V. Cada una de estas
propiedades aporta n 1 ecuaciones al sistema de ecuaciones.
En total hay 4n 2 ecuaciones y 4n incgnitas, lo que deja dos grados de libertad. Se acostumbra
establecer las dos ecuaciones faltantes a partir de restricciones en los extremos del intervalo. En dichas
restricciones intervienen derivadas de S: Si adems, se sabe que la tabla corresponde a una funcin
suave f tal que f (xk ) = yk para k = 0; 1; :::; n; entonces tambin se puede involucrar a f en las dos
condiciones de borde agregadas.
Recordemos que
2 3
Sk (x) = ak + bk (x xk ) + ck (x xk ) + dk (x xk )

para x 2 [xk ; xk+1 ] y k = 0; 1; :::; n 1: Entonces


0 2
Sk (x) = bk + 2ck (x xk ) + 3dk (x xk )
00
Sk (x) = 2ck + 6dk (x xk )
000
Sk (x) = 6dk :

Hacemos hk = xk+1 xk para k = 0; 1; :::; n 1 y se pueden deducir las siguientes igualdades:


00
Sk (xk ) = 2ck para k = 0 : n 1
00
y se acostumbra pedir Sn 1 (xn ) = 2cn : Adems,

ck+1 = ck + 3dk hk (1)

2
bk+1 = bk + 2ck hk + 3dk h2k (2)

1 hk
bk = (ak+1 ak ) (2ck + ck+1 ) (3)
hk 3

bk+1 = bk + hk (ck + ck+1 ) (4)


Si se sigue la lista de pasos que aparecen en el libro de texto se llega al siguiente sistema tridiagonal
con el vector c como incgnita:
3 3
hk 1 ck 1 + 2 (hk 1 + hk ) ck + hk ck+1 = (ak+1 ak ) (ak ak 1) (5)
hk hk 1

T
Hay ecuaciones para k = 1 : n 1 con vector incgnito c = [c0 ; c1 ; :::cn ] :

Ejemplo: Encuentre la cercha cbica natural interpolatoria de la tabla

x 2 0 1 3 6
y 7 5 3 1 11

Solucin: El adjetivo natural signica que la cercha buscada S (x) cumple S 00 (x0 ) = S 00 (xn ) = 0;
esto es, c0 = cn = 0:
La cercha buscada tiene la forma
8 8
>
> S0 (x) ; x 2 [x0 ; x1 ] >
> S0 (x) ; x 2 [ 2; 0]
< <
S1 (x) ; x 2 (x1 ; x2 ] S1 (x) ; x 2 (0; 1]
S (x) = S (x) = ;
>
> S2 (x) ; x 2 (x2 ; x3 ] >
> S2 (x) ; x 2 (1; 3]
: :
S3 (x) x 2 (x3 ; x4 ] S3 (x) x 2 (3; 6]

se tiene que
h0 = 2; h1 = 1; h2 = 2; h3 = 3
y el sistema generado es 2 32 3 2 3
1 c0 0
62 6 1 7 6c1 7 6 42 7
6 76 7 6 7
6 1 6 2 7 6c2 7 = 6 277
6 76 7 6 7
4 2 10 35 4c3 5 4 95
1 c4 0
cuya solucin para las componentes centrales es
2 3 2 3
c1 7:9877
4 c2 5 = 4 5:9264 5 :
c3 0:2853

Ejemplo: Cercha cbica sujeta (clamped spline)


De (3) obtenemos

1 h0
f 0 (x0 ) = S 0 (x0 ) = b0 = (a1 a0 ) (2c0 + c1 ) (6)
h0 3

3
es decir,
3
2h0 c0 + h0 c1 = (a1 a0 ) 3f 0 (x0 ) (7)
h0
Anlogamente, en el otro extremo, obtenemos la ecuacin

3
hn 1 cn 1 + 2hn 1 cn = (an an 1) + 3f 0 (xn ): (8)
hn 1

En resumen se obtiene un sistema lineal Ac = r con matriz


2 3
2h0 h0
6 h0 2(h0 + h1 ) h1 7
6 7
6 .
.. .. .. 7
A=6 . . 7;
6 7
4 hn 2 2(hn 2 + hn 1) hn 1
5
hn 1 2hn 1

y lado derecho
2 3 3
(a1 a0 ) 3f 0 (x0 )
6 h0 7
6 3 3 7
6 (a2 a1 ) (a1 a0 ) 7
6 h1 h0 7
6 7
6 .. 7
r=6 . 7
6 7
6 3 3 7
6 (a an 1 ) (an 1 an 2 )7
6 hn 1 n hn 2 7
4 3 5
3f 0 (xn ) (an an 1 ) :
hn 1

Para el ejemplo anterior con f 0 ( 2) = 1 y f 0 (6) = 1; obtenemos el sistema


2 32 3 2 3
4 2 c0 15
62 6 1 7 6c1 7 6 42 7
6 76 7 6 7
6 1 6 2 7 6c2 7 = 6 277
6 76 7 6 7
4 2 10 35 4c3 5 4 9 5
3 6 c4 15

cuya solucin es 2 3
9:3195
6 11:1391 7
6 7
c=6 7
6 6:19547 :
4 0:48345
2:7417

Ejemplo: Cercha extrapolada


Con base en las segundas derivadas en los dos primeros nodos interiores de cada lado se estima el
valor de dicha derivada en los puntos extremos por extrapolacin lineal. En el extremo izquierdo
se obtiene
c1 c0 c2 c1
=
h0 h1
lo que lleva a la ecuacin
h1 c0 (h0 + h1 ) c1 + h0 c2 = 0:

4
Por un procedimiento semejante obtenemos la ecuacin
hn 1 cn 2 (hn 2 + hn 1 ) cn 1 + hn 2 cn = 0:
La matriz del sistema es
2 3
h1 (h0 + h1 ) h0
6h0 2(h0 + h1 ) h1 7
6 7
6 .. .. .. 7
A=6 . . . 7;
6 7
4 hn 2 2(hn 2 + hn 1 ) hn 1
5
hn 1 (hn 2 + hn 1 ) hn 2

y el lado derecho es
2 3
0
6 3 3 7
6 (a2 a1 ) (a1 a0 ) 7
6 h1 h0 7
6 .. 7
r=6
6 .
7
7
6 3 3 7
6 (an an 7
4h 1) (an 1 an 2 )5
n 1 hn 2
0:
Para el ejemplo anterior obtenemos el sistema
2 32 3 2 3
1 3 2 c0 0
62 6 1 7 6c1 7 6 42 7
6 76 7 6 7
6 1 6 2 7 6c2 7 = 6 277
6 76 7 6 7
4 2 10 35 4c3 5 4 95
3 5 2 c4 0
cuya solucin es 2 3
16:1366
6 2:3727 7
6 7
c=6 7
6 4:50937 :
4 1:15855
3:8678
Ejemplo: Cercha que termina como parbola. La condicin es S 000 (x) = 0 en [x0 ; x1 ] y S 000 (x) =
[xn 1 ; xn ] : Esto signica que c0 = c1 y cn 1 = cn : Por tanto la matriz del sistema es
2 3
1 1
6h0 2(h0 + h1 ) h1 7
6 7
6 .
.. .
.. .
.. 7
A=6 7;
6 7
4 hn 2 2(hn 2 + hn 1 ) hn 1 5
1 1
y el lado derecho es
2 3
0
6 3 3 7
6 (a2 a1 ) (a1 a0 ) 7
6 h1 h0 7
6 .. 7
r=6
6 .
7
7
6 3 3 7
6 (an an 7
4h 1) (an 1 an 2 )5
n 1 hn 2
0:

5
Para el ejemplo anterior obtenemos el sistema
2 32 3 2 3
1 1 c0 0
62 6 1 7 6c1 7 6 42 7
6 76 7 6 7
6 1 6 2 7 6c2 7 = 6 277
6 76 7 6 7
4 2 10 35 4c3 5 4 95
1 1 c4 0

cuya solucin es 2 3
5:9430
6 5:9430 7
6 7
c=6
6 5:54407
7:
4 0:1606 5
0:1606

S 00 (x0 ) S 00 (xn )
Ejemplo: Cercha con S 00 (x0) y S 00 (xn ) conocidos. Esto signica que c0 = y cn = :
2 2
Por tanto la matriz del sistema es
2 3
1
6h0 2(h0 + h1 ) h1 7
6 7
6 .
.. .. .. 7
A=6 . . 7;
6 7
4 hn 2 2(hn 2 + hn 1 ) hn 1
5
1

y el lado derecho es
2 3
S 00 (x0 ) =2
6 3 3 7
6 (a2 a1 ) (a1 a0 ) 7
6 h1 h0 7
6 .. 7
r=6
6 .
7
7
6 3 3 7
6 (an an 1 ) (an 1 an 7
4h 2 )5
n 1 hn 2
S 00 (xn ) =2:

Para el ejemplo anterior con S 00 ( 2) = 1 y S 00 (6) = 1 obtenemos el sistema


2 32 3 2 3
1 c0 0:5
62 6 1 7 6c1 7 6 42 7
6 76 7 6 7
6 1 6 2 7 6c2 7 = 6 27 7
6 76 7 6 7
4 2 10 35 4c3 5 4 9 5
1 c4 0:5

cuya solucin es 2 3
0:5
6 8:1503 7
6 7
c=6
6 5:90187
7:
4 0:1304 5
0:5