How is the principal eigenvalue of elliptic differential operator defined?
Is it just a spectral radius?