gives the holonomic sequence , specified by the linear difference equation lde[h,k].
represents a pure holonomic sequence .
- Mathematical sequence, suitable for both symbolic and numerical manipulation; also known as holonomic sequence and P-recursive sequence.
- The holonomic sequence defined by a DifferenceRoot function satisfies a holonomic difference equation with polynomial coefficients and initial values .
- DifferenceRoot can be used like any other mathematical function.
- FunctionExpand will attempt to convert DifferenceRoot functions in terms of special functions.
- The sequences representable by DifferenceRoot include a large number of special sequences.
- DifferenceRootReduce can convert many special sequences to DifferenceRoot sequences.
- Holonomic sequences are closed under many operations, including:
constant multiple, integer power sums and products discrete convolution discrete shift, difference and sum
- DifferenceRoot is automatically generated by functions such as Sum, RSolve, and SeriesCoefficient.
- Functions such as Sum, DifferenceDelta, and GeneratingFunction work with DifferenceRoot inputs.
- DifferenceRoot automatically threads over lists.
Examplesopen allclose all
Basic Examples (3)
DifferenceRoot threads element-wise over lists:
DifferenceRoot works on rational coefficients:
A result from Sum:
Generalizations & Extensions (2)
Properties & Relations (4)
Sum of a DifferenceRoot object:
Find the generating function of a DifferenceRoot object:
Find the exponential generating function of a DifferenceRoot object: