- Research Article
- Open Access

# Common Fixed Point of Multivalued Generalized -Weak Contractive Mappings

- Behzad Djafari Rouhani
^{1}Email author and - Sirous Moradi
^{2}

**2010**:708984

https://doi.org/10.1155/2010/708984

© B. Djafari Rouhani and S. Moradi. 2010

**Received:**18 September 2009**Accepted:**10 January 2010**Published:**26 January 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).

## Keywords

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

## 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.

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.

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.

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.

(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.

for all .

Definition 2.2.

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.

## 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.

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 .

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

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

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

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

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.

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

Example 3.4.

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.

(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 .

We break the argument into four steps.

Step 1.

Proof.

for all .

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 .

and this shows that

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 .

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.

and this shows that

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.

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.

## 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.

## Declarations

### Acknowledgment

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

## Authors’ Affiliations

## References

- 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.1194MathSciNetView ArticleMATHGoogle Scholar - 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.Google Scholar - Nadler SB:
**Multi-valued contraction mappings.***Pacific Journal of Mathematics*1969,**30:**475–488.MathSciNetView ArticleMATHGoogle Scholar - Shahzad N, Lone A:
**Fixed points of multimaps which are not necessarily nonexpansive.***Fixed Point Theory and Applications*2005, (2):169–176.MathSciNetMATHGoogle Scholar - Rhoades BE:
**Some theorems on weakly contractive maps.***Nonlinear Analysis: Theory, Methods & Applications*2001,**47**(4):2683–2693. 10.1016/S0362-546X(01)00388-1MathSciNetView ArticleMATHGoogle Scholar - Boyd DW, Wong JSW:
**On nonlinear contractions.***Proceedings of the American Mathematical Society*1969,**20:**458–464. 10.1090/S0002-9939-1969-0239559-9MathSciNetView ArticleMATHGoogle Scholar - 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.MathSciNetMATHGoogle Scholar - 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.007MathSciNetView ArticleMATHGoogle Scholar - Assad NA, Kirk WA:
**Fixed point theorems for set-valued mappings of contractive type.***Pacific Journal of Mathematics*1972,**43:**553–562.MathSciNetView ArticleMATHGoogle Scholar

## Copyright

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.