BZPEERSource author record
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
Catalog footprint
Published work
We prove an effective integrability criterion for differential-algebraic Pfaffian systems leading to a decision method of consistency with a triple exponential complexity bound. As a byproduct, we obtain an upper bound for the order of differentiations in the differential Nullstellensatz for these systems.
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 x be a set of n differential variables, f a finite family of differential polynomials in the ring K{x} and f∈K{x} another polynomial which vanishes at every solution of the differential equation system f=0 in any differentially closed field containing K. Let d:=max{°(f),°(f)} and ε:=max{2,ord(f),ord(f)}. We show that fM belongs to the algebraic ideal generated by the successive derivatives of f of order at most L=(nεd)2c(nε)3, for a suitable universal constant c>0, and M=dn(ε+L+1). The previously known bounds for L and M are not elementary recursive.
This paper focuses on effectivity aspects of the Lüroth's theorem in differential fields. Let F be an ordinary differential field of characteristic 0 and F<u> be the field of differential rational functions generated by a single indeterminate u. Let be given non constant rational functions v1,...,vn∈F<u> generating a differential subfield G⊆F<eu>. The differential Lüroth's theorem proved by Ritt in 1932 states that there exists v∈G such that G=F<v>. Here we prove that the total order and degree of a generator v are bounded by minjord(vj) and (nd(e+1)+1)2e+1, respectively, where e:=maxjord(vj) and d:=maxjdeg(vj). As a byproduct, our techniques enable us to compute a Lüroth generator by dealing with a polynomial ideal in a polynomial ring in finitely many variables.
This paper deals with the index reduction problem for the class of quasi-regular DAE systems. It is shown that any of these systems can be transformed to a generically equivalent first order DAE system consisting of a single purely algebraic (polynomial) equation plus an under-determined ODE (that is, a semi-explicit DAE system of differentiation index 1) in as many variables as the order of the input system. This can be done by means of a Kronecker-type algorithm with bounded complexity.
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.