- About this Journal ·
- Abstracting and Indexing ·
- Advance Access ·
- Aims and Scope ·
- Annual Issues ·
- Article Processing Charges ·
- Articles in Press ·
- Author Guidelines ·
- Bibliographic Information ·
- Citations to this Journal ·
- Contact Information ·
- Editorial Board ·
- Editorial Workflow ·
- Free eTOC Alerts ·
- Publication Ethics ·
- Reviewers Acknowledgment ·
- Submit a Manuscript ·
- Subscription Information ·
- Table of Contents

Abstract and Applied Analysis

Volume 2014 (2014), Article ID 718040, 8 pages

http://dx.doi.org/10.1155/2014/718040

## Unified Common Fixed Point Theorems for a Hybrid Pair of Mappings via an Implicit Relation Involving Altering Distance Function

^{1}Near Nehru Training Centre, H. No. 274, Nai Basti B-14, Bijnor, Uttar Pradesh 246701, India^{2}Department of Natural Resources Engineering and Management, University of Kurdistan, Erbil, Iraq^{3}Faculty of Mathematics, University of Belgrade, Studentski Trg 16, 11000 Belgrade, Serbia^{4}Department of Mathematics, Aligarh Muslim University, Aligarh 202 002, India

Received 1 October 2013; Accepted 19 December 2013; Published 9 January 2014

Academic Editor: Hassen Aydi

Copyright © 2014 Sunny Chauhan et al. 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.

#### Abstract

The object of this paper is to emphasize the role of a suitable implicit relation involving altering distance function which covers a multitude of contraction conditions in one go. By using this implicit relation, we prove a new coincidence and common fixed point theorem for a hybrid pair of occasionally coincidentally idempotent mappings in a metric space employing the common limit range property. Our main result improves and generalizes a host of previously known results. We also utilize suitable illustrative examples to substantiate the realized improvements in our results.

#### 1. Introduction and Preliminaries

Fixed point theory is one of the most rapidly growing research areas in nonlinear functional analysis. Apart from numerous extensions of Banach Contraction Principle for single valued mappings, it was also naturally extended to multivalued mappings by Nadler Jr. [1] in 1969 which is also sometimes referred to as Nadler Contraction Principle. Since then, there has been continuous and intense research activity in multimap fixed point theory (including hybrid fixed point results) and by now there exists an extensive literature on this specific theme (see, e.g., [2–7] and the references therein). The study of common fixed points of mappings satisfying hybrid contraction conditions has been at the center of vigorous research activity. Here, it can be pointed out that hybrid fixed theorems have numerous applications in science and engineering.

In the following lines, we present some definitions and their implications which will be utilized throughout this paper.

Let be a metric space. Then, on the lines of Nadler Jr. [1], we adopt that(1) is a nonempty closed subset of ,(2) is a nonempty closed and bounded subset of ,(3)for nonempty closed and bounded subsets of and ,

It is well known that is a metric space with the distance which is known as the Hausdorff-Pompeiu metric on . The following terminology is also standard.

Let be a metric space with and . Then(1)a point is a fixed point of (resp., ) if (resp., ). The set of all fixed points of (resp., ) is denoted by (resp., );(2)a point is a coincidence point of and if . The set of all coincidence points of and is denoted by ;(3)a point is a common fixed point of and if . The set of all common fixed points of and is denoted by .

In 1984, Khan et al. [8] utilized the idea of altering distance function in metric fixed point theory which is indeed a control function that alters distance between two points in a metric space. Thereafter, this idea has further been utilized by several mathematicians (see, e.g., [9–13]).

*Definition 1 (see [8]). *An altering distance function is a mapping which satisfies that is increasing and continuous and if and only if .

Certain ideas on commutativity and weak commutativity for a pair of hybrid mappings on metric spaces were utilized by Kaneko [14, 15]. In 1989, Singh et al. [16] extended the notion of compatible mappings to hybrid pair of mappings and proved some common fixed point theorems for nonlinear hybrid contractions. Such ways of proving new results continue to attract the attention of many researchers of this domain where it can be observed that under compatibility the fixed point results often require continuity of one of the underlying mappings.

Kamran [17] extended the property (E.A) (due to Aamri and El Moutawakil [18]) to a hybrid pair of mappings. Most recently, Imdad et al. [19] established common limit range property (essentially motivated by Sintunavarat and Kumam [20]) for a hybrid pair of mappings and proved some fixed point theorems in symmetric (or semimetric) spaces.

The notions of coincidentally idempotent and occasionally coincidentally idempotent hybrid pairs of mappings were, respectively, introduced and used by Imdad et al. [21] and Pathak and Rodríguez-López [22]. An easy and natural example is available in Kadelburg et al. [23, Example 1] exhibiting the importance of the occasionally coincidentally idempotent property over coincidentally idempotent property.

The technical definitions of the earlier mentioned notions are described in the following lines.

*Definition 2. *Let be a metric space with and . A hybrid pair of mappings is said to be(1)commuting on [14] if for all ,(2)weakly commuting on [15] if for all ,(3)compatible [16] if for all and , whenever is a sequence in such that and , as ,(4)noncompatible [24] if there exists at least one sequence in such that and , as , but is either nonzero or nonexistent,(5)with the property (E.A) [17] if there exists a sequence in such that
for some and ,(6)with common limit range property with respect to the mapping [19] if there exists a sequence in such that
for some and ,(7)coincidentally idempotent [21] if for every ; that is, is idempotent at the coincidence points of and, , and(8)occasionally coincidentally idempotent [22] if for some .

Some relations between the introduced notions can be seen in [25, 26].

*Remark 3. *Note that if a pair satisfies the property (E.A) along with the closedness of , then the pair also satisfies the common limit range property with respect to the mapping (see Theorem 7). However, common limit range property may be satisfied without the closedness of (e.g., Example 6).

In this paper, an attempt has been made to derive common fixed point theorems for a hybrid pair of mappings using the notion of common limit range property with occasionally coincidentally idempotent property involving implicit relations and altering distance. The presented theorems extend and unify various known fixed point results [21, 23, 24, 27–37]. Some examples are also furnished to exhibit that our results are proper extensions of the known ones.

#### 2. Implicit Relations

In the recent past, implicit relations have been utilized to prove unified common fixed points results covering various kinds of contraction mappings in one go. In fact, this idea was initiated by Popa [38, 39], where he introduced an implicit function which covers a variety of contraction classes. In [33], Popa and Patriciu introduced the following implicit function and utilized the same to prove some coincidence and common fixed point results for hybrid pair of mappings covering several contraction conditions.

In what follows, will be the set of all continuous functions satisfying the following conditions: is nondecreasing in its first variable; implies .

*Example 4 (see [33]). *The following functions are the examples of implicit function belonging to the set : (1)(2)
where ,(3)
where and ,(4)
where and ,(5)
where and ,(6)
where and ,(7)
where ,(8)
where , and ,(9)
where and ,(10)
where ,(11)
where and , and(12)

Certainly, apart from foregoing examples, there are many other functions that meet the requirements and .

#### 3. Main Results

Now we prove our main result.

Theorem 5. *Let be a self-mapping of a metric space and a mapping from into satisfying
**
for all , where and is an altering distance function. Suppose that the pair satisfies the common limit range property with respect to the mapping . Then the mappings and have a coincidence point (i.e., ).**Moreover, the mappings and have a common fixed point in provided that the pair is occasionally coincidentally idempotent.*

*Proof. *Suppose that the pair enjoys the common limit range property with respect to the mapping . Then there exists a sequence in such that
for some and . First we show that . To accomplish this, using inequality (16) with and , we obtain
Taking the limit as , we have
Since , we have . Using in inequality (19), we have
or, equivalently,
From the condition , we have which implies . Hence which shows that the pair has a coincidence point (i.e., ) so that the set of coincidence points is nonempty.

In the case that the mappings and are occasionally coincidentally idempotent; then for some , which implies . Now we assert that . On using inequality (16) with and , we get
Since , we have . Using in inequality (22), we get
or, equivalently,
In view of , we have which implies ; that is, . Thus in all, we have which shows that is a common fixed point of the mappings and .

*Example 6. *Consider equipped with the standard metric. Define mappings and as follows:
Then(i) is not closed in ;(ii);(iii)for , it is ; hence, enjoys the common limit range property with respect to the mapping ;(iv); hence, is occasionally coincidentally idempotent;(v); hence, is not coincidentally idempotent.

Define (which is an altering distance function), while is given by
(see Example 4 (10) with ). Write
In order to check the contractive condition (16) of Theorem 5, without loss of generality, we can suppose that . Then . Consider the following possible cases.(1)For the case , we have
(2)In the case , one finds
(3)If , then one can show on the lines of case (1) that .(4)If , then , , and
(5)If , , then
(6)The case is similar to the case (2).

Thus, all the conditions of Theorem 5 are satisfied and the pair has common fixed points (which are and ).

The same conclusion cannot be reached using [35, Theorem 3.1] or [33, Theorem 4.1], as is not closed and is not coincidentally idempotent.

Theorem 7. *Let be a self-mapping of a metric space and a mapping from into satisfying inequality (16) of Theorem 5. Suppose that the pair satisfies the property (E.A) and is a closed subset of ; then the mappings and have a coincidence point (i.e., ).**Moreover, the mappings and have a common fixed point in provided that the pair is occasionally coincidentally idempotent.*

*Proof. *If the pair enjoys the property (E.A), then there exists a sequence in such that
for some and . Since is a closed subset of , there exists some such that . Hence condition (32) implies
for some and which shows that the pair also satisfies the common limit range property with respect to the mapping . Now, the conclusions follow from Theorem 5.

*Example 8. *Consider equipped with the standard metric. Define mappings and as
Then(i) is closed in ;(ii);(iii)for , it is ; hence, enjoys the property (E.A);(iv); hence, is occasionally coincidentally idempotent;(v); hence, is not coincidentally idempotent.

Take (which is an altering distance function) and given by
(see Example 4(3) with , ). Denote
In order to check the contractive condition (16) of Theorem 5, without loss of generality, we can suppose that . Consider the following possible cases.(1)Consider . Then
(2)Consider . Then .(3)Consider . Then , , , and

Hence, all the conditions of Theorem 7 are fulfilled and the pair has a common fixed point (which is ).

The same conclusion cannot be obtained using, for example, [35, Theorem 3.1] or [33, Theorem 4.1], since is not coincidentally idempotent.

Notice that a noncompatible hybrid pair always satisfies the property (E.A). Hence, we get the following corollary.

Corollary 9. *Let be a self-mapping of a metric space and a mapping from into satisfying inequality (16) of Theorem 5. Suppose that the pair is noncompatible and is a closed subset of . Then the mappings and have a coincidence point (i.e., ).**Moreover, the mappings and have a common fixed point in provided that the pair is occasionally coincidentally idempotent.*

Corollary 10. *The conclusions of Theorems 5 and 7 and Corollary 9 remain true if inequality (16) is replaced by one of the following contraction conditions. For all and some ,**(1)**(2) **
where ,**(3) **
where and ,**(4) **
where and ,**(5) **
where and ,**(6) **
where and ,**(7) **
where ,**(8) **
where , , and ,**(9) **
where and ,**(10) **
where ,**(11) **
where and ,**(12)*

*Proof. *The conclusion follows from Theorem 5 in view of Example 4, (1)–(12).

On setting in the earlier defined theorems involving altering distance, we can get some natural results which improve hybrid type fixed point results given in the literature. For the sake of simplicity, we only derive the following corollary by putting in Theorem 5.

Corollary 11. *Let be a self-mapping of a metric space and a mapping from into satisfying
**
for all and some . Suppose that the pair satisfies the common limit range property with respect to the mapping . Then the mappings and have a coincidence point (i.e., ).*

#### Conflict of Interests

The authors declare that there is no conflict of interests regarding the publication of this paper.

#### Acknowledgments

The authors are grateful to the referees for careful reading of the text and useful remarks that helped them to improve it. The third author (Professor Zoran Kadelburg) is grateful to the Ministry of Education, Science and Technological Development of Serbia.

#### References

- S. B. Nadler Jr., “Multivalued contraction mappings,”
*Pacific Journal of Mathematics*, vol. 20, no. 2, pp. 457–488, 1969. - S. Chauhan, M. Imdad, E. Karapnar, and B. Fisher, “An integral type fixed point theorem for multi-valued mappings employing strongly tangential property,”
*Journal of the Egyptian Mathematical Society*, 2013. View at Publisher · View at Google Scholar - M. Imdad, M. S. Khan, and S. Sessa, “On some weak conditions of commutativity in common fixed point theorems,”
*International Journal of Mathematics and Mathematical Sciences*, vol. 11, no. 2, pp. 289–296, 1988. View at Publisher · View at Google Scholar · View at MathSciNet - N. Mizoguchi and W. Takahashi, “Fixed point theorems for multivalued mappings on complete metric spaces,”
*Journal of Mathematical Analysis and Applications*, vol. 141, no. 1, pp. 177–188, 1989. View at Publisher · View at Google Scholar · View at MathSciNet - S. A. Naimpally, S. L. Singh, and J. H. M. Whitfield, “Coincidence theorems for hybrid contractions,”
*Mathematische Nachrichten*, vol. 127, pp. 177–180, 1986. View at Publisher · View at Google Scholar · View at MathSciNet - S. Sessa, M. S. Khan, and M. Imdad, “A common fixed point theorem with a weak commutativity condition,”
*Glasnik Matematicki*, vol. 21, no. 41, pp. 225–235, 1986. View at MathSciNet - T. Suzuki, “Mizoguchi-Takahashi's fixed point theorem is a real generalization of Nadler's,”
*Journal of Mathematical Analysis and Applications*, vol. 340, no. 1, pp. 752–755, 2008. View at Publisher · View at Google Scholar · View at MathSciNet - M. S. Khan, M. Swaleh, and S. Sessa, “Fixed point theorems by altering distances between the points,”
*Bulletin of the Australian Mathematical Society*, vol. 30, no. 1, pp. 1–9, 1984. View at Publisher · View at Google Scholar · View at MathSciNet - M. Imdad, S. Chauhan, Z. Kadelburg, and C. Vetro, “Fixed point theorems for non-self mappings in symmetric spaces under
*ϕ*-weak contractive conditions and an application to functional equations in dynamic programming,”*Applied Mathematics and Computation*, vol. 227, pp. 469–479, 2014. - J. R. Morales and E. Rojas, “Some fixed point theorems by altering distance functions,”
*Palestine Journal of Mathematics*, vol. 1, no. 2, pp. 110–116, 2012. View at MathSciNet - H. K. Pathak and R. Sharma, “A note on fixed point theorems of Khan, Swaleh and Sessa,”
*The Mathematics Education*, vol. 28, no. 3, pp. 151–157, 1994. View at MathSciNet - V. Popa and M. Mocanu, “Altering distance and common fixed points under implicit relations,”
*Hacettepe Journal of Mathematics and Statistics*, vol. 38, no. 3, pp. 329–337, 2009. View at MathSciNet - K. P. R. Sastry and G. V. R. Babu, “Fixed point theorems in metric spaces by altering distances,”
*Bulletin of the Calcutta Mathematical Society*, vol. 90, no. 3, pp. 175–182, 1998. View at MathSciNet - H. Kaneko, “Single-valued and multivalued $f$-contractions,”
*Bollettino della Unione Matematica Italiana*, vol. 4, no. 1, pp. 29–33, 1985. View at MathSciNet - H. Kaneko, “A common fixed point of weakly commuting multi-valued mappings,”
*Mathematica Japonica*, vol. 33, no. 5, pp. 741–744, 1988. View at MathSciNet - S. L. Singh, K. S. Ha, and Y. J. Cho, “Coincidence and fixed points of nonlinear hybrid contractions,”
*International Journal of Mathematics and Mathematical Sciences*, vol. 12, no. 2, pp. 247–256, 1989. View at Publisher · View at Google Scholar · View at MathSciNet - T. Kamran, “Coincidence and fixed points for hybrid strict contractions,”
*Journal of Mathematical Analysis and Applications*, vol. 299, no. 1, pp. 235–241, 2004. View at Publisher · View at Google Scholar · View at MathSciNet - M. Aamri and D. El Moutawakil, “Some new common fixed point theorems under strict contractive conditions,”
*Journal of Mathematical Analysis and Applications*, vol. 270, no. 1, pp. 181–188, 2002. View at Publisher · View at Google Scholar · View at MathSciNet - M. Imdad, S. Chauhan, A. H. Soliman, and M. A. Ahmed, “Hybrid fixed point theorems in symmetric spaces via common limit range property,”
*Demonstratio Mathematica*. In press. - W. Sintunavarat and P. Kumam, “Common fixed point theorems for a pair of weakly compatible mappings in fuzzy metric spaces,”
*Journal of Applied Mathematics*, vol. 2011, Article ID 637958, 14 pages, 2011. View at Publisher · View at Google Scholar · View at MathSciNet - M. Imdad, A. Ahmad, and S. Kumar, “On nonlinear nonself hybrid contractions,”
*Radovi Matematički*, vol. 10, no. 2, pp. 233–244, 2001. View at MathSciNet - H. K. Pathak and R. Rodríguez-López, “Noncommutativity of mappings in hybrid fixed point results,”
*Boundary Value Problems*, vol. 2013, article 145, 2013. View at Publisher · View at Google Scholar · View at MathSciNet - Z. Kadelburg, S. Chauhan, and M. Imdad, “A hybrid common fixed point theorem under certain recent properties,”
*Science World Journal*. In press. - H. Kaneko and S. Sessa, “Fixed point theorems for compatible multi-valued and single-valued mappings,”
*International Journal of Mathematics and Mathematical Sciences*, vol. 12, no. 2, pp. 257–262, 1989. View at Publisher · View at Google Scholar · View at MathSciNet - M. Abbas, D. Gopal, and S. Radenovic, “A note on recently introduced commutative conditions,”
*Indian Journal of Mathematics*, vol. 55, no. 2, pp. 195–202, 2013. - Z. Kadelburg, S. Radenovic, and N. Shahzad, “A note on various classes of compatible-type pairs of mappings and common fixed point theorems,”
*Abstract and Applied Analysis*, vol. 2013, Article ID 697151, 6 pages, 2013. View at Publisher · View at Google Scholar - J. Ali and M. Imdad, “Common fixed points of nonlinear hybrid mappings under strict contractions in semi-metric spaces,”
*Nonlinear Analysis. Hybrid Systems*, vol. 4, no. 4, pp. 830–837, 2010. View at Publisher · View at Google Scholar · View at MathSciNet - S. Dhompongsa and H. Yingtaweesittikul, “Fixed points for multivalued mappings and the metric completeness,”
*Fixed Point Theory and Applications*, vol. 2009, Article ID 972395, 15 pages, 2009. View at MathSciNet - A. Amini-Harandi and D. O'Regan, “Fixed point theorems for set-valued contraction type maps in metric spaces,”
*Fixed Point Theory and Applications*, vol. 2010, Article ID 390183, 7 pages, 2010. View at MathSciNet - M. Imdad and A. H. Soliman, “Some common fixed point theorems for a pair of tangential mappings in symmetric spaces,”
*Applied Mathematics Letters*, vol. 23, no. 4, pp. 351–355, 2010. View at Publisher · View at Google Scholar · View at MathSciNet - H. K. Pathak, S. M. Kang, and Y. J. Cho, “Coincidence and fixed point theorems for nonlinear hybrid generalized contractions,”
*Czechoslovak Mathematical Journal*, vol. 48, no. 2, pp. 341–357, 1998. View at Publisher · View at Google Scholar · View at MathSciNet - H. K. Pathak and M. S. Khan, “Fixed and coincidence points of hybrid mappings,”
*Archivum Mathematicum*, vol. 38, no. 3, pp. 201–208, 2002. View at MathSciNet - V. Popa and A. M. Patriciu, “Coincidence and common fixed points for hybrid mappings satisfying an implicit relation and applications,”
*Thai Journal of Mathematics*. In press. - S. L. Singh and A. M. Hashim, “New coincidence and fixed point theorems for strictly contractive hybrid maps,”
*The Australian Journal of Mathematical Analysis and Applications*, vol. 2, no. 1, article 12, 2005. View at MathSciNet - W. Sintunavarat and P. Kumam, “Coincidence and common fixed points for hybrid strict contractions without the weakly commuting condition,”
*Applied Mathematics Letters*, vol. 22, no. 12, pp. 1877–1881, 2009. View at Publisher · View at Google Scholar · View at MathSciNet - S. L. Singh and S. N. Mishra, “Coincidences and fixed points of nonself hybrid contractions,”
*Journal of Mathematical Analysis and Applications*, vol. 256, no. 2, pp. 486–497, 2001. View at Publisher · View at Google Scholar · View at MathSciNet - S. L. Singh and S. N. Mishra, “Coincidence theorems for certain classes of hybrid contractions,”
*Fixed Point Theory and Applications*, vol. 2010, Article ID 898109, 14 pages, 2010. View at MathSciNet - V. Popa, “Fixed point theorems for implicit contractive mappings,”
*Studii şi Cercetări Ştiinţifice. Seria Matematică*, no. 7, pp. 127–133, 1997. View at MathSciNet - V. Popa, “Some fixed point theorems for compatible mappings satisfying an implicit relation,”
*Demonstratio Mathematica*, vol. 32, no. 1, pp. 157–163, 1999. View at MathSciNet