- Research Article
- Open Access
- Published:

# Coincidence Theorems for Certain Classes of Hybrid Contractions

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

## Abstract

Coincidence and fixed point theorems for a new class of hybrid contractions consisting of a pair of single-valued and multivalued maps on an arbitrary nonempty set with values in a metric space are proved. In addition, the existence of a common solution for certain class of functional equations arising in dynamic programming, under much weaker conditions are discussed. The results obtained here in generalize many well known results.

## 1. Introduction

Nadler's multivalued contraction theorem [1] (see also Covitz and Nadler, Jr. [2]) was subsequently generalized among others by Reich [3] and Ćirić [4]. For a fundamental development of fixed point theory for multivalued maps, one may refer to Rus [5]. Hybrid contractive conditions, that is, contractive conditions involving single-valued and multivalued maps are the further addition to metric fixed point theory and its applications. For a comprehensive survey of fundamental development of hybrid contractions and historical remarks, refer to Singh and Mishra [6] (see also Naimpally et al. [7] and Singh and Mishra [8]).

Recently Suzuki [9, Theorem 2] obtained a forceful generalization of the classical Banach contraction theorem in a remarkable way. Its further outcomes by Kikkawa and Suzuki [10, 11], Moţ and Petruşel [12] and Dhompongsa and Yingtaweesittikul [13], are important contributions to metric fixed point theory. Indeed, [10, Theorem 2] (see Theorem 2.1 below) presents an extension of [9, Theorem 2] and a generalization of the multivalued contraction theorem due to Nadler, Jr. [1]. In this paper we obtain a coincidence theorem (Theorem 3.1) for a pair of single-valued and multivalued maps on an arbitrary nonempty set with values in a metric space and derive fixed point theorems which generalize Theorem 2.1 and certain results of Reich [3], Zamfirescu [14], Moţ and Petruşel [12], and others. Further, using a corollary of Theorem 3.1, we obtain another fixed point theorem for multivalued maps. We also deduce the existence of a common solution for Suzuki-Zamfirescu type class of functional equations under much weaker contractive conditions than those in Bellman [15], Bellman and Lee [16], Bhakta and Mitra [17], Baskaran and Subrahmanyam [18], and Pathak et al. [19].

## 2. Suzuki-Zamfirescu Hybrid Contraction

For the sake of brevity, we follow the following notations, wherein and are maps to be defined specifically in a particular context while and are the elements of specific domains:

Consistent with Nadler, Jr. [20, page 620], will denote an arbitrary nonempty set, a metric space, and (resp. ) the collection of nonempty closed (resp., closed and bounded) subsets of For and

The hyperspace is called the generalized Hausdorff metric space induced by the metric on

For any subsets of , denotes the ordinary distance between the subsets and while

As usual, we write (resp., for (resp., ) when

In all that follows is a strictly decreasing function from onto defined by

Recently Kikkawa and Suzuki [10] obtained the following generalization of Nadler, Jr. [1].

Theorem 2.1.

Let be a complete metric space and Assume that there exists such that

(KSC)

for all Then has a fixed point.

For the sake of brevity and proper reference, the assumption (KSC) will be called Kikkawa-Suzuki multivalued contraction.

Definition 2.2.

Maps and are said to be Suzuki-Zamfirescu hybrid contraction if and only if there exists such that

(S-Z) implies

for all

A map satisfying

(CG)

for all where , is called Ćirić-generalized contraction. Indeed, Ćirić [4] showed that a Ćirić generalized contraction has a fixed point in a -orbitally complete metric space

It may be mentioned that in a comprehensive comparison of 25 contractive conditions for a single-valued map in a metric space, Rhoades [21] has shown that the conditions (CG) and (Z) are, respectively, the conditions () and () when is a single-valued map, where

(Z) for all .

Obiviously, (Z) implies (CG). Further, Zamfirescu's condition [14] is equivalent to (Z) when is single-valued (see Rhoades [21, pages 259 and 266]).

The following example indicates the importance of the condition (S-Z).

Example 2.3.

Let be endowed with the usual metric and let and be defined by

Then does not satisfy the condition (KSC). Indeed, for

and this does not imply

Further, as easily seen, does not satisfy (CG) for . However, it can be verified that the pair and satisfies the assumption (S-Z). Notice that does not satisfy the condition (S-Z) when and is the identity map.

We will need the following definitions as well.

Definition 2.4 (see [4]).

An orbit for at is a sequence A space is called -orbitally complete if and only if every Cauchy sequence of the form converges in

Definition 2.5.

Let and If for a point there exists a sequence in such that then

is the orbit for at We will use as a set and a sequence as the situation demands. Further, a space is -orbitally complete if and only if every Cauchy sequence of the form converges in

As regards the existence of a sequence in the metric space , the sufficient condition is that However, in the absence of this requirement, for some a sequence may be constructed some times. For instance, in the above example, the range of is not contained in the range of but we have the sequence for So we have the following definition.

Definition 2.6.

If for a point there exists a sequence in such that the sequence converges in then is called -orbitally complete with respect to or simply -orbitally complete.

We remark that Definitions 2.5 and 2.6 are essentially due to Rhoades et al. [22] when In Definition 2.6, if and is the identity map on the -orbital completeness will be denoted simply by -orbitally complete.

Definition 2.7 ([23], see also [8]).

Maps and are IT-commuting at if

We remark that IT-commuting maps are more general than commuting maps, weakly commuting maps and weakly compatible maps at a point. Notice that if is also single-valued, then their IT-commutativity and commutativity are the same.

## 3. Coincidence and Fixed Point Theorems

Theorem 3.1.

Assume that the pair of maps and is a Suzuki-Zamfirescu hybrid contraction such that If there exists an such that is -orbitally complete, then and have a coincidence point; that is, there exists such that

Further, if then and have a common fixed point provided that and are IT-commuting at and is a fixed point of .

Proof.

Without any loss of generality, we may take and a nonconstant map. Let Pick We construct two sequences and in the following manner. Since we take an element such that Similarly, we choose such that

If then and we are done as is a coincidence point of and So we take . In an analogous manner, choose such that

If then and we are done So we take and continue the process. Inductively, we construct sequences and such that and

Now we see that

Therefore by the condition (S-Z),

This yields

where

Therefore the sequence is Cauchy in Since is -orbitally complete, it has a limit in Call it Let Then and

Now as in [10], we show that

for any Since there exists a positive integer such that

Therefore for

Therefore by the condition (S-Z),

Making

This yields (3.7);

Next we show that

for any If then it holds trivially. So we suppose such that Such a choice is permissible as is not a constant map.

Therefore using (3.7),

Hence

This implies (3.12), and so

Making

So since is closed.

Further, if and are IT-commuting at that is, then , and this proves that is a fixed point of

We remark that, in general, a pair of continuous commuting maps at their coincidences need not have a common fixed point unless has a fixed point (see, e.g., [6–8]).

Corollary 3.2.

Let Assume that there exists such that

for all If there exists a such that is -orbitally complete, then has a fixed point.

Proof.

It comes from Theorem 3.1 when and is the identity map on

The following two results are the extensions of Suzuki [9, Theorem 2]. Corollary 3.3 also generalizes the results of Kikkawa and Suzuki [10, Theorem 3] and Jungck [24].

Corollary 3.3.

Let be such that and is an -orbitally complete subspace of Assume that there exists such that

implies

for all Then and have a coincidence point; that is, there exists such that

Further, if and and commute at then and have a unique common fixed point.

Proof.

Set for every Then it comes from Theorem 3.1 that there exists such that Further, if and and commute at then Also, and this implies

This yields that is a common fixed point of and The uniqueness of the common fixed point follows easily.

Corollary 3.4.

Let be such that is -orbitally complete. Assume that there exists such that

for all Then has a unique fixed point.

Proof.

It comes from Corollary 3.2 that has a fixed point. The uniqueness of the fixed point follows easily.

Theorem 3.5.

Let and be such that and let be -orbitally complete. Assume that there exists such that

implies

for all Then there exists such that

Proof.

Choose Define a single-valued map as follows. For each let be a point of which satisfies

Since So (3.22) gives

and this implies (3.23). Therefore

This means that Corollary 3.3 applies as

Hence and have a coincidence at Clearly implies

Now we have the following:

Theorem 3.6.

Let and let be -orbitally complete. Assume that there exists such that implies

for all Then has a unique fixed point.

Proof.

For , define a single-valued map as follows. For each let be a point of such that

Now following the proof technique of Theorem 3.5 and using Corollary 3.4, we conclude that has a unique fixed point Clearly implies that

Now we close this section with the following.

Question 1.

Can we replace Assumption (3.17) in Corollary 3.2 by the following:

implies

for all ?

## 4. Applications

Throughout this section, we assume that and are Banach spaces, and Let denote the field of reals, and Viewing and as the state and decision spaces respectively, the problem of dynamic programming reduces to the problem of solving the functional equations:

In the multistage process, some functional equations arise in a natural way (cf. Bellman [15] and Bellman and Lee [16]); see also [17–19, 25]). In this section, we study the existence of the common solution of the functional equations (4.1), (4.2) arising in dynamic programming.

Let denote the set of all bounded real-valued functions on For an arbitrary , define Then is a Banach space. Suppose that the following conditions hold:

(DP-1) and are bounded.

(DP-2)Let be defined as in the previous section. There exists such that for every and

implies

where and are defined as follows:

(DP-3)For any there exists such that

(DP-4)There exists such that

Theorem 4.1.

Assume that the conditions (DP-1)–(DP-4) are satisfied. If is a closed convex subspace of then the functional equations (4.1) and (4.2) have a unique common bounded solution.

Proof.

Notice that is a complete metric space, where is the metric induced by the supremum norm on By (DP-1) and are self-maps of The condition (DP-3) implies that It follows from (DP-4) that and commute at their coincidence points.

Let be an arbitrary positive number and Pick and choose such that

where

Further,

Therefore, the first inequality in (DP-2) becomes

and this together with (4.8) and (4.10) implies

Similarly, (4.8), (4.9), and (4.11) imply

So, from (4.12) and (4.13), we have

Since the above inequality is true for any and is arbitrary, we find from (4.17) that

implies

Therefore Corollary 3.3 applies, wherein and correspond, respectively, to the maps and Therefore, and have a unique common fixed point that is, is the unique bounded common solution of the functional equations (4.1) and (4.2).

Corollary 4.2.

Suppose that the following conditions hold.

(i) and are bounded.

(ii)For defined earlier (cf. (DP-2) above), there exists such that for every and

implies

where is defined by (*). Then the functional equation (4.1) possesses a unique bounded solution in

Proof.

It comes from Theorem 4.1 when and as the conditions (DP-3) and (DP-4) become redundant in the present context.

## References

- 1.
Nadler SB Jr.:

**Multi-valued contraction mappings.***Pacific Journal of Mathematics*1969,**30:**475–488. - 2.
Covitz H, Nadler SB Jr.:

**Multi-valued contraction mappings in generalized metric spaces.***Israel Journal of Mathematics*1970,**8:**5–11. 10.1007/BF02771543 - 3.
Reich S:

**Fixed points of contractive functions.***Bollettino della Unione Matematica Italiana*1972,**5:**26–42. - 4.
Ćirić LB:

**Fixed points for generalized multi-valued contractions.***Matematički Vesnik*1972,**9(24):**265–272. - 5.
Rus IA:

*Generalized Contractions and Applications*. Cluj University Press, Cluj-Napoca, Romania; 2001:198. - 6.
Singh SL, Mishra SN:

**Nonlinear hybrid contractions.***Journal of Natural & Physical Sciences*1994,**5–8:**191–206. - 7.
Naimpally SA, Singh SL, Whitfield JHM:

**Coincidence theorems for hybrid contractions.***Mathematische Nachrichten*1986,**127:**177–180. 10.1002/mana.19861270112 - 8.
Singh SL, Mishra SN:

**Coincidences and fixed points of nonself hybrid contractions.***Journal of Mathematical Analysis and Applications*2001,**256**(2):486–497. 10.1006/jmaa.2000.7301 - 9.
Suzuki T:

**A generalized Banach contraction principle that characterizes metric completeness.***Proceedings of the American Mathematical Society*2008,**136**(5):1861–1869. - 10.
Kikkawa M, Suzuki T:

**Three fixed point theorems for generalized contractions with constants in complete metric spaces.***Nonlinear Analysis: Theory, Methods & Applications*2008,**69**(9):2942–2949. 10.1016/j.na.2007.08.064 - 11.
Kikkawa M, Suzuki T:

**Some similarity between contractions and Kannan mappings.***Fixed Point Theory and Applications*2008,**2008:**-8. - 12.
Moţ G, Petruşel A:

**Fixed point theory for a new type of contractive multivalued operators.***Nonlinear Analysis: Theory, Methods & Applications*2009,**70**(9):3371–3377. 10.1016/j.na.2008.05.005 - 13.
Dhompongsa S, Yingtaweesittikul H:

**Fixed points for multivalued mappings and the metric completeness.***Fixed Point Theory and Applications*2009,**2009:**-15. - 14.
Zamfirescu T:

**Fix point theorems in metric spaces.***Archiv der Mathematik*1972,**23:**292–298. 10.1007/BF01304884 - 15.
Bellman R:

*Methods of Nonliner Analysis. Vol. II, Mathematics in Science and Engineering*.*Volume 61*. Academic Press, New York, NY, USA; 1973:xvii+261. - 16.
Bellman R, Lee ES:

**Functional equations in dynamic programming.***Aequationes Mathematicae*1978,**17**(1):1–18. 10.1007/BF01818535 - 17.
Bhakta PC, Mitra S:

**Some existence theorems for functional equations arising in dynamic programming.***Journal of Mathematical Analysis and Applications*1984,**98**(2):348–362. 10.1016/0022-247X(84)90254-3 - 18.
Baskaran R, Subrahmanyam PV:

**A note on the solution of a class of functional equations.***Applicable Analysis*1986,**22**(3–4):235–241. 10.1080/00036818608839621 - 19.
Pathak HK, Cho YJ, Kang SM, Lee BS:

**Fixed point theorems for compatible mappings of type (P) and applications to dynamic programming.***Le Matematiche*1995,**50**(1):15–33. - 20.
Nadler SB Jr.:

*Hyperspaces of Sets, Monographs and Textbooks in Pure and Applied Mathematics*.*Volume 4*. Marcel Dekke, New York, NY, USA; 1978:xvi+707. - 21.
Rhoades BE:

**A comparison of various definitions of contractive mappings.***Transactions of the American Mathematical Society*1977,**226:**257–290. - 22.
Rhoades BE, Singh SL, Kulshrestha C:

**Coincidence theorems for some multivalued mappings.***International Journal of Mathematics and Mathematical Sciences*1984,**7**(3):429–434. 10.1155/S0161171284000466 - 23.
Itoh S, Takahashi W:

**Single-valued mappings, multivalued mappings and fixed-point theorems.***Journal of Mathematical Analysis and Applications*1977,**59**(3):514–521. 10.1016/0022-247X(77)90078-6 - 24.
Jungck G:

**Commuting mappings and fixed points.***The American Mathematical Monthly*1976,**83**(4):261–263. 10.2307/2318216 - 25.
Singh SL, Mishra SN:

**On a Ljubomir Ćirić fixed point theorem for nonexpansive type maps with applications.***Indian Journal of Pure and Applied Mathematics*2002,**33**(4):531–542.

## Acknowledgments

The authors thank the referees and Professor M. A. Khamsi for their appreciation and suggestions regarding this work. This research is supported by the Directorate of Research Development, Walter Sisulu University.

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

Singh, S., Mishra, S. Coincidence Theorems for Certain Classes of Hybrid Contractions.
*Fixed Point Theory Appl* **2010, **898109 (2009). https://doi.org/10.1155/2010/898109

Received:

Accepted:

Published:

### Keywords

- Functional Equation
- Contractive Condition
- Common Fixed Point
- Fixed Point Theory
- Common Solution