A Fixed Point Result with a Contractive Iterate at a Point

: In this manuscript, we deﬁne generalized Kincses-Totik type contractions within the context of metric space and consider the existence of a ﬁxed point for such operators. Kincses-Totik type contractions extends the renowned Banach contraction mapping principle in different aspects. First, the continuity condition for the considered mapping is not required. Second, the contraction inequality contains all possible geometrical distances. Third, the contraction inequality is formulated for some iteration of the considered operator, instead of the dealing with the given operator. Fourth and last, the iteration number may vary for each point in the domain of the operator for which we look for a ﬁxed point. Consequently, the proved results generalize the acknowledged results in the ﬁeld, including the well-known theorems of Seghal, Kincses-Totik, and Banach-Caccioppoli. We present two illustrative examples to support our results. As an application, we consider an Ulam-stability of one of our results.


Introduction and Preliminaries
In 1922, Banach [1] published a renowned fixed point theorem that initiated the metric fixed point theory. Indeed, Banach's result represents an abstraction of the method of a successive approximation that has been used to find a solution to certain differential equations. In this regard, it is quite reasonable to connect the foundation of the fixed point theory to the earlier than Banach, such as, Liouville [2], Poincaré [3], or Picard [4]. The iteration, used in the proof of Banach [1], is called Picard iteration. On the other hand, the formulation of Banach is artwork: In a complete metric space (M, δ), every contraction (that is, δ(Fθ, Fy) ≤ qδ(θ, y) for all θ, y ∈ M and for some q ∈ [0, 1)) possesses a unique fixed point. This art-piece has been improved, generalized and developed in several directions.
Among all, we restrict ourselves to investigation of a fixed point of certain mapping that forms a contraction at a point for some iteration the mapping power-contraction. This trend was initiated by Bryant [5]: In a complete metric space (M, δ), every m-iterative contraction (that is, δ(F m θ, F m y) ≤ qδ(θ, y) for all θ, y ∈ M, for some q ∈ [0, 1) and for some m ∈ N) possess a unique fixed point. Notice that in this theorem the mentioned function is not necessarily continuous. This is the main advantages of this trend when it is compared with the classical Banach's fixed point or other fixed point results dealing with the linear contractions.
In what follows we recall the initial result, Sehgal [6], regarding an investigation of a fixed point theorem for mappings with a contractive iterate. Theorem 1 ([6]). Let (M, δ) be a complete metric space, F a continuous self-mapping of M that satisfies the condition that there exists a real number q, 0 < q < 1 such that for each θ ∈ M there exists a positive integer m(θ) such that for each y ∈ M, δ(F m(θ) θ, F m(θ) y) ≤ qδ(θ, y). (1) Then T has a unique fixed point in M.
We first underline differences between the results of Sehgal [6] and Bryant [5]. Although Sehgal [6] assumed continuity of the quoted mapping above, in the result of Bryant [5] the continuity assumption is not required. In this aspect, Bryant's fixed point theorem seems more general than Seghal's fixed point theorem. On the other hand, in the results of Seghal's, for each θ ∈ M, there is a positive integer m(θ) such that F m(θ) forms a contraction. In Bryant's fixed point theorem, there is a positive integer m that does not vary according to given θ ∈ M. On the contrary, for any θ ∈ M, we have m = m(θ). Consequently, the results of Seghal is a genuine generalization of Bryant's fixed point theorem. It was understood later that the continuity assumptions in the result of Seghal [6] is superfluous [7].
Next, we recollect the result of Kincses-Totik [8] which besides removing the continuity assumption extends the contractive condition using an auxiliary function defined below.
Let Λ be the class of all monotonically decreasing function β : Theorem 2 ([8]). Let F be a selfmapping on a complete metric space (M, δ). Suppose that there exists β ∈ Λ and for each θ ∈ M there exists a positive integer m(θ) such that for each y ∈ M with y = θ. Then, there is θ * ∈ M such that Fix M (F) = {θ * }.
We consider the following simple examples to indicate our motivation: Under the standard Euclidean metric , it is clear that F is not continuous and does not form a contraction. On the other hand, for any θ ∈ [0, 1], for m(θ) = 2 it is a contraction. More precisely, F 2 (θ) = 0 for all θ ∈ [0, 1] and hence F 2 is a contraction on [0,1].
This example shows that Theorem 2 is genuine extension of the several existing results, including the results of Seghal [6] and consequently Banach [1]. Indeed, the fixed point theorems of Seghal [6] and Banach [1] are not applicable since the considered mapping is not continuous.

Main Results
Now, we state and prove the main result of the paper. Theorem 3. Let F be a selfmapping of a metric space (M, δ) and β ∈ Λ. If for each θ ∈ M there exists a positive integer p(θ) such that for each y ∈ M with y = θ, where Proof. Let θ 0 be an arbitrary point in M and p(θ 0 ) a positive integer. Starting from θ 0 , we will build inductively the sequence {θ n } by θ n = F p(θ n−1 ) θ n−1 , n ∈ N.
The proof is composed of five steps.
(ii) If for any 1 ≤ s ≤ n we have δ(θ s−1 , F u n−s θ s−1 ) ≥ δ then, since the function β is non-increasing, we have Furthermore, for n ≥ n 0 we found that δ(θ n+m , θ n ) < δ which shows us that the sequence {θ n } is Cauchy sequence on a complete metric space. From here, there exists θ * ∈ M such that lim n→∞ δ(θ n , θ * ) = 0.
Hence, K(F p(θ * ) θ n−1 , θ n−1 ) = δ(F θ 1 θ n−1 , θ n−1 ) and therefore Continuing and using a method similar to the argument as above, we find that our claim is true, that is Step 4. F p(θ * ) θ * = θ * . In the following, we demonstrate that θ * is a fixed point of F p(θ * ) . Using the triangle inequality, (13) and since β(a) < 1 Letting n → ∞ and taking into account (12) and (14), we get Step 5. Uniqueness of fixed point of F p(θ * ) which is a contradiction. Therefore, F p(θ * ) has a unique fixed point. On the other hand, since F p(θ * ) θ * = θ * , we easily have which shows that Fθ * is a fixed point of F p(θ * ) . However, due to uniqueness of a fixed point, we obtain that, Fθ * = θ * .
Sketch of the proof. On account of the fact that β(t) = q ∈ Λ, where q ∈ (0, 1), we employ Theorem 3. Indeed, it is a special case for taking a special value of β(t) = q.
Sketch of the proof. Since for any each θ, y ∈ M taking β(t) = κ 1 + 3κ 2 + 3κ 3 in Theorem 3 we get the stated result.

Corollary 3.
Suppose that F is a selfmap on a complete metric space (M, δ). Presuming also that there exists a β ∈ Λ. If for each θ ∈ M there exists p(θ) ∈ N such that for each y ∈ M with y = θ, then there is θ * ∈ M such that Fix M (F) = {θ * }.
Sketch of the proof. We shall use the following inequality to derive the desired result from Theorem 3.
where K(θ, y) is defined as in Theorem 3.

Corollary 4.
Let F be a selfmap on a complete metric space (M, δ). Assume that there exists a q ∈ [0, 1) and for each θ ∈ M there exists p(θ) ∈ N such that for each y ∈ M with y = θ, Then there is θ * ∈ M such that Fix M (F) = {θ * }.
Sketch of the proof. Indeed, this is derived from Corollary 1 by keeping in mind the following inequality: where K(θ, y) is defined as in Theorem 3.

An Application: Ulam Stability
In the last part, as an application of our main result, we investigate the Ulam stability for a fixed point problem. The Ulam [16] stability problem has attracted attention of different authors in fixed point theory, see [17][18][19]. Let (M, δ) be a metric space and F : M → M be a given mapping. The fixed point problem θ = Fθ (20) and the inequality (for ε > 0) d(F p(y) y, y) ≤ ε.
is Ulam stable if there exists C > 0, such that for each ε > 0 and an ε-solution y * ∈ M, that is, y * satisfies the inequality (21), there exists a solution θ * ∈ M of the fixed point Equation (20) such that Theorem 4. Let (M, δ) be a complete metric space. The fixed point Equation (20) is Ulam stable provided that all the hypotheses of Corollary 2 hold.

Conclusions
Notice that at the first glance, in the formulation of our main result, there is a great similarity with the well-known results in the literature, such as, Reich [20] or Hardy-Rogers [21]. In such results by taking "the maximum" of the distances,δ(θ, y), δ(Fθ, θ), δ(Fy, y), δ(θ, Fy) and δ(y, Fθ). Indeed, almost all metric fixed point results have used these five distances (or some of them) to formulate results. We should underline that in such results, the considered self-mapping F is necessarily continuous. On the other hand, in our main results, we have two main contributions: The first contribution is to remove the necessity of the continuity of the given mapping. The second main contribution is to get a contraction of mapping for its iteration that depends on the given point. More precisely, suppose for θ, we get that F 2 involves a contraction but for y, distinct from θ, we may find F 3 forms a contraction.
Author Contributions: All authors contributed equally and significantly in writing this article. All authors read and approved the final manuscript.
Funding: This research received no external funding.