perform a change of variables on the infinitesimals of a symmetry generator - Maple Help

Online Help

All Products    Maple    MapleSim


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

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

withPDEtools,ChangeSymmetry,CanonicalCoordinates,InfinitesimalGenerator

ChangeSymmetry,CanonicalCoordinates,InfinitesimalGenerator

(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:=_ξx=x,_ξt=1,_ηu=u

S:=_ξx=x,_ξt=1,_ηu=u

(2)

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

G:=InfinitesimalGeneratorS,ux,t

G:=f→xxf+tf+uuf

(3)

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

TR:=x=ⅇvr,s,t=r+vr,s,ux,t=sⅇvr,s

TR:=t=r+vr,s,x=ⅇvr,s,ux,t=sⅇvr,s

(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]

ChangeSymmetryTR,S

_ξr=0,_ξs=0,_ηv=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

ChangeSymmetryTR,G

f→vf

(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

ChangeSymmetryTR,_ξx=u,_ξt=x,_ηu=t

_ξr=ⅇvs,_ξs=ⅇvs2+r+vⅇv,_ηv=s

(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

ChangeSymmetryTR,u,x,t,jetnotation=jetnumbers

ⅇv[]s,ⅇv[]s2+r+v[]ⅇv[],s

(8)

ChangeSymmetryTR,u,x,t,jetnotation=false

ⅇvr,ss,ⅇvr,ss2+r+vr,sⅇvr,s,s

(9)

See Also

CanonicalCoordinates, InfinitesimalGenerator, PDEtools


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