QDifferenceEquations - Maple Programming Help

Online Help

All Products    Maple    MapleSim


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

QDifferenceEquations

  

IsSolution

  

test the solution of a linear q-difference equation

  

AreSameSolution

  

test if solutions of a linear q-difference equation are equivalent

 

Calling Sequence

Parameters

Description

Examples

Calling Sequence

IsSolution(sol, eq, var, ['certificates'])

AreSameSolution(sol, sol1, x)

Parameters

sol

-

solution to be checked, or a certificate (set or list of certificates) for q-hypergeometric solution

eq

-

q-difference equation or 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)

'certificates'

-

(optional) if given sol then treated as certificate for q-hypergeometric solution

sol1

-

solution to be compared with

x

-

independent variable in the solutions given

Description

• 

The IsSolution(sol,eq,var) calling sequence returns true if eq is a linear q-difference equation with polynomial coefficients (or a system of such equations) and sol is its solution. Otherwise, false is returned for q-hypergeometric solution (that is, if 'certificates' option is specified) and the degree of the result of substitution is returned for other types of solutions to be checked.

  

The IsSolution command substitutes sol for the function variables and checks the result.

• 

The AreSameSolution(sol, sol1, x) calling sequence returns true if the solutions sol and sol1 are equivalent. Otherwise, false is returned.

  

The command checks that the numbers of linear independent solutions in sol and sol1 are the same, as well as the degrees in x.

Examples

withQDifferenceEquations:

eq1q10qq10xyq2x1q20q2q20xyqx+q101q10q2q11xyx=q21q20q12+q10+q2qx

eq:=1q10q10+qxyq2x1q20q20+q2xyqx+q101q10q11+q2xyx=q21q20q12+q10+q2qx

(1)

sol1PolynomialSolutioneq,yx,,output=basis_K

sol1:=x10_K1+x_K2_K2+1

(2)

IsSolutionsol1,eq,yx

true

(3)

sol2sol1x5

sol2:=x10_K1x5+x_K2_K2+1

(4)

IsSolutionsol2,eq,yx

6

(5)

sol3sol1x10

sol3:=x10_K1x10+x_K2_K2+1

(6)

IsSolutionsol3,eq,yx

true

(7)

AreSameSolutionsol1,sol3,x

true

(8)

sol4sol1_K1x10

sol4:=x_K2_K2+1

(9)

IsSolutionsol4,eq,yx

true

(10)

AreSameSolutionsol1,sol4,x

false

(11)

See Also

LinearFunctionalSystems[IsSolution]

QDifferenceEquations

QDifferenceEquations[PolynomialSolution]

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