Open Access

Reich’s iterated function systems and well-posedness via fixed point theory

Fixed Point Theory and Applications20152015:71

https://doi.org/10.1186/s13663-015-0320-7

Received: 5 February 2015

Accepted: 4 May 2015

Published: 16 May 2015

Abstract

In this paper, we prove the existence of the attractors for Reich’s iterated function systems by virtue of a Banach-like fixed point theorem. As a result, under the condition that the Reich contractions discussed are continuous, we give an affirmative answer to an open question posed by Singh et al. in 2009. In addition, we formulate a collage theorem for Reich’s iterated function systems.

Keywords

Reich’s iterated function systems attractor Reich contractions complete metric spaces fixed point theory

MSC

47H10 54HA25

1 Introduction

Fixed point theory (see, for instance, [112]) plays an important role in iterated function systems as well as fractals (see [1125]). As is well known, the simplest fractals are the self-similar sets, which are deemed to be the ‘fixed points’ of the Hutchinson-Barnsley operators in the setting of hyperspaces of compact sets of the original spaces endowed with the Pompeiu-Hausdorff metric. In order to describe such Hutchinson-Barnsley operators, one need utilize iterated function systems (see, for example, [1115]). The concept of iterated function systems was introduced by Hutchinson in 1981 (see [13]) and popularized by Barnsley in 1998 (see [14]) as a natural generalization of the well-known Banach contraction principle. They represent one way of defining fractals as attractors of certain discrete dynamical systems. Moreover, they can be effectively applied to quantum physics, wavelets analysis, computer graphics and other applied sciences (see, for example, [2632]). Therefore, it is no wonder that they have been attracting widespread attention of mathematicians and others for recent years (see, for example, [3336]).

Since 1981, an increasing number of fractals has been yielded by iterated function systems (IFSs). For years, IFSs have become powerful tools for construction and analysis of new typical fractal sets. In order to construct a fractal, one usually draws support from known fixed point results obtained in the setting of appropriate spaces (see, for instance, [1125]). In [23], Kashyap et al. obtained a new fractal from the Krasnoselskii fixed point theorem, generating the classical fractal set, which was introduced by Mandelbrot in 1982. Moreover, some open problems on IFS have been posed for the sake of theory and applications. In 2009, Singh et al. [24] posed an open question on IFS: In the IFS introduced by Hutchinson, can one replace the Banach contractions by the Reich contractions? In 2010, Sahu and Chakraborty [25] introduced K-iterated function system and obtained some interesting results related to the above-mentioned open question. In this paper, following Hutchinson and Sahu and Chakraborty, we present some new iterated function systems by using the so-called generalized contractive mappings (namely, the Hardy-Rogers type operators; see, for instance, [10, 11]), which will cover a much larger range of mappings. We obtain the attractors for a number of new iterated function systems by virtue of a Banach-like fixed point theorem concerning such generalized contractive mappings. It should be mentioned that among these new iterated function systems is Reich’s iterated function system. As a result, under the condition that the Reich contractions discussed are continuous, we give an affirmative answer to the above-mentioned open question posed by Singh et al. In addition, we show that the attractor, either for Hutchinson’s iterated function system or for the K-iterated function system, turns out to be the same as for Reich’s iterated function system which can be deduced by means of such a Banach-like fixed point theorem concerning such generalized contractive mappings. At last, we formulate a collage theorem for Reich’s iterated function systems.

2 Iterated function systems and an open question

In this section we first recall some well known aspects of iterated function system used in the sequel (more complete and rigorous treatments may be found in [1315]). Then we present an interesting open question regarding an iterated function system associated with the Reich contractions, which was posed by Singh et al. in 2009.

Definition 2.1

([1, 4])

Let X denote a metric space with distance function d and T be a mapping from X into itself. Then T is called a (Banach) contraction if there is a constant \(0 \leq s < 1\) such that, for all \(x, y \in X\),
$$d(Tx, Ty)\leq sd(x, y). $$

Definition 2.2

([5, 6, 10, 11, 24])

Let X denote a metric space with distance function d and T be a mapping from X into itself. If there exists a constant α with \(0 < \alpha< \frac{1}{2}\) such that, for all \(x, y \in X\),
$$d\bigl(T(x), T(y)\bigr)\leq\alpha\bigl[d\bigl(x, T(x)\bigr) + d\bigl(y, T(y) \bigr)\bigr], $$
then T is called a Kannan contraction.

Definition 2.3

([68, 11, 24])

Let X denote a metric space with distance function d. Suppose that the mapping \(T:X\rightarrow X\) satisfies
$$ d(Tx,Ty)\leq Ld(x,y)+M\bigl[d(x,Tx)+d(y,Ty)\bigr] $$
(2.1)
for all \(x,y\in X\), where L, M are constants with \(L, M\ge0\), \(0< L+2M<1\). Then T is called a Reich contraction.

Note that if \(M=0\), then the Reich contraction is reduced to a Banach contraction; if \(L=0\), then the Reich contraction is a Kannan contraction.

The following is the classical Banach contraction principle.

Theorem 2.1

([1, 4])

Let \(T : X \to X\) be a contraction on a complete metric space \((X, d)\). Then T possesses exactly one fixed point \(x^{*}\in X\). Moreover, for any point \(x\in X\), the sequence \(\{T^{\circ n}(x): n = 0, 1, 2,\ldots\}\) converges to \(x^{*}\in X\). That is \(\lim_{n\to\infty}T^{\circ n}(x) = x^{*}\), for each \(x\in X\), where \(T^{\circ n}\) denotes the n-fold composition of T.

In the famous paper [13], Hutchinson proved that, given a set of contractions in a complete metric space X, there exists a unique nonempty compact set \(A\subset X\), named the attractor or fractal for the iterated function systems.

IFS generally employs contractive maps over a complete metric space \((X, d)\), where Banach’s celebrated result mentioned above guarantees the existence and uniqueness of the fixed point known as ‘attractor’ or ‘fractal’. This can be done since a Hutchinson-Barnsley operator is also a contraction over \(H(X)\), where \(H(X)\) denotes the space whose points are the compact subsets of X.

We now give some basic definitions and theorems concerning an iterated function system, which are used in the proofs below.

Let \((X, d)\) be a complete metric space and \(H(X)\) denote the space whose points are the nonempty compact subsets of X. Let \(x, y\in X\) and let \(A, B \in H(X)\). Then the Pompeiu-Hausdorff distance from the set A to the set B is defined as
$$h(A, B) = d(A, B)\vee d(B, A), $$
where the notation \(u \vee v\) means the maximum of the pair of real numbers u and v, and \(d(A, B)\) is defined as
$$d(A, B) =\max\bigl\{ d(x, B): x \in A\bigr\} , $$
where \(d(x, B) =\min\{d(x, y): y \in B\}\).

Note that the function h is the metric defined on the space \(H(X)\).

In IFS, the contractive maps act on the members of a Hausdorff space, i.e., the compact subsets of X. Thus, an iterated function system is defined as follows:

Hutchinson’s iterated function system consists of a complete metric space \((X,d)\) together with a finite set of continuous contractions \(T_{n}: X\to X\) with respect to contractivity factor \(s_{n}\), \(n = 1, 2, 3, \ldots, N\).

Similarly, a K-iterated function system consists of a complete metric space \((X,d)\) together with a finite set of continuous Kannan contractions \(T_{n} : X \to X\) with K-contractivity factor \(\alpha_{n}\), \(n = 1, 2, 3, \ldots ,N\).

We now present the existence of the attractor for Hutchinson’s IFS, i.e., the following theorem, which was given by Hutchinson or Barnsley (see [13, 14]).

Theorem 2.2

([13, 14])

Let \(\{X: T_{n}, n =1, 2, 3, \ldots, N\}\) be an iterated function system with contractivity factor s. Then the transformation \(W: H(X) \to H(X)\) defined by \(W(B)=\bigcup_{n=1}^{N} T_{n}(B)\) for all \(B \in H(X)\) is a contraction on the complete metric space \((H(X), h(d))\) with contractivity factor s. That is,
$$h\bigl(W(B), W(C)\bigr) \leq sh(B, C). $$
Its unique fixed point, which is also called an attractor, \(A \in H(X)\) obeys
$$A=W(A)=\bigcup_{n=1}^{N} T_{n}(A) $$
and is given by \(A =\lim_{n\to\infty} W^{\circ n}(B)\) for any \(B \in H(X)\), where \(W^{\circ n}\) denotes the n-fold composition of W.

In 2009, Singh et al. [24] posed an open question regarding IFS associated with the Reich contractions as follows.

Question 2.1

([24])

Can one replace the Banach contractions in Theorem 2.2 (above) by the Reich contractions?

This precisely means whether the following is valid.

Theorem A

([24])

Let \((X,d)\) be a complete metric space and \(f_{i}:X\to X\) be Reich contractions, i.e.,
$$ d\bigl(f_{i} (x),f_{i} (y)\bigr)\leq L_{i} d(x,y)+M_{i} \bigl[d\bigl(x, f_{i} (x) \bigr)+d\bigl(y,f_{i} (y)\bigr)\bigr] $$
(R)
for all \(x,y\in X\), where \(L_{i}\), \(M_{i}\) are constants with \(L_{i},M_{i}\ge0\), \(L_{i}+2M_{i}<1\), \(i=1,2,\ldots,n\). Then there exists a unique nonempty compact subset A of X that satisfies \(A=\bigcup_{i=1}^{n}f_{i}(A)\).

We remark that, in the condition (R) above, if \(M_{i} = 0\), then it reduces to the well-known Banach contraction condition and Theorem A reduces to above Theorem 2.2 (i.e., the existence theorem for attractor of Hutchinson’s IFS). Further, if \(L_{i} = 0\) and \(0\leq M_{i} < 1/2\), then the condition (R) is the well-known Kannan contraction. Singh et al. in [24] wrote that Theorem A is correct for \(L_{i} = 0\) and \(0 \leq M_{i}< 1/3\). They indicated that a proof for the general case, viz., \(L_{i} = 0\) and \(0 \leq M_{i}< 1/2\), is awaited. In 2010, Sahu and Chakraborty [25] gave a proof for such a general case as follows.

Theorem 2.3

([25])

Let \(\{X: T_{n}, n =1, 2, 3, \ldots, N\}\) be a K-iterated function system with K-contractivity factor α. Then the transformation \(W: H(X) \to H(X)\) defined by \(W(B)=\bigcup_{n=1}^{N} T_{n}(B)\) for all \(B \in H(X)\) is a continuous Kannan contraction on the complete metric space \((H(X), h(d))\) with contractivity factor s. That is,
$$h\bigl(W(B), W(C)\bigr) \leq\alpha\bigl[h\bigl(B, T(B)\bigr) + h\bigl(C, T(C) \bigr)\bigr]. $$
Its unique fixed point, which is also called an attractor, \(A \in H(X)\) obeys
$$A=W(A)=\bigcup_{n=1}^{N} T_{n}(A) $$
and is given by \(A =\lim_{n\to\infty} W^{\circ n}(B)\) for any \(B \in H(X)\), where \(W^{\circ n}\) denotes the n-fold composition of W.

In the subsequent section, we will prove that Theorem A above holds under the condition that the Reich contractions discussed are continuous, giving an affirmative answer to Question 2.1 with such an assumption.

3 New iterated function systems and an affirmative answer to the open question

In this section, we attempt to explore the possibility of improvement in IFS by replacing the Banach contraction condition or the Kannan contraction condition by a more general condition which is called, for convenience, the generalized contraction condition. One can easily see that such a condition generalizes not only the Banach contraction condition, but also the Kannan contraction condition. As a consequence, we can replace the Banach contractions in Theorem 2.2 (above) by the Reich contractions, thus give an affirmative answer to the above-mentioned open question (i.e., Question 2.1).

Now, we extend the Banach contraction and the Kannan contraction to the so-called generalized contractive mapping as follows.

Definition 3.1

([10, 11])

Let \((X,d)\) be a metric space. The mapping \(T:X\rightarrow X\) is called a generalized contractive mapping if it satisfies the following generalized contraction condition:
$$ d(Tx,Ty)\leq a_{1} d(x,y)+a_{2}d(Tx,x)+a_{3}d(Ty,y)+a_{4} d(x,Ty)+a_{5}d(y,Tx) $$
(3.1)
for all \(x,y\in X\), where \(a_{i}\geq 0\) (\(i=1,2,3,4,5\)) satisfy
$$a_{1}+a_{2}+a_{3}+a_{4}+a_{5}< 1. $$
By virtue of symmetry in (3.1), we may only consider the case that \(a_{2}=a_{3}\) and \(a_{4}=a_{5}\). Thus, in the sequel, without loss of generality, we will assume that \(T:X\rightarrow X\) is a generalized contractive mapping satisfying
$$ d(Tx,Ty)\leq a d(x,y)+c\bigl(d(Tx,x)+d(Ty,y)\bigr)+e\bigl(d(x,Ty)+d(y,Tx) \bigr) $$
(3.2)
for all \(x,y\in X\), where \(a, c, e\geq0\) satisfy
$$a+2c+2e< 1. $$

Remark 3.1

It is easily seen that any of the Banach contractions, the Kannan contractions and the Reich contractions is a special case of the generalized contractive mapping.

Now let us first present the fixed point theorem for the generalized contractive mappings.

Remark 3.2

It should be noticed that the so-called generalized contraction mentioned in Definition 3.1 above is also called Hardy-Rogers type operator. Petrusel recently pointed out in his interesting paper that any Hardy-Rogers type operator is a Ćirić type operator, but the reverse implications do not hold (see [11] for details).

Proposition 3.1

([10, 11])

Let \((X,d)\) be a complete metric space. Suppose that the mapping \(T:X\rightarrow X\) is a generalized contractive mapping satisfying (3.2). Then T has a unique fixed point p in X. Moreover, for any \(x_{0}\in X\), the Picard iterate \(\{ x_{n}\}\), where \(x_{n}=Tx_{n-1} \) (\(n=1,2, \ldots\)), converges to the fixed point p and satisfies \(d(x_{n}, p)\leq \frac{b^{n}}{1-b}d(Tx_{0},x_{0})\), where \(b=\frac{a+c+e}{1-c-e}\).

For the sake of completeness, we now give a sketch of the proof by three steps.

Step 1. We first show the existence of the fixed point. Suppose that \(x_{0}\) is an arbitrary point in X. Set
$$x_{n+1}=Tx_{n},\quad n=0,1,2,\ldots. $$
We can easily show that \(\{x_{n}\}\) is a Cauchy sequence. In fact, by (3.2), we can get
$$d(x_{n+1},x_{n})\leq bd(x_{n},x_{n-1})\leq b^{2}d(x_{n-1},x_{n-2})\leq \cdots\leq b^{n} d(Tx_{0},x_{0}), $$
where \(b=\frac{a+c+e}{1-c-e}\).
Hence, for any \(n\ge0\), \(m\ge1\), we have
$$\begin{aligned} d(x_{n+m},x_{n}) & \leq d(x_{n+m},x_{n+m-1})+ d(x_{n+m-1},x_{n+m-2})+\cdots+d(x_{n+1},x_{n}) \\ & \leq\bigl(b^{n+m-1}+b^{n+m-2}+\cdots+b^{n} \bigr)d(Tx_{0},x_{0}) \\ &\leq\frac{b^{n}}{1-b}d(Tx_{0},x_{0}). \end{aligned}$$
Therefore \(\{x_{n}\}\) is a Cauchy sequence in \((X,d)\). So there exists \(p\in X\) such that \(x_{n}\rightarrow p\) as \(n\rightarrow\infty\). From (3.2), we have
$$\begin{aligned} d(x_{n}, Tp)&= d(Tx_{n-1},Tp) \\ & \leq a d(x_{n-1},p)+cd\bigl(d(x_{n},x_{n-1})+d(Tp,p) \bigr)+e\bigl(d(x_{n-1},Tp)+d(x_{n},p)\bigr). \end{aligned}$$
Taking \(n\rightarrow\infty\), we get
$$d(Tp, p)\leq(c+e)d(p,Tp). $$
Then, we get \((1-c-e)d(q,Tp)\leq0\), which implies that \(d(p,Tp)=0\) since \(1-c-e> 0\). So we have \(p=Tp\).
Step 2. We then show the uniqueness of the fixed point. Assume that there exists another point \(q\in X\) such that \(Tq=q\), then by (3.2) we see
$$\begin{aligned} d(p,q)&= d(Tp,Tq) \\ &\leq ad(p,q)+c\bigl(d(Tp,p)+d(Tq,q)\bigr) +e\bigl(d(p,Tq)+d(Tp,q)\bigr) \\ & = ad(p,q) +2ed(p, q) \end{aligned}$$
which gives \((1-a-2e)d(p,q)\leq0\), thus \(d(p,q)=0\), So, \(p=q\).
Step 3. We finally show the formula for the error estimate of a successive sequence. From a chain of inequalities presented before we see
$$ d(x_{m+n},x_{n})\leq\frac{b^{n}}{1-b}d(Tx_{0},x_{0}). $$
(3.3)
Letting \(m\to\infty\) in (3.3), we get
$$ d(x_{n},p)\leq\frac{b^{n}}{1-b}d(Tx_{0},x_{0}), $$
(3.4)
which completes the sketch of the proof of Proposition 3.1.

By means of Proposition 3.1, we easily get the following corollary, which is a Banach-like fixed point theorem.

Corollary 3.1

Let \((X,d)\) be a complete metric space. Suppose that the mapping \(T:X\rightarrow X\) is a Reich contraction, i.e., there exist constants L, M with \(L, M>0\), \(L+2M<1\) such that
$$d(Tx,Ty)\leq Ld(x,y)+M\bigl[d(x,Tx)+d(y,Ty)\bigr] $$
for all \(x,y\in X\). Then T has a unique fixed point p in X. Moreover, for any \(x_{0}\in X\), the Picard iterate \(\{x_{n}\}\), where \(x_{n}=Tx_{n-1} \) (\(n=1,2, \ldots \)), converges to the fixed point p and satisfies \(d(x_{n}, p)\leq\frac{b^{n}}{1-b}d(Tx_{0},x_{0})\), where \(b=\frac{L+M}{1-M}\).

By the argument in the proof of Proposition 3.1, we easily obtain the following result.

Proposition 3.2

Let \((X,d)\) be a complete metric space. Suppose that the mapping \(T:X\rightarrow X\) is a generalized contractive mapping satisfying (3.2). Let \(x^{*}\in X\) be the fixed point of T. Then we have
$$ d\bigl(x_{0},x^{*}\bigr)\leq\frac{1-c-e}{1-a-2c-2e}d(x_{0},Tx_{0}), \quad\forall x_{0}\in X. $$
(3.5)

Proof

Setting \(n=0\) in (3.4) of Step 3 above, we obtain (3.5) immediately. □

Remark 3.3

We note that Proposition 3.1 can be seen from [10] and [11], but the proof of Proposition 3.1 is somewhat different from that of [10], Theorem 1. In fact, as is indicated in [11], the idea of the proof of [10], Theorem 1 is to prove that f is a contraction on the graphic of the operator, i.e., there exists a positive constant \(\beta<1\) such that
$$d\bigl(Tx, T^{2}x\bigr)\le\beta d(x, Tx) \quad\mbox{for all } x\in X. $$
However, ours need not do so since we directly prove the Picard iterated sequence is Cauchy and converges to the unique fixed point, which is a valuable addition to [10].

Remark 3.4

Proposition 3.1 generalizes the famous Banach contraction principle.

In order to present the new iterated function systems, we need the following lemmas.

Lemma 3.1

Let \((X,d)\) be a complete metric space. Suppose that the mapping \(T:X\rightarrow X\) is a continuous Reich contraction satisfying
$$d(Tx,Ty)\leq Ld(x,y)+M\bigl[d(x, Tx)+d(y, Ty)\bigr] $$
for all \(x,y\in X\), where \(L, M\ge0\), \(L+2M<1\). Then \(T: H(X)\to H(X)\) defined by \(T(B)=\{T(x):x\in B\}\) is also a Reich contraction satisfying
$$ h\bigl(T(B),T(C)\bigr)\leq L h(B,C)+M\bigl[h\bigl(B, T(B)\bigr)+h\bigl(C,T(C) \bigr)\bigr] $$
(3.6)
for each \(B, C\in H(X)\).

Proof

Let us first prove that T maps \(H(X)\) into itself. In fact, if \(S\in H(X)\), then S is nonempty and compact in X. It is obvious that \(T(S)\) is nonempty. Now we prove that \(T(S)\) is compact in X. Let \(\{y_{n}\}\subset T(S)\) be any sequence. Then there is a sequence \(\{x_{n}\}\subset S\) such that \(y_{n}=Tx_{n}\) (\(n=1,2,\ldots\)). Since S is compact, there is a subsequence \(\{x_{n_{k}}\}\subset\{x_{n}\} \) such that \(x_{n_{k}}\to x\in S\). By the continuity of T we see \(y_{n_{k}}=Tx_{n_{k}}\to Tx\in T(S)\), so \(T(S)\) is compact in X. It is easily shown by the definition of Reich contraction that T satisfies
$$d\bigl(T(B),T(C)\bigr)\leq Ld(B,C)+M\bigl[d\bigl(B, T(B)\bigr)+d\bigl(C,T(C) \bigr)\bigr], \quad\forall B, C\in H(X) $$
and
$$d\bigl(T(C),T(B)\bigr)\leq Ld(C,B)+M\bigl[d\bigl(C, T(C)\bigr)+d\bigl(B,T(B) \bigr)\bigr], \quad\forall B, C\in H(X). $$
So, for all \(B, C\in H(X)\), we have
$$\begin{aligned} h\bigl(T(B), T(C)\bigr)={}& d\bigl(T(B), T(C)\bigr)\vee d\bigl(T(C), T(B)\bigr) \\ \leq{}& \bigl\{ Ld(B,C)+M\bigl[d\bigl(B, T(B)\bigr)+d\bigl(C, T(C)\bigr)\bigr]\bigr\} \\ &{}\vee\bigl\{ Ld(C,B)+M\bigl[d\bigl(C,T(C)\bigr) + d\bigl(B, T(B)\bigr)\bigr]\bigr\} \\ \leq{}& L\bigl[d(B, C)\vee d(C, B)\bigr]+M\bigl[d\bigl(B, T(B)\bigr) +d\bigl(C, T(C)\bigr)\bigr] \\ \leq{}& Lh(B,C)+M\bigl[h\bigl(B, T(B)\bigr) + h\bigl(C, T(C)\bigr)\bigr], \end{aligned}$$
which completes the proof of Lemma 3.1. □

Lemma 3.2

Let \((X,d)\) be a complete metric space. Let \(T_{n}:n = 1, 2, \ldots, N\) be mappings which map \((H(X), h)\) into \((H(X), h)\). Suppose that the mappings \(T_{n}\) satisfy
$$h\bigl(T_{n}(B),T_{n}(C)\bigr)\leq L_{n} h(B,C)+M \bigl[h\bigl(B, T_{n}(B)\bigr)+h\bigl(C,T_{n}(C)\bigr)\bigr] $$
for all \(B,C\in H(X)\), where \(L_{n}, M_{n} \ge0\), \(L_{n}+2M_{n}<1\). Define \(T: H(X)\to H(X)\) by \(T(B) =T_{1}(B) \cup T_{2}(B)\cup \cdots\cup T_{N}(B) =\bigcup_{n=1}^{N}T_{n}(B)\) for each \(B \in H(X)\). Then T also satisfies
$$h\bigl(T(B),T(C)\bigr)\leq L h(B,C)+M\bigl[h\bigl(B, T(B)\bigr)+h\bigl(C,T(C) \bigr)\bigr] $$
for all \(B,C\in H(X)\), where \(L=\max\{L_{n} : n = 1, 2, \ldots , N\}\), \(M=\max\{M_{n} : n = 1, 2, \ldots , N\}\).

Proof

We shall prove the lemma by using the mathematical induction method. For \(N = 1\), the statement is obviously true. Now, for \(N = 2\), we see that
$$\begin{aligned} h\bigl(T(B), T(C)\bigr)={}& h\bigl(T_{1}(B)\cup T_{2}(B), T_{1}(C)\cup T_{2}(C)\bigr) \\ \leq{}& h\bigl(T_{1}(B), T_{1}(C)\bigr)\vee h \bigl(T_{2}(B), T_{2}(C)\bigr) \\ \leq{}&\bigl\{ L_{1} h(B,C)+M_{1}\bigl[h\bigl(B, T_{1}(B)\bigr) + h\bigl(C, T_{1}(C)\bigr)\bigr]\bigr\} \\ &{}\vee\bigl\{ L_{2} h(B,C)+M_{2}\bigl[h\bigl(B, T_{2}(B)\bigr) + h\bigl(C, T_{2}(C)\bigr)\bigr]\bigr\} \\ \leq{}&\max\{L_{1},L_{2}\}h(B,C)+\max\{M_{1},M_{2} \}\bigl[h\bigl(B,T_{1}(B)\bigr)\vee h\bigl(B, T_{2}(B)\bigr) \\ &{}+ h\bigl(C, T_{1}(C)\bigr)\vee h\bigl(C, T_{2}(C)\bigr) \bigr] \\ ={}&Lh(B,C)+M\bigl[h\bigl(B, T_{1}(B)\cup T_{2}(B)\bigr)+h \bigl(C, T_{1}(C)\cup T_{2}(C)\bigr)\bigr], \end{aligned}$$
where \(L=\max\{L_{1},L_{2}\}\), \(M=\max\{M_{1},M_{2}\}\). Therefore, we see
$$h\bigl(T(B),T(C)\bigr)\leq L h(B,C)+M\bigl[h\bigl(B, T(B)\bigr)+h\bigl(C,T(C) \bigr)\bigr]. $$
By induction we see Lemma 3.2 is proved. □
Thus, from all the above results, we are in a position to present the following theorem for the new iterated function system \(\{T_{n}\}_{n=1}^{N}\) consisting of the continuous Reich contractions defined as
$$ d(T_{n} x,T_{n} y)\leq L_{n} d(x,y)+M_{n} \bigl[d(x, T_{n} x)+d(y,T_{n} y)\bigr] $$
(3.7)
for all \(x,y\in X\), where \(L_{n}\), \(M_{n}\) are constants with \(L_{n},M_{n}\ge0\), \(L_{n}+2M_{n}<1\). Such an iterated function system is called Reich’s iterated function system.

Theorem 3.1

Let \((X,d)\) be a complete metric space. Suppose that the mappings \(T_{n}:X\rightarrow X\) are continuous and satisfy the Reich contractive condition as (3.7). Then the transformation \(T : H(X)\to H(X)\) defined by \(T(B) =\bigcup_{n=1}^{N}T_{n}(B)\) for all \(B \in H(X)\) also satisfies the Reich contractive condition (3.6). Its unique fixed point in (H(X), h(d)), which is also called an attractor, \(A \in H(X)\) obeys \(A=T(A) =\bigcup_{n=1}^{N}T_{N}(A)\) and is given by \(A =\lim_{n\to\infty} T^{\circ n}(B) \) for any \(B \in H(X)\).

Similar to Theorem 3.1, the following Theorem 3.2 can be deduced by the same method, so we omit its proof.

Theorem 3.2

Let \((X,d)\) be a complete metric space. Suppose that the mappings \(T_{n}:X\rightarrow X\) are continuous and satisfy the following condition:
$$ d(T_{n} x,T_{n} y)\leq L_{n} \bigl(d(x,y)+d(x, T_{n} x)+d(y,T_{n} y)\bigr) $$
(3.8)
for all \(x,y\in X\), where \(L_{n}\) are constants with \(0< L_{n}<\frac{1}{3}\). Then the transformation \(T : H(X)\to H(X)\) defined by \(T(B) =\bigcup_{n=1}^{N}T_{n}(B)\) for all \(B \in H(X)\) also satisfies the condition
$$h\bigl(T(B),T(C)\bigr)\leq L \bigl(h(B,C)+h\bigl(B, T(B)\bigr)+h\bigl(C,T(C) \bigr)\bigr), $$
where \(B,C\in H(X)\), \(L=\max\{L_{n} : n = 1, 2, \ldots , N\}\). Its unique fixed point in (H(X), h(d)), which is also called an attractor, \(A \in H(X)\) obeys \(A=T(A) =\bigcup_{n=1}^{N}T_{n}(A)\) and is given by \(A =\lim_{n\to\infty} T^{\circ n}(B) \) for any \(B \in H(X)\).

Based on the above arguments from Lemma 3.1, Lemma 3.2 and Proposition 3.2, we are now in a position to formulate a collage theorem for Reich’s iterated function system.

Theorem 3.3

Let \((X,d)\) be a complete metric space. Let \(L\in H(X)\) be given and ϵ be given. Choose Reich’s iterated function system \(\{T_{n}\}_{n=1}^{N}\) consisting the Reich contractions as (3.7). If
$$h\Biggl(L, \bigcup_{n=1}^{N}T_{n}(L) \Biggr)\leq\epsilon, $$
then \(h(L,A)\le\frac{(1-M)\epsilon}{1-L-2M}\), where A is the attractor of Reich’s IFS. Equivalently, the equality
$$h(L,A)\le\frac{1-M}{1-L-2M}h\Biggl(L, \bigcup_{n=1}^{N}T_{n}(L) \Biggr) $$
holds for all \(L\in H(X)\).

Remark 3.5

In Theorem 3.1, we obtain the attractors for Reich’s iterated function systems, which generalizes the main results concerning both the famous Hutchinson iterated function systems and the K-iterated function systems in [13] and [25], respectively.

Remark 3.6

Theorem 3.1 gives an affirmative answer to the above-mentioned open question (i.e., Question 2.1) under the condition that the Reich contractions discussed are continuous. Theorem 3.1 and Theorem 3.2 are a valuable addition to the main results of literature [13, 14, 24, 25].

Remark 3.7

Theorem 3.1 shows that the Hutchinson-Barnsley operator for Reich’s iterated function system is a Picard operator and its unique ‘fixed point’ is a single-valued fractal. Such is called single-valued fractal for single-valued Reich contractions. As for multi-valued fractals for self multi-valued operators and nonself multi-valued operators, we refer to [9, 12], respectively.

Remark 3.8

It should be noticed that Theorem 3.1 is a generalization of [22], Theorem 1 and Theorem 3.3 is a generalization of both [22], Theorem 2 and [37], Theorem 1. Hence, our main results in this paper may have potential applications to the complex polynomial hyperbolic NIFS (nonlinear iterated function system) mentioned in [22] and image compression referred to in [37].

Declarations

Acknowledgements

The authors are grateful to Professor MS EL Naschie for valuable comments on the original manuscript. Special thanks are due to the referees and the editor, who have made a number of valuable comments and useful suggestions, improving the original manuscript greatly. This research is supported in part by the foundation of the research item of Strong Department of Engineering Innovation of Hanshan Normal University, China (2013) and the National Natural Science Foundation of China (No. 11371379).

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Authors’ Affiliations

(1)
Department of Mathematics and Statistics, Hanshan Normal University
(2)
Library, Hanshan Normal University
(3)
School of Lingnan, Zhongshan University

References

  1. Agarwal, RP, Meehan, M, O’Regan, D: Fixed Point Theory and Applications. Cambridge University Press, Cambridge (2001) View ArticleMATHGoogle Scholar
  2. Granas, A, Dugundji, J: Fixed Point Theory. Springer, New York (2003) View ArticleMATHGoogle Scholar
  3. Rus, IA, Petrusel, A, Petrusel, G: Fixed Point Theory. Cluj University Press, Cluj (2008) MATHGoogle Scholar
  4. Banach, S: Sur les opérations dans les ensembles abstraits et leur application aux équations intégrales. Fundam. Math. 3, 133-181 (1922) MATHGoogle Scholar
  5. Kannan, R: Some results on fixed points. II. Am. Math. Mon. 76, 405-408 (1969) View ArticleMATHMathSciNetGoogle Scholar
  6. Reich, S: Kannan’s fixed point theorem. Boll. Unione Mat. Ital. 4, 1-11 (1971) MATHGoogle Scholar
  7. Reich, S: Some remarks concerning contraction mappings. Can. Math. Bull. 14, 121-124 (1971) View ArticleMATHMathSciNetGoogle Scholar
  8. Reich, S: Fixed points of contractive mappings. Boll. Unione Mat. Ital. 5, 17-31 (1972) Google Scholar
  9. Reich, S: Fixed points of contractive functions. Boll. Unione Mat. Ital. 5, 26-42 (1972) MATHMathSciNetGoogle Scholar
  10. Hardy, GE, Rogers, TG: Generalization of a fixed point theorem of Reich. Can. Math. Bull. 16, 201-206 (1973) View ArticleMATHMathSciNetGoogle Scholar
  11. Petrusel, A: Ćirić type fixed point theorems. Stud. Univ. Babeş-Bolyai, Math. 59(2), 233-245 (2014) MathSciNetMATHGoogle Scholar
  12. Petrusel, A, Rus, IA, Serban, MA: Fixed points, fixed sets and iterated multifunction systems for nonself multivalued operators. Set-Valued Var. Anal. (2014). doi:10.1007/s11228-014-0291-6 MathSciNetMATHGoogle Scholar
  13. Hutchinson, JE: Fractals and self similarity. Indiana Univ. Math. J. 30, 713-747 (1981) View ArticleMATHMathSciNetGoogle Scholar
  14. Barnsley, MF: Fractals Everywhere. Academic Press, New York (1998) MATHGoogle Scholar
  15. Falconer, KJ: Fractal Geometry: Mathematical Foundations and Applications. Wiley, New York (1990) MATHGoogle Scholar
  16. Wicks, KR: Fractals and Hyperspaces. Lecture Notes in Mathematics, vol. 1492. Springer, Berlin (1991) MATHGoogle Scholar
  17. Petrusel, A: Fixed point theory with applications to dynamical systems and fractals. In: International Conference on Nonlinear Operators, Differential Equations and Applications. Semin Fixed Point Theory Cluj-Napoca, vol. 3, pp. 305-315 (2002) Google Scholar
  18. Boriceanu, M, Bota, M, Petrusel, A: Multivalued fractals in b-metric spaces. Cent. Eur. J. Math. 8(2), 376-377 (2010) View ArticleMathSciNetMATHGoogle Scholar
  19. Chifu, C, Petrusel, G: Well-posedness and fractals via fixed point theory. Fixed Point Theory Appl. 2008, Article ID 645419 (2008) View ArticleMathSciNetMATHGoogle Scholar
  20. Fiser, J: Iterated Function and Multifunction Systems; Attractors and Their Basins of Attraction. PhD thesis, Palacksy University, Olomouc, Czech (2002) Google Scholar
  21. Mihail, A, Miculescu, R: Applications of fixed point theorems in the theory of generalized IFS. Fixed Point Theory Appl. 2008, Article ID 312876 (2008) View ArticleMathSciNetMATHGoogle Scholar
  22. Wang, XY, Li, FP: A class of nonlinear iterated function system attractors. Nonlinear Anal. 70, 830-838 (2009) View ArticleMATHMathSciNetGoogle Scholar
  23. Kashyap, SK, Sharma, BK, Banerjee, A: On Krasnoselskii fixed point theorem and fractal. Chaos Solitons Fractals 61, 44-45 (2014) View ArticleMathSciNetGoogle Scholar
  24. Singh, SL, Prasad, B, Kumar, A: Fractals via iterated functions and multifunctions. Chaos Solitons Fractals 39, 1224-1231 (2009) View ArticleMATHMathSciNetGoogle Scholar
  25. Sahu, DR, Chakraborty, A: K-Iterated function system. Fractals 18(1), 139-144 (2010) View ArticleMATHMathSciNetGoogle Scholar
  26. Block, L, Keesling, J: Iterated function systems and the code space. Topol. Appl. 122, 65-75 (2002) View ArticleMATHMathSciNetGoogle Scholar
  27. El Naschie, MS: Iterated function systems and the two-slit experiment of quantum mechanics. Chaos Solitons Fractals 4(10), 1965-1968 (1994) View ArticleMATHMathSciNetGoogle Scholar
  28. El Naschie, MS: Iterated function systems, information and the two-slit experiment of quantum mechanics. In: El Naschie, MS, Rossler, OE, Prigogine, I (eds.) Quantum Mechanics, Diffusion and Chaotic Fractals, pp. 185-189. Elsevier, Oxford (1995) Google Scholar
  29. Slomczynski, W: Institute from quantum entropy to iterated function systems. Chaos Solitons Fractals 8(11), 1861-1864 (1997) View ArticleMATHMathSciNetGoogle Scholar
  30. Daya Sagar, BS, Rangarajan, G, Veneziano, D: Preface. Fractals in geophysics. Chaos Solitons Fractals 19, 237-239 (2004) View ArticleMATHGoogle Scholar
  31. Bohnstengel, J, Kesseböhmer, M: Wavelets for iterated function systems. J. Funct. Anal. 259, 583-601 (2010) View ArticleMATHMathSciNetGoogle Scholar
  32. Freiberg, U, Torre, DL, Mendivil, F: Iterated function systems and stability of variational problems on self-similar objects. Nonlinear Anal., Real World Appl. 12, 1123-1129 (2011) View ArticleMATHMathSciNetGoogle Scholar
  33. Barnsleya, M, Vince, A: The eigenvalue problem for linear and affine iterated function systems. Linear Algebra Appl. 435, 3124-3138 (2011) View ArticleMathSciNetMATHGoogle Scholar
  34. Secelean, NA: Generalized iterated function systems on the space \(l^{\infty}(X)\). J. Math. Anal. Appl. 410, 847-858 (2014) View ArticleMATHMathSciNetGoogle Scholar
  35. Dumitru, D, Ioana, L, Sfetcu, RC, Strobin, F: Topological version of generalized (infinite) iterated function systems. Chaos Solitons Fractals 71, 78-90 (2015) View ArticleMathSciNetGoogle Scholar
  36. Yao, YY: Generating iterated function systems of some planar self-similar sets. J. Math. Anal. Appl. 421, 938-949 (2015) View ArticleMATHMathSciNetGoogle Scholar
  37. Drakopoulos, V, Bouboulis, P, Theodoridis, S: Image compression using affine fractal interpolation on rectangular lattices. Fractals 14(4), 259-269 (2006) View ArticleMATHMathSciNetGoogle Scholar

Copyright

© Xu et al.; licensee Springer. 2015