It is well known that all rotating perfect fluid stars in general relativity are unstable to certain non-axisymmetric perturbations via the Chandrasekhar-Friedman-Schutz (CFS) instability. However, the mechanism of the CFS instability requires, in an essential way, the loss of angular momentum by gravitational radiation and, in many instances, it acts on too long a timescale to be physically/astrophysically relevant. It is therefore of interest to examine the stability of rotating, relativistic stars to axisymmetric perturbations, where the CFS instability does not occur. In this paper, we provide a Rayleigh-Ritz type variational principle for testing the stability of perfect fluid stars to axisymmetric perturbations, which generalizes to axisymmetric perturbations of rotating stars a variational principle given by Chandrasekhar for spherical perturbations of static, spherical stars. Our variational principle provides a lower bound to the rate of exponential growth in the case of instability. The derivation closely parallels the derivation of a recently obtained variational principle for analyzing the axisymmetric stability of black holes.

We consider perfect fluid bodies ("stars") in general relativity that are axisymmetric, asymptotically flat, and that admit a maximal hypersurface. We show that configurations that extremize the total entropy at fixed ADM mass, ADM angular momentum, and total particle number are stationary with circular flow. For such stars, this establishes that thermodynamic equilibrium implies dynamic equilibrium.

We consider perfect fluid bodies (stars) in general relativity, characterized by particle number density and entropy per particle. A star is said to be in dynamic equilibrium if it is a stationary, axisymmetric solution to the Einstein-fluid equations with circular flow. We prove that for a star in dynamic equilibrium, the necessary and sufficient condition for thermodynamic equilibrium (extremum of total entropy S) is constancy of angular velocity (\Omega), redshifted temperature, and redshifted chemical potential. Friedman previously identified positivity of canonical energy, E, as a criterion for dynamic stability and argued that all rotating stars are dynamically unstable to sufficiently nonaxisymmetric perturbations (the CFS instability), so our main focus is on axisymmetric stability. We show that for a star in dynamic equilibrium, mode stability holds with respect to all axisymmetric perturbations if E is positive on a certain subspace, V, of axisymmetric Lagrangian perturbations that, in particular, have no Lagrangian change in angular momentum density. Conversely, if E fails to be positive on V, then there exist perturbations that can't become asymptotically stationary at late times. We further show that for a star in thermodynamic equilibrium, the canonical energy in the rotating frame, E_r, is related to second order changes in ADM mass, M, and angular momentum, J, by E_r = \delta^2 M - \Omega \delta^2 J. Thus, positivity of E_r for perturbations with \delta J = 0 is a necessary condition for thermodynamic stability (local maximum of S). For axisymmetric perturbations we have E = E_r, so a necessary condition for thermodynamic stability with respect to axisymmetric perturbations is positivity of E on all perturbations with \delta J = 0, not merely on the perturbations in V. Many of our results are in close parallel to results of Hollands and Wald for the theory of black holes.

In the light of recent results relating dynamic and thermodynamic stability of relativistic stars and black holes, we re-examine the relationship between "turning points"---i.e., extrema of thermodynamic variables along a one-parameter family of solutions---and instabilities. We give a proof of Sorkin's general result---showing the existence of a thermodynamic instability on one side of a turning point---that does not rely on heuristic arguments involving infinite dimensional manifold structure. We use the turning point results to prove the existence of a dynamic instability of black rings in 5 spacetime dimensions in the region where $c_J > 0$, in agreement with a result of Figueras, Murata, and Reall.

General relativity has a Hamiltonian formulation, which formally provides a canonical (Liouville) measure on the space of solutions. In ordinary statistical physics, the Liouville measure is used to compute probabilities of macrostates, and it would seem natural to use the similar measure arising in general relativity to compute probabilities in cosmology, such as the probability that the universe underwent an era of inflation. Indeed, a number of authors have used the restriction of this measure to the space of homogeneous and isotropic universes with scalar field matter (minisuperspace)---namely, the Gibbons-Hawking-Stewart measure---to make arguments about the likelihood of inflation. We argue here that there are at least four major difficulties with using the measure of general relativity to make probability arguments in cosmology: (1) Equilibration does not occur on cosmological length scales. (2) Even in the minisuperspace case, the measure of phase space is infinite and the computation of probabilities depends very strongly on how the infinity is regulated. (3) The inhomogeneous degrees of freedom must be taken into account (we illustrate how) even if one is interested only in universes that are very nearly homogeneous. The measure depends upon how the infinite number of degrees of freedom are truncated, and how one defines "nearly homogeneous." (4) In a universe where the second law of thermodynamics holds, one cannot make use of our knowledge of the present state of the universe to "retrodict" the likelihood of past conditions.