pith. sign in

arxiv: 2502.10369 · v4 · submitted 2025-02-14 · 🧮 math.FA · math.AP

Construction of p-energy measures associated with strongly local p-energy forms

K\^ohei Sasaya This is my paper

Pith reviewed 2026-05-23 02:54 UTC · model grok-4.3

classification 🧮 math.FA math.AP
keywords p-energy formsenergy measuresstrongly localLe Jan domination principleKorevaar-Schoen measureschain ruleLeibniz rule
0
0 comments X

The pith

Strongly local p-energy forms admit unique canonical p-energy measures that obey the chain and Leibniz rules.

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

The paper constructs canonical p-energy measures for strongly local p-energy forms, which are L^p analogues of Dirichlet forms. The construction proceeds without any assumption of self-similarity on the underlying space. These measures are shown to satisfy the chain rule and the Leibniz rule. The paper proves that measures with these properties are unique and supplies a p-energy version of Le Jan's domination principle as the main technical tool. The same measures are shown to coincide with the Korevaar-Schoen-type measures introduced earlier by Alonso-Ruiz and Baudoin.

Core claim

We construct canonical p-energy measures associated with strongly local p-energy forms without assuming self-similarity. Furthermore, we prove that these measures satisfy the chain and Leibniz rules, and that such good energy measures are unique. A key ingredient is a p-energy analogue of Le Jan's domination principle. Moreover, we show that the Korevaar-Schoen-type p-energy measures defined by Alonso-Ruiz and Baudoin coincide with our canonical p-energy measures.

What carries the argument

The p-energy analogue of Le Jan's domination principle, which supplies the construction of the canonical measures and the proof of their chain and Leibniz rules.

If this is right

  • Energy measures become available on spaces that lack self-similarity.
  • The chain rule and Leibniz rule hold for the constructed measures.
  • Uniqueness guarantees that any two good constructions agree.
  • The measures match the Korevaar-Schoen-type measures on the same spaces.

Where Pith is reading between the lines

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

  • The uniqueness result supplies a single reference object that can be used in place of competing definitions when locality holds.
  • The method opens the possibility of studying p-variational problems on metric spaces that are not self-similar fractals.

Load-bearing premise

The p-energy form under consideration is strongly local.

What would settle it

A concrete strongly local p-energy form on which the constructed measure fails to satisfy the chain rule or on which two different constructions produce distinct measures.

Figures

Figures reproduced from arXiv: 2502.10369 by K\^ohei Sasaya.

Figure 1
Figure 1. Figure 1: Sierpi´nski Gasket the Dirichlet form on the gasket corresponding to the Brownian motion. (cf. Kigami [49] directly constructed the associated Laplacian.) Many studies have been conducted on constructing Dirichlet forms on fractals (see, e.g., [31, 41, 50, 53, 54, 60]) and the corresponding Markov processes (see, e.g., [6, 7, 30, 62]) and their properties (see, e.g., [8, 9, 37, 55, 58]; see also [5, 51, 68… view at source ↗
read the original abstract

We construct canonical $p$-energy measures associated with strongly local $p$-energy forms without assuming self-similarity. Here, $p$-energy forms are $L^p$-analogues of Dirichlet forms, which have recently been studied mainly on fractals. Furthermore, we prove that these measures satisfy the chain and Leibniz rules, and that such "good" energy measures are unique. A key ingredient is a $p$-energy analogue of Le Jan's domination principle. Moreover, we show that the Korevaar$-$Schoen-type $p$-energy measures defined by Alonso-Ruiz and Baudoin (2025, Nonlinear Anal.) coincide with our canonical $p$-energy measures.

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

0 major / 1 minor

Summary. The paper constructs canonical p-energy measures for strongly local p-energy forms without assuming self-similarity. It proves that these measures satisfy the chain and Leibniz rules, establishes uniqueness of such 'good' measures using a p-analogue of Le Jan's domination principle, and shows that they coincide with the Korevaar-Schoen-type p-energy measures defined by Alonso-Ruiz and Baudoin.

Significance. If the central construction and proofs hold, the work is significant for extending the theory of p-energy forms beyond self-similar settings, providing a canonical object with verified functional rules and uniqueness. The coincidence result unifies prior definitions, and the domination principle analogue supplies a useful technical tool for nonlinear potential theory on metric spaces.

minor comments (1)
  1. Abstract: the phrase 'Korevaar$-$Schoen-type' contains a stray LaTeX delimiter that should be rendered as 'Korevaar-Schoen-type'.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive report, the recognition of the paper's contributions to the theory of p-energy forms on general metric spaces, and the recommendation to accept.

Circularity Check

0 steps flagged

Derivation self-contained with no circular steps

full rationale

The paper presents an independent construction of canonical p-energy measures for strongly local p-energy forms, relying on a p-analogue of Le Jan's domination principle to establish chain/Leibniz rules, uniqueness of good measures, and coincidence with Alonso-Ruiz–Baudoin Korevaar-Schoen measures. No quoted equations or steps reduce by definition to fitted inputs, self-citations, or prior ansatzes from the same authors; the argument remains within the stated scope of strong locality without self-similarity and does not invoke load-bearing self-references. This matches the default expectation of a non-circular theoretical construction in functional analysis.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract supplies no information on free parameters, background axioms, or new entities; full text required for ledger.

pith-pipeline@v0.9.0 · 5641 in / 1069 out tokens · 29137 ms · 2026-05-23T02:54:21.753891+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

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

  1. [1]

    Alonso Ruiz and F

    P. Alonso Ruiz and F. Baudoin, Korevaar–Schoen p-energies and their Γ- limits on Cheeger spaces, Nonlinear Anal. 256 (2025), Paper No. 113779, 22 pp.; https://doi.org/10.1016/j.na.2025.113779, MR4867864

    work page doi:10.1016/j.na.2025.113779 2025

  2. [2]

    Ambrosio, N

    L. Ambrosio, N. Gigli and G. Savar´ e, Calculus and heat flow in metric measure spaces and applications to spaces with Ricci bounds from below, Invent. Math. 195 (2014), no. 2, 289–391; https://doi.org/10.1007/ s00222-013-0456-1 , MR3152751

    work page 2014

  3. [3]

    , Metric measure spaces with Riemannian Ricci curvature bounded from below, Duke Math. J. 163 (2014), no. 7, 1405–1490; https: //doi.org/10.1215/00127094-2681605, MR3205729

    work page doi:10.1215/00127094-2681605 2014

  4. [4]

    Anttila, S

    R. Anttila, S. Eriksson-Bique and R. Shimizu, Construction of self-similar energy forms and singularity of Sobolev spaces on Laakso-type fractal spaces, preprint, 2025. https://doi.org/10.48550/arXiv.2503.13258

    work page doi:10.48550/arxiv.2503.13258 2025

  5. [5]

    M. T. Barlow, Analysis on the Sierpinski carpet, in Analysis and geometry of metric measure spaces , 27–53, CRM Proc. Lecture Notes, 56, Amer. Math. Soc., Providence, RI, 2013; https://doi.org/10.1090/crmp/056/ 02, MR3060498. 33 K ˆOHEI SASAYA

    work page doi:10.1090/crmp/056/ 2013

  6. [6]

    M. T. Barlow and R. F. Bass, The construction of Brownian motion on the Sierpi´ nski carpet, Ann. Inst. H. Poincar´ e Probab. Statist.25 (1989), no. 3, 225–257; http://www.numdam.org/item?id=AIHPB_1989__25_3_ 225_0, MR1023950

    work page 1989

  7. [7]

    , Brownian motion and harmonic analysis on Sierpinski carpets, Canad. J. Math. 51 (1999), no. 4, 673–744; https://doi.org/10.4153/ CJM-1999-031-4 , MR1701339

    work page 1999

  8. [8]

    M. T. Barlow, R. F. Bass, T. Kumagai and A. Teplyaev, Uniqueness of Brownian motion on Sierpi´ nski carpets, J. Eur. Math. Soc. (JEMS) 12 (2010), no. 3, 655–701; https://doi.org/10.4171/jems/211, MR2639315

    work page doi:10.4171/jems/211 2010

  9. [9]

    M. T. Barlow and J. Kigami, Localized eigenfunctions of the Laplacian on p.c.f. self-similar sets, J. London Math. Soc. (2) 56 (1997), no. 2, 320–332; https://doi.org/10.1112/S0024610797005358, MR1489140

    work page doi:10.1112/s0024610797005358 1997

  10. [10]

    M. T. Barlow and E. A. Perkins, Brownian motion on the Sierpi´ nski gasket, Probab. Theory Related Fields 79 (1988), no. 4, 543–623; https://doi. org/10.1007/BF00318785, MR0966175

    work page doi:10.1007/bf00318785 1988

  11. [11]

    Baudoin, Korevaar–Schoen–Sobolev spaces and critical exponents in metric measure spaces, Ann

    F. Baudoin, Korevaar–Schoen–Sobolev spaces and critical exponents in metric measure spaces, Ann. Fenn. Math. 49 (2024), no. 2, 487–527; https://doi.org/10.54330/afm.147513, MR4791991

    work page doi:10.54330/afm.147513 2024

  12. [12]

    Beznea, L

    C. Beznea, L. Beznea and M. R¨ ockner, Nonlinear Dirichlet Forms Associ- ated with Quasiregular Mappings, Potential Anal. 62 (2025), no. 3, 509– 533; https://doi.org/10.1007/s11118-024-10145-5 , MR4877477

    work page doi:10.1007/s11118-024-10145-5 2025

  13. [13]

    Biroli and P

    M. Biroli and P. G. Vernole, Strongly local nonlinear Dirichlet functionals and forms, Adv. Math. Sci. Appl. 15 (2005), no. 2, 655–682; MR2198582

    work page 2005

  14. [14]

    Bouleau and F

    N. Bouleau and F. Hirsch, Dirichlet forms and analysis on Wiener space , De Gruyter Studies in Mathematics, 14, de Gruyter, Berlin, 1991; https: //doi.org/10.1515/9783110858389, MR1133391

    work page doi:10.1515/9783110858389 1991

  15. [16]

    Lozano, A

    D. Chang, J. Gao, Z. Yu and J. Zhang, Weak monotonicity property of Korevaar-Schoen norms on nested fractals, J. Math. Anal. Appl. 540 (2024), no. 1, Paper No. 128623, 11 pp.; https://doi.org/10.1016/j. jmaa.2024.128623, MR4760220

    work page doi:10.1016/j 2024

  16. [17]

    Cheeger, Differentiability of Lipschitz functions on metric measure spaces, Geom

    J. Cheeger, Differentiability of Lipschitz functions on metric measure spaces, Geom. Funct. Anal. 9 (1999), no. 3, 428–517; https://doi.org/ 10.1007/s000390050094, MR1708448. 34 CONSTRUCTION OF ENERGY MEASURES

    work page doi:10.1007/s000390050094 1999

  17. [18]

    A. Chen, J. Gao, Z. Yu and J. Zhang, Besov-Lipschitz norm and p-energy measure on scale-irregular Vicsek sets, preprint, 2024. https://doi.org/ 10.48550/arXiv.2406.00782

    work page doi:10.48550/arxiv.2406.00782 2024

  18. [19]

    J. A. Clarkson, Uniformly convex spaces, Trans. Amer. Math. Soc. 40 (1936), no. 3, 396–414; https://doi.org/10.2307/1989630, MR1501880

    work page doi:10.2307/1989630 1936

  19. [20]

    Courant and D

    R. Courant and D. Hilbert, Methods of mathematical physics. Vol. I , Inter- science Publishers, Inc., New York, 1953; MR0065391

    work page 1953

  20. [21]

    G. Dal Maso, An introduction to Γ-convergence, Progress in Nonlinear Dif- ferential Equations and their Applications, 8, Birkh¨ auser Boston, Boston, MA, 1993; https://doi.org/10.1007/978-1-4612-0327-8 , MR1201152

    work page doi:10.1007/978-1-4612-0327-8 1993

  21. [22]

    H. Federer, Geometric measure theory, Die Grundlehren der mathematis- chen Wissenschaften, Band 153, Springer-Verlag New York, Inc., New York, 1969; https://doi.org/10.1007/978-3-642-62010-2 (reprint version), MR0257325

    work page doi:10.1007/978-3-642-62010-2 1969

  22. [23]

    Fukushima, Y

    M. Fukushima, Y. ¯Oshima and M. Takeda, Dirichlet forms and symmetric Markov processes, second revised and extended edition, De Gruyter Studies in Mathematics, 19, de Gruyter, Berlin, 2010; https://doi.org/10.1515/ 9783110218091, MR2778606

    work page 2010

  23. [24]

    Fukushima and T

    M. Fukushima and T. Shima, On a spectral analysis for the Sierpi´ nski gasket, Potential Anal. 1 (1992), no. 1, 1–35; https://doi.org/10.1007/ BF00249784, MR1245223

    work page 1992

  24. [25]

    J. Gao, Z. Yu and J. Zhang, Heat kernel-based p-energy norms on met- ric measure spaces, preprint, 2023. https://doi.org/10.48550/arXiv. 2303.10414

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.48550/arxiv 2023

  25. [26]

    Gigli, Nonsmooth differential geometry—an approach tailored for spaces with Ricci curvature bounded from below, Mem

    N. Gigli, Nonsmooth differential geometry—an approach tailored for spaces with Ricci curvature bounded from below, Mem. Amer. Math. Soc. 251 (2018), no. 1196, v+161 pp.; https://doi.org/10.1090/memo/1196, MR3756920

    work page doi:10.1090/memo/1196 2018

  26. [27]

    Gigli and E

    N. Gigli and E. Pasqualetto, Lectures on nonsmooth differential geometry , SISSA Springer Series, 2, Springer, Cham, [2020] ©2020; https://doi. org/10.1007/978-3-030-38613-9 , MR4321459

    work page doi:10.1007/978-3-030-38613-9 2020

  27. [28]

    Goldstein, Random walks and diffusions on fractals, in Percolation the- ory and ergodic theory of infinite particle systems (Minneapolis, Minn., 1984–1985), 121–129, IMA Vol

    S. Goldstein, Random walks and diffusions on fractals, in Percolation the- ory and ergodic theory of infinite particle systems (Minneapolis, Minn., 1984–1985), 121–129, IMA Vol. Math. Appl., 8, Springer, New York, 1987; https://doi.org/10.1007/978-1-4613-8734-3_8 , MR0894545

    work page doi:10.1007/978-1-4613-8734-3_8 1984

  28. [29]

    Haj lasz, Sobolev spaces on an arbitrary metric space, Potential Anal

    P. Haj lasz, Sobolev spaces on an arbitrary metric space, Potential Anal. 5 (1996), no. 4, 403–415; https://doi.org/10.1007/BF00275475, MR1401074. 35 K ˆOHEI SASAYA

    work page doi:10.1007/bf00275475 1996

  29. [30]

    B. M. Hambly, Brownian motion on a random recursive Sierpinski gasket, Ann. Probab. 25 (1997), no. 3, 1059–1102; https://doi.org/10.1214/ aop/1024404506, MR1457612

    work page arXiv 1997

  30. [31]

    B. M. Hambly and T. Kumagai, Diffusion on the scaling limit of the critical percolation cluster in the diamond hierarchical lattice, Comm. Math. Phys. 295 (2010), no. 1, 29–69; https://doi.org/10.1007/ s00220-009-0981-3 , MR2585991

    work page 2010

  31. [32]

    Heinonen, Lectures on analysis on metric spaces, Universitext, Springer, New York, 2001; https://doi.org/10.1007/978-1-4613-0131-8 , MR1800917

    J. Heinonen, Lectures on analysis on metric spaces, Universitext, Springer, New York, 2001; https://doi.org/10.1007/978-1-4613-0131-8 , MR1800917

    work page doi:10.1007/978-1-4613-0131-8 2001

  32. [33]

    Heinonen and P

    J. Heinonen and P. Koskela, Quasiconformal maps in metric spaces with controlled geometry, Acta Math. 181 (1998), no. 1, 1–61; https://doi. org/10.1007/BF02392747, MR1654771

    work page doi:10.1007/bf02392747 1998

  33. [34]

    Heinonen, P

    J. Heinonen, P. Koskela, N. Shanmugalingam and J. T. Tyson, Sobolev spaces on metric measure spaces , New Mathematical Monographs, 27, Cambridge Univ. Press, Cambridge, 2015; https://doi.org/10.1017/ CBO9781316135914, MR3363168

    work page 2015

  34. [35]

    P. E. Herman, R. Peirone and R. S. Strichartz, p-energy and p- harmonic functions on Sierpinski gasket type fractals, Potential Anal. 20 (2004), no. 2, 125–148; https://doi.org/10.1023/A:1026377524793, MR2032945

    work page doi:10.1023/a:1026377524793 2004

  35. [36]

    Hino, Energy measures and indices of Dirichlet forms, with applications to derivatives on some fractals, Proc

    M. Hino, Energy measures and indices of Dirichlet forms, with applications to derivatives on some fractals, Proc. Lond. Math. Soc. (3) 100 (2010), no. 1, 269–302; https://doi.org/10.1112/plms/pdp032, MR2578475

    work page doi:10.1112/plms/pdp032 2010

  36. [37]

    2, 187–205; https://doi.org/10.1090/suga/423, MR3711764

    , Indices of Dirichlet forms, Sugaku Expositions 30 (2017), no. 2, 187–205; https://doi.org/10.1090/suga/423, MR3711764

    work page doi:10.1090/suga/423 2017

  37. [38]

    Kajino, Heat kernel asymptotics for the measurable Riemannian struc- ture on the Sierpinski gasket, Potential Anal

    N. Kajino, Heat kernel asymptotics for the measurable Riemannian struc- ture on the Sierpinski gasket, Potential Anal. 36 (2012), no. 1, 67–115; https://doi.org/10.1007/s11118-011-9221-5 , MR2886454

    work page doi:10.1007/s11118-011-9221-5 2012

  38. [39]

    , Analysis and geometry of the measurable Riemannian structure on the Sierpi´ nski gasket, in Fractal geometry and dynamical systems in pure and applied mathematics. I. Fractals in pure mathematics , 91–133, Contemp. Math., 600, Amer. Math. Soc., Providence, RI, 2013; https: //doi.org/10.1090/conm/600/11932, MR3203400

    work page doi:10.1090/conm/600/11932 2013

  39. [40]

    , Energy measures for diffusions on fractals: a survey, in Analysis and partial differential equations on manifolds, fractals and graphs , 119– 142, Adv. Anal. Geom., 3, De Gruyter, Berlin, 2021; https://doi.org/ 10.1515/9783110700763-005, MR4320088. 36 CONSTRUCTION OF ENERGY MEASURES

    work page doi:10.1515/9783110700763-005 2021

  40. [41]

    , The Laplacian on some self-conformal fractals and Weyl’s asymptotics for its eigenvalues: a survey of the analytic aspects, in Stochas- tic analysis, random fields and integrable probability—Fukuoka 2019 , 293– 314, Adv. Stud. Pure Math., 87, Math. Soc. Japan, Tokyo, 2021; https: //doi.org/10.2969/aspm/08710293, MR4397428

    work page doi:10.2969/aspm/08710293 2019

  41. [42]

    Kajino and M

    N. Kajino and M. K. Murugan, On the conformal walk dimension: qua- sisymmetric uniformization for symmetric diffusions, Invent. Math. 231 (2023), no. 1, 263–405; https://doi.org/10.1007/s00222-022-01148-3 , MR4526824

    work page doi:10.1007/s00222-022-01148-3 2023

  42. [43]

    Kajino and R

    N. Kajino and R. Shimizu, Korevaar–Schoen p-energy forms and associ- ated p-energy measures on fractals, preprint, 2024. https://doi.org/10. 48550/arXiv.2404.13435

    work page arXiv 2024

  43. [44]

    , Contraction properties and differentiability of p-energy forms with applications to nonlinear potential theory on self-similar sets, preprint,

    work page

  44. [45]

    https://doi.org/10.48550/arXiv.2404.13668

    work page doi:10.48550/arxiv.2404.13668

  45. [46]

    https://doi.org/10.48550/arXiv.2501.09002

    , p-Energy forms on fractals: recent progress, preprint, 2025. https://doi.org/10.48550/arXiv.2501.09002

    work page doi:10.48550/arxiv.2501.09002 2025

  46. [47]

    self-similar sets, in preparation

    , On singularity of p-energy measures among distinct values of p for some p.-c.f. self-similar sets, in preparation

    work page

  47. [48]

    Kesten, The incipient infinite cluster in two-dimensional percolation, Probab

    H. Kesten, The incipient infinite cluster in two-dimensional percolation, Probab. Theory Related Fields 73 (1986), no. 3, 369–394; https://doi. org/10.1007/BF00776239, MR0859839

    work page doi:10.1007/bf00776239 1986

  48. [49]

    , Subdiffusive behavior of random walk on a random cluster, Ann. Inst. H. Poincar´ e Probab. Statist.22 (1986), no. 4, 425–487; http://www. numdam.org/item?id=AIHPB_1986__22_4_425_0, MR0871905

    work page 1986

  49. [50]

    Kigami, A harmonic calculus on the Sierpi´ nski spaces, Japan J

    J. Kigami, A harmonic calculus on the Sierpi´ nski spaces, Japan J. Appl. Math. 6 (1989), no. 2, 259–290; https://doi.org/10.1007/BF03167882, MR1001286

    work page doi:10.1007/bf03167882 1989

  50. [51]

    self-similar sets, Trans

    , Harmonic calculus on p.c.f. self-similar sets, Trans. Amer. Math. Soc. 335 (1993), no. 2, 721–755; https://doi.org/10.2307/2154402, MR1076617

    work page doi:10.2307/2154402 1993

  51. [52]

    Press, Cambridge, 2001; https://doi.org/10.1017/ CBO9780511470943, MR1840042

    , Analysis on fractals , Cambridge Tracts in Mathematics, 143, Cambridge Univ. Press, Cambridge, 2001; https://doi.org/10.1017/ CBO9780511470943, MR1840042

    work page 2001

  52. [53]

    , Measurable Riemannian geometry on the Sierpinski gasket: the Kusuoka measure and the Gaussian heat kernel estimate, Math. Ann. 340 (2008), no. 4, 781–804; https://doi.org/10.1007/s00208-007-0169-0 , MR2372738. 37 K ˆOHEI SASAYA

    work page doi:10.1007/s00208-007-0169-0 2008

  53. [54]

    , Resistance forms, quasisymmetric maps and heat kernel es- timates, Mem. Amer. Math. Soc. 216 (2012), no. 1015, vi+132 pp.; https://doi.org/10.1090/S0065-9266-2011-00632-5 , MR2919892

    work page doi:10.1090/s0065-9266-2011-00632-5 2012

  54. [55]

    , Conductive homogeneity of compact metric spaces and construc- tion of p-energy, Memoirs of the European Mathematical Society, 5, Eur. Math. Soc., Berlin, 2023; https://doi.org/10.4171/mems/5, MR4615714

    work page doi:10.4171/mems/5 2023

  55. [56]

    Kigami and M

    J. Kigami and M. L. Lapidus, Weyl’s problem for the spectral distri- bution of Laplacians on p.c.f. self-similar fractals, Comm. Math. Phys. 158 (1993), no. 1, 93–125; http://projecteuclid.org/euclid.cmp/ 1104254132, MR1243717

    work page 1993

  56. [57]

    N. J. Korevaar and R. M. Schoen, Sobolev spaces and harmonic maps for metric space targets, Comm. Anal. Geom. 1 (1993), no. 3-4, 561–659; https://doi.org/10.4310/CAG.1993.v1.n4.a4, MR1266480

    work page doi:10.4310/cag.1993.v1.n4.a4 1993

  57. [58]

    Koskela and Y

    P. Koskela and Y. Zhou, Geometry and analysis of Dirichlet forms, Adv. Math. 231 (2012), no. 5, 2755–2801; https://doi.org/10.1016/j.aim. 2012.08.004, MR2970465

    work page doi:10.1016/j.aim 2012

  58. [59]

    Kumagai, Short time asymptotic behaviour and large deviation for Brownian motion on some affine nested fractals, Publ

    T. Kumagai, Short time asymptotic behaviour and large deviation for Brownian motion on some affine nested fractals, Publ. Res. Inst. Math. Sci. 33 (1997), no. 2, 223–240; https://doi.org/10.2977/prims/ 1195145448, MR1442498

    work page doi:10.2977/prims/ 1997

  59. [60]

    Kusuoka, Dirichlet forms on fractals and products of random matrices, Publ

    S. Kusuoka, Dirichlet forms on fractals and products of random matrices, Publ. Res. Inst. Math. Sci. 25 (1989), no. 4, 659–680; https://doi.org/ 10.2977/prims/1195173187, MR1025071

    work page doi:10.2977/prims/1195173187 1989

  60. [61]

    Kusuoka and X

    S. Kusuoka and X. Y. Zhou, Dirichlet forms on fractals: Poincar´ e constant and resistance, Probab. Theory Related Fields 93 (1992), no. 2, 169–196; https://doi.org/10.1007/BF01195228, MR1176724

    work page doi:10.1007/bf01195228 1992

  61. [62]

    Kuwae, (1 , p)-Sobolev spaces based on strongly local Dirichlet forms, Math

    K. Kuwae, (1 , p)-Sobolev spaces based on strongly local Dirichlet forms, Math. Nachr. 297 (2024), no. 10, 3723–3740; https://doi.org/10.1002/ mana.202400025, MR4816789

    work page 2024

  62. [63]

    T. L. Lindstrøm, Brownian motion on nested fractals, Mem. Amer. Math. Soc. 83 (1990), no. 420, iv+128 pp.; https://doi.org/10.1090/memo/ 0420, MR0988082

    work page doi:10.1090/memo/ 1990

  63. [64]

    Mosco, Composite media and asymptotic Dirichlet forms, J

    U. Mosco, Composite media and asymptotic Dirichlet forms, J. Funct. Anal. 123 (1994), no. 2, 368–421; https://doi.org/10.1006/jfan.1994. 1093, MR1283033

    work page doi:10.1006/jfan.1994 1994

  64. [65]

    Murugan and R

    M. Murugan and R. Shimizu, First-order Sobolev spaces, self-similar en- ergies and energy measures on the Sierpi´ nski carpet, Comm. Pure Appl. Math. (2025); https://doi.org/10.1002/cpa.22247. 38 CONSTRUCTION OF ENERGY MEASURES

    work page doi:10.1002/cpa.22247 2025

  65. [66]

    J. A. Ram´ ırez, Short-time asymptotics in Dirichlet spaces, Comm. Pure Appl. Math. 54 (2001), no. 3, 259–293; https://doi.org/10.1002/ 1097-0312(200103)54:3%3C259::aid-cpa1%3E3.0.co;2-k , MR1809739

    work page 2001

  66. [67]

    Shanmugalingam, Newtonian spaces: an extension of Sobolev spaces to metric measure spaces, Rev

    N. Shanmugalingam, Newtonian spaces: an extension of Sobolev spaces to metric measure spaces, Rev. Mat. Iberoamericana 16 (2000), no. 2, 243– 279; https://doi.org/10.4171/RMI/275, MR1809341

    work page doi:10.4171/rmi/275 2000

  67. [68]

    Shimizu, Construction of p-energy and associated energy measures on Sierpi´ nski carpets, Trans

    R. Shimizu, Construction of p-energy and associated energy measures on Sierpi´ nski carpets, Trans. Amer. Math. Soc.377 (2024), no. 2, 951–1032; https://doi.org/10.1090/tran/9036, MR4688541

    work page doi:10.1090/tran/9036 2024

  68. [69]

    R. S. Strichartz, Differential equations on fractals. A tutorial , Prince- ton Univ. Press, Princeton, NJ, 2006; https://doi.org/10.2307/j. ctv346nvv, MR2246975

    work page doi:10.2307/j 2006

  69. [70]

    Sturm, Analysis on local Dirichlet spaces

    K.-T. Sturm, Analysis on local Dirichlet spaces. II. Upper Gaussian es- timates for the fundamental solutions of parabolic equations, Osaka J. Math. 32 (1995), no. 2, 275–312; http://projecteuclid.org/euclid. ojm/1200786053, MR1355744

    work page arXiv 1995

  70. [71]

    , Analysis on local Dirichlet spaces. III. The parabolic Harnack inequality, J. Math. Pures Appl. (9) 75 (1996), no. 3, 273–297; MR1387522

    work page 1996

  71. [72]

    Yang, Korevaar–Schoen spaces on Sierpi´ nski carpets, preprint, 2023

    M. Yang, Korevaar–Schoen spaces on Sierpi´ nski carpets, preprint, 2023. https://doi.org/10.48550/arXiv.2306.09900. 39

    work page doi:10.48550/arxiv.2306.09900 2023