Metric theory of Pierce expansions.

*(English)*Zbl 0598.10057Every real number \(0<x\leq 1\) has a unique representation of the form \(x=1/a_ 1-1/a_ 1a_ 2+1/a_ 1a_ 2a_ 3-...,\) where the integers \(a_ j\) are determined by the algorithm \(x=x_ 0\), \(a_ j=[1/x_{j- 1}]\) and \(x_ j=1-a_ jx_{j-1}\), with \([y]\) signifying the integer part of \(y\). This algorithm, and the related representation of \(x\), is known as Pierce’s expansion. The author investigates the metric properties of the sequence \(a_ j\), when the underlying measure is that of Lebesgue. Connection with Stirling numbers arises, and simple proofs are found for several neat identities, some of which are new. Several properties of the \(a_ j=a_ j(x)\) are remarkably similar to the coefficients in Engel’s series [see, e.g., the reviewer’s monograph “Representations of real numbers by infinite series” (Springer Lect. Notes Math. 502) (1976; Zbl 0322.10002)].

Reviewer: Janos Galambos (Philadelphia)