Resolving sequences of operators for linear ordinary differential and difference systems of arbitrary order

DOI10.1134/S096554251605002XzbMath1379.39001MaRDI QIDQ327078

Sergey A. Abramov, Anna A. Ryabenko, Marko Petkovsek

Publication date: 13 October 2016

Published in: Computational Mathematics and Mathematical Physics (Search for Journal in Brave)

zbMATH Keywords

algorithmcompanion matrixcyclic vectorembracing systemformal exponential-logarithmic solutions of differential systemshigher-order linear systems of differential and difference equationshypergeometric solutions of difference systemsresolving sequence of operators

Mathematics Subject Classification ID

Analysis of algorithms (68W40) Linear ordinary differential equations and systems (34A30) Discrete version of topics in analysis (39A12) Numerical methods for ordinary differential equations (65L99) Linear difference equations (39A06) Numerical methods for difference equations (65Q10)

Related Items (3)

Procedures for searching local solutions of linear differential systems with infinite power series in the role of coefficients ⋮ Laurent, rational, and hypergeometric solutions of linear \(q\)-difference systems of arbitrary order with polynomial coefficients ⋮ Particular solutions of linear differential and (\(q\)-) difference systems with hypergeometric right-hand sides

Uses Software

• Maple
• EG
• RatDiff

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Search for polynomial solutions of linear functional systems by means of induced recurrences
• Rational normal forms and minimal decompositions of hypergeometric terms
• Rational solutions of linear difference equations: universal denominators and denominator bounds
• Characterization of regular singular linear systems of difference equations
• Hypergeometric solutions of linear recurrences with polynomial coefficients
• An algorithm for computing a companion block diagonal form for a system of linear differential equations
• Finite singularities and hypergeometric solutions of linear recurrence equations
• An introduction to pseudo-linear algebra
• An algorithm to compute the exponential part of a formal fundamental matrix solution of a linear differential system
• \(q\)-hypergeometric solutions of \(q\)-difference equations
• Denominators of rational solutions of linear difference systems of an arbitrary order
• High-order lifting and integrality certification
• On singular points of solutions of linear differential systems with polynomial coefficients
• Linear differential and difference systems: \(\mathrm{EG}_\delta\)- and \(\mathrm{EG}_\sigma\)-eliminations
• Computing hypergeometric solutions of linear recurrence equations
• A modular algorithm for computing the exponential solutions of a linear differential operator
• On solutions of linear functional systems
• Complexity estimates for two uncoupling algorithms
• Hypergeometric Solutions of First-Order Linear Difference Systems with Rational-Function Coefficients
• Factorization of Polynomials and GCD Computations for Finding Universal Denominators
• EG-eliminations
• Computer Algebra in Scientific Computing

This page was built for publication: Resolving sequences of operators for linear ordinary differential and difference systems of arbitrary order