Existence and Approximation of Fixed Points of Enriched Contractions and Enriched -Contractions

We obtain existence and uniqueness fixed point theorems as well as approximation results for some classes of mappings defined by symmetric contractive type conditions in a convex metric space in the sense of Takahashi. By using a new approach, i.e., the technique of enrichment of contractive type mappings, we obtain general results which extend the well known Banach contraction mapping principle from metric spaces as well as other corresponding results for enriched mappings defined on Banach spaces. To indicate the relevance of our new results, we present some important particular cases and future directions of research.


Introduction
Fixed point theory offers important tools for nonlinear analysis in the study of the existence and approximation of the solutions of nonlinear functional equations (differential equations, integral equations, integro-differential equations, etc.) (see the comprehensive monograph [1]). The sought solution of such a functional equation is expressed as the fixed point of a suitable operator, i.e., as the solution of the fixed point problem, where T is defined on a space X endowed with a certain structure, while the problem (1) is solved by applying an appropriate fixed point theorem.
The most useful metrical fixed point theorem in nonlinear analysis is without doubt the famous Banach contraction mapping principle, which is based on a symmetric contraction condition d(Tx, Ty) ≤ c · d(x, y), x, y ∈ X (0 ≤ c < 1). (2) Most of the contractive conditions which generalize Banach's contraction condition (2) are symmetric (see the important monograph [2]), but there exist important fixed point theorems (e.g., the ones corresponding to almost contractions, see [3]), which are not symmetric but still ensure the existence and approximation of fixed points.
On the other hand, for many of the fixed point theorems established in metric spaces, we need some additional geometric properties of the space X, related to convexity in the usual sense for subsets of Euclidian space, and expressed by the fact that, for any two distinct points x and y in X, there exists a third point z in X lying between x and y.
In 1970, Takahashi [4] introduced a notion of convexity structure in a metric space with the aim of studying the fixed point problem for nonexpansive mappings in such b(x − y) + Tx − Ty ≤ θ x − y , for all x, y ∈ X holds.
Obviously, the class of enriched contractions includes the usual Banach contractions (2), obtained from (3) for b = 0, but also some nonexpansive and Lipschitzian mappings, being a genuine extension of the class of Banach contractions. It was proven by Berinde and Pȃcurar [43] that any enriched contraction in a Banach space has a unique fixed point, x * , which can be approximated by means of the Krasnoselskij iterative scheme.
Similar results for enriched Kannan contractive mappings and enriched Chatterjea contractive type mappings are obtained in [44,45], respectively.
An enriched Kannan mapping is defined similarly (see [44]). Let (X, · ) be a linear normed space. A mapping T : X → X is said to be an enriched Kannan mapping if there exist a ∈ [0, 1/2) and k ∈ [0, ∞) such that It is easily seen that the usual Kannan contractions [47,49] are obtained from (4) for k = 0.
As the basic fixed point theorems established in literature for Picard-Banach contractions [50], Kannan mappings [47,49], Chatterjea mappings [48] etc. are stated in the setting of a complete metric space, the main aim of the present paper is to extend some of the above-mentioned results for enriched contractions [43] to the more general case of a convex metric space in the sense of Takahashi.
To this end, we need some concepts and basic results related to the theory of Takahashi convex metric spaces, mainly taken from the works in [4,25], which are presented in the next section.

Preliminaries: Convex Metric Spaces
There have been a few attempts to introduce the structure of convexity outside linear spaces. The one introduced in 1970 by Takahashi [4] turned out to be very useful in fixed point theory. Definition 1. [4] Let (X, d) be a metric space. A continuous function W : X × X × [0, 1] → X is said to be a convex structure on X if, for all x, y ∈ X and any λ ∈ [0, 1], A metric space (X, d) endowed with a convex structure W is called a Takahashi convex metric space and is usually denoted by (X, d, W).
Obviously, any linear normed space and each of its convex subsets are convex metric spaces, with the natural convex structure but the reverse is not valid: there are various examples of convex metric spaces which cannot be embedded in any Banach space (see [4,29] (Example 1.2, Example 1.3), [25,51]). The next lemmas present some fundamental properties of a convex metric space in the sense of Definition 1 (see [4,25] for more details). Lemma 1. Let (X, d, W) be a convex metric space. For all x, y ∈ X and any λ ∈ [0, 1], Proof. By the triangle inequality and (5), we get Lemma 2. Let (X, d, W) be a convex metric space. For all x, y ∈ X and any λ ∈ [0, 1], we have d(x, W(x, y; λ)) = (1 − λ)d(x, y) and d(W(x, y; λ), y) = λd(x, y).
If we had strict inequality in either of the above two inequalities, then, by Lemma 1, we would reach the contradiction d(x, y) = d(x, W(x, y; λ)) + d(W(x, y; λ), y) < d(x, y).
Let (X, d, W) be a convex metric space and T : X → X be a self mapping. Denote by Fix (T) the set of all fixed points of T, that is, The next lemma is a partial extension of a result given in Corollary to Theorem 5 in [52] from the setting of Banach spaces to that of convex metric spaces. Lemma 4. Let (X, d, W) be a convex metric space and T : X → X be a self mapping. Define the mapping T λ : X → X by Then, for any λ ∈ [0, 1), Proof. For λ = 0, T λ = T and the assertion is trivial. Assume λ ∈ (0, 1) and let a ∈ Fix (T). This means a = Ta and therefore which, in view of the fact that 1 − λ = 0, implies d(a, Ta) = 0.

Enriched Contractions in Convex Metric Spaces
Definition 2. Let (X, d, W) be a convex metric space. A mapping T : X → X is said to be an enriched contraction if there exist c ∈ [0, 1) and λ ∈ [0, 1) such that d(W(x, Tx; λ), W(y, Ty; λ)) ≤ cd(x, y), for all x, y ∈ X.
To specify the parameters c and λ involved in (10), we also call T a (λ, c)enriched contraction.
It is easily seen that, in view of Lemma 3, a (0, c)-enriched contraction is a usual Banach contraction. The next result is a significant extension of the main fixed point theorem in [43] (Theorem 2.4) from the case of a Banach space setting to that of an arbitrary complete convex metric space. Theorem 1. Let (X, d, W) be a complete convex metric space and let T : X → X be a (λ, c)enriched contraction. Then, (i) Fix (T) = {p}, for some p ∈ X.
(ii) The sequence {x n } ∞ n=0 obtained from the iterative process converges to p, for any x 0 ∈ X.
(iii) The following estimate holds Proof. By the enriched contractive condition (10), we have that the mapping T λ : X → X defined by (8) satisfies that is, T λ is a c-contraction. We note that the Picard iteration associated to T λ is actually the Krasnoselskij iterative process {x n } ∞ n=0 associated to T and defined by (11), i.e., Now, we take x = x n and y = x n−1 in (13) to get which inductively implies As c ∈ [0, 1), from (16), we deduce that i.e., {x n } ∞ n=0 is asymptotically regular. By triangle inequality and (13), for any n and any Thus, by (17), it follows that lim n→∞ d(x n+k+1 , x n+1 ) = 0, uniformly with respect to k, which shows that {x n } ∞ n=0 is Cauchy (note that the conclusion can also be drawn directly from the estimate (19)). Hence, {x n } ∞ n=0 is convergent and let us denote By letting n → ∞ in (14) and using the continuity of T λ (which follows by (13)), we immediately obtain i.e., p ∈ Fix (T λ ). Next, we prove that p is the unique fixed point of T λ . Assume that q = p is another fixed point of T λ . Then, by (13), a contradiction. Hence, Fix (T λ ) = {p} and, therefore, in view of Lemma 4, p ∈ Fix (T), which proves (i).

Remark 1.
If T is a (0, c)-contraction, then, by Theorem 1, we obtain the contraction mapping principle in the setting of a metric space. Note that, in this case, the Krasnoselskijj type iterative process (11) reduces to the Picard iteration. Note that we can give a shorter proof to Theorem 1, but here we intended to illustrate the important role of asymptotic regularity. This is a very important concept in the metric fixed point theory and was formally introduced and used by Browder and Petryshyn [53]. For some interesting very recent developments on the role of asymptotic regularity in fixed point theory, see the works of Górnicki [54] and Berinde and Rus [55]. By Theorem 1, we obtain in particular the main result in [43], given by the next corollary.
(ii) There exists λ ∈ (0, 1] such that the sequence {x n } ∞ n=0 obtained from the iterative process converges to p, for any x 0 ∈ X. (iii) The following estimate holds Proof. On the Banach space X, we consider the natural convexity W defined by (6) with and apply Theorem 1.
The local variant of Banach contraction mapping principle (see, e.g., [56]), which involves an open ball B in a complete metric space (X, d) and a nonself contraction map of B into X that has the essential property that it does not displace the center of the ball too far, is important in concrete applications. The analog of this result in the case of enriched contractions in convex metric spaces is given by the following theorem.
Proof. We can choose ε < r such that Since T is a (λ, c)-enriched contraction, there exists c ∈ [0, 1) such that for any λ ∈ (0, 1), where we denote as before T λ x := W(x, Tx; λ). By Lemma 2, we have that and therefore (25) We now prove that the closed ball Since B ε is complete, the conclusion follows by Theorem 1.

Remark 2.
If X is a Banach space, then by Theorem 2 we obtain the local variant of the enriched contraction mapping principle established in [43].

Proof.
We consider on X the natural convexity W defined by (6) with λ = b b + 1 and apply Theorem 2.
There exist mappings which are not (enriched) contractions in the sense of Definition 2, but a certain iterate of them is an (enriched) contraction (see Example 2 in [43]).
In such cases, we cannot apply Theorem 1 and therefore the following result could be useful in applications.
Theorem 3. Let (X, d, W) be a complete convex metric space and let U : X → X be a mapping with the property that there exists a positive integer N such that U N is a (λ, c)-enriched contraction. Then, (i) Fix (U) = {p}, for some p ∈ X.
(ii) The sequence {x n } ∞ n=0 obtained from the iterative process x n+1 = W(x n , U N x n ; λ) n ≥ 0, converges to p, for any x 0 ∈ X.
Proof. We apply Theorem 1 (i) for the mapping T = U N and obtain that Fix (U N ) = {p}. We also have U N (U(p)) = U N+1 (p) = U(U N (p)) = U(p), which shows that U(p) is a fixed point of U N . However, U N has a unique fixed point, p, hence U(p) = p and so p ∈ Fix (U). The remaining part of the proof follows by Theorem 1.

Enriched ϕ-Contractions in Convex Metric Spaces
There are various generalizations of the contraction mapping principle in arbitrary complete metric spaces which are based on considering instead of the original Banach contraction condition d(Tx, Ty) ≤ c · d(x, y), x, y ∈ X, c ∈ [0, 1), a weaker contractive condition of the form d(Tx, Ty) ≤ ϕ (d(x, y)), x, y ∈ X (26) or of the form where ϕ : R + → R + and ψ : R + → [0, 1) are functions possessing some suitable properties. Thus, Rakotch [57] considered mappings satisfying (27) with ψ nonincreasing and ψ(t) < 1 for t > 0; Browder [58] considered mappings satisfying (26) with ϕ right continuous, nondecreasing and such that ϕ(t) < t for t > 0; Boyd and Wong [59] weakened the right continuity of ϕ to the right upper continuity; and Matkowski [60,61] extended Boyd and Wong's results (see [2] for more details and a comprehensive list of references).
In the following, we consider ϕ : R + → R + to be a comparison function (see [3]), if it satisfies the following conditions: (i ϕ ) ϕ is nondecreasing, i.e., t 1 ≤ t 2 implies ϕ(t 1 ) ≤ ϕ(t 2 ). (ii ϕ ) {ϕ n (t)} converges to 0 for all t ≥ 0. Note that any comparison function also satisfies: Let (X, d) be a metric space. A mapping T : X → X is said to be a ϕ-contraction if it satisfies (26) with ϕ a comparison function. The first main result of this section is the following fixed point theorem which extends Theorem 1, Theorem 5.2 in [56] and Theorem 2.7 in [3], the last ones from the class of ϕ-contractions to the more general class of enriched ϕ-contractions. Theorem 4. Let (X, d, W) be a complete convex metric space and let T : X → X be an enriched ϕ-contraction, i.e., a mapping for which there exists a comparison function ϕ such that, for some λ ∈ [0, 1), d(W(x, Tx; λ), W(y, Ty; λ)) ≤ ϕ (d(x, y)), for all x, y ∈ X.
Proof. Let x 0 ∈ X and let {x n } ∞ n=0 , x n = T λ x n−1 = T n λ x 0 , n = 1, 2, . . . , be the Picard iteration associated to T λ (x) := W(x, Tx; λ). Then, by (28), we obtain which expresses the fact that T λ is asymptotically regular. We now prove that {x n } ∞ n=0 is a Cauchy sequence. Suppose, on the contrary, that {x n } ∞ n=0 is not a Cauchy sequence. Then, there exists ε > 0 and two subsequences {x Moreover, for each k, one can choose n k to be the smallest integer satisfying the above conditions. Using (30), it follows (see the proof of Theorem 5 for details) Letting k → ∞ in the previous inequality and using the continuity of T λ , one gets ε ≤ ϕ(ε), a contradiction with (iii ϕ ), since ε > 0.
Thus, {T n λ x 0 } n ∈ N is a Cauchy sequence. As (X, d) is a complete metric space, {T n λ x 0 } n ∈ N is convergent.
Let p = lim n→∞ T n λ x 0 . Hence, which shows that p ∈ Fix (T λ ). Assume there exists q ∈ Fix (T λ ), q = p. Then, d(p, q) > 0 and the condition of ϕ-contractiveness implies which is a contradiction. To finish the proof, we apply Lemma 4. By combining Theorems 3 and 4, we get the following result. (ii) There exists µ ∈ [0, 1) such that the sequence {x n } ∞ n=0 obtained from the iterative process {x n } ∞ n=0 , given by x n+1 = W(x n , T N x n ; µ) n ≥ 0, converges to p, for any x 0 ∈ X.
The next result unifies and extends several important fixed point results for the generalized contractions considered in this section. It is based on considering an auxiliary function α : R + → [0, 1) possessing the following property: (g) If {t n } ⊂ R + is nonincreasing and α(t n ) → 1 as n → ∞, then t n → 0 as n → ∞.
(ii) The sequence {x n } ∞ n=0 obtained from the iterative process converges to p, for any x 0 ∈ X.
Proof. Let x 0 ∈ X and {x n } ∞ n=0 , x n = T λ x n−1 = T n λ x 0 , n = 1, 2, . . . , be the Picard iteration associated to T λ (x) := W(x, Tx; λ). If there exists some n ≥ 0 such that x n+1 = x n , then Fix (T) = {x n } and the proof is done. Thus, assume in the following that x n+1 = x n , for all n ≥ 0. Then, by (32), we obtain which implies that the sequence of nonnegative real numbers {d(x n , x n+1 )} is decreasing, hence convergent. Denote lim n→∞ d(x n , x n+1 ) = r ≥ 0.
Suppose r > 0. Then, all terms of the sequence are positive and, thus, by (34), we obtain By letting n → ∞ in the previous inequalities, we get lim n→∞ α(d(x n , x n+1 )) = 1 and, since α ∈ A, this yields which expresses the fact that T λ is asymptotically regular. We now prove that {x n } ∞ n=0 is a Cauchy sequence. Suppose, on the contrary, that {x n } ∞ n=0 is not a Cauchy sequence. Then, there exists ε > 0 and two subsequences {x Corresponding to the given m k s, we can choose n k in such a way that it is the smallest integer with n k > m k > k and satisfying (36). Then, we have By (36) and (37), we have By letting k → ∞ and using (35), we get Now, by using the triangle inequality, we get and Letting k → ∞ in (40) and (41) and using (35) and (39), we have By (34), we have and, by letting k → ∞ in the previous inequality, we get Since α ∈ A, we obtain This result and (39) yields ε = 0, which is a contradiction. Thus, {x n } ∞ n=0 is a Cauchy sequence and, since X is complete, {x n } ∞ n=0 is convergent. Denote lim n→∞ x n = p. Then, Letting n → ∞ in the previous inequality, we get d(p, T λ p) = 0, that is, p is a fixed point of T λ .

Remark 3.
Theorem 5 is a very general result. Apart from Theorems 1 and 4 in this paper, we also mention the following important classical particular cases of it.

Conclusions and Future Work
(1) In this paper, we introduce and study, in the setting of a Takahashi convex metric space, the existence and approximation of fixed points for the class of enriched contractions, an important class of mappings known to include the Picard-Banach contractions and some nonexpansive and Lipschitzian mappings.
(2) We show that any enriched contraction in a complete convex metric space has a unique fixed point that can be approximated by means of a Kransnoselskij type iterative process expressed by means of the mapping that defines the convexity structure of the convex metric space. In particular, from the fixed point results established in this paper, we obtain the classical contraction mapping principle in the setting of a metric space as well as the main fixed point results established in [43] for enriched contractions in Banach spaces.
(3) We obtain a local fixed point result (Theorem 2) as well as an asymptotic fixed point result (Theorem 3) for enriched contractions in convex metric spaces. These results significantly extend the corresponding ones in [43] from Banach spaces to complete convex metric spaces.
Author Contributions: Both authors contributed equally to this work. Both authors have read and agreed to the published version of the manuscript.
Funding: The first author has been financially supported by Department of Mathematics, Faculty of Sciences, North University Centre at Baia Mare, Technical University of Cluj-Napoca.