Splines

Splines lineales, cuadrticos y cbicos

Edzna Claudia Silva Prez

Facultad de Ciencias UNAM

November 27, 2014

Abstract
Dentro del estudio de las funciones de aproximacin, matemticamente una funcin splin consiste en piezas polinomiales sobre intervalos unidos entre si, con ciertas condiciones de continuidad; en esta
construccin, le spline es una manera sencilla de aproximar una sucesin de puntos, tal que, dicha funcin realice una interpolacin sobre la
curva. En este traba jo se analizan los casos de suavizado de curvas que
son utilizados para traba jar tanto en una como en varias dimensiones.

Introduction
Se aborda el estudio de funciones de aproximacin
f (t) = c1 1 (t) + c2 2 (t) + ... + cn n (t)+

(1)

que satisfacen -las restricciones de- los conjuntos cuyos elementos son
interpolados y suaves. Las funciones 1 , 2 , ..., N son linealmente independientes sobre el intervalo [a, b] y genera as un subespacio N-dimensional XN
de C[a, b].
Suponga que los n + 1 puntos x0 , x1 , ..., xn son especicados y satisfacen
x0 < x1 < ... < xn . Estos puntos son llamados malla. Suponiendo ahora
que un entero k 0 es preescrito. Una funcin spline de grado k con puntos
x0 , x1 , ..., xn es una funcin S tal que:
i) En cada intervalo, S es un polinomio de grado mayor o igual a K
ii)S tiene una derivada continua (k 1)st sobre [x0 , xn ]

Se hace hincapi en mencionar que S es un polinomio

a trozos

k con derivadas continuas.

de grado

Los polinomios tienen la forma general

y = a + bx + cx2 + dx3 + ...

(2)

El grado del polinomio corresponde al coeciente ms alto distinto de

cero. Si este es de grado cero, es una constante donde slo a no es cero, la
cual es nica y denida en un slo punto. Si es lineal, b es el coeciente
mayor distinto de cero, el cual es representado por una linea denida entre
dos puntos.
Si es de grado 2, es cuadrtica, donde c es el orden mayor distinto de
cero, se representa como una parbola, nica denida entre tres puntos. El
ltimo caso es el de un polinomio cbico, donde d es el coeciente mayor
distinto de cero. Una curva cbica, es la ms usada en esta aproximacin.

Spline Lineal
El caso ms sencillo de un polinomio truncado o en trozos es el caso lineal.
Si se considera un conjunto de datos donde
a = x0 < x1 , ... < nn = b

(3)

Siendo este el caso en que n = 1. Se tiene, entonces, una interpolacin

lineal, i.e., una linea que une los puntos de dos vecindades. Entonces
Si (x) = ai + bi x, i = 0, 1, ..., n 1

(4)

Cuyas condiciones son

S0 (t0 ) = y0
Si1 (ti ) = Si (ti )) = yi
Sn1 (tn ) = yn

Es sencillo notar que la ecuacin entre dos puntos ti , yi y (ti+1 , yi+1 )

resulta
Si (x) = yi +

yi+1 yi
(x t1 ), i = 0, 1, ..., n 1
ti+1 ti

(5)

Siendo este el caso trivial, se generaliza este caso sencillo en el siguiente

teorema de presicin
2

Teorema para Spline lineal:

Si se asume t0 < t1 < t2 ... < tn y sea

h = maxi (ti+1 ti )

(6)

Sea f (x) es una funcin dada y sea S(x) un spline lineal que interpola
f (x), entonces
S(ti ) = f (ti ), i = 0, 1, ..., n

(7)

siendo x [t0 , tn ] se cumplen:

1) Si f 0 existe y es continua, entonces
1
|f (x) S(x)| hmaxx |f 0 (x)|
2
2) Si la segunda derivada f 00 existe y es continua, entonces
1
|f (x) S(x)| h2 maxx |f 00 (x)|
8

(8)

(9)

Para minimizar el error, entonces en los siguientes casos se requieren

funciones muchas veces ms suaves para aproximar con errores ms pequeos.
El siguiente caso es un ejemplo, el spline cuadrtico donde existan primeras
derivadas continuas.

Spline Cuadratico
Este tipo de aproximacin no es muy usada, pues no es muy util para
propiedades de la curvatura mnima de la funcin. Dado el conjunto de
mallas t0 , t1 , ..., tn y los datos -puntos- y0 , ..., yn se tiene la representacin
polinomial a trozos
Qx = Q0 (x), t0 x t1 , ..., Qn1 (x), tn1 xn

(10)

Donde Qi (x) con i = 0, 1, ..., n 1 son polinomios cuadrados. En general

Qi (x) = ai x2 + bi x + ci

(11)

Con el nmero total de factores desconocidos igual a 3n

Las condiciones que se imponen en Qi son:
Qi (ti ) = yi , i = 0, 1, ..., n 1

(12)

condiciones 2n y para las condiciones n 1

Q0i (ti ) = Q0i+1 (ti ), i = 1, 2, .., n 1

Siendo el nmero total de condiciones: 2n + (n 1) = 3n 1.

3

(13)

Es posible imponer una condicin extra, por ejemplo Q00 (t0 ) = 0 o

Q000 (t0 ) = 0 dependiendo del problema en especco.
La construccin de Qi (t), dado Q0 continua
zi = Q0 (ti )

(14)

Entonces, cada Qi debe satisfacer las condiciones:

Qi (ti ) = yi , Q0i (ti ) = zi , Q0i (ti+1 ) = zi+1 , Qi (ti+1 ) = yi+1

(15)

Usando las primeras 3 condiciones se obtienen los polinomios

Qi (x) =

zi+1 zi
(x + t1 )2 + zi (x ti ) + yi
2(ti+1 ti )

(16)

en 0 i n 1.
Para encontrar los valores para zi , se usa la cuarta condicin para obtener
zi+1 = zi + 2(

yi+1 yi
), 0 1
ti+1 ti

(17)

Dada una z0 , todas las zi pueden construirse.

Spline Cbico
El caso ms usado de aproximacin por mallas es aquella malla que sea cubica, es decir, que es continua y doblemente diferenciable, con la nalidad que
sea ms suave. El espacio lineal para esta repressentacin, llammosle S3 ()
entonces, existe una funcin nica s(t) en dicho espacio, tal que, satisface
s0 (t0 = f 0 (t0 )), s(t1 = f ()ti ), s0 (tn = f 0 (tn ))

(18)

s(t) se reere a la funcin spline de interpolacin cbica, tal que s

C 2 [a, b], la cual satisface el nmero adicional 3(n 1) de condiciones de

suavidad.

sj (t1 ) = f j (ti )con1 i n 1; j = 0, 1, 2

(19)

Para estabilizar la existencia de s(t) para cualquier malla xi = xi +

i(b a)/n estas se construyen de la siguiente manera, agregandole las mallas
adicionales t2 t1 t0 y tn+2 tn+1 tn y las funciones Bi (t) denidas
por
Bi(t) = h13 [(t t3i2 )] si t [ti2 , ti1 ]
Bi(t) = h13 [h + 3h2 (t ti1 ) + 3h(t ti1 )2 3(t ti1 )] si t [ti1 , ti ]
Bi(t) = h13 [h3 + 3h2 (t ti1 ) + 3h(t ti1 )2 3(t ti1 )] si t [ti1 , ti ]
Bi(t) =

1
[(ti+2
h3

t)3 ]

Bi(t) =

1
h3

= [0] otro caso

Ntese que cada una de las funciones Bi (t) es continua y doblemente

diferenciable en la recta real completa. Para generalizar esta denicin se
enunciar el siguiente teorema.
Teorema: Existe una funcin nica

s(t)

en el espacio

B3 ()

para

resolver el problema de interpolacin

Demostracin: Sea s(t) en B3 (). Entonces
s(t) = x1 B1 (t) + x0 B0 (t) + ... + xn+1 (t)
Forzando a s(t) a satisfacer

0
0
s0 (t0 ) = x1 B1
(t0 ) + x0 B00 (t0 ) + ... + xn+1 Bn+1
(t0 ) = f 0 (t0 )

(20)

0
s0 (ti ) = x1 B1
(t0 ) + x0 B0 (t0 ) + ... + xn+1 Bn+1 (ti ) = f (ti )

(21)

0
0
s0 (tn ) = x1 B1
(t0 ) + x0 B00 (tn ) + ... + xn+1 Bn+1
(tn ) = f 0 (tn ), 0 i n

(22)
Esto comprende al conjunto de n + 3 ecuaciones lineales como un problema de lgebra lineal Ax = b donde x = (x1 , x0 , ..., xn+1 )T y b = (f 0 (t0 ), f (t0 ), ..., f (tn ), f 0 (tn ))T
y los coecientes de la matriz A que resulta ser una matriz tridiagonal,
simtrica y de diagonal dominante. Entonces es denida positiva, con autovalores positivos y autovectores ortogonales. Por consiguiente, es sencillo
resolver el problema lineal utilizando mtodo de eliminacin de Gauss (sin
cambio de las). Como A es no singular, el sistema tiene una solucin nica.

References
1.

2.

3.

Yuri Skiba Mtodos numricos un anlisis computacional., (2005). Universidad Autonoma de Mexico.
P. M. Prenter,Barrow Splines and Variational
Courier Dover Publications, (26/11/2013)

Methods

Cap. 4 Pj 76.

http://www.math.uh.edu/ jingqiu/math4364/spline.pdf

Interpolation

by Splines

4.

M. J. Marsden Quadratic Spline interpolation BULLETIN OF THE

AMERICAN MATHEMATICAL SOCIETY Volume 80, Number 5
,September 1974
5