Abstract
Objectives
We explored the results of fixed point, coincidence point and coupled coincidence point for the mappings in an ordered metric spaces. Our results generalized and extended the well-known results in the literature. Some numerical examples are provided for justifying the results obtained.
Result
Some fixed point results are found for a self mapping in a partially ordered b-metric space which satisfies a generalized week contraction condition. Furthermore, these results are extended for two self mappings for obtaining coincidence point, coupled coincidence point and coupled common fixed point in the same context. A few examples are presented to support the findings.
Introduction
A b-metric space also referred to as a metric type space by some researchers is one of the most influential generalizations of ordinary metric space. It has a wide range of uses in mathematical research and scientific applications. It was first established by Bakhtin in [7] and eventually expanded upon by Czerwik in [10]. Later, Aghajani et al. [1], Allahyari et al. [5] investigated some fixed point results of generalized contractive mappings in partially ordered b-metric space and then applied their results to quadratic integral equations. Common fixed point results for generalized weak contractions in the same context was studied by Aghajani et al. [2]. Also, the results on common fixed point for two self mappings under an implicit relation was explored by Akkouchi [3]. Some remarks on fixed point results in b-metric space were discussed by Aleksić et al. [4]. Common fixed point for weak \(\varphi \)-contractions on b-metric spaces was examined by Aydi et al. [6]. Recently, some results on fixed point, coincidence point, coupled coincidence point for the self mappings satisfying generalized weak contractions have been discussed by Belay et al. [8], Seshagiri Rao et al. [20, 24, 25] in partially ordered b-metric space with necessary topological properties.
In this paper, we introduced the following generalized weak contraction condition which involve the altering distance functions \({\hat{\phi }} \in {\hat{\Phi }}\), \({\hat{\psi }} \in {\hat{\Psi }}\) defined below to acquire a fixed point of a mapping \({\mathscr {L}}{:}{\mathfrak {P}} \rightarrow {\mathfrak {P}}\) in a partially ordered b-metric space
for any \(\zeta ,\varpi \in {\mathfrak {P}}\) with \(\zeta \preceq \varpi \), \({\mathcalligra {s}}>1\) and, where
and
Also generalized this result by involving two self mappings in the above generalized contraction condition to obtain a coincidence point, coupled coincidence point and common fixed point for the mappings in the same context. Our results are generalized and extended the results of Belay et al. [8], Bhaskar et al. [9], Harjani et al. [12] and Jachymski [14] and Seshagiri Rao et al. [20, 24, 25]. The authors may refer the papers of Aghajani et al. [1], Dorić et al. [11], Huaping Huang et al. [13], Roshan et al. [18, 19] and Seshagiri Rao et al. [21,22,23] for the basic definitions and necessary results which we used in the present study.
In the whole paper, we use the following nations for the altering distance functions: \({\hat{\Phi}}=\{{\hat{\phi }}/ {\hat{\phi}}\;\text {is}\text{ continuous},\;\text{non-decrasing}\;\text{self}\;\text{mapping}\;\text{on}\; [0, +\infty) \;\text {with}\; {\hat{\phi }}(\varepsilon )=0\;\text {iff}\;\varepsilon =0,\; \text {for}\; \varepsilon \in [0, +\infty ) \}\) and \({\hat{\Psi }}=\{{\hat{\psi }}/ {\hat{\psi }}\;\text {is}\;\text {lower}\;\text {semi-continuous}\;\text {self}\;\text {mapping}\text {on}\; [0, +\infty )\; \text {such}\; \text {that}\;{\hat{\psi }}(\varepsilon )=0\;\text {if}\;\text {and}\;\text {only}\;\text {if}\;\varepsilon =0, \text {where}\;\varepsilon \in [0, +\infty) \}\).
Main results
We start this section with the following fixed point result in a complete partially ordered b-metric space.
Theorem 2.1
Suppose \(({\mathfrak {P}},\eth ,\preceq )\) be a complete partially ordered b-metric space with \({\mathcalligra {s}} > 1.\) Assume that a continuous self mapping \({\mathscr {L}}\) on \({\mathfrak {P}}\) is non-decreasing with respect to \(\preceq \) and satisfies the condition ( 1 ). If for some \(\zeta _0 \in {\mathfrak {P}}\) such that \(\zeta _0 \preceq {\mathscr {L}}\zeta _0,\) then \({\mathscr {L}}\) has a fixed point in \({\mathfrak {P}}.\)
Proof
The proof is trivial for \({\mathscr {L}}\zeta _0=\zeta _0\), for some \(\zeta _0 \in {\mathfrak {P}}\). Suppose not then \(\zeta _0 \prec {\mathscr {L}}\zeta _0\). Now define a sequence \(\{\zeta _n\} \subset {\mathfrak {P}}\) by \(\zeta _{n+1}={\mathscr {L}}\zeta _n\), for \(n\ge 0\). Since \({\mathscr {L}}\) is non-decreasing then
If for some \(n_0\in {\mathbb {N}}\), \(\zeta _{n_0}=\zeta _{n_0+1}\), then from (2), \({\mathscr {L}}\) has a fixed point \(\zeta _{n_0}\). Assume that \(\zeta _n \ne \zeta _{n+1}\) for all \( n \ge 1\). Since \( \zeta _n>\zeta _{n-1}\) for all \(n \ge 1\), then from (1), we have
Thus from (3), we have
where
If \(\max \{\eth (\zeta _n,\zeta _{n+1}),\eth (\zeta _{n-1}, \zeta _n)\}= \eth (\zeta _n,\zeta _{n+1})\) for some \(n \ge 1 \), then from (4), we have
this is a contradiction. Hence, \(\max \{\eth (\zeta _n,\zeta _{n+1}),\eth (\zeta _{n-1},\zeta _n)\}= \eth (\zeta _{n-1},\zeta _n)\) for all \(n \ge 1 \). Thus from (4) we have
Since \(\frac{1}{{\mathcalligra {s}}}\in (0,1)\) then \(\{\zeta _n\}\) is a Cauchy sequence from [4, 6]. Also, the completeness of \({\mathfrak {P}}\) implies that \(\zeta _n \rightarrow \varepsilon \) for some \(\varepsilon \in {\mathfrak {P}}\) .
Furthermore the continuity of \({\mathscr {L}}\) implies that,
which shows that \({\mathscr {L}}\) has a fixed point \(\varepsilon \in {\mathfrak {P}}\). \(\square \)
We have the following result in which the mapping \({\mathscr {L}}\) is not continuous, still is valid to have a fixed point.
Theorem 2.2
According to Theorem 2.1, a non-continuous self mapping \({\mathscr {L}}\) has a fixed point if \({\mathfrak {P}}\) meets the condition (6):
Proof
As from Theorem 2.1, a non-decreasing Cauchy sequence \(\{\zeta _n\} \subseteq {\mathfrak {P}}\) exists such that \(\zeta _n \rightarrow \varepsilon \in {\mathfrak {P}}\). Hence from condition (6), \(\zeta _n \preceq \varepsilon \) for all n, i.e., \(\varepsilon =\sup \zeta _n\).
Next to show that \(\varepsilon \) is a fixed point of \({\mathscr {L}}\) in \({\mathfrak {P}}\). Suppose that \({\mathscr {L}}\varepsilon \ne \varepsilon \). Let
and
As \(n\rightarrow +\infty \) and the fact that \(\lim \limits _{n\rightarrow +\infty }\zeta _n=\varepsilon \), we obtain that
and
Since \(\zeta _n \preceq \varepsilon \) for any n, then (1) becomes
Taking \(n \rightarrow +\infty \) in (9) and from Eqs. (7) and (8), we get
which is a contradiction. Hence, \({\mathscr {L}}\varepsilon =\varepsilon \), i.e., \({\mathscr {L}}\) has a fixed point \(\varepsilon \) in \({\mathfrak {P}}\). \(\square \)
Theorem 2.3
If every two elements of \({\mathfrak {P}}\) are comparable then \({\mathscr {L}}\) has a unique fixed point in Theorems 2.1and 2.2.
Proof
Let \(\zeta ^*\ne \varpi ^*\) be two fixed points of \({\mathscr {L}}\) in \({\mathfrak {P}}\), then from (1), we have
As a result, we get
where
Therefore from (10), we have
which leads contradiction to \(\zeta ^*\ne \varpi ^*\). Thus, \(\zeta ^*= \varpi ^*\). \(\square \)
We have the following consequences from Theorems 2.1, 2.2 and 2.3.
Corollary 2.4
Instead \({\mathcal {D}}(\zeta ,\varpi )\) by \({\mathcal {C}}(\zeta ,\varpi )\) in condition (1), we have the same conclusions as from Theorems 2.1, 2.2and 2.3.
Corollary 2.5
Taking \({\hat{\phi }}(m)=m\) and \({\hat{\psi }}(m)=(1-k)m\) in Corollary 2.4, then the contraction condition becomes
Then one can arrive at the same conclusions as in Theorems 2.1, 2.2and 2.3.
A self mapping \({\mathscr {L}}\) on \({\mathfrak {P}}\) with respect to \({\mathcalligra {f}}:{\mathfrak {P}} \rightarrow {\mathfrak {P}}\) is a generalized contraction mapping, if it satisfies the following condition for all \(\zeta ,\varpi \in {\mathfrak {P}}\) with \({\mathcalligra {f}}\zeta \preceq {\mathcalligra {f}}\varpi \), \({\hat{\phi }}\in {\hat{\Phi }}\) and \({\hat{\psi }}\in {\hat{\Psi }}\):
where
and
Now, we have the following result.
Theorem 2.6
The two continuous self-mappings \({\mathscr {L}},{\mathcalligra {f}}\) on \({\mathfrak {P}}\) have a coincidence point, if they satisfy the following conditions:
-
a.
\({\mathscr {L}}\) is a monotone \({\mathcalligra {f}}\) -non-decreasing,
-
b.
\({\mathscr {L}}{\mathfrak {P}} \subseteq {\mathcalligra {f}}{\mathfrak {P}}\) and a pair \(({\mathscr {L}},{\mathcalligra {f}})\) are compatible,
-
c.
\({\mathcalligra {f}}\zeta _0 \preceq {\mathscr {L}}\zeta _0\) for some \(\zeta _0 \in {\mathfrak {P}}\) and
-
d.
satisfies the condition ( 11 ) in a complete partially ordered b-metric space \(({\mathfrak {P}},\eth ,\preceq ).\)
Proof
From Theorem 2.2 of [5], we have the sequences \(\{\zeta _n\}, \{\varpi _n\} \subseteq {\mathfrak {P}}\) with
for which
Now from [5], we have to show that
for all \(n \ge 1\) and where \(\lambda \in [0, \frac{1}{{\mathcalligra {s}}})\).
From Eqs. (11), (14) and (15), we have
where
and
From Eq. (17), we have
If \(0<\eth (\varpi _{n-1},\varpi _n)\le \eth (\varpi _n,\varpi _{n+1})\) for some n, then Eq. (18) follows that
or equivalently
a contradiction. Therefore, from Eq. (18) we have
Hence, \(\lambda \in [0,\frac{1}{{\mathcalligra {s}}})\) from (16). According to Lemma 3.1 of [15] and from Eq. (16), we have
From condition (b), we have
and the continuity of \({\mathscr {L}}\) and \({\mathcalligra {f}}\) we have,
Furthermore,
Thus, \(\eth ({\mathscr {L}}v,{\mathcalligra {f}}v)=0\) as \(n \rightarrow +\infty \) in (22) and hence the result.
\(\square \)
We have the following result without the continuity property of \({\mathcalligra {f}}\) and \({\mathscr {L}}\) in Theorem 2.6.
Theorem 2.7
If \({\mathfrak {P}}\) has the property in Theorem 2.6that
then the weakly compatible mappings \({\mathscr {L}},{\mathcalligra {f}}\) have a coincidence point. Besides that, when \({\mathscr {L}}\) and \({\mathcalligra {f}}\) commute at their coincidence points, then \({\mathscr {L}},{\mathcalligra {f}}\) have a common fixed point in \({\mathfrak {P}}.\)
Proof
As from Theorem 2.6, \(\{\varpi _n\}=\{{\mathscr {L}}\zeta _n\}=\{{\mathcalligra {f}}\zeta _{n+1}\} \) is a Cauchy sequence. Since \({\mathcalligra {f}}{\mathfrak {P}}\) is closed then
Thus, \({\mathcalligra {f}}\zeta _n\preceq {\mathcalligra {f}}\mu \) for all n. Next to show that \({\mathscr {L}},{\mathcalligra {f}}\) have a coincidence point \(\mu \). From (11), we have
where
and
Thus Eq. (23) becomes
As a result, we have
Furthermore, the triangular inequality of \(\eth \), we have
thus Eqs. (25) and (26) lead to contradiction, if \({\mathcalligra {f}}\mu \ne {\mathscr {L}}\mu \). Hence, \({\mathcalligra {f}}\mu ={\mathscr {L}}\mu \). Let \({\mathcalligra {f}}\mu ={\mathscr {L}}\mu =\rho \), then \({\mathscr {L}}\rho = {\mathscr {L}}({\mathcalligra {f}}\mu )={\mathcalligra {f}}({\mathscr {L}}\mu )={\mathcalligra {f}}\rho \). Since \({\mathcalligra {f}}\mu ={\mathcalligra {f}}({\mathcalligra {f}}\mu )={\mathcalligra {f}}\rho \), then by Eq. (23) with \({\mathcalligra {f}}\mu ={\mathscr {L}}\mu \) and \({\mathcalligra {f}}\rho ={\mathscr {L}}\rho \), we get
or equivalently,
which is a contradiction, if \({\mathscr {L}}\mu \ne {\mathscr {L}}\rho \). Thus, \({\mathscr {L}}\mu = {\mathscr {L}}\rho = \rho \) and implies that \({\mathscr {L}}\mu = {\mathcalligra {f}}\rho =\rho \). Hence the result. \(\square \)
Definition 2.8
Consider the partially ordered b-metric space \(({\mathfrak {P}},\eth ,\preceq )\). A mapping \({\mathscr {L}}:{\mathfrak {P}} \times {\mathfrak {P}} \rightarrow {\mathfrak {P}}\) is a generalized \(({\hat{\phi }},{\hat{\psi }})\)-contractive mapping with respect to a self mapping \({\mathcalligra {f}}\) on \({\mathfrak {P}}\), if
for all \(\zeta ,\varpi ,\varrho ,\sigma \in {\mathfrak {P}}\) with \({\mathcalligra {f}}\zeta \preceq {\mathcalligra {f}} \varrho \) and \({\mathcalligra {f}}\varpi \succeq {\mathcalligra {f}} \sigma \), \(k>2\), \({\mathcalligra {s}}>1\), \( {\hat{\phi }} \in {\hat{\Phi }}\), \({\hat{\psi }} \in {\hat{\Psi }}\) and where
and
Theorem 2.9
Let \(({\mathfrak {P}},\eth ,\preceq )\) be a complete partially ordered b-metric space. Assume that a mapping \({\mathscr {L}}:{\mathfrak {P}} \times {\mathfrak {P}} \rightarrow {\mathfrak {P}}\) satisfies the condition ( 28 ) and, \({\mathscr {L}},\) \({\mathcalligra {f}}\) are continuous, \({\mathscr {L}}\) has mixed \({\mathcalligra {f}}\) -monotone property and commutes with \({\mathcalligra {f}}.\) Suppose, if for some \((\zeta _0,\varpi _0) \in {\mathfrak {P}} \times {\mathfrak {P}} \) such that \({\mathcalligra {f}}\zeta _0 \preceq {\mathscr {L}}(\zeta _0,\varpi _0), \) \({\mathcalligra {f}}\varpi _0 \succeq {\mathscr {L}}(\varpi _0,\zeta _0)\) and \({\mathscr {L}}({\mathfrak {P}} \times {\mathfrak {P}}) \subseteq {\mathcalligra {f}}({\mathfrak {P}}),\) then \({\mathscr {L}}\) and \({\mathcalligra {f}}\) have a coupled coincidence point in \({\mathfrak {P}}.\)
Proof
From Theorem 2.2 of [5], there will be two sequences \(\{\zeta _n\}, \{\varpi _n\} \subset {\mathfrak {P}}\) such that
In particular, the sequences \(\{{\mathcalligra {f}}\zeta _n\}\) and \(\{{\mathcalligra {f}}\varpi _n\}\) are non-decreasing and non-increasing in \({\mathfrak {P}}\). Put \(\zeta =\zeta _n, \varpi =\varpi _n, \varrho =\zeta _{n+1}, \sigma =\varpi _{n+1}\) in (28), we get
where
and
Therefore from (29), we have
Similarly by taking \(\zeta =\varpi _{n+1}, \varpi =\zeta _{n+1}, \varrho =\zeta _n, \sigma =\zeta _n\) in (28), we get
We know that \(\max \{{\hat{\phi }}(\varepsilon _1),{\hat{\phi }}(\varepsilon _2)\}={\hat{\phi }} \{\max \{\varepsilon _1,\varepsilon _2\}\}\) for \(\varepsilon _1,\varepsilon _2 \in [0,+\infty )\). Then by adding Eqs. (32) and (33) together to get,
where
Let us denote,
Hence from Eqs. (32)–(35), we obtain that
Now to claim that
for \(n \ge 1\) and \(\lambda =\frac{1}{{\mathcalligra {s}}^k} \in [0,1)\).
Suppose that if \(\nabla _n=\delta _n\) then from (37), we get \({\mathcalligra {s}}^k\delta _n\le \delta _n\) this leads to \(\delta _n=0\) since \({\mathcalligra {s}}>1\) and thus (38) holds. Suppose \(\nabla _n=\max \{\eth ({\mathcalligra {f}}\zeta _n,{\mathcalligra {f}}\zeta _{n+1}), \eth ({\mathcalligra {f}}\varpi _n,{\mathcalligra {f}}\varpi _{n+1})\}\), that is, \(\nabla _n=\delta _{n-1}\) thence (37) follows (38).
Now, we can deduce from (37) that \(\delta _n\le \lambda ^n \delta _0\) and therefore,
which shows that \(\{{\mathcalligra {f}}\zeta _n\}\) and \(\{{\mathcalligra {f}}\varpi _n\}\) in \({\mathfrak {P}}\) are Cauchy sequences from Lemma 3.1 of [15]. Therefore, we can conclude from [3] of Theorem 2.2 that \({\mathscr {L}}\) and \({\mathcalligra {f}}\) in \({\mathfrak {P}}\) have a coincidence point. \(\square \)
Corollary 2.10
Suppose \(({\mathfrak {P}},\eth ,\preceq )\) be a complete partially ordered b-metric space. Let a continuous mapping \({\mathscr {L}}:{\mathfrak {P}} \times {\mathfrak {P}} \rightarrow {\mathfrak {P}}\) has a mixed monotone property and satisfies the contraction conditions below for any \(\zeta ,\varpi ,\varrho ,\sigma \in {\mathfrak {P}}\) such that \(\zeta \preceq \varrho \) and \(\varpi \succeq \sigma, \) \(k>2,\) \({\mathcalligra {s}}>1,\) \({\hat{\phi }} \in {\hat{\Phi }}\) and \({\hat{\psi }} \in {\hat{\Psi }}:\)
-
i.
$$ {\hat{\phi }}({\mathcalligra {s}}^k\eth ({\mathscr {L}}(\zeta ,\varpi ),{\mathscr {L}}(\varrho ,\sigma )))\le {\hat{\phi }}({\mathcal {C}}_{\mathcalligra {f}}(\zeta ,\varpi ,\varrho ,\sigma ))-{\hat{\psi }}({\mathcal {D}}_{\mathcalligra {f}}(\zeta ,\varpi ,\varrho ,\sigma )), $$
-
ii.
$$ \eth ({\mathscr {L}}(\zeta ,\varpi ),{\mathscr {L}}(\varrho ,\sigma ))\le \frac{1}{{\mathcalligra {s}}^k}{\mathcal {C}}_{\mathcalligra {f}}(\zeta ,\varpi ,\varrho ,\sigma )-\frac{1}{{\mathcalligra {s}}^k}{\hat{\psi }}({\mathcal {D}}_{\mathcalligra {f}}(\zeta ,\varpi ,\varrho ,\sigma )).$$
where
and
If there exists \((\zeta _0,\varpi _0) \in {\mathfrak {P}} \times {\mathfrak {P}} \) such that \(\zeta _0 \preceq {\mathscr {L}}(\zeta _0,\varpi _0) \) and \(\varpi _0 \succeq {\mathscr {L}}(\varpi _0,\zeta _0),\) then \({\mathscr {L}}\) has a coupled fixed point in \({\mathfrak {P}}.\)
Theorem 2.11
A unique coupled common fixed point for \({\mathscr {L}}\) and \({\mathcalligra {f}}\) exists in Theorem 2.9, if for every \((\zeta ,\varpi ),({\mathcalligra {k}},{\mathcalligra {l}}) \in {\mathfrak {P}} \times {\mathfrak {P}}\) there is some \((\mathscr {\alpha}^*,\mathscr {\beta}^*)\in {\mathfrak {P}} \times {\mathfrak {P}}\) such that \(({\mathscr {L}}(\mathscr {\alpha}^*,\mathscr {\beta}^*), {\mathscr {L}}(\mathscr {\beta}^*,\mathscr {\alpha}^*))\) is comparable to \(({\mathscr {L}}(\zeta ,\varpi ), {\mathscr {L}}(\varpi ,\zeta ))\) and to \(({\mathscr {L}}({\mathcalligra {k}},{\mathcalligra {l}}),{\mathscr {L}}({\mathcalligra {l}},{\mathcalligra {k}})).\)
Proof
From Theorem 2.9, the mappings \({\mathscr {L}}\) and \({\mathcalligra {f}}\) have a coupled coincidence point in \({\mathfrak {P}}\). Let \((\zeta , \varpi ),({\mathcalligra {k}},{\mathcalligra {l}}) \in {\mathfrak {P}} \times {\mathfrak {P}}\) are two coupled coincidence points of \({\mathscr {L}}\) and \({\mathcalligra {f}}\). Now to claim that \({\mathcalligra {f}}\zeta ={\mathcalligra {f}}{\mathcalligra {k}}\) and \({\mathcalligra {f}}\varpi ={\mathcalligra {f}}{\mathcalligra {l}}\). By hypotheses \(({\mathscr {L}}(\mathscr {\alpha}^*,\mathscr {\beta}^*), {\mathscr {L}}(\mathscr {\beta}^*,\mathscr {\alpha}^*))\) is comparable to \(({\mathscr {L}}(\zeta ,\varpi ), {\mathscr {L}}(\varpi ,\zeta ))\) for some \((\mathscr {\alpha}^*,\mathscr {\beta}^*)\in {\mathfrak {P}} \times {\mathfrak {P}}\).
Now, assume the following
Suppose \(\mathscr {\alpha}^*_0=\mathscr {\alpha}^*\) and \(\mathscr {\beta}^*_0=\mathscr {\beta}^*\) then there is a point \((\mathscr {\alpha}^*_1,\mathscr {\beta}^*_1) \in {\mathfrak {P}} \times {\mathfrak {P}}\) such that
We have the sequences \(\{{\mathcalligra {f}} \mathscr {\alpha}^*_{n}\}\) and \(\{{\mathcalligra {f}} \mathscr {\beta}^*_{n}\}\) in \({\mathfrak {P}}\) as by the repeated application of the above argument with
Similarly, define the sequences \(\{{\mathcalligra {f}} \zeta _{n}\}\), \(\{{\mathcalligra {f}} \varpi _{n}\}\) and \(\{{\mathcalligra {f}} {\mathcalligra {k}}_{n}\}\), \(\{{\mathcalligra {f}} {\mathcalligra {l}}_{n}\}\) in \({\mathfrak {P}}\) by setting \(\zeta _0=\zeta \), \(\varpi _0=\varpi \) and \({\mathcalligra {k}}_0={\mathcalligra {k}}\), \({\mathcalligra {l}}_0={\mathcalligra {l}}\). Furthermore, we have
Therefore by induction, we have
Now from Eq. (28), we get
where
and
As a result of Eq. (42), we now have
As a consequence of a similar argument, we deduce that
Therefore from (43) and (44), we have
The property of \({\hat{\phi }}\) implies that,
Hence, \(\max \{\eth ({\mathcalligra {f}}\zeta ,{\mathcalligra {f}}\mathscr {\alpha}^*_n),\eth ({\mathcalligra {f}}\varpi ,{\mathcalligra {f}}\mathscr {\beta}^*_n)\}\) is bounded below decreasing sequence of positive reals and by a result, we get
Therefore as \(n \rightarrow +\infty \) in Eq. (45), we get
which we have derived \({\hat{\psi }}(\Gamma )=0\). Hence, \(\Gamma =0\). Therefore,
Thus,
Also from the above same argument, we procured that
Therefore from (47) and (48), we get \({\mathcalligra {f}}\zeta ={\mathcalligra {f}}{\mathcalligra {k}}\) and \({\mathcalligra {f}}\varpi ={\mathcalligra {f}}{\mathcalligra {l}}\). Since \({\mathcalligra {f}}\zeta ={\mathscr {L}}(\zeta ,\varpi )\) and \({\mathcalligra {f}}\varpi ={\mathscr {L}}(\varpi ,\zeta )\) and the commutativity property of \({\mathscr {L}}\) and \({\mathcalligra {f}}\) implies that
If \({\mathcalligra {f}}\zeta =\mathscr {{\alpha}^*}_1\) and \({\mathcalligra {f}}\varpi =\mathscr {{\beta}^*}_1\) then from (49), we get
this shows that \((\mathscr {{\alpha}^*}_1,\mathscr {{\beta}^*}_1)\) is a coupled coincidence point of \({\mathscr {L}}\) and \({\mathcalligra {f}}\). Hence, \({\mathcalligra {f}}(\mathscr {{\alpha}^*}_1)={\mathcalligra {f}}{\mathcalligra {k}}\) and \({\mathcalligra {f}}(\mathscr {{\beta}^*}_1)={\mathcalligra {f}}{\mathcalligra {l}}\) which in turn gives that \({\mathcalligra {f}}(\mathscr {{\alpha}^*}_1)=\mathscr {{\alpha}^*}_1\) and \({\mathcalligra {f}}(\mathscr {{\beta}^*}_1)=\mathscr {{\beta}^*}_1\). Therefore, we conclude from (50) that \((\mathscr {{\alpha}^*}_1,\mathscr {{\beta}^*}_1)\) is a coupled common fixed point of \({\mathscr {L}}\) and \({\mathcalligra {f}}\).
Assume \((\mathscr {{\alpha}^*}_2,\mathscr {{\beta}^*}_2)\) is another coupled common fixed point to \({\mathscr {L}}\) and \({\mathcalligra {f}}\). Thus \(\mathscr {{\alpha}^*}_2={\mathcalligra {f}}\mathscr {{\alpha}^*}_2= {\mathscr {L}}(\mathscr {{\alpha}^*}_2,\mathscr {{\beta}^*}_2)\) and \(\mathscr {{\beta}^*}_2={\mathcalligra {f}}\mathscr {{\beta}^*}_2= {\mathscr {L}}(\mathscr {{\beta}^*}_2,\mathscr {{\alpha}^*}_2)\). But \((\mathscr {{\alpha}^*}_2,\mathscr {{\beta}^*}_2)\) is a coupled common fixed point of \({\mathscr {L}}\) and \({\mathcalligra {f}}\) then \({\mathcalligra {f}}\mathscr {{\alpha}^*}_2={\mathcalligra {f}}\zeta =\mathscr {{\alpha}^*}_1\) and \({\mathcalligra {f}}\mathscr {{\beta}^*}_2={\mathcalligra {f}}\varpi =\mathscr {{\beta}^*}_1\). Therefore, \(\mathscr {{\alpha}^*}_2={\mathcalligra {f}}\mathscr {{\alpha}^*}_2={\mathcalligra {f}}\mathscr {{\alpha}^*}_1=\mathscr {{\alpha}^*}_1\) and \(\mathscr {{\beta}^*}_2={\mathcalligra {f}}\mathscr {{\beta}^*}_2={\mathcalligra {f}}\mathscr {{\beta}^*}_1=\mathscr {{\beta}^*}_1\). Hence the uniqueness. \(\square \)
Theorem 2.12
If \({\mathcalligra {f}}\zeta _0 \preceq {\mathcalligra {f}}\varpi _0\) or \({\mathcalligra {f}}\zeta _0 \succeq {\mathcalligra {f}}\varpi _0\) in Theorem 2.11 , then \({\mathscr {L}}\) and \({\mathcalligra {f}}\) have a unique common fixed point in \({\mathfrak {P}}.\)
Proof
Assume that \((\zeta ,\varpi ) \in {\mathfrak {P}}\) is a unique coupled common fixed point of \({\mathscr {L}}\) and \({\mathcalligra {f}}\). Next to show that \(\zeta =\varpi \). Suppose that \({\mathcalligra {f}}\zeta _0 \preceq {\mathcalligra {f}}\varpi _0\) then by induction, we get \({\mathcalligra {f}}\zeta _n \preceq {\mathcalligra {f}}\varpi _n\) for all \(n \ge 0\). From Lemma 2 of [16], we have
which is a contradiction. Hence, \(\zeta =\varpi \).
The result can also be seen in the case of \({\mathcalligra {f}}\zeta _0 \succeq {\mathcalligra {f}}\varpi _0\). \(\square \)
Note 1
The same conclusions can also be seen as in Theorems 2.6, 2.7, 2.9, 2.11 and 2.12 by maintaining only \({\mathcal {C}}_{\mathcalligra {f}}(\zeta ,\varpi )\), \({\mathcal {C}}_{\mathcalligra {f}}(\zeta ,\varpi , \varrho , \sigma )\) in place of \({\mathcal {D}}_{\mathcalligra {f}}(\zeta ,\varpi )\), \({\mathcal {D}}_{\mathcalligra {f}}(\zeta ,\varpi , \varrho , \sigma )\) in the contraction conditions.
Remark 2.13
Although \({\mathcalligra {s}}=1\) and as a consequence of [14], the condition
is equivalent to,
where \({\hat{\phi }} \in {\hat{\Phi }}\), \({\hat{\psi }} \in {\hat{\Psi }}\) and \(\varphi \) is a continuous self mapping on \([0,+\infty )\) with \(\varphi (\varepsilon )<\varepsilon \) for all \(\varepsilon >0\) and \(\varphi (\varepsilon )=0\) if and only if \(\varepsilon =0\). As a result, the findings are generalized and expanded the results of [9, 12, 17] as well as several other comparable results.
Now depending on the continuity of a metric \(\eth \), we have the following examples.
Example 2.14
Let \({\mathfrak {P}}=\{ a,b,c,d,e,f \}\) and \(\eth :{\mathfrak {P}} \times {\mathfrak {P}} \rightarrow {\mathfrak {P}}\) be a metric defined by
A self mapping \({\mathscr {L}}\) on \({\mathfrak {P}}\) defined by \({\mathscr {L}} a ={\mathscr {L}} b ={\mathscr {L}} c ={\mathscr {L}} d ={\mathscr {L}} e =1, {\mathscr {L}} f =2\) has a fixed point with \({\hat{\phi }}(\varepsilon )=\frac{\varepsilon }{2}\) and \({\hat{\psi }}(\varepsilon )=\frac{\varepsilon }{4}\) where \(\varepsilon \in [0,+\infty )\).
Proof
For \({\mathcalligra {s}}=2\), \(({\mathfrak {P}},\eth ,\le )\) is a complete partially ordered b-metric space. Assume that \(\zeta < \varpi \) for \(\zeta , \varpi \in {\mathfrak {P}}\), then we have the following cases:
Case 1
If \(\zeta , \varpi \in \{ a,b,c,d,e \}\) then \(\eth ({\mathscr {L}}\zeta ,{\mathscr {L}}\varpi )=\eth ( a , a )=0\). Thus,
Case 2
If \(\zeta \in \{ a,b,c,d,e \}\) and \(\varpi = f \), then \(\eth ({\mathscr {L}}\zeta ,{\mathscr {L}}\varpi )=\eth ( a , b )=3\), \({\mathcal {C}}( f , e )={\mathcal {D}}( f , e )=20\) and \({\mathcal {C}}(\zeta , f )={\mathcal {D}}(\zeta , f )=12\), for \(\zeta \in \{ a,b,c,d \}\). Hence,
As a result, all the conditions of Theorem 2.1 are satisfied, and hence \({\mathscr {L}}\) has a fixed point in \({\mathfrak {P}}\). \(\square \)
Example 2.15
Define a metric \(\eth \) with usual order \(\le \) by
where \({\mathfrak {P}}=\{0, 1, \frac{1}{2},\frac{1}{3},\frac{1}{4},\cdots\frac{1}{n},\cdots\}\). Then a self mapping \({\mathscr {L}}\) on \({\mathfrak {P}}\) by \({\mathscr {L}}0=0, {\mathscr {L}}\frac{1}{n}=\frac{1}{12n} (n\ge 1)\) has a fixed point with \({\hat{\phi }}(\varepsilon )=\varepsilon \) and \({\hat{\psi }}(\varepsilon )=\frac{4\varepsilon }{5}\) for \(\varepsilon \in [0,+\infty )\).
Proof
\(\eth \) is evidently discontinuous, and \(({\mathfrak {P}},\eth ,\le )\) is a complete partially ordered b-metric space with \({\mathcalligra {s}}=\frac{12}{5}\). Now we have the following cases for \(\zeta ,\varpi \in {\mathfrak {P}}\) with \(\zeta <\varpi \):
Case 1
Suppose \(\zeta =0\) and \(\varpi =\frac{1}{n} ~(n >0)\), then \(\eth ({\mathscr {L}}\zeta ,{\mathscr {L}}\varpi )=\eth (0,\frac{1}{12n})=\frac{1}{12n}\) and \({\mathcal {C}}(\zeta ,\varpi )~\text {or}~ {\mathcal {D}}(\zeta ,\varpi )=\frac{1}{n}\) and \({\mathcal {C}}(\zeta ,\varpi )~ \text {or}~ {\mathcal {D}}(\zeta ,\varpi )= \{1,6\}\). Therefore,
Case 2
Suppose that \(\zeta =\frac{1}{m}\) and \(\varpi =\frac{1}{n}\) where \(m>n\ge 1\), then
Thus,
Hence, we have the conclusion from Theorem 2.1 as all assumptions are fulfilled. \(\square \)
Example 2.16
Let \(d:{\mathfrak {P}}\times {\mathfrak {P}} \rightarrow {\mathfrak {P}}\) be a metric with \({\mathfrak {P}}=\{\mho /\mho :[a_1,a_2] \rightarrow [a_1,a_2]~ \text {continuous}\}\) and
for every \(\mho _1,\mho _2 \in {\mathfrak {P}}\), \(0 \le a_1<a_2\) with \(\mho _1 \preceq \mho _2\) implies \(a_1\le \mho _1(\varepsilon ) \le \mho _2 (\varepsilon )\le a_2, \varepsilon \in [a_1,a_2]\). A self mapping \({\mathscr {L}}\) on \({\mathfrak {P}}\) defined by \({\mathscr {L}} \mho = \frac{\mho }{5}, \mho \in {\mathfrak {P}}\) has a unique fixed point with \({\hat{\phi }}(\ddot{a})=\ddot{a}\) and \({\hat{\psi }}(\ddot{a})=\frac{\ddot{a}}{3}\), for any \(\ddot{a} \in [0, +\infty ]\).
Proof
Since, \(\min (\mho _1,\mho _2) (\varepsilon )=\min \{\mho _1(\varepsilon ),\mho _2(\varepsilon )\}\) is continuous, and all other assumptions of Theorem 2.3 are satisfied for \({\mathcalligra {s}}=2\). As a result, \(0 \in {\mathfrak {P}}\) is the only fixed point of \({\mathscr {L}}\).
\(\square \)
Limitations
In complete partially ordered b-metric space, the existence and uniqueness of a fixed point for a self mapping which satisfies a generalized weak contraction condition with two rational auxiliary functions are discussed. These results are further generalized for two self mappings in the same context and proved the existence of coincidence point, coupled coincidence point and coupled common fixed points. Also, shown that these results are generalized the well known existing results in the literature. Some numerical examples are given to justify the obtained results.
-
These results can be extended by involving more mappings in partially ordered b-metric space to acquire triple, quadruple fixed points.
-
These contractions can be used to obtain a coincidence point, coupled coincidence point and coupled common fixed points for the mappings in various ordered metric spaces with required topological properties like monotone non-decreasing, mixed monotone, compatible etc.
Availability of data and materials
Not applicable.
References
Aghajani A, Arab R. Fixed points of \((\psi ,\phi ,\theta )\)-contractive mappings in partially ordered \(b\)-metric spaces and applications to quadratic integral equations. Fixed Point Theory Appl. 2013;2013:245.
Aghajani A, Abbas M, Roshan JR. Common fixed point of generalized weak contractive mappings in partially ordered \(b\)-metric spaces. Math Slovaca. 2014;64(4):941–60.
Akkouchi M. Common fixed point theorems for two self mappings of a \(b\)-metric space under an implicit relation. Hacet J Math Stat. 2011;40(6):805–10.
Aleksić S, Huang H, Mitrović ZD, Radenović S. Remarks on some fixed point results in \(b\)-metric spaces. J Fixed Point Theory Appl. 2018;20:147. https://doi.org/10.1007/s11784-018-2.
Allahyari R, Arab R, Haghighi AS. A generalization on weak contractions in partially ordered \(b\)-metric spaces and its applications to quadratic integral equations. J Inequal Appl. 2014;2014:355.
Aydi H, Dedović N, Bin-Mohsin B, Filipović M, Radenović S. Some new observations on Geraghty and Ćirić type results in \(b\)-metric spaces. Mathematics. 2019;7:643. https://doi.org/10.3390/math707064.
Bakhtin IA. The contraction principle in quasimetric spaces. Funct Anal Ulianowsk Gos Fed Inst. 1989;30:26–37.
Belay M, Karusala K, Seshagiri Rao N. Some fixed point results of generalized \((\phi ,\psi )\)-contractive mappings in ordered \(b\)-metric spaces. BMC Res Notes. 2020;13:537. https://doi.org/10.1186/s13104-020-05354-1.
Bhaskar TG, Lakshmikantham V. Fixed point theorems in partially ordered metric spaces and applications. Nonlinear Anal. 2006;6:1379–93. https://doi.org/10.1016/j.na.2005.10.017.
Czerwik S. Contraction mappings in \(b\)-metric spaces. Acta Math Univ Ostrav. 1993;1:5–11.
Dorić D. Common fixed point for generalized \((\psi ,\phi )\)-weak contractions. Appl Math Lett. 2009;22:1896–900.
Harjani J, López B, Sadarangani K. Fixed point theorems for mixed monotone operators and applications to integral equations. Nonlinear Anal. 2011;74:1749–60.
Huang H, Radenović S, Vujaković J. On some recent coincidence and immediate consequences in partially ordered \(b\)-metric spaces. Fixed Point Theory Appl. 2015;2015:63. https://doi.org/10.1186/s13663-015-0308-3.
Jachymski J. Equivalent conditions for generalized contractions on (ordered) metric spaces. Nonlinear Anal. 2011;74:768–74.
Jovanović M, Kadelburg Z, Radenović S. Common fixed point results in metric-type spaces. Fixed Point Theory Appl. 2010;2010:978121.
Karapinar E, Mitrović ZD, Özturk A, Radenović S. On a theorem of Ćirić in \(b\)-metric spaces. Rendiconti del Circolo Matematico di Palermo Series 2. https://doi.org/10.1007/s12215-020-00491-9.
Luong NV, Thuan NX. Coupled fixed point theorems in partially ordered metric spaces. Bull Math Anal Appl. 2010;4:16–24.
Roshan JR, Parvaneh V, Sedghi S, Shobkolaei N, Shatanawi W. Common fixed points of almost generalized \((\psi , \phi )_s\)-contractive mappings in ordered \(b\)-metric spaces. Fixed Point Theory Appl. 2013;2013(159):1–23.
Roshan JR, Parvaneh V, Altun I. Some coincidence point results in ordered \(b\)-metric spaces and applications in a system of integral equations. Appl Math Comput. 2014;226:725–37.
Seshagiri Rao N, Kalyani K. Fixed point theorems for nonlinear contractive mappings in ordered \(b\)-metric space with auxiliary function. BMC Res Notes. 2020;13:451. https://doi.org/10.1186/s13104-020-05273-1.
Seshagiri Rao N, Kalyani K. Generalized contractions to coupled fixed point theorems in partially ordered metric spaces. J Sib Federal Univ Math Phys. 2020;13(4):492–502. https://doi.org/10.17516/1997-1397-2020-13-4-492-502.
Seshagiri Rao N, Kalyani K. Coupled fixed point theorems with rational expressions in partially ordered metric spaces. J Anal. 2020. https://doi.org/10.1007/s41478-020-00236-y.
Seshagiri Rao N, Kalyani K, Khatri K. Contractive mapping theorems in partially ordered metric spaces. CUBO. 2020;22(2):203–14.
Seshagiri Rao N, Kalyani K. Generalized fixed point results of rational type contractions in partially ordered metric spaces. BMC Res Notes. 2021;14:390. https://doi.org/10.1186/s13104-021-05801-7.
Seshagiri Rao N, Kalyani K, Prasad K. Fixed point results for weak contractions in partially ordered \(b\)-metric space. BMC Res Notes. 2021;14:263. https://doi.org/10.1186/s13104-021-05649-x.
Acknowledgements
The authors do thankful to the editor for giving and opportunity to submit our research paper in this esteemed journal.
Funding
Not applicable.
Author information
Authors and Affiliations
Contributions
KK involved in formal analysis, methodology, writing and supervising the work. NSR contributed in the conceptualization, formal analysis, methodology, writing, editing and approving the manuscript. Both authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Ethics approval and consent to participate
Not applicable.
Consent for publication
Not applicable.
Competing interests
The authors declare that they have no competing interests.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/. The Creative Commons Public Domain Dedication waiver (http://creativecommons.org/publicdomain/zero/1.0/) applies to the data made available in this article, unless otherwise stated in a credit line to the data.
About this article
Cite this article
Kalyani, K., Seshagiri Rao, N. Fixed point results of weakly contraction mappings in partially ordered b-metric spaces. BMC Res Notes 15, 29 (2022). https://doi.org/10.1186/s13104-022-05914-7
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13104-022-05914-7
Keywords
- \(({\hat{\phi }}, {\hat{\psi }})\)-Weak contractions
- Fixed point
- Coincidence point
- Compatible mappings
- Coupled coincidence point
- Coupled common fixed points