Abstract and Applied Analysis

Volume 2015, Article ID 345856, 16 pages

http://dx.doi.org/10.1155/2015/345856

## Applications of Multivalued Contractions on Graphs to Graph-Directed Iterated Function Systems

Département de Mathématiques et de Statistique, Université de Montréal, C.P. 6128, Succursale Centre-Ville, Montréal, QC, Canada H3C 3J7

Received 12 August 2014; Accepted 18 December 2014

Academic Editor: Naseer Shahzad

Copyright © 2015 T. Dinevari and M. Frigon. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

#### Abstract

We apply a fixed point result for multivalued contractions on complete metric spaces endowed with a graph to graph-directed iterated function systems. More precisely, we construct a suitable metric space endowed with a graph and a suitable -contraction such that its fixed points permit us to obtain more information on the attractor of a graph-directed iterated function system.

#### 1. Introduction

Based on the work of Hutchinson [1] and being popularized by Barnsley [2], the method of iterated function systems (IFS) permits us to generate fractals by iterating a collection of transformations . If each is a contraction on a complete metric space , it was shown in [1] that there exists a unique nonempty compact set which is invariant with respect to ; that is, This attractor is such that, for every compact , where The existence of can be deduced from the Banach fixed point theorem.

A fixed point result which is, in some sense, a combination of the Banach contraction principle and the Knaster-Tarski fixed point theorem in a partially ordered set was obtained by Ran and Reurings [3] in 2004. They considered a monotone, order preserving single-valued map defined on a complete metric space endowed with a partial ordering. They assumed that satisfies a contraction condition not necessarily for all and , but for those such that . Subsequently, their result was generalized by many authors, in particular by Nieto, Rodríguez-López, Pouso, Petruşel, and Rus [4–7]. In 2008, Jachymski [8] presented a nice unification of most of the previous results by considering complete metric spaces endowed with a graph . He introduced the notion of single-valued -contraction for which he obtained fixed point results.

Using those fixed point results, Gwóźdź-Łukawska and Jachymski [9] developed the Hutchinson-Barnsley theory on complete metric space endowed with a graph for iterated function systems of single-valued -contractions.

Different extensions of the concept of single-valued contractions on complete metric spaces endowed with a graph to multivalued maps were presented by Dinevari and Frigon [10] and by Nicolae et al. [11]. Those extensions led to generalizations of Jachymski’s fixed point results and of the Nadler fixed point theorem for multivalued contractions.

In 1988, Mauldin and Williams [12] introduced the notion of geometric graph-directed construction.

*Definition 1. *A* geometric graph-directed construction* in consists of (i)a collection of nonoverlapping, compact, nonempty subsets of , with nonempty interior;(ii)a directed-graph such that is the set of its vertices, and, for each , there exists some edge ;(iii)for each , there is a similarity map with similarity ratios such that
(iv)for each , is a nonoverlapping family of sets;(v)if is a cycle in , then

They showed that a geometric graph-directed construction has an attractor.

Theorem 2 (Mauldin and Williams [12]). *For a geometric graph-directed construction as above, there exists a unique collection of nonempty compact sets such that
**
The set
**
is called the attractor of this geometric graph-directed construction.*

Geometric graph-directed constructions have been studied and generalized by many authors; see [13–16]. In particular, it was shown in [13] that with an appropriate rescaling, condition (v) can be replaced by(v)′for each , .Also, in some of those generalizations, similarities on were replaced by contractions on complete metric spaces and the terminology of graph-directed iterated function system was used. Again, the existence of an attractor was established.

In this paper, we take into account the graph to obtain more information on the attractor of a graph-directed iterated function system. To do so, we apply a fixed point result obtained by the authors [10] for multivalued contractions on complete metric spaces endowed with a graph.

The paper is organized as follows. In Section 2, we present some notations and we recall some results. In Section 3, we consider a space such that and on which we define a suitable graph and a suitable metric. In Section 4, we define an appropriate multivalued -contraction . In the last three sections, taking into account the maximal connected component of the graph , we obtain more information on the attractor from some fixed points of .

#### 2. -Iterated Function System

First of all, we introduce the notion of MW-directed graph and we consider iterated function systems which takes into account the structure of an -directed graph.

*Definition 3. *A directed-graph is called an* MW-directed graph* if , has no parallel edges, and for every , there exists such that .

*Definition 4. *Let be an MW-directed graph. A* graph-directed iterated function system over the graph * (-IFS) is a collection of nonempty, bounded, complete metric spaces, , and, for each , a contraction with constant of contraction . An -IFS is denoted .

*Definition 5. *Let be an -IFS. An* attractor * of the -IFS is a collection of nonempty compact sets such that and

The Banach contraction principle insures the existence of an attractor of an -IFS. We present the proof for sake of completeness. For more information on graph-directed iterated function systems, the reader is referred to [12, 15].

Theorem 6. *An -IFS, , has a unique attractor .*

*Proof. *Consider
endowed with the metric
where is the Hausdorff metric on ; that is,
where
Let us define by
Using the fact that every is a contraction, one verifies that is a contraction with constant of contraction
The Banach contraction principle insures the existence of a unique fixed point of . Thus, is the unique attractor of .

More information on will be obtained by applying a fixed point result for multivalued contractions on complete metric spaces endowed with a graph. We recall the notion of -contraction introduced in [10].

For a complete metric space, we consider a directed graph such that , the diagonal in is contained in , and has no parallel edges.

*Definition 7. *Let be a multivalued map with nonempty values. We say that is a -*contraction* if there exists such that for all and all , there exists such that and .

We consider suitable trajectories in .

*Definition 8. *Let be a multivalued mapping and . We say that a sequence is a -*Picard trajectory from * if and for all . The set of all such -Picard trajectories from is denoted by .

The reader is referred to [10] for the proof of the following fixed point result for multivalued -contractions.

Theorem 9. *Let be a multivalued -contraction such that there exists such that . In addition, assume that one of the following conditions holds. *(i)* is -Picard continuous from ; that is, the limit of any convergent sequence is a fixed point of .*(ii)

*has closed values and, for every in converging to some , there exists a subsequence such that for all .*

*Then, there exists a -Picard trajectory from , , converging to a fixed point of . Moreover, every converging -Picard trajectory from converges to a fixed point of .*

In what follows, we consider an MW-directed graph. We will use the following definitions and notations.

A* path from ** to * in is denoted by , where , , and for every .

We say that a subgraph of is* connected* if for every there exists a path from to in . A* connected component* of is a maximal connected subgraph of . We denote
It follows from the definition of MW-directed graph that
We can define a partial order on as follows:
We write to mean and . We say that and are* incomparable* if and .

We denote the set of vertices from which there is a path in reaching by Similarly, for , we denote the set of vertices from which there is a path in reaching by

#### 3. A Suitable Metric Space Endowed with a Directed Graph

Let be an MW-directed graph with . For , let be a bounded complete metric space.

In this section, using and the spaces , we define a complete metric space endowed with a suitable directed graph. Let us recall that

We consider the space of -tuples satisfying the following properties:(Xi) is compact for every ;(Xii)if for some and , then for all ;(Xiii)there exists and such that .It is important to point out that, for , some can be empty.

We endow with the metric where where is the Hausdorff metric in and is a constant which will be fixed later, with It is clear that is a complete metric space.

Taking into account the graph , we want to endow with a directed graph. To do so, we distinguish vertices of which are in a connected component from the others. We set

We define the graph as follows: , and for , if and only if(G)for every , one of the following properties holds:(i), or and ;(ii), , and one of the following statements is true:(a) and there exists such that and ;(b) for some and there exist and such that and ;(iii), , , and one of the following properties is satisfied:(a)there is no such that ;(b)for every such that , one has .

*Example 10. *Let be the MW-graph of Figure 1. We consider the associated metric space satisfying (Xi)–(Xiii) endowed with the graph satisfying the condition (G). Let be nonempty compact subsets of for all and . We consider the following elements of :
Here is the list of all edges of between them: