On ramification indices of formal solutions of constructive linear ordinary differential systems. (March 2017)

• Record Type: Journal Article
• Authors: Abramov, S.A.
• Is Part Of: Journal of symbolic computation. Volume 79(2017)Part 2
• Page Start: 475
• Page End: 481
• Publication Date: 2017-03
• Subjects: System of linear differential equations -- Computable power series -- Formal solution -- Ramification index -- Algorithmically undecidable problem; 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.2016.03.001
• Languages: English
• ISSNs: 0747-7171

Abstract

Abstract: We consider full rank linear ordinary differential higher-order systems whose coefficients are computable power series. It is shown that the algorithmic problems connected with the ramification indices of irregular formal solutions of a given system are mostly undecidable even if we fix a conjectural value r of the ramification index. This enables us to obtain a strengthening of the theorem which has been proven earlier and states that we are not able to compute algorithmically the dimension of the space of all formal solutions although we can construct a basis for the subspace of regular solutions. In fact, it is impossible to compute algorithmically this dimension even if, in addition to the system, we know the list of all values of the ramification indices. However, there is nearby an algorithmically decidable problem: if a system S and integers r, d are such that for S the existence of d linearly independent formal solutions of ramification index r is guaranteed then one can compute such d solutions of S .