G-measure

From HandWiki
Short description: Mathematical measure

In mathematics, a G-measure is a measure μ that can be represented as the weak-∗ limit of a sequence of measurable functions G=(Gn)n=1∞. A classic example is the Riesz product

Gn(t)=∏k=1n(1+rcos⁡(2πmkt))

where −1<r<1,m∈ℕ. The weak-∗ limit of this product is a measure on the circle 𝕋, in the sense that for f∈C(𝕋):

∫fdμ=limn→∞∫f(t)∏k=1n(1+rcos⁡(2πmkt))dt=limn→∞∫f(t)Gn(t)dt

where dt represents Haar measure.

History

It was Keane[1] who first showed that Riesz products can be regarded as strong mixing invariant measure under the shift operator S(x)=mxmod1. These were later generalized by Brown and Dooley [2] to Riesz products of the form

∏k=1∞(1+rkcos⁡(2πm1m2⋯mkt))

where −1<rk<1,mk∈ℕ,mk≥3.

References

  1. ↑ Keane, M. (1972). "Strongly mixing g-measures". Invent. Math. 16 (4): 309–324. doi:10.1007/bf01425715. http://www.numdam.org/item/PSMIR_1970-1971___1_132_0/. 
  2. ↑ Brown, G.; Dooley, A. H. (1991). "Odometer actions on G-measures.". Ergodic Theory and Dynamical Systems 11 (2): 279–307. doi:10.1017/s0143385700006155.