Expansions in generalized eigenfunctions of selfadjoint operators (Q1113068)

A short proof of the existence of an expansion in generalized eigenfunctions of selfadjoint operators in Hilbert spaces is given. Using the existence of an ordered spectral representation the generalized eigenfunctions are given as kernels of suitable Hilbert-Schmidt operators, which in special cases may be constructed from the resolvent and the spectral representation. A result on the regularity of the generalized eigenfunctions as well as first applications to Schrödinger operators are included.