pith. sign in

arxiv: 2604.14544 · v1 · submitted 2026-04-16 · 🧮 math.AP

Local boundedness for solutions to degenerate parabolic double phase problems

Bogi Kim , Jehan Oh This is my paper

Pith reviewed 2026-05-10 11:11 UTC · model grok-4.3

classification 🧮 math.AP
keywords local boundednessdegenerate parabolic equationsdouble phase problemsCaccioppoli inequalityparabolic embeddingweak solutionsiteration method
0
0 comments X

The pith

Weak solutions to the degenerate parabolic double phase equation are locally bounded.

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

The paper proves local boundedness for weak solutions to the degenerate parabolic double phase equation u_t minus the divergence of |Du|^{p-2}Du plus a(x,t)|Du|^{q-2}Du equals zero. The authors first derive a Caccioppoli inequality that controls the integral of the gradient over smaller cylinders. They next establish a parabolic embedding theorem relating supremum norms to integral quantities. These two tools are then fed into an iteration argument that produces an explicit L^infty bound in any smaller space-time cylinder.

Core claim

Weak solutions to the equation u_t - div(|Du|^{p-2}Du + a(x,t)|Du|^{q-2}Du) = 0 remain locally bounded in Omega_T whenever the coefficient a is non-negative and essentially bounded. The proof proceeds by establishing a Caccioppoli inequality, obtaining a parabolic Sobolev-type embedding, and closing the argument with a standard iteration that lifts integrability to boundedness.

What carries the argument

The Caccioppoli inequality together with a parabolic embedding theorem, which together supply the integral estimates fed into an iteration scheme that upgrades to an L^infty bound.

If this is right

  • Weak solutions satisfy a uniform L^infty estimate controlled by their integral norms over larger cylinders.
  • The same estimates hold uniformly in the degenerate regime where the growth exponents may differ.
  • The boundedness result applies directly to any non-negative bounded coefficient a without further continuity assumptions.

Where Pith is reading between the lines

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

  • The boundedness can serve as the starting point for proving Hölder continuity or higher regularity in follow-up work on the same equation.
  • The iteration technique may adapt to related double-phase problems in the elliptic or parabolic setting with different degeneracy structures.
  • Testing the result on discontinuous but bounded coefficients a would clarify how sharp the L^infty assumption really is.

Load-bearing premise

The coefficient a(x,t) is essentially bounded and non-negative, and the exponents p and q satisfy the structural relations needed for the Caccioppoli and embedding steps to close.

What would settle it

An explicit weak solution that becomes unbounded inside some space-time cylinder would disprove the local-boundedness statement.

read the original abstract

In this paper, we investigate the local boundedness of weak solutions to degenerate parabolic double phase equation of type $$ u_t-\textrm{div}(|Du|^{p-2}Du+a(x,t)|Du|^{q-2}Du)=0\quad \text{in } \Omega_T := \Omega\times (0,T), $$ where $0\leq a(\cdot)\in L^\infty(\Omega_T)$. To this end, we derive the Caccioppoli inequality and a parabolic embedding theorem, which are then utilized in an iteration method.

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

1 major / 3 minor

Summary. The paper claims to establish local boundedness of weak solutions to the degenerate parabolic double phase equation u_t - div(|Du|^{p-2}Du + a(x,t)|Du|^{q-2}Du) = 0 in the cylinder Ω_T, where a ≥ 0 belongs to L^∞(Ω_T). The strategy consists of deriving a Caccioppoli inequality adapted to the double-phase operator, proving a parabolic embedding theorem, and applying an iteration procedure (of Moser or De Giorgi type) to obtain an essential supremum bound.

Significance. If the derivations close, the result extends local boundedness from the standard parabolic p-Laplacian to a double-phase setting with merely measurable, bounded coefficient a. The explicit construction of the Caccioppoli inequality and the parabolic embedding under only L^∞ control on a is a concrete technical contribution that removes the need for continuity or Hölder regularity of a, which is often assumed in double-phase literature.

major comments (1)
  1. [§2] §2 (structural hypotheses): the admissible range for the exponents (1 < p ≤ q < ∞ and any implicit relation between p and q needed to close the embedding constants) is described as implicit in the abstract and reader's summary; these conditions must be stated explicitly as hypotheses on the main theorem, because the absorption of the a-term and the control of the iteration constants depend on them.
minor comments (3)
  1. [Abstract] The abstract refers to 'an iteration method' without naming the scheme; specify whether Moser iteration, De Giorgi iteration, or a hybrid is used, and cite the precise lemma or proposition where the iteration is carried out.
  2. [§2] Ensure that the definition of weak solution (integrability class of Du and the test-function space) is written out in full in §2, including the precise dependence on the L^∞ bound of a.
  3. [§3] Track the dependence of all constants on ||a||_∞, p, q, and the dimension explicitly in the statements of the Caccioppoli inequality and the final boundedness estimate.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and constructive comment. We agree that the structural assumptions on the exponents must be stated explicitly and will revise the manuscript accordingly.

read point-by-point responses

  1. Referee: [§2] §2 (structural hypotheses): the admissible range for the exponents (1 < p ≤ q < ∞ and any implicit relation between p and q needed to close the embedding constants) is described as implicit in the abstract and reader's summary; these conditions must be stated explicitly as hypotheses on the main theorem, because the absorption of the a-term and the control of the iteration constants depend on them.

    Authors: We agree with the referee. The abstract and introduction describe the setting with 1 < p ≤ q < ∞ but leave the precise relation between p and q (required for absorption in the Caccioppoli inequality and control of constants in the parabolic embedding) implicit. In the revised version we will add an explicit hypothesis in Section 2 and restate it in the main theorem (Theorem 1.1) as: 1 < p ≤ q < ∞ with q/p ≤ 1 + δ_0 where δ_0 = δ_0(n,p) > 0 is small enough to close the estimates under the sole assumption a ∈ L^∞. This makes the dependence of all constants on the structural data fully transparent. revision: yes

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The derivation proceeds by obtaining the Caccioppoli inequality and a parabolic embedding theorem directly from the weak formulation of the given PDE (with a merely L^infty coefficient), followed by a standard iteration argument. No self-definitional steps, fitted inputs renamed as predictions, load-bearing self-citations, or smuggled ansatzes appear; the estimates close under the stated structural assumptions on p and q without reducing to the target boundedness result by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The proof rests on standard tools of parabolic regularity theory without introducing new free parameters or postulated entities.

axioms (2)
  • standard math Existence of a Caccioppoli inequality for weak solutions of the given divergence-form equation
    Invoked as the first derived tool in the abstract
  • standard math Parabolic embedding theorem relating gradient integrability to function oscillation
    Used after the Caccioppoli step to enable iteration

pith-pipeline@v0.9.0 · 5376 in / 1255 out tokens · 45321 ms · 2026-05-10T11:11:39.430499+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

24 extracted references · 24 canonical work pages

  1. [1]

    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

    work page 2018

  2. [2]

    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

  3. [3]

    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

    work page 2019

  4. [4]

    Colombo and G

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

    work page 2015

  5. [5]

    DiBenedetto.Degenerate parabolic equations

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

    work page 1993

  6. [6]

    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

    work page 2004

  7. [7]

    B. Kim, Y. Kim, and J. Oh. Absence of the lavrentiev phenomenon for degen- erate parabolic double phase problems.arXiv, 2026

    work page 2026

  8. [8]

    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

    work page 2024

  9. [9]

    Kim and J

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

    work page 2025

  10. [10]

    Kim and J

    B. Kim and J. Oh. Interpolative refinement of gap bound conditions for sin- gular parabolic double phase problems.arXiv, 2026

    work page 2026

  11. [11]

    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

  12. [12]

    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

  13. [13]

    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

  14. [14]

    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

  15. [15]

    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

  16. [16]

    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

    work page 2024

  17. [17]

    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

  18. [18]

    J. Ok, G. Scilla, and B. Stroffolini. Regularity theory for parabolic systems with uhlenbeck structure.Journal de Math´ ematiques Pures et Appliqu´ ees, 182:116–163, 2024. LOCAL BOUNDEDNESS 11

    work page 2024

  19. [19]

    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

  20. [20]

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

    work page 2016

  21. [21]

    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

  22. [22]

    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

  23. [23]

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

    work page 1995

  24. [24]

    V. V. Zhikov. On some variational problems.Russian J. Math. Phys., 5(1):105– 116 (1998), 1997. 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.oh@knu.ac.kr

    work page 1998