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

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

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: D'Alfonso, L., Jeronimo, G., Massaccesi, G., Solernó, P.
Formato: JOUR
Materias:
Acceso en línea:http://hdl.handle.net/20.500.12110/paper_00243795_v430_n8-9_p2102_DAlfonso
Aporte de:
Descripción
Sumario: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. © 2008 Elsevier Inc. All rights reserved.