Eigenfunction construction for the Koopman operator