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

orderdifferential algebraic equationdifferentiation indexexistence and uniqueness theoremimplicit differential equationdifferential ideal membership problem

Mathematics Subject Classification ID

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

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.

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

• 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?)
• 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
• Jacobi's Bound for the Order of Systems of First Order Differential Equations
• Jacobi's bound for a diffiety defined by a quasi-regular system
• 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)

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

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)