1. 引言
熟知,多元函数插值长期以来一直是计算数学研究领域的一个主要研究内容(详见文献 [1] ),有关多元函数插值基本理论和方法研究中一个基本问题是多元插值函数的唯一存在性问题,也就是插值的正则性问题。由文献 [2] 可知,国内外学者对这一问题的研究主要有两个判别,一种是给定插值空间,去构造相应唯一正解结点组;另一种是给定结点组,去构造相应正则插值空间,而且要求空间的次数尽可能低。对于某一类问题,目前有关在整个空间进行插值以及关于定义于空间中一般代数流形插值的研究结果相对完备,而关于有着重要实用价值的具体流形上的插值结果并不多见。梁学章等人 [3] 讨论了单位球面上的纬线组选取插值正则结点组的方法。Castell等人 [4] 利用球面上偶数条纬线上等距结点组构造了球面上的正则结点组。
马鞍面是除球面外的另一类主要的二次代数曲面,其在工程设计中有着重要的作用。例如,在水利工程中,常用马鞍面连接两条形状不同的水渠,保证水流通过时流线是光滑的,水流平稳。农业生产中的灌溉渠道一般是梯形剖面,而闸门则为矩形剖面,为使水流平顺流过,闸门进出口与渠道的连接处,通常制成马鞍面。在浇制钢筋混凝土时,马鞍面薄壳结构在合适边梁尺寸的协同工作下,可以达到较好的支撑性能。因此,对定义于马鞍面上的插值问题研究意义重大。
2. 基本定义和基本定理
本文主要研究三维欧式空间
中的马鞍面
上进行多元Lagrange插值问题。
首先引入若干基本概念。
设n为非负整数,令
表示所有全次数为n的三元代数多项式构成的集合,即
。
定义1:(
的插值正则结点组)
设
,令
为
中m个互异点构成的点集,如果对于任意给定的数组
,恒存在唯一多项式
,使之满足:
,则称
为
的一个正则结点组。
定义2:(
上的插值正则结点组)
设
为如上所定义的马鞍面,
为
在
上的限制。
,
,称
为定义于
上的一个n次插值正则结点组,如果对于任意给定的数组
,恒存在多项式
,满足
,
。
本文所获得的研究结果如下:
定理1:(构造
插值正则结点组的添加马鞍面法)
设
为如上所定义,
,结点组
关于
的一个正则结点组,而
是定义于
的一个
次正则结点组,则
必定构成
的正则结点组。
由定理1和文献 [5] 、 [6] 、 [7] 中的结果,我们得到如下推论:
推论1:(构造F上插值正则结点组添加圆锥曲线法)
设
为
上的
次插值正则结点组,平面
与
横截相交于圆周曲线
,
是定义于
上的一个
次正则结点组,则
必定构成定义于
上的一个
次正则结点组。
定理2:(判定定理)
上的
个互异点
能够做成定义于
上的n次插值正则结点组的充分必要条件是,若存在
,满足
,蕴含如此的
在
恒为零。
3. 定理的证明
定理1的证明:
证明:设
因为
为定义于
上的n + 2次正则结点组,由定义2,对任意给定数组
恒存在多项式
使得
。
又因为
关于
的一个正则结点组,由定义1对任意的数组
恒存在多项式
使得
,
。
其中
为
的三维坐标,构造一个多项式
显然有
且满足
。
则由定义1知,
为
的正则结点组。
定理2的证明:
证明:充分性设
,满足
,
由条件可知,
,
。对于定义于
的一个n次插值正则结点组
,亦有
,
,即
,
。又因为
为
的插值正则结点组,故
。
必要性:令
,取
为关于
的正则结点组,可以断言:
构成
的正则结点组。事实上,对任给
,由于
为定义
上的
次正则结点组,故存在多项式
满足
。
又因为
且为关于的
的正则结点组,则存在多项式
满足
(2.1)
则多项式
。
满足
,由定义知
是
的正则结点组,同时,在上述过程中取
,则(2.1)式中的
,此时
。
满足定理中的插值条件的多项式,故由
空间中满足相同插值条件的多项式的唯一存在性有
即
在F上恒为零值。
4. 算法
例如:取被插值函数为
,马鞍面为
。在马鞍面内部取一点
,则改点为
的一个正则结点组;另在马鞍面上取互异的9个点
,
,
,
,
,
,
,
,
,这九个点是定义于马鞍面F上的一个
次正则结点组(如图1所示),则由定理1知:点组
构成
适定结点组。设插值多项式为
得到方程组为
,其中
,
,
解得
。
Figure 1. The effect picture of saddle point taking
图1. 马鞍面取点效果图
我们取点(1,1,0),(1,0,1),插值结果分别为
,
,而精确值分别为1.293,0.668,误差分别为,
,
。
基金项目
辽宁省大学生实践基地建设项目,辽教[2015]399;辽宁省教育厅科研项目,L201683661。