Abstract
We consider weakly and strongly asymptotically mean value harmonic (amvharmonic) functions on subriemannian and RCD settings. We demonstrate that, in noncollapsed RCDspaces with vanishing metric measure boundary, Cheeger harmonic functions are weakly amvharmonic and that, in Carnot groups, weak amvharmonicity equivalently characterizes harmonicity in the sense of the subLaplacian. In homogeneous Carnot groups of step 2, we prove a Blaschke–Privaloff–Zaremba type theorem. Similar results are discussed in the settings of Riemannian manifolds and for Alexandrov surfaces.
1 Introduction
A key problem in the theory of harmonic functions is to find various characterizations of harmonicity. A particularly strong example of this is the mean value property in the Euclidean setting. Unfortunately, harmonic functions rarely enjoy the mean value property outside Euclidean space. For example, in the setting of Riemannian manifolds it is known to hold on manifolds which are either flat or rankone symmetric and in dimensions 2–5, see the related discussion on the Lichnerowicz conjecture in Example 4 in [1] and references therein. However a suitable variant beyond the Euclidean setting turns out to be the asymptotic mean value (amv) property
In Riemannian manifolds, the convergence in (1) is locally uniform for a harmonic function u. However the rlaplacian in (1) can be defined for locally integrable functions on any metric measure space \(X=(X,d,\mu )\), where \(u_{B_r(x)}\) stands for the meanvalue of u over a ball \(B_r(x)\) with radius \(r>0\) centered at \(x\in X\). Consequently, the amv property can be formulated in a very general setting (note that the mean value (mv) property can be also expressed in the same generality in terms of vanishing rlaplacian, see see Definition 1.1 and also [1, 27]). Let us briefly mention that the rlaplacian arises in approximation problems of Riemannian manifolds by graphs [18], in geometric group theory [34], and in relation with functions of bounded variation [22, Theorem 1]. It moreover appears in connection with pharmonic type equations and stochastic games [9, 40, 41], as well as in the setting of Carnot groups; the rlaplacian and its relations to the subelliptic harmonic functions have been studied, for instance, in [3, 25, 26].
For recent work on amv functions on general metric measure spaces we refer the reader to [42, 43] and in particular to [2] where we focus on functions with the amv property in doubling metric measure spaces and show their local Hölder regularity and the mv property for their blowups. As an important special case, in [2] we consider weighted Euclidean setting and find an elliptic PDE satisfied by amvharmonic functions.
1.1 Main Results
In this paper, we continue the investigations of and complement results from [2] by considering functions with the amv property in subriemannian and RCD settings. As in [2] we consider two notions of asymptotically mean value harmonic (amvharmonic) functions, arising from different ways to interpret the limit in (1). More precisely, we define strong and weak amvharmonicity as follows.
Definition 1.1
(see Definition 1.1 in [2]) Let \(X=(X,d,\mu )\) be a metric measure space.

(1)
A function \(u\in L^1_{loc}(X)\) is strongly amvharmonic, if
$$\begin{aligned} \lim _{r\rightarrow 0}\Vert \Delta _r u\Vert _{L^\infty (K)}=0 \end{aligned}$$for any compact set \(K\subset X\);

(2)
A function \(u\in L^2_{loc}(X)\) on a metric measure space X is weakly amvharmonic if
$$\begin{aligned} \lim _{r\rightarrow 0}\int _X\varphi \Delta _ru\mathrm {d}\mu =0 \end{aligned}$$for every compactly supported Lipschitz function \(\varphi \).
To state our first result we refer to Sect. 3.3 and the references therein for the theory of RCDspaces, which include GHlimits of Riemannian manifolds with uniform Ricci lower bounds and dimension upper bounds (i.e. Ricci limit spaces) as well as Alexandrov spaces equipped with the Hausdorff measure of appropriate dimension.
We refer to Definition 3.2 for the boundary \(\partial X\) of an RCD(K, N)space \(X=(X,d,\mu )\) and recall X is noncollapsed if \(\mu =\mathcal {H}^N\), the NHausdorff measure. Below and in what follows, harmonic functions mean continuous local minimizers of the Cheeger energy, cf. Definition 2.1.
Theorem 1.1
Let \(\Omega \subset X\) be a domain in a noncollapsed RCD(K, N)space \(X=(X,d,\mathcal {H}^N)\) and suppose \(\Omega \cap \partial X=\varnothing \). Then (Cheeger) harmonic functions in \(\Omega \) are weakly amvharmonic in \(\Omega \).
In particular, Theorem 1.1 implies that harmonic functions on Alexandrov spaces without boundary are weakly amvharmonic. For locally Lipschitz continuous functions, the converse implication in Theorem 1.1 also holds, see Remark 3.3.
It is not known whether harmonic functions are also strongly amvharmonic in the setting of Theorem 1.1 (see [44, Corollary 3.5] for a related weaker statement). Such a result would need very good control over the rate of change of the \(\mathcal {H}^N\)measure of balls centered at nearby points: the presence of a weight (e.g. the setting of weakly noncollapsed RCDspaces, see [24]) rules out the possibility of having even the weak amv property for harmonic functions, see [2, Sect. 6].
In Carnot groups, homogeneity properties come into play and ensure the good control needed for the strong amv property. Using a second order Taylor expansion our next theorem establishes the equivalence of harmonic and strongly amvharmonic functions in Carnot groups equipped with homogeneous pseudonorms with sufficiently regular unit balls.
To state the theorem recall that an sstep Carnot group \({\mathbb {G}}\) with Lie algebra \(\mathfrak {g}=V_1\oplus \ldots \oplus V_s\) can be identified with \({{\mathbb {R}}}^m\), where \(m=v_1+\cdots +v_s\) and \(v_i:=\dim V_i\), for \(i=1,\ldots , s\) (see Sect. 3.2 for more details on Carnot groups). We denote by \(z=(z^{(1)},z^{(2)},\ldots ,z^{(s)})\) the coordinates in \(\mathbb {G}\), where \(z^{(i)}\in {{\mathbb {R}}}^{v_i}\). We consider a pseudonorm \(\rho \) on \({\mathbb {G}}\) such that
for some \(F:{{\mathbb {R}}}\times {{\mathbb {R}}}^{mv_1}\rightarrow {{\mathbb {R}}}\) that is \(C^1\) with \(\partial _1 F>0\) outside the origin.
Theorem 1.2
Let \(\Omega \subset {\mathbb {G}}\) be an open domain in a Carnot group \({\mathbb {G}}\) of homogeneous dimension Q equipped with a pseudonorm \(\rho \) satisfying (2). If \(\Omega \) denotes the quasimetric metric measure space \((\Omega ,\rho ,\mathcal {H}^Q)\), where \(\mathcal {H}^Q\) is the Haar measure on \({\mathbb {G}}\), then the following are equivalent for a function \(u\in HW^{1,2}_{loc}(\Omega )\).

(i)
u is strongly amvharmonic;

(ii)
u is weakly amvharmonic;

(iii)
u satisfies \(\Delta _\mathbb Gu=0\) in \(\Omega \).
In the claim above \(HW^{1,2}_{loc}(\Omega )\) denotes the horizontal Sobolev space and \(\Delta _{\mathbb {G}}\) is the subelliptic laplacian (13). Theorem 1.2 characterizes amvharmonicity (in both senses) for a large class of pseudonorms, namely those satisfying (2), and in particular for the Koranyi gauge (12). See [26] for similar results for pharmonic functions on Carnot groups with the Koranyi gauge. We remark that solutions to the subLaplacian equation are known to satisfy certain weighted mean value properties, see [11, Chapter 5.5] and [3].
We close this subsection by restricting ourselves to Carnot groups of step \(s=2\) where we are able to obtain a Blaschke–Privaloff–Zaremba (BPZ) type theorem. Such results update regularity from continuous to smooth under the assumption that the rlaplacian vanishes pointwise as \(r\rightarrow 0\). In the theorem below we consider the Koranyi gauge (12) on a Carnot group.
Theorem 1.3
Let \(\Omega \subset {\mathbb {G}}\) be a domain in the Carnot group \({\mathbb {G}}\) of step 2 equipped with the gauge distance \(d_{{\mathbb {G}}}\) and let \(f:\Omega \rightarrow {{\mathbb {R}}}\) be a continuous function satisfying
Then f is a subelliptic harmonic function, i.e. for all \(x\in \Omega \) it holds that
where C depends on \(v_1\) (the dimension of the horizontal layer \(V_1\)) and the geometry of \({\mathbb {G}}\).
Similar results are wellknown on Riemannian manifolds (cf. Proposition 4.2 for a sketch of proof for the readers convenience). We also obtain BPZtype results for Alexandrov surfaces (cf. Proposition 4.4), and for Alexandrov spaces (cf. Proposition 4.5). In summary, we show that continuity and the strong amvharmonicity are sufficient conditions to imply the harmonicity with respect to various natural Laplace operators in some singular spaces.
1.2 Overview and Strategy
One of the drawbacks of the rlaplacian \(\Delta _r\) is its lack of selfadjointness: without further assumptions on the geometry of the underlying space, the difference \(\Delta _r\Delta ^*_r\) of the rlaplacian and its formal adjoint (cf. Sect. 2.2) does not tend to zero in any reasonable sense. In the RCDsetting, where the translation invariance of the measure is not available, a large part of our work is to deal with this issue. We overcome it by introducing the symmetrized rlaplacian of a locally integrable function u defined in a metric measure space \(X=(X,d,\mu )\) (see Definition 10 for details):
In Sect. 3.1 we study the basic properties of the symmetrized rlaplacian, in particular selfadjointness, which makes it a viable candidate for a yet another laplacian studied beyond the Euclidean setting. Crucially, the symmetrized rlaplacian is connected to the (approximate) Korevaar–Schoen (KS) energy so that, if the KSenergy is a Dirichlet form in the sense of Definition 2.2, then the symmetrized rlaplacians \({\widetilde{\Delta }}_ru\) converge in a suitable weak sense, as \(r\rightarrow 0\), to the Korevaar–Schoen laplacian \(\Delta _{KS}u\) of u for any \(u\in D(\Delta _{KS})\), see Sect. 2.3 and Proposition 3.2. It follows that local minimizers of the Korevaar–Schoen energy are characterized as functions whose symmetrized rlaplacian vanishes in the weak sense as \(r\rightarrow 0\).
Both RCDspaces and Carnot groups have the property that the Korevaar–Schoen energy is a Dirichlet form. For RCDspaces, this follows from [28] (in the noncollapsed case also from work of Sturm [52, 53]), while for Carnot groups it is implied by [54]. See Propositions 3.6 and 3.3 for precise statements. For Carnot groups (where \({\widetilde{\Delta }}_r=\Delta _r\)) this observation leads to the equivalence of weak amvharmonicity and subelliptic harmonicity. We remark that the novel implication in Theorem 1.2 is that weakly harmonic functions are subelliptic harmonic; indeed, the strong amv property of subelliptic harmonic functions follows with a straightforward calculation as in [26, Lemma 4.1].
In the RCDsetting the equality \({\widetilde{\Delta }}_r=\Delta _r\) breaks down and, in the presence of boundary, the two rlaplacians do not agree even asymptotically (which can be seen by considering e.g. the standard half plane). To circumvent this problem we use the notion of vanishing metric measure boundary introduced in [32], which has recently been shown in [16] to be equivalent to having no boundary in the sense of [24]. In noncollapsed RCDspaces the vanishing mmboundary enables us to obtain the asymptotic vanishing of \({\widetilde{\Delta }}_r\Delta _r\) as \(r\rightarrow 0\) in a suitable weak sense, cf. Lemma 3.8 and Corollary 3.9. This yields the proof of Theorem 1.1.
Theorem 1.3, and the BPZtype theorems in Sect. 4, are obtained by modifying the original argument in [49] to fit the various nonsmooth settings. The crucial tool is the solvability of the Dirichlet problem with continuous data on the boundary of the metric ball for various notions of Laplacians on singular spaces, and lower estimates for the Laplacian of distance functions. An inspection of the proof of Theorem 1.3 shows that the restriction to step 2 arises from regularity issues of the boundary of the unit ball \(B_{\mathbb {G}}\) with respect to the Koranyi gauge: in step \(s>2\) the solvability of the Dirichlet problem with continuous boundary data in \(B_{\mathbb {G}}\) is an open problem.
2 Preliminaries
2.1 Notation and Conventions
Throughout this article, a metric measure space \(X=(X,d,\mu )\) is a separable metric space (X, d) equipped with a Radon measure \(\mu \) that is finite and nontrivial on balls, i.e. \(0<\mu (B)<\infty \) for all balls \(B\subset X\).
Given a subset \(F\subset X\) of a metric space and \(r>0\), we denote
the open and closed rneighbourhood of F (note that \({{\overline{N}}}_r(F)\) need not be the closure of \(N_r(F)\) unless X is a length space). For \(x\in X\), we denote by \(B_r(x):=N_r(\{x\})\) and \({{\overline{B}}}_r(x):={{\overline{N}}}_r(\{x\})\), respectively, an open and closed ball centered at x with radius r.
The Lipschitz constant of a map \(f:(X, d_X) \rightarrow (Y, d_Y)\) between metric spaces is
and the pointwise Lipschitz slope is
If \(x\in X\) is an isolated point, then \(\mathrm {Lip}\,f(x)=0\).
Given \(u\in L_{loc}^1(X)\) and a \(\mu \)measurable set \(A\subset X\) with \(\mu (A)>0\),
denotes the average of u over A.
2.2 Doubling Measures and Averaging Operators
A measure \(\mu \) on a separable metric space X is called locally doubling if, for every compact \(K\subset X\), there exists \(r_K>0\) and a constant \(C_K>0\), such that
for every \(x\in K\) and \(0<r\le r_K\).
Let \((X,d,\mu )\) be a metric measure space and \(r>0\). Given a locally integrable function \(u\in L^1_{loc}(X)\), we denote by
the raverage function of u. Note that \(A_ru(x)=u_{B_r(x)}\).
We will use the two notations interchangeably, depending on whether we want to view the average as a number, or an operator on a function space. Indeed, the function \(A_ru:X\rightarrow {{\mathbb {R}}}\) is measurable, and \(A_r\) defines a bounded linear operator \(A_r:L^1(X)\rightarrow L^1(X)\) if and only if \(a_r\in L^\infty (X)\), where
Moreover, in this case the operator norm satisfies \(\Vert A_r\Vert _{L^1\rightarrow L^1}=\Vert a_r\Vert _{L^\infty }\), see [4, Theorem 3.3]. This is true in particular when \(\mu \) is a doubling measure. On the other hand, it is true that by the Lebesgue differentiation theorem
if \(\mu \) is infinitesimally doubling, cf. [31, Remark 3.4.29].
If X is doubling as a metric space, then there exists \(C>0\) so that \(\Vert A_r\Vert _{L^p\rightarrow L^p}\le C\) for every \(r>0\) and every \(1\le p<\infty \), cf. [4, Theorem 3.5]. However, \(A_r\) is not a selfadjoint operator; the formal adjoint \(A_r^*\) of \(A_r\) is given by
for \(u\in L^1_{loc}(X)\). Indeed, a direct computation using the Fubini theorem yields that
where \(1/p+1/q=1\).
We may express the rlaplacian using the averaging operator as
Next, we denote by
the formal adjoint of the rlaplacian. Note that if \(A_r:L^p(X)\rightarrow L^p(X)\) is bounded, then \(\Delta _r:L^p(X)\rightarrow L^p(X)\) and \(\Delta _r^*:L^q(X)\rightarrow L^q(X)\) are both bounded, where \(1/p+1/q=1\).
Remark 2.1
Identity (5) together with (6) imply the following Greentype formula for \(u\in L^p(X),\ v\in L^q(X)\) where \(1/p+1/q=1\):
The asymptotic behaviour of \(\Delta _r\Delta _r^*\) as \(r\rightarrow 0\) plays an important role in Sect. 3.
Remark 2.2
While most of our results will be formulated for metric measure spaces, they encompass the case of an open set \(\Omega \subset X\) in the introduction. Indeed, an open subset \(\Omega \subset X\) of a metric measure space can be regarded as a metric measure space \(\Omega =(\Omega ,d_\Omega ,\mu _\Omega )\). In particular, if X is locally doubling, then \(\Omega \) is locally doubling.
2.3 Cheeger and Korevaar–Schoen Energy, and Dirichlet Forms
In this section we recall some basic notions of calculus in metric measure spaces, needed in the discussion of the harmonic functions according to Cheeger, see Theorems 1.1 and 1.2 . Moreover, we discuss the Korevar–Schoen energy and its relation to the Dirichlet forms.
One of the founding stones of the calculus theory in metric measure spaces are the notions of pweak upper gradient and the minimal pweak upper gradient, see [31, Chapter 5]. Related is a counterpart of the Sobolev space on a domain \(\Omega \subset X\), the socalled Newtonian space \(N^{1,p}(X)\) and the local Newtonian space \(N_{loc}^{1,p}(\Omega )\), see [31, Chapter 7] and [10] for precise definitions of these spaces and their further properties.
If \(X={{\mathbb {R}}}^n\) with the Lebesgue measure and the Euclidean distance, then \(N^{1,p}(\Omega )\) (resp. \(N_{loc}^{1,p}(\Omega )\)) coincides with the Sobolev space \(W^{1,p}(\Omega )\) (resp. \(W_{loc}^{1,p}(\Omega )\)) and \(g_u=\nabla u\).
Cheeger Energy Let \(X=(X,d,\mu )\) be a metric measure space and \(1\le p <\infty \). The Cheeger [21] energy \(Ch_p:L^p(X)\rightarrow [0,\infty ]\) is defined as the \(L^p\)relaxation of the slope. Shanmugalingam [51] and Ambrosio–Colombo—Di Marino [7] showed that for \(N^{1,p}\) functions the Cheeger energy coincides with the pintegral of the minimal pweak upper gradient \(g_u\), i.e.
Cheeger’s definition guarantees that \(Ch_p\) is lower semicontinuous with respect to \(L^p\)convergence.
Definition 2.1
Let \(\Omega \subset X\) be a domain in a metric measure space. A continuous function \(u\in N^{1,2}_{loc}(\Omega )\) is called harmonic if for any \(\varphi \in {\text {LIP}}_c(\Omega )\) there holds
We assume continuity of Cheeger harmonic functions in the definition. However, in pathconnected doubling metric measure spaces supporting Poincaré inequality, local Hölder (Lipschitz under stronger assumptions) continuity of Cheeger harmonic functions is established, see [36, Theorem 1.1].
Korevaar–Schoen Energy In [35], the authors defined a Sobolev space on a metric measure space X by considering what is now called as the Korevaar–Schoen energy for \(u\in L^2_{loc}(X)\):
where the approximate energy densities \(e_r^2(u)\mathrm {d}\mu \) are given by
For each \(r>0\), the approximate energy densities arise from a symmetric bilinear form \(e_r:L^2_{loc}(X)\times L^2_{loc}(X)\rightarrow L^1_{loc}(X)\) given by
which satisfies \(e_r(u,u)=e^2_r(u).\) Furthermore, we define
The Sobolev space \(KS^{1,2}(X)\) consisting of functions \(u\in L^2(X)\) for which \(E_{KS}^2(u)<\infty \), equipped with the norm
is known as the Korevaar–Schoen space. If X is doubling metric measure space a continuous embedding \(M^{1,2}(X)\hookrightarrow KS^{1,2}(X)\hookrightarrow N^{1,2}(X)\) holds true. If X is additionally complete and supports a 2Poincaré inequality the three spaces are equal with equivalent norms, cf. [31, Theorem 10.5.3].
Dirichlet Forms We follow the notation of [12, Part I] and say that a Dirichlet form on \(L^2(X)\) is a lower semicontinuous quadratic functional \(E:{\mathcal {F}}\rightarrow [0,\infty ]\) defined on a dense domain \({\mathcal {F}}\subset L^2(X)\), which is a Hilbert space equipped with the norm
satisfying
We denote by \({\mathcal {E}}:\mathcal {F}\times \mathcal {F}\rightarrow {{\mathbb {R}}}\) the bilinear form associated to E and assume the following strong locality property: if \(f,g\in {\mathcal {F}}\) and g is constant on a neighbourhood of \({\text {spt}}f\), then \({\mathcal {E}}(f,g)=0.\)
The form \({\mathcal {E}}\) admits a generator: a selfadjoint operator \(\Delta _{{\mathcal {E}}}:D(\Delta _{{\mathcal {E}}})\rightarrow L^2(X)\) with domain \(D(\Delta _{{\mathcal {E}}})\subset {\mathcal {F}}\) satisfying the following:
We call \(\Delta _{{\mathcal {E}}}\) the laplacian associated to the Dirichlet form. Moreover, if \({\mathcal {E}}\) is regular, it admits carré du champ, i.e. a positive, symmetric and continuous bilinear operator \(\Gamma :{\mathcal {F}}\times {\mathcal {F}}\rightarrow L^1(X)\) with the property that
We may localize a given Dirichlet form E on \(L^2(X)\) to a domain \(\Omega \subset X\). We say that \(f\in {\mathcal {F}}_{loc}(\Omega )\) if there is a sequence \((f_k)\subset {\mathcal {F}}\) and open sets \(\Omega _k\subset \Omega \) such that \(\Omega _k\subset {\text {spt}}(f_k)\), \(\Omega =\bigcup _k\Omega _k\), and \(f_k=f\) on \(\Omega _k\). By the strong locality, we may define the Carré du Champ
where \(\bigcup _k\Omega _k=\Omega \) and \(f=f_k\) and \(g=g_k\) on \(\Omega _k\). We can correspondingly localize \(\Delta _{{\mathcal {E}}}\), and we denote by \(D(\Delta _{{\mathcal {E}}};\Omega )\) the domain of \(\Delta _{{\mathcal {E}}}\) localized to \(\Omega \), cf. [12, Section 7].
The Cheeger and Korevaar–Schoen energies do not define Dirichlet forms in the sense defined above in general. Indeed, while the Cheeger energy is lower semicontinuous, it need not be a quadratic form. The Korevaar–Schoen energy is neither quadratic nor lower semicontinuous in general.
However, in RCD spaces and Carnot groups the Cheeger energy is quadratic and therefore constitutes a Dirichlet form. In particular in these classes the Korevaar–Schoen energy is known to be a constant multiple of the Cheeger energy and thus a posteriori defines a Dirichlet form, see [28]. We refer to Sect. 3 for a more precise discussion.
Spaces with a Korevaar–Schoen Dirichlet Form The Korevaar–Schoen energy has a distinguished role in this paper due to its close connection with the symmetrized rlaplacian, see Sect. 3.1. For the sake of a unified treatment of weakly amvharmonic functions in Sect. 3, we introduce the following terminology for spaces where the Korevaar–Schoen energy defines a Dirichlet form.
Definition 2.2
Let \(X=(X,d,\mu )\) be a locally compact metric measure space. We say that X has a Korevaar–Schoen Dirichlet form (abbreviated KSDirichlet form), if \(E_{KS}\) is lower semicontinuous with respect to \(L^2\)convergence and, for all \(u\in KS^{1,2}(X)\), there exists an integrable function \(e^2(u)\) satisfying
for all \(\varphi \in C_c(X)\). The function \(e^2(u)\) is called the energy density of u.
By the previous discussion, elaborated in Sect. 3, RCD spaces and Carnot groups equipped with certain homogeneous norms have a KSDirichlet form. Sturm [52, 53] introduced the class of MCP(K, N)spaces, which includes RCDspaces and showed that an energy closely related to \(E_{KS}^2\) is a Dirichlet form on MCP(K, N). Note that here we do not consider the existence and lower semicontinuity of the limit in the Korevaar–Schoen energy for maps with metric space targets. This fact is known for RCD and MCPspaces while for Carnot groups it is—to our knowledge–an open question.
If X has a KSDirichlet form, then the domain of \(E_{KS}^2\) is \(KS^{1,2}(X)\) and carré du champ is given by
where the convergence is in the weak sense of measures. We denote by \({\mathcal {E}}_{KS}\) and \(\Delta _{KS}\) the bilinear form, and its generator, associated to \(E_{KS}^2\).
3 Symmetrized rLaplacian and amvHarmonic Functions
In this section, we prove Theorems 1.1 and 1.2. We begin by relating the Korevaar–Schoen energy to the symmetrized rlaplacians, thus establishing the general principle that local minimizers correspond to functions with vanishing symmetrized rlaplacian, cf. Proposition 3.2.
In the case of Carnot groups the symmetrized rlaplacian agrees with the rlaplacian. Thus Theorem 1.2 follows directly from Proposition 3.2 and a second order Taylor expansion, once we establish that Carnot groups have a Korevaar–Schoen Dirichlet form, see Proposition 3.3.
Finally we consider noncollapsed RCDspaces. After reviewing their relevant basic properties we show that having vanishing mmboundary implies that \(\Delta _r\) and \({\widetilde{\Delta }}_r\) agree asymptotically (Lemma 3.8). Since by [28] the Korevaar–Schoen energy is a Dirichlet form, Theorem 1.1 follows.
3.1 Symmetrized rLaplacian and the Korevaar–Schoen Energy
Throughout this subsection, \(X=(X,d,\mu )\) denotes a generic metric measure space. To define the symmetrized rlaplacian, we denote by \(k_r:X\times X\rightarrow {{\mathbb {R}}}\) the symmetric mean value kernel:
Definition 3.1
Let \(X=(X,d,\mu )\) be a metric measure space, and \(r>0\). The symmetrized rlaplacian of a function \(u\in L^1_{loc}(X)\) is given by
Let \(u\in L_{loc}^1(X)\) and \(r>0\). A direct calculation yields the following identity (cf. formula (6)).
Moreover, we have the following elementary identities (recall the definitions of \(e_r\) and \(E_r\) in Sect. 2.3).
Lemma 3.1
Let \(u,v\in L^2_{loc}(X)\) and \(r>0\). Then
\(\mu \)almost everywhere. In particular, it holds that
and whenever \(u,v\in L^2(X)\). Here
Proof
For \(\mu \)a.e. \(x\in X\), we have
proving the first identity in the claim. Together with Remark 2.1, the identity (11) implies (a): indeed, we have that
The identity (b) follows directly from the observation that
\(\square \)
The characterization of local minimizers of the Korevaar–Schoen energy in terms of the symmetrized rlaplacians–in spaces with a KSDirichlet form–is a straightforward consequence of the preceding observations.
Proposition 3.2
Suppose X is a metric measure space where the Korevaar–Schoen energy \(E_{KS}^2\) exists in the sense of Definition 2.2. Then the following are equivalent for a function \(u\in KS^{1,2}_{loc}(\Omega )\) in a domain \(\Omega \subset X\):

(1)
u is a local minimizer of \(E^2_{KS}\) in \(\Omega \);

(2)
for every \(\varphi \in KS^{1,2}(\Omega )\) with compact support in \(\Omega \) we have
$$\begin{aligned} \lim _{r\rightarrow 0}\int _X\varphi {\widetilde{\Delta }}_ru\mathrm {d}\mu =0. \end{aligned}$$
Proof
Recall that local minimizers of \(E^2_{KS}\) in \(\Omega \) are characterized by the property that \({\mathcal {E}}_{KS}(\varphi ,u)=0\) for every \(\varphi \in KS^{1,2}(\Omega )\) with compact support in \(\Omega \). Recall also, that the carré du champ for \({\mathcal {E}}_{KS}\) is e(u, v). By Lemma 3.1 and the existence of the Korevaar–Schoen energy, this is equivalent with
\(\square \)
Remark 3.1
More generally, we have the following: if \(u\in D(\Delta _{KS};\Omega )\), then
for each \(\varphi \in KS^{1,2}(\Omega )\) with compact support in \(\Omega \).
3.2 Carnot Groups
A Carnot group \({\mathbb {G}}\) is a connected and simply connected nilpotent Lie group whose Lie algebra \(\mathfrak {g}\) is finite dimensional and admits a stratification of step \(s\in {{\mathbb {N}}}\)
with the property that \([V_1,V_j]=V_{j+1}\) for \(j=1,\ldots , s1\) and \([V_1,V_s]=\{0\}\). \(v_i:=\dim V_i\) and set \(h_0=0\), \(h_i=v_1+\cdots +v_i\) and \(m=h_s\). By using the exponential map, every Carnot group \(\mathbb {G}\) of step s is isomorphic as a Lie group to \(({{\mathbb {R}}}^m, \cdot )\), with the group operation given by the Baker–Campbell–Hausdorff formula.
Moreover, the stratification gives rise to a family of dilations \(\delta _t:{\mathbb {G}}\rightarrow {\mathbb {G}}\) for \(t>0\), given by
where the homogeneities \(\sigma _i\) are defined by \(\sigma _j:=i\) for \(h_{i1}<j\le h_i\).
A continuous function \(\rho :\mathbb {G} \rightarrow [0,\infty )\) is said to be a pseudonorm on G, if \(\rho \) satisfies the following conditions:

(1)
\(\rho (\delta _r (x)) = r\rho (x)\) for every \(r > 0\) and \(x \in G\),

(2)
\(\rho (x) > 0\) if and only if \(x \ne 0\),

(3)
\(\rho \) is symmetric, i.e. \(\rho (x^{1})=\rho (x)\) for every \(x \in G\).
A pseudonorm defines a pseudodistance on a group. Examples of such pseudodistances include the Korányi–Reimann (gauge) distance and the following :
where \(x^{(i)}=(x_{h_{i1}+1},\ldots , x_{h_i})\) for \(i=1,\ldots , s\), and \(\Vert x^{(j)}\Vert \) stands for Euclidean norm in \({{\mathbb {R}}}^{v_j}\). We observe that with the above notation, the coordinates in \(\mathbb {G}\) can be given a form \(x=(x^{(1)},x^{(2)},\ldots ,x^{(s)})\).
The number \(Q:=\sum _{i=1}^s i\dim (V_i)\) is called the homogeneous dimension of \({\mathbb {G}}\). The Lebesgue measure \({\mathcal {L}}^m=:\mu \) is the Haar measure on \({\mathbb {G}}\). Moreover, for all \(t>0\) it holds \(\mu (\delta _t(E))=t^Q\mu (E)\), for a measurable \(E\subset {\mathbb {G}}\). In particular, \(\mu (B(x,r))=cr^Q\) for any leftinvariant metric (c depends on the choice of metric) and the Hausdorffdimension of \({\mathbb {G}}\) equals Q.
Next, we come to Sobolev spaces. Let \(\Omega \subset {\mathbb {G}}\) be a domain and \(X=\{X_1,\ldots , X_m\}\) a Jacobian basis of \(\mathfrak {g}\), see [11, Chapter 1.3]. We define the horizontal Sobolev space \(HW^{1,p}(\Omega )\) as space of measurable functions \(u\in L^p(\Omega )\) whose distributional horizontal derivatives \(X_ju\) are \(L^p\)functions. We denote the horizontal gradient of u by
The norm \(\Vert u\Vert _{1,p}^p=\Vert u\Vert _{L^p(\Omega )}^p+\Vert \nabla _Hu\Vert _{L^p(\Omega )}^p\) makes \(HW^{1,p}(\Omega )\) into a Banach space. We also define the horizontal Laplacian \(\Delta _{{\mathbb {G}}}u\) of a \(C^2\)function \(u:\Omega \subset {\mathbb {G}}\rightarrow {{\mathbb {R}}}\) by
The various different notions on Sobolev spaces on \(\Omega \subset {\mathbb {G}}\) agree, since \({\mathbb {G}}\) supports a 1Poincaré inequality, cf. [29]. We mention here that, for \(u\in HW^{1,2}(\Omega )\), the function \(\nabla _H u\) is a minimal weak upper gradient of u when \({\mathbb {G}}\) is equipped with the Carnot–Carathéodory metric.
Below we will also use the approximate Pansu differential \(Du_x:{\mathbb {G}}\rightarrow {{\mathbb {R}}}\) of a Sobolev function \(u\in HW^{1,2}_{loc}(\Omega )\) at almost every \(x\in \Omega \), which can be seen as a natural derivative in Carnot groups and plays an important role in function and mapping theory (e.g. in quasiconformal analysis). The following property relating the Pansu differential and the horizontal gradient of a function can be found in [45, Remark 3.3], see also [19, Corollary 3.5].
Proposition 3.3
Let \(\Omega \subset {\mathbb {G}}\) be a domain a Carnot group and \(\rho \) be a pseudonorm on \({\mathbb {G}}\) of the form
where \(z'=(z^{(2)},\ldots ,z^{(s)})\) and \(F:{{\mathbb {R}}}\times {{\mathbb {R}}}^{mv_1}\rightarrow {{\mathbb {R}}}\) is \(C^1\) outside the origin with \(\partial _1F>0\). Then for every \(u\in HW^{1,2}(\Omega )\) we have
almost everywhere, where c is a constant depending only on \(\rho \), the data of \({\mathbb {G}}\), and e(u) is the KSenergy density of u, cf. Definition 2.2.
Remark 3.2
A particular class of homogeneous norms satisfying (14) is given as follows. Consider a norm N on \({{\mathbb {R}}}^s\) with \(\partial _1N>0\), and norms \(\Vert \cdot \Vert _i\) on \(V_i\) for \(i=2,\ldots , s\), which need not necessarily be the Euclidean ones. The function
is a homogeneous norm. This class includes the Korányi–Reimann gauge (12).
Proof
By the proof of [54, Theorem 4.1], we have that the KSenergy density exists and satisfies
for a.e \(x\in \Omega \). The last equality follows from the remark on the Pansu differential above. Here \(B_\rho \) is the unit ball with respect to the pseudonorm \(\rho \).
Since every two pseudonorms are equivalent (see [11, Proposition 5.1.4] and [3, Remark 2]) we have, in particular, that by (12) it holds
This observation together with the assumptions on \(\rho \) imply that, for each \(z'\in M\), where \(M\subset {{\mathbb {R}}}^{mv_1}\) is a bounded (and closed) set, the function \(F(\cdot ,z')\) is invertible and thus there exists a continuous function \(G:M\rightarrow {{\mathbb {R}}}\) such that for each fixed \(z'\)
Using this and the change of variables, we compute
where c is a constant. Indeed, since G is continuous and M is bounded, the integral of \(G^{2+k}\) is finite. Then, by [28, Lemma 4.18] we have that
This completes the proof. \(\square \)
We finish the subsection by providing the proof of Theorem 1.2.
Proof of Theorem 1.2
By Proposition 3.3 we have that the energy density \(e^2(u)\) exists and satisfies
for every \(u\in HW^{1,2}_{loc}(\Omega )\). Since \(\nabla _Hu\) is the minimal weak upper gradient of u for the metric measure space \((\Omega ,\mathcal {H}^Q,d_{cc})\) (cf. [29, Proposition 11.6 and Theorem 11.7] for smooth functions from which the claim follows by approximation) it follows that \(u\mapsto E_{KS}^2(u)=\int _\Omega e^2(u)\mathrm {d}\mathcal {H}^Q\) is lower semicontinuous and thus the KSenergy is a Dirichlet form in the sense of Definition 2.2. Moreover by [11, Part I, Sect. 1.5 (A5)] \(\Delta _{\mathbb {G}}\) is the selfadjoint operator associated to the quadratic form \(u\mapsto \int _\Omega \nabla _Hu^2\mathrm {d}z\). This and (16) imply that \(\Delta _{KS}\) is a constant multiple of the sublaplacian \(\Delta _{\mathbb {G}}\).
Since \(\Delta _ru=\widetilde{\Delta }_ru\) for small enough r in any domain compactly contained in \(\Omega \) (by the translation invariance of \(\mathcal {H}^Q\)), Proposition 3.2 implies that \(u\in HW^{1,2}_{loc}(\Omega )\) is weakly amvharmonic if and only if \(\Delta _\mathbb Gu=0\), showing that (ii)\(\Leftrightarrow \)(iii). Since (i)\(\Rightarrow \) (ii) trivially, it remains to prove (iii)\(\Rightarrow \)(i).
If \(\Delta _\mathbb Gu=0\) then \(u\in C^\infty (\Omega )\). Now we may argue exactly as in the proof of [26, Lemma 4.1] to obtain
using the second order Taylor expansion [26, Lemma 2.7]: the first order terms cancel out since balls \(B_r(x)\) with respect to \(\rho \) are symmetric, and the computation(s) in the proof of [26, Lemma 4.1] remain valid with the sets \(S(\varepsilon ,x^{(2)},\ldots ,x^{(s)})\) (in the notation of [26]) replaced by the sets \(\{ \Vert z^{(1)}\Vert \le G(z')\}\) from the proof of Proposition 3.3. We obtain the constant
in (17) where \(B_\rho \) stands for the unit ball of \(\rho \).
Finally we note that the error term \(o(r^2)\) in (17) is locally uniform in x (since the same is true for the second order Taylor expansion of a smooth function). This implies that \(\Delta _ru(x)\rightarrow 0\) as \(r\rightarrow 0\) locally uniformly in \(x\in \Omega \), establishing (iii)\(\Rightarrow \)(i). \(\square \)
3.3 RCDSpaces
RCDspaces arise from the study of synthetic curvature bounds, initially stated in terms of convexity properties of entropy functionals in Wasserstein spaces for Riemannian manifolds, cf. [52, 58]. A Riemannian theory of the resulting curvature dimension conditions (CD(K, N)conditions) is obtained by requiring in addition the quadratic property for the Cheeger energy, see Sect. 2.3. The notion of RCDspaces was introduced and substantially developed by Ambrosio–Gigli–Savare, cf. [8]. In terms of the \(\Gamma \)calculus introduced in Sect. 2.3 the RCD(K, N)condition with parameters \(K\in {{\mathbb {R}}}\) and \(N\ge 1\) on a metric measure space \((X,d,\mu )\) can be characterized by the Bochner inequality
for any \(f\in D(\Delta )\) with \(\Delta f\in W^{1,2}(X)\) and any \(g\in L^\infty (X)\cap D(\Delta )\).
A cornerstone of RCDtheory is the Bishop–Gromov inequality, due to Sturm [53]. To state it, define \(s_{K,N},v_{K,N}:[0,\infty )\rightarrow {{\mathbb {R}}}\) (for \(K\in {{\mathbb {R}}}\) and \(N\ge 1\)) by
where \(\omega _N\) the the Lebesgue measure of the unit ball in \({{\mathbb {R}}}^N\).
Theorem 3.4
(cf. Theorem 2.3, Remark 5.3 in [53]) Let X be an RCD(K, N)space, for \(K\in {{\mathbb {R}}}\) and \(N\ge 1\). Then for any \(x\in X\), the function
is nonincreasing on the interval \(\left( 0,\pi \sqrt{\frac{N1}{\max \{K,0\}}}\right) \).
Note that \(v_{K,N}(r)=\omega _Nr^N+O(r^{N+2})\) (cf. [32]). However, while N plays the role of dimension upper bound it need not equal Hausdorff dimension of X.
Rectifiability properties of RCDspaces were established in [44] and improved in [14], where the constancy of dimension of RCDspaces was proved.
Theorem 3.5
(Theorem 3.8 in [14]) Let \((X,d,\mu )\) be an RCD(K, N)space, \(K\in {{\mathbb {R}}}\) and \(N\ge 1\). There exists a natural number \(n\le N\) such that for \(\mu \)almost every \(x\in X\), \({{\mathbb {R}}}^n\) (with the Euclidean norm and Lebesgue measure) is the unique tangent cone of X at x.
The number n above is called the essential dimension of X, and X is nrectifiable, implying that n equals the Hausdorff dimension. The essential dimension appears in a result of Gigli–Tyulenev [28] which states that the Korevaar–Schoen energy is a constant multiple of the Cheeger energy, and thus a Dirichlet form, on RCDspaces.
Proposition 3.6
(cf. Theorem 2.18 and Proposition 4.19 in [28]) Let X be an RCD(K, N)space, for \(K\in {{\mathbb {R}}}\) and \(N\ge 1\), and let n be the essential dimension of X. Then there is a constant \(c=c(K,n)\) so that, if \(\Omega \subset X\) is a domain, then for any \(u\in KS^{1,2}(\Omega )\) we have that
where \(\nabla u\) is the minimal weak upper gradient of u.
We remark that by Proposition 3.6 local minimizers of \(E^2_{KS}\) are exactly the local minimizers of \(Ch_2\). It is known, cf. [36], that local minimizers of \(Ch_2\) on a domain \(\Omega \) are locally Lipschitz continuous in \(\Omega \) and are characterized by the equation \(\Delta u=0\).
Next we concentrate on noncollapsed RCD(K, N) spaces \(X=(X,d,\mathcal {H}^N)\). (For an earlier, slightly different, notion of noncollapsed RCDspaces, see [33].) As a Corollary of the results above, noncollapsed RCD(K, N)spaces are Nrectifiable and locally Ahlfors Nregular. Every point \(x\in X\) has a tangent cone (which is an RCD(0, N)space) and on a set of full measure the tangent cone is unique and isometrically isomorphic to \({{\mathbb {R}}}^N\). The singular set \({\mathcal {S}}\), defined as the set of points which have a nonEuclidean tangent cone, can be characterized using the densities
as \({\mathcal {S}}=\{ x\in X: \theta _N(x)<1 \}\). Note that by Theorem 3.4 the limit defining \(\theta ^N\) exists and satisfies \(\theta ^N\le 1\) everywhere.
The boundary of a noncollapsed RCDspace can defined by using the top dimensional stratum of the singular set.
Definition 3.2
(See Remark 3.8 in [24] and Definition 4.2 in [32]) The boundary \(\partial X\) of an RCD(K, N)space X is the closure of the set
It has recently been proven that \(\partial X\) is \((N1)\)rectifiable, cf. [15]. Moreover it was shown in [16] that if a neighbourhood of a point does not meet the boundary then the metric measure theoretic boundary near that point vanishes.
Definition 3.3
(Definition 1.5 in [32]). Let \(X=(X,d,\mathcal {H}^N)\) be Nrectifiable. We say that X has vanishing mmboundary (in an open set \(U\subset X\)), if the signed Radon measures
are uniformly bounded in the total variation norm (in U), and converge weakly to zero (in U) as \(r\rightarrow 0\).
The following slight reformulation of [16, Theorem 1.2] can be obtained by a suitable rescaling of the metric.
Theorem 3.7
(Theorem 1.2 in [16]) Let X be an RCD(K, N)space. There exists \(C=C(K,N)\) such that if \(x\in X\) and \(B_{Cr_0}(x)\cap \partial X=\varnothing \), then
We next employ Theorem 3.7 to obtain an asymptotic connection between the rlaplacian and the symmetrized rlaplacian. For the statement recall that
Lemma 3.8
Suppose X is a noncollapsed RCD(K, N)space. Then
for every \(\varphi \in C_c(X\setminus \partial X)\).
Proof
Since \({\text {spt}}\varphi \subset X\setminus \partial X\) we may cover \({\text {spt}}\varphi \) by a finite number of balls \(B_{r_0}(x_i)\) with \(B_{2Cr_0}(x_i)\cap \partial X=\varnothing \), \(i=1,\ldots M\). Using a partition of unity we may assume that \({\text {spt}}\varphi \subset B_{r_0}(x_0)\) with \(B_{2Cr_0}(x_0)\cap \partial X=\varnothing \) for some \(x_0\in X\). Note that (for small enough \(r>0\)) we have
where \(C'\) is the Ahlfors regularity constant on \(B_{2Cr_0}(x_0)\). Thus
For small enough \(r>0\) we have that \({\text {spt}}(A^*_r\varphi )\subset B_{r_0}(x_0)\) and, since \(\mathcal {H}^N\) is (locally) doubling we further have \(\Vert A^*_r\varphi \Vert _\infty \le C''\Vert \varphi \Vert _\infty \). It follows that
\(\square \)
Corollary 3.9
Let X be a noncollapsed RCD(K, N)space with vanishing mmboundary. Then
whenever \(u,\varphi \in {\text {LIP}}(\Omega )\) and u or \(\phi \) have compact support in \(\Omega \).
Proof
By a cutoff argument we may assume that both \(\varphi \) and u have compact support in \(\Omega \). By Lemma 3.1 we have that
The claim now follows from Lemma 3.8. \(\square \)
Proof of Theorem 1.1
Let \(u:\Omega \rightarrow {{\mathbb {R}}}\) be harmonic. In particular, u is locally Lipschitz. By Lemma 3.6u is a local minimizer of \(E_{KS}^2\) in \(\Omega \). Theorem 3.2 implies that
for every \(\varphi \in KS^{1,2}(\Omega )\) with compact support in \(\Omega \). This and Corollary 3.9 imply that
for every \(\varphi \in {\text {LIP}}_c(\Omega )\). \(\square \)
Remark 3.3
It follows from Corollary 3.9 and the argument above that, if \(u:\Omega \rightarrow {{\mathbb {R}}}\) is a locally Lipschitz continuous weakly amvharmonic function, then u is Cheeger harmonic.
4 Improving Regularity: The BPZTheorem for amvHarmonic Functions
In this section we discuss Blaschke–Privaloff–Zaremba type theorems (called BPZ theorems for the sake of brevity). In its classical version, see e.g. [38, Theorem 2.1.5], the BPZ theorem asserts that given an open set in \({{\mathbb {R}}}^n\) a continuous pointwise amvharmonic function solves locally the Laplace equation. Thus, the pointwise nullity of the amvharmonic operator \(\lim _{r\rightarrow 0^+}\Delta _r\) improves the regularity of amvharmonic functions. Below we show that this is also the case of amvharmonic functions in the homogeneous Carnot groups of step 2 and on Riemannian manifolds. Moreover, we show a counterpart of the BPZ theorem in Alexandrov spaces and discuss the relationship between amvharmonic functions defined in the weak sense and the Laplacian in Alexandrov spaces.
4.1 Carnot Groups
Solutions to the subelliptic Laplace equation in homogeneous Carnot groups are \(C^\infty \), see e.g. the discussion in [11, Sect. 5.10] and the references therein. Using the notation from Sect. 3.2 we define \(B(p_0,r)\), an open Korányi–Reimann ball (a gauge ball) centered at point \(p_0\in {\mathbb {G}}\) with radius \(r>0\) as follows
Since, by [20, Corollary 1], the gauge balls are the XNTA domains in step 2 Carnot groups \({\mathbb {G}}\), they are by the Wiener criterion regular domains and the Dirichlet problem for the continuous boundary data has the classical smooth solutions for the harmonic subelliptic equation in \(B\subset {\mathbb {G}}\), see the [23, Theorem 3.9] and the discussion on pg. 409 in [20]. However, it is shown in [30], that for \({{\mathbb {H}}}_{n}\) for \(n\ge 2\) balls in the CarnotCarathéodory distance are not regular at the characteristic points (cf. [10, Example 14.4]). Therefore, due to the approach we take in the proof of Theorem 4.1 below, we will restrict our discussion to the case of step 2 Carnot groups and balls with respect to the homogeneous distance \(d_{{\mathbb {G}}}\) as in (12). We also remark, that whether gauge balls are XNTA in general, step s, Carnot groups remains an open problem, see Conjecture 1 on pg. 429 in [20].
For the next theorem recall the distance \(d_{\mathbb {G}}\) associated to th Koranyi gauge (12) and the horizontal Laplacian \(\Delta _\mathbb Gu\) (13) from Sect. 3.2.
Theorem 4.1
(The BPZ theorem for amvharmonic functions in Carnot groups of step 2) Let \(\Omega \subset {\mathbb {G}}\) be a domain in the Carnot group \({\mathbb {G}}\) of step 2 equipped with the gauge distance \(d_{{\mathbb {G}}}\) and let \(f:\Omega \rightarrow {{\mathbb {R}}}\) be a continuous function satisfying
Then f is a subelliptic harmonic function, i.e. for all \(x\in \Omega \) it holds that
where C depends on \(v_1\) (the dimension of the horizontal layer \(V_1\)) and the geometry of \({\mathbb {G}}\).
The constant C is computed in [26, Lemma 4.1], see also the proof of Theorem 1.2. We further remark that the same lemma shows the Blaschke–Privaloff–Zaremba theorem for \(C^2\)functions in Carnot groups of step s.
Proof
In the proof we follow the original idea of Privaloff developed for the setting of \({{\mathbb {R}}}^n\), see [49, Theorem II]. Let \(p_0\in \Omega \) and \(B=B(p_0, R)\) be a gauge ball centered at \(p_0\) with radius \(R>0\) such that \(B\subset \Omega \). The above discussion allows us to infer that the subelliptic Dirichlet problem on B with the boundary data f has the (unique) solution, denoted by u, such that \(u\in C({\overline{B}})\) and \(u=f_{\partial B}\). Set \(\phi =fu\). Then \(\phi \in C({\overline{B}})\) and \(\phi _{\partial B}\equiv 0\). The assertion will be proven if we show that \(\phi \equiv 0\) in B. We argue by contradiction. Namely, suppose that there exists \(q\in B\) such that \(\phi (q)\not =0\) and without the loss of generality we assume that \(\phi (q)<0\). Let us define the following function on B
where \(\Vert (p^{1}p_0)^{(1)}\Vert \) stands for the Euclidean length in \({{\mathbb {R}}}^{v_1}\) of the horizontal part of the point \(p^{1}p_0\in \Omega \) (see (12)).
Claim: it holds that \(F\in C({\overline{B}})\), \(F_{\partial B}\ge 0\) and that \(F(q)<0\). Indeed, if \(p\in \partial B(p_0, R)\), then \(\Vert (p^{1}p_0)^{(1)}\Vert ^4+\Vert (p^{1}p_0)^{(2)}\Vert ^2=R^4\) for \((p^{1}p_0)^{(2)}\in {{\mathbb {R}}}^{mv_1}\) and so
Thus \(F(p)\ge 0\). Similarly, we find that
Hence, by the claim, there is \(q_{1}\in {\overline{B}}\) such that \(F(q_{1})=\min _{{\overline{B}}} F\) (in fact, \(q_1\in B\)). Moreover, \(\Delta _r F(q_{1})\ge 0\) for all \(r\le d(q_1, {\mathbb {H}}_{1}\setminus B)\) and by direct computations we verify that
Therefore, upon applying the definition of \(\Delta _r\), we arrive at the following estimate
Then, it holds
Recall that, by the classical proposition on the Jacobian basis \(\{X_1,\ldots , X_m\}\) (see [11, Corollary 1.3.9]), the subelliptic Laplacian at any point \(x\in {\mathbb {G}}\) can be written as follows:
where \(a_i^{(j)}\) are the polynomial coefficients. Therefore, in our case the subLaplacian reduces to the Laplacian in \({{\mathbb {R}}}^{v_1}\). Namely, we get that
Since f is assumed to be pointwise amvharmonic and \(u\in C^2(B)\), the definition of amvharmonic functions together with [26, Lemma 4.1] imply that upon \(r\rightarrow 0^{+}\) it holds that \(\Delta _r f(q_{1})\rightarrow 0\) and \(\Delta _r u(q_{1})\rightarrow 0\). Moreover, by applying [26, Lemma 4.1] again and by (21) we obtain that
since above we assume that \(\phi (q)<0\). In a consequence, we get that \(0\le \frac{Cv_1}{R^2}\phi (q)<0\) contradicting our assumption. The proof of the theorem is completed. \(\square \)
4.2 Riemannian Manifolds
For the readers convenience, we sketch the proof of the BPZtheorem in the Riemannian setting. The argument is analogous to that in the proof of Theorem 4.1
Proposition 4.2
(The Blaschke–Privaloff–Zaremba theorem on manifolds) Let (M, g) be an ndimensional Riemannian manifold with Ricci curvature bounded below by some \(K\in {{\mathbb {R}}}\). Let further \(\Omega \subset M\) be a domain in M and let \(f:\Omega \rightarrow {{\mathbb {R}}}\) be a continuous function in \(\Omega \) satisfying
Then f solves the Beltrami–Laplace equation in \(\Omega \).
Proof
We follow steps of the proof for Theorem 4.1 and argue by contradiction. Fix \(z_0\in \Omega \) and a ball \(B=B(z_0, R)\subset \Omega \) for a small enough radius \(R>0\), which will be determined below. As in the proof of Theorem 4.1, we denote by u the unique solution to the Laplace–Beltrami Dirichlet problem \(\Delta _M u=0\) in B, such that \(u\in C({\overline{B}})\) and \(u=f_{\partial B}\). The existence of such u follows, for instance from the general theory for metric measure spaces, since the Riemannian manifold M with the Ricci curvature bounded from below satisfies the doubling condition and the 1Poincaré inequality (see [10, Chapter A.7] and [29] for details).
Let us set \(\phi :=fu\) and notice that \(\phi \in C(\overline{B})\) and \(\phi _{\partial B}\equiv 0\). In order to prove the assertion we show that \(\phi \equiv 0\) in B. We argue by contradiction and suppose that there exists \(y\in B\) such that \(\phi (y)\not =0\) and without the loss of generality we assume that \(\phi (y)<0\).
Similarly as in the proof of Theorem 4.1 we define function F as follows
where \(\mathrm {dist}_M(\cdot , z_0)\) is a distance function to \(z_0\in \Omega \) defined in metric g on M. The direct computations for the Beltrami–Laplace operator, see the proof of [37, Theorem 4.1], allow us to conclude that
where \(H_{z_0}(z)\) stands for the mean curvature of \(\partial B(z_0, r)\) at z for \(r=\mathrm {dist}_M(z, z_0)\). According to the discussion in [47], it holds that \(H_{z_0}(z)=\frac{n1}{r}\frac{1}{3}\mathrm{Ric}_{z_0}(v,v)r+O(r^2)\), asymptotically as \(r\rightarrow 0\), where \(v\in S^{n1}\subset T_{z_0}M\) (notice that this formula arises as a perturbation of the meancurvature formula for a sphere in the zerocurvature case). Therefore, by taking R small enough, and hence small enough \(r<R\), we obtain that \(\Delta _M(\mathrm {dist}_M(z, z_0)^2)>c>0\) on B.
As in the proof of the previous theorem, we find \(y_{m}\in \overline{B}\) such that \(F(y_{m})=\min _{\overline{B}} F\) (in fact, \(y_m\in B\)). In order to get the contradiction we need to conclude that \(\Delta _r f(y_{m})\rightarrow 0\) and \(\Delta _r u(y_m) \rightarrow 0\) as \(r\rightarrow 0^+\), cf. (20) and the discussion following it. The first convergence follows, as f is amvharmonic, while the second follows from Claim (1), Chapter 6.32 in [59]. Indeed, by [59] solutions of the Laplace–Beltrami equation are smooth (assumptions of [59, Chapter 6.32] require M to be compact, but we need this result locally). Similarly to the Euclidean argument, based on expanding u in the Taylor expansion up to the second order, one can show that \(\lim _{r\rightarrow 0^+}\Delta _r u (y_m)\le \frac{1}{2(n+2)}\Delta _M u(y_m)=0\), see [60, Corollary 3.2.].
Thus, by analogous reasoning as in the previous theorem we obtain that
This contradicts our assumption that \(\phi (y)<0\). Hence, the proof of the theorem is completed. \(\square \)
4.3 Alexandrov Spaces and Surfaces
4.3.1 The Setting of Alexandrov Surfaces
The above discussion for Riemannian manifolds can be adapted to the setting of possibly nonsmooth surfaces, namely for closed Alexandrov surfaces with bounded integral curvature, see e.g. [5, 50, 55, 56]. In particular, this together with recent results by Lytchak–Stadler [39, Theorem 1.1] and Petrunin [48] imply also a BPZ theorem for noncollapsed RCD(K, 2) spaces.
An Alexandrov surface (S, d) is a topological 2manifold with a length metric d inducing the manifold topology which has bounded integral curvature in the sense of [57, Definition 2.1]. Alexandrov surfaces admit a notion of curvature which is a Radon measure, denoted by \(\omega \). For this and more details we refer the interested reader to [56, 57]. Here we mention that there exist several equivalent definitions based on polyhedral approximations or on the Gauss–Bonnet theorem. Moreover, let us recall that examples of Alexandrov surfaces encompass, for instance, compact polyhedral surfaces (both Euclidean, hyperbolic, spherical or more generally Riemannian), locally CAT(0) surfaces, compact metric surfaces with lower bounded curvature in the sense of Alexandrov (in particular compact Gromov–Hausdorff limits of surfaces with lower bounded Gaussian curvature, see [17, 39]), and also surfaces with conical singularities, see [56, 57].
Let (S, d) be a closed Alexandrov surface (i.e. compact surface without boundary) equipped with a metric d and the curvature measure \(\omega \). We say that (S, d) is without cusps, if \(\omega (\{x\})< 2\pi \) for all \(x\in S\). In particular, both the BIC surfaces with nonpositive curvature measure and all the smooth surfaces are automatically without cusps.
Following [55, 56], if (S, h) is a closed Riemannian surface, then we denote by V(S, h) the space of functions \(v:S\rightarrow {{\mathbb {R}}}\) such that \(\mu =\Delta _hv\) is a (signed) measure. By using v one may define a new distance, denoted by \(d_{h,v}\), see [56, Proposition 7.1]. Then, the following result relates Alexandrov’s surfaces to smooth geometry, see [56, Theorem 7.3].
Theorem 4.3
(Reshetnyak–Huber) Let (S, d) be a closed surface with bounded integral curvature without cusps. Then, there exist a smooth Riemannian metric h on S and a function \(v\in V(S,h)\) such that \(d=d_{h,v}\).
In fact, the refined version of this theorem allows us to state that the distance d on S is induced by the (singular) Riemannian metric \(e^{2v}h\), see [50, Theorem 7.1.2] and [6, Theorem 2.6]. Therefore, since the harmonicity is a conformal invariant in dimension two, this relation between d and h enables us to define harmonic functions on open subsets of (S, d) as the functions which are harmonic with respect to metric h. More precisely, we define the Laplace–Beltrami operator of (S, d) by
Proposition 4.4
Let (S, d) be a closed Alexandrov surface with bounded integral curvature without cusps and \(f:\Omega \rightarrow {{\mathbb {R}}}\) be a continuous function on a domain \(\Omega \subset S\), satisfying
Then f solves the Beltrami–Laplace equation \(\Delta _S f=0\) in \(\Omega \).
The proof is similar to the one for Proposition 4.2 and thus we will comment on the key difference only. As in the Riemannian case we argue by contradiction and localize the discussion on a ball \(B(z_0, R)\subset \Omega \). Then, one considers functions \(\phi \) and F similar as in the proof of the above theorem. By the Reschetnyak–Huber theorem we reduce the discussion to the plane with conformally flat metric and by (22) get that
From this point, the reasoning follows strictly the proof of Proposition 4.2.
The Setting of Alexandrov Spaces Another setting where a BPZ type theorem can be proven is the setting of Alexandrov spaces. We say that M is an Alexandrov space, if it is locally compact complete length metric space with the lower curvature bound defined via comparison of geodesic triangles in M to geodesic triangles in space form of the appropriate constant sectional curvature, see for instance [13, 17, 46]. The Hausdorff dimension of an Alexandrov space turns out to be always an integer and it defines the dimension of the given Alexandrov space. Moreover, a point in an ndimensional Alexandrov space M is called regular, if its tangent cone is isometric to Euclidean nspace with standard metric, see e.g. [6, Sect. 7.1]. A point which is not regular is called singular and it turns out that the Hausdorff dimension of the set of all singular points in M does not exceed \(n1\). Furthermore, the set of all regular points is contained in a \(DC_0\) Riemannian manifold, see Definitions 3.1 and 2.1 in [6].
Let \(\Omega \subset M\) be a bounded domain in Alexandrov space M. For a semiconcave function \(u:\Omega \rightarrow {{\mathbb {R}}}\) (see Preliminaries in [61]) a natural Laplacian \(\mathcal {L}_u\) defined via the Dirichlet form is a signed Radon measure and its nonsingular part in the Lebesgue decomposition of \(\mathcal {L}_u\) satisfies
for almost all points \(x\in \Omega \), where \(H_x\) denotes the Perelman hessian while \(\Sigma _x\) stands for the space of directions at x, see [48] and [61, Preliminaries]. One of the key features of hessian \(H_x\) is that for semiconcave functions in \(\Omega \) (or more general DC functions, see [6]) one can prove the existence of the second order Taylor expansion based on \(H_x\), see [61, Formula (2.6)] and [6, Proposition 7.5].
The above observations allow us to state the following variant of the BPZ theorem in Alexandrov spaces.
Proposition 4.5
(The Blaschke–Privaloff–Zaremba theorem in Alexandrov spaces) Let \(u:\Omega \rightarrow {{\mathbb {R}}}\) be a semiconcave function defined on a domain \(\Omega \) of Alexandrov space M. Then for all x in the set of regular points of u (i.e. for almost all points in M) it holds that
In particular, a semiconcave function u on \(\Omega \) is harmonic (in the sense of the Laplacian \(\Delta \)) if and only if \(\lim _{r\rightarrow 0^+}\Delta _ru(x)=0\) for every regular point x of u.
The proof of this observation is the immediate consequence of the proof of [61, Lemma 2.3]. We remark that the theorem shows that for a large class of functions the amvLaplace harmonic functions coincide with those which are harmonic in Alexandrov spaces with respect to Laplacian \(\Delta \). However, notice that semiconcave functions are locally Lipschitz. Therefore, in the setting of Alexandrov spaces a characterization of the amvharmonic functions stated in Proposition 4.5 holds under stronger assumptions than just a continuity as it is in \({{\mathbb {R}}}^n\), Carnot groups and on manifolds (cf., respectively, [38, Theorem 2.1.5] and Theorem 4.1 and Proposition 4.2). Finally let us comment that, since Alexandrov spaces without boundary also have vanishing mmboundary (cf. Theorem 3.7), the characterization in Proposition 4.5 is related to our Theorem 1.1.
Data Availability
Not applicable. The manuscript has no associated data.
Code Availability
Not applicable.
References
Adamowicz, T., Gaczkowski, M., Górka, P.: Harmonic functions on metric measure spaces. Rev. Mat. Complut. 32(1), 141–186 (2019)
Adamowicz, T., Kijowski, A., Soultanis, E.: Asymptotically mean value harmonic functions in doubling metric measure spaces. Anal. Geom. Metr. Spaces 10(1), 344–372 (2022). https://doi.org/10.1515/agms20220143
Adamowicz, T., Warhurst, B.: Mean value property and harmonicity on CarnotCarathéodory groups. Potential Anal. 52(3), 497–525 (2020). https://doi.org/10.1007/s1111801897404
Aldaz, J.M.: Boundedness of averaging operators on geometrically doubling metric spaces. Ann. Acad. Sci. Fenn. Math. 44(1), 497–503 (2019)
Ambrosio, L., Bertrand, J.: On the regularity of Alexandrov surfaces with curvature bounded below. Anal. Geom. Metr. Spaces 4, 282–287 (2016)
Ambrosio, L., Bertrand, J.: DC calculus. Math. Z. 288(3–4), 1037–1080 (2018)
Ambrosio, L., Colombo, M., Di Marino, S.: Sobolev spaces in metric measure spaces: reflexivity and lower semicontinuity of slope. Adv. Stud. Pure Math. 67, 1–58 (2015)
Ambrosio, L., Gigli, N., Savaré, G.: Metric measure spaces with Riemannian Ricci curvature bounded from below. Duke Math. J. 163(7), 1405–1490 (2014)
Arroyo, A., Llorente, J.: On the asymptotic mean value property for planar \(p\)harmonic functions. Proc. Am. Math. Soc. 144(9), 3859–3868 (2016)
Björn, A., Björn, J.: Nonlinear Potential Theory on Metric Spaces, EMS Tracts in Mathematics, vol. 17. European Math. Soc, Zurich (2011)
Bonfiglioli, A., Lanconelli, E., Uguzzoni, F.: Stratified Lie Groups and Potential Theory for Their SubLaplacians. Springer Monographs in Mathematics. Springer, New York (2007)
Bouleau, N., Hirsch, F.: Dirichlet Forms and Analysis on Wiener Space, De Gruyter Studies in Mathematics, vol. 14. Berlin (1991)
Bridson, M., Haefliger, A.: Metric Spaces of Nonpositive Curvature Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 319. Springer, Berlin (1999)
Brué, E., Semola, D.: Constancy of the dimension for \(RCD(K, N)\) spaces via regularity of Lagrangian flows. Commun. Pure Appl. Math. 73(6), 1141–1204 (2020)
Brué, E., Naber, A., Semola, D.: Boundary regularity and stability for spaces with Ricci bounded below. Invent. Math. 228, 777–891 (2022)
Brué, E., Mondino, A., Semola, D.: The metric measure bounday of spaces with Ricci curvature bounded below. arXiv:2205.10609
Burago, D., Burago, Y., Ivanov, S.: A Course in Metric Geometry Graduate Studies in Mathematics, vol. 33. American Mathematical Society, Providence (2001)
Burago, D., Ivanov, S., Kurylev, Y.: Spectral stability of metricmeasure Laplacians. Israel J. Math. 232(1), 125–158 (2019)
Capogna, L., Cowling, M.: Conformality and \(Q\)harmonicity in Carnot groups. Duke Math. J. 135(3), 455–479 (2006)
Capogna, L., Garofalo, N.: Boundary behavior of nonnegative solutions of subelliptic equations in NTA domains for CarnotCarathéodory metrics. J. Fourier Anal. Appl. 4(4–5), 403–432 (1998)
Cheeger, J.: Differentiability of Lipschitz functions on metric measure spaces. Geom. Funct. Anal. 9(3), 428–517 (1999)
Córdoba, A., Ocáriz, J.: A note on generalized Laplacians and minimal surfaces. Bull. Lond. Math. Soc. https://doi.org/10.1112/blms.12314
Danielli, D.: Regularity at the boundary for solutions of nonlinear subelliptic equations. Indiana Univ. Math. J. 44(1), 269–286 (1995)
De Philippis, G., Gigli, N.: Noncollapsed spaces with Ricci curvature bounded from below. J. Éc. Polytech. Math. 5, 613–650 (2018)
Ferrari, F., Liu, Q., Manfredi, J.: On the characterization of pharmonic functions on the Heisenberg group by mean value properties. Discret. Contin. Dyn. Syst. 34(7), 2779–2793 (2014)
Ferrari, F., Pinamonti, A.: Characterization by asymptotic mean formulas of qharmonic functions in Carnot groups. Potential Anal. 42(1), 203–227 (2015)
Gaczkowski, M., Górka, P.: Harmonic functions on metric measure spaces: convergence and compactness. Potential Anal. 31, 203–214 (2009)
Gigli, N., Tyulenev, A.: Korevaar–Schoen’s energy on strongly rectifiable spaces. Calc. Var. Partial Differ. Equ. 60(6) (2021)
Hajłasz, P., Koskela, P.: Sobolev Met Poincaré. Mem. Am. Math. Soc. 145 (2000)
Hansen, W., Hueber, H.: The Dirichlet problem for subLaplacians on nilpotent Lie groupsgeometric criteria for regularity. Math. Ann. 276(4), 537–547 (1987)
Heinonen, J., Koskela, P., Shanmugalingam, N., Tyson, J.: Sobolev Spaces on Metric Measure Spaces. An Approach Based on Upper Gradients, New Mathematical Monographs, vol. 27. Cambridge University Press, Cambridge (2015)
Kapovitch, V., Lytchak, A., Petrunin, A.: Metricmeasure boundary and geodesic flow on Alexandrov spaces. J. Eur. Math. Soc. 23(1), 29–62 (2021)
Kitabeppu, Y.: A Bishoptype inequality on metric measure spaces with Ricci curvature bounded below. Proc. Am. Math. Soc. 145(7), 3137–3151 (2017)
Kleiner, B.: A new proof of Gromov’s theorem on groups of polynomial growth. J. Am. Math. Soc. 23(3), 815–829 (2010)
Korevaar, N., Schoen, R.: Sobolev spaces and harmonic maps for metric space targets. Commun. Anal. Geom. 1(3–4), 561–659 (1993)
Koskela, P., Rajala, K., Shanmugalingam, N.: Lipschitz continuity of Cheegerharmonic functions in metric measure spaces. J. Funct. Anal. 202(1), 147–173 (2003)
Li, P.: Geometric Analysis. Cambridge Studies in Advanced Mathematics, vol. 134. Cambridge University Press, Cambridge (2012)
Llorente, J.: Mean value properties and unique continuation. Commun. Pure Appl. Anal. 14(1), 185–199 (2015)
Lytchak, A., Stadler, S.: Ricci curvature in dimension two. J. Eur. Math. Soc. (to appear)
Manfredi, J., Parviainen, M., Rossi, J.: On the definition and properties of \(p\)harmonious functions. Ann. Sc. Norm. Super. Pisa Cl. Sci. (5) 11(2), 215–241 (2012)
Manfredi, J., Parviainen, M., Rossi, J.: An asymptotic mean value characterization for a class of nonlinear parabolic equations related to tugofwar games. SIAM J. Math. Anal. 42(5), 2058–2081 (2010)
Minne, A., Tewodrose, D.: Asymptotic mean value Laplacian in metric measure spaces. J. Math. Anal. Appl. 491(2), 124330 (2020)
Minne, A., Tewodrose, D.: Symmetrized and nonsymmetrized Asymptotic Mean Value Laplacian in metric measure spaces. arXiv:2202.09295
Mondino, A., Naber, A.: Structure theory of metric measure spaces with lower Ricci curvature bounds. J. Eur. Math. Soc. (JEMS) 21(6), 1809–1854 (2019)
Monti, R., Serra Cassano, F.: Surface measures in CarnotCarathéodory spaces. Calc. Var. Partial Differ. Equ. 13(3), 339–376 (2001)
Otsu, Y., Shioya, T.: The Riemannian structure of Alexandrov spaces. J. Differ. Geom. 39(3), 629–658 (1994)
Pacard, F., Xu, X.: Constant mean curvature spheres in Riemannian manifolds. Manuscripta Math. 128(3), 275–295 (2009)
Petrunin, A.: Alexandrov meets LottVillaniSturm. Münster J. Math. 4, 53–64 (2011)
Privaloff, I.: Sur les fonctions harmoniques. Rec. Math. Moscou (Mat. Sbornik) 32, 464–471 (1925)
Reshetnyak, Yu.G.: Twodimensional manifolds of bounded curvature. In: Geometry, IV, volume 70 of Encyclopaedia Math. Sci., pp. 3–163, 245–250. Springer, Berlin (1993)
Shanmugalingam, N.: Newtonian spaces: an extension of Sobolev spaces to metric measure spaces. Rev. Mat. Iberoamericana 16(2), 243–279 (2000)
Sturm, K.T.: On the geometry of metric measure spaces. I. Acta Math. 196(1), 65–131 (2006)
Sturm, K.T.: On the geometry of metric measure spaces. II. Acta Math. 196(1), 133–177 (2006)
Tan, K.H.: Sobolev classes and horizontal energy minimizers between CarnotCarathéodory spaces. Commun. Contemp. Math. 6(2), 315–347 (2004)
Troyanov, M.: Un principe de concentrationcompacité pour les suites de surfaces riemanniennes. Ann. Inst. H. Poincaré Anal. Non Linéaire 8(5), 419–441 (1991)
Troyanov, M.: Les surfaces à courbure intégrale bornée au sens d’Alexandrov, Annual day of the SMF, pp. 1–18 (2009)
Troyanov, M.: On Alexandrov’s surfaces with bounded integral curvature. arXiv:2201.03354
Villani, C.: Synthetic theory of Ricci curvature bounds. Jpn. J. Math. 11(2), 219–263 (2016)
Warner, F.W.: Foundations of Differentiable Manifolds and Lie Groups. Corrected reprint of the 1971 edition, Graduate Texts in Mathematics, vol. 94. Springer, New York (1983)
Zhang, H.C., Zhong, X., Zhu, X.P.: Quantitative gradient estimates for harmonic maps into singular spaces. Sci. China Math. 62(11), 2371–2400 (2019)
Zhang, H.C., Zhu, X.P.: Yau’s gradient estimates on Alexandrov spaces. J. Differ. Geom. 91(3), 445–522 (2012)
Acknowledgements
The authors would like to thank Ben Warhurst for a discussion concerning Theorem 1.2.
Funding
T.A. was supported by a grant of National Science Center, Poland (NCN), UMO2017/25/B/ST1/01955. E.S. was supported by Swiss National Foundation Grant No. 182423. This work was partially supported by the Grant 346300 for IMPAN from the Simons Foundation and the matching 20152019 Polish MNiSW fund.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors declare that they have no conflict of interests nor competing interests.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Adamowicz, T., Kijowski, A. & Soultanis, E. Asymptotically Mean Value Harmonic Functions in Subriemannian and RCD Settings. J Geom Anal 33, 80 (2023). https://doi.org/10.1007/s12220022011326
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s12220022011326
Keywords
 Carnot groups
 Harmonic functions
 Dirichlet forms
 Korevaar–Schoen energy
 Mean value property
 Synthetic curvature bounds