对样条函数及其插值问题的点认识.docVIP

对样条函数及其插值问题的一点认识 样条函数是计算数学以及计算机辅助设计几何设计的重要工具。1946年，I. J. Schoenberg著名的关于一元样条函数的奠定性论文“Contribution to the problem of application of equidistant data by analytic functions”发表，建立了一元样条函数的理论基础。自此以后，关于样条函数的研究工作逐渐深入。随着电子计算机技术的不断进步，样条函数的理论以及应用研究得到迅速的发展和广泛的应用。经过数学工作者的努力，已经形成了较为系统的理论体系。 所谓（多项式）样条函数，乃指具有一定光滑性的分段（分片）多项式。一元n次且n－1阶连续可微的样条函数具有如下的表示式： 其中是一元n次多项式，称为样条节点。 用 记的次截断幂： 则构成了由这样的样条函数全体组成的线形空间的一组基。 1953年，I. J. Schoenberg与A. Whitney获得了判断一元样条插值结点组是否为适定结点组的准则，即著名的Schoenberg-Whitney定理。1966年，H. B. Curry与I. J. Schoenberg引入一元B-样条，给出了重要的样条函数的B-样条基的表示方法。有了完整的B-样条基理论之后，样条函数逼近无论在理论研究还是在应用问题探讨方面都更加方便。此后，关于样条函数的理论以及应用的研究不断取得进展。特别地，随着计算机技术的飞速发展，人们进一步认识到样条如同多项式一般的计算方便性以及强于多项式的局部可调的灵活性、易存储性等诸多性质的重要意义，并把它应用到与科学计算相关的许多领域，比如数值逼近、微分方程数值解、计算机辅助几何设计、小波及有限元等。同时，样条函数在各个方面的推广也成为数学工作者们密切关注并开展积极研究的重要课题。 样条在多元方面的推广自1960年Birkhoff与Garabedian开始，但是，由于它的复杂性，这方面的研究工作不如一元样条函数那样顺利。1962年，C. deBoor研究并证明了一些双三次内插样条的存在与唯一性。但其方法本质上只是一元样条函数的简单推广。1975年，王仁宏教授采用函数论与代数几何的理论，提出并运用光滑余因子协调法，建立了任意分割部分下的多元样条函数的基本理论框架。他引入了分片代数曲线概念，证明了多元样条的一个插值结点组为适定结点组的冲要条件是这些结点不同时位于一条非零分片代数曲线上。采用这种方法，多元样条函数的任何问题都可以转化为与之等价的代数问题研究。在上述理论框架的基础上，数学工作者们继续进行了深入的研究。经过不断的努力，形成了关于多元样条函数的理论及应用的较为完整的理论体系。 多元样条函数由于涉及到定义区域的剖分，其数学表示及其理论与应用的研究都困难得多。为了清楚起见，本文简述如下。 设D为R2中的一个区域，以Pk记R2上的二元k次实系数多项式全体组成的集合。一个二元多项式称为不可约多项式，如果除了常数和该多项式自身外没有其它复多项式可以整除之。如果l(x，y)是不可约多项式，则由方程确定的曲线称为不可约代数曲线，记为Γ。即Γ：。 用有限条不可约代数曲线对区域D进行剖分，将剖分记为Δ，D被分为有限个子区域D1，…，DN，它们被称为D的胞腔。形成每个胞腔边界的线段称为网线，网线的焦点称为网点，同一网线的两个顶点称为相邻网点。位于区域D内部的网点称为内网点，否则称为边界网点。如果一条网线的内部属于区域D内，则称此网线为内网线，否则称为边界网线。 以某一网点v为顶点的胞腔的并集称为网点V的关联区域或星形区域，记为St(v)。D上的关于剖分Δ的二元k次μ阶光滑样条函数空间记为 基于代数几何中的Bezout定理，王仁宏得到了多元样条函数在相邻胞腔的交线上光滑连接的条件，表现为如下定理： 定理1 设，与是剖分的相邻胞腔。不可约代数曲线Γ：是与的一条公共网线，；，则有，使得 ， 其中，称为网线Γ上的光滑余因子，此处。 设v为任一给定的内网点，v的关联区域有N个胞腔，与的公共网线记为Γ0：，。称 ， 为样条函数在内网点v处的协调条件。其中，，。 若样条函数在所有的胞腔上均为同一多项社，则称其为蜕化的。 下面的定理称为样条函数的存在性定理： 定理2 对于给定的D的剖分Δ，样条函数存在的充要条件是在每个内网线上存在非0的光滑因子，且在每个内网点处满足协调条件。 由此，可以建立多元样条函数的一般表达式。设定区域D被剖分Δ分割为如下有限个胞腔D1，…，DN。任意选定一个胞腔，例如D1作为源胞腔，从D1出发，画一流向图C，使之满足： 1. C流遍所有的胞腔D1，…，DN各一次。 2. C穿过内网的次数不多于一次。 3. C不允许穿过网点。 流向图C所经过的内阁网线称为