The area of stationary solutions of the Einstein equations coupled to field theoretic matter models has been active in recent years as a consequence of the discovery by Bartnik and McKinnon  of a discrete family of regular static spherically symmetric solutions of the Einstein-Yang-Mills equations with gauge group SU (2). The equations to be solved are ordinary differential equations and in  they were solved numerically by a shooting method. The first existence proof for a solution of this kind is due to Smoller, Wasserman, Yau and McLeod  and involves an arduous qualitative analysis of the differential equations. The work on the Bartnik-McKinnon solutions, including the existence theorems, has been extended in many directions. Recently static solutions of the Einstein-Yang-Mills equations which are not spherically symmetric were discovered numerically . It is a challenge to prove the existence of solutions of this kind. Now the ordinary differential equations of the previously known case are replaced by elliptic equations. Moreover, the solutions appear to still be discrete, so that a simple perturbation argument starting from the spherical case does not seem feasible. In another development it was shown that a linearized analysis indicates the existence of stationary non-static solutions . It would be desirable to study the question of linearization stability in this case, which, if the answer were favourable, would give an existence proof for solutions of this kind.
Now we return to phenomenological matter models, starting with the case of spherically symmetric static solutions. Basic existence theorems for this case have been proved for perfect fluids , collisionless matter ,  and elastic bodies . The last of these is the solution to an open problem posed in . All these theorems demonstrate the existence of solutions which are everywhere smooth and exist globally as functions of area radius for a general class of constitutive relations. The physically significant question of the finiteness of the mass of these configurations was only answered in these papers under restricted circumstances. For instance, in the case of perfect fluids and collisionless matter, solutions were constructed by perturbing about the Newtonian case. Solutions for an elastic body were obtained by perturbing about the case of isotropic pressure, which is equivalent to a fluid. Further progress on the question of the finiteness of the mass of the solutions was made in the case of a fluid by Makino , who gave a rather general criterion on the equation of state ensuring the finiteness of the radius. Makino's criterion was generalized to kinetic theory in . This resulted in existence proofs for various models which have been considered in galactic dynamics and which had previously been constructed numerically. (Cf. ,  for an account of these models in the non-relativistic and relativistic cases respectively.)
In the case of self-gravitating Newtonian spherically symmetric configurations of collisionless matter, it can be proved that the phase space density of particles depends only on the energy of the particle and the modulus of its angular momentum . This is known as Jeans' theorem. It was already shown in  that the naive generalization of this to the general relativistic case does not hold if a black hole is present. Recently counterexamples to the generalization of Jeans' theorem to the relativistic case which are not dependent on a black hole were constructed by Schaeffer . It remains to be seen whether there might be a natural modification of the formulation which would lead to a true statement.
For a perfect fluid there are results stating that a static solution is necessarily spherically symmetric . They still require a restriction on the equation of state which it would be desirable to remove. A similar result is not to be expected in the case of other matter models, although as yet no examples of non-spherical static solutions are available. In the Newtonian case examples have been constructed by Rein . (In that case static solutions are defined to be those where the particle current vanishes.) For a fluid there is an existence theorem for solutions which are stationary but not static (models for rotating stars) . At present there are no corresponding theorems for collisionless matter or elastic bodies. In  stationary, non-static configurations of collisionless matter were constructed in the Newtonian case.
For some remarks on the question of stability see section 4.1 .
|Local and Global Existence Theorems for the Einstein
Alan D. Rendall
© Max-Planck-Gesellschaft. ISSN 1433-8351
Problems/Comments to firstname.lastname@example.org