1:
2:
3: \chapter{The orthonormal frame formalism}\label{chap:off}
4:
5:
6: In this chapter we introduce the orthonormal frame formalism, which is
7: based on a 1+3 decomposition of spacetime.
8: Our goal is to apply the formalism to give a 1+1+2 decomposition of
9: spacetime, which provides the basis for our analysis of $G_2$ cosmologies.
10:
11: The orthonormal frame formalism was first introduced in cosmology by
12: Ellis 1967~\cite{art:Ellis1967} and subsequently developed by
13: Ellis \& MacCallum 1969~\cite{art:EllisMacCallum1969} and
14: MacCallum 1973~\cite{art:MacCallum1973}.
15: More recently, it was extended by
16: van Elst \& Uggla 1997~\cite{art:ElstUggla1997}.
17: Our standard references will be
18: MacCallum 1973~\cite{art:MacCallum1973}
19: and
20: van Elst \& Uggla 1997~\cite{art:ElstUggla1997}.
21:
22:
23:
24:
25: \section{1+3 decomposition}\label{sec:1+3}
26:
27:
28: In the orthonormal frame approach one does not use the metric
29: $\mathbf{g}$ directly (as done in the metric approach), but chooses at
30: each point of the spacetime manifold
31: $(\mathcal{M},\mathbf{g})$ a set of four linearly independent 1-forms
32: $\{\pmb{\omega}^a\}$ such that the line element can be locally expressed
33: as $ds^2 = \eta_{ab} \pmb{\omega}^a \pmb{\omega}^b$, where
34: $\eta_{ab}=\mathrm{diag}(-1,1,1,1)$. The corresponding vector fields
35: $\{\mathbf{e}_a\}$ are then mutually orthogonal and of unit length -- they
36: form an orthonormal basis, with $\mathbf{e}_0$ being timelike (and thus
37: defining a timelike congruence).
38:
39:
40: The gravitational field is described by the commutation functions
41: $\gamma^c_{\ ab}$ of the orthonormal frame, defined by
42: \begin{equation}
43: [ \mathbf{e}_a, \mathbf{e}_b ] = \gamma^c_{\ ab} \mathbf{e}_c.
44: \end{equation}
45: The first step is to perform a 1+3 decomposition of the commutation
46: functions as follows:%
47: \footnote{We follow the $\Omega_\alpha$ sign convention of
48: van Elst \& Uggla 1997~\cite[page 2676]{art:ElstUggla1997}.}
49: \begin{align}
50: \label{comm1}
51: [ \mathbf{e}_0, \mathbf{e}_\alpha ] &=
52: \dot{u}_\alpha \mathbf{e}_0 - \left[ H {\delta_\alpha}^\beta
53: +{\sigma_\alpha}^\beta - \epsilon_\alpha{}^{\beta\gamma}
54: (\omega_\gamma-\Omega_\gamma)\right] \mathbf{e}_\beta\ ,
55: \\
56: \label{comm2}
57: [ \mathbf{e}_\alpha, \mathbf{e}_\beta ] &=
58: -2{\epsilon_{\alpha\beta}}^{\mu}\omega_\mu \mathbf{e}_0 + \left[
59: \epsilon_{\alpha\beta\nu}n^{\mu\nu}
60: + a_\alpha {\delta_\beta}^\mu-a_\beta
61: {\delta_\alpha}^\mu \right] \mathbf{e}_\mu\ .
62: \end{align}
63: The variables
64: in (\ref{comm1}) and (\ref{comm2})
65: have physical or geometrical meanings, as follows.
66: The variable
67: $H$ is the Hubble scalar, $\sigma_{\alpha\beta}$ the rate of
68: shear tensor,
69: $\dot{u}_\alpha$ the acceleration vector, and $\omega_\alpha$ the
70: rate of
71: vorticity vector of the timelike congruence defined by $\mathbf{e}_0$,
72: while $\Omega_\alpha$ is the angular velocity of the spatial frame
73: $\{ \mathbf{e}_\alpha \}$
74: with respect to a nonrotating frame ($\Omega_\alpha=0$).
75: The variables $n_{\alpha\beta}$ and $a_\alpha$ have no direct
76: physical or geometrical meanings in general,
77: but if the fundamental timelike vector field $\mathbf{e}_0$ is
78: hypersurface-orthogonal,
79: then they directly determine the geometry of the spacelike 3-surfaces
80: orthogonal to $\mathbf{e}_0$
81: (see, for example WE, Section 1.6.3).
82: We shall thus refer to $n_{\alpha\beta}$ and $a_\alpha$ as the {\it
83: spatial curvature variables}.
84: Collectively, the variables above describe the gravitational field. We
85: shall refer to them as the
86: \emph{gravitational field variables}, and denote them
87: by the state vector
88: \begin{equation}
89: \X_{\rm grav} =
90: (H, \sigma_{\alpha\beta}, \dot{u}_\alpha, \omega_\alpha,
91: \Omega_\alpha, n_{\alpha\beta}, a_\alpha),
92: \label{117}
93: \end{equation}
94:
95:
96:
97: The matter content of a cosmological model is described by the
98: stress-energy tensor $T_{ab}$,
99: which is decomposed into irreducible parts
100: with respect to $\mathbf{e}_0$ in the following way
101: (let $\mathbf{e}_0=\mathbf{u}$ below):
102: \be
103: \label{pf_1}
104: T_{ab} = \mu u_a u_b + 2 q_{(a}u_{b)} + p h_{ab} + \pi_{ab},
105: \ee
106: where
107: \[
108: q_a u^a=0,\ \pi_{ab} u^b=0,\ \pi_a{}^a=0,\ \pi_{ab} = \pi_{ba},
109: \]
110: and $h_{ab} = g_{ab}+u_a u_b$ is the projection tensor which locally
111: projects into the 3-space orthogonal to $\mathbf{u}$.
112: Since we are using an orthonormal frame, we have $g_{ab} = \eta_{ab}$,
113: $u^a
114: = (1,0,0,0)$, and $q_0 = 0 =\pi_{0a}$.
115: The variables $(\mu, p,q_\alpha,\pi_{\alpha\beta})$ have physical
116: meanings:
117: $\mu$ is the energy density, $p$ is the (isotropic) pressure, $q_\alpha$
118: is the energy flux density and $\pi_{\alpha\beta}$ is the anisotropic
119: pressure (see, for example, van Elst \& Uggla 1997~\cite[page
120: 2677]{art:ElstUggla1997}).
121: We shall refer to these variables as the
122: \emph{matter variables}, and denote them
123: by the state vector
124: \be
125: \label{118}
126: \X_{\rm matter} =
127: (\mu, q_\alpha,p,\pi_{\alpha\beta}).
128: \ee
129:
130:
131:
132:
133:
134:
135: The dynamics of
136: % most of
137: the variables in (\ref{117}) and (\ref{118}) is
138: described by the EFEs, the Jacobi identities (using $\me_a$) and the
139: contracted Bianchi identities:
140: \begin{gather}
141: G_{ab} + \Lambda g_{ab} = T_{ab}\ ,
142: \\
143: \me_{[c} \gamma^d{}_{ab]} - \gamma^d{}_{e[c}\gamma^e{}_{ab]}=0\ ,
144: \\
145: \text{and}\qquad \nabla_b T_a{}^b =0\ ,\qquad\qquad
146: \end{gather}
147: respectively.
148: The evolution of $p$ and $\pi_{\alpha\beta}$ has to be
149: specified by giving an equation of state for the matter content (e.g.
150: perfect fluid).
151: The variables $\udot_\alpha$ and $\Omega_\alpha$ correspond to the
152: temporal and spatial gauge freedom respectively, and will be specified
153: later.
154:
155: Throughout this thesis we shall assume that
156: \emph{the fundamental congruence $\me_0$ has zero vorticity}
157: ($\omega_\alpha=0$), or equivalently that $\me_0$ is orthogonal to a
158: family of spacelike 3-surfaces.
159: We now list the system of evolution and constraint equations
160: (also see WE, page 33, but with the opposite sign
161: convention for $\Omega_\alpha$;
162: see van Elst \& Uggla 1997~\cite{art:ElstUggla1997} for the equations
163: with vorticity).
164: The angle bracket used in (\ref{evo_sigma}) and (\ref{3S})
165: denotes traceless symmetrization -- given
166: $V_{\alpha\beta}$, $V_{\la \alpha\beta \ra}$ is defined by
167: \be
168: V_{\la \alpha\beta \ra} = V_{(\alpha\beta)}
169: - \tfrac{1}{3} V_\gamma{}^\gamma \delta_{\alpha\beta}.
170: \ee
171:
172:
173: \noindent
174: \begin{minipage}{\textwidth}
175: \subsection*{The general orthonormal frame equations ($\omega_\alpha=0$)
176: \footnote{The letter $C$ denotes a constraint, and the subscript denotes
177: which one: Gauss, Codacci, vorticity and Jacobi.}
178: }
179:
180: \noindent
181: {\it Einstein field equations:}
182: \begin{align}
183: \label{evo_H}
184: \me_0 H &= -H^2
185: -\tfrac{1}{3}\sigma_{\alpha\beta}\sigma^{\alpha\beta}
186: +\tfrac{1}{3}(\me_\alpha
187: +\udot_\alpha -2a_\alpha)\udot^\alpha-\tfrac{1}{6}(\mu+3p)
188: +\tfrac{1}{3}\Lambda
189: \\
190: \me_0 (\sigma_{\alpha\beta}) &=
191: -3H \sigma_{\alpha\beta}
192: -2\epsilon^{\gamma\delta}{}_{(\alpha}\sigma_{\beta)\gamma}\Omega_\delta
193: -{}^3\!S_{\alpha\beta}+\pi_{\alpha\beta}
194: -\epsilon^{\gamma\delta}{}_{(\alpha}n_{\beta)\gamma}\udot_\delta
195: \notag\\
196: &\qquad
197: +(\me_{\la \alpha} + \udot_{\la \alpha} + a_{\la \alpha})
198: \udot_{\beta \ra}
199: \label{evo_sigma}
200: \\
201: \label{c_g}
202: 0 &= (C_{\rm G}) = 6H^2 + {}^3\!R
203: - \sigma_{\alpha\beta} \sigma^{\alpha\beta} -2\mu
204: -2\Lambda
205: \\
206: \label{c_c}
207: 0 &= (C_{\rm C})_\alpha =
208: -2\me_\alpha H + \me_\beta \sigma_\alpha{}^\beta
209: -3a_\beta \sigma_\alpha{}^\beta
210: -\epsilon_\alpha{}^{\beta\gamma}
211: n_{\beta\delta}\sigma_\gamma{}^\delta
212: + q_\alpha\ ,
213: \intertext{where ${}^3\!R$ and ${}^3\!S_{\alpha\beta}$ are the isotropic
214: and anisotropic spatial curvature, and are given by}
215: {}^3\!R &= 4\me_\alpha a^\alpha - 6 a_\alpha a^\alpha
216: % -\tfrac{1}{2} b_\alpha{}^\alpha
217: - n_{\alpha\beta} n^{\alpha\beta}
218: + \tfrac{1}{2}(n_\gamma{}^\gamma)^2
219: \\
220: \label{3S}
221: {}^3\!S_{\alpha\beta} &=
222: \me_{\la \alpha}a_{\beta\ra}
223: -(\me_\gamma -2a_\gamma)
224: n_{\delta(\alpha} \epsilon_{\beta)}{}^{\gamma\delta}
225: % + b_{\la \alpha \beta \ra}
226: + 2n_{\la\alpha}{}^\gamma n_{\beta\ra\gamma}
227: - n_\gamma{}^\gamma n_{\la\alpha\beta\ra}\ .
228: %
229: %\\
230: % b_{\alpha\beta} &=
231: % 2n_{\alpha}{}^\gamma n_{\gamma\beta}
232: % - n_\gamma{}^\gamma n_{\alpha\beta}\ .
233: \end{align}
234:
235: \noindent
236: {\it Jacobi identities:}
237: \begin{align}
238: \label{evo_n}
239: \me_0 (n_{\alpha\beta}) &=
240: -H n_{\alpha\beta} +2\sigma^\gamma{}_{(\alpha}n_{\beta)\gamma}
241: -2\epsilon^{\gamma\delta}{}_{(\alpha}n_{\beta)\gamma}\Omega_\delta
242: \notag\\
243: &\qquad
244: -(\me_\gamma+\udot_\gamma)
245: (\epsilon^{\gamma\delta}{}_{(\alpha}\sigma_{\beta)\delta}
246: -\delta^\gamma{}_{(\alpha}\Omega_{\beta)}
247: +\delta_{\alpha\beta}\Omega^\gamma )
248: \\
249: %\label{evo_a}
250: \me_0 (a_\alpha)
251: &= (- H {\delta_\alpha}^\beta -{\sigma_\alpha}^\beta -
252: \epsilon_\alpha{}^{\beta\gamma} \Omega_\gamma) a_\beta
253: \notag\\
254: &\qquad
255: -\tfrac{1}{2}(\me_\beta+\udot_\beta)
256: (2 H {\delta_\alpha}^\beta -{\sigma_\alpha}^\beta -
257: \epsilon_\alpha{}^{\beta\gamma} \Omega_\gamma)
258: \\
259: %\label{c_w}
260: 0 &= (C_{\omega})^\alpha =
261: [\epsilon^{\alpha\beta\gamma}(\me_\beta-a_\beta)
262: -n^{\alpha\gamma}]\udot_\gamma
263: \\
264: %\label{c_j}
265: 0 &= (C_{\rm J})_\alpha = \me_\beta(n_\alpha{}^\beta
266: +\epsilon_\alpha{}^{\beta\gamma}a_\gamma)
267: -2a_\beta n_\alpha{}^\beta\ .
268: \end{align}
269:
270: \noindent
271: {\it Contracted Bianchi identities:}
272: \begin{align}
273: %\label{evo_mu}
274: \me_0 (\mu) &= -3H(\mu+p) -\sigma_{\alpha\beta}\pi^{\alpha\beta}
275: -(\me_\alpha+2\udot_\alpha-2a_\alpha)q^\alpha
276: \\
277: \me_0 (q_\alpha) &=
278: (-4H \delta_\alpha{}^\beta - \sigma_\alpha{}^\beta
279: - \epsilon_\alpha{}^{\beta\gamma} \Omega_\gamma) q_\beta
280: % -4H q_\alpha - \sigma_\alpha{}^\beta q_\beta
281: % +\epsilon_\alpha{}^{\beta\gamma}\Omega_\beta q_\gamma
282: -(\mu+p)\udot_\alpha
283: -\me_\alpha p
284: \notag\\
285: &\qquad
286: -(\me_\beta+\udot_\beta-3a_\beta)\pi_\alpha{}^\beta
287: +\epsilon_\alpha{}^{\beta\gamma}n_{\beta\delta}\pi_\gamma{}^\delta
288: \ .
289: \label{evo_q}
290: \end{align}
291:
292: \begin{figure}[H]
293: \begin{center}
294: \setlength{\unitlength}{1mm}
295: \begin{picture}(120,0)(0,0)
296: %\put(-20,0){\framebox(160,180)[c]{}}
297: %\put(60,90){\oval(160,170)[t]}
298: \put(60,90){\oval(150,175)[t]}
299: \put(60,90){\oval(150,170)[b]}
300: \end{picture}
301: \end{center}
302: \end{figure}
303: \end{minipage}
304:
305:
306: \newpage
307:
308: \noindent
309: {\it Perfect fluid}
310: \vspace{3mm}
311:
312: This thesis focuses on cosmological models whose matter content includes a
313: perfect fluid, which we now introduce.
314: A \emph{perfect fluid} has a 4-velocity $\tilde{\mathbf{u}}$ which is not
315: necessarily aligned with the 4-velocity $\mathbf{e}_0=\mathbf{u}$ of our
316: fundamental observers. The stress-energy tensor $T_{ab}$ is
317: \be
318: T_{ab} = \tilde{\mu} \tilde{u}_a \tilde{u}_b + \tilde{p}
319: (g_{ab}+\tilde{u}_a \tilde{u}_b),\quad \tilde{u}_a \tilde{u}^a=-1.
320: \label{pf_11}
321: \ee
322: A \emph{perfect fluid with a linear barotropic equation of state}
323: specifies $\tilde{p}$:
324: \be
325: \label{eos}
326: \tilde{p} = \tilde{p}(\tilde{\mu}) = (\gamma-1)\tilde{\mu},
327: \ee
328: where $\gamma$ is a constant parameter.
329: The range
330: %
331: \be
332: \lb{gam}
333: 1 \leq \gam < 2
334: \ee
335: %
336: is of particular physical interest, since it ensures that the
337: perfect fluid satisfies the dominant and strong energy conditions
338: and the causality requirement that the speed of sound should be
339: less than that of light. The values $\gam = 1$ and $\gam =
340: \tfrac{4}{3}$ correspond to pressure-free matter (``dust'') and
341: radiation, respectively.
342: Since $\tilde{\mathbf{u}}$ and $\mathbf{u}$ are not necessarily aligned,
343: we write
344: \be
345: \label{pf_4}
346: \tilde{u}^a = \Gamma(u^a + v^a),
347: \ee
348: where
349: \[ u_\alpha=0,\quad
350: v_0=0,\quad \Gamma = (1-v^2)^{-\frac{1}{2}},\quad
351: v^2=v_\alpha v^\alpha.
352: \]
353: It follows from (\ref{pf_1}), (\ref{pf_11})--(\ref{pf_4}) that
354: $(\mu, p,q_\alpha,\pi_{\alpha\beta})$
355: are given by
356: \begin{gather}
357: \mu = \frac{G_+}{1-v^2} \tilde{\mu},
358: \\
359: p = \frac{(\gamma-1)(1-v^2)+\tfrac{1}{3}\gamma v^2}{G_+}\mu,\quad
360: q_\alpha = \frac{\gamma \mu}{G_+} v_\alpha,\quad
361: \pi_{\alpha\beta}
362: = \frac{\gamma \mu}{G_+} v_{\la \alpha} v_{\beta \ra},
363: \label{perfect_fluid}
364: \end{gather}
365: where $G_+ = 1 + (\gamma-1)v^2$.
366: The basic variables that we use are $\mu$ and $v^\alpha$.
367: The vector
368: $v^\alpha$ is called the \emph{tilt} of the fluid, and has three degrees
369: of freedom.
370:
371:
372:
373:
374:
375:
376: \newpage
377:
378: \noindent
379: {\it Weyl tensor}
380: \vspace{3mm}
381:
382: It is useful to keep track of the Weyl curvature tensor $C_{abcd}$,
383: decomposed with respect to $\mathbf{u}=\me_0$ according to (see WE, page
384: 19):
385: \[
386: E_{ac} = C_{abcd} u^b u^d,
387: \quad
388: H_{ac} = \tfrac{1}{2} \eta_{ab}{}^{st} C_{stcd} u^b u^d,
389: \]
390: and are given in terms of the gravitational and matter variables as
391: follows (See WE, page 35):
392: \begin{align}
393: \label{Weyl_E}
394: E_{\alpha\beta}
395: &= H \sigma_{\alpha\beta}
396: -(\sigma_\alpha{}^\gamma \sigma_{\gamma\beta}
397: -\tfrac{1}{3} \sigma_{\gamma\delta} \sigma^{\gamma\delta}
398: \delta_{\alpha\beta})
399: + {}^3\!S_{\alpha\beta}
400: - \tfrac{1}{2} \pi_{\alpha\beta}
401: \\
402: \label{Weyl_H}
403: H_{\alpha\beta}
404: &= (\me_\gamma-a_\gamma)
405: \sigma_{\delta(\alpha} \epsilon_{\beta)}{}^{\gamma\delta}
406: - 3 \sigma^\gamma{}_{(\alpha} n_{\beta)\gamma}
407: + n_{\gamma\delta} \sigma^{\gamma\delta} \delta_{\alpha\beta}
408: + \tfrac{1}{2} n_\gamma{}^\gamma \sigma_{\alpha\beta}\ .
409: \end{align}
410: %where
411: %$\sigma^2 = \tfrac{1}{2}\sigma_{\gamma\delta} \sigma^{\gamma\delta}$.
412:
413:
414:
415:
416:
417:
418:
419:
420:
421: \vspace{3mm}
422: \noindent
423: {\it Local coordinates}
424: \vspace{3mm}
425:
426: For quantitative analyses, we need to
427: express the differential operators $\me_0$ and $\me_\alpha$ as partial
428: differential operators in terms of $t$ and $x^i$.
429: \footnote{We reserve the indices $i,j,k$, running from 1 to 3, for the
430: local coordinate components with respect to $x^i$.}
431: The 1+3 decomposition for $\{\me_0,\me_\alpha\}$ is as follows:
432: \be
433: \label{ptl1}
434: \me_0=N^{-1} \partial_t\ ,\quad
435: \me_\alpha = M_\alpha \ptl_t + e_\alpha{}^i \partial_i\ .
436: \ee
437: The assumption that $\me_0$ is hypersurface-orthogonal allows us to set
438: \be
439: M_\alpha =0.
440: \ee
441: It follows that the 3-surfaces%
442: \footnote{For brevity we shall refer to these 3-surfaces as
443: ``slices".}
444: to which $\me_0$ is orthogonal are
445: given by
446: $t=const.$.
447: See
448: van Elst \& Uggla 1997~\cite[Section 2.7]{art:ElstUggla1997}
449: for details.
450: The variables
451: \be
452: \label{frame_coeff}
453: (N,\ e_\alpha{}^i)
454: \ee
455: are called the \emph{frame coefficients}.
456: When the commutators (\ref{comm1}) and (\ref{comm2}) act on $t$ and $x^i$,
457: they provide the equations that relate the frame coefficients to the
458: variables in (\ref{117}).
459:
460: \vspace{3mm}
461: \noindent
462: {\it Commutators acting on $t$ and $x^i$:}
463: \begin{align}
464: \label{evo_eai}
465: \me_0 (e_\alpha{}^i)
466: &= (- H {\delta_\alpha}^\beta -{\sigma_\alpha}^\beta -
467: \epsilon_\alpha{}^{\beta\gamma} \Omega_\gamma) e_\beta{}^i
468: \\
469: \label{c_udot}
470: 0 &= (C_{\udot})_\alpha = N^{-1} \me_\alpha(N) -\udot_\alpha
471: \\
472: %\label{c_com}
473: 0 &= (C_{\rm com})^i{}_{\alpha\beta} =
474: 2(\me_{[\alpha}-a_{[\alpha})e_{\beta]}{}^i
475: -\epsilon_{\alpha\beta\delta}n^{\gamma\delta}e_\gamma{}^i\ .
476: \end{align}
477: The frame coefficients are directly related to the metric
478: $\mathbf{g}$ through
479: \be
480: g^{00} = -N^{-2},\quad
481: g^{0i} = 0,\quad
482: g^{ij} = \delta^{\alpha\beta} e_\alpha{}^i e_\beta{}^j.
483: \ee
484: This ties the variables in (\ref{117}) to the metric.
485:
486:
487:
488:
489: All these equations give an autonomous system of first order PDEs
490: involving
491: temporal and spatial derivatives, and a set of constraint equations which
492: involve only spatial derivatives, for the variables (\ref{117}),
493: (\ref{118}) and (\ref{frame_coeff}).
494: The system is under-determined, however, since there are no evolution
495: equations for $N$, $\dot{u}_\alpha$, $\Omega_\alpha$, $p$ and
496: $\pi_{\alpha\beta}$.
497: A perfect fluid matter source
498: with linear barotropic equation of state
499: gives (\ref{perfect_fluid}),
500: while temporal and spatial gauges determine ($N$,$\dot{u}_\alpha$) and
501: $\Omega_\alpha$ respectively.
502:
503:
504:
505: The general orthonormal frame equations (\ref{evo_H})--(\ref{evo_q})
506: describe the dynamics of $G_0$ cosmologies.
507: They are also ideal for describing the dynamics of SH cosmologies of
508: Bianchi types VIII and IX, for which
509: the $t =const.$ slices are chosen to coincide with the $G_3$ group
510: orbits (and the orthonormal frame is chosen to be \emph{group-invariant}),
511: so that
512: \be
513: \label{SH}
514: \me_\alpha(\X_{\rm grav})=0,\quad
515: \me_\alpha(\X_{\rm matter})=0,\quad
516: \udot_\alpha=0.
517: \ee
518:
519:
520:
521:
522:
523:
524: \section{1+1+2 decomposition for $G_2$ cosmologies}\label{sec:1+1+2}
525:
526: By a $G_2$ cosmology, we mean a cosmological model which admits an Abelian
527: group $G_2$ of isometries whose orbits are spacelike 2-surfaces.
528: We derive the evolution and constraint equations for $G_2$ cosmologies
529: by specializing the
530: general orthonormal frame equations in the previous section.
531: We shall preserve the vorticity-free $\me_0$
532: while taking full advantage of the $G_2$
533: structure to simplify the equations, namely to make the variables depend
534: on $t$ and $x$ only.
535:
536:
537:
538: %\subsection{Group-invariant orbit-aligned frame}\label{subsec:GIAF}
539:
540: Let $\pmb{\xi}_1$, $\pmb{\xi}_2$ be two independent
541: Killing vector fields (KVFs) of the Abelian group of a $G_2$
542: cosmology.
543: First, we choose a \emph{group-invariant} orthonormal frame,
544: i.e.
545: \be
546: \label{group_inv}
547: [ \mathbf{e}_a, \pmb{\xi}_1 ]=\mathbf{0}
548: =[ \mathbf{e}_a, \pmb{\xi}_2 ].
549: \ee
550: Secondly, we also adapt the orthonormal frame $\{ \mathbf{e}_a \}$ so that
551: $\mathbf{e}_2$ and $\mathbf{e}_3$ are tangent to the $G_2$ orbits.
552: The existence of such a frame is established in the proof of Theorem 3.1
553: in Wainwright 1979~\cite{art:Wainwright1979} (see Hewitt
554: 1989~\cite[page 120]{thesis:Hewitt1989} for a more general theorem).
555: \begin{comment}
556: i.e.
557: \be
558: \label{23_tangent_G2}
559: \me_A = f_{1A} \pmb{\xi}_1 + f_{2A} \pmb{\xi}_2,\quad
560: \text{where}\quad \pmb{\xi}_B(f_{1A}) =0.
561: \ee
562: The 1+2 spatial decomposition of the commutators
563: (\ref{comm1})--(\ref{comm2}) give
564: \begin{align}
565: \label{commAB_1}
566: [ \mathbf{e}_0 , \mathbf{e}_1 ]
567: &=\ \dot{u}_1 \mathbf{e}_0
568: \ -\ (H+\sigma_{11}) \mathbf{e}_1
569: \ -\ (\sigma_1{}^B - \epsilon^{BC}(\omega_C-\Omega_C))
570: \me_B
571: \\
572: [ \mathbf{e}_0 , \me_A ]
573: &=\ \dot{u}_A \mathbf{e}_0
574: \ -\ (\sigma_{1A} + \epsilon_A{}^C(\omega_C-\Omega_C))
575: \me_1
576: \notag\\
577: &\qquad\qquad
578: \ -\ (H \delta_A{}^B-\sigma_A{}^B
579: -\epsilon_A{}^B(\omega_1 - \Omega_1)) \me_B
580: \\
581: \label{commAB_3}
582: [ \mathbf{e}_1 , \me_A ]
583: &=\ -2 \epsilon_A{}^B \omega_B \me_0
584: \ +\ (\epsilon_{AB} n^{1B} - a_A) \me_1
585: \notag\\
586: &\qquad\qquad\qquad
587: \ +\ (\epsilon_{AC} n^{BC} + a_1 \delta_A{}^B) \me_B
588: \\
589: \label{commAB_4}
590: [ \mathbf{e}_2 , \me_3 ]
591: &=\ -2 \omega_1 \me_0
592: \ +\ n_{11} \me_1
593: \ +\ (n^{1B} + a_2 \delta_3{}^B - a_3
594: \delta_2{}^B) \me_B
595: \end{align}
596: \end{comment}
597: \begin{comment}
598: \begin{alignat}{4}
599: \label{commAB_1}
600: [ \mathbf{e}_0 , \mathbf{e}_1 ]
601: &=&\ \dot{u}_1 \mathbf{e}_0
602: \ -\ && (H+\sigma_{11}) \mathbf{e}_1
603: \ -\ && (\sigma_1{}^B + \epsilon^{BC}(\omega_C-\Omega_C)) \me_B
604: \\
605: [ \mathbf{e}_0 , \me_A ]
606: &=&\ \dot{u}_A \mathbf{e}_0
607: \ -\ && (\sigma_{1A} + \epsilon_A{}^C(\omega_C-\Omega_C)) \me_1
608: \ -\ && (H \delta_A{}^B-\sigma_A{}^B
609: -\epsilon_A{}^B(\omega_1 - \Omega_1)) \me_B
610: \\
611: \label{commAB_3}
612: [ \mathbf{e}_1 , \me_A ]
613: &=&\ -2 \epsilon_A{}^B \omega_B \me_0
614: \ +\ && (\epsilon_{AB} n^{1B} - a_A) \me_1
615: \ +\ && (\epsilon_{AC} n^{BC} + a_1 \delta_A{}^B) \me_B
616: \\
617: \label{commAB_4}
618: [ \mathbf{e}_2 , \me_3 ]
619: &=&\ -2 \omega_1 \me_0
620: \ +\ && n_{11} \me_1
621: \ +\ && (n^{1B} + a_2 \delta_3{}^B - a_3
622: \delta_2{}^B) \me_B
623: \end{alignat}
624: \end{comment}
625: For a group-invariant orbit-aligned frame it follows
626: (Wainwright 1979~\cite{art:Wainwright1979})
627: that
628: \begin{gather}
629: \label{foo_1}
630: \mathbf{e}_A(\gamma^a{}_{bc})=0,
631: \\
632: \gamma^0{}_{0A} = \gamma^1{}_{0A}=0,\quad
633: \gamma^0{}_{1A} = \gamma^1{}_{1A}=0,\quad
634: \gamma^0{}_{23} = \gamma^1{}_{23}=0.
635: \label{foo_2}
636: \end{gather}
637: Recall that Latin indices run from 0 to 3; Greek indices
638: from 1 to 3; capital Latin indices run from 2 to 3.
639: % This alignment is key to making the variables depend on $t$ and $x$ only.
640: %The other compelling spatial gauge, the Fermi-propagated gauge, cannot
641: %accomplish this, unless $\sigma_{12}=0=\sigma_{13}$ (see~(\ref{eq:giab})
642: %below).
643: Writing (\ref{foo_2}) in terms of the irreducible
644: variables in (\ref{117}) gives
645: \begin{equation}
646: \dot{u}_A=0,\quad
647: % \Omega_2=-\sigma_{13},\quad
648: % \Omega_3=\sigma_{12},\quad
649: \Omega_A = - \epsilon_{AB} \sigma^{1B},\quad
650: \omega_\alpha=0,\quad
651: a_A=0,\quad
652: n_{1\alpha}=0.
653: \label{eq:giab}
654: \end{equation}
655: Note that $\Omega_A$ is now expressed in terms of $\sigma_{1A}$, and
656: $\epsilon_{AB}$ is the anti-symmetric permutation tensor
657: ($\epsilon_{23}=-\epsilon_{32}=1$).
658:
659:
660: For convenience we introduce the trace-free quantity
661: \be
662: \tilde{n}_{AB} = n_{AB} - \tfrac{1}{2} n_C{}^C \delta_{AB},
663: \ee
664: and its dual
665: \be
666: \lb{intro_dual}
667: {}^*\tilde{n}_{AB} = \epsilon_{AC}\tilde{n}_B{}^C,
668: \ee
669: and similarly for $\sigma_{AB}$, ${}^3\!S_{AB}$ and $\pi_{AB}$.
670: The resulting system involves the following variables:
671: \begin{gather}
672: \label{117_2}
673: \X_{\rm grav}=(H,\sigma_{11},\sigma_{1A},\tilde{\sigma}_{AB},
674: n_C{}^C,\tilde{n}_{AB},a_1,\udot_1,\Omega_1),
675: \\
676: \label{118_2}
677: \X_{\rm matter}=
678: (\mu,q_1,q_A,p,\pi_{11},\pi_{1A},\tilde{\pi}_{AB}).
679: \end{gather}
680:
681: \enlargethispage{\baselineskip}
682:
683: By performing a 1+2 spatial decomposition of
684: the general orthonormal frame equations in the previous section, we obtain
685: the following equations for $G_2$ cosmologies.%
686: \footnote{These equations generalize the system of equations in WE, pages
687: 48--49, which are valid for OT $G_2$ cosmologies.}
688: These equations arise in a fairly obvious way from the general orthonormal
689: frame equations (\ref{evo_H})--(\ref{evo_q}), with $\Omega_A$
690: replaced using (\ref{eq:giab}).
691:
692: \noindent
693: \begin{minipage}{\textwidth}
694: \subsection*{The 1+1+2 equations for $G_2$ cosmologies}
695:
696: \noindent
697: {\it Einstein field equations:}
698: \begin{align}
699: \label{AB_H}
700: \me_0 H &= -H^2
701: -\tfrac{1}{3}\sigma_{\alpha\beta}\sigma^{\alpha\beta}
702: +\tfrac{1}{3}(\me_1
703: +\udot_1 -2a_1)\udot_1-\tfrac{1}{6}(\mu+3p)
704: +\tfrac{1}{3}\Lambda
705: \\
706: \me_0 (\sigma_{11}) &=
707: -3H \sigma_{11} -2 \sigma_{1A} \sigma^{1A}
708: +\tfrac{2}{3}(\me_1+\udot_1+a_1)\udot_1
709: -{}^3\!S_{11}+\pi_{11}
710: \\
711: \label{evo_sigma_1A}
712: \me_0 (\sigma_{1A}) &=
713: -3(H-\tfrac{1}{2}\sigma_{11}) \sigma_{1A}
714: - (\tilde{\sigma}_{AB}
715: - \Omega_1 \epsilon_{AB})\sigma^{1B}
716: % -{}^3\!S_{1A}
717: +\pi_{1A}
718: \\
719: \me_0 (\tilde{\sigma}_{AB}) &=
720: -3H \tilde{\sigma}_{AB} + 2 \sigma_{1A} \sigma_{1B}
721: - \sigma_{1C} \sigma^{1C} \delta_{AB}
722: -2\Omega_1 {}^*\tilde{\sigma}_{AB}
723: - \udot_1 {}^*\tilde{n}_{AB}
724: \notag\\
725: &\qquad
726: -{}^3\!\tilde{S}_{AB}+\tilde{\pi}_{AB}
727: \label{evo_sigma_AB}
728: \\
729: %\label{c_g}
730: 0 &= (C_{\rm G}) = 6H^2 + {}^3\!R
731: - \sigma_{\alpha\beta} \sigma^{\alpha\beta} -2\mu
732: -2\Lambda
733: \\
734: \label{AB_c_c}
735: 0 &= (C_{\rm C})_1 =
736: -2\me_1( H - \tfrac{1}{2} \sigma_{11})
737: -3 a_1 \sigma_{11}
738: - {}^* \tilde{\sigma}_{AB} \tilde{n}^{AB} + q_1
739: \\
740: \label{c_c_A}
741: 0 &= (C_{\rm C})_A =
742: (\me_1 -3 a_1) \sigma_{1A}
743: - ({}^* \tilde{n}_{AB}
744: + \tfrac{1}{2} n_C{}^C \epsilon_{AB}) \sigma^{1B} + q_A\ ,
745: \intertext{where}
746: \sigma_{\alpha\beta}\sigma^{\alpha\beta} &=
747: \tfrac{3}{2} (\sigma_{11})^2 + 2 \sigma_{1A}\sigma^{1A}
748: + \tilde{\sigma}_{AB} \tilde{\sigma}^{AB}
749: \\
750: {}^3\!R &= 4\me_1 a_1 - 6 a_1^2
751: - \tilde{n}_{AB}\tilde{n}^{AB}
752: \\
753: {}^3\!S_{11} &=
754: \tfrac{2}{3} \me_1 a_1 -\tfrac{2}{3} \tilde{n}_{AB}\tilde{n}^{AB}
755: ,\qquad
756: {}^3\!S_{1A} = 0
757: \\
758: {}^3\!\tilde{S}_{AB} &=
759: (\me_1 -2a_1){}^*\tilde{n}_{AB} + n_C{}^C \tilde{n}_{AB}\ .
760: \end{align}
761:
762: \noindent
763: {\it Jacobi identities:}
764: \begin{align}
765: \label{evo_n_AA}
766: \me_0 (n_A{}^A) &=
767: (-H - \sigma_{11}) n_A{}^A
768: + 2 \tilde{\sigma}^{AB} \tilde{n}_{AB}
769: - 2 (\me_1 + \udot_1) \Omega_1
770: \\
771: \label{evo_n_AB}
772: \me_0 (\tilde{n}_{AB}) &=
773: (-H - \sigma_{11}) \tilde{n}_{AB}
774: + n_C{}^C \tilde{\sigma}_{AB}
775: - 2\Omega_1{}^*\tilde{n}_{AB}
776: +(\me_1 + \udot_1) {}^*\tilde{\sigma}_{AB}
777: \\
778: \label{evo_a_1}
779: \me_0 (a_1)
780: &= (-H - \sigma_{11}) a_1
781: -(\me_1+\udot_1)(H-\tfrac{1}{2}\sigma_{11})\ .
782: \end{align}
783:
784:
785:
786: \noindent
787: {\it Contracted Bianchi identities:}
788: \begin{align}
789: \label{evo_mu_AB}
790: \me_0 (\mu) &= -3H(\mu+p)
791: -\tfrac{3}{2}\sigma_{11} \pi_{11}
792: -2\sigma_{1A} \pi^{1A}
793: -\tilde{\sigma}_{AB} \tilde{\pi}^{AB}
794: \notag\\
795: &\qquad
796: -(\me_1+2\udot_1-2a_1)q_1
797: \\
798: \me_0 (q_1) &=
799: (-4H - \sigma_{11}) q_1 -2\sigma_{1A} q^A
800: -\me_1 p -(\mu+p)\udot_1
801: \notag\\
802: &\qquad
803: -(\me_1+\udot_1-3a_1)\pi_{11}
804: -{}^*\tilde{n}_{AB}\tilde{\pi}^{AB}
805: \label{evo_q1}
806: \\
807: \me_0 (q_A) &=
808: (-4H + \tfrac{1}{2} \sigma_{11}) q_A
809: - (\tilde{\sigma}_{AB}
810: + \Omega_1 \epsilon_{AB}) q^B
811: \notag\\
812: \label{evo_qA}
813: &\qquad
814: -(\me_1+\udot_1-3a_1)\pi_{1A}
815: + ({}^*\tilde{n}_{AB}
816: +\tfrac{1}{2}n_C{}^C \epsilon_{AB}) \pi^{1B}.
817: \end{align}
818:
819: \begin{figure}[H]
820: \begin{center}
821: \setlength{\unitlength}{1mm}
822: \begin{picture}(120,0)(0,0)
823: %\put(-20,0){\framebox(160,180)[c]{}}
824: \put(60,90){\oval(150,230)[t]}
825: \put(60,90){\oval(150,170)[b]}
826: \end{picture}
827: \end{center}
828: \end{figure}
829: \end{minipage}
830:
831:
832:
833: \newpage
834:
835: \noindent
836: {\it Perfect fluid}
837: \vspace{3mm}
838:
839: The 1+2 spatial decomposition of (\ref{perfect_fluid}) gives
840: \begin{gather}
841: p = \frac{(\gamma-1)(1-v^2)+\tfrac{1}{3}\gamma v^2}{G_+}\mu,\quad
842: q_1 = \frac{\gamma \mu}{G_+} v_1,\quad
843: q_A = \frac{\gamma \mu}{G_+} v_A,
844: \notag\\
845: \pi_{11} = \frac{\gamma \mu}{G_+} (v_1^2 -\tfrac{1}{3}v^2),\quad
846: \pi_{1A} = \frac{\gamma \mu}{G_+} v_1 v_A,
847: \notag\\
848: \tilde{\pi}_{AB} = \frac{\gamma \mu}{G_+}
849: (v_A v_B - \tfrac{1}{2} v_C v^C \delta_{AB})\ ,
850: \label{pf}
851: \end{gather}
852: where
853: \be
854: G_+ = 1 + (\gamma-1)v^2,\quad
855: v^2 = v_\alpha v^\alpha = v_1^2 + v_A v^A.
856: \ee
857:
858:
859:
860:
861: \vspace{3mm}
862: \noindent
863: {\it Weyl tensor}
864: \vspace{3mm}
865:
866: The 1+2 spatial decomposition of (\ref{Weyl_E})--(\ref{Weyl_H}) gives
867: \begin{align}
868: \label{Weyl_E11}
869: E_{11} &= H \sigma_{11}
870: - \tfrac{1}{2}\sigma_{11}{}^2 -\tfrac{1}{3} \sigma^{1A}\sigma_{1A}
871: + \tfrac{1}{3} \tilde{\sigma}_{AB} \tilde{\sigma}^{AB}
872: + {}^3\!S_{11} -\tfrac{1}{2}\pi_{11}
873: \\
874: E_{1A} &= H \sigma_{1A}
875: -(\tfrac{1}{2}\sigma_{11}\sigma_{1A}
876: + \sigma^{1B} \tilde{\sigma}_{AB})
877: - \tfrac{1}{2}\pi_{1A}
878: \\
879: \tilde{E}_{AB}
880: &= H \tilde{\sigma}_{AB}
881: - ( \sigma_{1A}\sigma_{1B}
882: -\tfrac{1}{2}\sigma_{1C}\sigma^{1C}\delta_{AB}
883: -\sigma_{11}\tilde{\sigma}_{AB})
884: + {}^3\!\tilde{S}_{AB} -\tfrac{1}{2}\tilde{\pi}_{AB}
885: \\
886: H_{11} &= \tilde{n}_{AB} \tilde{\sigma}^{AB}
887: \\
888: H_{1A} &= -\tfrac{1}{2}(\parb_1 - a_1)\sigma_{1B} \epsilon_A{}^B
889: -\tfrac{3}{2}\sigma^{1B}\tilde{n}_{AB}
890: -\tfrac{1}{4}n_C{}^C\sigma_{1A}
891: \\
892: \tilde{H}_{AB} &=
893: -(\parb_1 - a_1)\, {}^*\tilde{\sigma}_{AB}
894: - n_C{}^C \tilde{\sigma}_{AB}
895: + \tfrac{3}{2}\sigma_{11}\tilde{n}_{AB}\ .
896: \label{Weyl_HAB}
897: \end{align}
898:
899:
900:
901:
902:
903: \vspace{3mm}
904: \noindent
905: {\it Local coordinates}
906: \vspace{3mm}
907:
908:
909:
910: We choose the $x$-coordinate to be constant on the $G_2$
911: orbits.
912: The 1+1+2 coordinate decomposition of the frame coefficients
913: (\ref{frame_coeff})
914: is as follows:
915: \be
916: \me_0 = N^{-1} \ptl_t,\quad
917: \me_1 = e_1{}^1 \ptl_x + e_1{}^I \ptl_{x^I},\quad
918: \me_A = e_A{}^1 \ptl_x + e_A{}^I \ptl_{x^I}\ .
919: \footnote{We reserve the indices $I,J,K$, running from 2 to 3, for the
920: local coordinate components with respect to $y$ and $z$.}
921: \label{1+2_coord}
922: \ee
923: That $x$ is constant on the $G_2$ orbits means $\me_A(x)=0$, which implies
924: \be
925: e_A{}^1=0,
926: \label{eAI_0}
927: \ee
928: It follows from (\ref{foo_1}), (\ref{1+2_coord}) and (\ref{eAI_0}) that
929: \be
930: \label{yz_0}
931: \ptl_{x^I}(\X_{\rm grav})=0,\quad
932: \ptl_{x^I}(\X_{\rm matter})=0,
933: \ee
934: which implies that
935: in the evolution and constraint equations
936: the operator $\me_1$ is effectively
937: \be
938: \me_1 = e_1{}^1 \partial_x\ .
939: \ee
940: In conjunction with (\ref{eq:giab}),
941: %the commutator (\ref{commAB_1}) acting on $t$, $x$, and
942: %(\ref{commAB_1})--(\ref{commAB_3}) acting on $x^I$ give the following
943: the commutators (\ref{comm1}) and (\ref{comm2}) acting on $t$, $x$ and
944: $x^I$ give the following
945: equations for the remaining frame coefficients
946: \be
947: \label{119_2}
948: (N,e_1{}^1,e_1{}^I,e_A{}^I).
949: \ee
950:
951: \vspace{3mm}
952: \noindent
953: {\it Commutators acting on $t$, $x$ and $x^I$:}
954: \begin{align}
955: \label{c_udot1}
956: 0 &= (C_{\udot})_1 = N^{-1} \me_1(N) -\udot_1
957: \\
958: \label{evo_e11}
959: \me_0 (e_1{}^1)
960: &= (- H - \sigma_{11}) e_1{}^1
961: \\
962: \me_0 (e_1{}^I)
963: &= (-H - \sigma_{11}) e_1{}^I -2\sigma^{1A} e_A{}^I
964: \\
965: \me_0 (e_A{}^I)
966: &= -H e_A{}^I - \sigma_A{}^B e_B{}^I
967: - \Omega_1 \epsilon_A{}^B e_B{}^I
968: \\
969: \label{c_com1A}
970: 0 &= (C_{\rm com})^I{}_{1A} =
971: (\me_1 -a_1) e_A{}^I
972: - ({}^*\tilde{n}_A{}^B
973: +\tfrac{1}{2}n_C{}^C \epsilon_A{}^B) e_B{}^I.
974: \end{align}
975: Note that $e_1{}^I$ and $e_A{}^I$ \emph{decouple} from the
976: system (\ref{AB_H})--(\ref{evo_qA}).
977:
978: Equations (\ref{AB_H})--(\ref{evo_qA}), (\ref{c_udot1}) and
979: (\ref{evo_e11})
980: give a system of first order PDEs in $t$ and $x$ for the variables in
981: (\ref{117})--(\ref{118}) and the pair $(N,e_1{}^1)$.
982: The system is under-determined, however, since there are no evolution
983: equations for $N$, $\dot{u}_1$, $\Omega_1$, $p$ and
984: $\pi_{\alpha\beta}$.
985: A perfect fluid matter source
986: with linear barotropic equation of state
987: gives (\ref{pf}),
988: while temporal and spatial gauges determine ($N$,$\dot{u}_1$) and
989: $\Omega_1$ respectively.
990: These equations are used to analyze the dynamics of $G_2$ cosmologies and
991: of SH cosmologies whose $G_3$ group has an Abelian $G_2$ subgroup.
992:
993:
994: \section{Scale-invariant variables}\label{sec:invariant}
995:
996:
997: The variables in (\ref{117}), (\ref{118}) and (\ref{frame_coeff}) are
998: scale-dependent and dimensional, and are unsuitable for describing the
999: asymptotic behaviour of cosmological models near the initial singularity,
1000: since they typically diverge.
1001: It is thus essential to introduce scale-invariant (dimensionless)
1002: variables, which one hopes will be bounded as the initial singularity is
1003: approached.
1004: As a motivating example, consider an FL model, in which the matter density
1005: $\mu \rightarrow \infty$ at the initial singularity.
1006: One wants to introduce a corresponding scale-invariant, dimensionless
1007: density parameter $\Omega=\mu/(3H^2)$ such
1008: that $\Omega \rightarrow 1$.%
1009: \footnote{Although it is sufficient to require that $\Omega$ tends to a
1010: non-zero constant, it is customary to normalize $\mu$ such that
1011: $\Omega \rightarrow 1$.}
1012: Another example is the Kasner models, in which the shear
1013: $\sigma_{\alpha\beta}$ satisfies
1014: $\sigma^2 \equiv \tfrac{1}{2}\sigma_{\alpha\beta} \sigma^{\alpha\beta}
1015: \rightarrow \infty$ at the initial
1016: singularity.
1017: One wants to introduce a corresponding shear parameter
1018: $\Sigma_{\alpha\beta}= \sigma_{\alpha\beta}/H$ such that
1019: $\Sigma^2 \equiv \sigma^2/(3H^2) \rightarrow 1$.
1020: These examples motivate the use of the Hubble scalar $H$ as the
1021: normalizing factor.
1022:
1023:
1024:
1025:
1026:
1027: \subsection*{1+3 Hubble-normalized variables}
1028:
1029: We define the Hubble-normalized gravitational and matter variables
1030: respectively as follows:
1031: \begin{gather}
1032: \label{Hubble_1}
1033: (\Sigma_{\alpha\beta}, \Udot_\alpha, R_\alpha, N_{\alpha\beta},
1034: A_\alpha)
1035: = (\sigma_{\alpha\beta}, \udot_\alpha, \Omega_\alpha,
1036: n_{\alpha\beta}, a_\alpha)/H
1037: \\
1038: \label{Hubble_2}
1039: (\Omega, Q_\alpha, P, \Pi_{\alpha\beta},\Omega_\Lambda)
1040: = (\mu, q_\alpha, p, \pi_{\alpha\beta},\Lambda) / (3H^2)\ .
1041: \end{gather}
1042: The differential operators
1043: (\ref{ptl1}) and the frame coefficients (\ref{frame_coeff})
1044: are also redefined to be scale-invariant:
1045: \begin{gather}
1046: \label{Hubble_3}
1047: \parb_0 = \frac{1}{H} \me_0,\quad
1048: \parb_\alpha = \frac{1}{H} \me_\alpha,
1049: \\
1050: \mathcal{N} = N H,\quad
1051: E_\alpha{}^i = \frac{e_\alpha{}^i}{H},
1052: \label{Hubble_3b}
1053: \end{gather}
1054: since the frame variables have the same dimension as $H$.
1055: In order to transform the evolution and constraint equations,
1056: it is necessary to introduce the
1057: \emph{deceleration parameter} $q$ and the
1058: \emph{Hubble gradient} $r_\alpha$ according to
1059: \begin{align}
1060: \label{def_q}
1061: q+1 &= - \frac{\parb_0 H}{H}
1062: \\
1063: \label{def_r}
1064: r_\alpha &= - \frac{\parb_\alpha H}{H}\ .
1065: \end{align}
1066: In order to transform the equations, it is convenient to use the following
1067: identities.
1068: For the gravitational field variables $\X_{\rm grav}$ in (\ref{117}),
1069: which have the same dimension as $H$, we use the identities
1070: \begin{align}
1071: \frac{1}{H^2} \me_0 \X_{\rm grav}
1072: &=
1073: [ \parb_0 - (q+1) ] \left( \frac{\X_{\rm grav}}{H} \right)
1074: \\
1075: \frac{1}{H^2} \me_\alpha \X_{\rm grav}
1076: &=
1077: [ \parb_\alpha - r_\alpha ] \left( \frac{\X_{\rm grav}}{H} \right),
1078: \end{align}
1079: which follow from (\ref{Hubble_1}), (\ref{Hubble_3})--(\ref{def_r}).
1080: Similarly, for the matter variables $\X_{\rm matter}$ in (\ref{118}),
1081: which have the dimension $[H^2]$, we use the identities
1082: \begin{align}
1083: \frac{1}{3H^3} \me_0 \X_{\rm matter}
1084: &=
1085: [ \parb_0 - 2(q+1) ] \left( \frac{\X_{\rm matter}}{3H^2} \right)
1086: \\
1087: \frac{1}{3H^3} \me_\alpha \X_{\rm matter}
1088: &=
1089: [ \parb_\alpha - 2r_\alpha ] \left( \frac{\X_{\rm matter}}{3H^2}
1090: \right).
1091: \end{align}
1092: Then equation (\ref{evo_H}) for $\parb_0 H$ decouples, and through
1093: (\ref{def_q}) gives the following expression for $q$:
1094: \be
1095: \label{q_exp}
1096: q = \tfrac{1}{3} \Sigma_{\alpha\beta} \Sigma^{\alpha\beta}
1097: + \tfrac{1}{2}(\Omega+3P) - \Oml
1098: -\tfrac{1}{3}(\parb_\alpha
1099: -r_\alpha+\Udot_\alpha-2A_\alpha)\Udot^\alpha,
1100: \ee
1101: i.e. $q$ is expressed in terms of the Hubble-normalized variables
1102: (\ref{Hubble_1}) and (\ref{Hubble_2}).
1103:
1104:
1105: Equations (\ref{perfect_fluid}) in Hubble-normalized form are
1106: \be
1107: \label{G0_perfect_fluid}
1108: P = \frac{(\gamma-1)(1-v^2)+\tfrac{1}{3}\gamma v^2}{G_+}\Omega,\quad
1109: Q_\alpha = \frac{\gamma \Omega}{G_+} v_\alpha,\quad
1110: \Pi_{\alpha\beta}
1111: = \frac{\gamma \Omega}{G_+} v_{\la \alpha} v_{\beta \ra}\ .
1112: \ee
1113:
1114:
1115:
1116: The spatial curvature variables ${}^3\!R$ and ${}^3\!S_{\alpha\beta}$
1117: are normalized according to
1118: \be
1119: \Om_k = - \frac{{}^3\!R}{6H^2}\ ,\quad
1120: \mathcal{S}_{\alpha\beta} = \frac{{}^3\!S_{\alpha\beta}}{3H^2}\ .
1121: \ee
1122: The Weyl curvature variables $E_{\alpha\beta}$ and $H_{\alpha\beta}$
1123: are normalized according to
1124: \be
1125: \label{Weyl_Hubble}
1126: (\mathcal{E}_{\alpha\beta} , \mathcal{H}_{\alpha\beta})
1127: = (E_{\alpha\beta},H_{\alpha\beta})/(3H^2).
1128: \ee
1129:
1130: The commutators (\ref{comm1})--(\ref{comm2}) in Hubble-normalized form are
1131: \begin{align}
1132: \label{Comm1}
1133: [ \parb_0, \parb_\alpha ] &=
1134: (\dot{U}_\alpha-r_\alpha) \parb_0
1135: - \left( -q {\delta_\alpha}^\beta
1136: +{\Sigma_\alpha}^\beta + \epsilon_\alpha{}^{\beta\gamma}
1137: R_\gamma \right) \parb_\beta\ ,
1138: \\
1139: \label{Comm2}
1140: [ \parb_\alpha, \parb_\beta ] &=
1141: \left[ \epsilon_{\alpha\beta\nu}N^{\mu\nu}
1142: + (A_\alpha+r_\alpha) {\delta_\beta}^\mu-(A_\beta+r_\beta)
1143: {\delta_\alpha}^\mu \right] \parb_\mu\ .
1144: \end{align}
1145:
1146: The 1+3 Hubble-normalized variables and equations are well-suited for
1147: analyzing $G_0$ cosmologies.
1148: They are also well-suited for SH cosmologies of types VIII and IX, in
1149: which (\ref{SH}) implies
1150: \be
1151: \label{Hubble_last}
1152: \parb_\alpha(\X_{\rm grav}/H)=0,\quad
1153: \parb_\alpha(\X_{\rm matter}/(3H^2) )=0,\quad
1154: \Udot_\alpha=0,\quad r_\alpha=0.
1155: \ee
1156: It then follows from (\ref{c_udot}) and
1157: (\ref{Hubble_3})--(\ref{Hubble_3b}) that
1158: we can set
1159: \be
1160: \label{SH_N_1}
1161: \mathcal{N}=1,\quad\text{so that}\quad \parb_0 = \ptl_t\ .
1162: \ee
1163:
1164:
1165: \subsection*{1+1+2 Hubble-normalized variables for
1166: $G_2$-compatible SH cosmologies}
1167:
1168: For $G_2$-compatible SH cosmologies, we define the Hubble-normalized 1+1+2
1169: decomposed gravitational and matter variables as follows:
1170: \begin{gather}
1171: \label{1+1+2_1}
1172: (\Sigma_{11},\Sigma_{1A},\tilde{\Sigma}_{AB},R,
1173: N_C{}^C,\tilde{N}_{AB},A)
1174: =(\sigma_{11},\sigma_{1A},\tilde{\sigma}_{AB},\Omega_1,
1175: n_C{}^C,\tilde{n}_{AB},a_1)/H
1176: \\
1177: (\Omega,Q_1,Q_A,P,\Pi_{11},\Pi_{1A},\tilde{\Pi}_{AB},
1178: \Omega_\Lambda) =
1179: (\mu,q_1,q_A,p,\pi_{11},\pi_{1A},\tilde{\pi}_{AB},\Lambda) / (3H^2).
1180: \label{1+1+2_2}
1181: \end{gather}
1182: Equivalently, one can view this as the 1+1+2 decomposed version of
1183: the 1+3 Hubble-normalized variables in (\ref{Hubble_1})--(\ref{Hubble_2}).
1184: Equations (\ref{Hubble_3})--(\ref{Hubble_last}) are similarly decomposed.
1185:
1186:
1187:
1188:
1189: \subsection*{1+1+2 $\beta$-normalized variables for
1190: $G_2$ cosmologies}
1191:
1192: For $G_2$ cosmologies,
1193: the area expansion of the $G_2$ orbits is described by
1194: \be
1195: \Theta_{AB} \equiv H \delta_{AB} + \sigma_{AB}.
1196: \ee
1197: The average expansion rate of the $G_2$ orbits is described by
1198: \be
1199: \label{H_beta_off}
1200: \beta \equiv \tfrac{1}{2} \Theta_C{}^C = H - \tfrac{1}{2} \sigma_{11}.
1201: \ee
1202: It turns out that there are some advantages in using $\beta$
1203: instead of $H$ as the normalizing factor
1204: (see van Elst \etal 2002~\cite{art:vEUW2002}).
1205: We define the $\beta$-normalized variables as follows:
1206: \begin{gather}
1207: (\Sigma_{11},\Sigma_{1A},\tilde{\Sigma}_{AB},\Udot,R,
1208: N_C{}^C,\tilde{N}_{AB},A)
1209: =(\sigma_{11},\sigma_{1A},\tilde{\sigma}_{AB},\udot_1,\Omega_1,
1210: n_C{}^C,\tilde{n}_{AB},a_1)/\beta
1211: \\
1212: (\Omega,Q_1,Q_A,P,\Pi_{11},\Pi_{1A},\tilde{\Pi}_{AB},
1213: \Omega_\Lambda) =
1214: (\mu,q_1,q_A,p,\pi_{11},\pi_{1A},\tilde{\pi}_{AB},\Lambda) / (3\beta^2).
1215: \end{gather}
1216: The differential operators are likewise normalized as follows:
1217: \begin{gather}
1218: \parb_0 = \frac{1}{\beta} \me_0,\quad
1219: \parb_1 = \frac{1}{\beta} \me_1,
1220: \\
1221: \mathcal{N} = N \beta,\quad
1222: \EEE = \frac{e_1{}^1}{\beta},
1223: \label{N_beta}
1224: \end{gather}
1225: We define the analogous
1226: deceleration parameter $q$, and the $\beta$ gradient $r$ according to
1227: \be
1228: \label{q_r_beta}
1229: q+1 = - \frac{\parb_0 \beta}{\beta},\quad
1230: r = - \frac{\parb_1 \beta}{\beta}\ .
1231: \ee
1232: The equations are similarly transformed using the following identities:
1233: \begin{align}
1234: \frac{1}{\beta^2} \me_0 \X_{\rm grav}
1235: &=
1236: [ \parb_0 - (q+1) ] \left( \frac{\X_{\rm grav}}{\beta} \right)
1237: \\
1238: \frac{1}{\beta^2} \me_1 \X_{\rm grav}
1239: &=
1240: [ \parb_1 - r ] \left( \frac{\X_{\rm grav}}{\beta}
1241: \right)
1242: \\
1243: \frac{1}{3\beta^3} \me_0 \X_{\rm matter}
1244: &=
1245: [ \parb_0 - 2(q+1) ] \left( \frac{\X_{\rm matter}}{3\beta^2}
1246: \right)
1247: \\
1248: \frac{1}{3\beta^3} \me_1 \X_{\rm matter}
1249: &=
1250: [ \parb_1 - 2r ] \left( \frac{\X_{\rm
1251: matter}}{3\beta^2}\right).
1252: \end{align}
1253: Consider the evolution equation for $\beta$, in which $\me_1 a_1$ is
1254: replaced using $(C_{\rm G})$:
1255: \begin{multline}
1256: \me_0 \beta
1257: = -\tfrac{3}{2}\beta^2
1258: +\tfrac{1}{2}\sigma_{1A}\sigma^{1A}
1259: -\tfrac{1}{4}(\tilde{\sigma}_{AB} \tilde{\sigma}^{AB}
1260: + \tilde{n}_{AB} \tilde{n}^{AB})
1261: +\tfrac{1}{2}a_1^2 - a_1 \udot_1
1262: \\
1263: -\tfrac{1}{2}(p+\pi_{11}) + \tfrac{1}{2}\Lambda.
1264: \label{beta_evo}
1265: \end{multline}
1266: This defines the corresponding area deceleration parameter $q$:
1267: \begin{multline}
1268: \label{beta_q}
1269: q = \tfrac{1}{2} - \tfrac{1}{2}\Sigma_{1A}\Sigma^{1A}
1270: +\tfrac{1}{4}(\tilde{\Sigma}_{AB} \tilde{\Sigma}^{AB}
1271: + \tilde{N}_{AB} \tilde{N}^{AB})
1272: -\tfrac{1}{2}A^2 + A \Udot
1273: \\
1274: +\tfrac{3}{2}(P+\Pi_{11}) - \tfrac{3}{2}\Oml.
1275: \end{multline}
1276: The evolution equation for $\beta$ decouples from the main system.
1277: The $(C_{\rm C})_1$ constraint (\ref{AB_c_c}) can be solved for $r$:
1278: \be
1279: \label{beta_r}
1280: r = \tfrac{3}{2} ( A \Sigma_{11}
1281: + {}^* \tilde{\Sigma}_{AB} \tilde{N}^{AB} - Q_1 ).
1282: \ee
1283:
1284: The spatial curvature variables ${}^3\!R$,
1285: ${}^3\!S_{11}$
1286: and ${}^3\!S_{AB}$
1287: are normalized according to
1288: \be
1289: \Om_k = - \frac{{}^3\!R}{6\beta^2}\ ,\quad
1290: \mathcal{S}_{11} =
1291: \frac{{}^3\!S_{11}}{3\beta^2}\ ,\quad
1292: \mathcal{S}_{AB} =
1293: \frac{{}^3\!S_{AB}}{3\beta^2}\ .
1294: \ee
1295: The Weyl curvature variables
1296: are normalized according to
1297: \be
1298: \label{Weyl_beta}
1299: (\mathcal{E}_{11},
1300: \mathcal{E}_{1A},
1301: \tilde{\mathcal{E}}_{AB},
1302: \mathcal{H}_{11},
1303: \mathcal{H}_{1A},
1304: \tilde{\mathcal{H}}_{AB})
1305: =
1306: (E_{11},E_{1A},\tilde{E}_{AB},
1307: H_{11},H_{1A},\tilde{H}_{AB})/(3\beta^2).
1308: \ee
1309:
1310:
1311: %Scale-invariant variables will be used in this thesis.
1312:
1313: % beta advantage: q is algebraic. FOSH for timelike area gauge.
1314:
1315: The commutator $[\parb_0,\parb_1]$ is given by
1316: \be
1317: \label{dzdi}
1318: [\parb_0,\parb_1]
1319: = (\Udot-r)\parb_0 + (q-\tfrac{3}{2}\Sigma_{11}) \parb_1
1320: -2\Sigma_1{}^A \parb_A\ .
1321: \ee
1322: