# The Theory of Reich's Fixed Point Theorem for Multivalued Operators

- 1.8k Downloads
- 2 Citations

## Abstract

The purpose of this paper is to present a theory of Reich's fixed point theorem for multivalued operators in terms of fixed points, strict fixed points, multivalued weakly Picard operators, multivalued Picard operators, data dependence of the fixed point set, sequence of multivalued operators and fixed points, Ulam-Hyers stability of a multivalued fixed point equation, well-posedness of the fixed point problem, and the generated fractal operator.

## Keywords

Fixed Point Theorem Fractal Operator Data Dependence Invariant Subset Fixed Point Problem## 1. Introduction

Open image in new window is the (generalized) Pompeiu-Hausdorff functional.

It is well known that if Open image in new window is a complete metric space, then the pair Open image in new window is a complete generalized metric space. (See [1, 2]).

Definition 1.1.

Reich proved that any Reich-type multivalued Open image in new window -contraction on a complete metric space has at least one fixed point (see [3]).

In a recent paper Petruşel and Rus introduced the concept of "theory of a metric fixed point theorem" and used this theory for the case of multivalued contraction (see [4]). For the singlevalued case, see [5].

The purpose of this paper is to extend this approach to the case of Reich-type multivalued Open image in new window -contraction. We will discuss Reich's fixed point theorem in terms of

(i)fixed points and strict fixed points,

(ii)multivalued weakly Picard operators,

(iii)multivalued Picard operators,

(iv)data dependence of the fixed point set,

(v)sequence of multivalued operators and fixed points,

(vi)Ulam-Hyers stability of a multivaled fixed point equation,

(vii)well-posedness of the fixed point problem;

(viii)fractal operators.

Notice also that the theory of fixed points and strict fixed points for multivalued operators is closely related to some important models in mathematical economics, such as optimal preferences, game theory, and equilibrium of an abstract economy. See [6] for a nice survey.

## 2. Notations and Basic Concepts

Throughout this paper, the standard notations and terminologies in nonlinear analysis are used (see the papers by Kirk and Sims [7], Granas and Dugundji [8], Hu and Papageorgiou [2], Rus et al. [9], Petruşel [10], and Rus [11]).

is called the fractal operator generated by Open image in new window . For a well-written introduction on the theory of fractals see the papers of Barnsley [12], Hutchinson [13], Yamaguti et al. [14].

It is known that if Open image in new window is a metric space and Open image in new window , then the following statements hold:

(a)if Open image in new window is upper semicontinuous, then Open image in new window , for every Open image in new window ;

(b)the continuity of Open image in new window implies the continuity of Open image in new window .

A sequence of successive approximations of Open image in new window starting from Open image in new window is a sequence Open image in new window of elements in Open image in new window with Open image in new window , for Open image in new window .

we denote the graph of the multivalued operator Open image in new window .

If Open image in new window , then Open image in new window denote the iterate operators of Open image in new window .

Definition 2.1 (see [15]).

Let Open image in new window be a metric space. Then, Open image in new window is called a multivalued weakly Picard operator (briefly MWP operator) if for each Open image in new window and each Open image in new window there exists a sequence Open image in new window in Open image in new window such that

(i) Open image in new window and Open image in new window ;

(ii) Open image in new window for all Open image in new window ;

(iii)the sequence Open image in new window is convergent and its limit is a fixed point of Open image in new window .

For the following concepts see the papers by Rus et al. [15], Petruşel [10], Petruşel and Rus [16], and Rus et al. [9].

Definition 2.2.

Let Open image in new window be a metric space, and let Open image in new window be an MWP operator. The multivalued operator Open image in new window is defined by the formula Open image in new window there exists a sequence of successive approximations of Open image in new window starting from Open image in new window that converges to Open image in new window .

Definition 2.3.

Let Open image in new window be a metric space and Open image in new window an MWP operator. Then Open image in new window is said to be a Open image in new window -multivalued weakly Picard operator (briefly Open image in new window -MWP operator) if and only if there exists a selection Open image in new window of Open image in new window such that Open image in new window for all Open image in new window .

We recall now the notion of multivalued Picard operator.

Definition 2.4.

Let Open image in new window be a metric space and Open image in new window . By definition, Open image in new window is called a multivalued Picard operator (briefly MP operator) if and only if

(i) Open image in new window ;

(ii) Open image in new window as Open image in new window , for each Open image in new window .

In [10] other results on MWP operators are presented. For related concepts and results see, for example, [1, 17, 18, 19, 20, 21, 22, 23].

## 3. A Theory of Reich's Fixed Point Principle

We recall the fixed point theorem for a single-valued Reich-type operator, which is needed for the proof of our first main result.

Theorem 3.1 (see [3]).

Then Open image in new window is a Picard operator, that is, we have:

(i) Open image in new window ;

(ii)for each Open image in new window the sequence Open image in new window converges in Open image in new window to Open image in new window

Our main result concerning Reich's fixed point theorem is the following.

Theorem 3.2.

Let Open image in new window be a complete metric space, and let Open image in new window be a Reich-type multivalued Open image in new window -contraction. Let Open image in new window . Then one has the following

(i) Open image in new window ;

(ii) Open image in new window is a Open image in new window -multivalued weakly Picard operator;

(iii)let Open image in new window be a Reich-type multivalued Open image in new window -contraction and Open image in new window such that Open image in new window for each Open image in new window , then Open image in new window

(iv)let Open image in new window ( Open image in new window ) be a sequence of Reich-type multivalued Open image in new window -contraction, such that Open image in new window uniformly as Open image in new window . Then, Open image in new window as Open image in new window .

If, moreover Open image in new window for each Open image in new window , then one additionally has:

- (v)
(Ulam-Hyers stability of the inclusion Open image in new window ) Let Open image in new window and Open image in new window be such that Open image in new window then there exists Open image in new window such that Open image in new window ;

(vi) Open image in new window , Open image in new window is a set-to-set Open image in new window -contraction and (thus) Open image in new window ;

(vii) Open image in new window as Open image in new window , for each Open image in new window ;

(viii) Open image in new window and Open image in new window are compact;

(ix) Open image in new window for each Open image in new window .

- (i)Let Open image in new window and Open image in new window be arbitrarily chosen. Then, for each arbitrary Open image in new window there exists Open image in new window such that Open image in new window . Hence(3.2)

If we choose Open image in new window , then by (3.4) we get that the sequence Open image in new window is Cauchy and hence convergent in Open image in new window to some Open image in new window

- (ii)Let Open image in new window in (3.4). Then we get that(3.6)

- (iii)Let Open image in new window be arbitrarily chosen. Then, by (ii), we have that(3.10)

- (iv)
follows immediately from (iii).

- (v)Let Open image in new window and Open image in new window be such that Open image in new window . Then, since Open image in new window is compact, there exists Open image in new window such that Open image in new window . From the proof of (i), we have that(3.13)

- (vi)We will prove for any Open image in new window that(3.14)

Hence, Open image in new window is a Reich-type single-valued Open image in new window -contraction on the complete metric space Open image in new window . From Theorem 3.1 we obtain that

(a) Open image in new window and

(b) Open image in new window as Open image in new window , for each Open image in new window .

- (vii)
From (vi)-(b) we get that Open image in new window as Open image in new window , for each Open image in new window .

(viii)-(ix) Let Open image in new window be an arbitrary. Then Open image in new window Hence Open image in new window , for each Open image in new window . Moreover, Open image in new window . From (vii), we immediately get that Open image in new window . Hence Open image in new window . The proof is complete.

A second result for Reich-type multivalued Open image in new window -contractions formulates as follows.

Theorem 3.3.

- (x)
- (xi)
(Well-posedness of the fixed point problem with respect to Open image in new window [24]) If Open image in new window is a sequence in Open image in new window such that Open image in new window as Open image in new window , then Open image in new window as Open image in new window ;

- (xii)
(Well-posedness of the fixed point problem with respect to Open image in new window [24]) If Open image in new window is a sequence in Open image in new window such that Open image in new window as Open image in new window , then Open image in new window as Open image in new window .

- (x)
Let Open image in new window . Note that Open image in new window . Indeed, if Open image in new window , then Open image in new window . Thus Open image in new window .

- (xi)
Let Open image in new window be a sequence in Open image in new window such that Open image in new window as Open image in new window . Then, Open image in new window Open image in new window Open image in new window Open image in new window Open image in new window Open image in new window Open image in new window . Then Open image in new window as Open image in new window .

- (xii)
follows by (xi) since Open image in new window as Open image in new window .

A third result for the case of Open image in new window -contraction is the following.

Theorem 3.4.

Let Open image in new window be a complete metric space, and let Open image in new window be a Reich-type multivalued Open image in new window -contraction such that Open image in new window . Then one has

(xiii) Open image in new window as Open image in new window , for each Open image in new window ;

(xiv) Open image in new window for each Open image in new window ;

(xv)If Open image in new window is a sequence such that Open image in new window as Open image in new window and Open image in new window is Open image in new window -continuous, then Open image in new window as Open image in new window .

- (xiii)
From the fact that Open image in new window and Theorem 3.2 (vi) we have that Open image in new window . The conclusion follows by Theorem 3.2 (vii).

- (xiv)
Let Open image in new window be an arbitrary. Then Open image in new window , and thus Open image in new window . On the other hand Open image in new window . Thus Open image in new window , for each Open image in new window .

- (xv)
Let Open image in new window be a sequence such that Open image in new window as Open image in new window . Then, we have Open image in new window as Open image in new window . The proof is complete.

For compact metric spaces we have the following result.

Theorem 3.5.

- (xvi)
if Open image in new window is such that Open image in new window as Open image in new window , then there exists a subsequence Open image in new window of Open image in new window such that Open image in new window as Open image in new window (generalized well-posedness of the fixed point problem with respect to Open image in new window [24, 25]).

- (xvi)Let Open image in new window be a sequence in Open image in new window such that Open image in new window as Open image in new window . Let Open image in new window be a subsequence of Open image in new window such that Open image in new window as Open image in new window . Then, there exists Open image in new window , such that Open image in new window as Open image in new window . Then Open image in new window . Hence(3.19)

as Open image in new window Hence Open image in new window .

Remark 3.6.

For Open image in new window we obtain the results given in [4]. On the other hand, our results unify and generalize some results given in [12, 13, 17, 26, 27, 28, 29, 30, 31, 32, 33, 34]. Notice that, if the operator Open image in new window is singlevalued, then we obtain the well-posedness concept introduced in [35].

Remark 3.7.

An open question is to present a theory of the Ćirić-type multivalued contraction theorem (see [36]). For some problems for other classes of generalized contractions, see for example, [17, 21, 27, 34, 37].

## Notes

### Acknowledgments

The second and the forth authors wish to thank National Council of Research of Higher Education in Romania (CNCSIS) by "Planul National, PN II (2007–2013)—Programul IDEI-1239" for the provided financial support. The authors are grateful for the reviewer(s) for the careful reading of the paper and for the suggestions which improved the quality of this work.

## References

- 1.Covitz H, Nadler, SB Jr.:
**Multi-valued contraction mappings in generalized metric spaces.***Israel Journal of Mathematics*1970,**8:**5–11. 10.1007/BF02771543MathSciNetCrossRefMATHGoogle Scholar - 2.Hu S, Papageorgiou NS:
*Handbook of Multivalued Analysis. Vol. I, Mathematics and Its Applications*. Kluwer Academic Publishers, Dordrecht, The Netherlands; 1997:xvi+964.CrossRefGoogle Scholar - 3.Reich S:
**Fixed points of contractive functions.***Bollettino della Unione Matematica Italiana*1972,**5:**26–42.MathSciNetMATHGoogle Scholar - 4.Petruşel A, Rus IA:
**The theory of a metric fixed point theorem for multivalued operators.**In*Proceedings of the 9th International Conference on Fixed Point Theory and Its Applications*. Yokohama Publishing; to appearGoogle Scholar - 5.Rus IA:
**The theory of a metrical fixed point theoremml: theoretical and applicative relevances.***Fixed Point Theory*2008,**9**(2):541–559.MathSciNetMATHGoogle Scholar - 6.Border KC:
*Fixed Point Theorems with Applications to Economics and Game Theory*. Cambridge University Press, Cambridge, UK; 1985:viii+129.CrossRefMATHGoogle Scholar - 7.Kirk WA, Sims B (Eds):
*Handbook of Metric Fixed Point Theory*. Kluwer Academic Publishers, Dordrecht, The Netherlands; 2001:xiv+703.MATHGoogle Scholar - 8.Granas A, Dugundji J:
*Fixed Point Theory, Springer Monographs in Mathematics*. Springer, New York, NY, USA; 2003:xvi+690.CrossRefMATHGoogle Scholar - 9.Rus IA, Petruşel A, Petruşel G:
*Fixed Point Theory*. Cluj University Press, Cluj-Napoca, Romania; 2008.MATHGoogle Scholar - 10.Petruşel A:
**Multivalued weakly Picard operators and applications.***Scientiae Mathematicae Japonicae*2004,**59**(1):169–202.MathSciNetMATHGoogle Scholar - 11.Rus IA:
*Generalized Contractions and Applications*. Cluj University Press, Cluj-Napoca, Romania; 2001.MATHGoogle Scholar - 12.Barnsley MF:
*Fractals Everywhere*. 2nd edition. Academic Press, Boston, Mass, USA; 1988:xiv+534.MATHGoogle Scholar - 13.Hutchinson JE:
**Fractals and self-similarity.***Indiana University Mathematics Journal*1981,**30**(5):713–747. 10.1512/iumj.1981.30.30055MathSciNetCrossRefMATHGoogle Scholar - 14.Yamaguti M, Hata M, Kigami J:
*Mathematics of Fractals, Translations of Mathematical Monographs*.*Volume 167*. American Mathematical Society, Providence, RI, USA; 1997:xii+78.MATHGoogle Scholar - 15.Rus IA, Petruşel A, Sîntămărian Alina:
**Data dependence of the fixed point set of some multivalued weakly Picard operators.***Nonlinear Analysis. Theory, Methods & Applications*2003,**52**(8):1947–1959. 10.1016/S0362-546X(02)00288-2MathSciNetCrossRefMATHGoogle Scholar - 16.Petruşel A, Rus IA: Dynamics on Open image in new window generated by a finite family of multi-valued operators on (X, d)
*Mathematica Moravica*2001,**5:**103–110.MATHGoogle Scholar - 17.Agarwal RP, Dshalalow JH, O'Regan D:
**Fixed point and homotopy results for generalized contractive maps of Reich type.***Applicable Analysis*2003,**82**(4):329–350. 10.1080/0003681031000098470MathSciNetCrossRefMATHGoogle Scholar - 18.Andres J, Górniewicz L:
**On the Banach contraction principle for multivalued mappings.**In*Approximation, Optimization and Mathematical Economics (Pointe-à-Pitre, 1999)*. Physica, Heidelberg, Germany; 2001:1–23.CrossRefGoogle Scholar - 19.Andres J, Fišer J:
**Metric and topological multivalued fractals.***International Journal of Bifurcation and Chaos in Applied Sciences and Engineering*2004,**14**(4):1277–1289. 10.1142/S021812740400979XMathSciNetCrossRefMATHGoogle Scholar - 20.Espínola R, Petruşel A:
**Existence and data dependence of fixed points for multivalued operators on gauge spaces.***Journal of Mathematical Analysis and Applications*2005,**309**(2):420–432. 10.1016/j.jmaa.2004.07.006MathSciNetCrossRefMATHGoogle Scholar - 21.Frigon M:
**Fixed point results for multivalued contractions on gauge spaces.**In*Set Valued Mappings with Applications in Nonlinear Analysis*.*Volume 4*. Taylor & Francis, London, UK; 2002:175–181.Google Scholar - 22.Frigon M:
**Fixed point and continuation results for contractions in metric and gauge spaces.**In*Fixed Point theory and Its Applications*.*Volume 77*. Polish Academy of Sciences, Warsaw, Poland; 2007:89–114.CrossRefGoogle Scholar - 23.Jachymski J:
**Continuous dependence of attractors of iterated function systems.***Journal of Mathematical Analysis and Applications*1996,**198**(1):221–226. 10.1006/jmaa.1996.0077MathSciNetCrossRefMATHGoogle Scholar - 24.Petruşel A, Rus IA:
**Well-posedness of the fixed point problem for multivalued operators.**In*Applied Analysis and Differential Equations*. Edited by: Cârja O, Vrabie II. World Scientific Publishing, Hackensack, NJ, USA; 2007:295–306.CrossRefGoogle Scholar - 25.Petruşel A, Rus IA, Yao J-C:
**Well-posedness in the generalized sense of the fixed point problems for multivalued operators.***Taiwanese Journal of Mathematics*2007,**11**(3):903–914.MathSciNetMATHGoogle Scholar - 26.Fraser RB Jr., Nadler SB Jr.:
**Sequences of contractive maps and fixed points.***Pacific Journal of Mathematics*1969,**31:**659–667.MathSciNetCrossRefMATHGoogle Scholar - 27.Jachymski J, Józwik I:
**Nonlinear contractive conditions: a comparison and related problems.**In*Fixed Point Theory and Its Applications, Banach Center Publications*.*Volume 77*. Polish Academy of Sciences, Warsaw, Poland; 2007:123–146.CrossRefGoogle Scholar - 28.Lim T-C:
**On fixed point stability for set-valued contractive mappings with applications to generalized differential equations.***Journal of Mathematical Analysis and Applications*1985,**110**(2):436–441. 10.1016/0022-247X(85)90306-3MathSciNetCrossRefMATHGoogle Scholar - 29.Markin JT:
**Continuous dependence of fixed point sets.***Proceedings of the American Mathematical Society*1973,**38:**545–547. 10.1090/S0002-9939-1973-0313897-4MathSciNetCrossRefMATHGoogle Scholar - 30.Nadler SB Jr.:
**Multi-valued contraction mappings.***Pacific Journal of Mathematics*1969,**30:**475–488.MathSciNetCrossRefMATHGoogle Scholar - 31.Papageorgiou NS:
**Convergence theorems for fixed points of multifunctions and solutions of differential inclusions in Banach spaces.***Glasnik Matematički. Serija III*1988,**23**(2):247–257.MathSciNetMATHGoogle Scholar - 32.Reich S:
**Kannan's fixed point theorem.***Bollettino della Unione Matematica Italiana*1971,**4:**1–11.MATHGoogle Scholar - 33.Reich S:
**Some remarks concerning contraction mappings.***Canadian Mathematical Bulletin*1971,**14:**121–124. 10.4153/CMB-1971-024-9MathSciNetCrossRefMATHGoogle Scholar - 34.Rus IA:
**Fixed point theorems for multi-valued mappings in complete metric spaces.***Mathematica Japonica*1975,**20:**21–24.MathSciNetGoogle Scholar - 35.Reich S, Zaslavski AJ:
**Well-posedness of fixed point problems.***Far East Journal of Mathematical Sciences*2001, 393–401.Google Scholar - 36.Ćirić LB:
**Fixed points for generalized multi-valued contractions.***Matematički Vesnik*1972,**9(24):**265–272.MathSciNetMATHGoogle Scholar - 37.Xu H-K:
**Metric fixed point theory for multivalued mappings.***Dissertationes Mathematicae*2000,**389:**39.CrossRefMathSciNetMATHGoogle Scholar

## Copyright information

This article is published under license to BioMed Central Ltd. 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.