A new approach to numerical computation of Hausdorff dimension of iterated function systems: applications to complex continued fractions

DOI10.1007/S00020-018-2485-ZzbMATH Open1441.11187arXiv1612.00869OpenAlexW2963103970MaRDI QIDQ1990900FDOQ1990900

Authors: Richard S. Falk, Roger D. Nussbaum 

Publication date: 26 October 2018

Published in: Integral Equations and Operator Theory (Search for Journal in Brave)

Abstract: In a previous paper, dealing with "Applications in $mathbb{R}^1$," the authors developed a new approach to the computation of the Hausdorff dimension of the invariant set of an iterated function system or IFS and studied some applications in one dimension. The key idea, which has been known in varying degrees of generality for many years, is to associate to the IFS a parametrized family of positive, linear, Perron-Frobenius operators $L_s$. In our context, $L_s$ is studied in a space of $C^m$ functions and is not compact. Nevertheless, it is has a strictly positive $C^m$ eigenfunction $v_s$ with positive eigenvalue $lambd{a}_s$ equal to the spectral radius of $L_s$. Under appropriate assumptions on the IFS, the Hausdorff dimension of the invariant set of the IFS is the value $s=s_{*}$ for which $lambd{a}_s=1$. To compute the Hausdorff dimension of an IFS associated to complex continued fractions, (which may arise from an infinite iterated function system), we again approximate the eigenvalue problem by a collocation method, but now using continuous piecewise bilinear functions. Using the theory of positive linear operators and explicit a priori bounds on the partial derivatives of the strictly positive eigenfunction $v_s$, we are able to give rigorous upper and lower bounds for the Hausdorff dimension $s_{*}$, and these bounds converge to $s_{*}$ as the mesh size approaches zero. We also demonstrate by numerical computations that improved estimates can be obtained by the use of higher order piecewise tensor product polynomial approximations, although the present theory does not guarantee that these are strict upper and lower bounds. An important feature of our approach is that it also applies to the much more general problem of computing approximations to the spectral radius of positive transfer operators, which arise in many other applications.

Full work available at URL: https://arxiv.org/abs/1612.00869

Recommendations

• \(C^m\) eigenfunctions of Perron-Frobenius operators and a new approach to numerical computation of Hausdorff dimension: applications in \(\mathbb R^1\)
• Hidden positivity and a new approach to numerical computation of Hausdorff dimension: higher order methods
• \(C^m\) positive eigenvectors for linear operators arising in the computation of Hausdorff dimension
• Positive operators and Hausdorff dimension of invariant sets
• Dimensions and Measures in Infinite Iterated Function Systems

zbMATH Keywords

continued fractionsHausdorff dimensionpositive transfer operators

Mathematics Subject Classification ID

Numerical interpolation (65D05) Metric theory of other algorithms and expansions; measure and Hausdorff dimension (11K55) Functional analytic techniques in dynamical systems; zeta functions, (Ruelle-Frobenius) transfer operators, etc. (37C30)

Cites Work

• Hausdorff dimension of quasi-circles
• Techniques in fractal geometry
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Continuity of the cone spectral radius
• Linear Operators in Complete Positive Cones
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Generalizing the Kreĭn-Rutman theorem, measures of noncompactness and the fixed point index
• Title not available (Why is that?)
• Continued fraction Cantor sets, Hausdorff dimension, and functional analysis
• Computing the dimension of dynamically defined sets: \(E_2\) and bounded continued fractions
• \(C^m\) positive eigenvectors for linear operators arising in the computation of Hausdorff dimension
• Positive operators and Hausdorff dimension of invariant sets
• Hausdorff dimensions of Cantor sets.
• Self-similar sets in complete metric spaces
• Dimensions and Measures in Infinite Iterated Function Systems
• ON THE DENSITY OF HAUSDORFF DIMENSIONS OF BOUNDED TYPE CONTINUED FRACTION SETS: THE TEXAN CONJECTURE
• Periodic points of positive linear operators and Perron-Frobenius operators
• Convexity and log convexity for the spectral radius
• Calculating Hausdorff dimension of Julia sets and Kleinian limit sets
• Title not available (Why is that?)
• The Hausdorff dimensions of some continued fraction Cantor sets
• Convex spectral functions
• On the dimensions of conformal repellers. Randomness and parameter dependency
• On Zaremba's conjecture
• Superconvexity of the spectral radius, and convexity of the spectral bound and the type
• Hausdorff dimension estimates for infinite conformal IFSs
• A CONVEXITY PROPERTY OF POSITIVE MATRICES
• Shorter Notes: Convexity of the Dominant Eigenvalue of an Essentially Nonnegative Matrix
• Eigenvalues for a class of homogeneous cone maps arising from max-plus operators
• Hausdorff dimension and conformal dynamics, III: Computation of dimension
• On the Hausdorff dimension of a set of complex continued fractions
• A polynomial time algorithm for the Hausdorff dimension of continued fraction Cantor sets
• Some inequalities for the spectral radius of non-negative matrices and applications
• Dimension sets for infinite IFSs: the Texan conjecture
• Continuants with bounded digits
• Continuants with bounded digits—II
• Rigorous effective bounds on the Hausdorff dimension of continued fraction Cantor sets: A hundred decimal digits for the dimension of \(E_{2}\)

Cited In (12)

• On the dimension spectrum of infinite subsystems of continued fractions
• Hausdorff dimension estimates for infinite conformal IFSs
• Hausdorff dimensions of perturbations of a conformal iterated function system via thermodynamic formalism
• Porosity in conformal dynamical systems
• Intermediate dimensions of infinitely generated attractors
• \(C^m\) positive eigenvectors for linear operators arising in the computation of Hausdorff dimension
• Title not available (Why is that?)
• \(C^m\) eigenfunctions of Perron-Frobenius operators and a new approach to numerical computation of Hausdorff dimension: applications in \(\mathbb R^1\)
• Hidden positivity and a new approach to numerical computation of Hausdorff dimension: higher order methods
• Assouad type dimensions of infinitely generated self-conformal sets
• Positive operators and Hausdorff dimension of invariant sets
• The dimension spectrum of conformal graph directed Markov systems

This page was built for publication: A new approach to numerical computation of Hausdorff dimension of iterated function systems: applications to complex continued fractions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1990900)