REVIEW 4 minor 39 references
Global Calderon-Zygmund estimates for irregular double-phase evolution problem with non-divergence data
T0 review · 0 major / 4 minor · reviewed 2026-07-11 · grok-4.5
Pith's one-line read Irregular double-phase parabolic equations transfer integrability from data to the flux and gain second-order regularity for the full range of initial integrability r ≥ 0.
desk verdict Solid technical extension of the authors' own double-phase work to the full range r ≥ 0 under non-divergence data; the estimates check out and the usual gap assumptions are stated cleanly. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
A two-stage approximation: first a uniformly parabolic regularization of the flux and data that produces classical solutions, then uniform a-priori estimates obtained by testing with the divergence of the weighted flux, followed by absorption via interpolation inequalities that control the lower-order terms generated by the variable exponents and the derivatives of the modulating coefficients.
What would settle it
Construct (or exhibit a counter-example for) a pair of Lipschitz exponents whose difference exceeds the stated gap, or coefficients whose derivatives lie in a lower L^d space, and check whether the modular of order r of the flux remains bounded for a.e. time; if it does not, the central transfer claim fails.
Extended reading notes
Core claim
Under the structural hypotheses on the exponents, coefficients and data, the Dirichlet problem admits a unique strong solution that transfers the modular integrability of order r from the initial datum and the forcing to the double-phase flux for a.e. time, improves the integrability of the gradient by any amount less than 4/(N+2), and places the weighted flux in L^{2}(0,T;W^{1,2}(Ω)).
Load-bearing premise
The exponents cannot differ by more than a small multiple of 1/(N+2) and the space-time derivatives of the modulating coefficients must be integrable to a high enough power that depends on that gap; if either restriction fails the absorption arguments that close the estimates break down.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper establishes existence, uniqueness and global regularity for the irregular double-phase parabolic problem (1.1) with variable exponents p,q and non-divergence forcing f. Under the structural hypotheses (1.3), (1.9), (1.11)–(1.12) and the range restriction (2.4) on the integrability parameter r, Theorems 2.1–2.3 assert that a unique strong solution u∈V_r(Q_T) exists and inherits the modular integrability of the initial datum: F((·,t), abla u(·,t))| abla u(·,t)|^{r+2}∈L^1(Ω) a.e. t, together with the higher integrability | abla u|^{2(min{p,q}-1)+r+s}∈L^1(Q_T) for every s∈(0,4/(N+2)) and the second-order regularity F(z, abla u)| abla u|^{(r+2)/2}∈L^2(0,T;W^{1,2}(Ω)). The argument proceeds by regularizing the flux and data, deriving uniform a-priori estimates for classical solutions (energy, time derivative, second-order derivatives via the Green formula and pointwise Hessian inequalities), and passing to the limit by Vitali and modular Fatou arguments. The results extend the authors’ earlier work [1] to the full range r≥0, including the borderline σ=N+2.
Significance. The work supplies a complete existence–uniqueness–regularity theory for a class of double-phase parabolic equations with non-divergence data that had previously been treated only for r≥max{2,p^+,q^+}. The global Calderón–Zygmund transfer of integrability, the self-improving higher integrability of the gradient, and the second-order space regularity are obtained under the standard gap and coefficient-regularity package of the double-phase literature. The technical core—uniform estimates independent of the regularization parameters, careful absorption of lower-order terms arising from variable exponents and modulating coefficients, and identification of the second-order limits—is solid and improves upon the authors’ previous single-phase and double-phase results. The contribution is therefore a genuine and useful advance within the regularity theory of nonstandard-growth parabolic equations.
minor comments (4)
- The definition of the constant K(N,σ,p,q) on p. 6 is written with a missing parenthesis; the expression should be clarified so that the two competing terms inside the max are unambiguous.
- In several places (e.g., the statement of Theorem 2.2 and the estimate (2.5)) the higher-integrability exponent is written as 2(min{p(z),q(z)}-1)+r+s; it would help the reader if the authors consistently used the notation s(z)=min{p,q} already introduced on p. 4.
- The dependence of the constants C,C' on the data is stated repeatedly but never collected in a single list; a short remark after Theorem 2.3 listing the precise structural quantities that enter the constants would improve readability.
- A few typographical inconsistencies appear (e.g., “Calder´on-Zygmund” versus “Calderón–Zygmund”, occasional missing spaces after commas in multi-line displays). These are purely cosmetic.
Circularity Check
Minor self-citations supply technical lemmas and regularized existence; the new a-priori estimates for full r≥0 and non-divergence data are derived independently via Green formula, absorption and limit passage.
-
self citation load bearing
[Lemma 3.1 (and its use in Sections 4–6)]
"Lemma 3.1(Lemma 3.5, [1]). Let the data of problem(3.1)satisfy the following conditions:… then for everyϵ∈(0,1)problem(3.1)admits a classical solution u∈C^{2+δ,1+δ/2}(QT)…"
Existence of classical solutions to the regularized problem is taken from the authors’ prior paper [1] and serves as the starting point for all subsequent a-priori estimates. The citation is load-bearing for the approximation scheme, yet the estimates themselves (Green formula, absorption of lower-order terms, higher integrability) are re-derived independently for the extended range r≥0; the circularity is therefore only technical and minor.
-
self citation load bearing
[Lemma 3.2 / Corollary 4.1 of [1] and Lemma 3.4 from [30]]
"Lemma 3.2(Corollary 4.1, [1]). … Then, for every δ>0,s∈(0,r♯),… ∫Ω w^{s(z)-2+r+s}/2_ϵ | abla u|^{2} dx ≤ δ ∫Ω w^{r/2}_ϵ F_ϵ(z, abla u)|u_xx|^{2} dx + C. Lemma 3.4(Proposition 3.1, [30]). …"
Two families of interpolation inequalities and the Green formula that control boundary integrals are imported from the authors’ earlier works. They are used repeatedly in the absorption arguments of Sections 4–5. Because the subsequent case distinctions for ho and the passage to the limit are new and self-contained, the dependence remains non-circular for the main claims.
full rationale
This is a pure-analysis PDE paper whose central claims (Theorems 2.1–2.3) are existence of a unique strong solution together with global Calderón–Zygmund transfer of integrability, higher gradient integrability and second-order spatial regularity under the explicit structural package (1.3),(1.9),(1.11)–(1.12) and the range restriction (2.4) on r. The derivation proceeds by constructing classical solutions of a regularized problem, obtaining uniform a-priori estimates (Sections 4–5) by multiplication by the differentiated flux, Green’s formula, interpolation inequalities and case-by-case absorption of lower-order terms involving abla a, abla b,at,bt and f, then passing to the limit by Vitali, modular Fatou and identification of weak limits (Sections 6–7). The only self-citations that appear are for the existence of classical solutions of the regularized equation (Lemma 3.1 = Lemma 3.5 of [1]), a few interpolation inequalities (Lemma 3.2 = Corollary 4.1 of [1]) and the Green formula (Lemma 3.4 from [30]). These are used as black-box technical tools; the subsequent absorption arguments, the three cases of the main estimate, the higher-integrability and second-order conclusions, and the approximation of nonsmooth data are carried out from scratch and do not reduce by construction to the cited statements. No fitted parameters, self-definitional identities or uniqueness theorems imported solely from the authors appear. Consequently the circularity score remains low.
Assumptions & free parameters
assumptions (5)
- standard math Variable Lebesgue/Sobolev and Musielak-Orlicz spaces are reflexive Banach spaces under the log-Hölder or Lipschitz conditions on the exponents; Poincaré inequality holds for W^{1,p(·)}_0.
- standard math Classical solvability of the regularized non-degenerate parabolic problem (Lemma 3.1) when data are smooth and p^-,q^- > 2N/(N+2).
- domain assumption Gap condition |p-q| ≤ 2β/(N+2) (strict when β=1) and lower bound s^- > 2(N+1)/(N+2).
- domain assumption Space-time derivatives of a,b belong to L^d(Q_T) with d large enough depending on β,r,s^+ (condition (1.12)).
- domain assumption Domain Ω has C^{2+γ} boundary; trace of the second fundamental form can be controlled by a vector field μ with μ·ν ≥ 2γ > 0.
Cite this review
Pith. "Pith review of Global Calderon-Zygmund estimates for irregular double-phase evolution problem with non-divergence data." pith.science (2026). https://pith.science/paper/EWJHN77U
@misc{pith2026260704492,
author = {Pith},
title = {Pith review of: Global Calderon-Zygmund estimates for irregular double-phase evolution problem with non-divergence data},
year = {2026},
howpublished = {\url{https://pith.science/paper/EWJHN77U}},
note = {Machine review of arXiv:2607.04492}
}
abstract
We study irregular double-phase parabolic equations with variable exponents and non-divergence data, \[ u_t-\operatorname{div} \left(\mathcal{F}(z,\nabla u)\nabla u \right)=f(z),\quad z=(x,t)\in Q_T:=\Omega\times (0,T), \] under the homogeneous Dirichlet boundary conditions. Here, $\Omega \subset \mathbb{R}^N$, $N \geq 2$, is a bounded domain, $T>0$, \[ \mathcal{F}(z,\nabla u)=a(z)|\nabla u|^{p(z)-2} + b(z) |\nabla u |^{q(z)-2} \] with given Lipschitz-continuous exponents $p,q$ that satisfy a suitable balance condition. The nonnegative coefficients $a(z), b(z)$ satisfy the inequality $a(z)+b(z)>0$ in $Q_T$, the space and time derivatives of $a$ and $b$ belong to $L^d(Q_T)$ with some $d$ depending on the data. If \[ f\in L^\sigma(Q_T) \quad \text{for} \ \sigma \in (2, N+2] \quad \text{and} \quad \mathcal{F}((\cdot,0),\nabla u_0)\,|\nabla u_0|^{r+2}\in L^1(\Omega), \] where \(0\le r\le K(N,\sigma,p,q)\) if \(\sigma<N+2\), while \(r\ge0\) is arbitrary if \(\sigma=N+2\), then the problem has a unique strong solution, for which we prove the global transfer of integrability from the initial data and the forcing term to the double-phase flux in the spirit of Calder\'on-Zygmund theory, higher integrability of the gradient, and the second-order space regularity: \[ \begin{split} & \text{$\mathcal{F}((\cdot,t),\nabla u(\cdot,t))|\nabla u(\cdot,t)|^{r+2}\in L^1(\Omega)$ for a.e. $t\in (0,T)$}, \\ & \text{$|\nabla u|^{2(\min\{p(z),q(z)\}-1)+r+s}\in L^1(Q_T)$ for every $s\in\left(0,\frac{4}{N+2}\right)$}, \\ & \mathcal{F}(z,\nabla u)|\nabla u|^{\frac{r+2}{2}} \in L^2(0,T;W^{1,2}(\Omega)). \end{split} \] The results improve and complement the results in \cite{Arora-Shmarev-JGA-2026} and extend them to the full range $r \geq 0$.
Reference graph
Works this paper leans on
-
[1]
R. Arora, S. Shmarev, Irregular double-phase evolution problem: Existence and global regularity, Journal of Geometric Analysis 36 (6) (2026).doi:10.1007/s12220-026-02421-0. URLhttps://link.springer.com/article/10.1007/s12220-026-02421-0
-
[2]
V. V. Zhikov, Averaging of functionals of the calculus of variations and elasticity theory, Izv. Akad. Nauk SSSR Ser. Mat. 50 (4) (1986) 675–710, 877
1986
-
[3]
V. V. Zhikov, On Lavrentiev’s phenomenon, Russian J. Math. Phys. 3 (2) (1995) 249–269
1995
-
[4]
De Filippis, Gradient bounds for solutions to irregular parabolic equations with (p, q)-growth, Calc
C. De Filippis, Gradient bounds for solutions to irregular parabolic equations with (p, q)-growth, Calc. Var. Partial Differ- ential Equations 59 (5) (2020) Paper No. 171, 32.doi:10.1007/s00526-020-01822-5. URLhttps://doi.org/10.1007/s00526-020-01822-5
-
[6]
Kim, Calder´ on-Zygmund type estimate for the singular parabolic double-phase system, J
W. Kim, Calder´ on-Zygmund type estimate for the singular parabolic double-phase system, J. Math. Anal. Appl. 551 (1) (2025) Paper No. 129593.doi:10.1016/j.jmaa.2025.129593. URLhttps://doi.org/10.1016/j.jmaa.2025.129593
-
[7]
W. Kim, L. S¨ arki¨ o, Gradient higher integrability for singular parabolic double-phase systems, NoDEA Nonlinear Differential Equations Appl. 31 (3) (2024) Paper No. 40, 38.doi:10.1007/s00030-024-00928-5. URLhttps://doi.org/10.1007/s00030-024-00928-5
-
[8]
G. Mingione, V. Radulescu, Recent developments in problems with nonstandard growth and nonuniform ellipticity, J. Math. Anal. Appl. 501 (1) (2021) Paper No. 125197, 41.doi:10.1016/j.jmaa.2021.125197. URLhttps://doi.org/10.1016/j.jmaa.2021.125197
-
[9]
I. Chlebicka, P. Gwiazda, A. ´Swierczewska-Gwiazda, A. Wr´ oblewska-Kami´ nska, Partial differential equations in anisotropic Musielak-Orlicz spaces, Springer Monographs in Mathematics, Springer, Cham, [2021]©2021.doi:10.1007/ 978-3-030-88856-5. URLhttps://doi.org/10.1007/978-3-030-88856-5
Show all 39 references
-
[10]
Iwaniec, Projections onto gradient fields andL p-estimates for degenerated elliptic operators, Studia Math
T. Iwaniec, Projections onto gradient fields andL p-estimates for degenerated elliptic operators, Studia Math. 75 (3) (1983) 293–312.doi:10.4064/sm-75-3-293-312. URLhttps://doi.org/10.4064/sm-75-3-293-312
1983 doi
-
[11]
DiBenedetto, J
E. DiBenedetto, J. Manfredi, On the higher integrability of the gradient of weak solutions of certain degenerate elliptic systems, Amer. J. Math. 115 (5) (1993) 1107–1134.doi:10.2307/2375066. URLhttps://doi.org/10.2307/2375066
1993 doi
-
[12]
S.-S. Byun, W. Kim, Global Calder´ on-Zygmund estimate forp-Laplacian parabolic system, Math. Ann. 383 (1-2) (2022) 77–118.doi:10.1007/s00208-020-02089-z. URLhttps://doi.org/10.1007/s00208-020-02089-z
2022 doi
-
[13]
Andrade, V
P. Andrade, V. B¨ ogelein, F. Duzaar, K. Moring, Calder´ on-Zygmund estimates for parabolic p-laplacian systems with non-divergence form right-hand sides, Ricerche mat (2026).doi:https://doi.org/10.1007/s11587-026-01137-1
2026 doi
-
[14]
Kinnunen, S
J. Kinnunen, S. Zhou, A boundary estimate for nonlinear equations with discontinuous coefficients, Differential Integral Equations 14 (4) (2001) 475–492. DOUBLE-PHASE EVOLUTION PROBLEM 39
2001
-
[15]
S.-S. Byun, J. Ok, S. Ryu, Global gradient estimates for general nonlinear parabolic equations in nonsmooth domains, J. Differential Equations 254 (11) (2013) 4290–4326.doi:10.1016/j.jde.2013.03.004. URLhttps://doi.org/10.1016/j.jde.2013.03.004
2013 doi
-
[16]
Colombo, G
M. Colombo, G. Mingione, Calder´ on-Zygmund estimates and non-uniformly elliptic operators, J. Funct. Anal. 270 (4) (2016) 1416–1478.doi:10.1016/j.jfa.2015.06.022. URLhttps://doi.org/10.1016/j.jfa.2015.06.022
2016 doi
-
[17]
De Filippis, G
C. De Filippis, G. Mingione, A borderline case of Calder´ on-Zygmund estimates for nonuniformly elliptic problems, Algebra i Analiz 31 (3) (2019) 82–115.doi:10.1090/spmj/1608. URLhttps://doi.org/10.1090/spmj/1608
2019 doi
-
[18]
Acerbi, G
E. Acerbi, G. Mingione, Gradient estimates for a class of parabolic systems, Duke Math. J. 136 (2) (2007) 285–320. doi:10.1215/S0012-7094-07-13623-8. URLhttps://doi.org/10.1215/S0012-7094-07-13623-8
2007 doi
-
[19]
Acerbi, G
E. Acerbi, G. Mingione, G. A. Seregin, Regularity results for parabolic systems related to a class of non-Newtonian fluids, Ann. Inst. H. Poincar´ e C Anal. Non Lin´ eaire 21 (1) (2004) 25–60.doi:10.1016/S0294-1449(03)00031-3. URLhttps://doi-org.uniovi.idm.oclc.org/10.1016/S02...
2004 doi
-
[20]
Crispo, P
F. Crispo, P. Maremonti, M. Rucicka, GlobalL r-estimates and regularizing effect for solutions to thep(t, x)-Laplacian systems, Adv. Differential Equations 24 (7-8) (2019) 407–434. URLhttps://projecteuclid.org/euclid.ade/1556762454
2019
-
[21]
Baroni, V
P. Baroni, V. B¨ ogelein, Calder´ on-Zygmund estimates for parabolicp(x, t)-Laplacian systems, Rev. Mat. Iberoam. 30 (4) (2014) 1355–1386.doi:10.4171/RMI/817. URLhttps://doi.org/10.4171/RMI/817
2014 doi
-
[22]
S.-S. Byun, J. Oh, L. Wang, Global Calder´ on-Zygmund theory for asymptotically regular nonlinear elliptic and parabolic equations, Int. Math. Res. Not. IMRN (17) (2015) 8289–8308.doi:10.1093/imrn/rnu203. URLhttps://doi.org/10.1093/imrn/rnu203
2015 doi
-
[23]
Kim, Calder´ on-zygmund type estimate for the parabolic double-phase system, to appear in Ann
W. Kim, Calder´ on-zygmund type estimate for the parabolic double-phase system, to appear in Ann. Sc. Norm. Super. Pisa Cl. Sci. (2025)
2025
-
[24]
Antontsev, V
S. Antontsev, V. Zhikov, Higher integrability for parabolic equations ofp(x, t)-Laplacian type, Adv. Differential Equations 10 (9) (2005) 1053–1080
2005
-
[25]
V. V. Zhikov, S. E. Pastukhova, On the property of higher integrability for parabolic systems of variable order of nonlin- earity, Mat. Zametki 87 (2) (2010) 179–200.doi:10.1134/S0001434610010256. URLhttps://doi.org/10.1134/S0001434610010256
2010 doi
-
[26]
H¨ ast¨ o, J
P. H¨ ast¨ o, J. Ok, Higher integrability for parabolic systems with Orlicz growth, J. Differential Equations 300 (2021) 925–948. doi:10.1016/j.jde.2021.08.012. URLhttps://doi.org/10.1016/j.jde.2021.08.012
2021 doi
-
[27]
Sen, Gradient higher integrability for degenerate/singular parabolic multi-phase problems, J
A. Sen, Gradient higher integrability for degenerate/singular parabolic multi-phase problems, J. Geom. Anal. 35 (6) (2025) Paper No. 170, 95.doi:10.1007/s12220-025-01950-4. URLhttps://doi.org/10.1007/s12220-025-01950-4
2025 doi
-
[28]
Arora, S
R. Arora, S. Shmarev, Strong solutions of evolution equations withp(x, t)-Laplacian: existence, global higher integrability of the gradients and second-order regularity, J. Math. Anal. Appl. 493 (1) (2021) Paper No. 124506, 31.doi:10.1016/j. jmaa.2020.124506. URLhttps://doi.or...
2021 doi
-
[29]
Arora, S
R. Arora, S. Shmarev, Optimal global second-order regularity and improved integrability for parabolic equations with variable growth, Advances in Nonlinear Analysis 13 (1) (2024) 20240016 [cited 2024-07-07].doi:doi:10.1515/ anona-2024-0016. URLhttps://doi.org/10.1515/anona-2024-0016
2024 doi
-
[30]
Arora, S
R. Arora, S. Shmarev, Global gradient estimates for solutions of parabolic equations with nonstandard growth, J. Math. Anal. Appl. 549 (2) (2025) Paper No. 129582, 36.doi:10.1016/j.jmaa.2025.129582. URLhttps://doi.org/10.1016/j.jmaa.2025.129582
2025 doi
-
[31]
Duzaar, G
F. Duzaar, G. Mingione, K. Steffen, Parabolic systems with polynomial growth and regularity, Mem. Amer. Math. Soc. 214 (1005) (2011) x+118.doi:10.1090/S0065-9266-2011-00614-3. URLhttps://doi-org.uniovi.idm.oclc.org/10.1090/S0065-9266-2011-00614-3
2011 doi
-
[32]
Y. Feng, M. Parviainen, S. Sarsa, A systematic approach on the second order regularity of solutions to the general parabolic p-Laplace equation, Calc. Var. Partial Differential Equations 62 (7) (2023) Paper No. 204
2023
-
[33]
L. C. Berselli, M. Ruzicka, Natural second-order regularity for parabolic systems with operators having (p, δ)-structure and depending only on the symmetric gradient, Calc. Var. Partial Differential Equations 61 (4) (2022) Paper No. 137, 49. doi:10.1007/s00526-022-02247-y. URL...
2022 doi
-
[34]
Cianchi, V
A. Cianchi, V. G. Maz’ya, Second-order regularity for parabolicp-Laplace problems, J. Geom. Anal. 30 (2) (2020) 1565– 1583.doi:10.1007/s12220-019-00213-3. URLhttps://doi-org.uniovi.idm.oclc.org/10.1007/s12220-019-00213-3
2020 doi
-
[35]
Diening, P
L. Diening, P. Harjulehto, P. H¨ ast¨ o, M. Ruzicka, Lebesgue and Sobolev spaces with variable exponents, Vol. 2017 of Lecture Notes in Mathematics, Springer, Heidelberg, 2011.doi:10.1007/978-3-642-18363-8. URLhttps://doi.org/10.1007/978-3-642-18363-8 40 RAKESH ARORA AND SERGE...
2017 doi
-
[36]
Harjulehto, P
P. Harjulehto, P. H¨ ast¨ o, Orlicz spaces and generalized Orlicz spaces, Vol. 2236 of Lecture Notes in Mathematics, Springer, Cham, 2019.doi:10.1007/978-3-030-15100-3. URLhttps://doi.org/10.1007/978-3-030-15100-3
2019 doi
-
[37]
Grisvard, Elliptic problems in nonsmooth domains, Vol
P. Grisvard, Elliptic problems in nonsmooth domains, Vol. 69 of Classics in Applied Mathematics, Society for Industrial and Applied Mathematics (SIAM), Philadelphia, PA, 2011, reprint of the 1985 original [MR0775683], With a foreword by Susanne C. Brenner.doi:10.1137/1.9781611...
2011 doi
-
[38]
Arora, S
R. Arora, S. Shmarev, Existence and regularity results for a class of parabolic problems with double phase flux of variable growth, Rev. R. Acad. Cienc. Exactas F´ ıs. Nat. Ser. A Mat. RACSAM 117 (1) (2023) Paper No. 34, 48.doi:10.1007/ s13398-022-01346-x. URLhttps://doi.org/1...
2023 doi
-
[39]
Simon, Compact sets in the spaceL p(0, T;B), Ann
J. Simon, Compact sets in the spaceL p(0, T;B), Ann. Mat. Pura Appl. (4) 146 (1987) 65–96.doi:10.1007/BF01762360. URLhttps://doi.org/10.1007/BF01762360
1987 doi
-
[40]
Chipot, H
M. Chipot, H. B. de Oliveira, Some results on thep(u)-Laplacian problem, Math. Ann. 375 (1-2) (2019) 283–306.doi: 10.1007/s00208-019-01803-w. URLhttps://doi.org/10.1007/s00208-019-01803-w Department of Mathematical Sciences, Indian Institute of Technology (IIT-BHU), Varanasi 2...
2019 doi
Reviewed July 11, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.