Abstract:The digits of Pierce expansion obey the law of large numbers, the central limit theorem, and the law of the iterated logarithm in the Lebesgue measure sense. We calculate the Hausdorff dimensions of the exceptional sets of each of the three laws. We further determine the Hausdorff dimensions of certain sets arising in Pierce expansions.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to calculate the Hausdorff dimension of the exceptional sets related to Pierce expansions. Specifically, the author explores the situations where the digits in Pierce expansions follow the law of large numbers (LLN), the central limit theorem (CLT) and the law of the iterated logarithm (LIL) in the sense of Lebesgue measure, and further determines the Hausdorff dimensions of the exceptional sets related to these laws.
### Specific description of the problem
1. **Law of large numbers (LLN)**:
- For almost all \(x\in(0, 1]\), the digits \(d_{n}(x)\) in Pierce expansions satisfy:
\[
\lim_{n\rightarrow\infty}(d_{n}(x))^{1 / n}=e
\]
- The author calculates the Hausdorff dimension of the set that does not satisfy the above relation.
2. **Central limit theorem (CLT)**:
- For any \(t\in\mathbb{R}\), we have:
\[
\lim_{n\rightarrow\infty}\lambda\left(\frac{\log d_{n}(x)-n}{\sqrt{n}}<t\right)=\Phi(t)
\]
where \(\lambda\) represents the Lebesgue measure on \((0, 1]\) and \(\Phi(t)\) is the standard normal distribution function.
- The author calculates the Hausdorff dimension of the set that does not satisfy the above relation.
3. **Law of the iterated logarithm (LIL)**:
- For almost all \(x\in(0, 1]\), we have:
\[
\limsup_{n\rightarrow\infty}\frac{\log d_{n}(x)-n}{\sqrt{2n\log\log n}} = 1\quad\text{and}\quad\liminf_{n\rightarrow\infty}\frac{\log d_{n}(x)-n}{\sqrt{2n\log\log n}}=- 1
\]
- The author calculates the Hausdorff dimension of the set that does not satisfy the above relation.
### Main results
By studying the growth rate of digits, the ratios between adjacent digits and the logarithmic ratios in Pierce expansions, the author calculates the Hausdorff dimensions of the exceptional sets related to these laws. Specific results include:
- **Law of large numbers**: For any \(\alpha\in[1,\infty]\), define the set:
\[
A(\alpha)=\left\{x\in(0, 1]:\lim_{n\rightarrow\infty}(d_{n}(x))^{1 / n}=\alpha\right\}
\]
Then its Hausdorff dimension is:
\[
\dim_{H}A(\alpha)=\begin{cases}
1, &\text{if }\alpha\in[1,\infty]\\
0, &\text{if }\alpha\in[-\infty, 1)
\end{cases}
\]
- **Central limit theorem and law of the iterated logarithm**: Similarly, the author also calculates the Hausdorff dimensions of the exceptional sets related to CLT and LIL.
Through these results, the author solves the corresponding versions in Pierce expansions of some problems about Engel expansions proposed by Galambos, especially making progress in calculating the Hausdorff dimensions of specific sets.