Reducibility of Systems of Linear Differential and Difference Equations with Finite-dimensional Solution Space

Min Wu
Key Laboratory of Mathematics Mechanization
Academy of Mathematics and System Sciences
Chinese Academy of Sciences, Beijing 100080, China


Abstract. A rectangular Ore algebra is a common abstraction of properties of rings of linear (partial) differential or shift operators proposed recently by G. Labahn and Z. Li. Under this setting, we interpret the reducibility and decomposability of systems of linear differential and linear difference equations with finite-dimensional solution space in terms of D-module theory. This interpretation enables us to generalize Beke's factorization algorithm and the eigenring decomposition algorithm to factor or decompose theoretically systems in a unified way.