A Note on Extended Z -Contraction

: In this article, we aim to evaluate and merge the as-scattered-as-possible results in ﬁxed point theory from a general framework. In particular, we considered a common ﬁxed point theorem via extended Z -contraction with respect to ψ -simulation function over an auxiliary function ξ in the setting of b -metric space. We investigated both the existence and uniqueness of common ﬁxed points of such mappings. We used an example to illustrate the main result observed. Our main results cover several existing results in the corresponding literature.


Introduction and Preliminaries
The concept of fixed point first appeared in articles where solutions of differential equations were discussed, especially solutions of initial value problems. Among all such pioneer results in differential equations, we can mention and underline the renowned paper of Liouville [1], and the distinguished paper of Picard [2]. In these papers fixed point approaches were used implicitly under the name of the method of successive approximation. The first fixed point theorem, in the setting of complete normed space, which can be described as the abstraction of the method of the "successive approximation," was announced in Banach's thesis in 1922 [3]. Although not very accurate, the Banach fixed point theorem in most sources is given as follows: each contraction in a complete metric spaces admits a unique fixed point. Indeed, this is a characterization of Banach's original result, in the context of metric space, was given by Caccioppoli [4]. Therefore, this result would be more accurately called Banach-Caccioppoli. In addition to the magnificence of the expression of the theorem, its proof also has special significance. What makes this result very useful and interesting is that it not only guarantees the existence of the fixed point but also shows how to find this desired fixed point. Roughly speaking, for any contraction mapping T : M → M in a complete metric space (M, δ), each recursive sequence {T n p} (for an arbitrarily chosen initial point p ∈ M) converges to p * ∈ M and this limit forms a unique fixed point for T.
On the other hand, a fixed problem can be considered a simple equation T p = p. In almost all scientific disciplines, most of the problems can be converted into fixed point equations. This explains why fixed point theory has wide application capacity, as well as why fixed point theory has been hard work. As a result, too many results have been reported in this regard. Naturally, the emergence of so many results makes it very difficult to follow, process and functionalize these results. Under these circumstances, the best thing to do is to evaluate the current results as widely as possible and to combine these existing results as much as possible. Recently, for that purpose, some interesting papers started to appear, such as, [5][6][7][8][9][10][11][12][13][14][15][16][17][18][19]. Among all these approaches, in this article, we focus on the notion of simulation function. The main idea of the simulation function is very simple, but also very useful and effective: For a self-mapping T on a metric space, contraction inequality d(Tx, Ty) ≤ kd(x, y) can be expressed as 0 ≤ kd(x, y) − d(Tx, Ty) = ζ(d(x, y), d(Tx, Ty)), where k ∈ [0, 1) and ζ : [0, ∞) × [0, ∞) → (−∞, ∞). By letting d(x, y) = u and d(Tx, Ty) = r, the corresponding simulation function for Banach's fixed point theorem is ζ(u, r) = ku − r. It is clear that for many other well-known results (Rakotch, Geraghty, Boyd-Wong, etc.), one can find a corresponding simulation function; see e.g., [5,[7][8][9][10][11][12]20]. In other words, simulation function can be considered a generator of different contraction type inequalities.
Inspired from the results in [5], very recently, Joonaghany et al. [6] proposed a new notion, the ψ-simulation function, and with the help of it, the Z ψ -contraction in the setting of the standard metric space. The notion of the Z ψ -contraction covers several distinct types of contraction, including the Z-contraction that was defined in [5].
From now on, we presume that B and any considered sets are nonempty. Moreover, we shall fix the symbols N, N 0 , R, R + 0 , R + to indicate the set of positive integers, non-negative integers, real numbers, non-negative reals and positive reals.

Definition 1 ([6]
). We say that ξ : Let Z ψ be the set of all ψ-simulation functions. Note that if we take ψ as an identity mapping, then "ψ-simulation function" becomes "simulation function" in the sense of [5].

Remark 1.
Each simulation function forms a ψ-simulation function. The contrary of the statement is false [6].
Definition 2 (See [21,22] for all p, q, r ∈ B. Throughout the paper, the triple (B, d, s) denotes a b-metric space with s ∈ [1, ∞). Further, the triple (B * , d, s) indicates that the corresponding b-metric space is complete.
The aim of this paper is to combine and unify several existing fixed point results by using the extended simulations function in the setting of b-metric spaces.

Main Results
Then T and S have a unique common fixed point, provided either T or S is continuous.
Step 2: The step is to show the obtained recursive sequence {υ n } forms a b-Cauchy. By (4) it is sufficient to show that the subsequence {υ 2n } is a b-Cauchy sequence in X.
On contrary, suppose that the sequence {υ 2n } does not form a b-Cauchy. Attendantly, there are ε > 0 and sequences of integers {2m k } and {2n k } with n k > m k ≥ k ≥ 1 such that On the other hand, by taking k sufficiently large with n k > m k > k and since {d (υ n , υ n+1 )} is a non-increasing, we have By using (4), there exists k 1 ∈ N such that for any k > k 1 , Also, there exists k 2 ∈ N such that for any k > k 2 , Thus, for any k > max {k 1 , k 2 } and n k > m k > k, we have Thus we obtain that for any k > max {k 1 , k 2 } and n k > m k > k, Hence, from (5), we have Therefore, by (11) and (ξ1) Since ψ is non-decreasing, then and then s 4 (s 2 ε) < s 2 ε, which is a contradiction. Therefore, {υ n } is a b-Cauchy sequence in X. Since B is b-complete, {υ n } is b-convergent to some point u ∈ B.
Step 3: In this step, we shall indicate that u is a common fixed point of T and S. Notice that Letting n → ∞, we have Similarly, we can show that Now, we claim that for each n ≥ 0, at least one of the following inequalities is true: If we suppose for some n 0 ≥ 0 that both (8) and (9) are false, then we get a contradiction. So the claim is proven. Now, we shall examine the following two cases: Case 1: The inequality (8) is true for infinitely many n ≥ 0. In this case, we have which implies that On the other hand, Moreover, suppose d (u, Tu) > 0. We have The above implies, with (11) ξ s 4 d(Tu, Su), M(u, u ) ≥ 0.
By (ξ1) , s 4 d(Tu, Su) < M(u, u); i.e., s 4 d(Tu, u) < M(u, u), which contradicts (10). Then, d (u, Tu) = 0; i.e., Tu = u. Hence Tu = Su = u. The inequality (8) is true only for infinitely many n ≥ 0. In this case, there is n 0 ≥ 0 such that inequality (9) is true for any n ≥ n 0 . Similarly to Case 1, we can prove that Tu = Su = u. Therefore, by Case 1 and Case 2, u is a common fixed point of T and S.
Step 4. We prove that u is a unique common fixed point of S and T. Let u and v be two common fixed points of S and T such that d(u, v) > 0. We have This implies i.e., Hence which is a contradiction. We conclude that d(u, v) = 0; i.e., u = v and the theorem is proven.
Putting S = T in Theorem 1 we have: Corollary 1. Let T, S be two self-mappings on (B * , d, s) Suppose that there exists ξ ∈ Z ψ such that Then T has a unique fixed point, provided that T is b-continuous.

Corollary 2.
Let T, S be two self-mappings on (B * , d, s) Suppose that there exists ξ ∈ Z ψ such that Then T and S have a unique common fixed point, provided either T or S is continuous.

Immediate Consequences in the Standard Metric Space
In this part, the pairs (M, d) and (M * , d) denote the metric space and complete metric spaces, respectively.
Theorem 2. Let T, S be two self-mappings on (M * , d) Suppose that there exists ξ ∈ Z ψ such that for all υ, ω ∈ B, where Then T and S have a unique common fixed point, provided either T or S is continuous.
Putting S = T in Theorem 1 we have: Corollary 3. Let T, S be two self-mappings on (M * , d) Suppose that there exists ξ ∈ Z ψ such that implies that Then T has a unique fixed point, provided that T is b-continuous. Then T and S have a unique common fixed point, provided either T or S is continuous.

Remark 2.
It is evident that we can list more corollaries from the our main results in several aspects: For example, by substituting the example of ψ-simulation function, letting the ψ be an identity and using the example of simulation function introduced in [7][8][9]11,12]. .
We now verify the inequality (11). For this purpose we define ξ : R + 0 × R + 0 → R by choosing ξ(p, q) = q − p, ψ(t) = t 2 , s = 3 2 . Now we have the following cases. Case 1: υ, ω ∈ [0, 1) several consequences by considering distinct extended simulations functions. Further, all observed results can be derived in the framework of standard metric space, by let s = 1. Notice also that our results covers several existing results, such as the results in [5,7,18]. Regarding the richness of the simulations function, as it is done in [19], one can derive several well-known fixed point results from our main theorem. Indeed, explicitly writing the consequences/corollaries of our main result cannot easily fit on several pages.