1. 引言
多元函数插值在多元函数列表,工业产品外形设计等方面的实际科研生产有诸多应用,所以一直被作为重要内容研究 [1]。多元函数插值的一个最基本的问题就是插值多项式函数的存在唯一性问题,也就是可解性问题。直到今天,有关这一方面的研究还是十分活跃,国内外学者们的研究大概有两个方面:一是当已知插值多项式空间时,需要找到插值多项式唯一存在的插值泛函组;二是当已知插值泛函组时,需要找到使插值多项式唯一存在最小次数的多项式空间。在科研生产中,虽然目前对于多元插值问题的研究比较系统,但有些传统的插值格式构造方法还很繁琐,单纯的依赖便携式计算器或手工计算距离达到科研生产所要求的标准相差甚远,所以计算机是一个很高效的手段,本文利用MATLAB软件对算法进行验证。
双曲抛物面 [2] 是二次曲面中一类重要的代数曲面,它通过直线运动产生,具有直纹特性,并有两族子母线,外观符合大众审美,易于在建筑中实施,且其形状不同于一般的平面形建筑。例如,水利工程中的扭面,利用双曲抛物面构造会使水流平顺,水头损失减少;现代建筑的双曲抛物面薄壳屋盖,不仅外观新颖富有创意,更有利于排水,受力性能好,建造工艺简单,可以节约材料;上海体育馆整体是双曲抛物面结构,抛物曲面的特性在这里展现的淋漓尽致,提供给观众好的视域和观赏点;生活中的很多休闲座椅和薯片也是典型的双曲抛物面状,可以保持结构稳定。此外,双曲抛物面在宇宙学也有广泛应用。因此,研究双曲抛物面上的多元切触插值问题对科研生产和日常生活都有重大意义。
2. 基本定义
本文主要研究定义于三维欧式空间
的双曲抛物面
的切触插值可解泛函组问题。
首先引入若干基本概念。
1) 定义1 (
中多元函数的全次数型切触插值问题 [3] )
设给定整数
,
,
是
中m个互异点组成的集合。若给定数
,
,
,
中有一个多项式
满足如下条件
,
,
,
假定这里的
和n满足:
。
2) 设
为非负整数,k为正整数,
代表关于
的全次数为n的三元多项式组成的集合,即
则
。
3) 定义2 (双曲抛物面
上的r阶切触插值可解泛函组)
设
为一个双曲抛物面,若对于任意一个数组
,寻找到一个多项式
,
有
这个方程组总存在一组解(并不要求唯一,以此体现出沿代数曲面进行切触插值的特点),则称
为沿这个曲面的一个n次r阶切触插值的可解泛函组,简记为
(
是所有沿
的所有n次r阶切触插值的可解泛函组的集合)。
为了说明本文相关定理及其证明,继续引入如下理想的相关概念:
4) 定义3 (理想 [4] )
一个子集
被称为一个理想,如果满足如下条件:
i)
;
ii)如果
,则
;
iii) 如果
并且
,则
。
5) 定义4 (根理想 [5] )
令
是一个理想,有如下这样的集合
,则有I的根理想,用
表示。
定义一叙述了全次数型切触插值问题的提法,定义二提出了
上的r阶切触插值可解泛函组的基本概念,在这个基础上,我们能够得出定义于双曲抛物面上的插值可解泛函组所包含的结点数以及导数信息总数之和等于插值空间的维数。为了进一步展开研究,下面介绍构造三元多项式空间切触插值可解泛函组的添加代数曲面法,增加F限制条件,通过引理和相关证明最终得出构造F上插值可解泛函组的方法。
3. 主要成果
1) 定理1 (沿双曲抛物面构造切触插值可解泛函组的添加代数曲面法)
令
是关于
的一个切触插值可解泛函组,且
中没有任何一个点位于如上定义的双曲抛物面
上。则对该曲面上一个
次r阶切触插值可解泛函组
,则有
必构成一个关于
的切触插值可解泛函组。
若要证明此定理,需先引出如下引理并加以证明。
2) 引理1
如上文定义的双曲抛物面
,即
,将
代入,沿曲面
的切触插值泛函组为
的充分必要条件是:如果存在多项式
满足如下的齐次切触插值条件:
则一定有多项式
,使得
,
而当
时,
证明 由文献 [6] 中引理1,这里我们只需要证明引理的必要性。
设
是沿双曲抛物面
的一个n次r阶的切触插值可解泛函组,且存在多项式
满足
,
则当
时,沿双曲抛物面
恒有
。
记
,
。则有
,(
,
是两个仿射簇),
即
,而
是无重复分量代数曲面,故有
。
另一方面
,故此有
。由上文中理想的定义有,存在
,使得
。
假设引理的结论对正整数
成立,即
为沿双曲抛物面
的n次s阶切触插值可解泛函组,并满足
,
有
(1)
则当
时,对上式两端求法向导数,直到
阶,并使用莱布尼茨公式,有
而
,并且经过唯一确定双曲抛物面
的全部条件点,由此得出沿双曲抛物面
恒有
。利用与
情况类似的证法,我们可以得出
将上述式子代入到(1)式中得到:
综上,由数学归纳法得,引理得证。
定理1的证明
只需证仅存在零多项式满足所给齐次切触插值条件。
首先全部插值的条件数为
这也就是多项式空间
的维数。
假设存在多项式
满足齐次切触插值条件,即:
及
因为
,且
,
,所以根据引理得存在多项式
,使得
(2)
将(2)式的两端求导直到
阶,有
由于对任意的
,
,则由莱布尼茨公式可得
。
但
是关于
的切触插值可解泛函组,所以有
,
即
,至此,定理得证。
4. 实验算例
将被插值函数设为
,双曲抛物面方程为
,取该双曲抛物面外一点为
,在此双曲抛物面上取点
,此时
的一阶法向导数为
,由本文定理1得,泛函组
为双曲抛物面
上的一个1次插值可解泛函组,如图1所示,设被插值函数
在此泛函组条件下的插值多项式为
。
Figure 1. Rendering of hyperbolic parabolic surfaces
图1. 双曲抛物面取点效果图
插值条件为:
代入条件,得:
解方程组,得:
代入得到插值多项式为:
,此时计算点
在被插值函数
和插值多项式
处的值分别为
,
,误差为
。
NOTES
*第一作者。
#通讯作者。