liesymm - Maple Help

Online Help

All Products    Maple    MapleSim


Home : Support : Online Help : Mathematics : Differential Equations : Lie Symmetry Method : liesymm : liesymm/reduce

liesymm

  

reduce

  

reduce a set of differential forms

 

Calling Sequence

Parameters

Description

Examples

Calling Sequence

reduce(eqns)

Parameters

eqns

-

set of determining equations for the symmetries of a given system of PDEs

Description

• 

If we begin with a system of PDEs rather than a set of differential forms then knowledge of the variable dependencies can be used to simplify the system of determining equations as produced by determine().  This command allows us to make use of that information. It is primarily of use when determine(..., 'Extended'); has been used to set up the system of determining equations, or when the investigation began with differential forms, but knowledge of the variable dependencies is available from some other source.

• 

Its effect is to force the isovector components to be independent of any ``extended'' variables that have been introduced during the construction of the determining equations.

• 

This routine is ordinarily invoked automatically by determine()

• 

This routine is ordinarily loaded via with(liesymm) but can be used in the ``package style'' as liesymm[reduce]()

Examples

withliesymm:

e12xtut,x+xut,x+ut,x2=0

e1:=2xtut,x+xut,x+ut,x2=0

(1)

eqns1determinee1,V,ut,x,v,w,'Extended':

The result is a system of eight equations, one of which is:

e2wV4t,x,u,v,w+w+u2wV2t,x,u,v,w

e2:=wV4t,x,u,v,w+u2+wwV2t,x,u,v,w

(2)

Many of these new equations can be simplified by using the fact that the V's are only dependent on t, x, and u.  For example, the above simplifies to

e3reducee2

e3:=tV2t,x,uvuV2t,x,u

(3)

See Also

liesymm

liesymm[autosimp]

liesymm[determine]

 


Download Help Document

Was this information helpful?



Please add your Comment (Optional)
E-mail Address (Optional)
What is ? This question helps us to combat spam