Carleson type estimates for \(p\)-harmonic functions and the conformal Martin boundary of John domains in metric measure spaces (Q558706)

Given a bounded Lipschitz domain \(D\) in \(\mathbb{R}^n\), there exist constants \(K,C \geq 1\), depending only on \(D\), with the following property: If \(\xi \in \partial D\), if \(r>0\) is sufficiently small, and if \(x_r\) is a point in \(D\) with \(| x_r-\xi| =r\) and dist\((x_r,\partial D) \geq r/C\), then \(u(x) \leq K u(x_r)\) for \(x \in D \cap B(\xi,r)\) whenever \(u\) is a positive harmonic function in \(D \cap B(\xi,Cr)\) vanishing continuously on \(\partial D \cap B(\xi,Cr)\). This inequality is known as the Carleson estimate. The purpose of the authors is to generalize this result to the context of metric measure spaces in the sense of \textit{J. Heinonen} and \textit{P. Koskela} [Acta Math. 181, No. 1, 1--61 (1998; Zbl 0915.30018)]. They use \textit{Y. Domar}'s argument [Ark. Mat. 3, 429--440 (1958; Zbl 0078.09301)] and prove a Carleson estimate not only for linear but for the case of certain nonlinear equations in metric measure spaces. The analysis in metric spaces is currently studied by many authors, including A. and J. Björn, Kinnunen, Holopainen, Martio, Shanmugalingam, and Tyson. One of the tools the authors apply is the quasihyperbolic metric which they use effectively to prove various lemmas. For instance, in a John domain \(\Omega\) they find an upper bound for \(h(x)/h(y)\) when \(h:\Omega \to (0,\infty)\) is a Harnack function. Reviewer's remark: This result was already proved by the reviewer in [Ann. Acad. Sci. Fenn., Ser. A I 7, 259--277 (1982; Zbl 0488.31003), Lemma 3.3].