Calder\'on-Zygmund estimates for parabolic p-Laplacian systems with non-divergence form right-hand sides
Pith reviewed 2026-05-09 20:41 UTC · model grok-4.3
The pith
If the right-hand side of a parabolic p-Laplacian system is in L to the power mu s locally, then the spatial gradient of the weak solution gains L to the power s integrability.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
For weak solutions to parabolic systems with p-growth and VMO coefficients, membership of the right-hand side in L to the power mu s locally, with the exponent mu chosen depending on p, the dimension N, and a target s greater than p, implies that the spatial gradient Du belongs to L to the power s locally. This yields a sharp integrability transfer consistent with parabolic scaling and recovers the optimal linear-case exponents at p equals 2.
What carries the argument
Intrinsic scaling techniques combined with a Calderon-Zygmund iteration scheme, which upgrade integrability from the right-hand side to the gradient under the VMO condition on the coefficients.
If this is right
- The estimates apply directly to systems rather than only scalar equations.
- The optimal exponents known for the linear parabolic case p equals 2 are recovered as a special case.
- The integrability transfer respects the natural parabolic scaling relation between time and space.
- The result is local, so it applies inside any subdomain where the assumptions hold.
Where Pith is reading between the lines
- The same scaling-plus-iteration approach might adapt to other growth exponents or to systems with different structural assumptions if the VMO condition can be maintained.
- Numerical tests on explicit radial solutions could verify whether the explicit dependence of mu on p and N is sharp in practice.
- The estimates could serve as a starting point for proving higher regularity or partial regularity results when additional structure is present.
Load-bearing premise
The coefficients satisfy the vanishing mean oscillation condition and the system obeys standard p-growth without extra singularities.
What would settle it
A concrete weak solution in which the right-hand side lies in the predicted L to the power mu s space yet the spatial gradient fails to reach L to the power s integrability.
read the original abstract
We establish local Calder\'on-Zygmund type estimates for weak solutions to nonlinear parabolic systems with $p$-growth and VMO coefficients. In particular, we prove that if the right-hand side belongs locally to $L^{\mu s}$, where the exponent $\mu$ depends explicitly on $p$, $N$, and a prescribed target exponent $s>p$, then the spatial gradient of the solution enjoys improved integrability $Du \in L^s_{\rm{loc}}$. The result provides a sharp transfer of integrability from the data to the gradient, consistent with the natural parabolic scaling, and recovers the optimal exponents in the linear case $p=2$. The proof combines intrinsic scaling techniques with a Calder\'on-Zygmund type iteration scheme.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript establishes local Calderón-Zygmund estimates for weak solutions of parabolic p-Laplacian systems with VMO coefficients and non-divergence right-hand sides. It proves that local membership of the right-hand side in L^{μs} (with μ depending explicitly on p, N and a target s > p) implies Du ∈ L^s_loc, via intrinsic scaling combined with a Calderón-Zygmund iteration scheme; the result recovers the optimal linear exponents when p = 2.
Significance. If the estimates hold, the work supplies a sharp, scaling-consistent transfer of integrability from data to gradient for nonlinear parabolic systems, extending known linear and scalar results to the vectorial VMO setting. The explicit dependence of μ and the use of intrinsic cylinders are positive features that align with the parabolic structure.
major comments (2)
- [Proof of Theorem 1.1 (or equivalent main result)] The iteration scheme must be checked to ensure that the VMO modulus enters the constants in a controllable way; if the smallness of the VMO oscillation is used to absorb error terms in the CZ iteration, the dependence of the final constant on the VMO modulus should be stated explicitly (likely in the proof of the main theorem).
- [Section 3 or 4 (preliminaries on exponents)] The explicit formula for the exponent μ(p, N, s) is asserted to be chosen so that the iteration closes and recovers the p = 2 case; this formula and the verification that it satisfies the necessary inequalities (e.g., μ > 1 and compatibility with the intrinsic scaling) must appear before the iteration begins.
minor comments (3)
- [Section 2] Notation for the intrinsic cylinders (e.g., the radius scaling with |Du|^{p-2}) should be introduced once and used consistently; a short table or list of the cylinders appearing in the estimates would improve readability.
- [Theorem 1.1] The statement of the main theorem should include the precise dependence of the constant C on the VMO modulus, p, N, s and the local L^{μs} norm of the right-hand side.
- [Introduction] A brief comparison paragraph with the corresponding results for divergence-form right-hand sides or for the linear case would help situate the contribution.
Simulated Author's Rebuttal
We thank the referee for the careful reading of our manuscript and the constructive comments. We address each major comment below and have revised the manuscript accordingly.
read point-by-point responses
-
Referee: [Proof of Theorem 1.1 (or equivalent main result)] The iteration scheme must be checked to ensure that the VMO modulus enters the constants in a controllable way; if the smallness of the VMO oscillation is used to absorb error terms in the CZ iteration, the dependence of the final constant on the VMO modulus should be stated explicitly (likely in the proof of the main theorem).
Authors: We agree with the referee that the dependence of the constants on the VMO modulus should be made explicit. In the revised manuscript, we have included a detailed remark in the proof of the main theorem (Theorem 1.1) explaining how the smallness condition on the VMO oscillation is chosen depending on the target integrability exponent s, and we explicitly state the dependence of the constant C on the VMO modulus function ω. revision: yes
-
Referee: [Section 3 or 4 (preliminaries on exponents)] The explicit formula for the exponent μ(p, N, s) is asserted to be chosen so that the iteration closes and recovers the p = 2 case; this formula and the verification that it satisfies the necessary inequalities (e.g., μ > 1 and compatibility with the intrinsic scaling) must appear before the iteration begins.
Authors: We thank the referee for this observation. The explicit formula for μ(p, N, s) and the verification of the required inequalities (including μ > 1 and compatibility with intrinsic scaling) have been added at the beginning of the preliminaries section (Section 3), prior to the start of the Calderón-Zygmund iteration scheme. This ensures the iteration closes properly and recovers the optimal linear exponents when p=2. revision: yes
Circularity Check
No significant circularity; derivation is self-contained via standard techniques
full rationale
The paper derives local Calderón-Zygmund estimates for weak solutions to parabolic p-growth systems with VMO coefficients by combining intrinsic scaling with a CZ-type iteration scheme. The integrability transfer from RHS in L^{μs} (with μ chosen explicitly from p, N, s) to Du ∈ L^s_loc follows directly from these methods applied to the weak solution framework, without any reduction to self-definition, fitted parameters renamed as predictions, or load-bearing self-citations. The approach recovers the linear p=2 case consistently with parabolic scaling and relies on previously validated techniques external to the present work, rendering the central claim independent of its own inputs.
Axiom & Free-Parameter Ledger
axioms (2)
- standard math Weak solutions exist and satisfy the natural energy estimates for parabolic p-Laplacian systems
- domain assumption Coefficients are VMO
Reference graph
Works this paper leans on
-
[1]
E. Acerbi and G. Mingione. Gradient estimates for thep(x)-Laplacean system.J. Reine Angew. Math.584 (2005), 117-148
work page 2005
-
[2]
E. Acerbi and G. Mingione. Gradient estimates for a class of parabolic systems.Duke Math. J.136 (2007), no. 2, 285-320
work page 2007
-
[3]
P. Baroni and V . B¨ogelein. Calder´on-Zygmund estimates for parabolicp(x, t)-Laplacian systems.Rev. Mat. Iberoam.30 (2014), no. 4, 1355-1386
work page 2014
-
[4]
P. Baroni and J. Habermann. New gradient estimates for parabolic equations.Houston J. Math.38 (2012), no. 3, 855-914
work page 2012
-
[5]
M. E. Bogovski ˘ı. Solutions of some problems of vector analysis, associated with the operators div and grad. Trudy Sem. S. L. Sobolev, no. 1 (1980), 5-40
work page 1980
- [6]
-
[7]
V . B¨ogelein and F. Duzaar. Higher integrability for parabolic systems with non-standard growth and degen- erate diffusions.Publ. Mat.55 (2011), no. 1, 201-250
work page 2011
-
[8]
V . B¨ogelein, F. Duzaar, U. Gianazza, N. Liao, and C. Scheven. Schauder estimates for parabolicp-Laplace systemsJ. Lond. Math. Soc. (2), to appear, DOI:10.1112/jlms.70463
-
[9]
V . B¨ogelein, F. Duzaar, N. Liao and K. Moring. Gradient estimates for the fractionalp-Poisson equation. Journal de Math´ematiques Pures et Appliqu´ees (9)204 (2025), Paper No. 103764, 25 pp
work page 2025
-
[10]
V . B¨ogelein, F. Duzaar, N. Liao and K. Moring. Sharp gradient integrability for(s, p)-Poisson type equa- tions. preprint,arXiv:2602.08944
-
[11]
V . B¨ogelein, F. Duzaar, and G. Mingione. Degenerate problems with irregular obstacles.J. Reine Angew. Math.650 (2011), 107-160
work page 2011
-
[12]
S. S. Byun and Y . Cho. Nonlinear gradient estimates for parabolic problems with irregular obstacles.Non- linear Anal.94 (2014), 32-44
work page 2014
-
[13]
S. S. Byun, K. Kim, and D. Kumar. Gradient estimates for mixed local and nonlocal parabolic problems with measure data.J. Math. Anal. Appl.538 (2024), no. 2, Paper No. 128351, 30 pp
work page 2024
-
[14]
S. S. Byun and W. Kim. Global Calder ´on-Zygmund estimate forp-Laplacian parabolic system.Math. Ann. 383 (2022), no. 1-2, 77–118
work page 2022
-
[15]
S. S. Byun, J. Oh, and L. Wang. Global Calder ´on-Zygmund theory for asymptotically regular nonlinear elliptic and parabolic equations.Int. Math. Res. Not. IMRN2015, no. 17, 8289-8308
-
[16]
L. A. Caffarelli and I. Peral. OnW 1,p estimates for elliptic equations in divergence form.Comm. Pure Appl. Math.51 (1998), no. 1, 1-21
work page 1998
-
[17]
Y . Cho, S. Ryu and K. Song. Global Calder ´on-Zygmund estimates for parabolic quasiminimizers.Bull. Lond. Math. Soc. 57 (2025), no. 8, 2265-2285
work page 2025
-
[18]
E. DiBenedetto,Degenerate parabolic equations,Springer-Verlag, Universitytext xv, 387, New York, NY , 1993
work page 1993
-
[19]
E. DiBenedetto and A. Friedman. H ¨older estimates for nonlinear degenerate parabolic systems.J. Reine Angew. Math., 357 (1985), 1-22
work page 1985
-
[20]
E. DiBenedetto and J. Manfredi. On the higher integrability of the gradient of weak solutions of certain degenerate elliptic systems.Amer. J. Math.115 (1993), no. 5, 1107-1134
work page 1993
-
[21]
L. Diening, K. Kim, H.-S. Lee, and S. Nowak. Gradient estimates for parabolic nonlinear nonlocal equa- tions.Calc. Var. Partial Differential Equations64 (2025), no. 3, Paper No. 98, 86 pp
work page 2025
-
[22]
F. Duzaar and G. Mingione. Gradient estimates via non-linear potentials.Amer. J. Math.133 (2011), no. 4, 1093-11149
work page 2011
- [23]
-
[24]
G. P. Galdi. An Introduction to the Mathematical Theory of the Navier-Stokes Equations. Springer Mono- graphs in Mathematics, 2011
work page 2011
-
[25]
E. Giusti.Direct Methods in the Calculus of Variations.World Scientific Publishing Company, Tuck Link, Singapore, 2003
work page 2003
-
[26]
T. Iwaniec. Projections onto gradient fields andL p-estimates for degenerated elliptic operators.Studia Math.75 (1983), no. 3, 293-312
work page 1983
-
[27]
J. Kinnunen and J. L. Lewis. Higher integrability for parabolic systems ofp-Laplacian-type.Duke Math. J. 102 (2000), no. 2, 253-271
work page 2000
-
[28]
J. Kinnunen and S. Zhou. A local estimate for nonlinear equations with discontinuous coefficients.Comm. Partial Differential Equations24 (1999), no. 11-12, 2043-2068
work page 1999
-
[29]
J. Kinnunen and S. Zhou. A boundary estimate for nonlinear equations with discontinuous coefficients. Differential Integral Equations14 (2001), no. 4, 475-492
work page 2001
-
[30]
T. Kuusi and G. Mingione. Potential estimates and gradient boundedness for nonlinear parabolic systems. Rev. Mat. Iberoam.28 (2012), no. 2, 535-576. CALDER ´ON-ZYGMUND ESTIMATES FOR PARABOLICp-LAPLACIAN SYSTEMS 25
work page 2012
-
[31]
T. Kuusi and G. Mingione. Riesz potentials and nonlinear parabolic equations.Arch. Ration. Mech. Anal. 212 (2014), no. 3, 727-780
work page 2014
-
[32]
T. Kuusi and G. Mingione. The Wolff gradient bound for degenerate parabolic equations.J. Eur. Math. Soc. (JEMS)16 (2014), no. 4, 835-892
work page 2014
-
[33]
T. Kuusi and G. Mingione. Borderline gradient continuity for nonlinear parabolic systems.Math. Ann.360 (2014), no. 3-4, 937–993
work page 2014
- [34]
- [35]
- [36]
-
[37]
I. Peral and F. Soria. A note onW 1,p estimates for quasilinear parabolic equations.Electron. J. Differ. Equ., Conf., 8 (2002),121-131
work page 2002
-
[38]
C. Scheven. Non-linear Calder ´on-Zygmund theory for parabolic systems with subquadratic growth.J. Evol. Equ.10 (2010), no. 3, 597-622. P ˆEDRAANDRADE, FACHBEREICHMATHEMATIK, UNIVERSIT ¨ATSALZBURG, HELLBRUNNERSTR. 34, 5020 SALZBURG, AUSTRIA Email address:pedra.andrade@plus.ac.at VERENAB ¨OGELEIN, FACHBEREICHMATHEMATIK, UNIVERSIT ¨ATSALZBURG, HELLBRUNNERST...
work page 2010
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.