|
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
|
|
|
>
|
|
|
![[InvariantTransformation, ChangeSymmetry, InfinitesimalGenerator]](/support/helpjp/helpview.aspx?si=7199/file02504/math174.png)
| (1) |
Consider a PDE problem with two independent variables and one dependent variable,  , and consider the list of infinitesimals of a symmetry group.
|
>
|
![S := [_xi[x] = x, _xi[t] = 1, _eta[u] = u]](/support/helpjp/helpview.aspx?si=7199/file02504/math182.png)
|
|
![S := [_xi[x] = x, _xi[t] = 1, _eta[u] = u]](/support/helpjp/helpview.aspx?si=7199/file02504/math185.png)
| (2) |
In the input above you can also enter the symmetry  without labels for the infinitesimals, as in ![[x, 1, u]](/support/helpjp/helpview.aspx?si=7199/file02504/math190.png) , or use the corresponding infinitesimal generator
|
>
|
|
|
| (3) |
A  is invariant under the transformations generated by  in that  , where in this formula  represents the prolongation necessary to act on  (see InfinitesimalGenerator).
The transformation and its inverse, from the original variables  to new coordinates, say  , that reduces by one the number of independent variables of a PDE system invariant under  above is obtained via
|
>
|
|
|
| (4) |
where in the above you can equally pass  instead of  . To express this transformation using jet notation use
|
>
|
|
|
| (5) |
|
>
|
|
|
![{r = -ln(x)+t, s = t, v[] = u[]/x}, {t = s, x = exp(-r+s), u[] = v[]*exp(-r+s)}](/support/helpjp/helpview.aspx?si=7199/file02504/math262.png)
| (6) |
That this transformation reduces the number of independent variables of any PDE system invariant, under  above, is visible in the fact that it transforms the infinitesimals into ![[0, 1, 0]](/support/helpjp/helpview.aspx?si=7199/file02504/math267.png) ; to verify this you can use ChangeSymmetry
|
>
|
![TR, NewVars := ({r = -ln(x)+t, s = t, v(r, s) = u(x, t)/x}, {t = s, x = exp(-r+s), u(x, t) = v(r, s)*exp(-r+s)})[2], map(lhs, ({r = -ln(x)+t, s = t, v(r, s) = u(x, t)/x}, {t = s, x = exp(-r+s), u(x, t) = v(r, s)*exp(-r+s)})[1])](/support/helpjp/helpview.aspx?si=7199/file02504/math275.png)
|
|
| (7) |
|
>
|
|
|
![[_xi[r] = 0, _xi[s] = 1, _eta[v] = 0]](/support/helpjp/helpview.aspx?si=7199/file02504/math285.png)
| (8) |
So to this list of infinitesimals corresponds, written in terms of  , this infinitesimal generator
|
>
|
![InfinitesimalGenerator([_xi[r] = 0, _xi[s] = 1, _eta[v] = 0], v(r, s))](/support/helpjp/helpview.aspx?si=7199/file02504/math296.png)
|
|
| (9) |
Any PDESYS invariant under  will also be invariant under the operator above, that is,  will be independent of  after you change variables in it using  computed with SimilarityTransformation above.
If the new variables - here  - are not indicated, variables prefixed by the underscore _ to represent the new variables are introduced
|
>
|
|
|
| (10) |
|
|
