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

DOI10.1016/J.LAA.2008.11.029zbMATH Open1172.34003arXiv0804.4842OpenAlexW2964212032MaRDI QIDQ1014476FDOQ1014476

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)

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.

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

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
• scientific article; zbMATH DE number 1285134
• scientific article; zbMATH DE number 1436232
• scientific article; zbMATH DE number 31752

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Associative differential operations
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The membership problem for unmixed polynomial ideals is solvable in single exponential time
• The index of general nonlinear DAEs
• The Consistent Initialization of Differential-Algebraic Systems
• Title not available (Why is that?)
• A geometric treatment of implicit differential-algebraic equations
• Title not available (Why is that?)
• Numerical solution of differential algebraic Riccati equations
• Title not available (Why is that?)
• Title not available (Why is that?)
• Systems of n Partial Differential Equations in n Unknown Functions: the Conjecture of M. Janet
• Jacobi's Bound for the Order of Systems of First Order Differential Equations
• On E. Cartan's Prolongation Theorem of Exterior Differential Systems
• Jacobi's bound for a diffiety defined by a quasi-regular system
• On implicit systems of differential equations.
• Title not available (Why is that?)
• Title not available (Why is that?)
• Differential Elimination–Completion Algorithms for DAE and PDAE
• A linear algebra approach to the differentiation index of generic DAE systems
• The Greenspan Bound for the Order of Differential Systems
• Order and Dimension

Cited In (8)

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