The gamma_ 3D metric tensor - Maple Programming Help

Online Help

All Products    Maple    MapleSim


Home : Support : Online Help : Physics : Physics/gamma_

Physics[gamma_] - The gamma_ 3D metric tensor

Calling Sequence

gamma_[i,j]

gamma_[i,j, matrix]

gamma_[keyword]

Parameters

i, j

-

the indices, as names representing integer numbers between 1 and the space dimension (i.e. spacetime dimension - 1), they can also be the numbers themselves

matrix

-

optional, returns the matrix form for the given (covariant or contravariant) indices; if passed without indices it returns the covariant metric

keyword

-

optional, it can be definition, determinant, line_element, matrix, nonzero

Description

• 

The gamma_[i, j], displayed as γi,j (without _ in between γ and its indices), is a computational representation for the space 3D metric tensor. Note: to work with gamma_[i, j], a kind of letter to represent a space index must be set first using Setup, for instance entering Setup(spaceindices = lowercaselatin_is).

• 

When Physics is loaded, the dimension of spacetime is automatically set to 4 and the metric is automatically set to be galilean, representing a Minkowski spacetime with signature (-, -, -, +), so the value 0, referring to time, points to the fourth place in the list of coordinates (indexing with 0 or 4 is the same). The relationship between the 3D metric gamma_[i, j] and the space components of the 4D metric g_ is as in equations (84.9) and (84.7) of the Landau and Lifshitz book [1]

γi,j=gi,j

γi,j=gi,j+g0,ig0,jg0,0

  

where the signature is (- - - +). These definitions depend on the signature set and automatically follow any change of it that you can perform using the Setup command, as in Setup(signature = ...) where the right-hand side is any of (- - - +), (+ - - -), (+ + + -) and (- + + +).

• 

An important distinction is made between the 3D spatial metric represented by Physics:-gamma_, related to the infinitesimal distance measured by one observer at a fixed point in space, expressed in terms of the spatial components of the metric g_ as shown above, and the 3D spatial metric of a hypersurface defined by a fixed constant value of t, the time, represented by Physics:-ThreePlusOne:-gamma3_, where the 3D line element is the infinitesimal spatial distance on this hypersurface, the distance measured by an Eulerian observer (whose velocity is perpendicular to the hypersurface), and so can be obtained from the 4D one by restricting it to constant time surfaces, namely γi,j=gi,j where the signature is (- + + +), as used in the context of the ThreePlusOne package.

• 

By replacing g_ by gamma_ and all spacetime indices by space indices in the definitions of the Christoffel symbols and the Ricci and Riemann tensors you obtain 3D tensors, whose indices are lowered and raised using the 3D metric gamma_[i, j], the 3D versions of the corresponding 4D tensors (see after sec.88 in [1]).

• 

When the indices of gamma_ assume integer values, it is expected they are between 0 and the space dimension (the spacetime dimension - 1), and the corresponding value of gamma_ is returned. The value 0 always points to the position of the time-like component, so with the signatures (- - - +) and (+ + + -) indexing with 0 is the same as indexing with 4, while with the signatures (+ - - -) and (- + + +) it is the same as indexing with 1. When the indices have symbolic values, say as in i,j, if i=j gamma_ returns the dimension of space. If the system can prove that ij (e.g. via assumptions), gamma_ returns zero whenever the metric is diagonal. Otherwise gamma_ returns unevaluated, after normalizing its indices taking into account that this 3D space metric is symmetric.

• 

You can change the value of the 3D metric gamma_ in different ways by changing the value of the 4D metric g_, using Setup or g_ itself as explained in its help page. For example, among others, the simplest way to set the Schwarzschild metric and related coordinates is to enter g_[sc]

• 

Computations performed with the Physics package commands take into account Einstein's sum rule for repeated indices - see `.` and Simplify. The distinction between covariant and contravariant indices in the input of tensors is done by prefixing contravariant ones with ~, say as in ~i; in the output, contravariant indices are displayed as superscripts. For contracted indices, you can enter them one covariant and one contravariant. Note however that - provided that the spacetime metric is galilean (Euclidean or Minkowski), or the object is a tensor also in curvilinear coordinates - this distinction in the input is not relevant, and so contracted indices can be entered as both covariant or both contravariant, in which case they will be automatically rewritten as one covariant and one contravariant. Tensors can have spacetime and space indices at the same time. To change the type of letter used to represent spacetime or space indices see Setup.

• 

Besides being indexed with two indices, gamma_ accepts the following keywords as an index:

– 

definition: when passed alone, gamma_ returns its definition, that is an equation with the metric on the left-hand side and the matrix form of the metric on the right-hand side, the same as when you enter the metric without indices (gamma_[]).

– 

determinant: when passed alone, gamma_ returns the determinant of the all-covariant metric γi,j . Recall that the components of the covariant γi,j are not equal to the space components of gμ,ν unless g0,0=1 and g0,j=0. If this keyword is passed together with indices, that can be covariant or contravariant, the resulting determinant takes into account the character of the indices.

– 

line_element: (synonym: lineelement) when passed alone, gamma_ returns the 3D line element for the 4D current metric expressing the differentials of the coordinates using d_.

– 

matrix: (synonym: Matrix, array, Array, or no indices whatsoever, as in gamma_[]) returns a Matrix that when indexed with numerical values from 1 to the dimension of space it returns the value of each of the components of gamma_. If this keyword is passed together with indices, that can be covariant or contravariant, the resulting Matrix takes into account the character of the indices.

– 

nonzero: returns a set of equations, with the left-hand side as a sequence of two positive numbers identifying the element of γ__i,j and the corresponding value on the right-hand side. Note that this set is actually the output of the ArrayElems command when passing to it the Matrix obtained with the keyword matrix.

• 

In turn, some predefined values for the 4D spacetime metric can be set by indexing the metric with a name or a portion of it - see g_ - and in that way you can indirectly set the values of the 3D gamma_ metric.

• 

The %gamma_ command is the inert form of gamma_, so it represents the same tensor but entering it does not result in performing any computation. To perform the related computations as if %gamma_ were gamma_, use value.

Examples

withPhysics:

Setupmathematicalnotation=true,spaceindices=lowercase_is

mathematicalnotation=true,spaceindices=lowercaselatin_is

(1)

When Physics is initialized, the default spacetime metric is of Minkowski type. You can see the metric querying Setup, as in Setup(metric), or directly entering the metric as g_[], with no indices

g_

g_μ,ν=1000010000100001

(2)

The default spacetime of the Physics package is a Minkowski spacetime with dimension 4 and the time-like component in position 4, so when indexing 4D tensors the values 0 and 4 represent the same object. For example, when indexing the metric g_,

g_0,0=g_4,4

1=1

(3)

g_0,3

0

(4)

g_line_element

Systems of spacetime coordinates are:X=x1,x2,x3,x4

ⅆx12ⅆx22ⅆx32+ⅆx42

(5)

gamma_line_element

ⅆx12+ⅆx22+ⅆx32

(6)

Note the character positive definite of this quadratic form. The symmetry property of gamma_ is automatically taken into account when the indices have symbolic values

gamma_i,jgamma_j,i

0

(7)

You can always query about the letters used to represent spacetime and space indices as well as the dimension of spacetime (and so of space) via

Setupspacetimeindices,spaceindices,dimension

dimension=4,spaceindices=lowercaselatin_is,spacetimeindices=greek

(8)

The trace of the spacetime metric g_ is equal to the dimension and the trace of the space gamma_ metric is equal to the dimension - 1. Note the use of the sum rule for repeated indices, both for spacetime and space only indices

g_μ,ν

gμ,ν

(9)

eval,μ=ν

4

(10)

gamma_i,j

γi,j

(11)

eval,i=j

3

(12)

To set the scenario as a curved spacetime set the metric using Setup, for instance indicating the square of the spacetime interval. This can be done directly from g_. Choose for example the keyword Tolman and this also, automatically, implies on setting spherical coordinates as the differentiation variables for d_

g_Tolman

The Tolman metric in spherical coordinates

Default differentiation variables for d_, D_ and dAlembertian are:X=r,θ,φ,t

Systems of spacetime coordinates are:X=r,θ,φ,t

g_μ,ν=rRt,r21+2Er0000Rt,r20000Rt,r2sinθ200001

(13)

Use a compact display for these functions to avoid redundant repeated display of their functionality plus having derivatives displayed indexed by the differentiation variables

CompactDisplay

Erwill now be displayed asE

Rt,rwill now be displayed asR

(14)

The corresponding 3D line element

gamma_line_element

diffRt,r,r2d_r21+2Er+Rt,r2d_θ2+Rt,r2sinθ2d_φ2

(15)

The matrix form: all of gamma_[], gamma_[matrix] and gamma_[i, j, matrix] return the all-covariant matrix

gamma_i,j,matrix

gamma_i,j=rRt,r21+2Er000Rt,r2000Rt,r2sinθ2

(16)

Or, for the matrix components of the all contravariant γ&i;,&j;, which as a matrix is equal to the inverse of the all-covariant γi,j, you can use gamma_[~i, ~j, matrix], with contravariant indices (prefixed by ~), or directly

gamma_`~`

gamma_~i,~j=1+2ErrRt,r20001Rt,r20001Rt,r2sinθ2

(17)

gamma_determinant

diffRt,r,r2Rt,r4sinθ21+2Er

(18)

The nonzero components

gamma_nonzero

gamma_i,j=1,1=diffRt,r,r21+2Er,2,2=Rt,r2,3,3=Rt,r2sinθ2

(19)

The nonzero components of the inverse of the metric, that is, the all-contravariant g&i;,&j;

gamma_`~`,nonzero

gamma_~i,~j=1,1=1+2ErdiffRt,r,r2,2,2=1Rt,r2,3,3=1Rt,r2sinθ2

(20)

By replacing g_ by gamma_ and all spacetime indices by space indices in the definitions of Christoffel you obtain the corresponding 3D tensor, i.e., the 3D Christoffel symbols, that allow you to express covariant derivatives in a 3D curved space (not spacetime)

Christoffeldefinition

Γα,μ,ν=νgα,μ2+μgα,ν2αgμ,ν2

(21)

subsμ=i,ν=j,α=k,g_=gamma_,

Γk,i,j=jγk,i2+iγk,j2kγi,j2

(22)

You can use this to construct 3D versions, for instance for Christoffel and the Ricci and Riemann tensors, next define them using Define, and operate with them in 3D as with any other tensor of the Physics package, with the geometrical meaning of the Ricci and Riemann 3D tensors in curved space (see problems after sections 88, 89, 90, 92 and 95 of [1])

C3i,j,k=rhs

C3i,j,k=jγi,k2+iγj,k2kγi,j2

(23)

Define

Defined objects with tensor properties

C3i,j,k,μ,γμ,σμ,Rμ,ν,Rμ,ν,α,β,Cμ,ν,α,β,μ,gμ,ν,γi,j,Γμ,ν,α,Gμ,ν,εα,β,μ,ν,Xμ

(24)

C3definition

C3i,j,k=jγi,k2+iγj,k2kγi,j2

(25)

C3nonzero

C3i,j,k=1,1,1=diffRt,r,r1+2ErdiffdiffRt,r,r,rdiffRt,r,r2diffEr,r1+2Er2,1,2,2=Rt,rdiffRt,r,r,1,3,3=Rt,rsinθ2diffRt,r,r,2,1,2=Rt,rdiffRt,r,r,2,2,1=Rt,rdiffRt,r,r,2,3,3=Rt,r2sinθcosθ,3,1,3=Rt,rsinθ2diffRt,r,r,3,2,3=Rt,r2sinθcosθ,3,3,1=Rt,rsinθ2diffRt,r,r,3,3,2=Rt,r2sinθcosθ

(26)

C3~1,j,k,matrix

C3~1,j,k=1+2ErrrRt,rrRt,rⅆⅆrErrRt,r1+2Er0001+2ErRt,rrRt,r0001+2ErRt,rsinθ2rRt,r

(27)

See Also

`.`, ArrayElems, Christoffel, convert, Coordinates, D_, d_, DifferentialGeometry[Tensor][gamma_], Einstein, Matrix, Physics, Physics conventions, Physics examples, Physics Updates, Tensors - a complete guide, Mini-Course Computer Algebra for Physicists, Ricci, Riemann, Setup, Typesetting, value, Weyl

References

  

[1] Landau, L.D., and Lifshitz, E.M. The Classical Theory of Fields, Course of Theoretical Physics Volume 2, fourth revised English edition. Elsevier, 1975.

Compatibility

• 

The Physics[gamma_] command was introduced in Maple 2017.

• 

For more information on Maple 2017 changes, see Updates in Maple 2017.