No label defined (Q3839802)

Let \(\mu\) and \(\nu\) be Radon measures on \(\mathbb R^n\) with compact supports. We study the Hausdorff, \(\dim_H\), and packing dimension, \(\dim_p\), properties of the intersection measures \(\mu\cap f_\sharp\nu\) when \(f\) runs through the similarities of \(\mathbb R^n\) and \(f_\sharp\nu\) is the image of \(\nu\) under \(f\). These measures can be regarded as natural measures on \(\text{spt } \mu\cap f(\text{spt } \nu)\), where spt is the support of a measure. Using the relations between Hausdorff dimensions of sets and measures, we show that if \(\dim_H(\mu\times\nu)=\dim_H\mu+\dim_H\nu>n\) and if the \(t\)-energy of \(\nu\) is finite for all \(0<t<\dim_H\nu<n\), then for \(\theta_n\times\mathcal L^1\) almost all \((g,r)\in\mathcal O_n\times(0,\infty)\) we have \[ \begin{multlined} \text{ess inf} \{\dim_H\mu\cap(\tau_z\circ g\circ\delta_r)_\sharp\nu: z\in\mathbb R^n\text{ with }\mu\cap(\tau_z\circ g\circ\delta_r)_\sharp\nu (\mathbb R^n)>0\}\\ =\dim_H\mu+\dim_H\nu-n. \end{multlined} \] Here \(\theta_n\) is the unique orthogonally invariant Radon probability measure on the orthogonal group of \(\mathbb R^n\), denoted by \(\mathcal O_n\), \(\mathcal L^1\) is the Lebesgue measure on the open interval \((0,\infty)\), and \(\tau_z\circ g\circ\delta_r:\mathbb R^n\to\mathbb R^n\) is the similarity \(\tau_z\circ g\circ\delta_r(a)=rga+z\). By relating packing dimensions of intersection measures to certain integral kernels, we prove that if the \(s\)-energy of \(\mu\) is finite and the \(t\)-energy of \(\nu\) is finite for some \(0<s<n\) and \(0<t<n\) with \(s+t>n\), then for \(\theta_n\times\mathcal L^1\) almost all \((g,r)\in\mathcal O_n\times(0,\infty)\) we have \[ \text{ess inf} \{\dim_p\mu\cap(\tau_z\circ g\circ\delta_r)_\sharp\nu: z\in\mathbb R^n\text{ with }\mu\cap(\tau_z\circ g\circ\delta_r)_\sharp\nu (\mathbb R^n)>0\}=d_{\mu,\nu}, \] where \(d_{\mu,\nu}\) is a constant depending only on the measures \(\mu\) and \(\nu\). We also deduce corresponding equalities for the upper Hausdorff and upper packing dimensions.