Llamemos formula_83 a estas autofunciones (que tomaremos ortonormales formula_84 ) asociadas al autovalor formula_85.