computes the group invariant (point symmetry) solutions for a given PDE system - Maple Help

Online Help

All Products    Maple    MapleSim

Home : Support : Online Help : Mathematics : Differential Equations : PDEtools : Symmetries : PDEtools/SymmetrySolutions

PDEtools[SymmetrySolutions] - computes the group invariant (point symmetry) solutions for a given PDE system

Calling Sequence

SymmetrySolutions(Solution, S, 'options'='value')




an equation, a set (list) of equations, or a set (list) of sets (lists) of equations, representing the solution to some system of equations (itself not required)



the infinitesimals of a symmetry generator or the corresponding infinitesimal generator operator, or a list of n of them representing an n-dimensional group of symmetries

simplifier = ...


optional - indicates the simplifier to be used instead of the default simplify/size



Given the Solution to a problem, as an equation or a set (list) of equations, or given a set (list) of these solutions, and given the infinitesimal generators of a symmetry S, or a list of them, SymmetrySolutions computes other solutions obtained by exploring the given symmetries. This command complements Infinitesimals and InvariantSolutions, which respetively compute the symmetry infinitesimals and the group (symmetry) invariant solutions of a PDE system.


The dependent variables of the problem do not need to be indicated: SymmetrySolutions will automatically take the left-hand-sides of the given solutions as dependent variables.


What SymmetrySolutions does can be decomposed into two steps that can be reproduced interactively:


compute the finite form of the transformation associated to all the given symmetries (can be performed using SymmetryTransformation);


apply this transformation to each of the given solutions (can be performed using dchange).


You can optionally specify a simplifier to be applied to the result using the optional argument simplifier = ...


To avoid having to remember the optional keywords, if you type the keyword misspelled, or just a portion of it, a matching against the correct keywords is performed, and when there is only one match, the input is automatically corrected.


Consider the wave equation in four dimensions to avoid redundant typing on input and on the display use diff_table and declare


Consider for instance the wave equation in two dimensions




A solution for pde[1] obtained separating the variables by product




Some Infintesimals of polynomial type for pde[1] are




New solutions for pde[1] exploring these infinitesimals can be computed using SymmetrySolutions as follows




Note the introduction of the Lie group parameter _ϵ; the new solutions are valid for any value (not depending on x, y or t) of it. These solutions can be verified using pdetest




See Also

dchange, Infinitesimals, InvariantSolutions, InvariantTransformation, pdetest, PDEtools, pdsolve, PolynomialSolutions, SimilaritySolutions, SimilarityTransformation, SymmetryTransformation

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