Some remarks on solvability and various indices for implicit differential equations

It has been shown [17,18,21] that the notion of index for DAEs (Differential Algebraic Equations), or more generally implicit differential equations, could be interpreted in the framework of the formal theory of PDEs. Such an approach has at least two decisive advantages: on the one hand, its definition is not restricted to a “state-space” formulation (order one systems), so that it may be computed on “natural” model equations coming from physics (which can be, for example, second or fourth order in mechanics, second order in electricity, etc.) and there is no need to destroy this natural way through a first order rewriting. On the other hand, this formal framework allows for a straightforward generalization of the index to the case of PDEs (either “ordinary” or “algebraic”). In the present work, we analyze several notions of index that appeared in the literature and give a simple interpretation of each of them in the same general framework and exhibit the links they have with each other, from the formal point of view. Namely, we shall revisit the notions of differential, perturbation, local, global indices and try to give some clarification on the solvability of DAEs, with examples on time-varying implicit linear DAEs. No algorithmic results will be given here (see [34,35] for computational issues) but it has to be said that the complexity of computing the index, whatever approach is taken, is that of differential elimination, which makes it a difficult problem. We show that in fact one essential concept for our approach is that of formal integrability for usual DAEs and that of involution for PDEs. We concentrate here on the first, for the sake of simplicity. Last, because of the huge amount of work on DAEs in the past two decades, we shall mainly mention the most recent results.

[1]  J. Tuomela,et al.  On the numerical solution of involutive ordinary differential systems , 2000 .

[2]  Sebastian Reich,et al.  On an existence and uniqueness theory for nonlinear differential-algebraic equations , 1991 .

[3]  M. Fliess,et al.  Flatness, motion planning and trailer systems , 1993, Proceedings of 32nd IEEE Conference on Decision and Control.

[4]  Hubert Goldschmidt,et al.  Existence theorems for analytic linear partial differential equations , 1967 .

[5]  C. W. Gear,et al.  Differential-Algebraic Equations , 1984 .

[6]  G. L. Vey.  Differential algebraic equations : a new look at the index , 1994 .

[7]  M. Fliess,et al.  Deux applications de la géométrie locale des diffiétés , 1997 .

[8]  Gabriel Thomas.  Contributions théoriques et algorithmiques à l'étude des équations différencielles-algébriques : Approche par le calcul formel , 1997 .

[9]  J. Tuomela,et al.  Differential-Algebraic Systems and Formal Integrability , 1993 .

[10]  Jean-François Pommaret,et al.  Partial differential equations and group theory , 1994 .

[11]  S. Campbell.  Singular Systems of Differential Equations , 1980 .

[12]  J. Pommaret.  Systems of partial differential equations and Lie pseudogroups , 1978 .

[13]  Stephen L. Campbell,et al.  A general form for solvable linear time varying singular systems of differential equations , 1987 .

[14]  Pierre Rouchon,et al.  Index of an implicit time-varying linear differential equation: a noncommutative linear algebraic approach , 1993 .

[15]  Stephen L. Campbell,et al.  Solvability of General Differential Algebraic Equations , 1995, SIAM J. Sci. Comput..

[16]  Jean-François Pommaret.  Partial Differential Equations and Group Theory: New Perspectives for Applications , 2014 .

[17]  Formal Theory of Differential-algebraic Systems , 1994 .

[18]  M. Fliess,et al.  Index and Decomposition of Nonlinear Implicit Differential Equations , 1995 .

[19]  A. Jamiołkowski.  Book reviewApplications of Lie groups to differential equations : Peter J. Olver (School of Mathematics, University of Minnesota, Minneapolis, U.S.A): Graduate Texts in Mathematics, Springer-Verlag, New York, Berlin, Heidelberg, Tokyo, 1986, XXVI+497pp. , 1989 .

[20]  C. W. Gear,et al.  Differential-algebraic equations index transformations , 1988 .

[21]  Michael Hanke,et al.  Toward a better understanding of differential algebraic equations (Introductory survey) , 1992 .

[22]  W. Rheinboldt,et al.  Time-Dependent, Linear DAE's with Discontinuous Inputs , 1994 .

[23]  Werner C. Rheinboldt,et al.  CLASSICAL AND GENERALIZED SOLUTIONS OF TIME-DEPENDENT LINEAR DIFFERENTIAL-ALGEBRAIC EQUATIONS , 1996 .

[24]  C. W. Gear,et al.  Differential algebraic equations, indices, and integral algebraic equations , 1990 .

[25]  C. W. Gear,et al.  The index of general nonlinear DAEs , 1995 .

[26]  W. Rheinboldt,et al.  A Geometric Treatment of Implicit Differential-Algebraic Equations , 1994 .

[27]  Hubert Goldschmidt,et al.  Integrability criteria for systems of nonlinear partial differential equations , 1967 .

[28]  W. Rheinboldt,et al.  A general existence and uniqueness theory for implicit differential-algebraic equations , 1991, Differential and Integral Equations.

[29]  S. Campbell.  Singular systems of differential equations II , 1980 .

[30]  W. Rheinboldt.  Differential-algebraic systems as differential equations on manifolds , 1984 .

[31]  Ernst Hairer,et al.  The numerical solution of differential-algebraic systems by Runge-Kutta methods , 1989 .

[32]  Linda R. Petzold,et al.  Numerical solution of initial-value problems in differential-algebraic equations , 1996, Classics in applied mathematics.

[33]  V. Mehrmann,et al.  Canonical forms for linear differential-algebraic equations with variable coefficients , 1994 .

[34]  Volker Mehrmann,et al.  LOCAL AND GLOBAL INVARIANTS OF LINEAR DIFFERENTIAL-ALGEBRAIC EQUATIONS AND THEIR RELATION , 1996 .