Interpolative Refinement of Gap Bound Conditions for Singular Parabolic Double Phase Problems
Pith reviewed 2026-05-16 17:49 UTC · model grok-4.3
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.
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
- 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.
Referee Report
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)
- 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.
- 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.
- 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
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
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
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.
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/RealityFromDistinction.leanreality_from_one_distinction unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
We establish gradient higher integrability results for weak solutions... under u∈L^∞ and q≤p+α(p(n+2)−2n)/4, or u∈C(0,T;L^s) with s≥2 and q≤p+αμ_s/(n+s)
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
gap bound conditions... interpolation refinement of gap bounds in the singular parabolic double phase setting
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
-
[1]
R. Arora and S. Shmarev. Double-phase parabolic equations with variable growth and nonlinear sources.Adv. Nonlinear Anal., 12(1):304–335, 2023
work page 2023
-
[2]
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
work page 2020
-
[3]
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
work page 2019
- [4]
- [5]
- [6]
-
[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
work page 2022
-
[8]
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
work page 2021
-
[9]
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
work page 2021
-
[10]
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
work page 2017
-
[11]
S.-S. Byun and J. Oh. Regularity results for generalized double phase func- tionals.Anal. PDE, 13(5):1269–1300, 2020
work page 2020
-
[12]
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
work page 2024
-
[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
work page 2006
-
[14]
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
work page 2005
-
[15]
I. Chlebicka, P. Garain, and W. Kim. Gradient higher integrability of bounded solutions to parabolic double-phase systems.arXiv, 2025
work page 2025
-
[16]
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
work page 2019
-
[17]
M. Colombo and G. Mingione. Bounded minimisers of double phase variational integrals.Arch. Ration. Mech. Anal., 218(1):219–273, 2015
work page 2015
-
[18]
M. Colombo and G. Mingione. Regularity for double phase variational prob- lems.Arch. Ration. Mech. Anal., 215(2):443–496, 2015
work page 2015
-
[19]
M. Colombo and G. Mingione. Calder´ on-Zygmund estimates and non- uniformly elliptic operators.J. Funct. Anal., 270(4):1416–1478, 2016
work page 2016
-
[20]
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
work page 2020
-
[21]
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
work page 2023
-
[22]
DiBenedetto.Degenerate parabolic equations
E. DiBenedetto.Degenerate parabolic equations. Universitext. Springer-Verlag, New York, 1993
work page 1993
-
[23]
L. Esposito, F. Leonetti, and G. Mingione. Sharp regularity for functionals with (p, q) growth.J. Differential Equations, 204(1):5–55, 2004
work page 2004
-
[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
work page 2003
-
[25]
P. Harjulehto and P. H¨ ast¨ o. Double phase image restoration.J. Math. Anal. Appl., 501(1):Paper No. 123832, 12, 2021
work page 2021
-
[26]
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
work page 2013
-
[27]
P. H¨ ast¨ o and J. Ok. Higher integrability for parabolic systems with Orlicz growth.J. Differential Equations, 300:925–948, 2021
work page 2021
-
[28]
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
work page 2022
-
[29]
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
work page 2022
-
[30]
P. H¨ ast¨ o and J. Ok. Higher integrability for parabolic PDEs with generalized Orlicz growth, 2025
work page 2025
-
[31]
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
work page 2014
-
[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
work page 2026
- [33]
- [34]
- [35]
- [36]
-
[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
work page 2025
-
[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
work page 2025
-
[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
work page 2023
-
[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
work page 2025
-
[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
work page 2025
- [42]
-
[43]
F. Li, Z. Li, and L. Pi. Variable exponent functionals in image restoration. Appl. Math. Comput., 216(3):870–882, 2010
work page 2010
-
[44]
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
work page 2021
-
[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
work page 2017
-
[46]
J. Ok. Regularity for double phase problems under additional integrability assumptions.Nonlinear Anal., 194:111408, 13, 2020
work page 2020
-
[47]
A. Sen. Gradient higher integrability for degenerate/singular parabolic multi- phase problems.J. Geom. Anal., 35(6):Paper No. 170, 95, 2025
work page 2025
-
[48]
T. Singer. Existence of weak solutions of parabolic systems withp, q-growth. Manuscripta Math., 151(1-2):87–112, 2016
work page 2016
-
[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
work page 1986
-
[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
work page 1993
-
[51]
V. V. Zhikov. On Lavrentiev’s phenomenon.Russian J. Math. Phys., 3(2):249– 269, 1995
work page 1995
-
[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....
work page 1998
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.