Partial regularity and singular set of solutions to second order parabolic systems (Q2480327): Difference between revisions

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\).