Exact packing measure of the range of \(\psi\)-super Brownian motions (Q510264)

The authors investigate fine geometric properties of superprocesses, called \(\psi\)-super-Brownian motions, where \(\psi\) is a critical or subcritical branching mechanism and the spatial motion is assumed to be the \(d\)-dimensional Brownian motion. By providing an exact packing gauge function \(g\) for the total range of superprocesses, the authors generalize the main results of [the second author, Ann. Probab. 37, No. 6, 2431--2458 (2009; Zbl 1191.60096)], where the case of a Dawson-Watanabe superprocess (with \(\psi(\lambda)=\lambda^2\)) was considered. Essentially, the main theorem of this paper states that under certain regularity assumptions on \(\psi\) at \(\infty\) and for dimension \(d\) large enough, the occupation measure \(M\) of \(\psi\)-super-Brownian motion \(\{Z_t\}_{t\geq0}\) is the \(g\)-packing measure \(\mathcal{P}_g\) restricted to the total range \(\mathbf{R}\) of \(\{Z_t\}_{t\geq0}\) up to a deterministic multiplicative constant depending only on \(d\) and \(\psi\). Another main result provides the packing and upper box dimensions of \(\mathbf{R}\), \(\dim_p(\mathbf{R})\) and \(\overline{\dim}(\mathbf{R})\), respectively, again for dimension \(d\) large enough and \(\psi\) regular enough at \(\infty\) (the latter is equivalent to the doubling condition for the gauge function \(g\)). An additional compactness assumption on \(\text{supp}(\mu)\), where \(\mu=Z_0\), is needed to obtain \(\overline{\dim}(\mathbf{R})\).