reduce a set of differential forms
set of determining equations for the symmetries of a given system of PDEs
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]()
e1 ≔ ∂2∂x⁢∂t⁢u⁡t,x+∂∂x⁢u⁡t,x+u⁡t,x2=0
eqns1 ≔ determine⁡e1,V,u⁡t,x,v,w,'Extended':
The result is a system of eight equations, one of which is:
e2 ≔ ∂∂w⁢V4⁡t,x,u,v,w+w+u2⁢∂∂w⁢V2⁡t,x,u,v,w
e2 ≔ ∂∂w⁢V4⁡t,x,u,v,w+u2+w⁢∂∂w⁢V2⁡t,x,u,v,w
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
e3 ≔ reduce⁡e2
e3 ≔ −∂∂t⁢V2⁡t,x,u−v⁢∂∂u⁢V2⁡t,x,u
Download Help Document