We construct the higher order terms of curvatures in Lagrangians of the scale factor in the D-dimensional Robertson-Walker metric, which are linear in the second derivative of the scale factor with respect to cosmic time. It is shown that they are composed of the Lovelock tensors at the first step; iterative construction yields arbitrarily high order terms. The relation to the former work on higher order gravity is discussed. Despite the absence of scalar degrees of freedom in cosmological models which come from our Lagrangian, it is shown that an inflationary behavior of the scale factor can be found. The application to the thick brane solutions is also studied.
1. Introduction
It is well known that higher-derivative gravity has a scalar degree of freedom in general [1–4]. In cosmological models of higher-derivative gravity, the scalar mode is expected to play an important role [5–7]. On the other hand, some cases are also known that higher order terms in curvatures for a gravitational action do not affect cosmological development of a scale factor. For example, it is known that terms which consist of contraction of Weyl tensors in a gravitational Lagrangian do not change evolutional equations for a scale factor in a model with homogeneous and isotropic space. The other special combinations of curvatures are known. In the specific dimension, the Euler form as a Lagrangian does not produce the dynamics of gravity at all, because the action becomes a topological quantity in such a case.
The dimensionally continued Euler densities have also been studied [8–17], because of their relation to the effective Lagrangian of string theory, and are found to give no scalar mode since the second derivative of the metric disappears in the action if we perform integration by parts. The absence of scalar modes is interesting for studying black holes in the theory, because the scalar modes lead to singularities, in general, which avoid expected horizons.
In recent years, it turned out that there is a special case where a scalar mode disappears in higher-derivative gravity. Originally, this fact was found in research of a three-dimensional theory of massive gravity [18], and an extended version in four dimensions was proposed [19]. The authors of those papers intended to study the renormalizability and unitarity of gravitation theory in a maximally symmetric spacetime. Thus, the absence of a massive scalar mode is at least a necessary condition of such theories referred as critical gravity (in our analysis, we do not care for the other critical values for the cosmological constant). Until now, however, only the cases with curvature tensors of a limited number have been investigated in higher dimensions [20, 21]. We are interested in the higher order theory of gravitation in which a scalar mode does not appear in a general higher dimensions.
In the present paper, we generalize the structure of the Lagrangian of critical gravity, to models with higher order terms in curvature tensors in higher dimensions. We show that such extensions can be attained by use of the Lovelock tensors. In order to offer a systematic way to construct the required higher order term, we take an explanatory approach by assuming the Robertson-Walker (RW) metric. In this approach, the absence of second derivatives of the scale factor from the Lagrangian with appropriate total derivatives is considered as a necessary condition for disappearing scalar modes.
It should be noted that the combination defined in D-dimensional spacetime
(1)RμνRμν-D4(D-1)R2
is used in critical gravities in three and four dimensions [18, 19]. This term can be considered as a trace of multiplication of the Einstein tensor and a linear combination of the Einstein tensor and its trace part:
(2)(Rμν-12Rgμν)[Rμν-12(D-1)Rgμν]=Gμν(Gμν-1D-1Gλλgμν),
where Gμν=Rμν-(1/2)Rgμν is the Einstein tensor. Incidentally, Rμν-(1/2(D-1))Rgμν is known as the Schouten tensor up to the factor (D-2)-1. Now, if the RW metric is assumed, the time-time component of the Einstein tensor does not include the second time-derivative of the scale factor. The Schouten tensor appearing in the pervious term is made for its spatial component to have no second time-derivative of the scale factor. Therefore, the trace of the product of two tensors is linear in the second time-derivative of the scale factor, and if a surface term is suitably assigned, the Lagrangian is expressed only with the scale factor and its first time-derivative. Thus, additional scalar modes do not appear. From this observation, we find that it can be extended by using the Lovelock tensor instead of the Einstein tensor when the dimension of spacetime is higher. In the present paper, we do not analyze the massive tensor modes in our models. Thus, the genuine criticality as quantum gravity is left for future works.
The RW geometry is known to be conformally flat [22]; that is, the Weyl tensor for the RW cosmological metrics vanishes. An extension of Lovelock gravity for conformally flat geometry was considered by Meissner and Olechowski [23, 24]. They showed that the extension is possible for a (R)n term in D dimensions provided n<D, whereas the Lovelock gravity has the (R)n term at most 2n<D (where (R) denotes a general curvature tensor). Oliva and Ray also construct higher-derivative gravity with the second order equation utilizing the Weyl and Riemann tensors [25]. Their Lagrangian involves up to (R)n term with 2n<D because of the use of the generalized Kronecker delta as in the case of the Lovelock gravity.
In the present paper, we show that it is possible to continue the higher-curvature terms beyond the number of dimensions.
The outline of this paper is as follows. In Section 2, we construct the candidate Lagrangian for cosmological models without scalar modes written in curvature tensors as the first step. The confirmation of the property of the model Lagrangian is performed in Section 3, substituting the RW metric. In Section 4, we show that an extension to more higher order terms in curvatures can be obtained. Using the higher order Lagrangian so far obtained, we propose (toy) models for the scale factor with inflationary behavior Section 5. In Section 6, the application of our Lagrangian to constructing domain wall solutions is studied. In the last section, we offer some concluding remarks.
2. Lovelock Tensors and Generalization of the Higher Order Term in Critical Gravity
In this section, we construct the higher order term in curvatures by generalizing that of critical gravity. We will verify the absence of scalar modes in cosmological models with the terms in the next section. First, we introduce the dimensionally continued Euler density
(3)L(n)=2-nδλ1ρ1⋯λnρnσ1τ1⋯σnτnRλ1ρ1σ1τ1⋯Rλnρnσnτn,
where the generalized Kronecker delta is defined as
(4)δν1ν2⋯νpμ1μ2⋯μp=|δν1μ1δν2μ1⋯δνpμ1δν1μ2δν2μ2⋯δνpμ2⋮⋮⋱⋮δν1μpδν2μp⋯δνpμp|.
The dimensionally continued Euler density L(n) consists of nth order in the curvature tensors ((R)n). For example, for n=1, we find the Einstein-Hilbert term
(5)L(1)=R,
and for n=2, we find the Gauss-Bonnet term
(6)L(2)=RμνρσRμνρσ-4RμνRμν+R2,
as is well known.
Next, we consider the Lovelock tensor [8, 9]. The Lovelock tensor is a generalization of the Einstein tensor and defined as
(7)G(n)νμ≡1-gδ(∫dDx-gL(n))δgρνgμρ=-2-(n+1)δνλ1ρ1⋯λnρnμσ1τ1⋯σnτnRλ1ρ1σ1τ1⋯Rλnρnσnτn.
This is a symmetric tensor of nth order in the curvature tensors. For example, for n=1, we find
(8)Gμν(1)=Rμν-12Rgμν,
and this is known as the Einstein tensor especially. For n=2, we find
(9)Gμν(2)=2(RμρστRνρστ-2RμρνσRρσ-2RμρRνρ+RRμν)-12L(2)gμν.
It should be noted that
(10)G(n)≡G(n)λλ=2n-D2L(n),
where D denotes the dimension of spacetime.
Here, we construct the new combination of the Lovelock tensor and the metric multiplied by the trace of the Lovelock tensor. That is,
(11)S(n)μν≡G(n)μν-1D-1G(n)gμν.
It is worth noting that
(12)Gμν(n)=(gμρgνσ-gμνgρσ)S(n)ρσ.
For example, for n=1, we obtain
(13)S(1)μν=Rμν-12(D-1)Rgμν,
which is proportional to the Schouten tensor. Therefore, we obtain the following combination:
(14)Gμν(1)S(1)μν=RμνRμν-D4(D-1)R2,
which appears in critical gravities [18, 19].
Now, we find that the natural generalization of this is given by
(15)G(n)μνS(n′)μν=G(n)μνG(n′)μν-1D-1G(n)G(n′).
It is worth pointing out that the expression is symmetric against the exchange of n and n′.
In the next section, we confirm that this combination is suitable for an extension of critical gravity in higher dimensions, by utilizing the RW metric.
3. Higher Order Term for RW Metric
We consider the following RW metric in D dimensions:
(16)ds2=-dt2+a(t)2dΩD-12,
where a(t) is the scale factor, and dΩD-12 denotes the line element of a maximally symmetric space of (D-1)-dimensions, whose scalar curvature is normalized to (D-1)(D-2)k with k=1,0,-1.
First in this section, we examine the Lovelock tensors of (R)n. By explicit calculation of curvatures, we find, for n=1,
(17)G(1)00=-(D-1)(D-2)2a˙2+ka2,G(1)ji=-[(D-2)a¨a+(D-2)(D-3)2a˙2+ka2]δji,
where a˙=da/dt and a¨=d2a/dt2. Here and hereafter, we use the suffixes denoting the spatial dimensions, i,j=1,2,…,D-1. Also, for n=2, we obtain
(18)G(2)00=-(D-1)(D-2)(D-3)(D-4)2(a˙2+ka2)2,G(2)ji=-[×(a˙2+ka2)22(D-2)(D-3)(D-4)a¨aa˙2+ka2+(D-2)(D-3)(D-4)(D-5)2×(a˙2+ka2)2]δji.
By the combinatorial property of the generalized Kronecker delta, we can find the Lovelock tensor for a general n as follows:
(19)G(n)00=-(D-1)(D-2)⋯(D-2n)2×(a˙2+ka2)n,G(n)ji=-[(a˙2+ka2)nn(D-2)(D-3)⋯(D-2n)×a¨a(a˙2+ka2)n-1+(D-2)(D-3)⋯(D-2n-1)2×(a˙2+ka2)n]δji,
and G(n)j0=G(n)0i=0. It should be noted that the 00 component of the Lovelock tensor does not include a¨.
Next, we calculate the generalized Schouten tensor S(n)νμ for the RW metric. Because the trace of the Lovelock tensor is given as
(20)1D-1G(n)=-[×(a˙2+ka2)nn(D-2)(D-3)⋯(D-2n)×a¨a(a˙2+ka2)n-1+(D-2n)(D-2)(D-3)⋯(D-2n)2×(a˙2+ka2)n],
we find
(21)S(n)00=n(D-2)(D-3)⋯(D-2n)×a¨a(a˙2+ka2)n-1-(2n-1)(D-2)(D-3)⋯(D-2n)2×(a˙2+ka2)n,S(n)ji=(D-2)(D-3)⋯(D-2n)2×(a˙2+ka2)nδji.
By construction, a¨ is absent in S(n)ji.
Now, we consider the combined term G(n)μνS(n′)μν. We obtain
(22)G(n)μνS(n′)μν=-14(D-1)×[(D-2)(D-3)⋯(D-2n)]×[(D-2)(D-3)⋯(D-2n′)]×[2(n+n′)a¨a(a˙2+ka2)n+n′-1+(D-2(n+n′))(a˙2+ka2)n+n′].
Because this combination is apparently linear in a¨, the action including this term can be expressed as the functional of a and a˙, by means of integrations by part. Therefore, we realize that there is no scalar mode in a cosmological setting.
The combination L(n)(n′)≡-4G(n)μνS(n′)μν can exist for limited numbers (n,n′), which depends on D. For the exchange symmetry, we assume that n≤n′. We find that L(n)(n′) is nonzero when (n,n′)=(1,1) for D=3,4, (n,n′)=(1,1),(1,2),(2,2) for D=5,6, and (n,n′)=(1,1),(1,2),(1,3),(2,2),(2,3),(3,3) for D=7,8, and so forth. Therefore, we have new higher-derivative terms including (R)m with m≤D-1 for odd D and m≤D-2 for even D.
Up to now, we become aware of a similarity to the Lovelock Lagrangian. It takes the form for the RW metric as follows:
(23)L(m)=(D-1)(D-2)⋯(D-2m+1)×[2ma¨a(a˙2+ka2)m-1+(D-2m)(a˙2+ka2)m].
The equivalence up to the overall constant is obvious; that is, L(n)(n′)∝L(n+n′). Incidentally, we can consider L(0)(n) as the Lovelock Lagrangian L(n). We note, however, that the Lovelock Lagrangian L(m) has its meaning as a part of Lagrangian when m=1 for D=3,4, m=1,2 for D=5,6, and m=1,2,3 for D=7,8, and so forth, because L(m) becomes a total derivative for D=2m.
Before closing this section, discussion on relation to the work of Meissner and Olechowski [23, 24] is in order. Their approach is equivalent to considering the Lagrangian constructed from the Lovelock Lagrangian in which the Riemann tensor is expressed by the Schouten tensor under the assumption of vanishing Weyl tensor (strictly speaking, they replace Riemann tensor by the Kulkarni-Nomizu product of the Schouten tensor with the metric in the Lovelock tensor). They used the combinatorial property of the generalized Kronecker delta for extension to higher order in curvatures. If the RW metric is substituted, we find that the Lagrangian of Meissner and Olechowski of order of (R)m coincides with our Lagrangian L(n)(n′), where n+n′=m, up to the constant factor. The allowed spacetime dimension is the same for odd m, m<D. Therefore, our Lagrangian and theirs are almost equivalent. The variety with respect to two integers in L(n)(n′) is due to the use of Riemann tensors as well as scalar curvatures and Ricci tensors in our approach. It is notable that differences may occur if we consider the black hole or nonconformally flat solutions in the theory governed by the Lagrangians of higher order terms.
Later, we show that the restriction by the dimensions can be overcome. To exhibit the discussion on the subject, we examine the cosmological action in the present model again in the next section.
4. Further Extension to Higher Order in Curvature (Especially for m>D)
We consider the action for m≥2:
(24)S(m)=∫dDx-g∑n=0mα(n)(m-n)L(n)(m-n),
with arbitrary coefficients α(n)(m-n). Here, we regard L(0)(n) as L(n).
Then, the action for the scale factor a(t) can be read as
(25)S(m)∝βm∫dtaD-1×[2ma¨a(a˙2+ka2)m-1+(D-2m)(a˙2+ka2)m(a˙2+ka2)m-1],
where
(26)βm=(D-1)α(n)(m-n)(D-2)!(D-2n-1)!(D-2)!(D-2(m-n)-1)!.
Using the expansion
(27)(a˙2+k)m-1a¨=∑ℓ=0m-1(m-1ℓ)km-1-ℓa˙2ℓa¨=∑ℓ=0m-1km-1-ℓ2ℓ+1(m-1ℓ)ddta˙2ℓ+1,
we rewrite the action, after partial integration, as
(28)I(m)[a,a˙]≡(D-2m)βm×∫dtaD-1[-2m∑ℓ=0m-1km-1-ℓ2ℓ+1(m-1ℓ)×a˙2ℓ+2a2m+(a˙2+ka2)m∑ℓ=0m-1km-1-ℓ2ℓ+1(m-1ℓ)].
Especially for k=0, we find a simple action
(29)I(m)=(D-2m)βm∫dtaD-1[-12m-1(a˙2a2)m].
Now, we define the Lagrangian L(m)(a,a˙) for the scale factor a(t) by
(30)I(m)=∫dtL(m)(a,a˙).
Then, we find the equation of motion for the scale factor
(31)ddt∂L(m)∂a˙-∂L(m)∂a=-(D-2m)βmaD-2×[2ma¨a(a˙2+ka2)m-1+(D-2m-1)(a˙2+ka2)m(a˙2+ka2)m-1].
The Hamiltonian constraint is regarded as the variation equation ∂L/∂N=0, where N is the lapse function defined as dt=N(t′)dt′. We set N=1 after the manipulation. We now find the Hamiltonian constraint equation
(32)∂L(m)∂N|N=1=(D-2m)βmaD-1(a˙2+ka2)m.
It is known that the variation of the lapse function corresponds to the variation of g00, and the variation of the scale factor corresponds to the variation of gii, up to certain factors. We can find, from (32) and (31), the following generalized Lovelock tensor as the variation of the action with respect to the metric:
(33)G¯(m)00=-(D-2m)βm2(a˙2+ka2)m,G¯(m)ji=-(D-2m)βm2(D-1)×[2ma¨a(a˙2+ka2)m-1+(D-2m-1)(a˙2+ka2)m(a˙2+ka2)m-1]δji.
The generalized Lovelock tensor can be written as variation of the action, which is proportional to
(34)G¯μν(m)∝1-gδS(m)δgμν,
as seen from the construction, but with arbitrary coefficients in the definition of the action S(m). In spite of the arbitrariness, the functional form of the Lagrangian is unambiguous if the conformally flat metric is substituted.
In the similar manner, the corresponding generalized Schouten tensor is defined as in the previous section,
(35)S¯(m)μν≡G¯(m)μν-1D-1G¯(m)gμν,
with G¯(m)≡gμνG¯(m)μν. Then, we find
(36)S¯(m)00=(D-2m)βm2(D-1)[2ma¨a(a˙2+ka2)m-1-(2m-1)(a˙2+ka2)m(a˙2+ka2)m-1],S¯(m)ji=(D-2m)βm2(D-1)(a˙2+ka2)mδji.
Then, the trace of the product of these tensors is found to be
(37)L(m)(m′)=-4G¯μν(m)S¯(m′)μν=(D-2m)(D-2m′)βmβm′D-1×[a˙2+ka22(m+m′)a¨a+{D-2(m+m′)}a˙2+ka2]×(a˙2+ka2)m+m′-1.
Again, we obtain the same functional form as those constructed from the Lovelock tensors in the previous section. More iterative operations yield the more higher order terms. For this time, however, there is no limitation on the relation between the number of dimensions D and the order of curvatures ℓ≡m+m′, except for the case with 2ℓ=D (the Lagrangian becomes a total derivative in this case for the conformally flat spacetime). Although we do not exhibit an explicit form of the higher order term in mass dimensions, obviously it can be expressed as the combination of curvature tensors and their covariant derivatives.
Unfortunately, only for D=4, our iterative method cannot give (R)3 term, since the (R)2 term becomes a total derivative for the conformally flat metric. We define the expression for L(3) by the manner followed by Meissner and Olechowski as
(38)L(3)∝δν1ν2ν3μ1μ2μ3S(1)μ1ν1S(1)μ2ν2S(1)μ3ν3.
Incidentally, it is obvious that L(3) is at most linear in a¨ if the RW metric is substituted, because only S(1)00 is the component of the Schouten tensor which is linear in a¨. Then, the desired terms of all the order in curvatures and derivatives in any dimensions can be created by our iterative method.
Another way to cross the dimensional limitation, which is inspired by the work of Meissner and Olechowski [23, 24], is also found. In the manner of their paper [23, 24], the following Lagrangian (modulo volume form) is proposed:
(39)δν1⋯νnμ1⋯μnS(1)μ1ν1⋯S(1)μnνn,
where it is expressed by our present notation. We become aware of an extension of it as
(40)δν1⋯νnμ1⋯μnS¯(m1)μ1ν1⋯S¯(mn)μnνn,
where mi(i=1,…,n) are arbitrary integers. For the RW metric, this term turns out to be proportional to
(41)2ℓa¨a(a˙2+ka2)ℓ-1+(D-2ℓ)(a˙2+ka2)ℓ,
where ℓ=∑i=1nmi. This is also the same form of the candidate Lagrangian. Many equivalent combinations exist for higher order terms under the vanishing-Weyl-tensor condition.
In the next section and after, we will turn our attention to apply the higher order Lagrangian obtained here to cosmological models.
5. f(H2) Cosmology
In this section, we investigate the possible inflationary stage in evolution of the universe in the model with higher order terms discussed in the previous sections.
Let us consider the general cosmological action
(42)L=aD-1×∑ℓ=0∞βℓ[2ℓa¨a(a˙2+ka2)ℓ-1+(D-2ℓ)(a˙2+ka2)ℓ],
with an appropriate total derivative term with respect to the time, which removes the second derivative of the scale factor with respect to time.
As usual, the energy momentum tensor of matter is taken as
(43)Tμν=2-gδSmatterδgμν,
with the action for matter Smatter. The nonzero components of the energy momentum tensor of matter are assumed as T00=-ρ and Tji=pδji, where ρ is the energy density and p is the pressure, for the RW universe. As seen in the previous sections, the equation of motion derived from the action (42) coincides with the linear combination of the components of the Lovelock tensors in functional form with the assumption of the RW metric. Thus, the energy conservation
(44)ρ˙+(D-1)a˙a(ρ+p)=0
holds generally. This fact is due to the absence of the scalar mode and the fact that we did not need to rescale the metric.
We here give a few models in four-dimensional spacetime with focus on the possibility of an inflationary growth of the scale factor. Furthermore, we take k=0, that is, assume the flat space. Then, the action (42) is equivalent to
(45)L(a,a˙)=a3∑ℓ=0∞βℓ[-4-2ℓ2ℓ-1(a˙2a2)ℓ].
The 00 component of the equation of motion reads
(46)∑ℓ=0∞βℓ4-2ℓ2(a˙2a2)ℓ=ρ.
If we can choose the coefficient βℓ freely, almost arbitrary equations including ρ and H≡a˙/a can be made. That is,
(47)f(H2)=8πG3ρ,
where f(x) is a function which can be expressed by a series and does not include the x2 term. Here, the factor given in the right hand side is chosen as for the similarity with the standard cosmology. We wish to call the cosmology of the model “f(H2) cosmology” (if k≠0, we obtain “f(H2+k/a2) cosmology”).
Now, we specify the function f(x). For example, let us consider
(48)H2(1-H4M4)-1=8πG3ρ,
with a typical mass scale M. Solving the equation for H2, we obtain
(49)H2=8πG3ρ[12+14+(8πGρ3M2)2]-1.
If the energy density is sufficiently low, such as ρ≪G-1M2, the relation in the standard cosmology is valid:
(50)H2≈8πG3ρ.
On the other hand, in the era of the high energy density such that ρ≫G-1M2, we find
(51)H2≈M2,
and we obtain an approximate de Sitter inflation (although the analysis here holds for any equation of state of matter, physical constraints may arise from the possible ranges of the energy density and the pressure of specific matter).
Another model can be chosen, in which the correction is a monomial of the higher order term. That is,
(52)H2+M2(H2M2)m=8πG3ρ(m≥3).
In the rapid expansion phase, H2≫M2, the correction would be dominant. Further, if we assume the dust matter, that is, ρ∝a-3, we obtain
(53)a(t)∝t2m/3.
This indicates the phase of the power-law inflation.
Even though we show special toy models here, we find that the existence of higher order terms yields the inflationary growth of the scale factor with ordinary matter, and with no scalar mode and no redefinition of the metric.
6. Domain Wall
We will apply the previous discussion on a conformally flat metric to solutions for domain walls (“thick branes”). The D-dimensional metric suitable for a codimension one domain wall is given by
(54)ds2=e2A(y)(-dt2+dx2)+dy2,
where x=(x1,x2,…,xD-2). In addition, we consider a neutral, minimally coupled, self-interacting scalar field as a classical matter field. It is known that superpotential method [26–30] is available in this case to find BPS kink equations. Let us investigate the case with higher order terms in a similar manner.
Substituting the metric (54), the gravitational Lagrangian becomes
(55)L=e(D-1)A∑ℓ=0∞(-1)ℓβℓ[2ℓA′′(A′)2ℓ-2+D(A′)2ℓ],
where the prime (′) denotes a derivative with respect to y. The term in A′′ can be removed by discarding a total divergence. Thus, we obtain
(56)L(A,A′)=e(D-1)A∑ℓ=0∞(-1)ℓβℓ[-D-2ℓ2ℓ-1(A′)2ℓ].
The action for the real scalar field ϕ(y) for static branes is written by
(57)LS(A,ϕ,ϕ′)=e(D-1)A[-12(ϕ′)2-V(ϕ)].
Since the coefficients βℓ can be arbitrarily chosen, we use an arbitrary function F(x) to represent the general action. Then, we can write the total action as
(58)Ltotal(A,A′,ϕ,ϕ′)=e(D-1)A[F(A′2)-12(ϕ′)2-V(ϕ)].
The field equations can now be derived in a usual manner. The differential equation for the scalar is
(59)ϕ′′+(D-1)A′ϕ′-Vϕ=0,
where Vϕ=dV/dϕ. The equation for A is written as
(60)2[Fx(A′2)+2A′2Fxx(A′2)]A′′-(D-1)[12F(A′2)-2A′2Fx(A′2)-12(ϕ′)2-V(ϕ)]=0,
where Fx=dF(x)/dx and Fxx=d2F(x)/dx2. The reparametrization invariance of y leads to the first integral given by
(61)F(A′2)-2A′2Fx(A′2)+12(ϕ′)2-V(ϕ)=0.
Define h(x)≡2xFx(x)-F(x). Then, one can find hx(x)=dh/dx=Fx(x)+2xFxx(x).
Note that h(x) as well as F(x) does not possess the xD/2 term for even D. Using these, the equations can be rewritten as
(62)2hx(A′2)A′′+(D-1)(ϕ′)2=0,-h(A′2)+12(ϕ′)2-V(ϕ)=0.
Now, we take a BPS ansatz [26–31]
(63)A′=-W(ϕ).
Then, the equations reduce to the first order equation
(64)ϕ′=2D-1hx(W2)Wϕ,
and the potential
(65)V(ϕ)=2(D-1)2[hx(W2)]2(Wϕ)2-h(W2),
in terms of W(ϕ).
If the function h(x) is a polynomial up to the quadratic order, a domain wall solution exists, for the potential V(ϕ) has two minima [26–31]. The solution can be expressed as a kink solution in the ϕ4 theory. We find here that the potential with many vacua naturally corresponds to the general higher order gravity.
For example, we try to express the sine-Gordon equation. We take W(ϕ)=Bϕ, with a positive constant B. Further, we choose
(66)hx(x)=Ccosαx2,
with constants α and C. This choice is possible if the spacetime dimension D is odd. Then, the scalar obeys the sine-Gordon equation
(67)ϕ′′=-αB2CD-1sinαBϕ2ϕ′=-αB3C2(D-1)2sinαBϕ,
and an exact static solution is known as
(68)ϕ(y)=4αB(arctane(αB2C/(D-1))y-π4).
Then, the potential takes the form:
(69)V(ϕ)=2B2C2(D-1)2cos2αBϕ2-8Cα2(αBϕ2sinαBϕ2+cosαBϕ2)+V0.
The minima of the potential are located at αBϕ/2=π/2±nπ(n=0,1,2,…). Although it is difficult to obtain exact solutions of other types, we can suppose multiple domain walls with distinct topological numbers in this and similar models. The model with many vacua may also serve an interesting mechanism to realize naturally a small cosmological constant in (thick) brane world. This possibility will be studied in future.
7. Summary and Conclusion
In the present paper, we have attempted to show the possible quasilinear second-order theory of gravity in conformally flat spacetimes. Models with arbitrary higher order of curvatures have been obtained. As long as we adopt an isotropic and homogeneous cosmological setting, the energy conservation holds in the models because there is no scalar mode and no requirement of frame rescaling. In spite of them, inflationary expansion can be found in the models. We have also found that the domain wall solution in the present type of the higher order gravity can be obtained naturally with the potential having many minima.
Our work corresponds to the extension of the Lovelock higher-curvature gravity in arbitrarily higher order terms in higher dimensions. Our analysis, however, has been limited for the case with the conformally flat spacetime, and the explicit form of the action written in curvature tensors and derivatives has been still ambiguous. The stability of the solutions obtained here is problematic for anisotropic perturbations or tensor modes. To study it, we should classify the possible form of the Lagrangian when the Weyl tensor vanishes. It is known that the dimensionally continued Euler forms have the property of factorization in terms of those of lower orders when the spacetime is represented by the direct product of spaces [12, 13]. Thus, compactification should be worth studying to seek some special combination of curvature tensors. It is expected that the hopeful “critical” relation among the coefficients of different orders of curvatures will be selected by consideration on various background spacetimes.
Nevertheless, we emphasize that our arbitrarily high order gravity can be applied to many models in various contexts. The problem of initial singularity can be reconsidered by studying classical bouncing universes in our model. On the other hand, the Wheeler-DeWitt equation of the Lagrangian should lead to higher-derivative quantum cosmology. The equation must be difficult to treat with, but the study on it may shed new light on quantum gravity. The possible black hole solutions are interesting in both cases of asymptotically flat and asymptotically AdS spacetime. We will return to some of the problems in future.
SchimmingR.SchmidtH. J.On the history of fourth order metric theories of gravitation1990274148http://arxiv.org/abs/gr-qc/0412038/SchmidtH. J.Fourth order gravity: equations, history, and applications to cosmology20074220910.1142/S0219887807001977WhittB.Fourth-order gravity as general relativity plus matter19841453-417617810.1016/0370-2693(84)90332-0MR762218HawkingS. W.LuttrellJ. C.Higher derivatives in quantum cosmology. I. The isotropic case1984247125026010.1016/0550-3213(84)90380-8MR853261SotiriouT. P.FaraoniV.f(R) theories of gravity201082145149710.1103/RevModPhys.82.451MR2629610de FeliceA.TsujikawaS.f(R) theories2010133NojiriS.OdintsovS. D.Unified cosmic history in modified gravity: from F(R) theory to Lorentz non-invariant models20115052-45914410.1016/j.physrep.2011.04.001MR2826374LovelockD.The Einstein tensor and its generalizations197112498501MR0275835LovelockD.The four-dimensionality of space and the Einstein tensor1972136, article 874310.1063/1.1666069WheelerJ. T.Symmetric solutions to the Gauss-Bonnet extended Einstein equations19862683-473774610.1016/0550-3213(86)90268-3MR836677AragoneC.Geometric stringy gravity1987186215115610.1016/0370-2693(87)90271-1MR881928Müller-HoissenF.Spontaneous compactification with quadratic and cubic curvature terms19851631–410611010.1016/0370-2693(85)90202-3MR812848Müller-HoissenF.Dimensionally continued Euler forms: Kaluza-Klein cosmology and dimensional reduction198634, artcile 66510.1088/0264-9381/3/4/020WhittB.Spherically symmetric solutions of general second-order gravity198838103000300710.1103/PhysRevD.38.3000MR980875DeruelleN.Fariña-BustoL.Lovelock gravitational field equations in cosmology199041123696370810.1103/PhysRevD.41.3696MR1063629ZuminoB.Gravity theories in more than four dimensions1986137110911410.1016/0370-1573(86)90076-1MR839214ZwiebachB.Curvature squared terms and string theories19851565-631531710.1016/0370-2693(85)91616-8BergshoeffE. A.HohmO.TownsendP. K.Massive gravity in three dimensions200910220420130110.1103/PhysRevLett.102.201301MR2507853LüH.PopeC. N.Critical gravity in four dimensions201110618418130210.1103/PhysRevLett.106.181302LüH.PangY.PopeC. N.Conformal gravity and extensions of critical gravity2011846906400110.1103/PhysRevD.84.064001Çağrı ŞişmanT.Güllüİ.TekinB.All unitary cubic curvature gravities in D dimensions201128192219500410.1088/0264-9381/28/19/195004MR2837358IbisonM.On the conformal forms of the Robertson-Walker metric200748122312250110.1063/1.2815811MR2377825MeissnerK. A.OlechowskiM.Domain walls without cosmological constant in higher order gravity200186173708371110.1103/PhysRevLett.86.3708MeissnerK. A.OlechowskiM.Brane localization of gravity in higher derivative theory2002656606401710.1103/PhysRevD.65.064017OlivaJ.RayS.Classification of six derivative Lagrangians of gravity and static spherically symmetric solutions201082121112403010.1103/PhysRevD.82.124030SkenderisK.TownsendP. K.Gravitational stability and renormalization-group flow19994681-2465110.1016/S0370-2693(99)01212-5MR1731392LowI.ZeeA.Naked singularity and Gauss-Bonnet term in brane world scenarios20005851-239540410.1016/S0550-3213(00)00352-7MR1782291KakushadzeZ.Localized (super)gravity and cosmological constant20005891-27511810.1016/S0550-3213(00)00514-9MR1788799CorradiniO.KakushadzeZ.Localized gravity and higher curvature terms20004943-430231010.1016/S0370-2693(00)01196-5MR1804434Camara dSU.SotkovG. M.New massive gravity domain walls20106941949910.1016/j.physletb.2010.09.042LiuY. X.WangY. Q.WuS. F.ZhongY.Analytic solutions of Brane in critical gravityhttp://arxiv.org/abs/1201.5922