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

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     

On Computing Zeros of a Bivariate Bernstein Polynomial

1.IntroductionIn[6]and[4],theproblemoffindingtheintersectionofacubicB6zierpatchandaplanewasconsidered.[6]consideredarectangular,and[41atriangularpatch.SincetheBernsteinoperatorB.:f-Bn(f)preserveslinearfunctions,theproblemwassimplifiedtothecomputationofzerosofabivariateBernsteinpolynomialB.(f).BothpaPersproducedsimpleandefficientcomputationalalgorithms.Itisbaseduponthefollowingidea:determinethepointswhereinsidethesupportthetopologyofzerosofB.(f)changes.Thiswasdonebyrestrictingthebivariatepo…     

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.     

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

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.     

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

Blending implicit interval curves and surfaces

This paper is concerned with blending algebraic implicit curve and surface representation where the functional representations have inaccuracies. Algebraic implicit interval curves and surfaces are first defined as interval algebraic objects. The interval Buchberger algorithm, relying on polynomial interval division, is then outlined. General blending problems for algebraic implicit curves and surfaces are considered and various continuity conditions are applied. Computational cases are developed for specific problems.     

To solving multiparameter problems of algebra. 10. Computing zeros of a scalar polynomial

The paper considers the problem of computing zeros of scalar polynomials in several variables. The zeros of a polynomial are subdivided into the regular (eigen-and mixed) zeros and the singular ones. An algorithm for computing regular zeros, based on a decomposition of a given polynomial into a product of primitive polynomials, is suggested. The algorithm is applied to solving systems of nonlinear algebraic equations. Bibliography: 5 titles. __________ Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 346, 2007, pp. 119–130.     

On an iterative method for simultaneous inclusion of polynomial complex zeros

Starting from disjoint discs which contain polynomial complex zeros, the iterative interval method of the third order for the simultaneous finding inclusive discs for complex zeros is formulated. The Lagrangean interpolation formula and complex circular arithmetic are used. The convergence theorem and the conditions for convergence are considered. The proposed method has been applied for solving an algebraic equation.     

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.     

The numerical evaluation of cauchy principal value integrals with non-standard weight functions

The authors develop an algorithm for the numerical evaluation of the finite Hilbert transform, with respect to non-standard weight functions, by a product quadrature rule. In particular, this algorithm allows us to deal with the weight functions with algebraic and/or logarithmic singularities in the interval [−1, 1], by using the Chebyshev points as quadrature nodes. The practical application of the rule is shown to be straightforward and to yield satisfactory numerical results. Convergence theorems are also given, when the nodes are the zeros of certain classical Jacobi polynomials and the weight is defined as a generalized Ditzian-Totik weight. This work was supported by the Ministero dell'Università e della Ricerca Scientifica e Tecnologica (first author) and by the Italian Research Council (second author).     

The Turán-type inequality in the space L0 on the unit interval

Analysis Mathematica - Let P(x) be an arbitrary algebraic polynomial of degree n with all zeros in the unit interval ?1 ≤ x ≤ 1. We establish the Turán-type inequality...