Let V(t)=⟨KX(t),X(t)⟩, so V(t)≥0 for all t≥0, and use the differential equation to find
Hence V(t) is decreasing on (0,∞). Since K is positive definite, the eigenvalues of K are κ1≥κ2≥…≥κn, where κn>0; so by W3.3
and so ∥X(t)∥≤(⟨KX0,X0⟩/κn)1/2 for all t≥0.