QDifferenceEquations - Maple Programming Help

Online Help

All Products    Maple    MapleSim


Home : Support : Online Help : Mathematics : Factorization and Solving Equations : QDifferenceEquations : QDifferenceEquations/UniversalDenominator

QDifferenceEquations

  

UniversalDenominator

  

return a universal denominator of the rational solutions for a q-difference equation

 

Calling Sequence

Parameters

Description

Examples

References

Calling Sequence

UniversalDenominator(eq, var, inits, output=type, 'minimize')

Parameters

eq

-

q-difference equation or a list of such equations (for the system case)

var

-

function variable to solve for, such as yx, or a list of such function variables (for the system case)

inits

-

(optional) set of initial conditions

output=type

-

(optional) where type is one of basis, basis[C], onesol, gensol, or anysol and "C" is a name. The words output, basis, onesol, gensol and anysol must be used literally.

'minimize'

-

(optional) indicates the universal denominator minimization algorithm must be used

Description

• 

The UniversalDenominator(eq,var,'minimize') calling sequence returns the universal denominator of rational solutions of the given linear q-difference equation with polynomial coefficients (that is, the polynomial, which is a multiple of the denominator of any rational solution of the given equation).

  

For the scalar case, the command uses the leading and trailing coefficients of the given equation and applies the dispersion algorithm by S.A. Abramov for finding the universal denominator. The algorithm for computing the dispersion of two polynomials by Wright and Man (extended to q-case) is used.

  

If option 'minimize' is specified, the command applies the universal denominator minimization algorithm by D.E. Khmelnov to try to lower the degree of the universal denominator found by the algorithm by S.A. Abramov. The goal is not always achieved but if the degree of the universal denominator is lowered then the problem of searching for numerator of the rational solution is simplified, potentially leading to an overall gain in efficiency for finding the solution.

  

For the system case, the command invokes LinearFunctionalSystems[UniversalDenominator] in order to compute the universal denominator.

  

Options inits and type are in fact ignored and are allowed just to be able to handle the same calling arguments as in QDifferenceEquations[RationalSolution].

Examples

withQDifferenceEquations:

eq1q3qx+1yq2x2q2x+1yqx+yxx+q=q62q3+1x2+xq52q3+q:

u1UniversalDenominatoreq1,yx

u1:=xx+q

(1)

u2UniversalDenominatoreq1,yx,minimize

u2:=xx+q

(2)

solRationalSolutioneq1,yx

sol:=qx2+x3+_C1xx+q

(3)

eq2q4x1xq71yxx2+2yxqx+yxq2yxq3x2q11yxq3qxyxq3xq10yxq3=xx2q14+q8x2+q3+x11+xq9xq7+xq13+q4xx2x3q18+q7x3q17x2+2x10qx12q72x11q8q22qx+q44x11q40x10+q34x10q30x9+q35x11q9x10x11q41x10q31+q45x12+q2x9

eq2:=q4x1q7x1yxx2+2yxqx+yxq2yq3xx2q11yq3xqxyq3xxq10yq3x=xq45x12+q44x11q41x11q40x10+q35x11+q34x10q31x10q30x9q18x3q17x2q9x102q8x11q7x12+q14x2+q13x+q2x9+2qx10+x11+q9x+q8x2+q7x3q7x+q4x+q3q22qxx2

(4)

u1UniversalDenominatoreq2,yx

u1:=x+1q7xq+1q7xq2+1q7xq3+1q7xq4+1q7xq5+1q7xq6+1q7xq7+1q7xq8+1q7x1q4

(5)

u2UniversalDenominatoreq2,yx,minimize

u2:=q4x1q25

(6)

solRationalSolutioneq2,yx

sol:=x91xq4x1

(7)

sys100y2xqx+10000y2xq100y2xx10000y2x100q3y1xx10000q2y1x+100q4y1qxx+10000y1qxq2100y1qxq3x10000y1qxq+100y1xqx+10000y1x,y2qxy1x

sys:=100y2xqx+10000y2xq100y2xx10000y2x100q3y1xx10000q2y1x+100q4y1qxx+10000y1qxq2100y1qxq3x10000y1qxq+100y1xqx+10000y1x,y2qxy1x

(8)

varsy1x,y2x:

uUniversalDenominatorsys,vars

u:=xqx+100x+100

(9)

solRationalSolutionsys,vars

sol:=x_C2+_C1qx+100x,q_C1+x_C2x+100x

(10)

References

  

Abramov, S.A. "Rational Solutions to Linear Difference and q-Difference Equations with Polynomial Coefficients." Programmirovanie. No. 6. (1995): 3-11.

  

Khmelnov, D.E. "Improved Algorithms for Solving Difference and q-Difference Equations." Programming and Computer Software. Vol. 26 No. 2. (2000): 107-115. Translated from Programmirovanie. No. 2. 2000.

  

Man, Yiu-Kwong, and Wright, Francis J. "Fast Polynomial Dispersion Computation and its Application to Indefinite Summation." Proceedings of ISSAC'94, pp. 175-180. ACM Press: New York, 1994.

See Also

LinearFunctionalSystems[UniversalDenominator]

QDifferenceEquations

QDifferenceEquations[QDispersion]

QDifferenceEquations[RationalSolution]

 


Download Help Document

Was this information helpful?



Please add your Comment (Optional)
E-mail Address (Optional)
What is ? This question helps us to combat spam