Koopman operator