S-Pata-type contraction: a new approach to ﬁxed-point theory with an application

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 ﬁxed-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 ﬁndings and also apply these results to the ordinary diﬀerential equation to strengthen our conclusions

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][2][3][4][5][6], secondly, by changing the nature of the operators by imposing and reducing some restrictions [7][8][9][10][11].
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.

Preliminaries
Let us recall a few important definitions and preliminaries.In this section, we will use the norm ϑ = d(ϑ, ϑ 0 ) in a metric space (X, d), where ϑ 0 is a fixed element of X.
Theorem 1.3 [14] Let the mapping : X → X adhere to the inequality expressed as follows: for all values of ε ∈ [0, 1] and any elements ϑ, θ ∈ X, then the possesses a unique fixed point ϑ * ∈ X.
Theorem 1.4 [15] Let the mapping : X → X adhere to the inequality expressed as follows: for all values of ε ∈ [0, 1] and any elements ϑ, θ ∈ X, then possesses a fixed point ϑ * ∈ 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 → [0, ∞) that fulfills the subsequent conditions for all elements ϑ, θ , , a ∈ X: (S 1 ) S(ϑ, θ , ) ≥ 0, (S 2 ) S(ϑ, θ , ) = 0 if and only if ϑ = θ = , (S 3 ) S(ϑ, θ , ) ≤ S(ϑ, ϑ, a) + S(θ , θ , a) + S( , , 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(ϑ, ϑ, θ ) = S(θ , θ , ϑ) holds true.Definition 1.7 [6] Consider (X, S) is an S-metric space, (i) A sequence {ϑ n } in X is said to converge to ϑ if and only if S(ϑ n , ϑ n , ϑ) → 0 holds as n → ∞.In other words, for each given ε > 0, we have n 0 ∈ N so that it holds that S(ϑ n , ϑ n , ϑ) < ε for any n ≥ n 0 , and this convergence is denoted by lim n→∞ ϑ n = ϑ.(ii) A sequence ϑ n within the set X is termed a Cauchy sequence if there exists a natural number n 0 ∈ N for any given ε > 0 so that the condition S(ϑ n , ϑ n , ϑ m ) < ε is fulfilled for all n, m ≥ 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.

Results
In the current section, we will take into account fixed constants ≥ 0, α ≥ 1 and β ∈ [0, α], and we consider ψ : [0, 1] → [0, ∞) to be a nondecreasing and continuous function vanishing at 0. In this section, we will make use of the norm defined as ϑ = S(ϑ, ϑ, ϑ 0 ) with ϑ 0 being an arbitrary point in the space (X, S).
Definition 2.1 If (X, S) is an S-metric space.A self-map : X → X is classified as having an S-Pata-type contraction mapping of type-I if the subsequent inequality holds for any ε ∈ [0, 1) along with arbitrary ϑ, θ , ∈ X.
Definition 2.2 If (X, S) is an S-metric space.A self-map : X → X is classified as having an S-Pata-type contraction mapping of type-II if the subsequent inequality holds for any ε ∈ [0, 1) along with arbitrary ϑ, θ ∈ 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
Proof Since {ϑ n } is not Cauchy and lim n→∞ S(ϑ n , ϑ n , ϑ n+1 ) = 0, we have ε > 0 and N 0 ≥ 1 so that for any N > N 0 and m, n > N with n ≤ m, we obtain By selecting the least m ≥ n for which S(ϑ n+1 , ϑ n+1 , ϑ m+1 ) > ε holds, we obtain the conclusion that there exists N > N 0 such that for any n, m > N , Thus, we can construct two subsequences {ϑ n k } and {ϑ m k } of {ϑ 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 in-
equality is satisfied by a self-map : X → X, Proof For any ϑ 0 ∈ X, let us define a {ϑ n } by ϑ 1 = ϑ 0 , ϑ n+1 = ϑ n .There is nothing to prove if n exists in N such that ϑ n+1 = ϑ n .Let us suppose that ϑ n+1 = ϑ n for all n ∈ N .
Taking ε = 0, and ϑ = θ = ϑ n , = ϑ 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 → ∞, hence, we can write the above inequality as where A = 4c 1 and B = 3 are fixed constant.Now, let us suppose that which leads to a contradiction.Hence, {c n } is bounded.
By (1) we have, Taking n → ∞, where Now, let us proceed to establish that {ϑ n } is a Cauchy sequence.For the sake of contradiction, let us assume the opposite that {ϑ n } is not Cauchy.Using Lemma 2.3, we can identify the existence of δ > 0 and two subsequences, namely ϑ n k and ϑ m k , derived from the original sequence ϑ n , such that: This would make it clear that the inequality (1) implies the following statement.It follows that which implies δ = 0, which is a contradiction.Hence, it can be concluded that {ϑ n } is, in fact, a Cauchy sequence.Taking into consideration the completeness property of (X, S), the existence of an element ϑ * in X such that the sequence ϑ n converges to ϑ * can be asserted.Now, for any n ∈ N, it follows that Now, the task remaining is to establish that the fixed point is unique.For the sake of contradiction, let us assume that there are ϑ * and θ * two distinct fixed points for the mapping : This concludes the proof of the fixed point's uniqueness.
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 : X → X is said to have a generalized S-Pata-type contraction mapping of type-I if it satisfies the following inequality for each ε ∈ [0, 1) and ϑ, θ , ∈ X.

Definition 2.8
Let us consider an S-metric space (X, S).A self-map : X → X is said to have a generalized S-Pata-type contraction mapping of type-II if it satisfies the following inequality for each ε ∈ [0, 1) and ϑ, θ ∈ X.
Theorem 2.9 A self-map : X → X is defined on a complete S-metric space (X, S) and holds the subsequent inequality ) and all ϑ, θ , ∈ X.Then, possess a unique fixed point ϑ * and if ϑ n = ϑ n-1 for any ϑ 0 ∈ X then lim n→∞ ϑ n = ϑ * Proof Let us choose a point ϑ 0 from X, and let ϑ n = ϑ n-1 and c n = S(ϑ n , ϑ n , ϑ 0 ) = ϑ n .
In the inequality ( 7) taking ε = 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(ϑ n+1 , ϑ n+1 , ϑ n ) is monotonically decreasing having a bound 0, it follows that there exists δ ≥ 0 such that where, K > 0 and letting n → ∞ we obtain To prove {ϑ n } is a Cauchy sequence, on the contrary let us suppose that {ϑ n } is not a Cauchy sequence.By Lemma 2.3 there exist two subsequences {ϑ n k } and {ϑ m k } of sequence {ϑ n } for any ε > 0, such that Hence, Considering the above limit and letting n → ∞, we obtain which leads to a contradiction.Hence, sequence {ϑ n } is a Cauchy sequence.Taking into account the completeness of X we have ϑ * ∈ X such that ϑ n → ϑ * .Now, we verify that ϑ * is a fixed point for the mapping .We observe that, for all n ∈ N, Letting n → ∞, and taking ε = 0, we have Now, we are left to prove that the fixed point is unique.On the contrary, let us assume two fixed points ϑ * and θ * for , it follows that This illustrates the fixed point's uniqueness.
Example 2.10 Let us consider an S-metric space (X, S), where X = [0, 1] and the metric is defined by Here, is discontinuous at ϑ = 1 2 ; consequently, Theorem 2.4 can not be applied.Further, to apply Theorem 2.9, let us discuss the following cases: ; Therefore, for all ϑ, θ ∈ X and ε ∈ [0, 1], we have which indicates that the map meets all the requirements outlined in Theorem 2.9 when considering α = β = 1, = 4  9 , and ψ(ε) = ε Then, there exists a fixed point for .
Corollary 2.12 If (X, S) is a complete S-metric space and γ is nonnegative number in [0, 1  3 ) and if the self-map : X → X satisfies the subsequent inequality then there exists a fixed point for .

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] × R → 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: Theorem 3.1 The given BVP (9) has at least one solution u * ∈ C([0, 1]) if the subsequent inequality is satisfied for all t ∈ [0, 1] and a, b ∈ R: ) 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 * ∈ 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 ∈ C([0, 1]) such that ξ (u(t), u(t), v(t)) ≥ 0 for all t ∈ [0, 1]: Thus, the criteria outlined in Theorem 2.9 are met for the mapping T, where α = 2, β = 1, = 1  4 , and ψ(ε) = ε 2 3 .Consequently, this indicates that the mapping T possesses a unique fixed point u * ∈ C([0, 1]) that is Tu * = u * .As a result, it can be inferred that u * represents the unique solution to the BVP (9).

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.