In this paper we develop a new approach for studying overlapping iterated function systems. This approach is inspired by a famous result due to Khintchine from Diophantine approximation which shows that for a family of limsup sets, their Lebesgue measure is determined by the convergence or divergence of naturally occurring volume sums. For many parameterised families of overlapping iterated function systems, we prove that a typical member will exhibit similar Khintchine like behaviour. Families of iterated function systems that our results apply to include those arising from Bernoulli convolutions, the{0,1,3}\{0,1,3\}problem, and affine contractions with varying translation parameter. As a by-product of our analysis we obtain new proofs of some well known results due to Solomyak on the absolute continuity of Bernoulli convolutions, and when the attractor in the{0,1,3}\{0,1,3\}problem has positive Lebesgue measure.
For eacht∈[0,1]t\in [0,1]we letΦt\Phi _tbe the iterated function system given byΦt≔{ϕ1(x)=x2,ϕ2(x)=x+12,ϕ3(x)=x+t2,ϕ4(x)=x+1+t2}.\begin{equation*} \Phi _{t}≔\Big \{\phi _1(x)=\frac {x}{2},\phi _2(x)=\frac {x+1}{2},\phi _3(x)=\frac {x+t}{2},\phi _{4}(x)=\frac {x+1+t}{2}\Big \}. \end{equation*}We prove that eitherΦt\Phi _tcontains an exact overlap, or we observe Khintchine like behaviour. Our analysis shows that by studying the metric properties of limsup sets, we can distinguish between the overlapping behaviour of iterated function systems in a way that is not available to us by simply studying properties of self-similar measures.
Last of all, we introduce a property of an iterated function system that we call being consistently separated with respect to a measure. We prove that this property implies that the pushforward of the measure is absolutely continuous. We include several explicit examples of consistently separated iterated function systems.