Computation of differential Chow forms for ordinary prime differential ideals

In this paper, we propose algorithms for computing differential Chow forms for ordinary prime differential ideals which are given by characteristic sets. The algorithms are based on an optimal bound for the order of a prime differential ideal in terms of a characteristic set under an arbitrary ranking, which shows the Jacobi bound conjecture holds in this case. Apart from the order bound, we also give a degree bound for the differential Chow form. In addition, for a prime differential ideal given by a characteristic set under an orderly ranking, a much simpler algorithm is given to compute its differential Chow form. The computational complexity of the algorithms is single exponential in terms of the Jacobi number, the maximal degree of the differential polynomials in a characteristic set, and the number of variables.

[1]  J. Ritt Jacobi's Problem on the Order of a System of Differential Equations , 1935 .

[2]  R. Cohn Order and dimension , 1983 .

[3]  Agnes Szanto,et al.  Computation with polynomial systems , 1999 .

[4]  Patrice Philippon,et al.  Critères Pour L’indépendance Algébrique , 1986 .

[5]  Richard M. Cohn The Greenspan bound for the order of differential systems , 1980 .

[6]  I. M. Gelʹfand,et al.  Discriminants, Resultants, and Multidimensional Determinants , 1994 .

[7]  Ju V Nesterenko Estimates for the Orders of Zeros of Functions of a Certain Class and Applications in the Theory of Transcendental Numbers , 1977 .

[8]  Jacobi’s bound for systems of algebraic differential equations , 2009 .

[9]  Oleg Golubitsky,et al.  On the generalized Ritt problem as a computational problem , 2009 .

[10]  Xiao-Shan Gao,et al.  Intersection theory in differential algebraic geometry: Generic intersections and the differential Chow form , 2010, Transactions of the American Mathematical Society.

[11]  Joseph Johnson,et al.  Systems of $n$ partial differential equations in $n$ unknown functions: the conjecture of M. Janet , 1978 .

[12]  François Ollivier Looking for the order of a system of arbitrary ordinary differential equations , 2009, Applicable Algebra in Engineering, Communication and Computing.

[13]  P ? ? ? ? ? ? ? % ? ? ? ? , 1991 .

[14]  Brahim Sadik,et al.  A Bound for the Order of Characteristic Set Elements of an Ordinary Prime Differential Ideal and some Applications , 2000, Applicable Algebra in Engineering, Communication and Computing.

[15]  Joseph Johnson,et al.  Kahler Differentials and Differential Algebra , 1969 .

[16]  Joos Heintz,et al.  Corrigendum: Definability and Fast Quantifier Elimination in Algebraically Closed Fields , 1983, Theor. Comput. Sci..

[17]  Xiao-Shan Gao,et al.  Intersection Theory for Generic Differential Polynomials and Differential Chow Form , 2010, ArXiv.

[18]  William Y. Sit THE RITT–KOLCHIN THEORY FOR DIFFERENTIAL POLYNOMIALS , 2002 .

[19]  J. Ritt Partial differential algebra , 1950 .

[20]  Carl Gustav Jacob,et al.  Looking for the order of a system of arbitrary ordinary differential equations , 2013 .

[21]  W. V. Hodge,et al.  Methods of algebraic geometry , 1947 .

[22]  Matthew Harrison-Trainor,et al.  Nonstandard methods for bounds in differential polynomial rings , 2011, 1105.0600.

[23]  Wu Wen-tsun On Chern numbers of algebraic varieties with arbitrary singularities , 1987 .

[24]  Don Coppersmith,et al.  Matrix multiplication via arithmetic progressions , 1987, STOC.

[25]  Evelyne Hubert,et al.  Resolvent Representation for Regular Differential Ideals , 2003, Applicable Algebra in Engineering, Communication and Computing.

[26]  B. Lando Jacobi’s bound for the order of systems of first order differential equations , 1970 .

[27]  Xiao-Shan Gao,et al.  Differential Chow Form for Projective Differential Variety , 2011, ArXiv.

[28]  A. V. Mikhalev,et al.  Differential and Difference Dimension Polynomials , 1998 .

[29]  E. Kolchin Differential Algebra and Algebraic Groups , 2012 .

[30]  B. L. Waerden,et al.  Zur algebraischen Geometrie. IX , 1937 .

[31]  Joachim von zur Gathen,et al.  Parallel algorithms for algebraic problems , 1983, SIAM J. Comput..

[32]  Bernd Sturmfels,et al.  Chow polytopes and general resultants , 1992 .

[33]  Teresa Krick,et al.  The Computational Complexity of the Chow Form , 2002, Found. Comput. Math..

[34]  D. Eisenbud Commutative Algebra: with a View Toward Algebraic Geometry , 1995 .

[35]  Xiao-Shan Gao,et al.  Chow form for projective differential variety , 2012 .

[36]  Oleg Golubitsky,et al.  Algebraic transformation of differential characteristic decompositions from one ranking to another , 2009, J. Symb. Comput..

[37]  E. R. Kolchin,et al.  The notion of dimension in the theory of algebraic differential equations , 1964 .

[38]  Marc Moreno Maza,et al.  Computing differential characteristic sets by change of ordering , 2010, J. Symb. Comput..

[39]  W. Brownawell Bounds for the degrees in the Nullstellensatz , 1987 .

[40]  Bernd Sturmfels,et al.  Product formulas for resultants and Chow forms , 1993 .

[41]  Giovanni Gallo,et al.  Efficient algorithms and bounds for Wu-Ritt characteristic sets , 1991 .

[42]  Xiao-Shan Gao,et al.  Sparse differential resultant , 2011, ISSAC '11.

[43]  Leandro Caniglia,et al.  How to compute the Chow form of an unmixed polynomial ideal in single exponential time , 1990, Applicable Algebra in Engineering, Communication and Computing.