1. 引言
多元插值问题 [1] 及曲面光滑拼接问题 [2] 一直是计算数学中重要的研究领域,而多元多项式插值问题中的一个主要研究问题就是多元Lagrange插值的适定节点组问题,文献 [3] [4] [5] 中学者们给出了插值节点组的构造方法及其应用。很多学者将插值理论应用到曲面光滑拼接问题中,如吴文俊的吴方法 [6],王双,李鹏 [7] 借助二元函数的hermite插值理论做出了《C1光滑拼接二次函数的若干问题》等丰富了光滑拼接的理论方法,本文将结合了Lagrange插值的相关理论,在该基础上有一个二次多项式与我们给定的圆锥曲面沿着某一相交曲线光滑拼接,并研究其有效性。
圆锥曲面是一类较为重要的二次代数曲面,因为圆锥曲面与实际问题有着广泛的联系,许多机械部件——原苏联第二颗人造卫星火箭的防护罩以及飞机机头外观采用了圆锥曲面的代数流形,与时事热点问题有着密不可分的联系,因此我们对圆锥曲面进行研究有着实际的意义与价值。
2. 基本定义和主要定理
定义1:在空间中,满足2次代数方程
的点
的全体,称为2次代数曲面。
定义2 [8]:若不可约代数曲线
是代数曲面
与
的交线,则称代数曲面
和
沿着公共边界
拼接。(本论文主要研究
阶光滑拼接)
定义3 [9]:设n是一个非负整数,且
,令
是表示所有的全次数不超过n的三元实系数多项式构成的集合,即
定义4 [9]:设
均为自然数,
为k无重复分量代数曲线,定义
如下所示:
(1)
令
是不可约代数曲线
上的
个互不相同的点,给定任意一组实数组
,并且能够找到关于该实数组的一个多项式
,使得所求
满足下述条件:
(2)
若对于每一组任意给定的
,方程组(2)总有一组解,那么称该结点组
是沿着二次代数曲线
的n次光滑拼接点组,多项式
是沿着
的拼接多项式,并简记为
(代表所有位于
上的n次拼接点组的集合)。
定理1 [9]:设
为上述等式所述内容,那么位于k次代数曲线
上的点组
能够做成沿
的n次拼接结点组的充要条件是对任意零插值条件
的多项式
,均有下述等式成立:
其中当
时,
。
证明:必要性:若当
时,多项式
不能分解为
则此时多项式
可分解为:
则
与
矛盾。
所以
必可分解为
。
充分性:若
。
因为
为
与n次代数曲面
相交的k次代数曲线
上的
个互不相同的点
所以当
时,必有
成立。证毕。
3. 实验算例
设被插值函数为
,在平面
投射得到的被插值函数为
。
圆锥曲面的方程为
,在该圆锥曲面上取9个互不相同的点如下所示:
,
,
,
,
,
,
,
,
当
时,这九个点恰好在在曲线
上,由定义知,
构成了定义在相交2次代数曲线
的一组光滑拼接点组。
设在这组实数点组上的二次插值多项式为:
将插值条件带入
,可以得到如下方程
,
,此时解得
得到所求多项式:
此时有
。
因为
其中
是常值函数。
所以由定理1可知,
是
的拼接点组。
此时
与
相交于一条不可约2次代数曲线
。
![](//html.hanspub.org/file/14-2621417x98_hanspub.png)
Figure 1. Effect diagram of smooth conic surface Mosaic
图1. 圆锥曲面光滑拼接效果图
此时
在
、
两点处的结果为
,而
在上述两点的值
这也验证了如果关系
,
成立,蕴含了曲线
恒有
。
基金项目
辽宁省教育厅项目,辽教函[2018471]。