a list with the infinitesimals of a symmetry generator or the corresponding infinitesimal generator differential operator

ITR

-

optional - the inverse transformation equation or a set of them

DepVars

-

optional - may be required, a function or a list of them indicating the (old) dependent variables of the problem

NewDepVars

-

optional - a function or a list of them representing the new dependent variables

jetnotation = ...

-

(optional) can be true (default, the notation found in S), false, jetvariables, jetvariableswithbrackets, jetnumbers or jetODE; to respectively return or not using the different jet notations available

output = ...

-

optional - can be list or operator, indicating the output to be a list of infinitesimal components or the corresponding infinitesimal generator differential operator

simplifier = ...

-

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

Description

•

The ChangeSymmetry command performs changes of variables in a list of infinitesimals of a symmetry generator or its corresponding infinitesimal generator differential operator. This transformation takes into account that the infinitesimals are coefficients of differentiation operators which are also changed by the transformation, thus contributing to the resulting infinitesimals in the new variables.

•

To avoid having to remember the optional keywords if you misspell the keyword, 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.

A direct application of this transformation to each component of S is incorrect because these infinitesimals are coefficients of differentiation operators in the infinitesimal generatorG above. That fact is taken into account by ChangeSymmetry; the syntax it uses is the same as that of PDEtools[dchange] and DEtools[Xchange]

>

ChangeSymmetry&ApplyFunction;TR&comma;S

_&xi;r&equals;0&comma;_&xi;s&equals;0&comma;_&eta;v&equals;1

(5)

You can change variables directly in the infinitesimal generator differential operator, in which case the output has the same format, is also a differential operator

>

ChangeSymmetry&ApplyFunction;TR&comma;G

f&rarr;&PartialD;&PartialD;v&InvisibleTimes;f

(6)

You can also optionally request the output to be in list or operator format to override returning in the same format of the symmetry.

The transformation used in this example introduces the canonical coordinates of the symmetry group with infinitesimals S. That is why the result above is the normal form of the generator, all infinitesimals equal to 0 but for one equal to 1.

Consider now changing variables in a different symmetry, using the same transformation TR

Compare with the output in different jetnotation or in function notation (jetnotation = false); we also pass the symmetry without the infinitesimals' labels to save some keystrokes; correspondingly the output also comes without infinitesimals' labels

Maplesoft™, a subsidiary of Cybernet Systems Co. Ltd. in Japan, is the leading provider of high-performance software tools for engineering, science, and mathematics. Its product suite reflects the philosophy that given great tools, people can do great things.