1. Electromagnetism in Curved Space-Time
The background space-time curvature of the geometry influences the electromagnetic fields. Here, we consider the electromagnetic fields in a curved space-time geometry; however, we will ignore the influence of the electromagnetic field on the space-time geometry, which is discussed in the next section. For that, we describe the electromagnetic field equations, derived from the action principle.
The covariant derivative of the electromagnetic field covariant vector potential
(or contravariant vector
) in the torsionless space-time manifold is
and hence, the anti-symmetric part of the connection,
. Thus, the field strength tensor in covariant form is:
and its contravariant form is
Furthermore, the electric and magnetic fields of the electromagnetic field components are given as follows:
Thus,
are the components of the electromagnetic field strength 2-form
and
are the components of the electromagnetic field potential 1-form
. On the other hand [
21], the electric field vector
is related to the line integrand, and hence it is represented by a covector or a 1-form in three-dimensional space; the magnetic field vector
is related to surface and it is represented by a 2-form with components
that are expressed in terms of the contravariant components of the density vector
being surface integrands:
The Maxwell’s equations are written as
which are equivalent to conservation laws of charge and magnetic flux. These equations, under the influence of the curved space-time geometry, are written in terms of covariant derivative as
Besides, it is required that
Note that Eq. (
8) indicates that during the covariant differentiation the metric tensor components
can be considered a constant.
The actions of the covariant and contravariant derivatives on a vector can be written as
where
is the space-time connection, the so-called Christoffel’s symbols, and
is a vector characterising
point in the space-time. Besides, the actions of the covariant derivative on the second-rank tensors are determined as
For that, the general form of the covariant derivative of the anti-symmetric electromagnetic field strength tensor
in Riemann curved space-time is used, given as
Combining Eq. (
7) and Eq. (
11), we obtain
Therefore,
where the following relations were used:
In terms of the components of the electric and magnetic fields, Eq. (
13) can be written as
where
(with
being the charge density and
the current density, where
c is the speed of light in vacuum and
velocity vector in three-dimensional space.)
For
, Eq. (
15) can be written as
where the relation
is used. Note that Eq. (
16) is the generalisation of Gauss’s law of Maxwell’s equations in Minkowski (flat) space-time for the case of Riemann (curved) space-time. Interestingly, this equation is showing some new phenomena of the electromagnetism in the presence of the gravitational fields modifying the curvature of the space-time. For instance, in the absence of charges (that is,
), a magnetic field (including a static magnetic field) creates an electric field. Furthermore, in the case of the weak gravitational fields, when the off-diagonal elements of metric tensor are zero, the magnetic field cancels out of Eq. (
16). In particular, for
(for
), we get
From Eq. (
17), for the Riemann space-time geometries for which the second term is non-zero, then the electric field in vacuum (that is,
) is non-vanishing and it is necessary non-uniform. Therefore, the curvature of the space-time introduces a spatial change on the electric field in vacuum, even for weak gravitational fields. Furthermore, in the case of Minkowski space-time (that is,
and
), Eq. (
17) reduces to the first Maxwell’s equation,
.
For
, we obtain the generalisation of Maxwell-Ampére’s law in the Riemann’s curved space-time. In particular, from Eq. (
15), for
, we obtain
For the case of the weak gravitational fields (i.e.,
), we obtain
Or,
where the following relation is used
which transforms the electromagnetic vector field to the corresponding 2-form. Thus, Eq. (
20) becomes
where the following relation is used
Next, we consider a metric with vanishing the off-diagonal elements (i.e.,
, for
), and Eq. (
22) reduces to
Or,
Interestingly, Eq. (
25) indicates that the coupling between the magnetic and electric fields does not vanish from Maxwell-Ampére’s law, even for weak gravitational fields and diagonal Riemann metric, in contrast to Gauss’s law. Furthermore, if the geometry is time-independent, then Eq. (
25) reduces to
because
. However, the time derivative term of electric field does not cancel out (to cancel this term out, a time-varying charge density is required based on Gauss’s law). For time-varying space-time geometry, both terms on the right-hand side of Eq. (
26), because a non-stationary space-time geometry, will certainly induce a time-varying electric field (based on Gauss’s law). Furthermore, the gravitational waves will directly influence the magnetic fields. If we introduce a generalised charge current density as
a generalised displacement current as
and by introducing the following five-dimensional object
then Eq. (
26) takes the form of the generalised Maxwell-Ampére’s law as
Therefore, in the absence of the currents (that is,
), the electric field can be the source of the magnetic field, where an extra contribution is added from the displacement current that is induced by the time-varying space-time geometry. For stationary space-time geometry that contribution is zero; however, for high frequency gravitational waves (strongly varying waves), that contribution might be significant.
The homogeneous equations of the electromagnetic fields are expressed as follows:
Thus, for a torsionless manifold, as it is the case of Riemann space-time geometry, we get
Eq. (
31) indicates that the homogeneous equations of the electromagnetic fields are not influenced by the curvature of Riemann’s space-time, and hence they are equivalent to Faraday’s law (for
) and Gauss’s law for magnetic field (for
):
where the summation of repeating indices is assumed.
1.1. Equation of Electromagnetic Field Potential Wave
In the following, the inhomogeneous equations will be expressed in terms of the electromagnetic field 4-potential, namely
. For that, the covariant derivative of field strength tensor is
where
Furthermore,
where
are the components of Riemann tensor. Therefore, we obtain Maxwell’s equation in the following form:
where
is Ricci tensor
Using Lorentz condition for the electromagnetic field potential in the curved space-time:
we obtain the following
The formula of generalised Laplacian in the curved space-time is
Combining Eq. (
40) and Eq. (
41), we get
Using the relationship with Christoffel’s symbol for Riemann’s space-time geometry:
Eq. (
42) can also be written as follows:
Consider a diagonal metric in vacuum (that is,
), Eq. (
42) reduces to
Thus, the 4-potential components of the electromagnetic field are coupled in either Eq. (
42) or Eq. (
45), which is not the case of Minkowski flat space-time geometry. Furthermore, Eq. (
45) indicates that even when Ricci’s tensor components are zero, there will be a coupling between the components of the 4-potential of the electromagnetic field. Therefore, these results indicate that presence of the geometry dependent terms for the gravitational fields suggests new phenomena may arise for electromagnetism under the influence of space-time curvature.
1.2. Equations of Electromagnetic Waves
Using the electromagnetic field equations in vacuum (
), we write
These two equations are gauge invariant.
First, consider the first expression in Eq. (
46) for
(which is Maxwell-Ampére’s law). Then using Eq. (
19) for
(that is, vacuum), we obtain:
For weak gravitational fields (i.e.,
) with a diagonal metric (i.e.,
for
), from Eq. (
47), we obtain
where the following identity is used
Taking the time derivative of both sides of Eq. (
48), we get
Using Faraday’s law in the following form
and the mathematical identity
then, we have
where
,
, and
are used.
Furthermore,
where
is used.
Using Gauss’s law in vacuum (
), from Eq. (
18), we write
where
which is a function of the space-time point.
Taking the derivative
of both sides and summing for
, we obtain
Or,
Combining Eq. (
50), Eq. (
53), Eq. (
54), and Eq. (
58) we obtain
where
Eq. (
53) represents the wave equation of the electric field in a curved space-time geometry. It can be seen that is not a homogeneous second order differential equation, as derived for the flat space-time geometry. The presence of non-vanishing terms on the right-hand side indicates the influence of the space-time curvature on the electric field polarisation. Furthermore, the wave equation of the electric field is not independent on the magnetic field, even in the case of stationary space-time curvature indicating that the electromagnetic wave is a mixture of transverse and longitudinal waves, which is in contrast to Lorentz flat space-time geometry.
The following steps can be taken to derive the wave equation for magnetic field. From homogeneous electromagnetic equation in Eq. (
46), for
, we obtain
Taking the derivative for time
t of both sides in Eq. (
61), we will get
Furthermore,
Taking the derivative
in both sides of Eq. (
48) and summing for
, we obtain
Substituting Eq. (
63) into Eq. (
64), we get
Or,
where
Eq. (
66) represents the wave equation of the magnetic field in a curved space-time geometry. Again, it is not a homogeneous second order differential equation, in contrast to the wave equation derived for the flat space-time geometry. The presence of non-vanishing terms on the right-hand side indicates the influence of the space-time curvature on the magnetic field. Furthermore, the wave equation of the magnetic field is coupled to the electric field, even in the case of stationary space-time curvature indicating that the electromagnetic wave is a mixture of transverse and longitudinal waves, which is in contrast to Lorentz flat space-time geometry.
2. Unification of Gravitation and Electromagnetism in Framework of General Relativity
It is important to note that
gives the energy-momentum density tensor of the matter, which may includes the mass distribution and they current of charges in matter. In general, it may also include the electromagnetic field that exists in the space; in that general case,
can be written in the covariant form as
where
is the electromagnetic field energy-momentum density tensor including the interaction of electromagnetic field with currents and charges present, and it is given by the expression:
is the total energy-momentum density tensor; and gives the energy-momentum density tensor of the gravitation field only. That is the viewpoint of the un-unified theory of the gravitation and electromagnetic fields.
Furthermore, there is an essential difference between the , which represents the storage of gravitation field energy and momentum density surrounding the masses, and the gravitational potential energy, which expresses the interaction energy between the masses, and hence it represents the interaction forces between the masses and it depends on the mass distribution. Therefore, their physical origin is completely different. The gravitational field energy and momentum distribution (which is the reality) is represented by the curvature of the space-time described by the Riemann metric tensor a function of the space-time point (which is a picture of that reality). Besides, both can not be localised in space; thus, to obtain both, one has to integrate overall space. Moreover, the gravitational potential energy density is always negative and it vanishes in the empty space-time. On the other hand, the gravitation field energy density is always negative inside the matter, and outside it depends on the metric used; for instance, for some metrics, it is positive and thus .
Similarly, one can think about the electromagnetic field energy (which is a reality) and the electromagnetic interactions between the currents and the electromagnetic field; in this view, the electromagnetic field energy represents the energy stored around the space of the sources that created it, and the electromagnetic potential energy represents the interaction between the charges and the currents with the electromagnetic field, and so it depends on the charge and the current distribution of the matter. Therefore, in analogy, the distribution of the stored electromagnetic field energy and momentum (which is the reality) can introduce a new fabrication of the geometry, which can be described by an effective metric tensor, namely
:
which is a projection of the reality influenced by both gravitational and electromagnetic fields. In Eq. (
70),
denotes the electromagnetic field strength tensor, and
is a constant having the inverse units of
such that
is dimensionless.
Then, we have the following covariant form:
where
is given by
where
is a scaling factor [
11]
where
and its SI unit is m
2/s
2, and
and
by
where
is the mass density of macroscopic mass distribution and
P is the pressure. In Eq. (
75),
is the metric tensor of Riemann space-time. The zeroth component is
where
is the relativistic energy density. Eq. (
76) indicates that
, as expected.
In Eq. (
71),
is the total energy-momentum density tensor;
gives the energy-momentum density tensor of the matter (which includes the mass distribution and the current of charges in matter only); and
gives the energy-momentum density tensor of the gravitation field and electromagnetic field. Therefore, the rays of the electromagnetic field bend when they travel as they would bend in a space with only gravitation field with the effective metric tensor
.