Averaging almost-periodic functions and finite-dimensional unitary representations on free groups. (English. Russian original) Zbl 0705.43001
Lith. Math. J. 28, No. 4, 332-335 (1988); translation from Lit. Mat. Sb. 28, No. 4, 662-668 (1988).
Let G be a countable group. We say that a sequence \((A_ n)\) of finite sets in G is a right averaging sequence for a function \(\phi\) iff there is a number \(M(\phi)\) (right-side mean value) such that \(\lim_{n}| A_ n|^{-1}\sum_{g\in A_ n}\phi(fg)= M(\phi)\) uniformly in \(f\in G\). Obviously “right” can be replaced by “left”. The sequence \((A_ n)\) is universally averaging for a linear translation invariant space of functions on G if it is right and left averaging for every function in that space. A typical case is that of almost periodic (a.p.) functions. It is not known if there exists a universal averaging sequence for a.p. functions in any countable group. Of course is does exist for amenable groups (owing to the Følner condition). In the free group \(F_ 2\) with two generators (a and b) Greenleaf has found universal averaging sequences for a.p. functions. He also has shown that some finite sets, which might be hoped to have this property do not have it (such is for example the sequence of sets \(E_ n=\{x_ 1...x_ n:\) \(x_ i=a\) or \(b\}\)).
The authors solve the problem in the affirmative for all free groups \(F_ k\) with finitely many generators \(g_ 1,...,g_ k\). More exactly, they prove the following theorem, which implies such solution: Let \((a_ n)\) and \((b_ n)\) be sequences of natural numbers with \(a_ n<b_ n\), \(b_ n-a_ n\to \infty\) and let \(s^{(n)}_{a_ n}\), \(s^{(n)}_{a_ n+1},...,s_{b_ n}^{(n)}\) and \(t_{a_ n}^{(n)},t^{(n)}_{a_ n+1},...,t_{b_ n}^{(n)}\) be integers such that \(t_ i^{(n)}\geq s_ i^{(n)}\). Finally we put \[ A_ n=\{g\in F_ k:\;g=\prod^{b_ n}_{i=a_ n}g_{\bar i}^{j_ i},\quad s_ i^{(n)}\leq j_ i\leq t_ i^{(n)}-1\} \] where \(\bar {\i}\) means the residue of i mod k. If \[ \lim_{n}(b_ n-a_ n)^{- 1}\min \{t_ i^{(n)}-s_ i^{(n)}:\;a_ n\leq i\leq b_ n\}=\infty \] then, for every finite-dimensional unitary representation U of \(F_ k\), there exists \(\lim_{n}| A_ n|^{-1} \sum_{g\in A_ n}U(g)=P\) where P is the orthogonal projection onto the space \(\{x: U(g)x=x\) for every \(g\in F_ k\}\).
The authors solve the problem in the affirmative for all free groups \(F_ k\) with finitely many generators \(g_ 1,...,g_ k\). More exactly, they prove the following theorem, which implies such solution: Let \((a_ n)\) and \((b_ n)\) be sequences of natural numbers with \(a_ n<b_ n\), \(b_ n-a_ n\to \infty\) and let \(s^{(n)}_{a_ n}\), \(s^{(n)}_{a_ n+1},...,s_{b_ n}^{(n)}\) and \(t_{a_ n}^{(n)},t^{(n)}_{a_ n+1},...,t_{b_ n}^{(n)}\) be integers such that \(t_ i^{(n)}\geq s_ i^{(n)}\). Finally we put \[ A_ n=\{g\in F_ k:\;g=\prod^{b_ n}_{i=a_ n}g_{\bar i}^{j_ i},\quad s_ i^{(n)}\leq j_ i\leq t_ i^{(n)}-1\} \] where \(\bar {\i}\) means the residue of i mod k. If \[ \lim_{n}(b_ n-a_ n)^{- 1}\min \{t_ i^{(n)}-s_ i^{(n)}:\;a_ n\leq i\leq b_ n\}=\infty \] then, for every finite-dimensional unitary representation U of \(F_ k\), there exists \(\lim_{n}| A_ n|^{-1} \sum_{g\in A_ n}U(g)=P\) where P is the orthogonal projection onto the space \(\{x: U(g)x=x\) for every \(g\in F_ k\}\).
Reviewer: S.Hartman
MSC:
43A07 | Means on groups, semigroups, etc.; amenable groups |
22D10 | Unitary representations of locally compact groups |
43A60 | Almost periodic functions on groups and semigroups and their generalizations (recurrent functions, distal functions, etc.); almost automorphic functions |
20E05 | Free nonabelian groups |
Keywords:
right averaging sequence; mean value; universally averaging; translation invariant space of functions; a.p. functions; amenable groups; free groups; finite-dimensional unitary representationReferences:
[1] | N. Dunford and J. T. Schwartz, Linear Operators. General Theory [Russian translation], IL, Moscow (1962). |
[2] | L. V. Kantorovich and G. P. Akilov, Functional Analysis [in Russian], Nauka, Moscow (1977). · Zbl 0127.06102 |
[3] | B. M. Levitan, Almost Periodic Functions [in Russian], Gostekhizdat, Moscow (1953). · Zbl 1222.42002 |
[4] | A. A. Tempel’man, ?Some questions of the ergodic theory of homogeneous random fields,? Candidate’s Disseration, Vilnius (1961). |
[5] | A. A. Tempel’man, ?Ergodic theorem for generalized random fields and random fields on groups which are homogeneous in the broad sense,? Liet. Mat. Rinkinys,11, No. 1, 195-213 (1962). |
[6] | A. A. Tempel’man, Ergodic Theorems on Groups [in Russian], Mokslass, Vilnius (1986). |
[7] | N. Dunford, ?An individual ergodic theorem for noncommutative transformations,? Acta Sci. Szeged.,14, 1-4 (1957). · Zbl 0044.12501 |
[8] | F. P. Greenleaf, ?Concrete methods for summing almost periodic functions and their relation to uniform distribution of semigroup actions,? Colloq. Math.,61, 105-116 (1979). · Zbl 0445.43008 |
[9] | U. Krengel, Ergodic Theorems, de Gruyter, Berlin-New York (1985). |
[10] | N. Wiener, ?On the factorization of matrices,? Commun. Math. Helv.,29, No. 2, 97-111 (1955). · Zbl 0064.06301 · doi:10.1007/BF02564273 |
[11] | A. Zygmund, ?An individual ergodic theorem for noncommutative transformations,? Acta Sci. Math. Szeged,14, 103-110 (1957). |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.