General eigenfuction expansions etc by Maurin