Fixed Point Results for Compatible Mappings in Extended Parametric S b -Metric Spaces

: This study aims to establish common fixed point theorems for a pair of compatible self-mappings within the framework of extended parametric S b -metric spaces. To support our assertions, we provide corollaries and examples accompanied with graphical representations. Moreover, we leverage our principal outcome to guarantee the existence of a common solution to a system of integral equations.


Introduction
Fixed point theory, a captivating area of study, is useful across many areas of research, most especially in engineering and sciences.With its wide range of applications, mathematical analysis depends heavily on this popular and very effective method for problem solving.
Maurice Fréchet [1], in his seminal work, introduced the concept of a metric space as a generalization of the traditional notion of distance.In the literature, through a variety of methodologies and alterations to the underlying axioms, the idea of metrics has been broadened and diversified.Out of the many generalizations, only a few are genuine, such as the semi-metric (proposed by Wilson [2]), quasi-metric (proposed in [3]), b-metric (proposed in [4,5]), dislocated quasi-metric (dq-metric) (proposed in [6]), S-metric (proposed by Sedghi et al. [7] through alterations to the symmetry property), parametric (proposed by Hussain et al. [8]), parametric S-metric (proposed by Taş and Özgür [9]), S b -metric (proposed by Souayah and Mlaiki [10] and modified by Rohen et al. [11] in 2017), extended S b -metric [12], generalized dq-metric (proposed in [13]), and parametric S b -metric spaces (proposed by Taş and Özgür [14]).Recently, Mani et al. [15] introduced the notion of an extended parametric S b -metric space and derived some well-known classical fixed point theorems along with its topological property.Numerous scholars have thoroughly investigated these spaces and derived several kinds of results on the existence of fixed points; a few of them are [16][17][18][19].
In 1976, Jungck [20] proved a fixed point result for a pair of maps (assuming that one of them must be continuous) by generalizing the Banach contraction principle.A considerable amount of study has been focused on the analysis of common fixed points of mappings that satisfy certain contractive conditions.Some authors have demonstrated the existence of a fixed point for a map that may exhibit a discontinuity in its domain.Nevertheless, the maps in consideration were continuous at the fixed point.Recent years have seen numerous authors using similar ideas to obtain coincidence point results for different kinds of mappings on metric spaces.We refer the reader to see [21][22][23][24].
Prior to discussing the primary findings of this research, it is necessary to provide several essential theories that include crucial definitions, illustrative instances, and supporting lemmas, all of which will significantly contribute to the proof of our main theorems.
The pair (X, S) is called an S-metric space.
Definition 2 ([11]).A function S b : X 3 → [0, ∞) is said to be S b -metric on a nonempty set X, with b ≥ 1, if it satisfies the following axioms for each ν, ρ, µ, τ ∈ X: The pair (X, S b ) is said to be an S b -metric space.
The subsequent definition was given by Mani et al. [25].
for each ν, ρ, µ ∈ X and for all λ > 0.Then, (X, S N ) is an extended parametric S b -metric space.

Remark 1.
It is important to mention here that a parametric S-metric space is a generalization of an S-metric space that introduces a parameter to the distance function.This parameter modifies the way distances are measured between points in the space.Some more examples of parametric S-metric and parametric S b -metric spaces can be found in [8,9,14,25].

Remark 2.
It is also worth it to note that every extended parametric S b -metric space, in general, is not a parametric S-metric space.Indeed, let us consider the following functions for each λ ∈ (0, ∞) and N(ν, ρ, µ) = 1 + |ν| for all ν ≥ 3: This is not a parametric S-metric space.
Definition 4 ([25]).Suppose (X, S N ) is an extended parametric S b -metric space.The pair (X, S N ) is said to be a symmetric extended parametric S b -metric space, if for all ν, ρ ∈ X, where λ ∈ (0, ∞) is a parameter, it satisfies the following condition: Definition 5 ([25]).A sequence <ν n > in an extended parametric S b -metric space (X, S N ) is said to be the following: 1.
Convergent if it converges to ν if and only if S N (ν n , ν n , ν, λ) < ϵ for all n ≥ n 0 and for all λ > 0.

Definition 6 ([25]
).The space "(X, S N ) is called complete if every Cauchy sequence is convergent in X".
) is said to be continuous at a point ν ∈ X, where (X, S N ) and (X ′ , S ′ N ) are two extended parametric S b -metric spaces, if for every sequence {ν n } in X and for all λ > 0, S N (ν n , ν n , ν, λ) → 0 Remark 3. A function T is said to be continuous at X if and only if it is continuous for all ν ∈ X.
Definition 8. Let (X, S N ) be an extended parametric S b -metric space.A pair of self-mappings {T , U } is said to be compatible if and only if for some ν ∈ X and for all λ > 0.
This study aims to establish the existence and uniqueness of a common fixed point by presenting two theorems in complete symmetric extended parametric S b -metric spaces.In later sections, we provide some examples along with graphical representations, several corollaries, and an application to discuss the existence of a common solution to a system of integral equations and substantiate the main findings.The results obtained not only generalize but also expand some well-known results from the existing literature on symmetric extended parametric S b -metric spaces.

Common Fixed Point Theorems for Pair of Self Maps
This section aims to provide a collection of significant lemmas that are valuable in the endeavor of demonstrating our fundamental theorems.Lemma 1.Let (X, S N ) be a symmetric extended parametric S b -metric space.Suppose there exist two sequences {ν n } and {ρ n } such that for all λ > 0, If the sequence {ν n } ∈ X exists such that lim n→∞ ν n = ν for some ν ∈ X, then lim n→∞ ρ n = ν.
To prove this, we show that Suppose that on the contrary, In taking the lim sup as n → ∞ in the above inequality and making use of Equations ( 1) and (2), we have Hence, lim n→∞ ρ n = ν.Lemma 2. Let (X, S N ) be an extended parametric S b -metric space and suppose that there exists a sequence {ρ n } ∈ X such that for all λ > 0, it satisfies If for any ν 0 ∈ X, where 0 < θ < 1, then {ρ n } is a Cauchy sequence in an extended parametric S b -metric space.
Proof.Using iterations on Equation (3), we obtain For all m, n ∈ N with m > n and λ > 0, in using condition S N -2 from Definition 3 and applying Equation (4), we obtain Consequently, we obtain Suppose we have a series and its partial sum In applying the ratio test and using Equation ( 4), the series Hence, from Equation ( 6), for m > n, we have Let us begin with our first result.
Theorem 1. Suppose that T , U , W, and V are self-maps defined on a complete symmetric extended parametric S b -metric space (X, S N ), with T (X) ⊆ V (X) and U (X) ⊆ W (X) such that for each ν, ρ, µ ∈ X and for all λ > 0 with 0 < k < θ < 1, the following is satisfied: where Further, assume that for any ν 0 ∈ X, Moreover, let the pairs {T , W } and {U , V } be compatible.Then, T , U , W, and V have a unique common fixed point in X provided that W and V are continuous.
Let us assume that ν 2n+1 ̸ = ν 2n+2 .Therefore, we can choose a sequence {ρ n } ∈ X such that for all n ≥ 0, Let us substitute ν = ν 2n , ρ = ν 2n , and µ = ν 2n+1 in Equation (7).We obtain where In using Equation (8) and the fact that k < θ, we have Here, two possibilities arise: Suppose Choice 1 is true; then, from Equations ( 9) and (10), we arrive at a contradiction.Thus, Choice 2 must be true.Hence, from Equation ( 9), we have Again, upon substituting ν = ν 2n , ρ = ν 2n , and µ = ν 2n−1 , in Equation ( 7), we obtain where By following an argument similar to that above, we can obtain From Equations ( 11) and ( 27), we obtain Consequently, for n ≥ 2, it follows that Reiterating the process n times, we obtain Lemma 2 guarantees that the sequence {ρ n } is a Cauchy sequence.Since X is a complete extended parametric S b -metric space, there exists some ρ ∈ X such that The continuity property of W provides that The compatibility property on (T , W ) and Lemma 1 provide that Further, from Equation ( 7) and upon substituting ν = ρ = W ν 2n and µ = ν 2n+1 , we obtain where Now, by taking the upper limit as n → ∞ in Equations ( 17) and ( 18), we obtain Since the pair (U , V ) is compatible, in using Lemma (1), we obtain Upon substituting ν = ρ = ν 2n and µ = V ν 2n+1 in Equation ( 7), we obtain where By taking the upper limit as n → ∞ in Equations ( 19) and (20), we obtain Once again, from Equation (7), where And by taking the upper limit as n → ∞ in (11) and making use of Since 0 < θ < 1, it follows that S(T ρ, T ρ, ρ, λ) = 0 and T ρ = ρ.
Similarly, using the same argument, from Equation ( 7), we can deduce that which implies that S N (ρ, ρ, U ρ, λ) = 0 and U ρ = ρ.Thus, we proved that If there exists another common fixed point ν in X of all T , U , W, and V, then where which implies that S N (ν, ν, ρ, λ) = 0 and ν = ρ.Thus, ρ is a unique common fixed point of T , U , W, and V.
Remark 4. If we eliminate the variable k from Theorem 1, then the certainty of the existence of a fixed point is doubtful.
In the following result, we used an auxiliary function ϕ, described below, to establish a common fixed point theorem in a symmetric complete extended parametric S b -metric space.Definition 9. Let Φ denote the class of all functions ϕ : [0, ∞) → [0, ∞), which is increasing and continuous, such that for each fixed t > 0, Theorem 2. Suppose (X, S N ) is an extended parametric S b -metric space, which is symmetric and complete.Let T , U , V, W : X → X be four self-mappings such that the following conditions are satisfied: V and W are continuous; 3.
Proof.Let ν 0 ∈ X be arbitrary point in X.We can construct a sequence {ρ n } in X as follows: Then, using Equation ( 22), we have where Here, two possibilities arise: Suppose Choice 1 is true; then, from Equations ( 23) and (24), we arrive at a contradiction.Thus, Choice 2 must be true.Hence, from Equation ( 23), we have Further, where Using similar arguments as above, we have In combining ( 25) and ( 26), we have More precisely, for all n ≥ 2, we have For all m > n (from Definition 3), we have Suppose that W u ̸ = u.Then, condition (22) gives that where Taking the upper limit as n → ∞ in (27), we obtain Using ϕ ∈ Φ, we obtain that W u = u, i.e., u is a fixed point of W.
Similarly, the continuity of V and compatibility of the pair (U , V ) imply that Therefore, using Lemma (1), we have lim n→∞ U V ν 2n+1 = V u.Further, assume that V u ̸ = u.Therefore, by condition (22), we obtain where Taking the upper limit as n → ∞ in (29), we obtain This is possible only if V u = u.Thus, so far, we have W u = V u = u.Again, upon considering condition (22), we have where Taking the upper limit as n → ∞ in (31), we obtain If T u ̸ = u, then in based on the property of ϕ, we obtain a contradiction.This gives that T u = u.
One more time, condition (22) gives that where If U u ̸ = u, then upon combining the above two inequalities, we have U u = u.Thus, we have deduced that W u = V u = T u = U u = u; that is, u is a common fixed point of the maps T , U , V, and W.
To guarantee the uniqueness, suppose that p is another common fixed point of T , U , V, and W; that is, where Thus, we obtain that which is a contradiction.Hence, u = p.Therefore, u is the one and only fixed point of T , U , V, and W.

Corollaries and Numerical Illustrations
In this part, we discuss the consequential outcomes of our primary findings and provide only a few instances with graphical representations that highlight the soundness of our findings.
In letting V = W in Theorem 1, we have the following result.
Corollary 1. Suppose that T , U , and W are self-maps defined on a complete symmetric extended parametric S b -metric space (X, S N ), with T (X) ⊆ W (X) and U (X) ⊆ W (X), such that for each ν, ρ, µ ∈ X and for all λ > 0 with 0 < k < θ < 1, the following is satisfied: Further, assume that for any ν 0 ∈ X, Moreover, if the pairs {T , W } and {U , W } are compatible, then the maps T , U , and W have a unique common fixed point in X provided that W is continuous.
If we set U = T in Corollary 1, we have the following important result as an extension and generalization of the result of Jungck [20].
Corollary 2. Suppose that T and W are self-maps defined on a complete symmetric extended parametric S b -metric space (X, S N ), with T (X) ⊆ W (X), such that for each ν, ρ, µ ∈ X and for all λ > 0 with 0 < k < θ < 1, the following is satisfied: Further, assume that for any ν 0 ∈ X, Moreover, if the pair {T , W } is compatible and is continuous, then the maps T and W have a unique common fixed point in X.
Corollary 3. Suppose that T , U , and W are self-maps defined on a complete symmetric extended parametric S b -metric space (X, S N ), with T (X) ⊆ W (X) and U (X) ⊆ W (X).For all ν, ρ, µ ∈ X and for all λ > 0, there exists a function ϕ ∈ Φ such that Further, assume that there exists 0 < θ < 1 such that for every ν ∈ X, we have Moreover, if the pairs {T , W } and {U , W } are compatible, then the maps T , U , and W have a unique common fixed point in X provided that W is continuous.
Proof.If we take V = W, then from Theorem 2, it follows that T , U , and W have a unique common fixed point.Corollary 4. Suppose that T and W are self-maps defined on a complete symmetric extended parametric S b -metric space (X, S N ), with T (X) ⊆ W (X).For all ν, ρ, µ ∈ X and for all λ > 0, there exists a function ϕ ∈ Φ such that Further, assume that there exists 0 < θ < 1 such that for every ν ∈ X, we have Moreover, if the pair {T , W } is compatible and W is continuous, then the maps T and W have a unique common fixed point in X.
Proof.By letting U = T and V = W in Theorem 2, we obtain the result.Corollary 5. Suppose (X, S N ) is an extended parametric S b -metric space, which is symmetric and complete.Let T , U , V, W : X → X be four self-mappings such that it satisfies the following conditions: 1.
V and W are continuous; 3.
For all ν, ρ, µ ∈ X and for all λ > 0, suppose that Further, assume that there exists 0 < θ < 1 such that for every ν ∈ X, we have Then, the maps T , U , V, and W have a unique common fixed point.
Proof.By letting ϕ(t) = t in Theorem 2, we obtain the result.
Remark 5. Note the following: 1. Corollary 2 is an extension of the result of Jungck [20] in an EPS b -metric space.

2.
Corollary 4 is an extension of the result of Saluja [26] in an EPS b -metric space.

3.
Corollary 5 is an extension of the result of Sedghi et al. [27] in an EPS b -metric space.
where each λ ∈ (0, ∞) is a parameter, and ν, ρ, µ ∈ X.Then, S N is an EPSb space.Define self-maps T , U , V, and W on X by Obviously, T (X) ⊆ W (X) and U (X) ⊆ V (X).Furthermore, the pairs {T , V } and {U , W } are compatible mappings.
Thus, all the necessities of Theorem 1 have been accomplished.Also, the behavior of inequality (7) of Example 3 is shown graphically in Figure 1.The number 0 is the only fixed point that is common to the mappings T , U , V, and W.
where each λ ∈ (0, ∞) is a parameter, and ν, ρ, µ ∈ X.Then, S N is an EPSb space.Define self-maps T , U , V, and W on X by Obviously, T (X) ⊆ W (X) and U (X) ⊆ V (X).Furthermore, the pairs {T , V } and {U , W } are compatible mappings.
Thus, all the necessities of Theorem 1 have been accomplished.Also, the behavior of inequality (7) of Example 4 is shown graphically in Figure 2. The number 0 is the only fixed point that is common to the mappings T , U , V, and W. where each λ ∈ (0, ∞) is a parameter, and ν, ρ, µ ∈ X.Then, S N is an EPSb space.Using the Cauchy-Schwartz inequality, we obtain S N (ϕ 1 (λ), ϕ 1 (λ), ϕ 2 (λ), λ).
For every E, 0 < E < 2, E 2 4 < 1, and hence, all the conditions of Corollary 2 are satisfied, and therefore, there exist a ϕ 1 in C[0, E] that is a common fixed point of maps T and U .That is, ϕ 1 is a common solution of the integral in Equation (36).

Conclusions
This study presented a more comprehensive version of the conventional fixed point problems within the context of symmetric extended parametric S b -metric spaces.The discussion aimed to establish common fixed point theorems for two pairs of compatible self-maps.This paper includes two theorems and a few examples.These examples highlight the relevance and practicality of our findings.We have also shown that in the case when all functions are real-valued and continuous, specified on a closed and bounded interval [0, E], with the condition E 2 4 < 1, the system of linear integral equations has a unique common solution.