- Research Article
- Open Access
- Published:

# Common Fixed Point of Multivalued Generalized -Weak Contractive Mappings

*Fixed Point Theory and Applications*
**volume 2010**, Article number: 708984 (2010)

## Abstract

Fixed point and coincidence results are presented for multivalued generalized -weak contractive mappings on complete metric spaces, where is a lower semicontinuous function with and for all . Our results extend previous results by Zhang and Song (2009), as well as by Rhoades (2001), Nadler (1969), and Daffer and Kaneko (1995).

## 1. Introduction

Let be a metric space. We denote the family of all nonempty closed and bounded subsets of by .

A mapping is said to be -weak contractive if there exists a map with and for all such that

for all .

Also two mappings are called generalized -weak contractions if there exists a map with and for all such that

for all , where

A mapping is said to be a weak contraction if there exists such that

for all , where denotes the Hausdorff metric on induced by , that is,

for all , and where

A mapping is said to be -weak contractive if there exists a map with and for all such that

for all .

The concepts of weak and -weak contractive mappings were defined by Daffer and Kaneko [1] in 1995.

Many authors have studied fixed points for multivalued mappings. Among many others, see, for example, [1–4], and the references therein.

In the following theorem, Nadler [3] extended the Banach Contraction Principle to multivalued mappings.

Theorem 1.1.

Let be a complete metric space. Suppose is a contraction mapping in the sense that for some ,

for all . Then there exists a point such that (i.e., is a fixed point of ).

Daffer and Kaneko [1] proved the existence of a fixed point for a multivalued weak contraction mapping of a complete metric space into .

Theorem 1.2.

Let be a complete metric space and be such that

for some and for all (i.e., weak contraction). If is lower semicontinuous (l.s.c.), then there exists such that .

In Section 3 we extend Nadler and Daffer-Kaneko's theorems to multivalued generalized weak contraction mappings (see Definition 2.1).

Rhoades [5, Theorem ] proved the following fixed point theorem for -weak contractive single valued mappings, giving another generalization of the Banach Contraction Principle.

Theorem 1.3.

Let be a complete metric space, and let be a mapping such that

for every (i.e., -weak contractive), where is a continuous and nondecreasing function with and for all . Then has a unique fixed point.

By choosing , -weak contractions become mappings of Boyd and Wong type [6], and by defining for and , then -weak contractions become mappings of Reich type [7].

Recently Zhang and Song [8] proved the following theorem on the existence of a common fixed point for two single valued generalized -weak contraction mappings.

Theorem 1.4.

Let be a complete metric space, and let be two mappings such that for all

(i.e., generalized -weak contractions), where is an l.s.c. function with and for all . Then there exists a unique point such that .

In Section 4, we extend Theorem 1.3 by assuming to be only l.s.c., and extend Theorem 1.4 to multivalued mappings.

## 2. Preliminaries

In this paper, denotes a complete metric space and denotes the Hausdorff metric on .

Definition 2.1.

Two mappings are called generalized weak contractions if there exists such that

for all .

Definition 2.2.

Two mappings are called generalized -weak contractive if there exists a map with and for all such that

for all .

In the proof of our main results, we will use the following well-known lemma, and refer to Nadler [3] or Assad and Kirk [9] for its proof.

Lemma 2.3.

If and , then for each , there exists such that

## 3. Extension of Nadler and Daffer-Kaneko's Theorems

The following theorem extends Nadler and Daffer-Kaneko's Theorems to a coincidence theorem, without assuming to be l.s.c.

Theorem 3.1.

Let be a complete metric space, and let be two multivalued mappings such that for all ,

where (i.e., multivalued generalized weak contractions). Then there exists a point such that and (i.e., and have a common fixed point). Moreover, if either or is single valued, then this common fixed point is unique.

Proof.

Obviously if and only if is a common fixed point of and .

Let be such that . Let and . By Lemma 2.3, there exists such that . Again by using Lemma 2.3, there exists such that . By induction and using Lemma 2.3, we can find in this way a sequence in such that and

and and

It follows that

since if otherwise , then and so . Hence and this is a contradiction.

Similarly,

From (3.4) and (3.5), we conclude that

for all . Since and (3.6) holds, is a Cauchy sequence. Since is complete, there exists such that

We have

Letting in the above inequality, we conclude that . So . Since , we have .

Similarly, . Therefore, and have a common fixed point.

Furthermore, if is single valued, then this common fixed point is unique. In fact, if and are two common fixed points for and , then

Since , , and so .

Remark 3.2.

The last part of the proof of Theorem 3.1 shows that if are multivalued and is a common fixed point, and or is a singleton, then the common fixed point of and is unique.

By taking in Theorem 3.1, we get the following corollary that extends the Daffer and Kaneko theorem (Theorem 1.2).

Corollary 3.3.

Let be a complete metric space and let be such that

for some and for all (i.e., weak contraction). Then there exists such that .

Example 3.4.

Let be endowed with the Euclidean metric. Let be defined by and . Obviously,

So and have a common fixed point (), and since is single valued, this fixed point is unique.

## 4. Extension of Rhoades and Zhang-Song's Theorems

First we extend Zhang and Song's theorem (Theorem 1.4) to the case where one of the mappings is multivalued.

Theorem 4.1.

Let be a complete metric space and let and be two mappings such that for all ,

(i.e., generalized -weak contractive) where is l.s.c. with and for all . Then there exists a unique point such that .

Proof.

Unicity of the common fixed point follows from (4.1).

Obviously if and only if is a common fixed point of and .

Let and . Let . By Lemma 2.3, there exists such that

We let . Inductively, we let , and by Lemma 2.3, we choose such that

We break the argument into four steps.

Step 1.

Proof.

Using (4.1) and (4.3),

where

So . Hence by (4.4),

Also

where

So . Hence by (4.7),

Therefore, by (4.6) and (4.9), we conclude that

for all .

Therefore, the sequence is monotone nonincreasing and bounded below. So there exists such that

Since is l.s.c.,

By (4.4), we conclude that

and so . Hence .

Step 2.

is a bounded sequence.

Proof.

If were unbounded, then by Step 1, and are unbounded. We choose the sequence such that , is even and minimal in the sense that , and , and similarly is odd and minimal in the sense that , and is even and minimal in the sense that and , and is odd and minimal in the sense that and .

Obviously for every . By Step 1, there exists such that for all we have . So for every , we have and

Hence Also

and this shows that

So if is odd, then

where

and this shows that Since is l.s.c. and (4.16) holds, we have . So and this is a contradiction.

Step 3.

is Cauchy.

Proof.

Let . Since is bounded, for all . Obviously is decreasing. So there exists such that . We need to show that .

For every , there exists such that and

By (4.18), we conclude that

From Step 1 and (4.19), we have

So we may assume that for every , is odd and is even. Hence

where

This inequality shows that Since is l.s.c. and (4.21) holds, we have . Hence and so . Therefore, is a Cauchy sequence.

Step 4.

and have a common fixed point.

Proof.

Since is complete and is Cauchy, there exists such that For every

where

and this shows that

Since is l.s.c. and (4.23) holds, letting in (4.23) we get

So and hence . Since , then .Also

where

So from (4.26), we have

Thus , and hence . Therefore, .

Remark 4.2.

In the proof of Theorem in Zhang and Song [8], the boundedness of the sequence is used, but not proved. Also, for the proof that is a Cauchy sequence, the monotonicity of is used, without being explicitly mentioned.

In our proof of Theorem 4.1, which is different from [8, Theorem ], is not assumed to be nondecreasing.

The following theorem extends Rhoades' theorem by assuming to be only l.s.c..

Theorem 4.3.

Let be a complete metric space, and let be a mapping such that

for every (i.e., -weak contractive), where is an l.s.c. function with and for all . Then has a unique fixed point.

Proof.

The proof is similar to the proof of Theorem 4.1, by taking , and replacing with .

Remark 4.4.

With a similar proof as in Theorem 4.1, in Theorem 4.3 we can replace the inequality (4.29) by the following inequality (4.30) for two single valued mappings .

## 5. Conclusion and Future Directions

We have extended Nadler and Daffer-Kaneko's theorems to a coincidence theorem without assuming the lower semicontinuity of the mapping .

We have also extended Rhoades' theorem by assuming to be only l.s.c., as well as Zhang and Song's theorem to the case where one of the mappings is multivalued. Future directions to be pursued in the context of this research include the investigation of the case where both mappings in Zhang and Song's theorem are multivalued.

## References

- 1.
Daffer PZ, Kaneko H:

**Fixed points of generalized contractive multi-valued mappings.***Journal of Mathematical Analysis and Applications*1995,**192**(2):655–666. 10.1006/jmaa.1995.1194 - 2.
Chifu C, Petrusel G:

**Existence and data dependence of fixed points and strict fixed points for contractive-type multivalued operators.***Fixed Point Theory and Applications*2007,**2007:**-8. - 3.
Nadler SB:

**Multi-valued contraction mappings.***Pacific Journal of Mathematics*1969,**30:**475–488. - 4.
Shahzad N, Lone A:

**Fixed points of multimaps which are not necessarily nonexpansive.***Fixed Point Theory and Applications*2005, (2):169–176. - 5.
Rhoades BE:

**Some theorems on weakly contractive maps.***Nonlinear Analysis: Theory, Methods & Applications*2001,**47**(4):2683–2693. 10.1016/S0362-546X(01)00388-1 - 6.
Boyd DW, Wong JSW:

**On nonlinear contractions.***Proceedings of the American Mathematical Society*1969,**20:**458–464. 10.1090/S0002-9939-1969-0239559-9 - 7.
Reich S:

**Some fixed point problems.***Atti della Accademia Nazionale dei Lincei. Rendiconti. Classe di Scienze Fisiche, Matematiche e Naturali*1974,**57**(3–4):194–198. - 8.
Zhang Q, Song Y:

**Fixed point theory for generalized -weak contractions.***Applied Mathematics Letters*2009,**22**(1):75–78. 10.1016/j.aml.2008.02.007 - 9.
Assad NA, Kirk WA:

**Fixed point theorems for set-valued mappings of contractive type.***Pacific Journal of Mathematics*1972,**43:**553–562.

## Acknowledgment

This work is dedicated to Professor W. A. Kirk for his 70th birthday

## Author information

## Rights and permissions

**Open Access** This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

## About this article

### Cite this article

Djafari Rouhani, B., Moradi, S. Common Fixed Point of Multivalued Generalized -Weak Contractive Mappings.
*Fixed Point Theory Appl* **2010, **708984 (2010). https://doi.org/10.1155/2010/708984

Received:

Accepted:

Published:

### Keywords

- Differential Geometry
- Contraction Mapping
- Computational Biology
- Multivalued Mapping
- Common Fixed Point