Statement

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

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

and

u(t)22+2ν0tu(r)22dr(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δf2Y_\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 tTt\uparrow T, without assuming regularity at TT.