Transformation of high order linear differential-algebraic systems to first order

We study general nonsquare linear systems of differential-algebraic systems of arbitrary order. We analyze the classical procedure of turning the system into a first order system and demonstrate that this approach may lead to different solvability results and smoothness requirements. We present several examples that demonstrate this phenomenon and then derive existence and uniqueness results for differential-algebraic systems of arbitrary order and index. We use these results to identify exactly those variables for which the order reduction to first order does not lead to extra smoothness requirements and demonstrate the effects of this new formulation with a numerical example.

[1]  R. März.  The index of linear differential algebraic equations with properly stated leading terms , 2002 .

[2]  Peter Lancaster,et al.  The theory of matrices , 1969 .

[3]  Michael Guenther,et al.  CAD based electric circuit modeling in industry. Part I: Mathematical structure and index of network equations. Part II: Impact of circuit configurations and parameters , 1999 .

[4]  Per Lötstedt,et al.  Improving the accuracy of BDF methods for index 3 differential-algebraic equations , 1995 .

[5]  E. Griepentrog,et al.  Differential-algebraic equations and their numerical treatment , 1986 .

[6]  Michael Günther,et al.  CAD based electric circuit modeling in industry. Pt. 1: Mathematical structure and index of network equations , 1997 .

[7]  R. Glowinski,et al.  Numerical methods for multibody systems , 1994 .

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

[9]  Nicholas J. Higham,et al.  The Conditioning of Linearizations of Matrix Polynomials , 2006, SIAM J. Matrix Anal. Appl..

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

[11]  E. Hairer,et al.  Solving Ordinary Differential Equations II: Stiff and Differential-Algebraic Problems , 2010 .

[12]  Werner C. Rheinboldt,et al.  Nonholonomic motion of rigid mechanical systems from a DAE viewpoint , 1987 .

[13]  Volker Mehrmann,et al.  A new look at pencils of matrix valued functions , 1994 .

[14]  Karl MEERBERGENyAbstract.  Umist a Survey of the Quadratic Eigenvalue Problem Departments of Mathematics a Survey of the Quadratic Eigenvalue Problem , 2000 .

[15]  R. März,et al.  A Unified Approach to Linear Differential Algebraic Equations and their Adjoints , 2002 .

[16]  F. R. Gantmakher.  The Theory of Matrices , 1984 .

[17]  J. Stoer,et al.  Introduction to Numerical Analysis , 2002 .

[18]  Roswitha März,et al.  Solvability of linear differential algebraic equations with properly stated leading terms , 2004 .

[19]  Volker Mehrmann,et al.  A New Software Package for Linear Differential-Algebraic Equations , 1997, SIAM J. Sci. Comput..

[20]  C. D. Meyer,et al.  Generalized inverses of linear transformations , 1979 .

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

[22]  E. Hairer,et al.  Solving Ordinary Differential Equations II: Stiff and Differential-Algebraic Problems , 2010 .

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

[24]  Karl Meerbergen,et al.  The Quadratic Eigenvalue Problem , 2001, SIAM Rev..

[25]  Volker Mehrmann,et al.  Vector Spaces of Linearizations for Matrix Polynomials , 2006, SIAM J. Matrix Anal. Appl..

[26]  E. Hairer,et al.  Stiff and differential-algebraic problems , 1991 .

[27]  C. de Boor,et al.  On the condition of the linear systems associated with discretized BVPs of ODEs , 1986 .

[28]  R. M. M. Mattheij,et al.  Sensitivity of solutions of linear DAE to perturbations of the system matrices , 1998, Numerical Algorithms.

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

[30]  Volker Mehrmann,et al.  Differential-Algebraic Equations: Analysis and Numerical Solution , 2006 .

[31]  P. Lancaster,et al.  Factorization of selfadjoint matrix polynomials with constant signature , 1982 .

[32]  L. Mirsky,et al.  The Theory of Matrices , 1961, The Mathematical Gazette.

[33]  Jørgen Sand.  On implicit Euler for high-order high-index DAEs , 2002 .

[34]  C. W. Gear,et al.  Differential/algebraic systems and matrix pencils , 1983 .