1. 引言
细分格式的光滑性问题的研究具有十分重要的意义。Jia和Zhou [1] 从掩模生成的 个列随机矩阵角度出发刻画了带有非负掩模的细分格式的收敛。Zhou [2] 对一类带有非负掩模的多元细分格式的收敛性进行了研究,给出了具有非负有限掩模的多元细分格式收敛新的充分条件。Cheng和Zhou [3] [4] 对有限掩模细分格式的收敛性给出一个新的可计算的必要条件。
计算Hӧlder指数是刻画细分格式光滑性的重要方法,目前有很多学者提出了Hӧlder指数的计算方法。Rioul [5] 从单个矩阵的谱半径出发证明了拟样条细分格式的Hӧlder指数的下界。Floater [6] 和Muntingh [6] [7] 对Rioul的计算方法进行了完善,在Rioul研究的基础上构造了折叠矩阵,提出了用这种折叠矩阵的特征值计算Hӧlder指数的方法。还有一些学者构造出不同参数的细分格式并分析了其连续性。檀结庆等 [8] 从生成多项式的角度出发,构造出一个可以生成多参数的二重细分格式的Laurent多项式,并给出了当参数取不同值生成的极限曲线的连续性。张莉等 [9] 通过在非光滑项掩模增加参数扰动的方式,构造出包含很多经典细分的细分格式,并分析了不同参数下的细分格式的连续性。Dyn等 [10] 通过在细分格式的非光滑项加上一个扰动多项式的方式,应用了经典的细分光滑性分析方法 [11],给出了使得细分格式的光滑性更好的参数范围。与Dyn的扰动方式和分析角度不同,本文在原有的细分格式的非光滑项中乘以一个带有参数的扰动多项式,从细分矩阵的特征值角度,提出了得到扰动后细分格式光滑性更高的参数范围。
2. 细分格式
设A为
矩阵,
为A的特征值,
,则称
为A的谱半径。
若m重细分格式一致收敛,则其掩模
满足
,
m重细分格式
的生成函数定义为
,
其中,
为
的掩模。
本文考虑如下生成函数
. (1.1)
接下来对(1.1)加以扰动,形成下面这种细分格式
, (1.2)
并对其比(1.1)光滑性更好的条件进行了分析。
3. 判断细分光滑性的方法
如果存在常数C,满足
,
,
那么称f具有Hӧlder指数 [7]
,记
,细分格式(1.1)和(1.2)具有Hӧlder指数
。
表示包含0和正整数的数集,
,如果f是q次连续可微的,并且
,
,则称f具有Hӧlder指数
,记
,细分格式(1.1)和(1.2)具有Hӧlder指数
。
下述引理给出计算Hӧlder指数的方法。
引理1当细分重数
,
的系数满足
,它的傅里叶变换为
,
,
.
对于
,其中
,
不含因式
,那么定义
的细分矩阵的“折叠”子矩阵 [7] M为
,
如果M的谱半径
,并且对于任意
,都有
,那么
有Hӧlder指数下界
,
.
如果
,则此时的界是精确值。
重数
,
时,
维“折叠”子矩阵M分别为
,
,
,
.
对于(1.1),细分矩阵的“折叠”子矩阵为
.
对于(1.2),细分矩阵的“折叠”子矩阵为
.
我们先来证明一个简单的引理:
引理2当
且
时,
的谱半径
为
.
证明:
的特征值的绝对值分别为
,
,
.
在
,
时,
即
。易验证
恒为非负数,即
为正实数,并且
.
所以有
若想得到
,需要比较其特征值的绝对值的大小。首先比较
与
的大小。当
时,易验证
所以有
接下来比较
与
的大小。当
时,易验证
,
那么有
,
即
.
综上所述,我们得出
,
时,
为
.
4. 主要结果
定理当
,
时,
比
具有更大的Hӧlder指数。
证明:
的谱半径
为
显然可以得到
,并且
时,对于
,都有
,
所以满足引理1的算法条件。
,
时,可以得到
,
即
,
所以
。同时有
.
可得
,
即
,并且对于
,都有
,所以满足引理1的算法条件。
综上所述,
比
光滑性更好的充分条件是
且
。
5. 结果分析
图1展示了
时,细分格式中的参数
和
对
和
的Hӧlder指数的影响关系图。第一列图中绿色区域表示
的Hӧlder指数,红色区域表示
的Hӧlder指数。第二列图表示在
且
时细分格式
和
的Hӧlder指数差值。可见在
且
时,对
作乘法扰动后光滑性明显提高。
6. 结论
本文在扰动方法和分析角度上进行创新,对一类特殊的细分格式乘以一个简单的多项式作为扰动,再根据特征值与Hӧlder指数关系,将扰动前后的特征值进行比较,进而计算出在
且
时,扰动后的细分格式(1.2)比(1.1)光滑性更高。
NOTES
*通讯作者。