关于“多项式样条磨光公式”的若干注记

0.李岳生在“微分算子样条函数磨光法”的一般框架下,推导了“多项式样条磨光公式”:以及处理f由离散数据给出的相应公式?_hf(x),这里m是任意正整数,q是任意非负整数,h为任意正数,     

局部坐标下的样条函数与圆弧样条曲线

<正> 近十多年来计算机应用与数控技术的发展大大推动了插值计算方法和理论的研究.一般的样条函数,特别是常用的三次样条函数,方法简单易行,具有一系列良好的性质,对于不出现近于垂直切线的所谓“小挠度”函数的插值和逼近效果很好,但不能直接处理有近于垂直切线的“大挠度”曲线或多值曲线,否则会破坏计算的稳定,甚至得出荒谬的结果.为了解决这个问题,国外有人提出了一些方法,如常用的“参数样条”或矢量样条     

连续区间上积分值的偶次样条插值

在现实中,某些结点处的函数值往往是未知的,而在连续区间上的积分值是已知的.如何利用连续区间上积分值的信息来解决函数重构是一个重要的问题.文章首先从理论上证明了连续区间上积分值的偶次样条插值的存在唯一性.其次,我们给出了连续区间上积分值的偶次样条插值的光滑性质并且指出四次样条插值是最光滑的.最后,文章给出了偶次样条插值函数去逼近结点处的函数值和偶次高阶导数值时具有超收敛性的猜想.这个猜想在随后的八次样条插值例子中得到证实.     

关于三次样条插值的逼近阶

对于三次周期样条插值,我们得到插值样条逼近阶和被插函数光滑性之间的关系,本文继续讨论非周期边界条件的情形。 对[0,1]的n等分分划,用L_n~Ⅰ(f,x)、L_n~Ⅱ(f,x)分别表示满足下列条件的以[0,1]的n等分点为结点的三次样条函数     

一类B样条的组合与曲线拟合

§1 一类B样条的组合 人们不但直接使用B样条Ω_k(x)(磨光样条)作为基函数,还将其组合成各种形式的样条函数基,以适应特定的需要。这里,我们取     

多元多项式样条在Lp(Rd)尺度下的极值性质

构造了一类连续的多项式样条算子来代替常用的多元Cardinal多项式样条插值算子作为R^d上多元函数的逼近工具, 得到了这种样条算子的逼近误差, 由此结果, 得到多元多项式样条空间是一些R^d上的Sobolev光滑函数类在Lp范数下的Kolmogorov 宽度及线性宽度的弱渐近极子空间.     

磨光函数的一些精确估计式

黄文谦在[1]中对磨光逼近作了研究,得到了磨光函数误差的几个结果.由[1]中定理1和定理2可知:不管函数f(x)的可微次数多高,f(x)对于f(x)的逼近度饱和在O(h~2).本文对函数类f(x)∈C~2的磨光f_k(x)作进一步推讨,得到渐近展开式及一些精确估计式.     

C~3连续的三角样条函数与曲线

本文构造了一种三次三角样条函数 ,函数的每一段由三个函数值生成 ,具有C3连续性和较好的逼近性 ,可方便地进行插值 .基于同样的方法得出了一种C3连续的三角样条曲线 ,曲线也有较好的逼近性 ,而且具有局部性、保凸性等特性 .     

关于多结点Hermite样条

本文给出局部显式多结点Hermite插值值算子对多项式函数类再生性的简单证明。针对计算机辅助几何设计的应用背景,分析了三阶多结点Hermite样条插值逼近的具体特性。     

Y-样条的Budan-Fourier定理及其应用

设t_j全为实数。本文考虑与微分算子相关的单结点的样条。证明了样条的Budan-Fourier定理,并由此直接证明了一些插值样条的唯一性和存在性。 设T=-T,⊿为等距分划时,证明了插值样条的逼近阶为h~(n+1),当n=2,3,4,5时,还求得了最佳系数。     

曲线拟合的数值磨光方法

<正> 我们针对外形自动设计提出的曲线拟合问题提出一种方法——数值磨光方法.实现的步骤大体上是:首先对原设计型值(离散数据)进行修改得到我们称呼的“盈亏型值”,再将盈亏型值点连成折线,然后对此折线函数以δ-spline(样条)函数为核进行积分便得到拟合曲线的表达式,这吋拟合曲线是一种样条.样条函数的次数 k 是任意的,但我们主要针对实用上常用的 k=2和3的情形讨论.     

二元三次样条空间S_3~(1,2)(△_(mn)~(2))的样条拟插值

本文首先利用由两组具有局部最小支集的样条所组成的基函数,构造非均匀2型三角剖分上二元三次样条空间S1,23(△(2)mn)的若干样条拟插值算子.这些变差缩减算子由样条函数B1ij支集上5个网格点或中心和样条函数B2ij支集上5个网格点处函数值定义.这些样条拟插值算子具有较好的逼近性,甚至算子Vmn(f)能保持近最优的三次多项式性.然后利用连续模,分析样条拟插值算子Vmn(f)一致逼近于充分光滑的实函数.最后推导误差估计.     

模糊牛顿插值及模糊样条函数的表示

本文在模糊Ｌａｇｒａｎｇｅ插值的基础上，引进了模糊牛顿插值公式及其适定性定理和求法。并针对“非结点”型边界条件给出了模糊样条函数的具体表示。     

二元三次样条空间S31,2(Δmn(2)) 的样条拟插值

本文首先利用由两组具有局部最小支集的样条所组成的基函数,构造非均匀2 型三角剖分上二元三次样条空间S₃^1,2(Δ_mn⁽²⁾)的若干样条拟插值算子. 这些变差缩减算子由样条函数B_ij¹支集上5 个网格点或中心和样条函数B_ij²支集上5 个网格点处函数值定义. 这些样条拟插值算子具有较好的逼近性,甚至算子V_mn（f） 能保持近最优的三次多项式性. 然后利用连续模,分析样条拟插值算子V_mn（f）一致逼近于充分光滑的实函数. 最后推导误差估计.     

多元多项式样条在L-p(R+d)度下的极值性质

构造了一类连续的多项式样条算子来代替常用的多元Cardinal多项式样条插值算子作为 Rd上多元函数的逼近工具, 得到了这种样条算子的逼近误差, 由此结果, 得到多元多项式样条空间是一些 Rd上的Sobolev光滑函数类在Lp范数下的Kolmogorov 宽度及线性宽度的弱渐近极子空间.     

样条函数在Lp空间

本文讨论了L_p[0,1](1≤p≤∞)中的样条函数,给出了几类缺插值样条函数在L_p范数下的收敛速度估计,并进一步给出了一个很有用的逼近定理。作为应用,对于在文献[2,5]中讨论过的样条函数,很容易得到相应的L_p范数下的逼近定理。     

一类适合于多变量散乱结点的插值方法及其收敛性分析

本文建立了一种对多变量散乱数据的整体插值方法,并且分析了其收敛性。一、引言为了使插值函数能比较好地反映被插函数及有较好的逼近性质,人们要求插值能达到较高的连续要求。对多变量问题,一般的分片粘合法都只有较低的连续性。箱样条是一个很好的工具,但它不适应于散乱数据问题。能达到较高连续要求的只有shepard方法及整体基函数法(见[1])。考察shepard方法,它事实上是加权平均法,而权是由被插点到结点的距离决定的。当某点附近有较密的结点时,这一点附近的权在插值公式     

关于Cardinal ■-样条的一些极值问题

本文研究了Cardinal?-样条函数空间对一类可微函数类在L~1(R)尺度下的最佳逼近和最佳线性逼近,确定了这两类最佳逼近的精确值相等,并表明了Cardinal?-样条插值为最佳的线性逼近方法。     

关于Cardinal ■-样条的一些极值问题

本文研究了Cardinal?-样条函数空间对一类可微函数类在L~1(R)尺度下的最佳逼近和最佳线性逼近,确定了这两类最佳逼近的精确值相等,并表明了Cardinal?-样条插值为最佳的线性逼近方法。     

多元指数磨光算子的构造和相关偏微分方程基本解与磨光核的升维解法

本文目的在于回答:δ分布的多元指数磨光函数,即磨光核函数的解析表示问题.从我们给出的多元指数磨光算子的定义出发,将磨光核函数的表示,归结为先求相应偏微分方程的基本解,再对它的广义差分.然后用我们提出的"升维方法",彻底解决了基本解的解析表达问题.从而也就回答了磨光核函数的解析表示.磨光核函数的支集既可以是高维立方体,也可以是高维单纯形.因此,多元指数箱(E-Box)和单纯形(E-Simplex)样条的表示,皆能用我们的统一方法解决.