Solving difference equations in finite terms
From MaRDI portal
The authors prove that the Galois group of a linear difference equation with rational function coefficients is solvable iff the solution space of the equation has a basis each of whose members is a so-called Liouvillian sequence. An algorithm for finding all Liouvillian solutions of a linear difference equation is given.
Recommendations
- Liouvillian solutions of linear difference-differential equations
- Liouvillian solutions of irreducible linear difference equations
- An algorithm to compute Liouvillian solutions of prime order linear difference-differential equations
- scientific article; zbMATH DE number 1944656
- Solving difference equations whose coefficients are not transcendental
Cited in
(63)- An algorithm determining the difference Galois group of second order linear difference equations
- Finite singularities and hypergeometric solutions of linear recurrence equations
- Computer proofs of a new family of harmonic number identities.
- On solutions of linear ordinary difference equations in their coefficient field
- Algebraic independence of sequences generated by (cyclotomic) harmonic sums
- Summation theory. II: Characterizations of \(R {\Pi}{\Sigma}^{\ast}\)-extensions and algorithmic aspects
- Linear recurrences with polynomial coefficients
- m-fold hypergeometric solutions of linear recurrence equations revisited
- On rational and hypergeometric solutions of linear ordinary difference equations in \(\Pi\Sigma^\ast\)-field extensions
- A case study for \(\zeta (4)\)
- Symbolic conversion of holonomic functions to hypergeometric type power series
- Convolutions of Liouvillian sequences
- Matrices of scalar differential operators: divisibility and spaces of solutions
- Linear difference operators with coefficients in the form of infinite sequences
- Structural theorems for symbolic summation
- Rational solutions of first-order algebraic ordinary difference equations
- Some open problems related to creative telescoping
- Symbolic computation with sequences
- Closed form solutions of linear difference equations in terms of symmetric products
- Efficient accelero-summation of holonomic functions
- Inversive difference modules and solvability of systems of linear difference equations
- The factorial-basis method for finding definite-sum solutions of linear recurrences with polynomial coefficients
- Liouvillian solutions of irreducible linear difference equations
- Iterated binomial sums and their associated iterated integrals
- Liouvillian solutions of irreducible second order linear difference equations
- Difference algebra
- SIMPLIFYING SUMS IN ΠΣ*-EXTENSIONS
- On m-Interlacing Solutions of Linear Difference Equations
- Galoisian obstruction to the integrability of general dynamical systems
- scientific article; zbMATH DE number 1944656 (Why is no real title available?)
- A difference ring theory for symbolic summation
- Hypertranscendence and linear difference equations
- Proving Two Conjectural Series for $$\zeta (7)$$ and Discovering More Series for $$\zeta (7)$$
- Term algebras, canonical representations and difference ring theory for symbolic summation
- Discovering and proving infinite Pochhammer sum identities
- Simplifying multiple sums in difference fields
- Generalized linear cellular automata in groups and difference Galois theory
- Interlacing of Hurwitz series
- Solving parameterized linear difference equations in terms of indefinite nested sums and products
- Computation of the difference-differential Galois group and differential relations among solutions for a second-order linear difference equation
- Liouville Extensions of Artinian Simple Module Algebras
- Semiconjugate factorizations of higher order linear difference equations in rings
- The SAGEX review on scattering amplitudes Chapter 4: Multi-loop Feynman integrals
- Refined telescoping algorithms in RΠΣ -extensions to reduce the degrees of the denominators✱
- Representation of hypergeometric products of higher nesting depths in difference rings
- Companion factorization in the general linear group \(\mathrm{GL}(n,\mathbb C)\) and applications
- Reduction-based creative telescoping for definite summation of D-finite functions
- Solving linear difference equations with coefficients in rings with idempotent representations
- A purity theorem for Mahler equations
- On the existence of telescopers for P-recursive sequences
- Solving order 3 difference equations
- Solving third order linear difference equations in terms of second order equations
- Parallel summation in P-recursive extensions
- Determining the closed forms of the anomalous dimensions and Wilson coefficients from Mellin moments by means of computer algebra
- Algorithms for 2-solvable difference equations
- Search for Liouvillian solutions of linear recurrence equations in the MAPLE computer algebra system
- Liouvillian solutions of linear difference-differential equations
- An algorithm to compute Liouvillian solutions of prime order linear difference-differential equations
- Padé approximations to the logarithm II: Identities, recurrences, and symbolic computation
- Padé approximations to the logarithm. III: Alternative methods and additional results
- A refined difference field theory for symbolic summation
- Solving difference equations whose coefficients are not transcendental
- Rational solutions of ordinary difference equations
This page was built for publication: Solving difference equations in finite terms
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1286445)
