Las splines como curvas interpoladoras de curvatura mínima
Para las curvas con una curvatura moderada, la segunda derivada es un buen indicador de la curvatura real (inversa del radio de curvatura).
Un spline es el minimizador del problema variacional para interpolar un conjunto dado de puntos minimizando la segunda derivada: $$ y=\mathop{\arg\min}_{u\in H^2([a,b])}\int_a^b \|u''(x)\|_2^2\,dx\qquad\text{ s.t.}\qquad \begin{split} u(x_k)=x_k,\quad k=1,2,...,n\\a\le x_1<x_2<...<x_n\le b \end{split} $$ La solución es
- cúbica a trozos en intervalos $[x_i,x_{i+1}]$ ,
- lineal en $[a,x_1]$ y $[x_n,b]$ ,
- continua hasta la segunda derivada, y
- tiene la fórmula general $$ y(x)=a+bx+\sum_{k=1}^n c_k\, (x-x_k)_+^3 $$
B-Splines
La B-spline cúbica (spline base) centrada en $x=0$ es
$$\beta_3(x)=\frac16\left[(x+2)_+^3-4\,(x+1)_+^3+6\,(x)_+^3-4\,(x-1)_+^3+(x-2)_+^3\right]$$
(el gráfico tiene una escala incorrecta, demasiado alta por un factor de 6)
lo que obviamente invalida que los valores de la función en los enteros sean sólo 0 y 1. Pero aún así es una función spline con soporte compacto, mínimo, con nodos en los enteros.
Localmente, cada spline cúbico con nodos enteros puede expresarse como una combinación lineal $\sum_{k=m}^nc_k \beta_3(x-k)$ de B-splines.
Curvas de Bézier
Las curvas de Bezier, a veces llamadas splines de Bezier, tienen la fórmula $$ y(x)=(1-x)^3P_0+3(1-x)^2xC_0+3(1-x)x^2C_1+x^3P_1 $$ para $x\in[0,1]$ .
En el contexto general de las splines, pueden utilizarse para expresar un segmento de una spline. No toda concatenación de dichos segmentos da lugar a un spline, hay que garantizar la continuidad de las derivadas primera y segunda.
La buena propiedad de las curvas de Bézier es que pueden evaluarse como combinaciones convexas de combinaciones convexas de... Si $[A,B]_x=(1-x)A+xB$ entonces $$ y(x)=\Bigl[\bigl[\,[P_0,C_0]_x,[C_0,C_1]_x\,\bigr]_x,\,\bigl[\,[C_0,C_1]_x,[C_1,P_1]_x\,\bigr]_x\Bigr]_x $$
Otras parametrizaciones de segmentos cúbicos
Sus funciones de base, también sobre el intervalo $[0,1]$ , toma los valores $$ \begin{array}{|ccc|ccc|ccc|} B_k(x)&B'_k(x)&B''_k(x)&B_k(0)&B'_k(0)&B''_k(0)&B_k(1)&B'_k(1)&B''_k(1)\\ \hline \tfrac16(1-x)^3&\tfrac12(1-x)^2&(1-x)&\tfrac16&\tfrac12&1&0&0&0\\ \tfrac16(3x^3-6x^2+4)&\tfrac12(3x^2-4x)&(3x-2)&\tfrac23&0&-2&\tfrac16&-\tfrac12&1\\ \tfrac16(-3x^3+3x^2+3x+1)&\tfrac12(-3x^2+2x+1)&(-3x+1)&\tfrac16&\tfrac12&1&\tfrac23&0&-2\\ \tfrac16x^3&\tfrac12x^2&x&0&0&0&\tfrac16&\tfrac12&1 \end{array} $$ que no me parece muy convincente, esperaría muchos más ceros en las filas centrales. ¿Quizás hubo algún error en la transcripción?
En mi opinión, las parametrizaciones útiles son $$ y(x)=(1-x)\,y(0)+x\,y(1)-\tfrac16x(1-x)(2-x)\,y''(0)-\tfrac16x(1-x)(1+x)\,y''(1) $$ y $$ y(x)=(1-x)^2(1+2x)\,y(0)+x^2(3-2x)\,y(1)+x(1-x)^2y'(0)-x^2(1-x)y'(1) $$
Actualización: Según la respuesta de bubbas más arriba, ahora veo que el $B_k$ son las piezas de la spline de base cúbica $β_3(x)$ . Así que para $x\in[0,1]$ , \begin {align} d(x)=B_0(x)&= \beta_3 (x+1)= \tfrac16 \beta_3 (-1-x)= \tfrac16 [(1-x)^3] \\ c(x)=B_1(x)&= \beta_3 (x \quad\ ;\,)= \tfrac16 [(x+2)^3-4(x+1)^3-6x^3]= \tfrac16 [3x^3-6x^2+4] \\ b(x)=B_2(x)&= \beta_3 (x-1)= \tfrac16 [(x+1)^3-4x^3]= \tfrac16 [-3x^3+3x^2+3x+1] \\ a(x)=B_3(x)&= \beta_3 (x-2)= \tfrac16 [x^3] \\ \end {align}
0 votos
Posible duplicado: math.stackexchange.com/questions/293542/