gfun
listtodiffeq
find a linear differential equation for the generating function
seriestodiffeq
find a linear differential equation satisfied by a series
Calling Sequence
Parameters
Description
Examples
listtodiffeq(l, y(x), [typelist])
seriestodiffeq(s, y(x), [typelist])
l
-
list
y
name; function name
x
name; variable of the function y
typelist
(optional) list of generating function types. The default is 'ogf','egf'. For a complete list of types, see gftypes.
s
series
The listtodiffeq(l, y(x), [typelist]) command computes a linear differential equation in y(x) with polynomial coefficients in x satisfied by the generating function y(x) of the expressions in l. This generating function is one of the types specified by typelist, for example, ordinary (ogf) or exponential (egf). For a complete list of available generating function types, see gftypes.
The seriestodiffeq(l, y(x), [typelist]) command computes a linear differential equation in y(x) with polynomial coefficients in x satisfied by the generating function y(x) of the expressions in s. This generating function is one of the types specified by typelist, for example, ordinary (ogf) or exponential (egf). For a complete list of available generating function types, see gftypes.
If typelist contains more than one element, these types are considered in the order that they are listed.
If typelist is not specified, the default typelist, 'ogf','egf', is used. The function returns a list whose first element is the differential equation satisfied by the generating function. The second element is the generating function type for which an equation was found.
In the implementation, the maximal order is 2 and the maximum degree of the coefficients is 3. You can change these degree specifications by modifying the variables gfun['maxordereqn'] and gfun['maxdegcoeff'].
If sufficiently many terms were specified and no solution is found, then the generating function does not satisfy any linear differential equation of order less than or equal to gfun['maxordereqn'] with coefficients of degree less than or equal to gfun['maxdegcoeff'].
with⁡gfun:
l≔1,2,6,22,91,408,1938,9614,49335,260130,1402440,7702632,42975796,243035536,1390594458,8038677054,46892282815,275750636070,1633292229030,9737153323590:
listtodiffeq⁡l,y⁡x
−27⁢x−4⁢x2⁢ⅆ2ⅆx2y⁡x+−108⁢x2+18⁢x⁢ⅆⅆxy⁡x−12+−60⁢x+12⁢y⁡x,y⁡0=1,D⁡y⁡0=2,ogf
s≔series⁡exp⁡xsqrt⁡1−x,x,7
s≔1+32⁢x+118⁢x2+5348⁢x3+115128⁢x4+29473840⁢x5+3141146080⁢x6+O⁡x7
seriestodiffeq⁡s,y⁡x
−2⁢x+2⁢ⅆⅆxy⁡x+2⁢x−3⁢y⁡x,y⁡0=1,ogf
See Also
gfun/gftypes
gfun/parameters
Download Help Document