A Hybrid Contraction that Involves Jaggi Type

: In this manuscript, we aim to provide a new hybrid type contraction that is a combination of a Jaggi type contraction and interpolative type contraction in the framework of complete metric spaces. We investigate the existence and uniqueness of such a hybrid contraction in separate theorems. We consider a solution to certain fractional differential equations as an application of the given results. In addition, we provide an example to indicate the genuineness of the given results.


Introduction and Preliminaries
Fixed point theory is based on the solution of a simple (fixed point) equation, f (x) = x, for a self-mapping f on a non-empty set X. Inherently, a fixed point equation f (x) = x can be reformulated as F(x) = f (x) − x = 0, where F is also a self-mapping on X. The fixed point problem first appeared in the solution of a differential equation with an initial value. In 1837, Liouville [1] solved such differential equations by employing the method of successive approximations which implicitly brings a solution for thefixed point equation. In 1890, Picard [2] developed the aforementioned method systematically and simplified the solution of the corresponding differential equation. Later, Banach [3] was able to derive the abstraction of the method of successive approximation so that he proved a celebrated fixed point theorem in the framework of a complete metric space. After that, this outstanding result from Banach was characterized by Caccioppoli [4] in the context of complete metric spaces: Every contraction in a complete metric space possesses a unique fixed point. This result has been called several names, such as Picard-Banach fixed point theorem, Banach-Caccioppoli fixed point theorem, Banach's contraction (mapping principle), and Banach's fixed point theorem. Throughout this paper, we refer to it as "Banach-Caccioppoli fixed point theorem". For some recent and enhanced results, see e.g., [5,6].
Banach-Caccioppoli fixed point theorem initiated metric fixed point theory which has attracted the attention of researchers in nonlinear functional analysis. In the last decades, a number of fixed point results have been published to extend and generalize Banach-Caccioppoli fixed point theorem. Among them, we focus on two fixed point theorems that belong to Jaggi [7] and Karapinar [8]. Jaggi [7] proved a fixed point theorem in which the rational expression was considered for the first time. In addition, Karapinar [8] introduced the notion of an interpolative type contraction to enrich metric fixed point theory by linking the interpolation theory with it (see also [9][10][11][12][13]). Very recently, inspired by the result in [8], Mitrović et al. [14] introduced and investigated a hybrid contraction that combines a Reich type contraction and interpolative type contractions.
In this paper, we have two main motivations. First, we shall introduce and investigate a new hybrid contraction that combines Jaggi type contractions and interpolative type contractions. Regarding the appearance of fixed point theory, it is natural to consider the solution of differential equations using fixed point theory as an application. On the other hand, recently, fractional calculus and fractional differential equations have been studied intensely. By taking this observation into account, as a second aim, we propose a solution to certain fractional differential equations by employing our main results. We also consider an example to show the validity of our main results.
In what follows, we review some basic notions. We say that ψ [15,16]) if it is nondecreasing and satisfies (♣) there are l 0 ∈ N and k ∈ (0, 1) and a convergent series ∑ ∞ l=1 z l such that z l ≥ 0 and for l ≥ l 0 and t ≥ 0.
The set of all function (c)-comparison function will be denoted by Ψ. Every ψ ∈ Ψ verifies the following [16]:

Main Results
In our next consideration, we suppose that (M, d) denotes a complete metric space.

Theorem 1.
A continuous self-mapping T on (M, d) possesses a fixed point x provided that T is a Jaggi type hybrid contraction. Moreover, for any x 0 ∈ M, the sequence {T n x 0 } converges to x .
Proof. For an arbitrary x in M, renamed as x = x 0 , we set-up an iterative sequence {x n } by starting this initial point x 0 defined as follows: On the contrary, if the inequality above does not hold, that is, if there exists k 0 ∈ N 0 such that d(x k 0 , x k 0 +1 ) = 0, then we get x k 0 = x k 0 +1 = Tx k 0 . Since x k 0 forms a fixed point, it terminates the proof.
We shall prove the claim of the theorem by examining two distinct cases: s = 0 and s > 0.
(i) In the case where s > 0, by letting J s T (x, y) for x = x n−1 and y = Tx n−1 , the expression (2) becomes Therefore, we have Suppose that d(x n , x n+1 ) ≥ d(x n−1 , x n ), then, from the inequality (5), we find a contradiction. Hence, we obtain that By revisiting inequality (5), we find that Continuing in this way, we deduce (inductively) that for any n ∈ N 0 . Now, let p ∈ N 0 . By using the triangle inequality and (7), we have Letting n → ∞ in (8) and in accordance with the properties of (c)-comparison functions, we get that lim n→∞ d(x n , x n+p )) = 0. Thereby, {x n } is a Cauchy sequence in a complete metric space (M, d), so that there exists x ∈ X such that lim n→∞ d(x n , x ) = 0.
Since T is a continuous map, it follows that which shows that x is a fixed point of T.

(ii)
In the case where s = 0, using (2) for x = x n−1 and y = Tx n−1 , we have d(x n , x n+1 ) = d(Tx n−1 , T(Tx n−1 )) ≤ ψ(J s T (x n−1 , Tx n−1 )) = ψ(d(x n−1 , Tx n−1 )) σ 1 (d(x n , Tx n−1 )) σ 2 ) Using a simple calculation, the above inequality turns into d(x n , x n+1 ) 1−σ 2 < d(x n−1 , x n )) σ 1 , and since σ 1 + σ 2 = 1, we get that d(x n , x n+1 ) < d(x n−1 , x n ) for all n ∈ N 0 . Returning to (10), we find and by inductive reasoning By using the same tools as in the case of s > 0, we can easily find that {x n } forms a Cauchy sequence in a complete metric space. Hence, there exists x ∈ M such that lim n→∞ d(x n , x ) = 0 and from the continuity of T, we get that this point is a fixed point of mapping T.
In what follows, we intend to prove the existence of a fixed point of a map T under the presumption of continuity only of some iterate of T. In the case where for some integer p > 1, T p is continuous then T has a unique fixed point.
Proof. From the proof of Theorem 1, we already know that the sequence {x n }, with x n = Tx n−1 for all n ∈ N 0 is convergent to some point x ∈ M, that is d(x n , x ) = 0. Let x n(l) be a subsequence of {x n }, where n(l) = l · p for all l ∈ N 0 and p > 1 fixed. Thus, considering that T 0 is the identity map on X, we have x n(l) = T p x n(l)−p . Then, due to continuity of T p , which means that x is a fixed point of T p .
Let us presume that Tx = x . We remark that, in this situation, T p−k−1 x = T p−k x for any k = 0, 1, . . . , p − 1. Again we must consider two cases.
(i) In the case where s > 0, by replacing x by T p−k−1 x and y by T p−k x , we have and since T is a Jaggi type hybrid contraction, which yields that However, σ 1 + σ 2 = 1, so that for every k = 0, 1, . . . , p − 1 Of course, the inequality (27) implies that for every l = k, k + 1, . . . , p − 1, Taking in particular k = 0 and l = p − 1 in the above inequality, we get which is a contradiction. Consequently, Tx = x .
(ii) In the case where s = 0, and inequality (2) becomes By simple calculation, we get and using the same tools as in the case (ii), we obtain that Tx = x .