1: %%
2: %% Beginning of file 'mydocument.tex'
3: %%
4: %% Modified July 1, 2001
5: %%
6: %% This is a sample manuscript marked up using the
7: %% AASTeX v5.x LaTeX 2e macros.
8:
9: %% The first piece of markup in an AASTeX v5.x document
10: %% is the \documentclass command. LaTeX will ignore
11: %% any data that comes before this command.
12:
13: %% The command below calls the preprint style
14: %% which will produce a one-column, single-spaced document.
15: %% Examples of commands for other substyles follow. Use
16: %% whichever is most appropriate for your purposes.
17:
18: \documentclass[12pt,preprint]{aastex}
19:
20: %% manuscript produces a one-column, double-spaced document:
21:
22: % \documentclass[manuscript]{aastex}
23:
24: %% preprint2 produces a double-column, single-spaced document:
25:
26: % \documentclass[preprint2]{aastex}
27:
28: %% If you want to create your own macros, you can do so
29: %% using \newcommand. Your macros should appear before
30: %% the \begin{document} command.
31: %%
32: %% If you are submitting to a journal that translates manuscripts
33: %% into SGML, you need to follow certain guidelines when preparing
34: %% your macros. See the AASTeX v5.x Author Guide
35: %% for information.
36:
37: \newcommand{\vdag}{(v)^\dagger}
38: \newcommand{\myemail}{skywalker@galaxy.far.far.away}
39:
40: %% You can insert a short comment on the title page using the command below.
41:
42: %%\slugcomment{Not to appear in Nonlearned J., 45.}
43:
44: %% If you wish, you may supply running head information, although
45: %% this information may be modified by the editorial offices.
46: %% The left head contains a list of authors,
47: %% usually a maximum of three (otherwise use et al.). The right
48: %% head is a modified title of up to roughly 44 characters. Running heads
49: %% will not print in the manuscript style.
50: \shorttitle{(Running Header: COSMOLOGICAL ``CONSTANT'' AND ``BIG BOUNCE'')}
51: \shortauthors{Hongya Liu and Paul S. Wesson}
52:
53: %% This is the end of the preamble. Indicate the beginning of the
54: %% paper itself with \begin{document}.
55:
56: \begin{document}
57:
58: %% LaTeX will automatically break titles if they run longer than
59: %% one line. However, you may use \\ to force a line break if
60: %% you desire.
61:
62: \title{UNIVERSE MODELS WITH A VARIABLE COSMOLOGICAL ``CONSTANT''
63: AND A ``BIG BOUNCE''}
64:
65:
66: %% Use \author, \affil, and the \and command to format
67: %% author and affiliation information.
68: %% Note that \email has replaced the old \authoremail command
69: %% from AASTeX v4.0. You can use \email to mark an email address
70: %% anywhere in the paper, not just in the front matter.
71: %% As in the title, you can use \\ to force line breaks.
72:
73: \author{Hongya Liu \altaffilmark{1}}
74: \affil{Department of Physics, Dalian University of Technology\\
75: Dalian 116024, P.R. China}
76: \email{hyliu@dlut.edu.cn}
77:
78: \author{Paul S. Wesson\altaffilmark{2}}
79: \affil{Department of Physics, University of Waterloo\\
80: Waterloo, Ontario N2L 3G1,Canada }
81: \email {wesson@astro.uwaterloo.ca}
82: %% Notice that each of these authors has alternate affiliations, which
83: %% are identified by the \altaffilmark after each name. Specify alternate
84: %% affiliation information with \altaffiltext, with one command per each
85: %% affiliation.
86:
87: \altaffiltext{1}{Corresponding author.}
88: \altaffiltext{2}{Fax: (519) 746 8115.}
89:
90:
91: %% Mark off your abstract in the ``abstract'' environment. In the manuscript
92: %% style, abstract will output a Received/Accepted line after the
93: %% title and affiliation information. No date will appear since the author
94: %% does not have this information. The dates will be filled in by the
95: %% editorial office after submission.
96:
97: \begin{abstract}
98: We present a rich class of exact solutions which contains
99: radiation-dominated and matter-dominated models for the early and late
100: universe. They include a variable cosmological ``constant'' which is derived
101: from a higher dimension and manifests itself in spacetime as an energy
102: density for the vacuum. This is in agreement with observational data and is
103: compatible with extensions of general relativity to string and membrane
104: theory. Our solutions are also typified by a non-singular ``big bounce'' (as
105: opposed to a singular big bang), where matter is created as in inflationary
106: cosmology.
107: \end{abstract}
108:
109: \keywords{cosmology, theory-relativity, strings and membranes}
110:
111:
112: \section{INTRODUCTION}
113:
114: In general relativity, the cosmological constant $\Lambda $ may be regarded
115: as a measure of the energy density of the vacuum, and can in principle lead
116: to the avoidance of the big-bang singularity which is characteristic of
117: other Friedmann-Robertson-Walker (FRW) models. However, the rather
118: simplistic properties of the vacuum that follow from the usual form of
119: Einstein's equations can be made more realistic if that theory is extended,
120: which in general leads to a variable $\Lambda $. Recently, Overduin (1999)
121: has given an account of variable-$\Lambda $ models which have a non-singular
122: origin. Here we wish to approach this subject from a different perspective,
123: and give a class of exact solutions wherein $\Lambda $ can change in a
124: manner that is in agreement with observation but where the singular big bang
125: is replaced by a non-singular ``big bounce''.
126:
127: There are several motives for this. In Einstein's theory, the density and
128: pressure of the vacuum are given in terms of the gravitational constant and
129: the speed of light by $\rho =-p/c^2=\Lambda /8\pi G$ (see e.g. Adler, Bazin
130: and Schiffer 1975 or Wesson 1999). However, astrophysical data constrain the
131: values of these to be many orders smaller than the corresponding quantities
132: inferred from particle physics, leading to the cosmological constant problem
133: (Weinberg 1989; Ng 1992; Adler, Casey and Jacob 1995). This can in principle
134: be resolved by introducing a variable scalar field to the right-hand side of
135: Einstein's equations. There are constraints on this approach, notably from
136: galaxy number counts, gravitational lens statistics and cosmic microwave
137: background anisotropies (for references see Overduin 1999; Overduin and
138: Cooperstock 1998). Also, while it is possible to modify 4D relativity by
139: introducing a scalar field, the latter is most naturally a part of $N(>4)$D
140: theory. For example, in 5D Kaluza-Klein theory the 10 potentials for the
141: gravitational field are augmented by the 4 potentials of electromagnetism
142: and a scalar potential which is related to mass (See Wesson 1999: even if
143: the electromagnetic potentials are absent and the scalar potential is a
144: constant, the 5D theory implies significant differences from the 4D theory).
145: Further, the horizon problem posed by the isotropy of the microwave
146: background in the context of the standard FRW models can be resolved by a
147: period of inflation in 4D which is most naturally driven by the dynamics of
148: higher dimensions (Linde 1990, 1991). Indeed, the most promising route to a
149: unification of classical gravity and electromagnetism with the quantum
150: theory of particle interactions is via $N$D manifolds, as in superstrings,
151: supergravity and membrane theory (West 1986; Green, Schwarz and Witten 1987;
152: Youm 2000). The latter theories, however, have yet to be developed to the
153: stage where they can be meaningfully tested. By comparison, the 5D theory is
154: a modest extension of 4D general relativity and is known to be in agreement
155: with the classical tests in the solar system (Kalligas, Wesson and Everitt
156: 1995; Liu and Overduin 2000), as well as the less exact data from cosmology
157: (Wesson 1992). We will therefore in what follows go with the minimal
158: extension of general relativity, using previous work on 5D manifolds (Liu
159: and Mashhoon 1995, 2000) to see what effects an extra dimension has on $%
160: \Lambda $ and the big bang.
161:
162: The plan of this paper is as follows. In Section 2 we will give a broad
163: class of 5D solutions and derive their associated 4D properties of matter.
164: In Section 3 we will focus for practical reasons on the sub-class of
165: solutions which is flat in 3D; and then in Sections 4 and 5 study this when
166: the equation of state is that of dust and radiation, respectively. Section 6
167: is a conclusion.
168:
169: \section{5D SOLUTIONS AND THEIR 4D MATTER}
170:
171: We choose units such that $8\pi G=c=1$, and let upper-case Latin indices run
172: 0-4 and lower-case Greek indices run 0-3. Our coordinates are ($t,r,\theta,
173: \phi ,y$) with $d\Omega ^2\equiv \left( d\theta ^2+\sin ^2\theta d\phi
174: ^2\right) $. The 5D line element $dS^2=g_{AB}dx^Adx^B$ contains the 4D one $%
175: ds^2=g_{\alpha \beta }dx^\alpha dx^\beta $. The \ 5D field equations in
176: terms of the Ricci tensor are $R_{AB}=0$. These contain the 4D field
177: equations, which in terms of the Einstein tensor and an induced
178: energy-momentum tensor are $G_{\alpha \beta }=T_{\alpha \beta }$. The
179: procedure to go from 5D to 4D is by now well known (see Liu and Mashhoon
180: 1995 or Wesson 1999), and is guaranteed by Campbell's theorem. There are
181: many classes of solutions of the 5D field equations known, including the
182: much-discussed Ponce de Leon (1988) cosmologies.
183:
184: A new class, which extends the FRW solutions and may be verified by
185: computer, is given by
186:
187: \begin{eqnarray}
188: dS^2 &=&B^2dt^2-A^2\left( \frac{dr^2}{1-kr^2}+r^2d\Omega ^2\right) -dy^2
189: \nonumber \\
190: A^2 &=&\left( \mu ^2+k\right) y^2+2\nu y+\frac{\nu ^2+K}{\mu ^2+k} \nonumber
191: \\
192: B &=&\frac 1\mu \frac{\partial A}{\partial t}\equiv \frac{\stackrel{\bf %
193: \circ }{A}}\mu \hspace{1.5in}\quad \;\;\;.
194: \end{eqnarray}
195: Here $\mu =\mu (t)$ and $\nu =\nu (t)$ are arbitrary functions, $k$ is the
196: 3D curvature index ($k=\pm 1,0$) and $K$ is a constant. After a lengthy
197: calculation we find that the 5D Kretschmann invariant takes the form
198: \begin{equation}
199: I=R_{ABCD}R^{ABCD}=\frac{72K^2}{A^8}\;,
200: \end{equation}
201: which shows that $K$ determines the curvature of the 5D manifold (1). Note
202: that the result (2) agrees, after rescaling parameters, with that obtained
203: in the so-called canonical coordinates (Liu and Mashhoon 1995). From (1) we
204: can see that the form of $Bdt$ is invariant under an arbitrary
205: transformation $t=t(\widetilde{t})$. This gives us a freedom to fix one of
206: the two arbitrary functions $\mu (t)$ and{\bf \ }$\nu (t)$ without changing
207: the form of solutions (1). The other can be seen to relate to the 4D
208: properties of matter, to which we now proceed.
209:
210: The 4D line element is
211: \begin{equation}
212: ds^2=g_{\alpha \beta }dx^\alpha dx^\beta =B^2dt^2-A^2\left( \frac{dr^2}{%
213: 1-kr^2}+r^2d\Omega ^2\right) .
214: \end{equation}
215: This has the Robertson-Walker form which underlies the standard FRW models,
216: and allows us to calculate the non-vanishing components of the 4D Ricci
217: tensor:
218: \begin{eqnarray}
219: ^{(4)}R_0^0 &=&-\frac 3{B^2}\left( \frac{\stackrel{\circ \circ }{A}}A-\frac{%
220: \stackrel{\circ }{A}\stackrel{\circ }{B}}{AB}\right) \nonumber \\
221: ^{(4)}R_1^1 &=&^{(4)}R_2^2=^{(4)}R_3^3=-\frac 1{B^2}\left[ \frac{\stackrel{%
222: \circ \circ }{A}}A+\frac{\stackrel{\circ }{A}}A\left( \frac{\stackrel{\circ
223: }{2A}}A-\frac{\stackrel{\circ }{B}}B\right) +2k\frac{B^2}{A^2}\right] \;.
224: \end{eqnarray}
225: Now from (1) we have
226: \[
227: B=\frac{\stackrel{\bf \circ }{A}}\mu \;,\qquad \stackrel{\circ }{B}=\frac{%
228: \stackrel{\bf \circ \circ }{A}}\mu -\frac{\stackrel{\bf \circ }{A}}\mu \frac{%
229: \stackrel{\bf \circ }{\mu }}\mu \quad .
230: \]
231: Using these in (4), we can eliminate $B$ and $\stackrel{\circ }{B}$ from
232: them to give
233: \begin{eqnarray}
234: ^{(4)}R_0^0 &=&-\frac{3\mu \stackrel{\bf \circ }{\mu }}{A\stackrel{\circ }{A}%
235: } \nonumber \\
236: ^{(4)}R_1^1 &=&\,^{(4)}R_2^2=\,^{(4)}R_3^3=-\left[ \frac{\mu \stackrel{\bf %
237: \circ }{\mu }}{A\stackrel{\circ }{A}}+\frac{2\left( \mu ^2+k\right) }{A^2}%
238: \right] \,.
239: \end{eqnarray}
240: These yield the 4D Ricci scalar
241: \begin{equation}
242: ^{(4)}R=-6\left( \frac{\mu \stackrel{\bf \circ }{\mu }}{A\stackrel{\circ }{A}%
243: }+\frac{\mu ^2+k}{A^2}\right) \,.
244: \end{equation}
245: This together with (5) enables us to form the 4D Einstein tensor $%
246: ^{(4)}G_\beta ^\alpha $ $\equiv {}^{(4)}\!R_\beta ^\alpha -\delta _\beta
247: ^\alpha {}\,^{(4)}\!R/2$. Its non-vanishing components are
248: \begin{eqnarray}
249: ^{(4)}G_0^0 &=&\frac{3\left( \mu ^2+k\right) }{A^2} \nonumber \\
250: ^{(4)}G_1^1 &=&\,^{(4)}G_2^2=\,^{(4)}G_3^3=\frac{2\mu \stackrel{\bf \circ }{%
251: \mu }}{A\stackrel{\circ }{A}}+\frac{\mu ^2+k}{A^2}\quad .
252: \end{eqnarray}
253: These give the components of the induced energy-momentum tensor since
254: Einstein's equations $G_\beta ^\alpha =T_\beta ^\alpha $ hold.
255:
256: Let us suppose that the induced matter is a perfect fluid with density $\rho
257: $ and pressure $p$ moving with a 4-velocity $u^\alpha \equiv dx^\alpha /ds$,
258: plus a cosmological term whose nature is to be determined:
259: \begin{equation}
260: ^{(4)}G_{\alpha \beta }=(\rho +p)u_\alpha u_\beta +(\Lambda -p)g_{\alpha
261: \beta }\quad .
262: \end{equation}
263: As in the FRW models, we can take the matter to be comoving in 3D, so $%
264: u^\alpha =\left( u^0,0,0,0\right) $ and $u^0u_0=1$. Then (8) and (7) yield
265: \begin{eqnarray}
266: \rho +\Lambda &=&\frac{3\left( \mu ^2+k\right) }{A^2} \nonumber \\
267: p-\Lambda &=&-\frac{2\mu \stackrel{\bf \circ }{\mu }}{A\stackrel{\circ }{A}}-%
268: \frac{\mu ^2+k}{A^2}\quad .
269: \end{eqnarray}
270: These are the analogs for our solution (1) of the Friedmann equations for
271: the FRW solutions. As there, we are free to choose an equation of state,
272: which we take to be the isothermal one
273: \begin{equation}
274: p=\gamma \rho \quad .
275: \end{equation}
276: Here $\gamma $ is a constant, which for ordinary matter lies in the range
277: (dust) $0\leq \gamma \leq 1/3$ (radiation or ultrarelativistic particles).
278: Using (10) in (9) we can isolate the density of matter and the cosmological
279: term:
280: \begin{eqnarray}
281: \rho &=&\frac 2{1+\gamma }\left( \frac{\mu ^2+k}{A^2}-\frac{\mu \stackrel%
282: {\bf \circ }{\mu }}{A\stackrel{\circ }{A}}\right) \nonumber \\
283: \Lambda &=&\frac 2{1+\gamma }\left[ \left( \frac{1+3\gamma }2\right) \left(
284: \frac{\mu ^2+k}{A^2}\right) +\frac{\mu \stackrel{\bf \circ }{\mu }}{A%
285: \stackrel{\circ }{A}}\right] \;.
286: \end{eqnarray}
287: In these relations, $\mu =\mu (t)$ is still arbitrary and $A=A(t,y)$ is
288: given by (1). The matter density therefore has a wide range of forms and the
289: cosmological ``constant'' is variable.
290:
291: Let us now consider singularities of the 5D manifold (1). Since metric (1)
292: is 5D Ricci flat, we have $R=0$ and $R^{AB}R_{AB}=0$. The third 5D invariant
293: is given in (2), from which we see that $A=0$ (with $K\neq 0$) corresponds
294: to a 5D singularity. This is a physical singularity and, as is in general
295: relativity, can be naturally explained as a ``big bang'' singularity. From
296: (6) and (11) we also see that if $\stackrel{\circ }{A}=0$ then all $^{(4)}R$%
297: , $\rho $ and $\Lambda $ become infinity. This means that $\stackrel{\circ }{%
298: A}=0$ (with $A,\mu ,\stackrel{\bf \circ }{\mu }\neq 0$) represents a second
299: kind of singularities where the 4D scalar curvature $^{(4)}R$, the 4D
300: induced mass density $\rho $ and $\Lambda $ diverge. Clearly, this is a 4D
301: singularity at which the 5D invariant (2) may keep normal. We can naturally
302: explain this one as a ``big bounce'' singularity at which the scale factor $A
303: $ reaches it's minimum with $\stackrel{\circ }{A}=0$. Note that $\stackrel{%
304: \circ }{A}=0$ (with $\mu \neq 0)$ implies $B=0$ by (1). So we conclude that
305: {\it our 5D models (1) may have two kinds of singularities, ``big bang'' and
306: ``big bounce'', characterized by }$A=0${\it \ and }$B=0${\it \ , respectively%
307: }. Here $A$ is the scale factor of the 3D space and we can call $B$ the
308: scale factor of the time. In the following sections we will see a
309: realization of the 5D ``big bounce'' models.
310:
311: \section{THE SPATIALLY-FLAT MODEL}
312:
313: Astrophysical data, including the age of the universe, are compatible with
314: an FRW model with flat space sections (Leonard and Lake 1995; Overduin
315: 1999). We therefore put $k=0$ in (1), which gives
316: \begin{eqnarray}
317: dS^2 &=&B^2dt^2-A^2\left( dr^2+r^2d\Omega ^2\right) -dy^2 \nonumber \\
318: A^2 &=&\left( \mu y+\frac \nu \mu \right) ^2+\frac K{\mu ^2} \nonumber \\
319: B &=&\frac{\stackrel{\bf \circ }{A}}\mu \qquad \hspace{0.6in}\hspace{1in}%
320: \,\,\,\,.
321: \end{eqnarray}
322: The corresponding relations (11) become
323: \begin{eqnarray}
324: \rho &=&\left( \frac 2{1+\gamma }\right) \frac \mu A\left( \frac \mu A-\frac{%
325: \stackrel{\bf \circ }{\mu }}{\stackrel{\circ }{A}}\right) \nonumber \\
326: \Lambda &=&\left( \frac 2{1+\gamma }\right) \frac \mu A\left[ \left( \frac{%
327: 1+3\gamma }2\right) \frac \mu A+\frac{\stackrel{\bf \circ }{\mu }}{\stackrel{%
328: \circ }{A}}\right] \;.
329: \end{eqnarray}
330: But as mentioned above, one of the functions $\mu (t)$ and $\nu (t)$ which
331: appear in (12) and (13) is free to choose without loss of generality. A
332: convenient choice and the corresponding form of $A(t,y)$ are given by:
333: \begin{eqnarray}
334: \nu &=&-C\mu ^2t \nonumber \\
335: A^2 &=&\mu ^2\left( y-Ct\right) ^2+\frac K{\mu ^2}\quad .
336: \end{eqnarray}
337: Here $C$ is a constant and $\mu =\mu (t)$ is the only function left
338: undetermined.
339:
340: It is well known in general relativity that the isolation of a cosmological
341: term from densities $\rho $ and $p$ is not unique: one can always get $%
342: \Lambda $ absorbed into $\rho $ and $p$. The only thing which is of physical
343: importance is the equation of state satisfied by $\rho $ and $p$. This has
344: things to do with the vacuum energy. It is expected that the vacuum energy
345: could be contributed by either $\Lambda $ or dark matter, or by both.
346: Without a better model for the dark matter, we do not know how to separate
347: them. So we assume that {\it all constituents of }$\Lambda ${\it \ which
348: evolve like an ordinary matter through }$p=\gamma \rho $ {\it have already
349: been absorbed into }$\rho ${\it \ and }$p$. Furthermore, we also assume that
350: the remaining $\Lambda $ is small compared with $\rho $ in the present
351: universe. Then, to fix $\mu (t),$ we will impose a condition on the
352: cosmological term $\Lambda $ in equations (13) that as the model expands to
353: infinity, $\Lambda $ tends to zero more rapidly than $\rho $. [The relative
354: sizes of $\Lambda $ and $\rho $ will then be given by (13) and depend on the
355: epoch.] To implement this condition, we recall that in the $k=0$ FRW model
356: the scale factor is of a power law. This reminds us to try to use a power
357: law for $\mu (t)$ in (14), which give.
358: \begin{eqnarray}
359: \mu (t) &=&t^n \nonumber \\
360: A^2 &=&t^{2n}\left( y-Ct\right) ^2+Kt^{-2n}\quad .
361: \end{eqnarray}
362: The last of these shows that the power $n$ determines the behavior of the
363: scale factor $A(t,y)$ on the hypersurface $y=$ constant which is spacetime.
364: Specifically, we find that $A\propto t^{n+1}$ for $n\geqslant -1/2$ as $%
365: t\rightarrow \infty $. This into (13) gives
366: \begin{eqnarray}
367: \rho &\propto &\left( 1-\frac n{n+1}\right) \frac 1{t^2}\quad ,\;\;%
368: t\rightarrow \infty \nonumber \\
369: \Lambda &\propto &\left( \frac{1+3\gamma }2+\frac n{n+1}\right) \frac
370: 1{t^2}\quad ,\;\;t\rightarrow \infty \quad .
371: \end{eqnarray}
372: These are observationally acceptable behaviors for ordinary matter (Leonard
373: and Lake 1995) and the cosmological term (Overduin 1999). However, the
374: condition that $\Lambda $ decays faster than $\rho $ means that we must have
375: $n=-(1+3\gamma )/3(1+\gamma )$. This with $A\propto t^{n+1}$ and $\mu =t^n$
376: in (12) gives $B^2\rightarrow $ constant , for\ $t\rightarrow \infty $. This
377: means that the usual proper time is recovered if we let $B\rightarrow 1$ for
378: $t\rightarrow \infty $. Then the constant $C$ in (14) is
379: \begin{equation}
380: C=\left\{
381: \begin{array}{l}
382: \frac 32(1+\gamma )\;\quad \;for \; 0\leq \gamma <\frac 13 \\
383: \sqrt{4-K}\;\quad \; for \; \gamma =\frac 13\quad \qquad .
384: \end{array}
385: \right.
386: \end{equation}
387: We see that the value of this parameter depends on whether the matter is
388: cold or hot.
389:
390: To complete this section, it is useful to recap the analysis and state the
391: result explicitly: The class of exact solutions (1) is very rich
392: algebraically; so we appeal to astrophysics to argue that $k=0$ which gives
393: (12), and to argue that $\Lambda $ decays faster than $\rho $ which fixes $%
394: \mu (t)$ and gives (17). The result is a spatially-flat cosmological
395: solution with good physical properties given by
396: \begin{eqnarray}
397: dS^2 &=&B^2dt^2-A^2\left( dr^2+r^2d\Omega ^2\right) -dy^2 \nonumber \\
398: A^2 &=&\mu ^2\left( y-Ct\right) ^2+\frac K{\mu ^2} \nonumber \\
399: B &=&\frac{\stackrel{\bf \circ }{A}}\mu \nonumber \\
400: \mu (t) &=&t^n\;,\quad \;n=-\frac{1+3\gamma }{3(1+\gamma )} \nonumber \\
401: C &=&\left\{
402: \begin{array}{l}
403: \frac 32(1+\gamma )\quad \; for \;0 \leq \gamma <\frac 13 \\
404: \sqrt{4-K}\quad \;for \; \gamma =\frac 13
405: \end{array}
406: \right. \quad \quad .
407: \end{eqnarray}
408: This solution has some features in common with others in the literature and
409: some which are different. A catalog of exact solutions of the 5D field
410: equations ($R_{AB}=0$) has been given by Wesson (1999), who has also
411: discussed the standard technique wherein these equations are reduced to
412: Einstein's ($G_{\alpha \beta }=T_{\alpha \beta }$) to obtain the properties
413: of matter. In this regard, it is important to note that matter is related to
414: the 4D space and its curvature. Thus the much-discussed 5D cosmologies due
415: to Ponce de Leon (1988) are flat in 5D but curved in 4D. That is why they
416: contain matter. However, the Ponce de Leon cosmologies are separable in $t$
417: and $y$, reducing to FRW ones on the hypersurfaces $y=$ constants. In
418: contrast, the cosmologies (1) and their 3D-flat subset (18) are not
419: separable. To distinguish between models of the Ponce de Leon kind and those
420: discussed here will require new methods which probe the dynamics associated
421: with the $y$-dependence of the solutions. This could involve new tests of
422: gravity in the solar system, such as the planned Space Test of the
423: Equivalence Principle (Wesson 1996; Overduin 2000). But tests of 5D models
424: could also be made astrophysically, and to this end we will examine in the
425: following two sections the implications of (18) for cold and hot matter.
426:
427: \section{THE COLD 3D-FLAT MODEL}
428:
429: For $\gamma =0$ in (10) the equation of state is $p=0$ for dust, which is
430: believed to describe the matter content of the late universe. In this case
431: by (18) we have $n=-1/3$, $C=3/2$ for the constants and $\mu (t)=t^{-1/3}$
432: for the function which describes the scale factor. The latter is given
433: explicitly by
434:
435: \begin{equation}
436: A^2=\frac 94t^{4/3}+Kt^{2/3}-3yt^{1/3}+y^2t^{-2/3}\quad .
437: \end{equation}
438: We have examined this numerically for various values of the hypersurfaces $%
439: y= $ constants and the three possible values of the normalized 5D curvature
440: parameter $K$ which appears in (2), namely $K=\pm 1,0$. Note that $y=0$ is
441: too special to represent a typical $y=$ constant hypersurface, because in
442: that case the last two terms in (19) do not contribute to the scale factor $%
443: A $. We find that in most other cases the results are similar. Here we
444: present only one for the purpose of illustration. Thus Figure $1$ is a plot
445: of $A$ versus $t$ for $K=1$ and $y=-1,-2/3,-1/3$, respectively.
446: %%
447: %%Here is Figure 1.
448: %%
449: We see that there is a finite minimum of $A$ at $t=t_m$, before which the
450: universe contracts and after which it expands. This kind of behavior can
451: happen in 4D FRW models which have a large value of a constant $\Lambda $
452: (Robertson and Noonan 1968). But most FRW models have a singularity in the
453: geometry and divergent properties of matter because $A(t)\rightarrow 0$ for $%
454: t\rightarrow 0$, defining the big bang. Here the situation is different. By
455: (2), the 5D geometry would be singular if $A(t)\rightarrow 0$, but by (19)
456: this would only happen on the special hypersurfaces defined by the roots of
457: that equation. In general, on $y=$ constant hypersurfaces the 5D curvature
458: invariant (2) is finite. However, at $t=t_m$ we have $\stackrel{\bf \circ }{A%
459: }=0$ and $\mu (t)=t^{-1/3}\neq 0$. So by (18) we have $B=0$ at $t=t_m$.
460: Thus, as discussed in section 2, we get a ``big bounce'' model in which all $%
461: ^{(4)}R$, $\rho $ and $\Lambda $ diverge at $t=t_m$ except the 5D invariant
462: (2), which keeps normal.
463:
464: To investigate this and other aspects of the model, we note from Figure 1
465: that $t_m$ is of order unity so we can study the cases $t\gg t_m$ and $t\ll
466: t_m$.
467:
468: For $t\gg t_m$ (19) gives
469: \begin{equation}
470: A=\frac 32t^{2/3}\left[ 1+\frac 29Kt^{-2/3}-\frac
471: 23yt^{-1}+O(t^{-4/3})\right] \;,
472: \end{equation}
473: whose derivative in (18) gives
474: \begin{equation}
475: B=\frac{\stackrel{\bf \circ }{A}}\mu =1+\frac y{3t}+O(t^{-4/3})\;.
476: \end{equation}
477: The 5D line element of (18) now reads
478: \begin{equation}
479: dS^2=\left[ 1+O(t^{-1})\right] dt^2-\left[ \frac 32t^{2/3}+\frac
480: 13K+O(t^{-1/3})\right] ^2\left( dr^2+r^2d\Omega ^2\right) -dy^2\;.
481: \end{equation}
482: This is similar to the 4D Einstein-de Sitter metric, insofar as $t$ tends to
483: the proper time and the scale factor then varies as $t^{2/3}$. Using the
484: constants noted at the beginning of this section and $A$ of (20), we can
485: obtain the density of matter and the cosmological term from (13). They are
486: \begin{eqnarray}
487: \rho &=&\frac 4{3t^2}\left[ 1-\frac{10}{27}Kt^{-2/3}+O(t^{-1})\right]
488: \nonumber \\
489: \Lambda &=&-\frac{8K}{81t^{8/3}}\left[ 1+O(t^{-1/3})\right] \;\qquad \qquad .
490: \end{eqnarray}
491: From this and (20) we find that
492: \begin{eqnarray}
493: \rho A^3 &=&\frac 92\left[ 1+\frac 8{27}Kt^{-2/3}+O(t^{-1})\right] \nonumber
494: \\
495: \frac \partial {\partial t}\left( \rho A^3\right) &=&-\frac
496: 89Kt^{-5/3}\left[ 1+O(t^{-1/3})\right] \;\qquad .
497: \end{eqnarray}
498: This means that the mass of the (uniform) cosmological fluid within a
499: spherical volume defined by the scale factor changes with time. By
500: comparison with the corresponding situation in general relativity, this may
501: be thought of as being due to the effective pressure associated with the
502: cosmological term (Henriksen, Emslie and Wesson 1983). By (23) and (24), for
503: $K>0$ we have $\Lambda <0$ and $\left( \rho A^3\right) ^{\circ }<0$, while
504: for $K<0$ we have $\Lambda >0$ and $\left( \rho A^3\right) ^{\circ }>0$. [If
505: $K=0$, (23) has to be calculated to higher order.] The generation of mass in
506: quantum field theory has been studied before, particularly in the context of
507: inflationary cosmology (Linde 1990). Here we have a classical analog of that
508: process due to a variable cosmological ``constant'', that operates even at
509: late times.
510:
511: For $t\ll t_m$ (19) gives
512: \begin{equation}
513: A=yt^{-1/3}\left[ 1-\frac 3{2y}t+\frac K{2y^2}t^{4/3}+O\left( t^2\right)
514: \right] \;,
515: \end{equation}
516: whose derivative in (18) gives
517: \begin{equation}
518: B=\frac{\stackrel{\bf \circ }{A}}\mu =-\frac y{3t}\left[ 1+\frac 3yt-\frac{3K%
519: }{2y^2}t^{4/3}+O\left( t^2\right) \right] \;.
520: \end{equation}
521: The 5D line element of (18), correct to the leading order in (25), now reads
522: \begin{equation}
523: dS^2=\left( \frac y{3t}\right) ^2dt^2-\left( yt^{-1/3}\right) ^2\left(
524: dr^2+r^2d\Omega ^2\right) -dy^2\quad .
525: \end{equation}
526: If we carry out the coordinate transformation $t=L^3e^{3\tau /L}$ on this
527: (where $L$ is a constant), it becomes
528: \begin{equation}
529: dS^2=\frac{y^2}{L^2}\left[ d\tau ^2-e^{-2\tau /L}\left( dr^2+r^2d\Omega
530: ^2\right) \right] -dy^2\quad .
531: \end{equation}
532: This is a metric of the canonical form (Liu and Mashhoon 1995; Wesson 1999).
533: And the part inside the square brackets is in fact the de Sitter metric,
534: which in 4D would be interpreted as having $\rho =0$, $\Lambda =3/L^3$.
535: Here, however, the density and cosmological term are obtained as before by
536: substituting (25) and the other appropriate quantities into (13). They are
537: \begin{eqnarray}
538: \rho &=&\frac 9{y^3}t\left[ 1-\frac{4K}{9y}t^{1/3}+O\left( t\right) \right]
539: \nonumber \\
540: \Lambda &=&\frac 3{y^2}\left[ 1+\frac K{3y^2}t^{4/3}+O\left( t^2\right)
541: \right] \;.
542: \end{eqnarray}
543: These show that $\rho \rightarrow 0$ and $\Lambda \rightarrow 3/y^2$ for $%
544: t\rightarrow 0$, so the universe was empty of matter and $\Lambda $%
545: -dominated at its start in $t$-time. However, (28) shows that the proper
546: time in 4D is not $t$ but $\tau $ , where by our coordinate transformation $%
547: t=0$ corresponds to $\tau =-\infty $. So in $\tau $-time the universe was
548: empty and existed forever, before its matter was produced around the ``big
549: bounce''. The generation of matter by quantum tunneling has been studied
550: before, as a means of creating universes from nothing (Vilenkin 1982). Here
551: we have a classical analog of that process.
552:
553: \section{THE HOT 3D-FLAT MODEL}
554:
555: For $\gamma =1/3$ in (10) the equation of state is $p=\rho /3$ for radiation
556: or ultrarelativistic particles, which is believed to describe the matter
557: content of the early universe. In this case by (18) we have $n=-1/2$, $%
558: C=\left( 4-K\right) ^{1/2}$ for the constants and $\mu (t)=t^{-1/2}$ for the
559: function that describes the scale factor. The latter is given explicitly by
560: \begin{equation}
561: A^2=t^{-1}(y-Ct)^2+Kt=4t-2Cy+\frac{y^2}t\;.
562: \end{equation}
563: Figure 2 is a plot of $A$ versus $t$ for $K=1$ and $y=-1,-2/3,-1/3$,
564: respectively.
565: %%
566: %%Here is Figure 2.
567: %%
568: We see that the behavior is similar to that for the $\gamma =0$ model
569: studied in the preceding section, with a ``big bounce'' at $t=t_m$.
570:
571: For $t\gg t_m$ (30) gives
572: \begin{equation}
573: A=2t^{1/2}\left[ 1-\frac{Cy}{4t}+O(t^{-2})\right] \;,
574: \end{equation}
575: whose derivative in (18) gives
576: \begin{equation}
577: B=\frac{\stackrel{\bf \circ }{A}}\mu =1+\frac{Cy}{4t}+O(t^{-2})\;.
578: \end{equation}
579: The 5D line element of (18) now reads
580: \begin{equation}
581: dS^2=\left[ 1+\frac{Cy}{2t}+O(t^{-2})\right] dt^2-4t\left[ 1-\frac{Cy}{2t}%
582: +O(t^{-2})\right] \left( dr^2+r^2d\Omega ^2\right) -dy^2\;.
583: \end{equation}
584: This is similar to the 4D radiation metric, insofar as $t$ tends to the
585: proper time and the scale factor then varies as $t^{1/2}$. We also note that
586: the combination $y/t$ in (33) is self-similar, which is a characteristic of
587: 4D astrophysical systems (Henriksen, Emslie and Wesson 1983). Using the
588: constants noted at the beginning of this section and $A$ of (31), we can
589: obtain the density of matter and the cosmological term from (13). They are
590: \begin{eqnarray}
591: \rho &=&\frac 3{4t^2}\left[ 1+\frac{Cy}{4t}+O(t^{-2})\right] \nonumber \\
592: \Lambda &=&\frac{3Cy}{16t^3}\left[ 1+O(t^{-1})\right] \qquad \quad .
593: \end{eqnarray}
594: >From this and (31) we find that
595: \begin{equation}
596: \rho A^4=12\left[ 1-\frac{3Cy}{4t}+O(t^{-2})\right] \;.
597: \end{equation}
598: This is similar to the situation in general relativity, where $\rho A^4=$
599: constant because the number density of photons decreases as $A^3$ due to the
600: expansion and their energy decreases as $A$ due to the redshift.
601:
602: For $t\ll t_m$ (30) gives
603: \begin{equation}
604: A=yt^{-1/2}\left[ 1-\frac Cyt+O(t^2)\right] \;,
605: \end{equation}
606: whose derivative in (18) gives
607: \begin{equation}
608: B=\frac{\stackrel{\bf \circ }{A}}\mu =-\frac y{2t}\left[ 1+\frac
609: Cyt+O(t^2)\right] \;\quad .
610: \end{equation}
611: The 5D line element of (18), correct to the leading order in (36), now reads
612: \begin{equation}
613: dS^2=\left( \frac y{2t}\right) ^2dt^2-y^2t^{-1}\left( dr^2+r^2d\Omega
614: ^2\right) -dy^2\;.
615: \end{equation}
616: If we carry out the coordinate transformation $t={\cal L}^2e^{2\tau /{\cal L}%
617: }$ on this (where ${\cal L}$ is a constant), it becomes
618: \begin{equation}
619: dS^2=\frac{y^2}{{\cal L}^2}\left[ d\tau ^2-e^{-2\tau /{\cal L}}\left(
620: dr^2+r^2d\Omega ^2\right) \right] -dy^2\quad .
621: \end{equation}
622: This is a metric of the canonical form, and in fact the same as (28). The
623: density and cosmological term are again obtained by substituting (36) and
624: the other appropriate quantities into (13). They are
625: \begin{eqnarray}
626: \rho &=&\frac{3C}{y^3}t\left[ 1+O(t)\right] \nonumber \\
627: \Lambda &=&\frac 3{y^2}\left[ 1+\frac Cyt+O(t^2)\right] \;.
628: \end{eqnarray}
629: These show that $\rho \rightarrow 0$ and $\Lambda \rightarrow 3/y^2$ for $%
630: t\rightarrow 0$, which is the same as in the $\gamma =0$ case considered in
631: the preceding section. [However, (29) and (40) are different for finite $t$%
632: ..] Similar comments apply here as there concerning the generation of matter
633: around the ``big bounce''.
634:
635: \section{CONCLUSION}
636:
637: We have given a class (1) of exact solutions of the 5D field equations which
638: extends the class of 4D Friedmann-Robertson-Walker solutions. These
639: solutions, unlike others in the literature including the Ponce de Leon
640: cosmologies, are not separable. But as with other 5D solutions, their matter
641: content can be obtained by a standard technique, which gives the density,
642: pressure and cosmological ``constant'' (9). The last, however, is really a
643: measure of the variable energy density of the vacuum. This generalizes the
644: vacuum of general relativity, and is in conformity with other
645: higher-dimensional extensions of that theory such as strings and membranes.
646: The class of solutions we have discussed is algebraically rich, so we have
647: used input from cosmology to study its properties. The subclass with
648: spatially-flat geometry (12) yields a cold model (19) which is the analog of
649: the 4D dust one, and a hot model (30) which is the analog of the 4D one for
650: radiation or ultrarelativistic particles. Both models have a cosmological
651: ``constant'' that decays faster than the density decreases, in accordance
652: with astrophysical data including the age of the universe. Note that our
653: cosmological ``constant'' do not include those parts of the conventional $%
654: \Lambda $ which evolve like an ordinary matter and can be absorbed into $%
655: \rho $ and $p$. Also, both models in general show a big ``bounce'' as
656: opposed to a big bang, where the 5D geometry is non-singular but where the
657: matter properties and the 4D scalar curvature diverge. We therefore recover
658: the physics of the late and early universe and the fireball, but without a
659: breakdown in the geometry. In view of the major implications of a bounce as
660: opposed to a bang, we have examined the behavior of the models around that
661: event in some detail. The main feature is that matter is created during the
662: bounce, in agreement with models of inflation based on quantum field theory.
663:
664: It is known that a major difficulty of the 4D big bounce models in standard
665: general relativity (Robertson and Noonan 1968) is that the collapsing phase
666: would typically generate enormous inhomogeneities. Here we wish to emphasize
667: that our 5D big bounce models are different in many aspects from the
668: conventional 4D big bounce models. Firstly, our models are not symmetric
669: before and after the big bounce. Secondly, in our models, the contraction
670: and expansion of the universe around the bounce was accompanied by matter
671: creation. If the process of the contraction of the universe before the
672: bounce was dominated not by collapsing of previously formed matter but by
673: creating of new matter, (this is very possible because in our models the
674: universe was empty at the beginning of the contracting,) then hopefully the
675: inhomogeneity problem could be resolved.
676:
677: We are aware that the present work is exploratory. While our solutions are
678: quite general, we have restricted their application by assuming that
679: ordinary matter and the vacuum can be described by a perfect fluid, by
680: adopting an isothermal equation of state for the matter, by concentrating on
681: the spatially flat case, and that only for dust and radiation. All of these
682: restrictions could be removed in future work. However, we have shown that
683: adding only one extra dimension to general relativity makes the big bang a
684: subject of fruitful analysis and not just a no-go singularity.
685:
686: \bigskip
687:
688: We thank the referee and editor for helpful comments. This work grew out of
689: a previous collaboration with B. Mashhoon and was supported financially by
690: NSF of P.R. China and NSERC of Canada.
691:
692: \begin{thebibliography}{99}
693: \bibitem{} \bigskip Adler, R., Bazin, M., Schiffer, M. 1975, Introduction
694: to General Relativity (2nd ed., New York: McGraw-Hill)
695:
696: \bibitem{} Adler R., Casey, B., Jacob, O.C. 1995, Am. J. Phys. {\bf 63}(7),
697: 620
698:
699: \bibitem{} Green, M.B., Schwarz, J.H., Witten, E. 1987 Superstring Theory
700: (Cambridge: Cambridge U. Press)
701:
702: \bibitem{} Henriksen, R.N., Emslie, A.G., \& Wesson, P.S. 1983, Phys. Rev.
703: D {\bf 27}, 1219
704:
705: \bibitem{} Kalligas, D., Wesson, P.S., \& Everitt, C.W.F. 1995, ApJ, {\bf %
706: 439}, 548
707:
708: \bibitem{} Leonard, S., \& Lake, K. 1995, ApJ, {\bf 441}, L55
709:
710: \bibitem{} Linde, A. D. 1990, Inflation and Quantum Cosmology (Boston:
711: Academic Press)
712:
713: \bibitem{} Linde, A. D. 1991, Phys. Scripta T {\bf 36}, 30
714:
715: \bibitem{} Liu, H., \& Mashhoon, B. 1995, Ann. Phys. (Leipzig) {\bf 4}, 565
716:
717: \bibitem{} Liu, H., \& Mashhoon, B. 2000, Phys. Lett. A {\bf 272}, 26
718:
719: \bibitem{} Liu, H., \& Overduin, J.M. 2000, ApJ, {\bf 538}, 386
720:
721: \bibitem{} Ng, Y.J. 1992, Int. J. Mod. Phys. D {\bf 1}, 145
722:
723: \bibitem{} Overduin, J.M. 1999, ApJ {\bf 517}, L1
724:
725: \bibitem{} Overduin, J.M. 2000, Phys. Rev. D {\bf 62}, 102001
726:
727: \bibitem{} Overduin, J.M., Cooperstock, F.I. 1998, Phys. Rev. D {\bf 58},
728: 043506
729:
730: \bibitem{} Ponce de Leon, J. 1988, Gen. Rel. Grav. {\bf 20}, 539
731:
732: \bibitem{} Robertson, H.P., Noonan, T.W. 1968, Relativity and Cosmology
733: (Philadelphia: Saunders)
734:
735: \bibitem{} Vilenkin, A. 1982, Phys. Lett. B {\bf 117}, 25
736:
737: \bibitem{} Weinberg, S. 1989, Rev. Mod. Phys. {\bf 61}, 1
738:
739: \bibitem{} Wesson, P.S. 1992, ApJ, {\bf 394}, 19
740:
741: \bibitem{} Wesson, P.S. 1996, in Proc. of the Symposium on the Space Test
742: of the Equivalence Principle, ed. Reinhard, R. (Noordwijk: E.S.A.), 566
743:
744: \bibitem{} Wesson, P.S. 1999, Space-Time-Matter (Singapore: World
745: Scientific)
746:
747: \bibitem{} West, P. 1986, Introduction to Supersymmetry and Supergravity
748: (Singapore: World Scientific)
749:
750: \bibitem{} Youm, D. 2000, Phys. Rev. D {\bf 62}, 084002
751: \end{thebibliography}
752:
753: \bigskip
754: %%{\Large FIGURE CAPTIONS}
755: %%
756: %%FIG. 1. Evolution of the scale factor $A$ for the {\bf cold} 3D-flat model
757: %%with $K=1$ and $y=-1,-2/3,-1/3$.
758: %%
759: %%FIG. 2. Evolution of the scale factor $A$ for the {\bf hot} 3D-flat model
760: %%with $K=1$ and $y=-1,-2/3,-1/3$.
761: %%
762: %%
763: \clearpage
764:
765: %% Use the figure environment and \plotone or \plottwo to include
766: %% figures and captions in your electronic submission.
767:
768: \begin{figure}[tbp]
769: \plotone{f1.eps}
770: \caption{Evolution of the scale factor $A$ for the \textbf{cold} 3D-flat
771: model with $K=1$ and $y=-1,-2/3,-1/3$.}
772: \label{fig1}
773: \end{figure}
774:
775: \clearpage
776:
777: \begin{figure}[tbp]
778: \plotone{f2.eps}
779: \caption{ Evolution of the scale factor $A$ for the \textbf{hot} 3D-flat
780: model with $K=1$ and $y=-1,-2/3,-1/3$.}
781: \label{fig2}
782: \end{figure}
783:
784: \end{document}
785:
786: