吉林大学数学学院2007年7月30日至7月31日.PPTVIP

Bézier曲线与B样条曲线的比较次数基函数表达形式局部性Bézier曲线顶点个数-1Bernstein基参数多项式无B样条曲线与顶点个数无关B样条基参数样条有当梁的变形程度不大，即小挠度情形时，我们有y’(x)1，上式就简化为若约定各分段上弯矩M (x)为线性函数，积分后所得的y(x)是分段三次函数，且在结点（压铁）处函数值（位移）、一阶微商（转角）和二阶微商连续（弯矩）连续，而三阶微商（剪力）则有间断。这就是三次样条函数的力学背景。三次样条函数的良好数学性质C2连续，能满足一般外形设计的光滑性要求分段三次多项式，可克服插值过程的不稳定性，更便于应用。样条函数理论正是从三次样条发展而来样条函数的必要性自然界现象的割裂性?分段逼近与插值外形设计要求无多余结点?分段多项式一定的光滑性?分段光滑逼近（样条）n次样条函数给定一组结点-∞=x0x1x2…xNxN+1=+∞.若分段函数s(x)满足s(x)∈Pn,当x∈[xj,xj+1](j=0,…N)s(x)∈Cn-1(-∞,+∞)则称s(x)为n次样条函数，记其全体为Sn(x1,x2,…,xN),其中x1,x2,…,xN称为样条结点（节点）2n-1次自然样条函数如果s(x)为2n-1次样条函数，且于(-∞,x1]及[XN,+∞)上退化为n-1次多项式，则称s(x)为2n-1次自然样条函数，记其全体为?2n-1(x1,x2,…,xN).显然?2n-1(x1,…,xN)?S2n-1(x1,…,xN)n次样条函数空间一组基底为1,x,…xn,(x-x1)+n,…(x-xN)+ns(x)∈Sn(x1,x2,…,xN)??pn(x)∈Pn,c1,…,cN∈Rs.t.s(x)=pn(x)+∑j=1Ncj(x-xj)+n自然样条空间的结构s(x)∈?2n-1(x1,x2,…,xN)??pn-1(x)∈Pn-1,c1,…,cN∈Rs.t.s(x)=pn-1(x)+∑j=1Ncj(x-xj)+2n-1∑j=1Ncjxjk=0(k=0,1,…,n-1)３次样条插值的计算方法提法：给定[a,b]及a=x0x1x2…xN=b.对任意的型值{yj}j=0N,构造s(x)∈S3(x1,x2,…,xN-1)s.t.s(xj)=yj(j=0,1…N).分三步构造：利用型值信息yj建立关于Mj（=s?(xj))的线性方程组；用追赶法求出Mj；利用Mj构造s(x).Ｂ样条与Ｂ样条方法的特色BasicSpline,B-Spline是多项式空间中具最小支集的一组基Ｂ样条方法的特色：继承Ｂ网方法的一切优点，增加“局部性”Ｂ样条方法史话Ｂ样条理论:Schoenberg,1946年提出，1964年发表Ｂ样条基本算法:deBoor,Cox,1972年独立提出Ｂ样条方法：Gordon,Riesenfeld,1974年建立截断幂等距B样条中心差分：δf(x)=f(x+1/2)-f(x-1/2)中心差分的计算：δmf(x)=∑k=0m(-1)kCmkf(x+m/2-k)等距B样条（均匀B样条）:δn+1x+n/n!等距B样条的性质：非负，关于原点对称，具紧凑支集前4个B样条的图示差商定义差商（定义与节点的次序无关）：非均匀B样条阶与次：n阶?n-1次k次B样条的理论定义：Ni,k(u)=(ui+k+1-ui)[ui,ui+1,…,ui+k+1](x-u)+k其中[ui,ui+1,…,ui+k+1](x-u)+k是关于变量x在节点u0,…,us上作k+1阶差商的结果。0次和1次B样条的计算deBoor-Cox公式是B样条理论最重要的进展之一deBoor（1972）Cox（1971）Mansfeld公式主体：Bernstein多项式的性质递推性:Bi,n(t)=(1-t)Bi,n-1(t)+tBi-1,n-1(t)(超范围时补0）正性：权性:导函数：B’i,n(t)=n[Bi-1,n-1(t)-Bi,n-1(t)]B样条函数的性质非负性局部支撑性规范性（权性）：∑iNi,m(u)≡1(其中∑i表示对全体可能的i求和，且于所考虑的区间上成立）导数公式：可微性：节点区间内C∞节