Lyapunov matrix equations with positive semidefinite input matrices

An algebraic criterion is derived, which establishes whether or not the negative-semidefinite first difference of a quadratic-form Lyapunov function for a linear constant-coefficient difference equation, or the derivative of such a function for a linear constant-coefficient differential equation, can vanish identically along any trajectory of the free motion.