Abstract
In this paper, we introduce the structure of \(S_{p}\)-metric spaces as a generalization of both S-metric and \(S_{b}\)-metric spaces. Also, we present the notions of S̃-contractive mappings in the setup of ordered \(S_{p}\)-metric spaces and investigate the existence of a fixed point for such mappings under various contractive conditions. We provide examples to illustrate the results presented herein. An application to periodic boundary value problems is presented.
Similar content being viewed by others
1 Introduction and preliminaries
There is a large number of generalizations of Banach contraction principle via using different forms of contractive conditions in various generalized metric spaces. Some of such generalizations are obtained via contractive conditions expressed by rational terms (see, e.g., [7, 9, 17, 19]).
Ran and Reurings initiated the studying of fixed point results on partially ordered sets in [14]. Further, many researchers have focused on different contractive conditions in complete metric spaces endowed with a partial order. For more details, we refer the reader to [11, 12].
Parvaneh introduced in [13] the concept of extended b-metric spaces as follows.
Definition 1.1
([13])
Let Ξ be a (nonempty) set. A function \(\tilde{d}:\varXi \times \varXi \rightarrow \mathbf{R}^{+}\) is a p-metric if there exists a strictly increasing continuous function \(\varOmega :[0,\infty )\rightarrow [0,\infty )\) with \(\varOmega ^{-1}(t)\leq t\leq \varOmega (t)\) and \(\varOmega ^{-1}(0)=0=\varOmega (0)\) such that, for all \(\zeta ,\eta ,\omega \in \varXi \), the following conditions hold:
- (\(\widetilde{d}_{1}\)):
-
\(\widetilde{d}(\zeta ,\eta )=0\) iff \(\zeta =\eta \),
- (\(\widetilde{d}_{2}\)):
-
\(\widetilde{d}(\zeta ,\eta )= \widetilde{d}(\eta ,\zeta )\),
- (\(\widetilde{d}_{3}\)):
-
\(\widetilde{d}(\zeta ,\omega )\leq \varOmega (\widetilde{d}(\zeta ,\eta )+\widetilde{d}(\eta ,\omega ))\).
In this case, the pair \((\varXi ,\widetilde{d})\) is called a p-metric space or an extended b-metric space.
A b-metric [2] is a p-metric with \(\varOmega (t)=st\) for some fixed \(s\ge 1\), while a metric is a p-metric when \(\varOmega (t)=t\). We have the following proposition.
Proposition 1.2
([13])
Let \((\varXi ,d)\) be a metric space, and let \(\widetilde{d} (\zeta , \eta )=\xi (d(\zeta ,\eta ))\), where \(\xi :[0,\infty )\rightarrow [0, \infty )\) is a strictly increasing continuous function with \(t\leq \xi (t)\) and \(0= \xi (0)\). In this case, d̃ is a p-metric with \(\varOmega (t)=\xi (t)\).
The above proposition provides several examples of p-metric spaces.
Example 1.3
Let \((\varXi ,d)\) be a metric space, and let \(\widetilde{d} (\zeta , \eta )=e^{d(\zeta ,\eta )}\sec ^{-1}(e^{d(\zeta ,\eta )})\). Then d̃ is a p-metric with \(\varOmega (t)=e^{t}\sec ^{-1}(e ^{t})\).
In [16], Sedghi et al. introduced the notion of an S-metric space as follows.
Definition 1.4
([16])
Let Ξ be a nonempty set and \(S: \varXi \times \varXi \times \varXi \rightarrow \mathbf{R}^{+}\) be a function satisfying the following properties:
-
(S1)
\(S(\zeta , \eta , \omega ) = 0\) iff \(\zeta = \eta = \omega \);
-
(S2)
\(S(\zeta , \eta , \omega ) \leq S(\zeta , \zeta , a) + S(\eta , \eta , a)+S(\omega ,\omega ,a)\) for all \(\zeta , \eta , \omega , a \in \varXi \) (rectangle inequality).
Then the function S is called an S-metric on Ξ and the pair \((\varXi , S)\) is called an S-metric space.
Example 1.5
([16])
Let R be the real line. Then \(S (\zeta ,\eta ,\omega )= \vert \zeta -\eta \vert +\vert \zeta -\omega \vert \) for all \(\zeta ,\eta ,\omega \in \mathbf{R}\) is an S-metric on R. This S-metric on R is called the usual S-metric on R.
Souayaha and Mlaiki in [18], motivated by the concepts of b-metric and S-metric, introduced the concept of \(S_{b}\)-metric spaces, and then they presented some basic properties of such spaces.
The following is the definition of modified S-metric spaces, which is a proper generalization of the notions of S-metric spaces and \(S_{b}\)-metric spaces.
Definition 1.6
Let Ξ be a nonempty set and \(\varOmega :[0,\infty )\rightarrow [0, \infty )\) be a strictly increasing continuous function such that \(t\leq \varOmega (t)\) for all \(t>0\) and \(\varOmega (0)=0\). Suppose that a mapping \(\widetilde{S}:\varXi \times \varXi \times \varXi \rightarrow \mathbf{R}^{+}\) satisfies:
- (S̃1):
-
\(\widetilde{S}(\zeta ,\eta ,\omega )=0\) iff \(\zeta =\eta =\omega \),
- (S̃2):
-
\(\widetilde{S}(\zeta ,\eta ,\omega )\leq \varOmega [\widetilde{S}(\zeta ,\zeta ,\alpha )+\widetilde{S}(\eta , \eta ,\alpha ) +\widetilde{S}(\omega ,\omega ,\alpha )]\) for all \(\zeta ,\eta ,\omega ,\alpha \in \varXi \) (rectangle inequality).
Then S̃ is called an \(S_{p}\)-metric and the pair \((\varXi ,\widetilde{S})\) is called an \(S_{p}\)-metric space.
Remark 1.7
In an \(S_{p}\)-metric space, we have \(\widetilde{S}(\zeta ,\zeta , \eta )\leq \varOmega [\widetilde{S}(\eta ,\eta ,\zeta )]\) for all \(\zeta ,\eta \in \varXi \). Indeed, putting \((\zeta ,\zeta ,\eta ,\zeta )\) instead of \((\zeta ,\eta ,\omega ,\alpha )\) in \((\widetilde{S}2)\) and using \((\widetilde{S}1)\), we obtain the previous inequality.
Each S-metric space is an \(S_{p}\)-metric space with \(\varOmega (t)=t\) and every \(S_{b}\)-metric space with parameter \(s\ge 1\) is an \({S}_{p}\)-metric space with \(\varOmega (t)=st\).
Proposition 1.8
Let \((\varXi ,S)\) be an \(S_{b}\)-metric space with coefficient \(s\geq 1\), and let \(\widetilde{S} (\zeta ,\eta ,\omega )=\xi (S(\zeta ,\eta , \omega ))\), where \(\xi :[0,\infty )\rightarrow [0,\infty )\) is a strictly increasing continuous function with \(t\leq \xi (t)\) for all \(t>0\) and \(\xi (0)=0\). Then S̃ is an \(S_{p}\)-metric with \(\varOmega (t)=\xi (st)\).
Proof
For all \(\zeta ,\eta ,\omega ,a\in \varXi \),
So, S̃ is an \(S_{p}\)-metric with \(\varOmega (t)=\xi (st)\). □
The above proposition provides several examples of \(S_{p}\)-metric spaces.
Example 1.9
Let \((\varXi ,S)\) be an \(S_{b}\)-metric space with coefficient \(s\geq 1\). Then:
-
1.
\(\widetilde{S} (\zeta ,\eta ,\omega )=e^{S(\zeta ,\eta ,\omega )}\sec ^{-1}(e^{S(\zeta ,\eta ,\omega )})\) is an \({S_{p}}\)-metric with \(\varOmega (t)=e^{st}\sec ^{-1}(e^{st})\).
-
2.
\(\widetilde{S} (\zeta ,\eta ,\omega )=[S(\zeta ,\eta ,\omega )+1]\sec ^{-1}([S(\zeta ,\eta ,\omega )+1])\) is an \({S}_{p}\)-metric with \(\varOmega (t)=[st+1]\sec ^{-1}([st+1])\).
-
3.
\(\widetilde{S} (\zeta ,\eta ,\omega )=e^{S(\zeta ,\eta ,\omega )}\tan ^{-1}(e^{S(\zeta ,\eta ,\omega )}-1)\) is an \({S}_{p}\)-metric with \(\varOmega (t)=e^{st}\tan ^{-1}(e^{st}-1)\).
-
4.
\(\widetilde{S} (\zeta ,\eta ,\omega )=S(\zeta ,\eta ,\omega )\cosh (S( \zeta ,\eta ,\omega ))\) is an \({S}_{p}\)-metric with \(\varOmega (t)=st \cosh (st)\).
-
5.
\(\widetilde{S} (\zeta ,\eta ,\omega )=e^{S(\zeta ,\eta ,\omega )} \ln (1+S(\zeta ,\eta ,\omega ))\) is an \({S}_{p}\)-metric with \(\varOmega (t)=e^{st}\ln (1+st)\).
-
6.
\(\widetilde{S} (\zeta ,\eta ,\omega )=S(\zeta ,\eta ,\omega )+\ln (1+S( \zeta ,\eta ,\omega ))\) is an \({S}_{p}\)-metric with \(\varOmega (t)=st+ \ln (1+st)\).
In all the given examples 1–6, it can be checked by routine calculation that the respective function ξ satisfies all the requirements given in Proposition 1.8, i.e., it is continuous, strictly increasing, \(\xi (0)=0\), and \(\xi (t)>t\) for \(t>0\).
Definition 1.10
Let Ξ be an \(S_{p}\)-metric space. A sequence \(\{\zeta _{n}\}\) in Ξ is said to be:
-
(1)
\(S_{p}\)-Cauchy if, for each \(\varepsilon >0\), there exists a positive integer \(n_{0}\) such that, for all \(m,n\geq n_{0}\), \(\widetilde{S}(\zeta _{m},\zeta _{n},\zeta _{n})<\varepsilon \).
-
(2)
\(S_{p}\)-convergent to a point \(\zeta \in \varXi \) if, for each \(\varepsilon >0\), there exists a positive integer \(n_{0}\) such that, for all \(n\geq n_{0}\), \(\widetilde{S}(\zeta _{n},\zeta _{n},\zeta )<\varepsilon \).
-
(3)
An \(S_{p}\)-metric space Ξ is called \(S_{p}\)-complete if every \(S_{p}\)-Cauchy sequence is \(S_{p}\)-convergent in Ξ.
In general, an \(S_{p}\)-metric mapping \(\widetilde{S}(\zeta ,\eta , \omega )\) with a nontrivial function Ω need not be jointly continuous in all its variables (see [10]). Thus, in some proofs we will need the following simple lemma about the \(S_{p}\)-convergent sequences.
Lemma 1.11
Let \((\varXi ,\widetilde{S})\) be an \(S_{p}\)-metric space.
-
1.
Suppose that \(\{\zeta _{n}\}\) and \(\{\eta _{n}\}\) are \(S_{p}\)-convergent to ζ and η, respectively. Then we have
$$\begin{aligned} \frac{\varOmega ^{-1}[\frac{1}{2}{\varOmega ^{-1}[\widetilde{S}(\zeta ,\eta , \eta )]}]}{2}&\leq \liminf _{n\longrightarrow \infty } \widetilde{S}(\zeta _{n},\eta _{n},\eta _{n})\leq \limsup _{n\longrightarrow \infty } \widetilde{S}(\zeta _{n},\eta _{n}, \eta _{n}) \\ &\leq \varOmega \bigl[2\varOmega \bigl[\widetilde{S}(\zeta ,\eta ,\eta )\bigr]\bigr]. \end{aligned}$$In particular, if \(\zeta =\eta \), then we have \(\lim_{n\rightarrow \infty }\widetilde{S}(\zeta _{n},\eta _{n},\eta _{n})=0\).
-
2.
Suppose that \(\{\zeta _{n}\}\) is \(S_{p}\)-convergent to ζ and \(\omega \in \varXi \) is arbitrary. Then we have
$$ \frac{\varOmega ^{-1}[\widetilde{S}(\zeta ,\omega ,\omega )]}{2}\leq \liminf _{n\longrightarrow \infty } \widetilde{S}(\zeta _{n}, \omega ,\omega )\leq \limsup _{n\longrightarrow \infty } \widetilde{S}(\zeta _{n},\omega ,\omega )\leq \varOmega \bigl[2\widetilde{S}( \zeta ,\omega ,\omega )\bigr]. $$
Proof
1. Using the rectangle inequality in the \(S_{p}\)-metric space, it is easy to see that
and
Taking the lower limit as \(n\rightarrow \infty \) in the first inequality and the upper limit as \(n\rightarrow \infty \) in the second inequality, we obtain the desired result.
2. Using the rectangle inequality, we see that
and
□
Let \(\mathfrak{B}\) denote the class of all real functions \(\beta :[0, \infty )\rightarrow {}[ 0,1)\) satisfying the condition
In order to generalize the Banach contraction principle, Geraghty proved in 1973 the following result.
Theorem 1.12
([5])
Let \((\varXi , d)\) be a complete metric space, and let \(f : \varXi \rightarrow \varXi \) be a self-map. Suppose that there exists \(\beta \in \mathfrak{B}\) such that
holds for all \(\zeta , \eta \in \varXi \). Then f has a unique fixed point \(\omega \in \varXi \) and for each \(\zeta \in \varXi \) the Picard sequence \(\{f^{n}\zeta \}\) converges to ω.
In 2010, Amini-Harandi and Emami [1] characterized the result of Geraghty in the setting of a partially ordered complete metric space. In [4], some fixed point theorems for mappings satisfying Geraghty-type contractive conditions were proved in various generalized metric spaces. Also, Zabihi and Razani [19] and Shahkoohi and Razani [17] obtained some fixed point results for rational Geraghty contractions in b-metric spaces.
Motivated by [9], in this paper we present some fixed point theorems for various contractive mappings in tripled partially ordered modified S-metric spaces. Our results extend some existing results in the literature. Examples are provided to show the usefulness of the results. In the last section, an application is given to a first-order boundary value problem for differential equations.
2 Main results
2.1 Fixed point results using Geraghty contractions
Let \((\varXi ,\widetilde{S})\) be an \(S_{p}\)-metric space with function Ω, and let \(\mathfrak{B}_{\varOmega }\) denote the class of all functions \(\beta :[0,\infty ) \rightarrow [0,\varOmega ^{-1}(1))\) satisfying the following condition:
Example 2.1
-
(1)
Let \(\varXi =\mathbb{R}\) and \(\widetilde{S}(\zeta ,\eta ,\omega )=e ^{|\zeta -\eta |+|\eta -\omega |}-1\) for all \(\zeta ,\eta ,\omega \in \mathbb{R}\), with \(\varOmega (t)=e^{t}-1\). Then, by \(\beta (t)=( \ln 2)e^{-t}\) for \(t > 0\) and \(\beta (0)\in [0,\ln 2)\), a function β belonging to \(\mathfrak{B}_{\varOmega }\) is given.
-
(2)
Another example of a function in \(\mathfrak{B}_{\varOmega }\) may be given by \(\beta (t)=W(1)e^{-t}\) for \(t > 0\) and \(\beta (0)\in [0,W(1))\), where \(\widetilde{S}(\zeta ,\eta ,\omega )=(|\zeta -\eta |+|\eta - \omega |)e^{|\zeta -\eta |+|\eta -\omega |}\) for all \(\zeta ,\eta , \omega \in \mathbb{R}\). Here, W is the Lambert W-function (see, e.g., [3]).
Definition 2.2
Let \((\varXi ,\preceq ,\widetilde{S})\) be an ordered \(S_{p}\)-metric space. A mapping \(f:\varXi \rightarrow \varXi \) is called an \(S_{p}\)-Geraghty contraction if there exists \(\beta \in \mathcal{B}_{\varOmega }\) such that
for all mutually comparable elements \(\zeta ,\eta ,\omega \in \varXi \), where
An ordered \(S_{p}\)-metric space \((\varXi ,\preceq ,\widetilde{S})\) is said to have the s.l.c. property if, whenever \(\{\zeta _{n}\}\) is an increasing sequence in Ξ such that \(\zeta _{n}\rightarrow u\in \varXi \), one has \(\zeta _{n}\preceq u\) for all \(n\in \mathbb{N}\).
Theorem 2.3
Let \((\varXi ,\preceq ,\widetilde{S})\) be an ordered \(S_{p}\)-complete \(S_{p}\)-metric space. Let \(f:\varXi \rightarrow \varXi \) be an increasing mapping with respect to ⪯ such that there exists an element \(\zeta _{0}\in \varXi \) with \(\zeta _{0}\preceq f\zeta _{0}\). Suppose that f is an \(S_{p}\)-Geraghty contraction. If
-
(I)
f is continuous, or
-
(II)
\((\varXi ,\preceq ,\widetilde{S})\) has the s.l.c. property,
then f has a fixed point. Moreover, the set of fixed points of f is well ordered if and only if f has one and only one fixed point.
Proof
Put \(\zeta _{n}=f^{n}\zeta _{0}\). Since \(\zeta _{0}\preceq \zeta _{1}\) and f is increasing, we obtain by induction that the sequence \(\{\zeta _{n}\}\) is increasing w.r.t. ⪯. We will show that \(\lim_{n\rightarrow \infty }\widetilde{S}(\zeta _{n},\zeta _{n+1}, \zeta _{n+1})=0\). Without loss of generality, we may assume that \(\zeta _{n}\neq \zeta _{n+1}\) for all \(n\in \mathbb{N}\). Since \(\zeta _{n}\) and \(\zeta _{n+1}\) are comparable, then by (2.1) we have
where
If \(\max \{\widetilde{S}(\zeta _{n-1},\zeta _{n},\zeta _{n}), \widetilde{S}(\zeta _{n},\zeta _{n+1},\zeta _{n+1})\}=\widetilde{S}(\zeta _{n},\zeta _{n+1},\zeta _{n+1})\), then from (2.2) we have
which is a contradiction.
Hence, \(\max \{\widetilde{S}(\zeta _{n-1},\zeta _{n},\zeta _{n}), \widetilde{S}(\zeta _{n},\zeta _{n+1},\zeta _{n+1})\}= \widetilde{S}( \zeta _{n-1},\zeta _{n},\zeta _{n})\). So, from (2.2),
That is, \(\{\widetilde{S}(\zeta _{n},\zeta _{n+1},\zeta _{n+1}) \}\) is a decreasing sequence. Then there exists \(r\geq 0\) such that \(\lim_{n\rightarrow \infty }{\widetilde{S}(\zeta _{n},\zeta _{n+1}, \zeta _{n+1}) }=r\). We will prove that \(r=0\). Suppose, on the contrary, that \(r>0\). Then, letting \({n\to \infty }\), from (2.3) we have
which implies that \(\varOmega ^{-1}(1)\leq 1 \leq \lim_{n\rightarrow \infty }{\beta (M(\zeta _{n-1},\zeta _{n},\zeta _{n}))}\leq \varOmega ^{-1}(1)\). Now, as \(\beta \in \mathfrak{B}_{\varOmega }\), we conclude that \(M(\zeta _{n-1},\zeta _{n},\zeta _{n})\rightarrow 0\), which yields that \(r=0\), a contradiction. Hence, the assumption that \(r>0\) is false. That is,
Now, we prove that the sequence \({\{\zeta _{n}}\}\) is an \(S_{p}\)-Cauchy sequence. Suppose the contrary, i.e., there exists \(\varepsilon >0\) for which we can find two subsequences \(\{\zeta _{m _{i}}\}\) and \(\{\zeta _{n_{i}}\}\) of \(\{\zeta _{n}\}\) such that \(n_{i}\) is the smallest index for which
This means that
From the rectangular inequality, we get
Taking the upper limit as \(i\rightarrow \infty \) and by (2.4), we get
From the rectangular inequality, we get
Taking the upper limit as \(i\rightarrow \infty \) and by (2.4), we get
From the definition of \(M(\zeta ,\eta ,\omega )\) and the above limits,
Now, since the sequence \(\{\zeta _{n}\}\) is increasing, we can apply (2.1) and the above inequalities to get
which implies that \(\varOmega ^{-1}(1)\leq 1 \leq \lim_{n\rightarrow \infty }{\beta (M(\zeta _{m_{i}},\zeta _{n_{i}-1}, \zeta _{n_{i}-1}))}\leq \varOmega ^{-1}(1)\). Now, as \(\beta \in \mathfrak{B}_{\varOmega }\) we conclude that \(M(\zeta _{m_{i}},\zeta _{n _{i}-1},\zeta _{n_{i}-1})\rightarrow 0\), which yields that \(\widetilde{S}(\zeta _{m_{i}},\zeta _{n_{i}-1},\zeta _{n_{i}-1})\rightarrow 0\). Consequently,
a contradiction with (2.5). Therefore, \(\{\zeta _{n}\}\) is an \(S_{p}\)-Cauchy sequence. \(S_{p}\)-completeness of Ξ yields that \({\{\zeta _{n}}\}\) \(S_{p}\)-converges to a point \(u\in \varXi \).
We will prove that u is a fixed point of f. First, let f be continuous. Then we have
Now, let (II) hold. Using the assumption on Ξ, we have that \(\zeta _{n}\preceq u\) for all \(n\in \mathbb{N}\). Now, by Lemma 1.11,
where
Therefore, we deduce that \(\widetilde{S}(u,fu,fu)=0\), so \(u=fu\).
Finally, suppose that the set of fixed points of f is well ordered. Assume on the contrary, that u and v are two fixed points of f such that \(u\neq v \). Then, by (2.1), we have
because \(M(u,v,v)=\widetilde{S}(u,v,v)\). So, we get \(\widetilde{S}(u,v,v)< \varOmega ^{-1}(1) \widetilde{S}(u,v,v)\), a contradiction. Hence, \(u=v\), and f has a unique fixed point. Conversely, if f has a unique fixed point, then the set of fixed points of f is trivially well ordered. □
2.2 Fixed point results via comparison functions
Let Ψ be the family of all nondecreasing functions \(\psi : [0, \infty ) \rightarrow [0,\infty )\) such that
for all \(t > 0\). It is easy to see that the following holds.
Lemma 2.4
(see, e.g., [15])
If \(\psi \in \varPsi \), then the following are satisfied:
-
(a)
\(\psi (t) < t\) for all \(t > 0\);
-
(b)
\(\psi (0) = 0\).
Definition 2.5
Let \((\varXi ,\preceq ,\widetilde{S})\) be an ordered \(S_{p}\)-metric space. A mapping \(f:\varXi \rightarrow \varXi \) is called an \(S_{p}\)-ψ-contraction if there exists \(\psi \in \varPsi \) such that
for all mutually comparable elements \(\zeta ,\eta ,\omega \in \varXi \), where
Theorem 2.6
Let \((\varXi ,\preceq ,\widetilde{S} )\) be an ordered \(S_{p}\)-complete \(S_{p}\)-metric space. Let \(f:\varXi \rightarrow \varXi \) be an increasing mapping with respect to ⪯ such that there exists an element \(\zeta _{0}\in \varXi \) with \(\zeta _{0}\preceq f\zeta _{0}\). Suppose that f is an \(S_{p}\)-ψ-contractive mapping. If
-
(I)
f is continuous, or
-
(II)
\((\varXi ,\preceq ,\widetilde{S})\) has the s.l.c. property,
then f has a fixed point. Moreover, the set of fixed points of f is well ordered if and only if f has one and only one fixed point.
Proof
Put \(\zeta _{n}=f^{n}\zeta _{0}\).
Step 1. We will show that \(\lim_{n\rightarrow \infty }\widetilde{S}(\zeta _{n},\zeta _{n+1},\zeta _{n+1})=0\). We assume that \(\zeta _{n}\neq \zeta _{n+1}\) for all \(n\in \mathbb{N}\) (otherwise there is nothing to prove). As in the proof of Theorem 2.3, we have that the sequence \(\{\zeta _{n}\}\) is increasing. Hence, by (2.7) we have
because
and it is easy to see that \(\max \{\widetilde{S}(\zeta _{n-1},\zeta _{n},\zeta _{n}),\widetilde{S}(\zeta _{n},\zeta _{n+1},\zeta _{n+1}) \}= \widetilde{S}(\zeta _{n-1},\zeta _{n},\zeta _{n})\). So, from (2.8) we conclude that \(\{\widetilde{S}(\zeta _{n},\zeta _{n+1},\zeta _{n+1}) \}\) is decreasing. Then there exists \(r\geq 0\) such that \(\lim_{n\rightarrow \infty }{\widetilde{S}(\zeta _{n},\zeta _{n+1}, \zeta _{n+2})}=r\). It is easy to verify that
Step 2. Similarly as in the proof of Theorem 2.3, if \({\{\zeta _{n}}\}\) were not an \(S_{p}\)-Cauchy sequence, then there would exist \(\varepsilon >0\) for which we can find two subsequences \(\{\zeta _{m_{i}}\}\) and \(\{\zeta _{n_{i}}\}\) of \(\{\zeta _{n}\}\) such that (2.5) and (2.6) hold. Then we would have
Now, from (2.7) and the mentioned inequalities, we have
which is a contradiction. Hence, \(\{\zeta _{n}\}\) is a \(S_{p}\)-Cauchy sequence and \(S_{p}\)-completeness of ζ yields that \({\{\zeta _{n}}\}\) \(S_{p}\)-converges to a point \(u\in \varXi \).
Step 3. u is a fixed point of f. This step is proved as in the proof of Theorem 2.3 with some elementary changes. □
If in the above theorem we take \(\psi (t)=\sinh t\) and \(\widetilde{S}( \zeta ,\eta ,\omega )=\sinh (S_{b}(\zeta ,\eta ,\omega ))\), then we have the following corollary in the framework of \(S_{b}\) metric spaces.
Corollary 2.7
Let \((\varXi ,\preceq ,S_{b})\) be an ordered \(S_{b}\)-complete \(S_{b}\)-metric space with coefficient \(s>1\). Let \(f:\varXi \rightarrow \varXi \) be an increasing mapping with respect to ⪯ such that there exists an element \(\zeta _{0}\in \varXi \) with \(\zeta _{0}\preceq f \zeta _{0}\). Suppose that
for all mutually comparable elements \(\zeta ,\eta ,\omega \in \varXi \), where
If
-
(I)
f is continuous, or
-
(II)
\((\varXi ,\preceq ,S_{b})\) enjoys the s.l.c. property,
then f has a fixed point.
2.3 Fixed point results related to JS-contractions
Jleli et al. [8] introduced the class \(\varTheta _{0}\) consisting of all functions \(\theta : (0,\infty ) \rightarrow (1, \infty )\) satisfying the following conditions:
- (\(\theta _{1}\)):
-
θ is nondecreasing;
- (\(\theta _{2}\)):
-
for each sequence \(\{t_{n}\}\subseteq (0, \infty )\), \(\lim_{n\rightarrow \infty } \theta (t_{n}) =1\) if and only if \(\lim_{n\rightarrow \infty } t_{n} =0\);
- (\(\theta _{3}\)):
-
there exist \(r \in (0, 1)\) and \(\ell \in (0, \infty ]\) such that \(\lim_{t\rightarrow 0^{+}}\frac{\theta (t)-1}{ t^{r}} = \ell \);
- (\(\theta _{4}\)):
-
θ is continuous.
They proved the following result.
Theorem 2.8
([8, Corollary 2.1])
Let \((\varXi , d)\) be a complete metric space, and let \(T : \varXi \rightarrow \varXi \) be a given mapping. Suppose that there exist \(\theta \in \varTheta _{0}\) and \(k \in (0,1)\) such that
Then T has a unique fixed point.
From now on, we denote by Θ the set of all functions \(\theta : [0,\infty ) \rightarrow [1,\infty )\) satisfying the following conditions:
- \(\theta _{1}\).:
-
θ is a continuous strictly increasing function;
- \(\theta _{2}\).:
-
for each sequence \(\{t_{n}\}\subseteq (0,\infty )\), \(\lim_{n\rightarrow \infty } \theta (t_{n}) =1\) if and only if \(\lim_{n\rightarrow \infty } t_{n} =0\).
Remark 2.9
([6])
It is clear that \(f(t)=e^{t}\) does not belong to \(\varTheta _{0}\), but it belongs to Θ. Other examples are \(f(t)=\cosh t\), \(f(t)=\frac{2\cosh t}{1+\cosh t}\), \(f(t)=1+\ln (1+t)\), \(f(t)=\frac{2+2\ln (1+t)}{2+\ln (1+t)}\), \(f(t)=e^{te^{t}}\), and \(f(t)=\frac{2e^{te^{t}}}{1+e^{te^{t}}}\) for all \(t>0\).
Definition 2.10
Let \((\varXi ,\preceq ,\widetilde{S})\) be an ordered \(S_{p}\)-metric space. A mapping \(f:\varXi \rightarrow \varXi \) is called an \(S_{p}\) rational-JS-contraction if
for all mutually comparable elements \(\zeta ,\eta ,\omega \in \zeta \), where \(\theta \in \varTheta \), \(k\in [0,1)\) and
Theorem 2.11
Let \((\varXi ,\preceq ,\widetilde{S})\) be an ordered \(S_{p}\)-complete \(S_{p}\)-metric space. Let \(f:\varXi \rightarrow \varXi \) be an increasing mapping with respect to ⪯ such that there exists an element \(\zeta _{0}\in \varXi \) with \(\zeta _{0}\preceq f\zeta _{0}\). Suppose that f is an \(S_{p}\)-rational JS-contractive mapping. If
-
(I)
f is continuous, or
-
(II)
\((\varXi ,\preceq ,\widetilde{S})\) enjoys the s.l.c. property,
then f has a fixed point. Moreover, the set of fixed points of f is well ordered if and only if f has one and only one fixed point.
Proof
Put \(\zeta _{n}=f^{n}\zeta _{0}\).
Step 1. We will show that \(\lim_{n\rightarrow \infty }\widetilde{S}(\zeta _{n},\zeta _{n+1},\zeta _{n+1})=0\). Without loss of generality, we may assume that \(\zeta _{n}\neq \zeta _{n+1}\) for all \(n\in \mathbb{N}\). Since \(\zeta _{n-1}\preceq \zeta _{n}\) for each \(n\in \mathbb{N}\), then by (2.9) we have
because
From (2.10) we deduce that
Therefore,
Taking the limit as \(n\to \infty \) in (2.11), we have
and since \(\theta \in \varTheta \), we obtain \(\lim_{n\to \infty } \widetilde{S}(\zeta _{n},\zeta _{n+1},\zeta _{n+1})=0\). Therefore, we have
Step 2. Similarly as in the proof of Theorem 2.3, if \({\{\zeta _{n}}\}\) were not an \(S_{p}\)-Cauchy sequence, then there would exist \(\varepsilon >0\) for which we can find two subsequences \(\{\zeta _{m_{i}}\}\) and \(\{\zeta _{n_{i}}\}\) of \(\{\zeta _{n}\}\) such that (2.5) and (2.6) hold. Hence,
From the rectangular inequality, we get
By taking the upper limit as \(i\rightarrow \infty \), we get
From the definition of \(M(\zeta ,\eta ,\omega )\) and the above limits,
Now, from (2.9) and the above inequalities, we have
which implies that \(\varepsilon =0\), a contradiction. So, we conclude that \(\{\zeta _{n}\}\) is an \(S_{p}\)-Cauchy sequence. By \(S_{p}\)-completeness of Ξ, it follows that \({\{\zeta _{n}}\}\) \(S_{p}\)-converges to a point \(u\in \varXi \).
Step 3. u is a fixed point of f.
When f is continuous, the proof is straightforward.
Now, let (II) hold. Using the assumption on Ξ, we have \(\zeta _{n}\preceq u\). By Lemma 1.11,
where
Therefore, we deduce that \(\widetilde{S}(u,fu,fu)=0\), so \(u=fu\).
Finally, suppose that the set of fixed points of f is well ordered. Assume, on the contrary, that u and v are two fixed points of f such that \(u\neq v\). Then, by (2.9), we have
So, we get \(\widetilde{S}(u,v,v)=0\), a contradiction. Hence \(u=v\), and f has a unique fixed point. □
If in the above theorem we take \(\theta (t)=\frac{2e^{te^{t}}}{1+e ^{te^{t}}}\) and \(\widetilde{S}(\zeta ,\eta ,\omega )=e^{S_{b}(\zeta , \eta ,\omega )}-1\), then we have the following corollary in the framework of \(S_{b}\) metric spaces.
Corollary 2.12
Let \((\varXi ,\preceq ,S_{b})\) be an ordered \(S_{b}\)-complete \(S_{b}\)-metric space with coefficient \(s>1\). Let \(f:\varXi \rightarrow \varXi \) be an increasing mapping with respect to ⪯ such that there exists an element \(\zeta _{0}\in \varXi \) with \(\zeta _{0}\preceq f \zeta _{0}\). Suppose that
for all mutually comparable elements \(\zeta ,\eta ,\omega \in \varXi \), where
If
-
(I)
f is continuous, or
-
(II)
\((\varXi ,\preceq ,S_{b})\) enjoys the s.l.c. property,
then f has a fixed point.
3 Examples
Example 3.1
Let \(\varXi =\{{0,\frac{1}{2},\frac{1}{3},\frac{1}{5}\}}\) be equipped with the partial order ⪯ given as
Define a metric d on Ξ by
and let \(\widetilde{S}(\zeta ,\eta ,\omega )=\sinh [d(\zeta ,\omega )+d( \eta ,\omega )]\). It is easy to see that \((\varXi ,\widetilde{S})\) is an \(S_{p}\)-complete \(S_{p}\)-metric space. Indeed, in the same way as the usual S-metric is formed in Example 1.5, an S-metric \({S}(\zeta ,\eta ,\omega )=d(\zeta ,\omega )+d(\eta ,\omega )\) is formed, and using the function \(\xi (t)=\sinh t\), as in Proposition 1.8, one obtains the \(S_{p}\)-metric S̃.
Define a self-map f by
We see that f is an increasing mapping w.r.t. ⪯ and \((\varXi ,\preceq ,\widetilde{S})\) enjoys the s.l.c. property. Also, \(0\preceq f0\).
Define \(\theta :[0,\infty )\rightarrow {}[ 1,\infty )\) by \(\theta (t)=\cosh (t)\) and take \(k=\frac{2}{3}\). One can easily check that f is an \(S_{p}\)-rational JS-contractive mapping. Indeed, as a sample, we check some cases as follows:
-
1.
\((\zeta ,\eta ,\omega )=(0,0,\frac{1}{2})\). Then
$$\begin{aligned} \theta \bigl[\varOmega \bigl(2\widetilde{S}(f\zeta ,f\eta ,f\omega )\bigr)\bigr] &= \cosh \biggl[\sinh 2\sinh 2 \biggl(f0+f\frac{1}{2} \biggr) \biggr] \\ &= \cosh \biggl[\sinh 2 \sinh 2 \biggl(0+\frac{1}{5} \biggr) \biggr] \\ &\approx 1.451\leq 1.465\approx \sqrt[3]{\cosh \biggl[\sinh 2 \biggl(0+ \frac{1}{2} \biggr) \biggr]^{2}} \\ &=\sqrt[3]{\theta \bigl(M(\zeta ,\eta )\bigr)^{2}}. \end{aligned}$$ -
2.
\((\zeta ,\eta ,\omega )=(0,\frac{1}{2},\frac{1}{2})\). Then
$$\begin{aligned} \theta \bigl[\varOmega \bigl(2\widetilde{S}(f\zeta ,f\eta ,f\omega )\bigr)\bigr] &= \cosh \biggl[\sinh \sinh 2 \biggl(f0+f\frac{1}{2} \biggr) \biggr] \\ &=\cosh \biggl[\sinh \sinh 2 \biggl(0+\frac{1}{5} \biggr) \biggr] \\ &\approx 1.087 \leq 1.091 \approx \sqrt[3]{\cosh \biggl[\sinh \biggl(0+ \frac{1}{2} \biggr) \biggr]^{2}} \\ &=\sqrt[3]{\theta \bigl(M(\zeta ,\eta )\bigr)^{2}}. \end{aligned}$$ -
3.
\((\zeta ,\eta ,\omega )=(0,0,\frac{1}{3})\). Then
$$\begin{aligned} \theta \bigl[\varOmega \bigl(2\widetilde{S}(f\zeta ,f\eta ,f\omega )\bigr)\bigr] &= \cosh \biggl[\sinh \sinh 2 \biggl(f0+f\frac{1}{3} \biggr) \biggr] \\ &=\cosh \bigl[\sinh \sinh 2(0+0)\bigr] \\ &=0 \leq 1.172\approx \sqrt[3]{\cosh \biggl[\sinh 2 \biggl(0+ \frac{1}{3} \biggr) \biggr]^{2}} \\ &=\sqrt[3]{\theta \bigl(M(\zeta ,\eta )\bigr)^{2}}. \end{aligned}$$ -
4.
\((\zeta ,\eta ,\omega )=(0,\frac{1}{5},\frac{1}{5})\). Then
$$\begin{aligned} \theta \bigl[\varOmega \bigl(2\widetilde{S}(f\zeta ,f\eta ,f\omega )\bigr)\bigr] &= \cosh \biggl[\sinh 2\sinh \biggl(f0+f\frac{1}{5} \biggr) \biggr] \\ &=\cosh \bigl[\sinh \sinh 2(0+0)\bigr] \\ &=0\leq 1.0135\approx \sqrt[3]{\cosh \biggl[\sinh \biggl(0+\frac{1}{5} \biggr) \biggr]^{2}} \\ &=\sqrt[3]{\theta \bigl(M(\zeta ,\eta )\bigr)^{2}}. \end{aligned}$$
The rest of the cases can be checked similarly. Thus, all the conditions of Theorem 2.11 are satisfied and hence f has a fixed point. Indeed, 0 is the fixed point of f.
Example 3.2
Let \(\varXi =[0,1.5]\) be equipped with the \(S_{p}\)-metric
for all \(\zeta ,\eta ,\omega \in \varXi \), where \(\varOmega (t)=e^{t}-1 \) (the mapping S̃ is obtained from the usual S-metric (Example 1.5) using the function \(\xi (t)=e^{t}-1\)). Define a relation ⪯ on Ξ by \(\zeta \preceq \eta \) iff \(\eta \le \zeta \), a mapping \(f:\varXi \rightarrow \varXi \) by
and a function β by \(\beta (t)=\frac{1}{2}<0.882\approx \varOmega ^{-1}(1)\). For all mutually comparable elements \(\zeta ,\eta ,\omega \in \varXi \), we have
So,
Therefore, it follows from Theorem 2.3 that f has a fixed point (which is \(u=0\)).
Example 3.3
Let \(\varXi =[0,3]\) be equipped with the \(S_{p}\)-metric
as in the previous example. Define a relation ⪯ on Ξ by \(\zeta \preceq \eta \) iff \(\eta \le \zeta \), a mapping \(f:\varXi \rightarrow \varXi \) by
and a function ψ by \(\psi (t)=\frac{1}{4}(e^{t}-1)\). For all mutually comparable elements \(\zeta ,\eta ,\omega \in \varXi \), by the mean value theorem, we have
So,
Therefore, from Theorem 2.6, f has a fixed point.
Example 3.4
Let \(\widetilde{S}:\varXi \times \varXi \times \varXi \rightarrow \mathbb{R} ^{+}\) be defined on \(\varXi =[0,20]\) by
for all \(\zeta ,\eta ,\omega \in \varXi \) (the mapping S̃ is obtained from the S-metric
using the function \(\xi (t)=e^{t}-1\)). Then \((\varXi ,\widetilde{S})\) is an \(S_{p}\)-complete \(S_{p}\)-metric space with \(\varOmega (t)=e^{t}-1\). Define \(\theta \in \varTheta \) by \(\theta (t)= e^{te^{t}}\). Let Ξ be endowed with the standard order ≤, and let \(f:\varXi \rightarrow \varXi \) be defined by \(f\zeta =\arctan (\frac{\zeta }{32})\). It is easy to see that f is an ordered increasing and continuous self-map on ζ and \(0\leq f0\). For any mutually comparable \(\zeta ,\eta ,\omega \in \varXi \), we have
So,
Therefore,
Thus, (2.9) is satisfied with \(k =\frac{1}{\sqrt{2}}\). Hence, all the conditions of Theorem 2.11 are satisfied. We see that 0 is the unique fixed point of f.
4 Application
In this section we present an application of Theorem 2.6. This application is inspired by [12].
Let \(\varXi = C(I)\) be the set of all real continuous functions on \(I=[0,T]\). Obviously, this set with the p-metric given by
for all \(\zeta , \eta \in \varXi \) is a p-complete p-metric space with \(\varOmega (t) = \sinh t\) (in the sense of [13]). Then \(\widetilde{S}(\zeta ,\eta ,\omega )=d(\zeta ,\omega )+d(\eta ,\omega )\) is an \(S_{p}\)-metric on Ξ as sinht is super-additive. \((\varXi ,\widetilde{S})\) can also be equipped with the order given by
Moreover, as in [12], it can be proved that \((C(I), \preceq ,\widetilde{S})\) has the s.l.c. property.
Consider the first-order periodic boundary value problem
where \(t \in I\) and \(f:I\times \mathbb{R}\rightarrow \mathbb{R}\) is a continuous function. A lower solution for (4.1) is a function \(\alpha \in C^{1}(I)\) such that
where \(t\in I\). Assume that there exists \(\lambda > 0\) such that, for all \(\zeta , \eta \in \varXi \) and \(t\in I\), we have
We will show that the existence of a lower solution for (4.1) provides the existence of a unique solution of (4.1). Problem (4.1) can be rewritten as
It is well known that this problem is equivalent to the integral equation
where G is the Green’s function given as
Easy calculation gives
Now define an operator \(H : C(I) \rightarrow C(I)\) as
It is easy to see that the mapping H is increasing w.r.t. ⪯. Note that if \(u\in C^{1}(I)\) is a fixed point of H, then u is a solution of (4.1).
Let \(\zeta , \omega \in \varXi \) be comparable. Then we have
Therefore,
So,
where
and \(\psi (t)=\sinh (\sinh (t/4))\). Finally, if there exists a lower solution α of 4.1, the hypotheses of Theorem 2.6 are satisfied. Therefore, there exists a fixed point \(\hat{\zeta } \in C(I)\) of H, which is a solution of the given boundary value problem.
References
Amini-Harandi, A., Emami, H.: A fixed point theorem for contraction type maps in partially ordered metric spaces and application to ordinary differential equations. Nonlinear Anal. TMA 72(5), 2238–2242 (2010)
Czerwik, S.: Contraction mappings in b-metric spaces. Acta Math. Inform. Univ. Ostrav. 1, 5–11 (1993)
Dence, T.P.: A brief look into Lambert W function. Appl. Math. 4, 887–892 (2013)
Ðukić, D., Kadelburg, Z., Radenović, S.: Fixed points of Geraghty-type mappings in various generalized metric spaces. Abstr. Appl. Anal. 2011, Article ID 561245 (2011)
Geraghty, M.: On contractive mappings. Proc. Am. Math. Soc. 40, 604–608 (1973)
Hussain, N., Kutbi, M.A., Salimi, P.: Fixed point theory in α-complete metric spaces with applications. Abstr. Appl. Anal. 2014, Article ID 280817 (2014)
Jaggi, D.S.: Some unique fixed point theorems. Indian J. Pure Appl. Math. 8(2), 223–230 (1977)
Jleli, M., Karapınar, E., Samet, B.: Further generalizations of the Banach contraction principle. J. Inequal. Appl. 2014, 439 (2014)
Latif, A., Kadelburg, Z., Parvaneh, V., Roshan, J.R.: Some fixed point theorems for G-rational Geraghty contractive mappings in ordered generalized b-metric spaces. J. Nonlinear Sci. Appl. 8, 1212–1227 (2015)
Mustafa, Z., Roshan, J.R., Parvaneh, V.: Coupled coincidence point results for \((\psi ,\varphi )\)-weakly contractive mappings in partially ordered \(G_{b}\)-metric spaces. Fixed Point Theory Appl. 2013, 206 (2013)
Nieto, J.J., Rodríguez-López, R.: Contractive mapping theorems in partially ordered sets and applications to ordinary differential equations. Order 22(3), 223–239 (2005)
Nieto, J.J., Rodríguez-López, R.: Existence and uniqueness of fixed point in partially ordered sets and applications to ordinary differential equations. Acta Math. Sin. 23(12), 2205–2212 (2007)
Parvaneh, V.: Fixed points of \((\psi ,\varphi )_{\varOmega }\)-contractive mappings in ordered p-metric spaces (submitted)
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)
Rus, I.A.: Generalized Contractions and Applications. Cluj University Press, Cluj-Napoca (2001)
Sedghi, S., Shobe, N., Aliouche, A.: A generalization of fixed point theorem in S-metric spaces. Mat. Vesn. 64, 258–266 (2012)
Shahkoohi, R.J., Razani, A.: Some fixed point theorems for rational Geraghty contractive mappings in ordered b-metric spaces. J. Inequal. Appl. 2014, 373 (2014)
Souayah, N., Mlaiki, N.: A fixed point theorem in \(S_{b}\)-metric spaces. J. Math. Comput. Sci. 16, 131–139 (2016)
Zabihi, F., Razani, A.: Fixed point theorems for hybrid rational Geraghty contractive mappings in ordered b-metric spaces. J. Appl. Math. 2014, Article ID 929821 (2014)
Acknowledgements
The publication of this article was funded by the Qatar National Library.
Availability of data and materials
Data sharing not applicable to this article as no datasets were generated or analysed during the current study.
Funding
The publication of this article funded by the Qatar National Library.
Author information
Authors and Affiliations
Contributions
All authors contributed equally and significantly in writing this paper. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no conflict of interests.
Additional information
Abbreviations
Not applicable.
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
Cite this article
Mustafa, Z., Shahkoohi, R.J., Parvaneh, V. et al. Ordered \(S_{p}\)-metric spaces and some fixed point theorems for contractive mappings with application to periodic boundary value problems. Fixed Point Theory Appl 2019, 16 (2019). https://doi.org/10.1186/s13663-019-0666-3
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13663-019-0666-3