Stable steady states in stellar dynamics

We prove the existence and nonlinear stability of steady states of the Vlasov-Poisson system in the stellar dynamics case. The steady states are obtained as minimizers of an energy-Casimir functional from which fact their dynamical stability is deduced. The analysis applies to some of the well-known polytropic steady states, but it also considerably extends the class of known steady states.