On measures which are continuous by certain translations (Q791805)

Let G be a locally compact Abelian group and let \(\hat G\) be its dual. For \(x\in G\), \(\delta_ x\) denotes the point mass at x. M(G) and \(L^ 1(G)\) are the measure algebra and group algebra respectively. Let H be a closed subgroup of G. Let \(\mu\) be a measure in M(G). Then \(\mu \in L^ 1(G)\) can be characterized by \(\lim_{x\to 0} \| \mu -\mu *\delta_ x\| =0\). One of the results in this paper is to characterize the class of measures \(\mu\) in M(G) such that \(\lim_{y\to 0,\quad y\in H} \| \mu -\mu *\delta_ y\| =0.\) Theorem 1: For \(\mu\in M(G)\), the following are equivalent: (i) \(\lim_{y\to 0,y\in H}\| \mu -\mu *\delta_ y\| =0.\) (ii) \(\mu\) is absolutely continuous with respect to some measure of the form \(\rho\) *\(\nu\), where \(\rho \in L^ 1(H)\) and \(\nu\in M(G)\). (iii) \(\mu(E)=0\) for any Borel set E in G such that \(m_ H(\{t\in H:t+x\in E\})=0\) for all \(x\in G\), where \(m_ H\) is the Haar measure on H. For a positive integer p, a closed set E in \(\hat G\) is called a small p set if the following is satisfied: \(\mu^ p\in L^ 1(G)\) for each \(\mu \in M_ E(G)\), where \(M_ E(G)\) is the space of measures in M(G) whose Fourier-Stieltjes transforms vanish off E. The second result in this paper is the following theorem. Theorem 2: Let p be a positive integer and \(\tilde E\) a small p set in \(\hat G/H^{\perp}\) where \(H^{\perp}\) is the annihilator of H. Put \(E=\pi^{-1}(E)\) where \(\pi: \hat G\to \hat G/H^{\perp}\) is the natural homomorphism. Then, for each \(\mu \in M_ E(G)\), \[ \lim_{y\to 0,\quad y\in H}\| \mu^ p-\mu^ p*\delta_ y\| =0. \] As a corollary of the theorem, it follows that the product set of a small p set and a small q set is a small \(\max(p,q)\) set.