Maxwell's equations in curved spacetime

Last updated
Induced spacetime curvature Gravitation space source.svg
Induced spacetime curvature

In physics, Maxwell's equations in curved spacetime govern the dynamics of the electromagnetic field in curved spacetime (where the metric may not be the Minkowski metric) or where one uses an arbitrary (not necessarily Cartesian) coordinate system. These equations can be viewed as a generalization of the vacuum Maxwell's equations which are normally formulated in the local coordinates of flat spacetime. But because general relativity dictates that the presence of electromagnetic fields (or energy/matter in general) induce curvature in spacetime, [1] Maxwell's equations in flat spacetime should be viewed as a convenient approximation.

Contents

When working in the presence of bulk matter, distinguishing between free and bound electric charges may facilitate analysis. When the distinction is made, they are called the macroscopic Maxwell's equations. Without this distinction, they are sometimes called the "microscopic" Maxwell's equations for contrast.

The electromagnetic field admits a coordinate-independent geometric description, and Maxwell's equations expressed in terms of these geometric objects are the same in any spacetime, curved or not. Also, the same modifications are made to the equations of flat Minkowski space when using local coordinates that are not rectilinear. For example, the equations in this article can be used to write Maxwell's equations in spherical coordinates. For these reasons, it may be useful to think of Maxwell's equations in Minkowski space as a special case of the general formulation.

Summary

In general relativity, the metric tensor is no longer a constant (like as in Examples of metric tensor) but can vary in space and time, and the equations of electromagnetism in a vacuum become [ citation needed ]

where is the density of the Lorentz force, is the inverse of the metric tensor , and is the determinant of the metric tensor. Notice that and are (ordinary) tensors, while , , and are tensor densities of weight +1. Despite the use of partial derivatives, these equations are invariant under arbitrary curvilinear coordinate transformations. Thus, if one replaced the partial derivatives with covariant derivatives, the extra terms thereby introduced would cancel out (see Manifest covariance § Example).

The electromagnetic potential

The electromagnetic potential is a covariant vector Aα, which is the undefined primitive of electromagnetism. Being a covariant vector, it transforms from one coordinate system to another as

Electromagnetic field

The electromagnetic field is a covariant antisymmetric tensor of degree 2, which can be defined in terms of the electromagnetic potential by

To see that this equation is invariant, we transform the coordinates as described in the classical treatment of tensors:

This definition implies that the electromagnetic field satisfies

which incorporates Faraday's law of induction and Gauss's law for magnetism. This is seen from

Thus, the right-hand side of that Maxwell law is zero identically, meaning that the classic EM field theory leaves no room for magnetic monopoles or currents of such to act as sources of the field.

Although there appear to be 64 equations in Faraday–Gauss, it actually reduces to just four independent equations. Using the antisymmetry of the electromagnetic field, one can either reduce to an identity (0 = 0) or render redundant all the equations except for those with {λ, μ, ν} being either {1, 2, 3}, {2, 3, 0}, {3, 0, 1}, or {0, 1, 2}.

The Faraday–Gauss equation is sometimes written

where a semicolon indicates a covariant derivative, a comma indicates a partial derivative, and square brackets indicate anti-symmetrization (see Ricci calculus for the notation). The covariant derivative of the electromagnetic field is

where Γαβγ is the Christoffel symbol, which is symmetric in its lower indices.

Electromagnetic displacement

The electric displacement field D and the auxiliary magnetic field H form an antisymmetric contravariant rank-2 tensor density of weight +1. In a vacuum, this is given by

This equation is the only place where the metric (and thus gravity) enters into the theory of electromagnetism. Furthermore, the equation is invariant under a change of scale, that is, multiplying the metric by a constant has no effect on this equation. Consequently, gravity can only affect electromagnetism by changing the speed of light relative to the global coordinate system being used. Light is only deflected by gravity because it is slower near massive bodies. So it is as if gravity increased the index of refraction of space near massive bodies.

More generally, in materials where the magnetizationpolarization tensor is non-zero, we have

The transformation law for electromagnetic displacement is

where the Jacobian determinant is used. If the magnetization-polarization tensor is used, it has the same transformation law as the electromagnetic displacement.

Electric current

The electric current is the divergence of the electromagnetic displacement. In a vacuum,

If magnetization–polarization is used, then this just gives the free portion of the current

This incorporates Ampere's law and Gauss's law.

In either case, the fact that the electromagnetic displacement is antisymmetric implies that the electric current is automatically conserved:

because the partial derivatives commute.

The Ampere–Gauss definition of the electric current is not sufficient to determine its value because the electromagnetic potential (from which it was ultimately derived) has not been given a value. Instead, the usual procedure is to equate the electric current to some expression in terms of other fields, mainly the electron and proton, and then solve for the electromagnetic displacement, electromagnetic field, and electromagnetic potential.

The electric current is a contravariant vector density, and as such it transforms as follows:

Verification of this transformation law:

So all that remains is to show that

which is a version of a known theorem (see Inverse functions and differentiation § Higher derivatives).

Lorentz force density

The density of the Lorentz force is a covariant vector density given by

The force on a test particle subject only to gravity and electromagnetism is

where pα is the linear 4-momentum of the particle, t is any time coordinate parameterizing the world line of the particle, Γβαγ is the Christoffel symbol (gravitational force field), and q is the electric charge of the particle.

This equation is invariant under a change in the time coordinate; just multiply by and use the chain rule. It is also invariant under a change in the x coordinate system.

Using the transformation law for the Christoffel symbol,

we get

Lagrangian

In a vacuum, the Lagrangian density for classical electrodynamics (in joules per cubic meter) is a scalar density

where

The 4-current should be understood as an abbreviation of many terms expressing the electric currents of other charged fields in terms of their variables.

If we separate free currents from bound currents, the Lagrangian becomes

Electromagnetic stress–energy tensor

As part of the source term in the Einstein field equations, the electromagnetic stress–energy tensor is a covariant symmetric tensor

using a metric of signature (−, +, +, +). If using the metric with signature (+, −, −, −), the expression for will have opposite sign. The stress–energy tensor is trace-free:

because electromagnetism propagates at the local invariant speed, and is conformal-invariant.[ citation needed ]

In the expression for the conservation of energy and linear momentum, the electromagnetic stress–energy tensor is best represented as a mixed tensor density

From the equations above, one can show that

where the semicolon indicates a covariant derivative.

This can be rewritten as

which says that the decrease in the electromagnetic energy is the same as the work done by the electromagnetic field on the gravitational field plus the work done on matter (via the Lorentz force), and similarly the rate of decrease in the electromagnetic linear momentum is the electromagnetic force exerted on the gravitational field plus the Lorentz force exerted on matter.

Derivation of conservation law:

which is zero because it is the negative of itself (see four lines above).

Electromagnetic wave equation

The nonhomogeneous electromagnetic wave equation in terms of the field tensor is modified from the special-relativity form to [2]

where Racbd is the covariant form of the Riemann tensor, and is a generalization of the d'Alembertian operator for covariant derivatives. Using

Maxwell's source equations can be written in terms of the 4-potential [ref. 2[ clarification needed ], p. 569] as

or, assuming the generalization of the Lorenz gauge in curved spacetime,

where is the Ricci curvature tensor.

This is the same form of the wave equation as in flat spacetime, except that the derivatives are replaced by covariant derivatives and there is an additional term proportional to the curvature. The wave equation in this form also bears some resemblance to the Lorentz force in curved spacetime, where Aa plays the role of the 4-position.

For the case of a metric signature in the form (+, −, −, −), the derivation of the wave equation in curved spacetime is carried out in the article.[ citation needed ]

Nonlinearity of Maxwell's equations in a dynamic spacetime

When Maxwell's equations are treated in a background-independent manner, that is, when the spacetime metric is taken to be a dynamical variable dependent on the electromagnetic field, then the electromagnetic wave equation and Maxwell's equations are nonlinear. This can be seen by noting that the curvature tensor depends on the stress–energy tensor through the Einstein field equation

where

is the Einstein tensor, G is the gravitational constant, gab is the metric tensor, and R (scalar curvature) is the trace of the Ricci curvature tensor. The stress–energy tensor is composed of the stress–energy from particles, but also stress–energy from the electromagnetic field. This generates the nonlinearity.

Geometric formulation

In the differential geometric formulation of the electromagnetic field, the antisymmetric Faraday tensor can be considered as the Faraday 2-form . In this view, one of Maxwell's two equations is

where is the exterior derivative operator. This equation is completely coordinate- and metric-independent and says that the electromagnetic flux through a closed two-dimensional surface in space–time is topological, more precisely, depends only on its homology class (a generalization of the integral form of Gauss law and Maxwell–Faraday equation, as the homology class in Minkowski space is automatically 0). By the Poincaré lemma, this equation implies (at least locally) that there exists a 1-form satisfying

The other Maxwell equation is

In this context, is the current 3-form (or even more precise, twisted 3-form), and the star denotes the Hodge star operator. The dependence of Maxwell's equation on the metric of spacetime lies in the Hodge star operator on 2-forms, which is conformally invariant. Written this way, Maxwell's equation is the same in any space–time, manifestly coordinate-invariant, and convenient to use (even in Minkowski space or Euclidean space and time, especially with curvilinear coordinates).

An alternative geometric interpretation is that the Faraday 2-form is (up to a factor ) the curvature 2-form of a U(1)-connection on a principal U(1)-bundle whose sections represent charged fields. The connection is much like the vector potential, since every connection can be written as for a "base" connection , and

In this view, the Maxwell "equation" is a mathematical identity known as the Bianchi identity. The equation is the only equation with any physical content in this formulation. This point of view is particularly natural when considering charged fields or quantum mechanics. It can be interpreted as saying that, much like gravity can be understood as being the result of the necessity of a connection to parallel transport vectors at different points, electromagnetic phenomena, or more subtle quantum effects like the Aharonov–Bohm effect, can be understood as a result from the necessity of a connection to parallel transport charged fields or wave sections at different points. In fact, just as the Riemann tensor is the holonomy of the Levi-Civita connection along an infinitesimal closed curve, the curvature of the connection is the holonomy of the U(1)-connection.

See also

Notes

  1. Hall, G. S. (1984). "The significance of curvature in general relativity". General Relativity and Gravitation. 16 (5): 495–500. Bibcode:1984GReGr..16..495H. doi:10.1007/BF00762342. S2CID   123346295.
  2. Ehlers J. Generalized Electromagnetic Null Fields and Geometrical Optics, in Perspectives in Geometry and Relativity, ed. by B. Hoffmann, p. 127–133, Indiana University Press, Bloomington and London, 1966.

Related Research Articles

In particle physics, the Dirac equation is a relativistic wave equation derived by British physicist Paul Dirac in 1928. In its free form, or including electromagnetic interactions, it describes all spin-12 massive particles, called "Dirac particles", such as electrons and quarks for which parity is a symmetry. It is consistent with both the principles of quantum mechanics and the theory of special relativity, and was the first theory to account fully for special relativity in the context of quantum mechanics. It was validated by accounting for the fine structure of the hydrogen spectrum in a completely rigorous way.

<span class="mw-page-title-main">Stress–energy tensor</span> Tensor describing energy momentum density in spacetime

The stress–energy tensor, sometimes called the stress–energy–momentum tensor or the energy–momentum tensor, is a tensor physical quantity that describes the density and flux of energy and momentum in spacetime, generalizing the stress tensor of Newtonian physics. It is an attribute of matter, radiation, and non-gravitational force fields. This density and flux of energy and momentum are the sources of the gravitational field in the Einstein field equations of general relativity, just as mass density is the source of such a field in Newtonian gravity.

In the mathematical field of differential geometry, the Riemann curvature tensor or Riemann–Christoffel tensor is the most common way used to express the curvature of Riemannian manifolds. It assigns a tensor to each point of a Riemannian manifold. It is a local invariant of Riemannian metrics which measures the failure of the second covariant derivatives to commute. A Riemannian manifold has zero curvature if and only if it is flat, i.e. locally isometric to the Euclidean space. The curvature tensor can also be defined for any pseudo-Riemannian manifold, or indeed any manifold equipped with an affine connection.

In the general theory of relativity, the Einstein field equations relate the geometry of spacetime to the distribution of matter within it.

The Einstein–Hilbert action in general relativity is the action that yields the Einstein field equations through the stationary-action principle. With the (− + + +) metric signature, the gravitational part of the action is given as

In differential geometry, the Einstein tensor is used to express the curvature of a pseudo-Riemannian manifold. In general relativity, it occurs in the Einstein field equations for gravitation that describe spacetime curvature in a manner that is consistent with conservation of energy and momentum.

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

In differential geometry, a tensor density or relative tensor is a generalization of the tensor field concept. A tensor density transforms as a tensor field when passing from one coordinate system to another, except that it is additionally multiplied or weighted by a power W of the Jacobian determinant of the coordinate transition function or its absolute value. A tensor density with a single index is called a vector density. A distinction is made among (authentic) tensor densities, pseudotensor densities, even tensor densities and odd tensor densities. Sometimes tensor densities with a negative weight W are called tensor capacity. A tensor density can also be regarded as a section of the tensor product of a tensor bundle with a density bundle.

When studying and formulating Albert Einstein's theory of general relativity, various mathematical structures and techniques are utilized. The main tools used in this geometrical theory of gravitation are tensor fields defined on a Lorentzian manifold representing spacetime. This article is a general description of the mathematics of general relativity.

<span class="mw-page-title-main">Electromagnetic tensor</span> Mathematical object that describes the electromagnetic field in spacetime

In electromagnetism, the electromagnetic tensor or electromagnetic field tensor is a mathematical object that describes the electromagnetic field in spacetime. The field tensor was first used after the four-dimensional tensor formulation of special relativity was introduced by Hermann Minkowski. The tensor allows related physical laws to be written very concisely, and allows for the quantization of the electromagnetic field by Lagrangian formulation described below.

<span class="mw-page-title-main">Electromagnetic stress–energy tensor</span>

In relativistic physics, the electromagnetic stress–energy tensor is the contribution to the stress–energy tensor due to the electromagnetic field. The stress–energy tensor describes the flow of energy and momentum in spacetime. The electromagnetic stress–energy tensor contains the negative of the classical Maxwell stress tensor that governs the electromagnetic interactions.

<span class="mw-page-title-main">Covariant formulation of classical electromagnetism</span> Ways of writing certain laws of physics

The covariant formulation of classical electromagnetism refers to ways of writing the laws of classical electromagnetism in a form that is manifestly invariant under Lorentz transformations, in the formalism of special relativity using rectilinear inertial coordinate systems. These expressions both make it simple to prove that the laws of classical electromagnetism take the same form in any inertial coordinate system, and also provide a way to translate the fields and forces from one frame to another. However, this is not as general as Maxwell's equations in curved spacetime or non-rectilinear coordinate systems.

In the theory of general relativity, a stress–energy–momentum pseudotensor, such as the Landau–Lifshitz pseudotensor, is an extension of the non-gravitational stress–energy tensor that incorporates the energy–momentum of gravity. It allows the energy–momentum of a system of gravitating matter to be defined. In particular it allows the total of matter plus the gravitating energy–momentum to form a conserved current within the framework of general relativity, so that the total energy–momentum crossing the hypersurface of any compact space–time hypervolume vanishes.

The Newman–Penrose (NP) formalism is a set of notation developed by Ezra T. Newman and Roger Penrose for general relativity (GR). Their notation is an effort to treat general relativity in terms of spinor notation, which introduces complex forms of the usual variables used in GR. The NP formalism is itself a special case of the tetrad formalism, where the tensors of the theory are projected onto a complete vector basis at each point in spacetime. Usually this vector basis is chosen to reflect some symmetry of the spacetime, leading to simplified expressions for physical observables. In the case of the NP formalism, the vector basis chosen is a null tetrad: a set of four null vectors—two real, and a complex-conjugate pair. The two real members often asymptotically point radially inward and radially outward, and the formalism is well adapted to treatment of the propagation of radiation in curved spacetime. The Weyl scalars, derived from the Weyl tensor, are often used. In particular, it can be shown that one of these scalars— in the appropriate frame—encodes the outgoing gravitational radiation of an asymptotically flat system.

The harmonic coordinate condition is one of several coordinate conditions in general relativity, which make it possible to solve the Einstein field equations. A coordinate system is said to satisfy the harmonic coordinate condition if each of the coordinate functions xα satisfies d'Alembert's equation. The parallel notion of a harmonic coordinate system in Riemannian geometry is a coordinate system whose coordinate functions satisfy Laplace's equation. Since d'Alembert's equation is the generalization of Laplace's equation to space-time, its solutions are also called "harmonic".

<span class="mw-page-title-main">Mathematical descriptions of the electromagnetic field</span> Formulations of electromagnetism

There are various mathematical descriptions of the electromagnetic field that are used in the study of electromagnetism, one of the four fundamental interactions of nature. In this article, several approaches are discussed, although the equations are in terms of electric and magnetic fields, potentials, and charges with currents, generally speaking.

<span class="mw-page-title-main">Lovelock theory of gravity</span>

In theoretical physics, Lovelock's theory of gravity (often referred to as Lovelock gravity) is a generalization of Einstein's theory of general relativity introduced by David Lovelock in 1971. It is the most general metric theory of gravity yielding conserved second order equations of motion in an arbitrary number of spacetime dimensions D. In this sense, Lovelock's theory is the natural generalization of Einstein's General Relativity to higher dimensions. In three and four dimensions (D = 3, 4), Lovelock's theory coincides with Einstein's theory, but in higher dimensions the theories are different. In fact, for D > 4 Einstein gravity can be thought of as a particular case of Lovelock gravity since the Einstein–Hilbert action is one of several terms that constitute the Lovelock action.

In mathematics, Ricci calculus constitutes the rules of index notation and manipulation for tensors and tensor fields on a differentiable manifold, with or without a metric tensor or connection. It is also the modern name for what used to be called the absolute differential calculus, developed by Gregorio Ricci-Curbastro in 1887–1896, and subsequently popularized in a paper written with his pupil Tullio Levi-Civita in 1900. Jan Arnoldus Schouten developed the modern notation and formalism for this mathematical framework, and made contributions to the theory, during its applications to general relativity and differential geometry in the early twentieth century.

In the Newman–Penrose (NP) formalism of general relativity, independent components of the Ricci tensors of a four-dimensional spacetime are encoded into seven Ricci scalars which consist of three real scalars , three complex scalars and the NP curvature scalar . Physically, Ricci-NP scalars are related with the energy–momentum distribution of the spacetime due to Einstein's field equation.

<span class="mw-page-title-main">Dirac equation in curved spacetime</span> Generalization of the Dirac equation

In mathematical physics, the Dirac equation in curved spacetime is a generalization of the Dirac equation from flat spacetime to curved spacetime, a general Lorentzian manifold.

References