Four-gradient on arvau

Wikipedia / Four-gradient

In differential geometry, the four-gradient (or 4-gradient is the four-vector analogue of the gradient from vector calculus.

In special relativity and in quantum mechanics, the four-gradient is used to define the properties and relations between the various physical four-vectors and tensors.

Notation

This article uses the metric signature.

SR and GR are abbreviations for special relativity and general relativity respectively.

indicates the speed of light in vacuum.

is the flat spacetime metric of SR.

There are alternate ways of writing four-vector expressions in physics:

The four-vector, which is typically more compact and can use vector notation. Most of the 3-space vector rules have analogues in four-vector mathematics.
The Ricci calculus, which uses tensor index notation.

The Latin tensor index ranges in .

The Greek tensor index ranges in .

represents the spatial 3-component.

lower indices, with the 4D indicating 4 dimensions = the number of values each index can take.

The tensor contraction used in the Minkowski metric can go to either side (see Einstein notation):

Definition

The 4-gradient covariant components compactly written in four-vector and Ricci calculus notation are:

The comma implies the partial differentiation.

The contravariant components are:

and D as the d'Alembert operator).

In GR, one must use the more general metric tensor and the tensor covariant derivative).

plus spacetime curvature effects via the Christoffel symbols

The strong equivalence principle can be stated as:

"Any physical law which can be expressed in tensor notation in SR has exactly the same form in a locally inertial frame of a curved spacetime." The 4-gradient commas (,) in SR are simply changed to covariant derivative semi-colons (;) in GR, with the connection between the two using Christoffel symbols. This is known in relativity physics as the "comma to semi-colon rule".

in GR.

On a (1,0)-tensor or 4-vector this would be:

Usage

The 4-gradient is used in a number of different ways in special relativity (SR):

Throughout this article the formulas are all correct for the flat spacetime Minkowski coordinates of SR, but have to be modified for the more general curved space coordinates of general relativity (GR).

As a 4-divergence and source of conservation laws

Divergence is a vector operator that produces a signed scalar field giving the quantity of a vector field's source at each point. Note that in this metric signature [+,−,−,−] the 4-Gradient has a negative spatial component. It gets canceled when taking the 4D dot product since the Minkowski Metric is Diagonal[+1,−1,−1,−1].

The 4-divergence of the 4-position gives the dimension of spacetime

The 4-divergence of the 4-current density gives a conservation law – the conservation of charge:

This means that the time rate of change of the charge density.

In other words, the charge inside a box cannot just change arbitrarily, it must enter and leave the box via a current. This is a continuity equation.

The 4-divergence of the 4-number flux is used in particle conservation:

This is a conservation law for the particle number density, typically something like baryon number density.

The 4-divergence of the electromagnetic 4-potential is used in the Lorenz gauge condition:

This is the equivalent of a conservation law for the EM 4-potential.

representing gravitational radiation in the weak-field limit (i.e. freely propagating far from the source).

is the equivalent of a conservation equation for freely propagating gravitational waves.

The 4-divergence of the stress–energy tensor as the conserved Noether current associated with spacetime translationss, gives four conservation laws in SR:

The conservation of energy (temporal direction) and the conservation of linear momentum

When the conservation of the stress–energy tensor for a perfect fluid), both utilizing the 4-gradient, one can derive the relativistic Euler equations, which in fluid mechanics and astrophysics are a generalization of the Euler equations that account for the effects of special relativity. These equations reduce to the classical Euler equations if the fluid 3-space velocity is much less than the speed of light, the pressure is much less than the energy density, and the latter is dominated by the rest mass density.

In flat spacetime and using Cartesian coordinates, if one combines this with the symmetry of the stress–energy tensor, one can show that angular momentum (relativistic angular momentum where this zero is actually a (2,0)-tensor zero.

As a Jacobian matrix for the SR Minkowski metric tensor

The Jacobian matrix is the matrix of all first-order partial derivatives of a vector-valued function.

acting on the 4-position gives the SR Minkowski space:

not summed), with non-diagonal components all zero.

is the 4D Kronecker delta.

As a way to define the Lorentz transformations

The Lorentz transformation is written in tensor form as

This identity is fundamental. Components of the 4-gradient transform according to the inverse of the components of 4-vectors. So the 4-gradient is the "archetypal" one-form.

As part of the total proper time derivative

The scalar product of 4-velocity with the 4-gradient gives the total derivative with respect to proper time:

is a Lorentz scalar invariant shows that the total derivative with respect to proper time is likewise a Lorentz scalar invariant.

So, for example, the 4-velocity is the derivative of the 4-position

Another example, the 4-acceleration is the proper-time derivative of the 4-velocity

As a way to define the Faraday electromagnetic tensor and derive the Maxwell equations

The Faraday electromagnetic tensor is a mathematical object that describes the electromagnetic field in spacetime of a physical system.

where:

Electromagnetic 4-potential, not to be confused with the 4-acceleration
The electric scalar potential
The magnetic 3-space vector potential

By applying the 4-gradient again, and defining the 4-current density one can derive the tensor form of the Maxwell equations where the second line is a version of the Bianchi identity (Jacobi identity).

As a way to define the 4-wavevector

A wavevector is a vector which helps describe a wave. Like any vector, it has a magnitude and direction, both of which are important: Its magnitude is either the wavenumber or angular wavenumber of the wave (inversely proportional to the wavelength), and its direction is ordinarily the direction of wave propagation

The 4-wavevector (or the negative 4-gradient of the phase) of a wave in Minkowski Space:

This is mathematically equivalent to the definition of the phase of a wave (or more specifically a plane wave

is the temporal angular frequency is the Lorentz scalar invariant phase.

can be written as:

is a (possibly complex) amplitude.

would be the superposition

which is the 4-gradient version of complex-valued plane waves

As the d'Alembertian operator

In special relativity, electromagnetism and wave theory, the d'Alembert operator, also called the d'Alembertian or the wave operator, is the Laplace operator of Minkowski space. The operator is named after French mathematician and physicist Jean le Rond d'Alembert.

is the 4-Laplacian, which is called the d'Alembert operator:

As it is the dot product of two 4-vectors, the d'Alembertian is a Lorentz invariant scalar.

is reserved for the d'Alembertian.

Some examples of the 4-gradient as used in the d'Alembertian follow:

In the Klein–Gordon relativistic quantum wave equation for spin-0 particles (ex. Higgs boson

In the wave equation for the electromagnetic field (using Lorenz gauge):

With a 4-current
With quantum electrodynamics

where:

Electromagnetic 4-potential is an electromagnetic vector potential
4-current density is an electromagnetic current density
Dirac Gamma matrices provide the effects of spin

In the wave equation of a gravitational wave (using a similar Lorenz gauge) is the transverse traceless 2-tensor representing gravitational radiation in the weak-field limit (i.e. freely propagating far from the source).

are:

In the 4-dimensional version of Green's function where the 4D Delta function

As a component of the 4D Gauss' Theorem / Stokes' Theorem / Divergence Theorem

In vector calculus, the divergence theorem, also known as Gauss's theorem or Ostrogradsky's theorem, is a result that relates the flow (that is, flux) of a vector field through a surface to the behavior of the vector field inside the surface. More precisely, the divergence theorem states that the outward flux of a vector field through a closed surface is equal to the volume integral of the divergence over the region inside the surface. Intuitively, it states that the sum of all sources minus the sum of all sinks gives the net flow out of a region. In vector calculus, and more generally differential geometry, Stokes' theorem (also called the generalized Stokes' theorem) is a statement about the integration of differential forms on manifolds, which both simplifies and generalizes several theorems from vector calculus.

where

is a 4D simply connected region of Minkowski spacetime
is the outward-pointing normal
is the 4D differential volume element

As a component of the SR Hamilton–Jacobi equation in relativistic analytic mechanics

The Hamilton–Jacobi equation (HJE) is a formulation of classical mechanics, equivalent to other formulations such as Newton's laws of motion, Lagrangian mechanics and Hamiltonian mechanics. The Hamilton–Jacobi equation is particularly useful in identifying conserved quantities for mechanical systems, which may be possible even when the mechanical problem itself cannot be solved completely. The HJE is also the only formulation of mechanics in which the motion of a particle can be represented as a wave. In this sense, the HJE fulfilled a long-held goal of theoretical physics (dating at least to Johann Bernoulli in the 18th century) of finding an analogy between the propagation of light and the motion of a particle

of a particle can be written as

of the system; a test particle in a field using the minimal coupling.

The relativistic Hamilton–Jacobi equation is obtained by setting the total momentum equal to the negative 4-gradient of the action

is the Hamiltonian.

But from the minimal coupling

where the final is the relativistic Hamilton–Jacobi equation.

As a component of the Schrödinger relations in quantum mechanics

The 4-gradient is connected with quantum mechanics.

The relation between the 4-momentum gives the Schrödinger QM relations.

This can actually be composed of two separate steps.

First:

which is the full 4-vector version of:

The (temporal component) Planck–Einstein relation

The (spatial components) de Broglie matter wave

Second:

which is just the 4-gradient version of the wave equation for complex-valued plane waves

As a component of the covariant form of the quantum commutation relation

In quantum mechanics (physics), the canonical commutation relation is the fundamental relation between canonical conjugate quantities (quantities which are related by definition such that one is the Fourier transform of another).

According to:

As a component of the wave equations and probability currents in relativistic quantum mechanics

The 4-gradient is a component in several of the relativistic wave equations:

In the Klein–Gordon relativistic quantum wave equation for spin-0 particles (ex. Higgs boson):

In the Dirac relativistic quantum wave equation for spin-1/2 particles (ex. electrons):

are the Dirac gamma matrices is a relativistic wave function.

is Lorentz scalar for the Klein–Gordon equation, and a spinor for the Dirac equation.

It is nice that the gamma matrices themselves refer back to the fundamental aspect of SR, the Minkowski metric:

Conservation of 4-probability current density follows from the continuity equation:

The 4-probability current density has the relativistically covariant expression:

The 4-charge current density is just the charge () times the 4-probability current density:

As a key component in deriving quantum mechanics and relativistic quantum wave equations from special relativity

Relativistic wave equations use 4-vectors in order to be covariant.

Start with the standard SR 4-vectors:

Note the following simple relations from the previous sections, where each 4-vector is related to another by a Lorentz scalar:

is the proper time
is the rest mass
, which is the 4-vector version of the Planck–Einstein relation & the de Broglie matter wave relation
, which is the 4-gradient version of complex-valued plane waves

The last equation (with the 4-gradient scalar product) is a fundamental quantum relation.

, one gets the Klein–Gordon equation, the most basic of the quantum relativistic wave equations:

The Schrödinger equation is the low-velocity limiting case () of the Klein–Gordon equation.

, then one gets the Proca equation:

If the rest mass term is set to zero (light-like particles), then this gives the free Maxwell equation

More complicated forms and interactions can be derived by using the minimal coupling rule:

As a component of the RQM covariant derivative (internal particle spaces)

In modern elementary particle physics, one can define a gauge covariant derivative which utilizes the extra RQM fields (internal particle spaces) now known to exist.

The version known from classical EM (in natural units) is:

The full covariant derivative for the fundamental interactions of the Standard Model that we are presently aware of (in natural units) is:

) here refer to the internal spaces, not the tensor indices:

corresponds to U(1) invariance = (1) EM force gauge boson
corresponds to SU(2) invariance = (3) weak force gauge bosons (i = 1, …, 3)
corresponds to SU(3) invariance = (8) color force gauge bosons (a = 1, …, 8)

The coupling constants are arbitrary numbers that must be discovered from experiment. It is worth emphasizing that for the non-abelian are fixed for one representation, they are known for all representations.

These internal particle spaces have been discovered empirically.

Derivation

In three dimensions, the gradient operator maps a scalar field to a vector field such that the line integral between any two points in the vector field is equal to the difference between the scalar field at these two points. Based on this, it may appear incorrectly that the natural extension of the gradient to 4 dimensions should which is incorrect.

). The factor of (1/c) is to keep the correct unit dimensionality, [length], for all components of the 4-vector and the (−1) is to keep the 4-gradient Lorentz covariant. Adding these two corrections to the above expression gives the correct definition of 4-gradient:

References

Note about References

. Some will make sure that the dimensional units match across the 4-vector, others do not. Some refer to the temporal component in the 4-vector name, others refer to the spatial component in the 4-vector name. Some mix it throughout the book, sometimes using one then later on the other. Some use the metric , others use the metric . Some don't use 4-vectors, but do everything as the old style E and 3-space vector p. The thing is, all of these are just notational styles, with some more clear and concise than the others. The physics is the same as long as one uses a consistent style throughout the whole derivation.