1 Introduction

Several observations (such as SNe Ia, baryon acoustic oscillations, and the cosmic microwave background, see for instance [1]) indicate that the universe is currently undergoing an accelerated expansion. In the framework of the Standard Cosmological Model, such an expansion is only possible if matter with unusual properties is added as a source of Einstein’s Equations (EEs) [2]. The simplest candidate is the cosmological constant, but there is a huge discrepancy between its theoretical value and the one that follows from observations [3]. Models with scalar or vector fields (generically known as dark energy, see [4] for a review of these and other candidates) have also been considered as the source of the accelerated expansion. Since none of these proposals is free of problems, several alternatives that avoid the introduction of dark energy have been investigated. Among them we can mention theories of gravity that go beyond General Relativity [5] and inhomogeneous cosmological models [6]. Yet another interesting proposal is based on the hypothesis that the dimensionality of the universe is actually greater than four. The common theme in the many realizations of this idea is that an effective energy-momentum tensor of purely geometrical origin, generated by the reduction of some theory of gravitation defined in \(d>4\) to \(d=4\), is used to describe the accelerated expansion and/or ordinary matter.

In particular, the reduction of gravitational theories from \(d=5\) to \(d=4\) has been repeatedly explored in the literature [7]. An appealing example of this type was presented in [8], where the energy-momentum of ordinary matter in \(d=4\) arises from the extra-dimensional sector of the theory defined by \(G_{AB} = 0\).Footnote 1 More generally, theories in which the matter content in \(d=4\) is induced by dimensional reduction of the vacuum equations of a gravitational theory defined in \(d=5\) are known today as induced matter theories (IMTs) [7]. Among many examples of IMTs that have been studied we can mention Brans–Dicke (BD) theory [9,10,11,12,13,14],Footnote 2 f(R) theories [17, 18], and f(RT) theories [19]. Here we shall investigate the possibility of describing the accelerated expansion of the 4-dimensional universe as well as ordinary pressure-less matter starting from BD theory in the presence of a potential in \(d=5\).Footnote 3

We shall begin by showing in Sect. 2 that, in an appropriate cosmological setting, the \(d=5\) self-interacting BD theory is equivalent to a self-interacting BD theory in \(d=4\) plus an extra scalar field (associated to the time-dependent metric coefficient of the fifth dimension). In Sect. 3, we write the \(d=4\) field equations as an autonomous three-dimensional dynamical system, and obtain its critical points, under the assumption that they are deSitter-like (namely, requiring that \(\dot{H}=0\)). We pay special attention to dependence of the eigenvalues of the linearization matrix associated to each critical point with the BD parameter \(\omega \), and search for ranges of the latter such that a given critical point is a stable one. In the case such an interval exists, we check whether the system at the critical point can describe the accelerated expansion of the 4-dimensional universe, as well as the pressure-less matter contained in it. We close with some comments in Sect. 4.

2 Brans–Dicke theory in \(\mathbf{d=5}\) and its reduction to \(\mathbf{d=4}\)

Our starting point is BD theory of gravity in five dimensions, with the action in the Jordan frame given by

$$\begin{aligned} ^{(5)}\!\mathcal{S}= & {} \frac{1}{2\kappa _5} \int d^{5}y \sqrt{^{(5)}\gamma }\bigg [ \phi \,^{(5)}\!R-\frac{\omega }{\phi } \gamma ^{AB} \nabla _{\!A} \phi \nabla _{\!B}\phi \nonumber \\&-2V(\phi ) \bigg ] , \end{aligned}$$
(1)

where \(^{(5)}\!\gamma \), is the determinant of the 5-dimensional metric \(\gamma _{AB}\), \(\phi \) is the BD scalar field directly coupled to the 5-dimensional Ricci scalar \(^{(5)}\!R\), \(\nabla _{\!A}\) is the covariant derivative in \(d=5\), \(\omega \) is the BD parameter and \(V(\phi )\) is the scalar field potential. The variation of the action with respect to \(\gamma _{AB}\) yields

$$\begin{aligned} ^{(5)\,}\!G_{AB}= & {} \kappa _5\,^{(5)}T_{AB}+\frac{\omega }{\phi ^2}\left[ \nabla \!_A\,\phi \nabla \!_B\,\phi -\frac{\gamma _{AB}}{2}\nabla ^C\phi \nabla \!_C\,\phi \right] \nonumber \\&+\frac{1}{\phi }\left[ \nabla _A\nabla _B\phi -\gamma _{AB}\,^{(5)}\Box \phi \right] - \frac{V(\phi )}{\phi }\gamma _{AB}, \end{aligned}$$
(2)

where \(^{(5)}\Box =\nabla ^{A}\nabla \!_{A}\), and \(^{(5)\,}\!G_{AB}\) is the Einstein tensor in \(d=5\), given by \(^{(5)\,}\!G_{AB}=\,^{(5)}\!R_{AB}-\frac{1}{2}\gamma _{AB}\,^{(5)}\!R\).

Variation of the action given in Eq. (1) w.r.t. \(\phi \) results in

$$\begin{aligned} \frac{2\omega }{\phi }\,^{(5)}\Box \phi - \frac{\omega }{\phi ^2}\nabla ^C\phi \nabla \!_C\,\phi +\,^{(5)}\!R- 2{V'(\phi )}=0, \end{aligned}$$
(3)

where the prime \((\prime )\) denotes derivative with respect to \(\phi \). Taking the trace of Eq. (2) we find

$$\begin{aligned} ^{(5)}\!R=\frac{\omega }{\phi ^2}\nabla ^C\phi \nabla \!_C\,\phi +\frac{8}{3}\frac{^{(5)}\Box \phi }{\phi } +\frac{10}{3}\frac{V(\phi )}{\phi }, \end{aligned}$$
(4)

which, when substituted in (3) yields

$$\begin{aligned} ^{(5)}\Box \phi =-\frac{5V(\phi )}{3\omega +4}+\frac{3V'(\phi )}{3\omega +4}. \end{aligned}$$
(5)

We shall show next how Eqs. (2) and (5) are reduced to \(d=4\) in a particular cosmological setting, giving as a result the usual BD theory with the addition of an extra scalar field, whose dynamics and coupling to \(\phi \) are determined by the reduction.Footnote 4

In the coordinate chart \(\left\{ y^A\right\} =\left\{ x^\mu ,z\right\} \) we consider the 5D line element

$$\begin{aligned} \mathrm{d}s_{_5}^{2}=\gamma _{AB}\mathrm{d}y^A\mathrm{d}y^B=\mathrm{d}t^2-a^2(t)(\mathrm{d}r^2+r^2\mathrm{d}\Omega ^2)-\xi ^2(t)\mathrm{d}z^2, \end{aligned}$$
(6)

where t is the time, \((r, \theta , \phi )\) are spherical coordinates on the hypersurfaces \(t=\) constant, \(z=\) constant, z is the coordinate along the extra dimension, which we assume to be spacelike, and \(\xi (t)\) is the metric coefficient associated to the extra dimension. The metric describing the standard cosmological model in \(d=4\) is recovered by restricting this line element to a hypersurface \(\Sigma _0\) defined by \(z=z_0 \)=constant.

In order to obtain the effective field equations in \(d=4\) from the dimensional reduction of Eqs. (2) and (5), the following expressions were employed:

$$\begin{aligned}&\nabla _{\mu }\nabla _{\nu }\phi = \mathcal{D}_\mu \mathcal{D}_\nu \phi , \end{aligned}$$
(7a)
$$\begin{aligned}&\nabla _{z}\nabla _{z}\phi = -\xi \left( \mathcal{D}_\alpha \xi \right) \left( \mathcal{D}^\alpha \phi \right) , \end{aligned}$$
(7b)
$$\begin{aligned}&^{(5)}\Box \phi =\Box \phi +\frac{\left( \mathcal{D}_\alpha \xi \right) \left( \mathcal{D}^\alpha \phi \right) }{\xi } , \end{aligned}$$
(7c)
$$\begin{aligned}&^{(5)}\!R_{\mu \nu } = R_{\mu \nu }-\frac{\mathcal{D}_\mu \mathcal{D}_\nu \xi }{\xi } , \end{aligned}$$
(7d)
$$\begin{aligned}&^{(5)}\!R_{zz} = \xi \,\Box \xi , \end{aligned}$$
(7e)
Table 1 Critical points of the system given by Eqs. (14)–(15) with \(\dot{H} = 0\). As explained in the text, only \(P_{2\pm }, P_{5\pm }\), and \(P_{6}\) will be considered in the subsequent analysis. The parameter \(\beta \) is given by \(\beta = \frac{1}{\varGamma -1}\)

where \(\mathcal{D}_\alpha \) denotes the 4D covariant derivative and \(\Box =\mathcal{D}^{\alpha }\mathcal{D}\!_{\alpha }\). A long but straightforward calculation using all these expressions leads to the equations of the effective theory in \(d=4\). The equation for the BD field that follows from Eq. (5) is

$$\begin{aligned} \ddot{\phi }+3H\dot{\phi }+\frac{\dot{\xi }}{\xi }\dot{\phi }= -\frac{5V(\phi )}{3\omega +4}+\frac{3V'(\phi )}{3\omega +4}. \end{aligned}$$
(8)

From Eq. (2), with \(A=B=0\), it follows that

$$\begin{aligned} 3H^2+3H\frac{\dot{\xi }}{\xi }=\frac{\omega }{2}\left( \frac{\dot{\phi }}{\phi }\right) ^2-3H\frac{\dot{\phi }}{\phi } -\frac{\dot{\xi }}{\xi }\frac{\dot{\phi }}{\phi }-\frac{V(\phi )}{\phi }. \end{aligned}$$
(9)

The spatial components of Eq. (2), corresponding to \(A = i\) and \(B = j\), can be written as

$$\begin{aligned}&2\dot{H}+3H^2+\frac{\ddot{\xi }}{\xi }+2H\frac{\dot{\xi }}{\xi }\nonumber \\&\quad =-\frac{\omega }{2}\left( \frac{\dot{\phi }}{\phi }\right) ^2+H\frac{\dot{\phi }}{\phi }-\frac{V(\phi )(3\omega -1)+3\phi V'(\phi )}{\phi (3\omega +4)}.\nonumber \\ \end{aligned}$$
(10)

Finally, setting with \(A=B=z\) in Eq. (2), we obtain

$$\begin{aligned} 3\dot{H}+6H^2=-\frac{\omega }{2}\left( \frac{\dot{\phi }}{\phi }\right) ^2+\frac{\dot{\phi }}{\phi }\frac{\dot{\xi }}{\xi }-\frac{V(\phi )(3\omega -1)+3\phi V'(\phi )}{\phi (3\omega +4)}. \end{aligned}$$
(11)

These equations reduce to those presented in [11], when the vacuum and homogeneous case is considered in the latter. We shall show next that Eqs. (8)–(11) can be written as an autonomous 3-dimensional dynamical system.

3 Dynamical system

Techniques from dynamical systems theory have been successfully applied to cosmology, see for instance [25,26,27,28] for some recent examples. In terms of the variables (see for instance [29])

$$\begin{aligned} x&= \dfrac{\dot{\phi }}{H\phi }, \end{aligned}$$
(12a)
$$\begin{aligned} y&= \dfrac{1}{H} \sqrt{\dfrac{V(\phi )}{3\phi }}, \end{aligned}$$
(12b)
$$\begin{aligned} z&= \dfrac{\dot{\xi }}{H\xi }, \end{aligned}$$
(12c)
$$\begin{aligned} \lambda&= -\phi \dfrac{V'(\phi )}{V(\phi )}. \end{aligned}$$
(12d)

Equation (9) is written as

$$\begin{aligned} y^2 = -1+\frac{1}{6}\omega x^2-\frac{1}{3}xz-z-x \end{aligned}$$
(13)

and acts as a constraint. From Eq. (11) it follows that

$$\begin{aligned} \frac{\dot{H}}{H^2} = 2x+2z-\frac{1}{2}\omega x^2+xz+\frac{3\,y^2}{3\omega +4}(\omega +\lambda +3). \end{aligned}$$
(14)

The actual dynamical system follows from Eqs. (8)–(10), and it is given by

$$\begin{aligned} \frac{\mathrm{d}x}{\mathrm{d}\tau } =&-x\frac{\dot{H}}{H^2}-x^2-3x-xz-\frac{3(5+3\lambda )}{3\omega +4}y^2, \end{aligned}$$
(15a)
$$\begin{aligned} \frac{\mathrm{d}z}{\mathrm{d}\tau } =&-(z+2)\frac{\dot{H}}{H^2}-z^2+4x+z-\omega x^2+xz \nonumber \\&+\frac{3(5+3\lambda )}{3\omega +4}y^2, \end{aligned}$$
(15b)
$$\begin{aligned} \frac{\mathrm{d}\lambda }{\mathrm{d}\tau } =&x\lambda \left[ 1-\lambda (\varGamma -1)\right] , \end{aligned}$$
(15c)

where \(\dfrac{\mathrm{d}}{\mathrm{d}\tau }=\dfrac{\mathrm{d}}{\mathrm{d}\ln a}\) and \(\varGamma =\dfrac{V''(\phi )V(\phi )}{V'(\phi )^2}\) is assumed to be a function of \(\lambda \).

Table 1 shows the critical points of the system given by Eqs. (14)–(15), under the assumption that \(\dot{H}=0\), which corresponds to a de Sitter expansion compatible with the latest observations, as mentioned in Sect. 1. We shall discard the critical point \(P_{1}\), since it leads to \(y^2<0\). Points \(P_{3}\) and \(P_{4}\) shall also be discarded because each of them is associated to a single value of \(\omega \). Hence we shall focus the analysis on \(P_{2\pm }\), \(P_{5\pm }\), and \(P_6\).

We shall study next the dynamical system given above by applying standard techniques, which include the introduction of new variables centered at the critical point, and the linearization of the system. From the linearization it is possible to calculate the Hubble parameter as a sum of terms each having a power of the expansion factor, where each power is given by an eigenvalue of the linearization matrix at the given critical point (for details, see [30] and the references therein). Hence we shall begin with the analysis of the behavior of the eigenvalues of the linearization matrix with \(\omega \). The aim will be to obtain ranges for \(\omega \) such that a given critical point is a stable node (for which all the eigenvalues must be real and negative), or a stable focus (characterized by one real and negative eigenvalue, and two complex eigenvalues with negative real parts).

The linearization matrix of the system in Eqs. (14)–(15) at a given critical point is given by

$$\begin{aligned} A{=} \left[ \begin{array}{ccc}\left. A_{11}\right| _c&{}-{\frac{(\lambda _c-2\omega -1) {x_c}^{2}+2(3\lambda _c-3\omega +1) x_c+3(3\lambda _c+5)}{(3\,\omega +4)}}&{}-{\frac{\omega {x_c}^{3}+(z_c-3(\omega -2)){x_c}^{2}+6(z_c+2)x_c +9(z_c+1)}{2(3\,\omega +4)}}\\ \left. A_{21}\right| _c&{}-{\frac{(\lambda _c-2\omega -1)(\omega { x_c}^{2}-2({ z_c}-1)x_c-12z_c)}{2(3\,\omega +4)}}&{}{-\frac{(1-z_c)\omega {x_c}^2+2({z_c}-1)(z_c+3)x_c+6({z_c}^2-1)}{2(3\,\omega +4)}}\\ {\lambda _c} \left( 1-{\lambda _c}\, \left( \varGamma \left( {\lambda _c} \right) -1 \right) \right) &{}0&{}-\ \left. \frac{\mathrm{d}\varGamma (\lambda )}{\mathrm{d}\lambda }\right| _{\lambda _c} {\lambda _c}^{2}{x_c}-2\varGamma ( {\lambda _c} ) { \lambda _c}{x_c}+2{x_c}\,{\lambda _c}+{x_c} \end{array} \right] \nonumber \\ \end{aligned}$$
(16)

where

$$\begin{aligned} \left. A_{11}\right| _c= & {} -\frac{1}{2(3\,\omega +4)}\big [ 4(3\omega -3\lambda _c-1)z_c\\&+3({\lambda _c}-2{\omega }-1)\omega {x_c}^{2}+(6(\omega -2)\lambda _c+34\omega +12\\&+(-4{\lambda _c}+8\omega +4)z_c)x_c\big ],\\ \left. A_{21}\right| _c= & {} -\frac{2}{3\omega +4}\left[ (\lambda _c-2\omega -1)(z_c-1)\omega x_c+\right] \\&\left. \times (-\lambda _c+\omega +1)({z_c}^2+2z_c-3).\right. \end{aligned}$$

We shall analyze next the behavior with \(\omega \) of the eigenvalues of this matrix at each critical point.

3.1 \(\mathbf{P_{2\pm }}\)

Since \(\lambda =0\) for these critical points, it follows from the expression of the matrix A, given in Eq. (16), that the eigenvalues do not depend on the explicit expression of \(\varGamma \). Hence, the results that follow will be valid for \(\phi =\phi _c=0\) and \(\left. (V'/V)\right| _{\phi _c}\) finite, or \(V'(\phi _c)=0\).

3.1.1 \(P_{2+}\)

The eigenvalues of the matrix A for this critical point are given by

$$\begin{aligned} { a}_1(\omega )= & {} -\frac{1}{2(3\omega +4)(\omega +2)^2} \left[ -30\omega -24-9\omega ^2\right. \nonumber \\&\left. +\,\sqrt{-15-12\omega } \, (10\omega +3\omega ^2+8)\right. \nonumber \\&-\,(-2304\omega ^6+4116\omega ^5 \nonumber \\&\left. +\, 48906\omega ^4+105600\omega ^3+99600\omega ^2+43776\omega \right. \nonumber \\&\left. +\,7296+\sqrt{-15-12\omega }\,(-2976\omega ^5-10134\omega ^4 \right. \nonumber \\&\left. -11424\omega ^3-3888\omega ^2 +768\omega +384) )^{1/2} \right] , \end{aligned}$$
(17)
$$\begin{aligned} { a}_2(\omega )= & {} \frac{3-\sqrt{-15-12\omega }}{\omega +2}-{ a}_1(\omega ), \end{aligned}$$
(18)
$$\begin{aligned} { a}_3(\omega )= & {} \frac{-3+\sqrt{-15-12\omega }}{\omega +2}. \end{aligned}$$
(19)

Figure 1 shows the behavior with \(\omega \) of the real part of each eigenvalue associated to \( P_{2+}\). The plots show that there are no values of \(\omega \) such that the real parts of the three eigenvalues are real and negative. Consequently, \(P_{2+}\) cannot be a stable point, and the behavior of the system close to \(P_{2+}\) cannot approach the one currently displayed by the \(\varLambda \)CDM model.

Fig. 1
figure 1

Real parts of the eigenvalues corresponding to \(P_{2+}\). The curves corresponding to \(a_1\) and \(a_2\) are superposed to the left of approx. \(\omega = -\,1.64\), and they show a discontinuity at \(\omega =-\,4/3\)

Fig. 2
figure 2

Real parts of the eigenvalues corresponding to \(P_{2-}\). The curves corresponding to \(a_1\) and \(a_2\) are not superposed only near \(\omega =-1.25\), and they show a divergence for \(\omega =-2\)

Fig. 3
figure 3

Real parts of the eigenvalues corresponding to \(P_{5+}\), for \(n=2\) (left), and \(n=4\) (right). The latter shows a discontinuity for \(\omega =-2\). The plots for \(a_1\) and \(a_2\) are superposed for \(\omega \lessapprox -\,1.7\) (left) and \(\omega \lessapprox -\,3.2\) (right)

3.1.2 \(P_{2-}\)

The eigenvalues in this case are given by the following expressions:

$$\begin{aligned} { a}_1(\omega )= & {} \frac{1}{2(3\omega +4)(\omega +2)^2} \left[ \sqrt{6} (1216+7296\omega \right. \nonumber \\&+\,16600\omega ^2+17600\omega ^3+8151\omega ^4+686\omega ^5\nonumber \\&\left. -\,384\omega ^6+\sqrt{-15-12\omega }\,(-64-128\omega +648\omega ^2\right. \nonumber \\&+\left. 1904\omega ^3+1689\omega ^4 +\,496\omega ^5) )^{1/2}+9\omega ^2+30\omega \right. \nonumber \\&\left. +24 +\,(3\omega ^2+10\omega +8)\sqrt{-15-12\omega }\, \right] , \end{aligned}$$
(20)
$$\begin{aligned} { a}_2(\omega )= & {} \frac{3+\sqrt{-15-12\omega }}{\omega +2}-{ a}_1(\omega ), \end{aligned}$$
(21)
$$\begin{aligned} { a}_3(\omega )= & {} -\frac{3+\sqrt{-15-12\omega }}{\omega +2}. \end{aligned}$$
(22)

Figure 2 shows the plots of the real part of each eigenvalue associated to \( P_{2-}\). The plots show that there is no interval of values of \(\omega \) such that the real parts of the three eigenvalues are negative.

3.2 \(\mathbf{P_{5\pm }}\)

The critical points \(P_{5\pm }\) depend on the expression for the potential through the condition \(\lambda = \beta \) (see Table 1). Since the eigenvalues for arbitrary values of \(\omega \) and \(\beta \) are given by long algebraic expressions, we restrict here to the potential \(V(\phi ) = V_0 \phi ^n\), such that \(\beta = \lambda = -n\) for every value of \(V_0\) and n. This choice is justified by the fact that several effective quantum field theories can be related to his kind of self-interacting potential [31]. In particular, we shall examine the cases \(n=2\) and \(n=4\), frequently considered in cosmological scenarios (see for instance [21, 32, 33]).

3.2.1 \(P_{5+}\)

The real parts of the eigenvalues corresponding to the critical point \(P_{5+}\) are plotted in Fig. 3 for \(n=2\) and \(n=4\). None of the cases is associated to a stable critical point with \(\dot{H}=0\).

3.2.2 \(P_{5-}\)

The eigenvalues are plotted in Fig. 4 for \(n=2\) and \(n=4\), and they fail to comply with the condition that their real parts be negative.

Fig. 4
figure 4

Real parts of the eigenvalues corresponding to \(P_{5-}\), with \(n=2\) (left) and \(n=4\) (right). \(a_1\) and \(a_2\) are singular at \(\omega =-2\)

3.3 \(\mathbf{P_6}\)

The expressions for the eigenvalues in this case are the following:

$$\begin{aligned} a_1(\omega )= & {} -\frac{\left. \frac{\mathrm{d}\varGamma (\lambda )}{\mathrm{d}\lambda }\right| _{\lambda _c}+1}{\omega -1}, \end{aligned}$$
(23)
$$\begin{aligned} a_2(\omega )= & {} a_3(\omega )=-\frac{4\omega +5}{\omega -1}, \end{aligned}$$
(24)

with \(\varGamma (-1)=0\).Footnote 5 The eigenvalues are shown in Fig. 5 for \(\left. \frac{\mathrm{d}\varGamma (\lambda )}{\mathrm{d}\lambda }\right| _{\lambda _c}=-1.8\). We see that, in spite of the fact that the real parts of the three eigenvalues are negative, the eigenvalue \(a_1\) could be associated to non-relativistic matter ( i.e. is such that \(Re(a_1)=-\,3\)) only for a unique value of \(\omega \). Note that, although this conclusion follows from a particular value of \(\left. \frac{\mathrm{d}\varGamma (\lambda )}{\mathrm{d}\lambda }\right| _{\lambda _c}\), the same will happen for any other value of the derivative compatible with the restrictions, due to the specific form of the dependence of \(a_1\) with the derivative. Hence, \(P_6\) should also be discarded.

Fig. 5
figure 5

Plot of the real parts of the eigenvalues corresponding to \(P_{6}\), for \(\left. \frac{\mathrm{d}\varGamma (\lambda )}{\mathrm{d}\lambda }\right| _{\lambda _c}=-1.8\)

4 Discussion

We have examined whether a 4-dimensional universe in accelerated expansion and containing non-relativistic matter can be obtained by dimensional reduction of a self-interacting BD theory defined in \(d=5\). The study required rewriting the equations of the system as an autonomous 3-dimensional dynamical system. The analysis of the eigenvalues of the linearized system shows that it has no stable equilibrium points subject to the condition \(\dot{H}=0\), except for the critical point \(P_6\), which is a stable critical point but can describe non-relativistic matter only for a unique value of \(\omega \) (given a value of \(\left. \frac{\mathrm{d}\varGamma (\lambda )}{\mathrm{d}\lambda }\right| _{\lambda _c}\) compatible with the restrictions). Hence, the model cannot mimic the \(\Lambda \)CDM dynamics. This conclusion was obtained in full generality for \(P_{2\pm }\) and \(P_6\), and for \(V(\phi )=V_0\phi ^n\) and \(n=2,4\) in the case of \(P_{5\pm }\). The failure of the model presented here in describing both the accelerated expansion and the matter content of the 4-dimensional universe should perhaps be taken as an indication that more complex models are needed, such as those presented in [11], where the metric coefficient of the extra dimension is a function of both time and the extra coordinate. We hope to come back to these ideas in a future publication.