1. 引言
曲面的拼接是通过构造出过渡面使得两个或多个曲面拼接起来的技术,使得拼接后的曲面满足功能与外观需求。此技术被广泛应用于航天业、船舶业、汽车业等工业设计中。在计算机辅助几何设计(CAGD)中,拼接曲线的选择和拼接曲面的求解一直是热点话题。本文将计算数学领域中的插值问题 [1] 和曲面拼接问题 [2] 结合起来,提出了关于三次代数曲面光滑拼接的新方法。其中,文献 [3] [4] [5] 介绍了多元多项式的Lagrange插值问题和关于适定结点组的内容,文献 [6] [7] 中介绍了曲面光滑拼接的理论及算法。
2. 基本定义、注记和定理
定义1:在三维空间中,若点
的全体满足n次代数方程
,则点
的集合称为n次代数曲面。
定义2 [7]:令
表示由
所确定的代数曲面,
表示由曲面
与
所确定的代数曲线。设
,
为不同的不可约多项式,曲面
,
横截于一条不可约代数曲线
,则称代数曲面
,
沿着公共边界
的拼接。
定义3 [6]:设n为
非负整数,令
是表示所有的三元n次代数多项式构成的集合,且
而且有
。
定义4 [6]:设
为一个二次代数曲面,定义
如下:
(1)
令
是不可约代数曲线
上的
个互异的点,本文中
,因此
给定任意一组实数组
,并且能够找到关于该实数组的一个多项式
,使得所求
满足下述条件:
(2)
若任意给定一组
,(2)式总有一组解,那么称该结点组
是沿着二次代数曲线
的n次光滑拼接点组,多项式
是沿着
的拼接多项式,并简记为
(代表所有位于
上的n次拼接点组的集合)。
定理1 [6]:设
为(1)式所定义,那么位于k次代数曲线
上的点组
能够做成沿
的n次拼接结点组的充要条件是对任意零插值条件
的多项式
,均有下述等式成立:
其中当
时,
。
注记1 [6]:定义3中条件:“如果对于每一个任意给定的实数组
,方程组(2)总存在一组解[即总有满足插值条件
的插值多项式
存在]”可由条件:“如果关系式
,
成立,蕴含沿曲面
恒有
”来取代。
3. 实验算例
给定
其中
和
相交于不可约的二次代数曲线
。
设被插值函数为
,接着在
上任意取16个互不相同的点如下:
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
再由定义,我们设在这组实数点组上的三次插值多项式为:
将插值条件代入
,我们得到
其中的一组解为:
,
因此得到
再根据定理1,有
其中当
时,
。
所以由定理1可知,
是
的拼接点组。拼接效果图如图1所示:
此时
在
,
两点处的结果为
,
而
在上述两点的值
这也验证了如果关系
,
成立,蕴含了曲线
恒有
。