1: \documentstyle[seceq,epsf]{ptptex}
2: \markboth{% %running head for odd-page (authors' name)
3: H.~Ochiai and K.~Sato
4: }{% %running head for even-page (`short' title)
5: The Wave Function
6: of the Multidimensional Universe
7: }
8: \title{% %You can use \\ for explicit line-break
9: Numerical Analysis of the Wave Function\\
10: of the Multidimensional Universe
11: }
12: %\subtitle{} %use this when you want a subtitle
13:
14: \author{% %Use \sc for the family name
15: Hirotaka {\sc Ochiai}\footnote{E-mail: ochiai@utap.phys.s.u-tokyo.ac.jp}
16: and Katsuhiko {\sc Sato}\footnote{E-mail: sato@utap.phys.s.u-tokyo.ac.jp}
17: }
18:
19: \inst{% %Affiliation, neglected when [addenda] or [errata]
20: $^{1)}$Department of Physics, School of Science, the University of Tokyo,\\
21: Tokyo 113-0033, Japan
22: \\
23: $^{2)}$Research Center for the Early Universe, School of Science,\\
24: the University of Tokyo, Tokyo 113-0033, Japan}
25: %\publishedin{% %Write this ONLY in cases of addenda and errata
26: %Prog.~Theor.~Phys.\ {\bf XX} (19YY), page}
27: \recdate{% %Editorial Office will fill in this.
28: %\today
29: }
30: \abst{% %this abstract is neglected when [addenda] or [errata]
31: In the framework of the Hartle-Hawking no-boundary proposal,
32: we investigate quantum creation of the multidimensional universe
33: with the cosmological constant $\Lambda$ but without matter fields.
34: In this paper we solved the Wheeler-de Witt equation numerically.
35: We find that the universe
36: in which both of the spaces expand exponentially
37: is the most probable in this model.
38: }
39: \begin{document}
40: \maketitle
41: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
42: \section{Introduction}
43: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
44: \label{sec:introduction}
45:
46: In modern theories of unified physical interactions,
47: e.g. superstring theory and M-theory,
48: spacetime has more than four dimensions.
49: There are many works
50: on multidimensional cosmological models
51: (e.g. Refs. 1)--6) and references therein).
52: Some of them ~\cite{wu,huw,wu1,mel,is} are studied
53: in the framework of the scenario of quantum creation of the universe.
54: ~\cite{vilenkin,hh}
55: In the semi-classical approximation,
56: the effect of classical Euclidean solutions is essential,
57: and the wave function is estimated by
58: the Euclidean action.
59: However, a detailed analysis of the Euclidean Einstein equations
60: in the multidimensional cosmological model
61: remained to be done.
62: In a previous paper,~\cite{os} we investigated quantum creation
63: of the multidimensional universe
64: with the cosmological constant $\Lambda$ but without matter fields
65: by the method of the instanton.
66: In that paper, the metric was assumed
67: to take the extended Friedmann-Robertson-Walker form.
68: We found that there are three instanton solutions
69: in the case that both the curvatures of the
70: external and internal spaces are positive
71: and $\Lambda>0$.
72: Furthermore, we found that
73: the crossing point of three instanton solutions is
74: a ``quasi-attractor'' point
75: from numerical analysis of the Euclidean solutions.
76: Here, ``quasi-attractor'' point is a point to which
77: most trajectories in the $a$ - $b$ plane circulate,
78: where $a$ and $b$ are the scale factors
79: of the external and internal spaces.
80:
81: We found that there are Lorentzian solutions which start near the
82: quasi-attractor and
83: three exact Lorentzian solutions
84: corresponding to three instanton solutions in Ref. 14).
85: Furthermore, from analyzing the classical solutions of the Einstein equations,
86: we found that it is probable that three universes are nucleated,
87: corresponding to these three solutions.
88: The first solution represents the case
89: in which the external space expands and the internal space contracts.
90: The second solution represents the case in which
91: both of the spaces expand exponentially.
92: The third solution represents the case
93: in which the internal space expands and the external space contracts.
94: In particular, the first solution describes the situation in which
95: the internal space remains microscopic and the external space evolves
96: to macroscopic our universe.
97: The goal of this paper is to clarify
98: which solution is the most probable
99: by calculating the wave function of the universe.
100:
101: The plan of the paper is as follows.
102: In $\S$2, we introduce our multidimensional cosmological model.
103: In $\S$3, we derive the Wheeler-de Witt equation
104: and solve it numerically by the difference method.
105: The wave function of the universe
106: in Hartle-Hawking no-boundary proposal is then given.
107: Section 4 is devoted to a conclusion and remarks.
108: %%%%%%%%%%%%%%%%%%%%
109: \section{The model}
110: %%%%%%%%%%%%%%%%%%%%
111: We consider a $D=1+m+n$-dimensional vacuum universe.
112: Our assumed form for the metric is
113: \begin{equation}
114: d^2 s=g_{AB}dx^A dx^B=
115: -dt^2
116: +\exp{[2\beta^{0}(t)]}d\Omega_m^2
117: +\exp{[2\beta^{1}(t)]}d\Omega_n^2.
118: \end{equation}
119: The variables $\exp{[\beta^{0}(t)]}$ and $\exp{[\beta^{1}(t)]}$
120: are the scale factors of $m$-dimensional
121: and $n$-dimensional spaces, respectively.
122: The metrics $d\Omega_m^2$ and $d\Omega_n^2$
123: are these of an $m$-sphere and $n$-sphere with unit radius.
124: If the $m$-dimensional universe is our observed space,
125: then $m$=3.
126: The gravitational action is described as
127: \begin{equation}
128: S=\frac{1}{16\pi G}\int d^{D}x \sqrt{-g}
129: [R-2\Lambda]+S_{boundary},
130: \end{equation}
131: where $G$ is the $D$-dimensional gravitational constant,
132: $\Lambda$ is the cosmological constant and
133: $g$ is the determinant of $g_{AB}$.
134: The last term $S_{boundary}$
135: is the York-Gibbons-Hawking boundary term.~\cite{york,gh}
136:
137: Substituting the metric (2.1), the action is given by
138: \begin{equation}
139: S=\int dt \mu\exp(\gamma_0)\biggl[\frac{1}{2}G_{ij}\dot{\beta}^i\dot{\beta}^j
140: -V\biggr],
141: \end{equation}
142: where $i$, $j$$=$$0, 1$.
143: The minisupermetric $G_{ij}$ is defined as
144: \begin{equation}
145: G_{ij}=
146: \ \left(
147: \begin{array}{cc}
148: m-m^2&-mn\\
149: -mn&n-n^2\\
150: \end{array}
151: \right),\
152: \end{equation}
153: and the potential $V$ is defined as
154: \begin{equation}
155: V=-\frac{1}{2}m(m-1)k_m\exp(-2\beta^0)
156: -\frac{1}{2}n(n-1)k_n\exp(-2\beta^1)+\Lambda,
157: \end{equation}
158: where $k_m$ and $k_n$ denote the signs of the curvature of
159: the external and internal spaces, respectively.
160: As discussed in the Introduction
161: we consider the case of positive curvature ($k_m=k_n=1$).
162: Here the variable $\gamma_0$ is defined as
163: \begin{equation}
164: \gamma_0\equiv m\beta^{0}+n\beta^{1},
165: \end{equation}
166: and the constant $\mu$ is defined as
167: \begin{equation}
168: \mu=\frac{V_n}{16\pi G},
169: \end{equation}
170: where $V_n$ denotes the volume of the $n$-dimensional space.
171: The canonical conjugate momenta $\pi_i$ of the $\beta^{i}$ are given by
172: \begin{equation}
173: \pi_j=\mu\exp \gamma_0 G_{ij}\dot{\beta^i},
174: \end{equation}
175: where the inverse $G^{ij}$ of the minisupermetric is
176: \begin{equation}
177: G^{ij}=
178: \ \left(
179: \begin{array}{cc}
180: m-\frac{1}{D-2}&-\frac{1}{D-2}\\
181: -\frac{1}{D-2}&n-\frac{1}{D-2}\\
182: \end{array}
183: \right).\
184: \end{equation}
185: The Hamiltonian constraint is given by
186: \begin{equation}
187: H=\frac{1}{\mu}\exp (-\gamma_0)\biggl[\frac{1}{2}G^{ij}\pi_i\pi_j+
188: \mu^2\exp(2\gamma_0)V\biggr]
189: =0.
190: \end{equation}
191: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
192: \section{Numerical analysis of the Wheeler-De Witt equation}
193: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
194:
195: In the canonical quantization procedure, the Hamiltonian constraint
196: leads to the Wheeler-De Witt equation.
197: In the Hawking-Page ansatz~\cite{hp}
198: the Wheeler-De Witt equation is
199: \begin{equation}
200: \biggl(-\frac{1}{2}G^{ij}\partial_i\partial_j+U\biggr)\Psi=0,
201: \end{equation}
202: where $\partial_i=\frac{\partial}{\partial \beta^i}$.
203: Here, the new potential $U$ is defined as
204: \begin{equation}
205: U=\mu^2\exp(2\gamma_0)V.
206: \end{equation}
207: The inverse $G^{ij}$ of the minisupermetric is orthogonalized
208: under an appropriate linear transform of $\beta^{i}$.
209: For example, consider linear transform $\beta^{i}\rightarrow v^{i}$
210: defined by the following:
211: \begin{eqnarray}
212: v^0&=&\sqrt{\frac{m+n-1}{m+n}}(m\beta^{0}+n\beta^{1}),\\
213: v^1&=&\sqrt{\frac{mn}{(m+n)}}(-\beta^{0}+\beta^{1}).
214: \end{eqnarray}
215: Under this, the Wheeler-De Witt equation is transformed into
216: \begin{equation}
217: \biggl(\frac{1}{2}\frac{\partial}{\partial v^0}
218: \frac{\partial}{\partial v^0}-\frac{1}{2}\frac{\partial}{\partial v^1}
219: \frac{\partial}{\partial v^1}+U\biggr)\Psi=0.
220: \end{equation}
221: In order to obtain a convenient formulation for numerical calculations,
222: we further apply a rotation and use the following:
223: \begin{eqnarray}
224: z^0&=&\frac{1}{\sqrt{2}}(v^0-v^1),\\
225: z^1&=&\frac{1}{\sqrt{2}}(v^0+v^1).
226: \end{eqnarray}
227: Then the Wheeler-De Witt equation is given by
228: \begin{equation}
229: \biggl(\frac{\partial}{\partial z^0}
230: \frac{\partial}{\partial z^1}+U\biggr)\Psi=0.
231: \end{equation}
232:
233: We solve the above Wheeler-De Witt equation using the difference method
234: following Hawking et al.~\cite{hms} and Hawking and Wu.\cite{hw}
235: %The Wheeler-De Witt equation is approximated as
236: %difference equation
237: %\begin{eqnarray}
238: %\Psi(k+1,l+1)+\Psi(k,l)-\Psi(k+1,l)-\Psi(k,l+1)\nonumber\\
239: %+\frac{U(k+1,l)+U(k,l+1)}{2}\frac{\Psi(k+1,l)+\Psi(k,l+1)}{2}=0.
240: %\end{eqnarray}
241: The boundary condition is determined
242: on the basis of the Hartle-Hawking proposal.
243: As the Euclidean action $S_E$ is vanishing for $z^0\rightarrow -\infty$
244: and $z^1\rightarrow -\infty$,
245: we use the approximation
246: $\Psi \sim e^{-S_E}\sim 1$
247: for $z^0\rightarrow -\infty$ and $z^1\rightarrow -\infty$.
248: We set the boundary condition as
249: $\Psi=1$, where $z^0$ and $z^1$ are small in relation to the curve $V=0$
250: for the numerical calculation.
251: Though we calculated the wave function with a different
252: position of the boundary,
253: the behavior of the wave function was almost the same in the two cases.
254: Because the value of the constant $\mu$ is
255: independent of the dynamical properties,
256: we can set $\mu=1$ without loss of generality.
257:
258:
259: The wave function in our model
260: increases exponentially in the quantum region $U>0$
261: and is oscillatory in the classical region
262: $U<0$, as found in Ref. 18).
263: As a typical example,
264: we study the wave function in the case
265: $m=n=2$, $k_m=k_n=1$ and $\Lambda=1$.
266: The wave function increases exponentially
267: near the boundaries $z^0=0$ and $z^1=0$.
268: It is shaped like a series of the mountains
269: along the curve where the potential $V$ is vanishing (see Fig. 1).
270: Furthermore, the wave function oscillates behind the mountains
271: and propagates along the line $z^0=z^1$ (see Fig. 2).
272: The wave function in the case
273: $m=3$, $n=2$, $k_m=k_n=1$ and $\Lambda=1$
274: is displayed in Fig. 3.
275: From Figs. 2, 3, it is seen that
276: the wave propagates to 45 degrees in the $z^0-z^1$ plane,
277: independently of the number of spatial dimensions.
278: The path of the wave
279: corresponds to the solution
280: that we found in Ref. 14):
281: \begin{eqnarray}
282: e^{\beta^0}&=&\sqrt{\frac{(m+n)(m-1)}{2\Lambda}}
283: \cosh\biggl(\sqrt{\frac{2\Lambda}{(m+n)(m+n-1)}}t\biggr),\\
284: e^{\beta^1}&=&\sqrt{\frac{(m+n)(n-1)}{2\Lambda}}
285: \cosh\biggl(\sqrt{\frac{2\Lambda}{(m+n)(m+n-1)}}t\biggr).
286: \end{eqnarray}
287:
288: \begin{figure}
289: \epsfxsize=76mm
290: \centerline{\epsfbox{wd.eps}}
291: \caption{The wave function of the universe in the case
292: $m=n=2$, $k_m=k_n=1$ and $\Lambda=1$.
293: The boundary condition is $\Psi=1$ at $z^0=z^1=0$.
294: }
295: \label{fig:1}
296: \end{figure}
297:
298: \begin{figure}
299: \epsfxsize=76mm
300: \centerline{\epsfbox{wdtan.eps}}
301: \caption{The wave function of the universe in the case
302: $m=n=2$, $k_m=k_n=1$ and $\Lambda=1$.
303: The boundary condition is $\Psi=1$ at $z^0=z^1=0$.
304: Because the absolute value of the wave function grows exponentially,
305: $\tanh \Psi$ is shown.
306: }
307: \label{fig:2}
308: \end{figure}
309:
310: \begin{figure}
311: \epsfxsize=76mm
312: \centerline{\epsfbox{wf32.eps}}
313: \caption{The wave function of the universe in the case
314: $m=3$, $n=2$, $k_m=k_n=1$ and $\Lambda=1$.
315: The boundary condition is that $\Psi=1$ at $z^0=z^1=0$.
316: Because the absolute value of the wave function grows exponentially,
317: $\tanh \Psi$ is shown.
318: }
319: \label{fig:3}
320: \end{figure}
321:
322: In Ref. 14),
323: we found three families of Lorentzian solutions
324: continued from the Euclidean solutions.
325: The first is the case
326: that the external space expands and the internal space contracts.
327: The second is the case that both of the spaces expand exponentially.
328: The third is the case
329: that the internal space expands and the external space contracts.
330: As discussed in the Introduction,
331: it is of interest to clarify
332: which Lorentzian solution that we found
333: in Ref. 14) is most probable.
334: We can determine this by interpreting the behavior of
335: the wave function.
336: To estimate Lorentzian solution,
337: we are interested in the classical region of the
338: wave function.
339: As in the case of Ref. 18),
340: the integral curves of $\nabla S$ correspond to
341: the trajectories of Lorentzian solutions in
342: the semi-classical approximation.
343: The classical trajectories are perpendicular to the wave crests
344: in the classical region.
345: Therefore,
346: the universe in which
347: both external and internal spaces expand exponentially
348: [eqs. (3.10), (3.11)]
349: is most probable.
350: Unfortunately, this universe is not ours.
351: This most probable universe may be excluded
352: by the anthropic principle.
353: ~\cite{ap}
354: If we do not depend on the anthropic principle,
355: we must find a more realistic model which includes
356: a mechanism to exclude the expansion of the internal space.
357:
358: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
359: \section{Summary and discussion}
360: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
361: \label{sec:summary and discussion}
362:
363: We investigated the quantum creation of the multidimensional universe
364: with positive cosmological constant but without matter fields
365: in the framework of the Hartle-Hawking no-boundary proposal.
366: We calculated numerically the wave function of the universe in our model.
367: The wave packet corresponds to the classical universe
368: in which the
369: internal space and external space expand exponentially.
370: In conclusion, we found that the most probable universe is such
371: that both the external and internal spaces expand exponentially.
372: We can interpret that our universe corresponds to
373: the solution that the external space expands and the internal space
374: contracts by applying the anthropic principle.
375: However if we believe the most probable universe is our universe,
376: then a mechanism to exclude expansion of internal space is necessary.
377: For this purpose, it may be essential
378: for the anisotropy of external space and internal space to be introduced.
379: A brane world scenario~\cite{hdd,rs}
380: studied recently is one approach that includes this.
381: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
382: \section*{Ackowledgements}
383: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
384:
385: This work was supported in part
386: by a Grant-in-Aid for Scientific Research (07CE2002)
387: of the Ministry of Education, Science, Sports and Culture in Japan.
388:
389: %%%%%%%%%%%%%%%%%%%%
390: \begin{thebibliography}{99}
391: \bibitem{cd}A. Chodos and S. Detweiler,
392: Phys. Rev. D{\bf 21}, (1980), 2167.
393: %
394: \bibitem{freund}
395: P. G. O. Freund,
396: Nucl. Phys. {\bf B209}, (1982), 146.
397: %
398: \bibitem{ac}
399: T. Appelquist and A. Chodos,
400: Phys. Rev. Lett. {\bf 50}, (1983), 141.
401: %
402: \bibitem{ag}
403: E. Alvarez and M. Belen Gavela,
404: Phys. Rev. Lett. {\bf 51}, (1983), 931.
405: %
406: \bibitem{sahdev}
407: D. Sahdev,
408: Phys. Lett. {\bf 137B}, (1984), 155.
409: %
410: \bibitem{im}
411: V. D. Ivashchuk and V. N. Melnikov,
412: Nuovo Cimento {\bf B102}, (1988), 131.
413: %
414: \bibitem{wu}Z. C. Wu,
415: Phys.Lett. {\bf B146}, (1984), 307.
416: %
417: \bibitem{huw}
418: X. M. Hu and Z. C. Wu,
419: Phys. Lett. {\bf B149}, (1984), 87.
420: %
421: \bibitem{wu1}
422: Z.C. Wu,
423: Phys. Rev. {\bf D31}, (1985), 3079.
424: %
425: \bibitem{mel}
426: A. Zhuk,
427: Phys. Rev. {\bf D45}, (1992), 1192.
428: %
429: \bibitem{is}
430: K. Ikumi and K.Sato,
431: Nucl. Phys. {\bf B488}, (1997), 389.
432: %
433: \bibitem{vilenkin}A. Vilenkin,
434: Phys. Lett. {\bf B117}, (1982), 25.
435: %
436: \bibitem{hh}J. B. Hartle and S. W. Hawking,
437: Phys. Rev. {\bf D28}, (1983), 2960.
438: %
439: \bibitem{os}
440: H. Ochiai and K. Sato,
441: Prog. Theor. Phys. 103 (2000), 893.
442: %
443: \bibitem{york}
444: J. W. York,
445: Phys. Rev. Lett. {\bf 16}, (1972), 1082.
446: %
447: \bibitem{gh}
448: G. W. Gibbons and S. W. Hawking
449: Phys. Rev. {\bf D15}, (1977), 2752.
450: %
451: \bibitem{hms}
452: S. W. Hawking, I. G. Moss and J. M. Stewart,
453: Phys. Rev. {\bf D26}, (1982), 2681.
454: %
455: \bibitem{hw}
456: S. W. Hawking and Z. C. Wu,
457: Phys. Lett. {\bf B151}, (1985), 15.
458: %
459: \bibitem{hp}
460: S. W. Hawking and D. N. Page,
461: Nucl. Phys. {\bf B264}, (1986), 185.
462: %
463: \bibitem{ap}
464: J. D. Barrow and F. J. Tipler
465: The Anthropic Cosmological Principle
466: (Oxford University Press, 1986).
467: %
468: \bibitem{hdd}
469: N. Arkani-Hamed, S. Dimopoulos and G. Dvali,
470: Phys. Lett. {\bf B429}, (1998), 263.
471: %
472: \bibitem{rs}
473: L. Randall and R. Sundrum,
474: Phys. Rev. Lett. {\bf 83}, (1999), 4690.
475: \end{thebibliography}
476: \end{document}
477:
478:
479:
480:
481:
482:
483:
484:
485: