sum the solutions of a q-shift operator
AccurateQSummation(L, Q, x)
polynomial in Q over C(q)(x)
name; denote the q-shift operator
name (that Q acts on)
This AccurateQSummation(L,Q,x) calling sequence computes an operator M of minimal order such that any solution f of L has an anti-qdifference which is a solution of M.
If the order of L equals the order of M then the output is a list [M, r] such that r(f) is an anti-qdifference of f and also a solution of M for every solution f of L. If the order of L is not equal to M then only M is given in the output. In this case M equals L⁢Δ where Δ=Q−1.
Q is the q-shift operator with respect to x, defined by Q⁡x=q⁢x.
Regarding the meaning of the second element rt in the output of AccurateQSummation, since L is the minimal annihilator of f=q⁢x3+x, g=rt⁡f is an anti-qdifference of f:
check that Q−1⁢g=f:
Abramov, S.A., and van Hoeij, M. "Integration of Solutions of Linear Functional Equations." Integral Transformations and Special Functions. Vol. 8 No. 1-2. (1999): 3-12.
Download Help Document
What kind of issue would you like to report? (Optional)