一类四次有理插值样条及其保形性.pdf

一类四次有理插值样条及其保形性 王爱芹 南京航空航天大学理学院，南京 (210016) 摘 要：本文基于Cauchy-Vandermonde 函数组构造了一类四次带参数包含极点的有理插值 样条.给出了其存在唯一性定理，讨论了以它为插值工具时的误差估计. 这种有理样条可以很 方便地通过选取参数调整其曲线形状，达到保形的目的.比较多项式样条和其它的有理样条 具有更灵活、有效、还能刻画被插函数的奇性等固有特性．特别地，当参数为零时,它成为 普通三次多项式插值样条. 关键词：Cauchy-Vandermonde 函数组，有理插值，保形，极点 中图分类号: O17,TP391 0 引言 k 对于 a,b 上的一个分划 ∆: a x Lx b 的 r,l 阶有理样条函数全体表示为 [ ] 0 n ( ) R (k ) (∆) [1]. 有理样条的研究差不多要比多项式样条晚二十多年。近年来，三次有理样条 r ,l ， (3,1)k, (3,2)k (k=1,2)的研究在理论和应用上已取得了许多结果[2 3] ，但包含极点的有理方法很 少见，所以，这些方法不能很好地反映被逼近函数的奇性，对此，文献[4]构造了一类三次 有理插值样条克服了这一缺陷，但它不包含三次多项式插值样条。本文则研究一类四次有 理样条(4,2)k (k =1,2)，即满足下列条件的有理样条函数R(x) ： 1 2 (i) R (x) spanU , x =∈[x , x ] (i 1,...,n) ,(ii) R (x ) ∈C [a,b] 或 C [a,b] . 4 i−1 i (1) 3 ⎧ 3 1−x ⎫ 其中 ⎪ x ( ) ⎪ ≥ .它能很好地反映被逼近函数的奇异性， U4 ⎨1, x, , ⎬ (qi 0) + − + 1 q 1 x 1 q x ⎪⎩ i ( ) i ⎪⎭ 因每一片函数包含两个极点,并且三次多项式样条是它的特例，此时两极点为无穷远点.通过 参数ε 的选取可以达到保形的目的.四次有理样条研究目前能见到的文献还很少。 i 1 存在唯一性定理 先考虑满足插值条件 R (x ) f , R (x ) d (i 1,...,n) 的有理样条(1) R (x ) ∈R (1) (∆) ，它可以表示为 i i i i 4,2 R x f ϕ θ =+f ϕ θ +d ϕ θ +d ϕ θ ,x ∈[x ,x ] ( ) i−1