Pith. sign in

REVIEW 2 major objections 3 minor 58 references

On the well-posedness of porous medium equations on general metric measure spaces

T0 review · 2 major / 3 minor · reviewed 2026-08-04 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read For any metric measure space with a Dirichlet form, the Cauchy problem for ∂_t u = L(|u|^{m-1}u) has a unique weak solution for every m>0 and initial data in L^{m+1}, with comparison and stability.

desk verdict A substantial, carefully executed well-posedness theorem for the porous medium equation on general metric measure spaces; the main referee worry about non-regular Dirichlet forms does not survive checking the cited source. read the letter →

arxiv 2607.20894 v3 pith:IHD6YZJL submitted 2026-07-23 math.AP

Diwen Chang This is my paper · ORCID
classification math.AP
keywords mathcalspacesdirichletformmeasuremetricgeneralmedium
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper studies equations like ∂u/∂t = L(|u|^{m-1}u), which describe how a substance spreads (porous medium, m>1) or diffuses fast (00 and every initial datum in L^{m+1}, there is a unique weak solution, a comparison principle holds, and the solution depends continuously on the data. Examples include Euclidean spaces, fractional Laplacians, Riemannian manifolds, the Sierpiński gasket, and heat kernels constructed on doubling metric measure spaces.
Extended reading notes

Core claim

Theorem 1.3(i): For every metric measure space (M,d,µ) and every symmetric Dirichlet form (E,F) on L²(M,µ) with associated non-positive self-adjoint operator L, the Cauchy problem ∂_t u = L(|u|^{m−1}u), u(0)=u_0, has a unique weak solution on [0,T) for every T>0 and every u_0 ∈ L^{m+1}(M,µ), satisfying the energy estimates (1.3)–(1.4), the comparison principle, and stability (Theorem 1.3(ii),(iii)). The proof claims this holds with no Gelfand triple, no compact embeddings, and no regularity or locality assumptions on the Dirichlet form.

Load-bearing premise

The proof imports from [21, Cor. 1.6.3] the property that the extended Dirichlet space F_e is closed under normal contractions (e.g., w ↦ w⁺) with E(Tw) ≤ E(w). This property is used in the elliptic comparison (Prop. 4.4) and positivity; it is load-bearing. If this property is only guaranteed for regular Dirichlet forms while the theorem is stated for arbitrary Dirichlet forms, then the abstract claim that 'no regularity of the form is needed' may fail. The paper does not prove the property for non-regular forms, and it does not flag this potential restriction.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

2 major / 3 minor

Summary. The paper develops a well-posedness theory for the signed porous medium/fast diffusion equation ∂_t u = L(|u|^{m-1}u), m>0, on a locally compact separable metric measure space equipped with an arbitrary symmetric Dirichlet form. The framework replaces the usual Gelfand triple with the spaces V^q = L^q ∩ F_e, where F_e is the extended Dirichlet space, and proves that V^q is complete and uniformly convex. Existence is obtained by the Rothe method with Minty–Browder solvability of the elliptic time-stepping problems, and the nonlinear limit is identified by a Minty trick. The main theorem claims existence, uniqueness, energy estimates, comparison, and stability for every T>0 and every initial datum in L^{m+1}, with no regularity or locality assumptions on the Dirichlet form.

Significance. If the claimed generality is supported, this is a substantial contribution: it removes the Gelfand-triple restriction, avoids compact embeddings, covers signed data for all m>0, and unifies local, nonlocal, and fractal settings. The proof is largely self-contained, with clear use of standard tools (Minty–Browder, Milman–Pettis, Dirichlet form theory), and the core functional-analytic construction—uniform convexity of V^q and the discrete-to-continuous limit—is nontrivial and appears sound. The paper is carefully written and the applications to Euclidean spaces, manifolds, and fractals are useful. However, one load-bearing point concerning the contraction property of the extended Dirichlet space is not justified for the full claimed generality.

major comments (2)
  1. [Section 4, Prop. 4.4] Prop. 4.4 uses w^+ ∈ F_e with E(w^+) ≤ E(w), citing [21, Cor. 1.6.3]. In Fukushima–Oshima–Takeda, this corollary is stated for regular Dirichlet forms, whereas Theorem 1.3 covers arbitrary symmetric Dirichlet forms. The comparison principle, nonnegativity preservation, and the elliptic comparison all depend on this property. Please either provide a self-contained proof for the extended Dirichlet space defined in Definition 2.3—e.g., by passing the Markovian contraction property from F to E-Cauchy limits—or explicitly restrict the main theorem to regular (or quasi-regular) Dirichlet forms. As written, the advertised generality 'no additional regularity of the form is needed' is unsupported.
  2. [Section 5, Prop. 5.8] The statement of Prop. 5.8 gives a liminf inequality, (5.38), but the proof actually establishes the stronger limsup inequality lim sup ∫ u_{n_j} v_{n_j} ≤ ∫ uv. The subsequent argument in the proof of Theorem 1.3(i) explicitly uses the limsup version. Please correct the statement so that the proposition and its use agree.
minor comments (3)
  1. [Section 5, Minty trick after (5.47)] After letting j→∞, the inequality (5.48) is asserted for every h∈L^2(0,T;L^{m+1}), but the preceding derivation was made for h∈L∞. For general h the integral ∫hΨ(h) may be infinite, and the inequality does not obviously pass to L^2 limits. Since the subsequent use only requires perturbations h = u ± λw with w∈L∞, this is repairable, but the line should be revised.
  2. [Appendix A, Lemma 2.5 proof] In the construction of h, the inequality E(v_{n,h(n)}−u_n)<1/n^2 is used for f(n)≥h(n). This only follows if h(n) is chosen as a threshold such that the inequality holds for all k≥h(n), not merely for one index. Please make that explicit.
  3. [Section 5.1, proof of Prop. 5.1] There are minor typographical issues: 'esup' appears instead of 'ess sup', and in Prop. 5.10 'varepsilon' appears instead of ε. Also, in Section 6.1.1, the sentence 'This is compatible with [54, Definition 9.3 & Theorem 9.25]' would benefit from a brief explanation of how the different weak formulation and solution class correspond.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the proof is a self-contained derivation from stated hypotheses and standard external theorems.

full rationale

The paper's derivation chain is not circular. Theorem 1.3 is proved from the stated hypotheses (a symmetric Dirichlet form, its extended Dirichlet space, and the uniform-convexity/reflexivity of the auxiliary spaces V^q) using standard external tools (Minty–Browder, Milman–Pettis, Bochner integration, and Dirichlet form theory). No fitted parameters are introduced and no closely related quantity is predicted from data. There are no self-citations: the single-author paper cites external textbooks and prior works by other researchers, and none of the load-bearing steps reduces to a self-citation chain. The potential issue flagged by a skeptical reader is that Proposition 4.4 imports from [21, Cor. 1.6.3] the contraction property w^+ ∈ F_e with E(w^+) ≤ E(w) for the extended Dirichlet space, while the theorem is stated for arbitrary Dirichlet forms; if that cited property requires regularity of the form, the claimed generality may be unsupported. But this is a correctness/gap concern about the applicability of an external theorem, not a circularity: the paper does not define its conclusion into its hypotheses, and the cited result is not the paper's own prior work. Thus the circularity score is 0.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

No free parameters or invented entities are introduced. The spaces V^q are constructions from existing Dirichlet-form theory, and the result is proved using standard external theorems. The only axiomatic inputs are the stated geometric/measure assumptions and the existence of the Dirichlet form, plus the cited properties of the extended Dirichlet space.

assumptions (5)
  • domain assumption M is a locally compact, separable metric space equipped with a Radon measure µ of full support, and (E,F) is a symmetric Dirichlet form on L²(M,µ) with associated non-positive self-adjoint operator L.
    This is the stated setting of Theorem 1.3. It supplies σ-finiteness (via local compactness + separability) and compact exhaustions used in the proof.
  • standard math The extended Dirichlet space F_e is well-defined, E extends uniquely to F_e, F = F_e ∩ L², and normal contractions operate on F_e with E(Tu) ≤ E(u).
    Imported from [21, Thm 1.5.2, Cor 1.6.3]. Used in Definition 2.3, Proposition 2.4, and Proposition 4.4. The paper does not re-prove these properties for non-regular forms.
  • standard math L^q(M,µ) is uniformly convex for 1<q<∞, and the Milman–Pettis theorem implies reflexivity.
    Used in Proposition 3.3 to prove that V^q is uniformly convex and hence reflexive.
  • standard math Minty–Browder theorem for monotone hemicontinuous coercive operators on reflexive Banach spaces.
    Used in Lemma 4.3 to establish existence and uniqueness of the time-discrete elliptic problem.
  • standard math Phillips theorem: L^p(0,T;X) is reflexive for reflexive X and 1<p<∞.
    Used in Section 5.1 to obtain weakly convergent subsequences in L²(0,T;V) and L²(0,T;V*).

how reviews work

0 comments
Cite this review

Pith. "Pith review of On the well-posedness of porous medium equations on general metric measure spaces." pith.science (2026). https://pith.science/paper/IHD6YZJL

@misc{pith2026260720894,
  author       = {Pith},
  title        = {Pith review of: On the well-posedness of porous medium equations on general metric measure spaces},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/IHD6YZJL}},
  note         = {Machine review of arXiv:2607.20894}
}
abstract

On general metric measure spaces, we develop a new well-posedness theory for the signed porous medium equation and its fast diffusion counterpart \[ \partial_t u = \mathcal{L}\left(|u|^{m-1}u\right), \qquad m>0, \] where $\mathcal{L}$ is the associated non-positive self-adjoint operator of a symmetric Dirichlet form. The theory does not rely on a Gelfand triple or compact embeddings; instead, it is built upon the extended Dirichlet space $\mathcal{F}_e$ and auxiliary spaces $V^q:=L^q\cap\mathcal{F}_e$, whose uniform convexity plays a key role in the proof. The proof uses only the existence of the Dirichlet form and its extension; no additional regularity of the form or geometric assumptions on the underlying space are needed. Consequently, the results apply to a wide range of metric measure spaces, including non-smooth fractals.

Review history (2 revisions) →

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

58 extracted references · 2 linked inside Pith

  1. [1]

    Ambrosio, A

    L. Ambrosio, A. Mondino,andG. Savar ´e,Nonlinear diffusion equations and curvature conditions in metric mea- sure spaces, Mem. Amer. Math. Soc., 262 (2019), pp. v+121

    2019

  2. [2]

    M. T. Barlow andR. F. Bass,The construction of Brownian motion on the Sierpi´ nski carpet, Ann. Inst. Henri Poincar´e Probab. Stat., 25 (1989), pp. 225–257

    1989

  3. [3]

    M. T. Barlow, A. Grigor’yan,andT. Kumagai,On the equivalence of parabolic Harnack inequalities and heat kernel estimates, J. Math. Soc. Japan, 64 (2012), pp. 1091–1146

    2012

  4. [4]

    M. T. Barlow andE. A. Perkins,Brownian motion on the Sierpi´ nski gasket, Probab. Theory Related Fields, 79 (1988), pp. 543–623

    1988

  5. [5]

    Bartosz, X

    K. Bartosz, X. Cheng, P. Kalita, Y . Yu,andC. Zheng,Rothe method for parabolic variational–hemivariational inequalities, J. Math. Anal. Appl., 423 (2015), pp. 841–862

    2015

  6. [6]

    Berchio, M

    E. Berchio, M. Bonforte, G. Grillo,andM. Muratori,The fractional porous medium equation on noncompact Riemannian manifolds, Math. Ann., 389 (2024), pp. 3603–3651

    2024

  7. [7]

    Bonforte, G

    M. Bonforte, G. Grillo,andJ. L. Vazquez,Fast diffusion flow on manifolds of nonpositive curvature, J. Evol. Equ., 8 (2008), pp. 99–128

    2008

  8. [8]

    J. Cao, A. Grigor’yan,andL. Liu,Construction of heat kernels on metric measure spaces via multiresolution analysis, Math. Ann., 396 (2026), p. 4

    2026

Show all 58 references
  1. [9]

    Cao andH

    S. Cao andH. Qiu,Sobolev spaces on p.c.f. self-similar sets I: Critical orders and atomic decompositions, J. Funct. Anal., 282 (2022), p. 109331

    2022

  2. [10]

    Chen andM

    Z.-Q. Chen andM. Fukushima,Symmetric Markov processes, time change, and boundary theory, vol. 35 of London Math. Soc. Monographs Series, Princeton University Press, Princeton, NJ, 2012

    2012

  3. [11]

    Dalrymple, R

    K. Dalrymple, R. S. Strichartz,andJ. P. Vinson,Fractal differential equations on the Sierpinski gasket, J. Fourier Anal. Appl., 5 (1999), pp. 203–284

    1999

  4. [12]

    Quir ´os, A

    A.dePablo, F. Quir ´os, A. Rodr´ıguez,andJ. L. V ´azquez,A fractional porous medium equation, Adv. Math., 226 (2011), pp. 1378–1409

    2011

  5. [13]

    Quir ´os, A

    A.dePablo, F. Quir ´os, A. Rodr´ıguez,andJ. L. V ´azquez,A general fractional porous medium equation, Comm. Pure Appl. Math., 65 (2012), pp. 1242–1284

    2012

  6. [14]

    Diestel andJ

    J. Diestel andJ. Uhl,Vector measures, no. 15 in Mathematical Surveys, American Mathematical Society, 1977

    1977

  7. [15]

    L. C. Evans,Partial differential equations, vol. 19 of Graduate Studies in Mathematics, American Mathematical Society, Providence, RI, second ed., 2010

    2010

  8. [16]

    K. J. Falconer,Semilinear PDEs on self-similar fractals, Comm. Math. Phys., 206 (1999), pp. 235–245

    1999

  9. [17]

    K. J. Falconer andJ. Hu,Non-linear elliptical equations on the Sierpi´ nski gasket, J. Math. Anal. Appl., 240 (1999), pp. 552–573

    1999

  10. [18]

    ,Nonlinear diffusion equations on unbounded fractal domains, J. Math. Anal. Appl., 256 (2001), pp. 606– 624

    2001

  11. [19]

    K. J. Falconer, J. Hu,andY . Sun,Inhomogeneous parabolic equations on unbounded metric measure spaces, Proceedings of the Royal Society of Edinburgh: Section A Mathematics, 142 (2012), p. 1003–1025

    2012

  12. [20]

    M. Fukushima,Dirichlet forms, diffusion processes and spectral dimensions for nested fractals, in Ideas and methods in mathematical analysis, stochastics, and applications (Oslo, 1988), Cambridge Univ. Press, Cambridge, 1992, pp. 151–161

    1988

  13. [21]

    Fukushima, Y

    M. Fukushima, Y . Oshima,andM. Takeda,Dirichlet forms and symmetric Markov processes, De Gruyter Studies in Mathematics, Walter de Gruyter & Co., Berlin, 2011

    2011

  14. [22]

    Fukushima andT

    M. Fukushima andT. Shima,On a spectral analysis for the Sierpi´ nski gasket, Potential Anal., 1 (1992), pp. 1–35

    1992

  15. [23]

    Grigor’yan,Heat kernel and analysis on manifolds, vol

    A. Grigor’yan,Heat kernel and analysis on manifolds, vol. 47 of AMS/IP Studies in Advanced Mathematics, American Mathematical Society, Providence, RI; International Press, Boston, MA, 2009

    2009

  16. [24]

    Grigor’yan, E

    A. Grigor’yan, E. Hu,andJ. Hu,Two-sided estimates of heat kernels of jump type Dirichlet forms, Adv. Math., 330 (2018), pp. 433–515

    2018

  17. [25]

    Grigor’yan andJ

    A. Grigor’yan andJ. Hu,Off-diagonal upper estimates for the heat kernel of the Dirichlet forms on metric spaces, Invent. Math., 174 (2008), pp. 81–126

    2008

  18. [26]

    ,Upper bounds of heat kernels on doubling spaces, Mosc. Math. J., 14 (2014), pp. 505–563

    2014

  19. [27]

    Grigor’yan, J

    A. Grigor’yan, J. Hu,andK.-S. Lau,Heat kernels on metric measure spaces and an application to semilinear elliptic equations, Trans. Amer. Math. Soc., 355 (2003), pp. 2065–2095

    2003

  20. [28]

    ,Generalized capacity, Harnack inequality and heat kernels of Dirichlet forms on metric measure spaces, J. Math. Soc. Japan, 67 (2015), pp. 1485–1549

    2015

  21. [29]

    Grigor’yan andA

    A. Grigor’yan andA. Telcs,Two-sided estimates of heat kernels on metric measure spaces, Ann. Probab., 40 (2012), pp. 1212–1284

    2012

  22. [30]

    Grillo, D

    G. Grillo, D. D. Monticelli,andF. Punzo,The porous medium equation on noncompact manifolds with nonneg- ative Ricci curvature: A Green function approach, J. Differential Equations, 430 (2025), p. 113191

    2025

  23. [31]

    Grillo andM

    G. Grillo andM. Muratori,Radial fast diffusion on the hyperbolic space, Proc. Lond. Math. Soc., 109 (2014), pp. 283–317. ON THE WELL-POSEDNESS OF PMES ON GENERAL METRIC MEASURE SPACES 39

    2014

  24. [32]

    Grillo andM

    G. Grillo andM. Muratori,Smoothing effects for the porous medium equation on Cartan–Hadamard mani- folds, Nonlinear Anal., 131 (2016), pp. 346–362. Qualitative and Quantitative Properties of Solutions to Parabolic Equations, in Honor of Victor A. Galaktionov for his 60th Birthday

    2016

  25. [33]

    Grillo, M

    G. Grillo, M. Muratori,andF. Punzo,The porous medium equation with large initial data on negatively curved Riemannian manifolds, J. Math. Pures Appl., 113 (2018), pp. 195–226

    2018

  26. [34]

    Grillo, M

    G. Grillo, M. Muratori,andJ. L. V ´azquez,The porous medium equation on Riemannian manifolds with negative curvature: The large-time behaviour, Adv. Math., 314 (2017), pp. 328–377

    2017

  27. [35]

    Grillo, M

    G. Grillo, M. Muratori,andJ. L. V ´azquez,The porous medium equation on Riemannian manifolds with negative curvature: the superquadratic case, Math. Ann., 373 (2019), pp. 119–153

    2019

  28. [36]

    Hinz andM

    M. Hinz andM. Meinert,On the viscous Burgers equation on metric graphs and fractals, J. Fractal Geom., 7 (2020), pp. 137–182

    2020

  29. [37]

    M. Hinz, M. R ¨ockner,andA. Teplyaev,Vector analysis for Dirichlet forms and quasilinear PDE and SPDE on metric measure spaces, Stochastic Process. Appl., 123 (2013), pp. 4373–4406

    2013

  30. [38]

    Hinz andW

    M. Hinz andW. Schefer,On equations of continuity and transport type on metric graphs and fractals, 2024. arXiv:2412.07988

    2024 arXiv

  31. [39]

    Kigami,Harmonic calculus on p.c.f

    J. Kigami,Harmonic calculus on p.c.f. self-similar sets, Trans. Amer. Math. Soc., 335 (1993), pp. 721–755

    1993

  32. [40]

    143 of Cambridge Tracts in Mathematics, Cambridge University Press, Cam- bridge, 2001

    ,Analysis on fractals, vol. 143 of Cambridge Tracts in Mathematics, Cambridge University Press, Cam- bridge, 2001

    2001

  33. [41]

    ,Resistance forms, quasisymmetric maps and heat kernel estimates, Mem. Amer. Math. Soc., 216 (2012), pp. vi+132

    2012

  34. [42]

    Kumagai,Estimates of transition densities for Brownian motion on nested fractals, Probab

    T. Kumagai,Estimates of transition densities for Brownian motion on nested fractals, Probab. Theory Related Fields, 96 (1993), pp. 205–224

    1993

  35. [43]

    Kusuoka andX

    S. Kusuoka andX. Y . Zhou,Dirichlet forms on fractals: Poincar´ e constant and resistance, Probab. Theory Related Fields, 93 (1992), pp. 169–196

    1992

  36. [44]

    Lindstrøm,Brownian motion on nested fractals, Mem

    T. Lindstrøm,Brownian motion on nested fractals, Mem. Amer. Math. Soc., 83 (1990), pp. iv+128

    1990

  37. [45]

    Z. Peng, Y . Zhao,andF. Long,Existence and uniqueness of the solution to a new class of evolutionary variational hemivariational inequalities, Nonlinear Anal. Real World Appl., 81 (2025), p. 104210

    2025

  38. [46]

    Roub´ıˇcek,Evolution by pseudomonotone or weakly continuous mappings, Springer Basel, Basel, 2013, pp

    T. Roub´ıˇcek,Evolution by pseudomonotone or weakly continuous mappings, Springer Basel, Basel, 2013, pp. 213– 301

    2013

  39. [47]

    R ¨ockner, W

    M. R ¨ockner, W. Wu,andY . Xie,Stochastic porous media equation on general measure spaces with increasing Lipschitz nonlinearities, Stochastic Process. Appl., 128 (2018), pp. 2131–2151

    2018

  40. [48]

    R ¨ockner, W

    M. R ¨ockner, W. Wu,andY . Xie,Stochastic generalized porous media equations overσ-finite measure spaces with non-continuous diffusivity function, Potential Anal., 61 (2024), pp. 731–773

    2024

  41. [49]

    Sabot,Pure point spectrum for the Laplacian on unbounded nested fractals, J

    C. Sabot,Pure point spectrum for the Laplacian on unbounded nested fractals, J. Funct. Anal., 173 (2000), pp. 497–524

    2000

  42. [50]

    Schmidt,(weak) hardy and poincar´ e inequalities and criticality theory, in Dirichlet Forms and Related Topics, Z.-Q

    M. Schmidt,(weak) hardy and poincar´ e inequalities and criticality theory, in Dirichlet Forms and Related Topics, Z.-Q. Chen, M. Takeda, and T. Uemura, eds., Singapore, 2022, Springer Nature Singapore, pp. 421–459

    2022

  43. [51]

    Slodi ˇcka andV

    M. Slodi ˇcka andV . Vr´abel’,Existence and uniqueness of a solution for a field/circuit coupled problem, ESAIM Math. Model. Numer. Anal., 51 (2017), pp. 1045–1061

    2017

  44. [52]

    S ¨urig,Existence results for Leibenson’s equation on Riemannian manifolds, 2026

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

    2026 arXiv

  45. [53]

    Teplyaev,Spectral analysis on infinite Sierpi´ nski gaskets, J

    A. Teplyaev,Spectral analysis on infinite Sierpi´ nski gaskets, J. Funct. Anal., 159 (1998), pp. 537–567

    1998

  46. [54]

    J. L. Vazquez,The Porous Medium Equation: Mathematical Theory, Oxford University Press, 10 2006

    2006

  47. [55]

    J. L. V ´azquez,Fundamental solution and long time behavior of the porous medium equation in hyperbolic space, J. Math. Pures Appl., 104 (2015), pp. 454–484

    2015

  48. [56]

    Yin andB

    B. Yin andB. Zeng,Existence and feedback control for a class of nonlinear evolutionary equations, Appl. Anal., 103 (2024), pp. 1459–1481

    2024

  49. [57]

    Zeidler,Hilbert Space Methods and Linear Parabolic Differential Equations, Springer New York, New York, NY , 1990, pp

    E. Zeidler,Hilbert Space Methods and Linear Parabolic Differential Equations, Springer New York, New York, NY , 1990, pp. 402–451

    1990

  50. [58]

    ,Monotone Operators and Quasi-Linear Elliptic Differential Equations, Springer New York, New York, NY , 1990, pp. 553–579. School ofMathematics andStatistics, BeijingTechnology andBusinessUniversity, Beijing, 102488, China. Email address:dwchang@btbu.edu.cn

    1990

Pith tools

Reviewed August 4, 2026 · model on record in the stance chip above.