In the static, spherically symmetric case, the problem can be formulated as follows. Let the spacetime metric have the form
where . As before, asymptotic flatness is expressed by the boundary conditions
and a regular centre requires
Following the notation in section 2.1, the time-independent Einstein-Vlasov system reads
The matter quantities are defined as before:
are conserved along characteristics. E is the particle energy and L is the angular momentum squared. If we let
for some function , the Vlasov equation is automatically satisfied. The form of is usually restricted to
where l >-1/2 and . If , for some positive constant , this is called the polytropic ansatz. The case of isotropic pressure is obtained by letting l =0 so that only depends on E . We refer to  for information on the role of .
In passing, we mention that for the Vlasov-Poisson system it has been shown  that every static spherically symmetric solution must have the form . This is referred to as Jeans' theorem. It was an open question for some time to decide whether or not this was also true for the Einstein-Vlasov system. This was settled in 1999 by Schaeffer , who found solutions that do not have this particular form globally on phase space, and consequently, Jeans' theorem is not valid in the relativistic case. However, almost all results in this field rest on this ansatz. By inserting the ansatz for f in the matter quantities and p, a nonlinear system for and is obtained, in which
Existence of solutions to this system was first proved in the case of isotropic pressure in  and then extended to the general case in . The main problem is then to show that the resulting solutions have finite (ADM) mass and compact support. This is accomplished in  for a polytropic ansatz with isotropic pressure and in  for a polytropic ansatz with possible anisotropic pressure. They use a perturbation argument based on the fact that the Vlasov-Poisson system is the limit of the Einstein-Vlasov system as the speed of light tends to infinity . Two types of solutions are constructed, those with a regular centre [64, 57], and those with a Schwarzschild singularity in the centre . In  Rendall and Rein go beyond the polytropic ansatz and assume that satisfies
where . They show that this assumption is sufficient for obtaining steady states with finite mass and compact support. The result is obtained in a more direct way and is not based on the perturbation argument mentioned above. Their method is inspired by a work on stellar models by Makino , in which he considers steady states of the Euler-Einstein system. In  there is also an interesting discussion about steady states that appear in the astrophysics literature. They show that their result applies to most of these steady states, which proves that they have the desirable property of finite mass and compact support.
All solutions described so far have the property that the support of contains a ball about the centre. In  Rein shows that there exist steady states whose support is a finite, spherically symmetric shell, so that they have a vacuum region in the centre.
At present, there are almost no known results concerning the stability properties of the steady states to the Einstein-Vlasov system. In the Vlasov-Poisson case, however, the nonlinear stability of stationary solutions has been investigated by Guo and Rein  using the energy-Casimir method. In the Einstein-Vlasov case, Wolansky  has applied the energy-Casimir method and obtained some insights, but the theory in this case is much less developed than in the Vlasov-Poisson case and the stability problem is essentially open.
|The Einstein-Vlasov System/Kinetic Theory
© Max-Planck-Gesellschaft. ISSN 1433-8351
Problems/Comments to firstname.lastname@example.org