On the index and the order of quasi-regular implicit systems of differential equations

DOI10.1016/J.LAA.2008.11.029MaRDI QIDQ1014476zbMATH OpenOpenAlexFDO

Authors Lisi D'Alfonso, Gabriela Jeronimo, Pablo Solernó, Gustavo E. Massaccesi

Publication date 29 April 2009

Published in Linear Algebra and its Applications (Search for Journal in Brave)

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

zbMATH Keywords

differential algebraic equationdifferential ideal membership problemdifferentiation indexexistence and uniqueness theoremimplicit differential equationorder

Mathematics Subject Classification ID

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

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 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.

Review text

The authors study polynomial implicit differential algebraic equations using the framework of differential algebra. They assume throughout that the equation is quasi-regular with respect to some associated minimal prime ideal. The main results are a priori bounds on the differentiation index, the order, and the Hilbert-Kolchin regularity of the equation. Furthermore, they provide an effective ideal membership test and prove an existence and uniqueness theorem for analytic solutions in the neighbourhood of regular points.

Recommendations

• Some remarks on solvability and various indices for implicit differential equations
• scientific article; zbMATH DE number 4004683
• scientific article; zbMATH DE number 438868
• The order of solutions of systems of complex differential and complex differential-difference equations
• scientific article; zbMATH DE number 2125602
• scientific article; zbMATH DE number 1285134
• scientific article; zbMATH DE number 1436232
• scientific article; zbMATH DE number 31752

Cites work

• A geometric treatment of implicit differential-algebraic equations
• A linear algebra approach to the differentiation index of generic DAE systems
• Associative differential operations
• Differential Elimination–Completion Algorithms for DAE and PDAE
• scientific article; zbMATH DE number 3834104 (Why is no real title available?)
• scientific article; zbMATH DE number 2125602 (Why is no real title available?)
• scientific article; zbMATH DE number 3897078 (Why is no real title available?)
• scientific article; zbMATH DE number 3941666 (Why is no real title available?)
• scientific article; zbMATH DE number 177871 (Why is no real title available?)
• scientific article; zbMATH DE number 3484411 (Why is no real title available?)
• scientific article; zbMATH DE number 1254247 (Why is no real title available?)
• scientific article; zbMATH DE number 852526 (Why is no real title available?)
• scientific article; zbMATH DE number 3334305 (Why is no real title available?)
• scientific article; zbMATH DE number 3334465 (Why is no real title available?)
• scientific article; zbMATH DE number 3415973 (Why is no real title available?)
• Jacobi's bound for a diffiety defined by a quasi-regular system
• Jacobi's Bound for the Order of Systems of First Order Differential Equations
• Numerical solution of differential algebraic Riccati equations
• On E. Cartan's Prolongation Theorem of Exterior Differential Systems
• On implicit systems of differential equations.
• Order and Dimension
• Systems of n Partial Differential Equations in n Unknown Functions: the Conjecture of M. Janet
• The Consistent Initialization of Differential-Algebraic Systems
• The Greenspan Bound for the Order of Differential Systems
• The index of general nonlinear DAEs
• The membership problem for unmixed polynomial ideals is solvable in single exponential time

Cited in

(8)

• Difference indices of quasi-prime difference algebraic systems
• Quantitative aspects of the generalized differential Lüroth's theorem
• Jacobi's bound for a diffiety defined by a quasi-regular system
• Effective differential Lüroth's theorem
• Effective definability of Kolchin polynomials
• On initial value problems for ordinary differential-algebraic equations
• A geometric index reduction method for implicit systems of differential algebraic equations
• A linear algebra approach to the differentiation index of generic DAE systems

This page was built for publication: On the index and the order of quasi-regular implicit systems of differential equations

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