Packing dimensions of projections and dimension profiles (Q4351108)

Let \(E\subset\mathbb{R}^n\) be an analytic set and \(\mu\in{\mathfrak M}^+_c(E)\) a finite Borel measure on \(E\) with compact support. For a real number \(s\) with \(0\leq s\leq n\) put \[ F^\mu_s(x,r)= \int_{\mathbb{R}^n}\min\{1,r^s|y-x|^{-s}\}d\mu(y). \] The packing dimension profile of \(\mu\) is said to be \[ \text{Dim}_s\mu= \sup\Biggl\{t\geq 0\mid\liminf_{r\searrow 0} r^{-t}F^\mu_s(x,r)= 0\text{ for }\mu\text{-a.a. }x\in\mathbb{R}^n\Biggr\} \] and \[ \text{Dim}_sE= \sup\{\text{Dim}_s\mu\mid \mu\in{\mathfrak M}^+_s(E)\} \] is the packing dimension profile of \(E\). The authors deal with questions which are concerned with \(\mu\) and its projections as \(s\) ranges over \([0,n]\). For example, if \(s=m\) is an integer then (a) for all \(V\in G_{n,m}\) (Grassmann manifold) \(\text{Dim }P_VE\leq \text{Dim}_mE\), where \(\text{Dim }P_VE\) is the usual packing dimension of the orthogonal projection of \(E\) onto the linear subspace \(V\), (b) for \(\gamma_{n,m}\)-almost all \(V\in G_{n,m}\) (\(\gamma_{n,m}\) the standard invariant measure on \(G_{n,m}\)) \(\text{Dim }P_VE\) is equal to \(\text{Dim}_mE\). This is a substitute for the projection theorem of Hausdorff measures. Moreover, if \(s\) is non-integer they also give some results for exceptional sets of projections. For a local variant of \(\text{Dim}_s\), \[ p_x(s)= \sup\Biggl\{t\geq 0\mid\liminf_{r\searrow 0} r^{-t}F^\mu_s(x,r)= 0\Biggr\}, \] they recover the inequality \[ p_x(s)\geq {p_x(t)\over 1+(1/s- 1/t)p_x(t)}, \] which was found by the authors in a former paper for all \(m\)-dimensional subspaces \(V\subset\mathbb{R}^n\), \[ {\text{Dim }E\over 1+(1/m- 1/n)\text{Dim }E}\leq \text{Dim }P_VE. \]