Minimization of the k-th eigenvalue of the Dirichlet Laplacian

For every ${k in mathbb{N}}$ , we prove the existence of a quasi-open set minimizing the k-th eigenvalue of the Dirichlet Laplacian among all sets of prescribed Lebesgue measure. Moreover, we prove that every minimizer is bounded and has a finite perimeter. The key point is the observation that such quasi-open sets are shape subsolutions for an energy minimizing free boundary problem.