Jos Herrera Castro

B1-309
INTERPOLACIN POLINOMIAL A TROZOS
Frecuentemente la interpolacin polinomial para un conjunto numeroso de n+1 datos (x
i
,y
i
) ,
resulta ser muy poco satisfactoria debido a que el polinomio interpolante de grado n puede
exhibir fuertes oscilaciones cuando se usan polinomios de alto grado . Por ejemplo, supngase
que los puntos de datos son aproximaciones a una recta. Al forzar un polinomio de alto grado a
pasar por varios puntos, la curva producida se puede desviar significativamente de la recta.
Para aliviar estas condiciones indeseables una opcin es ir enlazando, una detrs de otra, las
grficas de unos polinomios de grado bajo S
j
(x) que slo interpolan entre dos nodos o puntos
consecutivos (x
j
,y
j
) y (x
j+1
,y
j+1
) (vase figura 3.3). Las porciones adyacentes de la curva y=S
j
(x)
e y=S
j+1
(x), que se construyen sobre los intervalos [x
j
,x
j+1
] y [x
j+1
,x
j+2
], respectivamente, se
enlazan una con la otra en el punto (x
j+1
,y
j+1
) y el conjunto de funciones S
j
(x) forma una curva
polinomial a trozos o cercha ( en ingles, spline) que se denota por S(x).
Si se usa un polinomio S
j
(x) de grado 1 se llama spline lineal y presenta el problema que la
pendiente es discontinua en los puntos (nodos). Si se usa un spline cuadrtico, este tiene
derivada contnua en [x
0
,x
n
] pero presenta el problema que cuando hay que especificar las
condiciones referentes a la derivada en los extremos x
0
y x
n
, no hay constantes suficientes para
cerciorarse de que se satisfacen las condiciones. Si se usan polinomios cbicos entonces tanto
la primera derivada como la segunda son continuas en el intervalo, y en este caso se la
llama trazador cbico.
Trazador Cbico
El ajuste de una curva polinomial a trozos a un conjunto de puntos dados tiene aplicaciones en
los campos del diseo asistido por computador, de la fabricacin asistida por computador y de
los sistemas de generacin de grficas por computador. Lo que generalmente se desea es
dibujar una curva que pase por una serie de puntos, cuyas coordenadas se conocen con
precisin, y que sea suave (ver figura 3.4). Tradicionalmente esto se haca usando una cercha,
una regla flexible o un conjunto de plantillas rgidas, con las que se poda dibujar a mano
alzada una curva que parece suave a la mirada.
Matemticamente, es posible construir una funcin cbica S
j
(x) en cada intervalo [x
j
,x
j+1
] de
manera que la curva definida a trozos y=S(x) que resulta, es dos veces derivable y la segunda
derivada es continua en el intervalo completo [x
0
,x
n
]. La continuidad se S(x) significa que la
curva de ecuacin y=S(x) no tiene picos o esquinas; la continuidad de S(x) significa que el
radio de curvatura est definido en cada punto.
Definicin.
Dada una funcin f definida en [a,b] y un conjunto de nodos a=x
0
<x
l
<...<x
n
=bun trazador cbico
( o spline cbico) S para f es una funcin que cumple con las siguientes condiciones:
I) S(x
j
)=f(x
j
)=y
j
para j=0,1,2,...,n ( indica que el trazador se ajusta a cada uno de los puntos)
II) S
j
(x
j+1
)= S
j+1
(x
j+1
) para j=0,1,2,...,n-2 (indica que el trazador es continuo)
III) S(x
j+1
) = S
j+1
(x
j+1
) para j=0,1,2,...,n-2 (indica que la pendiente es continua)
IV) S
j
(x
j+1
) = S
j+1
(x
j+1
) para j=0,1,2,...,n-2 (indica que la curvatura es continua)
V) Se satisface uno de los siguientes conjuntos de condiciones de frontera
a) S'(x
0
)=S(x
n
)=0 ( el trazador se llama libre o natural )
Jos Herrera Castro
B1-309
b) S'(x
0
)=f(x
0
) y S(x
n
)=f(x
n
) ( el trazador se llama sujeto)


Cmo hallar el trazador cbico de una funcin f ?
Primero se supone que S
j
(x), x
j
x x
j+1
es de la forma :
S
j
(x)= a
j
+ b
j
(x-x
j
) + c
j
(x-x
j
)
2
+ d
j
(x-x
j
)
3
, para j=0,1,2,...,n -1
Por la condicin I.) S
j
(x
j
)= a
j
= f(x
j
) = y
j

S
j+1
(x
j+1
)= a
j+1

Si se aplica la condicin II.): S
j+1
(x
j+1
)= S
j
(x
j+1
)
a
j+1
= a
j
+ b
j
(x
j+1
-x
j
) + c
j
(x
j+1
-x
j
)
2
+ d
j
(x
j+1
-x
j
)
3

si h
j
=x
j+1
-x
j
, j=0,1,2,...,n-1
a
j+1
= a
j
+ b
j
h
j
+ c
j
h
j
2
+ d
j
h
j
3
(1)
Observe que S
j
(x)= b
j
+ 2c
j
(x-x
j
) + 3d
j
(x-x
j
)
2

S
j
(x
j
)= b
j

S
j+1
(x
j+1
)= b
j+1

por la condicin III.): S
j+1
(x
j+1
)= S
j
(x
j+1
)
b
j+1
= b
j
+ 2c
j
(x
j+1
-x
j
) + 3d
j
(x
j+1
-x
j
)
2

b
j+1
= b
j
+ 2c
j
h
j
+ 3d
j
h
j
2
(2)
Est claro que S
j
(x)= 2c
j
+ 6d
j
(x-x
j
) (*)
S
j
(x
j
)=2c
j

S
j+1
(x
j+1
)=2c
j+1

por la condicin IV.): S
j+1
(x
j+1
)= S
j
(x
j+1
)
2c
j+1
=2c
j
+6d
j
(x
j+1
-x
j
)
c
j+1
=c
j
+3d
j
h
j
(3)
Al despejar d
j
en (3) resulta si se sustituye d
j
en la ecuacin (1)y (2) resulta:
a
j+1
=a
j
+b
j
h
j
+ (1a)
b
j+1
=b
j
+(c
j
+ c
j+1
)h
j
(2a)

b
j
=b
j-1
+(c
j-1
+ c
j
)h
j-1
(2b)

(2b resulta de 2a con el ndice reducido en 1).
Al despejar b
j
en la ecuacin (1a) se tiene que
(1b)
(1c)
Si b
j
y b
j-1
se reemplazan en la ecuacin (2b) se obtiene:
Jos Herrera Castro
B1-309
(4)
para j=1,2,...,n-1
El sistema (4) tiene slo como incgnitas a c
j
, ya que los valores de h
j
estn dados por el
espaciado de los nodos x
j
(recuerde que h
j
= x
j+1
- x
j
); y los valores de a
j
son los valores de f en
los x
j
(a
j
= f(x
j
) por la condicin I.)
Si en la ecuacin (4) se reemplaza j=1,2,...,n-1 se obtiene el sistema

Si el trazador es natural entonces S(x
0
) = 0 = S(x
n
) y teniendo en cuenta la ecuacin(*)
S
j
(x) = 2c
j
+ 6d
j
(x-x
j
), S
0
(x
0
) = 2c
0
+ 6d
0
(x
0
-x
0
) = 2c
0
, luego c
0
=0, de la misma forma c
n
= 0.
El sistema anterior junto con las ecuaciones c
0
=0 y c
n
=0 se puede escribir en forma matricial
como

Observe que la matriz del sistema es estrictamente dominante en sentido diagonal por lo tanto
el sistema lineal tiene una nica solucin
c
0
, c
1
, c
2
,..., c
n
.
Una vez que se hallan los valores de se encuentran los usando la
ecuacin (1b) y los usando la ecuacin (3). Finalmente es fcil construir los polinomios
cbicos


Jos Herrera Castro
B1-309

Ejemplo.
Hallar el trazador cbico natural que pasa por los puntos
x
j
-3 -2 1 4
f(x
j
) 2 0 3 1

y aproximar (0)
Solucin:
En este caso x0= -3, x1= -2, x2= 1, x3= 4; (x0)=2, (x1)=0, (x2)=3, (x3)=1
h
j
= x
j+1 x
j
h0 = x1 x0 = 1 h1 = x2 x1 = 3 h2 = x3 x2 = 3
(x
j
) = a
j
a0 = (x0) = 2 a1 = (x1) = 0 a2 = (x2) = 3
a3 = (x3) = 1



j = 0, 1, 2

El sistema lineal para hallar

es:



Jos Herrera Castro
B1-309
j = 0, 1, 2

Los polinomios cbicos son de la forma:

Por lo tanto el trazador cbico S(x) para en [-3, 4] es:

Para aproximar (0) se toma S1(x), ya que x = 0 esta en el intervalo [-2,1].
Luego



(Redondeando la respuesta a un decimal)