1. 引言
多元Lagrange插值是计算数学领域的一个重要研究课题(由文献 [1] ),在进行关于多元函数插值的研究时,多元插值函数的适定性问题是一个基本问题。国内外有关这一问题的研究主要分为两类,一类是给定插值空间,去构造适定的插值结点组;另一类是给定结点组,去构造具有最低可能次数的正则插值空间。目前,关于在整个空间进行插值以及关于定义于空间中一般代数流形上进行Lagrange插值的研究比较多 [2] ,在有关单纯形上Lagrange插值问题的研究中,以往的学者研究了三角形网格和四面体框架上的Lagrange插值方法(由文献 [1] [3] [4] ),而在四维空间或更高维空间中的单纯形上进行Lagrange插值的研究并不多见。梁学章等人在 [5] 中讨论了高维空间中代数流形上多元Lagrange插值问题,在 [6] 中讨论了Cs中的多元Lagrange插值及插值适定结点组的构造,张洁琳在 [7] 中深入研究了n元函数的Lagrange插值问题。本文主要讲述高维空间中单纯形上的多元Lagrange插值。
单纯形上的多元Lagrange插值在许多科学研究中有广泛的应用。例如:在材料科学领域,在高维空间中的物理过程建模中,比如四维或更高维的空间,Lagrange插值可用于在单纯形上进行有限元分析,这对于研究人员模拟材料的变形、热传导等物理过程非常有用,有助于优化材料的设计和预测其性能;在医学影像重建中使用高维单纯形上的Lagrange插值可以对离散化的医学影像数据进行插值和重建,从而生成更准确和平滑的图像,改善图像质量、提高分辨率并减少噪声,从而帮助医生进行更准确的诊断和治疗决策。因此,高维空间中单纯形上多元Lagrange插值的研究意义重大。
2. 基本定义和定理
本文主要研究高维空间中单纯形上进行多元Lagrange插值的问题。首先,给出n元Lagrange插值问题的相关定义及定理:
设m为任意整数,n为非负整数,
为自然数,定义符号
,再定义符号
,及符号
代表所有次数不超过m的n元复系数多项式空间,即
其中
,
为非负整数。
定义1 (
上的插值适定结点组的概念)
设
是n维复数空间
中
个互不相同的点构成的点集,如果对于任意给定的复数组
,恒存在一个多项式
,使之满足
,则称
为
上的一个插值适定结点组。
定义2 (k次代数超曲面上的插值适定结点组)
设k为自然数,
为
中一个k次无重复分量的代数超曲面,设
为超曲面
上的
个互不相同的点构成的点集,若存在一个多项式
,使之对任意给定的复数组
都满足插值条件
,则称
为沿k次代数超曲面
上的m次插值适定结点组。
定义3 (次数分别为
的代数超曲面相交于代数流形上的插值适定结点组)
设
为自然数,
为
中两个次数分别为
的无重复分量的代数超曲面
,
充分相交的代数流形,设
为S上的
个互不相同的点构成的点集,若存在一个多项式
,使之对任意给定的复数组
都满足插值条件
,则称
为沿代数流形S上的m次插值适定结点组。
定义4 (单纯形的定义)
定义代数簇
作为几何对象,称
为单纯形。
定理1 (基本定理)
是
中的一个m次插值适定结点组当且仅当
不落在
中的任意一个m次代数超曲面上。
定理2 (
中插值适定结点组的添加代数超曲面法)
是
的适定结点组,做一个不通过A中任何点的k次无重复分量的代数超曲面
,任取超曲面
上的m + k次插值适定结点组
,则
必构成
的插值适定结点组。
在高维空间中下面首先给出一个四维空间上构造四元多项式空间
插值适定结点组的超四面体迭代法,主要研究结果如下:
定理3:在四维空间C4上做5个超平面
,使其交成一个超四面体(如图1四维空间投影到三维空间的一个超四面体),在超四面体的10条边上(不过顶点)分别取m − 1个互异点,在每个超平面所在的四个平面(不在边)上分别取沿平面的m-3次插值可解结点组,再在每个超平面
(不在平面和边)上分别取沿该超平面的m − 4次插值可解结点组。将沿超平面
的m − 4次插值可解结点组记为
,则:
(1)
加上超平面
所在的四个平面中任意1个平面的m − 3次插值可解结点组构成
的m − 3次插值可解结点组。
(2)
加上超平面
所在的四个平面中任意2个平面的m − 3次插值可解结点组,再加上
所在的六条边中任意1条边上的m − 1个互异点构成
的m − 2次插值可解结点组。
(3)
加上超平面
所在的四个平面中任意3个平面的m − 3次插值可解结点组,加上
所在的六条边中任意3条边上的m − 1个互异点,再加上
所在四个顶点中的任意1个顶点构成
的m − 1次插值可解结点组。
(4)
加上超平面所在的四个平面中全部平面的m − 3次插值可解结点组,加上
所在的六条边中所有边上的m − 1个互异点,再加上
所在的四个顶点构成
的m次插值可解结点组。
如果用
表示(4)中所有点共同组成的点集,则:
定理4:如果
表示超四面体外关于
的一个m − 5次插值适定结点组,则
必构成
的插值适定结点组。
Figure 1. Projection of a hypertetrahedron in three dimensions
图1. 超四面体在三维空间的投影
3. 定理的证明
为了证明本文的研究结果,下面给出与定理3和定理4的证明有关的两个引理:
引理1 [6] :在四维空间中,超平面
上的点组
能够构成沿超平面
的m次插值适定结点组的充要条件是:
且满足零插值条件
,都存在如下形式的分解:
其中,当
时,
,当
时,
。
引理2 [6] :如果四维空间中两超平面
与
相交于一个四维空间中平面
(C表示
与
公共零点的集合),那么位于C上的点组
能做成C的m次插值可解结点组的充要条件是:
且满足零插值条件
,都存在如下形式的分解:
其中
,
。
引理1与引理2的证明分别与文献 [6] 中的引理3.1及引理2.9的证明类似。
定理3的证明:
先证明(1),设
是沿超平面
的m − 4次插值适定结点组。取平面ABC上的
个点为
,则A构成沿平面
上的m − 3次插值适定结点组。
对于
且
,由引理2得
,又
,则
所以,
,因为
是沿超平面
的m − 4次插值适定结点组,
为m − 4次多项式,那么由引理1可得
。
则
,(1)得证,(2) (3) (4)同理可证,定理3证毕。
定理4的证明:
因为
为超平面
上的m − 4次插值可解结点组,又知
是
的一个m − 5次插值适定结点组,且超平面
不通过
中的点,由定理2可得
必构成
的插值适定结点组。
然后使用定理3中(1)的方法可得到超平面
上的一个m − 3次插值可解结点组,记为
,则
构成
的插值适定结点组,重复以上的这个过程,并且继续使用定理3可以得到
这些点集必构成
的插值适定结点组。
中所含点恰好与
中所含点相同,且所含点的个数都等于
的维数,定理4证毕。
由此研究结果可以得到四维空间中单纯形上Lagrange插值的一个构造算法,进而可以推广到n维空间中单纯形上Lagrange插值的一个构造算法,如下所示。
4. 构造算法及具体实例
假设n维单纯形的n + 1个超平面表示为:
用n + 1簇平行的超平面:
将单纯形作剖分。
用
表示为
,
,
,
的交点, 则
构成
的适定结点组。令:
对应点
的Lagrange插值基本多项式为:
得到
上的Lagrange插值公式为:
具体算例:
由于我们无法直观地想象高维空间中的单纯形,在这里,我们举常用到的二维空间及三维空间中有关单纯形上Lagrange插值的具体例子。
例1:利用二维单纯形网格上的Lagrange插值公式构造如下多项式:三角形ABC为直角三角形(如图2),被插值函数为
,构造出二元一次插值多项式。
解:三角形ABC的3条边BC,AC,AB的方程分别为:
取直角三角形ABC的三个插值结点(即三角形ABC的三个顶点)分别为:
则:
对应所取结点的Lagrange插值基本多项式分别为:
函数
在所取结点处的函数值分别为:
得二元一次插值多项式:
经验证被插值函数
与所求多项式
在插值结点处的结果相等。取点
及
进行验证,求得
,
,
,
,在点
处插值误差
,在点
处插值误差
。
例2:给定四面体O-ABC,它的三个面OAB,OAC,OBC分别是直角三角形(如图3),被插值函数为
,利用三维单纯形网格上的Lagrange插值公式,构造出三元二次插值多项式。
解:四面体O-ABC的四个面OBC,OAC,OAB,ABC的方程分别为:
用平行平面
将该四面体作等距剖分,
取四面体O-ABC的十个插值结点分别为:
则:
对应所取结点的Lagrange插值基本多项式分别为:
函数
在所取结点处的函数值分别为:
得三元二次插值多项式:
经验证被插值函数
与所求多项式
在插值结点处的结果相等。取点
及点
进行验证,求得
,
,
,
,在点
处插值误差为
,在点
处插值误差为
。
NOTES
*通讯作者。