## Abstract

This chapter provides a brief and coarse discussion on the theory of fractal interpolation functions and their recent developments including some of the research made by the authors. It focuses on fractal interpolation as well as on recurrent fractal interpolation in one and two dimensions. The resulting self‐affine or self‐similar graphs, which usually have non‐integral dimension, were generated through a family of (discrete) dynamic systems, the iterated function system, by using affine transformations. Specifically, the fractal interpolation surfaces presented here were constructed over triangular as well as over polygonal lattices with triangular subdomains. A further purpose of this chapter is the exploration of the existent breakthroughs and their application to a flexible and integrated software that constructs and visualises the above‐mentioned models. We intent to supply both a panoramic view of interpolating functions and a useful source of links to assist a novice as well as an expert in fractals. The ideas or findings contained in this paper are not claimed to be exhaustive, but are intended to be read before, or in parallel with, technical papers available in the literature on this subject.

### Keywords

- approximation
- attractor
- fractal
- interpolating function
- iterated function system
- recurrent
- self‐affinity
- self‐similarity
- surface construction

## 1. Introduction

In the mathematical field of numerical analysis, * interpolation*is a method of constructing new data points within the range of a discrete set of known data points. Interpolation by fractal (graph of) functions, as defined in Refs. [1, 2], is based on the theory of

*and can be seen as an alternative to traditional interpolation techniques, aiming mainly at data which present detail at different scales, some degree of self‐similarity or self‐affinity. A*iterated function systems

*can be seen as a continuous function whose graph is the attractor of an appropriately chosen iterated function system. This attractor is called a*fractal interpolation function

*, since the graph of a continuous function of two variables defined over a connected open subset of*fractal interpolation surface

^{2}is a

*, if the so formed graph belongs to the three‐dimensional space and has*topological surface

*between 2 and 3. It is called a*Hausdorff‐Besicovitch dimension

*whenever the graph has dimension greater than three. The key difficulty in constructing fractal interpolation surfaces (or volumes) involves ensuring continuity. Another important element necessary in modelling complicated surfaces of this type is the existence of the*fractal interpolation volume

*, or*contractivity

*,*vertical scaling

*.*factors

### 1.1. Historical background

Massopust introduced in Ref. [3] fractal surfaces constructed as attractors of iterated function systems. He considered the case of a triangular domain with coplanar boundary data. Later on, Geronimo and Hardin in Ref. [4] presented a slightly more general construction of such fractal surfaces. They examined the case when the domain is a polygonal region with arbitrary interpolation points but with identical contractivity factors. In Ref. [5], ^{m}‐valued multivariate fractal functions were investigated. The latter two constructions use the * recurrent*iterated‐function‐system formalism. The construction of Wittenbrink [6] either produces discontinuous surfaces (and volumes) or reduces to the case, where the contractivity factors must be constant. Zhao [7] allows the contractivity factors to become a continuous ‘contraction function’ and uses consistent triangulation in order to guarantee continuity. All of the previous constructions are based on triangular subdomains. As it is always possible to construct fractal surfaces as tensor products of univariate continuous fractal functions, Massopust in Ref. [8], Section 9.4 suggests a construction by taking the tensor product of two univariate fractal interpolation functions. The derived function is uniquely determined by its evaluation along a pair of adjacent sides of the rectangular domain.

Two piecewise self‐affine models for representing discrete image data on rectangular lattices by using fractal surfaces are proposed in Ref. [9]. In Ref. [10], the piecewise self‐affine IFS model is extended from ^{3} to ^{n}(* n*is an integer greater than 3), which is called the

*. The same methodology is repeated in Ref. [11]. According to Ref. [12], the self‐affine iterated function system model is extended from*multi‐dimensional piecewise self‐affine fractal interpolation model

^{3}to

^{n}(

*is an integer greater than 3), which is called the*n

*. Vijender and Chand in Ref. [13] proposed a class of affine fractal interpolation surfaces that stitch a given set of surface data arranged on a rectangular grid. The created fractal interpolation surfaces are a blend of the affine fractal interpolation functions constructed along the grid lines of a given interpolation domain.*multi‐dimensional self‐affine fractal interpolation model

The study of fractals is a field in science that unifies mathematics, theoretical physics, art and computer science. Therefore, it is not difficult to find applications of fractal interpolation functions in almost every scientific field wherein information available in finite number of grid points has to be modelled with a continuous function. Applications of this theory include geometric design, data visualisation, reverse engineering, physics, geology, image encoding and compression (see Ref. [14]), signal processing and wavelet theory. Fractal interpolation also provides a good representation of economic time series such as the stock market fluctuation and weather data. The reason for this variety of applications lies in the underlying complicated mathematical structure of fractal (graph of) functions, produced with simple recursive construction. It has been noted that, for certain problems, they provide better approximants than their classical non‐recursive counterparts.

### 1.2. Clarifications and interpretations

Although, in most of the cases, the words * function*,

*and*map

*can be used as nouns interchangeably in several parts of mathematics, they generally do not have the same meaning. Originally, the word ‘map’ comes from the medieval Latin*mapping

*, wherein*Mappa mundi

*meant napkin or cloth and*mappa

*the world. ‘Mapping’ as a noun is the process of making maps. In mathematics, we think of a*mundi

*as a way of sending elements from one set to elements of another set. A*map

*shows how the elements are paired. A*mapping

*is a way or rule of associating elements from one set, the*function

*, to elements of another set, the*domain

*. So, a domain is where a function maps from, and a*codomain

*, as a subset of the codomain, is where it maps to. The definition of a*range

*requires that each element in the domain corresponds to one and only one element of the codomain. Moreover, a function is commonly used as a special type of mapping, namely it is used as a mapping from a set into the set of numbers, that is, into*function

*.*transformation

An * affine map*(from the Latin,

*, “connected with”) between two (vector) spaces consists of a*affinis

*followed by a translation. Similarly, one can define an*linear map

*. In a geometric setting, these are precisely the functions that map straight lines to straight lines. Be aware that the term*affine transformation

*refers to two distinct but related notions. It may be a linear map or a polynomial of degree one or less, including the zero polynomial, because its graph, when there is only one independent variable, is a non‐vertical straight line.*linear function

Another common error involves the incorrect use of the notions ‘self‐affine function’ and ‘self‐similar function’. There is no ‘self‐affine’ or ‘self‐similar’ function but a function with a self‐affine or self‐similar graph. Therefore, an object or a set, but not a function, can be self‐affine or self‐similar. Each part of a * self‐affine*object is an image of the whole object (either strictly or in a statistical sense) scaled differently in different directions. Self‐affine sets form an important class of sets, which include self‐similar sets as a particular case. A

*object is exactly or approximately similar to a part of itself (i.e. the whole has the same shape as one or more of the parts).*self‐similar

The aim of our paper is to review the usage of fractal interpolation functions in order to construct self‐affine graphs generated by iterated function systems. Furthermore, we compare and contrast several constructions presented in Refs. [3–8] by pointing out some of their ambiguities, limitations and restrictions. Particularly, in Section 2, we briefly review the theory of iterated function systems. In Section 3, we revisit the 1D fractal interpolation theory and state the prerequisites of the constructions. Necessary conditions for the attractor of an iterated function system to be the graph of a continuous function interpolating a given set of data are also given. In Section 4, we revisit the two‐dimensional fractal interpolation theory. A comparison to existing methods and some examples of fractal interpolation surfaces constructed by them are also presented. The corresponding algorithms for constructing these surfaces are developed and illustrated through several graphic examples. Finally, Section 5 summarises our conclusions and points out areas of future work.

## 2. Fractal image generation

In mathematics, an * iterated map*is a map composed with itself, possibly

*, in a process called iteration.*ad infinitum

*means the act of repeating a process with the aim of approaching a desired goal, target or result. More formally, let*Iteration

*be a set and*X

*:*f

*→*X

*be a map. Define*X

*as the*f

^{k}

*‐th iterate of*k

*, where*f

*is a non‐negative integer, by*k

f

^{0}= id

_{X}and

f

^{k}

^{+1}=

*◦*f

*, where id*f

^{k}

_{X}is the identity map on

*and*X

*◦*f

*denotes map composition.*g

A * contraction mapping*, or

*, on a metric space (*contraction

*,*X

*) is a function*ρ

*from*f

*to itself, that is, a*Χ

*, with the property that there is a non‐negative real number*transformation

*< 1 such that for all*s

*and*x

*in*y

*,*X

*(*ρ

*(*f

*),*x

*(*f

*)) ≤*y

*⋅*s

*(*ρ

*,*x

*), where*y

*is a*ρ

*between elements of*distance function

*. The smallest such value of*X

*is called the*s

*or*Lipschitz constant

*of*contractivity factor

*. If the above condition is satisfied for*f

*≤ 1, then the mapping is said to be*s

*. A contraction mapping has at most one*non‐expansive

*, that is, a point*fixed point

** in*x

*such that*X

*(*f

**) =*x

**. Moreover, the*x

*, also known as the*Banach fixed point theorem

*or*contraction mapping theorem

*, states that every contraction mapping on a non‐empty, complete metric space has a unique fixed point, and that for any*contraction mapping principle

*in*x

*the iterated function sequence*X

*,*x

*(*f

*),*x

*(*f

*(*f

*)),*x

*(*f

*(*f

*(*f

*))), … converges to this fixed point. Furthermore, this fixed point can be found as follows: Start with an arbitrary element*x

x

_{0}in

*and define an iterative sequence by*X

*=*x

_{n}

*(*f

x

_{n}

_{−1}) for

*= 1, 2, 3, …. This sequence converges and its limit is*n

**.*x

### 2.1. Iterated function systems

An * iterated function system*, or

*for short, is defined as a collection of a complete metric space (*IFS

*,*X

*), for example, (*ρ

^{n}, ‖⋅‖) or a subset, together with a finite set of continuous transformations {

w

_{i}:

*→*X

*,*X

*= 1, 2, …,*i

*}. It is often convenient to write an IFS formally as {*M

*;*X

w

_{1},

w

_{2}, …,

*} or, somewhat more briefly, as {*w

_{M}

*;*X

w

_{1−M}}. If

*are contractions with respective contractivity factors*w

_{i}

*,*s

_{i}

*= 1, 2, …,*i

*, the IFS is termed*M

*.*hyperbolic

Hutchinson in Ref. [15] showed that, for the metric space ^{n}, such a (hyperbolic) system of functions has a unique * compact*(closed and bounded)

*. One way for constructing a fixed set is to start with an initial point or set*fixed set S

S

_{0}and iterate the actions of the

*, taking*w

_{i}

S

_{n}

_{+1}to be the union of the image of

*under the*S

_{n}

*; then taking*w

_{i}

*to be the closure of the union of the*S

*. Symbolically, the unique fixed (non‐empty compact) set*S

_{n}

*⊂*S

The set * S*is thus the fixed set of the

Hutchinson operator

where * A*is any subset of

^{n}. The operator

*itself is a contraction with contractivity factor*H

*= max{*s

s

_{1},

s

_{2}, …,

*} (Ref. [2], Theorem 7.1, p. 81 or Ref. [16]). The existence and uniqueness of*s

_{M}

*, which is called the*S

*, or*attractor

*, of the IFS, are a consequence of the contraction mapping principle as is the fact that*invariant set

*in*A

^{n}), where

*) is the metric space of all non‐empty, compact subsets of*X

*with respect to some metric, for example, the*X

*. The operator*Hausdorff metric

*is also called the*H

*to alert us to the fact that*collage map

*(*H

*) is formed as a union or ‘collage’ of sets. If*A

*is a Euclidean space and the*X

*are*w

_{i}

*, that is,*similitudes

*, then the attractor is called a*similarity transformations

*. These sets are usually fractals.*self‐similar set

A fractal derived by an IFS is made up of the union of several copies of itself, each copy being transformed by a function (hence ‘function system’). A canonical example is the Sierpiński gasket; see Figure 1. The functions are normally contractions which means they bring points closer together and make shapes smaller. Hence, such a shape is made up of several possibly overlapping smaller copies of itself, each of which is also made up of copies of itself, ad infinitum. This is the source of its self‐similar nature. Note that this infinite process is not dependent upon the starting shape being a triangle—it is just clearer that way. The first few steps starting, for example, from a square also tend towards a Sierpiński gasket; see Figure 2.

Sometimes each function * w*is required to be a linear, or more generally an affine transformation, and hence represented by a matrix. Formally, a transformation

_{i}

*is*w

*, if it may be represented by a matrix*affine

**and translation**A

**as**t

*(*w

**) =**x

**+**Ax

**, or, if**t

*=*X

^{2},

The * code*of

*is the 6‐tuple (*w

*,*a

*,*b

*,*c

*,*s

*,*d

*) and the*e

*is a table whose rows are the codes of*code of an IFS

w

_{1},

w

_{2}, …,

*. For the three‐dimensional case, this becomes*w

_{M}

However, IFS’s may also be built from non‐linear functions, including * projections*and

*.*Möbius transformations

### 2.2. Recurrent iterated function systems

An * IFS with probabilities*, written formally as {

*;*X

w

_{1},

w

_{2}, …,

*;*w

_{M}

p

_{1},

p

_{2}, …,

*} or, somewhat more briefly, as {*p

_{M}

*;*X

w

_{1−M};

p

_{1−M}}, gives to each transformation in

*a probability or weight. If the weights of transformations differ, so do the measures on different parts of the attractor. A non‐self‐similar attractor, however, is more easily represented with a*H

*, or*recurrent iterated function system

*for short. Each transformation has, instead of a single weight for the next iteration, a vector of weights for each transformation, {*RIFS

*;*X

w

_{1−M};

p

_{i}

_{,j}∈ [0, 1];

*,*i

*= 1, 2, …,*j

*}, so that the matrix of weights is a recurrent Markov operator for the Hutchinson operator’s transformation (see Ref. [17]). Therefore, the attractor of a RIFS need not exhibits the self‐similarity or self‐tiling properties characteristic of the attractor of an IFS, such as Eq. (1).*M

The most common algorithm to compute fractals derived by IFS is called the * chaos game*or

*. It consists of picking a random point in the plane, then iteratively applying one of the functions chosen at random from the function system and drawing the point. An alternative algorithm, the*random iteration algorithm

*, or*deterministic iteration algorithm

*for short, is to generate each possible sequence of functions up to a given maximum length and then to plot the results of applying each of these sequences of functions to an initial point or shape.*DIA

## 3. Fractal interpolation functions in R

FIFs are suitable for data sets with points linearly ordered with respect to their abscissa. This is often sufficient, for example, when interpolating time series data. In practice, however, there are many cases where the data are suitable for fractal interpolation but define a curve rather than a function, for example, when modelling coastlines or plants. There exist methods for constructing * fractal interpolation curves*based on the theory of FIFs. These methods use various approaches, such as generalisations to higher dimensions, use of index coordinates or application of reversible transformations.

Based on a theorem of Hutchinson ([15], p. 731) and using IFS theory [16], Barnsley introduced a class of functions (see Ref. [1]) which he called * fractal interpolation functions*. He basically worked with affine fractal interpolation functions, in the sense that they are obtained using affine transformations. Their main difference from elementary functions is their fractal character. Since their graphs usually have non‐integral dimension, they can be used to approximate image components such as the profiles of mountain ranges, the tops of clouds and horizons over forests, to name but a few. For a short survey on fractal interpolation functions see Ref. [19].

Let the continuous function * f*be defined on a real closed interval

*= [*I

x

_{0},

*] and with codomain the metric space (*x

_{M}

x

_{0}<

x

_{1}< … <

*. It is not assumed that these points are equidistant. The function*x

_{M}

*is called an*f

*corresponding to the*interpolation function

*{(*generalised set of data

*,*x

_{m}

*) ∈*y

_{m}

*:*K

*= 0, 1, …,*m

*}, if*M

*(*f

*) =*x

_{m}

*for all*y

_{m}

*= 0, 1, …,*m

*and*M

*=*K

*×*I

*,*x

_{m}

*) ∈*y

_{m}

^{2}are called the

*. We say that the function*interpolation points

*the data and that (the graph of)*f interpolates

*passes through the interpolation points. The*f

*of*graph

*is the set of points*f

*(*G

*) = {(*f

*,*x

*(*f

*) :*x

*∈*x

*}.*X

### 3.1. Affine fractal interpolation

Let us represent our, real valued, set of * data points*as {(

*,*u

_{n}

*) :*v

_{n}

*= 0, 1, …,*n

*;*N

*<*u

_{n}

u

_{n}

_{+1}} and the interpolation points as {(

*,*x

_{m}

*) :*y

_{m}

*= 0, 1, …,*m

*;*M

*≤*M

*}, where*N

*is the sampled index and*u

_{n}

*the value of the given point in*v

_{n}

*. Let {*u

_{n}

^{2};

w

_{1−M}} be an IFS with affine transformations of the special form (see Eq. (2))

constrained to satisfy

for every * i*= 1, 2, …,

*. Solving the above equations results in*M

i.e., the coefficients * a*,

_{i}

*,*c

_{i}

*,*d

_{i}

*are completely determined by the interpolation points, while the*e

_{i}

*are free parameters satisfying |*s

_{i}

*| < 1 in order to guarantee that the IFS is hyperbolic with respect to an appropriate metric for every*s

_{i}

*= 1, 2, …,*i

*. The transformations*M

*are*w

_{i}

*: line segments parallel to the*shear transformations

*‐axis are mapped to line segments parallel to the*y

*‐axis contracted by the factor |*y

*|. For this reason, the*s

_{i}

*are called*s

_{i}

*(or*vertical scaling

*)*contractivity

*.*factors

The IFS {^{2}; _{1−M}} has a unique attractor that is the graph of some continuous function which interpolates the data points. This function is called a * fractal interpolation function*, or FIF for short, because its graph usually has non‐integral dimension. A

*is defined as the function values between interpolation points. It is a function with a self‐affine graph since each affine transformation*section

*maps the entire (graph of the) function to its section. The above function is known as*w

_{i}

*, or*affine FIF

*for short. For example, let {(0, 0), (0.4, 0.5), (0.7, 0.2), (1, 0)} be a given set of data points. Figure 3 shows the graph of an AFIF with*AFIF

s

_{1}= 0.5,

s

_{2}= −0.2 and

s

_{3}= 0.4. The closeness of fit of a FIF is mainly influenced by the determination of its vertical scaling factors. No direct way to find the optimum values of these factors exists, and various approaches have been proposed in the literature.

### 3.2. Piecewise affine fractal interpolation

The * piecewise self‐affine*fractal model is a generalisation of the affine fractal interpolation model and has its mathematical roots embedded in RIFS theory. A pair of data points

*or*addresses

*, is now associated with each*address points

*. Each pair of addresses defines the*interpolation interval

*or*domain

*. The constraints Eq. (4) become*address interval

subjected to * i*= 1, 2, …,

*. Solving the above equations results in*M

for every * i*= 1, 2, …,

*. The function constructed as the attractor of the above‐mentioned IFS is called*M

*, or*recurrent fractal interpolation function

*shortly, corresponding to the interpolation points. A RFIF is a piecewise self‐affine function since each affine transformation*RFIF

*maps the part of the (graph of the) function defined by the corresponding address interval to each section.*w

_{i}

## 4. Fractal interpolation functions in R ^{2}

Let the discrete data {(* x*,

_{i}

*,*y

_{j}

z

_{i}

_{,j}=

*(*z

*,*x

_{i}

*)) ∈*y

_{j}

^{3}:

*= 0, 1, …,*i

*;*N

*= 0, 1, …,*j

*} be known. Each affine mapping that comprises the hyperbolic IFS {*M

^{3};

w

_{1−N, 1−M}} is given by the following special form of Eq. (3)

with |_{n}_{,m}| < 1 for every * n* = 1, 2, …,

*and*N

*= 1, 2,…,*m

*. The condition*M

ensures that

is a similitude and the transformed surface does not vanish or flip over.

A formal definition for the fractal interpolation surfaces, as presented in Ref. [4], with some generalisations is given below. Let * D*be a convex polygon in

^{2}with

*vertices and let*ℓ

*= {*S

q

_{0},

q

_{1, …,}

q

_{m}

_{−1}} be

*, with*m

*>*m

*, distinct points in*ℓ

*such that*D

q

_{0},

q

_{1,…,}

q

_{ℓ}

_{−1}are the vertices of

*. Given real numbers*D

z

_{0},

z

_{1}, …,

z

_{m}

_{−1}, we wish to construct a function

*such that*f

*(*f

*) =*q

_{j}

*,*z

_{j}

*= 0, 1, …,*j

*−1 and whose graph is self‐affine or self‐similar. Let us denote by*m

*(*C

*) the linear space of all real‐valued continuous functions defined on*D

*, that is,*D

A mapping Φ on * C*(

*) which corresponds to piecing the*D

*(Φ(*G

*)) together using copies of parts of*f

*(*G

*) will be defined.*f

### 4.1. Affine fractal interpolation

The basic idea is to decompose * D*into

*non‐degenerate subregions*N

Δ

_{1},

Δ

_{2}, …,

Δ

_{N}with vertices chosen from

*and define affine maps*S

*:*L

_{i}

*→*D

Δ

_{i}and

*:*F

_{i}

*×*D

*= 1, 2, …,*i

*such that Φ defined by*N

for ** x**∈

Δ

_{i}maps an appropriate subset of

*(*C

*) onto itself. The main work is in showing that Φ is well defined and contractive on some subset of*D

*(*C

*). If*D

*is invertible,*L

_{i}

*(*G

*) is mapped onto*f

*,*L

_{i}

*). Henceforth, we assume that the set*F

_{i}

*. Let*S

*: {1, 2, …,*k

*} × {0, 1, …,*N

*−1} → {0, 1, …,*ℓ

*−1} be such that*m

Let * i*∈ {1, 2, …,

*}. Since*N

*and*D

Δ

_{i}are non‐degenerate, there exists an invertible map satisfying

Also, given any necessary free parameters,

With these definitions for * L*and

_{i}

*, if*F

_{i}

*∈*f

*(*C

*) and*D

*(*f

*) =*q

_{j}

*,*z

_{j}

*= 0, 1, …,*j

*−1, then Φ*ℓ

_{Δi}∈

*(*C

Δ

_{i}) and Φ(

*)(*f

q

_{k}

_{(i, j)}) =

z

_{k}

_{(i, j)},

*= 0, 1, …,*j

*−1. If*ℓ

Δ

_{i}and

Δ

_{i'}are adjacent polygons with common edge

*) satisfies for all*f

**∈**x

When there is no proof that our construction always satisfies it, the surface may be not continuous and a geometrical and visual artefact, known as ‘discontinuity’, appears. When a surface suffers from discontinuities, a correct visualisation should render aligned horizontal holes over the surface. A surface with discontinuities should not be considered as a fractal interpolation surface; the function * f*is ambiguous on the common edge points and Φ(

*) is not well defined.*f

Let the number of extreme points of the convex region * D*be 3. A triangular domain is formed, and the set

*= 1, 2, …,*i

*the invertible map*N

*:*L

_{i}

^{2}→

^{2}is defined as follows

and let the map * F*:

_{i}

^{3}→

Then, the corresponding IFS is of the form {^{3}; _{1−N}}, where * w*(

_{i}

*,*x

*,*y

*) = (*z

*(*L

_{i}

*,*x

*),*y

*(*F

_{i}

*,*x

*,*y

*)),*z

*= 1, 2, …,*i

*and can be written in a matrix form*N

The real numbers * a*,

_{i}

*,*b

_{i}

*and*c

_{i}

*for*d

_{i}

*= 1, 2, …,*i

*are chosen to ensure that Condition (6) holds, that is,*N

*(*L

_{i}

q

_{0}) =

q

_{k}

_{(i, 0)},

*(*L

_{i}

q

_{1}) =

q

_{k}

_{(i, 1)}and

*(*L

_{i}

q

_{2}) =

q

_{k}

_{(i, 2)}. Thus, for

*= 1, 2, …,*i

*,*N

After selecting the scaling factors * s*with |

_{i}

*|< 1, the values*s

_{i}

*,*e

_{i}

*and*f

_{i}

*are chosen to ensure that Condition (7) holds, that is,*g

_{i}

*(*F

_{i}

q

_{0},

z

_{0}) =

z

_{k}

_{(i, 0)},

*(*F

_{i}

q

_{1},

z

_{1}) =

z

_{k}

_{(i, 1)}and

*(*F

_{i}

q

_{2},

z

_{2}) =

z

_{k}

_{(i, 2)}. That is,

*∈ (−1, 1) is chosen and then*s

_{i}

for all * i* = 1, 2, …,

*We construct the IFS of the form {*N.

S; w

_{1−N}}, with the intention to produce

*(*G

*) that is continuous and passes through the points (*f

*,*q

_{j}

*),*z

_{j}

*∈*q

_{j}

*,*S

*= 0, 1, …,*j

*−1 as the unique attractor*m

*∈*f

*(*C

*), we must check if the ‘join‐up’ condition is satisfied for all possible starting points of the IFS. Figure 4 illustrates the surface graph (Level = 0) drawn with the original set of data {(0, 0, 0), (0.5, 0, 0.2), (1, 0, 0), (0, 0.5, 0.3), (0.5, 0.5, 0.5), (0, 1, 0)} where*D

*= 0.6. See also Example 58 of Ref. [8].*s

#### 4.1.1. Coplanar boundary data, arbitrary contractivity factors

If * P*is a non‐vertical plane in

^{3}, let

*(*Ĉ

*) denote the collection of continuous functions*D

*:*f

*→*D

*,*x

*(*f

*)) ∈*x

*for all*P

*∈ ∂*x

*.*D

** Theorem 4.1.1.**Suppose the points {(

*,*q

_{j}

*) :*z

_{j}

*∈ ∂*q

_{j}

*} are contained in a plane*D

*⊂*P

^{3}. Let Φ be defined by (5), where

*and*L

_{i}

*,*F

_{i}

*= 1, 2, …,*i

*are defined by Eqs. (6)–(8). Then, Φ:*N

*(*Ĉ

*) →*D

*(*Ĉ

*) is well defined and contractive in the sup‐norm ‖⋅‖*D

_{∞}. Furthermore, for every

*= 0, 1, …,*j

*−1 and*m

*∈*f

*(*Ĉ

*), Φ(*D

*)(*f

*) =*q

_{j}

*.*z

_{j}

We call the unique attractor of the afore‐mentioned IFS a * self‐affine fractal interpolation surface*, or

*for short,*SAFIS

*. Figure 5 illustrates Example 1 constructed in Ref. [4].*with coplanar boundary data and arbitrary contractivity factors

#### 4.1.2. Arbitrary boundary data, identical contractivity factors

The * chromatic number*of a graph is the smallest number of colours needed to colour its vertices so that no two adjacent vertices share the same colour. Let

*be the graph with*G

*as its vertices and its edges correspond to the decomposition of*S

*to*D

*(*l = l

*) ∈ {0, 1, 2},*j

*= 0, 1, …,*j

*−1; see Figure 6.*m

For * i* = 1, 2, …,

*and*N

*= 0, 1, 2 let*j

*(*k

*,*i

*) be determined by the condition*j

*(*k

*,*i

*(*l

*)) =*j′

*for all vertices*j′

*of Δ*q

_{j’}

_{i}. Then, for each of the vertices

*of Δ*q

_{j}

_{i}, Eqs. (6) and (7) become

Let * Ĉ*(

*) denote the collection of continuous functions*D

*such that*f

*(*f

*) =*q

_{j}

*,*z

_{j}

*∈ ∂*q

_{j}

*.*D

** Theorem 4.1.2.**Suppose the graph associated with

*and*L

_{i}

*,*F

_{i}

*= 1, 2, …,*i

*be determined by Eqs. (8) and (9) with*N

*=*s

_{i}

*∈ (−1, 1). Let Φ be defined by Eq. (5). Then, Φ:*s

*(*Ĉ

*) →*D

*(*Ĉ

*) is well defined and contractive in the sup‐norm ‖⋅‖*D

_{∞}. Furthermore, for every

*= 0, 1, …,*j

*−1 and*m

*∈*f

*(*Ĉ

*), Φ(*D

*)(*f

*) =*q

_{j}

*.*z

_{j}

We call the unique attractor of the afore‐mentioned IFS a * self‐affine fractal interpolation surface*, or

*for short,*SAFIS

*. The colouring of Theorem 4.1.2 is also known as ‘consistent triangulation’ within the context of computational geometry. We will be using this term from now on, for simplicity. Figure 7 illustrates Example 2 constructed in Ref. [4].*with arbitrary boundary data and identical contractivity factors

#### 4.1.3. Arbitrary boundary data, arbitrary contractivity factors

Zhao in Ref. [7] deploys a piecewise linear function * γ*over the graph

*of the IFS. Let*G

*be the graph mentioned earlier and*G

*its vertices. We assign a value*S

*∈ (−1, 1) to each vertex by defining for all*s

*= 1, 2, …,*i

*the piecewise linear function*N

*=*γ

*:*γ

_{i}

^{2}→ (−1, 1) as follows

where * β*is the barycentric interpolation function with the attribute

_{s}

*as coefficient*s

** Theorem 4.1.3.**Consider the IFS {

*;*S

w

_{1−N}} and the corresponding graph

*described above that also fulfils the conditions mentioned in Theorem 4.1.2, except for the usage of identical scaling factors over the whole surface. For each transformation*G

*, we substitute the scaling factors*w

_{i}

*with the function*s

_{i}

*described above, so the map*γ

_{i}

*becomes for all*F

_{i}

*= 1, 2, …,*i

N

Then, the unique attractor of the IFS mentioned previously is the graph of a continuous function * f*that passes though the points

*= 0, 1, …,*j

*−1.*m

We call the unique attractor of the afore‐mentioned IFS a * self‐similar fractal interpolation surface*, or

*for short,*SSFIS

*. The assignment of the scaling factor value*with arbitrary boundary data and contractivity factors

*,*s

_{j}

*= 0, 1, …,*j

*−1 to each vertex can be done either during the parameter identification process or can be inferred via a given set of vertical scaling factors {*m

s

_{1},

s

_{2}, …,

*}, where each*s

_{N}

*corresponds to*s

_{i}

Δ

_{i},

*= 1, 2, …,*i

*. The technique is identical to the calculation of the vertex normal vectors on the Gouraud and Phong shading models, where the facets of the mesh are the sub‐regions*N

Δ

_{i},

*= 1, 2, …,*i

*. Compare and contrast Figures 6 and 9 of Ref. [7] with Figure 8.*N

### 4.2. Recurrent affine fractal interpolation

Let * D*be a polygonal domain,

*consisting of non‐degenerate triangles with non‐intersecting interiors whose union is*D

*and*D

*= {*S

q

_{0},

q

_{1}, …,

q

_{m}

_{−1}} be the set of vertices of

*triangles each of which is a union of some subset of*M

*so that the first*S

*points {*n

q

_{0},

q

_{1}, …,

q

_{n}

_{−1}} ⊂

*are the vertices of*S

#### 4.2.1. Coplanar boundary data, arbitrary contractivity factors

We call * l*: {1, 2, …,

*} → {1, 2, …,*N

*} a*M

*which associates the vertices of*Δ‐labelling

*with the vertices of some*Δ

_{i}

*. If*δ

_{k}

*are non‐vertical planes in*P

_{k}

^{3}, let

*(*Ĉ

*) denote the collection of continuous functions*D

*=*f

_{k}

f

_{Δi}:

*→*δ

_{k}

*,*x

*(*f

_{k}

*)) ∈*x

*for all*P

_{k}

*∈ ∂*x

*.*δ

_{k}

** Theorem 4.2.1.**Suppose the points {(

*,*q

_{j}

*) :*z

_{j}

*∈ ∂*q

_{j}

*} are contained in the planes*δ

_{k}

*⊂*P

_{k}

^{3}for every

*. Let Φ be defined by Eq. (5), where*k

*and*L

_{i}

*,*F

_{i}

*= 1, 2, …,*i

*are defined by Eqs. (6)–(8). Then, Φ:*N

*(*Ĉ

*) →*D

*(*Ĉ

*) is well defined and contractive in the sup‐norm ‖⋅‖*D

_{∞}. Furthermore, for every

*= 0, 1, …,*j

*−1 and*m

*∈*f

*(*Ĉ

*), Φ(*D

*)(*f

*) =*q

_{j}

*.*z

_{j}

We call the unique attractor of the afore‐mentioned RIFS a * recurrent self‐affine fractal interpolation surface*, or

*for short,*RSAFIS

*.*with coplanar boundary data and arbitrary contractivity factors

#### 4.2.2. Arbitrary boundary data, identical contractivity factors

We call * l*: {0, 1, …,

*−1} → {0, 1, …,*m

*−1} a*n

*associated with*Δ‐labelling

q

_{l}

_{(j)},

q

_{l}

_{(j')},

q

_{l}

_{(j”)}} are the vertices of some

*whenever {*δ

_{k}

*,*q

_{j}

*,*q

_{j'}

*}are the vertices of some*q

_{j”}

*; see Figure 10.*Δ

_{i}

** Theorem 4.2.2.**Let

*be a*l

*‐labelling associated with the triangulations*Δ

*:*L

_{i}

^{2}→

^{2}and

*:*F

_{i}

^{3}→

*=*s

_{i}

*(|*s

*| < 1). Let Φ be defined by Eq. (5). Then, Φ:*s

*(*Ĉ

*)→*D

*(*Ĉ

*) is well defined and contractive in the sup‐norm ‖⋅‖*D

_{∞}. Furthermore, for every

*= 0, 1, …,*j

*−1 and*m

*∈*f

*(*Ĉ

*), Φ(*D

*)(*f

*) =*q

_{j}

*.*z

_{j}

Geronimo and Hardin in Ref. [4] have showcased a two‐dimensional multi‐resolution analysis. Based on their work, we have created acceptable colourings of graphs with any desirable density, by solving the problem on a small instance that we call * pattern graph*. If the solution has the identity of self‐similarity, the density of the graph is then enhanced by interpolating the pattern with a RIFS defined on the metric space of the undirected graphs. With the help of a geometric predicate, we unify the resulting points into a single graph that now has the desired density. The results are illustrated in Figure 11.

We call the unique attractor of the afore‐mentioned RIFS a * recurrent self‐affine fractal interpolation surface*, or

*for short,*RSAFIS

*. Figure 12 illustrates Example 3 constructed in Ref. [4].*with arbitrary boundary data and identical contractivity factors

#### 4.2.3. Arbitrary boundary data, arbitrary contractivity factors

The map * F*becomes for all

_{i}

*= 1, 2, …,*i

*,*N

** Theorem 4.2.3**. Suppose the graph associated with

*and*L

_{i}

*,*F

_{i}

*= 1, 2, …,*i

*are defined by Eqs. (6)–(8) and Φ be defined by Eq. (5). Then, Φ:*N

*(*Ĉ

*)→*D

*(*Ĉ

*) is well defined and contractive in the sup‐norm ‖⋅‖*D

_{∞}. Furthermore, Φ(

*)(*f

*) =*q

_{j}

*,*z

_{j}

*= 0, 1, …,*j

*−1 and*m

*∈*f

*(*Ĉ

*).*D

We call the unique attractor of the afore‐mentioned RIFS a * recurrent self‐similar fractal interpolation surface*, or

*for short,*RSSFIS

*. We illustrate this construction in Figure 13.*with arbitrary boundary data and contractivity factors

## 5. Conclusions, extensions and future work

We have presented an overview of affine interpolation as well as of recurrent affine interpolation using fractal functions in one and two dimensions. The effectiveness of a self‐affine fractal model is limited to the types of data: only those data that are self‐affine, or nearly so, are well represented. Since most data are not self‐affine, the piecewise or recurrent self‐affine fractal model may be a suitable alternative tool.

Nevertheless, our future work should focus on the parameter identification of fractal interpolation surfaces. More methods must be explored, including the ones for self‐affine FIS’s and the vertex‐based ones, while a better sampling technique for the heights is needed. For the recurrent FIS’s, it is utmost important to connect the domains with the subdomains that they resemble the most instead of determining the connections through an arbitrary colouring scheme. Therefore, a premise for future work is to find the optimal connections between domains and subdomains through a statistical analysis and then, starting from a feasible solution, to perform a heuristic local search with the intention to minimise the distance between current connections, implied by the current colouring, and those of the optimal solution. Moreover, methods to construct FIS, other than those based on the iterated function systems, exist, including the ones that use wavelets and tensor products, in which they should be also studied.

Many areas of fractal functions and their applications are yet to be explored, for instance, calculating the Hausdorff dimension of a general FIF is a challenging open problem. By believing that the field of fractal functions has bright future, the reader, in order to be able to contribute to it, should leave the idea of staying in the comfort of well‐known classical approximation theory and start enjoying the benefits of the more versatile fractal approximants, to supplement the former if not to replace it.