Consider a densely defined unbounded operator $A_0:D(A_0)(\subset{H})\to H$ which has the following properties:
1- Symmetric, $\langle A_0x,y\rangle=\langle x,A_0y \rangle$
2- Positive, $\langle A_0x,x\rangle \ge0$
3- $A_0$ is surjective and $A_0^{-1}$ is a compact operator
I am wondering whether these are sufficient ground for saying that:
$A_0$ admits an infinite set of eigenvalues which are positive and strictly increasing; furthermore, the corresponding eigenfunctions form an orthonormal basis of $H$.