Maple Professional
Maple Academic
Maple Student Edition
Maple Personal Edition
Maple Player
Maple Player for iPad
MapleSim Professional
MapleSim Academic
Maple T.A. - Testing & Assessment
Maple T.A. MAA Placement Test Suite
Möbius - Online Courseware
Machine Design / Industrial Automation
Aerospace
Vehicle Engineering
Robotics
Power Industries
System Simulation and Analysis
Model development for HIL
Plant Modeling for Control Design
Robotics/Motion Control/Mechatronics
Other Application Areas
Mathematics Education
Engineering Education
High Schools & Two-Year Colleges
Testing & Assessment
Students
Financial Modeling
Operations Research
High Performance Computing
Physics
Live Webinars
Recorded Webinars
Upcoming Events
MaplePrimes
Maplesoft Blog
Maplesoft Membership
Maple Ambassador Program
MapleCloud
Technical Whitepapers
E-Mail Newsletters
Maple Books
Math Matters
Application Center
MapleSim Model Gallery
User Case Studies
Exploring Engineering Fundamentals
Teaching Concepts with Maple
Maplesoft Welcome Center
Teacher Resource Center
Student Help Center
PDEtools[SymmetryTransformation] - computes the finite form of the (symmetry) transformation leaving invariant any PDE system admitting a given symmetry
Calling Sequence
SymmetryTransformation(S, DepVars, NewVars, 'options'='value')
Parameters
S
-
a list with the infinitesimals of a symmetry generator or the corresponding infinitesimal generator operator
DepVars
a function or a list of functions indicating the dependent variables of the problem
NewVars
optional - a function or a list of functions representing the new dependent variables
jetnotation = ...
(optional) can be true (same as jetvariables), false (default), jetvariables, jetvariableswithbrackets, jetnumbers or jetODE; to respectively return or not using the different jet notations available
simplifier = ...
optional - indicates the simplifier to be used instead of the default simplify/size
redefinegroupparameter
optional - to simplify a subexpression that involves the Lie group parameter replacing it by another group parameter
Description
Given a list with the infinitesimals of a symmetry symmetry transformation.
When there is only one dependent variable, DepVars and NewVars can be a function. Otherwise they must be a list of functions representing dependent variables. If NewVars are not given, SymmetryTransformation will generate a list of globals to represent them.
You can optionally specify a simplifier, to be used instead of the default which is simplify/size, as well as requesting the output to be in jet notation by respectively using the optional arguments simplifier = ... and jetnotation. Note that the option simplifier = ... can be used not just to "simplify" the output but also to post-process this output in the way you want, for instance using a procedure that you have written to discard, change or do what you find necessary with the transformation.
In some cases, the Lie group parameter introduced by SymmetryTransformation appears embedded into a subexpression, for example as in , and only appears through functions of that subexpression. To have these cases returned with instead of - say - , use the option redefinegroupparameter.
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.
Examples
Consider a PDE problem with two independent variables and one dependent variable, , and consider the list of infinitesimals of a symmetry group
In the input above you can also enter the symmetry without infinitesimals' labels, as in . The corresponding infinitesimal generator is
A is invariant under the symmetry transformation generated by in that , where, in this formula, represents the prolongation necessary to act on (see InfinitesimalGenerator).
The actual form of this finite, one-parameter, symmetry transformation relating the original variables to new variables, , that leaves invariant any PDE system admitting the symmetry represented by above is obtained via
where is a (Lie group) transformation parameter. To express this transformation using jetnotation use
That this transformation leaves invariant any PDE system invariant under above is visible in the fact that it also leaves invariant the infinitesimals ; to verify this you can use ChangeSymmetry
which is the same as (but written in terms of instead of ). So to this list of infinitesimals corresponds, written in terms of , this infinitesimal generator
which is also equal to , only written in terms of .
If the new variables, , are not indicated, variables prefixed by the underscore _ to represent the new variables are introduced
An example where the Lie group parameter appears only through the subexpression
A symmetry transformation with the parameter redefined
See Also
CanonicalCoordinates, ChangeSymmetry, InfinitesimalGenerator, Invariants, InvariantSolutions, InvariantTransformation, PDEtools, SimilarityTransformation, SymmetrySolutions
Download Help Document
