Variations of Infinite Derivative Modified Gravity
Ivan Dimitrijevic, Branko Dragovich, Zoran Rakic, Jelena Stankovic

TL;DR
This paper derives detailed equations of motion and perturbation basics for a class of nonlocal modified gravity models with infinite derivatives, aiding future research in nonlocal gravitational theories.
Contribution
It provides a comprehensive derivation of equations of motion and perturbation analysis for nonlocal Einstein gravity with infinite derivatives, which was previously lacking.
Findings
Derived equations of motion for nonlocal gravity model.
Presented second variation of the action and perturbation basics.
Facilitated future investigations into nonlocal gravity theories.
Abstract
We consider nonlocal modified Einstein gravity without matter, where nonlocal term has the form . For this model, in this paper we give the derivation of the equations of motion in detail. This is not an easy task and presented derivation should be useful to a researcher who wants to investigate nonlocal gravity. Also, we present the second variation of the related Einstein-Hilbert modified action and basics of gravity perturbations.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
11institutetext: Ivan Dimitrijevic 22institutetext: Faculty of Mathematics, University of Belgrade, Belgrade, Serbia, 22email: [email protected] 33institutetext: Branko Dragovich 44institutetext: Institute of Physics, University of Belgrade, Belgrade, Serbia,
Mathematical Institute, Serbian Academy of Sciences and Arts, Belgrade, Serbia 44email: [email protected] 55institutetext: Zoran Rakic 66institutetext: Faculty of Mathematics, University of Belgrade, Belgrade, Serbia, 66email: [email protected] 77institutetext: Jelena Stankovic 88institutetext: Teacher Education Faculty, University of Belgrade, Belgrade, Serbia 88email: [email protected]
Variations of Infinite Derivative Modified Gravity
Ivan Dimitrijevic
Branko Dragovich
Zoran Rakic and Jelena Stankovic
Abstract
We consider nonlocal modified Einstein gravity without matter, where nonlocal term has the form . For this model, in this paper we give the derivation of the equations of motion in detail. This is not an easy task and presented derivation should be useful to a researcher who wants to investigate nonlocal gravity. Also, we present the second variation of the related Einstein-Hilbert modified action and basics of gravity perturbations.
1 Introduction
General relativity wald , which is Einstein theory of gravity, is dominant theory of gravitational phenomena for more than last hundred years. It is one of the most attractive and phenomenologically successful physical theories. General relativity is perfectly confirmed in the Solar system. Among many important predictions are gravitational red shift, gravitational lensing, gravitational waves and black holes.
Although very successful, Einstein gravity is not a complete and final theory of gravitational phenomena. According to its cosmological solutions, the universe contains initial singularity. This singularity is a serious and still unsolved problem, which requires an adequate Einstein gravity modification. General relativity predicts that the universe contains about of dark energy, of dark matter and only about of visible matter. However, dark energy and dark matter are not yet experimentally confirmed. Also, Einstein gravity has not been verified at very large cosmic scales. Hence, some cosmological predictions, including energy/matter content of the universe, based on Einstein gravity should be taken with caution. One has also to mention problem of quantization of general relativity. Hence, it follows that Einstein gravity has some theoretical and phenomenological problems in ultraviolet and infrared regions.
Unfortunately, a new theoretical principle which would tell us which is right direction to modify gravity is not yet uncovered. Hence, there are many modifications of Einstein gravity, which are motivated by problems in quantum gravity, string theory, astrophysics and cosmology (for a review, see clifton ; nojiri ; novello ; faraoni ; nojiri1 ).
One of recent and very promising directions of research is nonlocal modified gravity with its applications to cosmology (as a review, see nojiri ; nojiri1 ; woodard ; maggiore ; dimitrijevic6 ; dragovich0 ). Potentially there is a huge number of possibilities to construct a nonlocal gravity model by replacement of the scalar curvature in the Einstein-Hilbert action by a scalar function , where is d’Alembert operator and denotes the covariant derivative. In this paper, nonlocality means that gravitational Lagrangian contains an infinite number of space-time derivatives, i.e. derivatives up to an infinite order in the form of d’Alembert operator which is argument of an analytic function. Note that higher derivative gravity theories improve problems with quantization of general relativity, see, e.g. stelle ; koshelev-1 ; modesto1 ; modesto2 .
In the sequel we consider nonlocal modification of gravity where Einstein-Hilbert action contains an additional nonlocal term of the form where is a parameter and is dimensionless. In fact we consider a class of nonlocal gravity models without matter given by the action
[TABLE]
where is a pseudo-Riemannian manifold of signature with metric , , and are differentiable functions of the scalar curvature and is cosmological constant. Inspiration for an analytic form of the function comes from string theory, in particular from -adic string theory, which is a part of -adic mathematical physics, for a recent review see dragovich1 . The corresponding Einstein equations of motion have complex structure. In this paper we will present their derivation, because it is not an easy task and it should be useful to a reader interested in this subject. It is also useful to see biswas4 . In order to obtain equations of motion for we have to find the variation of the action (1) with respect to metric . In addition we also find the second variation of the action (1) and consider some cosmological perturbations. For simplicity, in the sequel we shall take
Before to proceed with derivation of equations of motion for the above model (1), it is worth to mention some other nonlocal models with inverse d’Alembert operator, i. e. with which are proposed to explain the late time cosmic acceleration without dark energy. Such models have the form
[TABLE]
where two typical examples are: (see a review nojiri ; woodard and references therein), and (see a review maggiore and references therein).
Nonlocal models with are mainly considered to improve general relativity in its ultraviolet region, unlike models with and which intend to modify gravity in its infrared sector. It may happen that there will be more than one modification of general relativity, which are valid at the different scales. Namely, any physical theory has a domain of validity, which depends on some conditions, including spatial scale and complexity of the system. It is natural that validity of general relativity is also restricted. At very short and very large cosmic distances may act different gravity theories.
Section 2 contains variation of curvature tensors from pseudo-Riemannian geometry, what is necessary for derivation of equations of motion for in Sect. 3. Second variation of gravity modified action (1) is presented in Sect. 4. Basics of cosmic perturbations are subject of Sect. 5. Sect. 6 contains some concluding remarks.
2 Variation of curvature tensors
Let us start with a technical lemma:
Lemma 1
The following relations hold
[TABLE]
*where is the determinant of the metric tensor.
Proof
Determinant can be written as
[TABLE]
where is the algebraic cofactor of the element .
Thus,
[TABLE]
Since is independent of we obtain the first part of the equation (3)
[TABLE]
Moreover from and Leibniz rule we obtain , which completes the proof of (3).
To prove the equation (4) we proceed in the following way
[TABLE]
The third equation is proved by
[TABLE]
In the last step we used . Using the same equation in every term of the last equation we obtain (5):
[TABLE]
Note, that .
Lemma 2
The variation of Riemman tensor, Ricci tensor and scalar curvature satisfy the following relations
[TABLE]
*where .
Proof
The variation of Riemann tensor is obtained as follows
[TABLE]
In the last equation first, third and fifth term combined give , and second, fourth and sixth term give , so we proved (18). Equation (19) is obtained from the previous by contracting indices and .
To prove the equation (20) we begin with . Applying the operator to both sides yields
[TABLE]
The last equation (21) is proved in the following way
[TABLE]
Lemma 3
Every scalar function satisfies
[TABLE]
Proof
Equation (25) is proved by application of Stokes’ theorem:
[TABLE]
Let , then can be written as
[TABLE]
Integration over yields , where is the unit normal to a hypersurface . As the restriction vanish, the last integral vanish as well, which proves (26).
Equation (27) is a direct consequence of (25) and (26).
Lemma 4
Let and be scalar functions. Then for all
[TABLE]
Proof
The definition of the operator implies
[TABLE]
On the other hand, Lemma 1 yields
[TABLE]
Moreover, from the equation (31) and Stokes’ theorem we get
[TABLE]
Partial integration in the first term of the previous formula yields
[TABLE]
after more steps
[TABLE]
Theorem 2.1
Let and be scalar functions of scalar curvature, then
[TABLE]
where .
Proof
Equation (36) is a consequence of (4).
[TABLE]
To prove (38) let us introduce the following notation
[TABLE]
Then,
[TABLE]
The integral is calculated by applying (37), i.e.
[TABLE]
For integral is calculated by applying Lemma 4,
[TABLE]
Using (37) in the first term we obtain
[TABLE]
Summation over yields the final result
[TABLE]
3 Equations of motion
Let us return to action (1). In order to calculate we introduce the following auxiliary actions
[TABLE]
Action is Einstein-Hilbert action and its variation is
[TABLE]
Lemma 5
Variation of the action is
[TABLE]
where . A
Proof
Variation is equal to
[TABLE]
All the terms in the previous formula are obtained by Theorem 2.1. In particular (36) yields
[TABLE]
Also, from equation (37) we get
[TABLE]
The last term is calculated by (38).
[TABLE]
Adding equations (51), (52) and (53) together proves the Lemma.
Theorem 3.1
Variation of the action (1) is equal to zero iff
[TABLE]
where
[TABLE]
Proof
The proof of Theorem 2 is evident from the Lemma 5 and Theorem 2.1.
4 Second variation of the action
In this section we set . From Lemma 2 we see that . Also let be the trace of .
Operator is defined by . Then we can prove the following Lemma
Lemma 6
Let be scalar functions. Then
[TABLE]
Proof
For the first part, start with
[TABLE]
The second part of the Lemma is proved by
[TABLE]
In the next lemma we find the variation of .
Lemma 7
Let be scalar functions. Then,
[TABLE]
Proof
Note that for and . Therefore summation over and integration yields
[TABLE]
Lemma 8
Let be scalar function. Then,
[TABLE]
Proof
Since the variation is written as
[TABLE]
Integration of the second and fifth term in this sum is done by using Lemma 7. The remaining four terms are obtained by Theorem 2.1.
Lemma 9
Let be scalar functions. Then,
[TABLE]
where
[TABLE]
Proof
To prove the first equation recall the definition of
[TABLE]
The proof of the second equation is similar.
Lemma 10
Let . Then,
[TABLE]
Proof
Note that
[TABLE]
Moreover,
[TABLE]
Using this formula for each term in yields the result of the Lemma.
Theorem 4.1
The second variation of the action (1) is given by
[TABLE]
where
[TABLE]
and
[TABLE]
Proof
In the pervious section we calculated the first variation of the action (1)
[TABLE]
Moreover the second variation is
[TABLE]
At the beginning note that
[TABLE]
The next term is calculated by using Lemma 7
[TABLE]
The third term is and it is equal to
[TABLE]
The last integral of the above formula is obtained by Lemma 8. Similarly, we obtain
[TABLE]
At the end the last term is calculated in Lemma 10.
5 Perturbations
5.1 Background
In this section we start with metric, which for can be written as
[TABLE]
Some relevant background quantities are
[TABLE]
For perturbations it is useful to employ the canonical ADM decomposition and introduce the conformal time such that
[TABLE]
Then the flat FRW metric (110) transforms to
[TABLE]
5.2 Perturbations
The metric perturbations (see muhanov ) can be divided into three types: scalar, vector and tensor perturbations. The component is invariant under spatial rotations and translations and therefore
[TABLE]
The components are the sum of a spatial gradient of a function and divergence free vector .
[TABLE]
Similarly, components , which transform as a tensor under -rotations are written as
[TABLE]
where and are scalar functions, is a vector with zero divergence and -tensor satisfies
[TABLE]
Note that there are four scalar functions, two vectors with two independent components each and tensor has two independent components. Therefore, as expected we have in total ten functions.
The scalar perturbations are defined by scalar functions and perturbed metric around background is
[TABLE]
The vector perturbations are defined by vectors and , i.e.
[TABLE]
Tensor perturbations are defined by and describe gravitational waves, which have no analog in Newton gravity theory.
[TABLE]
Each of the types of perturbations can be studied separately. In this form of perturbations we have
[TABLE]
Moreover, let , then
[TABLE]
Out of 4 scalar modes only 2 are gauge invariant. The convenient gauge invariant variables (Bardeen potentials) are introduced as
[TABLE]
The prime denotes the differentiation with respect to the conformal time and the dot as before w.r.t. the cosmic time .
The structure suggests to represent the perturbation quantities (which can depend on all 4 coordinates) as
[TABLE]
where and comes from the definition of the -functions as spatial Fourier modes
[TABLE]
Then
[TABLE]
The relevant expressions for the d’Alembert operator are
[TABLE]
where .
All the expression in this subsection are valid for a generic scale factor in flat space.
6 Concluding Remarks
In this paper we have considered a class of nonlocal gravity models without matter given by the action in the form
[TABLE]
We have derived the equations of motion for this action. We also have presented the second variation of action (132) and basics of metric perturbations.
In many research papers there are equations of motion which are special cases of our equations. In the case one obtains
[TABLE]
This nonlocal model is further elaborated in the series of papers biswas1 ; biswas2 ; biswas3 ; biswas4 ; biswas5 ; koshelev ; dimitrijevic1 ; dimitrijevic2 ; dimitrijevic3 ; dimitrijevic7 ; dimitrijevic8 .
The action (132) for and was introduced in dimitrijevic3 as a new approach to nonlocal gravity. This model one can also find in dimitrijevic4 .
The case and we analyzed in dimitrijevic7 ; dimitrijevic8 .
For the case and see dimitrijevic5 ; dimitrijevic6 .
Studies of this model with can be found in dimitrijevic9 ; dimitrijevic10 .
It is worth noting that cosmology with nonlocality in the matter sector was also investigated, see e.g. arefeva ; eliz .
For some very recent achievements in higher derivative modified gravities one can see koshelev-1 ; koshelev-2 ; koshelev-3 ; koshelev-4 .
Note that there is the following formula which could be used in investigation of models containing where
[TABLE]
Namely, formalism presented in the previous sections can easily incorporate this case taking and at the end performing integration over .
Acknowledgements.
Work on this paper was partially supported by the Ministry of Education, Science and Technological Development of Republic of Serbia, grant No 174012. B.D. thanks Prof. Vladimir Dobrev for invitation to participate and give a talk on nonlocal gravity, as well as for hospitality, at the X International Symposium “Quantum Theory and Symmetries”, and XII International Workshop “Lie Theory and its Applications in Physics”, 19–25 June 2017, Varna, Bulgaria. B.D. also thanks a support of the ICTP - SEENET-MTP project NT-03 Cosmology-Classical and Quantum Challenges during preparation of this article.
The reference list from the paper itself. Each links out to its DOI / PubMed record.
- 1(1) Aref’eva, I.Ya., Joukovskaya, L.V., Vernov, S.Yu.: Bouncing and accelerating solutions in nonlocal stringy models. JHEP 0707 , 087 (2007) [hep-th/0701184]
- 2(2) E. Belgacem, Y. Dirian, S. Foffa and M. Maggiore: Nonlocal gravity. Conceptual aspects and cosmological predictions. Journal of Cosmology and Astroparticle Physics, Volume 2018, (2018) [ar Xiv:1712.07066 [hep-th]].
- 3(3) Biswas, T., Mazumdar, A., Siegel, W: Bouncing universes in string-inspired gravity. J. Cosmology Astropart. Phys. 0603 , 009 (2006) [ar Xiv:hep-th/0508194]
- 4(4) Biswas, T., Koivisto, T., Mazumdar, A.: Towards a resolution of the cosmological singularity in non-local higher derivative theories of gravity. J. Cosmology Astropart. Phys. 1011 , 008 (2010) [ar Xiv:1005.0590 v 2 [hep-th]].
- 5(5) Biswas, T., Gerwick, E., Koivisto, T., Mazumdar, A.: Towards singularity and ghost free theories of gravity. Phys. Rev. Lett. 108 , 031101 (2012) [ar Xiv:1110.5249 v 2 [gr-qc]]
- 6(6) Biswas, T., Conroy, A., Koshelev, A.S., Mazumdar, A.: Generalized gost-free quadratic curvature gravity. [ar Xiv:1308.2319 [hep-th]]
- 7(7) T. Biswas, A. S. Koshelev, A. Mazumdar, S. Yu. Vernov, Stable bounce and inflation in non-local higher derivative cosmology , JCAP 08 (2012) 024, [ar Xiv:1206.6374 v 2 [astro-ph.CO]].
- 8(8) L. Buoninfante, A. S. Koshelev, G. Lambiase and A. Mazumdar: Classical properties of non-local, ghost- and singularity-free gravity. [ar Xiv:1802.00399 [gr-qc]].
