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

DOI10.1007/S00020-018-2485-ZMaRDI QIDQ1990900zbMATH OpenOpenAlexFDO

Authors Richard S. Falk, Roger D. Nussbaum

Publication date 26 October 2018

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

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

continued fractions Hausdorff dimension positive transfer operators

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)

Abstract: In a previous paper, dealing with "Applications in

m a t h b b 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

l a m b d 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

l a m b d 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.

Recommendations

Cites work

Cited in

(12)

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)