  In this paper, we study function spaces defined via dyadic energies on the
boundaries of regular trees. We show that correct choices of dyadic energies
result in Besov-type spaces that are trace spaces of (weighted) first order
Sobolev spaces.
