converters - Maple Help
For the best experience, we recommend viewing online help using Google Chrome or Mozilla Firefox.

Online Help

All Products    Maple    MapleSim


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

Calling Sequence

DEToOrePoly(eq,f)

REToOrePoly(eq,f)

OrePolyToDE(L,f)

OrePolyToRE(L,f)

FactoredOrePolyToDE(M,f)

FactoredOrePolyToRE(M,f)

FactoredOrePolyToOrePoly(M,var,case)

Parameters

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')

Description

• 

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.

Examples

> 

poly≔FactoredOrePoly⁡x5,1+x,x,−1

poly≔FactoredOrePoly⁡x5,x+1,x,−1

(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

(2)
> 

LinearOperatorsDEToOrePoly⁡ode,y⁡x

OrePoly⁡x6+x+1,−x5+x2+x,−x−1

(3)
> 

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

(4)
> 

LinearOperatorsREToOrePoly⁡lre,y⁡x

OrePoly⁡x6,−x5+x2+2⁢x+1,−x−1

(5)
> 

lre≔LinearOperatorsOrePolyToRE⁡OrePoly⁡x,x3+x−2,x5,y⁡x

lre≔x5⁢y⁡x+2+y⁡x+1⁢x3+x⁢y⁡x+1+y⁡x⁢x−2⁢y⁡x+1

(6)
> 

LinearOperatorsREToOrePoly⁡lre,y⁡x

OrePoly⁡x,x3+x−2,x5

(7)
> 

L≔FactoredOrePoly⁡32⁢x,1,12⁢x,1,−12⁢x,1

L≔FactoredOrePoly⁡32⁢x,1,12⁢x,1,−12⁢x,1

(8)
> 

LinearOperatorsFactoredOrePolyToOrePoly⁡L,x,differential

OrePoly⁡−18⁢x3,14⁢x2,32⁢x,1

(9)

See Also

DEtools[de2diffop]

DEtools[diffop2de]

LinearOperators