The derivative of a functional