QDifferenceEquations
QECreate
create QESol data structure from a q-difference equation
Calling Sequence
Parameters
Description
Examples
QECreate(eq, var)
eq
-
q-difference equation or a list of such equations (for the system case)
var
function variable to solve for, such as y⁡x, or a list of such function variables (for the system case)
The QECreate(eq,var) command returns QESol data structure, which contains some parameters useful to handle the given q-difference equation.
The parameters of QESol are a set of normalized equations, a set of function names, and an information table, INFO. The possible entries in this table are:
* linear - true or false
* functions - name or a set of names of the recurrence function(s)
* vars - name or set of names of the recurrence variable(s)
* q_par - name or number used as the parameter q
* q_shifts - set of the q-shifts (the orders of q-difference operator in the equation)
* order - order of the equation
* Qeqn - equation in &Q[vars, q_par](functions) which represents the q-difference operator associated to the linear q-difference equation
* coeffs - list of the rhs of the equation and the coefficients of the Qeqn
* zero_coeffs - coefficients of the Qeqn
* alpha_coeffs - degrees of the coefficients of the Qeqn
* systemproperties - result of LinearFunctionalSystems[Properties] (for the system case)
Note: The first 3 items are always present. The last item is present only in the system case. The 4th item is present only for the scalar equation and the remaining items are there only if the equation is scalar and linear.
with⁡QDifferenceEquations:
eq1≔q3⁢q⁢x+1⁢y⁡q2⁢x−2⁢q2⁢x+1⁢y⁡q⁢x+y⁡x⁢x+q=q6−2⁢q3+1⁢x2+x⁢q5−2⁢q3+q
qe1≔QECreate⁡eq1,y⁡x
qe1≔QESol⁡y⁡x⁢x+q+−2⁢q2⁢x−2⁢q2⁢y⁡q⁢x+q4⁢x+q3⁢y⁡q2⁢x=q6−2⁢q3+1⁢x2+x⁢q5−2⁢q3+q,y⁡x,INFO
eval⁡op⁡3,qe1
table⁡Qeqn=x+q+−2⁢q2⁢x−2⁢q2⁢&Qx,q⁡y+q4⁢x+q3⁢&Qx,q⁡y2,alpha_coeffs=0,0,0,vars=x,linear=true,qshifts=0,1,2,order=2,zero_coeffs=x+q,−2⁢q2⁢x−2⁢q2,q4⁢x+q3,coeffs=−q6−2⁢q3+1⁢x2−x⁢q5−2⁢q3+q,x+q,−2⁢q2⁢x−2⁢q2,q4⁢x+q3,q_par=q,functions=y
sys≔y2⁡q⁢x−y1⁡x,100⁢y2⁡x⁢q⁢x+10000⁢y2⁡x⁢q−100⁢y2⁡x⁢x−10000⁢y2⁡x−100⁢q3⁢y1⁡x⁢x−10000⁢q2⁢y1⁡x+100⁢q4⁢y1⁡q⁢x⁢x+10000⁢y1⁡q⁢x⁢q2−100⁢y1⁡q⁢x⁢q3⁢x−10000⁢y1⁡q⁢x⁢q+100⁢y1⁡x⁢q⁢x+10000⁢y1⁡x
vars≔y1⁡x,y2⁡x:
qe2≔QECreate⁡sys,vars
qe2≔QESol⁡y2⁡q⁢x−y1⁡x=0,100⁢y2⁡x⁢q⁢x+10000⁢y2⁡x⁢q−100⁢y2⁡x⁢x−10000⁢y2⁡x−100⁢q3⁢y1⁡x⁢x−10000⁢q2⁢y1⁡x+100⁢q4⁢y1⁡q⁢x⁢x+10000⁢y1⁡q⁢x⁢q2−100⁢y1⁡q⁢x⁢q3⁢x−10000⁢y1⁡q⁢x⁢q+100⁢y1⁡x⁢q⁢x+10000⁢y1⁡x=0,y1⁡x,y2⁡x,INFO
eval⁡op⁡3,qe2
table⁡vars=x,linear=true,q_par=q,functions=y1,y2,systemproperties=table⁡system=y2⁡q⁢x−y1⁡x,100⁢y2⁡x⁢q⁢x+10000⁢y2⁡x⁢q−100⁢y2⁡x⁢x−10000⁢y2⁡x−100⁢q3⁢y1⁡x⁢x−10000⁢q2⁢y1⁡x+100⁢q4⁢y1⁡q⁢x⁢x+10000⁢y1⁡q⁢x⁢q2−100⁢y1⁡q⁢x⁢q3⁢x−10000⁢y1⁡q⁢x⁢q+100⁢y1⁡x⁢q⁢x+10000⁢y1⁡x,method=ordinary,f_names=y1,y2,var=x,system0=y2⁡q⁢x−y1⁡x,100⁢y2⁡x⁢q⁢x+10000⁢y2⁡x⁢q−100⁢y2⁡x⁢x−10000⁢y2⁡x−100⁢q3⁢y1⁡x⁢x−10000⁢q2⁢y1⁡x+100⁢q4⁢y1⁡q⁢x⁢x+10000⁢y1⁡q⁢x⁢q2−100⁢y1⁡q⁢x⁢q3⁢x−10000⁢y1⁡q⁢x⁢q+100⁢y1⁡x⁢q⁢x+10000⁢y1⁡x,qshifts=0,1,0,1,order=1,input=lists,case=qdifference,q_par=q,functions=y1⁡x,y2⁡x
See Also
LinearFunctionalSystems[Properties]
QDifferenceEquations[PolynomialSolution]
Download Help Document