www.elsevier.com/locate/jmaa Distributions and measures on the boundary of a tree

In this paper, we analyze the space D of distributions on the boundary Ω of a tree and its sub-space B0, which was introduced in [Amer. J. Math. 124 (2002) 999–1043] in the homogeneous case for the purpose of studying the boundary behavior of polyharmonic functions. We show that if µ ∈ B0, then µ is a measure which is absolutely continuous with respect to the natural probability measure λ on Ω, but on the other hand there are measures absolutely continuous with respect to λ which are not in B0. We then give the definition of an absolutely summable distribution and prove that a distribution can be extended to a complex measure on the Borel sets of Ω if and only if it is absolutely summable. This is also equivalent to the condition that the distribution have finite to-tal variation. Finally, we show that for a distribution µ, Ω decomposes into two subspaces. On one of them, a union of intervals Aµ, µ restricted to any finite union of intervals extends to a complex measure and on Aµ we give a version of the Jordan, Hahn, and Lebesgue–Radon–Nikodym decom-position theorems. We also show that there is no interval in the complement of Aµ in which any type of decomposition theorem is possible. All the results in this article can be generalized to results on good (in particular, compact infinite) ultrametric spaces, for example, on the p-adic integers and the p-adic rationals