Coordinate system changing
This notebook illustrates how to use the Atlas package to solve problems in elementary differential geometry. As an example, we discuss changing from Cartesian to bipolar coordinate systems.
What we do?
- We construct a Cartesian domain (C) with the standard flat metric and a bipolar domain (B).
- We map C into B and then calculate metric tensor field and connection induced on B by the mapping.
- We also obtain the Laplace operator, Killing vector fields, geodesic lines and tangent vector fields on the bipolar domain.
- We show by direct computation that the geometry on domains C and B is just the same namely flat geometry of the plane.
|Domain[manifold]||manifold - string - a manifold name or a name of a manifold domain.|
|Metric[id→expr]||id - variable - metric identifier,
expr - expression - metric declaration.|
|Connection[id]||id - variable - connection identifier.|
First of all we have to describe the space we are working in. The Cartesian domain is 2-dimensional Euclidean (flat) space i.e. a plane with a Cartesian coordinate system. To define the space we declare domain, forms, vectors, coframe, frame, flat metric
and calculate connection
(it equals to zero of caurse).
Define the Euclidean space as a manifold:
Declare 1-forms for the space coframe:
Declare the vectors for the space frame:
Declare the coframe on the space:
Declare the frame on the space:
Declare a flat metric on the space:
Calculate the connection of the metric:
|Curvature[id]||id - variable - curvature identifier|
Declare 1-forms for the domain coframe:
Declare the vectors for the domain frame:
Declare the coframe on the domain:
Declare the frame of the domain:
Declare a mapping of the domain into R2
Now we can calculate the metric induced on the domain by the mapping:
Calculate the connection:
The connection is not equal to zero. Nevertheless the domain has flat metric. To verify this fact we compute curvature 2-forms:
|fk=fk[z1, z2, ..., zj] - equations where fk-function identifier and zj - variables.|
|div[expr]||expr - any vector expression.|
|grad[expr]||expr-any 0-form expression.|
Calculations in B domain
Declare abstract functions on B domain:
Calculate the gradient of the function f:
Divergence of the frame vector fields:
The divergences are not equal to zero. Thus the coordinate lines on the bipolar domain "have sources and drains" (see graph paper above). To calculate the Laplace operator one can use the grad and div operators:
Verify that there are no Killing vector fields in frame vector fields:
How do we calculate the Killing vector fields in a bipolar domain? To do this we can use condition Lx(G)=0
for the vector field X. Construct the vector field X as a linear combination of the frame vector fields:
Calculate the corresponding Lie derivative:
We have to solve the corresponding PDE system (Lx(G)=0
) and find the functions f and h. But ...But ...
But it is obvious that the vector fields j
are Killing ones in the Cartesian domain. Thus these vectors are Killing ones on the B domain also. It means that we have to express fields j
by the frame vector fields Wi
First of all we find the expressions for corresponding 1-forms using restriction of the mapping
After that we use Dual
- operator to convert 1-forms into corresponding vector fields ("rising indexes"):
By the way there are "no sources and drains" for these vector fields (just straight lines; see graph paper above):
How to calculate the geodesic lines? To do this we can use the condition for tangent vectors X of a geodesic line.
Calculate the corresponding covariant derivative:
We have to solve the corresponding PDE system (cov(X,X)=0
) and find functions f and h. But ...
But the obvious result is as follows:
Nothing surprising about it really. The vector fields E1, E2 are tangent fields of straight lines on the plane (just expressed by frame vectors of B domain). We are on the plane anyway (but with different coordinate system) thus the geometry on B is the same as on C.