Interpolador cúbico de Hermite

Las cuatro funciones básicas de Hermite. El interpolante en cada subintervalo es una combinación lineal de estas cuatro funciones

En análisis numérico, un interpolador cúbico de Hermite es un tipo de spline en el que cada pieza es un polinomio de tercer grado determinado según las condiciones de Hermite, es decir, por los valores de los puntos de paso y por la primera derivada en los puntos finales del intervalo del dominio correspondiente.

Los splines cúbicos de Hermite se utilizan normalmente para la interpolación de datos numéricos especificados en un conjunto de valores de argumento dados $x_1,x_2,\dots ,x_n$, para obtener una función continua. Los datos deben consistir en el valor de la función deseada y la derivada en cada $x_k$. Si solo se proporcionan los valores, las derivadas pueden estimarse a partir de ellos. La fórmula de Hermite se aplica a cada intervalo $(x_k,x_{k+1})$ por separado. El spline resultante será continuo y tendrá una primera derivada continua.

Los splines polinómicos cúbicos se pueden especificar de otras formas, siendo la curva de Bézier la más común. Sin embargo, estos dos métodos proporcionan el mismo conjunto de splines y los datos se pueden convertir fácilmente entre las formas Bézier y de Hermite; por eso los nombres se suelen utilizar como si fueran sinónimos.

Los splines polinomiales cúbicos se utilizan ampliamente en computación gráfica y modelado geométrico para obtener curvas o trayectorias de movimiento que pasan por puntos específicos del plano o del espacio tridimensional. En estas aplicaciones, cada coordenada del plano o espacio se interpola por separado mediante una función spline cúbica de un parámetro t independiente. Los splines polinomiales cúbicos también se utilizan ampliamente en aplicaciones de análisis estructural, como curvas elásticas. También se han aplicado splines polinómicos cúbicos al análisis de mortalidad y a la prognosis de mortalidad.

Los splines cúbicos se pueden extender a funciones de dos o más parámetros, de varias maneras. Los splines bicúbicos (utilizando interpolación bicúbica) se utilizan a menudo para interpolar datos en una cuadrícula rectangular regular, como el valor de los píxeles en una imagen digital o los datos de altitud de un terreno. Los parches de superficie bicúbica, definidos por tres splines bicúbicos, son una herramienta esencial en gráficos por computadora.

Los splines cúbicos a menudo se denominan csplines, especialmente en gráficos por computadora. Las splines de Hermite llevan el nombre del matemático francés Charles Hermite.

Interpolación en un solo intervalo

Intervalo unitario [0, 1]

En el intervalo unitario $[0,1]$, dado un punto inicial ${𝒑}_0$ en $t=0$ y un punto final ${𝒑}_1$ en $t=1$ con tangente inicial ${𝒎}_0$ en $t=0$ y tangente final ${𝒎}_1$ en $t=1$, el polinomio se puede definir por

$𝒑(t)=(2t^3-3t^2+1){𝒑}_0+(t^3-2t^2+t){𝒎}_0+(-2t^3+3t^2){𝒑}_1+(t^3-t^2){𝒎}_1,$

donde t ∈ [0, 1].

Interpolación en un intervalo arbitrario

La interpolación de $x$ en un intervalo arbitrario $(x_k,x_{k+1})$ se realiza asignando este último a $[0,1]$ mediante un cambio de variable afín (de grado 1). La fórmula es:

$𝒑(x)=h_{00}(t){𝒑}_k+h_{10}(t)(x_{k+1}-x_k){𝒎}_k+h_{01}(t){𝒑}_{k+1}+h_{11}(t)(x_{k+1}-x_k){𝒎}_{k+1},$

donde $t=(x-x_k)/(x_{k+1}-x_k)$ y $h$ se refieren a las funciones básicas, definidas más adelante. Téngase en cuenta que los valores de la tangente han sido escalados por $x_{k+1}-x_k$ en comparación con la ecuación en el intervalo unitario.

Unicidad

La fórmula especificada anteriormente proporciona la única ruta polinómica de tercer grado entre los dos puntos con las tangentes dadas.

Demostración. Sean $P,Q$ dos polinomios de tercer grado que satisfacen las condiciones de contorno dadas. Defínase $R=Q-P,$ entonces:

$R(0)=Q(0)-P(0)=0,$

$R(1)=Q(1)-P(1)=0.$

Dado que tanto $Q$ como $P$ son polinomios de tercer grado, $R$ es como máximo un polinomio de tercer grado. Entonces, $R$ debe tener la forma

$R(x)=ax(x-1)(x-r).$

Calcular la derivada da

$R^{\prime }(x)=ax(x-1)+ax(x-r)+a(x-1)(x-r).$

Se sabe además que

$R^{\prime }(0)=Q^{\prime }(0)-P^{\prime }(0)=0,$

$R^{\prime }(1)=Q^{\prime }(1)-P^{\prime }(1)=0,$

Combinando (Plantilla:EquationNote) y (Plantilla:EquationNote) se deduce que $a=0$, y por lo tanto, $R=0,$ y en consecuencia $P=Q.$

Representaciones

Se puede escribir el polinomio de interpolación como

$𝒑(t)=h_{00}(t){𝒑}_0+h_{10}(t)(x_{k+1}-x_k){𝒎}_0+h_{01}(t){𝒑}_1+h_{11}(t)(x_{k+1}-x_k){𝒎}_1$

donde $h_{00}$, $h_{10}$, $h_{01}$, $h_{11}$ son funciones de base de Hermite, que se pueden escribir de diferentes maneras, cada una de las cuales revela propiedades diferentes:

	Expandido	Factorizado	Bernstein
$h_{00}(t)$	$2t^3-3t^2+1$	$(1+2t)(1-t{)}^2$	$B_0(t)+B_1(t)$
$h_{10}(t)$	$t^3-2t^2+t$	$t(1-t{)}^2$	$\frac{1}{3}{B}_1(t)$
$h_{01}(t)$	$-2t^3+3t^2$	$t^2(3-2t)$	$B_3(t)+B_2(t)$
$h_{11}(t)$	$t^3-t^2$	$t^2(t-1)$	$-\frac{1}{3}{B}_2(t)$

La columna "Expandido" muestra la representación utilizada en la definición anterior.

La columna "Factorizado" muestra inmediatamente que $h_{10}$ y $h_{11}$ son cero en los límites. Además, se puede concluir que $h_{01}$ y $h_{11}$ tienen una raíz de multiplicidad 2 en 0, y $h_{00}$ y $h_{10}$ tienen ese cero en 1, por lo que tienen pendiente 0 en esos límites.

La columna "Bernstein" muestra la descomposición de las funciones básicas de Hermite en polinomios de Bernstein de orden 3:

$B_k(t)=(\genfrac{}{}{0ex}{}{3}{k})\cdot t^k\cdot (1-t{)}^{3-k}.$

Usando esta conexión se puede expresar la interpolación cúbica de Hermite en términos de una curva de Bézier cúbica con respecto a los cuatro valores ${𝒑}_0,{𝒑}_0+\frac{1}{3}{𝒎}_0,{𝒑}_1-\frac{1}{3}{𝒎}_1,{𝒑}_1$ y hacer la interpolación de Hermite usando el algoritmo de De Casteljau, con el que se demuestra que en un parche de Bézier cúbico los dos puntos de control en el medio determinan las tangentes de la curva de interpolación en los respectivos puntos exteriores.

También se puede escribir el polinomio en forma estándar como

$𝒑(t)=(2{𝒑}_0+{𝒎}_0-2{𝒑}_1+{𝒎}_1)t^3+(-3{𝒑}_0+3{𝒑}_1-2{𝒎}_0-{𝒎}_1)t^2+{𝒎}_{0}t+{𝒑}_0$

donde los puntos de control y las tangentes son coeficientes. Esto permite una evaluación eficiente del polinomio en varios valores de t, ya que los coeficientes constantes se pueden calcular una vez y reutilizar.

Interpolación de un conjunto de datos

Un conjunto de datos, $(x_k,{𝒑}_k)$ para $k=1,\dots ,n$, se puede interpolar aplicando el procedimiento anterior en cada intervalo, donde las tangentes se eligen de manera adecuada, lo que significa que las tangentes de los intervalos que comparten puntos finales son iguales. La curva interpolada consta entonces de splines cúbicos de Hermite por partes y es globalmente diferenciable de forma continua en $(x_1,x_n)$.

La elección de tangentes no es única, y hay varias opciones disponibles.

Diferencias finitas

Ejemplo con tangentes por diferencias finitas

La opción más sencilla es aplicar el método de las diferencias finitas a tres puntos, lo que no requiere longitudes de intervalo constantes:

${𝒎}_k=\frac{1}{2}(\frac{{𝒑}_{k+1}-{𝒑}_k}{x_{k+1}-x_k}+\frac{{𝒑}_k-{𝒑}_{k-1}}{x_k-x_{k-1}})$

para puntos internos $k=2,\dots ,n-1$ y diferencia unilateral en los puntos finales del conjunto de datos.

Spline cardinal

Ejemplo de spline cardinal en 2D. La línea representa la curva y los cuadrados representan los puntos de control ${𝒑}_k$. Obsérvese que la curva no llega al primer ni al último punto. Estos puntos, sin embargo, afectan a la forma de la curva. El parámetro de tensión utilizado es 0,1

Un spline cardinal, a veces llamado spline canónico, se obtiene si:

${𝒎}_k=(1-c)\frac{{𝒑}_{k+1}-{𝒑}_{k-1}}{x_{k+1}-x_{k-1}}$

lo que se utiliza para calcular las tangentes. El parámetro Plantilla:Mvar es un parámetro de tensión que debe estar en el intervalo Plantilla:Math. En cierto sentido, esto puede interpretarse como la longitud de la tangente. Al elegir Plantilla:Math se obtienen todas las tangentes cero, y al elegir Plantilla:Math se obtiene un spline de Catmull-Rom en el caso de parametrización uniforme.

Spline de Catmull–Rom

Interpretación geométrica de la interpolación cúbica de Catmull-Rom del punto negro con abscisas espaciadas uniformemente.

Para tangentes fijadas como

${𝒎}_k=\frac{{𝒑}_{k+1}-{𝒑}_{k-1}}{2}$

se obtiene un spline de Catmull-Rom, siendo un caso especial de spline cardinal. Esto supone un espaciado de parámetros uniforme.

La curva lleva el nombre de Edwin Catmull y Raphael Rom. La principal ventaja de esta técnica es que los puntos en el conjunto original también constituyen los puntos de control de la curva spline. Se requieren dos puntos adicionales en cada extremo de la curva. La implementación uniforme de Catmull-Rom puede producir bucles y autointersecciones. Las implementaciones cordales y del spline centrípeto de Catmull-Rom resuelven este problema, pero utilizan un cálculo ligeramente diferente. En computación gráfica, los splines de Catmull-Rom se utilizan con frecuencia para obtener un movimiento interpolado suave entre fotogramas de referencia. Por ejemplo, la mayoría de las animaciones de trayectoria de cámara generadas a partir de fotogramas clave discretos se manejan mediante splines de Catmull-Rom. Son populares principalmente por ser relativamente fáciles de calcular, lo que garantiza que cada posición del fotograma clave se alcanzará exactamente y también garantiza que las tangentes de la curva generada sean continuas en múltiples segmentos.

Spline de Kochanek-Bartels

Un spline de Kochanek-Bartels es una generalización adicional sobre cómo elegir las tangentes dados los puntos de datos ${𝒑}_{k-1}$, ${𝒑}_k$ y ${𝒑}_{k+1}$, con tres parámetros posibles: tensión, sesgo y un parámetro de continuidad.

Interpolación cúbica monótona

Si se utiliza un spline cúbico de Hermite de cualquiera de los tipos enumerados anteriormente para la interpolación de un conjunto de datos monótono, la función interpolada no será necesariamente monótona, pero la monotonicidad se puede preservar ajustando las tangentes.

Interpolación en el intervalo unitario con derivadas coincidentes en los puntos finales

Considérese una sola coordenada de los puntos ${𝒑}_{n-1},{𝒑}_n,{𝒑}_{n+1}$ y ${𝒑}_{n+2}$ como los valores que toma una función f(x) en ordenadas enteras x = n −  1, n, n+1 y n+2,

$p_n=f(n)\mathrm{\forall }n\in \mathbb{Z}.$

Además, supóngase que las tangentes en los puntos finales se definen como las diferencias centradas de los puntos adyacentes:

$m_n=\frac{f(n+1)-f(n-1)}{2}=\frac{p_{n+1}-p_{n-1}}{2}\mathrm{\forall }n\in \mathbb{Z}.$

Para evaluar la f(x) interpolada para una x real, primero sepárese x en la porción entera n y en la porción fraccionaria u:

$x=n+u,$

$n=\lfloor x\rfloor =\mathrm{suelo}(x),$

$u=x-n=x-\lfloor x\rfloor ,$

$0\le u<1,$

donde $\lfloor x\rfloor$ denota la función suelo, que devuelve el número entero más grande no mayor que x.

Entonces, el spline de Catmull-Rom es

$\begin{array}{cc}f(x)=f(n+u)& ={\text{CINT}}_u(p_{n-1},p_n,p_{n+1},p_{n+2})\\ & =\left[\begin{array}{cccc}1& u& u^2& u^3\end{array}\right]\left[\begin{array}{cccc}0& 1& 0& 0\\ -\frac{1}{2}& 0& \frac{1}{2}& 0\\ 1& -\frac{5}{2}& 2& -\frac{1}{2}\\ -\frac{1}{2}& \frac{3}{2}& -\frac{3}{2}& \frac{1}{2}\end{array}\right]\left[\begin{array}{c}{p}_{n-1}\\ p_n\\ p_{n+1}\\ p_{n+2}\end{array}\right]\\ & =\frac{1}{2}{\left[\begin{array}{c}-u^3+2u^2-u\\ 3u^3-5u^2+2\\ -3u^3+4u^2+u\\ u^3-u^2\end{array}\right]}^{\mathrm{T}}\left[\begin{array}{c}{p}_{n-1}\\ p_n\\ p_{n+1}\\ p_{n+2}\end{array}\right]\\ & =\frac{1}{2}{\left[\begin{array}{c}u((2-u)u-1)\\ u^2(3u-5)+2\\ u((4-3u)u+1)\\ u^2(u-1)\end{array}\right]}^{\mathrm{T}}\left[\begin{array}{c}{p}_{n-1}\\ p_n\\ p_{n+1}\\ p_{n+2}\end{array}\right]\\ & =\frac{1}{2}\left(\right(u^2(2-u)-u)p_{n-1}+(u^2(3u-5)+2)p_n+(u^2(4-3u)+u)p_{n+1}+u^2(u-1)p_{n+2})\\ & =\frac{1}{2}((-u^3+2u^2-u)p_{n-1}+(3u^3-5u^2+2)p_n+(-3u^3+4u^2+u)p_{n+1}+(u^3-u^2)p_{n+2})\\ & =\frac{1}{2}((-p_{n-1}+3p_n-3p_{n+1}+p_{n+2})u^3+(2p_{n-1}-5p_n+4p_{n+1}-p_{n+2})u^2+(-p_{n-1}+p_{n+1})u+2p_n)\\ & =\frac{1}{2}\left(\right((-p_{n-1}+3p_n-3p_{n+1}+p_{n+2})u+(2p_{n-1}-5p_n+4p_{n+1}-p_{n+2}))u+(-p_{n-1}+p_{n+1}))u+p_n,\end{array}$

donde $\mathrm{T}$ denota la matriz transpuesta. La igualdad inferior representa la aplicación del algoritmo de Horner.

Este escrito es relevante para la interpolación tricúbica, donde una optimización requiere calcular CINT_u dieciséis veces con la misma u y diferente p.

Véase también

• Interpolación bicúbica, una generalización a dos dimensiones.
• Interpolación tricúbica, una generalización a tres dimensiones.
• Interpolación polinómica de Hermite
• Interpolación multivariable
• Interpolación con splines
• Interpolación con splines discretos

Enlaces externos

• Curvas spline, Prof. Donald H. House Universidad Clemson
• Interpolación y aproximación multidimensional de Hermite, Prof. Chandrajit Bajaj, Universidad Purdue
• Introducción a Catmull–Rom Splines, MVPs.org
• Interpolación de splines Cardinal y Catmull-Rom
• Métodos de interpolación: lineal, coseno, cúbico y hermite (con fuentes C)
• Ecuaciones splines comunes