Monotonic functions in Bianchi models: Why they exist and how to find them

All rigorous and detailed dynamical results in Bianchi cosmology rest upon the existence of a hierarchical structure of conserved quantities and monotonic functions. In this paper we uncover the underlying general mechanism and derive this hierarchical structure from the scale-automorphism group for an illustrative example, vacuum and diagonal class A perfect fluid models. First, kinematically, the scale-automorphism group leads to a reduced dynamical system that consists of a hierarchy of scale-automorphism invariant sets. Second, we show that, dynamically, the scale-automorphism group results in scale-automorphism invariant monotone functions and conserved quantities that restrict the flow of the reduced dynamical system.Comment: 26 pages, replaced to match published versio

Perfect fluids and generic spacelike singularities

We present the conformally 1+3 Hubble-normalized field equations together with the general total source equations, and then specialize to a source that consists of perfect fluids with general barotropic equations of state. Motivating, formulating, and assuming certain conjectures, we derive results about how the properties of fluids (equations of state, momenta, angular momenta) and generic spacelike singularities affect each other.Comment: Considerable changes have been made in presentation and arguments, resulting in sharper conclusion

Dynamics of Bianchi type I elastic spacetimes

We study the global dynamical behavior of spatially homogeneous solutions of the Einstein equations in Bianchi type I symmetry, where we use non-tilted elastic matter as an anisotropic matter model that naturally generalizes perfect fluids. Based on our dynamical systems formulation of the equations we are able to prove that (i) toward the future all solutions isotropize; (ii) toward the initial singularity all solutions display oscillatory behavior; solutions do not converge to Kasner solutions but oscillate between different Kasner states. This behavior is associated with energy condition violation as the singularity is approached.Comment: 28 pages, 11 figure

A new proof of the Bianchi type IX attractor theorem

We consider the dynamics towards the initial singularity of Bianchi type IX vacuum and orthogonal perfect fluid models with a linear equation of state. The `Bianchi type IX attractor theorem' states that the past asymptotic behavior of generic type IX solutions is governed by Bianchi type I and II vacuum states (Mixmaster attractor). We give a comparatively short and self-contained new proof of this theorem. The proof we give is interesting in itself, but more importantly it illustrates and emphasizes that type IX is special, and to some extent misleading when one considers the broader context of generic models without symmetries.Comment: 26 pages, 5 figure

A critical dimension for the stability of perfect fluid spheres of radiation

An analysis of radiating perfect fluid models with asymptotically AdS boundary conditions is presented. Such scenarios consist of a spherical gas of radiation (a "star") localised near the centre of the spacetime due to the confining nature of the AdS potential. We consider the variation of the total mass of the star as a function of the central density, and observe that for large enough dimensionality, the mass increases monotonically with the density. However in the lower dimensional cases, oscillations appear, indicating that the perfect fluid model of the star is becoming unrealistic. We find the critical dimension separating these two regimes to be eleven.Comment: 18 pages, 5 figures; v2 reference and footnote added; v3 slight reordering of content, new section added with further analysis; v4 Final version - small changes, including a new title, accepted for publication in CQ

Self-gravitating statinary spherically symmetric systems in relativistic galactic dynamics

We study equilibrium states in relativistic galactic dynamics which are described by solutions of the Einstein-Vlasov system for collisionless matter. We recast the equations into a regular three-dimensional system of autonomous first order ordinary differential equations on a bounded state space. Based on a dynamical systems analysis we derive new theorems that guarantee that the steady state solutions have finite radii and masses

On Static n-body Configurations in Relativity

The static n-body problem of General Relativity states that there are, under a reasonable energy condition, no static $n$-body configurations for $n > 1$, provided the configuration of the bodies satisfies a suitable separation condition. In this paper we solve this problem in the case that there exists a closed, noncompact, totally geodesic surface disjoint from the bodies. This covers the situation where the configuration has a reflection symmetry across a noncompact surface disjoint from the bodies.Comment: 10 pages; result generalized to allow for more than one asymptotically flat en

Spherically symmetric relativistic stellar structures

We investigate relativistic spherically symmetric static perfect fluid models in the framework of the theory of dynamical systems. The field equations are recast into a regular dynamical system on a 3-dimensional compact state space, thereby avoiding the non-regularity problems associated with the Tolman-Oppenheimer-Volkoff equation. The global picture of the solution space thus obtained is used to derive qualitative features and to prove theorems about mass-radius properties. The perfect fluids we discuss are described by barotropic equations of state that are asymptotically polytropic at low pressures and, for certain applications, asymptotically linear at high pressures. We employ dimensionless variables that are asymptotically homology invariant in the low pressure regime, and thus we generalize standard work on Newtonian polytropes to a relativistic setting and to a much larger class of equations of state. Our dynamical systems framework is particularly suited for numerical computations, as illustrated by several numerical examples, e.g., the ideal neutron gas and examples that involve phase transitions.Comment: 23 pages, 25 figures (compressed), LaTe

Spike Oscillations

According to Belinskii, Khalatnikov and Lifshitz (BKL), a generic spacelike singularity is characterized by asymptotic locality: Asymptotically, toward the singularity, each spatial point evolves independently from its neighbors, in an oscillatory manner that is represented by a sequence of Bianchi type I and II vacuum models. Recent investigations support a modified conjecture: The formation of spatial structures (`spikes') breaks asymptotic locality. The complete description of a generic spacelike singularity involves spike oscillations, which are described by sequences of Bianchi type I and certain inhomogeneous vacuum models. In this paper we describe how BKL and spike oscillations arise from concatenations of exact solutions in a Hubble-normalized state space setting, suggesting the existence of hidden symmetries and showing that the results of BKL are part of a greater picture.Comment: 38 pages, 14 figure