Command disabled: backlink
 

Hypergeometric solutions for homogeneous linear difference systems with polynomial coefficients

The procedure HypergeometricSolution in the package LRS (Linear Recurrence Systems) is an implementation in Maple 2015 of an algorithm to construct a basis of the space of hypergeometric solutions for systems of difference equations with polynomial coefficients. The algorithm is based on the use of resolving sequences.

The details can be found in the paper S.A.Abramov, M.Petkovšek, A.A.Ryabenko. Resolving sequences of operators for linear ordinary differential and difference systems. Computational Mathematics and Mathematical Physics, 2016, Vol. 56, Issue. 5, P. 894–910.

A system can be represented in several forms.

The matrix form of a full-rank system:

An(x) y(x+n) + … + A1(x) y(x+1) + A0(x) y(x) = 0,

where

  • Ai(x) are matrices whose entries are polynomial of x;
  • y(x) is a column vector of unknown functions.

The normal form of a first order system:

y(x+1) = A(x) y(x),

where

  • A(x) is a matrix whose entries are rational functions in x.

Source

lrshypergeomsols.mpl - the Maple code of the package (implemented by A.A.Ryabenko).

Paper_Examples_HS.mw - the Maple session file with examples from the preliminary version of the paper.

Paper_Examples_HS.pdf - the pdf copy of that Maple session.

Source of the previous version (only for normal first order systems)

A procedure HypergeometricSolution in the package LRS is an implementation in Maple 18 for the algorithm of 2015 to find a basis of the space of hypergeometric solutions of a system y(x+1) = A(x) y(x). Additionally, a procedure Resolving finds a resolving sequence of scalar equations and a resolving matrix for the system, a procedure CyclicVector finds an equivalent scalar equation for the system.

lrshypergeomsolscasc2015.mpl - the Maple code of the package;

hypergeometricsolution.mw - the Maple session file with examples of using the HypergeometricSolution procedure;

hypergeometricsolution.pdf - the pdf-copy of that Maple session;

slides.pdf - the slides of the talk S.A. Abramov, M. Petkovšek, A.A. Ryabenko "Hypergeometric Solutions of First-Order Linear Difference Systems with Rational-Function Coefficients" in The 18th workshop on computer algebra, May 26-27, 2015, Dubna

and of the talk S.A. Abramov, M. Petkovšek, A.A. Ryabenko "Hypergeometric Solutions of First-Order Linear Difference Systems with Rational-Function Coefficients" in The 17th international workshop on computer algebra in scientific computing, September 14-18, 2015, Aachen, Germany;

examples_casc2015.mw - the Maple session for samples in the CASC'2015 talk;

examples_casc2015.pdf - the pdf copy of that Maple session.

lrs.txt · Last modified: 2017/10/14 09:23 by anna
 
Except where otherwise noted, content on this wiki is licensed under the following license: CC Attribution-Noncommercial 3.0 Unported
Recent changes RSS feed Donate Powered by PHP Valid XHTML 1.0 Valid CSS Driven by DokuWiki