No label defined (Q4523952)

This is a rich paper containing significant results on nondissipative probability measures on a locally compact group \(G\). For any such meausure \(\mu\) on \(G\) the \(n\)th concentration function \(f_n\) of \(\mu\) is defined for any compact subset \(K\) of \(G\) by \(f_n(K):= \sup\{\mu^n(Kg): g\in G\}\). \(\mu\) is said to be nondissipative if for some compact \(K\subset G\) the sequence \((f_n(K))_{n\geq 1}\) fails to converge to \(0\). For \(G= \mathbb{R}^d\) the only nondissipative probability measures are the point measures. In the sequel we shall describe the author's complete characterization of nondissipative probability measures on an arbitrary locally compact group \(G\). Let \(H_\mu\) be the closed subgroup of \(G\) generated by \(\text{supp}(\mu)\) and \(N_\mu\) be the smallest closed normal subgroup of \(H_\mu\), \(\mu\) is called adapted if \(H_\mu= G\). Adapted nondissipative probability measures can exist only on very special locally compact groups. In fact, such measures exist iff \(G\cong N\times_\tau\mathbb{Z}\), where the automorphism \(\tau\) contracts \(N\) modulo a compact subgroup of \(G\). Next, we need the notion of finite first-order moment for a probability measure \(\mu\) on \(G\). This property is available if \(\int\varphi d\mu< \infty\) for every subadditive Borel function \(\varphi\) on \(G\). Here is the main result of the paper (Theorem 4.5): Let \(N\) be a locally compact group with an automorphism \(\tau\) contractive modulo a compact subgroup \(K\) of \(G\) and \(\mu\) an adapted probability measure on \(N\times \mathbb{Z}\). If \(N\) is compact, then \(\mu\) is nondissipating iff \(\mu(N\times \{1\})= 1\) or \(\mu(N\times \{-1\})= 1\). If \(N\) is not compact, then \(\mu\) is nondissipating iff \(\mu(N\times \{1\})= 1\) and \(\mu\) has a finite first moment. For nondissipating probability measures the results of Csiszár allow generalizations and refinements beyond the separable case. For the entire collection see [Zbl 0945.00022].