In this paper we propose a construction method of the planar cubic algebraic splinecurve with endpoint interpolation conditions and a specific analysis of its properties. Thepiecewise cubic algebraic curve has G2 cont...In this paper we propose a construction method of the planar cubic algebraic splinecurve with endpoint interpolation conditions and a specific analysis of its properties. Thepiecewise cubic algebraic curve has G2 continuous contact with the control polygon at twoendpoints and is G2 continuous between each segments of itself. The process of this method issimple and clear, and provides a new way of thinking to design implicit curves.展开更多
In this paper, a type of preserving GC1 quadratic algebraic polynomial curve approximate implicitization method for parametric curves is presented The coefficients of the implicit polynomial are determined by the GC1...In this paper, a type of preserving GC1 quadratic algebraic polynomial curve approximate implicitization method for parametric curves is presented The coefficients of the implicit polynomial are determined by the GC1 continuity conditions and an optimal function's minimization Numerical examples show that this method is effective展开更多
Optimal parameterization of specified segment on the algebraic curves is a hot issue in CAGD and CG. Take the optimal approximation of arc-length parameterization as the criterion of optimal parameterization, and the ...Optimal parameterization of specified segment on the algebraic curves is a hot issue in CAGD and CG. Take the optimal approximation of arc-length parameterization as the criterion of optimal parameterization, and the optimal or close to optimal rational parameterization formula of any specified segment on the conic curves is obtained. The new method proposed in this paper has ad- vantage in quantity of calculation and has strong self-adaptability. Finally, a experimental comparison of the results obtained by this method and by the traditional parametric algorithm is conducted.展开更多
In this paper, we rewrote the equation of algebraic curve segmentswith the geometric informationonboth ends. The optimal or nearly optimal rationalparametric equation is determinedbythe principle that parametricspeeds...In this paper, we rewrote the equation of algebraic curve segmentswith the geometric informationonboth ends. The optimal or nearly optimal rationalparametric equation is determinedbythe principle that parametricspeedsat both endsareequal. Comparing withotherliteratures, the methodofthis paper has advantage in efficiency andiseasy to realize. The equation of optimal rational parameterization can be obtained directly by the information of both ends. Large numbers ofexperimental data show that our method hasbeen given withmore self-adaptability and accuracy than that ofotherliteratures, and if the parametricspeedat any end reaches its maximum or minimum value, the parameterization is optimal; otherwise itis close tooptimal rational parameterization.展开更多
We use a combination of both algebraic and numerical techniques to construct a C-1-continuous, piecewise (m, n) rational epsilon-approximation of a real algebraic plane curve of degree d. At singular points we use the...We use a combination of both algebraic and numerical techniques to construct a C-1-continuous, piecewise (m, n) rational epsilon-approximation of a real algebraic plane curve of degree d. At singular points we use the classical Weierstrass Preparation Theorem and Newton power series factorizations, based on the technique of Hensel lifting. These, together with modified rational Pade approximations, are used to efficiently construct locally approximate, rational parametric representations for all real branches of an algebraic plane curve. Besides singular points we obtain an adaptive selection of simple points about which the curve approximations yield a small number of pieces yet achieve C-1 continuity between pieces. The simpler cases of C-1 and C-0 continuity are also handled in a similar manner. The computation of singularity, the approximation error bounds and details of the implementation of these algorithms are also provided.展开更多
In this article,the authors consider a class of Kukles planar polynomial differential system of degree three having an invariant parabola.For this class of second-order differential systems,it is shown that for certai...In this article,the authors consider a class of Kukles planar polynomial differential system of degree three having an invariant parabola.For this class of second-order differential systems,it is shown that for certain values of the parameters the invariant parabola coexists with a center.For other values it can coexist with one,two or three small amplitude limit cycles which are constructed by Hopf bifurcation.This result gives an answer for the question given in[4],about the existence of limit cycles for such class of system.展开更多
The piecewise algebraic curve is a kind generalization of the classical algebraic curve. Nther-type theorem of piecewise algebraic curves on the cross-cut partition is very important to construct the Lagrange interpol...The piecewise algebraic curve is a kind generalization of the classical algebraic curve. Nther-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 Nther-type theorem of piecewise algebraic curves on the arbitrary triangulation is presented.展开更多
We present an introduction to the Darboux integrability theory of planar complex and real polynomial differential systems containing some improvements to the classical theory.
This paper deals with Hilbert's 16th problem and its generalizations. The configurations of all closed branches of an algebraic curve of degree n are discussed. The maximum number of sheets for an algebraic eq...This paper deals with Hilbert's 16th problem and its generalizations. The configurations of all closed branches of an algebraic curve of degree n are discussed. The maximum number of sheets for an algebraic equation of degree n and the maximum number of limit cycles for a planar algebraic autonomous system are achieved. The author also considers different generalizations and some related problems.展开更多
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 triangu...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 ranT 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.展开更多
In this paper,we show that for any given planar cubic algebraic curves defined by a quadratic Hamiltonian vector field,we can always have their exact explicit parametric representations. We use a model of micro-struct...In this paper,we show that for any given planar cubic algebraic curves defined by a quadratic Hamiltonian vector field,we can always have their exact explicit parametric representations. We use a model of micro-structured solid to show an application of our conclusions.展开更多
In the present paper, we make use of codes with good parameters and algebraic curves over finite fields with many rational points to construct dense packings of superballs. It turns out that our packing density is qui...In the present paper, we make use of codes with good parameters and algebraic curves over finite fields with many rational points to construct dense packings of superballs. It turns out that our packing density is quite reasonable. In particular, we improve some values for the best-known lower bounds on packing density.展开更多
The aim of this paper is to study numerical realization of the conditions of Max Nother's residual intersection theorem. The numerical realization relies on obtaining the inter- section of two algebraic curves by hom...The aim of this paper is to study numerical realization of the conditions of Max Nother's residual intersection theorem. The numerical realization relies on obtaining the inter- section of two algebraic curves by homotopy continuation method, computing the approximate places of an algebraic curve, getting the exact orders of a polynomial at the places, and determin- ing the multiplicity and character of a point of an algebraic curve. The numerical experiments show that our method is accurate, effective and robust without using multiprecision arithmetic, even if the coefficients of algebraic curves are inexact. We also conclude that the computational complexity of the numerical realization is polynomial time.展开更多
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-obt...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.展开更多
The authors discuss the existence and classification of stable vector bundles of rank 3, with 2 3 or 4 linearly independent holomorphic sections. The sets of all such bundles are denoted by ω3^2,d and w3 respectivel...The authors discuss the existence and classification of stable vector bundles of rank 3, with 2 3 or 4 linearly independent holomorphic sections. The sets of all such bundles are denoted by ω3^2,d and w3 respectively. Our argument leads to sufficient and necessary conditions for the existence of both kinds of bundles. The conclusion is very interesting because of its contradiction to the conjectured dimension formula of stable bundles. Finally, we give a preliminary classification of ω3^2,4 and a complete discussion on the structure of ω3^3,2/3g+2.展开更多
In this paper, we study a new class of quadratic systems and classify all its phase portraits. More precisely, we characterize the class of all quadratic polynomial differential systems in the plane having a complex e...In this paper, we study a new class of quadratic systems and classify all its phase portraits. More precisely, we characterize the class of all quadratic polynomial differential systems in the plane having a complex ellipse x^2 + y^2 + 1 = 0 as invariant algebraic curve. We provide all the different topological phase portraits that this class exhibits in the Poincare disc.展开更多
This paper presents an algorithm to compute the topology of an algebraic space curve.This is a modified version of the previous algorithm.Furthermore,the authors also analyse the bit complexity of the algorithm,which ...This paper presents an algorithm to compute the topology of an algebraic space curve.This is a modified version of the previous algorithm.Furthermore,the authors also analyse the bit complexity of the algorithm,which is O(N^(20)),where N=max{d,τ},d andτare the degree bound and the bit size bound of the coefficients of the defining polynomials of the algebraic space curve.To our knowledge,this is the best bound among the existing work.It gains the existing results at least N^(2).Meanwhile,the paper contains some contents of the conference papers(CASC 2014 and SNC 2014).展开更多
If a first-order algebraic ODE is defined over a certain differential field,then the most elementary solution class,in which one can hope to find a general solution,is given by the adjunction of a single arbitrary con...If a first-order algebraic ODE is defined over a certain differential field,then the most elementary solution class,in which one can hope to find a general solution,is given by the adjunction of a single arbitrary constant to this field.Solutions of this type give rise to a particular kind of generic point—a rational parametrization—of an algebraic curve which is associated in a natural way to the ODE’s defining polynomial.As for the opposite direction,we show that a suitable rational parametrization of the associated curve can be extended to a general solution of the ODE if and only if one can find a certain automorphism of the solution field.These automorphisms are determined by linear rational functions,i.e.,Möbius transformations.Intrinsic properties of rational parametrizations,in combination with the particular shape of such automorphisms,lead to a number of necessary conditions on the existence of general solutions in this solution class.Furthermore,the desired linear rational function can be determined by solving a comparatively simple differential system over the ODE’s field of definition.These results hold for arbitrary differential fields of characteristic zero.展开更多
This paper considers the class of autonomous algebraic ordinary differential equations(AODEs)of order one,and studies their Liouvillian general solutions.In particular,let F(y,w)=0 be a rational algebraic curve over C...This paper considers the class of autonomous algebraic ordinary differential equations(AODEs)of order one,and studies their Liouvillian general solutions.In particular,let F(y,w)=0 be a rational algebraic curve over C.The authors give necessary and sufficient conditions for the autonomous first-order AODE F(y,y′)=0 to have a Liouvillian solution over C.Moreover,the authors show that a Liouvillian solutionαof this equation is either an algebraic function over C(x)or an algebraic function over C(exp(ax)).As a byproduct,these results lead to an algorithm for determining a Liouvillian general solution of an autonomous AODE of order one of genus zero.Rational parametrizations of rational algebraic curves play an important role on this method.展开更多
基金Supported by the National Key Basic Research Project of China (No. 2004CB318000)the NSF of China(No. 60533060/60872095)+1 种基金the Specialized Research Fund for the Doctoral Program of Higher Education (No.20060358055)the Subject Foundation in Ningbo University(No. xkl09046)
文摘In this paper we propose a construction method of the planar cubic algebraic splinecurve with endpoint interpolation conditions and a specific analysis of its properties. Thepiecewise cubic algebraic curve has G2 continuous contact with the control polygon at twoendpoints and is G2 continuous between each segments of itself. The process of this method issimple and clear, and provides a new way of thinking to design implicit curves.
基金the Younger Foundation of ShanghaiEducation Committee
文摘In this paper, a type of preserving GC1 quadratic algebraic polynomial curve approximate implicitization method for parametric curves is presented The coefficients of the implicit polynomial are determined by the GC1 continuity conditions and an optimal function's minimization Numerical examples show that this method is effective
文摘Optimal parameterization of specified segment on the algebraic curves is a hot issue in CAGD and CG. Take the optimal approximation of arc-length parameterization as the criterion of optimal parameterization, and the optimal or close to optimal rational parameterization formula of any specified segment on the conic curves is obtained. The new method proposed in this paper has ad- vantage in quantity of calculation and has strong self-adaptability. Finally, a experimental comparison of the results obtained by this method and by the traditional parametric algorithm is conducted.
文摘In this paper, we rewrote the equation of algebraic curve segmentswith the geometric informationonboth ends. The optimal or nearly optimal rationalparametric equation is determinedbythe principle that parametricspeedsat both endsareequal. Comparing withotherliteratures, the methodofthis paper has advantage in efficiency andiseasy to realize. The equation of optimal rational parameterization can be obtained directly by the information of both ends. Large numbers ofexperimental data show that our method hasbeen given withmore self-adaptability and accuracy than that ofotherliteratures, and if the parametricspeedat any end reaches its maximum or minimum value, the parameterization is optimal; otherwise itis close tooptimal rational parameterization.
文摘We use a combination of both algebraic and numerical techniques to construct a C-1-continuous, piecewise (m, n) rational epsilon-approximation of a real algebraic plane curve of degree d. At singular points we use the classical Weierstrass Preparation Theorem and Newton power series factorizations, based on the technique of Hensel lifting. These, together with modified rational Pade approximations, are used to efficiently construct locally approximate, rational parametric representations for all real branches of an algebraic plane curve. Besides singular points we obtain an adaptive selection of simple points about which the curve approximations yield a small number of pieces yet achieve C-1 continuity between pieces. The simpler cases of C-1 and C-0 continuity are also handled in a similar manner. The computation of singularity, the approximation error bounds and details of the implementation of these algorithms are also provided.
基金NNSF of China(10671211)NSF of Hunan Province(07JJ3005)USM(120628 and 120627)
文摘In this article,the authors consider a class of Kukles planar polynomial differential system of degree three having an invariant parabola.For this class of second-order differential systems,it is shown that for certain values of the parameters the invariant parabola coexists with a center.For other values it can coexist with one,two or three small amplitude limit cycles which are constructed by Hopf bifurcation.This result gives an answer for the question given in[4],about the existence of limit cycles for such class of system.
基金partially supported by the National Natural Science Foundation of China(Grant Nos.60373093,60533060)the Research Project of Liaoning Educational Committee(Grant No.2005085)
文摘The piecewise algebraic curve is a kind generalization of the classical algebraic curve. Nther-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 Nther-type theorem of piecewise algebraic curves on the arbitrary triangulation is presented.
文摘We present an introduction to the Darboux integrability theory of planar complex and real polynomial differential systems containing some improvements to the classical theory.
文摘This paper deals with Hilbert's 16th problem and its generalizations. The configurations of all closed branches of an algebraic curve of degree n are discussed. The maximum number of sheets for an algebraic equation of degree n and the maximum number of limit cycles for a planar algebraic autonomous system are achieved. The author also considers different generalizations and some related problems.
基金The first author is supported by National Natural Science Foundation of China (Grant Nos. U0935004, 11071031, 11001037, 10801024) and the Fundamental Research Funds for the Central Universities (Grant Nos. DUT10ZDll2, DUT10JS02) the second author is supported by the 973 Program (2011CB302703), National Natural Science Foundation of China (Grant Nos. U0935004, 60825203, 61033004, 60973056, 60973057, 61003182), and Beijing Natural Science Foundation (4102009) We thank the referees for valuable suggestions which improve the presentation of this paper.
文摘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 ranT 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.
基金Supported by the National Natural Science Foundation of China(11471289,11162020)
文摘In this paper,we show that for any given planar cubic algebraic curves defined by a quadratic Hamiltonian vector field,we can always have their exact explicit parametric representations. We use a model of micro-structured solid to show an application of our conclusions.
基金National Scientific Research Project 973 of China 2004CB318000
文摘In the present paper, we make use of codes with good parameters and algebraic curves over finite fields with many rational points to construct dense packings of superballs. It turns out that our packing density is quite reasonable. In particular, we improve some values for the best-known lower bounds on packing density.
基金Supported by the National Natural Science Foundation of China(61432003,61033012,11171052)
文摘The aim of this paper is to study numerical realization of the conditions of Max Nother's residual intersection theorem. The numerical realization relies on obtaining the inter- section of two algebraic curves by homotopy continuation method, computing the approximate places of an algebraic curve, getting the exact orders of a polynomial at the places, and determin- ing the multiplicity and character of a point of an algebraic curve. The numerical experiments show that our method is accurate, effective and robust without using multiprecision arithmetic, even if the coefficients of algebraic curves are inexact. We also conclude that the computational complexity of the numerical realization is polynomial time.
基金Supported by the Educational Commission of Hebei Province of China (Grant No. Z2010260)National Natural Science Foundation of China (Grant Nos. 11126213 and 61170317)
文摘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.
文摘The authors discuss the existence and classification of stable vector bundles of rank 3, with 2 3 or 4 linearly independent holomorphic sections. The sets of all such bundles are denoted by ω3^2,d and w3 respectively. Our argument leads to sufficient and necessary conditions for the existence of both kinds of bundles. The conclusion is very interesting because of its contradiction to the conjectured dimension formula of stable bundles. Finally, we give a preliminary classification of ω3^2,4 and a complete discussion on the structure of ω3^3,2/3g+2.
基金partially supported by a MINECO/FEDER grant MTM2013-40998-Pan AGAUR grant number 2014 SGR568+2 种基金the grants FP7-PEOPLE-2012-IRSES 318999 and 316338the MINECO/FEDER grant UNAB13-4E-1604partially supported by FCT/Portugal through UID/MAT/04459/2013
文摘In this paper, we study a new class of quadratic systems and classify all its phase portraits. More precisely, we characterize the class of all quadratic polynomial differential systems in the plane having a complex ellipse x^2 + y^2 + 1 = 0 as invariant algebraic curve. We provide all the different topological phase portraits that this class exhibits in the Poincare disc.
基金Hubei Provincial Natural Science Foundation of China under Grant No.2020CFB479the Research and Development Funds of Hubei University of Science and Technology under Grant No.BK202024the National Natural Science Foundation of China under Grant No.11471327。
文摘This paper presents an algorithm to compute the topology of an algebraic space curve.This is a modified version of the previous algorithm.Furthermore,the authors also analyse the bit complexity of the algorithm,which is O(N^(20)),where N=max{d,τ},d andτare the degree bound and the bit size bound of the coefficients of the defining polynomials of the algebraic space curve.To our knowledge,this is the best bound among the existing work.It gains the existing results at least N^(2).Meanwhile,the paper contains some contents of the conference papers(CASC 2014 and SNC 2014).
文摘If a first-order algebraic ODE is defined over a certain differential field,then the most elementary solution class,in which one can hope to find a general solution,is given by the adjunction of a single arbitrary constant to this field.Solutions of this type give rise to a particular kind of generic point—a rational parametrization—of an algebraic curve which is associated in a natural way to the ODE’s defining polynomial.As for the opposite direction,we show that a suitable rational parametrization of the associated curve can be extended to a general solution of the ODE if and only if one can find a certain automorphism of the solution field.These automorphisms are determined by linear rational functions,i.e.,Möbius transformations.Intrinsic properties of rational parametrizations,in combination with the particular shape of such automorphisms,lead to a number of necessary conditions on the existence of general solutions in this solution class.Furthermore,the desired linear rational function can be determined by solving a comparatively simple differential system over the ODE’s field of definition.These results hold for arbitrary differential fields of characteristic zero.
基金supported by Vietnam National Foundation for Science and Technology Development(NAFOSTED)under Grant No.101.04-2017.312。
文摘This paper considers the class of autonomous algebraic ordinary differential equations(AODEs)of order one,and studies their Liouvillian general solutions.In particular,let F(y,w)=0 be a rational algebraic curve over C.The authors give necessary and sufficient conditions for the autonomous first-order AODE F(y,y′)=0 to have a Liouvillian solution over C.Moreover,the authors show that a Liouvillian solutionαof this equation is either an algebraic function over C(x)or an algebraic function over C(exp(ax)).As a byproduct,these results lead to an algorithm for determining a Liouvillian general solution of an autonomous AODE of order one of genus zero.Rational parametrizations of rational algebraic curves play an important role on this method.