Abstract
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.
Similar content being viewed by others
References
K.E. Brenan, S.L. Campbell and L.R. Petzold, Numerical Solution of Initial-Value Problems in Differential-Algebraic Equations (North-Holland, Amsterdam, 1989).
S.L. Campbell, Singular Systems of Differential Equations I (Pitman, London, 1980).
S.L. Campbell, Singular Systems of Differential Equations II (Pitman, London, 1982).
S.L. Campbell, A general form for solvable linear time-varying singular systems of differential equations, SIAM J. Math. Anal. 18 (1987) 1101-1115.
S.L. Campbell and C.W. Gear, The index of general nonlinear DAEs, Numer. Math. 72 (1995) 173-196.
S.L. Campbell and E. Griepentrog, Solvability of general differential-algebraic equations, SIAM J. Sci. Comput. 16(2) (1995) 257-270.
M. Fliess, J. Lévine, P. Martin and P. Rouchon, Index and decomposition of nonlinear implicit differential equations, in: IFAC Conf. on System Structure and Control (1995).
M. Fliess, J. Lévine, P. Martin and P. Rouchon, Deux applications de la géométrie locale des diffiétés, Ann. Inst. H. Poincaré Phys. Théor. 66(3) (1997) 275-292.
M. Fliess, J. Lévine and P. Rouchon, Index of implicit time-varying linear differential equation: A noncommutative linear algebraic approach, Linear Algebra Appl. 186 (1993) 59-71.
C.W. Gear, Differential-algebraic index transformations, SIAM J. Sci. Statist. Comput. 9 (1988) 39-47.
C. Gear, Differential-algebraic equations, indices and integral algebraic equations, SIAM J. Numer. Anal. 27 (1990) 1527-1534.
H. Goldschmidt, Existence theorems for analytic linear partial differential equations, Ann. Math. 86 (1967) 246-270.
H. Goldschmidt, Integrability criteria for systems of non-linear partial differential equations, J. Differential Geom. 1 (1967) 269-307.
E. Griepentrog, M. Hanke and R. März, Toward a better understanding of differential-algebraic equations (introductory survey), Seminarberichte Nr 92-1, Humboldt-Universität zu Berlin (1992).
P. Kunkel and V. Mehrmann, Canonical forms for linear differential-algebraic equations with variable coefficients, J. Comput. Appl. Math. 56 (1994) 225-251.
P. Kunkel and V. Mehrmann, Local and global invariants of linear differential-algebraic equations and their relation, Electron Trans. Numer. Anal. 4 (1996) 138-157.
G. Le Vey, Differential-algebraic equations: A new look at the index, Research Report RR-2239, INRIA (1994); ftp://ftp.inria.fr/INRIA/publication/RR/RR-2239.ps.gz.
G. Le Vey, J. Tuomela and O.P. Piirilä, Formal theory of differential-algebraic systems, Unpublished Report (1994).
C. Lubich, E. Hairer and M. Roche, The Numerical Solution of Differential-Algebraic Equations by Runge-Kutta Methods, Lecture Notes in Mathematics 1409 (Springer, Berlin, 1989).
P.J. Olver, Applications of Lie Groups to Differential Equations (Springer, Berlin, 1986).
O.P. Piirilä and J. Tuomela, Differential-algebraic systems and formal integrability, Research Report A326, Helsinki University of Technology, Institute of Mathematics (1993).
J.F. Pommaret, Systems of Partial Differential Equations and Lie Pseudogroups (Gordon and Breach, London, 1978).
J.F. Pommaret, Partial Differential Equations and Group Theory, Mathematics and its Applications (Kluwer, Dordrecht, 1994).
J.F. Pommaret, Partial differential equations and group theory, new perspectives for applications, ERCIM Course, INRIA (April 1-5, 1996).
P.J. Rabier and W. Rheinboldt, A general existence and uniqueness theory for implicit differential-algebraic equations, Differential Integral Equations 4 (1991) 563-582.
P.J. Rabier and W. Rheinboldt, A geometric treatment of implicit differential-algebraic equations, J. Differential Equations 109 (1994) 110-146.
P.J. Rabier and W. Rheinboldt, Classical and generalized solutions of time-dependent linear differential-algebraic equations, Linear Algebra Appl. 245 (1996) 259-293.
P.J. Rabier and W. Rheinboldt, Time-dependent linear DAEs with discontinuous inputs, Linear Algebra Appl. 247 (1996) 1-29.
S. Reich, On an existence and uniqueness theory for nonlinear differential-algebraic equations, Circuits, Systems Signal Process. 10 (1991) 343-359.
S. Reich, Existence and uniqueness results for nonlinear differential-algebraic equations, Seminar-berichte Nr 92-1, Humboldt-Universität zu Berlin (1992).
W. Rheinboldt, Differential-algebraic systems as differential equations on manifolds, Math. Comput. 43 (1984) 473-482.
P. Rouchon, M. Fliess, J. Lévine and P. Martin, Flatness, motion planning and trailer systems, in: Proc. of the 32d CDC, San Antonio (1993) pp. 2700-2705.
D. Spencer, Overdetermined systems of linear partial differential equations, Bull. Amer. Math. Soc. 75 (1969) 179-239.
G. Thomas, Contributions théoriques et algorithmiques à l'étude des équations différentielles algébriques. Approche par le calcul formel, Ph.D. thesis, INP Grenoble (1997).
J. Tuomela, On the numerical solution of involutive ordinary differential systems, Research Report, Helsinki University of Technology, Institute of Mathematics (1996).
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Le Vey, G. Some remarks on solvability and various indices for implicit differential equations. Numerical Algorithms 19, 127–145 (1998). https://doi.org/10.1023/A:1019114708983
Issue Date:
DOI: https://doi.org/10.1023/A:1019114708983