DEtools - Maple Programming Help

Online Help

All Products    Maple    MapleSim


Home : Support : Online Help : Mathematics : Differential Equations : DEtools : Differential Operators : DEtools/DFactorLCLM

DEtools

  

DFactorLCLM

  

write a linear differential operator as an LCLM

 

Calling Sequence

Parameters

Description

Examples

Calling Sequence

DFactorLCLM(L, domain)

Parameters

L

-

differential operator

domain

-

(optional) list containing two names

Description

• 

The DFactorLCLM routine accepts a differential operator L with rational function coefficients as its first argument.

  

The routine returns an LCLM factorization, which is a list of operators [L1, .., Lr] such that L is a rational function times LCLM(L1, .., Lr), and the order of L is the sum of the orders of L1, .., Lr. The operators L1, .., Lr  may have a non-trivial factorization (use DFactor), but they do not have a non-trivial LCLM factorization.

  

The bases of solutions of L1, .., Lr form a basis of the solutions of L.

• 

The second argument domain describes the differential algebra. If this argument is the list [Dx,x], then the differential operators will be notated with the symbols Dx and x. They are viewed as elements of the differential algebra C(x)[Dx] where C is the field of constants.

  

If the argument domain is omitted, then the differential specified by the environment variable _Envdiffopdomain will be used. If this environment variable is not set, then the argument domain may not be omitted.

• 

This function is part of the DEtools package, and so it can be used in the form DFactorLCLM(..) only after executing the command with(DEtools). However, it can always be accessed through the long form of the command by using DEtools[DFactorLCLM](..).

Examples

withDEtools:

_EnvdiffopdomainDF,x:

LDF42xDF22DF+1+x2

LDF42DF2x+x22DF+1

(1)

odediffop2deL,yx

odex2+1yx2ⅆⅆxyx2xⅆ2ⅆx2yx+ⅆ4ⅆx4yx

(2)

vDFactorLCLML

vDF2xI,DF2x+I

(3)

sol_odemapi→opdsolvediffop2dei,yx,output=basis,v

sol_odeAiryAix+I,AiryBix+I,AiryAixI,AiryBixI

(4)

See Also

DEtools[DFactor]

DEtools[eigenring]

DEtools[LCLM]

diffop