Resolvent operator