1. 引言
多元插值一直是计算数学专业研究领域的一个重要的研究方向。近些年来,随着科技的进步,将多元函数插值与实际应用相结合成为了重要的研究对象,而多元多项式切触插值则是多元函数插值研究的重点 [1] 。多元切触插值是给定一个多元函数,并且根据一组给定的插值条件(根据所给定的插值结点集并求出各自的微分算子)来构造一个多元多项式函数来近似地表示这个多元函数,而且要求在插值结点处函数值及导数值相同 [2] 。研究切触插值的正则性问题(存在且唯一)是研究研究多元切触插值的一个基本问题。国内外的计算数学学者目前对于这一问题的研究主要采用两种方法:一种方法是根据特定的插值条件组来构造相对应的正则插值多项式空间,并且要求多项式空间维数越低越好;另一种是给定插值多项式空间来构造使切触插值多项式唯一存在的插值条件组 [3] 。目前,有关于全空间插值和定义在空间内的广义代数流形插值方面的研究成果较为充分,并且针对于一些特定曲面上的Lagrange插值,也存在一些详细的研究成果。然而,针对实际生产和生活中常见的具体流形的研究,则相对较少 [4] 。
单叶双曲面是二次曲面中一类重要的代数曲面,在力学以及建筑学中有着广泛的应用。在建筑学领域中,单叶双曲面有着良好的性质,比如美观和结构稳定。根据单叶双曲面设计的空间缆索,可大幅度提高人行悬索桥的抗侧刚度和抗扭刚度,具有良好的抗风稳定性,且节约造价 [5] 。因此,单叶双曲面上的多元切触插值具有研究意义。
2. 基本定义
本文主要研究定义于三维欧式空间
中的单叶双曲面
进行切触插值的正则性问题。
首先给出概念:设
,k为正整数,
表示全次数不超过n的三元多项式空间,
表示定义在k次代数曲面
上的全次数不超过n且有r阶方向导数的三元代数多项式空间。定义
如下:
(1)
而且有
。即定义于单叶双曲面上的切触插值正则条件组所包含的条件数等于插值空间的维数 [6] 。
再给出如下定义:
定义1: [7] (
中全次数型多元切触插值)
设
且
,
及一个由t个结点组成的集合
。
中的全次数型多元切触插值问题的核心是,如果给定一个数组
,
及
,在
中确定一个多项式
满足:
,
(2)
这里如果
及n都满足:
(3)
则
及相对应的求导条件一起构成了一个插值条件组,称这个插值条件组为
的一个正则切触插值条件组。如果对于
满足
,则该类切触插值问题被称为一致切触插值问题。
定义1推广:(
中全次数型多元切触插值)
中的全次数型多元切触插值问题就是如果对于给定的数组
,
及
,在
中确定一个多项式
满足:
,
(4)
这里如果
及n都满足:
(5)
定义2:(单叶双曲面
上的切触插值正则条件组)
设
为如上所定义的单叶双曲面
,且
为沿该二次代数曲面的一个n次r阶切触插值正则条件组。定义
如下:
(6)
对于上述
满足
(这里
表示的是沿该曲面全部n次r阶切触插值正则条件组的集合),如果对于任意给定的一组数组
,在
中存在多项式
,满足下述切触插值条件:
,
(7)
上式中
代表多项式
在曲面
上条件组
中点
处沿这个曲面的r阶法向导数。(即沿曲面位于该点处的切平面的法方向的r阶方向导数)
定义2推广: [8] (任意曲面
上的切触插值正则条件组)
假设
是一个k次没有重复的分量的代数曲面,
为定义在这个曲面上的一个切触插值条件组。对于任意给定的一个实数组
,要求在
空间中存在一个多项式
,并使其满足下述切触插值条件:
,
(8)
(9)
由此我们可以得到一个推论:设
为如上所定义的单叶双曲面,是一个二次没有重复分量的代数曲面,则在这个曲面上所求得的切触插值条件组为
。如果对于任意给定的一个实数组
方程组(8)总是存在一组解等价于若
中存在
满足齐次切触插值条件:
,
,可推出在曲面
上总是有零多项式
。
定义1首先提出了
中全次数型多元切触插值问题的提法,并且推广到了
空间当中。定义2提出了单叶双曲面
上的切触插值正则条件组的定义,并推广到了任意曲面上
的切触插值正则条件组,根据定义1和定义2及其推广,我们得到了一个结论:切触插值条件组存在一组解满足切触条件的充分必要条件是曲面
上存在
为零多项式。为了继续说明本文定理,引入理想等相关定义。
定义3:(理想)
一个子集
,如果其满足下述三个条件:
(1)
;
(2)如果
,则有
;
(3)如果
且
,则有
。那么I被称为是一个理想。
定义4: [3] (生成理想)
令
为n元多项式环中的s个多项式,则定义:
(10)
显然有
是一个理想,称
是
的生成理想。
定义5: [3] (理想根)
设
是一个理想,用
表示I的理想根,它是集合:
。
定义6: [3] (关于r阶理想I的一个强H-基)
设
为
中的s个多项式,
,且理想
。若对于每个给定的多项式
,在
中恒存在多项式
,使得
,
,
(11)
称多项式集
是关于r阶理想I的一个强H-基。
再根据定义3~6引入如下命题:
命题1:
设I为一个理想且令V1,V2为两个仿射簇,则有
蕴含
。
命题2:
若f是一个
中的s元多项式,
是由f生成的素理想,
是f的不可约多项式的分解,则有I的根理想为
。特别,假若f是一个没有重复分量的代数多项式,则有I的根理想与I相等。(注:素理想是由一个元素生成的理想)
3. 研究成果
定理1:(单叶双曲面
上的n次r阶切触插值正则条件组判定定理)
假设
为上述定义的单叶双曲面
上的一个切触插值条件组,则这个插值条件组
是n次r阶的且能够做成在
上的切触插值正则条件组的充分必要条件是:若
中能找到一个多项式
,满足下述齐次切触插值条件:
,
(12)
则一定在
中存在多项式
,使得
(13)
若
,
恒等于零。
定理2:(构造
上的切触插值正则条件组的添加单叶双曲面法)
设关于
的一个切触插值正则条件组为
,且
中任何点都不在单叶双曲面
上,则对
上的一个
次r阶切触插值正则条件组
,则
一定构成一个关于
的切触插值正则条件组。
由定理1的结果,我们得到如下推论:
推论1:(构造单叶双曲面
上切触插值正则条件组的添加平面法)
构造思想:通过与z轴垂直的平面与单叶双曲面
依次相交,即把添加圆锥曲线法构造单叶双曲面
上切触插值正则条件组的问题转化为添加曲线交点法构造平面代数曲线上切触插值正则条件组的问题。
设二次代数曲面
,d为任意正的常数,与另一条
次代数曲线
正好交于2l个互不相同的点,由此确定一个插值条件组,将其记为
(求导方向既有沿曲线
的法方向又有沿曲线
的法方向),而
正好做成关于理想
的强H-基。若
,其中
,且满足
,则有
。
4. 定理证明
定理1的证明:
由定义2的推广,充分性得证,以下只需证明定理的必要性。
设
是定义在单叶双曲面
上的一个n次r阶切触插值正则条件组,且在
中存在多项式
满足
,
(14)
则若
可得,沿单叶双曲面
上恒有
,将
记为
,将
记为
,则有
蕴含
,而单叶双曲面是一个二次没有重复分量的代数曲面,所以有
又由
故有
,则根据理想的定义可知,存在
中的
,使得:
(15)
假定结论对
,
且
成立,即有
为定义在单叶双曲面上
的n次m阶切触插值正则条件组,同时满足条件
,
(16)
有
(17)
则若
时,我们对公式(16)两端求法向导数直到
阶,并使用Leibniz公式,有
,
(18)
因为
同时经过唯一且确定的
的所有条件点,所以沿上总有
。由
情况同理可得
(19)
将公式(19)代入到公式(17)中得:
(20)
由数学归纳法知,结论成立。
定理2的证明:
只需证本定理所给出的齐次切触插值条件仅存在零多项式满足即得出结论成立。
可知所有的条件数是:
显然这与多项式空间
的维数相等。
假设
中存在满足齐次切触插值条件的多项式
,即有:
,
(21)
,
(22)
因为
,
,同时有
,
。
则据定理1可得,在
中存在多项式
,使得
(22)
对公式(18)两端求导数直到
阶,得到
,
(23)
因为对
在
上取值都不为零,则根据Leibniz公式得任意
,
。但
是关于
的正则切触插值条件组,则有
,即
。
5. 实验算例
设被插值函数为
,单叶双曲面方程:
,取该曲面外一点
,在此椭圆抛物面上取点
,此时
的一阶法向导数为
,由上述定理1得,条件组
构成沿椭圆抛物面
上的1次插值正则条件组,如图1所示。设被插值函数在这些条件下的一次插值多项式为:
插值条件:
代入条件得:
解方程组得:
代入得到插值多项式
。
经计算求得被插值函数和插值多项式在点
处的值分别是:
,
误差
。
Figure 1. The point taking picture of hyperboloid of one sheet (including nodes)
图1. 单叶双曲面取点图(含结点)
6. 结语
本研究首先引入了全次数多元切触插值问题的概念,深入探讨了多元切触插值在单叶双曲面上的正则插值条件组及插值条件,并且阐述了与定理相关的命题与理想的定义。然后得到了定义于单叶双曲面上的正则插值条件组的判定定理,并给出了构造
空间正则条件组的新方法。通过对定理的进一步研究,提出了添加曲线法构造切触插值正则条件组。最后通过实验算例证明了理论的可行性和实用性。