B样条基函数：1.引言

仅由一段多项式或有理多项式曲线段组成的曲线往往还不能满足实际应用的要求，它们如下缺点：

• 当需要满足的约束条件很多时，需要使用高次曲线。例如，为了使Bezier曲线通过$n$个数据点，需要采用$n-1$次的曲线。但是，高次曲线用计算机处理时效率较低并且数值稳定性差。
• 为了精确地拟合一些复杂的形状，需要采用高次曲线。
• 单独一段曲线（曲面）不适合交互形状设计。尽管可以通过修改控制顶点（和权因子）来改变（有理）Bezier曲线（曲面）的形状，但是，这种控制不具有局部性。

以上问题可以通过采用由分段多项式或分段有理多项式表示的曲线（曲面）来解决。假设曲线$C(u)$由$m(=3)$段$n$次多项式组成，其定义域为$u\in [0,1]$。参数$u_0=0<u_1<u_2<u_3=1$称为断点（breakpoints），它们对应于三段多项式曲线的端点。记第$i$段多项式曲线为$C_i(u),i=1,2,\dots ,m$。在构造曲线时，相邻曲线段应该满足一定的连续性（每个断点处的连续性可以不同）。令$C_i^{(j)}$表示$C_i(u)$的$j$阶导矢，如果$C_i^{(j)}(u_i)=C_{i+1}^{(j)}(u_i)$对所有$0⩽j⩽k$成立，则称曲线$C(u)$在$u_i$处是$C^k$连续的。

可以用任何一种多项式曲线的表示形式来表示$C_i(u)$。假设次数为3，每段4个控制点，一共12个控制点，$P_i^j$表示第$j$段多项式曲线的第$i$个控制点。断点集合为$U=\{u_0,u_1,u_2,u_3\}$均保持不变，令12个控制点$P_i^j$任意变化，则得到一个由$U$上的所有分段三次多项式曲线组成的向量空间$V$。$V$的维数是12，$V$中的曲线在$u_1$或$u_2$处可能不连续。现在规定$P_3^1=P_0^2$，$P_3^2=P_0^3$，则得到定义在$U$上并且处处至少$C^0$连续的分段三次多项式曲线组成的向量空间$V_0$。$V_0$的维数是10，并且${\mathcal{V}}^0\subset \mathcal{V}$。

如果要求曲线是$C^1$连续的，则更为复杂一些。考虑$u=u_1$的情形。假设$P_3^1=P_0^2$，令$v=\frac{u-u_0}{u_1-u_0}$和$w=\frac{u-u_1}{u_2-u_1}$分别是在区间$[u_0,u_1]$和$[u_1,u_2]$上的局部参数，$0⩽v,w⩽1$。在$u_1$处$C^1$连续意味着
$\begin{array}{r}\frac{1}{u_1-u_0}{\mathbf{C}}_{\mathrm{l}}^{\left(1\right)}\left(v=1\right)={\mathbf{C}}_1^{\left(1\right)}\left(u_1\right)={\mathbf{C}}_2^{\left(1\right)}\left(u_1\right)=\frac{1}{u_2-u_1}{\mathbf{C}}_2^{(1)}\left(w=0\right)\end{array}$

由Bezier曲线在两个端点处导矢的公式
$\begin{array}{rl}& {\mathbf{C}}^{\prime }(0)=n({\mathbf{P}}_1-{\mathbf{P}}_0){\mathbf{C}}^{\prime \prime }(0)=n(\mathbf{n}-1)\left({\mathbf{P}}_0-2{\mathbf{P}}_1+{\mathbf{P}}_0\right)\\ & {\mathbf{C}}^{\prime }(1)=n({\mathbf{P}}_n-{\mathbf{P}}_{n-1}){\mathbf{C}}^{\prime \prime }(1)=n(n-1)({\mathbf{P}}_n-2{\mathbf{P}}_{n-1}+{\mathbf{P}}_{n-2})\end{array}$
可以得到
$\frac{3}{u_1-u_0}({\mathbf{P}}_3^1-{\mathbf{P}}_2^1)=\frac{3}{u_2-u_1}({\mathbf{P}}_1^2-{\mathbf{P}}_0^2)$
故有
$\begin{array}{r}{\mathbf{p}}_3^1=\frac{(u_2-u_1){\mathbf{p}}_2^1+(u_1-u_0){\mathbf{p}}_1^2}{u_2-u_0}(2.1)\end{array}$

（2.1）式说明$P_3^1$和$P_3^2$可分别利用$P_2^1$，$P_1^2$和$P_2^2$，$P_1^3$表示。因此，由$U$上所有$C^1$连续的分段三次多项式曲线组成的向量空间$V^1$维数为8，并且有$V^1\subset V^0\subset V$。

以上表明，对分段多项式曲线中的各个（多项式）曲线段独立地进行存储和操作并不是处理这类曲线的理想方法。原因如下：

• 第一，需要存储多余的数据。事实上，在12个系数中，对于$C^1$连续的三次曲线仅需存储其中8个，而对于$C^2$连续的三次曲线仅需存储6个即可。
• 第二，若采用Bezier形式来表示各个多项式曲线段，则$C(u)$的连续性依赖于控制点的位置。因此，在保持连续性不变的情况下，调整控制点位置的灵活性就减少了。如果需要$C(u)$具有$C^1$连续性，并且$C_1(u)$和$C_3(u)$的形状已经满意，但是希望修改$C_2(u)$的形状，他就没有办法了。因为为了保持$C_1(u)$和$C_3(u)$的形状不变以及$C^1$连续性，$C_2(u)$的控制点都不能被移动了。
• 第三，需要通过一些计算（例如（2.1）式）才能确定曲线的连续性。

采用如下的形式来表示分段多项式曲线
$\begin{array}{r}\mathbf{C}(u)=\sum _{i=0}^n{f}_i(u){\mathbf{P}}_i(2.2)\end{array}$
其中$P_i$是控制点（control point）；$\left\{f_i\left(\begin{array}{c}u\end{array}\right),i=0,1,\cdots ,n\right\}$是分段多项式函数，它们构成了定义在给定的断点序列$U=\{u_i\},(i=0,1,\cdots ,m)$上，并具有所要求的次数及（在每个内部断点处）连续性的所有分段多项式函数组成的向量空间的一组基底。注意：上式中曲线的连续性是由基函数的连续性决定的，因此，移动控制点并不改变曲线的连续性。并且，$\{f_i\}$还应该具有通常所需要的那些优良性质，以确保由（2.2）式定义的曲线具有类似于Bezier曲线的良好的几何性质，例如凸包性、变差减少性、几何不变性等。希望基函数具有的另一个重要性质就是局部支撑性，即每个基函数$f_i(u)$仅在少数几个子区间上，而非在整个定义域$[u_0,u_m]$上非零。由于$P_i$被用$f_i(u)$去乘，因此移动控制点$P_i$只影响$f_i(u)$的非零子区间上（即$f_i(u)$在该区间上非零）的曲线的形状。

最后，若找到了合适的分段多项式基函数，就可以构造出分段有理多项式曲线
${\mathbf{C}}^w(u)=\sum _{i=0}^n{f}_i(u){\mathbf{P}}_i^w(2.3)$
以及非有理和有理的张量积曲面
$\mathbf{S}(u,v)=\sum _{i=0}^n\sum _{j=0}^n{f}_i(u)g_j(v){\mathbf{P}}_{i,j},{\mathbf{S}}^w(u,v)=\sum _{i=0}^n\sum _{j=0}^n{f}_i(u)g_j(v){\mathbf{P}}_{i,j}^w(2.4)$