2024/12/21 by Ariel Rapaport, Rapaport, Ariel · 1 citation
Mathematics · #28A80 #37C45 #Dynamical Systems (math.DS) #FOS: Mathematics #Holomorphic and Operator Theory #Mathematical Dynamics and Fractals #Spectral Theory in Mathematical Physics
paper · pdf · doi:10.48550/arxiv.2412.16753
openalex publication_date 2024/12/21 · openalex created_date 2024/12/25 · openalex updated_date 2026/07/28
We extend Hochman's work on exponentially separated self-similar measures on ℝ to the real analytic setting. More precisely, let Φ=\ φi\ i∈Λ be an iterated function system on I:=[0,1] consisting of real analytic contractions, let p=(pi)i∈Λ be a positive probability vector, and let μ be the associated self-conformal measure. Suppose that the maps in Φ do not have a common fixed point, 0<|φi'(x)|<1 for i∈Λ and x∈ I, and Φ is exponentially separated. Under these assumptions, we prove that dimμ=min\ 1,H(p)/χ\ , where H(p) is the entropy of p and χ is the Lyapunov exponent. The main novelty of our work lies in an argument that reduces convolutions of μ with measures on the (infinite-dimensional) space of real analytic maps to convolutions with measures on vector spaces of polynomials of bounded degree. The reason for this reduction is that, for the latter convolutions, we can establish an entropy increase result, which plays a crucial role in the proof. We believe that our proof strategy has the potential to extend other significant recent results in the dimension theory of stationary fractal measures to the real analytic setting.