1. Introduction
Modified gravity currently obtains a lot of attention from the scientific community. The main reason is the remarkable issue that it enables a description of early-time inflation, as well as late-time acceleration epoch (dark energy) in a unified way.
In recent years, superstring/Mtheory caused a lot of interest about higher order gravity in more than four dimensions [
1]. These models work in the effective low-energy action of superstring theory [
1,
2]. Within the classical framework, they have to be inserted among the class of the so-called
theories of gravity (for a recent review, see [
3]).
Motivations for a potential extension of Einstein’s general relativity (GR) [
4] are various. First of all, as distinct from other field theories, like the electromagnetic theory, GR is very difficult to quantize. This fact rules out the possibility of treating gravitation like other quantum theories and precludes the unification of gravity with other interactions. At the present time, it is not possible to realize a consistent quantum gravity theory that leads to the unification of gravitation with the other forces. One of the most important goals of modern physics is to obtain a
unified theory, which could, in principle, show the fundamental interactions as different forms of the same
symmetry. Considering this point of view, today, one observes and tests the results of one or more breaks of symmetry. In this way, it is possible to say that we live in an
unsymmetrical world [
5]. In the last 60 years, the dominant idea has been that a fundamental description of physical interactions arises from quantum field theory [
6]. In this approach, different states of a physical system are represented by vectors in a Hilbert space defined in a spacetime, while physical fields are represented by operators (
i.e., linear transformations) on such a Hilbert space. The greatest problem is that this quantum mechanical framework is not consistent with gravitation, because this particular field,
i.e., the metric,
, describes both the dynamical aspects of gravity and the spacetime background [
5]. In other words, one says that the quantization of dynamical degrees of freedom of the gravitational field is meant to give a quantum-mechanical description of the spacetime. This is an unequaled problem in the context of quantum field theories, because the other theories are founded on a fixed spacetime background, which is treated like a classical continuum. Thus, at the present time, an absolute quantum gravity theory, which implies a total unification of various interactions, has not been obtained [
5]. In addition, GR assumes a classical description of the matter, which is totally inappropriate at subatomic scales, which are the scales of the early Universe [
3,
5].
In the general context of cosmological evidence, there are also other considerations that suggest an extension of GR [
3,
7]. As a matter of fact, the accelerated expansion of the Universe, which is observed today, implies that cosmological dynamics is dominated by the so-called
dark energy, which gives a large negative pressure. This is the standard picture, in which this new ingredient should be some form of unclustered, non-zero vacuum energy, which, together with the clustered
dark matter, drives the global dynamics. This is the so-called “concordance model” (ΛCDM), which gives, in agreement with the Cosmic Microwave Background Radiation, Large Scale Structure and Supernovae Ia data, a good picture of the observed Universe today, but presents several shortcomings, such as the well-known “coincidence” and “Cosmological Constant” problems [
8].
An alternative approach is seeing if the observed cosmic dynamics can be achieved through an extension of GR [
3,
7]. In this different context, it is not required to find candidates for dark energy and dark matter that, till now, have not been found; only the “observed” ingredients, which are curvature and baryon matter, have to be taken into account. Then, dark energy and dark matter have to be considered like pure effects of the presence of an intrinsic curvature in the Universe. Considering this point of view, one can think that gravity is different at various scales, and there is room for alternative theories.
Note that we are not claiming that GR is wrong. It is well known that, even in the context of extended theories of gravity, GR remains the most important part of the structure [
7]. We are only trying to understand if weak modifications of such a structure could be needed to solve some theoretical and current observational problems. In this picture, we also recall that even Einstein tried to modify the framework of GR by adding the “Cosmological Constant” [
9]. In any case, cosmology and Solar System tests show that modifications of GR in the sense of extended theories of gravity have to be very weak [
3,
7].
In principle, the most popular dark energy and dark matter models can be achieved in the framework of extended theories of gravity,
i.e.,
theories of gravity [
3] and scalar tensor theories of gravity [
7], which are generalizations of the Jordan–Fierz–Brans–Dicke Theory [
10,
11,
12]. One assumes that geometry (for example, the Ricci curvature scalar,
R) interacts with material quantum fields, generating back-reactions, which modify the gravitational action, adding interaction terms (examples are high-order terms in the Ricci scalar and/or in the Ricci tensor and non-minimal coupling between matter and gravity). This approach enables the modification of the Lagrangian, with respect to the standard Einstein–Hilbert gravitational Lagrangian [
13], through the addition of high-order terms in the curvature invariants (terms like
,
,
,
and
, in the sense of
theories [
3,
7]) and/or terms with scalar fields non-minimally coupled to geometry (terms like
) in the sense of scalar-tensor theories [
7].
In the tapestry of
theories, the higher order terms are physically a type of back reaction from geometry acting upon matter, which further modifies geometry. This is a topological massive gravity, which represents a form of intrinsic curvature to spacetime. These terms are related to the Bel–Robinson tensor [
14]:
Contraction over indices gives the result,
The physical consequences of this extension to curvature are fairly remarkable. The Bel–Robinson tensor is a vacuum curvature
, and it predicts gravity waves (GWs).
2. Gravity Waves in Theories
In
gravity, the GWs have longitudinal structure [
7,
15,
16], which makes them comparable to acoustical waves in a media. The linearized theory of weak GWs with a metric perturbation [
15,
16,
17]:
gives a traceless solution in standard GR [
17]:
The modified gravity results in a terms that acts as a mass, where the wave equation is [
15,
16]:
The decomposition of the solution gives the standard
and
polarization modes; the mass introduces a third polarization, which is a longitudinal mode [
15,
16].
Let us consider a string theory setting [
1]. The gravitational action is expanded in powers of
[
2], for
α, the string parameter. The action is [
2]:
being
L the Lagrangian for everything else compactified on a
-brane. This action may be trivially rewritten as standard
gravity [
18]. Following the advice of [
18], by using the Gauss Bonnet identity (its invariant) [
19,
20,
21,
22,
23,
24,
25,
26,
27,
28,
29,
30,
31], one can indeed express a Riemann tensor squared term as a combination of pure
and a Ricci tensor squared term. In such form, the action (Equation (
6)) has been already studied by number of researchers; see [
3,
32,
33,
34,
35] and the references within. This is a key point. In fact, although in the form of Equation (
6), this action looks to be neither a renormalizable nor ghost-free theory [
18], by using the Gauss Bonnet invariant, one can reduce it to the simpler form of
gravity, which is the simplest one among the class of viable models with
terms in addition to the Einstein–Hilbert theory. In [
35], it has been shown that such models may lead to the (Cosmological Constant or quintessence) acceleration of the Universe, as well as an early-time era of inflation. Moreover, they seem to pass the Solar System tests,
i.e., they have the acceptable Newtonian limit, no instabilities and no Brans–Dicke problem (decoupling of the scalar) in the scalar-tensor version.
The extremization of Equation (
6) gives:
This action derives a modified form of the Einstein field equation:
Now, let us consider a metric with the form of Equation (
3), which is a classical expression. The quadratic term corresponds to quantum corrections on the order of the parameter,
α. We consider this correction due to fields
, so that the quantum correction to the metric is:
where we can regard
. These fields are physically a quantum correction to the classical gravitational radiation,
. In general, these fields are quantized fields. In a string theory framework [
1], we may define operators of the form:
which is a harmonic oscillator quantization condition compatible with a string theory interpretation [
1]. The graviton fields are given by the
states:
such that
constructs the elementary states.
The connection terms are computed as:
where the field is treated as a vierbein. Now, let us compute the curvature as:
The connection terms are on the order of the fundamental length,
α, which is small enough to ignore the second order term. The quantized graviton field may then be written in this linearized fashion as:
where the last term is zero in a linearized approximation.
The linearized approximation occurs for long wavelength gravitons. Assume the connection term
is eigenvalued with a wave number,
:
so the curvature tensor is:
The second order term in the action is then:
The term, , is a quartic term in mass, where the string coupling constant, , has naturalized units of area.
This is an intrinsic curvature in spacetime. The string coupling constant is about
cm
, which is a small number. This also guarantees the viability of the action (Equation (
6)), because the theory can pass Solar System and cosmology tests [
7].
Is it possible that this mass effect should then become apparent in the laboratory? The question is, what is the laboratory? The obvious laboratory is the Cosmic Microwave Background (CMB). In fact, we recall that relic gravitons should have been produced in the Inflationary Era. This is a consequence of general assumptions. Essentially, it derives from a mixing between basic principles of classical theories of gravity and of quantum field theory [
36,
37,
38]. The strong variations of the gravitational field in the early Universe amplify the zero-point quantum oscillations and produce relic GWs. It is well known that the detection of relic GWs is the only way to learn about the evolution of the very early Universe, up to the bounds of the Planck epoch and the initial singularity [
36,
37,
38]. It is very important to stress the unavoidable and fundamental character of this mechanism. The model derives from the inflationary scenario for the early Universe [
37], which is tuned in a good way with the WMAPdata on the CMB (in particular, exponential inflation and spectral index
) [
39,
40]. Inflationary models of the early Universe were analyzed in the early and mid-1980s [
37]. These are cosmological models in which the Universe undergoes a brief phase of a very rapid expansion in early times. In this context, the expansion could be power-law or exponential in time. Inflationary models provide solutions to the horizon and flatness problems [
37] and contain a mechanism that creates perturbations in all fields [
36,
38]. Important for our goals is that this mechanism also provides a distinctive spectrum of relic GWs. The GWs perturbations arise from the uncertainty principle, and the spectrum of relic GWs is generated from the adiabatically-amplified zero-point fluctuations [
36,
38].
Relic gravitons can be characterized by a dimensionless spectrum [
36,
38]:
where:
is the (actual) critical density energy,
, of the Universe,
the actual value of the Hubble expansion rate and
the energy density of relic GWs in the frequency range,
f to
.
In the standard inflationary model, the spectrum is flat over a wide range of frequencies; see [
36,
38] and
Figure 1. The more recent value for the flat part of the spectrum that arises from the WMAP data can be found in [
38],
Based on the weakness of the signal, it will be very difficult to detect relic gravitons on Earth, but a potential detection could be, in principle, realized with LISA [
15]. However, the presence of relic gravitons may have perturbed the early Universe in ways that might be observable in the fine details of the CMB background. These gravitons would introduce a small dispersion in GWs, which might then leave an imprint on the CMB. We will discuss the potential presence of such an imprint in next Section.
Now, let us expand the field,
, according to harmonic oscillator operators,
, as a simple model of a string. The fields are expanded as:
where
is a tetrad, which is discussed more below. The summation runs from
. The product
is a harmonic oscillator operator:
Figure 1.
The spectrum of relic scalar GWs in inflationary models is flat over a wide range of frequencies. The horizontal axis is
of frequency, in hertz. The vertical axis is
. The inflationary spectrum rises quickly at low frequencies (the wave that re-entered in the Hubble sphere after the Universe became matter dominated) and falls off above the (appropriately redshifted) frequency scale,
, associated with the fastest characteristic time of the phase transition at the end of inflation. The amplitude of the flat region depends only on the energy density during the inflationary stage; we have chosen the largest amplitude consistent with the WMAP constraints on scalar perturbations. This means that at LIGOand LISAfrequencies,
. Adapted from [
41].
Figure 1.
The spectrum of relic scalar GWs in inflationary models is flat over a wide range of frequencies. The horizontal axis is
of frequency, in hertz. The vertical axis is
. The inflationary spectrum rises quickly at low frequencies (the wave that re-entered in the Hubble sphere after the Universe became matter dominated) and falls off above the (appropriately redshifted) frequency scale,
, associated with the fastest characteristic time of the phase transition at the end of inflation. The amplitude of the flat region depends only on the energy density during the inflationary stage; we have chosen the largest amplitude consistent with the WMAP constraints on scalar perturbations. This means that at LIGOand LISAfrequencies,
. Adapted from [
41].
The sum gives a delta function on
k and
, and the first term is the Hamiltonian, which after the use of a commutator the RHSterm is:
where the zeta point energy (ZPE) term has been dropped. The first RHS term is a familiar Hamiltonian type of term, while the second term is similar to a squeeze operator in quantum optics [
42].
The tetrad,
, is the amplitude of the field. This plays a role similar to the minimal electric field
in box normalization [
43]. A plausible choice for the tetrad is then
, where
α is the string parameter and
ω the frequency. For
, this is a small term.
The curvature in quantum modes is then:
which is
in the scale parameter. In fluctuations of the curvature, the metric is
, for
. The connection terms are of order
and curvatures are
. The wave vectors are
, and the scaling parameter is
. From a dimensional and scaling perspective, this answer appears at least proximal.
For the sake of simplicity, let us write the curvature tensor as:
The second order term is formed from the total contraction on the Riemann tensor:
This term is to and contributes a term to the Lagrangian.
Consider the operator matrix operation
. The first term has the operator matrix elements:
where
is a completeness sum and the momentum values assumed in the states,
and
. This contributes an energy-squared. A similar analysis for
gives:
and for
,
The operators,
, form the squeeze operator [
44]:
where
. Hence, the action phase due to the action,
, contains a squeeze operator.
The final operator term is more complicated. The operator terms, and , are evaluated by commuting operators, and this leads to the square of number operators, . The terms, and , are then a product of terms that represent a squeezed state operator.
The squeeze operator,
, acts upon the displacement operator
, so that
,
which effectively creates a modified displacement operator,
The action of the squeezed state operator on
b is
, which is a Bogoliubov transformed operator [
45]. For a set of bosons, here, linear gravitons, with the same state, there is then
states with the operator acting on this
acting on the vacuum. This operator may be formed from the
for
α small and
with,
and where we may then define
, and the Bogoliubov transformation of the operator,
, constructs a displacement operator [
46].
In this way, the term in the action describes the squeezed state operator, which acts on the field raising and lowering operators to define a displacement operator for coherent states, which, in the case of photons, are laser states of light.
We then evaluate a Wilson loop [
47]
). In the path integral,
The infinitesimal shift in the field
adjusts
, and the expansion is:
where the invariance of the expectation gives:
This formula is only well defined for a polynomial function. Therefore, we make the following approximation. The loop is considered to be very small, and in that way, we can approximate the Wilson loop with:
so that the functional derivative of
is:
for
, a unit area. The solution is then,
Now, let us consider the second order expansion,
which gives the result:
where, by continuing the series, this leads to:
The input of an expansion of the field, ϕ, results in the expectation of an operator with the form of the displacement operator.
It is now important to understand the form the fields in the expansion in
. The Wilson loop is a form of the Stokes’ law [
48] and:
In vacuum, the canonical
and
polarizations obey
[
17]. The longitudinal modes due to
terms obeys [
15,
16]:
where the mass is a topologically-induced mass. The longitudinal
then defines the equation [
15,
16,
38]:
where a Lorenz gauge sets terms with
[
15,
16,
38]. This term plays a role similar to the Helmholtz potential in electromagnetism:
but in the case of
theories, it results an effective potential through the identifications [
15,
38]:
which give a Klein–Gordon equation for the effective Φ scalar field [
15,
38]:
The , which physically contributes to the Wilson integral, has a source term, which is the topological mass.
4. Chaos and Relativity in Orbital and Optical Systems
The consequences of GWs form theories are observable fingerprints on the structure of the Universe. Massive GWs will act as lenses, which generate caustics in the motion of light and other particle fields. These caustics will then have measurable influences on the CMB or upon the distribution of galaxies in the Universe out to and beyond. The following looks at the issue of how general relativity can amplify chaotic dynamics and, further, can amplify optical chaos. This is illustrated in a three-body problem and in an elementary optical model. This digression into another aspect of relativity is meant as a way to set up analysis for the phenomenology of massive gravity waves. This illustrates how to proceed through the examination of elementary systems. The extension to more complex structures, such as a many-body problem of galaxies and dark matter, will require numerical methods.
One of the early tests of general relativity was that it predicted the perihelion precession in the orbit of Mercury [
17]. This is a departure from Newtonian gravity that is largely post-Newtonian, or first order or to
. These general relativistic corrections are completely integrable, and there is no chaotic dynamics associated with them. In a three-body problem, with a large central mass, a larger distant mass, which is treated as Newtonian, and a smaller satellite with
relativistic departures will exhibit chaotic dynamics in the small body. The additional relativistic corrections will interplay with the irregular chaotic dynamics and are shown below to contribute to a Lyapunov exponent [
53]. In effect, a Lyapunov exponent
will have a relativistic correction
, and this correction then amplifies the chaotic behavior of the system. This is extended to optical systems. Einstein lenses [
54] are a Newtonian gravitational phenomenon, and general relativistic corrections to
are minor, for the impact parameter on such a gravitating body is too small to be observationally significant. Yet, for a complex Einstein lens, say analogous to a compound lens, due to the smaller scale clumping of matter, a light ray may have a succession of small angular deviations. These angles of deviation will have a compounding effect similar to the angle deviations of a particle in an arena. This will result in increasingly complex optical caustics, which in analogue with chaos, are difficult to predict. This is further compounded if the gravitating clumps of matter are difficult to observe directly, such as with dark matter [
55]. In a manner similar to the case with orbital dynamics, general relativistic corrections may also enhance this optical chaos or turbulence. This section connects two different aspects of chaos and relativity to present issues with the analysis of three-body systems with parameterized post-Newtonian parameters. Subtle enhancements of chaotic dynamics or the increase in a Lyapunov exponent might be documented in such a system. This should then be an observable characteristic of complex relativistic systems. The optical analogue illustrates how fine-detailed structure in a distribution of matter, which is an Einstein lens, could influence the complexity of optical caustics. Localized regions of large gravity fields could then further amplify this complexity, as well. This might lead to methods for mapping any local density variation in dark matter.
We stress that the numerical values of the Lyapunov exponent,
λ, in general relativity are not gauge invariant, that is, they depend on the chosen coordinate system [
56]. Therefore, for the same dynamical system, chaotic behavior may appear in some frames, but not in others [
56]. Following [
57], we find three different problems when one uses the Lyapunov exponent in general relativity:
The reference systems have no unified time.
The separation of space and time in the four-dimensional spacetime varies for different observers.
Time and space coordinates works only for events and sometimes have no physical meaning.
Consequently, we could get different values of the Lyapunov exponent in different coordinate systems. The problem can be solved if one uses proper time and proper distances instead [
57]. In that case, it is indeed possible to consider a particle, called the “observer”, moving along an orbit in the spacetime [
57]. That particle can understand if its motion is or is not chaotic, observing if the proper distances from neighbor particles are increasing exponentially or not with its proper time [
57]. Hence, the point in [
56] that the Lyapunov exponent is not gauge-invariant in general relativity is correct. However, the point of this is to examine the possible role of general relativity in the amplification of chaotic dynamics. In effect, general relativity applies to a body close to the star or large mass, where these gravitationally interact by Newtonian gravity to a third body. The purpose is to illustrate how chaos in Newtonian mechanics may be amplified if the system interacts with a semi-relativistic system in a stronger gravity field. Within this approximation, the question concerning the invariance of the Lyapunov exponent in general relativity for the Newtonian dynamical body is a small effect. The Lyapunov exponent applies strictly to the Newtonian part of the problem.
4.1. General Relativity to
In general relativity, the equation of motion for a test mass particle around a fixed central mass is [
17]:
Here,
l is the constant specific angular momentum. We recognize this differential as the harmonic oscillator equation of Newtonian mechanics with a constant force,
, plus the term,
. The anomaly angle,
θ, obeys the dynamical equation [
17]:
and,
for
E, the potential energy per unit mass of the particle “at infinity”
. For
, we may solve this problem by perturbation methods. The solution of interest is
plus
, which would be Newton plus first order GR correction. The expansion is carried out with the variables
according to:
Here, the term
gives the order of the expansion. The differential with respect to
θ to the first order in
ϵ is taken as:
If we input the expansion for
u in Equation (
86) into the differential equation of motion (Equation (
83)) the following two equations are obtained:
The term
, since
is not a function of
. Further, the term
. The
differential Equation (
89) has the solution:
which is the standard Newtonian solution for the radial velocity for a particle with orbital eccentricity
and anomaly angle
α [
17]. Now, let us consider on the expansion of
θ. We set
and insert this into the equation for the angular velocity equation:
where
is the Schwarzschild transformation between proper and standard time coordinates [
17]. This differential equation has the two contributing parts:
We are primarily concerned at this point in the solution to order
for the orbit of a test mass in a GR orbit,
where the Newtonian solution,
, is given by Equation (
91). The square of
in the non-homogenous term is:
which by elementary trigonometric identities is:
The reason for doing this is that the solution is elementary at this point. The first non-homogeneous term is going to give a solution:
and the quadratic trigonometric functions determine the solution:
The hard part is the perturbation of the third planet. The Jovian planet obeys a similar dynamical equation, but where
and Newtonian dynamics is recovered as:
Here
for this additional planet, and we define
. Similarly, the angular momentum is defined by [
17]:
The angle,
, may exist in a different plane than
θ, yet, as an approximation, we put both angles in the same plane of motion. Now, we need the coupling between the two bodies. We assume they are Newtonian as:
which is approximately,
To find the distance
, we consider the plane of the two orbits as complex valued and that the positions of the test mass and the larger mass are give by
and
, and so, the distance between the two masses is given by:
The potential energy,
defines the force in Equation (
102) by
. For
, the denominator in the potential may then be cast in the
variables:
Here,
, for
for the two bodies. This is the perturbing potential for the two orbits of the bodies in the same plane.
The total Hamiltonian is then,
where the first three terms are harmonic oscillator Hamiltonians,
We now have two order parameters
and another
, where the mass,
m, is the mass of the “Jovian” planet. The Hamiltonian term that scales according to
for
is:
To compute the Lyapunov exponent explicitly, the gradients of the Hamiltonian with
and
are first found. With
,
, these are then to order
:
These are the forces
, due to the three configuration variables,
,
and
v. The last right-hand side terms in
are dependent upon both the general relativistic correction,
, and the gravitational coupling with the Jovian planet,
.
We consider the change in the phase space flow:
The change in momenta, due to the perturbation from the Jovian planet, is;
where the last term is a coupling of general relativistic
effects and planetary perturbation; to
. Define
to be the deviation in momentum due to planetary perturbation, and let
be the deviation due to the
coupling term. The Lyapunov exponent is then,
so that,
with
defined for
. The exponential divergence in phase space between nearby trajectories has then contribution in addition to
with
. Thus, general relativity will bring about the onset of chaotic behavior, or the breakdown of numerical unpredictability, earlier.
This should then manifest itself in semi-relativistic systems with three bodies. A system, such as two neutron stars in a mutual relativistic orbit with a third companion further away and executing Newtonian dynamics, of this sort will then have more chaotic behavior, which is amplified by general relativistic effects. This simplified model suggests that a general parameterized post-Newtonian-multibody perturbative theory is needed. Such a model will then be more suited for the examination of complex general relativistic systems that include several bodies.
4.2. Optical Corrections in Einstein Lensing
The Einstein lensing of light is now a common observational feature of deep space astronomy, since the launch and repair of the Hubble Space Telescope; see [
58] and references within. Here, a complex optical gravitational lensing system is discussed with some analogues to the mechanics above. A large elliptical galaxy will have an overall gravitational lensing effect, but there may be sub-lensing, as well, if the density of dark matter that exists has some variation. This results in a type of optical turbulence, analogous to chaos. Further, this may also be amplified by general relativistic effects. Unknown configurations might exist with dark matter density increasing in the vicinity of a large black hole.
The general theory of gravitational lensing [
32,
49] shows that a light ray that approaches within a radius,
, will be deflected approximately by an angle,
. In a more general setting, the deflection of light is given by the Einstein angular radius:
where
are the angular diameters to the gravitational lens, the source and the distance between the gravitational lens and the source; for
, the angular diameters to the gravitational lens, the source and the distance between the gravitational lens and the source. The condition
obtains locally where cosmological frame dragging is small. This theory is the weak gravitational lensing approximation, where the deflection of light is essentially a Newtonian result [
49]. The distance relationships are determined by
. The reduced angle of deflection
gives a relationship between the angles of importance
.
Complex distributions of matter can act similar to a compound lens in a weak gravitational limit. However, light rays that pass close to clumps of matter to exhibit
deviations will exhibit deviations from this linear summation. A light ray that passes through a set of
random lenses will display caustics, which are similar to the caustics seen on the bottom of a swimming pool. The fine-grained structure in an Einstein lens can exhibit caustics, which occur due to nonlinear perturbation in the density profile of matter. This nonlinearity in the symmetry of the lens will produce caustics, which are analogous to chaos. The occurrence of a caustic has its connections with catastrophe theory [
59] and the onset of a fold, which is also a mechanism for the bifurcation of vector fields in Hamiltonian chaos.
For the position of a source,
, the propagation of light along the
z-axis from this source then reduces the visual appearance of the object to
along the axis of optical propagation. The weak gravitational lensing of light [
49] then indicates that the deflection of the appearance of this object along the axis of optical propagation is given by:
for
ξ, the position of the image with the mass present, and
, the gravitational potential. The difference in the vector position of the image
is the difference between the position with the mass present and without it being present. The potential term obeys the Poisson equation [
13], so that:
The integration over the direction of propagation then gives the mass density in the plane of the image, often called the surface mass density,
. The angle of deflection,
α, is then determined by the Poisson equation and the potential as:
for
, a mass/area density distribution in the image. The function,
, plays the role of an index of refraction based upon a mass distribution, which, for a thin lens, will give the angle of deviation. For a gravitational thin lens, a weak field that is very small compared to the optical path length, and
is a constant. The deflection angle is simply:
where for small angles
and,
for the critical mass density
. This is the minimal mass density that might be distributed in the area of an Einstein ring [
60]. For a more complex arrangement of gravitational lenses, such as large density nonlinearities, the mass density, Σ, has a general form:
The position of the image then plays the role of the vector,
, in Equations (
83) and (
84) and beyond in the above discussion. Let the reciprocal of the vector norm
play the role of
u. The analogue of the Newtonian equation of motion in Equation (
1) with
is then,
for
ξ, the impact parameter. Now, the Newtonian description of gravitational lens deflection has the effective photon angular momentum per mass term
. The general relativistic extension of this equation is then,
To order expansions, the analogue of Equations (
89) and (
90) are:
for
, the reciprocal of
ξ. The term
for a general distribution in the plane of the Einstein ring is
, which reproduces the Einstein ring case in the first approximation. The second order term is
and
, which reproduces the weak field gravity lens result. The
correction gives an effective general relativistic correction term,
This correction term is not likely to be detected directly by extra-galactic sources, such as the dark matter lensing of light by the Abell galaxy cluster [
61].
4.3. Optical Chaos
Just as the correction to Newtonian dynamics enhanced chaotic dynamics or contributed to a Lyapunov exponent, we might expect a similar amplification of optical chaos or the statistical appearance of caustics by the clumping of matter. Small local region where gravitating mass is clumped together will result in the deviation of the light ray by some small angle, , which is an error in computing the subsequent tracing of the ray. With a succession of n such small deviations, the first angle deviation is amplified by , the next by , where, for large n and , the total angular error in computing a ray trace will be approximately . This is analogous to the arena problem of computing the trajectory of a ball.
The vector,
, describes the visual appearance of a distant object along the axis of propagation. This vector describes the deformation of a wave front by the lensing action of the intervening gravitating body. The gravitational lens is usually considered as a symmetric lens [
49], but nature may provide local clumping of material, which introduces some chaos in the ray tracing. Further, the overall gravitating lens may be sufficient enough to produce small
relativistic deviations from a purely Newtonian lensing. Above, the formula for this relativistic deviation is given. What is then needed is an analogue to the Lyapunov exponent for the classical unpredictability of a ray trace due to Newtonian gravitational sources. A multiple set of ray tracings is then a description of the deformation of an electromagnetic wave front and perturbations on the vector,
. In what follows, such a development is presented to describe the chaotic perturbation of this vector.
The propagation of a plane electromagnetic wave front is given by
. The occurrence of a gravitational lens perturbs the the wave front according to:
Here, the
is the change in the wave front phase and
is the change in the wave front amplitude. The vectors describing the visual appearance of the image are
for
coordinate directions along the wave front. This means that
, which is a Poisson equation [
13]. The phase deviations are caused by an effective index of refraction [
32,
49] in the Newtonian limit, and the gravitational potential is the source in the Poisson equation. A Gaussian random distribution of sources results in the second order structure function:
The vector
, where
, so
is a phase variance between two different direction in the aperture plane.
The phase terms obey a Poisson equation, where some distribution of the sources is present. For optical perturbations compatible with the second order structure function, the gravitating perturbations are in a Gaussian distribution, where Gaussian distributions of perturbing sources means that the Equation (
120) becomes:
where each
. Each one of these sources gives a solution:
for the variable
, and the solution converges to a point course in the limit
. Each of these perturbing changes on the aperture vector is due to a succession of matter clumps. A photon that passes close to each clump is modeled as having its angle deviated, and its path is then stochastically deviated away from a path given by Equation (
132). The small angle of deviation for
is determined by the Gaussian distribution as:
for
For simplicity, the angle of deviation,
, will now be treated as a scalar, and with
, the angle deviation is:
such that
. This is a partition function analogous to that in the Ising model [
62], but here, instead of a set of spins that exist in space, there are stochastic angle changes in a ray trace of light. In this particular model, these stochastic angle changes are assumed to be, on average, the same.
This partition function can be demonstrated to be similar to the Ising model. For the variation in the stochastic variable
in the exponent, the product of any two variations vanish
, so that:
for
, the sum of these stochastic variables is:
This means there exist additional
endpoint terms, which do not conform to the Ising type of construction. However, for a large enough
n, this error should be minimal. The expectation is approximately:
for
.
β is analogous to the Boltzmann factor, which is determined by the scale at which matter is lumped together. A correlation length scale is:
which for
, or equivalently for large
σ, is
. This approximate formula is a ray trace path analogue of the Lyapunov exponent in time, which determines a length,
λ, where the prediction of a ray trace breaks down. This also illustrates that this breakdown of ray tracing occurs on a scale comparable to the length scale of the perturbing. This loss of ray trace prediction is manifested in deformations of the angle deviation across the aperture distance or deviations in the symmetry of an Einstein ring.
The goal now is to determine if there are enhancements of optical chaos, analogous to optical turbulence in the Earth’s atmosphere, due to
corrections. To examine this, we consider the angle of deviation, due to Newtonian gravity, optical path length turbulence and relativistic corrections as a conjugate to action variables
, and the path is given in a classical setting by the action:
For the angular momentum variables
in this equation, then the action is entirely governed by the angle deviation, which for
expresses this as a principle of least time, just as in the case of planetary motion. The angle of deviation due to the clumpiness of matter is approximated as:
for
n regions of matter or dark matter clumping. The region where the light ray is the most distorted by gravitating bodies is of a distance
, which then gives an approximate relativistic
correction:
where
. An approximate Lyapunov exponent is then:
Here, there is an amplification of the ray trace uncertainty, or chaos, by the introduction of the
term, as seen in the term,
. For
, the contributions to the chaotic ray traced path from relativistic corrections and chaos are comparable and will contribute equally to the randomness of the caustic gravitational lens.
The difference in the perturbed aperture vectors
determines the magnification
. From Hamilton’s equations, this is generalized to:
with the deviation magnification computed accordingly. For this, written according to the radius of curvature
R of a surface for a ray curve along a line of sight, we have that:
The magnification for is . The curvature, R, defines a tangent for the ray trace, which defines a caustic when the line of sight is along this tangent. The caustics along lines of site occur at swallowtail folds in the magnification map.
For the orbits in different planes, the above must be generalized some. Similarly, the angular components are given by the tangent vector parallel to
, and from there, we may find the vector to each dark matter clump in its plane of motion with coordinates
and
Further, as the angular momentum vector is given by
(similar for
), then
is rotated relative to
by the Euler angles,
α,
β and
γ. The rotation matrix is then:
With these, we may be able to put the problem in a general setting. This part is yet to be worked, and their may be resources to aid in this effort.
The formation of filaments and domain walls of galaxies is then proposed to occur by this mechanism. The massive gravity waves in the very early Universe, such as in the post-inflationary period, deviate the motion of relativistic particles in a manner similar to the optical focusing of light. These focal points of matter then set up their own gravity fields, which persist through the subsequent expansion of the Universe. A mesh of caustics with swallowtail cusps heuristically may be seen to produce a web of regions where mass-energy is concentrated. The distribution of dark matter may then be established by caustics of gravitons and gravity waves in the early Universe.