Pith. sign in

REVIEW 3 major objections 6 minor 1 cited by

Korevaar-Schoen and heat kernel characterizations of Sobolev and BV spaces on local trees

T0 review · 3 major / 6 minor · reviewed 2026-08-15 · deepseek-v4-flash

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

Pith's one-line read On any local tree with uniform local volume control, the weak-gradient Sobolev spaces $W^{1,p}$ and the BV space coincide with Korevaar–Schoen spaces defined by small-scale differences and with heat-kernel Besov classes, with equivalent…

desk verdict A solid KS-side theory for Sobolev and BV spaces on local trees, with a genuinely useful partition-of-unity lemma; the heat-kernel side is promising but currently leans too hard on imported estimates and a couple of claims that do not follow as written. read the letter →

arxiv 2505.10177 v1 pith:L4KVOZZJ submitted 2025-05-15 math.AP math.FAmath.MGmath.PR

Fabrice Baudoin , Li Chen , Meng Yang This is my paper · ORCID
classification math.APmath.FAmath.MGmath.PR MSC 46E3531C2528A8035K08
keywords localtreesrealSobolevspacesfunctionsofboundedvariationKorevaar-SchoenheatkernelBesovclassesmetricmeasureVicsekset
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

This paper proves that on a local tree—a metric space that is isometric to a real tree inside every sufficiently small ball—the intrinsic Sobolev spaces $W^{1,p}$ and the BV space defined through a weak gradient along the space's one-dimensional skeleton can be recognized by two simpler-looking measurements. The first is a Korevaar–Schoen energy that averages $|f(y)-f(x)|^p$ over small balls and divides by a scale function $\Psi_p(r)=r^{p-1}\Phi(r)$ built from the volume growth $\Phi$; the second replaces the ball average by integration against the heat kernel of the natural Dirichlet form. The paper shows the resulting norms are equivalent, for $p>1$ for Sobolev spaces and for $p=1$ for BV. A sympathetic reader should care because this ties the intrinsic calculus on singular, fractal-like spaces to two widely used extrinsic definitions and yields critical exponents, interpolation, and Nash inequalities along the way.

What carries the argument

The load-bearing object is the weak gradient $\partial f$ living on the skeleton $S$ of the local tree: $S$ is the union of all nontrivial geodesic segments, and $\nu$ is the unique length measure on $S$ for which $\nu(]x,y[)=d(x,y)$. A function is in the Sobolev space when the integration-by-parts identity along segments holds with $\partial f\in L^p(S,\nu)$. Around this, the paper builds three tools that carry the argument: controlled partitions of unity (Lemma 3.3 and Theorem 3.5) made of absolutely continuous functions whose $\partial$-energy is controlled by $\varepsilon^{-(p-1)}$ and whose overlap is bounded; the Korevaar–Schoen functional $E_{p,\Psi_p}$ with $\Psi_p(r)=r^{p-1}\Phi(r)$; and heat-kernel estimates, especially the exit-time identity $E_x[T_{B(x,r)}]\approx\Psi_2(r)=r\Phi(r)$ inside tree-balls, which yields sub-Gaussian upper and lower bounds for the heat kernel. The partitions of unity convert small-scale difference bounds into weak-gradient bounds, and the heat-kernel estimates convert those same differences into heat-semigroup Besov norms.

What would settle it

Take a space that is locally isometric to a real tree at every point but has branching points accumulating at a point, so no uniform radius $\iota>0$ exists, and equip it with the volume measure $\Phi(r)=r^{d_h}$. For a compactly supported piecewise affine function $f$, compare $E_{p,\Psi_p}(f,r)$ as $r\to0$ with $\int_S|\partial f|^p\,d\nu$; if the ratio is unbounded as the branch scale shrinks, or if one quantity is finite while the other is infinite, the equivalence asserted in Theorems 3.7 and 4.8 fails for that space.

Watch

Extended reading notes

Core claim

The central claim is that on a local tree with uniform local volume control $m(B(x,r))\approx\Phi(r)$, a function belongs to $W^{1,p}(X,m)$ exactly when its small-scale Korevaar–Schoen energy is bounded, and for $p=1$ exactly when it lies in the corresponding BV space. Specifically, with $\Psi_p(r)=r^{p-1}\Phi(r)$, the paper proves $W^{1,p}=KS_{p,\Psi_p}$ for $p>1$ and $BV=KS_{1,\Psi_1}$, with the $p$-energy $\int_S|\partial f|^p\,d\nu$ bounded between a constant times $\liminf_{r\to0}E_{p,\Psi_p}(f,r)$ and a constant times $\sup_{r\in(0,r_0]}E_{p,\Psi_p}(f,r)$. It further proves that the same spaces are exactly the heat-kernel Besov classes $B_p(X,m)$ defined by the quantity $N_p(f,t)$, in which differences are integrated against the heat kernel at time $t$ and normalized by $\Psi_p(\Psi_2^{-1}(t))$, with $\Psi_2(r)=r\Phi(r)$. The equivalences hold under a uniform local tree assumption: there is a fixed radius $\iota$ such that every ball of radius $\iota$ is a real tree. The measure $m$ may be singular to the length measure $\nu$ along the skeleton, so the result covers examples such as Vicsek-type sets and cable systems.

Load-bearing premise

Everything rests on the space being a genuine tree inside every ball of some fixed radius, with the same volume estimate in every ball up to that radius; if branching can occur at arbitrarily small scales, the equivalences are not established.

Editorial extensions

If this is right

  • The Sobolev and BV norms on a uniform local tree can be estimated by small-scale difference quotients alone, giving a practical way to decide membership in $W^{1,p}$ or BV without constructing weak gradients.
  • Because the heat-kernel Besov class equals $W^{1,p}$ and BV, the heat-semigroup based Sobolev and BV theory applies to local trees, not only to Dirichlet spaces with Gaussian kernels.
  • When $\Phi(r)=r^{d_h}$, the Besov-Lipschitz scale $B^{\alpha,p}$ has critical exponent $\alpha_p=1+(d_h-1)/p$ for nonconstant functions, and the spaces are real-interpolation spaces between $L^p$ and $W^{1,p}$ (or between $L^1$ and BV for $p=1$).
  • A Nash inequality $\|f\|_{L^p}\le C(\|f\|_{L^p}+\|\partial f\|_{L^p})^\theta\|f\|_{L^1}^{1-\theta}$ holds with $\theta=(p-1)d_h/(p-1+pd_h)$.
  • On global trees with global volume growth, the heat kernel satisfies two-sided sub-Gaussian estimates and the heat semigroup satisfies $L^p$ gradient bounds.

Reading between the lines

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

  • The proof mechanism suggests the uniform local tree assumption can likely be relaxed to any uniformly doubling one-dimensional-like space with a uniform bound on the number of branches, but the paper does not establish that.
  • The automatic weak monotonicity of the Korevaar–Schoen functional under volume control alone may transfer to other settings where $p$-capacity estimates are usually assumed, making local trees a model where capacity estimates are consequences rather than hypotheses.
  • On scale-irregular Vicsek sets, where $\Phi$ has several scales, the critical-exponent formula $\alpha_p=1+(d_h-1)/p$ could be tested numerically to see whether a single $d_h$ still controls the interpolation scale.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

3 major / 6 minor

Summary. The paper develops Sobolev and BV theories on local trees, i.e., metric spaces locally isometric to real trees, equipped with a Radon measure satisfying uniform small-scale volume growth and a uniform local-tree condition. Functions are considered absolutely continuous when their variation along local geodesics is controlled by an L^1 length-measure gradient, and W^{1,p} and BV are defined accordingly. The main results are two characterizations of these spaces: first, for p>1, W^{1,p} equals the Korevaar-Schoen space defined by the energy functional E_{p,Psi_p} with Psi_p(r)=r^{p-1}Phi(r), and for p=1 the BV seminorm is characterized by the corresponding E_{1,Psi_1} (Theorems 3.7 and 3.8); second, under heat-kernel estimates imported from [26], W^{1,p} and BV are characterized by the heat-kernel Besov classes defined through N_p(f,t) (Theorem 4.8). Applications include interpolation of Besov-Lipschitz spaces, a Nash inequality, and, in the global tree case, two-sided heat kernel estimates and L^p gradient bounds for the semigroup.

Significance. If the main theorems are fully correct, the paper gives a coherent and attractive picture on a class of non-smooth spaces that includes cable systems, Vicsek-type fractals, and more general local trees: intrinsic Sobolev regularity is equivalent both to small-scale averaged-difference energies and to heat-kernel averaged-difference energies, with no free parameters and with the weak monotonicity property of the Korevaar-Schoen functional following from the volume control alone. The partition-of-unity construction in Lemma 3.3 and Theorem 3.5 is a concrete, potentially reusable tool. The applications to critical exponents, real interpolation, and Nash inequalities are natural and would be valuable if the supporting estimates are fully justified. The paper is clearly written and the p>1 Korevaar-Schoen direction is worked out in detail; however, the heat-kernel characterization is currently supported by externally cited estimates whose hypotheses are not verified in the singular-measure setting relevant to several examples, and one proof step in Lemma 4.6 is formally invalid as written.

major comments (3)
  1. [§4.1, Lemma 4.6] The displayed inequality P_x(T_{B(x,r)}≤t)≤c_1+c_2 t/Psi_2(r) is not a consequence of the expectation estimate E_x[T_{B(x,r)}]≈Psi_2(r) from Lemma 4.4. An expectation bound controls the upper tail P(T≥t) via Markov's inequality, not the short-time lower tail P(T≤t), so the on-diagonal lower bound p_t(x,x)≥C/Phi(Psi_2^{-1}(t)) is not established by the argument given. This step is load-bearing because Lemma 4.6 feeds into the near-diagonal lower bound (3), which is one of the two kernel estimates on which Theorem 4.8 depends. The gap is repairable in principle by invoking the escape-rate estimate (8) from Theorem 4.5 instead of Lemma 4.4, but the proof as written is invalid and must be corrected.
  2. [§4.1, Lemmas 4.4 and Theorem 4.5; §4.2, Theorem 4.8] The exit-time estimate E_x[T_{B(x,r)}]≈Psi_2(r) and the escape-rate estimate (8) are delegated to [26] with only the remark that the proofs are the same or that the cited lemma applies because ball B(x,r) is a tree. The paper does not verify that the Dirichlet form (E_2,W^{1,2}) on L^2(X,m) satisfies the hypotheses of [26] when the speed measure m and the length measure nu are mutually singular, a case explicitly allowed and exemplified by the Vicsek-type examples with m(S)=0. Since the near-diagonal lower bound (3) and the escape rate (4) are the two inputs on which Theorem 4.8's lower and upper bounds rest, this is a central gap in the heat-kernel characterization. The authors should either verify the hypotheses of [26] for their class of local trees and measures, or provide direct proofs of (3) and (4) within the paper's framework.
  3. [§5.1, Theorem 5.3 (and Theorems 5.4–5.5)] The global analogues of the two main characterizations are stated with the sentence 'The proofs are therefore let to the reader.' Given that the local proofs rely on delicate uniform-scale constructions (the partition of unity in Lemma 3.3, the exit-time and escape-rate estimates, and the chaining arguments), the global case does not reduce to a completely routine modification: the constants, the cutoff scales, and the treatment of sup over all r>0 and liminf as r→0 need to be controlled. Theorems 5.4 and 5.5 are also stated without proof. As it stands, the global claims are unsupported and should either be proved or explicitly marked as conditional on straightforward extensions with the required steps outlined.
minor comments (6)
  1. [§3.3] The heading contains a typo: 'Bolev' should be 'Sobolev', and in Theorem 3.7 the notation 'KS_{alpha_p,p}(X,m)' is inconsistent with the earlier 'KS_{p,Psi_p}(X,m)'.
  2. [§3.3, Theorem 3.8(ii)] In the proof of Theorem 3.8, the displayed estimate 'E_{p,Psi_p}(f,12epsilon)' should read 'E_{1,Psi_1}(f,12epsilon)' in the p=1 case.
  3. [§3.1, Lemma 3.3] The proof that the cardinality of S_epsilon is uniformly bounded is compressed; adding a sentence explaining how pairwise disjoint sets of diameter at least epsilon inside B(x,3epsilon) are controlled by the metric doubling property of the uniformly locally doubling space would improve clarity.
  4. [§3.4, Theorem 3.11] The proof would benefit from explicitly tracking the relation between the scale r in E_{p,0}(f,r) and the scale epsilon in the regularized functions f_epsilon, since the factor 12 appears without a clear statement of how it affects the constants.
  5. [§4.2, Theorem 4.8] In the lower-bound argument for N_1, the choice of the constant C in the integration region B(y,C Psi_2^{-1}(t)) should be specified so that the condition Psi_2(c_2 d(x,y))≤t for the near-diagonal lower bound (3) is satisfied.
  6. [§4.3 and general] The phrase 'locally Lipshitz regular' should be 'locally Lipschitz regular', and the abstract's claim that the paper 'first establish detailed estimates' for the heat kernel should be softened because Lemma 4.4 and Theorem 4.5 are delegated to [26] rather than proved here.

Circularity Check

0 steps flagged · score 2.0 of 10

No significant circularity: the main Korevaar–Schoen and heat-kernel characterizations are proven from the definitions and from external heat-kernel estimates, with only minor self-citations used as templates.

full rationale

The paper's central claims, Theorems 3.7, 3.8, and 4.8, are not circular. Theorem 3.7 proves both inclusions between W^{1,p}(X,m) and the Korevaar-Schoen space KS_{p,\Psi_p}(X,m): the forward direction uses the Morrey estimate (Theorem 2.12) and the partition of unity construction (Lemma 3.3, Theorem 3.5), while the reverse direction approximates f by f_\epsilon, bounds \|f_\epsilon-f\|_{L^p} and \int_S|\partial f_\epsilon|^p d\nu directly in terms of E_{p,\Psi_p}(f,12\epsilon), and then applies lower semicontinuity. Although the proof adapts arguments from the authors' earlier paper [8], the needed estimates are written out and rely on the local-tree structure; [8] is a template, not an unverified premise. There is no parameter fitted to a subset of data and then renamed a prediction: \Psi_p(r)=r^{p-1}\Phi(r) is fixed by the volume growth assumption, and the equivalence is established by inequalities in both directions. Theorem 4.8 likewise proves the heat-kernel characterization from the stated heat-kernel bounds (2), (3), and (4). Those bounds are imported from the external reference [26] and from [7]; they are inputs to the theorem, not consequences of the target equivalence. The lower bound in Theorem 4.8 uses the near-diagonal lower estimate (3), and the upper bound uses the escape-rate estimate (4) and the upper estimate (2); the algebra then reduces N_p(f,t) to the already-proven KS functionals. This is a genuine derivation, not a reduction of the conclusion to its own definition. Some self-citations appear in peripheral applications: Theorem 4.10 follows the argument of [15] and [17], and Corollary 3.9 cites [8] for the Banach-space property of KS spaces. These are not load-bearing for the main characterizations: Lemma 4.9 supplies the local Lipschitz regularity condition in the paper itself, and the KS Banach-space fact is a standard consequence of the preceding equivalence. Therefore the derivation chain is self-contained at the level of the main theorems. The paper does contain a genuine technical concern that is not circularity: Lemma 4.6 derives a short-time escape-probability bound P_x(T_{B(x,r)}\le t)\le c_1+c_2 t/\Psi_2(r) from the expected exit time E_x[T_{B(x,r)}]\simeq\Psi_2(r), but an expectation bound alone does not imply such a short-time tail bound. Similarly, the applicability of [26] to the present singular-measure local-tree setting is assumed rather than verified.

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

The paper introduces no fitted parameters; the volume growth function Phi and the uniform tree scale iota are structural assumptions, not fitted to data. The weak gradient and skeleton are definitions, not postulates. The heat kernel is the standard object for the Dirichlet form E2. There are no new particles, forces, or entities; the only new construct is the controlled partition of unity, which is a proof device rather than an invented entity.

assumptions (5)
  • domain assumption Uniform volume control (A4): cPhi(r) <= m(B(x,r)) <= CPhi(r) for all x and 0<r<r0, with Phi satisfying the polynomial doubling bounds (1).
    Stated as the first main assumption in Section 3; used to bound overlaps, control cardinality of S_epsilon, and scale the heat kernel estimates.
  • domain assumption Uniform local tree property: there exists iota>0 such that every ball B(x,iota) is a real tree.
    Second main assumption in Section 3; makes B(x,3epsilon) a tree in Lemma 3.3 and makes the exit-time estimate Lemma 4.4 valid via [26].
  • domain assumption The space (X,d) is locally compact, connected, separable, and proper when needed; m is a Radon measure with full support.
    Standard background assumptions stated in Sections 2 and 4; used for Banach and reflexivity properties, regularity of the energy form, and heat kernel existence.
  • domain assumption For Sections 3.4, 3.5, and 5, Phi(r)=r^{d_h} with d_h>=1, and global versions of the estimates in the tree case.
    Specialized power-law volume growth used for critical exponent, interpolation, Nash inequality, and global gradient bound statements.
  • standard math External results: Kumagai's exit-time estimates ([26]), Bakry-Coulhon-Ledoux-Saloff-Coste Gagliardo-Nirenberg theorems ([6]), Davies's heat kernel derivative estimates ([14]), and Barlow's chaining argument ([7]).
    Imported theorems in Sections 4 and 5; the paper does not reprove them and their hypotheses are assumed to match the local tree setting.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Korevaar-Schoen and heat kernel characterizations of Sobolev and BV spaces on local trees." pith.science (2026). https://pith.science/paper/L4KVOZZJ

@misc{pith2026250510177,
  author       = {Pith},
  title        = {Pith review of: Korevaar-Schoen and heat kernel characterizations of Sobolev and BV spaces on local trees},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/L4KVOZZJ}},
  note         = {Machine review of arXiv:2505.10177}
}
abstract

We study Sobolev and BV spaces on local trees which are metric spaces locally isometric to real trees. Such spaces are equipped with a Radon measure satisfying a locally uniform volume growth condition. Using the intrinsic geodesic structure, we define weak gradients and develop from it a coherent theory of Sobolev and BV spaces. We provide two main characterizations: one via Korevaar-Schoen-type energy functionals and another via the heat kernel associated with the natural Dirichlet form. Applications include interpolation results for Besov-Lipschitz spaces, critical exponents computations, and a Nash inequality. In globally tree-like settings we also establish $L^p$ gradient bounds for the heat semigroup.

Figures

Figures reproduced from arXiv: 2505.10177 by the authors.

Figure 1
Figure 1. The Sierpi´nski carpet cable system Definition 2.1. A metric space (X, d) is said to be a tree if it satisfies the following two properties: (i) Unique geodesic. For all u, v ∈ X there exists a unique isometric embedding ϕu,v : [0, d(u, v)] → X such that ϕu,v(0) = u and ϕu,v(d(u, v)) = v. (ii) Loop-free. For every injective continuous map κ : [0, 1] → X one has: κ([0, 1]) = ϕκ(0),κ(1)([0, d(κ(0), κ(1))]). There exis… view at source ↗
Figure 2
Figure 2. Tripod defining c(u, v, w) This point also satisfies [v, u]∩[v, w] = [v, c(u, v, w)] and [w, u]∩[w, v] = [w, c(u, v, w)] (see Lemma 1.2 in [12] or Lemma 3.20 in [16]). The set S = [ x∈X [ y∈B(x,ι(x)) ]x, y[ is called the skeleton of X. If V be a countable dense subset of S, one can also write S = [ x,y∈V,d(x,y)<ι(x) ]x, y[. Notice that S is dense in X but that S could be much smaller than S itself as the example bel… view at source ↗
Figure 3
Figure 3. Vicsek set Example 2.5 (Vicsek set). Let q1 = (0, 0) be the center of the unit square in the plane and let q2, q3 , q4, and q5 be its 4 corners arranged in such a way that q2 and q4 are diametrically opposed. Define ψi(z) = 1 3 (z−qi)+qi for 1 ≤ i ≤ 5. The Vicsek set V , see [PITH_FULL_IMAGE:figures/full_fig_p005_3.png] view at source ↗
Figures from the paper (2 more)
Figure 4
Figure 4. Figure 4: Example of a local tree: Blow up of the Vicsek set by another fractal [PITH_FULL_IMAGE:figures/full_fig_p006_4.png]
Figure 5
Figure 5. Figure 5: Example of a local tree Example 2.6. The Figures 4 and 5 illustrate further examples of local trees. The [PITH_FULL_IMAGE:figures/full_fig_p006_5.png]

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Sobolev spaces on snowtrees

    math.MG 2026-06 unverdicted novelty 7.0 of 10

    On Ahlfors-regular ε-snowtrees the discrete-energy Sobolev space equals the Korevaar–Schoen space for every multiscale partition, with critical exponent α_p = Q/p + 1/ε − 1/(pε).

Reference graph

Works this paper leans on

31 extracted references · 31 canonical work pages · cited by 1 Pith paper

  1. [6]

    Bakry, T

    D. Bakry, T. Coulhon, M. Ledoux, and L. Saloff-Coste. Sobolev inequalities in disguise.Indiana Univ. Math. J. , 44(4):1033–1074, 1995. 21

    work page 1995

  2. [26]

    Heat kernel estimates and parabolic Harnack inequalities on graphs and resistance forms

    Takashi Kumagai. Heat kernel estimates and parabolic Harnack inequalities on graphs and resistance forms. Publ. Res. Inst. Math. Sci. , 40(3):793–818, 2004. 3, 22, 23, 28

    work page 2004

  3. [1]

    Besov class via heat semigroup on Dirichlet spaces II: BV functions and Gaussian heat kernel estimates

    Patricia Alonso-Ruiz, Fabrice Baudoin, Li Chen, Luke Rogers, Nageswari Shanmugalingam, and Alexander Teplyaev. Besov class via heat semigroup on Dirichlet spaces II: BV functions and Gaussian heat kernel estimates. Calc. Var. Partial Differential Equations , 59(3):Paper No.103, 32, 2020. 2, 3, 25

    work page 2020

  4. [2]

    Besov class via heat semigroup on Dirichlet spaces III: BV functions and sub-Gaussian heat kernel estimates

    Patricia Alonso-Ruiz, Fabrice Baudoin, Li Chen, Luke Rogers, Nageswari Shanmugalingam, and Alexander Teplyaev. Besov class via heat semigroup on Dirichlet spaces III: BV functions and sub-Gaussian heat kernel estimates. Calc. Var. Partial Differential Equations, 60(5):Paper No. 170, 38, 2021. 2, 3, 25

    work page 2021

  5. [3]

    Rogers, Nageswari Shanmugalingam, and Alexander Teplyaev

    Patricia Alonso Ruiz, Fabrice Baudoin, Li Chen, Luke G. Rogers, Nageswari Shanmugalingam, and Alexander Teplyaev. Besov class via heat semigroup on Dirichlet spaces I: Sobolev type inequalities. J. Funct. Anal., 278(11):108459, 48, 2020. 2, 3, 25

    work page 2020

  6. [4]

    A simple proof of reflexivity and separability of n1,p sobolev spaces, 2023

    Ryan Alvarado, Piotr Haj lasz, and Luk´ aˇ s Mal´ y. A simple proof of reflexivity and separability of n1,p sobolev spaces, 2023. 9

    work page 2023

  7. [5]

    Brownian motion on R-trees

    Siva Athreya, Michael Eckhoff, and Anita Winter. Brownian motion on R-trees. Trans. Amer. Math. Soc., 365(6):3115–3150, 2013. 4, 6

    work page 2013

  8. [7]

    Martin T. Barlow. Diffusions on fractals. In Lectures on probability theory and statistics (Saint-Flour, 1995) , volume 1690 of Lecture Notes in Math. , pages 1–121. Springer, Berlin,

    work page 1995

Show all 31 references
  1. [8]

    F. Baudoin. Korevaar-Schoen-Sobolev spaces and critical exponents in metric measure spaces. Ann. Fenn. Math., 49(2):487–527, 2024. 2, 3, 15, 18

    2024

  2. [9]

    Sobolev spaces and Poincar´ e inequalities on the Vicsek fractal

    Fabrice Baudoin and Li Chen. Sobolev spaces and Poincar´ e inequalities on the Vicsek fractal. Ann. Fenn. Math., 48(1):3–26, 2023. 6

    2023

  3. [10]

    Functional analysis, Sobolev spaces and partial differential equations

    Haim Brezis. Functional analysis, Sobolev spaces and partial differential equations . Universi- text. Springer, New York, 2011. 10

    2011

  4. [11]

    Besov-lipschitz norm and p-energy measure on scale-irregular vicsek sets, 2024

    Aobo Chen, Jin Gao, Zhenyu Yu, and Junda Zhang. Besov-lipschitz norm and p-energy measure on scale-irregular vicsek sets, 2024. 12

    2024

  5. [12]

    Introduction to Λ-trees

    Ian Chiswell. Introduction to Λ-trees. World Scientific Publishing Co., Inc., River Edge, NJ,

  6. [13]

    Off-diagonal heat kernel lower bounds without Poincar´ e

    Thierry Coulhon. Off-diagonal heat kernel lower bounds without Poincar´ e. J. London Math. Soc. (2), 68(3):795–816, 2003. 28

    2003

  7. [14]

    E. B. Davies. Non-Gaussian aspects of heat kernel behaviour. J. London Math. Soc. (2) , 55(1):105–125, 1997. 30

    1997

  8. [15]

    Gradient estimate for the heat kernel on some fractal-like cable systems and quasi-Riesz transforms

    Baptiste Devyver, Emmanuel Russ, and Meng Yang. Gradient estimate for the heat kernel on some fractal-like cable systems and quasi-Riesz transforms. Int. Math. Res. Not. IMRN , (18):15537–15583, 2023. 4, 28

    2023

  9. [16]

    Steven N. Evans. Probability and real trees , volume 1920 of Lecture Notes in Mathematics . Springer, Berlin, 2008. Lectures from the 35th Summer School on Probability Theory held in Saint-Flour, July 6–23, 2005. 5

    1920

  10. [17]

    H¨ older regularity of harmonic functions on metric measure spaces,

    Jin Gao and Meng Yang. H¨ older regularity of harmonic functions on metric measure spaces,

  11. [18]

    Interpolation properties of Besov spaces defined on metric spaces

    Amiran Gogatishvili, Pekka Koskela, and Nageswari Shanmugalingam. Interpolation properties of Besov spaces defined on metric spaces. Math. Nachr., 283(2):215–231, 2010. 19 32

    2010

  12. [19]

    Metric structures for Riemannian and non-Riemannian spaces , volume 152 of Progress in Mathematics

    Misha Gromov. Metric structures for Riemannian and non-Riemannian spaces , volume 152 of Progress in Mathematics. Birkh¨ auser Boston, Inc., Boston, MA, 1999. Based on the 1981 French original [MR0682063 (85e:53051)], With appendices by M. Katz, P. Pansu and S. Semmes, Transla...

    1999

  13. [20]

    Sobolev spaces on an arbitrary metric space

    Piotr Haj l asz. Sobolev spaces on an arbitrary metric space. Potential Anal., 5(4):403–415,

  14. [21]

    Juha Heinonen, Pekka Koskela, Nageswari Shanmugalingam, and Jeremy T. Tyson. Sobolev spaces on metric measure spaces , volume 27 of New Mathematical Monographs . Cambridge University Press, Cambridge, 2015. An approach based on upper gradients. 2

    2015

  15. [22]

    Korevaar-schoen p-energy forms and associated p- energy measures on fractals, 2024

    Naotaka Kajino and Ryosuke Shimizu. Korevaar-schoen p-energy forms and associated p- energy measures on fractals, 2024. 2

    2024

  16. [23]

    p-energy forms on fractals: recent progress, 2025

    Naotaka Kajino and Ryosuke Shimizu. p-energy forms on fractals: recent progress, 2025. 2

    2025

  17. [24]

    Harmonic calculus on limits of networks and its application to dendrites

    Jun Kigami. Harmonic calculus on limits of networks and its application to dendrites. J. Funct. Anal., 128(1):48–86, 1995. 28

    1995

  18. [25]

    Korevaar and Richard M

    Nicholas J. Korevaar and Richard M. Schoen. Sobolev spaces and harmonic maps for metric space targets. Comm. Anal. Geom., 1(3-4):561–659, 1993. 2

    1993

  19. [27]

    Miranda, Jr

    M. Miranda, Jr. Functions of bounded variation on “good” metric spaces. J. Math. Pures Appl. (9), 82(8):975–1004, 2003. 10

    2003

  20. [28]

    Quasisymmetric uniformization and heat kernel estimates

    Mathav Murugan. Quasisymmetric uniformization and heat kernel estimates. Trans. Amer. Math. Soc., 372(6):4177–4209, 2019. 4

    2019

  21. [29]

    First-order sobolev spaces, self-similar energies and energy measures on the sierpi´ nski carpet, 2025

    Mathav Murugan and Ryosuke Shimizu. First-order sobolev spaces, self-similar energies and energy measures on the sierpi´ nski carpet, 2025. 2, 3

    2025

  22. [30]

    Construction ofp-energy measures associated with strongly localp-energy forms,

    Kˆ ohei Sasaya. Construction ofp-energy measures associated with strongly localp-energy forms,

  23. [31]

    Characterizations of sobolev functions via besov-type energy functionals in fractals, 2025

    Ryosuke Shimizu. Characterizations of sobolev functions via besov-type energy functionals in fractals, 2025. 3 Fabrice Baudoin: Department of Mathematics, Aarhus University Email: fbaudoin@math.au.dk Li Chen: Department of Mathematics, Aarhus University Email: lchen@math.au.dk...

    2025

Pith tools

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