对称性与局部支集样条函数构造

1引言令D为二维串连通区域,用不可约代数曲线对D进行剖分西,得胞腔。,i—l,…,N．D上n次广阶光滑的样条函数空间定义为S：（D,凸）一｛f6or（D）,f。一片;6尺｝在两相邻胞腔。和个上,SESZ（D,凸）满足其中l。为人与4的公共内网线,q。称为S在l。上的光滑余因子．进而分片多项式S6s：（,凸）,当且仅当在任一内网线上存在光滑余因子,且在任一内网点A处满足协调条件Zc／xx。一。其中求和对所有以A为一端点的内网线进行［”‘j．以上定义和基本结果是文1中给出的．这种方法称为光滑余因子协条法．此外在多元样条函数的研究…     

The Structural Characterization and Locally Supported Bases for Bivariate Super Splines

Super splines are bivariate splines defined on triangulations, where the smoothness enforced at the vertices is larger than the smoothness enforced across the edges. In this paper, the smoothness conditions and conformality conditions for super splines are presented. Three locally supported super splines on type-1 triangulation are presented. Moreover, the criteria to select local bases is also givenBy using local supported super spline function, a variation-diminishing operator is built. The approximation properties of the operator are also presented.     

分片代数曲线交点的结式求法

本文对确定分片代数曲线的二元样条函数的整体表达式中的截断引入参数表示,给出了分片代数曲线交点的结式求法．理论与实例表明,这种算法是有效的．     

二元线性样条函数插值

二元样条函数插值在计算几何与计算机辅助几何设计中有着重要的作用.本文给出了一种矩形剖分上二元线性样条函数进行Lagrange插值时插值适定结点组所满足的拓扑与几何性质,这种性质依赖于二元线性样条函数所决定的分片线性代数曲线.     

CLOSED SMOOTH SURFACE DEFINED FROM CUBIC TRIANGULAR SPLINES

In order to construct closed surfaces with continuous unit normal, we introduce a news pline space on an arbitrary closed mesh of three-sided faces. Our approach generalizes an idea of Goodman and is based on the concept of ‘Geometric continuity‘ for piecewise polynomial parametrizations. The functions in the spline space restricted to the faces are cubic triangular polynomials. A basis of the spline space is constructed of positive functions which sum to 1. It is also shown that the space is suitable for interpolating data at the midpoints of the faces。     

An orthogonal basis for non-uniform algebraic-trigonometric spline space

Non-uniform algebraic-trigonometric B-splines shares most of the properties as those of the usual polynomial B-splines. But they are not orthogonal. We construct an orthogonal basis for the n-order(n ≥ 3) algebraic-trigonometric spline space in order to resolve the theoretical problem that there is not an explicit orthogonal basis in the space by now. Motivated by the Legendre polynomials, we present a novel approach to define a set of auxiliary functions,which have simple and explicit expressions. Then the proposed orthogonal splines are given as the derivatives of these auxiliary functions.     

分片代数集合的不可约性和同构

本文利用多元样条函数来定义分片代数集合,讨论了分片代数集合的不可约性和同构问题,给出了分片代数集合不可约的两个等价条件,并把分片代数集合的同构分类问题转化为交换代数的同构分类问题。     

分片代数曲线Bezout数的估计

分片代数曲线定义为二元样条函数的零点集合.首先证明了关于三角剖分的一个猜想. 随后,指出了分片线性代数曲线与四色猜想之间的内在联系.通过经典的Morgan-Scott剖分,指出分片代数曲线的ezout数的不稳定性.利用组合优化方法,得到任意阶光滑分片代数曲线的Bezout数的上界.这个上界不仅适用于三角剖分,而且对任意网线为直线段的剖分均成立.     

Morgan-Scott型剖分上的样条空间的奇异性

Multivariate spline function is an important research object and tool in Computational Geometry. The singularity of multivariate spline spaces is a difficult problem that is ineritable in the research of the structure of multivariate spline spaces. The aim of this paper is to reveal the geometric significance of the singularity of bivariate spline space over Morgan-Scott type triangulation by using some new concepts proposed by the first author such as characteristic ratio, characteristic mapping of lines （or ponits）, and characteristic number of algebraic curve. With these concepts and the relevant results, a polished necessary and sufficient conditions for the singularity of spline space S u＋1^u （△MS^u） are geometrically given for any smoothness u by recursion. Moreover, the famous Pascal＇s theorem is generalized to algebraic plane curves of degree n≥3.     

Recent researches on multivariate spline and piecewise algebraic variety

The multivariate splines as piecewise polynomials have become useful tools for dealing with Computational Geometry, Computer Graphics, Computer Aided Geometrical Design and Image Processing. It is well known that the classical algebraic variety in algebraic geometry is to study geometrical properties of the common intersection of surfaces represented by multivariate polynomials. Recently the surfaces are mainly represented by multivariate piecewise polynomials (i.e. multivariate splines), so the piecewise algebraic variety defined as the common intersection of surfaces represented by multivariate splines is a new topic in algebraic geometry. Moreover, the piecewise algebraic variety will be also important in computational geometry, computer graphics, computer aided geometrical design and image processing. The purpose of this paper is to introduce some recent researches on multivariate spline, piecewise algebraic variety (curve), and their applications.     

The correspondence between multivariate spline ideals and piecewise algebraic varieties

As a piecewise polynomial with a certain smoothness, the spline plays an important role in computational geometry. The algebraic variety is the most important subject in classical algebraic geometry. As the zero set of multivariate splines, the piecewise algebraic variety is a generalization of the algebraic variety. In this paper, the correspondence between piecewise algebraic varieties and spline ideals is discussed. Furthermore, Hilbert’s Nullstellensatz for the piecewise algebraic variety is also studied.     

The correspondence between multivariate spline ideals and piecewise algebraic varieties

As a piecewise polynomial with a certain smoothness, the spline plays an important role in computational geometry. The algebraic variety is the most important subject in classical algebraic geometry. As the zero set of multivariate splines, the piecewise algebraic variety is a generalization of the algebraic variety. In this paper, the correspondence between piecewise algebraic varieties and spline ideals is discussed. Furthermore, Hilbert’s Nullstellensatz for the piecewise algebraic variety is also studied.     

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.     

Real zeros of the zero-dimensional parametric piecewise algebraic variety

The piecewise algebraic variety is the set of all common zeros of multivariate splines. We show that solving a parametric piecewise algebraic variety amounts to solve a finite number of parametric polynomial systems containing strict inequalities. With the regular decomposition of semi-algebraic systems and the partial cylindrical algebraic decomposition method, we give a method to compute the supremum of the number of torsion-free real zeros of a given zero-dimensional parametric piecewise algebraic variety, and to get distributions of the number of real zeros in every n-dimensional cell when the number reaches the supremum. This method also produces corresponding necessary and sufficient conditions for reaching the supremum and its distributions. We also present an algorithm to produce a necessary and sufficient condition for a given zero-dimensional parametric piecewise algebraic variety to have a given number of distinct torsion-free real zeros in every n-cell in the n-complex. This work was supported by National Natural Science Foundation of China (Grant Nos. 10271022, 60373093, 60533060), the Natural Science Foundation of Zhejiang Province (Grant No. Y7080068) and the Foundation of Department of Education of Zhejiang Province (Grant Nos. 20070628 and Y200802999)     

The Nother and Riemann-Roch type theorems for piecewise algebraic curve

A piecewise algebraic curve is a curve determined by the zero set of a bivariate spline function. In this paper, the Nother type theorems for Cμpiecewise algebraic curves are obtained. The theory of the linear series of sets of places on the piecewise algebraic curve is also established. In this theory, singular cycles are put into the linear series, and a complete series of the piecewise algebraic curves consists of all effective ordinary cycles in an equivalence class and all effective singular cycles which are equivalent specifically to any effective ordinary cycle in the equivalence class. This theory is a generalization of that of linear series of the algebraic curve. With this theory and the fundamental theory of multivariate splines on smoothing cofactors and global conformality conditions, and the results on the general expression of multivariate splines, we get a formula on the index, the order and the dimension of a complete series of the irreducible Cμpiecewise algebraic curves and the degree, the genus and the smoothness of the curves, hence the Riemann-Roch type theorem of the Cμpiecewise algebraic curve is established.     

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.     

实分片代数曲线的某些研究

分片代数曲线作为二元样条函数的零点集合是经典代数曲线的推广. 利用代数的基本知识, 本文对实分片代数曲线的基本性质进行了初步讨论, 并且将实分片代数曲线与相应的二元样条分类进行讨论. 最后, 对实分片代数曲线上的孤立点进行了研究.     

The Nöther and Riemann-Roch type theorems for piecewise algebraic curve

A piecewise algebraic curve is a curve determined by the zero set of a bivariate spline function. In this paper, the Nöther type theorems for C ^µ piecewise algebraic curves are obtained. The theory of the linear series of sets of places on the piecewise algebraic curve is also established. In this theory, singular cycles are put into the linear series, and a complete series of the piecewise algebraic curves consists of all effective ordinary cycles in an equivalence class and all effective singular cycles which are equivalent specifically to any effective ordinary cycle in the equivalence class. This theory is a generalization of that of linear series of the algebraic curve. With this theory and the fundamental theory of multivariate splines on smoothing cofactors and global conformality conditions, and the results on the general expression of multivariate splines, we get a formula on the index, the order and the dimension of a complete series of the irreducible C ^µ piecewise algebraic curves and the degree, the genus and the smoothness of the curves, hence the Riemann-Roch type theorem of the C ^µ piecewise algebraic curve is established.