On the standard canonical form of time-varying linear DAEs
Authors:
Thomas Berger and Achim Ilchmann
Journal:
Quart. Appl. Math. 71 (2013), 69-87
MSC (2010):
Primary 34A09, 65L80
DOI:
https://doi.org/10.1090/S0033-569X-2012-01285-1
Published electronically:
August 27, 2012
MathSciNet review:
3075536
Full-text PDF Free Access
Abstract |
References |
Similar Articles |
Additional Information
Abstract: We introduce a solution theory for time-varying linear differential-algebraic equations (DAEs) $E(t)\dot x=A(t)x$ which can be transformed into standard canonical form (SCF); i.e., the DAE is decoupled into an ODE $\dot z_1 = J(t)z_1$ and a pure DAE $N(t) \dot z_2 = z_2$, where $N$ is pointwise strictly lower triangular. This class is a time-varying generalization of time-invariant DAEs where the corresponding matrix pencil is regular. It will be shown in which sense the SCF is a canonical form, that it allows for a transition matrix similar to the one for ODEs, and how this can be exploited to derive a variation of constants formula. Furthermore, we show in which sense the class of systems transferable into SCF is equivalent to DAEs which are analytically solvable, and relate SCF to the derivative array approach, differentiation index and strangeness index. Finally, an algorithm is presented which determines the transformation matrices which put a DAE into SCF.
References
- Thomas Berger and Achim Ilchmann. On stability of time-varying linear differential-algebraic equations. Preprint 10-12 available online, Institute for Mathematics, Ilmenau University of Technology, 2010.
- Stephen L. Campbell, One canonical form for higher-index linear time-varying singular systems, Circuits Systems Signal Process. 2 (1983), no. 3, 311–326. MR 730133, DOI https://doi.org/10.1007/BF01599073
- Stephen L. Campbell, The numerical solution of higher index linear time varying singular systems of differential equations, SIAM J. Sci. Statist. Comput. 6 (1985), no. 2, 334–348. MR 779409, DOI https://doi.org/10.1137/0906024
- Stephen L. Campbell, A general form for solvable linear time varying singular systems of differential equations, SIAM J. Math. Anal. 18 (1987), no. 4, 1101–1115. MR 892491, DOI https://doi.org/10.1137/0518081
- Stephen L. Campbell and Linda R. Petzold, Canonical forms and solvable singular systems of differential equations, SIAM J. Algebraic Discrete Methods 4 (1983), no. 4, 517–521. MR 721621, DOI https://doi.org/10.1137/0604051
- F. R. Gantmacher, The theory of matrices. Vols. 1, 2, Chelsea Publishing Co., New York, 1959. Translated by K. A. Hirsch. MR 0107649
- Diederich Hinrichsen and Anthony J. Pritchard, Mathematical systems theory. I, Texts in Applied Mathematics, vol. 48, Springer-Verlag, Berlin, 2005. Modelling, state space analysis, stability and robustness. MR 2116013
- Peter Kunkel and Volker Mehrmann, Differential-algebraic equations, EMS Textbooks in Mathematics, European Mathematical Society (EMS), Zürich, 2006. Analysis and numerical solution. MR 2225970
- Peter Kunkel and Volker Mehrmann, Stability properties of differential-algebraic equations and spin-stabilized discretizations, Electron. Trans. Numer. Anal. 26 (2007), 385–420. MR 2391228
- R. März, The index of linear differential algebraic equations with properly stated leading terms, Results Math. 42 (2002), no. 3-4, 308–338. MR 1946748, DOI https://doi.org/10.1007/BF03322858
- M. P. Quéré and G. Villard. An algorithm for the reduction of linear DAE. In Proc. of the 1995 Int. Symp. on Symbolic and Algebraic Computation, 223–231, Montreal, Canada, 1995.
- Patrick J. Rabier and Werner C. Rheinboldt, Classical and generalized solutions of time-dependent linear differential-algebraic equations, Linear Algebra Appl. 245 (1996), 259–293. MR 1404179, DOI https://doi.org/10.1016/0024-3795%2894%2900243-6
- L. M. Silverman and R. S. Bucy, Generalizations of a theorem of Doležal, Math. Systems Theory 4 (1970), 334–339. MR 276253, DOI https://doi.org/10.1007/BF01704077
References
- Thomas Berger and Achim Ilchmann. On stability of time-varying linear differential-algebraic equations. Preprint 10-12 available online, Institute for Mathematics, Ilmenau University of Technology, 2010.
- Stephen L. Campbell. One canonical form for higher-index linear time-varying singular systems. Circuits Systems Signal Process., 2(3):311–326, 1983. MR 730133 (85k:34008)
- Stephen L. Campbell. The numerical solution of higher index linear time varying singular systems of differential equations. SIAM J. Sci. Stat. Comput., 6(2):334–348, 1985. MR 779409 (86e:65091)
- Stephen L. Campbell. A general form for solvable linear time varying singular systems of differential equations. SIAM J. Math. Anal., 18(4):1101–1115, 1987. MR 892491 (88g:34020)
- Stephen L. Campbell and Linda R. Petzold. Canonical forms and solvable singular systems of differential equations. SIAM J. Alg. & Disc. Meth., 4:517–521, 1983. MR 721621 (85a:34056)
- Felix R. Gantmacher. The Theory of Matrices (Vol. II). Chelsea, New York, 1959. MR 0107649 (21:6372c)
- Diederich Hinrichsen and Anthony J. Pritchard. Mathematical Systems Theory I. Modelling, State Space Analysis, Stability and Robustness. Springer-Verlag, Berlin, 2005. MR 2116013 (2005j:93001)
- Peter Kunkel and Volker Mehrmann. Differential-Algebraic Equations. Analysis and Numerical Solution. EMS Publishing House, Zürich, Switzerland, 2006. MR 2225970 (2007e:34001)
- Peter Kunkel and Volker Mehrmann. Stability properties of differential-algebraic equations and spin-stabilized discretizations. Electr. Trans. on Numerical Analysis, 26:385–420, 2007. MR 2391228 (2009a:65180)
- Roswitha März. The index of linear differential algebraic equations with properly stated leading terms. Results in Mathematics, 42:308–338, 2002. MR 1946748 (2003i:34004)
- M. P. Quéré and G. Villard. An algorithm for the reduction of linear DAE. In Proc. of the 1995 Int. Symp. on Symbolic and Algebraic Computation, 223–231, Montreal, Canada, 1995.
- Patrick J. Rabier and Werner C. Rheinboldt. Classical and generalized solutions of time-dependent linear differential-algebraic equations. Lin. Alg. Appl., 245:259–293, 1996. MR 1404179 (97e:34011)
- L. M. Silverman and R. S. Bucy. Generalizations of a theorem of Doležal. Math. Systems Theory, 4:334–339, 1970. MR 0276253 (43:2000)
Similar Articles
Retrieve articles in Quarterly of Applied Mathematics
with MSC (2010):
34A09,
65L80
Retrieve articles in all journals
with MSC (2010):
34A09,
65L80
Additional Information
Thomas Berger
Affiliation:
Institute for Mathematics, Ilmenau University of Technology, Weimarer Straße 25, 98693 Ilmenau, Germany
MR Author ID:
977628
Email:
thomas.berger@tu-ilmenau.de
Achim Ilchmann
Affiliation:
Institute for Mathematics, Ilmenau University of Technology, Weimarer Straße 25, 98693 Ilmenau, Germany
Email:
achim.ilchmann@tu-ilmenau.de
Keywords:
Time-varying linear differential algebraic equations,
standard canonical form,
analytically solvable,
generalized transition matrix
Received by editor(s):
March 2, 2011
Received by editor(s) in revised form:
May 26, 2011
Published electronically:
August 27, 2012
Additional Notes:
Supported by DFG grant IL 25/9.
Article copyright:
© Copyright 2012
Brown University
The copyright for this article reverts to public domain 28 years after publication.