eigenfunction expansions