this is just the spectral theorem for compact self adjoint operators may i suggest request adding examples of applications to pde to better justify a stand alone page