Abstract
In this article, existence and uniqueness of common coupled fixed point for a pair of mappings in the setup of complete b-metric spaces are studied. The derived result generalizes and extends some well known results from the existing literature in b-metric spaces. Appropriate example is also given.
Similar content being viewed by others
Background
Bakhtin (1989) and Czerwik (1993) generalized the notion of metric spaces and introduced the concept of b-metric spaces, which is also known as metric type space (Hussain et al. 2012). b-metric space solved some problems, particulary the problem of the convergence of measurable functions with respect to a measure, lead to a generalization of notation of metric. Using this concept Czerwik (1993, 1998), generalized the well known Banach contraction principle in b-metric spaces, see Czerwik (1998), Czerwik et al. (1997, 2001). Many researchers including Aydi et al. (2012), Boriceanu (2009a, b, c), Bota et al. (2011), Chugh et al. (2012), Shih Du and Karapnar (2013), Kir and Kiziltunc (2013), Olaru and Branga (2011), Olatinwo and Imoru (2008), Lina and Curar (2010) and Pacurar (2010) studied the extension of fixed point theorems in b-metric space.
Guo and lakshmikantham (1987) introduced the concept of coupled fixed point for partially ordered set. By using the concept of mixed monotone property (Gnana Bhaskar and Lakshmikantham 2006) studied the existence and uniqueness of a coupled fixed point result in partially ordered metirc space. After that many researchers studied the coupled fixed point and discussed it’s application. See Berinde (2012), Gnana Bhaskar and Lakshmikantham (2006), Guo and lakshmikantham (1987), Mustafa et al. (2013), Mustafa et al. (2014), Mustafa et al. (2014), Sintunavarat et al. (2012), Sintunavarat et al. (2013). Recently Malhotra and Bansal (2015) studied the existence and uniqueness of common coupled fixed points for a pair of mappings in complete b-metric space.
The aim of this manuscript is to study the existence and uniqueness of common coupled fixed point for a pair of mappings in the setup of complete b-metric space. The derived results generalizes some well known results from the existing literature.
Preliminaries
Throughout this paper \({{\mathbb {R}}}\) is the set of real and \({{\mathbb {R}}}^{+}\) is set of positive real numbers.
Definition 1
(Bakhtin 1989; Boriceanu 2009c) Suppose X be a non empty set and \(s\ge 1,s\in {{\mathbb {R}}}\). A function \(d:X\times X\rightarrow {{\mathbb {R}}}^{+}\) is said to be b-metric if for all \(x,y,z\in X\), the following condition are satisfied:
-
(1)
\(d(x,y)=0\Leftrightarrow x=y;\)
-
(2)
\(d(x,y)=d(y,x);\)
-
(3)
\(d(x,z)\le s[d(x,y)+d(y,z)].\)
Then the pair (X, d) with parameter s is said to be b-metric space.
Example 1
(Boriceanu 2009c) The \(l_{p}\) space, \(0<p<1, l_{p}=\{(x_{n})\in {{\mathbb {R}}}:\sum |x_{n}|^{p}<\infty \}\) and function is defined as \(d:l_{p}\times l_{p}\rightarrow {{\mathbb {R}}}\) by
\(d(x,y)=\left(\sum |x_{n}-y_{n}|^{p}\right)^{\frac{1}{p}}, x=(x_{n}), y=(y_{n})\in l_{p}\) then (X, d) is said to b-metric space with parameter \(s=2^{\frac{1}{2}}\) provided that \(d(x,z)\le 2^{\frac{1}{2}}[d(x,y)+d(y,z)]\).
Example 2
The space \(L_{p}\) with \(0<p<1\) of all real functions \(x(t), t\in [0,1]\) such that \(\int \nolimits _{0}^{1}|x(t)|^{p}<\infty\), if \(d(x,y)=[\int \nolimits _{0}^{1}|x(t)-y(t)|^{p}dt]^{\frac{1}{p}}\) for all x, y \(\in L_{p}\), then d satisfy all the condition of b-metric on the \(L_{p}\) space.
Definition 2
Boriceanu (2009c) Let (X, d) be a b-metric space. Then a sequence \(\{x_{n}\}\) is said be converge to \(x\in X\) if for each \(\epsilon >0\) there exists \(i(\epsilon )\in N\), such that \(d(x_{n},x)<\epsilon\) for all \(n\ge i(\epsilon )\).
Definition 3
Boriceanu (2009c) Let (X, d) be a b-metric space. Then a sequence \(\{x_{n}\}\) is said be a Cauchy sequence if for each \(\epsilon >0\) there exists \(i(\epsilon )\in N\), such that \(d(x_{n}, x_{m})<\epsilon\) for all \(n,m\ge i(\epsilon )\).
Definition 4
Gnana Bhaskar and Lakshmikantham (2006) An element \((x,y)\in X\times X\) is said to be a coupled fixed point of \(T:X\times X\rightarrow X\) if \(x=T(x,y)\) and \(y=T(y,x)\).
Definition 5
An element \((x,y)\in X\times X\) is said to be a coupled coincidence point of \(S,T:X\times X\rightarrow X\) if \(S(x,y)=T(x,y)\) and \(S(y,x)=T(y,x)\).
Example 3
Suppose \(X={{\mathbb {R}}}\) and \(S,T:X\times X\rightarrow X\) defined as \(S(x,y)=x^{2}y^{2}\) and \(T(x,y)=(9/4)(x+y)\) for all \(x, y\in X\). Then (3,1), (1,3) and (0,0) are coupled coincidence points of S, T.
Definition 6
Let \(S,T:X\times X\rightarrow X\) a point \((x,y)\in X\times X\) is said to be common fixed point of S, T if
Main results
This section derives some fixed point results in the setup of b-metric spaces.
Theorem 1
Let (X , d) be a complete b-metric space with parameter \(s \ge 1\) and let the mapping \(S,T: X\times X \rightarrow X\) satisfy:
For all \(x,y,u,v,\in X\) and \(\alpha _{1},\alpha _{2},\alpha _{3},\alpha _{4},\alpha _{5},\alpha _{6},\alpha _{7},\alpha _{8}\ge 0\) with \(s\alpha _{1}+\alpha _{2}+\alpha _{4}+\alpha _{5}+\alpha _{6}<1\) and \(\alpha _{1}+\alpha _{3}+\alpha _{4}+\alpha _{5}+\alpha _{7}+\alpha _{8}<1.\) Then S and T have unique common coupled fixed point in X.□
Proof
Take two arbitrary points \(x_0, y_0\) in X, define \(x_{2k+1}= S(x_{2k},y_{2k}), y_{2k+1}=S(y_{2k},x_{2k})\), \(x_{2k+2}= T(x_{2k+1},y_{2k+1})\), \(y_{2k+2}=T(y_{2k+1}\), \(x_{2k+1})\) for \(k= 0,1,2,\ldots .\)
Consider
Then by using condition (1) of Theorem 1, we have
which implies that
Proceeding similarly one can prove that
where
Also,
Continuing this way, we have
If \(d(x_{n},x_{n+1})+d(y_{n},y_{n+1})=\delta _{n}\) Then \(\delta _{n}\le h\delta _{n-1}\le h^{2}\delta _{n-2}\le \cdots \le h^{n}\delta _{0}.\)
For m \(>\) n,
Shows that \(\{x_{n}\}\) and \(\{y_{n}\}\) are Cauchy sequences in X. As X is complete b-metric space, so there exists \(x,y \in X\) such that \(x_{n} \longrightarrow x\) and \(y_{n} \longrightarrow y\) as n\(\longrightarrow \infty\).
Now we will prove that \(x=S(x,y)\) and \(y=S(y,x)\). On contrary suppose that \(x\ne S(x,y)\) and \(y\ne S(x,y)\). Then \(d(x,S(x,y))=l_{1}>0\) and \(d(y,S(x,y))=l_{2}>0\).
Consider the following and using condition (1) of Theorem 1, we get
Since \(\{x_{n}\}\) and \(\{y_{n}\}\) are convergent to x and y, therefore by taking limit as \(k\rightarrow \infty\) we get \(l_{1}\le 0.\) Which is contradiction, so \(d(x,S(x,y))=0\) \(\Rightarrow x=S(x,y).\)
Similarly we can prove that \(y=S(y,x)\). Also we can prove that \(x=T(x,y)\) and \(y=T(y,x)\), Thus (x, y) is a common coupled fixed point of S and T.
Uniqueness
Let \((x^{*},y^{*})\in \hbox {X}\times \, X\) be second common coupled fixed point of S and T.
Then by using condition (1) of Theorem 1, we have
Thus
Similarly,
Since \(\alpha _{1}+\alpha _{3}+\alpha _{4}+\alpha _{5}+\alpha _{7}+\alpha _{8}<1.\)
Therefore,
Hence
Which implies that \(x=x^{*}\) and \(y=y^{*} \Rightarrow (x,y)=(x^{*},y^{*})\).
Thus, S and T have unique common coupled fixed point.
Theorem 1 yields the following corollary.
Corollary 1
Let (X , d) be a complete b-metric space with parameter s \(\ge\) 1 and let the mapping \(T: X\times X \rightarrow X\) mapping satisfy:
for all \(x,y,u,v,\in X\) and \(\alpha _{1},\alpha _{2},\alpha _{3},\alpha _{4},\alpha _{5},\alpha _{6},\alpha _{7},\alpha _{8}\ge 0\) with \(s\alpha _{1}+\alpha _{2}+\alpha _{4}+\alpha _{5}+\alpha _{6}<1\) and \(\alpha _{1}+\alpha _{3}+\alpha _{4}+\alpha _{5}+\alpha _{7}+\alpha _{8}<1.\) Then T has unique common coupled fixed point in X.
Proof
The proof follows from Theorem 1 by taking \(S=T\).□
Theorem 2
Let (X, d) be a complete b metric space with parameter \(s\ge 1\) and let the mapping \(S,T:X\times X\longrightarrow X\) satisfy:
For all \(x,y,u,v\,\in\) X and \(\alpha ,\beta\) are non-negative real numbers with \(s(\alpha +\beta )<1\). Then S and T have unique common coupled fixed point.
Proof
Take two arbitrary points \(x_0, y_0\) in X. Define \(x_{2k+1}=S(x_{2k},y_{2k}), y_{2k+1}=S(y_{2k},x_{2k}), x_{2k+2}=T(x_{2k+1},y_{2k+1})\) and \(y_{2k+2}=T(y_{2k+1},x_{2k+1})\) for \(k=0,1,2,\ldots\).
Consider
Then by using condition (8) of Theorem 2, we have
which implies that
Similarly we can prove
Also
continuing the same process, we get
where \(h=\alpha +\beta <1\).
Now if \(d(x_{n},x_{n+1})+d(y_{n},y_{n+1})=\delta _{n}\). Then \(\delta _{n}\le h\delta _{n-1}\le \cdots \le h^{n}\delta _{0}\)
so for \(m>n\), we have
Therefore, \(\{x_{n}\)} and \(\{y_{n}\}\) are Cauchy sequences in X. Since X is complete b-metric space, there exists \(x,y \in\) X such that \(x_{n}\longrightarrow x\) and \(y_{n}\longrightarrow \, y\) as n\(\longrightarrow \infty\).
Now we will show that \(x=S(x,y)\) and \(y=S(y,x)\). Suppose on contrary that \(x\ne S(x,y)\) and \(y\ne S(x,y)\), so that \(d(x,s(x,y))=l_{1}>0\) and \(d(y,s(x,y))=l_{2}>0\) consider the following and using condition (8) of Theorem 2, we get
Taking limit \(k\rightarrow \infty\) we get \(l_{1}\le 0\).
Therefore \(d(x,S(x,y))=0\). Which implies that \(x=S(x,y)\)
Similarly we can prove that \(y=S(y,x), x=T(x,y)\) and \(y=T(y,x)\).
Hence (x, y) is a common coupled fixed point of S and T.□
Uniqueness
Let \((x^{*},y^{*})\in\) X\(\times\) X be another common coupled fixed point of S and T.
Using condition (8) of Theorem 2 here, we get
Therefore,
Similarly, we can prove that
\(d(x,x^{*})+d(y,y^{*})\le 0\), which implies that \(x=x^{*}\) and \(y=y^{*} \Rightarrow (x,y)=(x^{*},y^{*})\).
Hence, S and T have unique common coupled fixed point.
Corollary 2
Let (x, d) be a complete b metric space with parameter \(s\ge 1\) and let the mapping \(T:X\times X\Rightarrow X\) satisfy:
For all x,y,u,v \(\in\) X and \(\alpha ,\beta\) are non-negative real numbers with \(s(\alpha +\beta )<1\). Then T has a unique common coupled fixed point.
Remarks
-
If \(\alpha _{i}=0\) for \(i=4,5,6,7,8\) in Theorem 1, then we get the result of Malhotra and Bansal (2015).
-
If we take \(S=T\) and \(\alpha _{i}=0\) for \(i=4,5,6,7,8\) in Theorem 1, then we get the corollary of Malhotra and Bansal (2015).
Example 4
Suppose \(X=[0,1]\). Defined the function \(d:X\times X\rightarrow {{\mathbb {R}}}\) by \(d(x,y)=\frac{2}{3}(x-y)^{2}\,\forall x,y\in X\). Clearly (X, d) is b-metric space with parameter \(s=2\).
If we define \(S,T:X\times X\rightarrow X\) by \(S(x,y)=\frac{x+y}{2},T(x,y)=\frac{x+y}{3}\) for each \(x, y \in X\). Then it can be proved simply that the maps S and T satisfy the conditions of Theorem 1 with \(\alpha _{1}=\frac{1}{12},\alpha _{2}=\frac{1}{15}, \alpha _{3}=\frac{1}{6},\alpha _{4}=\frac{1}{9},\alpha _{5}=\frac{2}{15}, \alpha _{6}=\frac{1}{18},\alpha _{7}=\frac{5}{24},\alpha _{8}=\frac{5}{36}\). Hence (0,0) is a unique common coupled fixed point of S and T.
Conclusion
The derived results generalize and extend some results of Malhotra and Bansal (2015) in the setting of b-metric spaces.
References
Aydi H, Bota MF, Karapinar E, Mitrovic S (2012) A fixed point theorem for set-valued quasi-contractions in b-metric spaces. Fixed Point Theory Appl 2012:8
Bakhtin IA (1989) The contraction mapping principle in quasimetric spaces. Funtional Anal 30:26–37
Berinde V (2012) Coupled fixed point theorems for \(\varphi\)-contractive mixed monotone mappings in partially ordered metric spaces. Nonlinear Anal Theory Methods Appl 75(6):3218–3228
Boriceanu M (2009) Fixed point theory on spaces with vector-valued b-metrics. Demonstr Math XLI I(4):285–301
Boriceanu M (2009) Strict fixed point theorems for multivalued operators in b-metric spaces. Int J Mod Math 4(2):285–301
Boriceanu M (2009) Fixd point theory for multivalued generalized contraction on a set with two b-metrices. Studia Univ Babes-Bolyani Math LIV(3):1–14
Bota M, Molnar A, Varga C (2011) On ekeland’s variational principle in b-metric spaces. Fixed Point Theory 12(2):21–28
Chugh R, kumar V, Kadian T (2012) Some fixed point theorems for multivalued mappings in generalized b-metric spaces. Int J Math Arch 3(3):1198–1210
Czerwik S (1993) Contraction mappings in b-metric spaces. Acta Math Inform Univ Ostrav 1:5–11
Czerwik S (1998) Non-linear set-valud contraction mappings in b-metric spaces. Atti Sem Math Fis Univ Modena 46:263–276
Czerwik S, Dlutek K, Singh SL (1997) Round-off stability of iteration procedure for operatos in b-metric spaces. J Nat Phys Sci 11:87–94
Czerwik S, Dlutek K, Singh SL (2001) Round-offstability of iteration procedure for set valued operatos in b-metric spaces. J Nat Phys Sci 15:1–2
Gnana Bhaskar T, Lakshmikantham V (2006) Fixed point theorems in partially ordered metric spaces and applications. Nonlinear Anal TMA 65:1379–1393
Guo D, Lakshmikantham V (1987) Coupled fixed points of non-linear operators with applications. Nonlinear Anal Theory Method Appl 11:623–632
Hussain N, Doric D, Kadelburg Z, Radonovic S (2012) suzuki-type fixed point result in metic type spaces. Fixed Point Theory Appl 2012:12
Kir M, Kiziltunc H (2013) on some well known fixed point theorems in b-metric spaces. Turk J Anal Number Theory 1(1):1316
Lina Md, Curar P (2010) A fixed point result for \(\phi\)-contractions on b-metric spaces without the boundedness assumption. Fascicyli Mathematici 43:125–137
Malhotra N, Bansal B (2015) Some common coupled fixed point theorems for generalised contaction in b-metric space. J Nonlinear Sci Appl 8:8–16
Mustafa Z, Rezaei Roshan J, Parvaneh V, Kadelburg Z (2013) Some common fixed point results in ordered partial bmetric space. J Inequal Appl 2013:562
Mustafa Z, Rezaei Roshan J, Parvaneh V, Kadelburg Z (2014) Fixed point theorems for weakly T-Chatterjea and weakly T-Kannan contractions in b-metric spaces. J Inequal Appl 2014:46
Mustafa Z, Parvaneh V, Roshan JR, Kadelburg Z (2014) b2-Metric spaces and some fixed point theorems. Fixed Point Theory Appl 2014(1):144
Olatinwo MO, Imoru CO (2008) a generalisation of some results on multi-valued weakly Picard mappings in b-metric space. Fasciculi-Mathematici 40:45–56
Olaru IM, Branga A (2011) Common fixed point results in b-k-metric spaces. Gen Math 19(4):51–59
Pacurar M (2010) Sequences of almost contractions and fixed pointsin b-metric spaces. Analele Universit de Vest Timisoara Seria Matematic Informatic XLVIII(3):125–137
Shih Du W, Karapnar E (2013) A note on cone b-metric and its related results: generalizations or equivalence. Fixed Point Theory Appl 2013:210
Sintunavarat W, Kumam P, Cho YS (2012) Coupled fixed points theorems of nonlinear contractions without mixed monotone property. Fixed Point Theory Appl 2012:170
Sintunavarat W, Radenovic S, Golbovic Z, Kuman P (2013) Coupled fixed points theorems for F-invariant set. Appl Math Inf Sci 7(1):247–255
Authors' contributions
MS, SH and PSK contributed equally to the writing of this manuscript. All authors read and approved the final version.
Acknowledgements
The authors are grateful to the editor and anonymous reviewers for their, valuable comments and remarks to improve this manuscript. The authors are also grateful to Springerplus for granting full fee waiver.
Competing interest
The authors declare that they have no competing interests.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Sarwar, M., Hussain, S. & Kumari, P.S. Common coupled fixed point theorems satisfying rational type contractive conditions in b-metric spaces. SpringerPlus 5, 257 (2016). https://doi.org/10.1186/s40064-016-1849-6
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s40064-016-1849-6
Keywords
- Complete b-metric space
- Common fixed point
- Coupled fixed point
- Coupled coincidence point
- Rational type contractive conditions