The Limit Sets of Linear and Nonlinear Infinite IFSs Related to Complex Continued Fractions

Abstract

We introduce two families of infinite iterated function systems (IFSs) $\mathcal{F}(\mathbf{d}, T)$ and $\mathcal{G}(\mathbf{d}, T)$, parametrized by a sequence of positive real numbers $\mathbf{d}$ and a natural number $T$, and investigate the measure-theoretic properties of their limit sets. $\mathcal{G}(\mathbf{d}, T)$ is an infinite Möbius IFS, which is an extension of the IFS of real continued fractions to the IFS on the closed unit disc in the complex plane. $\mathcal{F}(\mathbf{d}, T)$ is an infinite linear IFS that shares the same first approximation as $\mathcal{G}(\mathbf{d}, T)$. We show that for many choices of $\mathbf{d}$ and $T$, the limit sets of both $\mathcal{F}(\mathbf{d}, T)$ and $\mathcal{G}(\mathbf{d}, T)$ exhibit phenomena unique to infinite IFSs, such as having zero Hausdorff measure at the Hausdorff dimension, having infinite packing measure at the packing dimension, or having different Hausdorff and packing dimensions. We also prove that the Hausdorff dimension of the limit set of $\mathcal{F}(\mathbf{d}, T)$ is strictly larger than that of $\mathcal{G}(\mathbf{d}, T)$ under certain conditions on the parameters.

Figures (1)

• Figure 1: Examples of the limit sets. The left figure shows $J_{\mathcal{F}(\mathbf{d}, T)}$, and the right figure shows $J_{\mathcal{G}(\mathbf{d}, T)}$. The parameters are $d_{n} = 2n + 10^{-9}$ and $T=5$.

Theorems & Definitions (147)

• Theorem 1.1.1: MauldinUrbanski1999 Theorem 6.1
• Theorem 1.1.2: MauldinUrbanski1999 Theorem 6.2
• Theorem 1.1.3: MauldinUrbanski1999 Proposition 4.4, Lemma 5.2
• Definition 1.2.1: \ref{['def:f-and-g']}
• Definition 1.2.2: \ref{['def:d']}
• Definition 1.2.3: \ref{['def:f-and-g-ifs']}
• Definition 2.1.1: Iterated Function System
• Definition 2.1.2
• Definition 2.1.3: Limit set
• Proposition 2.1.4: Self-similarity of the limit set