Ore_algebra, a Package for Skew Operators
by Frederic Chyzak, Algorithms Project, INRIA, France
Several algorithms for integration and summation have a natural description in terms of linear differential and difference operators, which in turn are well described by skew (or Ore) polynomials. This was the starting point for the Ore_algebra package.
To work with an Ore algebra, we first have to declare it. The package creates a table which implements and remembers the
operations in this algebra. Here is the example of the algebra of linear differential operators in the differential operator with (rational) coefficients in .
(This is the name of the table.)
Although the usual product in Maple is commutative, we use to denote skew products with the convention that powers of are on the right.
Multiplication of operators is obtained by the function skew_product.
> P1:=x*Dx^2-1: P2:=Dx-x: P1_P2:=skew_product(P1,P2,A);
Remember that in skew algebras of linear operators, factorizations are seldom unique.
(Univariate) Ore polynomial rings have a Euclidean algorithm. This is implemented in the following routines: skew_pdiv , skew_prem , skew_gcdex and skew_elim . An extension to the multivariate case is available.
As a first application, we show how the package can be used to derive a proof of the Reed-Dawson identity:
for even and for odd .
Let us introduce an algebra of linear recurrence operators in and . and denote the shift operators in and respectively.
We compute first order recurrences satisfied by the summand (which we denote by ).
We eliminate between these operators by computing their greatest common right divisor.
The factor corresponds to taking a finite difference. Definite summation for over all integers yields a telescoping series which collapses to 0. We thus get:
Therefore, the sum satisfies
Now, the announced result follows from initial conditions:
so that for odd .
so that is given by
which is .
As a more advanced application, we derive contiguity relations for Gauss hypergeometric function. This function is known to Maple as:
It is for
When considering the summand, we introduce the following algebra.
The bivariate sequence vanishes at both following operators:
(There are general algorithms to find such operators.)
From the previous first order recurrences, we derive relations on in the mixed differential difference algebra
The equations are obtained by multiplication of the recurrences by , followed by summation over all non-negative . Formally, this corresponds to changing into and into .
Therefore, we set:
The linear differential operator is called a step-up operator. It relates the forward shift of to derivatives of by the following equation
The elimination of between this step-up operator and the differential equation yields a contiguity relation for , i.e., a purely recurrence equation. It is obtained by the extended skew gcd algorithm:
In other words, Gauss hypergeometric function satisfies the following equation:
More interestingly, the extended Euclidean algorithm yields a step-down operator for , i.e., a relation between an inverse shift of and its derivatives. This is obtained by computing an inverse of modulo .
From this result, we have and . In particular,
is the step-down operator:
There is also an algorithm to compute (one-sided) Groebner bases in Ore algebras. This will be demonstrated in the presentation of the Groebner package.