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

From MaRDI portal
Revision as of 22:13, 19 March 2024 by Openalex240319060354 (talk | contribs) (Set OpenAlex properties.)
scientific article
Language Label Description Also known as
English
Partial regularity and singular set of solutions to second order parabolic systems
scientific article

    Statements

    Partial regularity and singular set of solutions to second order parabolic systems (English)
    0 references
    0 references
    0 references
    0 references
    31 March 2008
    0 references
    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\).
    0 references
    nonlinear parabolic second order systems
    0 references
    partial regularity
    0 references
    singular sets
    0 references
    higher fractional differentiability
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references