1. 引言
曲线细分是一种从初始控制多边得到光滑曲线的迭代格式。通过迭代可以设计出合适的曲线,光滑度较高,因而得到了广泛应用。
近年来,采用通过添加偏移量的形式构造新的细分格式吸引了众多学者的注意 [1] [2] [3] [4] 。偏移量是组合系数和为零的同层的相邻几个顶点的线性组合。在已有细分迭代规则的基础上加上偏移量做调整,既可以从逼近型细分构造插值型细分 [1] [2] [3] ,又可以从插值型细分构造逼近型细分 [4] 。上述工作局限于单个细分格式,没有从理论上对这种方法进行探讨。Luo等 [5] 指出添加偏移量的操作对应的是在原细分生成函数基础上加上一个Laurent多项式。求和规则是细分的基本性质 [6] [7] [8] ,亓万锋等 [8] 分析了采用二阶中心差分形式的偏移量所能达到的最高阶求和规则的问题。本文将 [8] 的结论推广,考虑了高阶中心差分是否能够达到最高阶求和规则的问题。
2. 预备知识
细分格式是从给定的初始控制顶点集
和一个正整数m,利用有限个数
,
代表
上支撑有限的序列的集合,通过迭代格式
(1)
迭代k次后得到控制顶点集合
的一种造型方法,其中
称为重数,
称为细分掩模,对应的Laurent多项式
,
称为细分生成函数 [8] 。
给定m重细分掩模
,记
。在实际应用中,往往使用对称的生成函数即细分掩模满足
,显然生成函数是对称的当且仅当
。长度为s的列向量
称为中心对称的,如果满足
。显然对称的生成函数的系数组成的列向量是中心对称向量。
细分格式可以分为插值型和逼近型两种格式,插值型细分每次迭代时保留上一次的控制顶点,其细分掩模满足
。若细分格式不是插值型的,则称为逼近型细分。
称m重细分格式
满足k阶求和规则,如果
且
含有因式
。易见当
满足一阶求和规则时,有
成立。
3. 主要结果
在这一节里,我们讨论添加偏移量是2n阶中心差分时,所构造的细分格式能否达到最高阶求和规则的问题。
给定第
层上的控制顶点集合
,在顶点
处的2n阶中心差分是
例如在
处的二阶中心差分是
,四阶中心差分是
。
添加偏移量的方法是在原细分格式的基础上添加偏移量。在给定原细分格式
的顶点
处添加2n阶中心差分
,即
相应的生成函数变为原生成函数加上对应偏移量的Laurent多项式
。 (2)
下面我们分析
在满足限定条件时,所含自由系数的个数。
引理3.1若对称的Laurent多项式
的最高幂次是r,则
中自由系数个数是
。
证:
。
因为
和
是对称的Laurent多项式,所以
也
是对称的Laurent多项式。注意到
的最高次数是
的最大值与
的和。因此当限制
的最高次数是r时,此时
中下标
的最大值是
。因此,
具有的自由系数个数是
。证毕。
由引理3.1可知,当给定m重的细分生成函数
后,如果限定
的最高幂次是r,则组成
的中心差分的阶数应小于等于2r/m。
下面的定理给出了当采用中心差分形式的偏移量能够达到最高阶求和规则的
的形式。
定理3.2若限定m重对称的细分掩模
和2n阶中心差分形式的偏移量
的最高幂次是r,且
能具有支撑在
上生成函数的最高阶求和规则,则
至少具有2n阶求和规则。设
是支撑在
的对称生成函数中求和规则最高,则
具有形式
,系数
自由的个数为
。
证:根据文献 [8] 中的定理2.1,在
上存在具有最高阶求和规则的对称的生成函数,记为
,则当限定采用的偏移量是2n阶中心差分时,
,因此
的求和规则至少是2n阶,同时
含有因子
,因而
至少具有2n阶求和规则。
代入
的形式有
,在对称的
固定的情形下,由引理3.1知自由系数个数
为
。
推论3.3在定理3.2的条件下,当
时,
自由系数个数与
自由系数个数一致;当
时,
自由系数个数大于
自由系数个数。
证:首先
自由系数个数是
。这是因为
可分解为
。由
和
的对称性知
也是对称的。易得
的最高次数是
,而
的系数和是1,因此
自由系数个数是
当
即采用二阶中心差分时,对任何对称的细分掩模
具有的自由系数个数与
自由系数一致。当
时,
自由系数个数是
,即大于
的自由系数个数。证毕。
推论3.2从另一个方面表明若
不具有定理3.2中的形式时,则不能通过添加2n阶中心差分的形式得到最高阶求和规则。例对具有四阶求和规则的二重细分生成函数
,最高幂次
,计算知支撑在[−5, 5]上具有最高阶求和规则的逼近型细分和插值型细分的生成函数分别是
和
。若采用四阶中心差分形式的偏移量
,则无论
取何值,
都无法得到
或
。原因在于
和
中因式
的幂次都是2,不是4。
当采用的是2阶中心差分即
时,我们可以得到相应的线性方程组的形式:
定理3.4对任意正奇数s和中心对称列向量
,且向量
所有元素的和为0,系数矩阵
满足
,
则线性方程组
有中心对称解。
证:对任意正奇数s,利用中心对称的向量
,构造一个Laurent多项式
。
显然
的系数和为0,即
。的系数是对称的,由文献 [8] 知
。因此
含有因子
,
可以分解为
。由
的系数对应关系可知,
就是该线性方程组的解。由
和
的对称性知
是中心对称的。
资助信息
国家自然科学基金(No. 61502217),辽宁省教育厅科研项目(L20168366)。