LinearOperators
DEToOrePoly
convert a linear ordinary differential equation to an OrePoly structure
REToOrePoly
convert a linear recurrence equation to an OrePoly structure
OrePolyToDE
convert an OrePoly structure to a linear ordinary differential equation
OrePolyToRE
convert an OrePoly structure to a linear recurrence equation
FactoredOrePolyToDE
convert a FactoredOrePoly structure to a linear ordinary differential equation
FactoredOrePolyToRE
convert a FactoredOrePoly structure to a linear recurrence equation
FactoredOrePolyToOrePoly
convert a FactoredOrePoly structure to a OrePoly structure
Calling Sequence
Parameters
Description
Examples
DEToOrePoly(eq,f)
REToOrePoly(eq,f)
OrePolyToDE(L,f)
OrePolyToRE(L,f)
FactoredOrePolyToDE(M,f)
FactoredOrePolyToRE(M,f)
FactoredOrePolyToOrePoly(M,var,case)
eq
-
left hand side of a linear equation (either differential or recurrence)
f
function from eq, for example, f(x)
L
Ore operator
M
factored Ore operator
var
name of the independent variable
case
parameter indicating the case of the equation ('differential' or 'shift')
The LinearOperators[DEToOrePoly] and LinearOperators[REToOrePoly] functions return an Ore operator K such that eq = K(f). The LinearOperators[OrePolyToDE], LinearOperators[OrePolyToRE], LinearOperators[FactoredOrePolyToDE], and LinearOperators[FactoredOrePolyToRE] functions apply the operator (L or M) to the function f. The LinearOperators[FactoredOrePolyToOrePoly] function converts an Ore polynomial in factored form, that is, a FactoredOrePoly structure, to an Ore polynomial in expanded form, that is, an OrePoly structure.
A completely factored Ore operator is represented by a structure that consists of the keyword FactoredOrePoly and a sequence of lists. Each list consists of two elements and describes a first degree factor. The first element provides the zero degree coefficient and the second element provides the first degree coefficient. For example, in the differential case with a differential operator D, FactoredOrePoly([-1, x], [x, 0], [4, x^2], [0, 1]) describes the operator −1+xD⁡x⁡x2⁢D+4⁡D.
An Ore operator is a structure that consists of the keyword OrePoly with a sequence of coefficients starting with the one of degree zero. The coefficients must be rational functions in x. For example, in the differential case with the differential operator D, OrePoly(2/x, x, x+1, 1) represents the operator 2x+x⁢D+x+1⁢D2+D3.
poly≔FactoredOrePoly⁡x5,1+x,x,−1
poly≔FactoredOrePoly⁡x5,x+1,x,−1
ode≔LinearOperatorsFactoredOrePolyToDE⁡poly,y⁡x
ode≔y⁡x⁢x6−ⅆⅆxy⁡x⁢x5+ⅆⅆxy⁡x⁢x2+y⁡x⁢x+ⅆⅆxy⁡x⁢x−ⅆ2ⅆx2y⁡x⁢x+y⁡x−ⅆ2ⅆx2y⁡x
LinearOperatorsDEToOrePoly⁡ode,y⁡x
OrePoly⁡x6+x+1,−x5+x2+x,−x−1
lre≔LinearOperatorsFactoredOrePolyToRE⁡poly,y⁡x
lre≔y⁡x⁢x6−y⁡x+1⁢x5+y⁡x+1⁢x2+2⁢x⁢y⁡x+1−x⁢y⁡x+2+y⁡x+1−y⁡x+2
LinearOperatorsREToOrePoly⁡lre,y⁡x
OrePoly⁡x6,−x5+x2+2⁢x+1,−x−1
lre≔LinearOperatorsOrePolyToRE⁡OrePoly⁡x,x3+x−2,x5,y⁡x
lre≔x5⁢y⁡x+2+y⁡x+1⁢x3+y⁡x⁢x+x⁢y⁡x+1−2⁢y⁡x+1
OrePoly⁡x,x3+x−2,x5
L≔FactoredOrePoly⁡32⁢x,1,12⁢x,1,−12⁢x,1
LinearOperatorsFactoredOrePolyToOrePoly⁡L,x,differential
OrePoly⁡−18⁢x3,14⁢x2,32⁢x,1
See Also
DEtools[de2diffop]
DEtools[diffop2de]
Download Help Document