pith. sign in

arxiv: 1907.06307 · v1 · pith:UZYM525Enew · submitted 2019-07-15 · 🧮 math.AP

Regularity of weak solutions to a certain class of parabolic system

Zhong Tan , Jianfeng Zhou This is my paper

Pith reviewed 2026-05-24 21:47 UTC · model grok-4.3

classification 🧮 math.AP
keywords parabolic systemsweak solutionsHölder continuityA-caloric approximationsingular setparabolic measurefractional differentiability
0
0 comments X

The pith

Weak solutions to a class of parabolic systems with continuous coefficients are locally Hölder continuous with any exponent in (0,1) outside a singular set of zero parabolic measure.

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

The paper studies regularity for weak solutions of second-order parabolic systems under the sole assumption that coefficients are continuous. It applies the A-caloric approximation argument to conclude that such solutions are locally Hölder continuous for every exponent less than 1 except on a singular set of zero parabolic measure. The set of regularity points is shown to be open and to occupy full measure inside the space-time cylinder QT. A general criterion is given for regularity near an arbitrary point. The work further establishes fractional differentiability of the gradient Du in time and space while determining the Hausdorff dimension of the singular set.

Core claim

By using the A-caloric approximation argument, we claim that the weak solution u to such system is locally Hölder continuous with any exponent α∈(0,1) outside a singular set with zero parabolic measure. In particular, we prove that the regularity point in QT is an open set with full measure, and we obtain a general criterion for a weak solution to be regular in the neighborhood of a given point. Finally, we deduce the fractional time and fractional space differentiability of Du, and at this stage, we obtain the Hausdorff dimension of singular set of u.

What carries the argument

The A-caloric approximation argument, which reduces the problem to caloric functions under the assumption of continuous coefficients to obtain Hölder continuity.

If this is right

  • The set of regular points in QT is open and has full parabolic measure.
  • A general criterion determines regularity of a weak solution near any prescribed point.
  • The spatial gradient Du is fractionally differentiable in both time and space.
  • The singular set of u admits a finite Hausdorff dimension bound.

Where Pith is reading between the lines

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

  • The result extends prior regularity theorems that required smoother coefficients beyond mere continuity.
  • Almost-everywhere Hölder continuity may imply additional integrability properties for Du that are not explicitly derived.
  • Similar approximation techniques could be tested on related nonlinear parabolic systems with continuous coefficients.

Load-bearing premise

The system must belong to the specific class for which the A-caloric approximation argument applies under only the assumption of continuous coefficients.

What would settle it

A weak solution belonging to the class that fails to be Hölder continuous on a set of positive parabolic measure would disprove the main regularity statement.

read the original abstract

We study the regularity of weak solutions to a certain class of second order parabolic system under the only assumption of continuous coefficients. By using the $A-$caloric approximation argument, we claim that the weak solution $u$ to such system is locally H\"{o}lder continuous with any exponent $\alpha\in(0,1)$ outside a singular set with zero parabolic measure. In particular, we prove that the regularity point in $Q_T$ is an open set with full measure, and we obtain a general criterion for a weak solution to be regular in the neighborhood of a given point. Finally, we deduce the fractional time and fractional space differentiability of $D u$, and at this stage, we obtain the Hausdorff dimension of singular set of $u$.

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

2 major / 2 minor

Summary. The manuscript claims that weak solutions to a certain class of second-order parabolic systems with merely continuous coefficients are locally Hölder continuous with any exponent α∈(0,1) outside a singular set of zero parabolic measure. Using the A-caloric approximation argument, it asserts that the set of regular points in QT is open and of full measure, provides a general regularity criterion at a given point, and deduces fractional differentiability of Du together with a bound on the Hausdorff dimension of the singular set.

Significance. If the A-caloric approximation applies under the stated hypotheses, the result would extend partial regularity theory to parabolic systems with minimal coefficient regularity. The manuscript does not supply machine-checked proofs or reproducible code, but the claimed parameter-free character of the conclusion (full-measure regular set for any α<1) would be a strength if the approximation step is rigorously closed.

major comments (2)
  1. [Abstract and §1] Abstract and §1 (main theorem statement): the claim that the A-caloric approximation lemma yields the stated Hölder regularity rests on the unverified assertion that the lemma applies to the given class under only continuous coefficients. Standard A-caloric lemmas require a modulus of continuity (or Dini-type condition) to obtain the necessary excess decay; the manuscript must exhibit the precise structural hypotheses on the system (growth, ellipticity, form of the nonlinearity) that close the approximation without additional assumptions.
  2. [§3] §3 (A-caloric approximation step): the error estimate between the weak solution and the approximating caloric function is load-bearing for the partial regularity conclusion, yet no explicit verification is given that the continuity of coefficients alone produces the required decay rate without a quantitative modulus. If this step reduces to a fitted quantity or hidden structural hypothesis, the passage to zero parabolic measure of the singular set fails.
minor comments (2)
  1. [§1] Notation for the parabolic cylinder QT and the parabolic measure should be defined at first use rather than assumed standard.
  2. [Abstract] The statement that the regular set is open with full measure should be cross-referenced to the precise theorem number where it is proved.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and the constructive major comments. We address each point below and will revise the manuscript to strengthen the presentation of the structural hypotheses and the approximation step.

read point-by-point responses

  1. Referee: [Abstract and §1] Abstract and §1 (main theorem statement): the claim that the A-caloric approximation lemma yields the stated Hölder regularity rests on the unverified assertion that the lemma applies to the given class under only continuous coefficients. Standard A-caloric lemmas require a modulus of continuity (or Dini-type condition) to obtain the necessary excess decay; the manuscript must exhibit the precise structural hypotheses on the system (growth, ellipticity, form of the nonlinearity) that close the approximation without additional assumptions.

    Authors: We agree that the structural hypotheses and the role of coefficient continuity must be stated more explicitly. The system satisfies standard quadratic growth, uniform ellipticity, and a Carathéodory-type nonlinearity. Because the coefficients are continuous on the compact closure of any parabolic cylinder, they are uniformly continuous and therefore admit a modulus of continuity. In the revision we will add an explicit list of these hypotheses in §1 together with a short paragraph clarifying how the modulus is used to close the excess-decay estimate in the A-caloric lemma. No additional Dini-type assumption is imposed beyond continuity. revision: yes

  2. Referee: [§3] §3 (A-caloric approximation step): the error estimate between the weak solution and the approximating caloric function is load-bearing for the partial regularity conclusion, yet no explicit verification is given that the continuity of coefficients alone produces the required decay rate without a quantitative modulus. If this step reduces to a fitted quantity or hidden structural hypothesis, the passage to zero parabolic measure of the singular set fails.

    Authors: We acknowledge that the error estimate in §3 requires a more detailed verification. The continuity of the coefficients permits us to choose the cylinder radius small enough that the oscillation of the coefficients is arbitrarily small; this controls the perturbation term in the approximation and yields the necessary decay. In the revised manuscript we will insert a self-contained calculation of this error estimate, making transparent that the argument relies only on uniform continuity on compact sets and the already-stated structural assumptions, without hidden quantitative conditions. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation presented as independent proof from continuous coefficients

full rationale

The paper's central claim is a regularity result for weak solutions of a parabolic system, obtained via the A-caloric approximation argument under the sole structural hypothesis of continuous coefficients. No quoted step reduces a prediction or conclusion to a fitted parameter, self-definition, or load-bearing self-citation chain; the abstract frames the argument as a direct application of the approximation lemma to yield Hölder continuity outside a zero-measure singular set. The derivation is therefore self-contained against external benchmarks and does not exhibit any of the enumerated circularity patterns.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Only the abstract is available; ledger entries are inferred from standard assumptions in parabolic regularity papers rather than explicit statements in the text.

axioms (1)
  • standard math Standard Sobolev and parabolic function spaces are well-defined and the weak formulation makes sense for continuous coefficients.
    Implicit in any weak-solution theory for second-order parabolic systems.

pith-pipeline@v0.9.0 · 5651 in / 1218 out tokens · 42314 ms · 2026-05-24T21:47:54.390894+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

52 extracted references · 52 canonical work pages

  1. [1]

    Acerbi, G

    E. Acerbi, G. Mingione, Gradient estimates for a class of parabolic systems, Duke Math. J. 136 (2007) 285-320

    work page 2007

  2. [2]

    Acerbi, G

    E. Acerbi, G. Mingione, Regularity results for stationa ry electro-rheological fluids, Arch. Ration. Mech. Anal., 164 (2002) 213-259

    work page 2002

  3. [3]

    Baroni, Regularity in parabolic dini continuous syst ems, Forum Math, 23(5) (2011) 1093-1112

    P . Baroni, Regularity in parabolic dini continuous syst ems, Forum Math, 23(5) (2011) 1093-1112

    work page 2011

  4. [4]

    Beck, Boundary regularity for elliptic problems with continuous coefficients, J

    L. Beck, Boundary regularity for elliptic problems with continuous coefficients, J. Convex Anal., 16 (2009) 287-320

    work page 2009

  5. [5]

    Beck, Partial regularity for weak solutions of nonlin ear elliptic systems, the subquadratic case, Manuscripta M ath., 123(4) (2007) 453-491

    L. Beck, Partial regularity for weak solutions of nonlin ear elliptic systems, the subquadratic case, Manuscripta M ath., 123(4) (2007) 453-491

    work page 2007

  6. [6]

    Boccia, L

    S. Boccia, L. Caso, Interpolation inequalities in weigh ted Sobolev spaces, J. Math. Inequal., 2(3) (2008) 309-322

    work page 2008

  7. [7]

    B¨ ogelein, F

    V . B¨ ogelein, F. Duzaar, J. Habermann, C. Scheven, Parti al H¨ older continuity for discontinuous elliptic problems with VMO-coefficients, Proc. London Math. Soc., 103(3) (2011) 371-404. 32 ZHONG TAN AND JIANFENG ZHOU

    work page 2011

  8. [8]

    B¨ ogelein, F

    V . B¨ ogelein, F. Duzaar, G. Mingione, The boundary regularity of non-linear parabolic systems I, Ann. Inst. H. Poinc ar´ e Anal. Non Lin´ eaire, 27(1) (2010) 201-255

    work page 2010

  9. [9]

    B¨ ogelein, F

    V . B¨ ogelein, F. Duzaar, G. Mingione, The boundary regularity of non-linear parabolic systems II, Ann. Inst. H. Poin car´ e Anal. Non Lin´ eaire, 27(1) (2010) 145-200

    work page 2010

  10. [10]

    B¨ ogelein, F

    V . B¨ ogelein, F. Duzaar, G. Mingione, The regularity ofgeneral parabolic systems with degenerate diffusions, Mem. Amer. Math. Soc., 221(1041) (2013) pp.143

    work page 2013

  11. [11]

    B¨ ogelein, M

    V . B¨ ogelein, M. Foss, G. Mingione, Regularity in parab olic systems with continuous coe fficients, Math. Z., 270(3-4) (2012) 903-938

    work page 2012

  12. [12]

    S. Chen, Z. Tan, Optimal partial regularity of second or der parabolic systems under controllable growth condition , J. Funct. Anal., 266(8) (2014) 4908-4937

    work page 2014

  13. [13]

    Ca ffarelli, R

    L. Ca ffarelli, R. Kohn, L. Nirenberg, First order interpolation in equalities with weights, Compos. Math., 53 (1984) 259- 275

    work page 1984

  14. [14]

    Campanato, Di fferentiability of the solutions of nonlinear elliptic syste ms with natural growth, Ann

    S. Campanato, Di fferentiability of the solutions of nonlinear elliptic syste ms with natural growth, Ann. Math. Pura Appl., 131(4) (1982) 75-106

    work page 1982

  15. [15]

    Campanato, Equazioni paraboliche del secondo ordin e e spazi L2,θ(Ω, δ), Ann

    S. Campanato, Equazioni paraboliche del secondo ordin e e spazi L2,θ(Ω, δ), Ann. Mat. Pura Appl., 73(4) (1966) 55-102

    work page 1966

  16. [16]

    Campanato, H¨ older continuity and partial H¨ older c ontinuity results for H1,q−solutions of nonlinear elliptic systems with controlled growth, Rend

    S. Campanato, H¨ older continuity and partial H¨ older c ontinuity results for H1,q−solutions of nonlinear elliptic systems with controlled growth, Rend. Sem. Mat. Fis. Milano, 52 (198 2) 435-472

    work page

  17. [17]

    Campanato, H¨ older continuity of the solutions of so me nonlinear elliptic systems, Adv

    S. Campanato, H¨ older continuity of the solutions of so me nonlinear elliptic systems, Adv. Math., 48 (1983) 16-43

    work page 1983

  18. [18]

    Da Prato, Spazi L(p,ϑ)(Ω, δ) e loro propriet` a, Ann

    G. Da Prato, Spazi L(p,ϑ)(Ω, δ) e loro propriet` a, Ann. Math. Pura Appl., 69(4) (1965) 383-392

    work page 1965

  19. [19]

    Di Benedetto, Degenerate Parabolic Equations, Univ ersitext, Springer-V erlag, New Y ork, 1993, xv+387 pp

    E. Di Benedetto, Degenerate Parabolic Equations, Univ ersitext, Springer-V erlag, New Y ork, 1993, xv+387 pp

    work page 1993

  20. [20]

    DiBenedetto, A

    E. DiBenedetto, A. Friedman, Regularity of solutions o f nonlinear degenerate parabolic systems, J. Reine Angew. M ath., 349 (1984) 83-128

    work page 1984

  21. [21]

    DiBenedetto, A

    E. DiBenedetto, A. Friedman, H¨ older estimates for non linear degenerate parabolic systems, J. Reine Angew. Math. , 357 (1985) 1-22

    work page 1985

  22. [22]

    Duzaar, A

    F. Duzaar, A. Gastel, J.F. Grotowski, Partial regulari ty for almost minimizers of quasi-convex integrals, SIAM J. Math. Anal., 32 (2000) 665-687

    work page 2000

  23. [23]

    Duzaar, A

    F. Duzaar, A. Gastel, G. Mingione, Elliptic systems, si ngular sets and Dini continuity, Comm. Partial Di fferential Equa- tions, 29(7-8) (2004) 1215-1240

    work page 2004

  24. [24]

    Duzaar, A

    F. Duzaar, A. Gastel, Nonlinear elliptic systems with D ini continuous coefficients, Arch. Math., 78 (2002) 58-73

    work page 2002

  25. [25]

    Duzaar, J

    F. Duzaar, J. Kristensen, G. Mingione, The existence of regular boundary points for non-linear elliptic systems, J .Reine Angew. Math., 602 (2007) 17-58

    work page 2007

  26. [26]

    Duzaar, G

    F. Duzaar, G. Mingione, Regularity for degenerate elli ptic problems via p-harmonic approximation, Ann. Inst. H. Poincar´ e, Anal. Non Lin´ eaire, 21(5) (2004) 735-766

    work page 2004

  27. [27]

    Duzaar, G

    F. Duzaar, G. Mingione, The p−harmonic approximation and the regularity of p-harmonic maps, Calc. V ar. Partial Dif- ferential Equations, 20(3) (2004) 235-256

    work page 2004

  28. [28]

    Duzaar, G

    F. Duzaar, G. Mingione, Second order parabolic systems , optimal regularity, and singular sets of solutions, Ann. I nst. H. Poincar´ e Anal. Non Lin´ eaire, 22 (2005) 705-751

    work page 2005

  29. [29]

    Duzaar, G

    F. Duzaar, G. Mingione, K. Ste ffen, Parabolic systems with polynomial growth and regularit y, Mem. Amer. Math. Soc., 214 (2011)

    work page 2011

  30. [30]

    D. Fang, C. Liu, C. Qian, On partial regularity problem f or 3 D Boussinesq equations, J. Di fferential Equations, 263(7) (2017) 4156-4221

    work page 2017

  31. [31]

    F. Fang, Z. Tan, Heat flow for Dirichlet-to-Neumann oper ator with critical growth, Adv. Math., 328 (2018) 217-247

    work page 2018

  32. [32]

    Fusco, J

    N. Fusco, J. Hutchinson, C1,α partial regularity of functions minimising quasiconvex in tegrals, Manuscripta Math., 54 (1985) 121-143

    work page 1985

  33. [33]

    M. Foss, G. Mingione, Partial coninuity for elliptic pr oblems, Ann. Inst. H . Poincar´ e Anal. Non Lineair´ e, 25 (200 8) 471-503

    work page

  34. [34]

    Giaquinta, G

    M. Giaquinta, G. Modica, Partial regularity of minimiz ers of quasiconvex integrals, Ann. Inst. H. Poincar´ e Anal. Non Lin´ eaire, 3 (1986) 185-208

    work page 1986

  35. [35]

    Habermann, Partial regularity for nonlinear ellipt ic systems with continuous growth exponent, Ann

    J. Habermann, Partial regularity for nonlinear ellipt ic systems with continuous growth exponent, Ann. Mat. Pura A ppl., 192(4) (2013) 475-527

    work page 2013

  36. [36]

    Kinnunen, J.L

    J. Kinnunen, J.L. Lewis, Higher integrability for para bolic systems of p−Laplacian type, Duke Math. J., 102 (2000) 253-271

    work page 2000

  37. [37]

    Kristensen, G

    J. Kristensen, G. Mingione, The singular set of minima o f integral functionals, Arch. Ration. Mech. Anal., 180 (200 6) 331-398

    work page

  38. [38]

    Ladyzhenskaya, V .A

    O.A. Ladyzhenskaya, V .A. Solonnikov, N.N. Ural’tseva , Linear and quasi-linear equations of parabolic type, Tran slated from Russian by S. Smith, Transl. Math. Monogr., vol. 23, Ame r. Math. Soc., Providence, RI, 1968, XI +648 pp

    work page 1968

  39. [39]

    F.H. Lin, J. Lin, C. Wang, Liquid crystal flows in two dime nsions, Arch. Ration. Mech. Anal., 197(1) (2010) 297-336

    work page 2010

  40. [40]

    Mingione, Regularity of minima: an invitation to the dark side of the calculus of variations, Appl

    G. Mingione, Regularity of minima: an invitation to the dark side of the calculus of variations, Appl. Math., 51(4) ( 2006) 355-426

    work page 2006

  41. [41]

    Mingione, The singular set of solutions to non-di fferentiable elliptic systems, Arch

    G. Mingione, The singular set of solutions to non-di fferentiable elliptic systems, Arch. Ration. Mech. Anal. 166 (2003) 287-301

    work page 2003

  42. [42]

    Misawa, Partial regularity results for evolutional p−Laplacian systems with natural growth, Manuscripta Math., 109 (2002) 419-454

    M. Misawa, Partial regularity results for evolutional p−Laplacian systems with natural growth, Manuscripta Math., 109 (2002) 419-454. REGULARITY OF WEAK SOLUTIONS 33

    work page 2002

  43. [43]

    Scheven, partial regularity for subquadraic parabo lic systems by A−cloric approximation, Rev

    C. Scheven, partial regularity for subquadraic parabo lic systems by A−cloric approximation, Rev. Mat. Iberoam, 27 (3) (2011) 751-801

    work page 2011

  44. [44]

    Simon, Lectures on Geometric Measure Theory, Proc

    L. Simon, Lectures on Geometric Measure Theory, Proc. C entre Math. Appl. Austral. Nat. Univ., vol. 3, Centre for Mathematical Analysis, Australian National University, C anberra, 1983, VII +272 pp

    work page 1983

  45. [45]

    J. Simon, Sobolev, Besov and Nikolskii fractional spac es: imbedding and comparions for vector valued spaces on an interval, Annali di Matematica pura ed applica, (IV), LCVII (1990) 117-148

    work page 1990

  46. [46]

    Simon, Theorems on Regularity and Singularity of Ene rgy Minimizing Maps, Based on Lecture Notes by Norbert Hungerbhler, Lectures Math

    L. Simon, Theorems on Regularity and Singularity of Ene rgy Minimizing Maps, Based on Lecture Notes by Norbert Hungerbhler, Lectures Math. ETH Zurich, Birkh¨ auser, Basel, 1996, vii +152 pp

    work page 1996

  47. [47]

    Star´ a, O

    J. Star´ a, O. John, J. Mal´ y, Counterexample to the regularity of weak solution of the quasilinear parabolic system , Com- ment. Math. Univ. Carolin., 27 (1986) 123-136

    work page 1986

  48. [48]

    Star´ a, O

    J. Star´ a, O. John, Some (new) counterexamples of parab olic systems, Comment. Math. Univ. Carolin., 36 (3) (1995) 503-510

    work page 1995

  49. [49]

    Struwe, A counterexample in regularity theory for pa rabolic systems, Czechoslovak Math

    M. Struwe, A counterexample in regularity theory for pa rabolic systems, Czechoslovak Math. J., 34 (1984) 183-188

    work page 1984

  50. [50]

    Tan, Global solution and blowup of semilinear heat eq uation with critical Sobolev exponent, Comm

    Z. Tan, Global solution and blowup of semilinear heat eq uation with critical Sobolev exponent, Comm. Partial Differential Equations, 26(3-4) (2001) 717-741

    work page 2001

  51. [51]

    I. M. Vi˘ sik, Solubility of boundary-value problems for quasi-linear parabolic equations of higher orders, Mat. Sb., 59(101) (1962) 289-325

    work page 1962

  52. [52]

    Wolf, Partial regularity of weak solutions to nonlin ear elliptic systems satisfying a Dini condition, Z

    J. Wolf, Partial regularity of weak solutions to nonlin ear elliptic systems satisfying a Dini condition, Z. Anal. A nwend., 20 (2001) 315-330. School of Ma thema ticalSciences and Fujian Provincial Key Labora tory onMa thema ticalModeling and Scientific Com- puting, Xiamen University, Xiamen, Fujian , 361005 , P . R. China E-mail address, Z. Tan: tan85@x...

    work page 2001