Abstract
In this paper, we introduce new types of contraction mappings named S-Pata-type contraction mapping and Generalized S-Pata-type contraction mapping in the framework of S-metric space. Then, we prove some new fixed-point results for S-Pata-type contraction mappings and Generalized S-Pata-type contraction mappings. To support our results, we provide examples to illustrate our findings and also apply these results to the ordinary differential equation to strengthen our conclusions.
Similar content being viewed by others
The study of fixed-point theory stands as one of the most vibrant and evolving research areas in mathematics within the last few decades and it is the most interesting topic for the researchers because of its simplicity, easiness, and applications in different fields. There have been published many results for fixed-point theory and their applications in different areas of mathematics and sciences. Exploring new and intriguing outcomes is achievable by focusing on two primary directions:
The first involves modifying the framework and structural attributes of the space [1–6], secondly, by changing the nature of the operators by imposing and reducing some restrictions [7–11].
Numerous publications discuss the generalization of the fundamental Banach Contraction Principle [12]. Pata introduced a captivating extension of the Banach Contraction Principle in a recent publication [13]. Many other authors followed Pata’s approach and improved many fixed-point results that are present in the literature [14–23].
Neugebauer in [24] proved fixed-point results in the Banach space that is symmetric, and discussed its importance, and several researchers are working on this around the globe. Recalling that symmetry is a mapping on an object X, preserving its underlying structure, Neugebaner [24] utilized this concept to derive various applications of a layered compression–expansion fixed-point theorem. These applications resulted in the derivation of solutions for a second-order difference equation with Dirichlet boundary conditions.
In this paper, we have taken the abstract space as an S-metric space and generalized the concept of Pata’s approach in this space and introduced the concept of S-Pata-type contractions and Generalized S-Pata-type contractions. Then, we apply this notion to prove some results of fixed points in an S-metric space. Sufficient examples are given in support of our results.
1 Preliminaries
Let us recall a few important definitions and preliminaries. In this section, we will use the norm \(\|\vartheta \|=d(\vartheta , \vartheta _{0})\) in a metric space \((X, d)\), where \(\vartheta _{0}\) is a fixed element of X.
In the paper [13], Pata demonstrated an advancement upon the fundamental Banach Contraction Principle as follows:
Theorem 1.1
[13] Assume \((X, d)\) is a metric space that is complete and fixed constants \(\Lambda \geq 0\), \(\alpha \geq 1\), and β that lies in the interval \([0,\alpha ]\). Let us consider a function \(\psi :[0, 1] \rightarrow [0, \infty )\) that is increasing and meets the condition \(\psi (0)=0\). If the mapping \(\Gamma :X \rightarrow X\) fulfills the subsequent inequality for each \(\varepsilon \in [0, 1]\) and all \(\vartheta , \theta \in X\),
then, Γ possesses a unique fixed point \(\vartheta ^{*} \in X\), and the sequence \(\{\Gamma ^{n}\vartheta _{0}\}\) exhibits convergence towards \(\vartheta ^{*}\) for any given initial element \(\vartheta _{0} \in X\).
Further, Chakraborty and Samnta [25], Kadelburg and Radenović [15], Jacob et al. [14] extended the Theorem 1.1 to the case Kannan-type, Chatterjea-type, and Zamfirescu-type contraction mappings, respectively, as follows.
Note
For the following theorems, let \((X, d)\) represent a complete metric space, the fixed constants are \(\Lambda \geq 0\), \(\alpha \geq 1\), and \(\beta \in [0, \alpha ]\) and consider the function \(\psi :[0, 1] \rightarrow [0, \infty )\) is an increasing function, continuous and \(\psi (0)=0\).
Theorem 1.2
[25] Let the mapping \(\Gamma :X \rightarrow X\) adhere to the inequality
for all values of \(\varepsilon \in [0, 1]\) and any elements \(\vartheta , \theta \in X\), then the Γ possesses a unique fixed point \(\vartheta ^{*} \in X\).
Theorem 1.3
[14] Let the mapping \(\Gamma :X \rightarrow X\) adhere to the inequality expressed as follows:
for all values of \(\varepsilon \in [0, 1]\) and any elements \(\vartheta , \theta \in X\), then the Γ possesses a unique fixed point \(\vartheta ^{*} \in X\).
Theorem 1.4
[15] Let the mapping \(\Gamma :X \rightarrow X\) adhere to the inequality expressed as follows:
for all values of \(\varepsilon \in [0, 1]\) and any elements \(\vartheta , \theta \in X\), then Γ possesses a fixed point \(\vartheta ^{*} \in X\) that is unique.
One of the papers in which the authors have already proved the fixed-point theorem using the Pata-type condition is [7].
In 2012, Sedghi and colleagues [6] introduced a novel notion known as the S-metric space. This concept emerges within the broader scope of generalizing and extending the concept of metric spaces, and its definition is presented as follows.
Definition 1.5
[6] Suppose that X is a nonempty set. An S-metric is a function on X defined as \(S : X^{3} \rightarrow [0, \infty )\) that fulfills the subsequent conditions for all elements \(\vartheta , \theta , \varrho , a \in X\):
- (\(\mathscr{S}_{1}\)):
-
\(S(\vartheta , \theta , \varrho ) \geq 0\),
- (\(\mathscr{S}_{2}\)):
-
\(S(\vartheta , \theta , \varrho )=0\) if and only if \(\vartheta = \theta = \varrho \),
- (\(\mathscr{S}_{3}\)):
-
\(S(\vartheta , \theta , \varrho ) \leq S(\vartheta , \vartheta , a) + S( \theta , \theta , a) + S(\varrho , \varrho , a)\).
The pair \((X, S)\) is referred to as an S-metric space.
Lemma 1.6
[6] Within an S-metric space \((X, S)\), the equality \(S(\vartheta , \vartheta , \theta ) = S(\theta , \theta , \vartheta )\) holds true.
Definition 1.7
[6] Consider \((X, S)\) is an S-metric space,
-
(i)
A sequence \(\{\vartheta _{n}\}\) in X is said to converge to ϑ if and only if \(S(\vartheta _{n}, \vartheta _{n}, \vartheta ) \rightarrow 0\) holds as \(n \rightarrow \infty \). In other words, for each given \(\varepsilon > 0\), we have \(n_{0} \in N\) so that it holds that \(S(\vartheta _{n}, \vartheta _{n}, \vartheta ) < \varepsilon \) for any \(n \geq n_{0}\), and this convergence is denoted by \(\lim_{n\rightarrow \infty} \vartheta _{n} = \vartheta \).
-
(ii)
A sequence \({ \vartheta _{n} }\) within the set X is termed a Cauchy sequence if there exists a natural number \(n_{0} \in \mathbb{N}\) for any given \(\varepsilon > 0\) so that the condition \(S(\vartheta _{n}, \vartheta _{n}, \vartheta _{m}) < \varepsilon \) is fulfilled for all \(n, m \geq n_{0}\).
-
(iii)
If any Cauchy sequence within this space converges to a limit within X, then the space \((X, S)\) is considered to be complete.
2 Results
In the current section, we will take into account fixed constants \(\Lambda \geq 0\), \(\alpha \geq 1\) and \(\beta \in [0, \alpha ]\), and we consider \(\psi :[0, 1] \rightarrow [0, \infty )\) to be a nondecreasing and continuous function vanishing at 0. In this section, we will make use of the norm defined as \(\|\vartheta \|=S(\vartheta ,\vartheta ,\vartheta _{0})\) with \(\vartheta _{0}\) being an arbitrary point in the space \((X,S)\).
Definition 2.1
If \((X, S)\) is an S-metric space. A self-map \(\Gamma :X \rightarrow X\) is classified as having an S-Pata-type contraction mapping of type-I if the subsequent inequality
holds for any \(\varepsilon \in [0, 1)\) along with arbitrary \(\vartheta , \theta , \varrho \in X\).
Definition 2.2
If \((X, S)\) is an S-metric space. A self-map \(\Gamma :X \rightarrow X\) is classified as having an S-Pata-type contraction mapping of type-II if the subsequent inequality
holds for any \(\varepsilon \in [0, 1)\) along with arbitrary \(\vartheta , \theta \in X\).
The proof of the following lemmas in metric space can be found in [10]. Here, we extend it to the framework of an S-metric space.
Lemma 2.3
If \((X, S)\) is an S-metric space and the sequence \(\{\vartheta _{n}\}\) is defined on X that is not Cauchy such that \(\lim_{n\rightarrow \infty} S(\vartheta _{n},\vartheta _{n}, \vartheta _{n+1})=0\), then we have two subsequences \(\{\vartheta _{n_{k}}\}\) and \(\{\vartheta _{m_{k}}\}\) of \(\{\vartheta _{n}\}\) for any given \(\varepsilon > 0 \), such that
Proof
Since \(\{\vartheta _{n}\}\) is not Cauchy and \(\lim_{n\rightarrow \infty} S(\vartheta _{n},\vartheta _{n}, \vartheta _{n+1})=0\), we have \(\varepsilon > 0\) and \(N_{0} \geq 1\) so that for any \(N>N_{0}\) and \(m, n > N\) with \(n \leq m\), we obtain
By selecting the least \(m \geq n\) for which \(S(\vartheta _{n+1}, \vartheta _{n+1}, \vartheta _{m+1}) > \varepsilon \) holds, we obtain the conclusion that there exists \(N>N_{0}\) such that for any \(n, m > N\),
Thus, we can construct two subsequences \(\{\vartheta _{n_{k}}\}\) and \(\{\vartheta _{m_{k}}\}\) of \(\{\vartheta _{n}\}\) such that
The triangle inequality along with the above inequalities leads to the following conclusion:
We obtain (3) using the sandwich theorem. In addition, we have
which demonstrates that the second limit in (4) is true. From the following two inequalities,
we will obtain the required limits. □
Theorem 2.4
Let us consider a complete S-metric space \((X, S)\), and if the following inequality is satisfied by a self-map \(\Gamma : X \rightarrow X\),
for any \(\varepsilon \in [0, 1)\) and \(\vartheta , \theta , \varrho \in X\), then Γ possesses a unique point \(\vartheta ^{*} \in X\) such that \(\Gamma \vartheta ^{*} = \vartheta ^{*}\). If \(\vartheta _{0} \in X\) is any point, \(\vartheta _{n} = \Gamma \vartheta _{n-1}= \Gamma ^{n}\vartheta _{0}\) then,
Proof
For any \(\vartheta _{0} \in X\), let us define a \(\{\vartheta _{n}\}\) by \(\vartheta _{1}= \Gamma \vartheta _{0}\), \(\vartheta _{n+1}=\Gamma \vartheta _{n}\). There is nothing to prove if n exists in N such that \(\vartheta _{n+1}=\vartheta _{n}\). Let us suppose that \(\vartheta _{n+1} \neq \Gamma \vartheta _{n}\) for all \(n \in N\). Taking \(\varepsilon = 0\), and \(\vartheta = \theta = \vartheta _{n}\), \(\varrho =\vartheta _{n-1}\), the inequality is obtained as
We will now establish the proof for the boundedness of the sequence \(\{c_{n}\}\):
Let us consider the sequence \(\{c_{n}\}\) is not bounded. There exists a subsequence \(c_{n_{k}} \rightarrow \infty \), hence, we can write the above inequality as
where \(A=4c_{1}\) and \(B = 3\Lambda \) are fixed constant. Now, let us suppose that \(\varepsilon _{k} = \frac{1+A}{c_{n_{k}}}\), then we have
which leads to a contradiction. Hence, \(\{c_{n}\}\) is bounded.
We know that the sequence \(\{S(\vartheta _{n}, \vartheta _{n}, \vartheta _{n-1})\}\) is monotonically decreasing and has a lower bound 0. Let \(S(\vartheta _{n}, \vartheta _{n}, \vartheta _{n-1}) \rightarrow \delta >0\).
By (1) we have,
Taking \(n \rightarrow \infty \), where \(A=\sup \Lambda [1+2c_{n}+c_{n-1}]^{\beta}\).
Now, let us proceed to establish that \(\{\vartheta _{n}\}\) is a Cauchy sequence. For the sake of contradiction, let us assume the opposite that \(\{\vartheta _{n}\}\) is not Cauchy.
Using Lemma 2.3, we can identify the existence of \(\delta > 0\) and two subsequences, namely \(\vartheta _{n_{k}}\) and \(\vartheta _{m_{k}}\), derived from the original sequence \(\vartheta _{n}\), such that:
This would make it clear that the inequality (1) implies the following statement. It follows that
where, \(A= \sup \Lambda [1+2C_{n_{k}-1}+C_{m_{k}-1}]^{\beta}\). Now, as \(k \rightarrow \infty \) we obtain the following inequality
which implies \(\delta = 0\), which is a contradiction. Hence, it can be concluded that \(\{\vartheta _{n}\}\) is, in fact, a Cauchy sequence. Taking into consideration the completeness property of \((X, S)\), the existence of an element \(\vartheta ^{*} \) in X such that the sequence \(\vartheta _{n}\) converges to \(\vartheta ^{*}\) can be asserted.
Now, for any \(n \in \mathbb{N}\), it follows that
taking \(\varepsilon = 0\)
Hence, letting \(n \rightarrow \infty \), \(S(\Gamma \vartheta ^{*}, \Gamma \vartheta ^{*}, \vartheta ^{*})=0\), that is \(\Gamma \vartheta ^{*}=\vartheta ^{*}\).
Now, the task remaining is to establish that the fixed point is unique. For the sake of contradiction, let us assume that there are \(\vartheta ^{*}\) and \(\theta ^{*}\) two distinct fixed points for the mapping Γ:
This concludes the proof of the fixed point’s uniqueness. □
Remark 1
[14] The Bernaulli’s inequality is \((1+pq) \leq (1+q)^{p}\), for \(p \geq 1\) and \(q \in [-1, +\infty )\).
Corollary 2.5
Suppose that \((X, S)\) is a complete S-metric space and that \(\Gamma :X \rightarrow X\) satisfies the following inequality
then there is an unique point ϑ in X, where \(\Gamma \vartheta =\vartheta \).
Proof
We are given that
using Remark 1. Since \(\lambda \in [0,1)\) implies \(\frac{1}{\lambda}\geq 1\).
which is the inequality given in Theorem 2.4 for \(\Lambda =\lambda \), \(\alpha =1\), \(\psi (\varepsilon )=\varepsilon ^{\frac{1-\lambda}{\lambda}}\), and \(\beta =1\). Hence, the Γ possesses a unique fixed point. □
Example 2.6
Consider \(\mathbb{X}=[1,100]\) with an S-metric defined as \(S(\vartheta ,\theta ,\varrho )=|\vartheta -\theta |+|\theta - \varrho |+|\varrho -\vartheta |\), then it can be proved that the space \((\mathbb{X}, S)\) is a complete S-metric space. Let us consider a self-map \(\Gamma :\mathbb{X} \rightarrow \mathbb{X}\) defined as \(\Gamma \vartheta =1-\sqrt{\vartheta}+\vartheta \). Then, for any \(\vartheta , \theta \in \mathbb{X}\), we have
Then, for some fixed \(\vartheta _{0}\in X\) and any \(\vartheta , \theta , \varrho \in X\), we obtain
which is the inequality (1) for all \(\varepsilon \in [0,1]\), \(\Lambda =\frac{19}{20}\), \(\alpha =\beta =1\) and \(\psi (\varepsilon )=\varepsilon ^{\frac{1}{20}}\). By Theorem 2.4, the map Γ has a unique fixed point. It is worth noting that 1 is the only fixed point of the mapping Γ.
Remark 2
The function satisfying the inequality given in equation (1), must be a continuous function.
Definition 2.7
Let us consider an S-metric space \((X, S)\). A self-map \(\Gamma :X \rightarrow X\) is said to have a generalized S-Pata-type contraction mapping of type-I if it satisfies the following inequality
for each \(\varepsilon \in [0, 1)\) and \(\vartheta , \theta , \varrho \in X\).
Definition 2.8
Let us consider an S-metric space \((X, S)\). A self-map \(\Gamma :X \rightarrow X\) is said to have a generalized S-Pata-type contraction mapping of type-II if it satisfies the following inequality
for each \(\varepsilon \in [0, 1)\) and \(\vartheta , \theta \in X\).
Theorem 2.9
A self-map \(\Gamma :X \rightarrow X\) is defined on a complete S-metric space \((X, S)\) and holds the subsequent inequality
for each \(\varepsilon \in [0, 1)\) and all \(\vartheta , \theta , \varrho \in X\). Then, Γ possess a unique fixed point \(\vartheta ^{*}\) and if \(\vartheta _{n} = \Gamma \vartheta _{n-1}\) for any \(\vartheta _{0} \in X\) then \(\lim_{n \rightarrow \infty}\vartheta _{n} = \vartheta ^{*}\)
Proof
Let us choose a point \(\vartheta _{0}\) from X, and let \(\vartheta _{n} = \Gamma \vartheta _{n-1}\) and \(c_{n} = S(\vartheta _{n}, \vartheta _{n}, \vartheta _{0}) = \| \vartheta _{n}\|\). In the inequality (7) taking \(\varepsilon = 0\) and using Lemma 1.6 we have
Now, we will prove that \(c_{n}\) is a bounded sequence:
which proves that \(\{c_{n}\}\) is bounded. Since the sequence \(S(\vartheta _{n+1}, \vartheta _{n+1}, \vartheta _{n})\) is monotonically decreasing having a bound 0, it follows that there exists \(\delta \geq 0\) such that \(S(\vartheta _{n+1}, \vartheta _{n+1}, \vartheta _{n}) \rightarrow \delta \), then
where, \(K > 0\) and letting \(n \rightarrow \infty \) we obtain
To prove \(\{\vartheta _{n}\}\) is a Cauchy sequence, on the contrary let us suppose that \(\{\vartheta _{n}\}\) is not a Cauchy sequence. By Lemma 2.3 there exist two subsequences \(\{\vartheta _{n_{k}}\}\) and \(\{\vartheta _{m_{k}}\}\) of sequence \(\{\vartheta _{n}\}\) for any \(\varepsilon > 0\), such that
Hence,
Considering the above limit and letting \(n \rightarrow \infty \), we obtain
which leads to a contradiction. Hence, sequence \(\{\vartheta _{n}\}\) is a Cauchy sequence. Taking into account the completeness of X we have \(\vartheta ^{*} \in X\) such that \(\vartheta _{n} \rightarrow \vartheta ^{*}\). Now, we verify that \(\vartheta ^{*}\) is a fixed point for the mapping Γ. We observe that, for all \(n \in \mathbb{N}\),
Letting \(n \rightarrow \infty \), and taking \(\varepsilon = 0\), we have
Now, we are left to prove that the fixed point is unique. On the contrary, let us assume two fixed points \(\vartheta ^{*}\) and \(\theta ^{*}\) for Γ, it follows that
This illustrates the fixed point’s uniqueness. □
Example 2.10
Let us consider an S-metric space \((\mathbb{X}, S)\), where \(\mathbb{X}=[0,1]\) and the metric is defined by \(S(\vartheta ,\theta ,\varrho )=|\vartheta -\theta |+|\theta - \varrho |+|\varrho -\vartheta |\). Let us define a self-map on \(\Gamma :\mathbb{X} \rightarrow \mathbb{X}\) by
Here, Γ is discontinuous at \(\vartheta =\frac{1}{2}\); consequently, Theorem 2.4 can not be applied. Further, to apply Theorem 2.9, let us discuss the following cases:
- Case 1.:
-
For \(\vartheta , \theta \in [0, \frac{1}{2})\);
$$\begin{aligned}& S(\vartheta ,\vartheta ,\Gamma \vartheta )+S(\vartheta ,\vartheta , \Gamma \vartheta )+S(\theta ,\theta ,\Gamma \theta )=4 \biggl( \frac{7\vartheta}{8} \biggr)+2 \biggl(\frac{7\theta}{8} \biggr) = \frac{7}{4}[2\vartheta + \theta ], \\& \begin{aligned} S(\Gamma \vartheta ,\Gamma \vartheta ,\Gamma \theta )&=\frac{1}{4} \vert \vartheta -\theta \vert \leq \frac{2}{9}\times \frac{7}{4}[2 \vartheta + \theta ] \\ &\leq \frac{2}{9} \bigl[S(\vartheta ,\vartheta ,\Gamma \vartheta )+S( \vartheta ,\vartheta ,\Gamma \vartheta )+S(\theta ,\theta ,\Gamma \theta ) \bigr]. \end{aligned} \end{aligned}$$ - Case 2.:
-
For \(\vartheta , \theta \in [\frac{1}{2}, 1]\);
$$\begin{aligned}& S(\vartheta ,\vartheta ,\Gamma \vartheta )+S(\vartheta ,\vartheta , \Gamma \vartheta )+S(\theta ,\theta ,\Gamma \theta )=4 \biggl( \frac{9\vartheta}{10} \biggr)+2 \biggl(\frac{9\theta}{10} \biggr)=\frac{9}{5}[2\vartheta + \theta ], \\& \begin{aligned} S(\Gamma \vartheta ,\Gamma \vartheta ,\Gamma \theta )&=\frac{1}{5} \vert \vartheta -\theta \vert \leq \frac{2}{9}\times \frac{9}{5}[2 \vartheta + \theta ] \\ &\leq \frac{2}{9} \bigl[S(\vartheta ,\vartheta ,\Gamma \vartheta )+S( \vartheta ,\vartheta ,\Gamma \vartheta )+S(\theta ,\theta ,\Gamma \theta ) \bigr]. \end{aligned} \end{aligned}$$ - Case 3.:
-
For \(\vartheta \in [0, \frac{1}{2})\), \(\theta \in [\frac{1}{2}, \frac{5}{8})\);
$$\begin{aligned}& \begin{aligned} S(\vartheta ,\vartheta ,\Gamma \vartheta )+S(\vartheta ,\vartheta , \Gamma \vartheta )+S(\theta ,\theta ,\Gamma \theta )&=4 \biggl( \frac{7\vartheta}{8} \biggr)+2 \biggl(\frac{9\theta}{10} \biggr) \\ &\geq 0+\frac{9}{5}\times \frac{1}{2}=\frac{9}{10}, \end{aligned} \\& \begin{aligned} S(\Gamma \vartheta ,\Gamma \vartheta ,\Gamma \theta )&=2 \biggl\vert \frac{\vartheta}{8} \biggr\vert - \frac{\theta}{10}\leq 2\times \frac{1}{16}= \frac{1}{8}\leq \frac{2}{9}\times \frac{9}{10} \\ &\leq \frac{2}{9} \bigl[S(\vartheta ,\vartheta ,\Gamma \vartheta )+S( \vartheta ,\vartheta ,\Gamma \vartheta )+S(\theta ,\theta ,\Gamma \theta ) \bigr]. \end{aligned} \end{aligned}$$ - Case 4.:
-
For \(\vartheta \in [0, \frac{1}{2})\), \(\theta \in [\frac{5}{8}, 1]\);
$$\begin{aligned}& \begin{aligned} S(\vartheta ,\vartheta ,\Gamma \vartheta )+S(\vartheta ,\vartheta , \Gamma \vartheta )+S(\theta ,\theta ,\Gamma \theta )&=4 \biggl( \frac{7\vartheta}{8} \biggr)+2 \biggl(\frac{9\theta}{10} \biggr) \\ &\geq 0+\frac{9}{5}\times \frac{5}{8}=\frac{9}{8}, \end{aligned} \\& \begin{aligned} S(\Gamma \vartheta ,\Gamma \vartheta ,\Gamma \theta )&=2 \biggl\vert \frac{\vartheta}{8}- \frac{\theta}{10} \biggr\vert \leq 2\times \frac{1}{10}= \frac{2}{9} \times \frac{9}{8} \\ &\leq \frac{2}{9} \bigl[S(\vartheta ,\vartheta ,\Gamma \vartheta )+S( \vartheta ,\vartheta ,\Gamma \vartheta )+S(\theta ,\theta ,\Gamma \theta ) \bigr]. \end{aligned} \end{aligned}$$
Therefore, for all \(\vartheta ,\theta \in \mathbb{X}\) and \(\varepsilon \in [0,1]\), we have
which indicates that the map Γ meets all the requirements outlined in Theorem 2.9 when considering \(\alpha = \beta = 1\), \(\Lambda =\frac{4}{9}\), and \(\psi (\varepsilon )=\varepsilon ^{\frac{1}{2}}\). Consequently, it possesses a unique fixed point.
Corollary 2.11
If \((X, S)\) is a complete S-metric space. If for any nonnegative numbers \(\alpha ,\gamma , \delta \in [0, 1)\), the self-map \(\Gamma :X \rightarrow X\) satisfies the following inequality:
Then, there exists a fixed point for Γ.
Proof
Let us suppose that \(\lambda = \max \{\phi , \gamma , \delta \}\). Using Remark 1, we can write the above inequality as
which is the inequality given in Theorem 2.9 for \(\Lambda =\frac{2\lambda}{3}\), \(\alpha =1\), \(\psi (\varepsilon )=\varepsilon ^{\frac{1-\lambda}{\lambda}}\), and \(\beta =1\). Hence, the map Γ has a unique fixed point. □
Corollary 2.12
If \((X, S)\) is a complete S-metric space and γ is a nonnegative number in \([0, \frac{1}{3})\) and if the self-map \(\Gamma :X \rightarrow X\) satisfies the subsequent inequality
then there exists a fixed point for Γ.
Proof
Let us consider \(\lambda =3\gamma \). Since \(\gamma \in [0, \frac{1}{3})\) implies that \(\lambda \in [0, 1)\), and the above inequality (8) can be written as
Now, the rest of the proof is followed by Corollary 2.11. □
3 Application to ordinary differential equations
The objective of this section is to determine the presence of a solution for the boundary value problems by utilizing the outcomes established in the preceding section.
We examine the subsequent BVP concerning a second-order differential equation:
where \(f:[0,1] \times \mathbb{R} \rightarrow \mathbb{R}\) represents a continuous function.
The corresponding Green function to equation (9) is
The integral equation associated with the boundary value problem (9) can be formulated as:
Let us suppose a set \(C([0, 1])\), which comprises every continuous function defined on the interval \([0, 1]\). It is a commonly recognized fact that the set \(C([0, 1])\) with the metric defined as follows:
is a complete S-metric space. Let us consider a self-map \(T: C([0,1]) \rightarrow C([0,1])\) defined by
Theorem 3.1
The given BVP (9) has at least one solution \(u^{*} \in C([0,1])\) if the subsequent inequality is satisfied for all \(t \in [0,1]\) and \(a, b \in \mathbb{R}\):
where \(T:C([0,1]) \rightarrow C([0,1])\) is a function defined in (11).
Proof
The equivalence between a solution of equation (9) and a solution of the integral equation (10) is a well-established fact. In other words, solving problem (9) is essentially the same as finding a function \(u^{*} \in C([0,1])\) that satisfies \(Tu^{*} = u^{*}\), where T is defined in equation (11). This means that the problem (9) is effectively reduced to identifying a fixed point of the operator T in the function space \(C([0,1])\).
Now, let \(u, v \in C([0,1])\) such that \(\xi (u(t),u(t),v(t)) \geq 0\) for all \(t \in [0,1]\):
Note that for all \(t \in [0,1]\), \(\int _{0}^{1}G(t, s)\,ds = -\frac{t^{2}}{2}+\frac{t}{2}\), which implies \(\sup_{t \in [0,1]}\int _{0}^{1}G(t, s)\,ds =\frac{1}{8}\):
Thus, the criteria outlined in Theorem 2.9 are met for the mapping T, where \(\alpha =2\), \(\beta =1\), \(\Lambda =\frac{1}{4}\), and \(\psi (\varepsilon )=\varepsilon ^{\frac{2}{3}}\). Consequently, this indicates that the mapping T possesses a unique fixed point \(u^{*} \in C([0,1])\) that is \(Tu^{*} = u^{*}\). As a result, it can be inferred that \(u^{*}\) represents the unique solution to the BVP (9). □
4 Conclusions
In conclusion, following Pata-type contraction we defined new types of contraction mappings and studied fixed-point results within the framework of S-metric spaces for these mappings. These new ideas of contractions generalized for the self-mappings generalize a large number of results present in the literature related the existence and uniqueness of fixed points in S-metric space. We demonstrated that the self-operators, on a complete metric space, that fulfill this contraction need to have only one fixed point. Also, we proved the Banach contraction theorem in S-metric space as a corollary of our obtained results. Additionally, we present examples that explain the obtained results, and an application to the ordinary differential equation demonstrates how significant they are in the literature.
Data availability
No datasets were generated or analysed during the current study.
References
Chand, D., Rohen, Y.: Fixed points of \((\alpha _{s} - \beta _{s} - \psi )\)-contractive mappings in S-metric space. Nonlinear Funct. Anal. Appl. 28, 571–587 (2023)
Gangwar, A., Rawat, S., Dimri, R.C.: Solution of differential inclusion problem in controlled S-metric spaces via new multivalued fixed point theorem. J. Anal. 31(4), 2459–2472 (2023)
Khomdram, B., Rohen, Y.: Some common coupled fixed point theorems in S b-metric spaces. Fasc. Math. (2018)
Priyobarta, N., Rohen, Y., Thounaojam, S., Radenovic, S.: Some remarks on α-admissibility in S-metric spaces. J. Inequal. Appl. 2022(1), 34 (2022)
Priyobarta, N., Rohen, Y., Mlaiki, N.: Complex valued \(S_{b}\)-metric spaces. J. Math. Anal. 8(3), 13–24 (2017)
Sedghi, S., Shobe, N., Aliouche, A.: A generalization of fixed point theorems in S-metric spaces. Mat. Vesn. 64(249), 258–266 (2012)
Saleem, N., Abbas, M., Bin-Mohsin, B., Radenovic, S.: Pata type best proximity point results in metric spaces. Miskolc Math. Notes 21(1), 367–386 (2020)
Saleem, N., Vujakovic̀, J., Baloch, W.U., Radenović, S.: Coincidence point results for multivalued Suzuki type mappings using θ-contraction in b-metric spaces. Mathematics 7(11), 1017 (2019)
Saleem, N., Raazzia, M.T., Hussain, N., Asiri, A.: Geraghty–Pata–Suzuki-type proximal contractions and related coincidence best proximity point results. Symmetry 15(8), 1572 (2023)
Alghamdi, M.A., Gulyaz-Ozyurt, S., Fulga, A.: Fixed points of Proinov E-contractions. Symmetry 13(6), 962 (2021)
Nazam, M.U., Ameer, E.S., Mursaleen, M.O., Acar, O.: Nonlinear inequalities and related fixed-point problems. J. Math. Inequal. 15(3), 941–967 (2021)
Banach, S.: Sur les oṕerations dans les ensembles abstraits et leurs applications aux équations intégrales. Fundam. Math. 3, 133–181 (1922)
Pata, V.: A fixed point theorem in metric spaces. J. Fixed Point Theory Appl. 10(2), 299–305 (2011)
Jacob, G.K., Khan, M.S., Park, C., Yun, S.: On generalized Pata type contractions. Mathematics 6(2), 25 (2018)
Kadelburg, Z., Radenović, S.: Fixed point theorems under Pata-type conditions in metric spaces. J. Egypt. Math. Soc. 24(1), 77–82 (2016)
Kadelburg, Z., Radenović, S.: Fixed point and tripled fixed point theorems under Pata-type conditions in ordered metric spaces. Int. J. Anal. Appl. 6(1), 113–122 (2014)
Kadelburg, Z., Radenović, S.: Fixed point theorems for Pata-type maps in metric spaces. J. Egypt. Math. Soc. 24(1), 77–82 (2016)
Balasubramanian, S.: A Pata-type fixed point theorem. Math. Sci. 8, 65–69 (2014)
Eshaghi, M., Mohseni, S., Delavar, M.R., De La Sen, M., Kim, G.H., Arian, A.: Pata contractions and coupled type fixed points. Fixed Point Theory Appl. 2014(1), 130 (2014)
Paknazar, M., Eshaghi, M., Cho, Y.J., Vaezpour, S.M.: A Pata-type fixed point theorem in modular spaces with application. Fixed Point Theory Appl. 2013(1), 239 (2013)
Roy, S., Chakraborty, P., Ghosh, S., Saha, P., Choudhury, B.S.: Investigation of a fixed point problem for Pata-type contractions with respect to w-distance. J. Anal. 32(1), 125–136 (2024)
Aktay, M., Özdemir, M.: On Pata convex-type contractive mappings. J. Funct. Spaces 2022, Article ID 6963446 (2022)
Aktay, M., Özdemir, M.: On \((\alpha , \varphi )\)-weak Pata contractions. Manas J. Eng. 10(2), 228–240 (2022)
Neugebbauer, J.T.: The role of symmetry and concavity in the existence of solutions of a difference equation with Dirichlet boundary conditions. Int. J. Difference Equ. 15, 483–491 (2020)
Chakraborty, M., Samanta, S.K.: A fixed point theorem for Kannan-type maps in metric spaces (2012). arXiv:1211.7331
Acknowledgements
The first author received financial assistance from the University Grants Commission (UGC) India, under a Senior Research Fellowship (SRF) award.
This work was supported by the Deanship of Scientific Research, Vice Presidency for Graduate Studies and Scientific Research, King Faisal University, Saudi Arabia [Grant No.6186].
Funding
Not applicable.
Author information
Authors and Affiliations
Contributions
Conceptualization, D.C., N.S. and Y.R.; methodology, D.C., A.R.; validation, D.C., Y.R., N.S. and M.A.; formal analysis, N.S., A.R. and M.A.; writing—original draft preparation, D.C.; writing—review and editing, D.C., Y.R. and N.S.; All authors have read and agreed to the published version of the manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare 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/.
About this article
Cite this article
Chand, D., Rohen, Y., Saleem, N. et al. S-Pata-type contraction: a new approach to fixed-point theory with an application. J Inequal Appl 2024, 59 (2024). https://doi.org/10.1186/s13660-024-03136-y
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-024-03136-y