1: \documentclass[12pt]{article}
2: \usepackage[dvips]{graphicx}
3: %\usepackage{refcheck}
4:
5: \setlength{\oddsidemargin}{-1in}
6: \addtolength{\oddsidemargin}{3.3cm}
7: \setlength{\evensidemargin}{\oddsidemargin}
8: \setlength{\textwidth}{\paperwidth}
9: \addtolength{\textwidth}{-6.6cm}
10: \setlength{\headheight}{0pt}
11: \setlength{\headsep}{0pt}
12: \addtolength{\textheight}{3.0cm}
13:
14: \newcommand{\be}{\begin{equation}}
15: \newcommand{\ee}{\end{equation}}
16: \newcommand{\cR}{\mathcal{R}}
17: \newcommand{\mn}{{\mu\nu}}
18: \newcommand{\tr}{\ensuremath{\mathop\mathrm{tr}}}
19: \newcommand{\duF}{\tilde{F}}
20: \newcommand{\ve}{\varepsilon}
21: \newcommand{\cn}{\ensuremath{\mathop{\mathrm{cn}}}}
22: \newcommand{\sn}{\ensuremath{\mathop{\mathrm{sn}}}}
23: \newcommand{\sgn}{\ensuremath{\mathop{\mathrm{sign}}}}
24: \newcommand{\Crr}{\ensuremath{C_{RR}}}
25: \newcommand{\ec}{\ensuremath{\varepsilon_{c}}}
26: \newcommand{\Bk}{\ensuremath{\Sigma}}
27:
28: \newcommand{\fR}{\ensuremath{\mathcal{P}}}
29:
30: %#########################################################################
31: \begin{document}
32: \title{
33: \begin{flushright} \small
34: DTP--MSU/01-14 \\
35: hep-th/0111099
36: \end{flushright}
37: \vspace{1.cm}
38: %%%%% Title %%%%
39: \textbf{Non-Abelian Born--Infeld Cosmology}\footnote{Supported
40: by RFBR} }
41:
42: %%%%% Authors %%%%
43:
44: \author{V.V. Dyadichev\footnote{Email: vlad@grg1.phys.msu.su}\,,
45: D.V. Gal'tsov\footnote{Email: galtsov@grg.phys.msu.su}\,,
46: A.G. Zorin\footnote{Email: zrn@aport.ru}\,,\\[2mm]
47: \sl Department of Theoretical Physics,\\
48: \sl Moscow State University, 119899, Moscow, Russia\\[3mm]
49: and M.Yu.\ Zotov\footnote{Email: zotov@eas.sinp.msu.ru}\\[2mm]
50: \sl Skobeltsyn Institute of Nuclear Physics,\\
51: \sl Moscow State University, 119899, Moscow, Russia
52: }
53:
54: %%%%% Date %%%%
55: \date{\today}
56: \maketitle
57:
58: \begin{abstract}
59: We investigate homogeneous and isotropic cosmological solutions
60: supported by the SU(2) gauge field governed by the Born--Infeld
61: lagrangian. In the framework of the
62: Friedmann--Robertson--Walker cosmology with or without the
63: cosmological constant~$\lambda$, we derive dynamical systems
64: that give a rather complete description of the space of
65: solutions. For $\lambda=0$ the effective equation of state
66: $\ve(p)$ is shown to interpolate between $p=-\ve/3$ in the
67: regime of the strong field and $p=\ve/3$ for the weak field.
68: Correspondingly, the Universe starts with zero acceleration and
69: gradually enters the decelerating regime, asymptotically
70: approaching the Tolman solution.
71: \end{abstract}
72:
73: \vskip 0.3cm \indent \hskip 0.5cm
74: PACS numbers: 04.20.Jb, 04.50.+h, 46.70.Hg
75:
76: %#########################################################################
77: \newpage
78: \section{Introduction}
79: It is tacitly assumed that the large scale massless Yang--Mills
80: (YM) fields, which could exist in the early Universe before
81: phase transitions, do not play any significant role in
82: cosmology. Partially this is related to the scale
83: invariance of the YM lagrangian implying that primary YM
84: excitations would be diluted during inflation. String theory
85: suggests the Born--Infeld (BI) type modification of the YM
86: action which breaks the scale invariance thus canceling the
87: above objection. Therefore, it seems reasonable to investigate the YM
88: cosmology with the non-Abelian Born-Infeld action.
89: In the existing literature one finds several
90: papers discussing cosmological models with the U(1) BI matter
91: \cite{GaBr00, Al90, Vo01}. Such models are necessarily anisotropic
92: (or inhomogeneous), since there is no homogeneous and isotropic
93: configurations of the classical U(1) field.
94: \emph{Non-Abelian} BI (NBI) cosmology was not
95: studied so far. Here we investigate this
96: problem in the framework of the traditional Friedmann-Robertson-Walker (FRW)
97: cosmology.
98:
99: A notable property of the SU(2) Yang--Mills field is that it
100: \emph{admits} homogeneous and isotropic ($G_6$-invariant)
101: configurations. Indeed, the energy can be distributed between
102: three color components in such a way that the resulting
103: stress-tensor is compatible with the maximal symmetry of the
104: three-dimensional space. In the case of~$S^3$, the
105: corresponding ansatz was given in \cite{CeJa78,He82,VeDa89}, two other
106: cases (hyperbolic and flat) were treated in \cite{GaVo91}. An
107: interesting feature of these configurations is that they
108: produce a varying with time Chern--Simons density,
109: which might lead to topological fermion non-conservation
110: \cite{GiSt94,Vo94}. As was shown in \cite{GaVo91}, in the case
111: of the~$S^3$ spatial geometry, the YM field generically oscillates
112: between two neighboring topological sectors of the YM theory,
113: while the limiting unstable static solution plays a role of the
114: cosmological sphaleron \cite{GiSt94,Di94}.
115: Here we do not discuss this issue
116: further but rather concentrate on the aspects related to
117: the scale invariance breaking in the NBI theory.
118: An immediate consequence is
119: that the equation of state $p=\ve/3$ arising in the usual YM theory
120: \cite{GaVo91} (mimicking the photon gas) changes to
121: some more complicated equation which now allows for a negative
122: pressure. One could wonder whether an accelerating expansion
123: becomes possible, that is, whether the sum $\ve+3p$ can be negative. It
124: turns out that the lower limit of acceleration which can be
125: achieved within the present model is precisely zero: when YM field
126: strength is much larger then the BI `critical field', the
127: equation of state is $p=-\ve/3$. Such a state equation
128: is typical for an averaged distribution of strings, where its
129: origin is quite simple: each string has a {\em one-dimensional}
130: equation of state $p=-\ve$, averaging over all directions in the
131: three-space gives $p=-\ve/3$. The deeper reason for this
132: coincidence is not fully clear for the moment, though apparently
133: it is related to the fact that the origin of the BI lagrangian lies in the
134: string theory.
135:
136: As it was widely discussed recently \cite{Ha81,Ts97,Ts99,Pa99},
137: the definition of the NBI action is ambiguous. One can start
138: with the U(1) BI action presented either in the determinant form
139: \[
140: S=\frac1{16\pi}\int \,\sqrt{-\det(g_\mn-F_\mn)} \, d^4x,
141: \]
142: or in the `resolved square root' form
143: \[
144: S=\frac1{16\pi} \int\,
145: \sqrt{1+\frac{F_\mn F^\mn}{2}-\frac{({\tilde F}_\mn F^\mn )^2}{16}}
146: \;\sqrt{-g} \, d^4x.
147: \]
148: In the non-Abelian case, the trace over color indices must be
149: specified. One particular definition, suggested by Tseytlin~\cite{Ts97},
150: is a symmetrized trace. It prescribes a
151: symmetrisation over all permutations of the gauge matrices in an
152: expansion of the determinant in powers of the field strength
153: before the trace is
154: computed. Inside the symmetrized series expansion, the gauge generators
155: effectively commute, so both the determinant and the square root
156: forms are equivalent (which property may serve as an alternative definition
157: of the trace operation). This property does not hold for other trace
158: prescriptions, e.g., an ordinary trace. In this latter case, it
159: is common to apply the trace to the square root form. Note,
160: that the string theory favors the symmetrized trace definition
161: once lower orders of the perturbation theory are taken into
162: account \cite{Ts97,HaTa97,Ts99}, while higher order corrections
163: seem to violate this prescription
164: \cite{ReSaTe01,Bi01,Be01,SeTrTr01}. Here we choose the `square
165: root/ordinary trace' lagrangian just for its simplicity. It is
166: worth noting that in other (somehow related) problem of
167: sphalerons in the NBI theory, discussed recently both in the
168: ordinary~\cite{GaKe99} and symmetrized trace~\cite{DyGa00}
169: versions, basic qualitative features of the solutions turned out to be the
170: same. We realize, however, that the distinction between
171: different trace prescriptions may become significant near the
172: cosmological singularity.
173:
174: Fortunately, the dynamics of the scale factor in the SU(2)
175: Einstein--NBI theory (with ordinary trace)
176: decouples from the whole system of equations and can be fully
177: analyzed using the dynamical systems approach. We perform this analysis
178: for closed, spatially flat and open FRW models
179: both for zero and non-zero cosmological constants.
180: Given the solution for the scale factor,
181: the field equations for the YM field can be integrated in
182: terms of elliptic functions.
183:
184: %#########################################################################
185:
186: \section{$SU(2)\;\; G_6$-invariant connection}
187:
188: We start with the action
189: \begin{equation}\label{BItrace}
190: S=-\frac{1}{4\pi}\int \left\{\frac1{4G}R + \beta^2(\cR -
191: 1)\right\}\;\sqrt{-g}\, d^4x,
192: \end{equation}
193: where $R$ is the scalar curvature, $\beta$ is the BI critical
194: field strength, and the quantity
195: \[
196: \cR=\sqrt{1+\frac{1}{2\beta^2}F^a_\mn F_a^\mn
197: - \frac{1}{16\beta^4}(\duF^a_\mn F_a^\mn)^2}
198: \]
199: corresponds to the `square root/ordinary trace' NBI lagrangian.
200: Throughout the paper we consider cosmological models
201: with the homogeneous and isotropic three-space, which will
202: be presented as usual:
203: \begin{equation}\label{G6metr}
204: dl^2 = dr^2 + \Bk^2(d\theta^2+\sin\theta^2d\phi^2),
205: \end{equation}
206: where $\Bk$ is one of the functions $\sin r$, $r$ or $\sinh r$
207: depending on the type of the spacetime: closed, spatially flat
208: or open (labeled as $k=1,0,-1$ correspondingly).
209:
210: In what follows, we deal with the homogeneous and isotropic
211: configurations of the SU(2) YM field. Although the construction
212: of the SU(2) YM ansatz for all FRW models was
213: discussed earlier~\cite{GaVo91}, it is worth to reconsider
214: it, since in~\cite{GaVo91} the conformal invariance of the
215: YM lagrangian was explicitly used. In fact, the result obtained
216: in~\cite{GaVo91} was just
217: the $G_6$-invariant connection independent of the choice
218: of the action for the gauge field. Here
219: we rederive the $G_6$ ansatz without any appeal to
220: the scale invariance.
221:
222: The homogeneous and isotropic ansatz for the YM field can be obtained
223: starting with the Witten spherically symmetric ansatz \cite{Wi77} and
224: then extending the symmetry to the full $G_6$ group. The Witten
225: ansatz reads:
226: \begin{eqnarray}\label{Wittans}
227: A_\mu dx^\mu&=& \omega_0 T_r \, d t + \omega_1 T_r \, d r
228: + \left[ K_2 T_\theta- (1- K_1) T_\phi \right] d\theta \nonumber\\
229: & & + \left[(1-K_1) T_\theta +K_2 T_\phi \right]
230: \sin \theta \, d\phi,
231: \end{eqnarray}
232: where four functions $\omega_0$, $\omega_1$, $K_1$, and~$K_2$
233: depend on time~$t$ and the radial coordinate~$r$ (spherical
234: coordinates $r,\theta,\phi$ are understood), and the coordinate dependent
235: basis in the color space is introduced as follows
236: \begin{equation}\label{Su2gens}
237: T_r = T_1 \sin \theta \cos \phi
238: + T_2 \sin \theta \sin \phi
239: + T_3 \cos \theta, \qquad
240: T_\theta = \partial _\theta T_r, \qquad
241: T_\phi \sin \theta = \partial_\phi T_r.
242: \end{equation}
243: These generators satisfy the standard normalisation condition
244: and the commutation relations
245: \begin{equation}\label{Su2comm}
246: \tr T_a T_b=\frac12 \delta_{ab},\qquad
247: [T_a,T_b]=i\varepsilon^{abc}T_c.
248: \end{equation}
249:
250: From four functions entering the ansatz only three are
251: physical, while $\alpha(r,t)=\arctan(K_2/K_1)$ can be gauged
252: away by a gauge transformation preserving the $SO(3)$ symmetry.
253: In the following it is convenient to choose a parametrisation
254: \begin{eqnarray}\label{Omegas}
255: K_1=f \cos \alpha, &\qquad & K_2=f \sin \alpha, \nonumber \\
256: \omega_0=\Omega_0+\dot\alpha, &\qquad & \omega_1=\Omega_1 +
257: \alpha'.
258: \end{eqnarray}
259: where a prime and a dot denote derivatives with respect to the
260: radial variable and time.
261:
262: In order to extend the symmetry to~$G_6$,
263: we consider the following gauge invariant tensor:
264: \begin{equation}\label{Pdef}
265: P_\nu{}^\lambda=F^a_{\mu\nu} F^{\mu\lambda}_a.
266: \end{equation}
267: Since in the homogeneous and isotropic three-space the only
268: mixed second rank tensor is the Kronecker delta, one should have for
269: the spatial part of~$P_\nu{}^\lambda$:
270: \[
271: P_i^j=P(t)\;\delta_i^j.
272: \]
273: Using (\ref{Wittans}--\ref{Omegas}, we obtain the system of
274: equations for $\Omega_{0,1}$, $f$,~and $\alpha$, which is
275: solved for the first three functions in terms of a single
276: function of time~$w(t)$, while~$\alpha$ remains arbitrary. The
277: following gauge leads to a maximal simplification of the field
278: strength:
279: \begin{eqnarray}\label{Funcs}
280: \Omega_0 =-\frac{\dot{w} \Bk \sqrt{1-k \Bk ^2}}{1+\Bk ^2(w^2-k)}, \\
281: \Omega_1 = \frac{\Bk ^2 w (w^2-k)}{1+\Bk ^2(w^2-k)}, \\
282: f = \sqrt{1+\Bk ^2(w^2-k)}, \\
283: \alpha = \arctan \left(\frac{\Bk w}{\sqrt{1-k \Bk^2}}\right).
284: \end{eqnarray}
285: In this gauge, the field tensor reads
286: \begin{eqnarray}\label{Fform}
287: \mathcal{F}&=&\dot{w}\left(T_r\,dt\wedge dr
288: + T_\theta \Bk\,dt \wedge d\theta
289: + T_\phi \Bk \sin \theta \,dt \wedge d\phi \right) \nonumber \\
290: &&+ \Bk(w^2-k)\left(T_\phi\,dr \wedge d\theta
291: - T_\theta \sin \theta\,dr \wedge d\phi
292: + T_r \Bk \sin \theta\,d\theta \wedge d\phi \right).
293: \end{eqnarray}
294:
295:
296: %#########################################################################
297: \section{FRW cosmology}
298:
299: Consider the FRW cosmological models parameterizing
300: the spacetime metric as
301: \[
302: ds^2 = N^2 dt^2 - a^2 \,dl^2.
303: \]
304: Substituting (\ref{Fform}) into Eq.~(\ref{BItrace}), we
305: obtain the following one-dimensional action:
306: \[
307: S_1= \frac{1}{4\pi}
308: \int dt \left[\frac{3}{2 G}\frac{a(k N^2-\dot{a}^2)}{N}
309: - N a^3 \beta^2 (\cR - 1) \right],
310: \]
311: where now
312: \[
313: \cR=\sqrt{1 - \frac{3\dot{w}^2}{a^2 \beta^2 N^2}
314: + \frac{3(w^2-k)^2}{a^4 \beta^2}
315: - \frac{9\dot{w}^2(w^2-k)^2}{a^6 \beta^4 N^2}}.
316: \]
317:
318: The lagrangian contains two dimensional parameters: the Newton
319: constant~$G$ and the BI `critical field'~$\beta$.
320: After a coordinate rescaling $t \to \beta^{-1/2} t $,
321: $a\to\beta^{-1/2}a$, which makes all quantities dimensionless,
322: the reduced action becomes
323: \[
324: S_1=\frac{1}{4\pi G \beta} \int dt
325: \left\{\frac32\frac{a(kN^2-\dot{a}^2)}{N}
326: -g Na^3 \left[\sqrt{(1-K^2)(1+V^2)}- 1\right]\right\},
327: \]
328: where
329: \begin{equation}\label{VKdef}
330: K=\frac{\sqrt 3 \dot{w}}{aN}\quad \mbox{and }\quad
331: V=-\frac{\sqrt 3 (w^2-k)}{a^2},
332: \end{equation}
333: and $g=\beta G$ is the remaining dimensionless coupling constant.
334:
335: Variation of the action over $N$ gives a constraint equation;
336: after obtaining it, we fix the gauge $N=1$. In this gauge the
337: constraint equation reads
338: \begin{equation}\label{Nconstr}
339: g a^2 \left(\fR - 1 \right) - \frac32 (\dot{a}^2 + k) = 0,
340: \end{equation}
341: where
342: \begin{equation}\label{Rdef}
343: \fR = \sqrt{\frac{1+V^2}{1-K^2}}.
344: \end{equation}
345: This expression can be rewritten in the standard form
346: \begin{equation}\label{habl}
347: \frac{\dot a^2}{a^2}+\frac{k}{a^2}=\frac{8\pi G }{3}\ve,
348: \end{equation}
349: where the energy density is given by
350: \begin{equation}\label{epsdef}
351: \ve= \ec \left(\fR -1\right),
352: \end{equation}
353: with $\ec=\beta/4\pi$ playing a role of the BI critical energy density.
354:
355: Variation of the action with respect to~$a$ gives the acceleration equation
356: \begin{equation}\label{aeq}
357: \ddot{a}
358: =\frac{ga}{3}\fR
359: -\frac{\dot{a}^2+k+2ga^2}{2a}+\frac{2ga}{3}\fR^{-1}.
360: \end{equation}
361: Again, rewriting it in the standard form (using~(\ref{habl}))
362: \begin{equation}\label{acc}
363: \frac{\ddot{a}}{a} = -\frac{4\pi G}{3}(\ve+3p),
364: \end{equation}
365: we can read off the pressure
366: \begin{equation}\label{pressdef}
367: p=\frac13 \ec\left(3-\fR
368: -2\fR^{-1}\right).
369: \end{equation}
370: Now comparing (\ref{epsdef}) and (\ref{pressdef}) we obtain the
371: following equation of state
372: \begin{equation}\label{state}
373: p=\frac{\ve}{3}\frac{(\ec -\ve)}{(\ec+\ve)}.
374: \end{equation}
375: It is worth noting that the BI critical energy density corresponds to
376: the vanishing pressure. For larger energies the pressure
377: becomes negative, its limiting value is $p=-\ve/3$. In the
378: opposite limit $\ve\ll \ec$ one recovers the hot matter equation
379: of state $p=\ve/3$, reflecting the scale invariance of the YM
380: action to which the NBI action reduces at low energies.
381:
382: Finally, the variation over $w$ gives the YM (NBI) equation
383: \begin{equation}\label{weq}
384: \ddot{w}= 2 \frac{w (k-w^2)}{a^2}
385: \left(\frac{1-K^2}{1+V^2}\right) + \frac{2 \dot{a} \dot{w}}{a}
386: \left(\frac12-\frac{1-K^2}{1+V^2}\right).
387: \end{equation}
388: From this one can derive the following evolution equation
389: for the energy density:
390: \begin{equation}\label{drho}
391: \dot {\varepsilon } =-2\frac{ \dot{a}}{a}\,\frac{\varepsilon
392: \left (\varepsilon+2 \ec\right )}{\varepsilon+ \ec },
393: \end{equation}
394: which can be easily integrated to give
395: \begin{equation}\label{aepsC}
396: a^4(\varepsilon+2\ec)\varepsilon={\rm const}.
397: \end{equation}
398: From this relation one can see that the behavior of the NBI
399: field interpolates between two patterns: 1)~for large energy
400: densities ($\varepsilon\gg \ec $) the energy density scales as
401: $\ve\sim a^{-2}$;
402: 2)~for small densities $\varepsilon\ll \ec$ one has a radiation
403: law $\varepsilon \sim \ a^{-4}$.
404:
405: %#########################################################################
406:
407: \section{Spacetime evolution}
408:
409: Using the constraint equation (\ref{Nconstr}), one can
410: express~$\ve$ in terms of the scale factor~$a$ and its
411: derivative. Substituting it into Eq.~(\ref{aeq}) we
412: obtain a decoupled equation governing the spacetime evolution:
413: \begin{equation} \label{evol.eqn}
414: \ddot a = -\frac{2 g a (\dot a ^2+k)}{2 g a^2 + 3 (\dot a^2 + k)}.
415: \end{equation}
416: The condition of positivity of the energy density in (\ref{Nconstr})
417: defines a boundary in the phase space:
418: \begin{equation}\label{domain}
419: \dot a^2 > -k.
420: \end{equation}
421:
422: Let us analyze the evolution equation~(\ref{evol.eqn}) by means
423: of the dynamical systems tools. For this, it is convenient to
424: introduce $b = \dot a$ and pass to another independent variable~$\tau$, such
425: that $dt=h\,d\tau$, where $h = 2 g a^2 + 3 (b^2 + k)$. This leads
426: to the following dynamical system:
427: \begin{equation}\label{dynsys}
428: a' = h b, \qquad b' = -2 g a (b^2 + k),
429: \end{equation}
430: where primes denote derivatives with respect to~$\tau$. Notice
431: that the system~(\ref{dynsys}) is invariant under a reflection
432: $(a\to-a, \, b\to-b)$, so further, without loss of generality, we
433: discuss the expanding solutions.
434:
435: First of all we
436: establish that the dynamical system~(\ref{dynsys}) admits a
437: first integral. Considering~$a$ as a function of~$b$, one can
438: write:
439: \[
440: \frac{da}{db} = -\frac {h b}{2 a g (b^2 + k)}.
441: \]
442: This equation can be easily integrated to give
443: \begin{equation}\label{abcurve}
444: 3 \left(b^2 + k \right)^2 + 4 g a^2 \left(b^2 + k \right) = C,
445: \end{equation}
446: with some constant $C$. From this relation one can see that all
447: solutions inside the physical boundary~(\ref{domain}) cross the
448: line $a=0$, so that the singularity is unavoidable. Another
449: observation is that, unlike the standard hot FRW cosmology,
450: $\dot{a}$ remains finite while~$a$ tends to zero.
451:
452: Though the integral~(\ref{abcurve}) allows one to draw the
453: complete phase portraits of~(\ref{dynsys}), let us take a look
454: at the stationary points of the dynamical system. These are
455: different for different~$k$:
456: \begin{itemize}
457: \item $k=1$, closed universe.
458: The only singular point is $a=0$, $b=0$ which is a center with
459: the eigenvalues $\pm i\sqrt{6g}$, see the phase portrait in
460: Fig.~\ref{fig:dynclsd}.%
461: \footnote{In this and the following figures, solutions evolve
462: from left to right in the upper half-plane
463: as time changes from~$-\infty$ to~$\infty$, and from right to left
464: in the lower half-plane.}
465: All solutions are of an oscillating type:
466: they start at the singularity ($a=0$) and after a stage of
467: expansion shrink to another singularity. It is easy to see
468: from~(\ref{abcurve}) that the functions~$a$ and~$\dot a$ remain
469: bounded for all solutions.
470:
471: \item $k=0$, spatially flat universe. There is a singular line
472: $b=0$ each point of which represents a solution for an empty
473: space (Minkowski spacetime). This set is degenerate, and there
474: are no solutions that reach this curve for finite values of~$a$
475: (see Fig.~\ref{fig:dynflat} for the phase portrait). All solutions
476: in the upper half-plane after initial singularity expand infinitely.
477:
478: A remarkable fact is that for this case one can write an exact
479: solution of~(\ref{dynsys}) (in an implicit form):
480: \[
481: 4 \sqrt{g} \, (t - t_0)
482: = \sqrt{3} \left(\Omega - \arctan \Omega^{-1} + \pi/2 \right),
483: \]
484: where $ \Omega=\sqrt{2}\,a/\sqrt{\sqrt{a^4+C}-a^2} $. The metric
485: singularity is reached at $t=t_0$.
486:
487: \item $k=-1$, open universe. There is a center at $a=0$, $b=0$
488: with the eigenvalues $\pm i\sqrt{6g}$, but it lies outside the
489: boundary of the physical region. Other singular points are
490: $(a=0,\;\; b=\pm 1)$ (Fig.~\ref{fig:dynopen}). These points are
491: degenerate and cannot be reached from any point lying in the
492: physically allowed domain of the phase plane. The only
493: solutions which start from them are the separatrices $b=\pm 1$
494: that represent (part of) the flat Minkowski spacetime in special
495: coordinates.
496:
497: One can easily see that all solutions in the upper part of the physical
498: domain
499: $\dot a>1$ start from the singularity and then move to
500: $a \to \infty$, $ \dot a \to 1$.
501: \end{itemize}
502:
503: The global qualitative behavior of solutions does not differ
504: substantially from that in the conformally
505: invariant YM field model, except near the singularity.
506: One can find
507: the following power series expansion near the
508: singularity $a(0)=0$:
509: \begin{equation}\label{aexp}
510: a(t) = b_0 t - \frac{b_0 g}{9} t^3
511: +\frac{1}{270}\frac{b_0 g^2 (7 b_0^2 + k)}{(b_0^2 + k)} t^5
512: + O(t^7), \quad t \to 0,
513: \end{equation}
514: where $b_0$ is a free parameter. Absence of the quadratic term
515: means that the Universe starts with zero acceleration. This is
516: what can be expected in view of the equation of state
517: $p\approx-\ve/3$ at high densities.
518:
519: For large $a$, the dynamics of the system~(\ref{aeq}) approaches
520: that of the hot FRW models (for small energy densities one
521: recovers the equation of state of radiation).
522:
523:
524:
525: %#########################################################################
526: \section{Cosmological constant}
527: %#########################################################################
528:
529: Here we extend our analysis to the case of non-zero
530: cosmological constant $\lambda$. This leads to the following
531: one-dimensional action:
532: \[
533: S_1 = \frac{1}{4\pi G \beta } \int dt
534: \left[ \frac{3a}{2N} \left(k N^2 - \dot a^2 \right)
535: + g N a^3 \left(1 - \sqrt{(1-K^2)(1+V^2)} -\frac{\lambda}{2g}\right)
536: \right].
537: \]
538: Clearly, the equations governing the gauge field dynamics~%
539: (\ref{weq}) are unaffected by the cosmological term. The metric
540: equations can be decoupled again using the constraint equation~(\ref{Nconstr}):
541: \begin{equation}\label{aeqlam}
542: \ddot a = -\frac 13 a(2 g - \lambda)
543: +\frac43\frac{g^2a^3}{[(2g- \lambda)a^2+ 3(\dot a^2 +k)]}.
544: \end{equation}
545: The physical region of the phase space is defined by positivity of the
546: energy of the gauge field (\ref{epsdef}), now the boundary being
547: \begin{equation}\label{ldomain}
548: \dot a^2 - \frac \lambda 3 a^2 +k \ge 0.
549: \end{equation}
550: For the closed and spatially flat universes and a negative
551: cosmological constant the allowed domain coincides with the
552: whole plane $a, \dot a$. In other cases, there is a boundary
553: corresponding to the solution with zero gauge field, i.e.,
554: the (anti)de-Sitter space.
555:
556: The cosmological constant gives rise to new types of solutions
557: including de-Sitter-like, which are non-singular.
558: However, in the case when there is a singularity, its structure
559: is determined by the leading term in the equation of state,
560: namely, by the BI pressure, and is thus unaffected by the
561: cosmological constant. The generic solution near the
562: singularity satisfies the following series expansion
563: \begin{equation}\label{explam}
564: a(t)= b_0 t - \frac{2g-\lambda}{18} b_0 \,t^3 +O(t^5),
565: \quad t \to 0,
566: \end{equation}
567: where $b_0$ is a free parameter. Again, the Universe starts with zero
568: acceleration.
569:
570: To proceed further with the analysis of Eq.~(\ref{aeqlam}),
571: we rewrite it as the following two-dimensional dynamical system:
572: \begin{equation}\label{dynsyslam}
573: a' = 3 \left[(2g - \lambda) a^2 + 3 (b^2 + k)\right] b,
574: \qquad
575: b' = \left[\lambda(4g - \lambda) a^2 - 3 (b^2 + k)(2g - \lambda)
576: \right] a,
577: \end{equation}
578: where primes denote derivatives with respect to a new time variable
579: $\tau$ defined by $dt=3 [(2g - \lambda) a^2 + 3 (b^2 + k)] d\tau $.
580: The system is symmetric under a
581: simultaneous reflection of both variables, so we
582: can think about a half of the phase space.
583:
584: Similarly to the previous section, one may treat~$b$ as a
585: function of~$a$ and thus obtain the first integral, which
586: completely defines the integral curves of~(\ref{dynsyslam}):
587: \begin{equation}\label{lphase}
588: 3 \left(b^2-\frac\lambda3 a^2+k \right)^2
589: + 4 g a^2 \left(b^2-\frac\lambda 3 a^2+k \right)= C.
590: \end{equation}
591: Note that the terms in brackets are non-negative within the
592: allowed domain~(\ref{ldomain}).
593:
594: The structure of the solution space can be revealed using this
595: first integral. Let us start describing singular points of the
596: dynamical system for different~$k$.
597: \begin{itemize}
598: \item $k=1$, closed universe. For a negative cosmological
599: constant the only singular point is $(a=0,b=0)$, which is a
600: center with eigenvalues $\xi = \pm 3 i \sqrt{3(2g-\lambda)}$.
601: All phase space trajectories are deformed circles, and all
602: solutions start from the singularity and reach the
603: singularity in the future.
604:
605: For a positive cosmological constant, the allowed domain is bounded by
606: a hyperbola $b^2-\frac \lambda 3 a^2>-1$ which
607: represents the de-Sitter space.
608:
609: For relatively small~$\lambda$ the point $(a=0, b=0)$
610: remains a center. At the same time, another pair of singular
611: points appears:
612: \begin{equation}\label{clsp}
613: a =\pm\sqrt{\frac{3(2 g-\lambda)}{\lambda (4 g- \lambda )}},
614: \qquad b=0.
615: \end{equation}
616: For $\lambda<2g$ they lie within the allowed domain and
617: correspond to the static Einstein universe. These are saddle
618: points with eigenvalues
619: \[
620: \xi = \pm \frac{6 \sqrt{6}\,g}{\lambda}
621: \sqrt{\frac{\lambda(2g-\lambda)}{4g-\lambda}}\,.
622: \]
623: Entering them separatrices correspond to either a
624: solution developing from the singularity into the static universe,
625: or one rolling down from an infinite radius to the static
626: universe (Fig.~\ref{fig:dynlam1}). These separatrices divide the
627: phase space into the domains containing different types of generic
628: solutions. Near the origin, all solutions evolve from an initial
629: to a final singularity. In the region
630: near the physical boundary, the solutions are
631: non-singular and evolve for an infinite time first shrinking to
632: some finite value of the scale factor and then ever expanding.
633: Generic solutions of the third type possess a singularity but
634: are non-periodic: the universe expands forever.
635:
636: With $\lambda$ further increasing, the saddle point approaches
637: the origin and finally, when $\lambda>2 g$, swallows it. The
638: character of the singular point $(a=0,b=0)$ changes---it
639: becomes a saddle point ((Fig.~\ref{fig:dynlam2}).
640: The separatrices entering it are solutions of an
641: inflationary type. They divide all generic solutions into
642: two classes: nonsingular de-Sitter-like (i.e.,
643: ever-expanding in the future and ever-contracting in the past)
644: and ever-expanding solutions with an initial singularity.
645: When $\lambda>4g$, the Eq.~(\ref{clsp}) has a real
646: singular point lying outside the physical region.
647:
648: \item $k=0$, spatially flat universe.
649: The only singular point is the origin $(a=0,b=0)$ which now is
650: degenerate.
651: For $\lambda<0$ the allowed domain is the whole plane. All
652: solutions are of an oscillatory type evolving from the
653: initial to the final singularity for a finite time.
654:
655: For a positive cosmological constant the allowed
656: domain consists of the upper and lower parts of a cone
657: $b^2 - \frac \lambda 3 a^2>0$ whose boundary corresponds to the (part
658: of) de-Sitter space described in the inflating coordinates.
659: All solutions that lie within the allowed domain have an
660: initial singularity and are ever expanding in the future.
661:
662: \item $k=-1$, open universe. The allowed domain~(\ref{ldomain})
663: lies outside of either an ellipse ($\lambda<0$), or a
664: hyperbola ($\lambda>0$).
665:
666: In this case two types of singular points---the origin and
667: \begin{equation}
668: a =\pm\sqrt{\frac{3(\lambda-2 g)}{\lambda (4g-\lambda)}},
669: \qquad b=0
670: \end{equation}
671: (when they are real) lie outside the allowed domain and hence are
672: of no interest.
673:
674: Another pair of singular points is $(a=0,b=\pm 1) $. These are
675: degenerate (as in case with zero cosmological constant).
676: Since they lie on the boundary of the allowed domain, the only
677: physical solutions approaching them correspond to zero energy
678: of the BI field ((anti)-deSitter).
679:
680: All generic solutions within the allowed domain possess a
681: singularity and are either oscillating (for $\lambda<0$) or
682: ever expanding (for $\lambda>0$).
683:
684: \end{itemize}
685:
686:
687: %#########################################################################
688: \section{Dynamics of the gauge field }
689: %#########################################################################
690:
691: One can easily see that the gauge field influences the metric
692: only through the quantity~\fR~(\ref{Rdef}),
693: related to the energy density.
694: This quantity obeys the differential equation:
695: \begin{equation}\label{dR}
696: \dot \fR =2 \frac{\dot a }{a}\left(\frac{1}{\fR} - \fR
697: \right),
698: \end{equation}
699: which follows from (\ref{weq}) and does not
700: depend either on a detailed YM dynamics, or a particular gauge choice
701: (e.g., $N=1$, or $N=a$). This equation
702: can be integrated once, giving $\fR$ as a function of~$a$:
703: \begin{equation}\label{Radep}
704: \fR=\sqrt{1+3\left(\frac{a_0}{a}\right)^4},
705: \end{equation}
706: where $a_0$ is an integration constant, and a numerical
707: coefficient was introduced for future convenience. This
708: equation gives us a possibility to fully describe the gauge
709: field dynamics. Recalling the definition of~$\fR$~(\ref{Rdef}),
710: one can separate the metric and the gauge field variables as follows:
711: \begin{equation}\label{w1eq}
712: \frac{\dot{w}^2}{a_0^4-(k-w^2)^2} =\frac{ N^2a^2}{a^4+ 3
713: a_0^4}.
714: \end{equation}
715: Since the right hand side of this equation is strictly positive,
716: we can find the domain of variation of the function~$w$. It
717: is symmetric with respect to $w\to -w$, except for the case
718: $a_0<1$, $k=1$, when~$w$ oscillates near the value $w=1$ (or
719: $w=-1$) without crossing the axis $w=0$.
720:
721: The equation (\ref{w1eq}) can be solved in terms of the Jacobi
722: elliptic functions, similarly to the case of an ordinary YM
723: lagrangian~\cite{DoGa92}:
724: \begin{equation}\label{wsol}
725: w(t)= \sqrt{k+a_0^2} \cn \left(\sqrt 2 a_0 (\tau -\tau_0),
726: \frac{\sqrt{k+a_0^2}}{\sqrt{2} a_0}\right),
727: \end{equation}
728: where $\tau_0$ is the integration constant, and the argument to the
729: Jacobi function is defined as
730: \begin{equation}\label{cnarg}
731: \tau(t)=\int^t \frac{a(t')N(t')\,dt'}{\sqrt{a^4(t')+3 a_0^4}}.
732: \end{equation}
733:
734: A generic solution for $w(t)$ is of an oscillating type.
735: In the case $a_0<1$, $k = 1$, the solution,
736: oscillating near one of the values $w=\pm 1$,
737: does not cross the line $w=0$. In
738: all other cases solutions oscillate around the origin. The
739: effective frequency of oscillations is determined by the rate
740: of growth of the argument~$\tau$. To compare the situation with the
741: ordinary EYM cosmology, we notice that in this case the solution
742: for~$w(t)$ is still given by~(\ref{wsol}), but with a different
743: definition of the phase variable~$\tau(t)$~\cite{DoGa92}
744: \[
745: \tau_{EYM}(t)=\int^t \frac{N(t')}{a(t')} \, dt'.
746: \]
747: Clearly, the main difference with the ordinary EYM cosmology
748: relates to small values of~$a$. One can see that near the
749: singularity ($a\to 0$) the YM oscillations in the NBI case slow
750: down, while in the ordinary YM cosmology the frequency remains
751: constant in the conformal gauge $N=a$, or tends to infinity in
752: proper time gauge $N=1$. The behavior of the YM field for closed
753: and spatially flat models is illustrated
754: in Figs.(\ref{fig:clsol},\ref{fig:flsol}).
755:
756: When the solution starts from the metric singularity, the gauge
757: field function has the following series expansion (the metric
758: is supposed to satisfy the expansion (\ref{explam})).
759: \begin{equation}\label{wexp}
760: w=w_0+\frac{b_0\alpha}{6(k+b_0^2)} t^2+\left(\frac{g^2 b_0^2 w_0 (k-w_0^2)}
761: {9(k+b_0^2)^2}+ \frac{b_0\alpha (\lambda- 2 g) }{216 (k+b_0^2)}\right)
762: t^4+O(t^6), \quad t\to0,
763: \end{equation}
764: where $\alpha=\pm\sqrt{3(k+b_0^2)^2 - 4 g^2(k-w_0^2)^2}$,
765: $w_0$ is a free parameter (as well as the sign of~$\alpha$),
766: while~$b_0$ is a parameter from the expansion of the
767: metric~(\ref{explam}).
768:
769: \section{Discussion}
770:
771: In spite of considerable complications which the Born--Infeld
772: non-linearity introduces to the Einstein--Yang--Mills coupled
773: equations, the dynamics of the FRW NBI cosmology turned out to
774: be separable and admitting a rather complete analysis in terms
775: of the dynamical systems theory. This is due to the fact that the NBI
776: YM equation admits a first integral expressing the
777: variation of the energy density under
778: cosmological evolution. Thus one obtains a decoupled equation for
779: the scale factor both without or with the cosmological constant.
780: We have given a rather complete classification of possible
781: solutions for closed, spatially flat, and open universes in
782: these cases.
783:
784: One of the intriguing features associated with the NBI theory
785: is the possibility of a negative pressure. Namely, the
786: pressure is negative when the field energy density exceeds the
787: 'critical' BI energy density. This is still insufficient to
788: mimic an inflation, since the lowest value is only
789: $p=-\varepsilon/3$, which coincides with the equation of state
790: of the gas of Nambu-Goto strings in three spatial dimensions.
791: In the framework of the FRW cosmology, the equation of state of
792: the NBI YM field continuously interpolates from $p=-\varepsilon/3$
793: near the singularity to the `radiation' equation
794: $p=\varepsilon/3$ at large time. Correspondingly, the energy density is
795: evolving near the singularity according to the law~$a^{-2}$. The
796: FRW NBI universe starts with zero acceleration and achieves the
797: Tolman expansion regime, when the energy density is diluted
798: sufficiently to make the Born--Infeld non-linearity negligible.
799:
800: Once the scale factor evolution is determined, one is able to
801: find an analytic solution for the YM function is terms of
802: elliptic functions. Qualitatively the YM dynamics remains the
803: same as in the usual YM theory, though we have observed that
804: near the singularity the oscillations of the YM field are
805: damped.
806:
807: \section*{Acknowledgments}
808:
809: The work was supported in part by the Russian Foundation for
810: Basic Research under grant 00-02-16306.
811:
812: %\nocite{CeJa78}
813: %\bibliographystyle{hunsrt}
814: %\bibliography{EYM-NBI}
815:
816:
817: \begin{thebibliography}{10}
818:
819: \bibitem{GaBr00}
820: Ricardo Garcia-Salcedo and Nora Breton.
821: \newblock {B}orn--{I}nfeld cosmologies.
822: \newblock {\em Int. J. Mod. Phys.}, A15:4341--4354, 2000, gr-qc/0004017.
823:
824: \bibitem{Al90}
825: B.~L. Altshuler.
826: \newblock An alternative way to inflation and the posibility of anti-inflation.
827: \newblock {\em Class. Quant. Grav.}, 7:189--201, 1990.
828:
829: \bibitem{Vo01}
830: Dan~N. Vollick.
831: \newblock Anisotropic {B}orn--{I}nfeld cosmologies.
832: \newblock 2001, hep-th/0102187.
833:
834: \bibitem{CeJa78}
835: J~Cervero and L~Jacobs.
836: \newblock Classical {Y}ang--{M}ills fields in a {R}obertson--{W}alker universe.
837: \newblock {\em Phys. Lett.}, B 78:427--429, 1978.
838:
839: \bibitem{He82}
840: M.~Henneaux.
841: \newblock Remarks on space-time symmetries and nonabelian gauge fields.
842: \newblock {\em J. Math. Phys.}, 23:830, 1982.
843:
844: \bibitem{VeDa89}
845: Y.~Verbin and A.~Davidson.
846: \newblock Quantized nonabelian wormholes.
847: \newblock {\em Phys. Lett.}, B229:364, 1989.
848:
849: \bibitem{GaVo91}
850: D.~V. Gal'tsov and M.~S. Volkov.
851: \newblock Yang--{M}ills cosmology: {C}old matter for a hot universe.
852: \newblock {\em Phys. Lett.}, B256:17--21, 1991.
853:
854: \bibitem{GiSt94}
855: G.~W. Gibbons and Alan~R. Steif.
856: \newblock {Y}ang--{M}ills cosmologies and collapsing gravitational sphalerons.
857: \newblock {\em Phys. Lett.}, B320:245--252, 1994, hep-th/9311098.
858:
859: \bibitem{Vo94}
860: Mikhail~S. Volkov.
861: \newblock Einstein {Y}ang--{M}ills sphalerons and fermion number
862: nonconservation.
863: \newblock {\em Phys. Lett.}, B328:89--97, 1994, hep-th/9312005.
864:
865: \bibitem{Di94}
866: S.X. Ding.
867: \newblock Cosmological sphaleron with real tunneling and its fate.
868: \newblock {\em Phys. Rev.}, D50:3755--3759, 1994.
869:
870: \bibitem{Ha81}
871: T.~Hagiwara.
872: \newblock A nonabelian {B}orn--{I}nfeld lagrangian.
873: \newblock {\em J. Phys.}, A14:3059, 1981.
874:
875: \bibitem{Ts97}
876: A.~A. Tseytlin.
877: \newblock On non-abelian generalisation of the {B}orn--{I}nfeld action in
878: string theory.
879: \newblock {\em Nucl. Phys.}, B501:41--52, 1997, hep-th/9701125.
880:
881: \bibitem{Ts99}
882: A.~A. Tseytlin.
883: \newblock Born--{I}nfeld action, supersymmetry and string theory.
884: \newblock 1999, hep-th/9908105.
885:
886: \bibitem{Pa99}
887: Jeong-Hyuck Park.
888: \newblock A study of a non-{A}belian generalization of the {B}orn--{I}nfeld
889: action.
890: \newblock {\em Phys. Lett.}, B458:471, 1999, hep-th/9902081.
891:
892: \bibitem{HaTa97}
893: Akikazu Hashimoto and IV~Taylor, Washington.
894: \newblock Fluctuation spectra of tilted and intersecting {D}-branes from the
895: {B}orn--{I}nfeld action.
896: \newblock {\em Nucl. Phys.}, B503:193--219, 1997, hep-th/9703217.
897:
898: \bibitem{ReSaTe01}
899: Andrea Refolli, Alberto Santambrogio, Niccolo Terzi, and Daniela Zanon.
900: \newblock $f^5$ contributions to the nonabelian {B}orn--{I}nfeld action from a
901: supersymmetric {Y}ang--{M}ills five-point function.
902: \newblock {\em Nucl. Phys.}, B613:64--86, 2001, hep-th/0105277.
903:
904: \bibitem{Bi01}
905: Adel Bilal.
906: \newblock Higher-derivative corrections to the non-abelian {B}orn--{I}nfeld
907: action.
908: \newblock 2001, hep-th/0106062.
909:
910: \bibitem{Be01}
911: E.~A. Bergshoeff, A.~Bilal, M.~de~Roo, and A.~Sevrin.
912: \newblock Supersymmetric non-abelian {B}orn--{I}nfeld revisited.
913: \newblock {\em JHEP}, 07:029, 2001, hep-th/0105274.
914:
915: \bibitem{SeTrTr01}
916: Alexander Sevrin, Jan Troost, and Walter Troost.
917: \newblock The non-abelian {B}orn--{I}nfeld action at order $f^6$.
918: \newblock {\em Nucl. Phys.}, B603:389--412, 2001, hep-th/0101192.
919:
920: \bibitem{GaKe99}
921: Dmitri Gal'tsov and Richard Kerner.
922: \newblock Classical glueballs in non-{A}belian {B}orn--{I}nfeld theory.
923: \newblock {\em Phys. Rev. Lett.}, 84:5955--5958, 2000, hep-th/9910171.
924:
925: \bibitem{DyGa00}
926: V.~V. Dyadichev and D.~V. Gal'tsov.
927: \newblock Solitons and black holes in non-{A}belian
928: {E}instein--{B}orn--{I}nfeld theory.
929: \newblock {\em Phys. Lett.}, B486:431--442, 2000, hep-th/0005099.
930:
931: \bibitem{Wi77}
932: Edward Witten.
933: \newblock Some exact multipseudoparticle solutions of classical {Y}ang- {M}ills
934: theory.
935: \newblock {\em Phys. Rev. Lett.}, 38:121, 1977.
936:
937: \bibitem{DoGa92}
938: E.~E. Donets and D.~V. Galtsov.
939: \newblock Continuous family of {E}instein {Y}ang--{M}ills wormholes.
940: \newblock {\em Phys. Lett.}, B294:44--48, 1992, gr-qc/9209008.
941:
942:
943: \end{thebibliography}
944:
945: \newpage
946:
947: %#########################################################################
948: %%%%%%%%%%
949: \begin{figure}
950: \centering
951: \includegraphics[width=11cm]{c.ps}
952: \caption{Phase portrait of the dynamical system for the closed
953: NBI universe.} \label{fig:dynclsd}
954: \end{figure}
955:
956:
957:
958: %%%%%%%%%%
959: \begin{figure}
960: \centering
961: \includegraphics[width=11cm]{f.ps}
962: \caption{Phase portrait of the dynamical system for the
963: spatially flat NBI universe.} \label{fig:dynflat}
964: \end{figure}
965:
966:
967: %%%%%%%%%%
968: \begin{figure}
969: \centering
970: \includegraphics[width=11cm]{o.ps}
971: \caption{Phase portrait of the dynamical system for the open NBI
972: universe. Physical domain in this case is $-1<b<1$.}
973: \label{fig:dynopen}
974: \end{figure}
975:
976: %%%%%%%%%%%%%
977:
978: \begin{figure}
979: \centering
980: \includegraphics[width=11cm]{l1.ps}
981: \caption{Phase portrait of the dynamical
982: system~(\ref{dynsyslam}) for the closed NBI universe with a
983: cosmological constant $0<\lambda<2g$. Physical domains are
984: bounded by hyperbolas plotted in dashed line.}
985: \label{fig:dynlam1}
986: \end{figure}
987:
988:
989: \begin{figure}
990: \centering
991: \includegraphics[width=11cm]{l2.ps}
992: \caption{Phase portrait of the dynamical system~(\ref{dynsyslam})
993: for the closed NBI universe with a cosmological constant
994: $\lambda>2 g$.}
995: \label{fig:dynlam2}
996: \end{figure}
997:
998: %%%%%%%%%%%%%%%%%
999: \begin{figure}
1000: \centering
1001: \includegraphics[width=11cm]{sc.ps}
1002: \caption{Sample solution for the closed universe filled by the NBI YM field.
1003: Dotted line---gauge field function~$w$, solid line---metric function~$a$.
1004: The values of parameters are $g=\frac12$, $C=5$, $w_0=1.3$.}
1005: \label{fig:clsol}
1006: \end{figure}
1007:
1008: %%%%%%%%%%
1009: \begin{figure}
1010: \centering
1011: \includegraphics[width=11cm]{sf.ps}
1012: \caption{Sample solution for the spatially flat universe with NBI YM
1013: field. Dotted line---gauge field function~$w$, solid
1014: line---metric function~$a$. }
1015: \label{fig:flsol}
1016: \end{figure}
1017: \end{document}
1018: