A rational decomposition-lemma for systems of linear differential-algebraic equations

We give a new decomposition lemma for linear differential-algebraic equations (DAEs). This generalises a result which we have given in [12] for singular linear systems of ordinary differential equations to the class of linear DAEs with formal power series coefficients. The results of this paper are a first step towards a formal reduction algorithm for this type of equations.

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

[2]  W. Wasow.  Asymptotic expansions for ordinary differential equations , 1965 .

[3]  L. Chua,et al.  A universal circuit for studying and generating chaos. I. Routes to chaos , 1993 .

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

[5]  G. Hufford.  On the characteristic matrix of a matrix of differential operators , 1965 .

[6]  J. Moser,et al.  The order of a singularity in Fuchs' theory , 1959 .

[7]  Moulay A. Barkatou,et al.  An algorithm to compute the exponential part of a formal fundamental matrix solution of a linear differential system , 2009, Applicable Algebra in Engineering, Communication and Computing.

[8]  Moulay A. Barkatou,et al.  Computing super-irreducible forms of systems of linear differential equations via moser-reduction: a new approach , 2007, ISSAC '07.

[9]  Pamela B. Lawhead,et al.  Super-irreducible form of linear differential systems , 1986 .

[10]  K. Chu.  The solution of the matrix equations AXB−CXD=E AND (YA−DZ,YC−BZ)=(E,F) , 1987 .

[11]  Werner Balser,et al.  Formal Power Series and Linear Systems of Meromorphic Ordinary Differential Equations , 1999 .

[12]  Gilles Villard,et al.  An algorithm for the reduction of linear DAE , 1995, ISSAC '95.

[13]  Eckhard Pflugel.  A Root-Free Splitting-Lemma for Systems of Linear Differential Equations , 2005 .

[14]  Eckhard Pflügel,et al.  Effective Formal Reduction of Linear Differential Systems , 2000, Applicable Algebra in Engineering, Communication and Computing.

[15]  A. Hilali,et al.  Formes super-irréductibles des systèmes différentiels linéaires , 1986 .