Brane modeling in warped extra-dimension

Five-dimensional scenarios with infinitesimally thin branes replaced by appropriate configurations of a scalar field were considered. A possibility of periodic extra dimension was discussed in the presence on non-minimal scalar-gravity coupling and a generalized Gibbons-Kallosh-Linde sum rule was found. In order to avoid constraints imposed by periodicity, a non-compact spacial extra dimension was introduced. A five dimensional model with warped geometry and two thin branes mimicked by a scalar profile was constructed and discussed. In the thin brane limit the model corresponds to a set-up with two positive-tension branes. The presence of two branes allows to address the issue of the hierarchy problem which could be solved by the standard warping of the four dimensional metric provided the Higgs field is properly localized. Stability of the background solution was discussed and verified in the presence of the most general perturbations of the metric and the scalar field.


Introduction
The idea of extra-dimensions of space-time inspired by the string theory received a lot of attention since the last decade or so as a possible solution to the problem of hierarchy between the Planck scale M P l ≈ 10 18 GeV and the electroweak scale m EW ≈ 10 3 GeV [1][2][3]. The most attractive incarnation of the idea, proposed by Randall and Sundrum [3], involves one extra-dimension with non-trivial warped factor appearing due to the anti-de Sitter (AdS) geometry along the fifth-dimension. This is so-called RS1, the Randall-Sundrum model with two D3 branes on the S 1 /Z 2 orbifold along the extra-dimension. In this model the hierarchy problem can be addressed without introducing the large compactified volume of the extra-dimensions as suggested by Arkani-Hamed, Dimopoulos, Dvali (ADD) [1,2], by the virtue of the non-trivial warped geometry along the extra-dimension. The model

JHEP01(2013)177
requires the presence of two singular D3 branes of opposite tension. There were many attempts to avoid the presence of thin (singular) branes. It has been shown [4][5][6][7][8][9][10][11][12][13][14], that the positive tension brane could be smoothed (or, in other words, regularized) by a background scalar field configuration which we term here as the smooth or thick brane. However there is no satisfactory simple strategy to model the negative tension brane at least for scalar field minimally coupled to gravity. For example of an existing attempts to generate negative tension branes see [15]. Also, as shown by Gibbons et al. [16], periodicity of set-ups like RS1 is generically in conflict with the idea of a smooth non-trivial scalar profile. So, concluding, smoothing the RS1 scenario is severely limited by periodicity and impossibility of generating a negative tension brane by a scalar field configuration. The conclusion holds at least for the case when the scalar field is minimally coupled to gravity, the generalization will be considered below.
It has been pointed out by Randall and Sundrum in their second seminal paper that the extra-dimension can be infinite and yet it can lead to nearly standard 4D gravity [17]. The main idea in this second paper (RS2) is that a single D3 brane of positive tension is embedded in a 5D AdS geometry and the gravity is effectively 4D at large distances. The 4D graviton is localized on the brane which implies finite 4D Planck mass. Since a positive tension brane could be mimicked by a scalar field, therefore the RS2 seems to be more attractive from that perspective. However, the RS2 model having just one D3 brane is not addressing the hierarchy problem. Since solving the hierarchy problem is the main motivation for our study, therefore we will try to improve the scenario by introducing a second brane.
The purpose of present work is twofold: • to see if one can overcome the above mentioned obstacles (periodicity and positivity of brane tension) to achieve a smooth version of RS1 in modified gravity with the scalar field non-minimally coupled to the Ricci scalar, and • to verify if one can address the hierarchy problem with two thick branes (which in a certain "brane limit" mimic two positive tension singular branes) with non-compact warped extra-dimension.
As far as the first question is concerned, we will show, by generalizing the Gibbons-Kallosh-Linde sum rules [16], that it is not possible to achieve the periodicity for scalar field and metric solutions even with the scalar field non-minimally coupled to the Ricci scalar. The consistency conditions have been discussed following the strategy of Gibbons et al. [16] in the modified gravity set-up [18], however the authors consider the scalar field in the bulk with singular branes, this is exactly what we want to avoid for our set-up, i.e., we wish to have smooth branes instead of singular branes. Another attempt to overcome the problem of periodicity was discussed in [19]. Concerning the issue of the positivity of a brane tension generated by a scalar profile we also find that even with non-minimal scalar couplings there is no way to generate a negative tension brane. Therefore we turn our attention to models with only positive tension branes (e.g. the RS2) and non-compact (to avoid restrictions imposed by periodicity a'la [16]). Since we find a satisfactory model

JHEP01(2013)177
with a scalar that is minimally coupled to gravity, we restrict ourself to that scenario. In order to be able to address the hierarchy problem we will propose a model with two thick (smooth) branes, which, in an appropriately defined limit (so called brane limit) approaches two singular branes. The limiting version of the model was discussed earlier by Lykken and Randall (LR) in [20]. As we will show, in our set-up of two thick branes, different possible solutions for the warped factor can emerge, for instance, we can have the AdS or Minkowski geometry in different regions along the extra-dimension. We will discuss three such configurations, (i) the two thick branes between the AdS vacua so that we have warped geometry and hierarchy problem could be addressed in this set-up (this is the thick brane version of the Lykken-Randall model [20]), (ii) the case when we can have the Minkowski background in between the two branes and the AdS geometry to the right and left of both branes and, (iii) with the Minkowski geometry to right or left of both branes and the AdS in the other regions along the extra-dimension, which gives the thick brane version of the Gregory, Rubakov, Sibiryakov (GRS) model [21] except that we have the second brane also with positive tension instead of the negative tension as in the original GRS model with singular branes. In all the above mentioned three cases we study stability of the background solutions and also existence and localization of the zero-modes of the scalar, vector and tensor (SVT) perturbations of the solutions. The issue of stability and localization of the zero-modes have been extensively discussed in the past in the context of thin as well as thick brane scenarios [6][7][8][9][10][11][22][23][24][25][26][27][28][29][30][31][32][33][34][35][36]. We find that the SVT perturbation equations could be transformed into a supersymmetric quantum mechanics form so that they guarantee stability of these perturbations in all the configurations considered above and also the absence of tachyonic modes. It turns out that the zero-mode of the tensor perturbation wave function (that corresponds to the 4D gravitons) is localized in the cases (i) and (ii) but it is quasi-localized in the case (iii) mentioned above. The zero-modes corresponding to the scalar and vector perturbations are not localized, as they are not normalizable modes, consequently they do not affect the 4D physics. The paper is organized as follows. Possibilities and difficulties of constructing smooth generalizations of the RS1 in the modified gravity scenario is considered in Sec 2. In section 3 the background solutions of the two thick brane set-up is discussed in the standard Einstein-Hilbert gravity. Possible different geometric configurations for the two thick branes are discussed in section 4 along with their brane limit solutions. Section 5 is dedicated to the linearized Einstein equations. Where we have derived the equations of motion for the SVT perturbations in the Newtonian or longitudinal gauge. The issues of stability and localization of zero-modes of the SVT perturbations are covered in section 6. The last section, section 7, contains our conclusions. Appendices are dedicated to conventions and some mathematical details for the SVT decomposition of the metric perturbations and the gauge choice.

Thick brane generalization of RS1 in modified gravity
Our first goal is to mimic (regularize) D3-branes which appear in various five-dimensional (5D) scenarios that solve the hierarchy problem by warping the metric along the extra JHEP01(2013)177 dimension in the spirit of [3]. The most natural approach is to introduce a 5D scalar field φ with a non-trivial profile (that satisfies equations of motion) that in certain limit could mimic a brane by approaching a delta-like energy distribution along extra dimension. However, as it was shown in [16], in the case of compact extra dimensions the idea of a nontrivial scalar profile (a thick brane) is severely restricted by the requirement of periodicity. Arguments adopted in [16] apply for a scalar that is minimally coupled to gravity. Therefore here, we are going to discuss first a class of models allowing for non-minimal scalar-gravity coupling: where f (φ) is a general smooth positive definite function of the scalar field φ, 1 which is supposed to compose the D3-branes that are present in the RS1 scenario [3]. In our convention capital roman indices will refer to 5D objects, i.e., M, N, · · · = 0, 1, 2, 3, 5 whereas, the Greek indices label four-dimensional (4D) objects, i.e., µ, ν, · · · = 0, 1, 2, 3. In the eq. (2.1) ∇ M is 5D covariant derivative, for conventions and details see the appendix A .
In other words, branes would be made of the scalar field while other fields could be dynamically localized in certain regions of the 5D space, see for instance [37][38][39][40]. Thick branes in the presence of non-minimally coupled scalar was discussed earlier by [41,42].
We will look for a solution of the Einstein equations with the following 5D metric 2 ansatz where η µν (x) is the 4D metric and the warp function A(y) is only a function of the extraspatial coordinate y. The Einstein's equations of motion, resulting from the action (2.1) are with the energy-momentum tensor for the scalar field φ as

JHEP01(2013)177
where prime ′ denoted the derivative with respect to y, and it is understood that f and V are functions of the scalar field φ(y).

Thick branes with periodic extra dimensions
Here we would like to verify if the scenario with a non-trivial profile of a bulk scalar could be consistent with periodicity in the case of compact extra dimension. The authors of [16] derived elegant, simple and powerful sum rules that severely restrict thick brane scenarios with periodic extra dimensions. From our perspective the most relevant result obtained there is the following condition that must be satisfied for periodic extra dimensions with a bulk scalar φ when singular branes are absent: The above result implies that non-trivial scalar profiles are inconsistent with periodicity, the only allowed configuration is φ =const. The sum rule (2.9) was obtained assuming minimal scalar-gravity coupling. In the following we are going to generalize the result for the case of non-minimal coupling described by the action (2.1). It is easy (subtracting eqs. (2.6) and (2.7)) to derive an equation of motion that contains only the warp function A(y) and the input profile φ(y): It is useful to rewrite the above equation by the change of variables X(y) = A ′ (y): X ′ (y) = F (y)X(y) + G(y), (2.11) where, . (2.13) We assume that the profile is periodic with a period L: then f (φ) and consequently, F (y) and G(y) are also periodic with the same period L. Since dy F (y) = 0 (2.14) it is straightforward to notice that the solution of the homogeneous part of eq. (2.11) is periodic as well.

JHEP01(2013)177
The inhomogeneous equation (2.11) could be rewritten in the following form [Z(y)X(y)] ′ = Z(y)G(y), (2.16) where Z(y) ≡ Z(0)e − t 0 F (s)ds is a solution of the following homogeneous equation, Integrating (2.16) over the period we obtain the following condition: dy G(y)Z(y) = 0, (2.18) which constitutes the proper generalization of the Gibbons-Kallosh-Linde sum rule (2.9). For F (y) defined in (2.12) one obtains Z(y) explicitly Then, after integrating by parts, the sum rule (2.18) reads The above sum rule again implies that even in the presence of non-minimal couplings, f (φ)R, only the trivial profile, φ =const., is consistent with periodicity. Note that (2.20) holds also for multicomponent scalar fields, therefore even in that case non-trivial profiles in the absence of singular branes are excluded by periodicity. It is also worth mentioning that the result (2.20) could be obtained by writing the action (2.1) in the Einstein frame where the scalar field is minimally coupled to gravity. In the Einstein frame the standard GKL sum-rule (2.9) holds, and when the sum rule is rewritten back in the Jordan frame defined by (2.1), the result (2.20) is reproduced.

Negative tension brane in modified gravity
In the RS1 set-up one of the two 3-branes must have a negative tension. Therefore in this subsection we turn to the question weather a negative tension brane can be constructed out of a real scalar field in the modified gravity scenario when the scalar field is non-minimally coupled to gravity as in (2.1). By the virtue of the result of the previous subsection we discard the possibility of periodic extra dimensions. Let us assume, without loosing any generality, that the scalar filed φ(y) has a kink-like profile, where β is a brane-thickness controlling parameter. For β → ∞ (the brane limit), as it will be discussed in details in section 4, the profile φ(y) generates singular energy density localized at y = 0 that could mimic a D3-brane.

JHEP01(2013)177
The action for the kink configuration (2.21) can be written as, while the action for a brane localized at y = 0 with a negative tension (λ > 0) reads Using the equations of motion (2.6) and (2.7) we can rewrite the action (2.22) as follows As it will be clear from the next section, the only interesting set-up is such that the warp function A(y) reaches its maximum at the brane location (so A ′ (0) = 0), therefore among the above terms only the very first one contributes to the brane tension. However, as it is seen from (2.23) there is no possibility to reproduce the sign required by the negative tension. Therefore we conclude that a single kink-like profile can generate only a positive tension brane even in the case of modified gravity.

Conclusions on thick brane generalization of the RS1 model
As we have shown in the proceeding subsections there is a conflict between the RS1 scenario and the idea of branes generated by bulk scalar profiles: • As shown in section 2.1, even in the presence of the non-minimal scalar-gravity coupling f (φ)R, periodicity in the extra coordinate can not be reconciled with a nontrivial profile.
• One of the branes in the RS1 scenario must have negative tension, however as we have shown in section 2.2 even if scalars interact non-minimally with gravity there is no way to generate a brane with negative tension.
The above observations prompt to give up compactness and therefore to discuss a possibility of mimicking the RS2 model with non-compact extra dimension. Since we would like to allow for the solution of the hierarchy problem by the virtue of warping the metric along extra dimensions, we will introduce a scalar field, the profile of which could mimic a scenario with two branes of positive tension with AdS metric in between them. This is what we are going to discuss in the following sections limiting ourselves to the case of minimal scalargravity coupling, however the analysis could be easily extended to non-minimal scenarios as well.

Two thick branes and the background solutions
From now onwards we will adopt the following action for a 5D scalar field minimally coupled to the Einstein-Hilbert gravity

JHEP01(2013)177
where g M N is the warped 5D metric, The Einstein's equations and the equation of motion for φ, resulting from the action (3.1) are where ∇ 2 is 5D covariant d'Alambertion operator (see appendix-A for conventions and details) and the energy-momentum tensor T M N for the scalar field φ(y) is, We assume that the scalar potential V (φ) could be expressed in terms of the superpotential W (φ) as [6], where W (φ) satisfies the following relations, (3.10) Although the use of this method is motivated by supersymmetry, no supersymmetry is involved in our set-up. The method is elegant and very efficient, in particular it implies that the system of second order differential equations (3.6)-(3.8) is now reduced to first order ordinary differential equations which are much easier to deal with. We also point out that the superpotential method is fully equivalent to the standard approach (i.e. solving the equations of motion) as long as the solutions for scalar field have monotonic profile, as it will be the case in our model with kink-like profiles. It is worth to mention that the standard (and straightforward) application of the superpotential method is limited to the single scalar-field case since with multi-scalar fields it becomes difficult to handle analytically.

JHEP01(2013)177
We are interested in the case where the scalar field φ(y) is given by a kink-like profiles, 3 (3.11) where β α are the thickness regulators and κ α parameterize tensions of the branes in the so called brane limit β α → ∞ (from here on we will consider β α = β, i.e. all the branes have equal thickness, although that could be relaxed). As it will be shown in the next section the profile (3.11) in the brane limit corresponds to 3-branes with brane-tensions given by It is important to note that this set-up implies that only positive brane tensions could be mimicked by scalar filed configurations, as was also pointed out by DeWolfe et al. [6]. Therefore the scalar field can not reproduce the RS1 scenario where the IR brane has a negative tension. In our set-up we consider two kinks corresponding to two thick branes at locations y = y 1 and y = y 2 . They are supposed to mimic two positive-tension branes in the brane limit, so the scalar profile φ(y) could be chosen as follows, We can find the superpotential W (φ) in such a way that it allows a solution of the scalar field φ(y) as in eq. (3.13). This can be obtained from eq. (3.10) as, where W 0 is some constant of integration. Deriving the above relation it is assumed that φ(y) is an invertible function of y, so that the superpotential could be written as a function of y as where in deriving eq. (3.16) we assume that the cross term is negligible as far as β is large and/or the separation "y 2 − y 1 " between the two thick branes is large such that,

JHEP01(2013)177
After obtaining the superpotential W (y) we find from eq. (3.10), The integration constant W 0 can be fixed by the requirement that A(y) has a maximum at y = y 0 . The location of maximum with respect to y 1,2 will correspond to different 5D geometric configurations that we will discuss in section 4. Therefore, we choose the integration constant W 0 as, such that A ′ (y 0 ) = 0. Now it is straightforward to find the warp factor A(y) by integrating eq. (3.17) w.r.t. y. The result reads, where A 0 is a constant of integration which can be fixed by the requirement such that A(y 0 ) = 0. Note that far away from the thick branes the warp function takes the RS form [3,17] A(y → ∞) ∼ −κ|y|, |y| ≫ |y 1 − y 2 |, It is easy to see that we get the same behavior, i.e., the RS form of A(y), for all values of y in the brane limit when β → ∞, which will be discussed in detail in the next section.
It should be mentioned that this set-up reduces to the usual single thick brane [10] if we assume that one of the branes is far away from the other brane, say y 1 = 0 and y 2 → ∞ such that the second brane can be removed from the set-up and in that case κ = 1 24M 3 4 3 κ 2 1 . Unfortunately in the one-brane case the hierarchy problem remains unsolved, that is why we focus on the two-brane scenario as the hierarchy problem is one of the main motivations of this work. In our case the second thick brane is located in the AdS space at suitable location y 2 such that the hierarchy problem could be addressed as in a similar way as it was done in the original RS1 set-up [3] or in the LR set-up [20].
Before closing this section it is instructive to discuss the shape of the scalar potential, that is determined by our requirement of having (3.13) together with the ansatz (3.2) as JHEP01 (2013)177 solutions of the equations of motion. Having the superpotential W determined, one can, using (3.9), find the scalar potential as a function of y. However, since φ(y) is an invertible function, therefore it is also possible to plot the potential V (φ) (3.9), as a function of φ. However, in order to develop some intuition, let us first consider the presence of just onekink profile (2.21) with parameters κ and β. Then the potential V (φ) could be determined analytically since one can easily solve equations of motion for A(y), from the invertible profile one can find y = y(φ) and then adopt it, for instance, in (3.6). The results reads: (3.21) Note that the above form of the potential applies, strictly speaking, only for −κ/ √ β < φ < κ/ √ β since the profile that is required to fulfill equations of motion varies in that range. For small field strengths, φ M 3/2 , gravitational effects (the second term) are small, so that the dominant contribution is just the Mexican-hat potential (the first term). In the real case the scalar profile is a sum of two kinks (3.13), therefore its range of variation is roughly a "sum" of ranges for two separate kinks. In the absence of gravity each kink is a solution of equation of motion for a Mexican-hat type potential, again if a field strength is small comparing to the 5D Planck mass 3/2 the dominant contribution to the potential is the Mexican-hat component. Since kinks profiles vary in between field strengths corresponding to the two minima therefore the shapes which we observe in figure 1 are roughly "sums" of inner parts (only the inner part could be determined) of two Mexican-hat like potentials; one centered around −κ 1 /(2 √ β) and the other one around +κ 2 /(2 √ β). In reality (with gravity) the picture is slightly distorted by the gravity effects that become relevant around the external ends of region of variation where φ/M 3/2 ∼ 1. In the case of double kink it is not possible to find the potential analytically, so V (φ) determined numerically is shown for several choices of the parameters β in figure 1. Since the strength of the profile field varies between −(κ 1 + κ 2 )/ √ β and +(κ 1 + κ 2 )/ √ β therefore the potential V (φ) can also be determined in that region only, which is manifest in figure 1. Note that in order to trust classical field theory results the scalar field strength φ must be limited by the 5D Planck mass M 3/2 , therefore we conclude that our results are consistent if β k 2 i /M 3 . Since in figure 1 we assumed κ 1 = κ 2 = 1 and M = 1 therefore we are limited by β 1, so those cases were plotted and then the range of variation of φ is appropriate.

The brane limit
In this section we will consider different possible scenarios that could be realized with two thick branes and then we will discuss limiting (the brane limit) solutions corresponding to thin (singular) branes. To show how scalar field φ is making a brane, we start by looking JHEP01(2013)177 at its action calculated for the profile (3.13), (4.1) In the brane limit we have, 4 such that the scalar action (4.1) can be written as, where Λ B (y) is a function that generates cosmological constants in various regions of the bulk: Therefore, depending on the choice of the extremum location y 0 , different values of cosmological constant to the left, in between and to the right of the two branes could be generated.
In what follows we will find analytic solutions for the two positive tension branes in the brane limit (β → ∞) and numerical results for the corresponding thick brane scenarios. In the brane limit, we can write the total action as, where λ 1,2 = 4 3 κ 2 1,2 are the respective brane tensions at each brane located at y = y 1 and y = y 2 and Λ B (y) is the bulk cosmological constant, defined in eq. (4.3). In the brane limit we can obtain the equations of motion from action (4.4) as, In the brane limit the smooth solution of A ′ (y) (3.17) will take the following form, From eqs. (4.5) and (4.6), one gets (which is also manifested from eq. (4.7)), which implies that A ′′ < 0 as λ 1,2 > 0, thus alowing for maxima of A(y). Let us denote the location of the maxima by y 0 , that can be chosen anywhere along the extra-dimension, such that, In the brane limit W 0 (3.18) takes the form,

JHEP01(2013)177
Therefore we obtain (in the brane limit) for the bulk cosmological constant, the following result (4.11) It is also important to note that the equation of motion (4.5) implies that the bulk cosmological constant is negative leading to anti-de Sitter vacua or in the case where it is zero that the corresponding geometry will be Minkowski in that region of space.
In the following we will consider different cases depending on the location of the extremum point y 0 along the extra-dimension.
Case-I: we consider the case when the extremum location is on one of the branes, say at y 0 = y 1 , we get the analytic results for A ′ (y) as, The corresponding bulk cosmological constant Λ B , in different regions along the extradimension, reads as, 13) and the values of bulk cosmological constant at the brane locations are Λ B (y 1 ) = 0 and Λ B (y 2 ) = − 1 12M 3 2λ 2 2 + λ 1 λ 2 . Note that (4.13) implies in the brane limit correlations between the brane tensions λ i and the bulk cosmological constant Λ B . It is worth to write down relations between Λ B , the slope of the warp function A ′ and the brane tensions λ i in the asymptotic regions: In the RS2 (with one brane of positive tension λ) the corresponding relation is Λ B /k = ±λ, where k corresponds to ±A ′ . Numerical solutions for the thick branes in the Case I are shown in figure 2. This configuration is such that the warping function A(y) is positive (negative) to the left (right) of the branes, we will see that this scenario will have the normalizable zero-modes of the metric tensor perturbations (around the background solution) which correspond to the 4D graviton. In the brane limit this set-up is similar to the two positive D3-brane model considered by Lykken and Randall in [20].
In order to illustrate how are the branes generated, in figure 2 (a) we show the energy density T 00 = e 2A (φ ′ 2 /2 + V (φ)) corresponding to the profile. Using equations of motion T 00 could be rewritten as e 2A (φ ′ 2 − 24M 3 A ′ 2 ). This form separates two contributions JHEP01(2013)177 to T 00 : local (one that "creates" the branes) e 2A φ ′ 2 and non-local ∝ e 2A A ′ 2 (one that generates the bulk cosmological constants).
As it is seen from figure 2 (b) to the left and to the right of the branes the warp factor is quickly vanishing, that has been already observed in (3.20). If the branes are sufficiently thin (or well separated) then in between them the warping is also nearly exponential so that the hierarchy problem could be addressed. We will call the brane located at y 1 and y 2 as UV and IR branes, respectively. To illustrate consequences of the warped background geometry lets assume that the Higgs field is bounded at the IR brane and its action can be written as, whereĝ µν IR is the 4D metric induced on the IR brane,ĝ µν IR = e −2A(y 2 ) η µν , with A(y 2 ) being the value of warped factor at the IR brane and m is the 5D Higgs mass parameter (of the order of 5D Planck mass). Now the effective 4D action for the Higgs field can be written as, where we used the fact that, √ −ĝ = e 4A(y 2 ) . In order to obtain canonically normalized Higgs field, we rescale, H → e −A H, such that, where µ = me A(y 2 ) is the effective Higgs mass parameter as viewed on the IR brane. If we assume that the fundamental mass scale of the 5D theory is the Planck mass then we

JHEP01(2013)177
can require the value of warped factor at IR brane such that we get the effective 4D Higgs mass parameter µ ∼ TeV. From eq. (4.12) we have therefore if 1 24M 3 (λ 1 + λ 2 ) y 2 ∼ 30 then the hierarchy problem could be solved. Furthermore, as it will be shown in section 6.1, in this scenario (i.e. y 0 = y 1 ) there exits a normalizable zero-mode which corresponds to the 4D graviton.
It should be emphasized that the scenario of solving the hierarchy problem described above assumes that the Higgs field H could be localized on the IR brane. The issue of localization is beyond the scope of this paper, however it is being investigated adopting standard techniques developed so far, see e.g. [10,[42][43][44][45], and will be published elsewhere.
Case-II: lets now consider the case when the extremum position is in between the two thick branes such that y 1 < y 0 < y 2 , in that case corresponding values of A ′ (y) (4.7) in the brane limit are given by, This situation is interesting since the 4D graviton is now normalizable and it is localized in between the two positive branes. However in this scenario the hierarchy problem can not be solved since there is no warping in between the two branes which is manifest in figure 3 (a). The two positive branes set-up is now similar to the single brane RS-2 [17].
Case-III: now we consider the scenario with extremum located to the left of the left brane or to the right of the right brane, so y 0 < y 1 or y 0 > y 2 . For the case when the extremum lies to the left of y 1 , in the brane limit, A ′ (y) (4.7) is given by, In this case we have Minkowski background to left of the brane located at y 1 which could be called the UV brane, however to the right of this brane we have the warped geometry, so that the hierarchy problem could be approached in the same way as it was discussed for the case-I. It is worth mentioning that similar geometrical configuration was considered by Gregory, Rubakov, Sibiryakov (GRS) [21] with singular branes. The important difference is that GRS model have one positive and one negative tension D3-brane while in our case the both branes are made out of scalar field which mimic two positive tension branes in the brane limit. The numerical results for corresponding thick branes are shown in figure 3 (b). We would like to comment here that even though this scenario addresses the hierarchy problem but it does not have the normalizable 4D graviton, for details see section 6.  Location of y 0 Region-I Region-II Region-III right of the brane located at y 2 , i.e., with y 0 > y 2 , then in the brane limit the A ′ (y) is given by, So in this case geometry to the right of the brane at y 2 is Minkowski. In table 1 we summarize results for the cosmological constant in the brane limit, the regions I, II and III are defined as y < y 1 , y 1 < y < y 2 and y > y 2 , respectively.
In all the above cases, in the brane limit, the A ′ (y) have discontinuities at the brane locations y = y 1 and y = y 2 . The discontinuities (or jump) are as follows A jump in A ′ (y) implies that A ′′ (y) have delta-like singularity, which is consistent with the equation of motion (4.6), in fact one can obtain the above jump conditions by integrating eq. (4.6) from y i − ǫ to y i + ǫ and then matching the coefficients of delta functions.

JHEP01(2013)177 5 Linearized Einstein equations
Let us consider fluctuations around the vacuum solution discussed in the previous sections. We start by replacing the 5D metric g M N (x, y) byḡ M N (y) + h M N (x, y), whereḡ M N (y) is the unperturbed background metric, given as g µν = e 2A η µν ,ḡ µ5 = 0,ḡ 55 = 1. (5.1) It will be convenient to adopt the Einstein equations in the Ricci form as, where T M N is the energy-momentum tensor given in eq.
The perturbations in theT M N will correspond to fluctuations of the scalar field φ(y) as φ(x, y) = φ(y) + ϕ(x, y) and of the metric g M N (x, y) =ḡ M N (y) + h M N (x, y). These perturbations can be calculated order by order in perturbation expansion as, where ellipses correspond to the higher order fluctuations in ϕ(x, y) and h M N (x, y). The zeroth and the first order terms are as follows,

JHEP01(2013)177
Using results from the appendix A one can find the following explicit expressions for components of the Ricci tensor in the zeroth and first order, where is the 4D d'Alambertian operator, i.e., = η µν ∂ µ ∂ ν .
Having all the components of the Ricci tensor (5.9)-(5.11) andT M N (5.6)-(5.7), one can write down the equations of motion for the metric fluctuations h M N (x, y): Additionally, we also have the equation of motion of the scalar field φ (3.4) in the first order in the fluctuations h M N (x, y) and ϕ(x, y) as, In the remaining part of this section we will derive equations of motion for perturbations of the metric and the scalar field. We are going to adopt a decomposition of the metric

JHEP01(2013)177
perturbation h M N into scalar, vector and tensor (SVT) components. For completeness we review SVT perturbations in the appendix B where it is shown by (B.15)-(B.21) that the SVT modes decouple, therefore in the following subsections we discuss them separately case-by-case.

Scalar perturbations
Scalar perturbations contribute to the metric as follows Adopting the general results from the appendix B we find the following form of the linearized field equations for the scalar modes, (5.20) One can notice from eq. (5.18) that the absence of the ∂ µ ∂ ν term on the right hand side implies ∂ µ ∂ ν (2ψ − χ) = 0 so that χ = 2ψ + c(y). Where c(y) is a y-dependent constant of integration which can be fixed by the requirement that at 4D infinities χ, ψ → 0, therefore c(y) = 0. When χ = 2ψ the equation of motion for the scalar field fluctuation (5.15) simplifies, It is important to note that, as usually in such cases, the equations of motions (5.18)-(5.21) are not independent. Adopting the relation χ = 2ψ and the background equations

JHEP01(2013)177
of motion one derive the following equation that we will use instead of (5.18) and (5.20) Hence, eqs. (5.19), (5.21) and (5.22) complete the set of linearized equations for the scalar modes. In the subsequent section we will use these equations to study stability of scalar field perturbations.

Vector perturbations
We can write down the metric for the vector perturbations as, where C µ and G µ are divergenceless vectors defined in eqs. (B.1) and (B.2). Adopting the general results from the appendix B we find the following form of the linearized field equations for the vector modes Since we are working in the gauge where G µ = 0 so the equations of motion for the vector modes of the metric perturbations read

Tensor perturbations
The tensor metric perturbation (2.2) can be written as, where, H µν = H µν (x, y) is the tensor fluctuation as defined in (B.1). Adopting the general results from the appendix B we find the following form of the linearized field equations for the tensor modes The zero-mode solution (corresponding to H µν = 0) of the above equation should represent the 4D graviton while the non-zero modes are the Kaluza-Klein (KK) graviton excitations.
The issue of the stability of the background solution (in terms of the SVT components) will be discussed in the next section.

Tensor perturbations
In order to gain more intuition and understanding of the graviton equation of motion (5.28), it is convenient to change the variables such that we get rid of the exponential factor in front of the d'Alambertian and the single derivative term with A ′ , so that we convert the above equation into the standard Schrsodinger like form. We can achieve this in two steps; first by changing coordinates such that the metric becomes conformally flat: where dy = e A dz. In the new coordinates the eq. (5.28) takes the form where dot over A represent the derivative with respect to z coordinate. Now we can perform the second step removing the single derivative term in (6.2) by making the following redefinition of the graviton field So the eq. (6.2) will take the form of the Schrödinger equation, We can further split theH µν (x, z) intoH µν (x, z) =Ĥ µν (x)H(z), whereĤ µν (x) = e ipx is a z-independent plane wave such that Ĥ µν (x) = m 2Ĥ µν (x), with −p 2 = m 2 being the 4D KK mass of the fluctuation. Then the above equation takes the form, where U(z) is the potential, Note that we can write the Schrödinger-like equation (6.6) in supersymmetric quantum mechanics form as, The zero mode (m 2 = 0) profile,H 0 (z), corresponds to the graviton in the 4D effective theory. The stability with respect to the tensor fluctuations of the background solution is guaranteed by the positivity of the operator Q † Q in the supersymmetric version of the JHEP01(2013)177 equation of motion (6.8) as it forbids the existence of tachyonic modes with negative mass 2 , m 2 < 0. 6 So, in that case, the perturbation is not growing in time.H 0 (z) could be found by noticing that the annihilation operator Q should vanish acting onH 0 , where c 1 and c 2 are constants. Therefore the massive KK modes are plane wave normalizable and we have a continuum spectrum of KK states for the cases (i) and (ii) discussed in section 4. Before closing this subsection we will briefly comment on the effective 4D gravity. We are going to estimate the effective 4D Plank mass and discuss the localization of the zero-mode of the perturbation and then corrections to the Newton's potential due to the massive KK modes. To calculate the 4D Plank mass it is important to note that eq. (6.4) only involves 2nd derivatives of the metric perturbationH µν (x, z) which is related to the fact that in the action these fluctuations have the following canonical kinetic term where the indices are contracted with the 5D Minkowski metric η M N . Since we havẽ H µν (x, z) =Ĥ µν (x)H(z) therefore (6.13) could be rewritten as follows from this we can read out the effective 4D linearized gravity as, where M P l is the effective 4D Planck mass, i.e., M 2 P l = M 3 dzH 2 (z), (6.16) 6 Since dz(QH) 2 +HQH +∞ −∞ = m 2 dzH 2 , therefore in order to guarantee m 2 > 0 the boundary term must vanish or be positive. Note that for the zero mode QH0 = 0, so indeed the boundary term disappears.
whereH(z) satisfies the supersymmetric quantum mechanic equation (6.8) for m 2 = 0. In order to reproduce the standard 4D General Relativity, M 2 P l must be finite, in other words H 0 (z) must be normalizable. It is easy to see from (6.10) that indeedH 0 (z) is normalizable for the cases (i) and (ii) for which the warp function A(y) posses the following asymptotic behavior (see eqs. (4.12) and (4.21)),

17)
A ′ (y) > 0 as y → −∞.. (6.18) The above implies that thereforeH 0 (z) is normalizable (see also figure 4 (a) and (b)) and M 2 P l is finite for the cases (i) and (ii). The situation for the case (iii) is far more complicated, as there neither we have the finite 4D effect Planck mass nor we have a normalizable zero-mode (see figure 4 (c) and (d)). However, as it was pointed out for similar singular brane set-up (GRS [21]), the effective 4D gravity on the brane can be reproduced and we could have the quasi-localized gravity [25,[47][48][49][50]. We are not going to discuss that case any farther.
In order to build some intuition concerning possible size of corrections to the Newton's law due to an exchange of massive KK modes, we will briefly consider a simple case with JHEP01(2013)177 two point like sources m 1 and m 2 located on the 4D slice at z = z 1 = 0 and at z = z 2 in the 5th dimension, so at locations of perspective branes in the brane limit. With these assumptions, the corrections to the Newton's law for the case (i) (the thick brane version of Lykken-Randall model) could be easily obtained. At the UV brane (z 1 = 0) the potential (after integrating over graviton KK modes) is modified as follows 20) where G N = (8πM 2 P l ) −1 is the 4D Newton's constant,H m (0) is the value of the graviton wave function at the UV brane and r is the distance between the point sources on the 4D slice located at z = z 1 = 0. Now, if sources are located at z = z 2 the gravitational potential is modified as follows whereH m (z 2 ) is the value of the graviton wave function at the IR brane. For singular branes the exact analysis performed in various set-ups show [17,20,21,25,31,[47][48][49][50]] that corrections to the Newton's law are small and the usual 4D gravity is restored on IR branes, therefore one could expect that similar conclusions hold also for our thick brane scenarios. In fact, as it was pointed out by Csaki et al. [9] also in thick brane scenario corrections due to massive KK modes do not induce any harmful effects for the 4D effective gravity. The detailed and rigorous study of these issues for our two thick branes, is beyond the scope of this paper and will be considered somewhere else.

Scalar perturbations
The linearized field equations corresponding to the scalar modes of the perturbation are given by eqs. (5.19), (5.21) and (5.22), i.e., One can integrate eq. (6.22) over x-coordinates and get the following equation, where we have put the y-dependent integration constant to zero by the requirement that the perturbations vanish at 4D infinities. It is more convenient to use the conformal frame where the metric can be written as in eq. (6.1) such that dy = e A(y) dz. Hence, in the new

JHEP01(2013)177
coordinates our equations of motion (6.23)-(6.25) take the following form, First we solve eq. (6.28) with respect to ϕ and calculateφ as, and then use it in (6.27), so that we obtain an equation only for ψ, To convert this equation into the Schrödinger form it is instructive to remove the first derivative terms of the perturbation ψ, to do so we redefine the scalar perturbations as, Then the linearized field equation for the scalar perturbation ψ takes the following form, We can further decompose theψ(x, z) intoψ(x, z) =ψ(x)ψ(z), whereψ(x) = e ipx is a z-independent plane wave such that ψ (x) = m 2ψ (x), with −p 2 = m 2 being the 4D KK mass of the fluctuation. So, with this field decomposition eq. (6.32) can be written as, The properties of this equation has also been explored in the past in the context of stability and dynamics of radion in [11,[27][28][29][30] and [31]. To develop some intuition concerning this equations it is convenient to rewrite it in supersymmetric quantum mechanics form. For this purpose we introduce an auxiliary function α(z) defined by Now we can write the potential of the above equation in the following form, = ω 2 (z) −ω(z), (6.35)

JHEP01(2013)177
where ω(z) ≡α (z) α(z) . Then we can rewrite the eq. (6.33) in a supersymmetric quantum mechanics form as, where the operator A † and A are defined as, The above supersymmetric form of the scalar perturbation equation (6.36) guarantee that there is no solution forψ with m 2 < 0, hence the fluctuation ψ can not destabilize the background solution. The zero-mode for the scalar perturbationψ(z) can be obtained from (6.36) as,ψ , (6.38) which is plotted as a function of z in figure 5. It is important to note that the zero-mode for the scalar perturbationψ(z) is not normalizable. As one can easily see from the above expression,ψ 0 diverges when z → ∞ (thenφ(z) → 0 and also e 3 2 A(z) → 0 for the case (i) and (ii)), this behavior is illustrated in figure 5. In fact, also ψ 0 ( Although our main concern here is to verify the stability, nevertheless it is worth to check the behavior of the potential at z → ±∞ in order to see whether there is a mass gap in the spectrum of scalar modes. From (6.35) one can easily find the explicit form of the potential as a function of z where y as a function of z could be determined from y y 0 e −A(y ′ ) dy ′ = z(y) − z(y 0 ). (6.40) If we limit ourself to the large y region and the integration constant y 0 is large enough, we can use the asymptotic behavior of A = A(y) as in (3.20) then we find (6.39) we find that lim z→±∞ U ψ (z) = 0, 7 therefore we conclude that the spectrum is continuous starting at m 2 = 0.
It is worth to comment on another possible zero mode solution. The theory that we are discussing here is invariant with respect to a shift along the extra dimension: y → y + ǫ, therefore if a given metric g M N (x, y) and a scalar field φ(x, y) are solutions of equations JHEP01(2013)177

Vector perturbations
The field equation obtained for the transverse vector mode of the perturbation, after integrating eq. (5.26) w.r.t. x-coordinate, is, where we have set the integration constant to zero by using the fact that perturbations should be localized in 4D so that they do vanish far away from sources. It is more intuitive to write the vector perturbation in the conformal coordinates so that the results can be interpreted easily. Therefore, in the conformal frame the equations of motion for the vector modes of the perturbation take the form, One can immediately notice from eqs. (6.45) that the vector modes of perturbations are massless.
Since the eq. (6.45) is first order in z-derivatives so it can not be put into an elegant Schrödiger like form as for the case of tensor and scalar modes. Therefore to see if these modes are localized or not we have to find canonical normal modes of these perturbations from the second order perturbation of the action [27,28], the result reads: where,C µ = e 3 2 A C µ corresponds to the canonical normal mode. From eq. (6.45), one finds that C µ (x, z) =Ĉ(x)e −3A . So the canonical normal zero-mode of the vector perturbation can be given as,C µ = e − 3 2 AĈ µ (x), (6.47) whereĈ µ satisfies the equation Ĉ µ (x) = 0. Recall that from the requirement of reproducing the General Relativity at low energies we had Therefore the canonical normal vector modes can not be localized since the integral dze −3A(z) must be divergent (as a consequence of the finiteness of the 4D Planck mass). Hence, the vector modes of the perturbation are not localized and therefore they do not affect issue of stability.

Conclusions
Five dimensional Randall-Sundrum like models offer an elegant and simple solution to the hierarchy problem. The standard formulation of those models assumes the presence of infinitesimally thin branes embedded in five dimensional space time. Usually, one of the branes has a negative tension. This work was motivated by a desire to avoid infinitesimally JHEP01(2013)177 thin branes and instead to model them by physical objects, e.g. background profiles of a scalar field.
We have shown that even in the presence of non-minimal scalar-gravity coupling it is not possible to mimic a negative tension brane. In an attempt to construct a model that is periodic in the extra dimension we have derived a generalization of the Gibbons-Kallosh-Linde sum rule that holds also if the scalar field couples non-canonically to the Ricci scalar. It turned out that even in that case periodicity forbids any non-trivial scalar field profile along the extra dimension. Therefore we have focused on non-compact extra dimensions. In order to have a chance to address the hierarchy problem, the scalar background that we introduce is composed of two kink-like profiles. This set-up in the brane limit corresponds to a model with two thin branes both having a positive tension. Various possible cases, depending on the location of the maximum of the warp function has been considered; the most attractive option turned out to be the one with the maximum located on the top of one of the thick branes.
Stability of the background solution was discussed in details and was verified in the presence of the most general perturbations of the metric and the scalar field.

A Conventions
In this paper we used the metric signature as − + + + + and in our conventions the capital roman indices represent 5D objects, i.e., M, N, · · · = 0, 1, 2, 3, 5, whereas, the Greek indices label four-dimensional (4D) objects, i.e., µ, ν, · · · = 0, 1, 2, 3. Some of the most frequently used quantities are summarized in this appendix. In our conventions the definition of 5D covariant derivatives, acting on contravariant and covariant vectors are, respectively, The definition of the covariant derivative of a second rank tensor is, The 5D d'Alambertian operator ∇ 2 is defined as, The metric is perturbed as, g following ansatz: where the warp function A(y) is only a function of the extra-spatial coordinate y. The Christoffel symbols or the affine connections take the following form in terms of the linear perturbation of the metric, where the barred quantities, i.e.,ḡ andΓ, are unperturbed. The only non-vanishing components of the unperturbed Christoffel's symbol are, The non-zero components of the perturbed Christoffel's symbols to the first order in the perturbation are, The following relation for Christoffel's symbols proved to be very useful: The explicit form of 5D d'Alambertian operator acting upon an unperturbed (φ(y)) and a perturbed quantity, say φ(x, y) =φ(y) + ϕ(x, y) are, where = η µν ∂ µ ∂ ν is the 4D d'Alambertian operator. The Ricci tensor in the first order in the perturbation can be written as,

B SVT decomposition of perturbations and gauge choice
In this appendix we review the decomposition of most general symmetric perturbation h M N into scalar, vector and tensor (SVT) modes. The matter of gauge choice in the warped extra-dimension in the presence of a scalar field is also discussed. These issues were studied in the literature, see for example, [11, 26-30, 33, 46]. Due to the symmetries (4D Poincáre invariance) of the background metric and the energy-momentum tensor, we can decompose the perturbations h M N into scalars, vectors and tensors as follows, where ψ, χ, B and E are scalars, whereas, C µ and G µ are divergenceless vectors and H µν is the transverse and traceless tensor, i.e., The perturbation modes are functions of x and y coordinates. Let us discuss the uniqueness of the above decomposition. It is easy to see that B is determined by h µ5 as follows Therefore shifting B by a solution the homogeneous equation λ = 0 leads to another allowed solution of (B.5). 8 In order to specify the solution of λ = 0 one has to fix initial conditions, that can be done e.g. by specifying λ(t, x, y) and ∂ t λ(t, x, y) at a given time.
Hereafter we are going to assume that at a certain time t = t 0 that is far enough in the past both λ(t, x, y) = 0 and ∂ t λ(t, x, y) = 0. That assumption is physically well motivated as there is no reason to observe any perturbations at the very beginning and implies that the only solution of λ = 0 is in fact λ = 0. Therefore the decomposition (B.2) is unique. Similar strategy could be adopted to show uniqueness of the decomposition of h µν provided appropriate initial conditions are adopted. We start by determining E as a solution of the following equation that is implied by (B.1): Having E determined (with appropriate initial conditions that ensures uniqueness) one can find ψ solving Adopting the background equations of motion the above equations could be simplified as follows: (B.14) Now comparing the coefficients of η µν , ∂ µ ∂ ν , ∂ ν and the tensors on both sides we get from (µν) components the following equations of motion for the scalar, vector and tensor modes JHEP01(2013)177 of the perturbations For (µ5) and (55) we obtain the following equations: The above equations of motion for the scalar, vector and tensor modes of perturbations are applicable for any gauge choice, in the main text we decide to choose the longitudinal gauge defined by the condition B = E = G µ = 0 as discussed below. Now we will consider the coordinate/gauge transformations and then we will turn to the question of choosing the appropriate gauge in order to eliminate artifacts of the freedom of choosing a reference frame. Lets consider the following coordinate transformation, where the ξ M is an infinitesimally small function of space time, i.e., |ξ M | ≪ |x M | and ξ M = (ξ µ , ξ 5 ) with ξ µ being a 4D vector and ξ 5 a scalar change in the 5th coordinate y. In order to write down corresponding gauge transformations of the decomposed scalars, vector and tensor modes, it is useful to decompose also the 4D vector ξ µ into the divergenceless vector ξ µ ⊥ and gradient of the scalar ξ , i.e., whereas, H µν is unaffected by the coordinate transformations. Similarly, the gauge transformation of the scalar field perturbation ϕ can be easily obtained as, Similarly, the gauge transformations of the energy momentum tensor can be written as, Now we turn our attention towards the issue of choosing a gauge. It proves to be convenient to adopt the so-called longitudinal or Newtonian gauge defined by the conditions: B =Ě = 0 in the scalar andǦ µ = 0 in the vector sector. It is important to note that, indeed, one can always choose the gauge parameters such that the gauge conditions are satisfied, i.e., Here one can note that this choice of gauge fixing completely fixes the gauge and so that there is no residual gauge freedom left.
Open Access. This article is distributed under the terms of the Creative Commons Attribution License which permits any use, distribution and reproduction in any medium, provided the original author(s) and source are credited.