Pure geometric thick f(R)-branes: stability and localization of gravity

We study two exactly solvable five-dimensional thick brane world models in pure metric f(R) gravity. Working in the Einstein frame, we show that these solutions are stable against small linear perturbations, including the tensor, vector, and scalar modes. For both models, the corresponding gravitational zero mode is localized on the brane, which leads to the four-dimensional Newton law; while the massive modes are non-localized and only contribute a small correction to the Newton law at a large distance.


Introduction
The idea that our world might be a hyperspace (called brane world) embedded in higher-dimensional space-time (called the bulk) has been intensively considered in the past two decades [1][2][3][4][5][6][7][8][9][10] (for reviews, see [11,12]). This idea has changed our traditional knowledge toward extra dimensions. In early theories of extra dimensions, namely, the Kaluza-Klein type theories, the extra dimensions are compacted to the Planck scale [13]. While in brane world scenarios, depend on the model, the radii of extra dimensions can be as large as a few TeV −1 [4,9,10], or several millimeters [5], or even be infinitely large [2,8].
In one of Randall and Sundrum's brane world scenarios (the RS-II model) [8], the authors considered a 3-brane embedded in a five-dimensional anti de Sitter (AdS) space. Due to the nonfactorizable background geometry, the spectrum of four-dimensional gravitons of the RS-II model consisted of a normalizable zero mode along with a continuum of non-localized massive KK modes. The normalizable zero mode corresponds to the four-dimensional massless graviton and leads to the Newton law. There is no mass gap between the zero mode and massive modes. So by intuition, the massive modes should cause a large correction to the fourdimensional Newton law. However, after calculation Randall a e-mail: liuyx@lzu.edu.cn and Sundrum surprisingly found that the whole continuum of massive modes only contributes a small correction to the Newton law at a large distance [8]. In other words, the continuum modes are decoupled.
In the set up of the RS-II model [8], the 3-brane has no thickness, and the geometry has a singularity at the location of the brane. To evade this singularity, one can extend the RS-II model by replacing the original 3-brane by a smooth domain wall (called thick brane) generated by a background scalar field [14][15][16]. Due to the configuration of the domain wall, the bulk is not an AdS 5 space now. But the geometry is asymptotically AdS at the infinity of the extra dimension. Thanks to this asymptotic behavior of the geometry, the gravitational zero mode is usually normalizable [14][15][16]. Besides, the authors of Ref. [16] found that at least for two mass points localized on the center of the thick brane, the continuum modes are decoupled provided the zero mode is normalizable.
In addition to thick branes generated by scalar fields, there are also thick branes arising from pure geometry. For instance, by replacing the Riemannian geometry with a Weylintegrable geometry, the authors of Refs. [17][18][19][20] constructed thick branes without introducing an additional matter field. The normalization of the gravitational zero mode as well as the decoupling of the massive Kaluza-Klein (KK) modes are also studied therein.
Note that all the thick f (R)-branes considered in Refs. [35][36][37][38][39][40][41][42][43] are generated by a background scalar field. For f (R)-branes of this type, the tensor perturbation equation has been derived in Ref. [44], but it is still unclear if these models are stable against the vector and, especially, the scalar perturbations. To obtain reliable thick f (R)-brane models, we must either prove that the solutions found in Refs. [35][36][37][38][39][40][41][42][43] are also stable against the vector and the scalar perturbations, or to find some new solutions whose stabilities are easier to prove. In this paper we adopt the second path.
According to the well-known Barrow-Cotsakis theorem [23], a pure metric f (R) theory (referred to as the Jordan frame) is conformally equivalent to general relativity minimally coupled with a single canonical scalar field (called the Einstein frame). This equivalence implies the possibility for constructing thick branes without introducing additional matter fields. More importantly, it is much easier to analyze the linear stability of a solution in the Einstein frame. To the best of our knowledge, however, only Refs. [45,46] considered thick RS-II brane world solutions in pure f (R) gravity. In [45], the authors obtained a few numerical solutions. The first analytical thick brane solution was reported recently in [46].
In this paper, we derive two analytical thick RS-II brane solutions in pure f (R) theories: one with a triangular f (R) and the other a polynomial f (R). The first solution is equivalent to the one of Ref. [46], despite an apparent difference. The second one is a new solution. These solutions will be presented in the next section. In Sect. 3, we analyze the linear stability of these solutions in the Einstein frame by directly citing the results of Refs. [47,48]. Then in Sect. 4 we show that the gravitational zero modes corresponding to our solutions are normalizable, which implies that the four-dimensional Newton's law can be reproduced on the branes. In Sect. 5, by analyzing the asymptotic behavior of our solutions, we draw the conclusion that for two mass points localized at the vicinity of the brane, the massive KK modes are decoupled, and they only lead to small corrections the Newton law. In the last section, we summarize the main results of this paper.

The model and the solution
We consider pure f (R) gravity in five-dimensional spacetime, where κ 2 5 = 8π G (5) is the five-dimensional gravitational coupling constant, and g = det(g MN ) is the determinant of the metric. In this paper we only consider the flat and static brane, for which the metric takes the following form: where e 2 A(y) is the warp factor, η μν is the four-dimensional Minkowski metric, and y = x 4 denotes the extra dimension. Throughout this paper, capital Latin letters M, N , . . . = 0, 1, 2, 3, 5 and Greek letters μ, ν, . . . = 0, 1, 2, 3 are used to represent the bulk and brane indices, respectively.
The Einstein equations read and where f R ≡ d f (R)/d R, and the over dots denote the derivatives with respect to y. By eliminating f (R), one immediately obtains the following equation: For a specified A(y), Eq. (5) is a second-order differential equation for f R (y). In the case A(y) that takes a simple mathematical form, it is possible to solve f R (y) analytically. By inserting A and f R back into Eq. (4), one can easily get the solution of f (R) as a function of y. Note that for the metric (2), the scalar curvature R is related to y via the following equation: Once we get the expression of R(y), it is not difficult to rewrite f R and f (R) as functions of R. Instead of starting with a simple f (R), we prefer to begin with a simple A(y). For instance, we consider A = −n ln(cosh(ky)), with n a dimensionless positive constant, and k another positive constant with the dimension of length inverse. It is convenient for us to introduce a dimensionless variable w = ky.
In terms of w, the scalar curvature takes a simple form: from which we can express w in terms of R for an arbitrary n: The above equation makes it possible for us to get the analytical expression of f (R), at least for some special values of n.
2.1 Case 1: n = 1, triangular f (R) We first consider the simplest case with n = 1, and Substituting Eq. (10) into Eq. (5), and only keeping the symmetric solution, one immediately obtains where the function α(w) is defined as From Eq. (4), one can easily obtain the solution of f (R(w)): Using Eq. (9), we get . (14) Note that f (R(w)) is an even function of w, so it makes no difference in choosing between the plus sign solution or the other in Eq. (9). Therefore, Eqs. (10) and (14) constitute the first analytically solvable f (R) brane model. Note that in Ref. [46], the authors also investigated a thick RS-II brane solution in pure metric f (R) gravity with the same warp factor (10). They also obtained an analytical expression of f (R). Despite the difference in the mathematical expressions, it can be shown that both solutions are equivalent. The authors of [46] have shown that this solution is stable under a tensor perturbation. In the next section, we will prove that this solution is also stable under scalar and vector perturbations.
The second analytically solvable model appears when n = 20: In this case, the symmetric solution of f R takes the form Using the same procedure as the last subsection, we obtain a simple polynomial solution

Linear perturbations and stability of the solutions
In this section, we consider small metric perturbations around the solutions we obtained in the previous section. Our aim is to show that both of the solutions are stable against the metric perturbations to the linear order.
It is well known that a pure f (R) gravity is conformally equivalent to a theory with a minimally coupled scalar in Einstein's gravity [23]. The linear perturbations of the latter case has been extensively investigated in the literature [47][48][49]. Thus, it is more convenient to discuss the stability of our solution in the Einstein frame.

The Einstein frame
First of all, we define a new variable z, such that dz = e −A dy. In terms of z, the metric can be written as Then we introduce a conformal transformation, where (z) is a function of z. From now on, we will always use a tilde to denote a quantity in the Einstein frame. Obviously,g MN is conformally flat: Hereã(z) ≡ e A(z) , which will be used in the next subsection. Under the conformal transformation, the Ricci scalar transforms as [50] where∇ M is the covariant derivative defined by the conformal metricg MN , andX ≡g M N∇ M ∇ N . To continue, let us first rewrite the original gravitational action (1) as where At this step, we only used the relation √ −g = −5 −g. Next, we substitute Eq. (21) into Eq. (22) and take f R = 3 , such that By defining one can finally simplify the action as This action describes a minimally coupled scalar field in Einstein's gravity. The linearization of thick brane system with action (26) and metric (20) has been thoroughly studied in [47,49], where the metric perturbations are classified into tensor, vector, and scalar modes. Each type of these modes evolves independently, and none of the perturbation equations relies on the explicit form of V (φ).

Quadratical actions and stability
Now we consider the linearization of a system defined by the action (26) along with the metric (20). We need to consider perturbations coming from both the scalar field φ and the metricg MN , denoted by δφ and δg MN ≡ã 2 (z)h MN , respectively. To obtain the equations for linear perturbations, one can expand the action (26) to the second order of δφ and h MN . The result can be found in Refs. [47][48][49], but here we use the one of Ref. [51]: where ∂ M = η M N ∂ N , ∂ μ = η μν ∂ ν , h = η M N h MN , and the primes represent the derivatives with respect to z. Note that in this subsection, all the upper indices μ, ν (or M, N ) are raised by the Minkowski metric η μν (or η M N ). Note that for pure gravity around a Minkowski background (ã = 1), S (2) reduces to the well-known Fierz-Pauli action [52].
Following the procedures in Ref. [51], we introduce the scalar-tensor-vector (STV) decompositions for the metric perturbation: 1 where C μ , G μ are transverse vector perturbations: and D μν denotes the tensor perturbation, which is transverse and traceless (TT): The STV decomposition enables one to decompose S (2) into three independent parts: Each type of perturbation evolves independently and, therefore, can be analyzed separately. The vector and tensor sections are μν , (33) respectively, where (4) = η μν ∂ μ ∂ ν . The normal modes of the vector and the tensor perturbations arê v μ =ã respectively. The second-order action of scalar perturbations is more involved, it is composed of two parts [51]: S with ψ ≡ F − 1 2 B , and 1 The STV decomposition method was first introduced in cosmology by Bardeen [53], and now it is a widely accepted method in dealing with cosmological perturbations [54][55][56]. This method can also be extended in the study of brane world perturbations [47][48][49]51].
The variation δS (2) s-1 /δψ = 0 leads to the following constraint equation: Using this equation, one can eliminate h zz in the action (36). After a simplification, one finally obtains [51] S (2) s-2 = d 5 xĜ Here,Ĝ is a gauge invariant variable defined bŷ and θ is a function defined as From the quadratic actions (32), (33), and (38), one can easily obtain the linear perturbation equations via the Hamiltonian variation principle, δS (2) t /δD μν = 0, δS (2) s-2 /δĜ = 0, (43) and the final results are [51] (see also [47]): vector: tensor: scalar: Note that the tensor perturbation Eq. (45) has also been derived directly without using conformal transformation by the present authors [44]. Obviously, the normal mode of the vector perturbations has only the zero mode. Therefore, our solutions are stable against the vector perturbations. For the tensor and scalar modes, we introduce the following decompositions: where μν is the TT polarization tensor. It is not difficult to show that ρ p (z) and q (z) satisfy the following equations: where m 2 p = −p μ p μ , M 2 q = −q μ q μ , and In the theory of supersymmetric quantum mechanics, the common structure of Eqs. (48) and (49) ensures that both m 2 p and M 2 q are semi-positive definite, namely, m 2 p , M 2 q ≥ 0 for all p and q. Therefore, our solutions are also stable against the tensor and scalar perturbations.
Note that in order to make the variablesã, φ, and z well defined, our solutions must satisfy f R (y) > 0 for y ∈ (−∞, +∞). One can easily show that our solutions (11) and (16) satisfy this requirement.

The normalization of the tensor zero mode
Equation (48) is in fact a Schrödinger-like equation, where the effective potential W (z) reads This expression is consistent with the result derived in Ref. [44]. The spectrum of the tensor KK modes ρ p determines the effective four-dimensional gravity. Let us start with the zero mode ρ 0 with m 0 = 0. A normalizable ρ 0 leads to the four-dimensional Newton law [8,47]. Besides, the fourdimensional Planck constant is finite only when ρ 0 is normalizable [47].
From Eq. (48) we know that the zero mode of the tensor perturbation takes the form where N T is the normalization constant. The tensor zero mode ρ 0 is normalizable provided Here we have used the relation dz = e −A dw k . For both of our solutions, the above integration can be done analytically. For the triangular model (14), the integration gives or Similarly, for the polynomial model (17) we get Thus, for both of our solutions, the gravitational zero mode is normalizable and can be localized on the brane, which results in the familiar Newton law on the brane.

Correction to the Newton law
To obtain an acceptable version of four-dimensional gravity, we have to require the massive modes ρ p with p > 0 not to lead to unacceptably large corrections to the fourdimensional Newton law (in this case, we also say that the massive modes are decoupled). For simplicity, we follow the study of Ref. [16] and only consider two massive points μ 1 and μ 2 located at z = 0. We denote the distance between μ 1 and μ 2 by r . As has been addressed in Ref. [16], the asymptotic behavior of the effective potential W (z) at |z| → ∞ determines not only the localization of the zero mode, but also the decoupling of the massive modes. The localization of the zero mode requires that W (|z| → ∞) ≥ 0. If W (|z| → ∞) > 0, namely, there is a gap between the zero mode and the excited states; then we will obtain exponentially suppressed corrections to the Newton law. The most interesting case is W (|z| → ∞) → 0. In this case, the scattering states start at m = 0, and the decoupling of the massive modes becomes a delicate issue. An important result of Ref. [16] states that if the potential W (z) → β(β + 1)/z 2 as |z| → ∞, the massive modes will contribute a correction U ∝ 1/r 2β to the Newton law at large distance (see also [57]).
As depicted in Fig. 1, the effective potentials corresponding to both of our solutions approach zero as |y| → ∞. They have the same asymptotic behavior in the z coordinate too, as the coordinate transformation is simply a redefinition of y, and the shape of W will not change. Thus, our residual task is to prove that z 2 W (z) = β(β + 1) is a constant as |z| 1, and to find the exact values of β corresponding to our solutions.
In fact, if z 2 W (z) approaches a constant in the z coordinate, it should have the same asymptotic behavior in the w coordinate, in which all the quantities have analytical forms.
For both of our solutions, z 2 W (z) can be analytically obtained. Instead of writing down the explicit expressions, we show in Fig. 2 that for both of our solutions lim |z|→∞ z 2 W (z) = 15 4 , namely β = 3/2. Thus, the corrections to the Newtonian potential U ∝ 1/r 3 are suppressed at large r for both of our models.

Conclusions
In this paper, we studied two analytically solvable thick RS-II brane world models in pure metric f (R) gravity theories. Instead of starting with simple forms of f (R), we began with two simple types of metric solutions and derived the analytical forms of f (R). We obtained two types of f (R) gravities: a triangular one and a polynomial one.
Then we studied the stability of our solutions against small linear perturbations, including tensor, vector, and scalar perturbations. We found that the solutions are stable against all types of perturbations.
In the end, we considered the reproduction of the fourdimensional Newtonian gravity. We first demonstrated that the tensor zero modes are normalizable and localized on the brane for both of our models; so the well-known Newton gravitational law can be reproduced. Then we showed that for two static mass points localized at z = 0, all the massive tensor modes contribute a suppressed correction U ∝ 1/r 3 to the Newton law. Therefore, the massive tensor modes are decoupled.
This work complements the studies of Ref. [46] by adding a new analytical solution and offering a complete discussion on the stability of the solutions. Our procedures for finding analytical solutions might also be useful for cosmologists.