Multiple Boundary Representations of λ-Harmonic Functions on Trees

Abstract

We consider a countable tree $T$, possibly having vertices with infinite degree, and an arbitrary stochastic nearest neighbour transition operator $P$. We provide a boundary integral representation for general eigenfunctions of $P$ with eigenvalue $lambda in C$, under the condition that the oriented edges can be equipped with complex-valued weights satisfying three natural axioms. These axioms guarantee that one can construct a $lambda$-Poisson kernel. The boundary integral is with respect to distributions, that is, elements in the dual of the space of locally constant functions. Distributions are interpreted as finitely additive complex measures. In general, they do not extend to $sigma$-additive measures: for this extension, %a summability condition over the neighbours of a vertex is required. a summability condition over disjoint boundary arcs is required. as a self-adjoint operator on a naturally associated $ell^2$-space and the diagonal elements of the resolvent (``Green function'') do not vanish at $lambda$, one can use the ordinary edge weights corresponding to the Green function, and one gets the ordinary $la$-Martin kernel. We then consider the case when $P$ is invariant under a transitive group action. In this situation, we study the phenomenon that in addition to the $la$-Martin kernel, there may be further choices for the edge weights which give rise to another $la$-Poisson kernel with associated integral representations. In particular, we compare the resulting distributions on the boundary.