1. Introduction
Currently, most of the known information about the Universe outside the Earth is obtained observing electromagnetic waves. This is especially true for the deep cosmos, even though gravitational astronomy [
1] and neutrino telescopes [
2,
3] are on the path of opening the doors of the multimessenger observations [
4]. So far, however, the experiments that have shaped our vision about the Universe and its evolution, such as Planck [
5], Wilkinson Microwave Anisotropy Probe [
6], WiggleZ Dark Energy Survey [
7], Background Imaging of Cosmic Extragalactic Polarization [
8], All Sky Automated Survey for Super Novae [
9], Sloan Digital Sky Survey [
10], Hubble Space Telescope [
11,
12], James Webb Space Telescope [
13], etc., all detect electromagnetic signals emitted somewhere faraway that reach us after a long journey through the spacetime. From them we know that the Universe is currently in the epoch of accelerated expansion [
14] and that the flat Friedmann–Lemaître–Robertson–Walker (FLRW) metric [
15] is, so far, the best candidate for large-scale metrics (and is considered as a standard model for cosmological observations).
In this work we consider the problem of how the electromagnetic waves propagate in the FLRW metric, which is quite important to observational cosmology. This is not a new problem and it has attracted constant attention during the past few decades [
16,
17,
18,
19,
20,
21]. A wide variety of methods has been used to solve it. Some of them (such as the usage of the Debye potential or the reformulation of the problem as propagation of the electromagnetic field in Minkowski space time in medium for which susceptibilities are determined by the metric tensor) are quite general and are suitable for different gravitational backgrounds. Other ones (such as using the conformal coordinates) are tailored specifically to the FLRW metric. Some of the authors work directly with the electric and magnetic fields; other ones prefer to work with the electromagnetic potential in different gauges (usual—the Coulomb one). Here our approach is to consider the problem using electromagnetic potential in the standard co-moving frame and in the generalized Lorenz gauge. We have three reasons which give grounds for our choice: the first two explain why we use the electromagnetic potential, while the third one answers the question of why we prefer the Lorenz gauge: First, the electromagnetic potential is the canonical coordinate in the electrodynamics, considered the Hamiltonian dynamical system, while the electric field is the canonical momentum and the magnetic field is derived from the potential. The eventual (canonical) quantization will rely deeply on the potential modes. Second, the Aharonov–Bohm effect demonstrates the fundamental role of the interaction of the potential with charged particles. Third, the usage of a generally covariant gauge condition exhibits a very interesting peculiarity of the electrodynamics in curved spacetime: The strong equivalence principle states that the laws of physics are one and the same in all inertial frames. However, there is a result [
22] that on a world line one can place any metric into Minkowski form (the inertial coordinate system) and to nullify its first derivatives but not the second and higher ones. As a result, any equation in which metric’s second and higher derivatives appear is not the same in Minkowski spacetime and in local inertial coordinate system in a more general spacetime. The electrodynamics in curved spacetime (more specifically—in non-Ricci flat spacetime) is an example of such theory because of the presence of the Ricci tensor in its equation of motion.
We want to emphasize that, here, we treat the electromagnetic waves as test particles in a predefined metric (flat FLRW one in our case). In other words, we consider the electromagnetic field as a perturbation, i.e., we do not take into account the gravitation produced by the wave itself. In addition, we suppose the existence of a medium in the spacetime which, first, produces the FLRW metric, and second, is inert to the electromagnetic interaction.
The paper is organized as follows: We start with some basic facts about the free electromagnetic field in curved spacetime. We give the definitions of the electromagnetic field tensor, electromagnetic Lagrangian, equation of motion, and gauge fixing. In addition, we remind the reader of how the gauge fixing can be incorporated into the Lagrangian and write down the effective Lagrangian, corresponding to our setup.
Next, we consider two simple solutions of the free electromagnetic equation of motion—a plane wave and a spherical one. We show that in both cases under consideration, each physical (transverse) component of the potential decouples from other components, while the time and longitudinal components remain entangled. The equations for the transverse components are quite simple and can be solved exactly. Their solutions demonstrate relativistic redshift, amplitude decrease (fading), and dispersion.
We also speculate about the connection between electromagnetic wave equation in FLRW metric in the generalized Lorenz gauge and the Proca equation with mass determined by the Ricci tensor. It turns out that for a special case of equation of state, the electromagnetic wave describes a tachyon. Finally, we briefly discuss the possibility to use the metric-induced transition of photons and other gauge field particles from tachyons to normal particles as a source of the inflation during the early Universe.
2. Theory
The electromagnetic potential
defines the electromagnetic field tensor
which, due to its antisymmetry and the symmetry of Christoffel symbols (
), has the same form in any frame
Here,
is the covariant derivative in the spacetime. As a result, first, in any spacetime the electromagnetic field tensor is invariant under the usual gauge symmetry
, where
is an arbitrary function, and second, the Lagrangian of the free electromagnetic field is exactly the same as in Minkowski spacetime:
The corresponding equation of motion is
where
g is the determinant of the metric tensor
. The above equation can be placed into explicitly covariant form, namely,
Note that up to now we have not fixed the gauge freedom in the potential. In order to remove this arbitrariness we use the generalized Lorenz gauge
In this gauge, Equation (
4) takes the form
Here,
is the d’Alembert operator defined for the covariant derivatives
, and
is the Ricci tensor
The following relations between the Riemann tensor
and Ricci tensor are used in the derivation of Equation (
6):
We want to stress that Equation (
6) is not the wave equation (
) and that it cannot be cast into it with the help of change of coordinates. Therefore, if the spacetime is not Ricci flat then the equation satisfied by the electromagnetic waves will differ from the one in Minkowski spacetime even in the locally inertial coordinate frame.
The gauge condition can be incorporated into the Lagrangian. The easiest way to achieve this is with the help of the Lagrangian multiplier—a new auxiliary dynamical field
, so that the gauge fixed Lagrangian is
There is a procedure, outlined, e.g., in Ref. [
23], for how to integrate out the Lagrangian multiplier. Applying it, we obtain the following, fully covariant, gauge-fixed, effective Lagrangian
Note that in the last term of Equation (
9) there is a part
which is quadratic with respect to the potential
, so Equation (
9) resembles the Proca action (more precisely—
generalized Proca one [
24]). We shall come back to this question later.
3. Results
Here, we describe some basic solutions of Equation (
6) in the case of FLRW background. On the base of these solutions we give some estimates about the redshift, amplitude decrease, and dispersion which the electromagnetic wave undergoes during its propagation in spacetime.
3.1. Plane Electromagnetic Wave in the FLRW Metric
The description of a plane wave can be given most easily in the Cartesian form of the metric of a flat FLRW-universe. In this case the invariant length is
where
is the scale “parameter” and we work in units where the speed of light
.
For the sake of simplicity, we consider a wave propagating in the
z direction, i.e., we suppose that
. We want to stress that in this way we can describe the most general plane wave solution because of the possibility to freely choose the spacial coordinate system orientation. For the considered functional dependence of the potential, Equation (
6) simplifies, and each of the potential transverse components
and
(i.e.,
and
components of the potential) decouple from all other components. Note that, here, the transverse potential determines transverse electric and magnetic fields. Therefore, we deal with a transverse electromagnetic wave which remains as such forever. Certainly, this is valid only in the coordinate system determined by Equation (
10). For instance, in the observer frame, where
(and analogously for the other spacial coordinates), every component of the electromagnetic potential is a mix of physical and nonphysical degrees of freedom.
The equation, which both
and
satisfy is
Here, we denote with dots the derivatives over time and with primes—derivatives with respect to z. The equations for the nonphysical components and are completely different and each of them entangles and .
We look for a solution of Equation (
11) with separated variables
. In this case, Equation (
11) leads to the following two equations:
where
is some constant.
At this point, we want to make a small comment about Equation (
12). The self-consistency of the assumption for separation of variables requires that
does not participate in it. In other words, the equation in question will have the same form for any
, even for
. Thus, it will be the same as in flat Minkowski spacetime.
In view of the above comment, it is not a surprise that Equation (
12) is well known. Its general real solution for
(which we suppose) is
where
are arbitrary real constants.
Now we move to Equation (13). In order to find its solution we make two consecutive ansatzes. First, let
which leads to the following differential equation for
:
The second ansatz is
where the argument of the function
is the so-called conformal time and the differential equation for
is
Note that Equation (
18) has the same form as Equation (
12) and, accordingly, has the same type of solution. Therefore, the general solution of Equation (13) is
3.2. Spherical Electromagnetic Wave in the FLRW Metric
We consider the spherical coordinate system as the appropriate one for description of spherical waves (provided it is positioned and oriented accordingly to the source and observer). In spherical coordinates the invariant length is
and it determines the particular form of Equation (
6) in this case.
We consider the electromagnetic wave propagation in
r direction, supposing that
, and, in addition, supposing separation of variables. Therefore, we are looking for transverse potential
(the time dependence of both transverse components is indeed the same—see below).
Here, we see a flaw in our considerations because we postulate the existence of a transverse constant vector field on a sphere. However, such a field does not exist. Any transverse vector field on a sphere has to have at least one zero (or singularity). Therefore, one of our assumptions, or both of them, are incorrect. Nevertheless, we continue our analysis, supposing that it is valid at most only approximately in a small vicinity on the sphere for which we suppose resides at . This should be sufficient for a cosmological observer who, anyway, can gather information only locally.
It turns out that the evolution of each of the transverse components decouples from all other components as in the plane wave case. The corresponding equations of motion are
Now the primes denote derivatives with respect to
r coordinate and
. The fact that Equations (
22) and (23) are different is a surprise, taking into account that orientation of the coordinate system around the axis of observation is a matter of our choice.
Let us consider Equation (23) first. As it has been already mentioned we look for a solution with separated variables, so that
. It turns out that the differential equation for
thus defined coincides with Equation (13) considered in the plane wave case. For the equation satisfied by the function
we obtain
where, as in the case of plane wave,
is some positive parameter. Its general solution is
where
and
are the spherical Bessel functions of first and second kind.
Next, we consider Equation (
22) and we again look for a solution in the form
. Once again, the differential equation for
is exactly Equation (13). For the function
we obtain the following equation:
The general solution of Equation (26) is
where
and
are the Bessel functions of first and second kind. Note, however, that
dependence reappears in Equation (27) through the quantity
b. This contradicts our initial ansatz. Therefore, we reconsider our assumption and now we are looking for a solution in the form
Skipping the details, it is possible to show that the equation for at is exactly Equation (23). This resolves the problem with rotational symmetry around observation axis. The result also rules out the possible polarization of the light induced by its propagation through the space which is suggested by Equations (25) and (27).
3.3. Cosmological Redshift, Fading, and Dispersion
In this section we consider some quantities that are of interest for the observers of the electromagnetic waves.
First, we define the redshift
z. It can be derived in number of different ways in the cosmological context. Usually, one uses the geodesic of the photon to obtain the so-called cosmological redshift [
25]. One can also solve the scalar wave equation for light with certain initial data [
26,
27]. One can also use the Einstein–Maxwell’s equations in the spacetime defined with its metric to obtain the solutions and obtain it from there. This is the approach we will use in this paper, so the redshift is defined as
where
is the wave (angular) frequency at the moment
and
is the observed frequency at the moment
. Note that time dependence for spherical and plane waves is one and the same and is given by Equation (
19). Therefore, in both cases the angular frequency at moment
t is determined by the wave period
, (
) and for
we have the following equation:
As a result, the frequency at the moment
t is
, and so the redshift is
where subscripts stand for plane and spherical wave.
Next, we define the fading
as the amplitude decrease due to the propagation of the wave:
Here, is the amplitude of the wave at the moment and is the observed amplitude at the moment , .
Another interesting characteristic of the waves is their dispersion
. Similar to the redshift, there are lot of different ways to define the dispersion; probably the simplest is an analogue of the group velocity dispersion:
However, in all cases under consideration here, the frequency is linear with respect to wave number, but the spatial part of the wave phase is not in the case of spherical wave (see below). Therefore, our definition for dispersion is
where
is the argument of the sine or cosine part of the wave function. The quantity is determined only at the moment
.
Applying the above definitions for both plane and spherical waves, we obtain the following results for the plane wave:
The corresponding results for a spherical wave are different. Having in mind that
, we can use Equation (25) which defines the spacial-dependent component of transverse potential in the following form:
We set the origin of the coordinate system at the geometric center of the spherical wave. We consider the propagation along the
axis of a fixed phase of outgoing wave, so that
which can be used to determine
from
,
, and
. Therefore, the fading and dispersion are
3.4. The Photon Mass
The Ricci tensor in the FLRW metric is diagonal. Its space components
(no summation over
i),
(i.e.,
,
, and
components in Cartesian coordinates and
,
, and
components in spherical coordinates) have one and the same value:
where
is called, due to historical reasons, the
deceleration parameter and
is the Hubble function. Note that
q is dimensionless, so the factor
is well defined. Note also that only the transverse components of the potential are physical. These, in the general case, are certain linear combinations of the spatial components, so we are interested in their mass only.
Except for the very first moments of the Universe’s evolution,
is a very slowly changing function of time and, therefore, the term
(no summation over
i) in Equation (
6) behaves similar to a mass term and Equation (
6) itself—similar to a variant of the Proca equation. The effective mass term for the physical degrees of freedom is zero only for
or for
. These are the only two cases for which Equation (
6), rewritten in the inertial coordinate system, coincides with the wave equation of Minkowski electrodynamics. Note that the power law behavior of the scale factor (
) is an exact solution of the Friedmann equations for the Universe full with pure fluid with constant equation of state
, where
p is the fluid pressure and
is its density. In this more general case, the photon effective mass is
which is positive for
. However, in the case
, the mass squared is negative and the photon represents a
tachyon.
It is interesting to see the photon mass for exponentially growing scale factor
. In this case we obtain
i.e., it is a positive constant (exactly).
It will be instructive to have some estimate for the magnitude of the effective mass that we are speaking about. Let us note that for the present-day values of the deceleration parameter and Hubble function the photon mass in an inertial coordinate system is .
4. Discussion
The obtained closed expressions for the electromagnetic plane and spherical wave solutions allow us to estimate the observed redshift, fading, and dispersion. The obtained redshift (Equation (31)) coincides with the standard one known in the literature [
15,
28]. The amplitude decrease given in Equation (34) is referred to in [
29] as “adiabatic”. The extension to a nonflat Universe considered therein showed that
decrease is possible. On the other hand, the amplitude decrease of a spherical wave (Equation (38)) demonstrates the dependence of the fading on the wave number. The fading is increasing when the wavelength is increasing. A result, connected to the above one, is given by Equation (39) and predicts nonzero dispersion of a spherical wave.
Finally, we want to make some comments about a possible connection between Equation (
6) and the Proca equation. Here, we used the generalized Lorenz gauge to fix the gauge freedom. As a result, Equation (
6) is not gauge-invariant. In the Proca case, the mass term breaks the gauge symmetry as well but it cannot be considered as a gauge-fixing term for the electromagnetic potential. Nevertheless, the equations of motion for both theories are quite similar. The main difference between them is that for the electrodynamics, in the generalized Lorenz gauge the effective mass of the photon is controlled by the metric tensor. In view of this we suppose that a solution of the Proca equation with suitably chosen mass can approximate a solution of Equation (
6). We consider this fact, i.e., that the photons can be massive, as very interesting and the fact that they can be tachyons as even more interesting. Note that tachyonic models have a long history in cosmology. Some of them originate as special cases of k-essence theories with Dirac–Born–Infeld (DBI) action [
30]. On the other hand, k-essence theories [
31,
32] are used to describe early inflation and dark energy through a minimally coupled scalar field with noncanonical kinetic term. In the tachyonic models [
33,
34], universe expansion (possibly accelerated) is produced while the tachyon rolls down towards its minimum. Tachyons have also been discussed in terms of the so-called tachyonic preheating [
35], which may lead to explosive particle production. Ghost tachyons (i.e., models with negative sign of
in the Lagrangian) have been shown to cross the phantom line of the equation of state
[
36]. How can our result be positioned in these studies? Note that our result is valid not only for electromagnetic field but for any
gauge field. For instance, it can be the fundamental
field of electroweak interaction which exists before spontaneous symmetry breaking. Suppose that in some early stage of the Universe the perfect fluid which determines the metric in it has
equation of state (which can be achieved in some
k-essence models [
37,
38,
39,
40,
41,
42]). In this case, the fundamental
gauge field becomes tachyonic and, in the spirit of the articles cited above, these tachyons can drive inflation. It will continue as long as
, and during it the tachyons will roll to their energy minimum where they are infinitely fast, thus thermalizing a significantly larger than expected part of the Universe.