DEtools - Maple Programming Help

Online Help

All Products    Maple    MapleSim


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

DEtools

  

symmetric_product

  

obtain the homomorphic image of the tensor product

 

Calling Sequence

Parameters

Description

Examples

Calling Sequence

symmetric_product(L1, L2, .., Ln, domain)

Parameters

L1, L2, .., Ln

-

differential operators

domain

-

list containing two names

Description

• 

Let L1, L2, .., Ln be differential operators. The output of this procedure is a linear differential operator M of minimal order such that for every solution y1 of L1, y2 of L2, ..., yn of Ln, the product y1y2yn is a solution of M.

• 

Note that "symmetric product" is not a proper mathematical name for this construction on the solution space; it is a homomorphic image of the tensor product. The reason for choosing the name symmetric_product is the resemblance with the function symmetric_power.

• 

The order of the returned operator M is to some extent predictable. Given L1,L2 respectively admitting n1,n2 independent solutions, the returned M admits at most n1n2 solutions, when all products of solutions are different, and at least byn1+n21 when some of these products are repeated. So M has differential order d such that n1+n21dn1n2.

• 

The argument domain describes the differential algebra. If this argument is the list Dt,t, then the differential operators are notated with the symbols Dt and t. They are viewed as elements of the differential algebra Ct Dt where C is the field of constants.

• 

If the argument domain is omitted then the differential specified by the environment variable _Envdiffopdomain is 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 symmetric_product(..) only after executing the command with(DEtools). However, it can always be accessed through the long form of the command by using DEtools[symmetric_product](..).

Examples

withDEtools:

_EnvdiffopdomainDx,x:

LDx2+axDx+bx

LDx2+axDx+bx

(1)

A solution of Dxcx is ⅇcxⅆx so the solutions of the following operator M equal ⅇcxⅆx(the solutions of L).

Msymmetric_productL,Dxcx

MDx2+ax2cxDxaxcx+cx2+bxⅆⅆxcx

(2)

and since Dxcx is of order 1, M has the same order as L. As an example where the order of M is smaller than n1 * n2 (the respective orders of L1 and L2) consider L1 and L2 the following 2nd and 3rd order differential operators:

L1Dx2+ax

L1Dx2+ax

(3)

L2Dx3+4axDx+2ⅆⅆxax

L2Dx3+4axDx+2ⅆⅆxax

(4)

The symmetric product of L1,L2 is not of order 6. It is of order 4, that is, equal to n2+n11:

Msymmetric_productL1,L2

MDx4+10axDx2+10ⅆⅆxaxDx+9ax2+3ⅆ2ⅆx2ax

(5)

The solution of M is the product of the solutions of L1 and L2; to see that let's compute first the solutions to L1 and L2 - formally - using DESol:

diffop2deL1,yx

axyx+ⅆ2ⅆx2yx

(6)

sol_L1dsolve

sol_L1yx=DESolax_Yx+ⅆ2ⅆx2_Yx,_Yx

(7)

sol_L2dsolvediffop2deL2,yx,yx

sol_L2yx=DESolax_Yx+ⅆ2ⅆx2_Yx,_Yx2

(8)

dsolvediffop2deM,yx,yx

yx=DESolax_Yx+ⅆ2ⅆx2_Yx,_Yx3

(9)

See Also

DEtools/symmetric_power

diffop