computes transformations reducing by k the number of independent variables of PDE systems admitting a given k-dimensional symmetry group - Maple Help

Online Help

All Products    Maple    MapleSim


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

PDEtools[InvariantTransformation] - computes transformations reducing by k the number of independent variables of PDE systems admitting a given k-dimensional symmetry group

Calling Sequence

InvariantTransformation(S, DepVars, NewVars, 'options'='value')

Parameters

S

-

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

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 false (default), jetvariables, jetvariableswithbrackets, jetnumbers or jetODE; to respectively return or not using the different jet notations available

<options> = ...

-

the optional arguments accepted by InvariantSolutions

Description

• 

Given a list with the infinitesimals of a symmetry generator or the corresponding infinitesimal generator operator, or a list of n of these lists or operators, possibly representing an n-dimensional symmetry group, InvariantTransformation command computes a transformation from the dependent and independent variables of the problem to variables that reduces the number of independent variables of PDESYS by one, or optionally by as many as indicated in the optional argument reduceinonego = n, where n is a positive integer; this option is valid when the first argument is a list of symmetries representing a multidimensional symmetry group.

• 

When there is only one dependent variable, DepVars and NewVars can be functions; otherwise they must be a list of functions representing dependent variables. If NewVars are not given, InvariantTransformation will generate a list of globals to represent them.

• 

By default, InvariantTransformation returns using function notation. It is sometimes convenient to have this output expressed in one of the jet notations available. For that purpose use ToJet or the optional argument jetnotation = ... where the right-hand-side is any of true, jetODE, jetvariables or withoutbrackets. For more information, see jet notations.

• 

Optionally you can also pass a list of invariants or a list of lists of invariants instead of lists of infinitesimals, using the optional argument invariants = .... You can also specify a simplifier, or the dependency of the solutions expected to be obtained using these transformations; all these options are the same ones explained in the help page for InvariantSolutions.

• 

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

withPDEtools&comma;InvariantTransformation&comma;ChangeSymmetry&comma;InfinitesimalGenerator

InvariantTransformation&comma;ChangeSymmetry&comma;InfinitesimalGenerator

(1)

Consider a PDE problem with two independent variables and one dependent variable, ux&comma;t, and consider the list of infinitesimals of a symmetry group.

S:=_&xi;x&equals;x&comma;_&xi;t&equals;1&comma;_&eta;u&equals;u

S:=_&xi;x&equals;x&comma;_&xi;t&equals;1&comma;_&eta;u&equals;u

(2)

In the input above you can also enter the symmetry S without labels for the infinitesimals, as in x&comma;1&comma;u, or use the corresponding infinitesimal generator

G:=InfinitesimalGeneratorS&comma;ux&comma;t

G:=f&rarr;xxf&plus;tf&plus;uuf

(3)

A PDESYS is invariant under the transformations generated by G in that GPDESYS&equals;0, where in this formula G represents the prolongation necessary to act on PDESYS (see InfinitesimalGenerator).

The transformation and its inverse, from the original variables t&comma;x&comma;ux&comma;t to new coordinates, say r&comma;s&comma;vr&comma;s, that reduces by one the number of independent variables of a PDE system invariant under G above is obtained via

InvariantTransformationS&comma;ux&comma;t&comma;vr&comma;s

r&equals;lnx&plus;t&comma;s&equals;t&comma;vr&comma;s&equals;ux&comma;tx&comma;t&equals;s&comma;x&equals;&ExponentialE;r&plus;s&comma;ux&comma;t&equals;vr&comma;s&ExponentialE;r&plus;s

(4)

where in the above you can equally pass G instead of S. To express this transformation using jet notation use

InvariantTransformationS&comma;ux&comma;t&comma;vr&comma;s&comma;jetnotation

r&equals;lnx&plus;t&comma;s&equals;t&comma;v&equals;ux&comma;t&equals;s&comma;u&equals;v&ExponentialE;r&plus;s&comma;x&equals;&ExponentialE;r&plus;s

(5)

InvariantTransformationS&comma;ux&comma;t&comma;vr&comma;s&comma;jetnotation&equals;jetnumbers

jet notation: [1 = x, 2 = t, 3 = r, 4 = s]

____________________________

r&equals;lnx&plus;t&comma;s&equals;t&comma;v&lsqb;&rsqb;&equals;u&lsqb;&rsqb;x&comma;t&equals;s&comma;x&equals;&ExponentialE;r&plus;s&comma;u&lsqb;&rsqb;&equals;v&lsqb;&rsqb;&ExponentialE;r&plus;s

(6)

That this transformation reduces the number of independent variables of any PDE system invariant, under G above, is visible in the fact that it transforms the infinitesimals into 0&comma;1&comma;0; to verify this you can use ChangeSymmetry

TR&comma;NewVars:=2&comma;maplhs&comma;1

TR&comma;NewVars:=t&equals;s&comma;x&equals;&ExponentialE;r&plus;s&comma;ux&comma;t&equals;vr&comma;s&ExponentialE;r&plus;s&comma;r&comma;s&comma;vr&comma;s

(7)

ChangeSymmetryTR&comma;S&comma;ux&comma;t&comma;NewVars

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

(8)

So to this list of infinitesimals corresponds, written in terms of vr&comma;s, this infinitesimal generator

InfinitesimalGenerator&comma;vr&comma;s

f&rarr;sf

(9)

Any PDESYS invariant under G will also be invariant under the operator above, that is, PDESYS will be independent of s after you change variables in it using TR computed with SimilarityTransformation above.

If the new variables - here vr&comma;s - are not indicated, variables prefixed by the underscore _ to represent the new variables are introduced

InvariantTransformationS&comma;ux&comma;t

_t1&equals;lnx&plus;t&comma;_t2&equals;t&comma;_u1_t1&equals;ux&comma;tx&comma;t&equals;_t2&comma;x&equals;&ExponentialE;_t1&plus;_t2&comma;ux&comma;t&equals;_u1_t1&ExponentialE;_t1&plus;_t2

(10)

See Also

CanonicalCoordinates, ChangeSymmetry, InfinitesimalGenerator, Invariants, InvariantSolutions, PDEtools, SimilarityTransformation, SymmetryTransformation


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