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ö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 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.     

The Cayley-Bacharach theorem for continuous piecewise algebraic curves over cross-cut triangulations

A piecewise algebraic curve is a curve determined by the zero set of a bivariate spline function. In this paper, we propose the Cayley-Bacharach theorem for continuous piecewise algebraic curves over cross-cut triangulations. We show that, if two continuous piecewise algebraic curves of degrees m and n respectively meet at mnT distinct points over a cross-cut triangulation, where T denotes the number of cells of the triangulation, then any continuous piecewise algebraic curve of degree m + n − 2 containing all but one point of them also contains the last point.     

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

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

Estimation of the Bezout number for piecewise algebraic curve

A piecewise algebraic curve is a curve determined by the zero set of a bivariate spline function.In this paper.a coniecture on trianguation is confirmed The relation between the piecewise linear algebraiccurve and four-color conjecture is also presented.By Morgan-Scott triangulation, we will show the instabilityof Bezout number of piecewise algebraic curves. By using the combinatorial optimization method,an upper     

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.     

Real intersection points of piecewise algebraic curves

The piecewise algebraic curve, as the set of zeros of a bivariate spline function, is a generalization of the classical algebraic curve. In this work, we present an algorithm for computing the real intersection points of piecewise algebraic curves. It is primarily based on the interval zeros of the univariate interval polynomial in Bernstein form. An illustrative example is provided to show that the proposed algorithm is flexible.     

The Bezout Number for Piecewise Algebraic Curves

The computation of the Bezout number, the maximum number of intersection points between two piecewise algebraic curves whose common points are finite, is considered. A piecewise algebraic curve is a curve determined by a bivariate spline function. It is found that the maximum number of intersections depends not only on the degrees and the differentiability of the spline functions, but also on the structure of the partition on which the spline functions are defined.     

实分片代数曲线的拓扑结构

The piecewise algebraic curve is a kind generalization of the classical algebraic curve.By analyzing the topology of real algebraic curves on the triangles,a practi-caUy algrithm for analyzing the topology of piecewise algebraic curves is given.The algrithm produces a planar graph which is topologically equivalent to the piecewise algebraic curve.     

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

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

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.     

The Bezout number of piecewise algebraic curves

Based on the discussion of the number of roots of univariate spline and the common zero points of two piecewise algebraic curves, a lower upbound of Bezout number of two piecewise algebraic curves on any given non-obtuse-angled triangulation is found. Bezout number of two piecewise algebraic curves on two different partitions is also discussed in this paper.     

Die algebraischen Konoide mit ebener Striktionslinie

Among the algebraic ruled surfaces a theorem ofH. Brauner characterizes certain helicoids of projective screw motions by the property to possess continuous sets of plane shadow curves. Making use of this theorem all algebraic conoids with a plane striction curve are determined in euclidean 3-space and some properties of these curves are discussed.     

Curve design with rational Pythagorean-hodograph curves

The dual Bézier representation offers a simple and efficient constructive approach to rational curves with rational offsets (rational PH curves). Based on the dual form, we develop geometric algorithms for approximating a given curve with aG ² piecewise rational PH curve. The basic components of the algorithms are an appropriate geometric segmentation andG ² Hermite interpolation. The solution involves rational PH curves of algebraic class 4; these curves and important special cases are studied in detail.     

A proof of Perkoʼs conjectures for the Bogdanov–Takens system

The Bogdanov–Takens system has at most one limit cycle and, in the parameter space, it exists between a Hopf and a saddle-loop bifurcation curves. The aim of this paper is to prove the Perko?s conjectures about some analytic properties of the saddle-loop bifurcation curve. Moreover, we provide sharp piecewise algebraic upper and lower bounds for this curve.     

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.     

Fermat最后定理—历史和证明简介

本文旨在介绍Ｆｅｒｍａｔ最后定量的历史和Ｗｉｌｅｓ最近所给的证明。首先简介了其在代数数论的发展过程中所起的作用，然后介绍椭圆曲线的基本概念，叙述Ｔａｎｉｙａｍａ－Ｗｅｉｌ猜想，即任一椭圆曲线都是模的。进而介绍Ｒｉｂｅｔ的工作。他证明了若Ｔａｎｉｙａｍａ－Ｗｅｉｌ猜想对半稳定的椭圆曲线成立则Ｆｅｒｍａｔ最后定理成立。最后介绍了ｌ－ａｄｉｃ Ｇａｌｏｉｓ表示的概念及Ｗｉｌｅｓ定理，即半稳定的椭圆曲线都     

Cubic algebraic spline curves design

In this paper we propose a construction method of the planar cubic algebraic spline curve with endpoint interpolation conditions and a specific analysis of its properties. The piecewise cubic algebraic curve has G ² continuous contact with the control polygon at two endpoints and is G ² continuous between each segments of itself. The process of this method is simple and clear, and provides a new way of thinking to design implicit curves.