A New Approach to Numerical Computation of Hausdorff Dimension of Iterated Function Systems: Applications to Complex Continued Fractions

In a previous paper (Falk and Nussbaum, in Eigenfunctions of Perron-Frobenius operators and a new approach to numerical computation of hausdorff dimension: applications in 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 To compute the Hausdorff dimension of an invariant set for an IFS associated to complex continued fractions, (which may arise from an infinite iterated function system), we approximate the eigenvalue problem by a collocation method 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 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.