Heat kernel-based p-energy norms on metric measure spaces
Pith reviewed 2026-05-24 09:18 UTC · model grok-4.3
The pith
On metric measure spaces with heat kernels satisfying two-sided estimates, various p-energy norms become equivalent and obey weak monotonicity, extending BBM characterizations to all p.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
When a heat kernel on a metric measure space satisfies two-sided estimates, the various p-energy norms (1 < p < ∞) are equivalent to one another and obey weak-monotonicity properties; these properties are verified for p = 2 via the Dirichlet form, and the resulting equivalences allow the BBM-type characterization and Gagliardo-Nirenberg inequality to hold on nested fractals and their blowups.
What carries the argument
Heat kernel-based p-energy norm paired with the weak-monotonicity property, which equates distinct energy definitions and supports extension of Sobolev characterizations.
If this is right
- The BBM-type characterization of Sobolev spaces extends to all p on these spaces.
- Gagliardo-Nirenberg inequalities hold on nested fractals and their blowups.
- Weak-monotonicity is verified directly for the Dirichlet form when p = 2.
- Equivalence of norms applies uniformly to both bounded and unbounded cases.
Where Pith is reading between the lines
- The same heat-kernel route might be checked on other self-similar spaces that lack explicit kernel formulas.
- Equivalence could link p-energy norms to discrete resistance forms on graph approximations of the fractals.
- If weak-monotonicity fails on a given space, the BBM extension would not transfer.
Load-bearing premise
The metric measure space must possess a heat kernel that satisfies two-sided estimates.
What would settle it
A concrete nested fractal on which two different p-energy norms differ by an arbitrarily large factor for some fixed p between 1 and infinity.
read the original abstract
We investigate heat kernel-based and other $p$-energy norms (1<p<\infty) on bounded and unbounded metric measure spaces, in particular, on nested fractals and their blowups. With the weak-monotonicity properties for these norms, we generalise the celebrated Bourgain-Brezis-Mironescu (BBM) type characterization for p\neq2. When there admits a heat kernel satisfying the two-sided estimates, we establish the equivalence of various $p$-energy norms and weak-monotonicity properties, and show that these weak-monotonicity properties hold when p=2 (in the case of Dirichlet form). Our paper's key results concern the equivalence and verification of various weak-monotonicity properties on fractals. Consequently, many classical results on p-energy norms hold on nested fractals and their blowups, including the BBM type characterization and Gagliardo-Nirenberg inequality.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript investigates heat kernel-based p-energy norms (1 < p < ∞) on bounded and unbounded metric measure spaces, with emphasis on nested fractals and their blowups. Under the assumption that a heat kernel satisfies two-sided estimates, it establishes equivalences among various p-energy norms and proves associated weak-monotonicity properties; for p = 2 these hold via Dirichlet forms. These properties are then used to generalize the Bourgain-Brezis-Mironescu characterization to p ≠ 2 and to obtain Gagliardo-Nirenberg inequalities on the indicated fractal spaces. The central results are the norm equivalences and the direct verification of weak monotonicity on nested fractals.
Significance. If the equivalences and monotonicity verifications hold, the work supplies a systematic route for extending BBM-type characterizations and Sobolev inequalities to non-smooth spaces that admit heat kernels with two-sided bounds. The explicit verification on nested fractals supplies concrete, checkable instances rather than purely abstract statements, which strengthens applicability in analysis on metric spaces.
minor comments (3)
- [§2.3] §2.3: the notation for the rescaled measures on blowups is introduced without an explicit reference to the scaling factor; adding a sentence relating μ_r to the original measure would improve readability.
- [Theorem 4.2] Theorem 4.2: the statement of weak monotonicity for the Dirichlet form case (p=2) would benefit from a one-line reminder of which two-sided heat-kernel bounds are being invoked, even though they appear earlier.
- [Introduction] The bibliography entry for the original BBM paper is present, but the citation in the introduction paragraph discussing the p=2 case is missing the year; consistency with other references is advisable.
Simulated Author's Rebuttal
We thank the referee for the positive assessment of our manuscript, the accurate summary of its contributions, and the recommendation of minor revision. No specific major comments were raised in the report.
Circularity Check
No significant circularity; derivation relies on external heat kernel estimates
full rationale
The paper conditions all equivalences and BBM-type results on the external assumption that a heat kernel satisfying two-sided estimates exists on the metric measure space. It then verifies weak-monotonicity properties directly on nested fractals and blowups, generalizing known results without reducing any claimed prediction or uniqueness statement to a self-fit, self-citation chain, or definitional tautology. No load-bearing step equates an output to its own input by construction; the argument remains conditional on independent analytic assumptions and concrete verification steps.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption Existence of a heat kernel satisfying two-sided estimates on the metric measure spaces including nested fractals
Forward citations
Cited by 1 Pith paper
-
Construction of $p$-energy measures associated with strongly local $p$-energy forms
Constructs canonical p-energy measures for strongly local p-energy forms, proves chain/Leibniz rules and uniqueness, and shows coincidence with Korevaar-Schoen-type measures via a p-analogue of Le Jan's domination principle.
Reference graph
Works this paper leans on
-
[1]
P. A lonso Ruiz and F. Baudoin, Gagliardo-Nirenberg, Trudinger-Moser and Morrey inequalities on Dirichlet spaces, J. Math. Anal. Appl., 497 (2021), pp. 124899
work page 2021
-
[2]
P. A lonso-Ruiz, F. Baudoin, L. C hen, L. R ogers, N. S hanmugalingam, and A. Teply aev, Besov class via heat semigroup on Dirichlet spaces I: Sobolev type inequalities, J. Funct. Anal., 278 (2020), pp. 108459
work page 2020
-
[3]
, Besov class via heat semigroup on Dirichlet spaces II: BV functions and Gaussian heat kernel estimates, Calc. Var. Partial Differential Equations, 59 (2020), pp. 103
work page 2020
-
[4]
, Besov class via heat semigroup on Dirichlet spaces III: BV functions and sub-Gaussian heat kernel estimates, Calc. Var. Partial Differential Equations, 60 (2021), pp. 170
work page 2021
-
[5]
B arlow, Diffusions on fractals, vol
M. B arlow, Diffusions on fractals, vol. 1690 of Lect. Notes Math., Springer, 1998, pp. 1–121
work page 1998
-
[6]
M. B arlow and R. Bass, The construction of Brownian motion on the Sierpinski carpet , Ann. Inst. H. Poincar ´e Probab. Statist., 25 (1989), pp. 225–257
work page 1989
-
[7]
F. B audoin, Korevaar-Schoen-Sobolev spaces and critical exponents in metric measure spaces , arXiv:2207.12191, (2022)
-
[8]
J. B ourgain, H. Brezis, and P. Mironescu, Another look at Sobolev spaces, Optimal Control and Partial Differ- ential Equations (J.L. Menaldi et al. eds), IOS Press, Amsterdam, 2001, pp. 439–455
work page 2001
-
[9]
S. C ao, Q. Gu, and H. Qiu, p-energies on p.c.f. self-similar sets, Adv. Math., 405 (2022), pp. 108517
work page 2022
-
[10]
Q.-R. D eng and K.-S. Lau, Open set condition and post-critically finite self-similar sets, Nonlinearity, 21 (2008), pp. 1227–1232
work page 2008
-
[11]
P. F itzsimmonsm, B. Hambly, and T. Kumagai, Transition density estimates for Brownian motion on affine nested fractals, Comm. Math. Phys., 165 (1994), pp. 595–620
work page 1994
-
[12]
M. F ukushima, Y . Oshima, and M. Takeda, Dirichlet forms and symmetric Markov processes , vol. 19 of de Gruyter Studies in Mathematics, Walter de Gruyter & Co., Berlin, extended ed., 2011
work page 2011
-
[13]
J. G ao, Z. Y u, and J. Zhang, Convergence of p-energy forms on homogeneous p.c.f self-similar sets , Potential Anal., (2022), https://doi.org/10.1007/s11118-022-10031-y
-
[14]
G ´orny, Bourgain-Brezis-Mironescu approach in metric spaces with Euclidean tangents, J
W. G ´orny, Bourgain-Brezis-Mironescu approach in metric spaces with Euclidean tangents, J. Geom. Anal., 32 (2022), pp. 128
work page 2022
-
[15]
G rigor’y an, The heat equation on noncompact Riemannian manifolds , Math
A. G rigor’y an, The heat equation on noncompact Riemannian manifolds , Math. USSR-Sb., 72 (1992), pp. 47– 77
work page 1992
-
[16]
A. G rigor’y an, E. Hu, and J. Hu, Lower estimates of heat kernels for non-local Dirichlet forms on metric measure spaces, J. Funct. Anal., 272 (2017), pp. 3311–3346
work page 2017
-
[17]
A. G rigor’y an and J. H u, Upper bounds of heat kernels on doubling spaces , Moscow Math. J., 14 (2014), pp. 505–563. 39
work page 2014
-
[18]
A. G rigor’y an, J. Hu, and K.-S. Lau, Heat kernels on metric measure spaces and an application to semilinear elliptic equations, Trans. Amer. Math. Soc., 355 (2003), pp. 2065–2095
work page 2003
-
[19]
A. G rigor’y an andA. Telcs, Two-sided estimates of heat kernels on metric measure spaces, Annals of Probabil- ity, 40 (2012), pp. 1212–1284
work page 2012
-
[20]
Q. G u and K.-S. Lau, Dirichlet forms and convergence of Besov norms on self-similar sets, Ann. Acad. Sci. Fenn. Math., 45 (2020), pp. 625–646
work page 2020
-
[21]
, Dirichlet forms and critical exponents on fractals, Trans. Amer. Math. Soc., 373 (2020), pp. 1619–1652
work page 2020
-
[22]
B. H an and A. Pinamonti, On the asymptotic behaviour of the fractional Sobolev seminorms in metric measure spaces: Bourgain-Brezis-Mironescu’s theorem revisited, arXiv:2110.05980, (2021)
-
[23]
P. H erman, R. Peirone, and R. Strichartz, p-energy and p-harmonic functions on Sierpinski gasket type fractals, Potential Anal., 20 (2004), pp. 125–148
work page 2004
-
[24]
N. K ajino and M. Murugan, On singularity of energy measures for symmetric di ffusions with full o ff-diagonal heat kernel estimates, Ann. Probab., 48 (2020), pp. 2920–2951
work page 2020
-
[25]
K igami, Harmonic calculus on p.c.f
J. K igami, Harmonic calculus on p.c.f. self-similar sets, Trans. Amer. Math. Soc., 335 (1993), pp. 721–755
work page 1993
- [26]
-
[27]
J. K igami, Conductive homogeneity of compact metric spaces and construction of p-energy , arXiv:2109.08335, (2022)
-
[28]
K umagai, Estimates of the transition densities for brownian motion on nested fractals , Probab
T. K umagai, Estimates of the transition densities for brownian motion on nested fractals , Probab. Theory and Related Fields, 96 (1993), pp. 205–224
work page 1993
- [29]
-
[30]
K. P ietruska-Pałuba, Limiting behaviour of Dirichlet forms for stable processes on metric spaces , Bull. Pol. Acad. Sci. Math., 56 (2008), pp. 257–266
work page 2008
-
[31]
, Heat kernel characterisation of Besov-Lipschitz spaces on metric measure spaces , Manuscripta Math., 131 (2010), pp. 199–214
work page 2010
-
[32]
S aloff-Coste, A note on Poincar´ e, Sobolev, and Harnack inequalities, Internat
L. S aloff-Coste, A note on Poincar´ e, Sobolev, and Harnack inequalities, Internat. Math. Res. Notices, (1992), pp. 27–38
work page 1992
-
[33]
R. S himizu, Construction of p-energy and associated energy measures on the Sierpinski carpet , arXiv:2110.13902v1, (2022)
-
[34]
R. S trichartz and C. Wong, The p-laplacian on the sierpinski gasket, Nonlinearity, 17 (2004), pp. 595–616
work page 2004
-
[35]
R. S. S trichartz, Fractals in the large, Canad. J. Math., 50 (1998), pp. 638–657
work page 1998
-
[36]
R. S. S trichartz and A. Teply aev, Spectral analysis on infinite Sierpi´ nski fractafolds, J. Anal. Math., 116 (2012), pp. 255–297
work page 2012
-
[37]
M. Yang, Equivalent semi-norms of non-local Dirichlet forms on the Sierpi´ nski gasket and applications, Potential Anal., 49 (2018), pp. 287–308
work page 2018
-
[38]
Y ang, On the domains of Dirichlet forms on metric measure spaces, Math
M. Y ang, On the domains of Dirichlet forms on metric measure spaces, Math. Z., 301 (2022), pp. 2129–2154. Department of Mathematics, Hangzhou Normal University, Hangzhou 310036, China. Email address: gaojin@hznu.edu.cn Department of MathematicalSciences, Tsinghua University, Beijing 100084, China. Email address: yuzy18@mails.tsinghua.edu.cn Department of...
work page 2022
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.