Anzeige
Erschienen in:
2011 | OriginalPaper | Buchkapitel
Higher-Order Linear Differential Systems with Truncated Coefficients
verfasst von : S. A. Abramov, M. A. Barkatou, E. Pflügel
Erschienen in: Computer Algebra in Scientific Computing
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
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].