tensor(deprecated)/npspin - Help

Online Help

All Products    Maple    MapleSim


Home : Support : Online Help : tensor(deprecated)/npspin

tensor

  

npspin

  

compute the Newman-Penrose spin coefficients in Debever's formalism

  

npcurve

  

compute the Newman-Penrose curvature components in Debever's formalism

 

Calling Sequence

Parameters

Description

Examples

Calling Sequence

npspin(coord, h, G, curinfo)

npcurve(spn_cf, curinfo, conj_pairs)

Parameters

coord

-

list of names for the coordinate variables

h

-

rank-2 tensor_type with character [1,-1] representing the covariant complex null tetrad. Symbolically, hcomptsa,bhab

G

-

output parameter (so a name when input) that holds the algebraic expression for : −Ig, where g is the determinant of the metric in the natural basis

curinfo

-

output parameter holding simply some internal results needed for both routines; the purpose of its appearance is merely to avoid duplicated computations in the two routines

spn_cf

-

spin coefficient table containing the Newman-Penrose spin coefficients, normally obtained using npspin()

conj_pairs

-

(optional) holds a list of pairs (a pair: a 2-element list) of names to be treated as complex conjugates in the construction of the 'Phi' field of the curvature component table

Description

Important: The tensor package has been deprecated. Use the superseding command DifferentialGeometry[Tensor][NPSpinCoefficients] instead.

• 

These two functions compute respectively the Newman-Penrose spin coefficients and curvature components in Debever's formalism.

• 

The Newman-Penrose formalism applies solely to 4 dimensions and hence both coord, and h must have dimension 4.

• 

Note that in Debever's formalism the constant metric in the complex null frame is assumed to be :

gtableindex_char=−1,−1,compts=01001000000−100−10

  

Even though the above constant metric is not required explicitly as a parameter, the provided tetrad, h, must be one that transforms the metric in the natural basis into the one given above.

• 

Simplification :

– 

npspin() employs three simplification routines, `tensor/npspin/simp`, `tensor/npspin/diff`, and `tensor/npspin/spincoeff/simp`. tensor[npspin] has a sub-routine `tensor/npspin/spincoeff`. `tensor/npspin/simp` and `tensor/npspin/diff` are simplifiers in the main routine, whereas `tensor/npspin/spincoeff/simp` is the simplifier in the sub-routine.  The two `.../simp` simplifiers handles the simplification of an algebraic expression and the `.../diff` one is for simplifying derivatives.

– 

npcurve() has two simplification routines, `tensor/npcurve/simp` and `tensor/npcurve/diff`.  The former is for simplifying algebraic expressions and the latter derivatives.

– 

All of the `.../simp` routines are initialized to `tensor/simp`, and both the `.../diff` ones are initialized to simplify performing a differentiation without simplification; however, it is recommended that each simplifier be customized to suit the needs of a particular problem.

• 

Complex conjugation is required during the construction of the 'Phi' field, which is a hermitian matrix, of the curvature table.  If a third argument of a list of pairs of names is passed in, these pairs will be treated as complex conjugates when conjugation is taken for building the 'Phi' field. Note that I,−I is the default value of conj_pairs and any third argument supplied would be appended to it.  Any other names not specified in conj_pairs are treated as real.

• 

These two functions are part of the tensor package, and can be used in the form npspin(..), and npcurve(..) only after performing the command with(tensor), or with(tensor, npspin) or with(tensor, npcurve).  The functions can always be accessed in the long form tensor[npspin], and tensor[npcurve].

Examples

Important: The tensor package has been deprecated. Use the superseding command DifferentialGeometry[Tensor][NPSpinCoefficients] instead.

withtensor:

Enter the coordinates and covariant tetrad of the Plane wave metric:

coordu,x,y,v:

h_comptsarray1..4,1..4,2,3=0,2,4=0,3,1=0,3,2=0,3,3=1,1,2=0,4,1=0,2,1=1,4,2=1,4,4=0,1,1=ax2+byx+cy2,1,3=0,1,4=1,4,3=0,3,4=0,2,2=0:

hcreate1,1,oph_compts

htableindex_char=1,−1,compts=ax2+byx+cy2001100000−100−100

(1)

SPN_CFnpspincoord,h,G,any

SPN_CFtableε=0,ρ=0,π=0,τ=0,α=0,μ=0,σ=0,β=0,γ=0,ν=2axby,κ=0,λ=0

(2)

CURVEnpcurveSPN_CF,any

CURVEtableΦ=arraysparse,0..2,0..2,0,0=0,0,1=0,0,2=0,1,0=0,1,1=0,1,2=0,2,0=0,2,1=0,2,2=b,Ψ=arraysparse,0..4,0=0,1=0,2=0,3=0,4=2a,R=0

(3)

Now demonstrate the use of conj_pairs :`

npcurveSPN_CF,any,a,abar,bBAR,b

tableΦ=arraysparse,0..2,0..2,0,0=0,0,1=0,0,2=0,1,0=0,1,1=0,1,2=0,2,0=0,2,1=0,2,2=b,Ψ=arraysparse,0..4,0=0,1=0,2=0,3=0,4=2a,R=0

(4)

See Also

DifferentialGeometry[Tensor][NPSpinCoefficients]

tensor(deprecated)

tensor(deprecated)/change_basis

tensor(deprecated)[conj]

tensor(deprecated)[frame]