Solving recurrence relations using local invariants

The goal in this paper is to find closed form solutions for linear recurrence equations, by transforming an input equation <i>L</i> to an equation <i>L</i><sub><i>s</i></sub> with known solutions. The main problem is how to find a solved equation <i>L</i><sub><i>s</i></sub> to which <i>L</i> can be reduced. We solve this problem by computing local data at singularities, data that remains invariant under the transformations used.

[1]  Marius van der Put,et al.  Galois Theory of Difference Equations , 1997 .

[2]  Milton Abramowitz,et al.  Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables , 1964 .

[3]  Peter A. Hendriks,et al.  Solving Difference Equations in Finite Terms , 1999, J. Symb. Comput..

[4]  Mark van Hoeij,et al.  Finite singularities and hypergeometric solutions of linear recurrence equations , 1999 .

[5]  Marko Petkovšek,et al.  A=B : 等式証明とコンピュータ , 1997 .

[6]  George D. Birkhoff,et al.  Formal theory of irregular linear difference equations , 1930 .

[7]  D. Owen.  Handbook of Mathematical Functions with Formulas , 1965 .

[8]  N. J. A. Sloane,et al.  The On-Line Encyclopedia of Integer Sequences , 2003, Electron. J. Comb..

[9]  Moulay A. Barkatou,et al.  Subanalytic solutions of linear difference equations and multidimensional hypergeometric sequences , 2011, J. Symb. Comput..

[10]  Giles Levy.  Solutions of second order recurrence relations , 2010 .

[11]  Moulay A. Barkatou,et al.  Computing the exponential part of a formal fundamental matrix solution of a linear difference system , 1999 .

[12]  A. Fahim,et al.  Characteristic Classes for Difference Operators , 1999 .

[13]  Moulay A. Barkatou,et al.  Rational solutions of matrix difference equations: the problem of equivalence and factorization , 1999, ISSAC '99.

[14]  Mark van Hoeij,et al.  Computing Hypergeometric Solutions of Linear Recurrence Equations , 2006, Applicable Algebra in Engineering, Communication and Computing.

[15]  Mark van Hoeij,et al.  Liouvillian solutions of irreducible linear difference equations , 2009, ISSAC '09.