are the normalized eigenfunctions, where