您好,欢迎来到微智科技网。
搜索
您的当前位置:首页有理三次Hermite插值样条及其逼近性质

有理三次Hermite插值样条及其逼近性质

来源:微智科技网
第28卷第3期 2011年06月 工 程 数 学 学 报 v01.28 No.3 June 2011 CHINESE JOURNAL OF ENGINEERING MATHEMATICS 文章编号:1005—3085(2011)03—0385—08 有理三次Hermite插值样条及其逼近性质术 谢进 ,一,檀结庆z,李声锋3 (1一合肥工业大学计算机与信息学院,合肥230009;2.合肥学院数学与物理系,合肥230601; 3一蚌埠学院数学与物理系,蚌埠233000) 摘要:提高插值曲线曲面的逼近性是计算辅助几何设计中的一个重要问题.本文构建了一种带单参数的 分段有理三次Hermite插值样条.讨论了该样条的逼近性,给出了一种提高插值曲线曲面逼近性 的方法,并且给出数值例子.结果表明,对于给定的插值条件,通过选择合适的参数,依本文方 法所生成的插值曲线曲面在逼近效果上好于标准三次Hermite插值曲线曲面. 关键词:有理三次Hermite样条;三次Hermite样条;Peano-Kernel定理;形状参数;逼近性 分类号:AMS(20001 41A15;65D17 中图分类号:O174.41 文献标识码:A 1 引言 插值法是计算机辅助几何设计中用于曲线曲面造型的一种重要工具.标准的分段三 次Hermite插值是其中的一个重要的方法.但是,在插值条件确定的情况下,分段三 次Hermite插值曲线的形状完全确定的,插值曲线的逼近效果也随之确定,这种插值被称 之为确定性插值.如何在插值条件确定的情况下提高逼近效果,是计算机辅助几何设计中 的重要研究课题.近些年来,不少作者讨论了有理三次插值样条的逼近性[卜7],这些插值样 条都具有标准的三次Hermite插值相似的性质.上述文献在讨论插值样条的逼近性时,应 用Peano—Kernel定理,证明了插值误差系数是有界的,从而,在理论上,当插值区间 趋于 无穷小时,插值曲线逼近于被插函数,但实际应用过程中,插值区间h 不可能趋于无穷小, 否则会导致计算量的增加.至于在相同的插值条件下,这些样条在逼近效果上能否比标准三 次Hermite插值样条好,这些文献均没有作比较.另外,这些有理形式的插值样条含有多个参 数,使得对它们的有关逼近性讨论变得复杂. 本文提出一种分段有理三次Hermite插值曲线,每段只带一个参数,在讨论逼近性及计算 参数取值时都比较简单.对于被插函数,在插值区间不趋于无穷小的情况下,若参数取值合 适,生成的插值曲线在逼近效果上好于标准的三次Hermite插值曲线.数值例子表明,这种参 数取值方法是有效的. 2 有理三次Hermite基函数和对应的Ferguson曲线 我们知道,对于给定的节点0=xo< 1<…< n=b,记 =Xi+l— t,t= 收稿日期:2009—08—24.作者简介:谢进(1970年12月生),男,博士,副教授.研究方向:计算机辅助 几何设计与应用逼近论. 基金项目:国家自然科学基金(61070227);教育部科学技术研究重大项目(309017);教育部博士点基 ,在 金(20070359014)安徽省教育厅教研重点项目(20100935);合肥学院科研重点项目(11KY02ZD). 工 程 数 学 学 报 第28卷 区间 , 件1]上的标准三次Hermite基函数具有如下形式 (£)=1—3t +2t。, +1( )=3t。一2t。, G (t)=t一2t。+t。, Gi+l(t)=一t +t。, (1) 它们满足 (0)=Fi+l(1)=1, (1)=Fi+l(0)=0, (0)= ( ):硌1(0)= 1( ):0, f21 Gt(0)=Gt(1):Vi+l(0)=Gi+I(1)=0, G:(0)= +1(1)=1, (1)=G:+1(0)=0, 且有 (t)+El+1(t)=1,Gi(t)=一Gi+l(1一t). 基于这组基函数的三次Hermite插值曲线具有 连续性,但插值曲线的形状是固定不变 的.带有参数的有理形式的插值样条可以改变插值曲线的形状[1-71. 下面构建具有三次Hermite插值曲线性质的有理形式的插值样条曲线.先构建有理形式的 基函数. 定义1对任意实数 i>一2,0 t 1,称 RFdt)= 攀黯 , RGt(£):再 丽t-2t ̄+(t23 , 为带有参数九的有理三次Hermite基函数. 经简单计算知有 R (0)=R +1(1)=1, R只(1)=R +1(0):0, R (0)=R ( )=R 1(0)=R l( )=0’ (4) RGdO)=RGi(1)=RGi+a(0)=RGi+I(1)=0, Ra ̄(O)=RG:+1(1)=1,RG ̄(1)=RG:+1(0)=0, 且R (£)+R +1(£)=1,RGdt)=-RGi+I(1一t). 由上面性质可知,上面的基函数具有与标准三次Hermite基函数相同的特性.特别地, 当 t=2时,有理三次Hermite基函数退化为三次Hermite基函数.因此,可用来作两点 的Hemite插值.对应的带有参数的有理三次Ferguson曲线定义为 RHi(t)=RFi(t)pi十R +1(t)仇+1+RGi(t)p:+RGi+I(t)p ̄+1=0, (5) 其中Pt,Pi+1和 , +】为两个插值端点和端点切矢.在端点及端点切矢不变的情况下,利用 参数 i的不同取值,可以得到不同形状的Ferguson曲线.图1为有理三次Ferguson曲线,其 中虚线为标准的三次Ferguson曲线. 从图象上看,参数具有明显的几何意义,即当参数取值大于或小于2时,对应的图象 在三次Ferguson曲线的下面或上面.这样,有理三次Hermite插值曲线就能比标准的三 次Hermite插值曲线更能逼近或偏离被插曲线.因而有理三次Hermite插值曲线有更好的 实用性. 第3期 谢进,等:有理三次Hermite插值样条及其逼近性质 387 图1:有理三次Ferguson曲线 3 有理三次Hermite插值曲线 定义2给定数据(Xi,Yi, ),i=0,1,…,n,此处,a=XO< 1<…< 划点,Yi和di为分划点Xi处的函数值及一阶导数值.记 =Xi+l—Xi,t= 数 >一2.称 =b是分 ,且令参 R日 ( )l ,。件 】=yiRFi(t)+ +1R +1( ) +dihiRGi(t)+di+lhiRGi+l( ), i=0,1,…,n, (6) 为【a,b】上的分段有理三次Hermite插值样条.其中RE(t),R +1(t),RGi(t)及RG ̄+I(t)为有 理三次Hermite基函数. 显然,对给定的数据( i,Yi,di),i:0,1,…,n,RH ̄(x)满足 R (zt):Yi, R ( t)=di, i=0,1,…,佗. 容易验证,当九=2时,即为标准的分段三次Hermite插值样条.因而有理三次Hermite插 值样条是三次Hermite插值样条的一种推广. :假如我们选择适当的参数九,R巩( )还能够变成c。连续的插值样条.事实上,令RH ( t+) RH ( 一),i=1,2,…,n—l,可以得到如下连续性方程 h [( t一1一 t)(1+ t一1)+hi—l(dt一1+At一1dt)] =hi2_1[(yi+1一玑)(1+九)+hi( +1+九dt)], i=1,2,…,n一1, (7) 称上式为C 连续性约束条件. 由此,可由[Xo,Xl】上的 通过式(7)确定 l,再由 1,通过式(7)确定 2,依此类推,逐 段构造出[a,b]上的C 连续的有理三次Hermite插值曲线. 4 有理三次Hermite插值曲线/曲面的逼近性 设被插函数f(x)在插值区间上是 。连续可微的,对有理三次Hermite插值曲线,有如下的 误差估计定理. 工 程 数 学 学 报 第28卷 定理1设f(x)∈a'6],a=xo< 1<…< =b是区间【a,b]上的一个分划,Rg(x)为 有理三次Hermite插值样条,对任意给定的参数 t,当 ∈【Xi,Xi+1]时,有 R LsJll=IIf( )一RH( )ll< 1 2l1,(2 ( ) 证明 因为这种插值具有局部性质,只需考虑在[a,b】的子区间上的误差即可.容易验证: 该种插值对一次多项式精确成立,于是当 ∈[Xi,Xi+1]时,利用Peano—Kernel定理[8],有 R[,]=,( )一RH(x)=/f xi 1 ,(。 (丁) [x一 )+]d7-, + 此处 R c 一丁 + = (x - T)- ( 1 - t )[3 (X i +1-t 2 3 (x i+h i) ]t- 一,3一一。++一,1一 ’ 二 , p(7.), t< < , 一 q(7-), <7-< + . 首先考察q(7.)在 ,Xi+1】上的性质.容易得到q(x)=2t ( 一1)( 件1一 )<0,且由q(xi+1) =t2 Xi十1一 )>0可知口(7-)在(X,Xi+1)有一个根,可求得该根为 一 接下来,考察p(7-)在(Xi,X)上的性质.因为p(7-)=( 一7-)+q(T),于是p(x)=q(x)<0, Rp(xi)=(X—Xi)+q(xi)=t(1一t) hi>0. 同样可求得p(7-)在( ,Xi+1)的根为 一 一 . 于是就有 II—  I If(x)RH(— x)I  lI lIs(=。J + )ld丁fX/ p(T)dT +/lp(丁) i+lq('r)dT J …IIf(2)llh . )= 易求得 max 、0<t<1( )  一16‘ <t<, 01 证毕 定理1说明,当插值区间h 一0时,插值曲线能很好地逼近于被插函数.在实际应用过程 中,这种逼近条件还可以适当地放宽,比如:插佰区间h 可以不需要很小,只要参数取信得 第3期 谢进,等:有理三次Hermite插值样条及其逼近性质 389 当,有理三次Hermite插值样条也能很好地逼近被插函数.甚至比三次Hermite插值样条逼近 效果还好.这里,我们先给出“好的逼近”的定义. 定义3设[xt,x件1】上的三次Hermite插值样条为 ( ),有理三次Hermite插值样条R ( ), 被插函数为y(x).定义 RHe max IR (x)一y(x)1.Hei=zt z‘、zt+1 m,a,x, I x)一y(x)I, t\山\山t十1 则当RHe <日£ 时,称R巩( )比玩( )在 ,X件1]上对y(x)有好的逼近. 根据定义3,可由不等式兄 例1设被插函数为 <日£t解得在每个区间上参数九的取值范围,在参数九取 值范围内任取一个值,都可保证在整个插值区间上生成一条“好的逼近”曲线. )= s n( ), 节点取 =i(i=1,2,…,10),即插值区间ht=1(i=1,2,…,9),由不等式RHei<Hei可 计算出在各区间上参数九的取值范围.表1给出了对于给定的插值条件, t的取值与各区间的 误差最大值.图2在同一个坐标系画出了RH(x),H(x)和y(x),实际上三者在区间[0,2]上几 乎重合,为了便于区别观察,图2中的RH(x)整体上升0.04个单位,H(x)整体下降0.04个单 位.图3表示RH(x)与H(x)相对于y(x)的误差曲线,由此可见,只要参数选择的得当,有理 三次样条插值曲线比三次样条插值曲线相对于被插值曲线有好的逼近. 表1:对给定的插值条件, t的取值与各区间的误差最大值 . 图2:有理三次Hermite插值曲线(上)、被插曲线(中)和三次Hermite ̄-条曲线(下) 390 工 程 数 学 学 报 第28卷 : . … O \/ ,,.......0 0 1旭 图3:有理三次Hermite插值曲线(蓝)和三次Hermite插值曲线(红)的误差曲线 0 1旭肥采用张量积的方法,我们可以构建分片有理三次Hermite插值曲面.有理三次Hermite插值 曲面与三次Hermite插值样条曲线相似的性质. 定义4设f(x,Y)为定义在【a,b]×【c,d]的二元函数,a=xo<Xl<…< Yo<Yl<…<Y =d是分划点,记 一 一 ,一 =b,c= 删 川 ㈤ (8) 给定函数的端点、端点的一阶偏导数及二阶混合偏导数的值,当选择适当的参数时,有理 三次Hermite插值衄面比三次Hermite插值曲面有好的逼近. 例2取被插函数为 ,( , )=sin( )c。s( ), 分划点为a=0<1<2=b,c=一1<0<1=d,即插值区域为[0,2】×[一1,1],当参数取值 为 1= 2=1.7922,可计算出被插函数与有理三次Hermite插值曲面在[0,2】×[一1,1】上的最 大误差为3.8×10_。。,如图4.而被插函数与三次Hermite插值曲面在【0,2】×『一1,11上的最大 误差为1.6×10_。,如图5. 第3期 谢进,等:有理三次Hermite插值样条及其逼近性质 L m n 391 注:有理三次Hermite插值曲面、三次Hermite插值曲面及被插函数的图象几乎重合, 为了观察方便,图6和图7中的有理三次Hermite插值曲面与三次Hermite插值曲面分别下降 了1个单位. L n m n L 图4: 有理三次Hermite曲面与被插函数的误差 图5: 三次Hermite曲面与被插函数的误差 图6:有理三次Hermite曲面(下)与被插函数(上) 图7:三次Hermite曲面(下)与被插函数(上) 5 结论 本文提出了一种有理三次Hermite插值曲线.利用Peano—Kernel定理,证明了其逼近性 质.只要参数选择得当,有理三次Hermite插值曲线比标准的三次Hermite插值曲线具有较好 的逼近效果.值得一提的是,每一段插值曲线只含有一个参数,计算比较简单. 如果选择参数的合理,这种有理三次Hermite插值曲线的形状具有良好的可约束性,可另 行文研究. 参考文献: 【1】Hall C A,Meyer W W.Optimal error bounds for cubic spline interpolation[J].Journal of Approximation Theory,1976,16(2):105—122 392 工 程 数 学 学 报 第28卷 [2】Duan Q,Djidjeli K,Price W G,et aJ.Rational cubic spline based on function values[J].Computer and Graphics,1998,22(4):479—486 [3]Duan Q,Djidjeli K,Price W G,et a1.The approximation properties of some rational cubic@lines[J]. International Journal of Computer Mathematics,1999,72(2):155—166 【4】Sarfraz M.Cubic spline curves with shape control[J].Computer and Graphics,1994,18(5):70%713 [5】Duan Q,Liu A K,Cheng F H.Constrained interpolation using rational cubic spline with linear denomina- tors[J].Korean Journal of Computational and Appiied Mathematics,1999,6(1):203—215 【6]刘爱奎,段奇,单沪军,等.加权有理三次插值的逼近性质及其应用[J].高校应用数学学报A辑,2000,15(2): 211.218 Liu A K,Duan Q,Shan H J,et a1.The approximation and application of the weighted rational cubic interpolation[J].Applied Mathematics:A Journal of Chinese Universities,2000,15(2):211—218 【7]来翔,刘爱奎,段奇.一类具有线性分母的有理插值样条的逼近问题rJ].工程数学学报,2002,19(1):94—98 Lai X,Liu A K,Duan Q.The error estimation of a rational cubic spline[J1.Chinese Journal of Engineering Mathematics,2002,19(1):94—98 【81黄友谦,李岳生.数值逼近(第二版)【M1.北京:高等教育出版社,1987 Huang Y Q,Li Y S.Numerical Approximation(2nd Edition)[M].Beijing:Higher Education Press,1987 Rational Cubic Hermite Interpolating Spline and its Approximation Properties XIE Jin ,一,TAN Jie-qing。,LI Sheng—feng。 (1一School of Computer&Information,Hefei University of Technology、Hefei 230009; 2一Department of Mathematics and Physics,Hefei University,Hefei 230601; 3一Department of Mathematics and Physics,Bengbu College,Bengbu 233000) Abstract:Improving the approximability of interpolating curves/surfaces is an important issue in the computer aided geometric design.A piecewise rational cubic Hermite interpolating spline with a single parameter is constructed in this paper.The approximation properties of the interpolating spline are studied and a method for improving the approximability of the curves/surfaces is intro- duced.Examples are given to illustrate the advantages of our method.The results show that,for given interpolating conditions,if the parameters are chosen properly,the introduced interpolating curves/surfaces can approximate the interpolated functions better than the standard cubic Hermite interpolating curves/surfaces. Keywords:rational cubic Hermite spline;cubic Hermite spline;Peano-Kernel theorem;shape param. eter;approximation Received:24 Aug 2009. Accepted:21 Apr 2010. Foundation item:The National Natural Science Foundation of China(61070227);the Key Project of Scientiifc Research Foundation,Ministry of Education of China f309017);the Doctoral Program Foundation of Ministry of Education of China(20070359014);the Key Project of Scientiifc Research Foundation of Anhui Provincial Education Department(20100935);the Key Project of Scientiifc Research Foundation of Hefei University(11KY02ZD). 

因篇幅问题不能全部显示,请点此查看更多更全内容

Copyright © 2019- 7swz.com 版权所有 赣ICP备2024042798号-8

违法及侵权请联系:TEL:199 18 7713 E-MAIL:2724546146@qq.com

本站由北京市万商天勤律师事务所王兴未律师提供法律服务