Describimos ahora los diversos espacios de funciones splines, y un

método para calcular el spline cúbico natural en unos nodos dados.

Dado el intervalo [ ] y una partición

de dicho intervalo real. Una función spline de grado y clase , con
nodos en es una función definida en [ ], de tal
forma que su restricción a cada subintervalo [ ]
de la partición es un polinomio de grado no mayor que ; y además
y sus derivadas sucesivas hasta la de orden inclusive, son continuas en
[ ]; es decir, [ ] . Si decimos simplemente que es
una función spline de grado estamos indicando que es una
función spline de grado y clase .

Es fácil demostrar que el conjunto de todas las funciones splines de

grado y clase con nodos en , que notaremos por
es un espacio vectorial sobre , con las operaciones suma
de funciones y producto de números reales por funciones. Al espacio
vectorial de las funciones splines de grado , , lo
notaremos por .

De hecho, es fácil ver que el espacio vectorial , de

las funciones poligonales en el intervalo [ ], formadas por segmentos
en los subintervalos [ ] , y que son continuas
en [ ], tiene dimensión . El espacio vectorial , de
las funciones en el intervalo [ ], formadas por parábolas en los
subintervalos [ ] , que son continuas y con
derivada continua en [ ], tiene dimensión . El espacio vectorial
, de las funciones en el intervalo [ ], formadas por
cúbicas en los subintervalos [ ] , que son
continuas, y con primera y segunda derivada continuas en [ ], tiene
dimensión .

Estudiamos ahora un método para obtener el spline cúbico natural en

unos nodos dados. Consideramos la partición
del intervalo real [ ], y conocemos los valores de una función en los
nodos de dicha partición; es decir tenemos los datos

Queremos calcular el spline cúbico natural que interpola a la función

en los puntos . Si llamamos a la restricción de
al subintervalo [ ] , entonces sabemos que
es un polinomio de grado no mayor que 3, de tal forma que
y . Si notamos por a los valores desconocidos
de la derivada primera de en los puntos , entonces
satisface también que y . Tenemos un
problema de interpolación de Hermite, de tal forma que con la base de
Newton { }, se obtiene que

( )

( )

siendo .

La función , así construida a partir de las funciones

interpola a la función en los puntos , y
además es de clase 1 en [ ]. Ahora solamente queda exigir que sea de
clase 2 en [ ], y para ello exigimos que para
.
 Entonces, resultan las siguientes ecuaciones con incógnitas

( ) ( )

para .

Como habíamos estudiado necesitamos dos condiciones adicionales

para que el sistema sea unisolvente. Así, para el spline cúbico natural,
tenemos que ; es decir, .
Estas condiciones equivalen a

La matriz de coeficientes del sistema resultante es tridiagonal, y

estrictamente diagonal dominante. Una vez resuelto este sistema lineal y,
por lo tanto, conocidos los valores de las derivadas del spline en cada nodo,
podemos obtener la expresión del spline cúbico natural.