New effective differential Nullstellensatz

We show new upper and lower bounds for the effective differential Nullstellensatz for differential fields of characteristic zero with several commuting derivations. Seidenberg was the first to address this problem in 1956, without giving a complete solution. The first explicit bounds appeared in 2009 in a paper by Golubitsky, Kondratieva, Szanto, and Ovchinnikov, with the upper bound expressed in terms of the Ackermann function. D'Alfonso, Jeronimo, and Solern\'o, using novel ideas, obtained in 2014 a new bound if restricted to the case of one derivation and constant coefficients. To obtain the bound in the present paper without this restriction, we extend this approach and use the new methods of Freitag and Le\'on S\'anchez and of Pierce from 2014, which represent a model-theoretic approach to differential algebraic geometry.

[1]  Agnes Szanto,et al.  A bound for orders in differential Nullstellensatz , 2008, 0803.0160.

[2]  R. Moosa,et al.  Jet and prolongation spaces , 2010, Journal of the Institute of Mathematics of Jussieu.

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

[4]  Zbigniew Jelonek,et al.  On the effective Nullstellensatz , 2005 .

[5]  J. Freitag,et al.  Effective uniform bounding in partial differential fields , 2014, 1411.0029.

[6]  David Pierce,et al.  FIELDS WITH SEVERAL COMMUTING DERIVATIONS , 2007, The Journal of Symbolic Logic.

[7]  I. Kaplansky.  An introduction to differential algebra , 1957 .

[8]  Evelyne Hubert,et al.  Factorization-free Decomposition Algorithms in Differential Algebra , 2000, J. Symb. Comput..

[9]  Teresa Krick,et al.  Sharp estimates for the arithmetic Nullstellensatz , 1999, math/9911094.

[10]  Pablo Solernó,et al.  Effective differential Nullstellensatz for ordinary DAE systems with constant coefficients , 2013, J. Complex..

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

[12]  D. Yu. Grigoryev,et al.  Complexity of quantifier elimination in the theory of ordinary differential equations , 1987, EUROCAL.

[13]  Thomas W. Dubé.  A Combinatorial Proof of the Effective Nullstellensatz , 1993, J. Symb. Comput..

[14]  François Boulier,et al.  Computing representations for radicals of finitely generated differential ideals , 2009, Applicable Algebra in Engineering, Communication and Computing.

[15]  David Marker,et al.  Model Theory of Differential Fields , 2000 .

[16]  Joos Heintz,et al.  Testing polynomials which are easy to compute (Extended Abstract) , 1980, STOC '80.

[17]  Brahim Sadik,et al.  The Complexity of Formal Resolution of Linear Partial Differential Equations , 1995, AAECC.

[18]  Alexey Ovchinnikov,et al.  On bounds for the effective differential Nullstellensatz , 2015 .

[19]  A. Seidenberg.  An elimination theory for differential algebra , 1959 .

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

[21]  J. Kollár.  Sharp effective Nullstellensatz , 1988 .

[22]  Alexandru Buium,et al.  Differential algebra and diophantine geometry , 1994 .