Pith. sign in

REVIEW 2 major objections 4 minor 32 references

On the domains of first order differential operators on the Sierpi\'{n}ski gasket

T0 review · 2 major / 4 minor · reviewed 2026-08-07 · deepseek-v4-flash

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

Pith's one-line read On the Sierpiński gasket, functions in the domain of a new first-order operator — even discontinuous ones — acquire pointwise values at junction points, given by the ratio of normal parts of the one-forms $f\omega$ and $\omega$.

desk verdict Mostly convincing pointwise representation theorem on the Sierpiński gasket; the one load-bearing reduction step is sketched but reconstructible, and the paper deserves a serious referee. read the letter →

arxiv 2506.08679 v1 pith:A7JWXQ23 submitted 2025-06-10 math.FA math.AP

Waldemar Schefer This is my paper
classification math.FAmath.AP MSC 28A8047A0747B4746E36
keywords Sierpińskigasketfirst-orderdifferentialoperatorsone-formsDirichletformsHodgestaroperatornormalpartsloopbasisdivergence-free
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 first-order differential operators on the Sierpiński gasket that map functions to functions, understood as total derivatives with respect to a reference one-form $\omega$, and asks what pointwise meaning functions in their domains have — these functions need not be continuous. The main result shows that for a divergence-free, minimal energy-dominant $\omega$ and a function $f$ in the domain of the operator $\partial^\perp_{V_0}$, the average of $f$ over cells shrinking to any junction point converges to the ratio of the normal parts of $f\omega$ and $\omega$ at that point. In plain terms, even a discontinuous element of the domain has a well-defined 'value' at each junction point, expressed as a flow-through ratio. This matters because the same operator appears in continuity and transport-type equations on fractals, and because the ratio makes explicit the factor that plays the role of a derivative of one function against another — information that is otherwise hidden inside the Hodge star operator.

What carries the argument

The load-bearing objects are the orthogonal loop basis $\{\partial_{(|w|+1)}\psi_w\}_w$ of the space $\ker \partial^\ast$ of divergence-free one-forms and the Hodge star operator. Here $\psi$ is the continuous piecewise 1-harmonic function with values $0$, $+1$, $-1$ at the three corners of a cell, and $\psi_w$ is the copy of $\psi$ supported on the cell $K_w$; each basis element is tied to one of the holes of the gasket, and the norms are $30\cdot(5/3)^{|w|}$, so every divergence-free form has a coefficient expansion indexed by cells. The Hodge star $\star_\omega f = f\omega$ is an isometric isomorphism between $L^2(K,\nu_\omega)$ and the space of one-forms precisely when $\omega$ is minimal energy-dominant (Corollary 8.1), and the self-similarity of one-forms and energy measures (Theorem 5.1) reduces the proof to the vertex $q_0$. The core computation expresses the mean of $\star_\omega \partial u$ over $K_{0^m}$ as an explicit quotient whose numerator and denominator split into normal-derivative, tangential, and loop-basis terms; each term is then estimated using the side-approximation law for normal parts (Theorem 6.10), the representation of harmonic functions by their normal and tangential data (Lemma 9.5), and the resistance estimate that holds for functions in the generator domain.

What would settle it

At a junction point $F_w q_i$ with $\vec n\cdot\omega(F_w q_i)\neq 0$, take an explicit minimal energy-dominant $\omega$ with finitely many loops and an explicit $u$ in the generator domain, and compute (numerically or symbolically) the means of $\star_\omega^{-1}\partial u$ over $K_{w i^m}$: Theorem 9.1 predicts convergence to $\partial_n u(F_w q_i)/\vec n\cdot\omega(F_w q_i)$. The sharper test targets the basis itself: solve for a divergence-free one-form orthogonal to every $\partial_{(|w|+1)}\psi_w$; any nonzero solution would refute Theorem 4.1 and, with it, the loop expansion on which the ratio formula rests.

Watch

Extended reading notes

Core claim

The central claim is Theorem 9.1: for a minimal energy-dominant divergence-free one-form $\omega \in \ker \partial^\ast_{V_0}$ and a function $f \in D_{\nu_\omega}(\partial^\perp_{V_0})$ such that both $f$ and $\omega$ have a finite loop expansion, the mean of $f$ over the cells $K_{w i^m}$ shrinking to a junction point $F_w q_i$ converges: $$\lim_{m\to\infty} \frac{1}{\nu_\omega(K_{w i^m})}\int_{K_{w i^m}} f \, d\nu_\omega = \frac{\vec n \cdot (f\omega)(F_w q_i)}{\vec n \cdot \omega(F_w q_i)}$$ whenever $\vec n \cdot \omega(F_w q_i) \neq 0$. The left-hand side is the average of $f$ over finer and finer cells; the right-hand side is the flow of the modulated one-form $f\omega$ through the point, rescaled by the flow of the reference form $\omega$. The paper reads the identity as a pointwise representation: even discontinuous elements of $D_{\nu_\omega}(\partial^\perp_{V_0})$ behave as if their value at a junction point were the ratio $\vec n\cdot(f\omega)/\vec n\cdot\omega$. Theorem 9.7 extends the statement to infinite loop expansions whose coefficients decay fast enough, with explicit thresholds such as $\theta < (3/5)^{3/2}$, and the three examples of Section 10 exhibit discontinuities that arise exactly when the conditions fail: at points where $\vec n\cdot\omega$ vanishes, along the sides of cells when loop coefficients shrink slower than $(3/5)^m$, and along vertical approach lines.

Load-bearing premise

The load-bearing premise is that the loop basis is complete — that the one-forms built from the single piecewise 1-harmonic function $\psi$ really span all divergence-free one-forms, as the paper inherits from the cited density and dimension-count results — together with the assumption that the reference form $\omega$ is minimal energy-dominant, which makes $f \mapsto f\omega$ an isometric isomorphism and gives the domain of $\partial^\perp_{V_0}$ its meaning.

Editorial extensions

If this is right

  • For $u$ in the domain of the Laplacian, the element $f = \star_\omega^{-1}\partial u$ belongs to $D_{\nu_\omega}(\partial^\perp_{V_0})$, so the ratio $\partial_n u/\vec n\cdot\omega$ supplies explicit pointwise information about the otherwise inaccessible integrand $\star_\omega^{-1}\partial u$ at junction points — the counterpart, on the gasket, of the Clark–Ocone integrand from Malliavin calculu
  • The ratio $R_f(q) = \vec n\cdot(f\omega)(q)/\vec n\cdot\omega(q)$ obeys a limited-continuity principle: it extends continuously along the sides of the cells of every finite metric-graph approximation of the gasket, in parallel to the known limited-continuity theorem for Radon–Nikodym derivatives of energy measures (Corollary 9.3).
  • The domain of $\partial^\perp_{V_0}$ is strictly larger than the space of energy-finite functions: Section 10 constructs three explicit classes of discontinuous elements, namely functions discontinuous on the zero set of $\vec n\cdot\omega$, along cell sides when the loop coefficients decay slower than $(3/5)^m$, and along vertical approach lines.
  • When $\omega = \partial h$ for a nonconstant harmonic $h$, the pointwise value of $f = \star_\omega^{-1}\partial u$ reduces to the classical ratio of normal derivatives $\partial_n u/\partial_n h$, matching the total-derivative identity $\partial u = (\star_\omega^{-1}\partial u)\,\partial h$ at the level of junction points.
  • For one-forms with infinitely many loops the representation survives only below explicit decay thresholds — for instance $\theta < (3/5)^{3/2}$ when one or two loops surround the point — so the theorem delineates, inside the domain, the elements that admit pointwise values from those that carry genuinely unbounded discontinuities (Theorem 9.7).

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The informal identification of the ratio with the fiber inner product $\langle \eta_x, \omega_x \rangle$ is stated in the paper only heuristically — junction points are a $\nu_\omega$-null set — so the natural next step is to decide in what topology the ratio can become a genuine function on the whole gasket, for instance by proving continuity on each finite metric graph approximation.
  • All thresholds appearing in Theorem 9.7 and Proposition 10.2 are powers of the resistance scaling $r = 3/5$; since the paper states that the restriction to the Sierpiński gasket is only for simplicity, one testable extension is to check whether the same representation holds on other post-critically finite self-similar fractals, with the thresholds expressed through their own resistance scalings.
  • Corollary 9.3 only controls approach along the sides of cells; the paper leaves open whether the ratio extends continuously along arbitrary approach curves to a junction point, and the vertical-line example of Section 10 suggests that the answer depends delicately on the loop coefficients — a question one could settle by computing the ratio along other curves for the same examples.
  • Viewed through the martingale representation recalled in Remark 9.2, the ratio $\partial_n u/\vec n\cdot\omega$ at junction points is a fractal counterpart of evaluating a Clark–Ocone integrand at a point; if $\star_\omega^{-1}\partial u$ can be identified with the density of one energy measure against another, the theorem becomes a Lebesgue-differentiation statement for energy measures on the gas
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 / 4 minor

Summary. The paper develops first-order differential calculus on the Sierpiński gasket. Using the loop basis for divergence-free one-forms from [IRT12, CGIS13], it introduces piecewise energy finite functions, proves self-similarity of one-forms, and studies normal and tangential parts. The main result, Theorem 9.1, states that for a divergence-free minimal energy-dominant one-form ω and a function f in the domain of the first-order operator ∂⊥_{V0} with finite loop expansion, the mean integrals of f over cells shrinking to a junction point converge to the ratio of the normal parts of fω and ω. The proof is via the more general Theorem 9.7, which is proved for gradient-type functions f = ⋆ω∂u with detailed computations for cells K_{0^m}. The final section provides three classes of discontinuous elements in the domain.

Significance. If the main theorem is established, it gives a genuine pointwise description of elements in the domain of a first-order differential operator on a fractal, linking the L2 Hodge decomposition, the loop basis, and the normal part. This is relevant to the program of first-order calculus on fractals initiated in [Hin10, BK19, HS24] and to the 'limited continuity' results of [BHS14]. The paper contains several independently valuable contributions: the self-similarity theorem for one-forms (Theorem 5.1), the detailed analysis of normal parts including the sharp loop-growth condition in Theorem 6.10, and concrete examples of discontinuities in Section 10. The explicit computations in Section 9.2, such as the formulas for ∂nψ_{0^k}(F_0^m q_i) and the energy measure expansion (68), are a strength. The use of the prior loop basis from [IRT12, CGIS13] avoids circularity. However, the bridge from the gradient case to arbitrary f with finite loop expansion is only sketched, which is the main weakness.

major comments (2)
  1. [Section 9.2, paragraph after Theorem 9.7] The reduction from an arbitrary f ∈ D_{νω}(∂⊥_{V0}) with finite loop expansion to local gradient form f∘F_w = ⋆_{ω∘F_w}∂u_w is asserted but not proved. The statement 'This follows from the Hodge decomposition (54), the basis from Corollary 8.7, self-similarity in Theorem 5.1, and Lemma 9.4' does not construct the level n, does not prove that (fω)∘F_w equals (f∘F_w)(ω∘F_w), does not verify that the resulting u_w belongs to D_{ν_{ω∘F_w}}(Δ_{V0}), and does not establish the normal-part localization identity n·(fω)(F_w q_i) = r^{-|w|} n_{V0}((f∘F_w)(ω∘F_w))(q_i). Since this is the only bridge between Theorem 9.7 and the main Theorem 9.1, the proof should be completed with these details.
  2. [Section 9.2, proof of Theorem 9.7, equation (70)] The proof of the gradient case uses the resistance estimate (70), |u(F_0^m q1) − u(F_0^m q2)| ≤ C r^{m/2}, with C depending linearly on ∥Δ_{νω}u∥_{L2(K_0^m,νω)}. No proof or precise reference is given for this estimate for an arbitrary measure νω. Lemma 6.8 provides a related but different estimate with an o(r^m) term and a global L2 norm. Since this estimate is used to control the terms N2 and N3 in the limit, a derivation or a precise citation is needed.
minor comments (4)
  1. [Section 2.1] The boundary set is written as V0 = {q0, q1, q3}; the third point should be q2.
  2. [Section 9.2, reduction paragraph] In the sentence 'By ∂nφ(Fwqi) = r^{-|w|}∂n(φ∘Fw)(qi) and n·(ω∘Fw)(qi) = r^{-|w|}∂nφ(Fwqi)', the second identity contains a typographical error: it should read n·ω(Fwqi) = r^{-|w|} n_{V0}(ω∘Fw)(qi).
  3. [Introduction, page 3] The claim that 'similar results are true for any p.c.f. self-similar fractal' is not proved or even sketched; consider adding a remark explaining the extent of the generalization or softening the claim.
  4. [Section 2.1] The word 'assoaciated' should be 'associated'.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the ratio representation is obtained by explicit cell computations, with the loop basis and Hodge-star isomorphism imported from independent or prior papers without being identified with the conclusion.

full rationale

The paper's main result (Theorem 9.1 and its general version Theorem 9.7) derives the limit of mean integrals of f over shrinking cells as a ratio of normal parts. This is not a fitted quantity or a rewritten input: the proof computes explicit formulas for the measure νω(K_0^m) and the integral ∫_{K_0^m} ⋆ω∂u dνω using the local Gauss-Green formula (Proposition 6.3), the explicit basis for ker ∂∗ from Theorem 4.1, and the harmonic representation in Lemma 9.5. The final ratio emerges from a direct algebraic computation of these asymptotics, not from an assumed identity. The loop basis itself is sourced from independent prior work: Theorem 4.1 relies on [IRT12, Theorem 5.6] and [CGIS13], and the paper only calculates the normalization and orthogonalization constants (e.g., ||∂ψ_w||² = 30(5/3)^{|w|}) starting from that independent basis. The self-citations [HS24] and [Sch24] are used for context and for the Hodge star isomorphism Corollary 8.1, which is an ingredient of the proof but not equivalent to the conclusion; even if one wished for a fuller proof of that isomorphism, its failure would not make the target ratio identical to the input. The sentence 'Reversing the zoom' in the proof of Theorem 9.7 does contain a nontrivial reduction from a general finite-loop f to local forms ⋆_{ω∘F_w}∂u_w, and this step is asserted rather than fully expanded. However, the intended justification is the L2-Hodge decomposition (54), the basis Corollary 8.7, self-similarity Theorem 5.1, and Lemma 9.4; none of those ingredients already contain the ratio formula that is being proved. This is therefore best viewed as a possible rigor gap, not as circular reasoning. No fitted parameter is renamed as a prediction, and no known result is merely relabeled as a new structure. Overall, the derivation chain is self-contained relative to its stated external sources, and the central claim has independent mathematical content.

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

The central claim rests on the standard resistance-form and one-form framework on the Sierpiński gasket, on the previously established loop basis for divergence-free one-forms, and on the minimal energy-dominance condition that makes the Hodge star map an isometry. No free parameters are fitted and no new entities are postulated. The growth and level-counting conditions in Theorem 9.7 are explicit technical assumptions introduced to handle infinite loop expansions.

assumptions (6)
  • standard math The standard self-similar resistance form (E, F) on the Sierpiński gasket with resistance scaling r = 3/5, together with its energy measures ν_{u,v}.
    Section 2.1: this is the backbone of the space H of one-forms and of all energy computations.
  • standard math H = Im ∂ ⊕ ker ∂* (Hodge decomposition) with ∂ the universal derivation.
    Section 2.2, citing [HKT15, section 4]; used throughout, in particular in Theorem 5.1 and Theorem 9.7.
  • standard math The family {∂_{(|w|+1)}ψ_w}_w is an orthogonal basis of ker ∂*, with ∥∂ψ_w∥²_H = 30·(5/3)^{|w|}.
    Theorem 4.1, proved in the paper but depending on the density result [IRT12, Theorem 5.6] and the dimension count (3^n−1)/2.
  • domain assumption For minimal energy-dominant ω ∈ H, the Hodge star map ⋆_ω: L²(K,ν_ω) → H, f ↦ fω is an isometric isomorphism.
    Corollary 8.1, cited from [HS24, Proposition 4.1]; without it the operator ∂⊥_{V0} and the representation identity are not defined on L²(K,ν_ω).
  • ad hoc to paper The growth condition |Θ_{w'}| ≤ a θ^{|w'|} for some θ ∈ (0, √(3/5)) and the level-counting condition with χ ∈ {0,1,2,3} in Theorem 9.7.
    Introduced to control infinite loop expansions near a junction point; the paper shows the critical scaling is sharp in Section 10, but these are not derived from more basic principles.
  • standard math The resistance estimate |u(F_0^m q1) − u(F_0^m q2)| ≤ C r^{m/2} for u ∈ D(Δ_{ν_ω}).
    Used in the proof of Theorem 9.7; standard for functions in the domain of the Laplacian on SG with respect to an energy measure.

how reviews work

0 comments
Cite this review

Pith. "Pith review of On the domains of first order differential operators on the Sierpi\'{n}ski gasket." pith.science (2026). https://pith.science/paper/A7JWXQ23

@misc{pith2026250608679,
  author       = {Pith},
  title        = {Pith review of: On the domains of first order differential operators on the Sierpi\'nski gasket},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/A7JWXQ23}},
  note         = {Machine review of arXiv:2506.08679}
}
abstract

We study the first order structure of $L^2$-differential one-forms on the Sierpi\'{n}ski gasket. We consider piecewise energy finite functions related to one-forms, normal parts, and show self-similarity properties of one-forms as in the case of energy finite functions on the Sierpi\'{n}ski gasket. We introduce first order differential operators, taking functions into functions, that can be understood as total derivatives with respect to some reference function or form. The main result is a pointwise representation result for certain elements in the domain of said first order differential operator by a ratio of normal derivatives. At last we provide three classes of examples in the domain of said first order differential operator with different types of discontinuities.

Figures

Figures reproduced from arXiv: 2506.08679 by the authors.

Figure 1
Figure 1. The distribution of boundary values on V1 ∩ Ki of the local representatives ψ (i) . In [IRT12, Theorem 5.6. and 5.11.] the authors prove for finitely ramified sets with a finitely ramified cell structure the existence of an orthogonal basis for ker ∂ ∗ that consists of the “gradient” of piecewise nonconstant n-harmonic functions. Let us show that the following piecewise energy finite function ψ generates this basis.… view at source ↗
Figure 2
Figure 2. The level-n cell K0n at q0. Now let us prove (35) for us and ua. Let us denote the vertices Vn+1 in the cell K0n as in [PITH_FULL_IMAGE:figures/full_fig_p018_2.png] view at source ↗
Figure 3
Figure 3. An example cell Kw′ . In the case |w ′ | ≥ |w| with Kw′ ⊂ K0m, the values of ψw′ on ∂Kw′i are the same as ψ on V1. Assuming the cell Kw′ looks like in [PITH_FULL_IMAGE:figures/full_fig_p029_3.png] view at source ↗

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

32 extracted references · 26 canonical work pages

  1. [1]

    Strichartz, and Alexander Teplyaev

    Oren Ben-Bassat, Robert S. Strichartz, and Alexander Teplyaev. What is not in the domain of the L aplacian on S ierpinski gasket type fractals. J. Funct. Anal. , 166(2):197--217, 1999

    work page 1999

  2. [2]

    Strichartz

    Renee Bell, Ching-Wei Ho, and Robert S. Strichartz. Energy measures of harmonic functions on the S ierpi\' n ski gasket. Indiana Univ. Math. J. , 63(3):831--868, 2014

    work page 2014

  3. [3]

    Kelleher

    Fabrice Baudoin and Daniel J. Kelleher. Differential one-forms on D irichlet spaces and B akry-\' E mery estimates on metric graphs. Trans. Amer. Math. Soc. , 371(5):3145--3178, 2019

    work page 2019

  4. [4]

    Barlow and Edwin A

    Martin T. Barlow and Edwin A. Perkins. Brownian motion on the S ierpi\' n ski gasket. Probab. Theory Related Fields , 79(4):543--623, 1988

    work page 1988

  5. [5]

    Integrals and potentials of differential 1-forms on the S ierpinski gasket

    Fabio Cipriani, Daniele Guido, Tommaso Isola, and Jean-Luc Sauvageot. Integrals and potentials of differential 1-forms on the S ierpinski gasket. Adv. Math. , 239:128--163, 2013

    work page 2013

  6. [6]

    Derivations as square roots of D irichlet forms

    Fabio Cipriani and Jean-Luc Sauvageot. Derivations as square roots of D irichlet forms. J. Funct. Anal. , 201(1):78--120, 2003

    work page 2003

  7. [7]

    Fredholm modules on P

    Fabio Cipriani and Jean-Luc Sauvageot. Fredholm modules on P . C . F . self-similar fractals and their conformal geometry. Comm. Math. Phys. , 286(2):541--558, 2009

    2009

  8. [8]

    Uniqueness and non-uniqueness of semigroups generated by singular diffusion operators , volume 1718 of Lecture Notes in Mathematics

    Andreas Eberle. Uniqueness and non-uniqueness of semigroups generated by singular diffusion operators , volume 1718 of Lecture Notes in Mathematics . Springer-Verlag, Berlin, 1999

    work page 1999

Show all 32 references
  1. [9]

    Random walks and diffusions on fractals

    Sheldon Goldstein. Random walks and diffusions on fractals. In Percolation theory and ergodic theory of infinite particle systems ( M inneapolis, M inn., 1984--1985) , volume 8 of IMA Vol. Math. Appl. , pages 121--129. Springer, New York, 1987

    1984

  2. [10]

    Energy measures and indices of D irichlet forms, with applications to derivatives on some fractals

    Masanori Hino. Energy measures and indices of D irichlet forms, with applications to derivatives on some fractals. Proc. Lond. Math. Soc. (3) , 100(1):269--302, 2010

    2010

  3. [11]

    Upper estimate of martingale dimension for self-similar fractals

    Masanori Hino. Upper estimate of martingale dimension for self-similar fractals. Probab. Theory Related Fields , 156(3-4):739--793, 2013

    2013

  4. [12]

    Kelleher, and Alexander Teplyaev

    Michael Hinz, Daniel J. Kelleher, and Alexander Teplyaev. Metrics and spectral triples for D irichlet and resistance forms. J. Noncommut. Geom. , 9(2):359--390, 2015

    2015

  5. [13]

    On the viscous B urgers equation on metric graphs and fractals

    Michael Hinz and Melissa Meinert. On the viscous B urgers equation on metric graphs and fractals. J. Fractal Geom. , 7(2):137--182, 2020

    2020

  6. [14]

    Approximation of partial differential equations on compact resistance spaces

    Michael Hinz and Melissa Meinert. Approximation of partial differential equations on compact resistance spaces. Calc. Var. Partial Differential Equations , 61(1):Paper No. 19, 47, 2022

    2022

  7. [15]

    Vector analysis for D irichlet forms and quasilinear PDE and SPDE on metric measure spaces

    Michael Hinz, Michael R\" o ckner, and Alexander Teplyaev. Vector analysis for D irichlet forms and quasilinear PDE and SPDE on metric measure spaces. Stochastic Process. Appl. , 123(12):4373--4406, 2013

    2013

  8. [16]

    On equations of continuity and transport type on metric graphs and fractals

    Michael Hinz and Waldemar Schefer. On equations of continuity and transport type on metric graphs and fractals. arXiv preprint arXiv:2412.07988 , 2024

    2024 arXiv

  9. [17]

    Rogers, and Alexander Teplyaev

    Marius Ionescu, Luke G. Rogers, and Alexander Teplyaev. Derivations and D irichlet forms on fractals. J. Funct. Anal. , 263(8):2141--2169, 2012

    2012

  10. [18]

    A harmonic calculus on the S ierpi\' n ski spaces

    Jun Kigami. A harmonic calculus on the S ierpi\' n ski spaces. Japan J. Appl. Math. , 6(2):259--290, 1989

    1989

  11. [19]

    J. Kigami. Harmonic metric and D irichlet form on the S ierpi\' n ski gasket. In Asymptotic problems in probability theory: stochastic models and diffusions on fractals ( S anda/ K yoto, 1990) , volume 283 of Pitman Res. Notes Math. Ser. , pages 201--218. Longman Sci. Tech., H...

    1990

  12. [20]

    Harmonic calculus on p.c.f

    Jun Kigami. Harmonic calculus on p.c.f. self-similar sets. Trans. Amer. Math. Soc. , 335(2):721--755, 1993

    1993

  13. [21]

    Analysis on fractals , volume 143 of Cambridge Tracts in Mathematics

    Jun Kigami. Analysis on fractals , volume 143 of Cambridge Tracts in Mathematics . Cambridge University Press, Cambridge, 2001

    2001

  14. [22]

    Resistance forms, quasisymmetric maps and heat kernel estimates

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

    2012

  15. [23]

    A diffusion process on a fractal

    Shigeo Kusuoka. A diffusion process on a fractal. In Probabilistic methods in mathematical physics ( K atata/ K yoto, 1985) , pages 251--274. Academic Press, Boston, MA, 1987

    1985

  16. [24]

    Dirichlet forms on fractals and products of random matrices

    Shigeo Kusuoka. Dirichlet forms on fractals and products of random matrices. Publ. Res. Inst. Math. Sci. , 25(4):659--680, 1989

    1989

  17. [25]

    S. Kusuoka. Lecture on diffusion processes on nested fractals , pages 39--98. Springer Berlin Heidelberg, Berlin, Heidelberg, 1993

    1993

  18. [26]

    Strichartz

    Weilin Li and Robert S. Strichartz. Boundary value problems on a half S ierpinski gasket. J. Fractal Geom. , 1(1):1--43, 2014

    2014

  19. [27]

    Stochastic calculus for continuous additive functionals of zero energy

    Shintaro Nakao. Stochastic calculus for continuous additive functionals of zero energy. Z. Wahrsch. Verw. Gebiete , 68(4):557--578, 1985

    1985

  20. [28]

    The M alliavin calculus and related topics

    David Nualart. The M alliavin calculus and related topics . Probability and its Applications (New York). Springer-Verlag, Berlin, second edition, 2006

    2006

  21. [29]

    First O rder D ifferential O perators and E quations of C ontinuity and T ransport- T ype on metric G raphs and F ractals

    Waldemar Schefer. First O rder D ifferential O perators and E quations of C ontinuity and T ransport- T ype on metric G raphs and F ractals . PhD thesis, Bielefeld University, Germany, 2024

    2024

  22. [30]

    Strichartz

    Robert S. Strichartz. Taylor approximations on S ierpinski gasket type fractals. J. Funct. Anal. , 174(1):76--127, 2000

    2000

  23. [31]

    Strichartz

    Robert S. Strichartz. Differential equations on fractals . Princeton University Press, Princeton, NJ, 2006. A tutorial

    2006

  24. [32]

    Gradients on fractals

    Alexander Teplyaev. Gradients on fractals. J. Funct. Anal. , 174(1):128--154, 2000

    2000

Pith tools

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