Jump to content

User:Maschen/sandbox

From Wikipedia, the free encyclopedia

Wikitasks

[edit]

Main space

[edit]

User space

[edit]

Rapidity composition in 3d

[edit]

Definitions

[edit]

Start with two Lorentz boosts B(ζ1) and B(ζ2) with rapidities

where the unit vectors are in the direction of the boosts,

and in turn the betas are simply the relative velocities between frames defined by

Composite formulae

[edit]

There are two inequivalent composite Lorentz transformations B(ζ1)B(ζ2) and B(ζ2)B(ζ1). There are two composite boosts

where ⊕ is the relativistic velocity-addition, defined by the first expression above (second one follows immediately by switching betas).

Cross product formula (keep for reference)


The composite rapidities are

The unit vectors

are separated by an angle (Wigner rotation). The magnitudes are equal,

In summary

so these vectors have the same magnitude

which is to be expected since composite boost velocities have the same magnitudes, but different directions.

In terms of rapidity

so in full,

Hyperbolic triangles

[edit]

If ζ1 and ζ2 are separated by an angle, and have magnitudes ζ1 and ζ2, these are related to ζ by (add formula later...)

Extra relations are the following (keep for reference)

Constructing RWEs

[edit]

General considerations

[edit]
Line element and energy-momentum relation

In the following, the four spacetime coordinates of the particle are x = (ct, x) (a.k.a. "four position vector"), and its four momentum is p = (E/c, p). The Minkowski metric η throughout is (+, −, −, −). Natural units c = ħ = 1 will be used as standard in RQM.

Using the relativistic invariance of the infinitesimal line element

and the definition of four momentum

for a massive particle obtains the energy-momentum relation in its covariant form

or explicitly in terms of energy and 3-momentum

This must also hold in relativistic quantum mechanics. There are a number of possibilities resulting from the equation which must be considered separately:

  • Massless particles (m = 0):
  • Massive particles (m > 0):
  • "Positive energy" (E > 0):
  • "Negative energy" (E < 0):
Wigner's classification

Here is Wigner's classification [Ohlsson 2011, p.15] for the irreducible representations of the Poincaré group:

Postulates of QM

All RWEs must also be consistent with the Schrödinger equation, a linear partial differential equation in the wave function, because this is one of the fundamental postulates of QM. Even if the RWE does not directly take the form of the SE, it should be possible to reproduce the SE from it somehow.

In non-relativistic quantum mechanics, the energy and momentum observables are differential operators, and their eigenvalues are the results of measurement. In the index notation and four vector formalism here, these derivatives collect into a four momentum operator in terms of the four gradient with components

Spin and angular momentum

Further, in non-relativistic quantum mechanics a particle with spin s is described by a wavefunction ψ with 2s + 1 components ψσ indexed by the spin projection quantum number σ = −s, −s + 1, ..., s − 1, s, often these are arranged into a column vector

Still in non-relativistic quantum mechanics, the spin operator for a particle of spin s is a vector s of matrices sx, sy, sz, each are (2s + 1)×(2s + 1) matrices.

There is also the relativistic angular momentum tensor M, and the Pauli-lubanski pseudovector is defined from M and p. The spacelike component of the PL four pseudovector are related to spin.

Poincaré group

The four momentum and angular momentum relations satisfy the commutation relations of the Poincaré group.

For any representation of the Poincare group, the infinitesimal unitary operators corresponding to boosts U(B), rotations U(R), and translations U(a) on the Hilbert space for the system are

or

where ω is an antisymmetric parameter matrix for boosts and rotations.

In the finite case, one obtains the matrix exponentials. The generators J, K, and four displacement (not four position) a are all operators satisfying the commutation relations. They are not unique and can take different forms depending on the representation, provided the commutation relations are satisfied.

Heuristic construction of the KG and Dirac equations

[edit]

Combining the four momentum operator and energy momentum relation leads to the KG eqn

which applies for spin-0 particles, massive or massless. This can be factorized by difference of two squares into

for suitable quantities γμ. Following LL vol 4 (at top of my head), expand the brackets

and split the product γμγν into symmetric and antisymmetric products

The summation of the antisymmetric tensor γμγνγνγμ with the symmetric tensor pμpν is zero (this applies generally for the summation of any antisymmetric and symmetric tensors). Since the KG eqn must be recovered, the quantities γμ must satisfy the anticommutation relation

One of the factors

is the Dirac equation, which applies to any spin-1/2 particle, massive or massless. If ψ satisfies this equation, it will also satisfy the KG equation, but the converse is not true because it can be shown the γμ, known as the gamma matrices, are related to the spin of the particle.

The KG equation is a second order linear PDE and cannot be put into the form of a Schrödinger equation, which is always first order in time. However this is not a problem. The Dirac equation can be by separating the (first order) time derivative then choosing a suitable Hamiltonian.

RWEs for particles of spin higher than 1/2 can be constructed heuristically from the Dirac equation. One approach is to form symmetric products of Dirac spinors to form a multicomponent spinor describing a particle of the appropriate spin. A set of Dirac equations apply to each index of the multicomponent spinor. Additional constraints are required. The results are the Bargmann-Wigner equations. Another approach is to form a homogenous polynomial of derivative operators involving a contraction with a symmetric (matrix-valued) multi-index coefficient. The degree of the polynomial is related to the spin particle spin. The entire resulting operator acts on the wavefunction in a single equation. This is the Joos–Weinberg equation.

Lagrangian densities

[edit]

Using the field theoretic EL equations, there are Lagrangian densities for the KG and Dirac equations. For higher spin RWEs, finding a Lagrangian is not trivial.

Construction of any RWE using Lorentz group theory

[edit]

Jaroszewicz and Kurzepa (1992), Sexl and Urbantke (1992), Weinberg's QFT (vol 1), Ryder's QFT, Tung's Group theory in Physics...

Tung's paper

Aims...

For the transformations of coordinates and wavefunctions/fields:

  • Summarize LTs using the J, K and A, B generators. Done
  • Link the A, B generators to representations of the Lorentz group (not just the labels (A,B) for classifying representations, but actually connect the generators A and B themselves to the D matrices)
  • Plainly write down how spinors corresponding to a particle of spin j transform according to the relevant D matrices.
  • Derive the transformation of Pauli spinors under boosts and rotations. Provide explicit formulae for the D(1/2,0) and D(0,1/2) for boosts and rotations (in terms of the complex parameters α = θ + i ζ and α* = θi ζ and spin-1/2 operator, rather than Pauli matrices).
  • Explain how to construct explicit formulae for D(j,0) and D(0,j) under boosts and rotations (at least in principle, ideally actually provide the explicit formulae). Any connection to the spin-j or spin-1/2 operator?
  • Discrete transformations (CPT, complex/Hermitian conjugation)

For the construction of RWEs:

  • establish the general conditions a RWE must satisfy (write the RWE in operator form, illustrate transformation properties)
  • Fourier transform of RWE
  • RWE in rest frame, then any frame
  • use the established representations to write down the RWEs

Extra background (LL vol 4, SU, Barut, Carmeli, description of spinors):

  • Connect spinors to vectors (and generally tensors)
  • spinor indices
  • relate quantities transforming under a given D representation to spinors or tensors

Summary of Lorentz transformations using the (J, K) generators

[edit]

For every Lorentz transformation Λ on the coordinates in Minkowski spacetime M, there is a unitary operator D(Λ) on the Hilbert space H of allowed quantum states ψ of the physical system. The representations D depend on the system.

Any Λ can be decomposed into pure boosts B and pure rotations R. Boosts have parameters ζ and generators K. Rotations have parameters θ and generators J. The generators J and K can be expressed as the following 4×4 matrices

The Λ form a group of transformations on spacetime coordinates leaving the line element invariant. The full set of Lorentz transformations (including parity and time reversal) is the Lie group O(1,3). Boosts and rotations are the Lie group SO(1,3).

The finite LT is

Individual boosts and rotations are

Explicit formulae for the representations for an n component object are

Summary of Lorentz transformations using the (A, B) generators

[edit]

Another basis for the Lorentz generators takes complex conjugates of the J and K generators: A = (J + i K)/2 and B = (Ji K)/2. The corresponding parameters are α = θ + i ζ and α* = θi ζ.

Using the above 4×4 matrices for J and K, A and B take the form

which satisfy the commutation relations

where the rest can be found from cyclic permutations of x-, y-, and z-components of A and B. Each component of A commutes with each component of B. All the commutation relations in index notation are

The components of A and B each satisfy the commutation relations of the Lie algebra su(2). Taken together, A and B satisfy the commutation relations of the direct sum of their Lie algebras, su(2) ⊕ su(2). The corresponding Lie group is the tensor product SU(2) ⊗ SU(2).

The finite Lorentz transformation is

The generators A and B do not have to be the 4×4 matrices matrices above. The commutation relations they satisfy are exactly those of the spin operator, indicating they can be spin matrices. Let S(j) be the spin operator corresponding to spin j. Then A = S(A), a vector of three (2A + 1)×(2A + 1) matrices, and B = S(B), a vector of three (2B + 1)×(2B + 1) matrices. The z-component spin projection quantum numbers for Az are a = −A, −A + 1, ..., A − 1, A, likewise for Bz they are b = −B, −B + 1, ..., B − 1, B. When these are exponentiated (with appropriate parameters included), the results will also be matrices of sizes (2A + 1)×(2A + 1) and (2B + 1)×(2B + 1). These matrices have the correct size for transformation matrices of (2A + 1)-component and (2B + 1)-component wave functions, respectively. Representations of the Lorentz group can be labelled and classified by this pair of angular momenta (A, B), each integer or half integer.

The inverse formulae are J = A + B and iK = AB. In the extreme cases,

  • A = 0 (hence A = 0) while B arbitrary: B = −i K = J, in other words B = J = S(B) while K = i S(B).
  • B = 0 (hence B = 0) while A arbitrary: A = i K = J, in other words A = J = S(A) while K = −i S(A).

Notice J is both the generator of spatial rotations in spacetime, and an angular momentum operator as the sum of two angular momenta. The operator for their total angular momentum J is more accurately written using the direct or tensor product ⊗ as follows

which has allowed quantum numbers J = A + B, A + B − 1..., |AB| + 1, |AB|, and In is the n-dimensional identity operator. As a matrix, J has the size ((2A + 1)(2B + 1))×((2A + 1)(2B + 1)), and In is the n×n identity matrix.

In index notation, the above operator is [Weinberg vol 1 somewhere]

where the multiple indices select the components of spinors the operator J acts on. Explicitly, if ξa is a 2A + 1 component spin wave function and ηb a 2B + 1 component spin wave function, J acts on the their tensor product as follows:

useful link

another

another

Transformations of spinors according to the (A, B) representations (massive particles)

[edit]

The tensor product representation is denoted and defined by [SU Particles and Fields p.231 eq 8.1.8 (in notation used here)]

See also Clebsch-Gordan decomposition (c.f. addition of quantum angular momentum)

Need to find connections between representations and generators, for boosts and rotations:

One can find D(1/2,0) and D(0,1/2) (to be derived soon).

General transformation of 2-component spinors

LL vol 4 "Fermions" chapter

A 2 component left handed spinor ζ and right handed spinor η generally transform according to

in matrix notation

in spinor index notation

where det(M) = αδγβ = 1. Spinor indices take the values 1 and 2.

D(1/2,0) and D(0,1/2)

Using Ryder QFT (p.38?), under boosts and rotations, a left handed Pauli spinor ζ transforms according to the (1/2,0) representation, while the right handed spinor η according to the (0,1/2) representation, explicitly

where

and

is the spin-1/2 operator, directly proportional to the Pauli matrices σ.

D(1/2,0)D(0,1/2)

Dirac spinors transform as

explicitly in matrix form

(D(1/2,0)D(0,1/2))⊗n

For a tensor product of n Dirac spinors

in which D = D(1/2,0)D(0,1/2), the product transforms as the n "tensor power" (tensor product of representation with itself n times)

Likewise, a multicomponent spinor transforms in the same way

Bargmann–Wigner spinors transform like this.

D(j,0) and D(0,j)

Under boosts and rotations, a (2j + 1)-component left handed spinor ζ transforms according to the (j,0) representation, while a right handed spinor η transforms according to the (0,j) representation. Explicitly

Need to find correspondence

D(j,0)D(0,j)

The 2(2j + 1)-component spinor

transforms as

where

The Joos-Weinberg wave function transforms like this.

Massive particles with spin s

[edit]

Start by writing the RWE in general form

where Π is a linear differential operator, and depends on the mass m of the particle. The linearity is required for consistency with the SE. (If the RWE equation was a nonlinear PDE, Π and ψ would not be separable from each other, because Π would be a function of ψ). For generality let ψ have n components, and Π be an n×n matrix to act on all the components of ψ. The relation between n and the spin quantum number s will be found later.

The four spacetime coordinates x change under a Lorentz transformation Λ, while the n components of the wave function collectively transform according to a n×n transformation matrix D(Λ),

explicitly for all the components

Notice the four spacetime coordinates x have spacetime (or "Lorentz") indices α and β which take values 0, 1, 2, 3. The wave functions ψ and transformation matrix D(Λ) simply have matrix indices ρ and σ which take the values 1, 2, ... n. The transformed wave function in terms of the original wave function, in the transformed coordinates throughout, is

The transformation matrices D(Λ) must preserve the group composition properties of Lorentz transformations Λ, because for each coordinate change, the wave functions must also change correspondingly. In particular,

Composition:
Identity element:
Inverse element:

which indicates the D(Λ) must be appropriate representations of the Lorentz group.

The transformed wave equation is

Projecting the Hermitian conjugate wave functions ψ onto their own wave equations (temporarily suppressing arguments for clarity),

If D(Λ) is unitary (D(Λ) = D(Λ)−1), comparing these equations leads to the similarity transformation

in full

Now the transformed operator Π′ can be expressed in in terms of the original Π, and in terms of the original momentum operators:

This is the general transformation of Π. Explicit forms of Π will be derived later.

Not clearly useful, keep for reference

If Π is a first order derivative operator, the only general form it can take is

where the n×n matrices πα(m) and C(m) may all depend on the particle mass m. Since the four momentum is a covariant four vector, the πα form the components of a contravariant four vector so that Π is invariant under Lorentz transformations of momentum. The matrix C(m) must be invariant in all frames, which can only be possible if it is the identity matrix multiplied by a relativistic scalar invariant.

The transformed Π operator in the original momentum operators is

hence each πα must transform as

Starting from the rest frame of the particle, the coordinates, momenta, wave function, and RWE in this rest frame can all be transformed appropriately to obtain the corresponding quantities or operators in any other boosted frame. It will be easier to use the momentum representation because in the rest frame, p = (p0, 0), so there are fewer variables to keep track of, and the differential equation will be converted to an algebraic equation.

Take the Fourier transform of the original equation to obtain the momentum space equation

where the FT of ψ(x) is

(including an extra normalization factor N to be adjusted later).

The FT of the Π operator is still Π, but all derivative operators are replaced by momentum components. For the first order case,

In the rest frame of the particle, the momentum space wavefunction φ(prest) or φ(p0, 0) only has energy dependence. Now transform to a boosted frame with momentum p, so the new wave function is φ′(p′) or

where L is a Lorentz transformation for the boost, and D(L) a corresponding representation.

The momentum space Π operator in the rest frame is (given in Tung's book, can't find in Weinberg. Can't understand this formula, how do we arrive at two J and two σ values?? It must have something to do with the direct products in expression for J = AI + IB which each need two a and b values. Need to explain origin properly...)

which filters only those J values which equal the spin s of the particle (σ = −s, ..., s is the z-component projection spin quantum number for s). In the particle's rest frame, the only degrees of freedom are rotations. The wave function can transform under rotations, with J = AI + IB the generator.

In terms of the a and b labels this is related to the CG coefficients (will add formula later).

The corresponding operator in the boosted frame is

in detail

so that

Massless particles with spin s

[edit]

General representations

[edit]

Let α = (α1, α2, ..., αn) be dimensionless discrete-valued observables, and ω = (ω1, ω2, ..., ωm) be continuous-valued observables (not necessarily dimensionless). All α are in an n-dimensional set A = A1 × A2 × ... An where each Ai is the set of allowed values for αi, likewise all ω are in an m-dimensional "volume" Ω ⊆ ℝm where Ω = Ω1 × Ω2 × ... Ωm and each Ωi ⊆ ℝ is the set of allowed values for ωi, a subset of the real numbers . For generality n and m are not necessarily equal.

Then, Ψ(α, ω, t) is referred to as the "wave function" of the system.

For example, for a single particle in 3d with spin s, neglecting other degrees of freedom, using Cartesian coordinates, we could take α = (sz) for the spin quantum number of the particle along the z direction, and ω = (x, y, z) for the particle's position coordinates. Here A = {−s, −s + 1, ..., s − 1, s} is the set of allowed spin quantum numbers and Ω = ℝ3 is the set of of all possible particle positions throughout 3d position space. An alternative choice is α = (sy) for the spin quantum number along the y direction and ω = (px, py, pz) for the particle's momentum components. In this case A and Ω are the same.

In the Copenhagen interpretation, the probability density of finding the system in any state is

The probability of finding system with α in some or all possible discrete-variable configurations, DA, and ω in some or all possible continuous-variable configurations, C ⊆ Ω, is the sum and integral over the density,[nb 1]

where dmω = 12...m is a "differential volume element" in the continuous degrees of freedom. The units of the wavefunction are then such that ρ dmω is dimensionless, by dimensional analysis Ψ must have the same units as (ω1ω2...ωm)−1/2. Since the sum of all probabilities must be 1, the normalization condition

must hold at all times during the evolution of the system. The interpretation is the system will be in a particular state, all the αi and ωj will have particular values at the time t the system is measured.

Every value of the wave function is accumulated into a single vector in Dirac notation

in which (α, ω) index the components of the vector, and |α, ω are the basis vectors in this representation.

One particle states in 3d position space

[edit]

The position-space wave function of a single particle without spin in three spatial dimensions is similar to the case of one spatial dimension above:

where r is the position vector in three-dimensional space, and t is time. As always Ψ(r, t) is a complex-valued function of real variables. As a single vector in Dirac notation

All the previous remarks on inner products, momentum space wave functions, Fourier transforms, and so on extend to higher dimensions.

For a particle with spin, ignoring the position degrees of freedom, the wave function is a function of spin only (time is a parameter);

where sz is the spin projection quantum number along the z axis. (The z axis is an arbitrary choice; other axes can be used instead if the wave function is transformed appropriately, see below.) The sz parameter, unlike r and t, is a discrete variable. For example, for a spin-1/2 particle, sz can only be +1/2 or −1/2, and not any other value. (In general, for spin s, sz can be s, s − 1, ... , −s + 1, −s). Inserting each quantum number gives a complex valued function of space and time, there are 2s + 1 of them. These can be arranged into a column vector[nb 2]

In bra ket notation, these easily arrange into the components of a vector[nb 3]

The entire vector ξ is a solution of the Schrödinger equation (with a suitable Hamiltonian), which unfolds to a coupled system of 2s + 1 ordinary differential equations with solutions ξ(s, t), ξ(s − 1, t), ..., ξ(−s, t). This contrasts the solutions to position space wave functions, the position coordinates being continuous degrees of freedom, because then the Schrödinger equation does take the form of a wave equation.

More generally, for a particle in 3d with any spin, the wave function can be written in "position–spin space" as:

and these can also be arranged into a column vector

in which the spin dependence is placed in indexing the entries, and the wave function is a complex vector-valued function of space and time only.

All values of the wave function, not only for discrete but continuous variables also, collect into a single vector

For a single particle, the tensor product of its position state vector |ψ and spin state vector |ξ gives the composite position-spin state vector

with the identifications

The tensor product factorization is only possible if the orbital and spin angular momenta of the particle are separable in the Hamiltonian operator underlying the system's dynamics (in other words, the Hamiltonian can be split into the sum of orbital and spin terms[1]). The time dependence can be placed in either factor, and time evolution of each can be studied separately. The factorization is not possible for those interactions where an external field or any space-dependent quantity couples to the spin; examples include a particle in a magnetic field, and spin-orbit coupling.

The preceding discussion is not limited to spin as a discrete variable, the total angular momentum J may also be used.[2] Other discrete degrees of freedom, like isospin, can expressed similarly to the case of spin above.

Notes

[edit]
  1. ^ Here
    is a multiple sum.
  2. ^ Column vectors can be motivated by the convenience of expressing the spin operator for a given spin as a matrix, for the z-component spin operator (divided by hbar to nondimensionalize)
    The eigenvectors of this matrix are the above column vectors, with eigenvalues being the corresponding spin quantum numbers.
  3. ^ Each |sz is usually identified as a column vector
    but it is a common abuse of notation to write
    because the kets |sz are not synonymous or equal to the column vectors. Column vectors simply provide a convenient way to express the spin components.

References

[edit]
  1. ^ Shankar 1994, p. 378–379
  2. ^ Landau & Lifshitz 1977

Wigner rotation (needs additional detail)

[edit]

Thomas rotation

[edit]

In the composition of two Lorentz boosts (see Wigner rotation), we encounter

The above formulae constitute the relativistic velocity addition and the Thomas rotation explicitly in the general Lorentz transformations. Throughout, the important formula

holds, allowing the rotation matrix (and hence the axis and angle) to be defined completely in terms of the relative velocities u and v.

In the axis–angle representation, the general 3d rotation matrix is[nb 1]

where the components of a unit vector e parallel to the axis are arranged into the antisymmetric matrix

(which should not be confused for the Cartesian unit vectors ex, ey, ez). Here the right-handed convention for the spatial coordinates is used (see orientation (vector space)), so that rotations are positive in the anticlockwise sense according to the right-hand rule, and negative in the clockwise sense. This matrix rotates any 3d vector about the axis e through angle ε anticlockwise (an active transformation), which has the equivalent effect of rotating the coordinate frame clockwise about the same axis through the same angle (a passive transformation).

Starting from a, the matrix R rotates this into b anticlockwise, it follows their cross product (in the right-hand convention)

defines the axis correctly, therefore the axis is also parallel to u×v, geometrically this is perpendicular to the plane of the boost velocities. Since the magnitude of u×v is neither interesting nor important, only the direction is, it is customary to normalize the vector into the unit vector above thus

which still completely defines the direction of the axis without loss of information.

The angle ε between a and b is not the same as the angle α between u and v.

Dubious, keep for reference

The two cross products are

hence the angles are related by[1]

so they cannot be equal in general.

The angle of a rotation matrix in the axis–angle representation can be found from the trace of the rotation matrix, the general result for any axis is

which in turn is equivalent to, by the linearity of the trace

The trace of M appears to be messy, but can be reduced to a compact expression using the facts that

which result from

and for reference

The trace of baT is numerically equal to the dot product of the vectors a and b, and can be immediately connected to the angle ε between them and the overall Lorentz factor through their magnitudes, therefore

Combining these trace formulae gives an established result[2][3][4]

The rotation is simply a "static" rotation and there is no relative rotational motion between the frames, there is relative translational motion in the boost. However, if the frames accelerate, then the rotated frame rotates with an angular velocity. This effect is known as the Thomas precession, and arises purely from the kinematics of successive Lorentz boosts.

Interpreting the axes of rotation

[edit]

In frame Σ′, Σ moves with velocity u and F moves with velocity v, neither of which are rotated. This observer can define the angle πε between u and v, so the angle between u and v is ε, and the cross product of them in this frame is

where e is a unit vector parallel to u×v. [nb 2]

In this frame Σ′, it is valid that

The other observers do not measure the angle ε (or πε) because they only measure one of u or v (or their negatives), as well as one of the composite velocities uv or vu (or their negatives). Also, the relativity of simultaneity means the angles between u and v is meaningless in the other frames. As perceived from the other frames Σ and Σ′′, is the rotation axis the same as in Σ′, in other words in the same direction of u×v? Or are there different directions of rotation axes which somehow accounts for all/part of the Wigner rotation? The answer is the direction of the rotation axis is the same in all frames, but only the relative velocities of the other frames may be used to define the axis.

In frame Σ, Σ′ moves with velocity u, Σ′′ moves with velocity

and is rotated clockwise about an axis parallel to

In frame Σ′′, Σ′ moves with velocity v, Σ moves with velocity

and is rotated clockwise about an axis parallel to

but since the axis is reversed for the same angle, this corresponds to a rotation in the opposite sense about u×v, here anticlockwise.

The rotation axes in each frame are all proportional to u×v, only the direction of the rotation axis is important, the proportionality factors are not because they have no effect on direction. (They do indicate what happens to the rotation axes in the nonrelativistic limit, when relative velocities are much less than light). In all we can conclude

is the axis of the Thomas rotation.

Footnotes

[edit]
  1. ^ In the literature, the 3d rotation matrix may be denoted by other symbols like D, others use a name and the relative velocity vectors u, v involved, e.g., tom[u, v] for "Thomas rotation" or gyr[u, v] for "gyration" (see gyrovector space). These are nothing more than alternative names for the same R in this article. Correspondingly the 4d rotation matrices may be denoted
    which are nothing more than alternative names for the same R (non-bold italic) in this article.
  2. ^ The angle between u and v is πε, but this has the same sine as ε,

Notes

[edit]
  1. ^ Ungar 1989, p. 170
  2. ^ Macfarlane 1962
  3. ^ Sexl & Urbantke 1992, pp. 4, 11, 41
  4. ^ Gourgoulhon 2013, pp. 213

Six-angular momentum (orbital)

[edit]
calculation

Add to the tensor section.

The transformation of boost components are

as for the orbital angular momentum

Since

and

we have

gives

or in vector form, dividing by c

or reinstating β = v/c,

and

or converting to pseudovector form

in vector notation

or reinstating β = v/c,


Tensors and spinors

[edit]

Co-/contra-variance

[edit]

This table summarizes how the manipulation of covariant and contravariant indices fit in with invariance under a passive transformation between bases, and with the inner product. The barred indices refer to the final coordinate system after the transformation.

Summary of above
Geometry/Algebra Covariance Contravariance
A... vector (or contravariant vector) covector (or 1-form, covariant vector, dual vector)
...has a basis... , which are tangent , which are normal
...to coordinate... curves surfaces
...in which... one coordinate varies, all others are constant. one coordinate is constant, all others vary.
The coordinate vector transformation is...
...while the basis transformation is...
...which are invariant because...
The inner product is...