On Bilateral Contractions

: In this manuscript, we introduce a new type of contraction, bilateral contraction which merges two signiﬁcant approaches in the ﬁxed point theory: Caristi type contractions and Jaggi type contractions. The principal aim of the main result is to enrich the literature by combining the techniques of the mentioned two celebrated results that belong to Jaggi and Caristi. We consider an example to indicate the validity and genuine nature of the main result.


Introduction and Preliminaries
Fixed point theory is based on the existence and uniqueness of the solution of a simple equation Tx = x where T is a self-mapping on a non-empty set. This equation can be restated as F(x) = 0 where F(x) = x − Tx. Despite the simple problem statement, finding a solution of this equation is very difficult and sometimes impossible. The first affirmative response to this problem was given by Banach [1] under certain conditions: when T forms contractive mapping and X is equipped with a norm so that the corresponding topology yields completeness. In 1930, Caccioppoli [2] observed the analog of Banach's theorem in the setting of complete metric spaces. There are several extensions and generalizations of the Banach-Caccioppoli theorem with similar proofs. On the other hand, in 1976 Caristi [3] published a fixed point theorem whose proof and statement are quite different from the Banach-Caccioppoli theorem and its consequence.
Most of the metric fixed theorems consist of a linear combination of the distances between two distinct points x, y in a metric space (X, d) and their images. More precisely, there are six distances, d(x, y), d(x, Ty), d(Tx, y), d(x, Tx), (Ty, y) and d(Tx, Ty), and linear correlations of them; such as, Banach ; and, so on, where k ∈ [0, 1). One of the initial nonlinear forms were given by Jaggi [4] and Dass-Gupta [5] who used rational forms in their fixed point equations and hence fixed point theorems.
In this note, we aim to merge and revisit the renowned fixed point results of both Caristi [3] and Jaggi [4]. For this purpose, we introduce the notion of a Jaggi type bilateral contraction. In addition, we strive to unify the celebrated fixed point theorems of Dass-Gupta [5] and Caristi [3] by introducing the notion of a Dass-Gupta type bilateral contraction. After proving that these contractions possess fixed points, we express illustrative examples. We note that this work can be thought as a continuation of [6].

Main Result
We start this section by giving the definition of a Jaggi type bilateral contraction that is inspired from the renowned results of Jaggi [4].
for all distinct x, y ∈ X, where

Theorem 1.
Suppose that T is continuous and forms a Jaggi type bilateral contraction on a complete metric (X, d). Then, T possesses at least a fixed point.
Proof. We start the proof by taking an arbitrator point x ∈ X and rename it as x 0 := x. Note that if Tx 0 = x 0 , the proof is completed. We shall construct an iterative sequence {x n } by using the Picard definition x n+1 = Tx n for each non-negative integer n. Without loss of generality, we presume that d(x n , x n+1 ) = d(x n , Tx n ) > 0 for all non-negative integer n.
It is clear that in the converse case, if there exists a positive integer m such that x m = x m+1 = Tx m , then the proof of is over.
Case 1: Suppose max{δ n , δ n+1 } = δ n . On account of (3) and also (2), we find Accordingly, we get, So we conclude that the sequence {ϑ(x n )} is not only non-increasing but also necessarily positive. Consequently, the mentioned sequence converges to some ≥ 0. On the other hand, for each n ∈ N, we find In other words, we obtain Accordingly, we have On account of (4), for κ ∈ (0, 1), there exists n 0 ∈ N such that for all n ≥ n 0 . It yields that for all n ≥ n 0 .
and since {ϑ(x n )} is non-increasing and positive sequence, and so converges to some ≥ 0 (see the similar argument in Case 1) thus we have 1 ≤ (ϑ(x n−1 ) − ϑ(x n )) → 0, as n → ∞ and this is a contradiction.
This contradiction also concludes the same result in Case 1 that the sequence{δ n } is non-increasing sequence.
In what follows we claim that the sequence {x n } converges to some ω ∈ X. Combining the observation in Case 1, Case 2, and (5) we deduce that the sequence {d(x n+1 , x n )} is non-increasing and bounded below. Consequently, it is convergent to some δ * ≥ 0. Since κ < 1, it is easily verified that δ * = 0.
On the other hand, for each m, n ∈ N with m > n, we have Thus, we have lim sup n→∞ {d(x n , x m ) : m > n} = 0. As a result, {x n } is a Cauchy sequence. On account of the fact that X is complete, there exists ω ∈ X such that x n converges to ω.
As a next step, we assert that ω is the fixed point of T. Since T is continuous, we find Tω = T (lim n→∞ x n ) = lim n→∞ Tx n = lim n→∞ x n+1 = ω.
Inspired the results of Dass-Gupta [5], we introduce the notion of a Dass-Gupta type bilateral contraction as follows: for all x, y ∈ X, where Q T (x, y) = max d(x, y), (1 + d(x, Tx)) · d(y, Ty) 1 + d(x, y) .

Theorem 2.
Suppose that T forms a Dass-Gupta type bilateral contraction on a complete metric (X, d). Then, T possesses at least a fixed point.

Proof.
We mainly follow the steps of the proof of Theorem 1. By verbatim, we construct a sequence {x n } so that d(x n , x n+1 ) = d(x n , Tx n ) > 0 for all non-negative integer n.
Indeed, in case of existing a positive integer m such that x m = x m+1 = Tx m then, the proof of is over.
On account of the expression (8), we can utilize the inequality (7) with the sequence {x n }. Set δ n = d(x n , x n−1 ) and employ (7), then we get Regarding the similarity with the structures of the proof of Theorem 1, after then, by following the corresponding lines in the proof of Theorem 1, we deduce that {x n } is a Cauchy sequence. On account of the fact that X is complete, there exists ω ∈ X such that x n converges to ω.
Unlike the statement of Theorem 1, the continuity of the given mapping T is not assumed. As a next step, we assert and prove that ω is the fixed point of T without continuity assumption. Assume, on the contrary, that w is not a fixed point of T, that is d(ω, Tω) > 0. On account of the observation d(ω, Tω) > 0, we employ the inequality (7) that yields Since the sequences {ϑ(x n )} tends to r ≥ 0, for sufficiently large n ∈ N, we have Consequently, we obtain d(ω, Tω) = 0, that is, Tω = ω.
From Theorem 1, we get the corresponding result for complete metric spaces. The following example shows that the Theorem 1 is not a consequence of Banach's contraction principle. Example 1. Let X = {0, 1, 2} endowed with the following metric: Thus for all x ∈ X such that d(x, Tx) > 0, (in this example, x = 0), we have Thus the mapping T satisfies our condition and also has a fixed point. Note that d(T1, T0) = d (1, 0). Thus, it does not satisfy Banach contraction principle.
It is easy to see that (X, d) is a complete metric space. Suppose that T : X → X is defined as follows: We have: So, for all distinct x, y ∈ X, Additionally, for all x, y ∈ X, where Q T (x, y) = max d(x, y), (1 + d(x, Tx)) · d(y, Ty) 1 + d(x, y) .
Thus the mapping T satisfies in all the conditions of Theorems 1 and 2 as well. Note that (3,3) , so it does not satisfy the Banach contraction principle.
In what follows, we state some of immediate consequence as the main results.
Hereinafter, we presume that T is a self-mapping on a complete metric (X, d) in all the corollaries below, without mentioning them again and again.
for all distinct x, y ∈ X, where a 1 , a 2 are non-negative real numbers with a sum 1 and T is continuous. Then, T has at least a fixed point.
for all distinct x, y ∈ X, where T is continuous. Then, T has at least a fixed point.
Hereinafter, we presume that T is a self-mapping on a complete metric space (X, d) in all the corollaries below, without mentioning them again and again. for all x, y ∈ X, where a 1 , a 2 are non-negative real numbers with a sum 1. Then, T has at least a fixed point. for all x, y ∈ X. Then, T has at least a fixed point.
Sketch of the proofs of the stated corollaries above. The direct proof of the corollaries are derived by verbatim of Theorem 1. On the other hand, by using the following inequalities we derive the desired results in corollaries above.