 ChangeSymmetry - Maple Help

PDEtools

 ChangeSymmetry
 perform a change of variables on the infinitesimals of a symmetry generator Calling Sequence ChangeSymmetry(TR, S, ITR, DepVars, NewVars, 'options'='value') Parameters

 TR - a transformation equation or a set of them S - 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. Examples

 > $\mathrm{with}\left(\mathrm{PDEtools},\mathrm{ChangeSymmetry},\mathrm{CanonicalCoordinates},\mathrm{InfinitesimalGenerator}\right)$
 $\left[{\mathrm{ChangeSymmetry}}{,}{\mathrm{CanonicalCoordinates}}{,}{\mathrm{InfinitesimalGenerator}}\right]$ (1)

Consider a PDE problem with two independent variables and one dependent variable, u(x, t), and consider the list of infinitesimals of a symmetry group

 > $S≔\left[\mathrm{_ξ}\left[x\right]=x,\mathrm{_ξ}\left[t\right]=1,\mathrm{_η}\left[u\right]=u\right]$
 ${S}{≔}\left[{{\mathrm{_ξ}}}_{{x}}{=}{x}{,}{{\mathrm{_ξ}}}_{{t}}{=}{1}{,}{{\mathrm{_η}}}_{{u}}{=}{u}\right]$ (2)

In the input above you can also pass the symmetry as without infinitesimals' labels, as in $\left[x,1,u\right]$. The corresponding infinitesimal generator is

 > $G≔\mathrm{InfinitesimalGenerator}\left(S,u\left(x,t\right)\right)$
 ${G}{≔}{f}{→}{x}{}\left(\frac{{\partial }}{{\partial }{x}}{}{f}\right){+}\frac{{\partial }}{{\partial }{t}}{}{f}{+}{u}{}\left(\frac{{\partial }}{{\partial }{u}}{}{f}\right)$ (3)

Consider now the following transformation to be applied to the infinitesimals S

 > $\mathrm{TR}≔\left\{t=r+v\left(r,s\right),x=\mathrm{exp}\left(v\left(r,s\right)\right),u\left(x,t\right)=s\mathrm{exp}\left(v\left(r,s\right)\right)\right\}$
 ${\mathrm{TR}}{≔}\left\{{t}{=}{r}{+}{v}{}\left({r}{,}{s}\right){,}{x}{=}{{ⅇ}}^{{v}{}\left({r}{,}{s}\right)}{,}{u}{}\left({x}{,}{t}\right){=}{s}{}{{ⅇ}}^{{v}{}\left({r}{,}{s}\right)}\right\}$ (4)

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

 > $\mathrm{ChangeSymmetry}\left(\mathrm{TR},S\right)$
 $\left[{{\mathrm{_ξ}}}_{{r}}{=}{0}{,}{{\mathrm{_ξ}}}_{{s}}{=}{0}{,}{{\mathrm{_η}}}_{{v}}{=}{1}\right]$ (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

 > $\mathrm{ChangeSymmetry}\left(\mathrm{TR},G\right)$
 ${f}{→}\frac{{\partial }}{{\partial }{v}}{}{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 $\mathrm{TR}$

 > $\mathrm{ChangeSymmetry}\left(\mathrm{TR},\left[\mathrm{_ξ}\left[x\right]=u,\mathrm{_ξ}\left[t\right]=x,\mathrm{_η}\left[u\right]=t\right]\right)$
 $\left[{{\mathrm{_ξ}}}_{{r}}{=}{{ⅇ}}^{{v}}{-}{s}{,}{{\mathrm{_ξ}}}_{{s}}{=}\frac{{-}{{ⅇ}}^{{v}}{}{{s}}^{{2}}{+}{r}{+}{v}}{{{ⅇ}}^{{v}}}{,}{{\mathrm{_η}}}_{{v}}{=}{s}\right]$ (7)

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

 > $\mathrm{ChangeSymmetry}\left(\mathrm{TR},\left[u,x,t\right],\mathrm{jetnotation}=\mathrm{jetnumbers}\right)$
 $\left[{{ⅇ}}^{{v}\left[\right]}{-}{s}{,}\frac{{-}{{ⅇ}}^{{v}\left[\right]}{}{{s}}^{{2}}{+}{r}{+}{v}\left[\right]}{{{ⅇ}}^{{v}\left[\right]}}{,}{s}\right]$ (8)
 > $\mathrm{ChangeSymmetry}\left(\mathrm{TR},\left[u,x,t\right],\mathrm{jetnotation}=\mathrm{false}\right)$
 $\left[{{ⅇ}}^{{v}{}\left({r}{,}{s}\right)}{-}{s}{,}\frac{{-}{{ⅇ}}^{{v}{}\left({r}{,}{s}\right)}{}{{s}}^{{2}}{+}{r}{+}{v}{}\left({r}{,}{s}\right)}{{{ⅇ}}^{{v}{}\left({r}{,}{s}\right)}}{,}{s}\right]$ (9)