 Research
 Open Access
 Published:
Generalized contraction principle under relatively weaker contraction in partial metric spaces
Advances in Difference Equations volume 2019, Article number: 88 (2019)
Abstract
In this paper, we introduce the concept of a generalized weak \((\phi,\mathcal{R})\)contraction and employ this to prove some fixed point results for selfmappings in partial metric spaces endowed with a binary relation \(\mathcal{R}\). We also establish some consequences in ordered partial metric spaces and metric spaces with a binary relation and exemplify that our results are a sharpened version of results of Zhiqun Xue (Nonlinear Funct. Anal. Appl. 21(3):497–500, 2016) and Alam and Imdad (J. Fixed Point Theory Appl. 17(4):693–702, 2015). Finally, we provide the existence of a solution for integral and fuzzy partial differential equations.
Introduction
The very first contribution to fixed point theory was due to Banach [3] in 1922. He conferred the celebrated result in his thesis, namely the Banach contraction principle. Later on, many researchers, fascinated by his idea, extended this result in various directions. One of these is by generalizing the metric. In this direction, Matthews [4] in 1994 presented the idea of a partial metric by extending the concept of metric and proved a supplementary result of the Banach contraction principle in partial metric spaces. Thereafter, many results on the fixed points in partial metric spaces were established (see [5,6,7,8,9,10,11,12,13,14] and the references therein).
In 1986, Turinici [15] initiated the idea of order theoretic metric fixed point theory, which was later modified and generalized by Ran and Reurings [16], Nieto and RodríguezLópez [13, 17] and others. In the recent past, Alam and Imdad [2] extended the Banach contraction principle to complete metric space endowed with a binary relation, which generalizes several existing results. Then [18,19,20,21,22,23] did a variety of work in this field and proved common and relation theoretic fixed point fixed point results in various distance spaces under different conditions.
The growing applications of fixed point theory in various domains, such as mathematics, economics, engineering and game theory, are very encouraging. In mathematics, the applications of suitable fixed point results to establish the existence and uniqueness to the solutions of differential and integral equations to find their solutions are proving very fruitful these days. Very recently, Long et al. [24] have given novel and innovative results for the existence of a solution of some uncertain differential equations. Some more results in this direction were obtained in [25, 26] and the references therein, which are expected to attract the attention of various researchers in the near future.
In this paper, we introduce the notions, e.g. \(\mathcal {R}\)precompleteness, ρselfclosedness and \(\mathcal {R}\)continuity in the setting of partial metric spaces endowed with a binary relation \(\mathcal{R}\) and establish fixed point results for generalized weak \((\phi,\mathcal{R})\)contraction mappings. We also present the variants of our results in a metric space. Moreover, some examples are furnished to validate the utility of our results and we deduce some consequences via our results. In the end, we furnish sufficient conditions for the existence of solutions for integral equations and fuzzy partial differential equations by utilizing our results.
Preliminaries
Matthews [4] defined the partial metric spaces as follows.
Definition 2.1
([4])
Let M be a nonempty set and \(\rho:M\times M\rightarrow[0,\infty)\) a mapping satisfying the following conditions:
 (\(\rho_{1}\)):

\(z_{1}=z_{2}\) ⇔ \(\rho(z_{1},z_{1})=\rho (z_{1},z_{2})=\rho(z_{2},z_{2})\);
 (\(\rho_{2}\)):

\(\rho(z_{1},z_{1})\leq\rho(z_{1},z_{2})\);
 (\(\rho_{3}\)):

\(\rho(z_{1},z_{2})= \rho(z_{2},z_{1})\);
 (\(\rho_{4}\)):

\(\rho(z_{1},z_{2})\leq\rho(z_{1},z_{3})+\rho (z_{3},z_{2})\rho(z_{3},z_{3})\),
It is observed that the selfdistance of a point in partial metric need not be zero. If it zero for all points \(z\in M\), i.e., \(\rho(z,z)=0\), \(\forall z\in M\), then that partial metric is a metric.
The topology, say \(\tau_{\rho}\), generated by a partial metric ρ on M is a \(T_{0}\)topology and the base is the family of open balls \(\mathcal{B}_{\rho}(z,\epsilon)\) (\(z\in M\) and \(\epsilon>0\)) defined by
Let ρ be a partial metric on M. Then the mapping \(d_{\rho }:M\times M\rightarrow[0,\infty)\) defined by
is a metric on M and hence, \((M,d_{\rho})\) is a metric space.
Definition 2.2
([4])
Let \((M,\rho)\) be a partial metric space.

(a)
A sequence \(\{z_{n}\}\) is convergent to a point \(z\in M\), if \(\lim_{n\rightarrow\infty}\rho(z_{n},z)=\rho(z,z)\).

(b)
A sequence \(\{z_{n}\}\) is Cauchy if \(\lim_{m,n\rightarrow \infty}\rho(z_{n},z_{m})\) exists and is finite.

(c)
\((M,\rho)\) is said to be complete if every Cauchy sequence \(\{z_{n}\}\) in M converges (with respect to \(\tau_{\rho}\)) to a point \(z\in M\) and \(\rho(z,z)=\lim_{n,m\rightarrow\infty}\rho (z_{n},z_{m})\).
Lemma 2.1
([4])
Let \((M,\rho)\) be a partial metric space.

(a)
A sequence \(\{z_{n}\}\) is Cauchy in \((M,\rho)\) if and only if it is Cauchy in \((M,d_{\rho})\).

(b)
\((M,\rho)\) is complete if and only if \((M,d_{\rho})\) is complete. Besides,
$$ \lim_{n\rightarrow\infty}d_{\rho}(z_{n},z)=0 \quad\iff\quad \rho(z,z)= \lim_{n\rightarrow\infty}\rho(z_{n},z)=\lim_{m,n\rightarrow\infty} \rho(z_{n},z_{m}). $$
Lemma 2.2
([12])
Let \((M,\rho)\) be a partial metric space and \(\{z_{n}\}\subseteq M\) such that \(\{z_{n}\}\rightarrow z\), for some \(z\in M\) with \(\rho (z,z)=0\). Then, for any \(z^{*}\in M\), we have \(\lim_{n\rightarrow \infty}\rho(z_{n},z^{*})=\rho(z,z^{*})\).
Relation theoretic notions and auxiliary results
For a nonempty subset M, a binary relation \(\mathcal{R}\) on M is a subset of \(M\times M\). Now, we write some relation theoretic notions as follows:
\((z_{1},z_{2})\in\mathcal{R}\) (also denoted \(z_{1}\mathcal{R}z_{2}\)) if \(z_{1}\) is related to \(z_{2}\) under \(\mathcal{R}\);
\((z_{1},z_{2})\in\mathcal{R}^{\neq}\) (also denoted \((z_{1},z_{2})\in \mathcal{R}^{\neq}\)) if \((z_{1},z_{2})\in\mathcal{R}\) such that \(z_{1}\) and \(z_{2}\) are distinct;
\(\mathcal{R}^{1}\) is the inverse, transpose or dual relation of \(\mathcal{R}\), which is defined by \(\mathcal{R}^{1}=\{(z_{1},z_{2})\in M\times M:(z_{2},z_{1})\in\mathcal{R}\}\);
\(\mathcal{R}^{s}\) is the the symmetric closure of \(\mathcal{R}\), which is defined by \(\mathcal{R}^{s}=\mathcal{R}\cup\mathcal{R}^{1}\).
It is observed that \(\mathcal{R}^{\neq}\subseteq\mathcal{R}\) is also a binary relation. \(M\times M\) and ∅ are trivial binary relations on M, specifically called a universal relation and an empty relation.
Throughout the manuscript, M is a nonempty set, N a nonempty subset of M. \(\mathcal{R}\) and S stand for a binary relation and a selfmapping on M, respectively.
Definition 3.1
([2])
For a binary relation \(\mathcal{R}\):

(a)
Two elements \(z_{1},z_{2}\in M\) are said to be \(\mathcal {R}\)comparative if \((z_{1},z_{2})\in\mathcal{R}\) or \((z_{2},z_{1})\in \mathcal{R}\). We denote it by \([z_{1},z_{2}]\in\mathcal{R}\).

(b)
\(\mathcal{R}\) is said to be complete if \([z_{1},z_{2}]\in\mathcal{R}\), \(\forall z_{1},z_{2}\in M\).
Proposition 3.1
([2])
For a binary relation \(\mathcal{R}\) on M,
Definition 3.2
([2])
A sequence \(\{z_{n}\}\subseteq M\) is said to be \(\mathcal {R}\)preserving if \((z_{n},z_{n+1})\in\mathcal{R}\), \(\forall n\in \mathbb{N}_{0}\) and \(\mathcal{R}^{\neq}\)preserving if \((z_{n},z_{n+1})\in\mathcal{R}^{\neq}\), \(\forall n\in\mathbb{N}_{0}\).
Here, we follow the notion (of \(\mathcal{R}\)preserving) as used by Alam and Imdad [2]. Notice that Roldán and Shahzad [27] and Shahzad et al. [28] used the term “\(\mathcal{R}\)nondecreasing” instead of “\(\mathcal{R}\)preserving”.
Definition 3.3
([29])
\(N\subseteq M\) is said to be \(\mathcal{R}\)directed if for each \(z_{1},z_{2}\in N\), there exists a point \(z_{3}\in M\) such that \((z_{1},z_{3})\in\mathcal{R}\) and \((z_{2},z_{3})\in\mathcal{R}\).
Definition 3.4
([30])
For \(z_{1},z_{2}\in M\), a path of length \(l(\in\mathbb{N})\) in \(\mathcal{R}\) from \(z_{1}\) to \(z_{2}\) is a finite sequence \(\{ p_{0},p_{1},\ldots,p_{l}\}\subseteq M\) such that \(p_{0}=z_{1}\), \(p_{l}=z_{2}\) and \((p_{i},p_{i+1})\in\mathcal{R}\), for each \(0\leq i\leq l1\).
Definition 3.5
([18])
\(N\subseteq M\) is said to be \(\mathcal{R}\)connected if, for each \(z_{1},z_{2}\in N\), there exists a path in \(\mathcal{R}\) from \(z_{1}\) to \(z_{2}\).
Definition 3.6
([2])
\(\mathcal{R}\) is said to be Sclosed if \(\forall z_{1},z_{2}\in M\) such that \((z_{1},z_{2})\in\mathcal{R}\), we have \((Sz_{1},Sz_{2})\in \mathcal{R}\).
Proposition 3.2
([2])
If \(\mathcal{R}\) is Sclosed, then \(\mathcal{R}^{s}\) is also Sclosed.
Definition 3.7
([19])
\(\mathcal{R}\) is said to be locally Stransitive if for each \(\mathcal {R}\)preserving sequence \(S(M)\) with range \(E=\{z_{n}:n\in\mathbb {N}_{0}\}\), the binary relation \(\mathcal{R}_{E}\) is transitive.
Motivated by Alam and Imdad [18], we present the notion of \(\mathcal{R}\)continuity in the setting of partial metric spaces as follows.
Definition 3.8
Let \((M,\rho, \mathcal{R})\) be a partial metric space endowed with a binary relation \(\mathcal{R}\). Then a selfmapping S is said to be \(\mathcal{R}\)continuous at a point \(z\in M\) if for any \(\mathcal {R}\)preserving sequence \(\{z_{n}\}\) such that \(\{z_{n}\}\rightarrow z\), we have \(\{Sz_{n}\}\rightarrow Sz\). S is \(\mathcal{R}\)continuous, if it is \(\mathcal{R}\)continuous at each point of M.
Following Imdad et al. [22], we introduce the following in the setting of partial metric spaces.
Definition 3.9
Let \((M,\rho, \mathcal{R})\) be a partial metric space endowed with binary relation \(\mathcal{R}\). A subset \(N\subseteq M\) is said to be \(\mathcal{R}\)precomplete if each \(\mathcal{R}\)preserving Cauchy sequence \(\{z_{n}\}\subseteq N\) converges to some \(z\in M\).
Definition 3.10
Let \((M,\rho,\mathcal{R})\) be a partial metric space endowed with binary relation \(\mathcal{R}\). Then \(\mathcal{R}\) is said to be ρself closed if for each \(\mathcal{R}\)preserving sequence \(\{z_{n}\} \subseteq M\) with \(\{z_{n}\}\rightarrow z\), there exists a subsequence \(\{z_{n_{k}}\}\) of \(\{z_{n}\}\) such that \([z_{n_{k}},z]\in\mathcal {R}\), \(\forall k\in\mathbb{N}_{0}\).
In the sequel, for convenience, we use \(\mathbb{N}_{0}\) for \(\mathbb {N}\cup\{0\}\) and other notations are used in their natural meaning.
Main result
Before presenting our main result, we define the following.
Let Φ denote the set of all mappings \(\phi:[0,\infty )\rightarrow[0,\infty)\) satisfying the following:
 (Φ1):

ϕ is nondecreasing;
 (Φ2):

\(\phi(\delta)=0\) iff \(\delta=0\) and \(\liminf_{n\rightarrow\infty}\phi(\delta_{n})>0\) if \(\lim_{n\rightarrow \infty}\delta_{n}>0\).
Now, we embark on the first result in this section.
Theorem 4.1
Let \((M,\rho,\mathcal{R})\) be a partial metric space equipped with a binary relation \(\mathcal{R}\) and \(S:M\rightarrow M\). Assume that the following conditions are satisfied:

(a)
∃ \(z_{0}\in M\) such that \((z_{0},Sz_{0})\in\mathcal{R}\);

(b)
\(\mathcal{R}\) is Sclosed and locally Stransitive;

(c)
∃ \(N\subseteq M\) such that N is \(\mathcal {R}^{\neq}\)precomplete and \(S(M)\subseteq N\);

(d)
S satisfies generalized weak \((\phi,\mathcal {R})\)contraction, i.e.,
$$ \rho(Sz,Sw)\leq\rho(z,w)\phi\bigl(\rho(Sz,Sw)\bigr), $$(4.1)\(\forall z,w\in M\) with \((z,w)\in\mathcal{R}^{\neq}\) and \(\phi\in \varPhi\);

(e)
S is \(\mathcal{R}^{\neq}\)continuous or \(\mathcal {R}^{\neq}_{N}\) is ρself closed.
Then S has a fixed point \(z^{*}\in M\) with \(\rho(z^{*},z^{*})=0\).
Proof
Choose \(z_{0}\in M\) as in (a) and construct a sequence \(\{z_{n}\}\) in M defined by \(z_{n}=Sz_{n1}=S^{n}z_{0}\) based on \(z_{0}\). If there is some \(m_{0}\in\mathbb{N}_{0}\) such that \(z_{m_{0}}= z_{m_{0}+1}\), then \(z_{m_{0}}\) is the fixed point of S and we are done. Assume that \(z_{n}\neq z_{n+1}\), for every \(n\in\mathbb{N}_{0}\) which along with (b) ensures that \((z_{n},z_{n+1})\in\mathcal{R}^{\neq}\), \(\forall n\in\mathbb{N}_{0}\). Then, by employing condition (d), we obtain
which implies
i.e., \(\{\rho(z_{n},z_{n+1})\}\) is a nondecreasing sequence of positive real numbers (also bounded below by 0). So, there exists \(r\geq0\) such that \(\lim_{n\rightarrow\infty}\rho(z_{n},z_{n+1})=r\). Next, we have to show that \(r=0\). Suppose to the contrary that it is not so, i.e., \(r>0\). Passing the limit \(n\rightarrow\infty\) in (4.2), we get
a contradiction (due to \((\varPhi2)\)). Hence,
We also have
which on letting \(n\rightarrow\infty\) and applying (4.4) yields
Next, our claim is that \(\{z_{n}\}\) is a Cauchy sequence in \((N,d_{\rho })\). Otherwise, there exist subsequences \(\{z_{m_{k}}\}\) and \(\{ z_{n_{k}}\}\) of \(\{z_{n}\}\) such that \(n_{k}\) is the smallest integer for which
Since \(d_{\rho}(z,w)\leq2\rho(z,w)\), \(\forall z,w\in M\), so (4.5) gives
Now, using the triangular inequality, we have
Taking \(k\rightarrow\infty\) in the above inequality and using (4.4), we get
Again, (4.3), (4.6) and \((\rho_{4})\) give rise to
Now, on taking \(k\rightarrow\infty\), the above inequality yields
Using local Stransitivity, we have \((z_{m_{k}1},z_{n_{k}1})\in \mathcal{R}^{\neq}\) and hence, (4.1) implies
Using (4.7), (4.8) and opting for \(k\rightarrow\infty\) in the above inequality, we get
a contradiction. Hence, \(\{z_{n}\}\) is Cauchy in \((N,d_{\rho})\) and also \(\mathcal{R}^{\neq}\)preserving. By Lemma 2.1, \(\{z_{n}\}\) is also Cauchy in \((N,\rho)\). The \(\mathcal{R}^{\neq }\)precompleteness of N in M ensures the existence of a point \(z^{*}\in M\) such that
Again, Lemma 2.1 gives
Now, \(\mathcal{R}^{\neq}\)continuity of S implies that (as \(\{z_{n}\} \rightarrow z^{*}\) and \((z_{n},z_{n+1})\in\mathcal{R}^{\neq}\), \(\forall n\in\mathbb{N}_{0}\))
Thus, by virtue of uniqueness of the limit, we obtain \(Sz^{*}=z^{*}\).
Alternatively, if \(\mathcal{R}^{\neq}_{N}\) is ρself closed, then, for any \(\mathcal{R}^{\neq}\)preserving sequence \(\{z_{n}\}\) in N with \(\{z_{n}\}\rightarrow z^{*}\), there exists a subsequence \(\{ z_{n_{k}}\}\) of \(\{z_{n}\}\) such that \([z_{n_{k}},z^{*}]\in\mathcal {R}\), \(\forall k\in\mathbb{N}_{0}\). Now, applying condition (d) with \(z=z_{n_{k}}\) and \(w=z^{*}\), we obtain
which, on letting \(n\rightarrow\infty\) and using Lemma 2.2, gives \(\rho(z^{*},Sz^{*})\leq0\), yielding thereby \(z^{*}=Sz^{*}\). This completes the proof. □
Theorem 4.2
If we add the following assumption, in addition to the assumptions of Theorem 4.1:

(f)
\(S(M)\) is \(\mathcal{R}^{s}_{N}\)connected,
then S has a unique fixed point.
Proof
Theorem 4.1 ensures the existence of at least one fixed point of S. Assume that it has two fixed points, say \(z,z^{*}\in M\). Then we have \(z=Sz\) and \(z^{*}=Sz^{*}\). Our claim is that \(z=z^{*}\). As \(z,z^{*}\in S(M)\subseteq N\), so condition (f) ensures the existence of a path, say \(\{w_{0},w_{1},w_{2},\ldots,w_{l}\}\subseteq M\) of some finite length l in \(\mathcal{R}^{s}_{N}\) from z to \(z^{*}\), where \(w_{0}=z\) and \(w_{l}=z^{*}\). Henceforth,
Define two constant sequences \(\{w_{n}^{0}=z\}\) and \(\{w_{n}^{l}=z^{*}\} \), then we have \(Sw_{n}^{0}=Sz=z\) and \(Sw_{n}^{l}=Sz^{*}=z^{*}\), \(\forall n\in\mathbb{N}_{0}\). Also, put
and define sequences \(\{w_{n}^{1}\}, \{w_{n}^{2}\},\ldots, \{w_{n}^{k1}\} \) by
Hence
Next, we prove that
Indeed, owing to (4.11) and (4.12), we obtain \([w_{0}^{i},w_{0}^{i+1}]\in\mathcal{R}\) and further Sclosedness of \(\mathcal{R}\) implies
Now, \(\forall n\in\mathbb{N}_{0}\) and for each \(0\leq i\leq l1\), define \(\alpha_{n}^{i}=\rho(w_{n}^{i},w_{n}^{i+1})\). Our claim is that
Suppose to the contrary that \(\lim_{n\rightarrow\infty}\alpha _{n}^{i}=\alpha>0\). Since \([w_{n}^{i},w_{n}^{i+1}]\in\mathcal{R}\), either \((w_{n}^{i},w_{n}^{i+1})\in\mathcal{R}\) or \((w_{n}^{i+1},w_{n}^{i})\in\mathcal{R}\) (and are distinct) \(\forall n\in\mathbb{N}_{0}\) and for each \(0\leq i\leq k1\), so (4.1) gives
or
which on taking the limit gives rise to
a contradiction. Hence, \(\lim_{n\rightarrow\infty}\alpha_{n}^{i}=0\).
Next, we have
Hence, (by \(\rho_{1}\) and \(\rho_{2}\)) \(z=z^{*}\) and the proof is completed. □
Corollary 4.1
The conclusion of Theorem 4.2 remains valid if condition (f) is replaced by any one of the following:
 (f^{∗}):

\(\mathcal{R}_{S(M)}\) is complete;
 (f^{∗∗}):

\(S(M)\) is \(\mathcal{R}^{s}_{N}\)directed.
Proof
If (f^{∗}) holds true, then, for any \(z_{1},z_{2}\in S(M)\), we have \([z_{1},z_{2}]\in\mathcal{R}_{S(M)}\subseteq\mathcal{R}_{N}\) (by condition (c)), i.e., \(\{z_{1},z_{2}\}\) is a path of length 1 in \(\mathcal{R}^{s}_{N}\) from \(z_{1}\) to \(z_{2}\). Hence, condition (f) of Theorem 4.2 is fulfilled and the result is concluded to by Theorem 4.2.
On the other hand, if condition (f^{∗∗}) holds, then, for each \(z_{1},z_{2}\in S(M)\), there exists \(z_{3}\in N\) such that \([z_{1},z_{3}]\) and \([z_{2},z_{3}]\in\mathcal{R}_{N}\). This amounts to saying that there exists a path of length 2 (say \(\{ z_{1},z_{3},z_{2}\}\)) in \(\mathcal{R}^{s}_{N}\) from \(z_{1}\) to \(z_{2}\). Hence, again by Theorem 4.2, the conclusion follows. □
The following example exhibits the utility of our results.
Example 4.1
Let \(M=[0,\infty)\) with a partial metric \(\rho:M\times M\rightarrow [0,\infty)\) defined by
We define the binary relation \(\mathcal{R}\) by
It is clear that \((M,\rho)\) is complete as \((M,d_{\rho})\) is complete. Define \(S:M\rightarrow M\) as
Then S is continuous and hence \(\mathcal{R}^{\neq}\)continuous. Also, conditions (a) and (b) are trivially satisfied. Further, let us define \(\phi:[0,\infty)\rightarrow[0,\infty)\) as
For any \(z_{1},z_{2}\in M\) such that \((z_{1},z_{2})\in\mathcal{R}\), we have
Thus all the conditions of Theorem 4.1 are satisfied. Hence, S has a fixed point, namely \(z=0\). Moreover, \(\mathcal{R}_{S(M)}\) is complete, so, from Corollary 4.1 one deduces that 0 is the unique fixed point.
As in [1], it can easily be seen that in a partial metric space \((M,\rho)\), \(\forall(z_{1},z_{2})\in\mathcal {R}^{\neq}\) (also \(\forall z_{1},z_{2}\in M\)), the condition
is weaker than
But, the converse need not be true in general.
Indeed, consider \(M=[1,\infty)\) with partial metric \(\rho (z_{1},z_{2})=\max\{z_{1},z_{2}\}\) and binary relation \(\mathcal{R}\) such that \((z_{1},z_{2})\in\mathcal{R}\) if and only if \(z_{1}\leq z_{2}\). Let \(S:M\rightarrow M\) be defined by
and \(\phi:[0,\infty)\rightarrow[0,\infty)\) be defined by
Then (4.15) is satisfied for all \((z_{1},z_{2})\in\mathcal {R}^{\neq}\). But, for \(z_{1}=1\) and \(z_{2}=\frac{5}{4}\) in (4.16), we have
a contradiction.
Hence, in view of the above observation and Theorems 4.1 and 4.2, the following result is obvious.
Corollary 4.2
Let \((M,\rho,\mathcal{R})\) be a partial metric space equipped with binary relation \(\mathcal{R}\) and \(S:M\rightarrow M\). Assume that the following conditions are satisfied:

(a)
∃ \(z_{0}\in M\) such that \((z_{0},Sz_{0})\in\mathcal{R}\);

(b)
\(\mathcal{R}\) is Sclosed and locally Stransitive;

(c)
∃ \(N\subseteq M\) such that N is \(\mathcal {R}^{\neq}\)precomplete and \(S(M)\subseteq N\);

(d)
S satisfies a weak \((\phi,\mathcal{R})\)contraction, i.e.,
$$ \rho(Sz,Sw)\leq\rho(z,w)\phi\bigl(\rho(z,w)\bigr), $$\(\forall z,w\in M\) with \((z,w)\in\mathcal{R}^{\neq}\) and \(\phi\in \varPhi\);

(e)
S is \(\mathcal{R}^{\neq}\)continuous or \(\mathcal {R}^{\neq}_{N}\) is ρself closed.
Then S has a fixed point. Moreover, the fixed point is unique if \(S(M)\) is \(\mathcal{R}^{s}_{N}\)connected.
Order theoretic results in partial metric spaces
In this section, from now on, ⪯ denotes the partial order on a nonempty set M. In what follows, \((M,\preceq)\) denotes a partially ordered set, \((M,\rho,\preceq)\) stands for a partial metric space with partial order ⪯, we call it an ordered partial metric space.
Definition 5.1
([32])
A selfmapping S on \((M,\preceq)\) is said to be increasing (or isotone or order preserving) if \(Sz_{1}\preceq Sz_{2}\), for any \(z_{1},z_{2}\in M\) with \(z_{1}\preceq z_{2}\).
Remark 5.1
Notice that S to be increasing coincides with the notion of ⪯ to be Sclosed in our sense.
Definition 5.2
([32])
Let \(\{z_{n}\}\) be a sequence in an ordered set \((M,\preceq)\). Then

(a)
\(\{z_{n}\}\) is increasing if \(\forall m,n\in\mathbb{N}_{0}\),
$$ m\leq n \quad\implies\quad z_{m}\preceq z_{n}. $$ 
(b)
\(\{z_{n}\}\) is decreasing if \(\forall m,n\in\mathbb{N}_{0}\),
$$ m\leq n \quad\implies\quad z_{n}\preceq z_{m}. $$ 
(c)
\(\{z_{n}\}\) is monotone if it is either increasing on decreasing.
Definition 5.3
Let \((M,\rho,\preceq)\) be an ordered partial metric space. We say that \((M,\rho,\preceq)\) has the ICU (increasingconvergenceupper bound) property if every increasing sequence \(\{z_{n}\}\subseteq M\) such that \(z_{n}\rightarrow z\) is bounded above by its limit, i.e., \(z_{n}\preceq z\).
Remark 5.2
If \((M,\rho,\preceq)\) has the ICU property, then ⪯ is ρself closed.
Notice that Alam et al. [33] defined the ICU property in the setting of ordered metric spaces.
Definition 5.4
In an ordered partial metric space \((M,\rho,\preceq)\), we define the following:

(a)
\((M,\rho,\preceq)\) is said to be O̅complete (respectively, \(\underline{O}\)complete, Ocomplete) if every increasing (respectively, decreasing, monotone) Cauchy sequence in M converges.

(b)
A selfmapping S on M is said to be O̅continuous (respectively, \(\underline{O}\)continuous, Ocontinuous) at \(z\in M\), if for any increasing (respectively, decreasing, monotone) sequence \(\{z_{n}\}\subseteq M\) such that \(\{ z_{n}\}\rightarrow z\), we have \(\{Sz_{n}\}\rightarrow Sz\).
S is O̅continuous (respectively, \(\underline {O}\)continuous, Ocontinuous) on M if it O̅continuous (respectively, \(\underline{O}\)continuous, Ocontinuous) at every \(z\in M\).
The above notions were defined by Kutbi et al. [34] in the setting of ordered metric spaces.
Next, we introduce the following notion.
Definition 5.5
A subset N of an ordered partial metric space \((M,\rho,\preceq)\) is said to be O̅precomplete (respectively, \(\underline {O}\)precomplete, Ocomplete) if every increasing (respectively, decreasing, monotone) Cauchy sequence in N converges to a point of M.
Now, we are equipped to state the following result, which is a more refined and generalized version of Theorem 2.1 of [7].
Theorem 5.1
Let \((M,\rho,\preceq)\) be an ordered partial metric space and \(S:M\rightarrow M\). Assume that the following conditions are satisfied:

(a)
∃ \(z_{0}\in M\) such that \(z_{0}\preceq Sz_{0}\);

(b)
S is increasing;

(c)
∃ \(N\subseteq M\) such that N is Ōprecomplete and \(S(M)\subseteq N\);

(d)
S satisfies
$$ \rho(Sz,Sw)\leq\rho(z,w)\phi\bigl(\rho(Sz,Sw)\bigr), $$\(\forall z,w\in M\) with \(z\preceq w\) and \(\phi\in\varPhi\);

(f)
S is Ōcontinuous or \((N,\rho,\preceq)\) has the ICU property.
Then S has a fixed point \(z^{*}\in M\). Moreover, \(\rho(z^{*},z^{*})=0\).
Proof
The result holds by taking \(\mathcal{R}=\preceq\) in Theorem 4.1. □
Results in metric space
By virtue of the fact that each metric is a partial metric, the following result is apparent via Theorems 4.1 and 4.2.
Theorem 6.1
Let \((M,d,\mathcal{R})\) be a metric space endowed with relation \(\mathcal{R}\) and \(S:M\rightarrow M\). Assume that the following conditions are satisfied:

(a)
∃ \(z_{0}\in M\) such that \((z_{0},Sz_{0})\in\mathcal{R}\);

(b)
\(\mathcal{R}\) is Sclosed and locally Stransitive;

(c)
∃ \(N\subseteq M\) such that N is \(\mathcal {R}^{\neq}\)precomplete and \(S(M)\subseteq N\);

(d)
S satisfies generalized weak \((\phi,\mathcal {R})\)contraction, i.e.,
$$ d(Sz,Sw)\leq d(z,w)\phi\bigl(d(Sz,Sw)\bigr), $$\(\forall z,w\in M\) with \((z,w)\in\mathcal{R}^{\neq}\) and \(\phi\in \varPhi\);

(e)
S is \(\mathcal{R}^{\neq}\)continuous or \(\mathcal {R}^{\neq}_{N}\) is dself closed.
Then S has a fixed point. Moreover, the fixed point is unique if \(S(M)\) is \(\mathcal{R}^{s}_{N}\)connected.
Remark 6.1
Theorem 6.1 is a version of Theorem 2.1 of [1] improved in the following way:

In place of the usual notion of completeness of the whole set M, we have used \(\mathcal{R}^{\neq}\)precompleteness of a subset \(N\subseteq M\).

We have dropped the continuity of the function ϕ and use a weaker condition \((\varPhi1)\), which is weaker than that ϕ is lower semicontinuous.
Indeed, if ϕ is lower semicontinuous, then, for a sequence \(\{ \delta_{n}\}\) such that \(\lim_{n\rightarrow\infty}\delta_{n}=\delta>0\), we have \(\liminf_{n\rightarrow\infty}\phi(\delta_{n})\geq\phi(\delta)>0\).
Example 6.1
Let \(M=[0,4]\) equipped with the usual metric. Then M is a complete metric space. Define a binary relation \(\mathcal{R}\) on M as
Define a mapping \(S:M\times M\) by
and \(\phi:[0,\infty)\rightarrow[0,\infty)\) by
Then all the hypotheses of Theorem 6.1 are satisfied and we observe that 0 is the unique fixed point of S. Observe that Theorem 2.1 of [1] cannot be applied. For \(x=2\) and \(y=4\) in (2.1) of Theorem 2.1 [1], we have
a contradiction.
Corollary 6.1
The conclusion of Theorem 6.1 holds true even if we replace the condition (d) by the following:
 (d^{∗}):

S satisfies a weak \((\phi,\mathcal {R})\)contraction, i.e.,
$$ d(Sz,Sw)\leq d(z,w)\phi\bigl(d(z,w)\bigr), $$\(\forall z,w\in M\) with \((z,w)\in\mathcal{R}^{\neq}\) and \(\phi\in \varPhi\).
Next, putting \(\phi(t)=(1h)t\), \(h\in[0,1)\) in Corollary 6.1, we obtain a relation theoretic variant of the Banach contraction principle (a more sharpened version of Theorem 3.1 of [2]), since

instead of using completeness of M, we have used \(\mathcal {R}^{\neq}\)precompleteness of \(N\subseteq M\);

in place of continuity of S, we have used \(\mathcal{R}^{\neq }\)continuity and dselfclosedness of \(\mathcal{R}\) is replaced by dselfclosedness of \(\mathcal{R}^{\neq}_{N}\);

we have used \(\mathcal{R}^{s}_{N}\)connectedness of \(S(M)\) instead of only \(\mathcal{R}^{s}\)connectedness of M.
Corollary 6.2
Let \((M,d,\mathcal{R})\) be a metric space endowed with binary relation \(\mathcal{R}\) and \(S:M\rightarrow M\). Assume that the following conditions are satisfied:

(a)
∃ \(z_{0}\in M\) such that \((z_{0},Sz_{0})\in\mathcal{R}\);

(b)
\(\mathcal{R}\) is Sclosed and locally Stransitive;

(c)
∃ \(N\subseteq M\) such that N is \(\mathcal {R}^{\neq}\)precomplete and \(S(M)\subseteq N\);

(d)
there exists \(h\in[0,1)\) such that
$$ d(Sz,Sw)\leq h d(z,w), $$\(\forall z,w\in M\) with \((z,w)\in\mathcal{R}^{\neq}\);

(e)
S is \(\mathcal{R}^{\neq}\)continuous or \(\mathcal {R}^{\neq}_{N}\) is increasingly dself closed.
Then S has a fixed point. Moreover, the fixed point is unique if \(S(M)\) is \(\mathcal{R}^{s}_{N}\)connected.
Remark 6.2
The assumption that \(\mathcal{R}\) is locally Stransitive is not necessary in Corollary 6.2.
In the following example, it is observed that the results of both [2] and [1] cannot be applied, while our result is applicable.
Example 6.2
Let \(M=\{p,q,r,s\}\) have the binary relation
Let us define the metric \(d:M\times M\rightarrow[0,\infty)\) as follows:
Also define \(S:M\rightarrow M\) by
and \(\phi:[0,\infty)\rightarrow[0,\infty)\) by
Then all the conditions of Theorem 6.1 are satisfied and p is the unique fixed point of S.
But Theorem 3.1 of [2] does not hold true (as M is not \(\mathcal{R}^{s}\)connected). Indeed, for \(x=q\) and \(y=s\), there exists no path in \(\mathcal{R}\). Also, Theorem 2.1 of [1] cannot be applied. For \(q,s\in M\), we have
a contradiction.
Applications
Application to integral equation
In this subsection, we study the sufficient condition for the existence of solution of the following integral equation in the framework of a partial metric space under some binary relation:
where \(K:\varOmega\times\varOmega\times\mathbb{R}\rightarrow\mathbb{R}\) is continuous.
Here, we consider the complete partial metric space \(M=C(\varOmega,\mathbb {R})\), the space of all continuous functions from Ω to \(\mathbb {R}\), with partial metric ρ on M defined by
Also, suppose \(\beta:\mathbb{R}\times\mathbb{R}\rightarrow\mathbb {R}\) is a function with \(\beta(t,s)=0\) if and only if \(t=s\) and
Theorem 7.1
Suppose the following conditions are satisfied:
 \((H_{1})\) :

∃ \(z_{0}\in M\) such that
$$ \beta\biggl(z_{0}(t), \int_{0}^{t}K\bigl(t,\tau,z_{0}(\tau ) \bigr)\,d\tau\biggr)\leq0; $$  \((H_{2})\) :

\(\forall z_{1},z_{2}\in M\) and \(t\in\varOmega\),
$$ \beta\bigl(z_{1}(t),z_{2}(t)\bigr)\leq0\quad\implies\quad\beta \biggl( \int_{0}^{t}K\bigl(t,\tau,z_{1}(\tau) \bigr)\,d\tau, \int_{0}^{t}K\bigl(t,\tau ,z_{2}(\tau) \bigr)\,d\tau \biggr)\leq0; $$  \((H_{3})\) :

for each \(t,\tau\in\varOmega\) and \(z\in M\), there exists a number \(h\in[0,1)\) such that
$$ \int_{0}^{t}K\bigl(t,\tau,z(\tau)\bigr)\,d\tau\leq hz(t). $$
Proof
Define a binary relation \(\mathcal{R}\) on M by
Also, define \(S:M\rightarrow M\) by
Then, by condition \((H_{1})\), there exists \(z_{0}\) such that \((z_{0},Sz_{0})\in\mathcal{R}\). Now, suppose \((z_{1},z_{2})\in\mathcal{R}\), for some \(z_{1},z_{2}\in M\), i.e., \(\beta(z_{1}(t),z_{2}(t))\leq0\), \(\forall t\in\varOmega\). Then, by condition \((H_{2})\), we obtain
i.e., \(\mathcal{R}\) is Sclosed. Also, for \((z_{1},z_{2})\in\mathcal {R}^{\neq}\), i.e., \(\beta(z_{1}(t),z_{2}(t))< 0\) (∀ \(t\in \varOmega\)), we have
Define \(\phi:[0,\infty)\rightarrow[0,\infty)\) by \(\phi(t)=(1h)t\), \(h\in[0,1)\). It is easily seen that \(\phi\in\varPhi\). Now, applying it in the above inequality, we obtain
Thus, all the hypotheses of Theorem 4.1 are satisfied, so by Theorem 4.1 one concludes that (7.1) has a solution, \(\bar{z}\in M\). □
Application to fuzzy partial differential equations
Before presenting the main results of this subsection, we discuss the following relevant notions and results.
Let \(\mathbb{R}_{\mathcal{F}}\) be the space of fuzzy sets on \(\mathbb {R}\) which are nonempty, normal, fuzzy convex, upper semicontinuous and compactsupported fuzzy sets defined over \(\mathbb{R}\). For \(\alpha\in[0,1]\), the αcut (also known as αlevel set) of \(\mu\in\mathbb{R}_{\mathcal{F}}\) is defined by
which is a nonempty, convex and compact subset of \(\mathbb{R}\). These properties are also enjoyed by \([\mu]^{0}=\overline{\{z\in\mathbb{R}:\mu(z)>0\}}\), known as support of μ. Particularly, it is often written as \([\mu ]^{\alpha}=[\mu_{l\alpha},\mu_{r\alpha}]\), \(\forall\alpha\in[0,1]\).
The supremum metric \(d_{\infty}\) in \(\mathbb{R}_{\mathcal{F}}\) is defined by
where \(d_{H}\) is the Hausdorff metric in the space of all nonempty, convex and compact subsets of \(\mathbb{R}\). \((\mathbb{R}_{\mathcal {F}},d_{\infty})\) is a complete metric space (see [35]). For \(\mu,\nu\in\mathbb{R}_{\mathcal{F}}\), \(\alpha\in[0,1]\) and \(k\in\mathbb{R}\), the following hold:
Suppose that there exists \(\omega\in\mathbb{R}_{\mathcal{F}}\) with \(\mu=\nu+\omega\), then the Hukuhara (H) difference of μ and ν is defined by \(\omega=\mu\ominus\nu\). If it exists, then \((\forall\alpha\in[0,1])\)
A partial ordering in \(\mathbb{R}_{\mathcal{F}}\) is defined by
where \(\mu,\nu\in\mathbb{R}_{\mathcal{F}}\).
Lemma 7.1
([36])
For \(\mu,\nu,\omega,\delta\in\mathbb{R}_{\mathcal{F}}\), if \(\mu \ominus\nu\) and \(\omega\ominus\delta\) exist, then we have
Lemma 7.2
([24])
For \(\mu,\nu,\omega\in\mathbb{R}_{\mathcal{F}}\), if \(\omega\leq \nu\) and \(\mu\ominus\nu\) and \(\mu\ominus\omega\) exist, then we have \(\mu\ominus\nu\leq\mu\ominus\omega\).
For \(J\subseteq\mathbb{R}^{2}\), define the mapping \(H_{\lambda}:C(J, \mathbb{R}_{\mathcal{F}})\times C(J, \mathbb{R}_{\mathcal{F}})\to [0,\infty)\) by
for \((\mu,\nu)\in C(J, \mathbb{R}_{\mathcal{F}})\), where \(\lambda >0\). \((C(J, \mathbb{R}_{\mathcal{F}}),H_{\lambda})\) is a complete metric spaces (see [35]) and hence a complete partial metric space. We define (for \(\mu,\nu\in C(J,\mathbb{R}_{\mathcal{F}})\))
\(\mu(z,w)\leq\nu(z,w)\) means \(\mu_{l\alpha}(z,w)\leq\nu_{l\alpha }(z,w)\) and \(\mu_{r\alpha}(z,w)\leq\nu_{r\alpha}(z,w)\), \(\forall \alpha\in[0,1]\) and \((z,w)\in J\).
Lemma 7.3
([24])
Let \((\mathbb{R}_{\mathcal{F}},\leq)\) be the space of fuzzy numbers with partial ordering ≤. Then every pair of elements in \(C(J,\mathbb{R}_{\mathcal{F}})\) has an upper bound and a lower bound in \(C(J, \mathbb{R}_{\mathcal{F}})\).
The generalized Hukuhara (gH) difference of \(\mu,\nu\in\mathbb {R}_{F}\), denoted by \(\mu\ominus_{gH} \nu\), is \(\omega\in\mathbb {R}_{\mathcal{F}}\), is defined by
If \(\mu\ominus\nu\) exists, then \(\mu\ominus_{gH}\nu=\mu\ominus \nu\). The generalized Kukuhara (gHp) derivatives of a fuzzyvalued mapping \(s:J\subseteq\mathbb{R}^{2}\to\mathbb{R}_{\mathcal{F}}\) are defined in Definitions 2.9 and 3.4 of [37] and for more details, we refer the reader to [37].
Here, \(C^{2}(J,\mathbb{R}_{\mathcal{F}})\) denotes the set of all mappings \(\mu\in C(J,\mathbb{R}_{\mathcal{F}})\) having continuous gHpderivatives on J up to order 2 on J.
Definition 7.1
([24])
For \(\mu\in C^{2}(J,\mathbb{R}_{\mathcal{F}})\) and \((z,w)\in J\), let \(\mu_{w}\) be the gHpderivative at \((z_{0},w_{0})\) with respect to w and we do not have any switching points on J. Then \(\mu_{zw}\) is in type1 (resp. type2) of gHpderivatives if the type of gHpderivatives of both μ and \(\mu_{w}\) are the same (resp. different). Then for \(\alpha\in[0,1]\)
Lemma 7.4
([24])
Consider \(\mu,\nu\in C(J,\mathbb{R}_{\mathcal{F}})\) such that \(\mu \leq\nu\), where J is a compact subset of \(\mathbb{R}^{2}\). Then
Now, we come to the main problem to be discussed here. We consider the following problem:
where \(\varOmega_{1}=[0,a]\) and \(\varOmega_{2}=[0,b]\) with the condition
where \(\xi_{1}\in C(\varOmega_{1},\mathbb{R}_{\mathcal{F}})\), \(\xi _{2}\in C(\varOmega_{2},\mathbb{R}_{\mathcal{F}})\) such that \(\xi _{1}(0)=\xi_{2}(0)\) and \(\mu:\varOmega\to\mathbb{R}_{\mathcal{F}}\), is a fuzzyvalued mapping and \(_{k}D_{zw}\) represents gHpartial derivative operators. In the following, \(I_{zw}s(z,w,\mu)\) denotes the integral \(\int_{0}^{w}\int_{0}^{z}s(t,\tau,\mu(t,\tau))\,dt\,d\tau\), for \((z,w)\in\varOmega\).
Definition 7.2
([24])
A function \(\mu\in C(\varOmega,\mathbb{R}_{\mathcal{F}})\) is said to be an integral solution of type1 (resp. type2) of the Problem corresponding to (7.2)–(7.3), if (\(\forall (z,w)\in\varOmega\))
where \(p(z,w)=\xi_{1}(z)+\xi_{2}(w)\ominus\xi_{1}(0)\).
Definition 7.3
([24])
A function \(\mu\in C^{2}(\varOmega,\mathbb{R}_{\mathcal{F}})\) is said to be \((k)\)lower (resp. \((k)\)upper) solution of Problem (7.2)–(7.3) if for \((z,w)\in\varOmega=\varOmega_{1}\times \varOmega_{2}\), we have \(_{k}D_{zw}\mu(z,w)\leq s(z,w,\mu(z,w)\); \(\mu(z,0)\leq\xi_{1}(z), \mu(0,w)\leq\xi_{2}(w)\) and \(\mu(0,0)=\xi_{1}(0)\) (resp. \(_{k}D_{zw}\mu(z,w)\leq s(z,w,\mu(z,w)\); \(\mu(z,0)\leq\xi_{1}(z), \mu(0,w)\leq\xi_{2}(w)\) and \(\mu(0,0)=\xi_{1}(0))\).
Now, we state and prove the result below to establish the sufficient conditions for the existence and uniqueness of the solution of Problem (7.2)–(7.3) (with \(k=1\)).
Theorem 7.2
Let \(s:\varOmega\times\mathbb{R}_{\mathcal{F}}\rightarrow\mathbb {R}_{\mathcal{F}}\) be a continuous mapping. Assume that the following assumptions are satisfied:
 (\(F_{1}\)):

s is nondecreasing in the third variable, i.e., for \(\mu,\nu\in\mathbb{R}_{\mathcal{F}}\) such that
$$ \mu\leq\nu\quad\implies\quad s(z,w,\mu)\leq s(z,w,\nu),\quad \forall(z,w)\in\varOmega. $$  (\(F_{2}\)):

There exists \(\phi\in\varPhi\) such that \(\forall (z,w)\in\varOmega\) and \(\mu\leq\nu\) \((\mu,\nu\in\mathbb {R}_{\mathcal{F}})\), we have
$$ d_{\infty}\bigl(s(z,w,\mu),s(z,w,\nu)\bigr)\leq d_{\infty}(\mu,\nu) \phi \bigl(d_{\infty}(\mu,\nu)\bigr). $$  (\(F_{3}\)):
Proof
Define the mapping \(S_{1}:C(\varOmega,\mathbb{R}_{\mathcal{F}})\to C(\varOmega,\mathbb{R}_{\mathcal{F}})\) as follows:
Also, define a relation \(\mathcal{R}\) on \(C(\varOmega,\mathbb{R}_{\mathcal {F}})\) by \((\mu,\nu)\in\mathcal{R}\iff\mu\leq\nu\). Notice that Problem (7.2)–(7.3) has a unique solution if \(S_{1}\) has a unique fixed point. Now, we establish the hypotheses of Theorem 4.1. Firstly, we claim that \(\mathcal{R}\) is \(S_{1}\)closed. To substantiate our claim, assume that, for arbitrary \(\mu,\nu\in C(\varOmega,\mathbb {R}_{\mathcal{F}})\), \((\mu,\nu)\in\mathcal{R}\), i.e., \(\mu\leq\nu\). By condition (\(F_{1}\)), we have
Then, by Lemma 7.4, we have
i.e.,
Hence, \(S_{1}\mu\leq S_{1}\nu\), i.e., \((S_{1}\mu,S_{1}\nu)\in \mathcal{R}\) and the claim is established. It can easily be seen that \(\mathcal{R}\) is transitive and hence, locally \(S_{1}\)transitive.
Secondly, we prove that \(S_{1}\) satisfies generalized weak \((\phi ,\mathcal{R})\)contraction. For all \(\mu,\nu\in C(\varOmega,\mathbb {R}_{\mathcal{F}})\) such that \(\mu<\nu\), we have
Then \(\forall(z,w)\in\varOmega\), we have
Therefore, we have
or
Taking \(\phi(t)=t \frac{1}{\lambda^{2}}(1e^{\lambda a})(1e^{\lambda b})t\). Then on choosing \(\frac{1}{\lambda ^{2}}(1e^{\lambda a})(1e^{\lambda b})<1\), with a routine calculation, one can show that \(\phi\in\varPhi\). So, (7.4) reduces to
Hence, \(S_{1}\) is a generalized weak \((\phi,\mathcal{R})\)contraction. Now, we show that condition (a) of Theorem 4.1 is satisfied. By assumption (\(F_{3}\)), there exists a (1)lower solution, say \(\bar {\mu}\in C^{2}(\varOmega,\mathbb{R}_{\mathcal{F}})\), such that (for \(\alpha\in[0,1]\) and \((z,w)\in\varOmega\))
and
Therefore, we have (\(\forall(z,w)\in\varOmega)\))
Thus, we get \((\bar{\mu},S_{1}\bar{\mu})\in\mathcal{R}\) and with this we observe that all the hypotheses of Theorem 4.1 are satisfied and thus, \(S_{1}\) has a fixed point. Moreover, the condition of Corollary 4.1 is satisfied in view of Lemma 7.3 and hence we conclude that the fixed point of \(S_{1}\) is unique. This completes the proof. □
In the next result, we investigate the existence of integral solution of type2. Before presenting our desired result, we first give the following notions:
Lemma 7.5
([24])
Let \(C^{*}(\varOmega,\mathbb{R}_{\mathcal{F}})\neq\emptyset\) and s in (7.5) is continuous. If \((C(\varOmega,\mathbb{R}_{\mathcal {F}}),d)\) is a complete metric space, then \(C^{*}(\varOmega,\mathbb {R}_{\mathcal{F}})\) is also a complete metric space.
Now, we are ready to embark on our result.
Theorem 7.3
Let \(s:\varOmega\times\mathbb{R}_{\mathcal{F}}\to\mathbb{R}_{\mathcal {F}}\) be a continuous mapping. In addition to hypotheses \((F_{1})\) and \((F_{2})\) of Theorem 7.2, assume that the following conditions are satisfied:
 (\(F_{4}\)):

\(C^{*}(\varOmega,\mathbb{R}_{\mathcal{F}})\neq\emptyset \) and if \(\mu\in C^{*}(\varOmega,\mathbb{R}_{\mathcal{F}})\), then \(\mu(z,w)=p(z,w)\ominus(1)I_{zw}s(z,w,\mu)\), \(\forall(z,w)\in \varOmega\);
 (\(F_{5}\)):
 (\(F_{6}\)):

for each fixed pair \(\mu,\nu\in C^{*}(\varOmega,\mathbb {R}_{\mathcal{F}})\), there exists an upper or lower bound of \(\mu,\nu \), say \(\omega\in C^{*}(\varOmega,\mathbb{R}_{\mathcal{F}})\), such that the Hdifference \(p(z,w)\ominus(1)I_{zw}s(z,w,\omega)\) exists, \(\forall(z,w)\in\varOmega\).
Proof
By assumption (\(F_{4}\)), we have \(C^{*}(\varOmega,\mathbb{R}_{\mathcal{F}})\neq\emptyset\) and hence, we define \(S_{2}:C^{*}(\varOmega,\mathbb{R}_{\mathcal{F}})\to C^{*}(\varOmega ,\mathbb{R}_{\mathcal{F}})\) by
Notice that Problem (7.2)–(7.3) has a unique solution if \(S_{2}\) has a unique fixed point.
First, we prove that \(\mathcal{R}\) is \(S_{2}\)closed. For this purpose, assume that \((\mu,\nu) \in\mathcal{R}\), i.e., \(\mu(t,\tau)\leq\nu(t,\tau)\), \(\forall (t,\tau)\in\varOmega\). Then following the steps of Theorem 7.2, we have (\(\forall(z,w)\in\varOmega\))
or
Applying Lemma 7.2, we get
\(\forall(z,w)\in\varOmega\). Hence, \((S_{2}\mu,S_{2}\nu)\in\mathcal {R}\). Next, we prove that \(S_{2}\) satisfies a generalized weak \((\phi ,\mathcal{R})\)contraction. Following the steps of Theorem 7.2 and utilizing Lemma 7.1, \(\forall\mu,\nu\in C^{*}(\varOmega,\mathbb{R}_{\mathcal{F}})\) such that \((\mu,\nu)\in \mathcal{R}\), i.e., \(\mu\leq\nu\), we have
Again, following the same steps as in Theorem 7.2, we find that \(S_{2}\) satisfies a generalized weak \((\phi,\mathcal {R})\)contraction. Finally, to satisfy condition (a) of Theorem 4.1, we use \((F_{5})\) and find that there exists a (2)lower solution, say \(\bar{\mu}\in C^{2}(\varOmega,\mathbb{R}_{\mathcal {F}})\cap C^{*}(\varOmega,\mathbb{R}_{\mathcal{F}})\). As \(\bar{\mu}\in C^{*}(\varOmega,\mathbb{R}_{\mathcal{F}})\), so \((S_{2}\bar{\mu})(z,w)\) exists for all \((z,w)\in\varOmega\). Due to the existence of a (2)lower solution μ̄, we get (for \(\alpha\in[0,1]\) and \((z,w)\in \varOmega\))
and
Thus, \(\forall(z,w)\in\varOmega\), we get
Thus, taking all this in account, we have \(\bar{\mu}\leq S_{2}\bar{\mu }\), i.e., \((\bar{\mu}, S_{2}\bar{\mu})\in\mathcal{R}\) so that the claim is established.
Lemma 7.5 ensures that \((C^{*}(\varOmega,\mathbb{R}_{\mathcal {F}}),H_{\lambda)}\) is a complete metric space. By a routine calculation, one can easily show that all other conditions of Theorem 4.1 are satisfied and we conclude from the theorem that \(S_{2}\) has a fixed point in \(C^{*}(\varOmega,\mathbb{R}_{\mathcal{F}})\). Moreover, due to assumption \((F_{6})\), the hypothesis of Corollary 4.1 is satisfied. Hence, the fixed point of \(S_{2}\) is unique. This completes the proof. □
Remark 7.1
The conclusions of Theorems 7.2 and 7.3 are still valid if we consider that a (k)upper solution (\(k= 1,2\)) of Problem (7.2)–(7.3) exists.
References
 1.
Xue, Z.: The convergence of fixed point for a kind of weak contraction. Nonlinear Funct. Anal. Appl. 21(3), 497–500 (2016)
 2.
Alam, A., Imdad, M.: Relationtheoretic contraction principle. J. Fixed Point Theory Appl. 17(4), 693–702 (2015)
 3.
Banach, S.: Sur les opérations dans les ensembles abstraits et leur application aux équations intégrales. Fundam. Math. 3(1), 133–181 (1922)
 4.
Matthews, S.G.: Partial metric topology. Ann. N.Y. Acad. Sci. 728(1), 183–197 (1994)
 5.
Aydi, H.: Some coupled fixed point results on partial metric spaces. Int. J. Math. Math. Sci. 2011, 647091 (2011)
 6.
Altun, I., Erduran, A.: Fixed point theorems for monotone mappings on partial metric spaces. Fixed Point Theory Appl. 2011, 508730 (2011)
 7.
Aydi, H.: Some fixed point results in ordered partial metric spaces. Int. J. Math. Stat. (2011)
 8.
Aydi, H., Karapınar, E., Shatanawi, W.: Coupled fixed point results for (ψ, φ)weakly contractive condition in ordered partial metric spaces. Comput. Math. Appl. 62(12), 4449–4460 (2011)
 9.
Valero, O.: On Banach fixed point theorems for partial metric spaces. Appl. Gen. Topol. 6(2), 229–240 (2005)
 10.
AminiHarandi, A.: Metriclike spaces, partial metric spaces and fixed points. Fixed Point Theory Appl. 2012, 204 (2012)
 11.
Ahmadullah, M., Khan, A.R., Imdad, M.: Relationtheoretic contraction principle in metriclike as well as partial metric spaces. Appl. Math. Lett. (2016)
 12.
Abdeljawad, T., Karapınar, E., Taş, K.: Existence and uniqueness of a common fixed point on partial metric spaces. Appl. Math. Lett. 24(11), 1900–1904 (2011)
 13.
Nieto, J.J., RodríguezLópez, R.: Existence and uniqueness of fixed point in partially ordered sets and applications to ordinary differential equations. Acta Math. Sin. Engl. Ser. 23(12), 2205–2212 (2007)
 14.
Aydi, H.: Common fixed point results for mappings satisfying (ψ, ϕ)weak contractions in ordered partial metric spaces. Int. J. Math. Stat. 12(2), 53–64 (2012)
 15.
Turinici, M.: Abstract comparison principles and multivariable Gronwall–Bellman inequalities. Demonstr. Math. 19(1), 171–180 (1986)
 16.
Ran, A.C.M., Reurings, M.C.B.: A fixed point theorem in partially ordered sets and some applications to matrix equations. Proc. Am. Math. Soc. 132(5), 1435–1443 (2004)
 17.
Nieto, J.J., RodríguezLópez, R.: Contractive mapping theorems in partially ordered sets and applications to ordinary differential equations. Order 22(3), 223–239 (2005)
 18.
Alam, A., Imdad, M.: Relationtheoretic metrical coincidence theorems. Filomat 31(14), 4421–4439 (2017)
 19.
Alam, A., Imdad, M.: Nonlinear contractions in metric spaces under locally ttransitive binary relations. Fixed Point Theory 19(1), 13–24 (2018)
 20.
Ahmadullah, M., Ali, J., Imdad, M.: Unified relationtheoretic metrical fixed point theorems under an implicit contractive condition with an application. Fixed Point Theory Appl. 2016, 42 (2016)
 21.
Ahmadullah, M., Imdad, M., Arif, M.: Common fixed point theorems under an implicit contractive condition on metric spaces endowed with an arbitrary binary relation and an application. Appl. Math. Lett. (2017)
 22.
Imdad, M., Khan, Q.H., Alfaqih, W.M., Gubran, R.: A relation theoretic \((f,\mathcal{R})\)contraction principle with applications to matrix equations. Bull. Math. Anal. Appl. 10(1), 1–12 (2018)
 23.
Sawangsup, K., Sintunavarat, W.: Fixed point and multidimensional fixed point theorems with applications to nonlinear matrix equations in terms of weak altering distance functions. Open Math. 15(1), 111–125 (2017)
 24.
Long, H.V., Son, N.T.K., RodríguezLópez, R.: Some generalizations of fixed point theorems in partially ordered metric spaces and applications to partial differential equations with uncertainty. Vietnam J. Math. 46(3), 531–555 (2018)
 25.
Long, H.V.: On random fuzzy fractional partial integrodifferential equations under Caputo generalized Hukuhara differentiability. Comput. Appl. Math. 37(3), 2738–2765 (2018)
 26.
Long, H.V., Dong, N.P.: An extension of Krasnoselskiis fixed point theorem and its application to nonlocal problems for implicit fractional differential systems with uncertainty. J. Fixed Point Theory Appl. 20, 37 (2018)
 27.
Roldán, A., Shahzad, N.: Fixed point theorems by combining Jleli and Samets and Branciaris inequalities. J. Nonlinear Sci. Appl. 9(6), 3822–3849 (2016)
 28.
Shahzad, N., RoldánLópezdeHierro, A.F., Khojasteh, F.: Some new fixed point theorems under \((\mathcal{A},\mathcal {S})\)contractivity conditions. Rev. R. Acad. Cienc. Exactas Fís. Nat., Ser. A Mat. 111(2), 307–324 (2017)
 29.
Samet, B., Turinici, M.: Fixed point theorems on a metric space endowed with an arbitrary binary relation and applications. Commun. Math. Anal. 13(2), 82–97 (2012)
 30.
Kolman, B., Busby, R.C., Ross, S.C.: Discrete Mathematical Structures. PrenticeHall, New York (2003)
 31.
Popescu, O.: Fixed points for (ψ, ϕ)weak contractions. Appl. Math. Lett. 24(1), 1–4 (2011)
 32.
Turinici, M.: Abstract comparison principles and multivariable Gronwall–Bellman inequalities. J. Math. Anal. Appl. 117(1), 100–127 (1986)
 33.
Alam, A., Khan, A.R., Imdad, M.: Some coincidence theorems for generalized nonlinear contractions in ordered metric spaces with applications. Fixed Point Theory Appl. 2014, 216 (2014)
 34.
Kutbi, M.A., Alam, A., Imdad, M.: Sharpening some core theorems of Nieto and RodríguezLópez with application to boundary value problem. Fixed Point Theory Appl. 2015, 198 (2015)
 35.
Lakshmikantham, V., Mohapatra, R.N.: Theory of Fuzzy Differential Equations and Inclusions. CRC Press, Boca Raton (2004)
 36.
Khastan, A., Nieto, J.J., RodríguezLópez, R.: Fuzzy delay differential equations under generalized differentiability. Inf. Sci. 275, 145–167 (2014)
 37.
Allahviranloo, T., Gouyandeh, Z., Armand, A., Hasanoglu, A.: On fuzzy solutions for heat equation based on generalized Hukuhara differentiability. Fuzzy Sets Syst. 265, 1–23 (2015)
Acknowledgements
All the authors are thankful to the referees for their fruitful comments and suggestions in the final preparation of this article.
Availability of data and materials
No data were used to support this study.
Author information
Affiliations
Contributions
All authors contributed equally and significantly in writing this article. All authors read and approved the final manuscript.
Corresponding author
Correspondence to Izhar Uddin.
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 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
Received
Accepted
Published
DOI
MSC
 54H25
 47H10
Keywords
 Partial metric space
 Binary relation
 Preserving mappings
 \(\mathcal{R}^{\neq}\)precompleteness
 \(\mathcal{R}^{\neq}\)continuous
 Partial order