resolvent operator