超球面上的切触有理插值.pdfVIP

第3l卷第 2期 大 学 数 学 VoI_31。№ ．2 2015年 4月 COLLEGE M ATHEM ATICS Apr．2015 超球面上的切触有理插值 许 艳， 郭清伟 (合肥工业大学 数学学院，安徽 合肥 230009) [摘 要]给定单位超球面 s 上 +1个点及其对应 的参数值和其 中n个点处的导 向量 ，基于 向量 的 Samelson逆，构造了广义逆向量值有理函数．证明了所构造的向量值有理函数为 [2n，2hi型，在指定的参数 值处插值于所给点及其导向量 ，且 向量值有理函数位于超球面上．为 了说 明方法 的有效性，给出了数值实例． [关键词]超球面 ；超球面上插值 ；Samelson逆 ；向量值有理函数 [中图分类号]O241．5 [文献标识码]A [文章编号]1672—1454(2015)02—0005—05 l 引 言 因为多项式函数和有理多项式函数已是工业应用 中曲线 曲面表示 的标准形式 ，所 以大多数的计算 机辅助设计系统都采用参数多项式或参数有理多项式表示曲线曲面．由于在计算机辅助设计、计算机图 形学中经常要用到二次曲线 曲面，二次曲线曲面的有理参数表示 曾受到学者们的关注．同样，对在球面 上或一般的二次曲面上取定的一列点及其指定的参数值 ，如何构造位于相应 曲面上的向量值有理插值 曲线 ，也是人们通常考虑的问题．进一步 ，又有人考虑对于球面的情形 ，这个问题能否推广到超球面上． 1986年 ，Piegl在文献[13中证明了球面片可 以用参数有理 B6zier面片精确表示．文献[2]给出了单位球 面上任一条不可约有理 B6zier曲线和任一片不可约有理 B6zier曲面片的显示表示式，并把这一结果推 广到椭球面 、双曲面、抛物面的情形 ，证明了若在单位球面上取定互不相 同的奇数个点，并给这些点指定 不同的参数值 ，则构造单位球面上的参数有理插值 的问题是一个线性问题，且该 问题有唯一解 曲线．作 为文献[2]的后续工作，文献[3]研究了以给定的单位球面上或双曲抛物面上的曲线作为边界线，在相应 的凹面上构造有理 曲B6zier面片 的方法 ，利用该方法可得到相应二次曲面上 的有理参数插值 曲线． AntonGfrerrerL4]把文献[23的结果推广到超球面的情形 ，指出在 d(d 3)维欧式空间 中的超球面 s 上给定 n个互不相同的点及其对应的参数值 ，要么存在唯一的在超球面 s州 上的参数有理 曲线在 相应 的参数值处插值于这些点，要么不存在参数有理 曲线，但当所给点的个数为奇数个时，一定存在唯 一 的参数有理 曲线．对给定 的单位球面 s ( ≥ 3)上 的 2n+ 1个点及相应 的参数值 ，Thierry GensaneL5基于 Samelson逆 ，构造 了Thiele型 向量值有理插值式 ，证明了它是 Graves—Morris型(即满 足整除性)向量值有理插值 ，且位于球面上 ，分子与分母的次数均为 2 次． 本文拟解决如下问题 ：给定单位球面 S州 (≥3)上 + 1个互不相同的点 l，㈨ ，l， …，u D 及相应的参数值 t。，t 一，t ，t (当i≠ 时，t≠ t，)和点 U0 u1．0，…，u一，。处的导向量 u。ll，D1．1，…， l， ，1，构造参数向量值有理 函数R()，其满足R(t)一u讪，i一 0，1，…，，R ()一I，f．1，i一 0，1，…， 一 1，且R()位于 s 上．R(￡)也称为超球面上 的切触有理插值函数． 2 广义逆 向量值有理函数的构造 下面给出R()的构造过程 ．令 [收稿 日期]2013—12—23 [基金项 目]国家 自然科学基金青年基金；安徽省高等学校省级 自然科学研究项 目(2011AJZR0071) 6 大 学 数 学 第 31卷