eigenfunction
not defined yet