Fixed Point Theory in Extended Parametric S b -Metric Spaces and Its Applications

: This article introduces the novel concept of an extended parametric S b -metric space, which is a generalization of both S b -metric spaces and parametric S b -metric spaces. Within this extended framework, we ﬁrst establish an analog version of the Banach ﬁxed-point theorem for self-maps. We then prove an improved version of the Banach contraction principle for symmetric extended parametric S b -metric spaces, using an auxiliary function to establish the desired result. Finally, we provide illustrative examples and an application for determining solutions to Fredholm integral equations, demonstrating the practical implications of our work.


Introduction
The study of the metric fixed point theory is only a little over a century old, but its applicability is relevant in all the branches of science and engineering.Within the context of an axiomatic framework, it is justifiable to attribute the genesis of the notion of distance to Euclid, and conceivably even to a period preceding him.Frechet [1] proposed the introduction of systematic and standardized measures for distance in the realm of abstract mathematics.The concept of metric space has been employed not only in the field of mathematics but also in the qualitative sciences.For example, one notable generalization of metrics, known as partial metrics, was introduced by Matthews [2] to address specific challenges in the field of domain theory in computer science.In addition to these abstract formulations, the concept of metrics has been expanded and diversified through numerous diverse approaches.Among the various concepts, it is important to draw attention to some of the generalizations that are widely recognized and particularly captivating (refer to [3][4][5][6][7][8][9]).
One of the earliest generalizations is the quasi-metric one, which is produced by eliminating the standard metric's symmetry property.Another notion that was presented early on is the concept of semi-metric (proposed by [10]).This type of metric satisfies only the properties of self-distance and symmetry, which are characteristic of the Euclidean metric.
An alternative formulation of the metric concept was derived by substituting the triangle inequality with a modified version.The concept under consideration is referred to as quasi-metric in certain references [11], and as a b-metric in other references [12,13].
Definition 1 ([13]).Let W be a nonempty set, define a real-valued function ρ : W × W → [0, ∞) such that for a given b (real number) ≥ 1, it satisfies the following conditions: I.
Then, ρ is said to be b-metric and the pair (W, ρ) is said to be b-metric space.
It is imperative to note that, in a broad context, the b-metric does not exhibit continuity.Moreover, it is important to note that not every b-metric space may be considered a metric space.In an alternative scenario, assuming the value of b to be equal to 1, one can see that every b-metric space would therefore be considered as metric space.
Branciari [14] proposes a novel approach by altering the triangular inequality in metric spaces to a quadrilateral inequality.

Definition 2 ([14]
).Let W be a non-empty set, define a real-valued function ρ : W × W → [0, ∞) such that for all g, e ∈ W and all distinct h, σ ∈ W, where h and σ are different from g and e, which satisfies I.

Remark 1.
In general, a Branciari distance may not be continuous.The topologies of Branciari distance space and metric space are incompatible.Furthermore, every metric is a Branciari distance but the converse does not need to be true.
1 if g = e and either g, e ∈ U or g, e = V, e if g ∈ U and e ∈ V, g if g ∈ V and e ∈ U.
Then, ρ is a Branciari distance on W but not a metric.
In the last three decades, another emerging technique in the field of metric extension involves the utilization of the geometric properties of three points, as opposed to the conventional approach which relies on only two points, such as The idea of D-metric [15] and G-metric [16] are the most famous examples of this trend.All the authors have derived the analogue version of the most celebrated result in the history of fixed point theory, precisely known as Banach contraction principle (BCP) [17] in such spaces (see [18][19][20]).This theory only began to emerge as a distinct field in the late 19th century and early 20th century, when important developments took place, and several new metrics were introduced.Some of them are new, and a few are the generalization of the existence of previous spaces.
Sedghi et al. [21] introduced a new type of generalized metric space, by relaxing the symmetry property, known as S-metric space.
Example 2. Let W = R n and .be a norm on W; then, S(g, e, h) = e + h − 2g + e − h is an S-metric space.
Sedghi and Dung [22] made the observation that every S-metric space can be considered topologically equal to a metric space.Several researchers have studied the Smetric space as well as developed a number of results pertaining the presence of fixed points [23][24][25].
On taking motivation from the research conducted by Bakhtin [12] and Sedghi et al. [21], Souayah and Mlaiki [26] initially proposed the notion of an S b -metric space.Subsequently, Rohen et al. [27] made modifications to the definition of S b -metric spaces as follows: Definition 4 ( [27]).Let W be a non-empty set and b be a real number ≥ 1.A function S b : W 3 → [0, ∞) be such that for all g, e, h, t ∈ W, it satisfies the following conditions: Then, S b is said to be S b -metric on W and the pair (W, S b ) is said to be S b -metric spaces.
Hussain et al. [28] gave a definition and analysis of parametric spaces.Subsequently, a year later, the authors extended their study by introducing the concept of parametric b-metric space [29].In another incremental advancement, Taş and Ozgür [30] proposed the concept of a parametric S-metric space as an extension of the parametric metric space, as follows: Definition 5 ([30]).Let W be a non-empty set.Define a function P r : such that for all g, e, h, σ ∈ W and λ > 0, it satisfies the following conditions: (i).P r (g, e, h, λ) = 0 if and only if g = e = h; (ii).P r (g, e, h, λ) ≤ P r (g, g, σ, λ) + P r (e, e, σ, λ) + P r (h, h, σ, λ).Then, the function P r is said to be parametric S-metric on W and the pair (W, P r ) is called parametric S-metric space.
Moreover, Taş and Özgür [31] improved their own idea and introduced the concept of parametric S b -metric space in 2018.

Definition 6 ([31]
).Let W be a non-empty set and let b ≥ 1 be a given real number.Define a function N : W 3 × (0, ∞) → [0, ∞) such that for all g, e, h, σ ∈ W and λ > 0, it satisfies the following conditions: Then, the function N is said to be parametric S b -metric on W and the pair (W, N) is called parametric S b -metric space.
for each σ > 0 and for all ν, e, r ∈ W. If b = 4, then (X, N) is a parametric S b -metric space; nonetheless, it is not a parametric S-metric space.
Mlaiki [32] followed the work of Rohen et al. [27] to introduce the concept of extended S b -metric space as follows: Definition 7 ([32]).Let W be a non-empty set and N : such that for all g, e, h, σ ∈ W, it satisfies the following conditions: Then, the function R N is said to be extended S b -metric on W and the pair (W, R N ) is called extended S b -metric space.
Remark 2. Every S b -metric space is an extended S b -metric space (N(g, e, h) = b ≥ 1), but the converse not always true.
As an expansion of the parametric metric space and the S b -metric space, we present in this article a novel metric space called the extended parametric S b -metric space.Section 2 contains the definition of an extended parametric S b -metric space, proof of two Lemma's along with two illustrative examples.In Section 3, analogues of the some well-known fixed point theorems are proved in both extended parametric S b -metric spaces and in symmetric extended parametric S b -metric spaces.At last, in Section 4, we make use of our result in order to find the existence of a solution to a Fredholm integral equation.

Extended Parametric S b -Metric Space
This section commences with the definition of the extended parametric S b -metric space.
Definition 8. Let W be a non-empty set and N : such that for all g, e, h, σ ∈ W and λ > 0, it satisfies the following conditions: R N -1.R N (g, e, h, λ) = 0 if and only if g Then, the function R N is said to be extended parametric S b -metric (EPS b ) on W and the pair for each g, e, h ∈ R and λ > 0.Then, R N is an extended parametric S b -metric space.
Then, the pair (W, R N ) is a complete extended parametric S b -metric space.Definition 9. Let (W, R N ) be a extended parametric S b -metric space and let {t n } be a sequence in W.Then, (i).{t n } converges to g if and only if there exists n 0 ∈ N such that R N (t n , t n , g, λ) < for all n ≥ n 0 and λ > 0; Lemma 1.Let (W, R N ) be a extended parametric S b -metric space.Then, for each g, e ∈ W and for all λ > 0, R N (g, g, e, λ) ≤ NR N (e, e, g, λ) and R N (e, e, g, λ) ≤ NR N (g, g, e, λ) Proof.Using the condition (R N -2) of Definition 8, we obtain Hence, the proof.
Lemma 2. Let (W, R N ) be a extended parametric S b -metric space.If {t n } converges to g, then g is unique.
Proof.Since {t n } converges to g, lim n→∞ t n = g.On the contrary, assume that the limit g is not unique.Therefore, there exists some e ∈ W such that lim n→∞ t n = e, with g = e.
Thus, for each > 0 and for all λ > 0, we can choose n 1 , n 2 ∈ N and n ≥ {n 1 , n 2 } such that Let us set n 0 = max{n 1 , n 2 }, and the condition (R N -2) of Definition 8 and Lemma 1 implies that which implies that R N (g, g, e, λ) = 0. Thus, we have g = e.
This leads to the following important result.(ii).For g ∈ W and > 0, we can define a ball B(g, ) as follows:

Main Results
In this discussion, we will begin by presenting and demonstrating the analogous form of the Banach fixed point theorem in the context of extended parametric S b -metric space.
Theorem 1.Consider a complete extended parametric S b -metric space (W, R N ), where R N is a continuous function.Let f be a self-mapping on W satisfying the following condition: for all g, e, h ∈ W and λ > 0 where 0 ≤ θ < 1 2 and for any g 0 ∈ W, we have Then, f has a unique fixed point ν ∈ W.Moreover, for every h ∈ W, we have lim n→∞ f n h = ν.
Proof.Since W is a non-empty set and f is a self-map on W, we can choose a g 0 ∈ W such that f g 0 = g 1 .Continuing like this, we can define a sequence {g n } of iterates as follows: Let us substitute g = g n−1 , e = g n−1 and h = g n in Equation ( 2), and we have Again, from Equation (2), we have Combining the above two inequalities and repeating the process n times, we obtain This proves that the sequence {g n } is a Cauchy sequence in W. Indeed, for all m > n, m, n ∈ N, and when using inequality (2), condition (R N -2) of Definition 8; we obtain Consequently, we obtain Suppose we have a series and its partial sum When using Equation ( 3) and when applying ratio test, we obtain that the series converges.Hence, from (6), for m > n we have Thus, R N (g n , g n , g m , λ) → 0 as n, m → ∞.The completeness of W implies that there exist some ν ∈ W such that Next, we prove that ν is a fixed point of f .Again, from Equation (2) and when using condition (R N -2) of Definition 8, we obtain Taking the limit as n → ∞, we obtain This is possible only if f ν = ν.Hence, ν is a fixed point of f .Further, assume that there exist e, ν ∈ W, with e = ν such that f ν = ν and f e = e and we claim that e = ν.Then, suppose not.Therefore, from Equation (2) for all λ > 0, we have which leads to a contradiction.Hence, e = ν.This establishes the uniqueness of fixed point and hence the result.
Example 6.In continuation with Example 5, let us define a self-map f on W by for all g ∈ W.Then, f satisfies the inequality (2) with θ = 1/5.Moreover, we define for every g ∈ W f n g = g . Thus, Thus, all the conditions of Theorem 1 are satisfied.Also, 0 is the unique fixed point of f .
for each g, e, h ∈ R and λ > 0.Then, R N is an extended parametric S b -metric space.Define a self-map f on X, by f g = g 3 .
On the other hand, for every g ∈ X, define Therefore, all the conditions of Theorem 1, are satisfied.Here, 0 is the fixed point of f , which is unique.

Symmetric Extended Parametric S b -Metric Space
Let us first start with the definition of symmetric extended parametric S b -metric space as follows: Definition 11.An extended parametric S b -metric space (X, R N ) is said to be symmetric if it satisfies the following condition: R N (g, g, e, λ) = R N (e, e, g, λ) for all g, e ∈ X, λ > 0. ( We next present a nice refinement of the Banach contraction principle in symmetric extended parametric S b -metric space with the help of an auxiliary function φ.Theorem 2. Consider a symmetric complete extended parametric S b -metric space (W, R N ), where R N is a continuous function.Let f be a self-mapping on W that satisfies the following condition: for all g, e, h ∈ W and λ > 0, where φ : [0, +∞) → [0, +∞) is an increasing function such that for each fixed σ > 0, lim n→∞ φ n (σ) = 0.
Furthermore, assume that there exist r > 1 such that for every g, g 0 ∈ W, we have Then, f has a unique fixed point in W.
Furthermore, for l ∈ N, let G = f n and g l = G l (g).Clearly, G is continuous.Then, for any g, e, ∈ W and α = φ n , we have Thus, as l tends to infinity, this implies that R N (g l+1 , g l+1 , g l , λ) tends to zero.Therefore, assume that l such that Also, g l ∈ B(g l , ) implies that, B(g l , ) = φ.Therefore, for all h ∈ B(g l , ), we have ≤ α( ) = φ n ( ) < 2r < r .

Fixed Point Result for Orbitally Lower Semi-Continuous Function
Definition 12. Let f be a self-map defined on non-empty set W and g 0 ∈ W. Define the orbit of g 0 as O(g 0 ) = g 0 , f g 0 , f 2 g 0 , • • •.
A function P : W → R is said to be f -orbitally lower semi-continuous at σ ∈ W if < g n >⊂ O(g 0 ) and g n → σ as n → ∞ implies P(σ) ≤ lim n→∞ if P(g n ).
Theorem 3. Consider a complete extended parametric S b -metric space (W, R N ), where R N is a continuous function.Let f be a self-mapping on W satisfying the following assumptions: for all g, e, h ∈ W; λ > 0, where 0 ≤ θ < 1 2 and for every g 0 ∈ W we have Then, the sequence { f n (g 0 )} converges to some ν ∈ W.
Moreover, ν is a fixed point of f if and only if P(g) = R N (g, g, f g) is f -orbitally lower semi-continuous at ν.
Proof.Since W is a non empty set and f is a self-map on W, we can therefore choose a g 0 ∈ W such that f g 0 = g 1 .Continuing like this, we can define a sequence {g n } of iterates as follows: Building upon the previous argument presented in the proof of Theorem 1, it can be derived that the sequence {g n } is a Cauchy sequence.The completeness property of W means that < g n > converges to some ν ∈ W. P is f -orbitally lower semi-continuous at ν. Therefore, Conversely, assume that f ν = ν and < g n > ⊂ O(g 0 ) with g n → ν as n → ∞.Therefore, This completes the proof of the Theorem 3. Remark 3. Our following proved results should be noted: 1.
Theorem 1 is a generalization of the result of Banach [17] in extended parametric S b -metric space.

2.
Theorem 2 and Theorem 3 are the extension of the result obtained by Boyd and Wong [40] and Mlaiki [32] in extended parametric S b -metric space.

Application: Existence of the Solution of Fredholm Integral Equations
In this section, we examine the presence of a solution for a Fredholm integral equation utilizing the outcomes established in Section 3.
Let W denote the set C[a, b] consisting of all real-valued continuous functions defined on the closed and bounded interval [a, b] in the real number system R.
For a real no λ > 0 and for all g, e, h ∈ [a, b], define R N : It is evident that (W, R N ) is a complete extended parametric S b -metric space.We apply Theorem 1 to establish the existence of the solution of Fredholm type defined by For every λ, 0 < λ < 4, λ/4 < 1 and hence all the conditions of Theorem 1 are satisfied.Therefore, map f has a unique fixed point.Thus, there exists a unique solution for (14).

Conclusions
In the present study, we started with the novel concept of extended parametric S bmetric space, supported by suitable examples.Furthermore, three lemmas were proven in order to establish the convergence, uniqueness, and Cauchy behavior of sequences in these spaces.Additionally, we proved three theorems.Theorem 1 is the analogous counterpart of the Banach fixed point result, Theorem 2 is a refined form of the Banach fixed point result in symmetric extended parametric S b -metric space, and Theorem 3 is derived for orbitally lower semi-continuous maps.Lastly, the obtained results are utilized to establish the existence and uniqueness of a solution for an integral equation.

Example 5 .
Let W = C[a, b] be the set of all continuous real-valued functions on [a, b].Define function N :

Lemma 3 .
Let (W, R N ) be a extended parametric S b -metric space.If {t n } converges to g, then {t n } is Cauchy.Definition 10.Let (W, R N ) be a extended parametric S b -metric space.Then, (i).The diameter of a subset Y of W is defined as diam(Y ) := sup{R N (g, e, h, λ) | g, e, h ∈ W, λ > 0}.