Effective differential Nullstellensatz for ordinary DAE systems with constant coefficients

DOI10.1016/J.JCO.2014.01.001MaRDI QIDQ2509948zbMATH OpenOpenAlexFDO

Authors Lisi D'Alfonso, Gabriela Jeronimo, Pablo Solernó

Publication date 31 July 2014

Published in Journal of Complexity (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1305.6298

zbMATH Keywords

DAE systemsdifferential algebradifferential eliminationdifferential Hilbert nullstellensatz

Mathematics Subject Classification ID

Differential algebra (12H05) Implicit ordinary differential equations, differential-algebraic equations (34A09)

Abstract: We give upper bounds for the differential Nullstellensatz in the case of ordinary systems of differential algebraic equations over any field of constants $K$ of characteristic $0$. Let $vecx$ be a set of $n$ differential variables, $vecf$ a finite family of differential polynomials in the ring $Kvecx$ and $finKvecx$ another polynomial which vanishes at every solution of the differential equation system $vecf=0$ in any differentially closed field containing $K$. Let $d:=maxdeg(vecf),deg(f)$ and $epsilon:=max2,mord(vecf),mord(f)$. We show that $f^M$ belongs to the algebraic ideal generated by the successive derivatives of $vecf$ of order at most $L=(nepsilond{)}^{2^{c(nepsilon{)}^3}}$, for a suitable universal constant $c>0$, and $M=d^{n(epsilon+L+1)}$. The previously known bounds for $L$ and $M$ are not elementary recursive.

Recommendations

• On bounds for the effective differential Nullstellensatz
• New effective differential Nullstellensatz
• A bound for orders in differential Nullstellensatz
• A bound for the order of characteristic set elements of an ordinary prime differential ideal and some applications
• Effective difference elimination and nullstellensatz

Cites work

• A bound for orders in differential Nullstellensatz
• An algorithm for the computation of the radical of an ideal
• Complexity of quantifier elimination in the theory of ordinary differential equations
• Definability and fast quantifier elimination in algebraically closed fields
• scientific article; zbMATH DE number 3900153 (Why is no real title available?)
• scientific article; zbMATH DE number 3937298 (Why is no real title available?)
• scientific article; zbMATH DE number 3759547 (Why is no real title available?)
• scientific article; zbMATH DE number 16653 (Why is no real title available?)
• scientific article; zbMATH DE number 177873 (Why is no real title available?)
• scientific article; zbMATH DE number 3007259 (Why is no real title available?)
• scientific article; zbMATH DE number 3334305 (Why is no real title available?)
• scientific article; zbMATH DE number 3415973 (Why is no real title available?)
• On the effective Nullstellensatz
• Recent improvements in the complexity of the effective Nullstellensatz
• Sharp Effective Nullstellensatz
• Some Basic Theorems in Differential Algebra (Characteristic p, Arbitrary)
• The Curious History of Faa di Bruno's Formula
• The Structure of Polynomial Ideals and Gröbner Bases

Cited in

(10)

• Effective bounds for the consistency of differential equations
• Proof mining and effective bounds in differential polynomial rings
• Elimination theory in differential and difference algebra
• A bound for orders in differential Nullstellensatz
• New order bounds in differential elimination algorithms
• Effective difference elimination and nullstellensatz
• A decision method for the integrability of differential-algebraic Pfaffian systems
• Effective uniform bounding in partial differential fields
• On bounds for the effective differential Nullstellensatz
• New effective differential Nullstellensatz

This page was built for publication: Effective differential Nullstellensatz for ordinary DAE systems with constant coefficients

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2509948)