Splines Cubicos Yamil

Ing Yamil Armando Cerquera Rojas
yacerque@gmail.com
Universidad Surcolombiana Neiva Huila Colombia 1 de 24
INTERPOLACIN CON TRAZADORES O SPLINES

Ing. Yamil Armando Cerquera Rojas
Especialista en Sistemas U. Nacional de Colombia
Docente Universidad Surcolombiana
SPLINES CBICOS
DEFINICIN
FUNCIONES SPLINES DE GRADO 1
FUNCIONES SPLINES CUBICOS
Ejemplo Spline Cbico
Un caso particular
El caso general
Solucin Con MatLab
Ejercicios

TRAZADORES CBICOS: SPLINES CBICOS

Este tipo de interpolacin que ha demostrado poseer una gran finura y que inclusive es
usado para el diseo asistido por computadora, por ejemplo, de tipos de letra.

Esta interpolacin se llama interpolacin segmentaria o interpolacin por splines. La
idea central es que en vez de usar un solo polinomio para interpolar todos los datos, se
pueden usar segmentos de polinomios entre pares coordenados de datos y unir cada uno de
ellos adecuadamente para ajustar los datos.

Vale la pena resaltar que entre todas las formas de ajustar datos, los splines cbicos han
resultado ser los ms adecuados para cualquier tipo de aplicacin.

As pues, se puede decir de manera informal, que una funcin spline est formada por
varios polinomios, cada uno definido en un intervalo y que se unen entre si bajo ciertas
condiciones de continuidad.

Para un conjunto numeroso de puntos no es muy til calcular el polinomio interpolante que
pasa por estos puntos, pues ste tiende a tener grandes oscilaciones. Ms aconsejable es
hacer una interpolacin secuencial de grado bajo sobre subconjuntos ms pequeos del
total de puntos, definiendo as una funcin a trozos.

La interpolacin a trozos ms til y de uso generalizado en diversos campos tales como el
diseo, los grficos por computadora, la economa, etc., es la que se realiza mediante
polinomios de grado tres llamados trazadores o splines cbicos que se definen en cada uno
de los sub intervalos
) , (
1 + k k
x x
definidos por las abscisas de los puntos
) , (
i i
y x
a interpolar.
La idea es construir estos polinomios cbicos de tal forma que cualesquiera dos de ellos
definidos en intervalos contiguos
) , (
1 k k
x x

y
) , (
1 + k k
x x
, ambos coincidan en x
k
no solo
como funcin sino tambin en su primera y segunda derivada, con el fin de que haya
suavidad en los puntos (x
k
,y
k
) de coincidencia de ambas grficas.

En cada sub intervalo (x
i-1
,x
i
).

yacerque@gmail.com
s(x) tiene derivada continua hasta de orden k-1 en (x
o
,x
n
).


Los splines de grado 0 son funciones constantes por zonas. Una forma explcita de presentar
un spline de grado 0 es la siguiente:

=
=
=
=

) , ( .... ) (
....
) , ( .... ) (
) , ( .... ) (
) (
1 1 1
2 1 1 1
1 0 0 0
n n n n
t t x c x S
t t x c x S
t t x c x S
x S

Los intervalos (t
i-1
,t
i
) (x
i-1
,x
i
) no se intersectan entre s, por lo que no hay ambigedad
en la definicin de la funcin en los nodos.

Figura 1: Spline de grado 0 con seis puntos.


Los splines de grado 1 son funciones polinomiales de grado 1 (Rectas de la forma f(x)=ax+b)
que se encargan de unir cada par de coordenadas mediante una recta.

Dados los n+1 puntos:
x x
0
x
1
x
2
..... x
n
y y
0
y
1
y
2
.... y
n

Una funcin spline de grado 1 que interpole los datos es simplemente unir cada uno de los
puntos (Par coordenados) mediante segmentos de recta, como se ilustra en las siguientes
figuras:

Fig 2 Fig 3: Spline de grado 1 con 6 puntos

yacerque@gmail.com
Claramente esta funcin cumple con las condiciones de la spline de grado 1. As, se tiene
que para este caso:

+ =
+ =
+ =
=

) , ( .... ) (
....
) , ( .... ) (
) , ( .... ) (
) (
1 1 1 1
2 1 1 1 1
1 0 0 0 0
n n n n n
t t x b x a x S
t t x b x a x S
t t x b x a x S
x S

+ =
+ =
+ =
=

) , ( .... ) (
....
) , ( .... ) (
) , ( .... ) (
) (
1 1 1 1
2 1 1 1 1
1 0 0 0 0
n n n n n
x x x b x a x S
x x x b x a x S
x x x b x a x S
x S

Donde:

1. s
j
(x) es un polinomio de grado menor o igual que 1
2. s(x) tiene derivada continua de orden k-1=0.
3. s(x
j
)=y
j
, para j=0,1,2,...,n

Por lo tanto, el spline de grado 1 queda definido como:

| | ) ( ,
0 2 1 0
x x x x f y +
si
| |
1 0
, x x x

| | ) ( ,
1 1 2 1
x x x x f y +
si
| |
2 1
, x x x

s(x) =
{
| | ) ( ,
1 1 1
+
n n n n
x x x x f y
si
| |
n n
x x x ,
1
}
Donde f[x
i
,x
j
] es la diferencia dividida de Newton.


Los splines de orden dos, se encargan de unir cada par coordenado con ecuaciones
polinomiales de orden dos. Las ecuaciones son de la forma c bx ax + +
2
.

Para aclarar bien la idea, vea un ejemplo concreto,
Ejemplo 2: Considere los siguientes datos:

x 3 4.5 7 9
y 2.5 1 2.50.5
Proceda a calcular la interpolacin por splines de grado 2. Primero que nada, observe que
se forman tres intervalos en los datos sobre el eje x:

| | 5 . 4 , 3
| | 7 , 5 . 4
| | 9 , 7

yacerque@gmail.com
Para cada uno de los tres (3) intervalos, se debe definir una funcin polinomial de grado 2,
tal como se ilustra a continuacin:

1 1
2
1
c x b x a + +
si
| | 5 . 4 , 3 x

2 2
2
2
c x b x a + +
si
| | 7 , 5 . 4 x
s(x) =
{
3 3
2
3
c x b x a + +
si
| | 9 , 7 x

}

Vale la pena aclarar que la ecuacin
1 1
2
1
c x b x a + +
,
une los puntos cuyas coordenadas estn
dadas por (3,2.5) y (4.5,1), la ecuacin
2 2
2
2
c x b x a + +
,
une los puntos cuyas coordenadas
estn dadas por (4.5,1) y (7,2.5), y la ecuacin
3 3
2
3
c x b x a + + los puntos cuyas coordenadas
estn dadas por (7,2.5) y (9,0.5). En conclusin siendo 4 par coordenados se unen estos
mediante tres ecuaciones polinomiales de orden 2.

Para resolver el problema, primero, se hace que el spline pase por los puntos de la tabla de
datos (por cada par coordenado). Es decir, se debe cumplir que:

s(3)=2.5, s(4.5)=1, s(7)=2.5 y s(9)=0.5

Teniendo en cuenta lo anterior, se forman las siguientes ecuaciones:

s(3) =2.5
{
5 . 2 3 9
1 1 1
= + + c b a

}
Ec 1
S(4.5)=1
{
1 5 . 4 5 . 4
1 1 1
2
= + + c b a
1 5 . 4 5 . 4
2 2 2
2
= + + c b a
}
Ec 2

Ec 3
S(7)=2.5
{
5 . 2 7 49
2 2 2
= + + c b a
5 . 2 7 49
3 3 3
= + + c b a
}
Ec 4

Ec 5
S(9)=0.5
{
5 . 0 9 81
3 3 3
= + + c b a
}
Ec 6

Hasta aqu, se tiene un total de 6 ecuaciones vs. 9 incgnitas. El siguiente paso es manejar
la existencia de las derivadas continuas. En el caso de los splines de grado 2, se necesita
que el spline tenga derivada continua de orden k-1=1, es decir, primera derivada continua.

Se calcula primero la primera derivada:

S(x) =
{
1 1
2 b x a +
si | | 5 . 4 , 3 x
2 2
2 b x a +
si | | 7 , 5 . 4 x
3 3
2 b x a +
si | | 9 , 7 x
}
Se observa que las derivadas anteriores, estn formadas por segmentos de rectas, que
pudieran presentar discontinuidad en los cambios de intervalo. Es decir, las posibles
discontinuidades se daran en x=4.5 y x=7.0 Por lo tanto para que s'(x) sea continua, se
debe cumplir que: 2a
1
(4.5)+b
1
=2a
2
(4.5)+b
2
, siendo igual a:

S(4.5)
{
9a
1
+b
1
=9a
2
+b
2
}
Ec 7

y tambin debe cumplirse que: 2a
2
(7)+b
2
=2a
3
(7)+b
3,
siendo igual a:

S(7)
{
14a
2
+b
2
=14a
3
+b
3
}
Ec 8

yacerque@gmail.com
As que ahora, se tiene un total de 8 ecuaciones versus 9 incgnitas; esto da un grado de
libertad para elegir alguna de las incgnitas. Se elige por simple conveniencia 0
1
= a .

De esta forma, se tiene un total de 8 ecuaciones vs. 8 incgnitas, siendo las ecuaciones las
siguientes:

5 . 2 3
1 1
= + c b Ec 1
1 5 . 4
1 1
= + c b Ec 2
1 5 . 4 25 . 20
2 2 2
= + + c b a Ec 3
5 . 2 7 49
2 2 2
= + + c b a Ec 4
5 . 2 7 49
3 3 3
= + + c b a Ec 5
5 . 0 9 81
3 3 3
= + + c b a Ec 6
0 9
2 2 1
= b a b Ec 7
0 14 14
3 3 2 2
= + b a b a Ec 8

Este sistema de ecuaciones tiene la siguiente forma matricial:

3 1 0 0 0 0 0 0 b
1
2.5
4.5 1 0 0 0 0 0 0 c
1
1
0 0 20.25 4.5 1 0 0 0 a
2
1
0 0 49 7 1 0 0 0 b
2
2.5
0 0 0 0 0 49 7 1 c
2
2.5
0 0 0 0 0 81 7 1 a
3
0.5
1 0 -9 -1 0 0 0 0 b
3
0
0 0 14 1 0 -14 -1 0 c
3
=
0

Haciendo uso de MatLab Scilab, se tendra lo siguiente:

x=[3 1 0 0 0 0 0 0
4.5 1 0 0 0 0 0 0
0 0 20.25 4.5 1 0 0 0
0 0 49 7 1 0 0 0
0 0 0 0 0 49 7 1
0 0 0 0 0 81 9 1
1 0 -9 -1 0 0 0 0
0 0 14 1 0 -14 -1 0];
b=[2.5;1;1;2.5;2.5;0.5;0;0];
x=inv(x)*b

x =
-1.0000
5.5000
0.6400
-6.7600
18.4600
-1.6000
24.6000
-91.3000

usando Mathematica se obtiene la siguiente solucin:
yacerque@gmail.com

b
1
-1
c
1
5.5
a
2
0.64
b
2
-6.76
c
2
18.46
a
3
-1.6
b
3
24.6
c
3
-91.3

Sustituyendo estos valores (junto con a
1
=0), se obtiene la funcin spline cuadrtica que
interpola la tabla de datos dada:

5 . 5 + x

si
| | 5 . 4 , 3 x

46 . 18 76 . 6 64 . 0 .
2
+ x x
si
| | 7 , 5 . 4 x
s(x) =
{
3 . 91 6 . 24 6 . 1
2
+ x x

si
| | 9 , 7 x
}
La Figura 4, contiene tanto los puntos iniciales de la tabla de datos, as como el spline
cuadrtico. Esta grfica se gener usando Mathematica.

Fig 4

El mismo ejercicio anterior resuelto por MatLab sera de la siguiente manera

Cdigo 1: Produce Fig 5 Cdigo 2: Produce Fig 6

X=[3 4.5 7 9];
Y=[2.5 1 2.5 0.5]
X1=3:0.1:9;
Spl1=spline(X,Y,X1);
plot(X,Y,X1,Spl1);
axis([0,10,0,3.5])
grid on

X=[3 4.5 7 9];
Y=[2.5 1 2.5 0.5]
X1=3:0.1:9;
Spl1=spline(X,Y,X1);
plot(X,Y,X1,Spl1,X,Y,'o','MarkerFaceColor','g');
axis([0,10,0,3.5])
grid on
yacerque@gmail.com

Fig. 5 Fig. 6

haciendo uso de la funcin interp1 de MatLab se puede dar as:

X=[3 4.5 7 9];
Y=[2.5 1 2.5 0.5]
X1=3:0.1:9;
Int1=interp1(X,Y,X1,'spline');
plot(X,Y,X1,Int1,X,Y,'o','MarkerFaceColor','g');

El siguiente caso, que es el ms importante en las aplicaciones, sigue exactamente los
mismos pasos del ejemplo que acabamos de resolver, solamente que en vez de trabajar con
polinomios cuadrticos, lo hace con polinomios cbicos.

FUNCIONES CON SPLINES CUBICOS

El spline cbico (k=3) es el mtodo ms empleado como se ha mencionado anteriormente,
debido a que proporciona un excelente ajuste a los puntos tabulados y su clculo no es
excesivamente complejo.

Sobre cada intervalo
| | | | | |
n n
t t t t t t , ,..., , , ,
1 2 1 1 0
, S est definido por un polinomio cbico
diferente. Sea S
i
el polinomio cbico que representa a S en el intervalo
| |
1
,
i i
t t
, por tanto:

=

) , ( )... (
....
) , ( ).... (
) , ( ).... (
) (
1 1
2 1 1
1 0 0
n n n
t t x x S
t t x x S
t t x x S
x S

Los polinomios S
i-1
y S
i
interpolan el mismo valor en el punto t
i
, es decir, se cumple:

S
i-1
(t
i
) = y
i
= S
i
(t
i
) 1 1 n i

yacerque@gmail.com
Por lo que se garantiza que S es continuo en todo el intervalo. Adems, se supone que S' y
S'' son continuas, condicin que se emplea en la deduccin de una expresin para la funcin
del spline cbico.

Aplicando las condiciones de continuidad del spline S y de las derivadas primera S' y
segunda S'', es posible encontrar la expresin analtica del spline. No vamos a obtener esta
expresin, ya que su demostracin queda fuera del mbito de estos apuntes. Simplemente
se dir que la expresin resultante es:

) )(
6
( ) )(
6
( ) (
6
) (
6
) (
1
1 1 3 1 3
1
x t
h z
h
y
t x
h z
h
y
t x
h
z
x t
h
z
x S
i
i i
i
i
i
i i
i
i
i
i
i
i
i
i
i
+ + + + =
+
+ + +
+

En la expresin anterior, h
i
=t
i+1
-t
i
y z
0
,z
1
,...,z
n
son incgnitas. Para determinar sus
valores, se utilizan las condiciones de continuidad que deben cumplir estas funciones. El
resultado (que tampoco se demuestra) es:

) (
6
) (
6
) ( 2
1
1
1
1
1 1 1 1
+
= + + +
i i
i
i i
i
i i i i i i i
y y
h
y y
h
z h z h h z h

La ecuacin anterior, con i=1,2,....,n-1 genera un sistema de n-1 ecuaciones lineales con
n+1 incgnitas z
0
,z
1
,...,z
n
. Se puede elegir z
0
y z
1
de forma arbitraria y resolver el
sistema de ecuaciones resultante para obtener los valores de z
1
,z
2
,...,z
n-1
. Una eleccin
especialmente adecuada es hacer z
0
=z
1
=0. La funcin spline resultante se denomina spline
cbico natural y el sistema de ecuaciones lineal expresado en forma matricial es:

|
|
|
|
|
|
.
|
\
|
=
|
|
|
|
|
|
.
|
\
|
|
|
|
|
|
|
.
|
\
|
1
3
2
1
2
3
2
1
1 2
3 3 2
2 2 1
1 1
n n n n
v
v
v
v
z
z
z
z
u h
h u h
h u h
h u

En donde:

i i i
t t h =
+1

1
2
1
1
) ( 2
+ =
i
i
i i i
u
h
h h u
) (
6
1 i i
i
i
y y
h
b =
+

1
1 1
1
=
i
i i
i i i
u
v h
b b v

Algoritmo para encontrar los coeficientes z
i
de un spline cbico.
Input n,ti,yi
for i=0,1,,n-1 do
yacerque@gmail.com
h
i
=t
i+1
-t
i
b
i
=6(y
i+1
-y
i
)/h
i

end
U
1
=2(h
o
+h
1
)
V
1
=b
1
-b
0
for i=2,3,,n-1 do
u
i
=2(h
i
+h
i-1
)-h
2
i-1
/u
i-1
v
i
=b
i
-b
i-1
-h
i-1
v
i-1
/u
i-1
end
z
n
=0
for i=n-1,n-1,...,1 do
z
i
=)v
i
-h
i
z
i+1
)/u
i

end
z
o
=0
output z
i

Este sistema de ecuaciones, que es tridiagonal, se puede resolver mediante eliminacin
gaussiana sin pivoteo. El cdigo acepta como entrada un conjunto de nodos (t
i
) y el
conjunto de los valores de la funcin correspondiente (y
i
) y produce un vector con los
vectores z
i
. Por ltimo, el valor del spline S en un punto x cualquiera interpolado se puede
calcular de forma eficiente empleando la siguiente expresin:

| | | |
i i i i i i i i
A t x B t x C t x y x S ) ( ) ( ) ( ) ( + + + =

En donde: ) (
6
1
1 i i
i
i
z z
h
A =
+
,
2
i
i
z
B = , ) (
1
3 6
1 1 i i
i
i
i
i
i
y y
h
z
h
z
h
C + =
+ +

Se muestra un ejemplo para ilustrar el empleo de los splines cbicos para interpolar los
valores de una tabla. En la tabla 1 se muestran algunos valores de una serie de valores
tabulados a intervalos regulares de la funcin x x f = ) ( en el intervalo [0,2.25]. Tambin
se indican los valores interpolados empleando el correspondiente spline cbico as como el
error absoluto cometido. Obsrvese que el error es cero para los nudos. En la figura 7 se
representan grficamente los valores tabulados.

Tabla 1: Valores interpolados mediante un spline cbico para la
funcin N+1 e indicacin del error cometido (en valor absoluto).
x
x
S
i
(x) ) (x
a

0.0000 0.0000 0.0000 0.0000E+00
0.0625 0.1426 1.0732E-01
0.1250 0.2782 7.5266E-02
0.1875 0.3997 3.3261E-02
0.2500 0.5000 0.5000 0.0000E+00
0.3125 0.5744 1.5440E-02
0.3750 0.6285 1.6155E-02
0.4375 0.6701 8.6732E-03
yacerque@gmail.com
0.5000 0.7071 0.7071 0.0000E+00
1.7500 1.3228 1.3228 0.0000E+00
1.8125 1.3462 6.8994E-07
1.8750 1.3693 5.9953E-06
1.9375 1.3919 8.7004E-06
2.0000 1.4142 1.4142 0.0000E+00
2.0625 1.4361 2.4522E-05
2.1250 1.4577 4.7329E-05
2.1875 1.4790 4.6215E-05
2.2500 1.5000 1.5000 0.0000E+00

En la Fig 7 se muestra la representacin de la funcin
1 + x
e en el intervalo [0,7].

x=0:0.5:7;
y=exp(x+1);
xx = 0:.25:7;
yy = spline(x,y,xx);
plot(x,y,'o',xx,yy)
xlabel('0 < x < 7')
ylabel('exp(x+1)')
title('Funcion exp(x+1)')

Figure 7: Representacin de la funcin
1 + x
e . Los crculos representan los valores tabulados
de la funcin y la lnea continua los puntos interpolados mediante una funcin spline cbica.

yacerque@gmail.com
En la figura 8 se muestra otro ejemplo. Se representan grficamente los puntos
interpolados mediante una funcin spline cbico para la funcin y=sin(x) haciendo uso de
Matlab.

x=0:pi/7:2*pi;
y=sin(x);
xx = 0:.25:2*pi;
yy = spline(x,y,xx);
plot(x,y,'o',xx,yy)
xlabel('0 < x < 2\pi')
ylabel('sin(x)')
title('Funcion sin(x)')

Figure 8: Representacin de la funcin y=sin(x). Los crculos representan los valores tabulados
de la funcin y la lnea continua los puntos interpolados mediante una funcin spline cbica.

Ejemplo Spline Cbico: Para hacer ms firme el entendimiento, se escribe la definicin
correspondiente a este caso (k=3).

Dados n+1 datos:

x x
0
x
1
x
2
..... x
n
y y
0
y
1
y
2
.... y
n

Un Spline cbico que interpola estos datos, es una funcin s(x) definida como sigue:

=

] , [ ) (
...
] , [ ) (
] , [ ) (
) (
1 1
2 1 1
1 0 0
n n n
x x x si x s
x x x si x s
x x x si x s
x s

Donde cada s
i
(x) es un polinomio cbico; s
i
(x
i
)=y
i
, para toda i=0,1,....,n y tal que s(x)
tiene primera y segunda derivadas continuas en (x
o
,x
n
)
yacerque@gmail.com

Ejemplo 3. Interpolar los siguientes datos mediante un spline cbico:

x 2 3 5
y -1 2 -7

Solucin: Se define un polinomio cbico en cada uno de los intervalos que se forman:

A continuacin, Se busca que se cumpla la condicin de que la spline debe pasar por los
puntos dados en la tabla, o sea s(x)=y, as, se tiene que:

s(2) = -1 8a
1
+ 4b
1
+2c
1
+d
1
= -1 Ec 1
27a
1
+ 9b
1
+3c
1
+d
1
= 2 Ec 2 s(3)
= 2
27a
2
+ 9b
2
+3c
2
+d
2
= 2 Ec 3
s(5) = -7 125a
2
+25b
2
+5c
2
+d
2
= -7 Ec 4

Ahora se calcula la primera derivada de s(x):

3a
1
x
2
+2b
1
x+c
1
si x [2,3]
s'(x)=
{3a
2
x
2
+2b
2
x+c
2
si x [3,5]

Al igual que en el caso de los splines cuadrticos, se presentan ecuaciones que pueden
tener discontinuidad en los cambios de intervalo; las posibles discontinuidades son los
puntos donde se cambia de intervalo, en este caso x=3. Para evitar esta discontinuidad, se
evala en x=3 los dos polinomios y se igualan de la siguiente manera: 3a
1
(3)
2
+2b
1
(3)+c
1
=
3a
2
(3)
2
+2b
2
(3)+c
2
. Siendo igual a:

27a
1
+6b
1
+c
1
=27a
2
+6b
2
+c
2
Ec 5

De la misma manera se procede con la segunda derivada:

6a
1
x+2b
1
si x [2,3]
s''(x)
=
{6a
2
x+2b
2
si x [3,5]

Para lograr que s''(x) sea continua en el punto x=3m 6a
1
(3)+2b
1
= 6a
2
(3)+2b
2,
que
correspondera a:
18a
1
+2b
1
= 18a
2
+2b
2
Ec 6

En este punto se cuenta con 6 ecuaciones y 8 incgnitas, por lo tanto se tienen 2 grados
de libertad; en general, se agregan las siguientes 2 condiciones:

s''(x
o
)=0
s''(x
n
)=0
De lo cual se obtiene:

s''(2)=0 entonces 6a
1
(2)+2b
1
= 0 :: 12a
1
+2b
1
= 0 Ec 7
s''(5)=0 entonces 6a
2
(5)+2b
2
= 0 :: 30a
2
+2b
2
= 0 Ec. 8

Con lo cual, se ha completado un juego de 8 ecuaciones vs. 8 incgnitas, como sigue:

8a
1
+ 4b
1
+2c
1
+d
1
= -1
yacerque@gmail.com
27a
1
+ 9b
1
+3c
1
+d
1
= 2
27a
2
+ 9b
2
+3c
2
+d
2
= 2
125a
2
+25b
2
+5c
2
+d
2
= -7
27a
1
+6b
1
+c
1
-27a
2
- 6b
2
- c
2
= 0
18a
1
+2b
1
-18a
2
- 2b
2
= 0
12a
1
+2b
1
= 0
30a
2
+ 2b
2
= 0

Cuya forma matricial es la siguiente:

8 4 2 1 0 0 0 0 a
1
-1
27 9 3 1 0 0 0 0 b
1
2
0 0 0 0 27 9 3 1 c
1
2
0 0 0 0 125 25 5 1 d
1
-7
27 6 1 0 -27 -6 -1 0 a
2
0
18 2 0 0 -18 -2 0 0 b
2
0
12 2 0 0 0 0 0 0 c
2
0
0 0 0 0 30 2 0 0 d
2
=
0

Usando Matlab se tendra la solucin con el siguiente cdigo:

hold off
Xi=[2 3 5];
Yi=[-1 2 -7];
x=[8 4 2 1 0 0 0 0; 27 9 3 1 0 0 0 0; 0 0 0 0 27 9 3 1; 0 0 0 0 125 25 5 1; 27 6 1 0 -27 -6 -1 0; 18 2 0 0 -
18 -2 0 0; 12 2 0 0 0 0 0 0; 0 0 0 0 30 2 0 0];
y=[-1; 2; 2; -7; 0; 0; 0; 0];
var=inv(x)*y;
plot(Xi,Yi,'o','MarkerFaceColor','g')
axis([0 6 -8 4]);
grid on
y1=2:0.1:3;
y2=3:0.1:5;
x1=var(1:4);
x2=var(5:8);
yi1=polyval(x1,y1);
yi2=polyval(x2,y2);
hold on;
plot(y1,yi1,y2,yi2)
%var =
% 7.5000
% -67.5000
% 198.0000
% -187.0000
% -0.0000
% 0.0000
% -4.5000
% 15.5000

yacerque@gmail.com

Fig. 9

Si se agregan las siguientes dos lneas para realizarlo directamente con la funcin spline del
matlab se tendr la siguiente figura:

xx=0:0.1:6;
Int1=interp1(Xi,Yi,xx,spline);
plot(xx,Int1,r);

Fig. 10

usando Mathematica, se obtiene la siguiente solucin:

a
1
= -1.250
b
1
= 7.500
c
1
= -10.750
d
1
= 0.500
a
2
= 0.625
b
2
= -9.375
c
2
= 39.875
d
2
= -50.125

yacerque@gmail.com
Sustituyendo estos valores en la funcin inicial, se ve que el spline cbico para la tabla de
datos dada, queda definida como sigue:

)
`
+
+ +
=
] 5 , 3 [ 125 . 50 875 . 39 375 . 9 625 . 0
] 3 , 2 [ 5 . 0 75 . 10 5 . 7 25 . 1
) (
2 3
2 3
x si x x x
x si x x x
x s

Se muestra la grfica correspondiente a este ejercicio, creada tambin en Mathematica.

Fig. 11

Obsrvese la finura con la que se unen los polinomios cbicos que conforman el spline.
Prcticamente ni se nota que se trata de dos polinomios diferentes!. Esto es debido a las
condiciones que se impusieron sobre las derivadas de la funcin. Esta finura casi artstica,
es la que permite aplicar los splines cbicos, para cuestiones como el diseo de letras por
computadoras, o bien a problemas de aplicacin donde la interpolacin que se necesita es
de un caracter bastante delicado, como podra tratarse de datos mdicos sobre algn tipo
de enfermedad.

Ejemplo 4: Interpolar los siguientes datos utilizando splines cbicos:

x -1 1 2 4
y -1 1 5 -2

Solucin: Nuevamente, se define un polinomio cbico en cada uno de los intervalos:

| |
| |
| |
+ + +
+ + +
+ + +
=
4 , 2 ,
2 , 1 ,
1 , 1 ,
) (
3 3
2
3
3
3
2 2
2
2
3
2
1
2
1
3
1
1
x si d x c x b x a
x si d x c x b x a
x si d x c x b x a
x S

Despus, se hace que el Spline pase por los puntos dados en la tabla. As, se tiene que:

s(-1)= -1 implica que, 1
1 1 1 1
= + + d c b a

s(1)=1 implica que, 1
1 1 1 1
= + + + d c b a , 1
2 2 2 2
= + + + d c b a

s(2)=5

implica que, 5 2 4 8
2 2 2 2
= + + + d c b a , 5 2 4 8
3 3 3 3
= + + + d c b a

Y finalmente s(4)= -2 implica que, 2 4 16 64
3 3 3 3
= + + + d c b a

yacerque@gmail.com
Enseguida, se calcula la primera derivada:

| |
| |
| |
+ +
+ +
+ +
=
4 , 2 , 2 3
2 , 1 , 2 3
1 , 1 , 2 3
) `(
3 3
2
3
2 2
2
2
1 1
2
1
x si c x b x a
x si c x b x a
x si c x b x a
x S

Se nota entonces, que las posibles discontinuidades de s'(x) son x=1 y x=2. Por lo tanto,
para hacer que s'(x) sea continua, se igualan las ecuaciones correspondientes en ambos
valores:

2 2 2 1 1 1
2 3 2 3 c b a c b a + + = + +

3 3 3 2 2 2
4 12 4 12 c b a c b a + + = + +

Ahora se procede a calcular la segunda derivada:

| |
| |
| |
+
+
+
=
4 , 2 , 2 6
2 , 1 , 2 6
1 , 1 , 2 6
) ``(
3 3
2 2
1 1
x si b x a
x si b x a
x si b x a
x S

Nuevamente, las posibles discontinuidades se podran dar en los puntos x=1 y x=2. Por lo
tanto, para que s''(x) sea continua, se igualan las ecuaciones en ambos valores:

2 2 1 1 2 2 1 1
3 3 2 6 2 6 b a b a b a b a + = + + = +

3 3 2 2 3 3 2 2
6 6 2 12 2 12 b a b a b a b a + = + + = +

Finalmente, se agregan las condiciones de que la doble derivada se anule en los puntos
inicial y final de la tabla. En este caso,

Con esto se tiene un juego de Doce ecuaciones vs. Doce incgnitas:

yacerque@gmail.com

Este sistema tiene la siguiente forma matricial:

(
(
(
(
(
(
(
(
(
(
(
(
(
(
(
(
(
=
(
(
(
(
(
(
(
(
(
(
(
(
(
(
(
(
(
(
(
(
(
(
(
(
(
(
(
(
(
(
(
(
(
(

0
0
0
0
0
0
2
5
5
1
1
1
3
3
3
3
2
2
2
2
1
1
1
1
0 0 1 12 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 1 3
0 0 1 6 0 0 1 6 0 0 0 0
0 0 0 0 0 0 1 3 0 0 1 3
0 1 4 12 0 1 4 12 0 0 0 0
0 0 0 0 0 1 2 3 0 1 2 3
1 4 16 64 0 0 0 0 0 0 0 0
1 0 4 8 0 0 0 0 0 0 0 0
0 0 0 0 1 2 4 8 0 0 0 0
0 0 0 0 1 1 1 1 0 0 0 0
0 0 0 0 0 0 0 0 1 1 1 1
0 0 0 0 0 0 0 0 1 1 1 1
d
c
b
a
d
c
b
a
d
c
b
a

Usando Mathematica, se obtiene la solucin:

35
24
,
10
21
,
140
51
3 2 1
=
= = a a a

35
288
,
35
297
,
140
153
3 2 1

= = = b b b
, ,
, ,

Por lo tanto, la Spline cbico es:

Finalmente, se muestra la grfica correspondiente.
yacerque@gmail.com

Fig. 12

Un caso particular

Se ilustra un proceso de construccin con el ejemplo siguiente, en el cual se trata de hallar
el trazador cbico para los puntos:

) 2 , 6 ( ) , ), ( 3 , 4 ( ) , ), ( 4 , 3 ( ) , ), ( 2 , 1 ( ) , (
3 3 2 2 1 1 0 0
= = = = y x y x y x y x .

Fig. 13

Como puede observarse, es necesario construir el trazador S(x) que se define como S
o
(x)
en el intervalo [1,3], como S
1
(x) en el intervalo [3,4] y como S
2
(x) en el intervalo [4,6],
donde

Como 1
0
= x , 3
1
= x , 4
2
= x y 6
3
= x , es claro que

Adems se define ) (
3 2 3
x S a = .

En los siguientes pasos se dan condiciones que deben cumplir los coeficientes de los
polinomios cbicos
j j j j
d c b a , , , , para j=0,1,2
yacerque@gmail.com

1. Continuidad.
En primer lugar, se pide que S
o
(x) coincida con S
1
(x) en x
1
. Adems, S
1
(x) debe
coincidir con S
2
(x) en x
2
. Estas dos condiciones, junto a la definicin que se hizo
antes de que ) (
3 2 3
x S a = conducir a las tres ecuaciones:

Ec 1

2. donde:
j j
x x hj =
+1
, para j=0,1,2.

3. Suavidad. Como
2 '
) ( 3 ) ( 2 ) (
j j j j j j
x x d x x c b x S + + = , para j=0,1,2

Ahora debe cumplirse que ) ( ) (
1
'
1 1
'
x S x S
o
= y que ) ( ) (
2
'
2 2
'
1
x S x S = . Al agregarle a
estas dos condiciones la definicin de ) ( '
3 2 3
x S b = , se obtienen las tres ecuaciones:

2
1
3
j j j j j j
h d h c b b + + =
+
, para j=0,1,2 Ec 2

4. Coincidencia en concavidad.
Calculando la segunda derivada de cada uno de los polinomios ) (x S
j
:
) ( 6 2 ) (
"
j j j j
x x d c x S + = Para j=0,1,2

Ahora se le pide la condicin ) ( ) (
1
"
1 1
"
x S x S
o
= y ) ( ) (
2
"
2 2
"
1
x S x S = . Como
j j j
c x S 2 ) ( ' ' =
para j=0,1,2. De manera similar a como se hizo en los anteriores casos, se agrega la
definicin de 2 / ) ( ' '
3 2 3
x S c = , se obtienen las ecuaciones:

Ec 3
5. Despejando
j
d de la ecuacin 3 se obtiene:

Ec 4

6. sustituyendo
j
d en 1 y en 2 se obtienen las relaciones 5 y 6:
) 2 (
3
1
2
1 + +
+ + + =
j j
j
j j j j
c c
h
h b a a , j=0,1,2
Ec 5
j j j j j
h c c b b ) (
1 1 +
+ + = , j=0,1,2
Ec 6

7. Despejando
j
b de la ecuacin 5

Ec 7
8. y haciendo un corrimiento de ndices, se obtiene:
yacerque@gmail.com

Ec 8

9. De igual forma, en la ecuacin 6 se hace un corrimiento de ndices para obtener
1 1 1
) (

+ + =
j j j j j
h c c b b , j=1,2,3
Ec 9

10. Al sustituir en esta ltima ecuacin la expresin para b
j
obtenida en Ec7 y en Ec8, y
haciendo las simplificaciones del caso se obtiene el sistema de ecuaciones:

11. ) (
3
) (
3
) ( 2
1
1
1 1 1 1 1
+ +
= + + +
j j
j
j j j j j j j j j
a a
h
a a
hj
c h c h h c h , para j=1,2

12. Concretamente, es el sistema:

13. Trazador cbico con frontera libre
Hay varios tipos de trazadores que se pueden obtener, dependiendo de las
condiciones de frontera que le pongamos en los extremos x
0
,x
n
, en el cual se est
haciendo la interpolacin. En este material, y continuando con el ejemplo que
estamos trabajando, le pedimos al trazador ) (x S las condiciones:
0 ) ( ' '
0
= x S y 0 ) ( ' '
3
= x S , por lo que se concluye que c
0
=0y que 0
3
= c . De esta manera
el sistema anterior puede escribirse en forma matricial:

En el ejemplo, el sistema anterior toma la forma:

La solucin de este sistema es: 0
0
= c , 0714286 . 1
1
= c , 4285714 . 0
2
= c , 0
3
= c

Como ya se saba desde antes,: 2
0
= a , 4
1
= a , 3
2
= a , 2
3
= a

De la ecuacin 4 se calcula:
=
=
=
0714857 . 0
5 . 0
1785714 . 0
2
1
0
d
d
d

yacerque@gmail.com

De la ecuacin 7 se obtiene:
=
=
=
0714285 . 1
4285714 . 0
7142857 . 1
2
1
0
b
b
b

Finalmente, se concluye que el trazador cbico con frontera libre es:

+ =
+ =
+ =
=
] 6 , 4 [ ) 4 ( 0714857 . 0 ) 4 ( 4285714 . 0 ) 4 ( 0714285 . 1 3 ) (
] 4 , 3 [ ) 3 ( 5 . 0 ) 3 ( 0714286 . 1 ) 3 ( 4285714 . 0 4 ) (
] 3 , 1 [ ) 1 ( 1785714 . 0 ) 1 ( 7142857 . 1 2 ) (
) (
3 2
2
3 2
1
3
0
x si x x x x S
x si x x x x S
x si x x x S
x S

Fig. 14

El caso general

Para un conjunto de N+1 puntos ) , ( ),..., , ( ), , ( ), , (
2 2 1 1 0 n n
y x y x y x y x , en el proceso de
construccin del trazador cbico, se buscan los coeficientes
j j j
c b a , , y
j
d , que cumplan
las siguientes relaciones:
1.
3 2
) ( ) ( ) ( ) (
j j j j j j j j
x x d x x c x x b a x S + + + = , para j=0,1,2,n-1

2.
j j j j
y x S a = = ) ( , para j=0,1,2,.. n-1. Adems,
n n n n
y x s a = =

) (
1

3.
j j j
x x h =
+1
, para j=0,1,2,n-1

4. ) (
3
1
1 j j
j
j
c c
h
d =
+
, para j=0,1,2,n-1

5. ) 2 (
3
) (
1
1 1 + +
+ =
j j
j
j j
j
j
c c
h
a a
h
b , para j=0,1,2,n-1

6. Se forma un sistema de 1 n ecuaciones con 1 + N incgnitas
n
c c c ,..., ,
1 0
:

yacerque@gmail.com
Al agregarle a este sistema las condiciones de frontera libre 0 ) ( ) (
" "
= =
n o
x S x S , se
concluye que 0
0
= =
n
c c y el sistema resulta con una matriz tridiagonal de
coeficientes que tiene solucin nica. Adems, esta es una solucin explcita.

7. Algoritmo de trazador con frontera libre.

Entrada: ) , ),...( , ( ), , (
1 1 0 0 n n
y x y x y x , con
n
x x x ...
1 0
< < .

Salida:
j j j j
d c b a , , , para 1 ,..., 1 , 0 = n j

1. Para 1 ,..., 1 , 0 = n j : se define

j j j
x x h =
+1

j j
y a =

2.
n n
y a =

3. Para 1 1 0 = ,...,n , j : se define

| |
j j
j j j j j j j
j
h h
h a h h a h a
1
1 1 1 1
) ( 3
+
+ +
=

4. Se define

1 =
o
i , 0
0
= , 0
0
= z , 1 =
n
i , 0 =
n
z , 0 =
n
c

5. Para 1 ,..., 2 , 1 = n j se define

1 1 1
) ( 2

+ =
i i i i i
h h h l

i i i
l h / =

i i i i i
l z h z / ) (
1 1
=

6. Para 0 ,..., 1 , 1 = n n j se define

1 +
=
j j j j
c z c

3 / ) 2 ( / ) (
1 1 j j j j
c c hj hj a a bj + =
+ +

) 3 /( ) (
1 j j j j
h c c d =
+

Prctica con MATLAB

En primer lugar se espera que el usuario resuelva el sistema de ecuaciones lineales con el
que se concluy la seccin introductoria y use los comandos especficos de MATLAB para su
solucin.

En efecto, se puede seguir la siguiente secuencia de instrucciones para determinar la
solucin del sistema.

A = [ 1.331 1.21 1.1 1;
12.167 5.29 2.3 1;
yacerque@gmail.com
59.319 15.21 3.9 1;
132.651 26.01 5.1 1];
b = [];
b = [3.887; 4.276; 4.651; 2.117];
c = A\b
c = -0.2015
1.4385
-2.7477
5.4370

Con este proceso se han obtenido los coeficientes del polinomio.

Otra manera de resolverlo es directamente con comandos especficos del software, como se
explica a continuacin.

MATLAB realiza varias tareas de interpolacin mediante el comando INTERP1, el cual,
dependiendo de los parmetros con que sea evaluado, ejecuta mtodos diferentes de
interpolacin
2

Para hallar los coeficientes del polinomio interpolante podemos recurrir al comando polyfit,
que tiene sintaxis polyfit(X,Y,m), el cual retorna el polinomio de mnimos cuadrados de
grado de mejor ajuste a los datos. Es bien sabido que si tenemos puntos el polinomio de
grado que mejor se ajusta a esos datos en el sentido de mnimos cuadrados es precisamente
el polinomio interpolante.

Por ejemplo, para hallar el resultado del polinomio interpolante que pasa por los cuatro
puntos ,, y al evaluarlo en el valor de , se puede seguir la siguiente secuencia de
instrucciones:

X=[1.1, 2.3, 3.9, 5.1];
Y=[3.8870, 4.2760, 4.65110, 2.1170];
P = polyfit(X,Y,3)
Resultado=Polyval(P,2.5)

Esto da como resultado

P =
-0.2015 1.4387 -2.7481 5.4372
Resultado =
4.4108

El resultado obtenido en la variable P son los coeficientes del polinomio de interpolacin
dispuestos en un vector:

P = -0.2015 1.4387 -2.7481 5.4372
Estos coeficientes se interpretan como el polinomio:

4372 . 5 7481 . 2 4387 . 1 2015 . 0
2 3
+ + x x x

Note que la instruccin >> Resultado=Polyval(P,2.5), permite encontrar el valor del
polinomio evaluado en 2.5. Esta funcin de MATLAB permite tambin evaluar un polinomio
en un vector de valores y en este caso retornara un vector de resultados. Esta
adaptabilidad de la funcin Polyval para evaluarse en un vector de valores la hace muy til
yacerque@gmail.com
para graficar cualquier polinomio en un intervalo dado, como se ver en el siguiente
ejemplo.

La siguiente secuencia de instrucciones est orientada al clculo del polinomio interpolante
para los puntos (1,5), (3,1), (4,3), (5,-1), (7,4) y (10,2) y, alternativamente la aproximacin
y visualizacin del trazador cbico (splines).

hold off
x=[1 3 4 5 7 10];
y=[5 1 3 -1 4 2];
P = polyfit(x,y,5);
t=0:0.1:11;
W=polyval(P,t);
plot(x,y,'*k')
hold on;
plot(t,W,'k')
z=interp1(x,y,t,'spline');
plot(t,z,'r')

En figura 15 puede compararse el trazador cbico con el polinomio interpolante para los
seis puntos. Como puede notarse, el trazador cbico se acomoda mejor a los datos y no
produce oscilaciones indeseables para efecto de hacer extrapolaciones ms apropiadas.

Fig. 15

Splines Cubicos Yamil

Diunggah oleh

Informasi Dokumen

Hak Cipta

Format Tersedia

Bagikan dokumen Ini

Bagikan atau Tanam Dokumen

Opsi Berbagi

Apakah menurut Anda dokumen ini bermanfaat?

Apakah konten ini tidak pantas?

Hak Cipta:

Format Tersedia

Splines Cubicos Yamil

Diunggah oleh

Hak Cipta:

Format Tersedia

Ing Yamil Armando Cerquera Rojas

Anda mungkin juga menyukai