Statement

Suppose a solution satisfies the on [0,T)[0,T), and F(t)=∫0t∥f(r)∥2 drF(t)=\int_0^t\|f(r)\|_2\,dr is finite. Then

∥u(t)∥2≤∥u(0)∥2+F(t),\|u(t)\|_2\le\|u(0)\|_2+F(t),

and

∥u(t)∥22+2ν∫0t∥∇u(r)∥22 dr≤(∥u(0)∥2+F(t))2.\|u(t)\|_2^2+2\nu\int_0^t\|\nabla u(r)\|_2^2\,dr \le\bigl(\|u(0)\|_2+F(t)\bigr)^2.

If F(T)<∞F(T)<\infty, these give uniform energy and finite total dissipation up to the possibly excluded endpoint.

Regularizing a vanishing norm

Set Yδ(t)=(∥u(t)∥22+δ2)1/2Y_\delta(t)=(\|u(t)\|_2^2+\delta^2)^{1/2}. Drop dissipation in the differential identity and use Cauchy–Schwarz to obtain Yδ′≤∥f∥2Y_\delta'\le\|f\|_2. Integration and δ↓0\delta\downarrow0 prove the first bound. Insert it into the integrated energy identity: the work is at most ∫0tF′(r)(∥u(0)∥2+F(r)) dr\int_0^t F'(r)(\|u(0)\|_2+F(r))\,dr. This gives the squared bound. Monotone convergence handles total dissipation as t↑Tt\uparrow T, without assuming regularity at TT.