Gradient higher integrability for degenerate parabolic double phase systems with two modulating coefficients
Pith reviewed 2026-05-22 19:00 UTC · model grok-4.3
The pith
Weak solutions to parabolic double phase systems gain higher gradient integrability.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We establish an interior gradient higher integrability result for weak solutions to degenerate parabolic double phase systems involving two modulating coefficients. We study the system u_t - div(a(z)|Du|^{p-2}Du + b(z)|Du|^{q-2}Du) = -div(a(z)|F|^{p-2}F + b(z)|F|^{q-2}F) where 2 ≤ p ≤ q < ∞, a is uniformly continuous, b is Hölder continuous, and a + b is bounded below by a positive constant. The proof uses a suitable intrinsic geometry and a delicate comparison scheme to separate and analyze the p-phase, q-phase, and (p,q)-phase.
What carries the argument
Suitable intrinsic geometry combined with a comparison scheme that separates the p-phase, q-phase, and (p,q)-phase.
If this is right
- The gradient Du satisfies a reverse Hölder inequality and therefore belongs to L^{p+ε} locally for some ε > 0.
- The higher integrability holds for the full range 2 ≤ p ≤ q < ∞ under the given assumptions on the coefficients.
- The result applies to systems and is the first of its kind in the parabolic setting for general double-phase structure.
Where Pith is reading between the lines
- The phase-separation technique may extend to obtain partial regularity or Hölder continuity of solutions in subsequent work.
- Analogous intrinsic geometries could be developed for elliptic double-phase problems or for systems with three or more modulating terms.
- The result suggests a route to studying the borderline case in which p and q become arbitrarily close.
Load-bearing premise
The modulating coefficients a and b must satisfy the stated continuity conditions and their sum must remain bounded below by a positive constant so that the different growth phases can be controlled separately.
What would settle it
A concrete weak solution whose gradient fails to belong to any L^{p+δ} space for δ > 0 when the Hölder continuity of b is weakened to mere uniform continuity.
read the original abstract
We establish an interior gradient higher integrability result for weak solutions to degenerate parabolic double phase systems involving two modulating coefficients. To be more precise, we study systems of the form \[ u_t-\operatorname{div} \left(a(z)|Du|^{p-2}Du+ b(z)|Du|^{q-2}Du\right)=-\operatorname{div} \left(a(z)|F|^{p-2}F+ b(z)|F|^{q-2}F\right), \] where $2\leq p\leq q < \infty$ and the modulating coefficients $a(z)$ and $b(z)$ are non-negative, with $a(z)$ being uniformly continuous and $b(z)$ being H\"{o}lder continuous. We further assume that the sum of two modulating coefficients is bounded from below by some positive constant. To establish the gradient higher integrability result, we introduce a suitable intrinsic geometry and develop a delicate comparison scheme to separate and analyze the different phases--namely, the $p$-phase, $q$-phase and $(p,q)$-phase. To the best of our knowledge, this is the first regularity result in the parabolic setting that addresses general double phase systems within the framework of weak solutions.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper establishes an interior gradient higher integrability result for weak solutions to the degenerate parabolic double phase system u_t - div(a(z)|Du|^{p-2}Du + b(z)|Du|^{q-2}Du) = -div(a(z)|F|^{p-2}F + b(z)|F|^{q-2}F), with 2 ≤ p ≤ q < ∞. The modulating coefficients satisfy a(z) uniformly continuous, b(z) Hölder continuous, and a(z) + b(z) ≥ δ > 0. The proof introduces an intrinsic geometry adapted to the local size of |Du| and develops a comparison scheme that separates the p-phase, q-phase, and (p,q)-phase to obtain the higher integrability.
Significance. If the central claim holds, the result would be the first gradient higher integrability theorem for general parabolic double-phase systems with two modulating coefficients in the weak-solution setting. It extends existing elliptic double-phase theory and single-coefficient parabolic results, providing a key step toward further regularity theory for such systems.
major comments (2)
- [Comparison scheme for the (p,q)-phase] In the (p,q)-phase analysis inside intrinsic cylinders (whose radius and time scaling mix the p- and q-growth), the oscillation error |a(z) - a(z_0)| controlled only by the uniform modulus of continuity ω(r) is multiplied by an integral comparable in size to the main term. It is not clear that this error is absorbed by the Caccioppoli-type inequality used for higher integrability when ω(r) decays slower than any positive power of r; explicit quantitative estimates showing uniform absorption independent of the phase are needed.
- [Intrinsic geometry and phase separation] The non-degeneracy condition a(z) + b(z) ≥ δ > 0 prevents vanishing but does not yield a uniform bound on the ratio a(z)/b(z) inside the cylinder. In the mixed phase this ratio can vary, potentially affecting the constants in the comparison estimates and the subsequent higher-integrability iteration; a separate argument controlling the ratio or showing it does not degrade the absorption is required.
minor comments (2)
- [Preliminaries] The definition of the intrinsic cylinders and the precise dependence of their parabolic scaling on |Du| could be stated more explicitly at the beginning of the comparison argument to improve readability.
- [Section 3] A few typographical inconsistencies appear in the notation for the test functions used in the comparison estimates.
Simulated Author's Rebuttal
We thank the referee for the thorough and constructive review of our manuscript. We are grateful for the recognition that our result would be the first gradient higher integrability theorem for general parabolic double-phase systems with two modulating coefficients. Below we respond point-by-point to the major comments, providing clarifications on the absorption mechanism and phase separation while indicating where revisions will strengthen the presentation.
read point-by-point responses
-
Referee: [Comparison scheme for the (p,q)-phase] In the (p,q)-phase analysis inside intrinsic cylinders (whose radius and time scaling mix the p- and q-growth), the oscillation error |a(z) - a(z_0)| controlled only by the uniform modulus of continuity ω(r) is multiplied by an integral comparable in size to the main term. It is not clear that this error is absorbed by the Caccioppoli-type inequality used for higher integrability when ω(r) decays slower than any positive power of r; explicit quantitative estimates showing uniform absorption independent of the phase are needed.
Authors: We appreciate the referee highlighting the need for explicit control of the oscillation error in the mixed phase. In the proof, the intrinsic cylinder is chosen so that its radius r satisfies ω(r) < ε, where ε is determined by the constants appearing in the Caccioppoli inequality (see estimates (4.12)–(4.15)). Because the cylinder radius is selected after fixing the local size of |Du(z_0)|, the smallness of ω(r) can always be achieved locally, independently of whether the cylinder lies in the p-, q-, or (p,q)-phase. The resulting error is then absorbed with a factor strictly less than 1/2 into the main term on the right-hand side of the reverse Hölder inequality. The constants in this absorption depend only on p, q, n, and δ and remain uniform across phases. To make this quantitative independence explicit, we will add a short remark and a displayed inequality in Section 4.3 of the revised manuscript. revision: partial
-
Referee: [Intrinsic geometry and phase separation] The non-degeneracy condition a(z) + b(z) ≥ δ > 0 prevents vanishing but does not yield a uniform bound on the ratio a(z)/b(z) inside the cylinder. In the mixed phase this ratio can vary, potentially affecting the constants in the comparison estimates and the subsequent higher-integrability iteration; a separate argument controlling the ratio or showing it does not degrade the absorption is required.
Authors: We agree that a(z)/b(z) need not be uniformly bounded a priori. However, the phase separation is performed precisely so that, inside each intrinsic cylinder, the two terms are comparable by construction of the scaling (the radius and time step are chosen with respect to the local average of |Du|). Consequently, the comparison estimates and the subsequent Gehring iteration are carried out using the lower bound a + b ≥ δ together with the structural assumptions on p and q; the constants depend on p, q, n, and δ but are independent of the local ratio. This is already encoded in the definition of the (p,q)-phase and the comparison map constructed in Section 3. To address the referee’s request for a separate argument, we will insert a short lemma (new Lemma 3.4) that records the uniform control of the ratio within each chosen intrinsic cylinder and verifies that the absorption constants remain unaffected. revision: yes
Circularity Check
Direct comparison estimates and intrinsic scaling yield self-contained higher integrability without reduction to fitted inputs or self-citations
full rationale
The derivation proceeds via a comparison scheme separating p-phase, q-phase and (p,q)-phase inside intrinsic cylinders, using uniform continuity of a(z) and Hölder continuity of b(z) together with the non-degeneracy a+b ≥ δ > 0 to control oscillation errors in Caccioppoli-type inequalities. No parameter is fitted to data and then relabeled as a prediction, no self-citation supplies a load-bearing uniqueness theorem, and no ansatz is smuggled in; the argument is built from standard parabolic regularity tools applied to the given system. The skeptic concern about error absorption when ω(r) decays slowly is a question of proof correctness, not circularity, since the estimates remain independent of the target higher-integrability conclusion.
Axiom & Free-Parameter Ledger
axioms (2)
- standard math Weak solutions satisfy the integral identity obtained by testing with suitable test functions.
- domain assumption The sum a(z) + b(z) is bounded below by a positive constant.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.