-
A decision method for the integrability of differential-algebraic Pfaffian systems
Authors:
Lisi D'Alfonso,
Gabriela Jeronimo,
Pablo Solernó
Abstract:
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 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.
△ Less
Submitted 20 January, 2015;
originally announced January 2015.
-
Effective Differential Nullstellensatz for Ordinary DAE Systems with Constant Coefficients
Authors:
Lisi D'Alfonso,
Gabriela Jeronimo,
Pablo Solernó
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 $\vec{x}$ be a set of $n$ differential variables, $\vec{f}$ a finite family of differential polynomials in the ring $K\{\vec{x}\}$ and $f\in K\{\vec{x}\}$ another polynomial which vanishes at every solution of the d…
▽ More
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 $\vec{x}$ be a set of $n$ differential variables, $\vec{f}$ a finite family of differential polynomials in the ring $K\{\vec{x}\}$ and $f\in K\{\vec{x}\}$ another polynomial which vanishes at every solution of the differential equation system $\vec{f}=0$ in any differentially closed field containing $K$. Let $d:=\max\{°(\vec{f}), °(f)\}$ and $ε:=\max\{2,{\rm{ord}}(\vec{f}), {\rm{ord}}(f)\}$. We show that $f^M$ belongs to the algebraic ideal generated by the successive derivatives of $\vec{f}$ of order at most $L = (nεd)^{2^{c(nε)^3}}$, for a suitable universal constant $c>0$, and $M=d^{n(ε+L+1)}$. The previously known bounds for $L$ and $M$ are not elementary recursive.
△ Less
Submitted 13 January, 2014; v1 submitted 27 May, 2013;
originally announced May 2013.
-
Effective Differential Lüroth's Theorem
Authors:
Lisi D'Alfonso,
Gabriela Jeronimo,
Pablo Solernó
Abstract:
This paper focuses on effectivity aspects of the Lüroth's theorem in differential fields. Let $\mathcal{F}$ be an ordinary differential field of characteristic 0 and $\mathcal{F}<u>$ be the field of differential rational functions generated by a single indeterminate $u$. Let be given non constant rational functions $v_1,...,v_n\in \mathcal{F}<u>$ generating a differential subfield…
▽ More
This paper focuses on effectivity aspects of the Lüroth's theorem in differential fields. Let $\mathcal{F}$ be an ordinary differential field of characteristic 0 and $\mathcal{F}<u>$ be the field of differential rational functions generated by a single indeterminate $u$. Let be given non constant rational functions $v_1,...,v_n\in \mathcal{F}<u>$ generating a differential subfield $\mathcal{G}\subseteq \mathcal{F}<e u>$. The differential Lüroth's theorem proved by Ritt in 1932 states that there exists $v\in \mathcal G$ such that $\mathcal{G}= \mathcal{F}<v>$. Here we prove that the total order and degree of a generator $v$ are bounded by $\min_j \textrm{ord} (v_j)$ and $(nd(e+1)+1)^{2e+1}$, respectively, where $e:=\max_j \textrm{ord} (v_j)$ and $d:=\max_j \textrm{deg} (v_j)$. 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.
△ Less
Submitted 1 July, 2013; v1 submitted 28 February, 2012;
originally announced February 2012.
-
A Geometric Index Reduction Method for Implicit Systems of Differential Algebraic Equations
Authors:
Lisi D'Alfonso,
Gabriella Jeronimo,
François Ollivier,
Alexandre Sedoglavic,
Pablo Solernó
Abstract:
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 i…
▽ More
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.
△ Less
Submitted 30 August, 2010;
originally announced August 2010.
-
On the Index and the Order of Quasi-regular Implicit Systems of Differential Equations
Authors:
Lisi D'Alfonso,
Gabriela Jeronimo,
Gustavo Massaccesi,
Pablo Solernó
Abstract:
This paper is mainly devoted to the study of the differentiation index and the order for quasi-regular implicit ordinary differential algebraic equation (DAE) systems. We give an algebraic definition of the differentiation index and prove a Jacobi-type upper bound for the sum of the order and the differentiation index. Our techniques also enable us to obtain an alternative proof of a combinatori…
▽ More
This paper is mainly devoted to the study of the differentiation index and the order for quasi-regular implicit ordinary differential algebraic equation (DAE) systems. We give an algebraic definition of the differentiation index and prove a Jacobi-type upper bound for the sum of the order and the differentiation index. Our techniques also enable us to obtain an alternative proof of a combinatorial bound proposed by Jacobi for the order.
As a consequence of our approach we deduce an upper bound for the Hilbert-Kolchin regularity and an effective ideal membership test for quasi-regular implicit systems. Finally, we prove a theorem of existence and uniqueness of solutions for implicit differential systems.
△ Less
Submitted 19 November, 2008; v1 submitted 30 April, 2008;
originally announced April 2008.
-
A linear algebra approach to the differentiation index of generic DAE systems
Authors:
Lisi D'Alfonso,
Gabriela Jeronimo,
Pablo Solerno
Abstract:
The notion of differentiation index for DAE systems of arbitrary order with generic second members is discussed by means of the study of the behavior of the ranks of certain Jacobian associated sub-matrices. As a by-product, we obtain upper bounds for the regularity of the Hilbert-Kolchin function and the order of the ideal associated to the DAE systems under consideration, not depending on char…
▽ More
The notion of differentiation index for DAE systems of arbitrary order with generic second members is discussed by means of the study of the behavior of the ranks of certain Jacobian associated sub-matrices. As a by-product, we obtain upper bounds for the regularity of the Hilbert-Kolchin function and the order of the ideal associated to the DAE systems under consideration, not depending on characteristic sets. Some quantitative and algorithmic results concerning differential transcendence bases and induced equivalent explicit ODE systems are also established.
△ Less
Submitted 2 August, 2007; v1 submitted 15 August, 2006;
originally announced August 2006.
