Spectral Properties of the Laplacian December 2, 2025 Overview harmonic function eigenfunctions self-adjoint + non-negative spectrum (not always) minmax principle