Tangential Limits of Potentials on Homogeneous Trees

Let T be a homogeneous tree of homogeneity q+1. Let denote the boundary of T, consisting of all infinite geodesics b=[b ₀,b ₁,b ₂,] beginning at the root, 0. For each b, 1, and a0 we define the approach region _,a (b) to be the set of all vertices t such that, for some j, t is a descendant of b _j and the geodesic distance of t to b _j is at most (–1)j+a. If >1, we view these as tangential approach regions to b with degree of tangency . We consider potentials Gf on T for which the Riesz mass f satisfies the growth condition _T f ^p (t)q ^–|t|<, where p>1 and 0<<1, or p=1 and 0<1. For 11/, we show that Gf(s) has limit zero as s approaches a boundary point b within _,a (b) except for a subset E of of -dimensional Hausdorff measure 0, where H (E)=sup_>0inf _i q ^{–|t i|}:E a subset of the boundary points passing through t _i for some i,|t _i |>log _q (1/).     

A projection theorem and tangential boundary behavior of potentials

Let be the Weinstein operator on the half space, . Suppose there is a sequence of Borel sets such that a certain tangential projection of onto forms a pairwise disjoint subset of the boundary. Let be a finite test measure on the boundary for a specific non-isotropic Hausdorff measure. The measure is carried back to a measure on a subset of by the projection. We give an upper bound for the Weinstein potential corresponding to the measure in terms of a universal constant and a Weinstein subharmonic function. We use this upper bound to deduce a result concerning tangential behavior of Weinstein potentials at the boundary with the exception of sets on the boundary of vanishing non-isotropic Hausdorff measure.

     

Minimal Fine Limits for a Class of Potentials

We consider potentials G _k associated with the Weinstein equation with parameter k in , _j=1 ⁿ (² u/ x ² _j ) + (k/x _n ) ( u/ x _n ) = 0, on the upper half space in ⁿ . We show that if the representing measure satisfies the growth condition y _n /(1+|y|) ^n-k < , where max(k, 2 – n) < 1, then G _k has a minimal fine limit of 0 at every boundary point except for a subset of vanishing (n – 2 + ) dimensional Hausdorff measure. We also prove this exceptional set is best possible.