The spectrum of a selfadjoint, C°° linear elliptic partial differential operator on a compact manifold contains only isolated eigenvalues, each having finite multiplicity. It is sometimes the case that these multiplicities are unbounded; this is common in problems arising in applications because of the high degree of symmetry usually present. The main theorem shows that the property of having only simple eigenvalues is generic for operators obtained by varying the zeroth order part of a given

more »

... erator. The purpose of this article is to provide a proof of the following theorem. Main theorem. Let M be a compact, connected C°° manifold without boundary. Let L be a selfadjoint, C°" linear elliptic differential operator on M. The set \p £ C^iM): all eigenvalues of L + p are simple] is residual in C^iM). The term elliptic operator used in this article will always mean the operator is selfadjoint, C°° and linear. The main theorem can be summarized by saying that almost all elliptic operators obtained by varying the zeroth order part of a given operator have only simple eigenvalues. For terminology, see §1. The main theorem was first announced in [l] for second-order operators, and the proof is the one given in [2]; it uses perturbation theory. A proof using transversality theory, applicable to operators whose eigenfunctions satisfy the strong unique continuation property, has been obtained by K. Uhlenbeck [6]. The theorem is particularly useful in obtaining genericity results about the eigenfunctions (see [l] ,[2], [6]). 1. Notation; outline of proof. The manifold M and the operator L will be fixed throughout as in the theorem. For standard terminology on elliptic operators, see [3], [4].