Partial regularity and singular set of solutions to second order parabolic systems (Q2480327)

The paper is devoted to the study of regularity properties of weak solutions to second order nonlinear parabolic systems of the type \[ u_t- \operatorname{div}A(Du)= 0 \tag{1} \] on \(Q_T = \Omega \times (-T,0)\), where \( T > 0, \Omega \) is a bounded domain in \(\mathbb R^n\), \(u : Q_T \to \mathbb R^N\) and \(A:\mathbb R^{nN} \to \mathbb R^N\) is a continuous vector field with linear growth. Under the assumption of monotonicity of \(A\) the authors prove higher fractional differentiability of a weak solution \[ u \in L^2(Q_T,\mathbb R^N)\cap C_{\text{loc}}(-T,0;L^2_{\text{loc}}(\Omega))\cap L^2_{\text{loc}}(-T,0; W^{1,2}(\Omega)) \] to (1), namely that \(Du \in W^{\alpha, \theta;2}_{\text{loc}}(Q_T; \mathbb R^N)\) for all \(\alpha \in (0,1)\), \(\theta \in (0, 1/3)\). To obtain partial regularity \(A\) is supposed to be continuously differentiable vector field and to satisfy uniform ellipticity condition. The main result then states that for any \(\beta \in (0,2/3)\) and any weak solution \[ u \in C_{\text{loc}}(-T,0;L^2_{\text{loc}}(\Omega))\cap L^2_{\text{loc}}(-T,0; W^{1,2}(\Omega)) \] to (1) the set \[ R_o= \{z\in Q_T;\;Du\in C^{\beta, \beta/2}(U;\mathbb R^{nN}) \text{ for a neighbourhood \(U\) of }z,\;U\subset\subset Q_T \} \] is an open subset of \(Q_T\) of full measure. Moreover, the singular set \[ S= Q_T \setminus R_o \subset \Sigma_1 \cup \Sigma_2 \] where \[ \begin{aligned} \Sigma_1 &= \bigg\{z \in Q_T; \liminf_{\rho \to 0}\int_{Q_{\rho}(z)}|Du(z) - (Du)_{z,\rho}|^2\,dz > 0\bigg\} \\ \Sigma_2 &= \Big\{z \in Q_T; \limsup_{\rho \to 0}|(Du)_{z,\rho}| = \infty\Big\} \end{aligned} \] and parabolic Hausdorff dimension of \(S\) is less or equal to \(n + 2/3\).