Gradient-flow dissipation identity (source code)

= Gradient-flow dissipation identity
{title2=$\frac{d}{dt}f(x(t))=-\|\nabla_gf\|^2$}

For the downward <gradient flow> $\dot x=-\nabla_gf$, the <chain rule> gives $d f(x(t))/dt=-\|\nabla_gf(x(t))\|_g^2$. Integrating converts a bound on the decrease of $f$ into a bound on elapsed time wherever its <Riemannian gradient> is bounded away from zero.