Abstract: 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.
Recommendations
- On bounds for the effective differential Nullstellensatz
- Nonstandard methods for bounds in differential polynomial rings
- Effective differential Nullstellensatz for ordinary DAE systems with constant coefficients
- A new bound for the existence of differential field extensions
- A bound for orders in differential Nullstellensatz
Cites work
- scientific article; zbMATH DE number 3135927 (Why is no real title available?)
- scientific article; zbMATH DE number 3135928 (Why is no real title available?)
- scientific article; zbMATH DE number 3759547 (Why is no real title available?)
- scientific article; zbMATH DE number 1057762 (Why is no real title available?)
- scientific article; zbMATH DE number 858680 (Why is no real title available?)
- scientific article; zbMATH DE number 3227138 (Why is no real title available?)
- scientific article; zbMATH DE number 3415973 (Why is no real title available?)
- scientific article; zbMATH DE number 963674 (Why is no real title available?)
- A bound for orders in differential Nullstellensatz
- A combinatorial proof of the effective Nullstellensatz
- Bounds for the degrees in the Nullstellensatz
- Complexity of quantifier elimination in the theory of ordinary differential equations
- Computing representations for radicals of finitely generated differential ideals
- Effective differential Nullstellensatz for ordinary DAE systems with constant coefficients
- Effective uniform bounding in partial differential fields
- Factorization-free decomposition algorithms in differential algebra
- Fields with several commuting derivations
- Jet and prolongation spaces
- Nonstandard methods for bounds in differential polynomial rings
- On bounds for the effective differential Nullstellensatz
- On the effective Nullstellensatz
- Sharp Effective Nullstellensatz
- Sharp estimates for the arithmetic Nullstellensatz
Cited in
(15)- Elimination theory in differential and difference algebra
- Effective differential Nullstellensatz for ordinary DAE systems with constant coefficients
- Algorithms yield upper bounds in differential algebra
- On the differential and full algebraic complexities of operator matrices transformations
- Effective bounds for the consistency of differential equations
- A new bound for the existence of differential field extensions
- A bound for orders in differential Nullstellensatz
- Dynamical method in algebra: Effective Nullstellensätze
- Combinatorial differential algebra of \(x^p\)
- New order bounds in differential elimination algorithms
- Products of ideals and jet schemes
- Simple differential field extensions and effective bounds
- Advances in elimination theory for algebraic differential and difference equations
- Proof mining and effective bounds in differential polynomial rings
- Nonstandard methods for bounds in differential polynomial rings
This page was built for publication: New effective differential Nullstellensatz
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q908094)
