拟贯穿剖分上分片代数曲线的Nother型定理

代数曲线的Nother定理是代数几何中经典并且十分重要的结论.作为二元样条的零点集,分片代数曲线是经典代数曲线的推广.分片代数曲线的Nother型定理对研究二元样条空间的Lagrange插值有至关重要的作用.利用拟贯穿剖分的特点、二元样条的性质与代数几何的相关知识,给出了拟贯穿剖分上分片代数曲线的Nother型定理.     

一类二次保形拟插值函数的研究

通过讨论一种保形拟插值的基函数与二次规范B-样条函数之间的关系,提出了一类二次保形拟插值样条函数,得到了这类保形拟插值函数在具有线性再生性质,并保持原有数据点列的单调性和凸性时分别应满足的条件,并给出几个应用实例.     

含退化边三角剖分下二元三次C~1样条空间的维数

<正>1二元三次一阶光滑样条函数二元样条函数空间在数值逼近、曲面拟合、有限元方法(FEM)、散乱数据插值、多元数值积分、微分和积分方程数值解、计算机辅助几何设计(CAGD)、计算机图形学、信号过程和数学模型等领域有着广泛的应用.而空间S_3~1(Δ)除了二元三次样条函数具有的计     

二元二次分片多项式插值样条函数

本文在Ⅱ型剖分下,研究一类二元二次分片多项式插值样条函数,采用局部坐标系和本文定理1的拼接技巧,揭示了二元二次样条与一元二次样条之间的紧密联系.只要在垂直网线和水平网线上先构造出一元二次样条并求出它们在节点上的一些数据,就可直接写出二元二次样条的分块解析表示式.利用这种技巧,可以进一步研究各种类型的插值样条,还可用来研究双周期或单周期的插值样条.本文证明了,这类样条函数具有与一元二次样条相同的逼近阶,具体来讲,在不均匀剖分且 f(x,y)∈σ~3[a,b;c,d]时,它的逼近阶是2,在均匀剖分且 f(x,y)∈σ~4[a,b;c,d]时,其逼近阶是3.用本文的方法去研究其他各类插值样条,发现也有这种逼近性质.     

一类有理插值曲面模型及其可视化约束控制

本文构造一类新的基于函数值和偏导数值的双变量加权混合有理插值样条.与已有的有理插值样条相比,这类新的有理插值样条具有以下四方面的特性,其一,插值函数可以由简单的对称基函数来表示;其二,对任何正参数,插值函数满足C1连续,而且,在不限制参数取值的条件之下,插值曲面保持光滑;其三,插值函数不但含有参数,而且带有加权系数,增加了插值函数的自由度;其四,插值曲面的形状随着参数与加权系数的变化而变化.同时,本文讨论此类插值曲面的性质,包括基函数的性质、积分加权系数的性质和插值函数的边界性质.此类插值函数的优势在于,不改变给定插值数据的前提下,通过选择合适的参数和不同的加权系数,对插值区域内的任意点的函数值进行修改.因此可将其应用于曲面设计,根据实际设计需要,自由地修改曲面形状.数值实验表明,此类新的有理样条插值具有良好的约束控制性质.     

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

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

一种新的带参数双三次有理插值样条的有界性与点控制

文[19]中,作者构造了一种基于函数值的带参数的分子为双三次、分母为双二次的二元有理插值样条.本文进一步研究该种二元有理插值样条的有界性,给出插值的逼近表达式,讨论插值曲面形状的点控制问题.在插值条件不变的情况下,插值区域内任一点插值函数的值可以根据设计的需要通过对参数的选取修改,从而达到插值曲面局部修改的目的.     

三个方向的网上的二元样条插值

对于三个方向的正规剖分,C.K.Chui和R.H.Wang曾系统地研究了三次和四次样条空间的维数和基底。本文的目的是探讨样条插值问题。由于二元样条函数空间基底构造的复条性,实现二元样条插值要比一元情形困难得多。因此寻求二元样条插值的适定条件和给出有效的计算方法是有意义的。     

任意剖分下的多元样条分析

本文采用代数几何的方法,研究了在任意剖分下多元样条函数的各种性质.定理2—4给出了一个函数S(υ,ν)是多元参数型样条的充分必要条件.定理1指出了多元样条函数具有“解析延拓”的特征性质.文中得到在任意剖分下多元样条的一般表达形式(定理9和10)和多元样条插值的一般理论.文中也讨论了多元有理样条函数.     

二元二次分片多项式插值样条函数

本文在Ⅱ型剖分下,研究一类二元二次分片多项式插值样条函数,采用局部坐标系和本文定理1的拼接技巧,揭示了二元二次样条与一元二次样条之间的紧密联系,只要在垂直网线和水平网线上先构造出一元二次样条并求出它们在节点上的一些数据,就可直接写出二元二次样条的分块解析表示式,利用这种技巧,可以进一步研究各种类型的插值样条,还可用来研究双周期或单周期的插值样条。 本文证明了,这类样条函数具有与一元二次样条相同的逼近阶,具体来讲,在不均匀剖分且f(x,y)∈C~3[α,b;c,d]时,它的逼近阶是2,在均匀剖分且f(x,y)∈C~4[α,b;c,d]时,其逼近阶是3,用本文的方法去研究其他各类插值样条,发现也有这种逼近性质。     

Bivariate spline interpolation at grid points

Summary. We describe algorithms for constructing point sets at which interpolation by spaces of bivariate splines of arbitrary degree and smoothness is possible. The splines are defined on rectangular partitions adding one or two diagonals to each rectangle. The interpolation sets are selected in such a way that the grid points of the partition are contained in these sets, and no large linear systems have to be solved. Our method is to generate a net of line segments and to choose point sets in these segments which satisfy the Schoenberg-Whitney condition for certain univariate spline spaces such that a principle of degree reduction can be applied. In order to include the grid points in the interpolation sets, we give a sufficient Schoenberg-Whitney type condition for interpolation by bivariate splines supported in certain cones. This approach is completely different from the known interpolation methods for bivariate splines of degree at most three. Our method is illustrated by some numerical examples. Received October 5, 1992 / Revised version received May 13, 1994     

Nöther-type theorem of piecewise algebraic curves on triangulation

The piecewise algebraic curve is a kind generalization of the classical algebraic curve. Nöther-type theorem of piecewise algebraic curves on the cross-cut partition is very important to construct the Lagrange interpolation sets for a bivariate spline space. In this paper, using the properties of bivariate splines, the Nöther-type theorem of piecewise algebraic curves on the arbitrary triangulation is presented.     

N(o)ther-type theorem of piecewise algebraic curves on triangulation

The piecewise algebraic curve is a kind generalization of the classical algebraic curve.N(o)ther-type theorem of piecewise algebraic curves on the cross-cut partition is very important to construct the Lagrange interpolation sets for a bivariate spline space. In this paper, using the properties of bivariate splines, the N(o)ther-type theorem of piecewise algebraic curves on the arbitrary triangulation is presented.     

Lagrange and hermite interpolation by bivariate splines

We develop methods for constructing sets of points which admit Lagrange and Hermite type interpolation by spaces of bivariate splines on rectangular and triangular partitions which are uniform, in general. These sets are generated by building up a net of lines and by placing points on these lines which satisfy interlacing properties for univariate spline spaces.     

Nöther-type theorem of piecewise algebraic curves on quasi-cross-cut partition

Nöther’s theorem of algebraic curves plays an important role in classical algebraic geometry. As the zero set of a bivariate spline, the piecewise algebraic curve is a generalization of the classical algebraic curve. Nöther-type theorem of piecewise algebraic curves is very important to construct the Lagrange interpolation sets for bivariate spline spaces. In this paper, using the characteristics of quasi-cross-cut partition, properties of bivariate splines and results in algebraic geometry, the Nöther-type theorem of piecewise algebraic curves on the quasi-cross-cut is presented.     

The Bases of the Non-Uniform Cubic Spline Space $S_{3}^{1,2}(\Delta_{mn}^{(2)})$

In this paper, the dimension of the nonuniform bivariate spline space $S_{3}^{1,2}(\Delta_{mn}^{(2)})$ is discussed based on the theory of multivariate spline space. Moreover, by means of the Conformality of Smoothing Cofactor Method, the basis of $S_{3}^{1,2}(\Delta_{mn}^{(2)}) $composed of two sets of splines are worked out in the form of the values at ten domain points in each triangular cell, both of which possess distinct local supports. Furthermore, the explicit coefficients in terms of B-net are obtained for the two sets of splines respectively.     

基于弹性理论的二元样条与黄金分割

Splines are important in both mathematics and mechanics. We investigate the relationships between bivariate splines and mechanics in this paper. The mechanical meanings of some univariate splines were viewed based on the analysis of bending beams. For the 2D case, the relationships between a class of quintic bivariate splines with smoothness 3 and bending of thin plates are presented constructively. Furthermore, the variational property of bivariate splines and golden section in splines are also discussed.     

On the variational characterization and convergence of bivariate splines

It is shown that bivariate interpolatory splines defined on a rectangleR can be characterized as being unique solutions to certain variational problems. This variational property is used to prove the uniform convergence of bivariate polynomial splines interpolating moderately smooth functions at data which includes interpolation to values on a rectangular grid. These results are then extended to bivariate splines defined on anL-shaped region.This research was supported by a University of Kansas General Research Grant.     

样条空间S_3~1（△_（mn）~（1））上的插值与逼近

本文讨论样条空间Ｓ１３（△_（１）~ｍｎ）上的插值问题，导出了一类插值条件下样条插值的存在性与唯一性结论以及计算插值样条的递推格式．其主要结论是对四阶光滑的函数，插值排条可达２阶（相对网格长度）逼近度．     

Spline Surfaces over Arbitrary Topological Meshes: Theoretical Analysis and Application

Based on polyhedral splines, some multivariate splines of different orders with given supports over arbitrary topological meshes are developed. Schemes for choosing suitable families of multivariate splines based on pre-given meshes are discussed. Those multivariate splines with inner knots and boundary knots from the related meshes are used to generate rational spline shapes with related control points. Steps for up to $C^2$-surfaces over the meshes are designed. The relationship among the meshes and their knots, the splines and control points is analyzed. To avoid any unexpected discontinuities and get higher smoothness, a heart-repairing technique to adjust inner knots in the multivariate splines is designed.With the theory above, bivariate $C^1$-quadratic splines over rectangular meshes are developed. Those bivariate splines are used to generate rational $C^1$-quadratic surfaces over the meshes with related control points and weights. The properties of the surfaces are analyzed. The boundary curves and the corner points and tangent planes, and smooth connecting conditions of different patches are presented. The $C^1$−continuous connection schemes between two patches of the surfaces are presented.