University of Southampton - Electronics and Computer Science

1995/6 Research Journal
Concurrent Computation Group

Geometric Mappings in Fractals

M. E. Montiel and E. J. Zaluska

Introduction

Fractals have been recognised as a powerful description of many natural objects for several years[1]. Their definition is generally based on concepts of dimension which reflect the fragmentation or irregularity feature of these structures[2]. In this work we investigate the definition of fractals by extending geometric descriptions to multiple resolutions. Based on this approach we propose a fractal definition as a composition of exponential functions embedded in a multidimensional domain. By considering transformations between different resolutions we provide a definition of fractals capable of modelling continuous deformations.

The aim of modelling these deformations is to extend fractal descriptions to animated forms. If objects are represented by sets then a geometric mapping can be characterised by a function f which assigns tex2html_wrap_inline234 for each tex2html_wrap_inline236 in such a way that the geometrical properties of the sets are left intact

  equation8

Each geometry is defined by a particular group of mappings which are called a group of motions[3]. Isometries, for example, are a group of motions which preserve distance between points and they characterise Euclidean geometry. Affine geometry is defined when transformations of scale are included. Other geometries such as inversive, differential and topology are defined by more complex mappings. Fractal geometry is characterised by a group of motions applied to different resolutions within the same object. That is, equation (1) is represented by

  equation13

where the subindex i and j represent two resolutions of an object X. According to this definition it is possible to apply the mappings of different geometries to create a fractal. In the literature the creation of fractals has been restricted to the use of the mappings of Euclidean and affine geometry[4]. In this work we propose to extend the mappings to include homeomorphism. These mappings characterise topology which can be defined as the geometry of continuous deformation.

Composition of fractals

The recursive mappings in fractals are characterised by a functional equation which describes a set of transformations applied to an original set. Particular characterisations of this function are the formulation of Iterative Function Systems (IFS)[5] where fractals are created by the recursive use of matrix transformations and grammars applied to descriptions of lines[6]. Dubuc[7] considers an analytic form of a functional equation which defines irregular curves and whose formulation corresponds to a parametric complex-valued function. Here, we extend this definition to a multidimensional parametric space. This extension allows curves with a self-similar property to be created. We consider the composition of a fractal F as a linear additive combination of functions which describe different resolutions

  equation23

According to equation (2) each function in this equation has a recursive definition. That is

  equation30

Therefore, an object is described by a composite map of the form tex2html_wrap_inline244 . The function f can be characterised by the motions of any geometry. If f is a homeomorphism (i.e. a continuous one-to-one mapping of the plane onto itself) then the resolutions of an object are related by general mappings.

In order to develop equation (3) by a homeomorphic mapping it is necessary to specify a level of detail tex2html_wrap_inline250 using a general function. There exist many potential ways of describing this function, we use a parameterised decomposition based on a series of sinusoids at different frequencies. That is,

  equation39

where the coefficients tex2html_wrap_inline252 and tex2html_wrap_inline254 correspond to two orthonormal vectors

  equation50

This equation defines a mapping from an i-dimensional space to the complex plane, and it can be proven that it corresponds to the generalisation of the mappings described in affine geometry to functions represented by different frequencies.

Examples

   figure60
Figure 1: Example of a fractal obtained by a change in phase

The combination of equations (3) and (5) defines a mathematical representation which allows several irregular curves to be created. We have created several fractals by defining the domain of the function as a discrete set of points. As an example, consider the structure defined by only one term in the summation of equation (5) with tex2html_wrap_inline258 , then

  equation70

   figure78
Figure 2: Sequence of a fractal animation

Figure 1 shows the result of evaluating this function with a domain tex2html_wrap_inline260 specified by [0,2 tex2html_wrap_inline262 /3,4 tex2html_wrap_inline264 /3] and a recursive definition of the values of tex2html_wrap_inline266 and tex2html_wrap_inline268 given by tex2html_wrap_inline270 and tex2html_wrap_inline272 . A dynamic fractal can be created by parameterising equation (5) in time. This parameterisation corresponds to a function tex2html_wrap_inline274 which describes the deformation of a complete structure in therms of transformations in each resolution. These transformations define a change in a resolution tex2html_wrap_inline276 until it occupies the space defined by another function tex2html_wrap_inline278 . That is

  equation94

These kind of functions can be formalized mathematically through the mappings defined in topology and they can be used to model continuous deformations of fractals.

Figure 2 shows a sequence of a fractal deformation produced by changing the definition of the phase in each resolution as a function in time. It can be seen from the figure that simple changes can produce a complex dynamic behaviour where one cannot discover the rules of articulation and where geometric patterns emerge forming a fragmented shape.

Conclusion

In this work we have considered the extension of the patterns defined in fractal geometry to dynamic descriptions. In the same way in which irregular curves have been applied to the study and modelling of complex forms such as plants, trees, molecular chains, clouds, shells, ice formation or ocean waves[1, 5, 8], the extension presented here permits the analysis and synthesis of models for the continuous distortion of complex forms. The extension is developed using a functional representation based on mappings which define levels of detail through geometric transformations. These transformations are parameterised in time to obtain dynamic structures.

References

1
B. B. Mandlebrot, The fractal geometry of nature, W. H. Freeman, San Francisco, USA, 1982.
2
C. S. Casey, N. F. Reingold, Self-similar fractal sets: theory and procedure, IEEE Computer Graphics and Applications, 14(3):73-78, 1994.
3
M. J. Greenberg, Euclidean and non-Euclidean geometries: development and history, W. H. Freeman, New York, USA, 1994.
4
B. B. Mandelbrot, Fractal geometry: what is it, and what does it do?, in Fractals in the Natural Sciences, A Discussion organized and edited by M. Fleishmann, F. J. Tildesly, R. C. Ball, Princeton University Press, 1990.
5
S. Demko, L. Hodges, B. Naykir, Construction of fractal objects with iterated function systems, Computer Graphics, Proc. SIGGRAPH'85, 19(3):271-278, 1985.
6
U. G. Gujar, V. C. Bhavsar, S. Y. M. Choi, P. K. Kalra, Traversed geometric fractals, IEEE Computer Graphics and Applications, 13(5):61-67 1993.
7
S. Dubuc, Models of irregular curves, in Fractals: a non-integral dimensions and applications, 10-24, John Wiley and Sons, Chichester, UK, 1991.
8
C. A. Csuri, Panel: The simulation of natural phenomena, Computer Graphics, Proc. SIGGRAPH'83, 17(3):137-139, 1983.

Click here to download a PostScript (.ps) copy of the paper.

Click here to download an Acrobat (.pdf) version of the paper.

Click here to request a copy of the Research Journal on CD-ROM.


For further information on any of the papers in this Research Journal or any work being carried out at the Department please contact: rjournal@ecs.soton.ac.uk.

Copyright (c) 1996 University of Southampton, June 1996.