PDEtools[SymmetryGauge]  transform the generator of symmetry transformation to the indicated "gauge"

Calling Sequence


SymmetryGauge(S, DepVars, options=value)


Parameters


S



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

DepVars



function or list of them indicating the dependent variables of the problem

differentialorder = ...



(optional) indicates the differential order of the dependency of the arbitrary functions introduced by SymmetryGauge; its default value is the prolongation

expanded = ...



(optional) true or false (default); related to output = operator, specifies whether to expand, within the operator, the prolongation of the infinitesimals, as opposed to returning just the table procedure that computes it

jetnotation = ...



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

output = ...



(optional) list or operator; specifies whether the output should be a list of infinitesimals or its corresponding infinitesimal generator differential operator

prolongation = ...



(optional) positive integer indicating the desired prolongation order of the commutator; default is the prolongation order found in the given S

xi = ...



(optional) algebraic expression or a list of them, indicating the desired algebraic value for the (independent) infinitesimals

eta = ...



(optional) algebraic expression or a list of them, indicating the desired algebraic value for the (dependent) infinitesimals





Description


•

The SymmetryGauge command receives a symmetry and returns it rewritten in its most general form, by introducing as many arbitrary functions as the number of independent variables. The dependent variables of the problem must be specified as a function or a list of functions.

•

When an optional indication of the desired "gauge" is given, as in or , before returning, the symmetry is "gauged" to satisfy that indication by adjusting the values of the arbitrary functions of the most general form of the symmetry.

•

The symmetry can be passed as a list of symmetry infinitesimals, or as its equivalent infinitesimal generator operator. Accordingly, the output will be a list or an operator. To override this behavior use the optional argument output = ..., where the righthand side can be list or operator.

•

When the input symmetry is passed as an infinitesimal generator operator, or the optional argument output = operator is used, the formulas in the body of the operator returned are not expanded (for details, see the discussion in InfinitesimalGenerator). To receive them in expanded form pass the optional argument expanded.


When the righthand side of or is an algebraic expression, all the corresponding infinitesimals, that is (for ), or (for ), where and are, respectively, the number of independent and dependent variables, are returned with that value. When the righthand side is a list ( or ), if one or many of the elements are the word arbitrary, then the corresponding infinitesimal will be returned in the most general form. Also, when the righthand side is a list, there cannot be more than (for ) or (for ) elements in the list. When the lists are passed with less than or elements, the remaining ones are assumed to be arbitrary in that they will appear in the returned symmetry in its most general form, in terms of arbitrary functions.

•

The prolongation value of the returned symmetry is the prolongation value of the input symmetry unless specified otherwise with the option prolongation = k, where k is a nonnegative integer.

•

The dependency of the arbitrary functions introduced by SymmetryGauge consists of the independent and dependent variables, as well as all their partial derivatives up to order , where is the prolongation, unless otherwise indicated using the optional argument differentialorder = N, here N is a nonnegative integer.

•

The jet notation used in the output is the one of the input symmetry S unless indicated otherwise using the option jetnotation = ... where the righthand side is any of jetnumbers', jetODE, jetvariables or jetvariableswithbrackets; for details about the available jet notations see ToJet.

•

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.



Compatibility


•

The PDEtools[SymmetryGauge] command was introduced in Maple 15.



Examples


>


Consider the list of infinitesimals corresponding to a symmetry transformation where there are two independent and one dependent variables,
>


 (1) 
The general form of a 2nd order PDE admitting this symmetry is computed using InvariantEquation
>


 (2) 
We particularize here the form of PDE for illustration purposes below:
>


 (3) 
Now, the general form of the symmetry S is computed with SymmetryGauge via
>


 (4) 
Verify that S1 is also a symmetry of pde
>


 (5) 
Note the presence of arbitrary functions in S1; there are as many as the number of independent variables. SymmetryGauge works by adding to the given symmetry a symmetry that is always admitted (socalled trivial), which by itself, alone, is useless for solving purposes, but when combined with a useful symmetry it permits rewriting the useful given symmetry in different manners. To see the trivial symmetry being added use the corresponding Library command:
>


 (6) 
The input of SymmetryGauge can also be the infinitesimal generator operator corresponding to S, in which case the output of SymmetryGauge will also be an operator
>


 (7) 
>


 (8) 
To see this output in expanded form use the option expanded
>


 (9) 
So the output of SymmetryGauge is a differential operator operator when the input (here G) is an operator, and it is a list when the symmetry is entered as a list. You can override this default using the option output = ...
>


 (10) 
The prolongation order of the symmetry returned is by default the one of the given symmetry, but can also be requested to be different using the optional argument prolongation = n, where n is a positive integer
>


 (11) 
To request the output in a different notation, for instance jetnumbers (see ToJet), use the optional argument jetnotation = ...; you can also indicate the lefthand side of the optional argument with just part of the keyword and a match is performed against the keywords understood by SymmetryGauge; this input illustrate both things
>


 (12) 
To request the dependency of the arbitrary functions to be different than the prolongation value use the differentialorder = ... optional argument
>


 (13) 
To rewrite the symmetry in evolutionary form use the _xi = 0 optional argument
>


 (14) 
Verify that S0_xi is a symmetry of pde
>


 (15) 
Compare with the gauge where _eta = 0
>


 (16) 
>


 (17) 
You can indicate the value of each of the infinitesimals, passing the righthand side of the specification as a list
>


 (18) 
When within a list only one of the infinitesimals is specified, the other remains arbitrary
>


 (19) 
To specify that only the second one should be gauged, but not the first one, you can use
>


 (20) 

