Commutation Rules in Ore Algebra
Ore algebras can be defined by mixing predefined commutation types and user-defined commutation types.
Currently available predefined types are introduced by the following syntaxes.
Differential operators: diff=Dx,x, euler=Tx,x, loc_diff=Dx,x (followed by localization=u,p).
Shift and difference operators: δ=Dx,x, shift=Sx,x.
_q_-Calculus operators: qdelta=Dx,qx, qdiff=Dx,x,q, qdilat=Hx,x,q, qdilat=Dx,qx=qx, qshift=Sx,qx, shift+qshift=Sx,qx.
Dual types dual_delta, dual_diff, dual_euler, dual_qdelta, dual_qdiff, dual_qdilat, dual_qshift, dual_shift, and `dual_shift+dual_qshift` are also available.
The delta type introduces a finite difference operator Dx that commutes with the operator of multiplication by x as:
This operator acts on Maple objects as:
Correspondingly, the dual_delta type is defined by the commutation:
The diff type introduces a differential operator Dx that commutes with the operator of multiplication by x as:
Correspondingly, the dual_diff type is defined by the commutation:
The euler type introduces an Eulerian operator, that is, x times the differential operator with respect to x, that commutes with the operator of multiplication by x as:
Correspondingly, the dual_euler type is defined by the commutation:
The loc_diff type introduces a differential operator Dx that commutes with the operators x and u of multiplication by x and 1/p, respectively, as:
Several loc_diff commutations can appear in the same algebra. However, they must all be related to the same localization option and there can be at most one such option. Not all indeterminates involved in the inverted polynomial p can appear rationally in the algebra. At least one of them must be declared polynomial by using the polynom option.
The qdelta type introduces a q-calculus operator Dx that commutes with the operator q^x of multiplication by q^x as:
Correspondingly, the dual_qdelta type is defined by the commutation:
The qdiff type introduces a q-calculus operator Dx that commutes with the operator x of multiplication by x as:
Correspondingly, the dual_qdiff type is defined by the commutation:
With the syntax qdilat=Hx,x,q, the qdilat type introduces a q-calculus operator Hx that commutes with the operator x of multiplication by q^x as:
With the alternative syntax qdilat=Sx,qx=qx, the qdilat type introduces a q-calculus operator Sx that acts like the operator of the qshift section below, but with a notation for the operator of multiplication by qx that is the name qx instead of the power qx. This syntax is better suited to calculations with the Groebner package. The operator Sx commutes with the operator qx as:
while the operator qx does as:
Correspondingly, the dual_qdilat type is defined by the commutation:
The qshift type introduces a q-calculus operator Sx that commutes with the operator q^x of multiplication by q^x as:
Correspondingly, the dual_qshift type is defined by the commutation:
The shift type introduces a shift operator Sx=Dx+1 that commutes with the operator of multiplication by x as:
Correspondingly, the dual_shift type is defined by the commutation:
The related type `shift+dual_shift` introduces both operators above, namely the forward shift operator Sx and the backward shift operator Tx, which commute with the operator of multiplication by x as:
These operators acts on Maple objects as:
Note: In the current implementation, the rules Sx⁢Tx=1 and Sx⁢Tx=1 are not recognized.
The `shift+qshift` type introduces a q-calculus operator Sx that commutes with the operators x and q^x of multiplication by x and q^x respectively as:
Correspondingly, the `dual_shift+dual_qshift` type is defined by the commutations:
User-defined types are introduced by the syntax.
where d is the pseudo-differentiation operator, x is the operator of multiplication by x, and sigma and delta are functions over polynomials in x. See examples below. No action on Maple objects is predefined.
Not all combinations of commutations are supported. More specifically, the indeterminates x_i and d_i must appear in a single list l_j only, except from the parameters q used for q-calculus.
Here are possible declarations of a shift operator, next of a inverse shift operator.
A ≔ skew_algebra⁡shift=Sn,n:
A ≔ skew_algebra⁡dual_shift=Sn,n:
The following call introduces the algebra of linear differential operators with polynomial coefficients in x and y and an inverse u for the polynomial p=−x2−y2+1.
p ≔ 1−x2−y2:
A ≔ skew_algebra⁡loc_diff=Dx,x,loc_diff=Dy,y,polynom=x,y,localization=u,p:
Define an algebra of operators where Dx and y are interpreted as the differentiation operator with respect to x and as the multiplication operator by ⅇx respectively. The commutation rule reads: ⅇx⁢f⁡x'=ⅇx⁢f⁡x+ⅇx⁢f'⁡x.
proc(p,n) local q;
q:=p; to n do q:=y*diff(q,y) end do; q
Define the Mahlerian operator of order p=2. The commutation rule reads: M⁡f⁡x=f⁡x2.
A:=skew_algebra(user=[M,x,proc(p,n) subs(x=x^(2^n),p) end proc,
proc(p,n) `if`(n=0,p,0) end proc]):
Download Help Document