# f(R) gravity

Jump to: navigation, search

f(R) gravity is a type of modified gravity theory which generalizes Einstein's General Relativity. f(R) gravity is actually a family of theories, each one defined by a different function of the Ricci scalar. The simplest case is just the function being equal to the scalar; this is General Relativity. As a consequence of introducing an arbitrary function, there may be freedom to explain the accelerated expansion and structure formation of the Universe without adding unknown forms of dark energy or dark matter. Some functional forms may be inspired by corrections arising from a quantum theory of gravity. f(R) gravity was first proposed in 1970 by Hans Adolph Buchdahl[1] (although φ was used rather than f for the name of the arbitrary function). It has become an active field of research following work by Starobinsky on cosmic inflation.[2] A wide range of phenomena can be produced from this theory by adopting different functions; however, many functional forms can now be ruled out on observational grounds, or because of pathological theoretical problems.

## Introduction

In f(R) gravity, one seeks to generalise the Lagrangian of the Einstein–Hilbert action:

$S[g]= \int {1 \over 2\kappa} R \sqrt{-g} \, \mathrm{d}^4x$

to

$S[g]= \int {1 \over 2\kappa} f(R) \sqrt{-g} \, \mathrm{d}^4x$

where κ = 8πGc−4, g = |gμν| is the determinant of the metric tensor and f(R) is some function of the Ricci Curvature.

## Metric f(R) gravity

### Derivation of field equations

In metric f(R) gravity, one arrives at the field equations by varying with respect to the metric and not treating the connection independently. For completeness we will now briefly mention the basic steps of the variation of the action. The main steps are the same as in the case of the variation of the Einstein–Hilbert action (see the article for more details) but there are also some important differences.

The variation of the determinant is as always:

$\delta \sqrt{-g}= -\frac{1}{2} \sqrt{-g} g_{\mu\nu} \delta g^{\mu\nu}$

The Ricci scalar is defined as

$R = g^{\mu\nu} R_{\mu\nu}.\!$

Therefore, its variation with respect to the inverse metric gμν is given by

\begin{align} \delta R &= R_{\mu\nu} \delta g^{\mu\nu} + g^{\mu\nu} \delta R_{\mu\nu}\\ &= R_{\mu\nu} \delta g^{\mu\nu} + g^{\mu\nu}(\nabla_\rho \delta \Gamma^\rho_{\nu\mu} - \nabla_\nu \delta \Gamma^\rho_{\rho\mu}) \end{align}

For the second step see the article about the Einstein–Hilbert action. Since δΓλμν is the difference of two connections, it should transform as a tensor. Therefore, it can be written as

$\delta \Gamma^\lambda_{\mu\nu}=\frac{1}{2}g^{\lambda a}\left(\nabla_\mu\delta g_{a\nu}+\nabla_\nu\delta g_{a\mu}-\nabla_a\delta g_{\mu\nu} \right).$

Substituting into the equation above:

$\delta R= R_{\mu\nu} \delta g^{\mu\nu}+g_{\mu\nu}\Box \delta g^{\mu\nu}-\nabla_\mu \nabla_\nu \delta g^{\mu\nu}$

where ∇μ is the covariant derivative and □ = gμνμν is the D'Alembert operator.

Now the variation in the action reads:

\begin{align} \delta S[g]&= \int {1 \over 2\kappa} \left(\delta f(R) \sqrt{-g}+f(R) \delta \sqrt{-g} \right)\, \mathrm{d}^4x \\ &= \int {1 \over 2\kappa} \left(F(R) \delta R \sqrt{-g}-\frac{1}{2} \sqrt{-g} g_{\mu\nu} \delta g^{\mu\nu} f(R)\right) \, \mathrm{d}^4x \\ &= \int {1 \over 2\kappa} \sqrt{-g}\left(F(R)(R_{\mu\nu} \delta g^{\mu\nu}+g_{\mu\nu}\Box \delta g^{\mu\nu}-\nabla_\mu \nabla_\nu \delta g^{\mu\nu}) -\frac{1}{2} g_{\mu\nu} \delta g^{\mu\nu} f(R) \right)\, \mathrm{d}^4x \end{align}

where F(R) = ∂f(R)/∂R. Doing integration by parts on the second and third terms we get:

\begin{align} \delta S[g]&= \int {1 \over 2\kappa} \sqrt{-g}\delta g^{\mu\nu} \left(F(R)R_{\mu\nu}-\frac{1}{2}g_{\mu\nu} f(R)+[g_{\mu\nu}\Box -\nabla_\mu \nabla_\nu]F(R) \right)\, \mathrm{d}^4x. \end{align}

By demanding that the action remains invariant under variations of the metric, δS[g] = 0, one obtains the field equations:

$F(R)R_{\mu\nu}-\frac{1}{2}f(R)g_{\mu\nu}+\left[g_{\mu\nu} \Box-\nabla_\mu \nabla_\nu \right]F(R) = \kappa T_{\mu\nu},$

where Tμν is the energy–momentum tensor defined as

$T_{\mu\nu}=-\frac{2}{\sqrt{-g}}\frac{\delta(\sqrt{-g} L_\mathrm{m})}{\delta g^{\mu\nu}},$

where Lm is the matter Lagrangian.

### The generalized Friedmann equations

Assuming a Robertson–Walker metric with scale factor a(t) we can find the generalized Friedmann equations to be (in units where κ = 8πGc−4 = 1):

$3F H^{2} = \rho_{{\rm m}}+\rho_{{\rm rad}}+\frac{1}{2}(FR-f)-3H{\dot F}$
$-2F\dot{H} = \rho_{{\rm m}}+\frac{4}{3}\rho_{{\rm rad}}+\ddot{F}-H\dot{F},$

where

$H = \frac{\dot{a}}{a},$

the dot is the derivative with respect to the cosmic time t, and the terms ρm and ρrad represent the matter and radiation densities respectively; these satisfy the continuity equations:

$\dot{\rho}_{{\rm m}}+3H\rho_{{\rm m}}=0;$
$\dot{\rho}_{{\rm rad}}+4H\rho_{{\rm rad}}=0.$

### Modified Newton's constant

An interesting feature of these theories is the fact that the gravitational constant is time and scale dependent. To see this, add a small scalar perturbation to the metric (in the Newtonian gauge):

$\mathrm{d}s^2 = -(1+2\Phi)\mathrm{d}t^2 +\alpha^2 (1-2\Psi)\delta_{ij}\mathrm{d}x^i \mathrm{d}x^j \,$

where Φ and Ψ are the Newtonian potentials and use the field equations to first order. After some lengthy calculations, one can define a Poisson equation in the Fourier space and attribute the extra terms that appear on the right hand side to an effective gravitational constant Geff. Doing so, we get the gravitational potential (valid on sub-horizon scales k2 ≫ a2H2):

$\Phi = -4 \pi G_\mathrm{eff} \frac{a^2}{k^2} \delta\rho_\mathrm{m}$

where δρm is a perturbation in the matter density and Geff is:

$G_\mathrm{eff}=\frac{1}{8\pi F}\frac{1+4\frac{k^2}{a^2R}m}{1+3\frac{k^2}{a^2R}m},$

with

$m\equiv\frac{RF_{,R}}{F}.$

### Massive gravitational waves

This class of theories when linearized exhibits three polarization modes for the gravitational waves, of which two correspond to the massless graviton (helicities ±2) and the third (scalar) is coming from the fact that if we take into account a conformal transformation, the fourth order theory f(R) becomes general relativity plus a scalar field. To see this, identify

$\Phi \rightarrow f'(R)~~~~~\textrm{and}~~~~ \frac{dV}{d\Phi}\rightarrow\frac{2f(R)-R f'(R)}{3},$

and use the field equations above to get

$\Box \Phi=\frac{\mathrm{d}V}{\mathrm{d}\Phi}$

Working to first order of perturbation theory:

$g_{\mu\nu}=\eta_{\mu\nu}+h_{\mu\nu}\,$
$\Phi=\Phi_0+\delta \Phi \,$

and after some tedious algebra, one can solve for the metric perturbation, which corresponds to the gravitational waves. A particular frequency component, for a wave propagating in the z-direction, may be written as

$h_{\mu\nu}(t,z;\omega)=A^{+}(\omega)(t-z)e^{+}_{\mu\nu}+A^{\times}(\omega)(t-z)e^{\times}_{\mu\nu} +h_f(v_\mathrm{g} t-z;\omega) \eta_{\mu\nu}$

where

$h_f\equiv \frac{\delta \Phi}{\Phi_0},$

and vg(ω) = dω/dk is the group velocity of a wave packet hf centred on wave-vector k. The first two terms correspond to the usual transverse polarizations from general relativity, while the third corresponds to the new massive polarization mode of f(R) theories. The transverse modes propagate at the speed of light, but the scalar mode moves at a speed vG < 1 (in units where c = 1), this mode is dispersive.

## Equivalent formalism

Under certain additional conditions [See Fiziev (2013) in Further reading, below] we can simplify the analysis of f(R) theories by introducing an auxiliary field Φ. Assuming f′′(R) ≠ 0 for all R, let V(Φ) be the Legendre transform of f(R) so that Φ = f′(R) and R = V′(Φ). Then, one obtains the O'Hanlon (1972) action

$S = \int d^4x \sqrt{-g} \left[ \frac{1}{2\kappa}\left(\Phi R - V(\Phi)\right) + \mathcal{L}_{\text{m}}\right].$

We have the Euler–Lagrange equations

$V'(\Phi)=R$
$\Phi \left( R_{\mu\nu} - \frac{1}{2}g_{\mu\nu} R \right) + \left(g_{\mu\nu}\Box -\nabla_\mu \nabla_\nu \right) \Phi + \frac{1}{2} g_{\mu\nu}V(\Phi) = \kappa T_{\mu\nu}$

Eliminating Φ, we obtain exactly the same equations as before. However, the equations are only second order in the derivatives, instead of fourth order.

We are currently working with the Jordan frame. By performing a conformal rescaling

$\tilde{g}_{\mu\nu}=\Phi g_{\mu\nu},$

we transform to the Einstein frame:

$R=\Phi^{-1} \left[ \tilde{R} + \frac{3\tilde{\Box} \Phi}{\Phi} -\frac{9}{2}\left(\frac{\tilde{\nabla} \Phi}{\Phi}\right)^2 \right]$
$S = \int d^4x \sqrt{-\tilde{g}}\frac{1}{2\kappa}\left[ \tilde{R} - \frac{3}{2}\left( \frac{\tilde{\nabla}\Phi}{\Phi} \right)^2 - \frac{V(\Phi)}{\Phi^2} \right]$

after integrating by parts.

Defining

$\tilde{\Phi} = \sqrt{3} \ln{\Phi}$,

and substituting

$S = \int \mathrm{d}^4x \sqrt{-\tilde{g}}\frac{1}{2\kappa}\left[ \tilde{R} - \frac{1}{2}\left(\tilde{\nabla}\tilde{\Phi}\right)^2 - \tilde{V}(\tilde{\Phi}) \right]$
$\tilde{V}(\tilde{\Phi}) = e^{-2/\sqrt{3}\;\tilde{\Phi}}V(e^{\tilde{\Phi}/\sqrt{3}}).$

This is general relativity coupled to a real scalar field: using f(R) theories to describe the accelerating universe is practically equivalent to using quintessence.

## Palatini f(R) Gravity

In Palatini f(R) gravity, one treats the metric and connection independently and varies the action with respect to each of them separately. The matter Lagrangian is assumed to be independent of the connection. These theories have been shown to be equivalent to Brans–Dicke theory with ω = −3/2.[3][4] Due to the structure of the theory, however, Palatini f(R) theories appear to be in conflict with the Standard Model,[3][5] may violate Solar system experiments,[4] and seem to create unwanted singularities.[6]

## Metric-Affine f(R) Gravity

In metric-affine f(R) gravity, one generalizes things even further, treating both the metric and connection independently, and assuming the matter Lagrangian depends on the connection as well.

## Observational tests

As there are many potential forms of f(R) gravity, it is difficult to find generic tests. Additionally, since deviations away from General Relativity can be made arbitrarily small in some cases, it is impossible to conclusively exclude some modifications. Some progress can be made, without assuming a concrete form for the function f(R) by Taylor expanding

$f(R) = a_0 + a_1 R + a_2 R^2 + \ldots$

The first term is like the cosmological constant and must be small. The next coefficient a1 can be set to one as in general relativity. For metric f(R) gravity (as opposed to Palatini or metric-affine f(R) gravity), the quadratic term is best constrained by fifth force measurements, since it leads to a Yukawa correction to the gravitational potential. The best current bounds are |a2| < 4 × 10−9m2 or equivalently |a2| < 2.3 × 1022 GeV−2.[7][8]

The parameterized post-Newtonian formalism is designed to be able to constrain generic modified theories of gravity. However, f(R) gravity shares many of the same values as General Relativity, and is therefore indistinguishable using these tests.[9] In particular light deflection is unchanged, so f(R) gravity, like General Relativity, is entirely consistent with the bounds from Cassini tracking.[7]

## Tensorial generalization

f(R) gravity as presented in the previous sections is a scalar modification of general relativity. More generally, we can have a

$\int \mathrm{d}^Dx \sqrt{-g}\, f(R, R^{\mu\nu}R_{\mu\nu}, R^{\mu\nu\rho\sigma}R_{\mu\nu\rho\sigma})$

coupling involving invariants of the Ricci tensor and the Weyl tensor. Special cases are f(R) gravity, conformal gravity, Gauss–Bonnet gravity and Lovelock gravity. It is suggested to consider dependency to the covariant derivative of the Riemann tensor in order to resolve more problems.[10] Notice that with any nontrivial tensorial dependence, we typically have additional massive spin-2 degrees of freedom, in addition to the massless graviton and a massive scalar. An exception is Gauss–Bonnet gravity where the fourth order terms for the spin-2 components cancel out.

## References

1. ^ Buchdahl, H. A. (1970). "Non-linear Lagrangians and cosmological theory". Monthly Notices of the Royal Astronomical Society 150: 1–8. Bibcode:1970MNRAS.150....1B.
2. ^ Starobinsky, A. A. (1980). "A new type of isotropic cosmological models without singularity". Physics Letters B 91: 99–102. Bibcode:1980PhLB...91...99S. doi:10.1016/0370-2693(80)90670-X.
3. ^ a b Flanagan, E. E. (2004). "The conformal frame freedom in theories of gravitation". Classical and Quantum Gravity 21 (15): 3817. arXiv:gr-qc/0403063. Bibcode:2004CQGra..21.3817F. doi:10.1088/0264-9381/21/15/N02.
4. ^ a b Olmo, G. J. (2005). "The Gravity Lagrangian According to Solar System Experiments". Physical Review Letters 95 (26): 261102. arXiv:gr-qc/0505101. Bibcode:2005PhRvL..95z1102O. doi:10.1103/PhysRevLett.95.261102. PMID 16486333.
5. ^ Iglesias, A.; Kaloper, N.; Padilla, A.; Park, M. (2007). "How (not) to use the Palatini formulation of scalar-tensor gravity". Physical Review D 76 (10): 104001. arXiv:0708.1163. Bibcode:2007PhRvD..76j4001I. doi:10.1103/PhysRevD.76.104001.
6. ^ Barausse, E.; Sotiriou, T. P.; Miller, J. C. (2008). "A no-go theorem for polytropic spheres in Palatini f(R) gravity". Classical & Quantum Gravity 25 (6): 062001. arXiv:gr-qc/0703132. Bibcode:2008CQGra..25f2001B. doi:10.1088/0264-9381/25/6/062001.
7. ^ a b Berry, C. P. L.; Gair, J. R. (2011). "Linearized f(R) gravity: Gravitational radiation and Solar System tests". Physical Review D 83 (10): 104022. arXiv:1104.0819. Bibcode:2011PhRvD..83j4022B. doi:10.1103/PhysRevD.83.104022.
8. ^ Cembranos, J. A. R. (2009). "Dark Matter from R2 Gravity". Physical Review Letters 102 (14): 141301. arXiv:0809.1653. Bibcode:2009PhRvL.102n1301C. doi:10.1103/PhysRevLett.102.141301. PMID 19392422.
9. ^ Clifton, T. (2008). "Parametrized post-Newtonian limit of fourth-order theories of gravity". Physical Review D 77 (2): 024041. arXiv:0801.0983. Bibcode:2008PhRvD..77b4041C. doi:10.1103/PhysRevD.77.024041.
10. ^ Exirifard, Q. (2010). "Phenomenological covariant approach to gravity". General Relativity and Gravitation 43: 93–106. arXiv:0808.1962. Bibcode:2011GReGr..43...93E. doi:10.1007/s10714-010-1073-6.