Solving linear difference equations with coefficients in rings with idempotent representations

by   Jakob Ablinger, et al.

We introduce a general reduction strategy that enables one to search for solutions of parameterized linear difference equations in difference rings. Here we assume that the ring itself can be decomposed by a direct sum of integral domains (using idempotent elements) that enjoys certain technical features and that the coefficients of the difference equation are not degenerated. Using this mechanism we can reduce the problem to find solutions in a ring (with zero-divisors) to search solutions in several copies of integral domains. Utilizing existing solvers in this integral domain setting, we obtain a general solver where the components of the linear difference equations and the solutions can be taken from difference rings that are built e.g., by RΠΣ-extensions over ΠΣ-fields. This class of difference rings contains, e.g., nested sums and products, products over roots of unity and nested sums defined over such objects.


page 1

page 2

page 3

page 4


On Rational and Hypergeometric Solutions of Linear Ordinary Difference Equations in Π^*-field extensions

We present a complete algorithm that computes all hypergeometric solutio...

Refined telescoping algorithms in RΠΣ-extensions to reduce the degrees of the denominators

We present a general framework in the setting of difference ring extensi...

Summation Theory II: Characterizations of RΠΣ^*-extensions and algorithmic aspects

Recently, RΠΣ^*-extensions have been introduced which extend Karr's ΠΣ^*...

Solution of a System of Linear Equations in an Integral Ring

A modified Gauss's algorithm for solving a system of linear equations in...

Denominator Bounds for Systems of Recurrence Equations using ΠΣ-Extensions

We consider linear systems of recurrence equations whose coefficients ar...

A toolbox to solve coupled systems of differential and difference equations

We present algorithms to solve coupled systems of linear differential eq...

Minimal representations and algebraic relations for single nested products

Recently, it has been shown constructively how a finite set of hypergeom...

Please sign up or login with your details

Forgot password? Click here to reset