Scale-invariant boundary Harnack principle on inner uniform domains in fractal-type spaces (Q907317)

Given two non-negative harmonic functions on a domain that vanish at the boundary, the purpose of a boundary Harnack inequality is to compare their rates of decay at the boundary. Suppose that \(u,v\) are two non-negative harmonic functions on \(\Omega\) that both vanish at \(\partial \Omega\). Then a boundary Harnack inequality would state that \[ \frac{u(x)}{u(x')} \leq A \frac{v(x)}{v(x')} \] for \(x,x'\) in some ball around a point \(\xi \in \partial \Omega\). A scale-invariant Harnack principle would be one in which the constant \(A\) does not depend on the radius of the ball around \(\xi\) that is used. The main contribution of this paper is the relaxation of the assumptions on the Dirichlet form with respect to which \(u,v\) are harmonic. In particular the author and \textit{L. Saloff-Coste} [Osaka J. Math. 51, No. 3, 619--656 (2014; Zbl 1301.31008)] assumed that the Dirichlet form satisfies a Gaussian space-time scaling, whereas in this paper the assumption is sub-Gaussian. This relaxation was enabled by the advances in understanding sub-Gaussian heat kernel estimates and their relationships with Harnack and Sobolev inequalities as well as Green's function estimates. Because these sub-Gaussian results are analogous, the arguments of [loc. cit.] have largely been carried over.