- About this Journal ·
- Abstracting and Indexing ·
- 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 803729, 11 pages
Tripled Coincidence and Common Fixed Point Results for Two Pairs of Hybrid Mappings
1Department of Mathematics, King Abdul Aziz University, Jeddah, Saudi Arabia
2Department of Mathematics, COMSATS Institute of Information Technology, Chack Shahzad, Islamabad 44000, Pakistan
3Department of Mathematics & Applied Mathematics, University of Pretoria, Pretoria 002, South Africa
4Department of Mathematics, International Islamic University, H-10, Islamabad 44000, Pakistan
Received 26 August 2013; Accepted 24 December 2013; Published 30 January 2014
Academic Editor: Patricia J. Y. Wong
Copyright © 2014 Marwan Amin Kutbi 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.
The tripled fixed point is a generalization of the well-known concept of “coupled fixed point.” In this paper, tripled coincidence and common fixed point results for two hybrid pairs consisting of multivalued and single valued mappings on a metric space are proved. We give examples to illustrate our results. In the process, several comparable coincidence and fixed point results in the existing literature are improved, unified, and generalized.
1. Introduction and Preliminaries
The study of fixed points for multivalued contraction mappings using the Hausdorff metric was initiated by Nadler Jr. . After this, fixed point theory has been developed further and applied to many disciplines to solve functional equations. Banach contraction principle has been extended in different directions. Some authors used generalized contractions for multivalued mappings and hybrid pairs of single and multi-valued mappings, while others used more general spaces. Dhage [2, 3] established hybrid fixed point theorems and obtained some applications of presented results. Gnana Bhaskar and Lakshmikantham  introduced the notion of a coupled fixed point and proved some coupled fixed point results under certain contractive conditions in a complete metric space endowed with a partial order. They applied their results to study the existence and uniqueness of solution for a periodic boundary value problem associated with a first-order ordinary differential equation. Later, Lakshmikantham and Ćirić  established the existence of coupled coincidence point results to generalize the results of Gnana Bhaskar and Lakshmikantham ; Karapınar  generalized these results on a complete cone metric space endowed with a partial order. Recently, Berinde and Borcut [7, 8] introduced the concept of a tripled fixed point for nonlinear contractive mappings in partially ordered complete metric spaces and obtained tripled coincidence and fixed point results for commuting maps. Hussain et al. [9, 10] obtained some coupled and tripled coincidence results without compatibility. Ilić et al.  obtained coupled coincidence and common fixed point theorems for a hybrid pair of mappings. For other related results in this direction, we refer to [12–16] and references mentioned therein. The purpose of this paper is to obtain tripled coincidence and common fixed point results for two hybrid pairs consisting of multivalued and single valued mappings.
Let us recall some definitions and well known results needed in the sequel.
Let be a metric space. For and , we denote . The set of all nonempty bounded and closed subsets of is denoted by . Let be the Hausdorff metric induced by the metric on ; that is, for every .
Lemma 1 (see ). Let and . Then, for every , there exists such that
Lemma 2 (see ). Let and . Then, for every , there exists such that
Lemma 3 (see ). Let . If , then .
Definition 4. Let be a nonempty set, (collection of all nonempty subsets of and . An element is called (i) a tripled fixed point of if , , and (ii) tripled coincidence point of a hybrid pair if , and (iii) tripled common fixed point of a hybrid pair if , , and .
We denote the set of tripled coincidence point of a hybrid pair by . Note that if , then and are also in .
Definition 5. Let and . Then the hybrid pair is called -compatible if whenever .
Definition 6. Let and . The mapping is called -idempotent at some point if , , and .
2. Main Result
Theorem 7. Let be a metric space, and let be mappings such that for all , where , , are nonnegative real such that If and is complete subset of , then and have tripled coincidence point. Moreover and have tripled common fixed point if one of the following conditions holds:(i) and are w-compatible, , and for some , and is continuous at , , ;(ii)if , , and and is -idempotent for ;(iii) is continuous at , , for some and for some ; ; and and .
Proof. Let be arbitrary. Choose such that , and . Choose such that , , and . This can be done because . If
As and are closed,
Hence and are tripled coincidence points of pairs and , respectively. Now assume that , for some which gives that ; therefore, there exist
Since , there exist , , , , , and in such that , , , , , and . Thus
Continuing this process, we obtain three sequences , , and in such that
By (4), which further gives Similarly it can be shown that Again which implies Similarly, it can be shown that Let From (17) and (18), we get From (20) and (21) we get Adding (23) and (24), we obtain Since by inequality (5), we get Hence Then from (27), we get As , By the similar process as above, we can show that Thus we have Continuing this process, we obtain Similarly Continuation of this process implies that By (32) and (34), we have That is, holds true for all , where Now for every with , we have Since , we conclude that , , and are Cauchy sequences in . By completeness of , there exists such that ,, and . Then from (4), we get On taking limits as , we get which implies that And hence . Similarly , . And , , . Thus is a tripled coincidence point of and . Suppose that (i) holds; then, for some and , we have , , , and , ,. Since and are -compatible, we have for and . Since , and . So , , and . Similarly , , and . Continuing in this way, we get which implies for all and Since and for and and is continuous at , and , so we have , , and . Now using (4), we get On taking limits as , we get which implies that and hence Similarly, Consequently, Similarly, Hence is a tripled fixed point of and . Now suppose that (ii) holds. Since is , -idempotent for some and , we have , , , and , , . Since we have , and . So Hence is a tripled common fixed point of and . Now suppose that (iii) holds. For some and , we get Since is continuous at and , we get , , and . Thus This implies that is a tripled common fixed point of and .
If in Theorem 7, , (the identity mapping), then we have the following result.
Corollary 8. Let be a metric space and such that for all , where , , are nonnegative real satisfy (5). Then has a fixed point.
Corollary 9. Let be a metric space and and be mappings such that for all , where . If and is complete subset of . Then and have tripled coincidence point. Moreover and have tripled common fixed point if anyone of the conditions (i)–(iii) of Theorem 7 holds.
Theorem 10. Let be a metric space and and be mappings such that for all , where . If and is complete subset of . Then and have tripled coincidence point. Moreover and have tripled common fixed point if one of the conditions (i)–(iii) of Theorem 7 holds.
Proof. Let be arbitrary. Choose such that , and . Note that , and are well defined. Choose such that , , and . If , then following similar arguments to those given in Theorem 7, we obtain that and are tripled coincidence point and , respectively. Now assume that , set . Then , so there exists
Since , there exist , , , , , and in such that , , , , , and . Thus
Continuing this process, we obtain sequences , , and in as , , , and , , such that
From (58), we have Hence, if we suppose that , then Therefore, Similarly, we obtain Using (65) and (66), we obtain for all where .Thus for with .