The Contraction Mapping Principle was established by Banach in his dissertation (1920) and published in 1922 [1]. Although the idea of successive approximations in a number of concrete situations (solution of differential and integral equations, approximation theory) had appeared earlier in the studies by P. L. Chebyshev, E. Picard, R. Caccioppoli, and others, S. Banach was the first to formulate this result in a correct abstract form which is suitable for a wide range of applications.

In 1968, pioneering study by Kannan in fixed-point theory led to a significant result, which is independent of the Banach contraction principle [2]. Kannan's theorem provided a crucial characterization of metric completeness: A metric space X is complete if and only if every mapping satisfying Kannan contraction on X has a fixed point [3]. This discovery spurred the introduction of numerous contractive definitions, many of which allowed for discontinuity in their domain. Among these contractive conditions, those explored by Chaterjee [4] and Ćirić-Reich-Rus [5–7] share similar characteristics, further enriching understanding of the properties of contractive mappings in metric spaces. For various contractive definitions, we suggest authors refer to a survey study by Rhoades [8]. After a century, the interest of mathematicians around the world in fixed point theorems remains high. This is evidenced by the appearance of numerous articles and monographs in recent decades dedicated to fixed point theory and its applications. For a survey of fixed point results and their diverse applications, see, for example, the monographs [9–11].

Let X be a nonempty set. Recall that a mapping d : X × X → ℝ⁺, ℝ⁺ = [0, ∞) is a metric if for all x, y, z ∈ X the following axioms hold:

The pair (X, d) is called a metric space. If only axioms (i) and (ii) hold, d is called a semimetric. A pair (X, d), where d is a semimetric on X, is called a semimetric space. Such spaces were first examined by Fréchet in the study mentioned in [12], where he called them “classes (E).” Later these spaces and mappings on them attracted the attention of many mathematicians [13–18].

In semimetric spaces, the notions of convergent and Cauchy sequences, as well as completeness, can be introduced in the usual way.

The concept of b-metric space was initially introduced by Bakhtin [19] under the name of quasi-metric spaces, wherein he demonstrated a contraction principle in this space. Czerwik [20, 21] further utilized such space to establish generalizations of Banach's fixed point theorem. In a b-metric space, the triangle inequality (iii) is extended to include the condition that there exists K ≥ 1, ensuring that d(x, y) ≤ K[d(x, z) + d(z, y)] for all x, y, z ∈ X. Fagin and Stockmeyer [22] further explored the relaxation of the triangle inequality within b-metric spaces, labeling this adjustment as non-linear elastic matching (NEM). They observed its application across diverse domains, including trademark shape analysis [23] and the measurement of ice floes [24]. Xia [25] utilized this semimetric distance to investigate optimal transport paths between probability measures.

Recall that an ultrametric is a metric for which the strong triangle inequality d(x, y) ⩽ max{d(x, z), d(z, y)} holds for all x, y, z ∈ X. In this case, the pair (X, d) is called an ultrametric space. Note that the ultrametric inequality was formulated by F. Hausdorff in 1934 and ultrametric spaces were introduced by Krasner [26] in 1944.

In 2017, Bessenyei and Páles [27] extended the Matkowski fixed point theorem [28] by introducing a definition of a triangle function Φ:ℝ¯+2→ℝ¯+ for a semimetric d. We adopt this definition in a slightly different form, restricting the domain and the range of Φ by ℝ+2 and ℝ⁺, respectively.

Definition 1.1. Consider a semimetric space (X, d). We say that Φ : ℝ⁺ × ℝ⁺ → ℝ⁺ is a triangle function for d if Φ is symmetric and non-decreasing in both of its arguments, satisfies Φ(0, 0) = 0 and, for all x, y, z ∈ X, the generalized triangle inequality

holds.

Obviously, metric spaces, ultrametric spaces, and b-metric spaces are semimetric spaces with the triangle functions Φ(u, v) = u + v, Φ(u, v) = max{u, v}, and Φ(u, v) = K(u + v), K ⩾ 1, respectively.

In Bessenyei and Páles [27], semimetric spaces with so-called basic triangle functions that are continuous at the origin were investigated. These spaces were termed regular. It was demonstrated that in a regular semimetric space, the topology is Hausdorff, a convergent sequence has a unique limit, and possesses the Cauchy property, among other properties. For further developments in this area, see also [29–33].

In this study, we revisit several well-known fixed-point theorems, either extending their capabilities by modifying their assumptions or presenting new and innovative proofs. With the help of key Lemma 1.2 and its conclusion, we unveil further results that offer insightful perspectives on the nature of fixed-point theorems, not only within the metric context but also within more general spaces.

Here is the key lemma essential for the subsequent sections.

Lemma 1.2. Let (X, d) be a semimetric space with the triangle function Φ satisfying the following conditions:

Let (x_n), n = 0, 1, …, be a sequence in X having the property that there exists α ∈ [0, 1) such that

for all n ⩾ 1. Then, (x_n) is a Cauchy sequence.

Proof. We break the proof of this lemma into several parts. 1. Initial bounds: by Equation (4), we have

Hence, we obtain

2. Use of generalized triangle inequality (Equation 1): applying consecutively generalized triangle inequality (Equation 1) to the points x_n, x_n+1, x_n+2, …, x_n+p, where p ∈ ℕ⁺, p ⩾ 2, we obtain

3. Utilizing properties of Φ: by the monotonicity of Φ and inequalities (Equation 5), we have

Applying several times equality (Equation 2), we get

4. Bounding the expression and concluding Cauchy sequence: by condition (Equation 3), we obtain

Since 0 ⩽ α < 1, we have d(x_n, x_n+p) → 0 as n → ∞ for every p ⩾ 2. If p = 1, the relation d(x_n, x_n+1) → 0 follows from the study mentioned in Equation (5). Thus, (x_n) is a Cauchy sequence, which completes the proof.

Remark 1.3. Let (X, d) be a complete semimetric space. Then the sequence (x_n) has a limit x*. If additionally the semimetric d is continuous, then we get d(xn,xn+p)→d(xn,x*) as p → ∞. Hence, letting p → ∞ in Equation (6) we get

It is possible to extend the well-known concept of contraction mapping to the case of semimetric spaces. We shall say that a mapping T : X → X is a contraction mapping on the semimetric space (X, d) if there exists α ∈ [0, 1) such that

for all x, y ∈ X.

Theorem 2.1. Let (X, d) be a complete semimetric space with the triangle function Φ continuous at (0, 0) and satisfying conditions (Equations 2, 3). Let T : X → X be a contraction mapping. Then, T has a unique fixed point.

Proof. Let x₀ ∈ X and let x_n = Tx_n−1, n = 1, 2, .... By Equation (8) and by Lemma 1.2, (x_n) is a Cauchy sequence, and by completeness of (X, d), this sequence has a limit x* ∈ X.

Let us prove that Tx* = x*. It is easy to observe that the contraction mappings on semimetric spaces are continuous. Indeed, let y_n → y₀ as n → ∞. Then d(y_n, y₀) → 0, and by Equation (8), we have d(Ty_n, Ty₀) → 0, i.e., Ty_n → Ty₀. Since xn→x*, by the continuity of T, we have xn+1=Txn→Tx*. By generalized triangle inequality (Equation 1) and continuity of Φ at (0, 0), we have

as n → ∞, which means that x* is the fixed point.

Suppose that there exist two distinct fixed points x and y. Then, Tx = x and Ty = y, which contradicts to the study mentioned in Equation (8).

Corollary 2.2. The following assertions hold:

Proof. (i) It is easy to observe that Φ satisfies equality (Equation 2) and Φ is continuous at (0, 0). Consider expression (Equation 3) for such power triangle functions Φ:

According to the formula for the sum of infinite geometric series, this sum is less than 1/(1 − α) = C(α) for every finite p ∈ ℕ⁺, which establishes inequality (Equation 3).

Assertion (ii) follows directly from the study mentioned in Equation (7).

Corollary 2.3. The following assertions hold:

Proof. (i) It is easy to observe that Φ satisfies equality (Equation 2) and Φ is continuous at (0, 0). Consider expression (Equation 3) for the power triangle functions Φ. Since α < 1, we have

which establishes inequality (Equation 3).

Assertion (ii) follows directly from Equation (7). Distance spaces with power triangle functions Φ(u,v)=(uq+vq)1q, q ∈ [−∞, ∞] were considered in [34]. In [34] these functions have a little more general form. Note also that semimetric spaces with power triangle functions are metric spaces if q ⩾ 1.

Corollary 2.4. The following assertions hold:

Proof. (i) It is easy to observe that Φ satisfies equality (Equation 2) and Φ is continuous at (0, 0). Consider expression (Equation 3) for the power triangle functions Φ:

It is clear that the sum

consists of p + 1 terms of geometric progression with the common ratio α^q and start value 1. Since α < 1, we have the inequality α^q < 1. According to the formula for the sum of infinite geometric series, sum (Equation 9) is less than 1/(1 − α^q) for every finite p ∈ ℕ⁺. Hence,

which establishes inequality (Equation 3).

Assertion (ii) follows directly from Equation (7) and from the fact that semimetric spaces with power triangle functions are metric spaces if q ⩾ 1.

Corollary 2.5. Theorem 2.1 holds for b-metric spaces with the coefficient K if αK < 1, where α is the coefficient from Equation 8.

Proof. It is clear that Φ(u, v) = K(u + v) satisfies condition (Equation 2) and it is continuous at (0, 0). Consider expression (Equation 3) for the function Φ:

It is clear that this sum consists of p + 1 terms of geometric progression with the common ratio αK and the start value K. According to the formula for the sum of infinite geometric series, sum (Equation 10) is less than K/(1 − αK) = C(α) for every finite p ∈ ℕ⁺, which establishes inequality (Equation 3).

Note that Corollary 2.5 is already known, see Theorem 1 in Kir and Kiziltunc [35].

Kannan [2] proved the following result which gives the fixed point for discontinuous mappings.

Theorem 3.1. Let T : X → X be a mapping on a complete metric space (X, d) such that

where 0⩽β<12 and x, y ∈ X. Then, T has a unique fixed point.

The mappings satisfying inequality (Equation 11) are called Kannan type mappings.

Theorem 3.2. Let (X, d) be a complete semimetric space with the continuous triangle function Φ, satisfying conditions (Equations 2, 3). Let T : X → X satisfy inequality (Equation 11) with some 0⩽β<12 and let additionally the following condition hold:

Then, T has a unique fixed point.

Proof. Let x₀ ∈ X. Define xn=Txn-1=Tnx0 for n = 1, 2, …. It follows straightforwardly that

and

where α=β1-β, 0 ⩽ α < 1. By Lemma 1.2, (x_n) is a Cauchy sequence, and by completeness of (X, d), this sequence has a limit x* ∈ X.

Let us prove that Tx* = x*. By the generalized triangle inequality (Equation 1), the monotonicity of Φ, and (Equation 11), we get

Letting n → ∞, by the continuity of Φ, we obtain

Using (Equation 2), we have

By condition (i), we get d(x*, Tx*) = 0.

Suppose that there exist two distinct fixed points x and y. Then, Tx = x and Ty = y, which contradicts to Equation (11).

Corollary 3.3. Theorem 3.2 holds for semimetric spaces with the following triangle functions: Φ(u, v) = u + v; Φ(u, v) = K(u + v), 1 ⩽ K ⩽ 2; Φ(u, v) = max{u, v}; Φ(u,v)=(uq+vq)1q, q > 0, and with the corresponding estimations (Equation 7) from above for d(xn,x*).

Proof. The proof follows directly from Corollaries 2.2, 2.3, and 2.4 and from the fact that all above mentioned triangle functions satisfy condition (i) of Theorem 3.2.

Chatterjea [4] proved the following result.

Theorem 4.1. Let T : X → X be a mapping on a complete metric space (X, d) such that

where 0⩽β<12 and x, y ∈ X. Then, T has a unique fixed point.

The mappings satisfying inequality (Equation 12) are called Chatterjea type mappings.

To prove the following theorem, we need the notion of an inverse function for a non-decreasing function. This is due to the fact that the aim of this theorem is also to cover the class of ultrametric spaces and the fact that the function Ψ(u) = max{u, 1} is not strictly increasing. By Gutlyanskii et al. [36, p. 34] for every non-decreasing function Ψ : [0, ∞] → [0, ∞], the inverse function Ψ⁻¹:[0, ∞] → [0, ∞] can be well defined by setting

Here, inf is equal to ∞ if the set of t ∈ [0, ∞] such that Ψ(t) ⩾ τ is empty. Note that the function Ψ⁻¹ is non-decreasing too. It is evident immediately by the definition that

Theorem 4.2. Let (X, d) be a complete semimetric space with the continuous triangle function Φ, satisfying conditions (Equations 2, 3) and such that the semimetric d is continuous. Let T : X → X satisfy inequality (Equation 12) with some real number β ⩾ 0 such that the following conditions hold:

Then T has a fixed point. If 0⩽β<12, then the fixed point is unique.

Proof. Let β = 0. Then, (Equation 12) is equivalent to d(Tx, Ty) = 0 for all x, y ∈ X. Let x₀ ∈ X and x*=Tx0. Then d(Tx₀, T(Tx₀)) = 0 and d(x*, Tx*)=0. Hence, x* is a fixed point. Suppose that there exist another fixed point x^** ≠ x*, x^** = Tx^**. Then, by the equality d(Tx, Ty) = 0, we have d(Tx*, Tx^**) = d(x*, x^**) = 0, which is a contradiction.

Let now β > 0 and let x₀ ∈ X. Define xn=Txn-1=Tnx0 for n = 1, 2, …. If x_i = x_i+1 for some i, it is clear that x_i is a fixed point. Suppose that x_i ≠ x_i+1 for all i.

It follows straightforwardly that

Hence, by the generalized triangle inequality (Equation 1) and condition (Equation 2), we get

and

where Ψ(u) = Φ(u, 1), u ∈ [0, ∞). It is clear that Ψ(u) is non-decreasing on [0, ∞). Hence, Ψ⁻¹(u) is also non-decreasing on [0, ∞). Hence, it follows from Equations (13, 14) that

and

Consequently,

where α=(Ψ-1(1/β)⁻¹. Since by condition (ii) Ψ⁻¹(1/β) > 1 we get 0 ⩽ α < 1. By Lemma 1.2, (x_n) is a Cauchy sequence, and by completeness of (X, d), this sequence has a limit x* ∈ X.

Let us prove that Tx* = x*. By the generalized triangle inequality (Equation 1), the monotonicity of Φ and (Equation 12), we get

Letting n → ∞, the continuity of Φ and d we obtain

Using (Equation 2), we have

By condition (i), we get d(x*, Tx*) = 0.

Suppose that there exist two distinct fixed points, x and y. Then, Tx = x and Ty = y, which contradicts to Equation (12).

Corollary 4.3. Theorem 4.2 holds in ultrametric spaces with the coefficient 0 ⩽ β < 1.

Proof. According to the assumption, Φ(u, v) = max{u, v}, Ψ(u) = max{u, 1} and

Clearly, condition (i) holds for all 0 ⩽ β < 1 and condition (ii) holds for all 0 < β < 1.

Corollary 4.4. Theorem 4.2 holds for semimetric spaces with the following triangle functions Φ(u,v)=(uq+vq)1q, q ⩾ 1 and with the coefficient 0 ⩽ β < 2^−1/q in Equation (12).

Proof. We have Ψ(u)=(uq+1)1q and Ψ-1(u)=(uq-1)1q. Clearly, condition (i) holds for all 0 ⩽ β < 1 but condition (ii) holds if 0 < β < 2^−1/q.

Note that the following proposition is already known, see Theorem 3 in [35]. But it does not follow from Theorem 4.2 since the semimetric d in a b-metric space (X, d) is not obligatory continuous if K > 1.

Proposition 4.5. Theorem 4.2 holds in b-metric spaces with K ⩾ 1 and with the coefficient 0⩽β<12K in Equation (12).

Corollary 4.6. Theorem 4.1 holds.

Proof. It suffices to set K = 1 in Proposition 4.5 or q = 1 in Corollary 4.4.

In 1971, independently, Ćirić [5], Reich [6], and Rus [7] extended the Kannan fixed point theorem to cover a broader class of mappings.

Theorem 5.1. Let T : X → X be a mapping on a complete metric space (X, d) with

α ⩾ 0, β ⩾ 0, γ ⩾ 0 and α + β + γ < 1. Then, T has a unique fixed point.

In what follows, we will refer to the mapping (Equation 15) as the Ćirić-Reich-Rus mapping. This theorem integrates principles from both the Banach contraction principle (by choosing β = γ = 0) and the Kannan fixed point theorem with α = 0 and β = γ.

Theorem 5.2. Let (X, d) be a complete semimetric space with the continuous triangle function Φ, satisfying conditions (Equations 2, 3). Let T : X → X be a Ćirić-Reich-Rus mapping with the coefficients α ⩾ 0, β ⩾ 0, γ ⩾ 0, α+β+γ < 1, and let additionally the following condition hold:

Then, T has a unique fixed point.

Proof. Let x₀ ∈ X. Define xn=Txn-1=Tnx0 for n = 1, 2, …. Then, it follows straightforwardly that

Hence,

where δ=α+β1-γ, 0 ⩽ δ < 1. By Lemma 1.2, (x_n) is a Cauchy sequence and by completeness of (X, d), this sequence has a limit x* ∈ X.

Let us prove that Tx* = x*. By the generalized triangle inequality (Equation 1), the monotonicity of Φ, and (Equation 15), we get

Letting n → ∞, by the continuity of Φ, we obtain

Using (Equation 2), we have

By condition (i), we get d(x*, Tx*) = 0.

Suppose that there exist two distinct fixed points x and y. Then, Tx = x and Ty = y, which contradicts to Equation (15).

Corollary 5.3. Theorem 5.2 holds for semimetric spaces with the following triangle functions: Φ(u, v) = u + v; Φ(u, v) = K(u + v), 1 ⩽ K < 1/γ; Φ(u, v) = max{u, v}; Φ(u,v)=(uq+vq)1q, q > 0, with the corresponding estimations (Equation 7) from above for d(xn,x*).

Let X be a metric space. In Petrov [37], a new type of mappings T : X → X was considered and characterized as mappings contracting perimeters of triangles (see Definition 6.1). It was demonstrated that such mappings are continuous. Furthermore, a fixed-point theorem for such mappings was proven, with the classical Banach fixed-point theorem emerging as a simple corollary. An example of a mapping contracting perimeters of triangles, which is not a contraction mapping, was constructed for a space X with card(X) = ℵ₀. In this section, we establish a generalization of the aforementioned theorem.

The following definition was introduced in Petrov [37] for the case of ordinary metric spaces. In this study, we extend it for the case of general semimetric spaces.

Definition 6.1. Let (X, d) be a semimetric space with |X| ⩾ 3. We shall say that T : X → X is a mapping contracting perimeters of triangles on X if there exists α ∈ [0, 1) such that the inequality

holds for all three pairwise distinct points x, y, z ∈ X.

Remark 6.2. Note that the requirement for x, y, z ∈ X to be pairwise distinct in Definition 6.1 is essential. One can observe that otherwise this definition is equivalent to the definition of contraction mapping.

We shall say that x₀ is an accumulation point of the semimetric space (X, d); if for every ε > 0, there exists x ∈ X, x ≠ x₀, such that d(x₀, x) ⩽ ε.

The subsequent proposition demonstrates that mappings contracting perimeters of triangles are continuous not only in ordinary metric spaces but also in more general semimetric spaces with triangle functions continuous at the origin.

Proposition 6.3. Let (X, d), |X| ⩾ 3, be a semimetric space with a triangle function Φ continuous at (0, 0), and let T : X → X be a mapping contracting perimeters of triangles on X. Then, T is continuous.

Proof. Let x₀ be an isolated point in X. Then, clearly, T is continuous at x₀. Let now x₀ be an accumulation point. Let us show that for every ε > 0, there exists δ > 0 such that d(Tx₀, Tx) < ε whenever d(x₀, x) < δ. Suppose that x ≠ x₀, otherwise this assertion is evident. Since x₀ is an accumulation point, for every δ > 0 there exists y ∈ X such that x₀ ≠ y ≠ x and d(x₀, y) < δ. Since the points x₀, x, and y are pairwise distinct by Equation (16), we have

Using the generalized triangle inequality d(x, y) ⩽ Φ(d(x₀, x), d(x₀, y)) and monotonicity of Φ, we get

Since Φ is continuous at (0, 0) and Φ(0, 0) = 0, we get that for every ε > 0, there exists δ > 0 such that the inequality α(2δ+Φ(δ, δ)) < ε holds, which completes the proof.

Let T be a mapping on the metric space X. A point x ∈ X is called a periodic point of period n if Tⁿ(x) = x. The least positive integer n for which Tⁿ(x) = x is called the prime period of x. In particular, the point x is of prime period 2 if T(T(x)) = x and Tx ≠ x.

The following theorem is the main result of this section.

Theorem 6.4. Let (X, d), |X| ⩾ 3, be a complete semimetric space with the triangle function Φ continuous at (0, 0) and satisfying conditions (Equations 2, 3) and let the mapping T : X → X satisfy the following two conditions:

Then, T has a fixed point. The number of fixed points is at most two.

Proof. Let x₀ ∈ X, Tx₀ = x₁, Tx₁ = x₂, …, Tx_n = x_n+1, …. Suppose x_i is not a fixed point of the mapping T for every i = 0, 1, .... Let us show that all x_i are different. Since x_i is not fixed, x_i ≠ x_i+1 = Tx_i. By condition (i) x_i+2 = T(T(x_i)) ≠ x_i and by the supposition that x_i+1 is not fixed, we have x_i+1 ≠ x_i+2 = Tx_i+1. Hence, x_i, x_i+1, and x_i+2 are pairwise distinct. Furthermore, set

Since x_i, x_i+1, and x_i+2 are pairwise distinct by Equation (16), we have p₁ ⩽ αp₀, p₂ ⩽ αp₁, …, p_n ⩽ αp_n−1 and

Suppose now that j ⩾ 3 is a minimal natural number such that x_j = x_i for some i such that 0 ⩽ i < j − 2. Then, x_j+1 = x_i+1, x_j+2 = x_i+2. Hence, p_i = p_j which contradicts to Equation (17). Thus, all x_i are different.

Furthermore, let us show that (x_i) is a Cauchy sequence. It is clear that

Comparing Equation (18) with Equation (5) and using the proof of Lemma 1.2, we get that (x_n) is a Cauchy sequence. By completeness of (X, d), this sequence has a limit x* ∈ X.

Let us prove that Tx* = x*. Since xn→x*, by continuity of T, we have xn+1=Txn→Tx*. By the generalized triangle inequality (Equation 1) and continuity of Φ at (0, 0), we have

as n → ∞, which means that x* is the fixed point.

Suppose that there exist at least three pairwise distinct fixed points x, y, and z. Then, Tx = x, Ty = y and Tz = z, which contradicts to Equation (16).

Corollary 6.5. Theorem 6.4 holds for semimetric spaces with the following triangle functions: Φ(u, v) = u + v; Φ(u, v) = K(u + v), K ⩾ 1; Φ(u, v) = max{u, v}; Φ(u,v)=(uq+vq)1q, q > 0, with the corresponding estimations (Equation 7) from above for d(xn,x*).

The following example shows that condition (i) in Theorem 6.4 is necessary. Example 1. Let us construct an example of the mapping T contracting perimeters of triangles which does not have any fixed point. Let X = {x, y, z}, d(x, y) = d(y, z) = d(x, z) = 1 and let T : X → X be such that Tx = y, Ty = x, and Tz = x. In this case, the points x and y are periodic points of prime period 2.

Fixed point theorems offer a robust framework for comprehending and addressing the solutions to linear and non-linear problems that arise in biological, engineering, and physical sciences.

In Chapter 6 of Subramaniyam's monograph [11], various applications of the contraction principle are explored. These applications span domains including Fredholm and Volterra integral equations, existence theorems for initial value problems of first-order ordinary differential equations (ODEs), solutions of second-order ODE boundary value problems (BVPs), functional differential equations, discrete BVPs, a variety of functional equations, commutative algebra, and fractals [see also Kirk [9], [38], Agarwal et al. [10], Matkowski [28], and references therein].

In its multifaceted nature, fixed point theorems play a pivotal role in analyzing solutions to non-linear partial differential equations (PDEs). Notably, Brouwer's, Schauder's, and Schaefer's fixed point theorems, among others, have emerged as powerful tools for ensuring the existence and uniqueness of solutions across a diverse spectrum of non-linear PDEs (see Albert [39], Herbert [40], and references therein).

In summary, our study has revisited numerous renowned fixed-point theorems, providing extensions by adjusting assumptions and introducing innovative proofs. Utilizing Lemma 1.2 and its corollary, we have gained further insights into the essence of fixed-point theorems, broadening their relevance beyond metric spaces to encompass more general scenarios. This investigation indicates promising directions for future research, especially concerning the application of our approach to other contractive mappings across diverse conditions. Additionally, exploring real-world applications in light of established results offers intriguing possibilities for addressing various practical problems across different settings.

The original contributions presented in the study are included in the article/supplementary material, further inquiries can be directed to the corresponding author.

EP: Writing – original draft, Writing – review & editing. RS: Writing – original draft, Writing – review & editing. RB: Writing – original draft, Writing – review & editing.