5d078cb5d33b7625.tex
1: \begin{proof}
2: The Marcinkievicz regularities follow from \cite{BlMu,BlP}. 
3: %We just point out that the test function below can be made rigorous in the renormalized setting multiplying by the function ${\theta_n(\cdot)}$ and taking advantage of the asymptotic condition \eqref{ET}.
4: 
5: As far as the continuity of $u(t)$ in $L^1(\Omega)$ is concerned, let $S'(u)\vp=\frac{T_\omega(G_k(u))}{\omega}$, $\vp=1$ and $\omega>0$, in \eqref{sr22}. Again, we note that such a test function can be made rigorous up to be multiplied by ${\theta_n}(G_k(u))$ and recalling the asymptotic condition \eqref{ET}.
6: Then the limit for $\omega\to 0$ provides us with the inequality
7: \begin{equation}\label{diss}
8: \integrale |G_k(u(t))|\,dx\le \integrale |G_k(u_0)|\,dx+\gamma\iint_{Q_T}|\N G_k(u)|^q\,dx\,dt.
9: \end{equation}
10: The gradient regularity in \eqref{mar} and \eqref{diss} imply that $\|G_k(u(t))\|_{L^1(\Omega)}\to 0$ when $k\to \infty$. Since we already know from \cite[Theorem $1.1$]{P1} that $T_k(u)\in C([0,T];L^1(\Omega))$ for every $k>0$, then
11: the Vitali-Lebesgue Theorem implies the continuity regularity $u\in C([0,T];L^1(\Omega))$.
12: \end{proof}