pith. sign in

arxiv: 2605.27665 · v1 · pith:BEZLFEP5new · submitted 2026-05-26 · 🧮 math.AP

Doubling measures, Poincar\'e inequalities and parabolic Harnack inequalities for a doubly nonlinear equation

Theo Elenius , Juha Kinnunen This is my paper

Pith reviewed 2026-06-29 16:30 UTC · model grok-4.3

classification 🧮 math.AP
keywords metric measure spacesparabolic Harnack inequalitydoubly nonlinear equationvolume doublingPoincaré inequalitiesCauchy problem
0
0 comments X

The pith

Metric measure spaces satisfy parabolic Harnack inequalities for a doubly nonlinear equation exactly when they satisfy volume doubling and Poincaré inequalities.

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

The paper shows that a metric measure space obeys the parabolic Harnack inequality for the doubly nonlinear equation if and only if it has volume doubling measures and satisfies Poincaré inequalities. The proof proceeds by deriving estimates for solutions to an associated Cauchy problem and uses only analytical arguments. A sympathetic reader would care because these two geometric conditions on the space become the precise criterion that guarantees the same regularity behavior for solutions that one sees in Euclidean space, and the argument avoids any appeal to heat kernels or representation formulas.

Core claim

Metric measure spaces satisfy parabolic Harnack inequalities for a doubly nonlinear equation if and only if they satisfy the volume doubling condition and Poincaré inequalities. The proof relies on obtaining estimates for solutions to a related Cauchy problem using purely analytical methods. This extends previous linear results to the nonlinear setting without relying on heat kernel estimates and representation formulae.

What carries the argument

The equivalence between the parabolic Harnack inequality for the doubly nonlinear equation and the pair of volume doubling plus Poincaré inequalities, obtained from Cauchy-problem estimates.

If this is right

  • The parabolic Harnack inequality holds in every metric measure space that satisfies volume doubling and Poincaré inequalities.
  • Heat kernel estimates are unnecessary for the characterization in the nonlinear case.
  • The result requires no further assumptions on the equation parameters or the underlying measure.

Where Pith is reading between the lines

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

  • The same analytic route via Cauchy-problem estimates may apply to other nonlinear parabolic equations on metric spaces.
  • One could test the characterization on concrete spaces such as weighted Euclidean domains or Ahlfors-regular graphs that are already known to double and satisfy Poincaré inequalities.
  • Quantitative stability of the Harnack constant under small perturbations of the measure might follow from the same estimates.

Load-bearing premise

The estimates obtained for solutions to the related Cauchy problem suffice to establish the Harnack inequality in the nonlinear setting without additional structural assumptions on the equation parameters or the measure.

What would settle it

A metric measure space that satisfies volume doubling and Poincaré inequalities yet fails the parabolic Harnack inequality for the doubly nonlinear equation, or the converse.

read the original abstract

We characterize metric measure spaces satisfying parabolic Harnack inequalities for a doubly nonlinear equation in terms of volume doubling and Poincar\'e inequalities. Our approach uses purely analytical methods, based on obtaining estimates for solutions to a related Cauchy problem. This extends previous linear results to the nonlinear setting without relying on heat kernel estimates and representation formulae.

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 / 0 minor

Summary. The paper claims that metric measure spaces satisfy parabolic Harnack inequalities for a doubly nonlinear equation if and only if they satisfy the volume doubling condition and Poincaré inequalities. The approach relies on purely analytical methods, specifically by obtaining estimates for solutions to a related Cauchy problem, thereby extending previous linear results to the nonlinear setting without using heat kernel estimates or representation formulae.

Significance. If the central characterization holds, the result would extend the geometric characterization of spaces supporting parabolic Harnack inequalities from the linear to the nonlinear setting. This could be useful for regularity theory of nonlinear parabolic PDEs on metric measure spaces where only doubling and Poincaré data are available, and the avoidance of heat-kernel methods is a methodological strength that may broaden applicability.

major comments (1)
  1. The transfer step from estimates on the related Cauchy problem to the full parabolic Harnack inequality is load-bearing for the 'if' direction of the claimed characterization. The manuscript should explicitly confirm that the structural constants (including those arising from the nonlinearity) remain controlled solely by the doubling and Poincaré data, without additional restrictions on the equation parameters or the measure; this is not addressed in the abstract and requires verification for the full range of admissible exponents.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and the constructive comment. We address the single major comment below and are prepared to revise the manuscript accordingly to strengthen the presentation.

read point-by-point responses

  1. Referee: The transfer step from estimates on the related Cauchy problem to the full parabolic Harnack inequality is load-bearing for the 'if' direction of the claimed characterization. The manuscript should explicitly confirm that the structural constants (including those arising from the nonlinearity) remain controlled solely by the doubling and Poincaré data, without additional restrictions on the equation parameters or the measure; this is not addressed in the abstract and requires verification for the full range of admissible exponents.

    Authors: We agree that an explicit statement on the dependence of constants would improve clarity. In the proofs (Sections 3–5), the estimates on the Cauchy problem and the subsequent transfer to the parabolic Harnack inequality are derived using only the volume-doubling constant, the Poincaré constant, the admissible range of exponents p and q for the doubly nonlinear equation, and the structural constants of the metric measure space; no further restrictions on the measure or equation parameters are imposed. All appearing constants remain controlled by these quantities alone. We will revise the abstract and add a short clarifying paragraph in the introduction (and, if needed, a remark after the main theorem) to make this dependence explicit and to confirm it holds throughout the admissible range of exponents. This revision will be incorporated in the next version. revision: yes

Circularity Check

0 steps flagged

No circularity; derivation uses independent analytical estimates on Cauchy problem.

full rationale

The paper establishes an if-and-only-if characterization between volume doubling plus Poincaré inequalities and parabolic Harnack inequalities for the doubly nonlinear equation via estimates obtained for a related Cauchy problem. This approach is described as purely analytical and extends prior linear results without heat kernel estimates or representation formulae. No quoted equations or steps reduce by construction to fitted parameters, self-definitions, or load-bearing self-citations; the transfer from Cauchy estimates to the Harnack inequality is presented as a direct analytical consequence rather than a renaming or imported uniqueness theorem. The derivation is therefore self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review; no explicit free parameters, axioms, or invented entities are stated. The characterization rests on the standard notions of volume doubling and Poincaré inequalities, which are treated as given background.

pith-pipeline@v0.9.1-grok · 5573 in / 1041 out tokens · 29404 ms · 2026-06-29T16:30:34.826972+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

31 extracted references · 1 canonical work pages · 1 internal anchor

  1. [1]

    Barlow and R.F

    M.T. Barlow and R.F. Bass. Stability of parabolic Harnack inequalities, Trans. Amer. Math. Soc., 356(4):1501–1533, 2004

    2004

  2. [2]

    Barlow and M

    M.T. Barlow and M. Murugan. Stability of the elliptic Harnack inequality, Ann. of Math. (2), 187(3):777–823, 2018

    2018

  3. [3]

    Barlow, R.F

    M.T. Barlow, R.F. Bass and T. Kumagai. Stability of parabolic Harnack inequalities on metric measure spaces, J. Math. Soc. Japan , 58(2):485–519, 2006

    2006

  4. [4]

    R.F. Bass. A stability theorem for elliptic Harnack inequalities, J. Eur. Math. Soc. (JEMS) , 15(3):857–876, 2013

    2013

  5. [5]

    Bj¨ orn and J

    A. Bj¨ orn and J. Bj¨ orn.Nonlinear potential theory on metric spaces, volume 17 of EMS Tracts in Mathematics. European Mathematical Society (EMS), Z´ urich, 2011

    2011

  6. [6]

    B¨ ogelein, F

    V. B¨ ogelein, F. Duzaar and P. Marcellini. Parabolic systems with p, q-growth: a variational approach, Arch. Ration. Mech. Anal., 210(1):219–267, 2013

    2013

  7. [7]

    B¨ ogelein, F

    V. B¨ ogelein, F. Duzaar, P. Marcellini and C. Scheven. Doubly nonlinear equations of porous medium type, Arch. Ration. Mech. Anal., 229(2):503–545, 2018

    2018

  8. [8]

    B¨ ogelein, F

    V. B¨ ogelein, F. Duzaar and N. Liao. On the H¨ older regularity of signed solutions to a doubly nonlinear equation, J. Funct. Anal., 281(9):Paper No. 109173, 58, 2021

    2021

  9. [9]

    J. Cheeger. Differentiability of Lipschitz functions on metric measure spaces, Geom. Funct. Anal., 9(3):428–517, 1999

    1999

  10. [10]

    Z.-Q. Chen, T. Kumagai and J. Wang. Stability of parabolic Harnack inequalities for sym- metric non-local Dirichlet forms, J. Eur. Math. Soc. (JEMS) , 22(11):3747–3803, 2020

    2020

  11. [11]

    Delmotte

    T. Delmotte. Parabolic Harnack inequality and estimates of Markov chains on graphs, Rev. Mat. Iberoamericana, 15(1):181–232, 1999

    1999

  12. [12]

    DiBenedetto, U

    E. DiBenedetto, U. Gianazza and V. Vespri. Harnack estimates for quasi-linear degenerate parabolic differential equations, Acta Math., 200(2):181–209, 2008

    2008

  13. [13]

    DiBenedetto, U

    E. DiBenedetto, U. Gianazza and V. Vespri. Harnack’s inequality for degenerate and singular parabolic equations. Springer Monographs in Mathematics. Springer, New York, 2012

    2012

  14. [14]

    Grigor’yan

    A. Grigor’yan. The heat equation on noncompact Riemannian manifolds, Mat. Sb., 182(1):55– 87, 1991

    1991

  15. [15]

    Haj lasz and P

    P. Haj lasz and P. Koskela. Sobolev met Poincar´ e,Mem. Amer. Math. Soc. , 145(688):x+101, 2000

    2000

  16. [16]

    Hebisch and L

    W. Hebisch and L. Saloff-Coste. On the relation between elliptic and parabolic Harnack inequalities, Ann. Inst. Fourier (Grenoble) , 51(5):1437–1481, 2001

    2001

  17. [17]

    Heinonen

    J. Heinonen. Lectures on analysis on metric spaces . Universitext. Springer, New York 2001

    2001

  18. [18]

    Heinonen, P

    J. Heinonen, P. Koskela, N. Shanmugalingam and J. T. Tyson. Sobolev spaces on metric measure spaces, volume 27 of New Mathematical Monographs. Cambridge University Press, Cambridge, 2015

    2015

  19. [19]

    Kajino and M

    N. Kajino and M. Murugan. On the conformal walk dimension: quasisymmetric uniformiza- tion for symmetric diffusions, Invent. Math., 231(1):263–405, 2023

    2023

  20. [20]

    Keith and X

    S. Keith and X. Zhong. The Poincar´ e inequality is an open ended condition, Ann. of Math. (2), 167(2):575–599, 2008

    2008

  21. [21]

    Kinnunen and T

    J. Kinnunen and T. Kuusi. Local behaviour of solutions to doubly nonlinear parabolic equa- tions, Math. Ann., 337(3):705–728, 2007

    2007

  22. [22]

    Kinnunen and N

    J. Kinnunen and N. Shanmugalingam. Regularity of quasi-minimizers on metric spaces, Manuscripta Math., 105(3):401–423, 2001. DOUBLING, POINCAR ´E AND PARABOLIC HARNACK INEQUALITIES 43

    2001

  23. [23]

    N. Liao. Regularity of weak supersolutions to elliptic and parabolic equations: lower semi- continuity and pointwise behavior, J. Math. Pures Appl. (9) , 147:179–204, 2021

    2021

  24. [24]

    Marola and M

    N. Marola and M. Masson. On the Harnack inequality for parabolic minimizers in metric measure spaces, Tohoku Math. J. (2) , 65(4):569–589, 2013

    2013

  25. [25]

    Saloff-Coste

    L. Saloff-Coste. A note on Poincar´ e, Sobolev, and Harnack inequalities,Internat. Math. Res. Notices, (2):27–38, 1992

    1992

  26. [26]

    Saloff-Coste

    L. Saloff-Coste. Aspects of Sobolev-type inequalities , volume 289 of London Mathematical Society Lecture Note Series. Cambridge University Press, Cambridge, 2002

    2002

  27. [27]

    S. Semmes. Finding curves on general spaces through quantitative topology, with applications to Sobolev and Poincar´ e inequalities,Selecta Math. (N.S.) , 2(2):155–295, 1996

    1996

  28. [28]

    J. Simon. Compact sets in the space Lp(0, T; B), Ann. Mat. Pura Appl. (4) , 146:65–96, 1987

    1987

  29. [29]

    K.T. Sturm. Analysis on local Dirichlet spaces. III. The parabolic Harnack inequality, J. Math. Pures Appl. (9) , 75(3):273–297, 1996

    1996

  30. [30]

    P. S¨ urig. Existence results for Leibenson’s equation on Riemannian manifolds, arXiv:2601.20640

    work page internal anchor Pith review Pith/arXiv arXiv

  31. [31]

    N. S. Trudinger. Pointwise estimates and quasilinear parabolic equations, Comm. Pure Appl. Math., 21:205–226, 1968. (Theo Elenius) Department of Mathematics, Aalto University, P.O. BOX 11100, 00076 Aalto, Finland Email address: theo.elenius@aalto.fi (Juha Kinnunen) Department of Mathematics, Aalto University, P.O. BOX 11100, 00076 Aalto, Finland Email add...

    1968