Formal reduction of singular linear differential systems using eigenrings: A refined approach. (January 2021)

• Record Type: Journal Article
• Authors: Barkatou, Moulay A.; Saade, Joelle; Weil, Jacques-Arthur
• Is Part Of: Journal of symbolic computation. Volume 102(2020)
• Page Start: 231
• Page End: 258
• Publication Date: 2021-01
• Subjects: Linear differential systems -- Formal solutions -- Formal reduction -- Eigenrings -- Decomposition -- Exponential parts; Mathematics -- Data processing -- Periodicals; Numerical analysis -- Data processing -- Periodicals; Automatic programming (Computer science) -- Periodicals; Mathématiques -- Informatique -- Périodiques; Analyse numérique -- Informatique -- Périodiques; Programmation automatique -- Périodiques; Automatic programming (Computer science); Mathematics -- Data processing; Numerical analysis -- Data processing; Periodicals; Electronic journals; 510.285
• DOI: 10.1016/j.jsc.2019.10.017
• Languages: English
• ISSNs: 0747-7171

Abstract

Abstract: This paper provides a new algorithm for the formal reduction of linear differential systems with Laurent series coefficients. We show how to obtain a decomposition of Balser, Jurkat and Lutz using eigenring techniques. This allows us to establish structural information on the obtained indecomposable subsystems and retrieve information on their invariants such as ramification. We show why classical algorithms then perform well on these subsystems. We also give precise estimates of the precision on the power series which is required in each step of our algorithm. The algorithm is implemented in Maple and examples are given in Saade (2018) .