The Eigenvalue Problem for Linear and Affine Iterated Function Systems

The eigenvalue problem for a linear function L centers on solving the eigen-equation Lx = rx. This paper generalizes the eigenvalue problem from a single linear function to an iterated function system F consisting of possibly an infinite number of linear or affine functions. The eigen-equation becomes F(X) = rX, where r>0 is real, X is a compact set, and F(X)is the union of f(X), for f in F. The main result is that an irreducible, linear iterated function system F has a unique eigenvalue r equal to the joint spectral radius of the functions in F and a corresponding eigenset S that is centrally symmetric, star-shaped, and full dimensional. Results of Barabanov and of Dranishnikov-Konyagin-Protasov on the joint spectral radius follow as corollaries.Comment: 18 pages, 3 figure

Fast Basins and Branched Fractal Manifolds of Attractors of Iterated Function Systems

The fast basin of an attractor of an iterated function system (IFS) is the set of points in the domain of the IFS whose orbits under the associated semigroup intersect the attractor. Fast basins can have non-integer dimension and comprise a class of deterministic fractal sets. The relationship between the basin and the fast basin of a point-fibred attractor is analyzed. To better understand the topology and geometry of fast basins, and because of analogies with analytic continuation, branched fractal manifolds are introduced. A branched fractal manifold is a metric space constructed from the extended code space of a point-fibred attractor, by identifying some addresses. Typically, a branched fractal manifold is a union of a nondenumerable collection of nonhomeomorphic objects, isometric copies of generalized fractal blowups of the attractor