Fixed points of -contractive mappings in partially ordered b-metric spaces and application to quadratic integral equations
© Aghajani and Arab; licensee Springer. 2013
Received: 16 April 2013
Accepted: 20 August 2013
Published: 7 November 2013
We prove some coupled coincidence and coupled common fixed point theorems for mappings satisfying -contractive conditions in partially ordered complete b-metric spaces. The obtained results extend and improve many existing results from the literature. As an application, we prove the existence of a unique solution to a class of nonlinear quadratic integral equations.
1 Introduction and preliminaries
In [1, 2], Czerwik introduced the notion of a b-metric space, which is a generalization of the usual metric space, and generalized the Banach contraction principle in the context of complete b-metric spaces. After that, many authors have carried out further studies on b-metric spaces and their topological properties (see, e.g., [1–14]). In this paper, some coupled coincidence and coupled common fixed point theorems for mappings satisfying -contractive conditions in partially ordered complete b-metric spaces are proved. Also, we apply our results to study the existence of a unique solution to a large class of nonlinear quadratic integral equations. There are many papers in the literature concerning coupled fixed points introduced by Bhaskar and Lakshmikantham  and their applications in the existence and uniqueness of solutions for boundary value problems. A number of articles on this topic have been dedicated to the improvement and generalization; see [16–20] and references therein. Also, to see some results on common fixed points for generalized contraction mappings, we refer the reader to [21–23]. For the sake of convenience, some definitions and notations are recalled from [1, 3, 24] and .
Definition 1.1 
The pair is called a b-metric space with the parameter s.
It should be noted that the class of b-metric spaces is effectively larger than that of metric spaces since a b-metric is a metric when .
The following example shows that, in general, a b-metric need not necessarily be a metric (see also ).
Example 1.2 
Let be a metric space and , where is a real number. Then ρ is a b-metric with . However, if is a metric space, then is not necessarily a metric space. For example, if is the set of real numbers and is the usual Euclidean metric, then is a b-metric on ℝ with , but is not a metric on ℝ.
Also, the following example of a b-metric space is given in .
Example 1.3 
Let X be the set of Lebesgue measurable functions on such that . Define by . As is a metric on X, then, from the previous example, D is a b-metric on X, with .
Khamsi  also showed that each cone metric space over a normal cone has a b-metric structure.
Since, in general, a b-metric is not continuous, we need the following simple lemma about the b-convergent sequences in the proof of our main result.
Lemma 1.4 
In , Lakshmikantham and Ćirić introduced the concept of mixed g-monotone property as follows.
Definition 1.5 
Note that if g is an identity mapping, then F is said to have the mixed monotone property (see also ).
Definition 1.6 
Similarly, note that if g is an identity mapping, then is called a coupled fixed point of the mapping F (see also ).
Definition 1.7 
Definition 1.8 
Definition 1.9 
whenever and are sequences in X such that and for all .
2 Main results
ψ is continuous,
if and only if .
ϕ is lower semi-continuous,
if and only if ,
and Θ the set of all continuous functions with if and only if .
Now, we introduce the following definition.
for all with and .
Now, we establish some results for the existence of a coupled coincidence point and a coupled common fixed point of mappings satisfying almost generalized -contractive condition in the setup of partially ordered b-metric spaces. The first result in this paper is the following coupled coincidence theorem.
Theorem 2.2 Suppose that is a partially ordered complete b-metric space. Let be an almost generalized -contractive mapping with respect to , and T and g are continuous such that T has the mixed g-monotone property and commutes with g. Also, suppose . If there exists such that and , then T and g have coupled coincidence point in X.
For this purpose, consider the following three cases.
so (2.11) obviously holds.
which is a contradiction.
which is again a contradiction.
This implies that is a coupled coincidence point of T and g. This completes the proof. □
for all with and . If there exists such that and , then T has a coupled fixed point in X.
Proof Take and apply Theorem 2.2. □
The following result is the immediate consequence of Corollary 2.3.
for all with and . If there exists such that and , then T has a coupled fixed point in X.
3 Uniqueness of a common fixed point
From Theorem 2.2, it follows that the set of coupled coincidences is nonempty.
Since is a coupled coincidence point of T and g, we have and . Thus and , which is the desired result. □
Theorem 3.2 In addition to the hypotheses of Theorem 3.1, if and are comparable, then T and g have a unique common fixed point, that is, there exists such that .
a contradiction. Therefore, , that is, T and g have a common fixed point. □
where , and is continuous, for all and if and only if . So, our results can be viewed as a generalization and extension of the corresponding results in [15, 25, 30–32] and several other comparable results.
4 Application to integral equations
γ is non-decreasing and for all .
There exists such that for all .
For example, , where and are in Γ.
We will analyze Eq. (4.1) under the following assumptions:
(a1) () are continuous functions, and there exist two functions such that ().
(a2) is monotone non-decreasing in x and is monotone non-increasing in y for all and .
(a3) is a continuous function.
It is easy to see that is a complete b-metric space with .
For any and each , and belong to X and are upper and lower bounds of x, y, respectively. Therefore, for every , one can take which is comparable to and . Now, we formulate the main result of this section.
Theorem 4.1 Under assumptions (a1)-(a7), Eq. (4.1) has a unique solution in .
This proves that the operator T satisfies the contractive condition (2.31) appearing in Corollary 2.4.
Theorem 3.1 gives us that T has a unique coupled fixed point . Since , Theorem 3.2 says that and this implies . So, is the unique solution of Eq. (4.1) and the proof is complete. □
- Czerwik S: Nonlinear set-valued contraction mappings in b -metric spaces. Atti Semin. Mat. Fis. Univ. Modena 1998, 46(2):263–276.MathSciNetGoogle Scholar
- Czerwik S: Contraction mappings in b -metric spaces. Acta Math. Inf. Univ. Ostrav. 1993, 1: 5–11.MathSciNetGoogle Scholar
- Aghajani, A, Abbas, M, Roshan, JR: Common fixed point of generalized weak contractive mappings in partially ordered b-metric spaces. Math. Slovaca (to appear)Google Scholar
- Akkouchi M: Common fixed point theorems for two selfmappings of a b -metric space under an implicit relation. Hacet. J. Math. Stat. 2011, 40(6):805–810.MathSciNetGoogle Scholar
- Aydi H, Bota M, Karapınar E, Mitrovic S: A fixed point theorem for set-valued quasi-contractions in b -metric spaces. Fixed Point Theory Appl. 2012., 2012: Article ID 88Google Scholar
- Boriceanu M: Strict fixed point theorems for multivalued operators in b -metric spaces. Int. J. Mod. Math. 2009, 4(3):285–301.MathSciNetGoogle Scholar
- Boriceanu M: Fixed point theory for multivalued generalized contraction on a set with two b -metrics. Stud. Univ. Babeş-Bolyai, Math. 2009, LIV(3):3–14.MathSciNetGoogle Scholar
- Boriceanu M, Bota M, Petrusel A: Multivalued fractals in b -metric spaces. Cent. Eur. J. Math. 2010, 8(2):367–377. 10.2478/s11533-010-0009-4MathSciNetView ArticleGoogle Scholar
- Czerwik S, Dlutek K, Singh SL: Round-off stability of iteration procedures for set-valued operators in b -metric spaces. J. Nat. Phys. Sci. 2007, 11: 87–94.MathSciNetGoogle Scholar
- Huang H, Xu S: Fixed point theorems of contractive mappings in cone b -metric spaces and applications. Fixed Point Theory Appl. 2012., 2012: Article ID 220Google Scholar
- Hussain N, Shah MH: KKM mappings in cone b -metric spaces. Comput. Math. Appl. 2011, 62: 1677–1684. 10.1016/j.camwa.2011.06.004MathSciNetView ArticleGoogle Scholar
- Hussain N, Dorić D, Kadelburg Z, Radenović S: Suzuki-type fixed point results in metric type spaces. Fixed Point Theory Appl. 2012., 2012: Article ID 126Google Scholar
- Pacurar M: Sequences of almost contractions and fixed points in b -metric spaces. An. Univ. Vest. Timiş., Ser. Mat.-Inf. 2010, XLVIII(3):125–137.MathSciNetGoogle Scholar
- Singh SL, Prasad B: Some coincidence theorems and stability of iterative procedures. Comput. Math. Appl. 2008, 55: 2512–2520. 10.1016/j.camwa.2007.10.026MathSciNetView ArticleGoogle Scholar
- Bhaskar TG, Lakshmikantham V: Fixed point theory in partially ordered metric spaces and applications. Nonlinear Anal. 2006, 65: 1379–1393. 10.1016/j.na.2005.10.017MathSciNetView ArticleGoogle Scholar
- Abbas M, Sintunavarat W, Kumam P: Coupled fixed point of generalized contractive mappings on partially ordered G -metric spaces. Fixed Point Theory Appl. 2012., 2012: Article ID 31Google Scholar
- Agarwal RP, Sintunavarat W, Kumam P: Coupled coincidence point and common coupled fixed point theorems lacking the mixed monotone property. Fixed Point Theory Appl. 2013., 2013: Article ID 22Google Scholar
- Chandok S, Sintunavarat W, Kumam P: Some coupled common fixed points for a pair of mappings in partially ordered G -metric spaces. Math. Sci. 2013., 7: Article ID 24Google Scholar
- Karapınar E, Kumam P, Sintunavarat W: Coupled fixed point theorems in cone metric spaces with a c -distance and applications. Fixed Point Theory Appl. 2012., 2012: Article ID 194Google Scholar
- Sintunavarat W, Cho YJ, Kumam P: Coupled coincidence point theorems for contractions without commutative condition in intuitionistic fuzzy normed spaces. Fixed Point Theory Appl. 2011., 2011: Article ID 81Google Scholar
- Sintunavarat W, Kumam P:Weak condition for generalized multivalued -weak contraction mappings. Appl. Math. Lett. 2011, 24: 460–465. 10.1016/j.aml.2010.10.042MathSciNetView ArticleGoogle Scholar
- Sintunavarat W, Kumam P: Common fixed point theorems for hybrid generalized multi-valued contraction mappings. Appl. Math. Lett. 2012, 25(1):52–57. 10.1016/j.aml.2011.05.047MathSciNetView ArticleGoogle Scholar
- Sintunavarat W, Kumam P: Common fixed point theorem for cyclic generalized multivalued contraction mappings. Appl. Math. Lett. 2012, 25(11):1849–1855. 10.1016/j.aml.2012.02.045MathSciNetView ArticleGoogle Scholar
- Abbas M, Ali Khan M, Radenović S: Common coupled fixed point theorems in cone metric spaces for w -compatible mappings. Appl. Math. Comput. 2010, 217: 195–202. 10.1016/j.amc.2010.05.042MathSciNetView ArticleGoogle Scholar
- Lakshmikantham V, Ćirić L: Coupled fixed point theorems for nonlinear contractions in partially ordered metric spaces. Nonlinear Anal., Theory Methods Appl. 2009, 70(12):4341–4349. 10.1016/j.na.2008.09.020View ArticleGoogle Scholar
- Khamsi MA, Hussain N: KKM mappings in metric type spaces. Nonlinear Anal. 2010, 73(9):3123–3129. 10.1016/j.na.2010.06.084MathSciNetView ArticleGoogle Scholar
- Khamsi MA: Remarks on cone metric spaces and fixed point theorems of contractive mappings. Fixed Point Theory Appl. 2010., 2010: Article ID 315398 10.1155/2010/315398Google Scholar
- Choudhury BS, Kundu A: A coupled coincidence point result in partially ordered metric spaces for compatible mappings. Nonlinear Anal. 2010, 73: 2524–2531. 10.1016/j.na.2010.06.025MathSciNetView ArticleGoogle Scholar
- Jachymski J: Equivalent conditions for generalized contractions on (ordered) metric spaces. Nonlinear Anal. 2011, 74: 768–774. 10.1016/j.na.2010.09.025MathSciNetView ArticleGoogle Scholar
- Choudhury BS, Metiya N, Kundu A: Coupled coincidence point theorems in ordered metric spaces. Ann. Univ. Ferrara 2011, 57: 1–16. 10.1007/s11565-011-0117-5MathSciNetView ArticleGoogle Scholar
- Harjani J, López B, Sadarangani K: Fixed point theorems for mixed monotone operators and applications to integral equations. Nonlinear Anal. 2011, 74: 1749–1760. 10.1016/j.na.2010.10.047MathSciNetView ArticleGoogle Scholar
- Luong NV, Thuan NX: Coupled fixed point theorems in partially ordered metric spaces. Bull. Math. Anal. Appl. 2010, 4: 16–24.Google Scholar
This article is published under license to BioMed Central Ltd. This is an open access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.