|
Tensor[ParallelTransportEquations] - calculate the parallel transport equations for a linear connection on the tangent bundle or a linear connection on a vector bundle
Calling Sequences
ParallelTransportEquations(C, Y, Gamma, t)
Parameters
C - a list of functions of a single variable, defining the components of a curve on a manifold M, with respect to a given coordinate system
Y - a vector field defined along the curve C
Gamma - a connection on the tangent bundle to a manifold M or a connection on a vector bundle E -> M
t - the curve parameter
|
|
Description
|
|
|
•
|
Let M be a manifold and let nabla be a linear connection on the tangent bundle of M or a connection on a vector bundle E -> M. If C is a curve in M with tangent vector T, then the parallel transport equations for a vector field Y along C are then linear, first order ODEs defined by nabla_T(Y) = 0.
|
|
•
|
The procedure ParallelTransportEquations(C, Y, Gamma, t) returns the vector nabla_T(Y).
|
|
•
|
This command is part of the DifferentialGeometry:-Tensor package, and so can be used in the form ParallelTransportEquations(...) only after executing the command with(DifferentialGeometry) and with(Tensor) in that order. It can always be used in the long form DifferentialGeometry:-Tensor:-ParallelTransportEquations.
|
|
|
|
Examples
|
|
|
>
|
 
|
Example 1.
First create a 2 dimensional manifold M and define a connection on the tangent space of M.
|
>
|
![DGsetup([x, y], M)](/support/helpjp/helpview.aspx?si=5625/file05900/math98.png)
|
|
| (2.1) |
|
M >
|
|
|
| (2.2) |
To define the parallel transport equations along C, we first define a curve on M by specifying a list of functions of a single variable t. We also define a vector field Y with coefficients depending on the curve parameter.
|
M >
|
![C := [cos(t), sin(t)]](/support/helpjp/helpview.aspx?si=5625/file05900/math124.png)
|
|
![C := [cos(t), sin(t)]](/support/helpjp/helpview.aspx?si=5625/file05900/math127.png)
| (2.3) |
|
M >
|
|
|
| (2.4) |
The program ParallelTransportEquations returns a vector whose components define the parallel transport equations.
|
M >
|
|
|
| (2.5) |
To solve these parallel transport equations use the DGinfo command in the Tools package to obtain the coefficients of V as a set. Pass the resulting system of 1st order ODEs to dsolve.
|
M >
|
|
|
| (2.6) |
|
M >
|
|
|
| (2.7) |
Back substitute the solution into the vector field Y.
|
M >
|
|
|
| (2.8) |
Example 2.
First create a rank 2 vector bundle E -> M dimensional manifold M and define a connection on E.
|
M >
|
![DGsetup([x, y], [u, v], E)](/support/helpjp/helpview.aspx?si=5625/file05900/math202.png)
|
|
E >
|
|
|
| (2.9) |
Define a curve C in M.
|
E >
|
![C := [t, t]](/support/helpjp/helpview.aspx?si=5625/file05900/math219.png)
|
|
![C := [t, t]](/support/helpjp/helpview.aspx?si=5625/file05900/math222.png)
| (2.10) |
|
E >
|
|
|
| (2.11) |
The program ParallelTransportEquations returns a vector whose components define the parallel transport equations.
|
E >
|
|
|
| (2.12) |
To solve these parallel transport equations use DGinfo to obtain the coefficients of V as a set. Pass the result to dsolve.
|
E >
|
|
|
| (2.13) |
|
E >
|
|
|
| (2.14) |
Back substitute the solution into the vector field Y.
|
E >
|
|
|
| (2.15) |
|
|
Download Help Document
Was this information helpful?
