1: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2: \documentclass[11pt]{article}

3: %\documentstyle[12pt,axodraw]{article}

4: %\documentstyle[prd,twocolumn,eqsecnum,aps]{revtex}

5: %\documentstyle[prd,eqsecnum,aps,epsf]{revtex}

6: 

7: \usepackage{epsfig}

8: %\usepackage{latexsym,axodraw}

9: 

10: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

11: 

12: %usepackage{amsmath}

13: 

14: %usepackage{graphicx}

15: 

16: %usepackage{amsthm}

17: 

18: %\usepackage[italian]{babel}

19: 

20: %\usepackage[small,sl]{caption}

21: 

22: %usepackage{amsfonts}

23: 

24: %usepackage{amssymb}

25: 

26: 

27: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

28: 

29: \topmargin -0.5in

30: \oddsidemargin 0.3in

31: \evensidemargin 0.3in

32: \textwidth 16.0cm

33: \textheight 22cm

34: \headsep 0.5in

35: 

36: %\textheight 8.0in

37: %\textwidth 5in

38: %\hoffset-1cm

39: %\voffset-2.2cm

40: %\def\baselinestretch{1.2}

41: %\def\s{1.5}

42: 

43: %

44: \def\al{\alpha^{\prime}}

45: \def\vp{\varphi} 

46: \def\rd{{\rm d}} 

47: \def\a{& \hspace{-7pt}} \newcommand\tw[2]{ 

48: \Bigg(\hspace{-1pt}\raisebox{1pt} {$\begin{array}{c} \displaystyle{#1} \\

49: \displaystyle{#2}

50:  \end{array}$}

51:  \hspace{-1pt}\Bigg)}

52: \newcommand\pertw[4]{

53:  \Bigg[\hspace{-1pt}\raisebox{1pt}

54:  {$\begin{array}{c}

55:  \displaystyle{#1} \\ \displaystyle{#2}

56:  \end{array}$}

57:  \hspace{0pt}\Bigg|\hspace{0pt}\raisebox{1pt}

58:  {$\begin{array}{c}

59:  \displaystyle{#3} \\ \displaystyle{#4}

60:  \end{array}$}

61:  \hspace{-1pt}\Bigg]}

62: \newcommand{\eqalign}[1]

63: {\hspace{-10pt}\begin{array}{ll}#1\end{array}\hspace{-10pt}}

64: \def\dslash{\raisebox{1pt}{$\slash$} \hspace{-7pt} \partial}

65: \def\Aslash{\hspace{3pt}\raisebox{1pt}{$\slash$} \hspace{-9pt} A}

66: \def\Dslash{\hspace{3pt}\raisebox{1pt}{$\slash$} \hspace{-9pt} D}

67: \def\bea{\begin{eqnarray}}

68: \def\eea{\end{eqnarray}}

69: \def\beq{\begin{equation}}

70: \def\eeq{\end{equation}}

71: \def\kron{\delta_{m_in_i + N-\bar N}}

72: \def\be{\begin{equation}}

73: \def\ee{\end{equation}}

74: \def\nn{\nonumber}

75: \def\a{& \hspace{-7pt}}

76: \def\c{\hspace{-5pt}}

77: \def\Z{{\bf Z}}

78: \def\z{{\bf Z^\prime}}

79: \def\5{\overline 5}

80: \newcommand{\gsim}{\mbox{\raisebox{-1.ex}{$\stackrel

81:      {\textstyle>}{\textstyle\sim}$}}}

82: \newcommand{\lsim}{\mbox{\raisebox{-1.ex}{$\stackrel

83:      {\textstyle<}{\textstyle \sim}$}}}

84: \newcommand{\square}{\kern1pt\vbox{\hrule height

85: 1.2pt\hbox{\vrule width 1.2pt\hskip 3pt

86:    \vbox{\vskip 6pt}\hskip 3pt\vrule width 0.6pt}\hrule

87: height 0.6pt}\kern1pt}

88: %------------------------------

89: %

90: \begin{document}

91: %\draft \twocolumn[\hsize\textwidth\columnwidth\hsize\csname

92: %@twocolumnfalse\endcsname

93:  

94: 

95: \begin{center}

96: 

97: \thispagestyle{empty}

98: 

99: \begin{center}

100: 

101: \vspace{1.7cm}

102: 

103: {\LARGE\bf Construction of nonsingular cosmological solutions \\

104: in string theories}

105: 

106: \end{center}

107: 

108: \vspace{1.4cm}

109: 

110: {\Large Shinji Tsujikawa}

111: 

112: \vspace{1.0cm}

113: {\em Research Center for the Early Universe, University of Tokyo,} \\

114: {\em Hongo, Bunkyo-ku, Tokyo 113-0033, Japan}\\

115: \vspace{0.3cm}

116: {\em email: shinji@resceu.s.u-tokyo.ac.jp\\}

117: 

118: \vspace{.3cm}

119: 

120: \end{center}

121: 

122: \vspace{3cm}

123: 

124: \centerline{\Large Abstract}

125: \vspace{3 mm}

126: \begin{quote}\small

127: We study nonsingular cosmological scenarios in a general $D$-dimensional 

128: string effective action of the dilaton-modulus-axion system in the presence 

129: of the matter source.  In the standard dilatonic Brans-Dicke parameter 

130: ($\omega=-1$) with radiation, we analytically obtain singularity-free 

131: bouncing solutions where the universe starts out in a state with a finite 

132: curvature and evolves toward the weakly coupled regime.  We apply this 

133: analytic method to the string-gas cosmology including the massive state in 

134: addition to the leading massless state (radiation), with and without 

135: the axion.  We numerically find bouncing solutions which asymptotically 

136: approach an almost radiation-dominant universe with a decreasing curvature 

137: irrespective of the presence of the axion, implying that inclusion of the 

138: matter source is crucial for the existence of such solutions for 

139: $\omega=-1$.  In the theories with $\omega \ne -1$, it is possible to 

140: obtain complete regular bouncing solutions with a finite dilaton and 

141: curvature in both past and future asymptotics for the general dimension, 

142: $D$.  We also discuss the case where dilatonic higher-order corrections are 

143: involved to the tree-level effective action and demonstrate that the 

144: presence of axion/modulus fields and the matter source does not 

145: significantly affect the dynamics of the dilaton-driven inflation and the 

146: subsequent graceful exit.

147: \end{quote}

148: 

149: \vfill 

150: 

151: \newpage

152: 

153: %%%%%%%%%%%%%%%%%%%%%%%%%%

154: \section{Introduction}                            

155: %%%%%%%%%%%%%%%%%%%%%%%%%%

156: 

157: String cosmology has continuously received much attention 

158: \cite{Lidsey:1999mc} with the development of string theory as a possible 

159: candidate to unify all fundamental interactions in nature \cite{str}.  

160: For cosmologists it is very important to test the viability of string 

161: theory by extracting cosmological implications from it.  In particular 

162: string cosmology has an exciting possibility to resolve the big-bang 

163: singularity which plagues in General Relativity.

164: 

165: Among the string-inspired cosmological scenarios proposed so far, 

166: the pre-big-bang (PBB) model \cite{Veneziano:1991ek,pbb} 

167: based on the low energy, tree-level string effective action has been 

168: widely studied (see ref.~\cite{Gasperini:2002} for a recent review).  In 

169: this scenario there exist two disconnected branches, one of which corresponds 

170: to the dilaton-driven inflationary stage and another of which is the 

171: Friedmann branch with decreasing curvature.  Then string corrections to the 

172: effective action can be important around the high curvature regime where 

173: the branch change occurs.  Recently proposed Ekpyrotic/Cyclic cosmologies 

174: \cite{ekpyr,cyclic} have a similarity to the PBB scenario in the sense that 

175: the description in terms of the tree-level effective action breaks down around 

176: the collision of two branes in a five dimensional bulk.

177: 

178: When the universe evolves toward the strongly coupled, high curvature regime 

179: with growing dilaton, it is inevitable to implement higher-order corrections 

180: to the tree-level action.  Indeed it was found that two branches can be 

181: smoothly joined by taking into account the dilatonic higher-order derivative 

182: and loop corrections in the context of PBB \cite{Gasperini:1996fu,Bru} and 

183: Ekpyrotic \cite{Tsujikawa:2002qc} scenarios.  In the system where a modulus 

184: field is dynamically important rather than the dilaton, 

185: Antoniadis {\it et al.} showed that the big-bang singularity can be avoided 

186: by including the Gauss-Bonnet curvature invariant coupled to the modulus 

187: \cite{Antoniadis:1993jc}.

188: 

189: In contrast we can consider the case where the dilaton 

190: evolves toward the weakly coupled region.

191: In the brane-gas cosmology \cite{Alex,Brand,Easson,EGJ,Easther} and the 

192: recently proposed string-gas cosmology \cite{Bassett:2003ck}, the universe 

193: starts out from a dense and hot state filled with a gas of fundamental 

194: branes and strings in thermal equilibrium.  These are originated from the 

195: work of Brandenberger and Vafa \cite{BV} (see also ref.~\cite{TV}) in  an 

196: attempt to construct singularity-free cosmological scenarios using 

197: T-duality.  In these models it is typically assumed that the cosmic 

198: evolution does not reach the strongly coupled regime in order to avoid the 

199: breakdown of the effective ten-dimensional background description (see 

200: ref.~\cite{Maggiore:1998cz} for the parameter regions where the 

201: effective ten-dimensional description of the physics is no longer valid).  In 

202: particular, in the context of the string-gas cosmology, it was shown that only 

203: the large 3 dimensions expand and asymptotically approach the 

204: radiation dominant universe while the small 6 or 7 dimensions are kept 

205: undetectably small \cite{Bassett:2003ck}.

206: 

207: In order to obtain viable nonsingular cosmological scenarios in string 

208: theories, the string coupling and the scalar curvature are required to be 

209: finite during the cosmological evolution.  In the standard tree-level 

210: action with the dilatonic Brans-Dicke parameter $\omega=-1$, it is generally 

211: difficult to construct nonsingular solutions in the absence of the matter 

212: source term.  This comes from the fact that the evolution toward the 

213: strongly coupled regime reaches the curvature singularity in the tree-level 

214: action and that the evolution toward the weakly coupled regime does not 

215: have enough power to lead to bouncing solutions.  Although bouncing 

216: solutions were found in 

217: ref.~\cite{Copeland:vi,Easther:1995ba,Copeland:1997ug} by including the 

218: axion field in the tree-level action, this corresponds to the case where 

219: the string coupling and the scalar curvature diverge in both past and 

220: future asymptotics.  Therefore this can not be regarded as ideal 

221: singularity-free bouncing solutions unless some higher-order effects alter 

222: the dynamics of the system when the dilaton enters the strong coupling 

223: regime.

224: 

225: We can take into account the radiation-like matter source which comes,

226: for example, from the ideal string-gas \cite{Bassett:2003ck} or the 

227: 5-form of the Ramond-Ramond sector of the type 

228: IIB superstring \cite{Constantinidis:1999cu,Fabris:2002jt,Fabris:2002pm}.  

229: In the presence of the radiation matter and the axionic field in $d=3$ 

230: spatial dimensions, Constantinidis {\it et al.} \cite{Constantinidis:1999cu} 

231: showed that bouncing solutions can be obtained when the dilatonic Brans-Dicke 

232: parameter $\omega$ is negative ({\it i.e.,} including the $\omega=-1$ case).  

233: When $-4/3<\omega<0$ these solutions exhibit divergent behavior of the scalar 

234: curvature as the dilaton evolves toward the large coupling regime ($\vp \to 

235: \infty$), in which case Constantinidis {\it et al.} did not regard them 

236: as ideal nonsingular bouncing solutions.  Meanwhile these solutions, in 

237: another asymptotic, tend to approach the radiation dominant universe with a 

238: decreasing curvature and a finite dilaton.  Then it should be possible to 

239: have regular bouncing solutions if the initial state of the universe is in 

240: the weakly coupled region with a finite curvature as in the case of 

241: string/brane-gas cosmology.

242: 

243: In this paper we shall investigate singularity-free cosmological scenarios 

244: based on the effective action of the dilaton-modulus-axion system in the 

245: presence of the matter source term.  We keep the dilatonic Brans-Dicke 

246: parameter $\omega$ arbitrary so that the effective action includes a wide 

247: variety of theories such as the 

248: $F$-theory \cite{Vafa:1996xn,Khviengia:1997rh} or the multidimensional 

249: theory \cite{Bronnikov:2002ki}.  Indeed it was recently found that in the 

250: presence of the axion and the pure radiation complete regular bouncing 

251: solutions were found in both past and future asymptotics when $\omega<-3/2$ 

252: in the case of $d=3$ spatial dimensions \cite{Fabris:2002jt,Fabris:2002pm}.  

253: With an application to string/brane-gas cosmology in mind, we shall 

254: extend the analysis to the general $d$ spatial dimensions with/without the 

255: axion and modulus fields.  In fact there exist a number of bouncing 

256: solutions even for the tree-level action in the presence of the radiation 

257: source term.  In particular we will make numerical analysis in the context 

258: of string-gas cosmology with and without the axion by including the 

259: massive state together with the leading massless state (radiation) and 

260: demonstrate the existence of nonsingular bouncing solutions even for 

261: $\omega=-1$.

262: 

263: When the system evolves toward the strongly coupled regime, it is likely 

264: that the evolution is altered by the higher-order corrections to the 

265: tree-level action.  Therefore we shall also make numerical simulations for 

266: the case where the dilatonic high-order derivative and loop corrections are 

267: included in the dilaton-modulus-axion system with a matter source term.  We 

268: will show that these higher-order corrections typically dominate the 

269: dynamics of the system, by which the big-bang singularity can be avoided as 

270: in the case where the only dilaton is present.

271: 

272: 

273: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

274: \section{Model}

275: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

276: 

277: 

278: Consider the following effective action with three scalar fields

279: $\vp$, $\chi$ and $\sigma$: 

280: %

281: \begin{eqnarray}

282: S=\int d^D x \sqrt{-g_D} \left[ \frac{e^{-\varphi}}{2} 

283: \left\{R-\omega (\nabla \varphi)^2-(\nabla \chi)^2 

284: -e^{-(n-1)\varphi} (\nabla \sigma)^2 

285: \right\}+ {\cal L}_m +{\cal L}_c \right]\,,

286: \label{Baction}

287: \end{eqnarray}

288: %

289: where $R$ is the scalar curvature in $D$-dimensions with metric 

290: $g_{\mu\nu}$ with $g_D={\rm det}\,g_{\mu\nu}$. 

291: ${\cal L}_m$ represents the matter source term and ${\cal L}_c$ corresponds

292: to the higher-order corrections to the tree-level action.  The action 

293: (\ref{Baction}) contains a variety of models derived from string theories.  

294: In what follows we shall briefly show such examples.

295: 

296: \begin{itemize}

297: \item {\em Low energy effective string action}

298: 

299: The lowest order $\bar{D}$-dimensional string effective action 

300: coming from the beta function of the string world-sheet is characterized by 

301: \cite{Lidsey:1999mc} 

302: %

303: \begin{eqnarray}

304: S_{\bar{D}}=\int d^{\bar{D}} x \sqrt{-g_{\bar{D}}} \,

305: \frac{e^{-\psi}}{2} \left[ R_{\bar{D}}+(\nabla \psi)^2-\frac{1}{12} H_{\mu 

306: \nu \lambda} H^{\mu \nu \lambda} \right]\,,

307: \label{lowest}

308: \end{eqnarray}

309: %

310: where $\psi$ is the dilaton, $H_{\mu \nu \lambda}$ is the antisymmetric

311: tensor field.  Let us compactify the $k=\bar{D}-4$ dimensions by 

312: introducing a modulus field, $e^{k\bar{\chi}}$.  We define an effective 

313: dilaton in four dimensions as $\vp=\psi-k \bar{\chi}$. We also introduce a

314: pseudo-scalar axion field $\sigma$ as 

315: $H^{\mu\nu\lambda}=e^{\vp}\epsilon^{\mu\nu\lambda \rho} \nabla_{\rho} 

316: \sigma$ by taking into account the fact that $H^{\mu\nu\lambda}$ has only one 

317: degree of freedom in 4 dimensions \cite{Lidsey:1999mc}.  

318: Then we get the action (\ref{Baction}) 

319: with $D=4$, $\omega=-1$, $\chi=\sqrt{k}\bar{\chi}$, $n=-1$, ${\cal L}_m=0$ 

320: and ${\cal L}_c=0$.

321:  

322: \item {\em String/Brane-gas cosmology}

323: 

324: The string-gas cosmology \cite{Bassett:2003ck} is an attempt to explain why 

325: and how the three spatial dimensions become large and other 6 or 7 are kept 

326: to be small.  The bulk action in 10 or 11 dimensions is assumed to take the 

327: same form as (\ref{lowest}), but we have additional source matters due to 

328: the presence of the ideal string-gas in thermal equilibrium.  The simplest 

329: version of the string-gas cosmology \cite{Bassett:2003ck} corresponds to 

330: $\omega=-1$, $\chi=0$, $\sigma=0$, ${\cal L}_m \ne 0$ and ${\cal L}_c=0$ in 

331: (\ref{Baction}).  Instead of introducing a modulus field, one considers the 

332: evolution of one scale factor for $(D-1)$ spatial dimensions or two scale 

333: factors for large and small dimensions \cite{Bassett:2003ck}.  

334: In this work we shall also analyze 

335: the case where the axion is present ($\sigma \ne 0$).  Note that the 

336: brane-gas cosmology discussed in refs.~\cite{Alex,Brand} belongs to this 

337: class with a different matter source when we use the low energy bulk action 

338: (\ref{lowest}) with $\omega=-1$.

339: 

340: \item {\em Cosmology with $p$-brane or D$p$-brane solitons}

341: 

342: The $p$-brane or D$p$-brane are the solitonic degrees of freedom on which

343: string endpoints live.  These can be fundamentally important when the string 

344: coupling is large, since they are light in the high curvature regime 

345: \cite{Maggiore:1998cz,Riotto:1999kn}.  In the string $\sigma$-model whose 

346: metric is minimally coupled to the $p$-brane, Duff {\em et al.} 

347: \cite{Duff:1994an} showed that the effective action can be described by 

348: (\ref{Baction}) with $\chi=0$, $\sigma=0$, ${\cal L}_m \ne 0$ and 

349: %

350: \begin{eqnarray}

351: \omega=-\frac{(D-1)(\bar{p}-2)-\bar{p}^2}{(D-2)(\bar{p}-2)-\bar{p}^2}\,,

352: \label{omebrane}

353: \end{eqnarray}

354: %

355: where $\bar{p}=p+1$.  

356: {}From this we have $\omega=-1$ for the string ($p=1$).

357: However $\omega$ depends upon the values of $d$ and $p$

358: for the $p$-branes with $p \ne 1$. 

359: Cosmology in this scenario was investigated 

360: in refs.~\cite{Park:1997dw,Park:1999xn} in the absence of higher-order 

361: corrections to the tree-level action (see also ref.~\cite{Rama}).

362: 

363: \item {\em F-theory}

364: 

365: The superstring type IIB theory can be reformulated geometrically 

366: within the framework of 12 dimensional theory-- 

367: called $F$-theory \cite{Vafa:1996xn,Khviengia:1997rh}.  

368: After the dimensional reduction from 12 to 10 dimensions, the following 

369: action may be obtained \cite{Fabris:2002pm}:

370: %

371: \begin{eqnarray}

372: S=\frac12 \int d^{10} x \sqrt{-g_{10}}\left[ e^{-\vp}\left( R_{10}

373: +3(\nabla \vp)^2-\frac{1} {12} F_{\mu \nu \lambda} F^{\mu \nu \lambda} 

374: \right)-\frac{1}{8} F_{\mu\nu}F^{\mu\nu} \right]\,,

375: \label{F}

376: \end{eqnarray}

377: %

378: where the terms $F_{\mu\nu}$ and $F_{\mu\nu\lambda}$ come

379: from the Ramond-Ramond (RR) sector of the type IIB 

380: superstring.  This action is different from the standard string theory with 

381: $\omega=-1$.  Making the similar dimensional reduction from 10 to 4 

382: dimensions as (\ref{lowest}) with the isotropization of the RR terms, we 

383: get the action (\ref{Baction}) with $\omega =-3$, $\chi \ne 0$, $\sigma \ne 

384: 0$ ($n=-1$) and the radiation fluid term (${\cal L}_m \ne 0$) coming from 

385: the 5-form of the RR sector.  The axionic terms minimally coupled to the 

386: dilaton can also appear from the same RR sector \cite{Fabris:2002pm}.  This 

387: corresponds to the case of adding another field with $n=0$ in the action 

388: (\ref{Baction}).

389: 

390: \item {\em Multidimensional cosmologies}

391: 

392: The low energy limit of the string effective action may be reformulated in the 

393: context of multidimensional theories \cite{Freund:1982pg}.  In its simplest 

394: form the multidimensional theories contain only the geometry, in which case 

395: one has $\omega=(1-\tilde{d})/\tilde{d}$ with $\chi=\sigma=0$ by the 

396: dimensional reduction ($\tilde{d}$ is the number of compactified 

397: dimensions).  When a 2-form field or a conformal gauge field with 

398: $(\tilde{d}+4)/2$-form is present, we have an axionic term $\sigma$ in 

399: eq.~(\ref{Baction}) with $n=-2/\tilde{d}+1$ or $n=-2/\tilde{d}$, 

400: respectively.  Therefore we keep the value of $n$ arbitrary so that 

401: multidimensional theories are also included in (\ref{Baction}).

402: 

403: \end{itemize}

404: 

405: Hereafter we shall analyze the cosmological solutions based

406: on the action (\ref{Baction}).  

407: For convenience we call the fields $\vp$, $\chi$ and $\sigma$

408: as dilaton, modulus and axion, respectively, unless otherwise specified.

409: We do not include the potential of scalar fields 

410: in the action\footnote{See ref.~\cite{Easson:1999xw} for the construction of 

411: nonsingular cosmological solutions including the dilaton potential.}.  

412: Extending the analysis of 

413: refs.~\cite{Constantinidis:1999cu,Fabris:2002jt,Fabris:2002pm} with $D=4$, 

414: we will study the cosmological evolution in the general $D$-dimensional 

415: action with a time-dependent modulus field ($\dot{\chi} \ne 0$).  In 

416: applying to string-gas or $p$-brane cosmologies, it is convenient to 

417: consider the case of the general dimension $D$.  In addition the presence 

418: of the internal space (modulus) can alter the parameter range where the 

419: nonsingular solutions exist.  We should also keep in mind that higher-order 

420: corrections to the tree-level action are inevitably important in the 

421: strongly coupled regime ($e^{\vp}~\gsim~1$).  In later sections we shall 

422: numerically investigate the dynamics of the system in the action 

423: (\ref{Baction}) when the dilatonic $\alpha'$ and loop corrections are taken 

424: into account (${\cal L}_c \ne 0$).

425: 

426: Let us consider the case where the $D=d+1$ dimensional spacetime

427: is described by a flat Friedmann-Robertson-Walker (FRW) metric 

428: with the line element 

429: %

430: \begin{eqnarray}

431: ds^2=-dt^2+a^2(t) \delta_{ij}dx^i dx^j\,,

432: \label{line}

433: \end{eqnarray}

434: %

435: where $a(t)$ is the scale factor.

436: In the context of the string (brane)-gas cosmology, it is possible to consider 

437: the case with two scale factors corresponding to the ``large'' and 

438: ``small'' dimensions.  It was shown in ref.~\cite{Bassett:2003ck}

439: that only the large dimensions can be dynamically important whereas

440: the small dimensions are kept to be nearly constant.

441: In such cases it is sufficient to analyze the case of the one scale factor

442: described by eq.~(\ref{line}).  However we will also discuss the case of two 

443: scale factors in sec.~5.

444: 

445: Defining a new scalar field, 

446: %

447: \begin{eqnarray}

448: \phi=e^{-\vp}\,,

449: \label{phidef}

450: \end{eqnarray}

451: %

452: the variation of the action (\ref{Baction}) yields the following 

453: equations of motion 

454: %

455: \begin{eqnarray}

456: \label{b1}

457:  & &H^2 = \frac{1}{d(d-1)\phi} \left( \omega \frac{\dot\phi^2}{\phi}

458: +\phi \dot{\chi}^2+\phi^n \dot{\sigma}^2 -2dH\dot{\phi}

459: +2\rho+2\rho_c \right) \,, \\

460: \label{b2}

461: & &\dot{H} = -\frac{1}{(d-1)\phi}\left(\omega 

462: \frac{\dot\phi^2}{\phi}+\phi \dot{\chi}^2+\phi^n \dot{\sigma}^2

463: -H\dot{\phi}+\ddot{\phi}+\rho+p+\rho_c+p_c \right)\,, \\

464: \label{b3}

465: & & \ddot{\phi}+dH\dot{\phi}-\frac{\phi}{2\omega} 

466: \left( \omega \frac{\dot\phi^2}{\phi^2}+\dot{\chi}^2

467: +n\phi^{n-1}\dot{\sigma}^2+R+\Delta_c \right)=0\,, \\

468: \label{b4}

469: & & \ddot{\chi}+\left(dH+\frac{\dot{\phi}}{\phi}\right) \dot{\chi}=0\,, \\

470: \label{b5}

471: & & \ddot{\sigma}+\left(dH+n\frac{\dot{\phi}}{\phi}\right) 

472: \dot{\sigma}=0\,, \\

473: \label{b6}

474: & & \ddot{\rho}+dH(\rho+p)=0\,,

475: \label{back}

476: \end{eqnarray}

477: %

478: where $H \equiv \dot{a}/a$ is the Hubble rate. 

479: Here $\rho$ and $p$ stand for the energy and pressure density of the matter

480: source, respectively.  $\rho_c$ and $p_c$ correspond to the dilatonic 

481: higher-order corrections to the tree-level action with stress-energy tensor 

482: $T^{\mu}_{\nu}=(-\rho_c, p_c, p_c, p_c)$.  $\Delta_c$ comes from the 

483: variation of ${\cal L}_c$ with respect to $\phi$.

484: 

485: The scalar curvature, $R$, is expressed as 

486: %

487: \begin{eqnarray}

488: R &=& d(d+1)H^2+2d\dot{H} \\

489: &=& -\omega \frac{\dot\phi^2}{\phi^2}-\dot{\chi}^2-

490: \phi^{n-1} \dot{\sigma}^2+\frac{2}{(d-1)\phi}

491: \left(-d^2H\dot{\phi}-d\ddot{\phi}+\rho-dp

492: +\rho_c-dp_c \right)\,.

493: \label{scalar}

494: \end{eqnarray}

495: %

496: Substituting this relation for eq.~(\ref{b3}), we get

497: %

498: \begin{eqnarray}

499: \ddot{\phi}+dH\dot{\phi}+

500: \frac{(1-n)(d-1)\phi^n \dot{\sigma}^2-2(\rho-dp)

501: -2(\rho_c-dp_c) -(d-1)\phi \Delta_c}{2\{\omega(d-1)+d\}} 

502: =0\,.

503: \label{phieq0}

504: \end{eqnarray}

505: %

506: The equations (\ref{b4}) and (\ref{b5}) are easily integrated 

507: to give 

508: %

509: \begin{eqnarray}

510: \dot{\chi}=\frac{A}{a^d\phi}\,,~~~~ 

511: \dot{\sigma}=\frac{B}{a^d\phi^n}\,,

512: \label{ana}

513: \end{eqnarray}

514: %

515: where $A$ and $B$ are integration constants. 

516: Making use this relation and 

517: introducing a new time parameter, 

518: %

519: \begin{eqnarray}

520: \tau \equiv \int a^{-d} dt \,,

521: \label{tau}

522: \end{eqnarray}

523: %

524: the $\phi$ equation (\ref{phieq0}) can be written in the form: 

525: %

526: \begin{eqnarray}

527: \frac{{\rm d}^2 \phi}{{\rm d} \tau^2}+ 

528: \frac{(1-n)(d-1)B^2}{2\{\omega(d-1)+d\}}\phi^{-n} 

529: -\frac{2(\rho-dp)+2(\rho_c-dp_c)+(d-1)\phi 

530: \Delta_c}{2\{\omega(d-1)+d\}} a^{2d}=0 \,.

531: \label{phieq}

532: \end{eqnarray}

533: %

534: In the absence of the correction ${\cal L}_c$, the last term of 

535: eq.~(\ref{phieq}) vanishes for $\rho=p=0$ (no matter source) or $\rho=dp$ 

536: (radiation).  In these cases it is possible to obtain analytic solutions 

537: for the general spatial dimension $d$ even in the presence of axion and 

538: modulus fields.  Notice that the simplest pre-big-bang scenario 

539: \cite{Veneziano:1991ek} corresponds to the case of $\rho=p=0$ without 

540: the axion field.  The radiation matter ($\rho=dp$) can appear naturally 

541: in the context of string-gas cosmology at finite temperature 

542: \cite{Bassett:2003ck} or the 5-form existing in the RR sector of the type 

543: IIB superstring \cite{Fabris:2002pm}.  When $\rho=dp$, the integration of 

544: eq.~(\ref{b6}) gives $\rho=\rho_0 a^{-(d+1)}$, with $\rho_0$ being a 

545: constant.  Introducing a new parameter, $b=a\phi^{1/(d-1)}$, eq.~(\ref{b1}) 

546: can be written for ${\cal L}_c =0$ as 

547: %

548: \begin{eqnarray}

549: d(d-1)\phi^2 \left(\frac{b'}{b}\right)^2=2\rho_0 b^{d-1}+ 

550: A^2+B^2\phi^{1-n}+\frac{\omega(d-1)+d}{d-1}\phi'^2\,,

551: \label{b}

552: \end{eqnarray}

553: %

554: where a prime denotes the derivative with respect to $\tau$. 

555: This equation includes the case without the matter source by setting 

556: $\rho_0=0$.

557: 

558: In the next two sections we shall derive the analytic solutions for the scale 

559: factor and the dilaton in the case of the radiation or no matter source 

560: without the correction ${\cal L}_c$.  For the general equations of state 

561: with $p=\gamma \rho$, it is not so easy to find analytic solutions due to the 

562: fact that the last term in eq.~(\ref{phieq}) does not vanish\footnote{Note, 

563: however, that it is still possible to obtain analytic solutions for some 

564: special equations of state in the absence of the axion and the modulus 

565: \cite{Park:1997dw}.}.  In sec.~5 we will analyze the dynamics of 

566: string-gas cosmology as an application by including the massive state 

567: (Kaluza-Klein and winding modes) in addition to the leading massless state 

568: (radiation), with and without the axion.  In this case the string-gas state 

569: is not purely the radiation.  Since it is difficult to proceed analytic 

570: approach when the higher-order correction ${\cal L}_c$ is present, we shall 

571: make numerical analysis separately in sec.~6 for the general action 

572: (\ref{Baction}).  Hereafter we will consider the case of $d>1$.

573: 

574: 

575: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

576: \section{Low energy tree-level action without axion 

577: ($\sigma=0$ and ${\cal L}_c=0$)} 

578: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

579: 

580: Let us first analyze the low energy tree-level action without 

581: the axion (${\cal L}_c=0$ and $\sigma=0$).  When $\rho=p=0$ (no matter 

582: source) or $\rho=dp$ (radiation), eq.~(\ref{phieq}) is integrated to give 

583: %

584: \begin{eqnarray}

585: \phi=c\tau\,,

586: \label{phino}

587: \end{eqnarray}

588: %

589: where $c$ is a constant. 

590: We can set another integration constant to be zero without 

591: loss of generality. Since $\phi=e^{-\vp}$ is required to be larger than zero, 

592: we have $\tau>0$ for $c>0$ and $\tau<0$ for $c<0$.  The string coupling, 

593: $g_s^2=e^{\vp}=\phi^{-1}$, diverges as $\tau \to 0$.

594: 

595: Since we are now considering the case with $B=0$,

596: eq.~(\ref{b}) yields

597: %

598: \begin{eqnarray}

599: \int \frac{\rd b}{b\sqrt{Mb^{d-1}+N}}=\pm 

600: \int \frac{\rd \tau}{\phi}\,,

601: \label{int}

602: \end{eqnarray}

603: %

604: where 

605: %

606: \begin{eqnarray}

607: M = \frac{2\rho_0}{d(d-1)}\,,~~~~ 

608: N = \frac{1}{d(d-1)}\left[A^2+ \frac{\omega (d-1)+d}{d-1}

609: c^2 \right]\,.

610: \label{MN}

611: \end{eqnarray}

612: %

613: The integral in the l.h.s. of eq.~(\ref{int}) is different depending on 

614: the sign of $N$.

615: For example, $N$ is positive in the standard string theory ($\omega=-1$) with 

616: $d>1$.  However, $N$ can be negative for the theories such as the solitonic 

617: $p$-brane/D$p$-brane or multidimensional theories.  In what follows we 

618: shall discuss the positive and negative $N$ cases separately.

619: 

620: 

621: %%%%%%%%%%%%%%

622: \subsection{Case of $N>0$}

623: %%%%%%%%%%%%%%

624: 

625: When $N>0$ the integration of eq.~(\ref{int}) leads to 

626: %

627: \begin{eqnarray}

628: \frac{b^{d-1}}{\left(\sqrt{Mb^{d-1}+N}+\sqrt{N}

629: \right)^2}=\frac{1}{\xi^2}\,.

630: \label{pN}

631: \end{eqnarray}

632: %

633: where

634: %

635: \begin{eqnarray}

636: \xi=\xi_0 \left(c\tau\right)^q\,~~~~ 

637: {\rm with}~~~~q=\pm 

638: \frac{\sqrt{N}}{2c}(d-1)\,.

639: \label{xiq}

640: \end{eqnarray}

641: %

642: Here $\xi_0$ is a positive integration constant.

643: Then the analytic solution for the scale factor can be written 

644: as 

645: %

646: \begin{eqnarray}

647: \label{ageneral}

648: a &=& \left(\frac{2\sqrt{N}}{\sqrt{\phi}(\xi-M/\xi)} \right)^{2/(d-1)} 

649: \\

650: \label{anoB}

651: &=& f(\phi)^{2/(d-1)}\,~~~{\rm with}~~~

652: f(\phi)=\frac{2\sqrt{N}}{\xi_0\phi^{\frac12+q}- 

653: (M/\xi_0)\phi^{\frac12-q}} \,.

654: \end{eqnarray}

655: %

656: This indicates that the evolution of the scale factor is determined

657: in terms of the field $\phi$ for the case (\ref{phino}). 

658: The simplest pre-big-bang scenario with a constant modulus 

659: corresponds to the case of $A=0$, $B=0$, $M=0$,

660: $d=3$ and $\omega=-1$, thereby 

661: yielding $q=\pm \sqrt{3}/6$ and 

662: %

663: \begin{eqnarray}

664: a=\frac{2\sqrt{N}}{\xi_0} \phi^{(-3\pm\sqrt{3})/6}

665: \,.

666: \label{PBB}

667: \end{eqnarray}

668: %

669: This represents an inflationary solution with decreasing $\phi$ from the 

670: weakly coupled regime ($\phi \to \infty$) to the strongly coupled regime 

671: ($\phi \to 0$).  Note that the solution eventually reaches the curvature 

672: singularity as $\phi \to 0$.  If we consider the case of increasing $\phi$, 

673: the solution presented in eq.~(\ref{PBB}) describes a contracting universe.  

674: In this case the solution does not connect to our expanding branch.

675: 

676: The situation changes when the radiation is taken into account ($M \ne 0$).

677: Differentiating eq.~(\ref{anoB}) with respect to $\phi$, we have 

678: %

679: \begin{eqnarray}

680: \frac{{\rm d} f}{{\rm d} \phi} (\phi)=-\sqrt{N} \frac{(1+2q)\xi_0 

681: \phi^{\frac12+q}-(1-2q)(M/\xi_0)\phi^{\frac12-q}} {(\xi_0 

682: \phi^q-(M/\xi_0)\phi^{-q})^2} \,.

683: \label{diffe}

684: \end{eqnarray}

685: %

686: This means that it is possible to have bouncing solutions with the increase of 

687: $\phi$ as long as $-1/2<q<0$.  In this case, if the condition $(1+2q)\xi_0 

688: \phi^{\frac12+q}> (1-2q)(M/\xi_0)\phi^{\frac12-q}$ is satisfied initially 

689: with a finite value of the dilaton ($\phi_i \ne 0$), the universe contracts 

690: at the initial stage.  This is followed by a bounce due to the growth of 

691: the $(1-2q)(M/\xi_0)\phi^{\frac12-q}$ term.  The bounce occurs when the 

692: field $\phi$ passes at 

693: %

694: \begin{eqnarray}

695: \phi_*=\left(\frac{1-2q}{1+2q}\frac{M}{\xi_0^2}

696: \right)^{1/(2q)} \,.

697: \label{phistar}

698: \end{eqnarray}

699: %

700: The universe begins to expand for $\phi>\phi_*$ with the increase of $\phi$.  

701: As found from eq.~(\ref{anoB}) the scale factor goes to infinity as $\phi$ 

702: approaches the critical value, 

703: %

704: \begin{eqnarray}

705: \phi_c=\left(\frac{M}{\xi_0^2}\right)^{1/(2q)} \,.

706: \label{phicri}

707: \end{eqnarray}

708: %

709: Let us find the asymptotic behavior of $a$ around $\phi=\phi_c$.  Setting 

710: $\phi=\phi_c-c\Delta \tau$ with $\Delta \tau$ being a small time parameter, 

711: we find the scale factor (\ref{anoB}) is proportional to $(\Delta 

712: \tau)^{-2/(d-1)}$.  Since the cosmic time $t$ is related with $\tau$ by the 

713: relation $\rd t/\rd \tau=a^d$, the evolution of the scale factor is 

714: described by 

715: %

716: \begin{eqnarray}

717: a \propto t^{2/(d+1)}~~~({\rm for}~~~\phi \to \phi_c) \,,

718: \label{aasy}

719: \end{eqnarray}

720: %

721: which shows the radiation dominant behavior.

722: 

723: In the limit of $\phi \to \phi_c$, we have $t \to \infty$ as $\Delta

724: \tau \to 0$.  Then the scalar curvature asymptotically 

725: approaches zero as $R \propto t^{-2}$ for $\phi \to \phi_c$.  In addition the 

726: string coupling, $g_s^2=1/\phi$, is also finite in this case.  

727: This means that nonsingular bouncing solutions with finite curvature 

728: and dilaton can be obtained by taking into account 

729: the radiation in the low energy tree-level string action.  

730: Notice that we are not considering the regime around the strong coupling 

731: limit ($\phi \to 0$).  The universe is assumed to start out from 

732: the region with finite dilaton and curvature, as in the string/brane-gas 

733: cosmologies.  Then the dilaton evolves toward the weakly coupled region

734: (see fig.~\ref{mlessevo}), which asymptotically approaches the radiation 

735: dominant universe given by (\ref{aasy}).  

736: In sec.~5 we will numerically investigate the existence of such 

737: bouncing solutions in string-gas cosmology taking into account the 

738: massive state in addition to the leading massless state.

739: 

740: These bouncing solutions exist for $-1/2<q<0$, whose condition is written as 

741: %

742: \begin{eqnarray}

743: \omega<-\frac{A^2}{c^2} \,.

744: \label{boucon}

745: \end{eqnarray}

746: %

747: In the absence of the modulus, this condition yields $\omega<0$.  

748: Note, however, that the large initial value of the modulus 

749: restricts the range for the existence of the bouncing solutions.

750: 

751: If the condition, $(1+2q)\xi_0 

752: \phi^{\frac12+q}<(1-2q)(M/\xi_0)\phi^{\frac12-q}$, is satisfied initially 

753: with $-1/2<q<0$, the scale factor (\ref{anoB}) grows from the 

754: beginning with the increase of $\phi$.  Then it asymptotically approaches 

755: the radiation dominant solution given by eq.~(\ref{aasy}). 

756: This solution was numerically found as well in the context of string-gas 

757: cosmology \cite{Bassett:2003ck}.  Note that when $|q| \ge 1/2$ we have 

758: either ever expanding or contracting solutions.

759: 

760: 

761: %%%

762: \begin{figure}

763: \epsfxsize = 4.5in \epsffile{bounce.eps} 

764: \caption{A nonsingular bouncing solution in the low energy tree-level action 

765: without the axion in the presence of the radiation ($\rho=dp$).  With the 

766: growth of $\phi=e^{-\vp}$, the universe contracts and exhibits the bounce at 

767: $\phi=\phi_*$.  After that the scale factor begins to grow and the system 

768: asymptotically approaches the radiation dominant universe as $\phi \to 

769: \phi_c$.}

770: \label{mlessevo}

771: \end{figure}

772: %%%

773: 

774: It is possible to obtain bouncing solutions provided the condition 

775: (\ref{boucon}) is satisfied and the dilaton $\vp$ decreases.

776: In contrast, it is worth mentioning the case where the dilaton evolves toward 

777: the strongly coupled regime.  In this case, the scalar curvature 

778: does not necessarily converge in the limit of $\phi \to 0$.  Around the 

779: region of $\phi=0$, the scale factor is estimated as $a \propto 

780: \phi^{-\frac{1+2q}{d-1}}$ for $-1/2<q<0$.  Combining this relation with 

781: $\rd t/\rd \tau=a^d$, we have 

782: %

783: \begin{eqnarray}

784: t=t_0+\tilde{c}\tau^{-\frac{1+2dq}{d-1}} \,,

785: \label{texplicit2}

786: \end{eqnarray}

787: %

788: where $t_0$ and $\tilde{c}$ are constants.

789: Then the scale factor around $\phi=0$ is expressed as 

790: %

791: \begin{eqnarray}

792: a \propto (t-t_0)^{\frac{1+2q}{1+2dq}}\,.

793: \label{scaleasy2}

794: \end{eqnarray}

795: %

796: When $q>-1/(2d)$, one has $t \to \infty$ as $\tau \to 0$ from

797: eq.~(\ref{texplicit2}). Since the power in eq.~(\ref{scaleasy2}) is positive 

798: in this case, the universe expands for $\tau \to 0$.  

799: Meanwhile we have $t \to t_0$ as 

800: $\tau \to 0$ for $q<-1/(2d)$.  Since we are considering the case of 

801: $q>-1/2$, the power in eq.~(\ref{scaleasy2}) is negative for 

802: $-1/2<q<-1/(2d)$, thereby leading to the growth of $a$ as $t \to t_0$.

803: 

804: Since the scalar curvature evolves as $R \propto (t-t_0)^{-2}$ for 

805: the solution (\ref{scaleasy2}), it asymptotically decreases toward zero only 

806: for $q>-1/(2d)$.  When $-1/2<q<-1/(2d)$, $R$ diverges in the limit of  

807: $\phi \to 0$.  Therefore, 

808: when the system approaches the strongly coupled regime, we have bouncing 

809: solutions with finite curvature for $q>-1/(2d)$, {\em i.e.,} 

810: %

811: \begin{eqnarray}

812: \omega<-1-\frac{1}{d}-\frac{A^2}{c^2}\,.

813: \label{omef}

814: \end{eqnarray}

815: %

816: This does not include the string case ($\omega=-1$).

817: Combining (\ref{omef}) with the condition $N>0$,

818: we have $-\frac{d}{d-1}-\frac{A^2}{c^2}<\omega<

819: -1-\frac{1}{d}-\frac{A^2}{c^2}$.  When $d=3$ and $A=0$ (no modulus),

820: this condition yields $-3/2<\omega<-4/3$.

821: 

822:  We have to keep in mind that the description of the tree-level action 

823:  ceases to be valid as $\phi$ evolves toward the strong coupling region 

824:  ($\phi \to 0$).  The higher-order corrections to the tree-level action are 

825:  expected to be important in this regime.  On the contrary, nonsingular 

826:  bouncing solutions toward the weakly coupled regime shown in 

827:  fig.~\ref{mlessevo} can be regarded as ideal ones.  In addition the dilaton 

828:  and the scalar curvature do not diverge, provided that the universe starts 

829:  out from the region with finite $\vp$ and $R$.

830: 

831: 

832: %%%%%%%%%%%%%%

833: \subsection{Case of $N<0$}

834: %%%%%%%%%%%%%%

835: 

836: Let us next consider the case of $N<0$.  For example, when $d=3$ and $A=0$, 

837: this condition corresponds to $\omega<-3/2$.  The only difference relative 

838: to the $N>0$ case is the integral in the l.h.s.  of eq.~(\ref{int}).  For 

839: negative $N$ we have 

840: %

841: \begin{eqnarray}

842: {\rm arc tan}\sqrt{\frac{Mb^{d-1}+N}{|N|}}=

843: {\rm log}\, \xi_0 |c\tau+\phi_0|^q~~~

844: {\rm with}~~~q=\pm \frac{\sqrt{|N|}}{2c}(d-1)\,,

845: \label{ne}

846: \end{eqnarray}

847: %

848: where $\xi_0$ is a positive constant.

849: Then the scale factor can be written as 

850: %

851: \begin{eqnarray}

852: a=\left(\sqrt{\frac{|N|}{M}} 

853: \frac{1}{\sqrt{\phi}\cos \left({\rm log}\,\xi_0 \phi^q 

854: \right)}\right)^{2/(d-1)} \,.

855: \label{scale2}

856: \end{eqnarray}

857: %

858: This indicates that nonsingular bouncing solutions exist in the interval

859: %

860: \begin{eqnarray}

861: \frac{1}{\xi_0} \exp \left[\left(2j-\frac12 \right) \pi \right]<\phi^q< 

862: \frac{1}{\xi_0} \exp \left[\left(2j+\frac12 \right) \pi \right]\,,

863: \label{interval}

864: \end{eqnarray}

865: %

866: where $j$ is an integer.

867: From eq.~(\ref{scale2}) we find that the bounce occurs at 

868: $\cos ({\rm log}\,\xi_0\phi_*^q)=q+\sqrt{q^2+1}$, {\em i.e.,} 

869: %

870: \begin{eqnarray}

871: \phi_*=\frac{1}{\xi_0^{1/q}} \exp \left[\frac{1}{q}

872: {\rm arc} \cos \left(q+\sqrt{q^2+1}\right) \right]\,.

873: \label{phistar2}

874: \end{eqnarray}

875: %

876: Then we have $q<0$ from the condition, $|\cos ({\rm log}\,\xi_0\phi_*^q)| 

877: \le 1$. The asymptotic behavior of the scale factor is 

878: given by $a \propto t^{2/(d+1)}$ as the dilaton approaches $\phi \to 

879: (1/\xi_0^{1/q})\exp[(2j\pm 1/2)\pi/q]$.  In addition it is easy to show 

880: that the scalar curvature asymptotically decreases in the limit of $\phi 

881: \to (1/\xi_0^{1/q})\exp[(2j\pm 1/2)\pi/q]$.  Therefore the bouncing solution 

882: (\ref{scale2}) is characterized by the radiation dominant universe in both 

883: asymptotics with finite values of the dilaton and the scalar curvature.  We 

884: have a sequence of solutions (\ref{interval}) corresponding to the each 

885: integer value of $j$.  This is different from the case of $N>0$ where 

886: singularity-free solutions with finite dilaton exist only for 

887: $\phi_i<\phi<\phi_c$ ($\phi_i$ is the initial value).  The key point is 

888: that the dilaton can be controlled without entering the strongly coupled 

889: region with $\phi \sim 0$.

890: 

891: In the absence of the axion with $\rho=dp$ (or $\rho=p=0)$ considered above, 

892: the dilaton evolves as the free massless field ($\phi''=0$).  

893: However the situation changes when the axion is not dynamically negligible.

894: 

895: 

896: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

897: \section{Low energy tree-level action with axion 

898: ($\sigma \ne 0$ and ${\cal L}_c=0$)} 

899: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

900: 

901: In this section we implement the effect of the axion and discuss

902: the difference of the dynamics compared to the case of $\sigma=0$.  

903: First, the evolution of the dilaton is altered by the existence of the second 

904: term in eq.~(\ref{phieq}).  When ${\cal L}_c=0$ and $\rho=dp$ (or 

905: $\rho=p=0$), we find a conserved quantity, $E$, from eq.~(\ref{phieq}) : 

906: %

907: \begin{eqnarray}

908: \frac12 \phi'^2+\frac{(d-1)B^2}{2\{\omega(d-1)+d\}} 

909: \phi^{1-n}=\frac{E}{2} \,.

910: \label{E}

911: \end{eqnarray}

912: %

913: Making use of this relation, eq.~(\ref{b1}) is reduced to the integral form 

914: (\ref{int}) with 

915: %

916: \begin{eqnarray}

917: M = \frac{2\rho_0}{d(d-1)}\,,~~~~ 

918: N = \frac{1}{d(d-1)}\left[A^2+ \frac{\omega (d-1)+d}{d-1}

919: E \right]\,.

920: \label{MN2}

921: \end{eqnarray}

922: %

923: The only difference relative to the $\sigma=0$ case is that $c^2$ in 

924: eq.~(\ref{MN}) is replaced for $E$.

925: 

926: The integral in the l.h.s. of eq.~(\ref{int}) can be performed as in the 

927: previous section depending on the sign of $N$.  In order to integrate the 

928: r.h.s. of eq.~(\ref{int}), it is required to make further classifications 

929: depending on the sign of the second term in eq.~(\ref{E}).

930: 

931: %

932: \subsection{$\omega>-d/(d-1)$}

933: %

934: 

935: When $\omega>-d/(d-1)$, it is convenient to introduce a new time parameter, 

936: $\eta$, satisfying 

937: %

938: \begin{eqnarray}

939: \label{phis}

940: \phi=\phi_0 \left(\sin \eta \right)^{2/(1-n)}\,~~~~{\rm with}

941: ~~~~\phi_0=

942: \left(\frac{E\{\omega (d-1)+d\}}{(d-1)B^2}\right)^{1/(1-n)}\,.

943: \label{nepx}

944: \end{eqnarray}

945: %

946: {}From eq.~(\ref{E}) we find the relation 

947: $\rd \phi/\rd \tau= \pm \sqrt{E}\cos \eta$.  

948: Together with eq.~(\ref{MN2}) we obtain 

949: %

950: \begin{eqnarray}

951: \frac{\rd \tau}{\rd \eta}=\pm \frac{2}{(1-n)\sqrt{E}}\phi_0

952: (\sin \eta)^{\frac{1+n}{1-n}}\,.

953: \label{taueta}

954: \end{eqnarray}

955: %

956: Making use of this relation it is easy to perform the integral 

957: (\ref{int}).  

958: Notice that we are now considering the case with $N>0$

959: since this is automatically satisfied for  $\omega>-d/(d-1)$.

960: The scale factor is expressed by the form (\ref{ageneral}) with 

961: %

962: \begin{eqnarray}

963: \xi&=&\xi_0 \left| {\rm tan}\frac{\eta}{2}\right|^q\,,~~~~

964: q=\pm \frac{d-1}{1-n}\sqrt{\frac{N}{E}}\,.

965: \label{xp}

966: \end{eqnarray}

967: %

968: Namely the explicit form of $a$ can be written in terms of $\eta$ :

969: %

970: \begin{eqnarray}

971: a=\left(\frac{2\sqrt{N}}{\sqrt{\phi_0}(\sin \eta)^{1/(1-n)}

972: \left\{\xi_0 |\tan \eta/2|^q-(M/\xi_0)|\tan \eta/2|^{-q}\right\}} 

973: \right)^{2/(d-1)}\,.

974: \label{sca3}

975: \end{eqnarray}

976: %

977: The evolution of the scale factor is well understood by considering 

978: the behavior of $\xi$ and $\phi$ for $0<\eta<\pi$

979: (or the region $2j\pi<\eta<(2j+1)\pi$ with $j$ being an integer).

980: 

981: Let us first investigate the case of $n<1$ and $q<0$.  

982: It is sufficient to analyze negative values of $q$ only, since the function 

983: $\xi$ is symmetric with respect to $\eta=\pi/2$ for the change of $q \to 

984: -q$.  As found from eq.~(\ref{ageneral}), $\xi$ is larger than $\sqrt{M}$.  

985: It is clear from eq.~(\ref{ageneral}) that the universe expands as $\xi$ 

986: approaches $\xi_c \equiv \sqrt{M}$ (note that $\phi$ is finite in this 

987: limit).  Consider the asymptotic behavior of the scale factor when $\xi$ 

988: evolves toward $\xi_c=\xi_0 \left| {\rm tan} (\eta_c/2) \right|^q$ with $M 

989: \ne 0$.  Setting $\eta=\eta_c-\Delta \eta$ in eq.~(\ref{ageneral}), we find 

990: that the scale factor evolves as $a \propto (\Delta \eta)^{-\frac{2}{d-1}}$ 

991: around $\eta=\eta_c$.  Making use of the relation (\ref{sca3}) and $\rd 

992: \tau/\rd t=a^{-d}$, we have $a \propto t^{2/(d+1)}$ with $t \to \infty$ as 

993: $\Delta \eta \to 0$.  This represents the radiation dominant universe with 

994: decreasing curvature ($R \to 0$) as is similar to the case (\ref{aasy}).

995: 

996: In another limit $\eta \to 0$, one has $\phi \to 0$ and $\xi \to 

997: \infty$ for $n<1$ and $q<0$.  Since the evolution of the scale factor is 

998: approximately described by $a \propto 

999: \eta^{-\frac{2}{d-1}\left(\frac{1}{1-n}+q\right)}$ around $\eta=0$, we get 

1000: an expanding solution for $q>-\frac{1}{1-n}$.  

1001: {}From eq.~(\ref{MN2}) and (\ref{xp}) this condition yields 

1002: %

1003: \begin{eqnarray}

1004: \omega<-\frac{A^2}{E} \,,

1005: \label{ome1}

1006: \end{eqnarray}

1007: %

1008: which is similar to eq.~(\ref{boucon}). 

1009: Following the similar process by which eqs.~(\ref{texplicit2}) and 

1010: (\ref{scaleasy2}) are derived, we get the evolution of the scale factor 

1011: around $\eta=0$ as 

1012: %

1013: \begin{eqnarray}

1014: a \propto (t-t_0)^{\frac{1+q(1-n)}{1+dq(1-n)}}\,.

1015: \label{scaleasy}

1016: \end{eqnarray}

1017: %

1018: Here $t=t_0+\tilde{c}\eta^{-\frac{2}{d-1}\left(\frac{1}{1-n}+dq \right)}$

1019: with $t_0$ and $\tilde{c}$ being integration constants.

1020: It is easy to show that the scalar curvature decreases toward zero

1021: for $q>-\frac{1}{d(1-n)}$, whereas $R$ diverges for

1022: $q<-\frac{1}{d(1-n)}$.

1023: If we want to construct bouncing solutions where the dilaton evolves 

1024: toward $\phi=0$ with finite curvature, this requires the condition 

1025: $q>-\frac{1}{d(1-n)}$, {\em i.e.}, 

1026: %

1027: \begin{eqnarray}

1028: \omega<-1-\frac{1}{d}-\frac{A^2}{E}\,,

1029: \label{omecon}

1030: \end{eqnarray}

1031: %

1032: which is analogous to eq.~(\ref{omef}).  

1033: Combining this with the condition $\omega>-d/(d-1)$, we have 

1034: $-3/2<\omega<-4/3$ for $d=3$ and $A=0$ (no modulus), as shown in 

1035: ref.~\cite{Constantinidis:1999cu}.  Notice that the presence of the modulus 

1036: makes the allowed range of $\omega$ narrower.

1037: 

1038: Again we should caution that the string coupling, $g_s^2=\phi^{-1}$, 

1039: diverges in the asymptotic limit $\phi \to 0$.  

1040: In this sense these solutions can not be 

1041: regarded as ideals ones, unless some higher-order effects are taken into 

1042: account in the strong coupling regime.  Meanwhile when the universe begins 

1043: from a state with finite dilaton and curvature satisfying $\phi_i~\gsim~1$, 

1044: it is possible to have nonsingular bouncing solutions provided that the 

1045: solutions approach the region around $\xi=\xi_c$.  In this case the dilaton is 

1046: finite for the range $\phi_i<\phi<\phi_c$ with $\phi_c=\phi_0 \left(\sin 

1047: \eta_c \right)^{2/(1-n)}$.  The system asymptotically approaches the 

1048: radiation dominant universe with decreasing curvature.  One different point 

1049: relative to the $\sigma=0$ case is that the axion tends to work for the dilaton 

1050: to turn back toward the strong coupling regime.  Nevertheless the string 

1051: coupling does not diverge as long as the dilaton approaches the value 

1052: $\phi=\phi_c$ instead of $\phi=0$.

1053: 

1054: When $n>1$, both $\xi$ and $\eta$ diverge either in the limit of $\eta \to \pi$

1055: or $\eta \to 0$, depending on the sign of $q$.  Since the asymptotic 

1056: evolution of the scale factor exhibits the contracting behavior, it is not 

1057: possible to have bouncing solutions for $n>1$.

1058: 

1059: At the final of this subsection, it is worth mentioning the case without 

1060: the matter source ($M=0$).  When $n<1$ and $q<0$, the scale factor approaches 

1061: the asymptotic solution given by eq.~(\ref{scaleasy}) in both limits of 

1062: $\eta \to 0$ and $\eta \to \pi$.  Therefore if the condition (\ref{omecon}) 

1063: is not satisfied, the scalar curvature diverges in both past and future 

1064: asymptotics together with the infinite string coupling.  The $\omega=-1$ 

1065: case is contained in this class.  The low energy tree-level string action 

1066: ($\omega=-1$) with an axion leads to bouncing solutions as found in 

1067: refs.~\cite{Copeland:vi,Easther:1995ba,Copeland:1997ug}, 

1068: but these correspond to the solutions with divergent behavior of the dilaton 

1069: and the curvature 

1070: in past/future asymptotics.  When the condition (\ref{omecon}) is 

1071: satisfied, the curvature asymptotically decreases but the string coupling 

1072: diverges as $\eta \to 0$ and $\eta \to \pi$.  {}From these arguments, we 

1073: find that inclusion of the matter source ($M \ne 0$) is crucial for the 

1074: construction of nonsingular bouncing solutions with finite dilaton and 

1075: curvature even in the presence of the axion.  In sec.~5 we will analyze the 

1076: dynamics of the system with and without axion in the context of 

1077: string-gas cosmology.

1078: 

1079: 

1080: %

1081: \subsection{$\omega<-d/(d-1)$}

1082: %

1083: 

1084: Let us next proceed to the case of $\omega<-d/(d-1)$.

1085: Introducing a new time parameter, $\eta$, defined by 

1086: %

1087: \begin{eqnarray}

1088: \phi=\phi_0 (\sin {\rm h}\eta)^{2/(1-n)}\,~~~~

1089: {\rm with}~~~~\phi_0=

1090: \left(\frac{-E\{\omega (d-1)+d\}}

1091: {(d-1)B^2}\right)^{1/(1-n)}\,,

1092: \label{peta}

1093: \end{eqnarray}

1094: %

1095: the relation between $\tau$ and $\eta$ yields 

1096: %

1097: \begin{eqnarray}

1098: \frac{\rd \tau}{\rd \eta}=\pm \frac{2}{(1-n)\sqrt{E}}\phi_0

1099: (\sin {\rm h}\eta)^{\frac{1+n}{1-n}}\,.

1100: \label{taueta3}

1101: \end{eqnarray}

1102: %

1103: In this case the value of $N$ in eq.~(\ref{MN2}) can be either

1104: positive or negative\footnote{In the absence of the modulus, $N$

1105: is negative.}.

1106: 

1107: %

1108: \subsubsection{Case of $N>0$} 

1109: %

1110: 

1111: The positive value of $N$ can be realized in the presence of the modulus. 

1112: Integrating eq.~(\ref{int}), the scale factor is given by the 

1113: form (\ref{ageneral}) with 

1114: %

1115: \begin{eqnarray}

1116: \xi&=&\xi_0 \left| {\rm tan\,h}\frac{\eta}{2}\right|^q\,,~~~~ 

1117: q=\pm \frac{d-1}{1-n}\sqrt{\frac{N}{E}}\,.

1118: \label{xpd}

1119: \end{eqnarray}

1120: %

1121: Consider the evolution of $a$ for $q>0$ with $\eta>0$.  

1122: When $n<1$ both $\xi$ and $\phi$ increase as $\eta \to \infty$, 

1123: in which case the universe contracts asymptotically.  

1124: In the case of $n>1$, $\phi$ decreases toward zero, 

1125: whereas $\xi$ approaches $\xi \to \xi_0$ as $\eta \to \infty$.  

1126: In this asymptotic region, the scale factor evolves as 

1127: %

1128: \begin{eqnarray}

1129: a \propto e^{\frac{2}{(n-1)(d-1)}\eta} 

1130: \propto (t-t_0)^{\frac{2}{d+1-n(d-1)}}~~~~

1131: {\rm with}~~~~t=t_0+\tilde{c} 

1132: e^{\frac{(1+n)(d-1)-2d}{(1-n)(d-1)}\eta}\,,

1133: \label{scal3}

1134: \end{eqnarray}

1135: %

1136: where $t_0$ and $\tilde{c}$ are constants.  Since the power of the scale 

1137: factor is larger than unity for $n>1$, this represents an inflationary 

1138: solution.  Notice that this is achieved due to the presence of the modulus 

1139: field. The curvature asymptotically decreases for $1<n<\frac{d+1}{d-1}$, 

1140: whereas $R$ diverges for $n>\frac{d+1}{d-1}$.  

1141: In both cases the string coupling 

1142: diverges in the limit of $\eta \to \infty$.  The scale factor grows as the 

1143: radiation dominant universe in another asymptotic, $\xi \to \sqrt{M}$.  In 

1144: this limit the scalar curvature decreases toward zero with a finite string 

1145: coupling.  Therefore it is possible to obtain nonsingular bouncing 

1146: solutions for $n>1$ if the universe starts out from the region with finite 

1147: dilaton and curvature and evolves toward the weakly coupled regime.  When 

1148: the universe begins around the region $\xi \sim \sqrt{M}$ and evolves 

1149: toward $\phi=0$, we also have the bouncing solutions that asymptotically 

1150: approach the inflationary solution (\ref{scal3}).  However, since the 

1151: solutions enter the strong coupling region in the latter case, this 

1152: indicates the limitation of using the tree-level action.

1153: 

1154: When $q<0$ the scale factor approaches zero as $\eta \to \infty$

1155: or $\eta \to 0$, depending on the sign of $q$.  This suggests a difficulty to 

1156: obtain bouncing solutions for $q<0$.  In summary we can have 

1157: regular bouncing solutions for $q>0$ and $n>1$.

1158: 

1159: %

1160: \subsubsection{Case of $N<0$} 

1161: %

1162: 

1163: When $N<0$ the integration of eq.~(\ref{int}) leads to

1164: %

1165: \begin{eqnarray}

1166: a=\left(\sqrt{\frac{|N|}{M}} \frac{1}

1167: {\sqrt{\phi} \cos \xi}\right)^{2/(d-1)}\,,

1168: \label{scann}

1169: \end{eqnarray}

1170: %

1171: where

1172: %

1173: \begin{eqnarray}

1174: \xi&=& {\log }\left(\xi_0 \left| {\rm tan\,h}\frac{\eta}{2}\right|^q 

1175: \right)\,,~~~~ q=\pm \frac{d-1}{1-n}\sqrt{\frac{|N|}{E}}\,.

1176: \label{xpd2}

1177: \end{eqnarray}

1178: %

1179: {}From this we find that bouncing solutions emerge in the interval 

1180: $\eta_i<\eta<\eta_f$ with 

1181: %

1182: \begin{eqnarray}

1183: \eta_i={\rm log}\left|

1184: \frac{\xi_0^{1/p}+\exp\left\{(2j-1/2)\pi/p \right\}} 

1185: {\xi_0^{1/p}-\exp\left\{(2j-1/2)\pi/p \right\}}\right|\,, ~~~~ 

1186: \eta_f={\rm log}\left| \frac{\xi_0^{1/p}+\exp\left\{(2j+1/2)\pi/p \right\}} 

1187: {\xi_0^{1/p}-\exp\left\{(2j+1/2)\pi/p \right\}}\right|\,.

1188: \label{range}

1189: \end{eqnarray}

1190: %

1191: Setting $\eta=\eta_i +\Delta \eta$ and $\eta=\eta_f -\Delta \eta$ around

1192: $\eta=\eta_i, \eta_f$, the scale factor evolves as 

1193: %

1194: \begin{eqnarray}

1195: a \propto (\Delta \eta)^{-2/(d-1)} \propto 

1196: (t-t_0)^{\frac{n-1}{dn-1}} \,,

1197: \label{scalasy}

1198: \end{eqnarray}

1199: %

1200: where $t_0$ is a constant. 

1201: When $n>1$ or $n<1/d$, the solution (\ref{scalasy}) represents the 

1202: decelerating expansion of the universe with decreasing curvature ($R \to 

1203: 0$).  The standard axion coupling in $d=3$ dimensions ($n=-1$) is included 

1204: in this case, and the solutions exhibit the radiation dominant behavior 

1205: with $a \propto (t-t_0)^{1/2}$.  For the general axion coupling with 

1206: $n \ne -1$, however, the evolution of the scale factor is not asymptotically 

1207: radiation dominant.  This means that the axion affects the dynamics of the 

1208: system even in the asymptotic limit.

1209: In the case of $1/d<n<1$, we have bouncing solutions with growing curvature

1210: in both asymptotics, which means that the solutions are not ideal ones.

1211: 

1212: We have many sequences of intervals with $\eta_i<\eta<\eta_f$, 

1213: during each of which the string coupling and the curvature are kept finite. 

1214: As in the case of $N<0$ with no axion, 

1215: nonsingular bouncing solutions can be constructed without entering the strong 

1216: coupling region around $\phi=0$.

1217: 

1218: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1219: \section{Application to string-gas cosmology}

1220: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1221: 

1222: In this section we shall consider the matter source term 

1223: derived from the free energy of the ideal string-gas associated with type 

1224: IIA/B string theory compactified on a square $T^9$-torus, simple product 

1225: of nine circles.  It was recently shown that it is possible to construct 

1226: the string-gas cosmological model where some dimensions ($d$) start to expand 

1227: while the remaining dimensions are kept small \cite{Bassett:2003ck}.

1228: In this work we include the effect of the axion.  We also wish to investigate 

1229: the validity of the analytic solutions in the presence of the large and small 

1230: dimensions.  In the region where the temperature, $T=1/\beta$, is below the 

1231: Hagedorn one, $T_H=2\sqrt{2}\pi$, the free energy of a string-gas in the 

1232: canonical ensemble takes the following form \cite{AO_Tan,Bassett:2003ck}: 

1233: %

1234: \bea F^{(d)}(\beta)=

1235: -\frac{V_d}{2\pi\sqrt{\al}}\int_{-{1\over 2}}^{1\over

1236: 2}d\tau_1\int_0^{\infty}{d\tau_2\over\tau_2^{(3+d)/2}}\,

1237: [\Lambda(r; \tilde{\tau})]^{9-d} \sum_{\tilde{p}=1}^\infty 

1238: e^{-{\beta^2 \tilde{p}^2\over 4\pi\tau_2}}\, |M_2|^2(\tilde{\tau})\,,

1239: \label{free}

1240: \eea

1241: %

1242: where $V_d=a^d$ is the volume of the large $d$ dimensions with the scale 

1243: factor $a$ and 

1244: %

1245: \be

1246: \Lambda(r; \tilde{\tau})= \sum_{m_i,n_i=-\infty}^{+\infty} q^{\frac{1}{4}( 

1247: {m_i\over r} + n_ir)^2}{\bar q}^{\frac{\al}{4}( {m_i\over r} - n_ir )^2}\,,

1248: \label{Rlattice}

1249: %

1250: \ee

1251: represents the contributions of the whole Kaluza-Klein (KK) and winding modes 

1252: along the small dimensions.  Here $\tilde{\tau}$ is the modular parameter of 

1253: the world-sheet torus and $q=\exp(2i\pi \tilde{\tau})$.  The sum in terms 

1254: of $\tilde{p}$ in eq.~(\ref{free}) runs only over positive odd numbers and 

1255: corresponds to taking the correct quantum statistic for bosons and 

1256: fermions.

1257: 

1258: The $M_2$ factor in eq.~(\ref{free}) is expanded

1259: in powers of $q$, as 

1260: %

1261: \beq

1262: M_2(\tilde{\tau}) = 

1263: \frac{\theta_2(\tilde{\tau})^4}{\tilde{\eta}(\tilde{\tau})^{12}} = 

1264: \sum_{N_m=0}^{\infty} D(N_m)\,q^{N_m}\,,

1265: \label{M2t}

1266: \eeq

1267: %

1268: where $\theta_2$ and $\tilde{\eta}$ are modular functions 

1269: on the torus (see ref.~\cite{PolBook}).  Here the value of $N_m$ corresponds 

1270: to each string mass level with the degeneracy factor, $D(N_m)$. 

1271: When we integrate the $\tau_1$ and $\tau_2$ integrals in eq.~(\ref{free}), 

1272: it is convenient to extract the term with $N_m=\bar N_m=m_i=n_i=0$ that 

1273: corresponds to the purely massless state.  Denoting this massless state 

1274: (radiation) as $F_{rad}^{(d)}$, one has \cite{Bassett:2003ck} 

1275: %

1276: \be

1277: F_{rad}^{(d)} = - \frac{a^d}{2\pi} D(0)^2 \Gamma

1278: \left(\frac{d+1}{2}\right)(4\pi)^{(d+1)/2} \zeta(d+1) (1-2^{-(d+1)})

1279: \beta^{-d-1}\,,

1280: \label{freed0}

1281: \ee

1282: %

1283: where $\Gamma$ and $\xi$ are the Gamma function and the Riemann 

1284: zeta-function, respectively. 

1285: {}From this the energy $E_{rad}^{(d)}$ and pressure 

1286: $P_{rad}^{(d)}$ along the $d$ spatial dimensions are evaluated as 

1287:  %

1288: \begin{eqnarray}

1289: \label{E0rad}

1290: E_{rad}^{(d)} &=& F_{rad}^{(d)}+\beta 

1291: \frac{\partial F_{rad}^{(d)}}{\partial \beta} =

1292: \frac{d a^d}{2\pi}D(0)^2 \Gamma \left(\frac{d+1}{2}\right) 

1293: (4\pi)^{(d+1)/2} \zeta(d+1) (1-2^{-(d+1)}) \beta^{-d-1}\,, \\

1294: \label{P0rad}

1295: P_{rad}^{(d)} &=& -\frac1d\frac{\partial

1296: F_{rad}^{(d)}}{\partial ({\rm ln}\, a)}= 

1297: \frac{E_{rad}^{(d)}}{d} \,,

1298: \end{eqnarray} 

1299: %

1300: which represents the equation of state for radiation in $d$ spatial

1301: dimensions.  

1302: 

1303: The pressure along the  $(9-d)$-small dimensions is vanishing 

1304: ($P_{rad}^{(9-d)}=0$) for the pure massless state.  

1305: In this case the evolution of the small 

1306: dimensions is trivial and can be kept small around the duality symmetric 

1307: radius, $r=1$ \cite{Bassett:2003ck}.  Therefore it is sufficient to 

1308: consider the evolution of only the large $d$-dimensions with a constant 

1309: radius of the small dimension for the pure massless state.  

1310: Introducing the shifted dilaton, $\psi \equiv 

1311: \varphi-d\mu$, with $a=e^{\mu}$, $\omega=-1$ and $\dot{\chi}=0$, 

1312: eqs.~(\ref{b1})-(\ref{b3}) yield 

1313: %

1314: \begin{eqnarray}

1315: \label{dilatoneq1}

1316: -d\dot{\mu}^2+\dot{\psi}^2-e^{-(n-1)\vp}\dot{\sigma^2}

1317: &=&e^{\psi}E\,, \\

1318: \label{dilatoneq2}

1319: \ddot{\mu}-\dot{\psi}\dot{\mu}-\frac{1-n}{2}e^{-(n-1)\vp}

1320: \dot{\sigma}^2&=&\frac12 e^{\psi}P\,, \\

1321: \label{dilatoneq3}

1322: \ddot{\psi}-d\dot{\mu}^2-\frac{1+n}{2}e^{-(n-1)\vp}\dot{\sigma}^2

1323: &=& \frac12  e^{\psi}E\,.

1324: \label{reduce}

1325: \end{eqnarray} 

1326: %

1327: Note that the energy and pressure are 

1328: related with $\rho$ and $p$ in eqs.~(\ref{b1})-(\ref{b3}), as 

1329: $E=2a^{d}\rho$ and $P=2a^{d}p$.

1330: Since the pure massless state satisfies the equation of state with $\rho=dp$

1331: from eq.~(\ref{P0rad}), the analytic method given in the previous section 

1332: can be applied for this case.

1333: 

1334: We are now considering the case of $\omega=-1$ and $A=0$, thereby

1335: yielding a 

1336: positive value of $N$ from eq.~(\ref{MN}).

1337: In the absence of the axion we have $q=\pm \sqrt{3}/6$ from eq.~(\ref{xiq}).  

1338: Since the negative value of $q$ satisfies $-1/2<q<0$, bouncing solutions 

1339: can be obtained in this case as shown in sec.~3.1 [see fig.~\ref{mlessevo}].  

1340: This is achieved by choosing negative finite initial values of $\dot{\mu}$, 

1341: in which case the scalar curvature is also finite.  The scale factor 

1342: exhibits a bounce at $\phi=\phi_*$ given by (\ref{phistar}), after which 

1343: the system approaches the radiation dominant universe described by 

1344: eq.~(\ref{aasy}) as $\phi \to \phi_c$.  In order to confirm these 

1345: behaviors, we have numerically solved the background equations 

1346: (\ref{dilatoneq1})-(\ref{dilatoneq3}) together with the equation for 

1347: $\beta$: 

1348: %

1349: \beq

1350: \frac{d}{dt} S = \frac{d}{dt} \left( 

1351: \beta^2 \frac{\partial F^{(d)}}{\partial \beta}\right) = 0\,.

1352: \label{adiab}

1353: \eeq

1354: %

1355: Here we assumed an adiabatic evolution corresponding to the conservation of 

1356: the entropy $S$.  For the pure massless state (\ref{freed0}) the inverse 

1357: temperature, $\beta=1/T$, is proportional to the scale factor $a$ as in the 

1358: standard radiation-dominated universe.  We show in figs.~\ref{scalef} and 

1359: \ref{varphi} one example of the bouncing solution as dotted curves for the 

1360: pure massless state without the axion .  The dilaton continues to evolve 

1361: toward the weakly coupled regime as expected, and the asymptotic behavior 

1362: of the scale factor is found to be radiation dominant.

1363: 

1364: Notice that the scale factor grows from the beginning for 

1365: positive initial values of $\dot{\mu}$.  In this case the time derivative of 

1366: the dilaton, $\dot{\vp}=\dot{\psi}+d\dot{\mu}$, can be positive even when 

1367: $\dot{\psi}$ is negative initially.

1368: Since we are considering the weak coupling regime where $e^{\vp} \ll 1$

1369: is satisfied, it is typical that the r.h.s. of eq.~(\ref{dilatoneq1}) is 

1370: negligible relative to the first and second terms.  In the absence of the axion,

1371: $\dot{\psi}$ is roughly estimated as $\dot{\psi} \simeq -\sqrt{d}\dot{\mu}$.

1372: Then  $\dot{\vp}$ is positive for $d>1$, thereby leading to the growth of 

1373: the dilaton toward the strongly coupled regime.  We argue that positive initial 

1374: values of $\dot{\mu}$ are not so welcome in order to avoid the breakdown of 

1375: the string-gas description at finite temperature.  In contrast, the bouncing 

1376: solutions ({\em i.e.}, $\dot{\mu}<0$ initially) correspond to the decreasing 

1377: dilaton toward the weakly coupled regime.

1378: 

1379: When the massive effect is taken into account, one has an extra source term 

1380: in the small dimensions as well as the extra energy and pressure in 

1381: eqs.~(\ref{dilatoneq1})-(\ref{dilatoneq3}).  Let us study the leading terms 

1382: that have an explicit dependence on the radius of the small dimensions 

1383: ($r=e^{\nu}$) in the infinite sums appearing in eq.~(\ref{free}).  Taking 

1384: the first KK and winding modes along a small direction with $p=1$, {\em 

1385: i.e.}, the terms with $\{N_m=\bar N_m=0, m_i = (1,0,\ldots ,0), n_i=0\}$ (as 

1386: well as $m_i$ and $n_i$ exchanged), plus the remaining $8-d$ inequivalent 

1387: permutations, the pressure along the small dimensions is described as 

1388: %

1389: \beq

1390: P^{(9-d)}= V_d \, C(\beta)

1391: \beta \Biggl[\frac{1}{r^{(d+3)/2}} K_{(d-1)/2}\bigg(\frac\beta r\bigg)

1392: -r^{(d+3)/2} K_{(d-1)/2} (\beta r) \Biggr]\,.

1393: \label{presmall}

1394: \eeq

1395: %

1396: Here $K_{(d-1)/2}$ is the modified Bessel function, $C(\beta)$ is defined 

1397: as $C(\beta)=(2\pi/\beta)^{(d+1)/2} (18-2d)D(0)^2/\pi$ with $D(0)=16$ 

1398: being a string degeneracy factor.

1399: We have an extra energy and pressure along the large dimensions

1400: due to the massive state in addition to (\ref{E0rad}) and (\ref{P0rad}).  See 

1401: ref.~\cite{Bassett:2003ck} for the explicit forms of these terms.

1402: 

1403: Numerically we solved the dilaton gravity equations 

1404: (\ref{dilatoneq1})-(\ref{dilatoneq3}) and $(\ref{adiab})$ 

1405: together with the equation for the small dimensions 

1406: with radius $r=e^{\nu}$: 

1407: %

1408: \beq 

1409: \ddot{\nu}-\dot{\psi}\dot{\nu}=

1410: \frac12 e^{\psi}P^{(9-d)}\,. 

1411: \eeq

1412: %

1413: Since we are considering the case where the axion exists only 

1414: for the large $d$ dimensions, we do not include its effect along the 

1415: small dimensions. 

1416: The pressure $P^{(9-d)}$ completely vanishes at the self-dual 

1417: radius $r=1$ due to the compensation of KK and winding modes.  

1418: Therefore the small dimensions are kept small around $r=1$ provided that 

1419: the initial values of $\nu$ and $\dot{\nu}$ are close to zero.  We have done 

1420: numerical simulations for a variety of initial conditions and found that the 

1421: massive effect for the large dimensions is weak as long as 

1422: the small dimensions stay nearly constant around $r=1$ (see 

1423: figs.~\ref{scalef} and \ref{varphi} as an example).  Although the massive 

1424: state gives rise to the extra energy and pressure, the dominant 

1425: contribution comes from the pure massless state.

1426: For the ideal case where the small dimensions are kept small around $r=1$,

1427: the system is well approximated by the state of pure radiation.

1428: 

1429: %%%

1430: \begin{figure}

1431: \epsfxsize = 4.5in \epsffile{scale.eps}

1432: \caption{The evolution of the scale factor $a$ in the case of $d=3$

1433: with or without the axion for the initial conditions $\dot{\mu}_0=-0.03$, 

1434: $\mu_0=3.0$, $\dot{\nu}_0=-0.005$, $\nu_0=0.01$, $\psi_0=-14$, 

1435: $\beta_0=17$.  The massive effect is taken into account together with 

1436: the radiation for the solid curves, whereas the dotted curve corresponds to 

1437: the pure radiation case without the axion.  }

1438: \label{scalef}

1439: \end{figure}

1440: %%%

1441: 

1442: %%%

1443: \begin{figure}

1444: \epsfxsize = 4.5in \epsffile{varphi.eps}

1445: \caption{The evolution of the dilaton $\varphi$ in the case of $d=3$ 

1446: for the same initial conditions shown in fig.~\ref{scalef}. 

1447: The massive effect is taken into account

1448: together with the radiation for the solid curves, whereas the dotted curve 

1449: corresponds to the pure radiation case without the axion.  }

1450: \label{varphi}

1451: \end{figure}

1452: %%%

1453: 

1454: %%%

1455: \begin{figure}

1456: \epsfxsize = 4.5in \epsffile{phase.eps}

1457: \caption{Phase space trajectories of the solutions of string-gas 

1458: cosmology for $d=3$.  We implement the effect of the massive state

1459: together with the leading massless state. In the absence of the axion

1460: (solid curves), the solutions asymptotically approach the line given by 

1461: $l/f=-1/d$, which represents the radiation dominant universe.  The 

1462: expansion rate $l$ gets larger when the axion is included (dotted curves), 

1463: but the solutions eventually approach the radiation dominant universe.}

1464: \label{phase}

1465: \end{figure}

1466: %%%

1467: 

1468: Eliminating the energy $E$ from eqs.~(\ref{dilatoneq1}) and 

1469: (\ref{dilatoneq3}) and making use of the approximate relation

1470: $E \simeq dP$ in eq.~(\ref{dilatoneq2}), we have 

1471: %

1472: \begin{eqnarray}

1473: \label{f}

1474: \dot{f}&=& \frac12 dl^2+\frac12 f^2+\frac12 nB^2 

1475: \frac{e^{(n+1)\vp}}{a^{2d}} \,, \\

1476: \label{l}

1477: \dot{l} &\simeq& -\frac12 l^2+fl+\frac{f^2}{2d}+\frac{d(1-n)-1}{2d}

1478: B^2\frac{e^{(n+1)\vp}}{a^{2d}}\,,

1479: \end{eqnarray} 

1480: %

1481: where $f$ and $l$ are defined as $f \equiv \dot{\psi}$

1482: and $\dot{\lambda} \equiv l$.

1483: In the absence of the axion ($B=0$), it was shown in 

1484: refs.~\cite{TV,Bassett:2003ck} that the line $l=-f/d$ is an attractor for 

1485: the massless state.  {}From fig.~\ref{phase} we find that the solutions 

1486: without the axion (solid curves) asymptotically approach the line $l=-f/d$ 

1487: even in the presence of the massive state.

1488: 

1489: When the axion is included in the large $d$ dimensions, 

1490: the evolution of the scale factor and the dilaton should be changed 

1491: as discussed in sec.~3.1.  As one example we show in figs.~\ref{scalef} and 

1492: \ref{varphi} the evolution of $a$ and $\vp$ for $d=3$ and $n=-1$.  The 

1493: initial conditions are chosen to be $\dot{\vp}_i<0$ and $e^{\vp_i} \ll 1$.  

1494: The dilaton does not continue to evolve toward the weakly coupled region 

1495: [see eq.~(\ref{phis})] except for the initial stage, unlike the case 

1496: without the axion.  In fact, we find from fig.~\ref{varphi} that the 

1497: dilaton changes to evolve toward the strong coupling regime after the initial 

1498: decrease.  The presence of the axion provides additional source terms in 

1499: eqs.~(\ref{f}) and (\ref{l}), thereby leading to the different evolution of 

1500: the scale factor as shown in fig.~\ref{scalef}.  When $n=-1$, the growth of 

1501: the scale factor is faster than in the case without the axion due to the 

1502: positive last term in the r.h.s. of eq.~(\ref{l}).  Nevertheless we find 

1503: from fig.~\ref{phase} that the solutions eventually approach the line 

1504: $l=-f/d$ as $f$ and $l$ decrease toward zero.  This means that the dilaton 

1505: approaches a finite value with the radiation dominant universe ($a \propto 

1506: t^{2/(d+1)}$ as $\xi \to \xi_c=\sqrt{M}$), as discussed in sec.~4.1.  In 

1507: addition the scalar curvature decreases to zero as $\xi \to \xi_c$.

1508: 

1509: Since we are now dealing  with the case of $\omega=-1$ and $A=0$, 

1510: the condition (\ref{ome1}) is satisfied whereas (\ref{omecon}) is not.  

1511: The condition (\ref{omecon}) corresponds to the bouncing solutions where the 

1512: scalar curvature $R$ converges in the limit of $\phi \to 0$, whereas $R$ 

1513: diverges in the present case in this limit ($\omega=-1, A=0$).  

1514: Nevertheless, when the universe starts out from a weak coupling regime with a 

1515: finite curvature, it is possible to construct bouncing solutions that 

1516: asymptotically approach the radiation dominant universe with finite

1517: $R$ and $\vp$ irrespective of the presence of the axion as found in sec.~4.1 

1518: for the pure massless case.  The examples plotted in figs.~\ref{scalef} and 

1519: \ref{varphi} show the existence of nonsingular bouncing solutions 

1520: even when the condition (\ref{omecon}) is not fulfilled.  Notice that in 

1521: the presence of the axion but without the radiation-like source matter 

1522: \cite{Copeland:vi} $R$ and $\vp$ diverge in both asymptotic limits.  

1523: This indicates that inclusion of the matter source such as the ideal 

1524: string-gas is crucial to construct the bouncing solutions without 

1525: singularities in asymptotic future.  It will be interesting to extend our 

1526: analysis to other matter sources which appear {\em e.g.,} in the 

1527: $p$-brane (D$p$-brane) cosmology.

1528: 

1529: We also made numerical analysis for larger initial values of the dilaton 

1530: which are close to $e^{\vp} \sim 1$. We found that the system tends to 

1531: evolve toward the strongly coupled regime with the growth of $\vp$ toward 

1532: infinity.  The scalar curvature shows divergent behavior together with 

1533: the unbounded growth of the dilaton.  Nevertheless we have to keep in mind 

1534: that the string-gas description based on the free energy (\ref{free}) 

1535: ceases to be valid when the system enters the regime of strong coupling and

1536: large curvatures.  In addition we need to consider the higher-order 

1537: corrections to the tree-level effective action in this regime.  In the next 

1538: section we will discuss the dynamics of the system when the dilatonic 

1539: higher-order corrections are taken into account.

1540: 

1541: 

1542: 

1543: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1544: \section{Inclusion of higher-order corrections to the tree-level action}

1545: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1546: 

1547: In order to understand the effect of the higher order corrections to the 

1548: tree-level action, let us consider the dilaton-dependent corrections, given by 

1549: \cite{Gasperini:1996fu} 

1550: %

1551: \begin{eqnarray}

1552:  {\cal L}_c= -\frac12 \alpha' \lambda \xi(\vp) \left[ c_1 R_{\rm GB}^2+ 

1553:  c_2 (\nabla \vp)^4 \right]\,,

1554: \label{lagalpha}

1555: \end{eqnarray}

1556: %

1557: where $\xi(\vp)$ is a general function of $\vp$.  $\lambda$ is an additional 

1558: parameter depending on the species of strings.  For example, 

1559: we have $\lambda=-1/4, -1/8$ for the Bosonic and Heterotic string, 

1560: respectively.  The Gauss-Bonnet term, $R_{\rm GB}^2 

1561: =R^2-4R^{\mu\nu}R_{\mu\nu}+ R^{\mu\nu\alpha\beta}R_{\mu\nu\alpha\beta}$, 

1562: has the property of keeping the order of the gravitational equations of 

1563: motion unchanged.  The dilatonic corrections ${\cal L}_c$ are the sum of 

1564: the tree-level $\alpha'$ corrections ($i=0$) and the quantum $i$-loop 

1565: corrections ($i=1, 2, 3, \cdots$), with the function $\xi(\vp)$ 

1566: given by \cite{Bru,Tsujikawa:2002qc,Cartier:2001gc} 

1567: %

1568: \begin{eqnarray}

1569: \xi(\vp)=-\sum_{n=0} C_i e^{(i-1)\vp} \,,

1570: \label{xifunction} 

1571: \end{eqnarray}

1572: %

1573: where $C_i$ ($i \ge 1$) are the coefficients of $i$-loop corrections with 

1574: $C_0=1$.

1575: 

1576: If the universe starts out from a sufficiently weak coupling regime ($e^{\vp} 

1577: \ll 1$), it can reach the high curvature regime while the string coupling is 

1578: still small. In this case the $\alpha'$ correction ($n=0$) becomes important 

1579: before the quantum loop corrections begin to work.  Gasperini {\it et al.} 

1580: \cite{Gasperini:1996fu} showed that inclusion of the $\alpha'$ correction 

1581: gives rise to the fixed points in the $(\dot{\vp}, H)$ plane when only the 

1582: dilaton is present.  This leads to an inflationary solution driven by the 

1583: constant $H$ and the growing $\vp$.  Although the successful transition 

1584: from this dilaton-driven inflationary phase to a decelerated FRW era is 

1585: difficult to be achieved only in the presence of the $\alpha'$ correction, 

1586: this problem can be solved by implementing the quantum loop corrections.  

1587: In fact Brustein and Madden \cite{Bru} showed that inclusion of the 

1588: quantum loop corrections can lead to the successful graceful exit due to 

1589: the violation of the null energy condition.

1590: 

1591: Here we wish to analyze the dynamics of the system 

1592: in the presence of the axion, modulus and the stringy matter source.

1593: Let us consider the case of $d=3$ and $\omega=-1$.

1594: The source terms due to ${\cal L}_c$ in eqs.~(\ref{b1})-(\ref{b3}) 

1595: are given by \cite{Cartier:2001gc,Tsujikawa:2002qc} 

1596: %

1597: \begin{eqnarray} \label{C_i}

1598: \rho_c=\sum_{i=0} C_i \left\{\rho_c \right\}_i\,,~~~ p_c=\sum_{i=0} C_i

1599: \left\{p_c \right\}_i,~~~ \Delta_c=\sum_{i=0} C_i \left\{\Delta_c 

1600: \right\}_i\,,

1601: \label{sum}

1602: \end{eqnarray}

1603: %

1604: where 

1605: %

1606: \begin{eqnarray}

1607: \left\{\rho_c \right\}_i &=& \alpha' \lambda

1608: \dot{\vp} e^{(i-1)\vp} \left\{-24c_1(i-1)H^3+3c_2\dot{\vp}^3 \right\}\,, \\

1609: \left\{p_c \right\}_i &=& \alpha' \lambda e^{(i-1)\vp} \left\{8c_1(i-1)H 

1610: \left[(i-1)\dot{\vp}^2H+\ddot{\vp}H+ 2\dot{\vp}(\dot{H}+H^2) \right] 

1611: +c_2\dot{\vp}^4 \right\}\,, \\

1612: \left\{\Delta_c \right\}_i &=& \alpha' \lambda e^{(i-1)\vp} 

1613: \left\{24c_1(i-1)H^2(\dot{H}+H^2) -3c_2\dot{\vp}^2 

1614: \left[4\ddot{\vp}+4\dot{\vp}H+ (i-1)\dot{\vp}^2 \right] \right\}\,.

1615: \label{corred2}

1616: \end{eqnarray}

1617: %

1618: Substituting these expressions for eqs.~(\ref{b1})-(\ref{b3}), we get the 

1619: equations for $\dot{H}$ and $\ddot{\vp}$ : 

1620: %

1621: \begin{eqnarray}

1622: \label{c1} 

1623: & &\left[6-24\alpha'\lambda c_1 H^2 \sum_{i=0} C_i(i-1)e^{i\vp}\right] 

1624: \dot{H}=-12H^2+\omega\dot{\vp}^2-6H\omega \dot{\vp}-2\omega 

1625: \ddot{\vp}-\dot{\chi}^2 \\ \nonumber & & -ne^{-(n-1)\vp}\dot{\sigma}^2 

1626: +\alpha' \lambda \sum_{i=0} C_i e^{i\vp} 

1627: \left\{24c_1(i-1)H^4-3c_2\dot{\vp}^2 [4\ddot{\vp}+4H\dot{\vp} 

1628: +(i-1)\dot{\vp}^2] \right\}\,, \\

1629: \label{c2} 

1630: & &\left[2-8\alpha'\lambda c_1 H^2 \sum_{i=0} C_i(i-1)e^{i\vp}\right]

1631: \ddot{\vp}=-4H\dot{\vp}+4\dot{H}+6H^2+(\omega+2)\dot{\vp}^2+\dot{\chi}^2

1632: \\ \nonumber 

1633: & &+e^{-(n-1)\vp}\dot{\sigma}^2 

1634: -\alpha' \lambda \sum_{i=0} C_i e^{i\vp} 

1635: \left\{8c_1(i-1)H[(i-1)\dot{\vp}^2H+2\dot{\vp}(\dot{H}+H^2)]

1636: +c_2 \dot{\vp}^4 \right\}+

1637: 2e^{\vp}p\,.

1638: \label{corred}

1639: \end{eqnarray}

1640: %

1641: In the case of $\dot{\chi}=\dot{\sigma}=0$ and $\rho=p=0$, the solutions 

1642: approach the string phase characterized by 

1643: constant $H$ and $\dot{\vp}$ provided that the system begins from the 

1644: weakly coupled regime ($e^{\vp_i} \ll 1$).  These values are obtained by 

1645: setting $\dot{H}=0$ and $\ddot{\vp}=0$ in eqs.~(\ref{c1}) and (\ref{c2}) 

1646: with $i=0$.  The effect of the quantum loop corrections ($i \ne 0$) begin 

1647: to work around $e^{\vp} \sim 1$, which can lead to the graceful exit toward 

1648: the declerating FRW branch.  The number of e-folds, 

1649: $N_e \equiv {\rm ln}\,a$, 

1650: before the graceful exit is approximately estimated as $N_e \simeq 

1651: |\vp_i|/2$, where $|\vp_i|$ is the initial value of the dilaton.

1652: 

1653: Let us study the case of $\omega=-1$, $\dot{\chi} \ne 0$ and 

1654: $\dot{\sigma} \ne 0$, and $\rho=p=0$.  

1655: In the dilaton-driven phase corresponding to the 

1656: lowest order PBB cosmology, the evolution of $a$ and $\phi$ is described by 

1657: $a \propto (-t)^{1/\sqrt{3}}$ and $\phi=e^{-\vp} \propto 

1658: (-t)^{\sqrt{3}+1}$.  {}From eq.~(\ref{ana}) $\dot{\chi}$ and $\dot{\sigma}$ 

1659: evolve as $\dot{\chi} \propto (-t)^{-1}$ and $\dot{\sigma} \propto 

1660: (-t)^{\sqrt{3}-n(\sqrt{3}+1)}$.  Therefore $\dot{\chi}$ grows during the 

1661: dilaton-driven phase, whereas $\dot{\sigma}$ decreases for 

1662: $n<(3-\sqrt{3})/2$ .  The growth of $\dot{\chi}$ can change the dynamics of 

1663: the system through eqs.~(\ref{c1}) and (\ref{c2}).  For a fixed value of 

1664: the initial Hubble rate, the initial $\dot{\vp}$ gets larger from the 

1665: constraint equation (\ref{b1}) in the presence of the modulus.  We also 

1666: find from eq.~(\ref{c2}) that the increase of $\dot{\chi}$ leads to the 

1667: faster growth of $\dot{\vp}$.  The axion has a similar effect for 

1668: $n>(3-\sqrt{3})/2$.

1669: 

1670: %%%

1671: \begin{figure}

1672: \epsfxsize = 4.5in \epsffile{hdpsi.eps} 

1673: \caption{The evolution of $H$ and $\dot{\vp}$ as a function of the number 

1674: of e-folds for $d=3$, $\rho=p=0$ and $n=-1$ with initial conditions 

1675: $\vp_i=-130$ and $H_i=1.5 \times 10^{-3}$.  We include the quantum 

1676: corrections up to $i=2$ with coefficients $C_1=1$ and $C_2=-10^{-3}$ 

1677: together with the $\al$ correction ($C_0=1$).  The dotted curves 

1678: correspond to the evolution without the modulus and axions fields, whereas 

1679: these fields are involved in the solid curves with initial conditions 

1680: $\dot{\chi}_i=10^{-2}$ and $\dot{\sigma}_i=10^{-2}$.  We do not find a 

1681: significant difference even when $\chi$ and $\sigma$ are present.}

1682: \label{hdpsi}

1683: \end{figure}

1684: %%%

1685: 

1686: %%%

1687: \begin{figure}

1688: \epsfxsize = 4.5in \epsffile{vphihigh.eps} 

1689: \caption{The evolution of the dilaton $\vp$ in the presence of

1690: the modulus and axions fields for the same initial conditions as

1691: in fig.~\ref{hdpsi}.  The initial dilaton-driven phase 

1692: ($0<t<100$) is followed by the string phase with a linearly growing dilaton 

1693: ($100<t<200$), after which the solutions connect to the declerating FRW 

1694: branch.  {\bf Inset}: The evolution of $\dot{\chi}$ and $\dot{\sigma}$.

1695: Both $\dot{\chi}$ and $\dot{\sigma}$ are exponentially suppressed

1696: during the string phase.}

1697: \label{vphihigh}

1698: \end{figure}

1699: %%%

1700: 

1701: The growth of $\dot{\chi}$ (and $\dot{\sigma}$ for $n>(3-\sqrt{3})/2$)

1702: terminates once the system enters the string phase characterized by 

1703: the constant $H$ and $\dot{\vp}$ ($H_0=0.616$ and $\dot{\vp}_0=1.40$ 

1704: for $d=3$).  During this phase, we have $a \propto e^{H_0t}$ and $\vp \propto 

1705: \dot{\vp}_0t$, thereby yielding $\dot{\chi} \propto 

1706: e^{-(3H_0-\dot{\vp}_0)t}$ and $\dot{\sigma} \propto 

1707: e^{-(3H_0-n\dot{\vp}_0)t}$.  The fixed point ($H_0, \vp_0$) exists in the 

1708: range of $3H_0>\dot{\vp}_0$ in order to allow for a subsequent graceful 

1709: exit \cite{Cartier:1999vk}.  Therefore $\dot{\chi}$ begins to decrease once 

1710: the system enters the string phase, and the situation is the same for 

1711: $\dot{\sigma}$ as long as $n<3H_0/\dot{\vp}_0$.  In standard low-energy 

1712: effective string theory \cite{Copeland:vi}, we have $n=-1$ for the axion 

1713: coupling, in which case $\dot{\sigma}$ is exponentially suppressed during 

1714: the string phase and its energy density becomes very small relative to the 

1715: dilaton.  Typically $n$ is smaller than unity not only in low energy 

1716: effective string theory but also in multidimensional models with gauge fields 

1717: or in the higher dimensional conformal gauge field theory 

1718: \cite{Constantinidis:1999cu}.  In such cases the effect of the axion is not 

1719: dynamically important when the correction (\ref{lagalpha}) is present.

1720: 

1721: We numerically solved the equations (\ref{c1}) and (\ref{c2}) 

1722: for $\omega=-1$ and $n=-1$ together with the initial conditions 

1723: satisfying $e^{\vp_i} \ll 1$, $\dot{\chi}_i<1$ and $\dot{\sigma}_i<1$.  In 

1724: the presence of the modulus and the axion, the string phase with constant 

1725: $H$ and $\dot{\vp}$ is typically reached earlier than in the case only with 

1726: the dilaton.  Nevertheless the difference is not significant as seen from 

1727: fig.~\ref{hdpsi}.  In both cases the quantum loop corrections begin to work 

1728: around $e^{\vp} \sim 1$, after which the solutions connect to the 

1729: declerating FRW branch.  When only the $\alpha'$ and one-loop corrections 

1730: are present ($C_0=1$ and $C_1=1$), the dilaton and the curvature exhibit 

1731: unbounded growth after the branch change as shown in ref.~\cite{Bru} in the 

1732: single field case.  If the two-loop correction with negative coefficient 

1733: $C_2$ is included in eq.~(\ref{xifunction}), this can overwhelm the 

1734: one-loop correction when the dilaton becomes sufficiently large.  In fact, 

1735: as shown in fig.~\ref{vphihigh}, the evolution of the dilaton becomes mild 

1736: by including the two-loop correction.

1737: 

1738: Even when the matter source is present ($\rho \ne 0, p \ne 0$), the dynamics 

1739: of the system is dominated by the correction (\ref{lagalpha}).  

1740: The effect of the matter is involved in the last term of eq.~(\ref{c2}).  

1741: Since we are considering the initial conditions corresponding to the weakly coupled 

1742: region ($e^{\vp_i} \ll 1$), the $\alpha'$ correction tends to dominate 

1743: over the last term in eq.~(\ref{c2}).  Then the system soon approaches the 

1744: string phase with constant $H$ and $\dot{\vp}$.  During the string phase, 

1745: $\rho$ and $p$ are rapidly suppressed due to the exponential growth of the 

1746: scale factor.  This means that the matter source term is practically 

1747: negligible around the graceful exit.  For example, the pressure of the 

1748: string-gas discussed in the previous section evolves as $p \propto a^{-4} 

1749: \propto e^{-2\vp}$ in the string phase, thereby leading to the exponential 

1750: decrease of the last term of eq.~(\ref{c2}).  In fact we have done 

1751: numerical simulations for the free energy (\ref{freed0}) in the context of 

1752: string-gas cosmology and found that the evolution of the system is almost 

1753: the same as shown in figs.~\ref{hdpsi} and \ref{vphihigh}.  The energy 

1754: density and pressure of the string-gas are exponentially suppressed, 

1755: together with the rapid decrease of the temperature ($T \propto a^{-1}$) 

1756: before the graceful exit.

1757: 

1758: We also investigated the case where the dilatonic Brans-Dicke parameter 

1759: $\omega$ does not equal to $-1$.  When $\omega$ lies in the range $-3/2<\omega<0$

1760: with $d=3$ and $A=0$, the qualitative behavior is mostly the same as in the 

1761: $\omega=-1$ case.  The difference is that the values of $H$ and $\dot{\vp}$ 

1762: in the attractor region get bigger for smaller $|\omega|$, thereby leading 

1763: to larger amount of e-foldings.  However, when $\omega<-3/2$, we find that 

1764: the system is typically unstable and tends to fall into a singularity.  

1765: Although nonsingular solutions can be obtained when $\omega$ is close to 

1766: $-3/2$ and $e^{\vp}$ is not too much smaller than unity, the parameter 

1767: range of these solutions is restricted to be very narrow.  This suggests 

1768: that inclusion of the correction ${\cal L}_c$ is not necessarily welcome 

1769: for the construction of regular solutions for $\omega<-3/2$.

1770: 

1771: 

1772: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1773: \section{Summary and discussions}

1774: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1775: 

1776: In this paper we have studied the construction of nonsingular cosmological 

1777: solutions in a general $D$-dimensional effective action derived from string 

1778: theories.  In particular we tried to find singularity-free solutions 

1779: analytically for the dilaton-modulus-axion system in the presence of the

1780: ``stringy'' matter source term.  We also keep the dilatonic Brans-Dicke 

1781: parameter $\omega$ arbitrary so that the action contains a variety of 

1782: theories such as the $F$-theory and the multidimensional theory.  In the 

1783: tree-level action without higher-order $\al$ and loop corrections, we found 

1784: the following results.

1785: 

1786: \begin{itemize}

1787: \item 

1788: Even for the general $(d+1)$-dimensional action with modulus and axion 

1789: fields, the system is integrable for the flat FRW background if the matter 

1790: source is radiation ($\rho=dp$) or there is no matter ($\rho=p=0$).

1791: 

1792: \item 

1793: In the case of $\omega=-1$, we find nonsingular bouncing solutions 

1794: where the universe starts out from the state of 

1795: the finite scalar curvature and 

1796: asymptotically approaches the radiation dominant stage with decreasing 

1797: curvature and finite string coupling.  This situation naturally appears in 

1798: the context of string-gas cosmology.

1799: 

1800: \item 

1801: In the theories where $\omega$ is largely negative,

1802: we have a sequence of regular bouncing solutions where the string coupling 

1803: and the scalar curvature remain finite.  

1804: This was already pointed out in 

1805: ref.~\cite{Fabris:2002jt,Fabris:2002pm} for $d=3$, but we extended the 

1806: analysis to the case of the general spatial dimension $d$ with modulus 

1807: fields.

1808: 

1809: \item 

1810: As a ``stringy'' matter source, we considered the ideal string-gas in thermal 

1811: equilibrium taking into account the massive state coming from Kaluza-Klein 

1812: and winding modes in addition to the leading massless state.

1813: Numerically we obtained nonsingular bouncing solutions where the ``large'' 

1814: 3 dimensions asymptotically approach the almost radiation dominant universe

1815: irrespective of the presence of the axion. 

1816: This indicates that inclusion of the radiation-like source is crucial for the 

1817: existence of such regular solutions.

1818: 

1819: \end{itemize}

1820: 

1821: While bouncing solutions can be obtained in the tree-level action with 

1822: the radiation-like matter source, it can happen that the system enters the 

1823: strongly coupled region.  In this case it is inevitable to implement the 

1824: higher-order corrections to the tree-level action.  Therefore we also 

1825: analyzed the case where the dilatonic higher-derivative and loop 

1826: corrections are taken into account for the dilaton-modulus-axion system 

1827: with some matter source.  We find that the dynamics of the system for 

1828: $\omega=-1$ is not significantly changed by including scalar fields or 

1829: matters other than the dilaton.  The system approaches the string phase 

1830: characterized by constant $H$ and $\dot{\vp}$, after which the graceful 

1831: exit is realized through the dominance of higher-order loop corrections.  

1832: Typically the energy densities of the modulus, axion, and the matter source 

1833: are exponentially suppressed once the dilaton-driven inflation begins 

1834: in the string phase. 

1835: We also find that the system tends to be unstable for 

1836: the case of large negative $\omega$.

1837: 

1838: There are several open issues that we do not study but that deserve further 

1839: investigation.  While we consider the flat FRW background for simplicity, 

1840: it should be fairly easy to extend our analysis to the closed/open FRW 

1841: background with general $D=d+1$ dimensions, as was already done for the 

1842: case of $d=3$ without the modulus \cite{Fabris:2002pm}.  In addition it 

1843: is worth analyzing the anisotropic background in order to check the 

1844: generality of the singularity avoidance.  In fact a new singularity-- 

1845: called the determinant singularity-- appears in the presence of anisotropies 

1846: when the action contains a Gauss-Bonnet term \cite{ani}.  It is of interest 

1847: to investigate whether the singularity solutions we found are stable by 

1848: including small anisotropies.

1849: 

1850: The validity of our nonsingular cosmological scenarios may be investigated 

1851: further by analyzing the power spectra of produced density perturbations.

1852: Recent observations of WMAP \cite{Bennett:2003bz} suggest that

1853: the spectrum of scalar perturbations is close to scale-invariant.

1854: In the simplest tree-level pre-big-bang scenario, the curvature perturbation 

1855: ${\cal R}$ is blue-tilted with a spectral index $n \simeq 4$ \cite{BGGMV}, 

1856: which is incompatible with observations.

1857: This situation does not change so much even involving the higher-order 

1858: corrections to the tree-level action 

1859: \cite{Cartier:2001is,Tsujikawa:2001ad}.  Nevertheless it is possible to 

1860: have nearly scale-invariant spectra of the axion perturbations depending on 

1861: the expansion rate of the modulus field \cite{Copeland:1997ug}.  Making use 

1862: of the ``curvaton'' mechanism \cite{curv}, there remains a possibility to 

1863: explain the observationally supported flat spectra if the axion plays the role 

1864: of the curvaton (see ref.~\cite{Bozza:2002ad}).  In addition, originating 

1865: from the proposal of Ekpyrotic cosmology \cite{ekpyr}, there are a number 

1866: of controversial argument \cite{bounceper,Tsujikawa:2002qc} about the 

1867: choice of the gauge conditions for scalar perturbations generated in bouncing 

1868: cosmologies.  It is certainly of interest to analyze the evolution and the 

1869: spectra of scalar perturbations in our nonsingular bouncing models by 

1870: taking into account the curvaton perturbations.

1871: 

1872: 

1873: 

1874: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1875: \vskip 25pt

1876: \noindent

1877: {\Large \bf Acknowledgements}

1878: \vskip 10pt

1879: The author thanks Bruce A. Bassett, Monica Borunda and Marco Serone for 

1880: useful discussions and comments.  This research is financially supported from 

1881: JSPS (No.~04942).  

1882: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1883: 

1884: 

1885: %%%%%%%%%%%%%%%%%

1886: \begin{thebibliography}{99}

1887: %%%%%%%%%%%%%%%%%

1888: 

1889: %\cite{Lidsey:1999mc}

1890: \bibitem{Lidsey:1999mc}

1891: J.~E.~Lidsey, D.~Wands and E.~J.~Copeland,

1892: %``Superstring cosmology,''

1893: Phys.\ Rept.\  {\bf 337}, 343 (2000)

1894: [arXiv:hep-th/9909061].

1895: %%CITATION = HEP-TH 9909061;%%

1896: 

1897: \bibitem{str}

1898: M.~B.~Green, J.~H.~Schwartz, and E.~Witten,

1899: {\it Superstring theory}~(Cambridge University Press,

1900: Cambridge, 1987);

1901: J.  Polchinski, {\it String Theory}~

1902: (Cambridge University Press,

1903: Cambridge, 1998).

1904: 

1905: %\cite{Veneziano:1991ek}

1906: \bibitem{Veneziano:1991ek}

1907: G.~Veneziano,

1908: %``Scale factor duality for classical and quantum strings,''

1909: Phys.\ Lett.\ B {\bf 265}, 287 (1991); 

1910: %%CITATION = PHLTA,B265,287;%%

1911: K.~A.~Meissner and G.~Veneziano,

1912: %``Symmetries of cosmological superstring vacua,''

1913: Phys.\ Lett.\ B {\bf 267}, 33 (1991).

1914: %%CITATION = PHLTA,B267,33;%%

1915: 

1916: \bibitem{pbb}

1917: M.~Gasperini and G.~Veneziano,

1918: %``Pre - big bang in string cosmology,''

1919: Astropart.\ Phys.\  {\bf 1} (1993) 317

1920: [arXiv:hep-th/9211021].

1921: %%CITATION = HEP-TH 9211021;%%

1922: 

1923: %\cite{Gasperini:2002}

1924: \bibitem{Gasperini:2002}

1925: M.~Gasperini and G.~Veneziano,

1926: % ``The Pre-Big Bang Scenario in String Cosmology,''

1927: arXiv:hep-th/0207130.

1928: %%CITATION = HEP-TH 0207130%%

1929: 

1930: \bibitem{ekpyr}

1931: J.~Khoury, B.~A.~Ovrut, P.~J.~Steinhardt and N.~Turok,

1932: %``The ekpyrotic Universe: Colliding branes and

1933: % the origin of the hot big  bang,''

1934: Phys.\ Rev.\ D {\bf 64}, 123522 (2001)

1935: [arXiv:hep-th/0103239];

1936: %\cite{Khoury:2001zk}

1937: %J.~Khoury, B.~A.~Ovrut, P.~J.~Steinhardt and N.~Turok,

1938: %%``Density perturbations in the ekpyrotic scenario,''

1939: Phys.\ Rev.\ D {\bf 66}, 046005 (2002)

1940: [arXiv:hep-th/0109050].

1941: %%CITATION = HEP-TH 0109050;%%

1942: %N. D. Antunes, E. J. Copeland, M. Hindmarsh,

1943: %A. Lukas, hep-th/0208219

1944: 

1945: %\cite{Steinhardt:2001vw}

1946: \bibitem{cyclic}

1947: P.~J.~Steinhardt and N.~Turok,

1948: %``A cyclic model of the Universe,''

1949: arXiv:hep-th/0111030;

1950: %P.~J.~Steinhardt and N.~Turok,

1951: %%``Cosmic evolution in a cyclic universe,''

1952: Phys.\ Rev.\ D {\bf 65}, 126003 (2002)

1953: [arXiv:hep-th/0111098].

1954: %%CITATION = HEP-TH 0111098;%%

1955: 

1956: %\cite{Gasperini:1996fu}

1957: \bibitem{Gasperini:1996fu}

1958: M.~Gasperini, M.~Maggiore and G.~Veneziano,

1959: %``Towards a non-singular pre-big bang cosmology,''

1960: Nucl.\ Phys.\ B {\bf 494}, 315 (1997)

1961: [arXiv:hep-th/9611039]. 

1962: 

1963: %\cite{Bru}

1964: \bibitem{Bru}

1965: R.~Brustein and R.~Madden,

1966: Phys.\ Rev.\ D {\bf 57}, 712 (1998)

1967: [arXiv:hep-th/9708046].

1968: %%CITATION = HEP-TH 9708046;%%

1969: 

1970: %\cite{Tsujikawa:2002qc}

1971: \bibitem{Tsujikawa:2002qc}

1972: S.~Tsujikawa, R.~Brandenberger and F.~Finelli,

1973: %``On the construction of nonsingular pre-big-bang

1974: % and ekpyrotic  cosmologies and the resulting

1975: % density perturbations,''

1976: Phys.\ Rev.\ D {\bf 66}, 083513 (2002)

1977: [arXiv:hep-th/0207228].

1978: %%CITATION = HEP-TH 0207228;%%

1979: 

1980: %\cite{Antoniadis:1993jc}

1981: \bibitem{Antoniadis:1993jc}

1982: I.~Antoniadis, J.~Rizos and K.~Tamvakis,

1983: %``Singularity - free cosmological solutions 

1984: % of the superstring effective action,''

1985: Nucl.\ Phys.\ B {\bf 415}, 497 (1994)

1986: [arXiv:hep-th/9305025].

1987: %%CITATION = HEP-TH 9305025;%%

1988: 

1989: \bibitem{Alex}

1990: S.~Alexander, R.~H.~Brandenberger and D.~Easson,

1991: %``Brane gases in the early universe,''

1992: Phys.\ Rev.\ D {\bf 62} (2000) 103509

1993: [arXiv:hep-th/0005212].

1994: %%CITATION = HEP-TH 0005212;%%

1995: 

1996: \bibitem{Brand}

1997: R.~Brandenberger, D.~A.~Easson and D.~Kimberly,

1998: %``Loitering phase in brane gas cosmology,''

1999: Nucl.\ Phys.\ B {\bf 623} (2002) 421

2000: [arXiv:hep-th/0109165].

2001: %%CITATION = HEP-TH 0109165;%%

2002: 

2003: \bibitem{Easson}

2004: D.~A.~Easson,

2005: %``Brane gases on K3 and Calabi-Yau manifolds,''

2006: arXiv:hep-th/0110225.

2007: %%CITATION = HEP-TH 0110225;%%

2008: 

2009: \bibitem{EGJ}

2010: R.~Easther, B.~R.~Greene and M.~G.~Jackson,

2011: %``Cosmological string gas on orbifolds,''

2012: Phys.\ Rev.\ D {\bf 66} (2002) 023502

2013: [arXiv:hep-th/0204099].

2014: %%CITATION = HEP-TH 0204099;%%

2015: 

2016: \bibitem{Easther}

2017: R.~Easther, B.~R.~Greene, M.~G.~Jackson and D.~Kabat,

2018: %``Brane gas cosmology in M-theory: Late time behavior,''

2019: arXiv:hep-th/0211124.

2020: %%CITATION = HEP-TH 0211124;%%

2021: 

2022: %\cite{Bassett:2003ck}

2023: \bibitem{Bassett:2003ck}

2024: B.~A.~Bassett, M.~Borunda, M.~Serone and S.~Tsujikawa,

2025: %``Aspects of String-Gas Cosmology at Finite Temperature,''

2026: arXiv:hep-th/0301180.

2027: %%CITATION = HEP-TH 0301180;%%

2028: 

2029: \bibitem{BV}

2030: R.~H.~Brandenberger and C.~Vafa,

2031: %``Superstrings In The Early Universe,''

2032: Nucl.\ Phys.\ B {\bf 316} (1989) 391.

2033: %%CITATION = NUPHA,B316,391;%%

2034: 

2035: \bibitem{TV}

2036: A.~A.~Tseytlin and C.~Vafa,

2037: %``Elements of string cosmology,''

2038: Nucl.\ Phys.\ B {\bf 372} (1992) 443

2039: [arXiv:hep-th/9109048].

2040: %%CITATION = HEP-TH 9109048;%%

2041: 

2042: %\cite{Maggiore:1998cz}

2043: \bibitem{Maggiore:1998cz}

2044: M.~Maggiore and A.~Riotto,

2045: %``D-branes and cosmology,''

2046: Nucl.\ Phys.\ B {\bf 548}, 427 (1999)

2047: [arXiv:hep-th/9811089].

2048: %%CITATION = HEP-TH 9811089;%%

2049: 

2050: %\cite{Copeland:vi}

2051: \bibitem{Copeland:vi}

2052: E.~J.~Copeland, A.~Lahiri and D.~Wands,

2053: %``Low-Energy Effective String Cosmology,''

2054: Phys.\ Rev.\ D {\bf 50}, 4868 (1994)

2055: [arXiv:hep-th/9406216].

2056: %%CITATION = HEP-TH 9406216;%%

2057: 

2058: %\cite{Easther:1995ba}

2059: \bibitem{Easther:1995ba}

2060: R.~Easther, K.~i.~Maeda and D.~Wands,

2061: %``Tree-level String Cosmology,''

2062: Phys.\ Rev.\ D {\bf 53}, 4247 (1996)

2063: [arXiv:hep-th/9509074].

2064: %%CITATION = HEP-TH 9509074;%%

2065: 

2066: %\cite{Copeland:1997ug}

2067: \bibitem{Copeland:1997ug}

2068: E.~J.~Copeland, R.~Easther and D.~Wands,

2069: %``Vacuum fluctuations in axion-dilaton cosmologies,''

2070: Phys.\ Rev.\ D {\bf 56}, 874 (1997)

2071: [arXiv:hep-th/9701082].

2072: %%CITATION = HEP-TH 9701082;%%

2073: 

2074: %\cite{Constantinidis:1999cu}

2075: \bibitem{Constantinidis:1999cu}

2076: C.~P.~Constantinidis, J.~C.~Fabris, R.~G.~Furtado and M.~Picco,

2077: %``Regular bouncing cosmological solutions in effective actions 

2078: % in four  dimensions,''

2079: Phys.\ Rev.\ D {\bf 61}, 043503 (2000)

2080: [arXiv:gr-qc/9906122].

2081: %%CITATION = GR-QC 9906122;%%

2082: 

2083: %\cite{Fabris:2002jt}

2084: \bibitem{Fabris:2002jt}

2085: J.~C.~Fabris and R.~G.~Furtado,

2086: %``Singularity-free cosmological solutions in string theories,''

2087: arXiv:gr-qc/0211096.

2088: %%CITATION = GR-QC 0211096;%%

2089: 

2090: %\cite{Fabris:2002pm}

2091: \bibitem{Fabris:2002pm}

2092: J.~C.~Fabris, R.~G.~Furtado, N.~Pinto-Neto and P.~Peter,

2093: %``Regular cosmological solutions in low energy effective 

2094: % action from  string theories,''

2095: arXiv:hep-th/0212312.

2096: %%CITATION = HEP-TH 0212312;%%

2097: 

2098: %\cite{Vafa:1996xn}

2099: \bibitem{Vafa:1996xn}

2100: C.~Vafa,

2101: %``Evidence for F-Theory,''

2102: Nucl.\ Phys.\ B {\bf 469}, 403 (1996)

2103: [arXiv:hep-th/9602022].

2104: %%CITATION = HEP-TH 9602022;%%

2105: 

2106: %\cite{Khviengia:1997rh}

2107: \bibitem{Khviengia:1997rh}

2108: N.~Khviengia, Z.~Khviengia, H.~Lu and C.~N.~Pope,

2109: %``Towards a field theory of F-theory,''

2110: Class.\ Quant.\ Grav.\  {\bf 15}, 759 (1998)

2111: [arXiv:hep-th/9703012].

2112: %%CITATION = HEP-TH 9703012;%%

2113: 

2114: %\cite{Bronnikov:2002ki}

2115: \bibitem{Bronnikov:2002ki}

2116: K.~A.~Bronnikov and J.~C.~Fabris,

2117: %``Nonsingular multidimensional cosmologies without fine tuning,''

2118: JHEP {\bf 0209}, 062 (2002)

2119: [arXiv:hep-th/0207213].

2120: %%CITATION = HEP-TH 0207213;%%

2121: 

2122: %\cite{Riotto:1999kn}

2123: \bibitem{Riotto:1999kn}

2124: A.~Riotto,

2125: %``D-branes, string cosmology and large extra dimensions,''

2126: Phys.\ Rev.\ D {\bf 61}, 123506 (2000)

2127: [arXiv:hep-ph/9904485].

2128: %%CITATION = HEP-PH 9904485;%%

2129: 

2130: %\cite{Duff:1994an}

2131: \bibitem{Duff:1994an}

2132: M.~J.~Duff, R.~R.~Khuri and J.~X.~Lu,

2133: %``String solitons,''

2134: Phys.\ Rept.\  {\bf 259}, 213 (1995)

2135: [arXiv:hep-th/9412184].

2136: %%CITATION = HEP-TH 9412184;%%

2137: 

2138: %\cite{Park:1997dw}

2139: \bibitem{Park:1997dw}

2140: C.~Park and S.~J.~Sin,

2141: %``p-brane cosmology and phases of 

2142: % Brans-Dicke theory with matter,''

2143: Phys.\ Rev.\ D {\bf 57}, 4620 (1998)

2144: [arXiv:hep-th/9707003].

2145: %%CITATION = HEP-TH 9707003;%%

2146: 

2147: %\cite{Park:1999xn}

2148: \bibitem{Park:1999xn}

2149: C.~Park, S.~J.~Sin and S.~Lee,

2150: %``The cosmology with the Dp-brane gas,''

2151: Phys.\ Rev.\ D {\bf 61}, 083514 (2000)

2152: [arXiv:hep-th/9911117].

2153: %%CITATION = HEP-TH 9911117;%%

2154: 

2155: %\cite{KalyanaRama:1997xt}

2156: \bibitem{Rama}

2157: S.~Kalyana Rama,

2158: %``Can string theory avoid cosmological singularities?,''

2159: Phys.\ Lett.\ B {\bf 408}, 91 (1997)

2160: [arXiv:hep-th/9701154].

2161: %%CITATION = HEP-TH 9701154;%%

2162: 

2163: %\cite{Easson:1999xw}

2164: \bibitem{Easson:1999xw}

2165: D.~A.~Easson and R.~H.~Brandenberger,

2166: %``Nonsingular dilaton cosmology in the string frame,''

2167: JHEP {\bf 9909}, 003 (1999)

2168: [arXiv:hep-th/9905175].

2169: %%CITATION = HEP-TH 9905175;%%

2170: 

2171: 

2172: %\cite{Freund:1982pg}

2173: \bibitem{Freund:1982pg}

2174: P.~G.~Freund,

2175: %``Kaluza-Klein Cosmologies,''

2176: Nucl.\ Phys.\ B {\bf 209}, 146 (1982).

2177: %%CITATION = NUPHA,B209,146;%%

2178: 

2179: \bibitem{AO_Tan}

2180: E.~Alvarez and M.~A.~Osorio,

2181: %``Superstrings At Finite Temperature,''

2182: Phys.\ Rev.\ D {\bf 36}, 1175 (1987); 

2183: %%CITATION = PHRVA,D36,1175;%%

2184: K.~H.~O'Brien and C.~I.~Tan,

2185: %``Modular Invariance Of Thermopartition Function

2186: % And Global Phase Structure Of Heterotic String,''

2187: Phys.\ Rev.\ D {\bf 36} (1987) 1184.

2188: %%CITATION = PHRVA,D36,1184;%%

2189: 

2190: \bibitem{PolBook}

2191: J.  Polchinski, {\it String Theory}, 

2192: Volume 1, Cambridge, page. 214-21.

2193: 

2194: %\cite{Cartier:2001gc}

2195: \bibitem{Cartier:2001gc}

2196: C.~Cartier, E.~J.~Copeland and M.~Gasperini,

2197: %``Gravitational waves in non-singular string cosmologies,''

2198: Nucl.\ Phys.\ B {\bf 607}, 406 (2001)

2199: [arXiv:gr-qc/0101019].

2200: %%CITATION = GR-QC 0101019;%%

2201: 

2202: %\cite{Cartier:1999vk}

2203: \bibitem{Cartier:1999vk}

2204: C.~Cartier, E.~J.~Copeland and R.~Madden,

2205: %``The graceful exit in string cosmology,''

2206: JHEP {\bf 0001}, 035 (2000)

2207: [arXiv:hep-th/9910169].

2208: %%CITATION = HEP-TH 9910169;%%

2209: 

2210: %\cite{Kawai:1998bn}

2211: \bibitem{ani}

2212: S.~Kawai and J.~Soda,

2213: %``Non-singular Bianchi type I cosmological solutions 

2214: % from 1-loop  superstring effective action,''

2215: Phys.\ Rev.\ D {\bf 59}, 063506 (1999)

2216: [arXiv:gr-qc/9807060];

2217: H.~Yajima, K.~Maeda and H.~Ohkubo,

2218: %``Generality of singularity avoidance in 

2219: % superstring theory: Anisotropic  case,''

2220: Phys.\ Rev.\ D {\bf 62}, 024020 (2000)

2221: [arXiv:gr-qc/9910061]; 

2222: S.~O.~Alexeyev, A.~Toporensky and V.~Ustiansky,

2223: %``The nature of singularity in Bianchi I cosmological 

2224: % string gravity  model with second order curvature corrections,''

2225: Phys.\ Lett.\ B {\bf 509}, 151 (2001)

2226: [arXiv:gr-qc/0009020]; 

2227: A.~Toporensky and S.~Tsujikawa,

2228: %``Nature of singularities in anisotropic string cosmology,''

2229: Phys.\ Rev.\ D {\bf 65}, 123509 (2002)

2230: [arXiv:gr-qc/0202067].

2231: 

2232: %\cite{Bennett:2003bz}

2233: \bibitem{Bennett:2003bz}

2234: C.~L.~Bennett {\it et al.},

2235: %``First Year Wilkinson Microwave Anisotropy Probe 

2236: % (WMAP) Observations: Preliminary Maps and Basic Results,''

2237: arXiv:astro-ph/0302207;

2238: %%CITATION = ASTRO-PH 0302207;%%

2239: %\cite{Peiris:2003ff}

2240: H.~V.~Peiris {\it et al.},

2241: %``First year Wilkinson Microwave Anisotropy Probe 

2242: % (WMAP) observations:  Implications for inflation,''

2243: arXiv:astro-ph/0302225.

2244: %%CITATION = ASTRO-PH 0302225;%%

2245: 

2246: 

2247: \bibitem{BGGMV}

2248: %\cite{Brustein:1994kn}

2249: %\bibitem{Brustein:1994kn}

2250: R.~Brustein, M.~Gasperini, M.~Giovannini, 

2251: V.~F.~Mukhanov and G.~Veneziano,

2252: %``Metric perturbations in dilaton driven inflation,''

2253: Phys.\ Rev.\ D {\bf 51}, 6744 (1995)

2254: [arXiv:hep-th/9501066].

2255: %%CITATION = HEP-TH 9501066;%%

2256: 

2257: %\cite{Cartier:2001is}

2258: \bibitem{Cartier:2001is}

2259: C.~Cartier, J.~c.~Hwang and E.~J.~Copeland,

2260: %``Evolution of cosmological perturbations 

2261: % in non-singular string  cosmologies,''

2262: Phys.\ Rev.\ D {\bf 64}, 103504 (2001)

2263: [arXiv:astro-ph/0106197].

2264: %%CITATION = ASTRO-PH 0106197;%%

2265: 

2266: %\cite{Tsujikawa:2001ad}

2267: \bibitem{Tsujikawa:2001ad}

2268: S.~Tsujikawa,

2269: %``Density perturbations in the ekpyrotic universe and 

2270: % string-inspired  generalizations,''

2271: Phys.\ Lett.\ B {\bf 526}, 179 (2002)

2272: [arXiv:gr-qc/0110124].

2273: %%CITATION = GR-QC 0110124;%%

2274: 

2275: \bibitem{curv}

2276: D.~H.~Lyth and D.~Wands,

2277: %``Generating the curvature perturbation without an inflaton,''

2278: Phys.\ Lett.\ B {\bf 524}, 5 (2002)

2279: [arXiv:hep-ph/0110002]; 

2280: %%CITATION = HEP-PH 0110002;%%

2281: K.~Enqvist and M.~S.~Sloth,

2282: %``Adiabatic CMB perturbations in pre big bang string cosmology,''

2283: Nucl.\ Phys.\ B {\bf 626}, 395 (2002)

2284: [arXiv:hep-ph/0109214]; 

2285: %%CITATION = HEP-PH 0109214;%%

2286: T.~Moroi and T.~Takahashi,

2287: %``Effects of cosmological moduli fields on cosmic 

2288: %microwave background,''

2289: Phys.\ Lett.\ B {\bf 522}, 215 (2001).

2290: 

2291: %\cite{Bozza:2002ad}

2292: \bibitem{Bozza:2002ad}

2293: V.~Bozza, M.~Gasperini, M.~Giovannini and G.~Veneziano,

2294: %``Constraints on pre-big bang parameter 

2295: % space from CMBR anisotropies,''

2296: arXiv:hep-ph/0212112.

2297: %%CITATION = HEP-PH 0212112;%%

2298: 

2299: %\cite{Lyth:2001pf}

2300: \bibitem{bounceper}

2301: D.~H.~Lyth,

2302: %``The primordial curvature perturbation in the ekpyrotic Universe,''

2303: Phys.\ Lett.\ B {\bf 524}, 1 (2002)

2304: [arXiv:hep-ph/0106153];

2305: Phys.\ Lett.\ B {\bf 526}, 173 (2002)

2306: [arXiv:hep-ph/0110007];

2307: R.~Brandenberger and F.~Finelli,

2308: %``On the spectrum of fluctuations in an effective field 

2309: % theory of the  ekpyrotic Universe,''

2310: JHEP {\bf 0111}, 056 (2001)

2311: [arXiv:hep-th/0109004];

2312: J.~c.~Hwang,

2313: %``Cosmological structure problem in the ekpyrotic scenario,''

2314: Phys.\ Rev.\ D {\bf 65}, 063514 (2002)

2315: [arXiv:astro-ph/0109045];

2316: J.~Khoury, B.~A.~Ovrut, P.~J.~Steinhardt and N.~Turok,

2317: %``Density perturbations in the ekpyrotic scenario,''

2318: Phys.\ Rev.\ D {\bf 66}, 046005 (2002)

2319: [arXiv:hep-th/0109050];

2320: F.~Finelli and R.~Brandenberger,

2321: %``On the generation of a scale-invariant spectrum 

2322: % of adiabatic  fluctuations in cosmological models 

2323: % with a contracting phase,''

2324: Phys.\ Rev.\ D {\bf 65}, 103522 (2002)

2325: [arXiv:hep-th/0112249];

2326: J.~Hwang and H.~Noh,

2327: %``Identification of perturbation modes and 

2328: % controversies in ekpyrotic  perturbations,''

2329: Phys.\ Lett.\ B {\bf 545}, 207 (2002)

2330: [arXiv:hep-th/0203193];

2331: P.~Peter and N.~Pinto-Neto,

2332: %``Primordial perturbations in a non 

2333: % singular bouncing universe model,''

2334: Phys.\ Rev.\ D {\bf 66}, 063509 (2002)

2335: [arXiv:hep-th/0203013].

2336: R.~Durrer and F.~Vernizzi,

2337: %``Adiabatic perturbations in pre big bang models: 

2338: % Matching conditions and  scale invariance,''

2339: Phys.\ Rev.\ D {\bf 66}, 083503 (2002)

2340: [arXiv:hep-ph/0203275];

2341: C.~Cartier, R.~Durrer and E.~J.~Copeland,

2342: %``Cosmological perturbations and the transition 

2343: % from contraction to  expansion,''

2344: arXiv:hep-th/0301198.

2345: 

2346: \end{thebibliography}

2347: 

2348: \end{document}

2349: 

2350: 

2351: %%%%%%%%%%%%%%%%%%%

2352: %%%% Figures (uu-files) %%%%%%

2353: %%%%%%%%%%%%%%%%%%%

2354:  

2355: