Desingularization of first order linear difference systems with rational function coefficients

DOI10.1145/3208976.3208989MaRDI QIDQ5120176zbMATH OpenOpenAlexFDO

Authors Maximilian Jaroschek, Moulay A. Barkatou

Publication date 9 September 2020

Published in Proceedings of the 2018 ACM International Symposium on Symbolic and Algebraic Computation (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1802.01150

zbMATH Keywords

apparent singularitiesdesingularizationremovable singularitiessystems of linear difference equations

Mathematics Subject Classification ID

Linear difference equations (39A06) Symbolic computation and algebraic computation (68W30)

Abstract: It is well known that for a first order system of linear difference equations with rational function coefficients, a solution that is holomorphic in some left half plane can be analytically continued to a meromorphic solution in the whole complex plane. The poles stem from the singularities of the rational function coefficients of the system. Just as for differential equations, not all of these singularities necessarily lead to poles in solutions, as they might be what is called removable. In our work, we show how to detect and remove these singularities and further study the connection between poles of solutions and removable singularities. We describe two algorithms to (partially) desingularize a given difference system and present a characterization of removable singularities in terms of shifts of the original system.

Recommendations

• Removing apparent singularities of linear difference systems
• Removing apparent singularities of systems of linear differential equations with rational function coefficients
• scientific article; zbMATH DE number 1262438
• scientific article; zbMATH DE number 2205702
• On singular points of solutions of linear differential systems with polynomial coefficients

Cited in

(4)

• Apparent singularities of D-finite systems
• Removing apparent singularities of linear difference systems
• Removing apparent singularities of systems of linear differential equations with rational function coefficients
• Desingularization explains order-degree curves for Ore operators

Describes a project that uses

Uses Software

• SageMath

This page was built for publication: Desingularization of first order linear difference systems with rational function coefficients

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5120176)