JetCalculus[AssignVectorType] - assign a type (one of contact, evolutionary, generalized, generic, point, projectable, total) to a vector field
Calling Sequences
AssignVectorType(X)
Parameters
X - a vector field on a jet space
|
Description
|
|
•
|
Let be a fiber bundle and let be the associated bundle of jets.
|
[i] A vector field on is called a point vector field.
[ii] If is a point vector field which projects under to a vector field on , then is called a projectable vector field.
[iii] If the fiber dimension of is 1 and is a vector field on which preserves the contact 1-form on (under Lie differentiation), then is a contact vector field.
[iv] If is a vector field on which takes values in the tangent space of , then is called a generalized vector field on (also called a Lie-Backlund vector field or a dynamical vector field).
[v] If is a generalized vector field on which projects under to the zero vector field on , then is called a vertical generalized vector field or an evolutionary vector on
[vi] A generalized vector field which annihilates the contact ideal on is called a total vector field.
[vii] A vector field not of the types [i]--[vi] or a prolongation of such is labeled generic.
•
|
The command AssignVectorType(X) returns the vector field , but with internal representation of changed to encode its vector type. The type of a vector and its prolongation order can be determined by the command DGinfo with the keyword "VectorType".
|
•
|
Any of the vector fields [i]--[vi] admit a unique lift to a vector field with values in by the Lie prolongation formula. We call, for example, a vector field on obtained from the prolongation of a point vector field a prolonged point vector field. See Prolong for further information.
|
•
|
Explicit coordinate formulas for each of these types of vector fields in the case are presented in Example 1.
|
•
|
The type of a vector field and its prolongation order can be determined by the command DGinfo with keyword "VectorType".
|
•
|
The command AssignVectorType is part of the DifferentialGeometry:-JetCalculus package. It can be used in the form AssignVectorType(...) only after executing the commands with(DifferentialGeometry) and with(JetCalculus), but can always be used by executing DifferentialGeometry:-JetCalculus:-AssignVectorType(...).
|
|
|
Examples
|
|
>
|
|
Example 1.
First initialize the jet space for two independent variables and one dependent variable and prolong it to order 4.
>
|
|
Case 1. Point vector fields:
J22 >
|
|
| (2.1) |
When a vector field is first defined, it is not given a type.
J22 >
|
|
Now assign the vector field a type.
J22 >
|
|
| (2.3) |
J22 >
|
|
This indicates that the vector field is a point vector field, the 0 indicates that the vector field has not been prolonged to a jet space.
Case 2. Projectable vector fields:
J22 >
|
|
| (2.5) |
J22 >
|
|
| (2.6) |
J22 >
|
|
| (2.7) |
Case 3. Contact vector fields:
The command GeneratingFunctionToContactVector always returns a contact vector field.
J22 >
|
|
J22 >
|
|
| (2.8) |
J22 >
|
|
J22 >
|
|
J22 >
|
|
Case 4. Generalized vector fields:
J22 >
|
|
J22 >
|
|
| (2.11) |
J22 >
|
|
J22 >
|
|
| (2.12) |
Generalized vector fields may depend upon higher order jet variables. For example:
J22 >
|
|
J22 >
|
|
| (2.13) |
J22 >
|
|
J22 >
|
|
| (2.14) |
Case 5. Evolutionary vector fields:
J22 >
|
|
J22 >
|
|
| (2.15) |
J22 >
|
|
J22 >
|
|
| (2.16) |
Case 6. Total vector fields:
J22 >
|
|
| (2.17) |
J22 >
|
|
J22 >
|
|
Case 7. Generic vector fields:
A generic vector field cannot be prolonged--the order of prolongation is therefore declared to be "NA" (Not Applicable).
J22 >
|
|
J22 >
|
|
Example 2.
Here we give examples of prolonged vector fields of the various types. First initialize the jet space for one independent variable and one dependent variable and prolong it to order 4.
J22 >
|
|
Case 1. A prolonged point vector field.
E >
|
|
| (2.21) |
When a vector field is first defined, it is not given a type.
E >
|
|
Now assign the vector field a type.
E >
|
|
| (2.23) |
E >
|
|
This indicates that the vector field is a prolonged point vector field, the 2 indicates that the vector field has been prolonged from the space (of independent and dependent variables) to the 2nd jet space.
Case 2. A prolonged projectable vector field: ???XXX I get "generic"
E >
|
|
| (2.25) |
E >
|
|
| (2.26) |
E >
|
|
Case 3. A prolonged contact vector field: ???XXX
E >
|
|
| (2.28) |
E >
|
|
| (2.29) |
E >
|
|
Case 4. A prolonged generalized vector field:
E >
|
|
| (2.31) |
E >
|
|
E >
|
|
| (2.32) |
Case 5. A prolonged evolutionary vector field:
E >
|
|
| (2.33) |
E >
|
|
E >
|
|
Case 6. A prolonged total vector field:
E >
|
|
| (2.35) |
E >
|
|
E >
|
|
|
|
|
|
|
|