Quarterly of Applied Mathematics

Quarterly of Applied Mathematics

Online ISSN 1552-4485; Print ISSN 0033-569X



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

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 [Enhancements On Off] (What's this?)

  • [BI10] 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.
  • [Cam83] 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)
  • [Cam85] 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)
  • [Cam87] 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)
  • [CP83] 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)
  • [Gan59] Felix R. Gantmacher.
    The Theory of Matrices (Vol. II).
    Chelsea, New York, 1959. MR 0107649 (21:6372c)
  • [HP05] 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)
  • [KM06] Peter Kunkel and Volker Mehrmann.
    Differential-Algebraic Equations. Analysis and Numerical Solution.
    EMS Publishing House, Zürich, Switzerland, 2006. MR 2225970 (2007e:34001)
  • [KM07] 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)
  • [Mär02] 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)
  • [QV95] 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.
  • [RR96] 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)
  • [SB70] 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
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

DOI: https://doi.org/10.1090/S0033-569X-2012-01285-1
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.

American Mathematical Society