pith. sign in

arxiv: 2601.01571 · v2 · submitted 2026-01-04 · 🧮 math.AP

Interpolative Refinement of Gap Bound Conditions for Singular Parabolic Double Phase Problems

Pith reviewed 2026-05-16 17:49 UTC · model grok-4.3

classification 🧮 math.AP
keywords singular parabolic equationsdouble phase problemsgradient higher integrabilitygap conditionsweak solutionsinterpolation refinementinhomogeneous equations
0
0 comments X

The pith

Weak solutions to singular parabolic double phase equations gain gradient higher integrability under an interpolated bound on the growth gap q minus p.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper proves that weak solutions to the inhomogeneous equation gain higher integrability on their gradients when the solution is either globally bounded or continuous in time with values in L^s for s at least 2, and when the gap between the phase exponents q and p satisfies a bound that depends on the Holder exponent of the coefficient a and on the solution's regularity. This bound interpolates between a stricter condition that applies when u is merely bounded and a looser one that becomes available once u has additional time continuity in L^s. The result refines earlier gap conditions that were known for the singular parabolic double phase setting.

Core claim

We establish gradient higher integrability results for weak solutions to the above problems under one of the following two assumptions: u in L^infty and q less than or equal to p plus alpha times (p(n+2)-2n)/4, or u in C(0,T;L^s) with s at least 2 and q less than or equal to p plus alpha mu_s over (n+s), where mu_s equals (p(n+2)-2n)s/4. These results yield an interpolation refinement of gap bounds in the singular parabolic double phase setting.

What carries the argument

The interpolation between the global L^infty assumption on u and the C(0,T;L^s) assumption on u that produces a refined upper bound on the gap q-p in terms of the Holder continuity exponent alpha of the coefficient a.

If this is right

  • Gradient higher integrability follows directly once u is bounded and the gap satisfies the stricter bound involving (p(n+2)-2n)/4.
  • The allowable gap on q-p increases when u is continuous in time to L^s, with the improvement proportional to mu_s over (n+s).
  • The same higher integrability conclusion applies to the inhomogeneous problem with right-hand side involving an arbitrary vector field F.
  • The refined gap conditions improve upon earlier non-interpolated bounds that required stronger assumptions on u.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The interpolation suggests that proving even modest additional time regularity on u could enlarge the range of admissible double-phase problems that admit higher integrability.
  • The same refinement technique might apply to other parabolic systems whose growth oscillates between two exponents controlled by a Holder coefficient.
  • Sharpness of the interpolated bound could be tested by constructing explicit solutions at the critical gap value.

Load-bearing premise

The solution u must satisfy either global boundedness in L^infty or continuity in time with values in L^s for some s at least 2.

What would settle it

A concrete weak solution that meets one of the two regularity assumptions on u yet fails to have gradient higher integrability once q exceeds the stated bound, or a solution violating both regularity assumptions on u that nevertheless gains the higher integrability for a larger gap.

read the original abstract

We consider inhomogeneous singular parabolic double phase equations of type $$ u_t-\operatorname{div}(|Du|^{p-2}Du + a(x,t)|Du|^{q-2}Du)=-\operatorname{div} (|F|^{p-2}F + a(x,t)|F|^{q-2}F) $$ in $\Omega_T := \Omega \times (0,T)\subset \mathbb{R}^n\times \mathbb{R}$, where $\frac{2n}{n+2}<p\leq 2$, $p<q$ and $0\leq a(\cdot)\in C^{\alpha,\frac{\alpha}{2}}(\Omega_T)$. We establish gradient higher integrability results for weak solutions to the above problems under one of the following two assumptions: $$ u\in L^\infty (\Omega_T) \quad\text{and}\quad q\leq p +\frac{\alpha(p(n+2)-2n)}{4}, $$ or $$ u\in C(0,T;L^s(\Omega)),\quad s\geq 2 \quad\text{and}\quad q\leq p+\frac{\alpha \mu_s}{n+s}, $$ where $\mu_s := \frac{(p(n+2)-2n)s}{4}$. These results yield an interpolation refinement of gap bounds in the singular parabolic double phase setting.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 3 minor

Summary. The paper considers inhomogeneous singular parabolic double phase equations of the form u_t - div(|Du|^{p-2}Du + a(x,t)|Du|^{q-2}Du) = -div(|F|^{p-2}F + a(x,t)|F|^{q-2}F) on Ω_T, with 2n/(n+2) < p ≤ 2, p < q, and a ∈ C^{α, α/2}(Ω_T). It establishes gradient higher integrability for weak solutions under either the assumption u ∈ L^∞(Ω_T) with the gap condition q ≤ p + α(p(n+2)-2n)/4, or u ∈ C(0,T; L^s(Ω)) for s ≥ 2 with q ≤ p + α μ_s/(n+s) where μ_s = (p(n+2)-2n)s/4. These yield an interpolative refinement of gap bounds in the singular parabolic double-phase setting.

Significance. If the results hold, the manuscript provides a useful refinement of gap conditions for higher integrability by interpolating between global boundedness and time-continuous L^s integrability assumptions on u. This extends the range of admissible q in the singular regime p ≤ 2 in a manner that depends explicitly on the Hölder exponent α and standard scaling factors from parabolic theory, strengthening the applicability of regularity results for double-phase problems without introducing circularity or free parameters.

minor comments (3)
  1. The definition of μ_s should be restated explicitly in the main text (e.g., near the statement of the second main theorem) rather than only in the abstract, to improve readability for readers who begin with the introduction.
  2. In the introduction, add a brief comparison paragraph contrasting the new gap conditions with the previous non-interpolative bounds from the literature (e.g., those relying solely on L^∞ or weaker integrability), to make the refinement explicit.
  3. Notation for the parabolic cylinder and the weak-solution definition in Section 2 should include a short reminder of the singular range p ≤ 2 to orient readers before the proofs.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the careful summary of our results and the positive assessment of their significance in providing an interpolative refinement of gap bounds for singular parabolic double-phase problems. The recommendation for minor revision is noted, but the report lists no specific major comments to address.

Circularity Check

0 steps flagged

No significant circularity detected in derivation chain

full rationale

The paper derives conditional gradient higher integrability for weak solutions to the inhomogeneous singular parabolic double phase equation under two explicit assumptions on u (global L^∞ boundedness or u ∈ C(0,T; L^s) with s ≥ 2). The gap bounds on q are obtained by direct interpolation between the Hölder exponent α of the coefficient a(x,t) and the standard parabolic scaling factor (p(n+2)−2n)/4 or μ_s, both of which are independent of the target conclusion. No equation reduces a claimed prediction to a fitted parameter by construction, no self-citation is load-bearing for the central result, and the derivation chain rests on standard parabolic estimates without renaming known results or smuggling ansatzes. The result is framed precisely as a refinement under stated hypotheses rather than an unconditional claim, rendering the derivation self-contained.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Only the abstract is available, so the ledger records the minimal background assumptions visible in the statement; no explicit free parameters, invented entities, or non-standard axioms are named.

axioms (1)
  • domain assumption Weak solutions satisfy the equation in the distributional sense and belong to the natural Sobolev space for the double-phase operator.
    Standard definition invoked to make the higher-integrability statement meaningful.

pith-pipeline@v0.9.0 · 5536 in / 1215 out tokens · 35923 ms · 2026-05-16T17:49:38.734438+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

52 extracted references · 52 canonical work pages

  1. [1]

    Arora and S

    R. Arora and S. Shmarev. Double-phase parabolic equations with variable growth and nonlinear sources.Adv. Nonlinear Anal., 12(1):304–335, 2023

  2. [2]

    Baasandorj, S.-S

    S. Baasandorj, S.-S. Byun, and J. Oh. Calder´ on-Zygmund estimates for gen- eralized double phase problems.J. Funct. Anal., 279(7):108670, 57, 2020

  3. [3]

    Bahrouni, V

    A. Bahrouni, V. D. R˘ adulescu, and D. D. Repovˇ s. Double phase transonic flow problems with variable growth: nonlinear patterns and stationary waves. Nonlinearity, 32(7):2481–2495, 2019

  4. [4]

    Baroni, M

    P. Baroni, M. Colombo, and G. Mingione. Harnack inequalities for double phase functionals.Nonlinear Anal., 121:206–222, 2015

  5. [5]

    Baroni, M

    P. Baroni, M. Colombo, and G. Mingione. Regularity for general functionals with double phase.Calc. Var. Partial Differential Equations, 57(2):Paper No. 62, 48, 2018

  6. [6]

    Benci, P

    V. Benci, P. D’Avenia, D. Fortunato, and L. Pisani. Solitons in several space dimensions: Derrick’s problem and infinitely many solutions.Arch. Ration. Mech. Anal., 154(4):297–324, 2000

  7. [7]

    K. O. Buryachenko and I. I. Skrypnik. Local continuity and Harnack’s in- equality for double-phase parabolic equations.Potential Anal., 56(1):137–164, 2022

  8. [8]

    Byun and H.-S

    S.-S. Byun and H.-S. Lee. Calder´ on-Zygmund estimates for elliptic double phase problems with variable exponents.J. Math. Anal. Appl., 501(1):Paper No. 124015, 31, 2021

  9. [9]

    Byun and H.-S

    S.-S. Byun and H.-S. Lee. Gradient estimates ofω-minimizers to double phase variational problems with variable exponents.Q. J. Math., 72(4):1191–1221, 2021

  10. [10]

    Byun and J

    S.-S. Byun and J. Oh. Global gradient estimates for non-uniformly elliptic equations.Calc. Var. Partial Differential Equations, 56(2):Paper No. 46, 36, 2017

  11. [11]

    Byun and J

    S.-S. Byun and J. Oh. Regularity results for generalized double phase func- tionals.Anal. PDE, 13(5):1269–1300, 2020

  12. [12]

    Charkaoui, A

    A. Charkaoui, A. Ben-Loghfyry, and S. Zeng. Nonlinear parabolic double phase variable exponent systems with applications in image noise removal.Appl. Math. Model., 132:495–530, 2024

  13. [13]

    Y. Chen, S. Levine, and M. Rao. Variable exponent, linear growth functionals in image restoration.SIAM J. Appl. Math., 66(4):1383–1406, 2006. 40 BOGI KIM AND JEHAN OH

  14. [14]

    Cherfils and Y

    L. Cherfils and Y. Il’yasov. On the stationary solutions of generalized reaction diffusion equations withp&q-Laplacian.Commun. Pure Appl. Anal., 4(1):9– 22, 2005

  15. [15]

    Chlebicka, P

    I. Chlebicka, P. Garain, and W. Kim. Gradient higher integrability of bounded solutions to parabolic double-phase systems.arXiv, 2025

  16. [16]

    Chlebicka, P

    I. Chlebicka, P. Gwiazda, and A. Zatorska-Goldstein. Parabolic equation in time and space dependent anisotropic Musielak-Orlicz spaces in absence of Lavrentiev’s phenomenon.Ann. Inst. H. Poincar´ e C Anal. Non Lin´ eaire, 36(5):1431–1465, 2019

  17. [17]

    Colombo and G

    M. Colombo and G. Mingione. Bounded minimisers of double phase variational integrals.Arch. Ration. Mech. Anal., 218(1):219–273, 2015

  18. [18]

    Colombo and G

    M. Colombo and G. Mingione. Regularity for double phase variational prob- lems.Arch. Ration. Mech. Anal., 215(2):443–496, 2015

  19. [19]

    Colombo and G

    M. Colombo and G. Mingione. Calder´ on-Zygmund estimates and non- uniformly elliptic operators.J. Funct. Anal., 270(4):1416–1478, 2016

  20. [20]

    De Filippis and G

    C. De Filippis and G. Mingione. A borderline case of Calder´ on–Zygmund esti- mates for nonuniformly elliptic problems.St. Petersburg Mathematical Journal, 31(3):455–477, 2020

  21. [21]

    De Filippis and G

    C. De Filippis and G. Mingione. Regularity for double phase problems at nearly linear growth.Arch. Ration. Mech. Anal., 247(5):Paper No. 85, 50, 2023

  22. [22]

    DiBenedetto.Degenerate parabolic equations

    E. DiBenedetto.Degenerate parabolic equations. Universitext. Springer-Verlag, New York, 1993

  23. [23]

    Esposito, F

    L. Esposito, F. Leonetti, and G. Mingione. Sharp regularity for functionals with (p, q) growth.J. Differential Equations, 204(1):5–55, 2004

  24. [24]

    Giusti.Direct methods in the calculus of variations

    E. Giusti.Direct methods in the calculus of variations. World Scientific Pub- lishing Co., Inc., River Edge, NJ, 2003

  25. [25]

    Harjulehto and P

    P. Harjulehto and P. H¨ ast¨ o. Double phase image restoration.J. Math. Anal. Appl., 501(1):Paper No. 123832, 12, 2021

  26. [26]

    Harjulehto, P

    P. Harjulehto, P. H¨ ast¨ o, V. Latvala, and O. Toivanen. Critical variable expo- nent functionals in image restoration.Appl. Math. Lett., 26(1):56–60, 2013

  27. [27]

    H¨ ast¨ o and J

    P. H¨ ast¨ o and J. Ok. Higher integrability for parabolic systems with Orlicz growth.J. Differential Equations, 300:925–948, 2021

  28. [28]

    H¨ ast¨ o and J

    P. H¨ ast¨ o and J. Ok. Maximal regularity for local minimizers of non-autonomous functionals.J. Eur. Math. Soc. (JEMS), 24(4):1285–1334, 2022

  29. [29]

    H¨ ast¨ o and J

    P. H¨ ast¨ o and J. Ok. Regularity theory for non-autonomous partial differ- ential equations without Uhlenbeck structure.Arch. Ration. Mech. Anal., 245(3):1401–1436, 2022

  30. [30]

    H¨ ast¨ o and J

    P. H¨ ast¨ o and J. Ok. Higher integrability for parabolic PDEs with generalized Orlicz growth, 2025

  31. [31]

    Kbiri Alaoui, T

    M. Kbiri Alaoui, T. Nabil, and M. Altanji. On some new non-linear diffusion models for the image filtering.Appl. Anal., 93(2):269–280, 2014

  32. [32]

    B. Kim, Y. Kim, and J. Oh. Gradient estimates for double phase problems with two modulating coefficients.NoDEA Nonlinear Differential Equations Appl., 33(1):Paper No. 12, 2026

  33. [33]

    Kim and J

    B. Kim and J. Oh. Higher integrability for weak solutions to parabolic multi- phase equations.J. Differential Equations, 409:223–298, 2024. INTERPOLATIVE REFINEMENT OF GAP BOUNDS 41

  34. [34]

    Kim and J

    B. Kim and J. Oh. Regularity for double phase functionals with two modulating coefficients.J. Geom. Anal., 34(5):Paper No. 134, 51, 2024

  35. [35]

    Kim and J

    B. Kim and J. Oh. Bounded solutions and interpolative gap bounds for de- generate parabolic double phase problems.arXiv, 2025

  36. [36]

    Kim and J

    B. Kim and J. Oh. Regularity for double-phase functionals with nearly linear growth and two modulating coefficients.Adv. Nonlinear Anal., 14(1):Paper No. 20250090, 19, 2025

  37. [37]

    B. Kim, J. Oh, and A. Sen. Parabolic Lipschitz truncation for multi-phase problems: the degenerate case.Adv. Calc. Var., 18(3):979–1010, 2025

  38. [38]

    W. Kim. Calder´ on-Zygmund type estimate for the singular parabolic double- phase system.J. Math. Anal. Appl., 551(1):Paper No. 129593, 33, 2025

  39. [39]

    W. Kim, J. Kinnunen, and K. Moring. Gradient higher integrability for degen- erate parabolic double-phase systems.Arch. Ration. Mech. Anal., 247(5):Paper No. 79, 46, 2023

  40. [40]

    W. Kim, J. Kinnunen, and L. S¨ arki¨ o. Lipschitz truncation method for parabolic double-phase systems and applications.J. Funct. Anal., 288(3):Paper No. 110738, 60, 2025

  41. [41]

    W. Kim, K. Moring, and L. S¨ arki¨ o. H¨ older regularity for degenerate parabolic double-phase equations.J. Differential Equations, 434:Paper No. 113231, 34, 2025

  42. [42]

    Kim and L

    W. Kim and L. S¨ arki¨ o. Gradient higher integrability for singular para- bolic double-phase systems.NoDEA Nonlinear Differential Equations Appl., 31(3):Paper No. 40, 38, 2024

  43. [43]

    F. Li, Z. Li, and L. Pi. Variable exponent functionals in image restoration. Appl. Math. Comput., 216(3):870–882, 2010

  44. [44]

    Mingione and V

    G. Mingione and V. Rˇ adulescu. Recent developments in problems with non- standard growth and nonuniform ellipticity.J. Math. Anal. Appl., 501(1):Paper No. 125197, 41, 2021

  45. [45]

    J. Ok. Regularity ofω-minimizers for a class of functionals with non-standard growth.Calc. Var. Partial Differential Equations, 56(2):Paper No. 48, 31, 2017

  46. [46]

    J. Ok. Regularity for double phase problems under additional integrability assumptions.Nonlinear Anal., 194:111408, 13, 2020

  47. [47]

    A. Sen. Gradient higher integrability for degenerate/singular parabolic multi- phase problems.J. Geom. Anal., 35(6):Paper No. 170, 95, 2025

  48. [48]

    T. Singer. Existence of weak solutions of parabolic systems withp, q-growth. Manuscripta Math., 151(1-2):87–112, 2016

  49. [49]

    V. V. Zhikov. Averaging of functionals of the calculus of variations and elas- ticity theory.Izv. Akad. Nauk SSSR Ser. Mat., 50(4):675–710, 877, 1986

  50. [50]

    V. V. Zhikov. Lavrentiev phenomenon and homogenization for some variational problems.C. R. Acad. Sci. Paris S´ er. I Math., 316(5):435–439, 1993

  51. [51]

    V. V. Zhikov. On Lavrentiev’s phenomenon.Russian J. Math. Phys., 3(2):249– 269, 1995

  52. [52]

    V. V. Zhikov. On some variational problems.Russian J. Math. Phys., 5(1):105– 116 (1998), 1997. 42 BOGI KIM AND JEHAN OH Department of Mathematics, Kyungpook National University, Daegu, 41566, Repub- lic of Korea Email address:rlaqhrl4@knu.ac.kr Department of Mathematics, Kyungpook National University, Daegu, 41566, Repub- lic of Korea Email address:jehan....