>
|

|
Example 1.
The formula for the contact vector field in terms of the generating function with 1 independent variable.
>
|
|
J11 >
|
|
J11 >
|
|
| (2.1) |
The formula for the contact vector field in terms of the generating function with 2 independent variables.
J11 >
|
|
J21 >
|
|
J21 >
|
|
| (2.2) |
The formula for the contact vector field in terms of the generating function with 3 independent variables.
J21 >
|
|
J31 >
|
|
J31 >
|
|
![-S[u[1]]*D_x-S[u[2]]*D_y-S[u[3]]*D_z+(-u[3]*S[u[3]]-u[2]*S[u[2]]-u[1]*S[u[1]]+S)*D_u[]+(S[x]+u[1]*S[u[]])*D_u[1]+(S[y]+u[2]*S[u[]])*D_u[2]+(S[z]+u[3]*S[u[]])*D_u[3]](/support/helpjp/helpview.aspx?si=6557/file05757/math147.png)
| (2.3) |
Example 2.
We choose some specific generating functions and calculate the resulting contact vector fields.
J31 >
|
|
J21 >
|
|
J21 >
|
|
| (2.4) |
J21 >
|
|
J21 >
|
|
| (2.5) |
J21 >
|
|
J21 >
|
|
| (2.6) |
Example 3.
Check the properties of the vector field obtained from S = u[0, 1]^2.
J21 >
|
|
J21 >
|
|
| (2.7) |
X preserves the contact 1-form Cu[0, 0].
J21 >
|
|
| (2.8) |
X is the prolongation of its projection to the space of independent and dependent variables.
J21 >
|
|
| (2.9) |
J21 >
|
|
| (2.10) |
J21 >
|
|
| (2.11) |
J21 >
|
|
| (2.12) |
Example 4.
We use the commands GeneratingFunctionToContactVector and Flow to find a contact transformation.
J21 >
|
|
J21 >
|
|
| (2.13) |
J21 >
|
|
![Phi := [x = -u[1]*sin(2*t)+x*cos(2*t), y = y, u[] = -u[1]^2*((1/4)*(cos(2*t)*sin(2*t))+t/2)+u[1]*cos(2*t)^2*x-x^2*(-(1/4)*(cos(2*t)*sin(2*t))+t/2)+u[1]^2*(-(1/4)*(cos(2*t)*sin(2*t))+t/2)+x^2*((1/4)*(cos(2*t)*sin(2*t))+t/2)-u[1]*x+u[], u[1] = u[1]*cos(2*t)+x*sin(2*t), u[2] = u[2]]](/support/helpjp/helpview.aspx?si=6557/file05757/math282.png)
| (2.14) |
Check that Phi is a contact transformation.
J21 >
|
|
| (2.15) |
We note that Phi takes on a simple form for t = Pi/4 and that it linearizes the Monge-Ampere equation u[2, 0]*u[0, 2] - u[1, 1]^2 = 1.
J21 >
|
|
| (2.16) |
J21 >
|
|
| (2.17) |
J21 >
|
|
| (2.18) |
J21 >
|
|
| (2.19) |