{"entities":{"Q2452452":{"pageid":2463195,"ns":120,"title":"Item:Q2452452","lastrevid":57932718,"modified":"2026-04-03T03:37:58Z","type":"item","id":"Q2452452","labels":{"en":{"language":"en","value":"Cheeger-harmonic functions in metric measure spaces revisited"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6299466"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2452452$16C0362C-F593-432D-AD78-D5600A758B3B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"17d0e41f2f99ce977c9dbad31c559e8eeee910f2","datavalue":{"value":{"text":"Cheeger-harmonic functions in metric measure spaces revisited","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2452452$D5C11516-9861-4555-89C2-15317397FC66","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b0c7825e26ca329b02d533d0876084a867ca69ff","datavalue":{"value":"1295.30130","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2452452$2582215F-8E5B-4874-9228-6246FCA1FE1A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"78c822db5813f0f9086f4e4ec19f4b6b46b5b495","datavalue":{"value":{"entity-type":"item","numeric-id":165791,"id":"Q165791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2452452$FC23E469-4301-4C81-B7C1-C2AC22857A50","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1740c7d8206539b0263c4c6c947fa7dc7cc38afa","datavalue":{"value":{"time":"+2014-06-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2452452$2CB05DDE-7D68-420B-85A4-134E31A4D817","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ad7fcdfe270d21d0f9a3b29c831127e247546635","datavalue":{"value":"https://arxiv.org/abs/1307.1334","type":"string"},"datatype":"url"},"type":"statement","id":"Q2452452$7748419D-45B3-4794-BCC6-FEA0A6D6DDB4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"746b18e1ec116c26dff0a4556691d7bfd0ae9336","datavalue":{"value":"Following \\textit{J. Cheeger}'s Rademacher-style differentiation theorem for Lipschitz functions on metric measure spaces [Geom. Funct. Anal. 9, No. 3, 428--517 (1999; Zbl 0942.58018)], the theory of second-order PDEs in divergence form can be extended to a wide class of abstract metric spaces. In particular, one can introduce a Laplacian \\(L\\) acting on a suitable Sobolev space \\(W^{1,2}\\) via the usual weak formulation. In this paper, solutions to \\(Lu=0\\) are termed `Cheeger-harmonic' functions. The main topic in this paper is the regularity of solutions to nonlinear equations of Poisson type involving the Cheeger Laplacian. As a consequence, existing results on the Lipschitz continuity of Cheeger-harmonic functions are improved. The relevant assumptions on the metric measure space \\(X = (X,d,\\mu)\\) are conditions (i) through (iv) below. {\\parindent=8mm \\begin{itemize}\\item[(i)] \\(X\\) is locally \\(Q\\)-doubling for some \\(Q>1\\), i.e., the inequality \\[ 0 < \\mu(B(x,R)) \\leq C_1 (R/r)^Q \\mu(B(x,r)) \\] holds for every \\(x \\in X\\) and \\(00\\) is fixed and \\(C_1=C_1(R_0)\\). (In other references this condition is sometimes known as local \\(Q\\)-homogeneity of the measure \\(\\mu\\).) \\item[(ii)] \\(X\\) satisfies the local \\(L^2\\)-Poincar\u00e9 inequality \\[ \\frac1{\\mu(B)} \\int_{B} |u-u_{B}| \\, d\\mu \\leq C_2 r \\left( \\frac1{\\mu(2B)} \\int_{2B} (\\text{Lip } u)^2 \\, d\\mu \\right)^{1/2}, \\] for every ball \\(B=B(x,r)\\) with \\(r0\\) is again fixed, \\(2B=B(x,2r)\\), \\(u_A=\\mu(A)^{-1}\\int_A u \\, d\\mu\\) denotes the \\(\\mu\\)-average of \\(u\\) over a set \\(A \\subset X\\) of positive measure, \\[ (\\text{Lip } u)(x) = \\limsup_{r\\to 0} r^{-1} \\sup\\big\\{ |u(x)-u(y)| \\, : \\, d(x,y) \\leq r \\big\\} \\] denotes the upper pointwise Lipschitz constant of \\(u\\), and \\(C_2=C_2(R_0)\\). \\end{itemize}} By Cheeger's results, these two assumptions suffice to guarantee that each Lipschitz function \\(u:X\\to{\\mathbb R}\\) is differentiable almost everywhere. Moreover, the Cheeger derivative \\(u \\mapsto Du\\) can also be defined for functions in the Sobolev space \\(W^{1,2}(X)\\), i.e., the completion of locally Lipschitz functions under the norm \\(\\|u\\|_{W^{1,2}} = \\|u\\|_{L^2} + \\|\\text{Lip } u\\|_{L^2}\\). Introduce the Dirichlet form \\({\\mathcal E}(u,v) = \\int_X Du(x) \\cdot Dv(x) \\, d\\mu(x)\\). {\\parindent=8mm \\begin{itemize}\\item[(iii)] The heat kernel \\(p(t,x,y)\\) for the semigroup \\(({\\mathbb T}_t)_{t\\geq 0}\\) associated to \\({\\mathcal E}\\) is stochastically complete, i.e., \\[ {\\mathbb T}_t(x) = \\int_X p(t,x,y) \\, d\\mu(y) = 1 \\] for every \\(x \\in X\\) and \\(t>0\\). \\item[(iv)] \\(X\\) satisfies the heat semigroup curvature condition \\[ {\\mathbb T}_t(u^2)(x) - ({\\mathbb T}_t(u)(x))^2 \\leq (2t+c_\\kappa(T)t^2) {\\mathbb T}_t(|Du|^2) \\] for each \\(0