 Research note
 Open access
 Published:
Fixed point results for generalized rational type \(\alpha\) admissible contractive mappings in the setting of partially ordered bmetric spaces
BMC Research Notes volume 15, Article number: 242 (2022)
Abstract
Objectives
In this paper we introduce fixed point theorems for generalized rational type \(\alpha\) admissible contractive mappings in partially ordered bmetric spaces and prove the existence and uniqueness of fixed points for selfmappings satisfying the established theorems. Finally, we provide examples in support of our main findings in the setting of partially ordered bmetric spaces.
Result
New fixed point results have been obtained for generalized rational type \(\alpha\) admissible contractive mappings in the setting of partially ordered bmetric space and we applied one of our results to determine a solution to an integral equation.
Introduction
Banach contraction principle [2] is one of the most useful results in nonlinear analysis. It ensures the existence and uniqueness of the fixed points of nonlinear operators satisfying strict contractive conditions. It also shows that the fixed point can be approximated by means of a Picard iterations. Due to its application in mathematics and other related fields of study the Banach contraction principle has been generalized in many directions. One of the generalizations of Banach fixed point theorem is the one given in the setting of partially ordered metric spaces which was initiated by Wolk [3]. After that Ran and Reurings [4] introduced fixed point results in the setting of partially metric spaces. There after Nieto and RodriguezLopez [5] extended the works of Ran and Reurings for nondecreasing mappings and applied their results to determine a solution of certain differential equation. For more fixed point results in partially ordered metric and partially ordered bmetric spaces readers may refer to [6,7,8,9,10,11] and the references therein. Recently, in 2020, Seshagiri Rao and Kalyani [1] defined generalized rational type contraction mappings and studied fixed point theorems for the class of mappings introduced in the setting of partially ordered metric spaces.
Inspired and motivated by the works Seshagiri Rao and Kalyani [1] in this paper we introduce generalized rational type \(\alpha\) admissible contractive mappings and study fixed point results in the setting of partially ordered bmetric spaces.
Preliminaries
In this section, we recall some basic definitions and results which we use in the sequel.
Notation 1
In this paper we denote:

1
\(R^{+} = [0,\infty );\)

2
R is the set of real numbers;

3
N is the set of natural numbers.
Definition 1
[12] Let X be a nonempty set and \(s\ge 1\) be a given real number. A function \(d:X\times X \rightarrow R^{+}\) is said to be a bmetric if and only if for all \(x,y,z\in X\), the following conditions are satisfied:

(i)
\(d(x,y) = 0\) if and only if \(x = y\);

(ii)
\(d(x,y) = d(y,x)\);

(iii)
\(d(x,z)\le s[d(x,y)+d(y,z)]\).
The pair (X, d) is called a bmetric space.
It should be noted that, the class of bmetric spaces is effectively larger than that of metric spaces, since a metric is a bmetric with \(s=1\).
But in general, the converse is not true.
Example 1
[13] Let \(X = R\) and \(d:X\times X \rightarrow R^{+}\) be given by \(d(x,y) = xy^{2}\) for \(x,y\in X\), then d is a bmetric on X with \(s = 2\) but it is not a metric on X since for \(x = 2,y = 4\) and \(z = 6\), we have
Hence, the triangle inequality for a metric does not hold.
Definition 2
[14] Let \((X,\preceq )\) be a partially ordered set. A sequence \(\{x_n\}\) in X is said to be nondecreasing with respect to \(\preceq\) if \(x_n \preceq x_{n+1}\) for all \(n\in N.\)
Definition 3
[14] Let \((X,\preceq )\) be a partially ordered set and \(T:X\rightarrow X\) be a mapping then,
 (i):

elements of \(x,y\in X\) are said to be comparable if \(x\preceq y\) or \(y\preceq x\) holds.
 (ii):

a nonempty set X is called wellordered set, if every two elements of it are comparable.
 (iii):

T is said to be monotone nondecreasing with respect to \(\preceq\) if for all \(x,y\in X,\) \(x\preceq y\) implies \(Tx\preceq Ty\).
 (iv):

T is said to be monotone nonincreasing with with respect to \(\preceq\) if for all \(x,y\in X,\) \(x\preceq y\) implies \(Tx\succeq Ty\).
Theorem 1
[15] Let (X, d) be a complete metric space and suppose that there exist \(\alpha ,\beta \ge 0\) with \(\alpha +\beta <1\) and \(T:X\rightarrow X\) satisfying the contraction condition:
\(d(Tx,Ty)\le \alpha \frac{d(y,Ty)[1+d(x,Tx)]}{1+d(x,y)}+\beta d(x,y)\) for all \(x,y\in X\).
Then T has a unique fixed point.
Theorem 2
[16] Let \((X,\preceq )\) be a partially ordered set and suppose that there exists a metric d on X such that (X, d) is a complete metric space. Suppose that T is a continuous, monotone nondecreasing self mapping on X and \(d(Tx,Ty)\le \alpha \frac{d(x,Tx)d(y,Ty)}{d(x,y)+d(x,Ty)+d(y,Tx))}+\beta d(x,y)\) for all \(x,y\in X\), with \(x\succeq y\) and for some \(\alpha ,\beta \in [0,1)\) with \(\alpha +\beta <1\), there exists \(x_0\in X\) with \(x_0\preceq Tx_0\).
Then T has a fixed point.
Definition 4
[17] Let X be a nonempty set, \(T :X \rightarrow X\) and \(\alpha :X \times X \rightarrow R^{+}\), we say that \(\ T\) is an \(\alpha\)admissible mapping if \(\alpha (x,y) \ge 1\) implies \(\alpha (Tx,Ty) \ge 1\), for all \(x,y \in X\).
Definition 5
[18] Let \(\ (X,d)\) be a bmetric space, \(x\in X\) and \(\{x_n\}\) be a sequence in X. Then we say that:
 (i):

\(\{x_n\}\) bconverges to x if \(d(x_n,x)\rightarrow 0\) as \(n\rightarrow \infty\).
 (ii):

\(\{x_n\}\) is a bCauchy sequence if \(d(x_n,x_m)\rightarrow 0\) as \(n,m\rightarrow \infty\).
 (iii):

(X, d) is bcomplete if every bCauchy sequence is bconvergent in X.
Definition 6
[19] Let (X, d) be a bmetric space with the coefficient \(s \ge 1\) and \(T:X\rightarrow X\) be a given mapping. We say that T is continuous at \(x_{o} \in X\) if and only if for every sequence \(\{x_{n}\} \text { in } X,\) we have \({x_{n}}\rightarrow x_{o}\) as \(n\rightarrow \infty ,\) then \(Tx_{n} \rightarrow Tx_{o}\) as \(n\rightarrow \infty .\)
If T is continuous at each point \(x_{0} \in X\), then we say that T is continuous on X. In general, a bmetric is not necessarily continuous.
Example 2
Let \(X= N U \{\infty \} .\) Define a mapping \(d : X \times X \rightarrow R^{+}\) as follows:
\(d(m,p)\le \frac{5}{4} [d(m,n)+d(n,p)] \ for \ all \ m,n,p\in X.\)
Then (X, d) is a bmetric space with \(s =\frac{5}{4}\).
Choose \(x_{n} = 2n\) for each \(n\in N\). Then
that is, \(x_{n} \rightarrow \infty \ as \ n\rightarrow \infty\).
But,
Hence d is not continuous.
Definition 7
[7] Let (X, d) be a complete metric space and \((X,\preceq )\) is partial ordered set. Then \((X,d,\preceq )\) is called a complete partially ordered metric space.
Main results
Now we define generalized rational type \(\alpha\)admissible contractive mappings in the setting of partially ordered bmetric space and prove fixed point results for the mappings defined.
Definition 8
Let \((X,d,\preceq )\) be a partially ordered bmetric space with coefficient \(s\ge 1\), \(\alpha :X\times X\rightarrow R^{+}\) and \(T:X\rightarrow X,\) then T is said to be generalized rational type \(\alpha\)admissible contractive mapping if there exit \(a,b,c,e,f \in [0,1)\) with \(as+(2s+s^{2})b+c+es+f<1\) and satisfies:
for all \(x,y\in X\) with \(x\preceq y\) where \(A=d(y,Tx)+d(x,Ty)\).
Theorem 3
Let \((X,d,\preceq )\) be a complete partially ordered bmetric space with coefficient \(s\ge 1\), \(\alpha :X\times X\rightarrow R^{+}\) and \(T:X\rightarrow X\) satisfies the following conditions:
 (i):

T is generalized rational type \(\alpha\)admissible contractive mapping;
 (ii):

there exists a point \(x_0\in X\) such that \(x_0\preceq Tx_0\) and \(\alpha (x_0,Tx_0)\ge 1\);
 (iii):

T is continuous and a nondecreasing mapping with regards to \(\preceq\);
 (iv):

T is an \(\alpha\)admissible mapping;
Then T has a fixed point in X.
Proof
By (ii) there exists \(x_0\in X\) such that \(x_0\preceq Tx_0\) and \(\alpha (x_0,Tx_0)\ge 1\). We define a sequence \(\{x_n\}\) in X by \(x_{n+1}=Tx_n\), for all \(n\ge 0\). By nondecreasing property of T we get,
If \(x_n=x_{n+1}\) for some \(n\ge 0\), then \(Tx_n= x_{n+1} = x_n\), so that \(x_n\) is a fixed point of T and this completes the proof. \(\square\)
Now assume that \(\ x_n\ne x_{n+1}\), for all \(\ n\ge 0\). Since \(\ T\) is \(\alpha\)admissible, we have
Also, we get
By induction we obtain,
We consider two cases.
Case (i): If \(A=d(x_n,Tx_{n1})+d(x_{n1},Tx_n)\ne 0\).
Now, by applying (1) and (3) for all \(n\ge 1\) we get,
That is,
which gives \((1(bs+c+f))d(x_n,x_{n+1})\le (a+b(1+s)+e)d(x_{n1},x_n)\),
Let \(\frac{(a+b(1+s)+e)}{1(bs+c+f)} =\beta \in [0,\frac{1}{s})\).
Now (4) becomes,
Also, we obtain
So, we have
By continuing this process inductively we get,
Since \(0\le\, \beta <\frac{1}{s}\),
Hence, \(d(x_n,x_{n+1})\rightarrow 0\), as \(n\rightarrow \infty\). That is,
Now, we show the sequence \(\{x_n\}\) is bCauchy.
For \(m,n\in N\) with \(\ m> n\), applying the triangle inequality we get,
Thus,
Since \(\beta \in [0,\frac{1}{s}),\) we get,
Hence, \(d(x_n,x_m)\rightarrow 0\) as \(m,n\rightarrow \infty\). Therefore, \(\{x_n\}\) is a bCauchy sequence in X.
Since, X is bcomplete, there exists \(x\in X\) such that \(x_n\rightarrow x\), that is,
Since, T is continuous,
That is, \(Tx=x\). So, x is a fixed point of T.
Case (ii): If \(A=d(x_n,Tx_{n1})+d(x_{n1},Tx_n)=0,\) from (1) we have \(d(x_n,x_{n+1})=0\), which gives that \(x_n=x_{n+1}\), it is a contradiction as the elements of the sequence are comparable and distinct. Therefore, T has a fixed point. By removing the continuity assumption of T in Theorem 3 we get the following result.
Theorem 4
Let \((X,d,\preceq )\) be a complete partially ordered bmetric space with coefficient \(s\ge 1\), \(\alpha :X\times X\rightarrow R^{+}\) and \(T:X\rightarrow X\), satisfies the following conditions:
 (i):

T is generalized rational type \(\alpha\)admissible contractive mapping;
 (ii):

there exists a point \(x_0\in X\) such that \(x_0\preceq Tx_0\) and \(\alpha (x_0,Tx_0)\ge 1;\)
 (iii):

there exists a nondecreasing sequence \({x_n }\rightarrow x\) in X, with \(x_n\preceq x\) and \(\alpha (x_{n},x) \ge 1\) for all \(n \ge 0\);
 (iv):

T is a nondecreasing mapping with regards to \(\preceq\);
 (v):

d is continuous;
 (vi):

T is an \(\alpha\)admissible mapping.
Then T has a fixed point in X.
Proof
By (ii) there exists \(x_0\in X\) such that \(x_0\preceq Tx_0\) and \(\alpha (x_0,Tx_0)\ge 1\).
We define a sequence \(\{x_n\}\) in X by \(T^{n+1}x_0=T(T^{n}x_0)\), for all \(n\ge 0\). Since T is nondecreasing we have
Following as in the proof of Theorem 3 we get that the sequence \(\{x_n\}\) is bCauchy in X and it converges to \(x\in X\).
Now, we have to show the existence of a fixed point of T in X.
That is, \(x = Tx\). Suppose that \(x \ne Tx\). By (iii), there exists a sequence \(\{x_{n}\}\) in X such that \(\alpha (x_{n}, x) \ge 1\) for all \(n \in {\mathbb {N}}\cup \{0\}\). We can suppose that \(x_{n} \ne Tx\) for all \(n \in {\mathbb {N}}\cup \{0\}\). We consider the following cases.
Case (i): If \(\ A=d(x,Tx_{n})+d(x_{n},Tx)\ne 0\), then from (1), we have
So,we have
Letting limit as \(n\rightarrow \infty\) in the above inequality we obtain,
It follows that \((1(b+c+f))d(x,Tx) \le 0.\) Since \((1(b+c+f))>0\), we must have \(d(x,Tx)=0\), that is, \(x=Tx\). Hence, x is a fixed point of T.
Case (ii) \(A=d(x,Tx_{n})+d(x_{n},Tx)=0\) then from (1), we have
by taking limit as \(n\rightarrow \infty\) we get, \(d(x,Tx)=0,\) which implies that \(x=Tx\).
Therefore, x is a fixed point of T. \(\square\)
In the following we use Condition (U) to guarantee the uniqueness of fixed point in Theorem 3 and Theorem 4.
Condition U: For all \(x,y\in Fix(T)\), we have \(\alpha (x,y)\,\ge\, 1\), where Fix(T) denotes the set of all fixed points of T. Every pair of elements has a lower bound and has an upper bound. This condition is equivalent to for every \(x,y\in X\) there exists \(z\in X\) which is comparable to x and y.
Theorem 5
In addition to the hypotheses of Theorem 3(or Theorem 4), condition (U) provides uniqueness of fixed point of T in X.
Proof
From Theorem 3 (or Theorem 4) the set of fixed points of T is nonempty. Suppose that x and y are two fixed points of T then, we claim that \(x = y\). Suppose that \(x\ne y\).
We consider the following cases:
Case (i) If \(A=d(y,Tx)+d(x,Ty)\ne 0\) then from (1), we have
which is a contradiction, thus we get, \(d(x,y)=0\), which implies that \(x=y\).
Hence, T has a unique fixed point.
Case (ii) If \(\ A=d(y,Tx)+d(x,Ty)=0\), then from (1), we have \(d(x,y)=0\) which implies that \(x=y.\) Therefore, T has a unique fixed point. \(\square\)
In the following we give corollaries to our main findings.
Corollary 1
Let \((X,d,\preceq )\) be a complete partially ordered bmetric space with coefficient \(\ s\ge 1\), \(\alpha :\ X\times \ X\rightarrow \ R^{+}\) and \(\ T:X\rightarrow X\), satisfies the following conditions:
 (i):

$$\begin{aligned}&\alpha (x,y)d(Tx,Ty)\le {\left\{ \begin{array}{ll} ad(x,y)+b[d(x,Tx)+d(x,Ty)]+e\frac{d(x,Tx)d(x,Ty)+d(y,Tx)d(y,Ty)}{d(y,Tx)+d(x,Ty)}&{}\quad \text {if }A\ne 0 \\ 0&{}\quad \text {if }A=0 \end{array}\right. }\nonumber \\&\quad \text { for all } \ x,y\in X \text { with } \ x\preceq y, \text { where } \ A=d(y,Tx)+d(x,Ty) \end{aligned}$$(9)
and \(a,b,e\in [0,1)\) with \(as+(2s+s^{2})b+es<1\);
 (ii):

there exists a point \(x_0\in X\) such that \(x_0\preceq Tx_0\) and \(\alpha (x_0,Tx_0)\ge 1\);
 (iii):

T is an \(\alpha\)admissible mapping;
 (iv):

T is continuous and a nondecreasing mapping with regards to \(\preceq\).
Then T has a fixed point in X.
Proof
The result follows by taking \(c=f=0\) in Theorem 3. \(\square\)
Remark 1
By taking \(\alpha (x,y)=1\) for all \(x,y\in X\) and \(s=1\) in Corollary 1 we get the result of (Seshagiri and Kalyani, 2020) in metric spaces.
Corollary 2
Let \((X,d,\preceq )\) be a complete partially ordered bmetric space with coefficient \(s\ge 1\), \(\alpha :\ X\times \ X\rightarrow \ R^{+}\) and \(T:X\rightarrow X\) satisfies the following conditions:
 (i):

$$\begin{aligned}&\alpha (x,y)d(Tx,Ty)\le\, {\left\{ \begin{array}{ll} ad(x,y)+b[d(x,Tx)+d(x,Ty)] +c\frac{d(y,Ty)+d(y,Tx)}{1+d(y,Ty)d(y,Tx)} \\ \quad +\,e\frac{d(x,Tx)d(x,Ty)+d(y,Tx)d(y,Ty)}{d(y,Tx)+d(x,Ty)}&{}\quad \text {if }A\ne 0 \\ 0&{}\quad \text {if }A=0 \end{array}\right. }\nonumber \\&\quad \text { for all } x,y\in X \text { with } x\preceq y, \text { where } A=d(y,Tx)+d(x,Ty) \end{aligned}$$(10)
and \(\ a,b,c,e\in [0,1)\) with \(as+(2s+s^{2})b+c+es<1\);
 (ii):

if there exists a point \(x_0\in X\) such that \(x_0\preceq Tx_0\) and \(\alpha (x_0,Tx_0)\ge 1\);
 (iii):

T is an \(\alpha\)admissible mapping;
 (iv):

T is a nondecreasing mapping with regards to \(\preceq\);
 (v):

there exists a nondecreasing sequence \({x_n }\rightarrow x\) in X, with \(x_n\preceq x\) and \(\alpha (x_{n},x) \ge 1\) for all \(n \in {\mathbb {N}}\).
Then T has a fixed point in X.
Proof
The result follows by taking \(f=0\) in Theorem 4. \(\square\)
Remark 2
By taking \(\alpha (x,y)=1\) for all \(x,y\in X\) in Corollary 2 we get another corollary in bmetric spaces.
Corollary 3
Let \((X,d,\preceq )\) be a complete partially ordered bmetric space with coefficient \(s\ge 1\) and \(T:X\rightarrow X\) be a nondecreasing mapping with regards to \(\preceq\) which satisfies the following condition:
for all \(x,y\in X\) with \(x\preceq y\), where \(a,b,c,f\in [0,1)\) with \(as+(2s+s^{2})b+c+f<1\).
Then T has a unique fixed point in X.
Proof
The result follows by taking \(\alpha (x,y)=1\) for all \(x,y\in X\) and \(e=0\) in Theorem 3. \(\square\)
Remark 3
By taking \(b=c=f=0\) and \(s=1\) for all \(x,y\in X\) in Corollary 3 we get Banach fixed point theorem in metric spaces.
Corollary 4
Let \((X,d,\preceq )\) be a complete partially ordered bmetric space with coefficient \(s\ge 1\), \(\alpha :\ X\times \ X\rightarrow \ R^{+}\) and \(T:X\rightarrow X\) satisfies the following conditions:
 (i):

$$\begin{aligned}&\alpha (x,y)d(Tx,Ty)\le\, {\left\{ \begin{array}{ll} ad(x,y)+c\frac{d(y,Ty)+d(y,Tx)}{1+d(y,Ty)d(y,Tx)}+e\frac{d(x,Tx)d(x,Ty) +d(y,Tx)d(y,Ty)}{d(y,Tx)+d(x,Ty)}\\ \quad +\,f\frac{d(y,Ty)[1+d(x,Tx)]}{1+d(x,y)}&{}\quad \text {if }A\ne 0 \\ 0&{}\quad \text {if }A=0 \end{array}\right. }\nonumber \\&\quad \text { for all } \ x,y\in X \text { with } \ x\preceq y \text { where } \ A=d(y,Tx)+d(x,Ty) \end{aligned}$$(11)
and where \(a,c,e,f\in [0,1)\) with \(as+ c+es+f<1\);
 (ii):

if there exists a point \(x_0\in X\) such that \(x_0\preceq Tx_0\) and \(\alpha (x_0,Tx_0)\ge 1\);
 (iii):

T is an \(\alpha\)admissible mapping;
 (iv):

T is a nondecreasing mapping with regards to \(\preceq\);
 (v):

there exists a nondecreasing sequence \({x_n }\rightarrow x\) in X, with \(x_n\preceq x\) and \(\alpha (x_{n},x) \ge 1\) for all \(n \in {\mathbb {N}}\).
Then T has a fixed point in X.
Proof
The result follows by taking \(b=0\) in Theorem 4. \(\square\)
Remark 4
By taking \(\alpha (x,y)=1\) for all \(x,y\in X\) in Corollary 4 we get another corollary in bmetric spaces.
Application to integral equation
In this section we use Corollary 3 to show that there is a solution to the following integral equation,
Let \(X=C[0,1]\) be the set of real continuous functions defined on [0, 1]. We endow X with partial order \(\preceq\) given by \(x\preceq y\) if and only if \(x(t)\preceq y(t)\) for all \(t\in [0,1]\) and
for all \(x,y \in X\), where \(m\ge 1\). It is evident that \((X,d,\preceq )\) is a complete partial ordered bmetric space with a parameter \(s=2^{m1}\). Consider the mapping \(T: X\rightarrow X\) given by \(Tx(t)=\int _{0}^{1} L(t,r,x(r))dr\).
Theorem 6
Consider Equation (12) and suppose that

(i)
\(L: [0,1]\times [0,1]\times R \rightarrow R^{+}\) is continuous function;

(ii)
there is a continuous function \(\beta : [0,1]\times [0,1]\rightarrow R^{+}\) such that \(\int _{0}^{1} \beta (t,r)dr\le 1\);

(iii)
there exists a constant \(a\in [0,1)\) such that for all \((t,r) \in [0,1]^{2}\) and \(x,y \in R\),
$$\begin{aligned}  L(t,r,x(r)) L(t,r,y(r)) \le a^{\frac{1}{m}}\beta (t,r)x(r)y(r). \end{aligned}$$Then the integral Equation (12) has a unique solution \(x\in X\).
Proof
For \(x,y \in X\), from condition (ii) and (iii), for all \(t\in [0,1]\), we have
Therefore, all conditions of Corollary 3 are satisfied and as a result the mapping T has a unique fixed point in X. Which is a solution of the integral equation in (12). \(\square\)
Now, we give an examples to support our main findings.
Example 3
Let \(X=\{1,2,3,4,5\}\). We define d as follows:

(i)
\(d(x,x)=0,\) for all \(x\in X\);

(ii)
\(d(x,y)=d(y,x),\) for all \(x, y\in X\) \(d(1,2)=d(2,3)=d(3,4)=d(4,5)=1\)
\(d(1,3)=d(2,4)=d(3,5)=2\)
\(d(1,4)=d(2,5)=3\)
\(d(1,5)=m>4\).
Then \(d(x,y)\le \frac{m}{4}[d(x,z)+d(z,y)]\), for \(x,y,z\in X\).
We note that (X, d) is a bmetric space with \(s\ge \frac{m}{4}\). But (X, d) is not a metric space because for \(x=1\), \(y=5\) and \(z=2\), \(d(1,5)=m \nleq 4=d(1,2)+d(2,5)\).
Now, we define a partial order on X by
Then \((X,\preceq )\) is a partially ordered set. We define \(T:X\rightarrow X\) and \(\alpha :X\times X\rightarrow \Re ^+\) as:
Clearly T is continuous, nondecreasing and \(\alpha\)admissible mapping.
Further for \(x_0=1\in X\) we have \(\alpha (x_0,Tx_0)=2\ge 1\).
By choosing \(s=2\), \(a=\frac{1}{32}\), \(b=\frac{1}{256}\), \(c=e=\frac{1}{64}\) and \(e=\frac{1}{128},\) we see that T satisfies Inequality (1) and all the hypotheses of the Theorem 3 and T has a fixed point \(x_0=1\).
Example 4
Let \(X=[0,1]\) be endowed with usual order \(\le\) and with the bmetric \(d:X\times X\rightarrow R^{+}\) defined by \(d(x,y)=\frac{1}{16}xy^{2}\) with \(\ s = 2\).
We define an operator \(\ T: X \rightarrow X\) by
and \(\alpha :X\times X\rightarrow R^{+}\) by
Clearly T is nondecreasing and an \(\alpha\)admissible mapping.
Further, for \(x_0=0\) we have \(\alpha (x_0,Tx_0)=\alpha (0,T0)=2\ge 1\).
Now we verify Inequality (1) with \(s=2\) and \(a=f=\frac{1}{64}\), \(b=\frac{1}{128}\), \(c=\frac{1}{32}\) and \(e=\frac{1}{64}\) with \(\ as+(2s+s^{2})b+c+es+f\ <1\).
Case (i): If \(\ x,y\in [0,\frac{1}{4}]\) we get,
Case (ii): If \(x,y\in (\frac{1}{4},1]\) we get,
Case (iii): If \(y\in [0,\frac{1}{4}]\) and \(x\in (\frac{1}{4},1]\), then Inequality (1) trivially holds.
From the Case (i)  Case(iii) considered above, T satisfies Inequality (1) and hence, T satisfies all the hypotheses of the Theorem 4 and \(0,1\in X\) are fixed points of T.
Limitations
Seshagiri and Kalyani [1] established fixed point results for mappings satisfying certain rational type contractive conditions in complete partial ordered metric spaces and proved the existence and uniqueness of fixed points. In this paper, we define generalized rational type \(\alpha\)admissible contractive mappings in the setting of complete partially ordered bmetric spaces and prove the existence and uniqueness of fixed points for the introduced mappings. Our results extend and generalize the work of Seshagiri and Kalyani [1] from metric space to bmetric space. We have also supported the main results of this paper by applicable examples.
References
Seshagiri Rao N, Kalyani K. unique fixed point theorems in partially ordered metric spaces. Heliyon. 6. (http://creativecommons.org/licenses/byncnd/4.0/).
Banach S. Sur les operations dans les ensembles abstraitet leur application, aux equations, integrals. Fundam Math. 1922;3(1):133–81.
Wolk ES. Continuous convergence in partially ordered sets. General Topol Appl. 1975;5(3):221–34.
Ran AC, Reurings MC. A fixed point theorem in partially ordered sets and some applications to matrix equations. Proceedings of the American Mathematical Society. 2004. p. 1435–43.
Nieto JJ, RodriguezLopez R. Existence and uniqueness of fixed point in partially ordered sets and applications to ordinary differential equations. Acta Math Sin Engl Ser. 2007;23(12):2205–12.
Agarwal RP, ElGebeily MA, O’Regan D. Generalized contractions in partially ordered metric spaces. Appl Anal. 2008;87(1):109–16.
Arshad M, Karpinar E, Ahmed J. Same unique fixed point theorems for rational contractions in partially ordered metric spaces. J Inequal Appl. 2013;248.
AminiHarandi A, Emami H. A fixed point theorem for contraction type maps in partially ordered metric spaces and application to ordinary differential equations. Nonlinear Anal Theory Methods Appl. 2010;72:2238–42.
Harjani J, López B, Sadarangani K. A fixed point theorem for mappings satisfying a contractive condition of rational type on a partially ordered metric space. Abstr Appl Anal. 2010;190701.
Seshagiri Rao N, Kalyani K, Khatri Kejal. Contractive mapping theorems in Partially ordered metric spaces. CUBO. 2020;22(2):203–14.
Oprea A, Petrusel G. Coupled fixed point theorems for rational type contractions. Stud Univ BabesBolyai Math. 2016;61(4):473–88.
Czerwik S. Contraction mappings in bmetric spaces. Acta Math Inform Univ Ostrav. 1993;1:5–11.
Roshan JR, Parvaneh V, Kadelburg Z. Common fixed point theorems for weakly isotone increasing mappings in ordered bmetric spaces. J Nonlinear Sci Appl. 2014;7(4):229–45.
Karapinar E, Samet B. Generalized [alpha][psi] contractive type mappings and related fixed point theorems with applications. In: Abstract and applied analysis. Hindawi Limited; 2012.
Dass BK, Gupta S. An extension of Banachs contraction principle through rational expression. Indian J Pure Appl Math Fund Math. 1975;3(1):133–81.
Chandok S, Kim JK. Fixed point theorem in ordered metric space for generalized contraction mappings satisfying rational type expressions. J Nonlinear Funct Anal. 2012;9(3):127–35.
Samet B, Vetro C, Vetro P. Fixed point theorems for aycontractive type mappings. Nonlinear Anal. 2012;75:2154–65.
Boriceanu M, Bota M, Petrusel A. Multivalued fractals in bmetric spaces. Central Eur J Math. 2010;8(2):367–77.
Boriceanu M. Strict fixed point theorems for multivalued operators in bmetric spaces. Int J Mod Math. 2009;4:285–301.
Acknowledgements
The authors would like to thank the College of Natural Sciences, Jimma University for funding this research work.
Author information
Authors and Affiliations
Contributions
KHH contributed in the conceptualization, formal analysis, methodology, writing, editing and approving the manuscript. KKT involved in formal analysis, methodology and writing the original draft. MAM supervised the work and critically revised the manuscript. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
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
Haji, K.H., Tola, K.K. & Mamud, M.A. Fixed point results for generalized rational type \(\alpha\) admissible contractive mappings in the setting of partially ordered bmetric spaces. BMC Res Notes 15, 242 (2022). https://doi.org/10.1186/s1310402206122z
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s1310402206122z