Solving difference equations whose coefficients are not transcendental
From MaRDI portal
A class of sequences defined by systems of linear or nonlinear difference equations is considered. Algorithms are proposed for recursively enumerating the algebraic dependencies of such sequences and for solving linear difference equations having such sequences as coefficients. Several applications of the theory are pointed out by examples.
Recommendations
Cites work
- A holonomic systems approach to special functions identities
- A procedure for proving special function inequalities involving a discrete parameter
- An algorithm for deciding zero equivalence of nested polynomially recurrent sequences
- An algorithm for solving second order linear homogeneous differential equations
- Computing the algebraic relations of \(C\)-finite sequences and multisequences
- Decision problems for differential equations
- Fast algorithms for polynomial solutions of linear differential equations
- scientific article; zbMATH DE number 2186904 (Why is no real title available?)
- scientific article; zbMATH DE number 3863589 (Why is no real title available?)
- scientific article; zbMATH DE number 1254247 (Why is no real title available?)
- scientific article; zbMATH DE number 1254263 (Why is no real title available?)
- scientific article; zbMATH DE number 1262437 (Why is no real title available?)
- scientific article; zbMATH DE number 1273674 (Why is no real title available?)
- scientific article; zbMATH DE number 718142 (Why is no real title available?)
- scientific article; zbMATH DE number 1973372 (Why is no real title available?)
- scientific article; zbMATH DE number 2151225 (Why is no real title available?)
- scientific article; zbMATH DE number 2090598 (Why is no real title available?)
- scientific article; zbMATH DE number 3415973 (Why is no real title available?)
- Hypergeometric solutions of linear recurrences with polynomial coefficients
- Liouvillian and algebraic solutions of second and third order linear differential equations
- Liouvillian solutions of linear differential equations with Liouvillian coefficients
- Liouvillian solutions of third order differential equations
- On Canonical Forms and Simplification
- On solutions of linear ordinary differential equations in their coefficient field
- Solving difference equations in finite terms
- Solving parameterized linear difference equations in terms of indefinite nested sums and products
- Some Recursively Unsolvable Problems in Analysis
- Some undecidable problems involving elementary functions of a real variable
- SumCracker: A package for manipulating symbolic sums and related objects
- Summation in Finite Terms
- Undecidability bounds for integer matrices using Claus instances
- Zero-Equivalence in Function Fields Defined by Algebraic Differential Equations
Cited in
(11)- Solving difference equations in finite terms
- On linear difference equations over rings and modules.
- SumCracker: A package for manipulating symbolic sums and related objects
- Linear recurrence equations on a tree.
- Resolving sequences of operators for linear ordinary differential and difference systems of arbitrary order
- SOLVING DIFFERENCE EQUATIONS IN SEQUENCES: UNIVERSALITY AND UNDECIDABILITY
- scientific article; zbMATH DE number 3877677 (Why is no real title available?)
- scientific article; zbMATH DE number 3913688 (Why is no real title available?)
- On a class of functional difference equations: explicit solutions, asymptotic behavior and applications
- Subanalytic solutions of linear difference equations and multidimensional hypergeometric sequences
- On the dimension of the solution space of linear difference equations over the ring of infinite sequences
This page was built for publication: Solving difference equations whose coefficients are not transcendental
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q935167)
