Higher-Order Linear Differential Systems with Truncated Coefficients

We consider the following problem: given a linear differential system with formal Laurent series coefficients, we want to decide whether the system has non-zero Laurent series solutions, and find all such solutions if they exist. Let us also assume we need only a given positive integer number l of initial terms of these series solutions. How many initial terms of the coefficients of the original system should we use to construct what we need? Supposing that the series coefficients of the original systems are represented algorithmically, we show that these questions are undecidable in general. However, they are decidable in the scalar case and in the case when we know in advance that a given system has an invertible leading matrix. We use our results in order to improve some functionality of the Maple [17] package ISOLDE [11].

[1]  Moulay A. Barkatou,et al.  On the equivalence problem of linear differential systems and its application for factoring completely reducible systems , 1998, ISSAC '98.

[2]  Moulay A. Barkatou,et al.  An Algorithm Computing the Regular Formal Solutions of a System of Linear Differential Equations , 1999, J. Symb. Comput..

[3]  Moulay A. Barkatou,et al.  Simple forms of higher-order linear differential systems and their applications in computing regular solutions , 2011, J. Symb. Comput..

[4]  Manuel Bronstein,et al.  On Regular and Logarithmic Solutions of Ordinary Linear Differential Systems , 2005, CASC.

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

[6]  Moulay A. Barkatou,et al.  On the Moser- and super-reduction algorithms of systems of linear differential equations and their complexity , 2009, J. Symb. Comput..

[7]  Moulay A. Barkatou,et al.  A rational version of Moser's algorithm , 1995, ISSAC '95.

[8]  E. Coddington,et al.  Theory of Ordinary Differential Equations , 1955 .

[9]  Moulay A. Barkatou,et al.  On Rational Solutions of Systems of Linear Differential Equations , 1999, J. Symb. Comput..

[10]  Moulay A. Barkatou,et al.  Algorithms for regular solutions of higher-order linear differential systems , 2009, ISSAC '09.

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

[12]  Moulay A. Barkatou,et al.  Simultaneously row- and column-reduced higher-order linear differential systems , 2010, ISSAC.

[13]  A. Turing.  On Computable Numbers, with an Application to the Entscheidungsproblem. , 1937 .

[14]  D. A. Lutz,et al.  On the identification and stability of formal invariants for singular differential equations , 1985 .

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

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