Table of Contents
Fetching ...

Partial regularity for parabolic systems of double phase type

Jihoon Ok, Giovanni Scilla, Bianca Stroffolini

TL;DR

This work addresses partial regularity for parabolic systems with generalized double-phase growth $H(z,s)=s^p+a(z)s^q$, under $\tfrac{2n}{n+2}<p\le q$ and $a\in C^{0,α,α/2}$. The authors develop a unified framework based on generalized Orlicz growth, mollification-based Caccioppoli inequalities, and $\mathcal{A}$-caloric approximation to obtain linearization and excess-decay estimates. A decay mechanism for the excess functional yields a standard regularity bootstrap, proving local Hölder continuity of the spatial gradient $D\mathbf{u}$ on a full-measure open set and a measure-zero singular set. The results extend parabolic regularity theory to nonuniform (double-phase) growth in a nondegenerate setting and provide a foundation for future work on degenerate cases, with a cohesive method that treats both $p$- and $(p,q)$-phases uniformly.

Abstract

We study partial regularity for nondegenerate parabolic systems of double phase type, where the growth function is given by $H(z,s)=s^p+a(z)s^q$, $z=(x,t)\inΩ_T$, with $\tfrac{2n}{n+2}<p\le q$ and $a(z)$ a nonnegative $C^{0,α,\fracα{2}}$-continuous function for some $α\in(0,1]$. As the main result we prove that if $q< \min \{p+\tfrac{αp }{n+2}, p+1 \}$ the spatial gradient of any weak solution is locally Hölder continuous, except on a set of measure zero.

Partial regularity for parabolic systems of double phase type

TL;DR

This work addresses partial regularity for parabolic systems with generalized double-phase growth , under and . The authors develop a unified framework based on generalized Orlicz growth, mollification-based Caccioppoli inequalities, and -caloric approximation to obtain linearization and excess-decay estimates. A decay mechanism for the excess functional yields a standard regularity bootstrap, proving local Hölder continuity of the spatial gradient on a full-measure open set and a measure-zero singular set. The results extend parabolic regularity theory to nonuniform (double-phase) growth in a nondegenerate setting and provide a foundation for future work on degenerate cases, with a cohesive method that treats both - and -phases uniformly.

Abstract

We study partial regularity for nondegenerate parabolic systems of double phase type, where the growth function is given by , , with and a nonnegative -continuous function for some . As the main result we prove that if the spatial gradient of any weak solution is locally Hölder continuous, except on a set of measure zero.

Paper Structure

This paper contains 12 sections, 10 theorems, 156 equations.

Key Result

Theorem 1.2

Let $H:\Omega_T\times[0,\infty)\to[0,\infty)$ be defined as in eq:H complying with eq:holdercond and eq:pq, and ${\bf A}:\Omega_T \times \mathbb{R} ^{N\times n}\to \mathbb{R} ^{N\times n}$ comply with eq:1.8ok1--offdiagonal. If $\mathbf{u} \in C_{\mathop{\mathrm{loc}}\nolimits}(0,T; L^2_{\mathop{\ Moreover, $\Omega_T \setminus \Omega_0\subset \Sigma_1\cup\Sigma_2$ where where $H^-_{Q_r(z_0)}(s)

Theorems & Definitions (17)

  • Definition 1.1
  • Theorem 1.2
  • Remark 1.3
  • Lemma 2.1
  • Lemma 2.2: Sobolev-Poincaré inequality
  • proof
  • Lemma 3.1
  • proof
  • Lemma 4.1
  • Theorem 4.2
  • ...and 7 more