This article may be too technical for most readers to understand.(July 2019) |
In physics, f(R) 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, f, of the Ricci scalar, R. 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 Alexei 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.
In f(R) gravity, one seeks to generalize the Lagrangian of the Einstein–Hilbert action: to where is the determinant of the metric tensor, and f(R) is some function of the Ricci scalar. [3]
There are two ways to track the effect of changing R to f(R), i.e., to obtain the theory field equations. The first is to use metric formalism and the second is to use the Palatini formalism. [3] While the two formalisms lead to the same field equations for General Relativity, i.e., when f(R) = R, the field equations may differ when f(R) ≠ R.
In metric f(R) gravity, one arrives at the field equations by varying the action 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:
The Ricci scalar is defined as
Therefore, its variation with respect to the inverse metric is given by
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
Substituting into the equation above: where is the covariant derivative and is the d'Alembert operator.
Denoting , the variation in the action reads:
Doing integration by parts on the second and third terms (and neglected the boundary contributions), we get:
By demanding that the action remains invariant under variations of the metric, , one obtains the field equations: where is the energy–momentum tensor defined as where is the matter Lagrangian.
Assuming a Robertson–Walker metric with scale factor we can find the generalized Friedmann equations to be (in units where ): where is the Hubble parameter, 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:
An interesting feature of these theories is the fact that the gravitational constant is time and scale dependent. [4] To see this, add a small scalar perturbation to the metric (in the Newtonian gauge): 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): where δρm is a perturbation in the matter density, k is the Fourier scale and Geff is: with
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 and use the field equations above to get
Working to first order of perturbation theory: 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 where 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. This mode is a mixture of massless transverse breathing mode (but not traceless) and massive longitudinal scalar mode. [5] [6] The transverse and traceless modes (also known as tensor modes) propagate at the speed of light, but the massive scalar mode moves at a speed vG < 1 (in units where c = 1), this mode is dispersive. However, in f(R) gravity metric formalism, for the model (also known as pure model), the third polarization mode is a pure breathing mode and propagate with the speed of light through the spacetime. [7]
Under certain additional conditions [8] we can simplify the analysis of f(R) theories by introducing an auxiliary field Φ. Assuming for all R, let V(Φ) be the Legendre transformation of f(R) so that and . Then, one obtains the O'Hanlon (1972) action:
We have the Euler–Lagrange equations:
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: we transform to the Einstein frame: after integrating by parts.
Defining , and substituting
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. (At least, equivalent up to the caveat that we have not yet specified matter couplings, so (for example) f(R) gravity in which matter is minimally coupled to the metric (i.e., in Jordan frame) is equivalent to a quintessence theory in which the scalar field mediates a fifth force with gravitational strength.)
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. [9] [10] Due to the structure of the theory, however, Palatini f(R) theories appear to be in conflict with the Standard Model, [9] [11] may violate Solar system experiments, [10] and seem to create unwanted singularities. [12]
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.
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
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−9 m2 or equivalently |a2| < 2.3×1022 GeV−2. [13] [14]
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. [15] In particular light deflection is unchanged, so f(R) gravity, like General Relativity, is entirely consistent with the bounds from Cassini tracking. [13]
Starobinsky gravity has the following form where has the dimensions of mass. [16]
Starobinsky gravity provides a mechanism for the cosmic inflation, just after the Big Bang when R was still large. However, it is not suited to describe the present universe acceleration since at present R is very small. [17] [18] [19] This implies that the quadratic term in is negligible, i.e., one tends to f(R) = R which is general relativity with a zero cosmological constant.
Gogoi–Goswami gravity (named after Dhruba Jyoti Gogoi and Umananda Dev Goswami) has the following form where and are two dimensionless positive constants and Rc is a characteristic curvature constant. [20]
f(R) gravity as presented in the previous sections is a scalar modification of general relativity. More generally, we can have a 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. 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.
The Navier–Stokes equations are partial differential equations which describe the motion of viscous fluid substances. They were named after French engineer and physicist Claude-Louis Navier and the Irish physicist and mathematician George Gabriel Stokes. They were developed over several decades of progressively building the theories, from 1822 (Navier) to 1842–1850 (Stokes).
The stress–energy tensor, sometimes called the stress–energy–momentum tensor or the energy–momentum tensor, is a tensor physical quantity that describes the density and flux of energy and momentum in spacetime, generalizing the stress tensor of Newtonian physics. It is an attribute of matter, radiation, and non-gravitational force fields. This density and flux of energy and momentum are the sources of the gravitational field in the Einstein field equations of general relativity, just as mass density is the source of such a field in Newtonian gravity.
The Klein–Gordon equation is a relativistic wave equation, related to the Schrödinger equation. It is second-order in space and time and manifestly Lorentz-covariant. It is a differential equation version of the relativistic energy–momentum relation .
In the general theory of relativity, the Einstein field equations relate the geometry of spacetime to the distribution of matter within it.
In physics and mathematics, the Helmholtz decomposition theorem or the fundamental theorem of vector calculus states that certain differentiable vector fields can be resolved into the sum of an irrotational (curl-free) vector field and a solenoidal (divergence-free) vector field. In physics, often only the decomposition of sufficiently smooth, rapidly decaying vector fields in three dimensions is discussed. It is named after Hermann von Helmholtz.
The Einstein–Hilbert action in general relativity is the action that yields the Einstein field equations through the stationary-action principle. With the (− + + +) metric signature, the gravitational part of the action is given as
In theoretical physics, massive gravity is a theory of gravity that modifies general relativity by endowing the graviton with a nonzero mass. In the classical theory, this means that gravitational waves obey a massive wave equation and hence travel at speeds below the speed of light.
In theoretical physics, a scalar–tensor theory is a field theory that includes both a scalar field and a tensor field to represent a certain interaction. For example, the Brans–Dicke theory of gravitation uses both a scalar field and a tensor field to mediate the gravitational interaction.
In physics and fluid mechanics, a Blasius boundary layer describes the steady two-dimensional laminar boundary layer that forms on a semi-infinite plate which is held parallel to a constant unidirectional flow. Falkner and Skan later generalized Blasius' solution to wedge flow, i.e. flows in which the plate is not parallel to the flow.
In physics, Maxwell's equations in curved spacetime govern the dynamics of the electromagnetic field in curved spacetime or where one uses an arbitrary coordinate system. These equations can be viewed as a generalization of the vacuum Maxwell's equations which are normally formulated in the local coordinates of flat spacetime. But because general relativity dictates that the presence of electromagnetic fields induce curvature in spacetime, Maxwell's equations in flat spacetime should be viewed as a convenient approximation.
Toroidal coordinates are a three-dimensional orthogonal coordinate system that results from rotating the two-dimensional bipolar coordinate system about the axis that separates its two foci. Thus, the two foci and in bipolar coordinates become a ring of radius in the plane of the toroidal coordinate system; the -axis is the axis of rotation. The focal ring is also known as the reference circle.
In theoretical physics, scalar field theory can refer to a relativistically invariant classical or quantum theory of scalar fields. A scalar field is invariant under any Lorentz transformation.
The Newman–Penrose (NP) formalism is a set of notation developed by Ezra T. Newman and Roger Penrose for general relativity (GR). Their notation is an effort to treat general relativity in terms of spinor notation, which introduces complex forms of the usual variables used in GR. The NP formalism is itself a special case of the tetrad formalism, where the tensors of the theory are projected onto a complete vector basis at each point in spacetime. Usually this vector basis is chosen to reflect some symmetry of the spacetime, leading to simplified expressions for physical observables. In the case of the NP formalism, the vector basis chosen is a null tetrad: a set of four null vectors—two real, and a complex-conjugate pair. The two real members often asymptotically point radially inward and radially outward, and the formalism is well adapted to treatment of the propagation of radiation in curved spacetime. The Weyl scalars, derived from the Weyl tensor, are often used. In particular, it can be shown that one of these scalars— in the appropriate frame—encodes the outgoing gravitational radiation of an asymptotically flat system.
Alternatives to general relativity are physical theories that attempt to describe the phenomenon of gravitation in competition with Einstein's theory of general relativity. There have been many different attempts at constructing an ideal theory of gravity.
The Lagrangian in scalar-tensor theory can be expressed in the Jordan frame or in the Einstein frame, which are field variables that stress different aspects of the gravitational field equations and the evolution equations of the matter fields. In the Jordan frame the scalar field or some function of it multiplies the Ricci scalar in the Lagrangian and the matter is typically coupled minimally to the metric, whereas in the Einstein frame the Ricci scalar is not multiplied by the scalar field and the matter is coupled non-minimally. As a result, in the Einstein frame the field equations for the space-time metric resemble the Einstein equations but test particles do not move on geodesics of the metric. On the other hand, in the Jordan frame test particles move on geodesics, but the field equations are very different from Einstein equations. The causal structure in both frames is always equivalent and the frames can be transformed into each other as convenient for the given application.
Lagrangian field theory is a formalism in classical field theory. It is the field-theoretic analogue of Lagrangian mechanics. Lagrangian mechanics is used to analyze the motion of a system of discrete particles each with a finite number of degrees of freedom. Lagrangian field theory applies to continua and fields, which have an infinite number of degrees of freedom.
The pressuron is a hypothetical scalar particle which couples to both gravity and matter theorised in 2013. Although originally postulated without self-interaction potential, the pressuron is also a dark energy candidate when it has such a potential. The pressuron takes its name from the fact that it decouples from matter in pressure-less regimes, allowing the scalar–tensor theory of gravity involving it to pass solar system tests, as well as tests on the equivalence principle, even though it is fundamentally coupled to matter. Such a decoupling mechanism could explain why gravitation seems to be well described by general relativity at present epoch, while it could actually be more complex than that. Because of the way it couples to matter, the pressuron is a special case of the hypothetical string dilaton. Therefore, it is one of the possible solutions to the present non-observation of various signals coming from massless or light scalar fields that are generically predicted in string theory.
Degenerate Higher-Order Scalar-Tensor theories are theories of modified gravity. They have a Lagrangian containing second-order derivatives of a scalar field but do not generate ghosts, because they only contain one propagating scalar mode.
In supersymmetry, type IIA supergravity is the unique supergravity in ten dimensions with two supercharges of opposite chirality. It was first constructed in 1984 by a dimensional reduction of eleven-dimensional supergravity on a circle. The other supergravities in ten dimensions are type IIB supergravity, which has two supercharges of the same chirality, and type I supergravity, which has a single supercharge. In 1986 a deformation of the theory was discovered which gives mass to one of the fields and is known as massive type IIA supergravity. Type IIA supergravity plays a very important role in string theory as it is the low-energy limit of type IIA string theory.
In supersymmetry, type IIB supergravity is the unique supergravity in ten dimensions with two supercharges of the same chirality. It was first constructed in 1983 by John Schwarz and independently by Paul Howe and Peter West at the level of its equations of motion. While it does not admit a fully covariant action due to the presence of a self-dual field, it can be described by an action if the self-duality condition is imposed by hand on the resulting equations of motion. The other types of supergravity in ten dimensions are type IIA supergravity, which has two supercharges of opposing chirality, and type I supergravity, which has a single supercharge. The theory plays an important role in modern physics since it is the low-energy limit of type IIB string theory.