Existence of a Unique Fixed Point for Nonlinear Contractive Mappings

: In a recent work, we established the existence of a unique ﬁxed point for nonlinear contractive self-mappings of a bounded and closed set in a Banach space. In the present paper we extend this result to the case of unbounded sets.

In a recent work of ours [22], we established the existence of a unique fixed point for nonlinear contractive self-mappings of a bounded and closed subset of a Banach space. In the present paper, we extend this result to the case of unbounded sets.
More precisely, in [22,23] we considered the following class of nonlinear mappings. Assume that (X, · ) is a Banach space and that K ⊂ X is a bounded, closed, and convex set. Assume further, that f : X → [0, ∞) is a continuous function for which f (0) = 0, the set f (K − K) is bounded, and the following three properties are valid: (i) For every positive number , there is a positive number δ such that for each pair of points (ii) For every number λ ∈ (0, 1), there exists a number φ(λ) ∈ (0, 1) for which for all x, y ∈ K; (iii) The function (x, y) → f (x − y), x, y ∈ K, is uniformly continuous on the set K × K.
Denote by A the set of all continuous mappings A : K → K which satisfy for all x, y ∈ K. Evidently, (A, d) is a complete metric space.
In [23] we established the existence of an everywhere dense and G δ subset of A, such that each one of its elements possesses a unique fixed point and all the iterates of such an element converge uniformly to this fixed point.
We remark in passing that the main result of [24] is a special case of this result of [23] for the case where f = · . Clearly, the mappings considered in our papers are generalized nonexpansive mappings with respect to the function f . This approach, where the norm is replaced with a general function, had already been used in [25,26], in the study of generalized best approximation problems.
In [22] we improved the results of [23]. Namely, we introduced a notion of a contractive mapping, we showed that most of the mappings in A (in the sense of Baire category) are contractive, that every contractive mapping possesses a unique fixed point, and that all its iterates converge to this point uniformly. Note that all these results were obtained for a bounded set K. In the present paper we extend one of the main results of [22] to unbounded sets. More precisely, we show that even if K is unbounded, every contractive self-mapping of K possesses a unique fixed point and that all its iterates converge to this point, uniformly on bounded subsets of K. Moreover, for this result we do not need property (ii).

Main Result
Assume that (X, · ) is a Banach space and that K be a nonempty and closed subset of X.
Assume further that f : X → [0, ∞) is a continuous function with f (0) = 0 and that the following two properties are valid: (P1) For every positive number , there is a positive number δ such that for every pair of points In other words, the mapping A is contractive [13]. We denote the identity operator by A 0 . In Section 3 we establish the following result.

Theorem 1.
The mapping A has a unique fixed point x A ∈ K and A i x → x A as i → ∞ for all x ∈ K, uniformly on bounded subsets of K.
Note that in [27] a particular case of this theorem was obtained for f (x) = x .

Proof of Theorem 1
Let x ∈ K. In view of (1), for every integer n ≥ 0, we have We claim that lim n→∞ f (A n x − A n+1 x) = 0.
Suppose to the contrary that this does not hold. Then by (2), there exists > 0 such that Since the function ψ is decreasing, it follows from (2) and (3) that for every integer n ≥ 0, This implies, in its turn, that lim n→∞ f (A n x − A n+1 x) = 0. This equality contradicts relation (3). Therefore, lim as claimed.
Next, we show that the following property holds: (P3) for every positive number , there is a positive number δ such that for every pair of points x, y ∈ K which satisfy Property (P2) implies that there exists a number By property (P1), there is such that the following property holds: We will show that x − y ≤ .
In view of (5), it is sufficient to prove that Suppose, to the contrary, that this inequality does not hold. Then Since the function ψ is decreasing, relations (2) and (8) imply that By (8) and (9), we have Property (P4) and (7) imply that In view of (6) and (11), we have This inequality, however, contradicts (10). The contradiction we have reached proves that x − y ≤ and that property (P3) holds. Let x ∈ K. In view of (4), lim When combined with property (P3), this implies that {A n x} ∞ n=1 is a Cauchy sequence. Therefore, there exists the limit lim n→∞ A n x. Since the mapping A is continuous, we have A( lim n→∞ A n x) = lim n→∞ A n x and lim n→∞ A n x is a fixed point of the mapping A. Property (P3) now implies the uniqueness of the fixed point of A. Therefore there exists a point x A ∈ K such that and for each x ∈ K, lim We claim that uniformly on all bounded subsets of K. Let M, > 0. By (1) and (12), for all x ∈ K, By property (P1), there is 1 ∈ (0, ) for which In view of (P2), there is c 0 > 0 for which Choose an integer n(M, ) and let a point We claim that for all integers n ≥ n(M, ), we have In view of (15), it suffices to show that for all integers n ≥ n(M, ), By (14), in order to establish this inequality, it is enough to prove that there is an integer Suppose, to the contrary, that this is not true. Then for each i ∈ {0, . . . , n(M, )}, we have Since the function ψ is decreasing, it follows from (14) and (19) that for each i ∈ {0, . . . , n(M, )}, By (16), (18), and (20),