computes the group invariant (point symmetry) solutions for a given PDE system
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 respectively 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 obtained separating the variables by product
Some Infinitesimals of polynomial type for pde are
New solutions for pde exploring these infinitesimals can be computed using SymmetrySolutions as follows
Note the introduction of the Lie group parameter _epsilon; the new solutions are valid for any value (not depending on x, y or t) of it. These solutions can be verified using pdetest
Download Help Document
What kind of issue would you like to report? (Optional)