Abstract
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].
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Abramov, S., Bronstein, M., Khmelnov, D.: On regular and logarithmic solutions of ordinary linear differential systems. In: Ganzha, V.G., Mayr, E.W., Vorozhtsov, E.V. (eds.) CASC 2005. LNCS, vol. 3718, pp. 1–12. Springer, Heidelberg (2005)
Barkatou, M.A.: A rational version of Moser’s Algorithm. In: ISSAC 1995 Proceedings, pp. 297–302. ACM Press, New York (1995)
Barkatou, M.A.: On rational solutions of systems of linear differential equations. J. Symbolic Computation 28, 547–567 (1999)
Barkatou, M.A., Cluzeau, T., El Bacha, C.: Algorithms for regular solutions of higher-order linear differential systems. In: Johnson, J.R., Park, H., Kaltofen, E. (eds.) ISSAC 2009 Proceedings, pp. 7–14. ACM Press, New York (2009)
Barkatou, M.A., Cluzeau, T., El Bacha, C.: Simple forms of higher-order linear differential systems and their applications to computing regular solutions. J. Symbolic Computation 46, 633–658 (2011)
Barkatou, M.A., El Bacha, C., Pflügel, E.: Simultaneously row- and column-reduced higher-order linear differential systems. In: Koepf, W. (ed.) ISSAC 2010 Proceedings, pp. 45–52. ACM Press, New York (2010)
Barkatou, M.A., Pflügel, E.: An algorithm computing the regular formal solutions of a system of linear differential equations. J. Symbolic Computation 28, 569–588 (1999)
Barkatou, M.A., Pflügel, E.: On the equivalence problem of linear differential systems and its application for factoring completely reducible systems. In: Gloor, O. (ed.) ISSAC 1998 Proceedings, pp. 268–275. ACM Press, New York (1998)
Barkatou, M.A., Pflügel, E.: Computing super-irreducible forms of systems of linear differential equations via Moser-reduction: A new approach. In: Dongming, W. (ed.) ISSAC 2007 Proceedings, pp. 1–8. ACM Press, New York (2007)
Barkatou, M.A., Pflügel, E.: On the Moser- and super-reduction algorithms of systems of linear differential equations and their complexity. J. Symbolic Computation 44, 1017–1036 (2009)
Barkatou, M.A., Pflügel, E.: The ISOLDE package. A SourceForge Open Source project (2006), http://isolde.sourceforge.net
Coddington, E., Levinson, N.: Theory of Ordinary Differential Equations. McGraw-Hill, New York (1955)
Hilali, A., Wazner, A.: Formes super–irréductibles des systèmes différentiels linéaires. Numer. Math. 50, 429–449 (1987)
Lutz, D.A., Schäfke, R.: On the identification and stability of formal invariants for singular differential equations. Linear Algebra and Its Applications 72, 1–46 (1985)
Pflügel, E.: Effective formal reduction of linear differential systems. Applicable Algebra in Engineering, Communication and Computation 10, 153–187 (2000)
Turing, A.: On computable numbers, with an application to the Entscheidungsproblem. Proceedings of the London Mathematical Society, Series 2 42, 230–265 (1936)
Maple online help: http://www.maplesoft.com/support/help/
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Abramov, S.A., Barkatou, M.A., Pflügel, E. (2011). Higher-Order Linear Differential Systems with Truncated Coefficients. In: Gerdt, V.P., Koepf, W., Mayr, E.W., Vorozhtsov, E.V. (eds) Computer Algebra in Scientific Computing. CASC 2011. Lecture Notes in Computer Science, vol 6885. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-23568-9_2
Download citation
DOI: https://doi.org/10.1007/978-3-642-23568-9_2
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-23567-2
Online ISBN: 978-3-642-23568-9
eBook Packages: Computer ScienceComputer Science (R0)