Abstract
Let \((X,\\cdot\)\) be a Banach space. Let C be a nonempty, bounded, closed, and convex subset of X and \(T: C \rightarrow C\) be a monotone nonexpansive mapping. In this paper, it is shown that a technique of Mann which is defined by
is fruitful in finding a fixed point of monotone nonexpansive mappings.
Similar content being viewed by others
1 Introduction
Nonexpansive mappings are those mappings which have Lipschitz constant equal to one. Their investigation remains a popular area of research in various fields. In 1965, Browder [1] and Göhde [2] independently proved that every nonexpansive selfmapping of a closed convex and bounded subset of a uniformly convex Banach space has a fixed point. This result was also obtained by Kirk [3] under slightly weaker assumptions. Since then several fixed point theorems for nonexpansive mappings in Banach spaces have been derived [4–6].
Recently a new direction has been developed when the Lipschitz condition is satisfied only for comparable elements in a partially ordered metric space. This direction was initiated by Ran and Reurings [7] (see also [8]) who proved an analogue of the classical Banach contraction principle [9] in partially ordered metric spaces. In both papers [7, 8], the motivation for this new direction is the problem of the existence of a solution which is positive. In other words, the classical approaches only deal with the existence of solutions, while here we ask whether a positive or negative solution exists. It is a natural question to ask since most of the classical metric spaces are endowed with a natural partial order.
When we relax the contraction condition to the case of the Lipschitz constant equal to 1, i.e., nonexpansive mapping, the completeness of the distance will not be enough as it was in the original case. We need some geometric assumptions to be added. But in general the Lipschitz condition on comparable elements is a weak assumption. In particular, we do not have the continuity property. Therefore, one has to be very careful when dealing with such mappings. In this work we use the iterative methods [10] to prove the existence of fixed points of such mappings.
For more on metric fixed point theory, the reader may consult the books [4, 6].
2 Basic definitions
Let \((X, \\cdot\)\) be a Banach space endowed with a partial order ≤. As usual we adopt the convention \(x\geq y\) if and only if \(y\leq x\). Throughout, we assume that the order intervals are closed and convex. Recall that an order interval is any of the subsets
for any \(a \in X\). As a direct consequence of this, the subset
is also closed and convex for any \(a, b \in X\).
Next we give the definition of monotone mappings.
Definition 2.1
Let \((X, \\cdot\, \leq)\) be as above. Let C be a nonempty subset of X. A map \(T: C \rightarrow X\) is said to be

(a)
monotone if \(T(x) \leq T(y)\) whenever \(x \leq y\);

(b)
monotone KLipschitzian, \(K \in\mathbb{R}^{+}\), if T is monotone and
$$\bigl\ T(x)  T(y)\bigr\ \leq K \x  y\, $$whenever \(x \leq y\). If \(K = 1\), then T is said to be a monotone nonexpansive mapping.
A point \(x \in C\) is said to be a fixed point of T if \(T(x) = x\). The set of fixed points of T is denoted by \(\operatorname{Fix}(T)\).
Remark 2.1
It is not difficult to see that a monotone nonexpansive mapping may not be continuous. Therefore it is quite difficult to expect any nice behavior that will imply the existence of a fixed point.
Definition 2.2
Let \((X, \\cdot\)\) be a Banach space. Define the modulus of uniform convexity \(\delta_{X}: (0, 2]\rightarrow [0,1]\) by
Uniformly convex Banach spaces enjoy many nice geometric properties. The interested reader may consult the book [11].
3 Iteration process for monotone nonexpansive mappings
Let \((X, \\cdot\)\) be a Banach space.
Definition 3.1
Let C be a nonempty convex subset of a Banach space \((X,\\cdot\)\). Let \(T:C\rightarrow C\) be a monotone mapping. Fix \(x_{1} \in C\). The Mann iteration process is the sequence \(\{x_{n}\}\) defined by
for any \(n \geq1\), where \(\{t_{n}\} \subset[0,1]\).
The following technical lemma will be useful to prove the main result of this work.
Lemma 3.1
Let C be a nonempty closed convex subset of a Banach space \((X,\\cdot\)\). Let \(T:C\rightarrow C\) be a monotone mapping. Fix \(x_{1} \in C\) such that \(x_{1} \leq T(x_{1})\). Consider the Mann iteration sequence \(\{x_{n}\}\) defined by (3.1). Then we have
for any \(n \geq1\). Moreover, \(\{x_{n}\}\) has at most one weakcluster point. Hence if C is weaklycompact, then \(\{x_{n}\}\) is weakly convergent.
Proof
We will prove (3.2) by induction. First note that if \(c_{1}, c_{2} \in C\) are such that \(c_{1} \leq c_{2}\), then \(c_{1} \leq\alpha c_{1} + (1\alpha) c_{2} \leq c_{2}\) holds for any \(\alpha\in[0,1]\). This is true because order intervals are convex. This allows us to focus only on the proof of \(x_{n} \leq T(x_{n})\) for any \(n \geq1\). By assumption, we have \(x_{1} \leq T(x_{1})\), so the inequality is true for \(n=1\). Assume that \(x_{n} \leq T(x_{n})\) for \(n \geq2\). Then we have
i.e., \(x_{n} \leq x_{n+1} \leq T(x_{n})\). Since T is monotone, we get \(T(x_{n}) \leq T(x_{n+1})\). By transitivity of the order, we get \(x_{n+1} \leq T(x_{n+1})\). By induction, our inequality (3.2) is true for any \(n \geq1\). Next we look at the weakcluster points of \(\{x_{n}\}\). Let \(\omega_{1}\) and \(\omega_{2}\) be two weakcluster points. Then there exist two subsequences \(\{x_{\phi(n)}\}\) and \(\{x_{\psi(n)}\}\) of \(\{x_{n}\}\) such that
Fix \(k \geq1\). Since \(\{x_{n}\}\) is monotone increasing and the order interval \([x_{k},\rightarrow)\) is closed and convex, we conclude that \(\omega_{i} \in[x_{k},\rightarrow)\) for \(i = 1,2\). Hence \(\{x_{n}\} \subset(\leftarrow, \omega_{i}]\) for \(i = 1,2\), holds which implies for the same reason \(\omega_{j} \in(\leftarrow, \omega_{i}]\) for \(i,j = 1,2\). So we have \(\omega_{1} = \omega_{2}\). Therefore \(\{x_{n}\}\) has at most one weakcluster point. Moreover, if we assume that C is weakly compact, we conclude that \(\{x_{n}\}\) is weakly convergent. □
Remark 3.1
Under the assumptions of Lemma 3.1, if we assume that \(T(x_{1}) \leq x_{1}\), we will show that
for any \(n \geq1\). Moreover, the conclusions on the weakcluster points of \(\{x_{n}\}\) hold.
Lemma 3.2
Let C be a nonempty, closed, and convex subset of a Banach space \((X,\\cdot\)\). Let \(T:C\rightarrow C\) be a monotone nonexpansive mapping. Let \(\{t_{n}\} \subset[0,1]\) be the sequence associated to the Mann iteration process defined by (3.1). Then, for any \(\omega\in \operatorname{Fix}(T)\), \(\lim_{n \rightarrow\infty} \x_{n}\omega\\) exists provided \(x_{1}\) and ω are comparable.
Proof
Without loss of any generality, assume that \(x_{1} \leq\omega \). Let us prove that \(x_{n} \leq\omega\) for any \(n \geq1\). Since T is monotone, then we must have \(T(x_{1}) \leq T(\omega) = \omega\). Since the order interval \((\leftarrow, \omega]\) is convex, we conclude that \(x_{2} \leq\omega\). Next we use the fact that T is monotone to get \(T(x_{2}) \leq T(\omega) = \omega\). And again, because of the convexity of \((\leftarrow, \omega]\), we get \(x_{3} \leq\omega\). By induction we will show that \(x_{n} \leq\omega\) for any \(n \geq1\), as claimed. Since T is monotone nonexpansive, we get
which implies
for any \(n \geq1\). This means that \(\{\x_{n}\omega\\}\) is a decreasing sequence, which implies that \(\lim_{n \rightarrow\infty} \x_{n}\omega\\) exists. □
In the general theory of nonexpansive mappings, the main property of the Mann iterative sequence is an approximate fixed point property. Recall that \(\{x_{n}\}\) is called an approximate fixed point sequence of the mapping T if \(\lim_{n \rightarrow +\infty} \x_{n}  T(x_{n})\ = 0\). We have a similar conclusion for monotone nonexpansive mappings if we assume that X is uniformly convex.
Theorem 3.1
Let C be a nonempty, closed, convex and bounded subset of a Banach space \((X,\\cdot\)\). Let \(T:C\rightarrow C\) be a monotone nonexpansive mapping. Assume that X is uniformly convex, and there exist \(\omega\in \operatorname{Fix}(T)\) and \(x_{1} \in C\) such that \(x_{1}\) and ω are comparable. Then we have
where \(\{x_{n}\}\) is the Mann iterative sequence generated by (3.1) which starts at \(x_{1}\), with \(t_{n} \in [a,b]\) for some \(a > 0\) and \(b < 1\).
Proof
Let \(\omega\in \operatorname{Fix}(T)\). Let \(x_{1} \in C\) be comparable to ω. Using Lemma 3.2, we conclude that \(\lim_{n \rightarrow\infty} \x_{n} \omega\\) exists. Set \(R = \lim_{n \rightarrow\infty} \x_{n} \omega\\). Without loss of any generality, we may assume \(R > 0\). Moreover, we have
since \(x_{n}\) and ω are comparable, for any \(n \geq1\). On the other hand, we have
for any \(n \geq1\). Let \(\mathcal{U}\) be a nontrivial ultrafilter over \(\mathbb{N}\). Then \(\lim_{\mathcal{U}} t_{n} = t \in [a,b]\). Hence
Since \(t \neq0\), we get \(\lim_{\mathcal{U}} \T(x_{n}) \omega\ = R\). Consider the ultrapower \((X)_{\mathcal{U}}\) of X (see [11]). Set \(\tilde{x} = (\{x_{n}\})_{\mathcal{U}}\), \(\tilde{y} = (\{T(x_{n})\})_{\mathcal{U}}\) and \(\tilde{\omega} = (\{\omega\})_{\mathcal{U}}\). Then we have
Since \(t \in(0,1)\) and X is uniformly convex, then \((X)_{\mathcal{U}}\) is strictly convex, which implies \(\tilde{x} = \tilde{y}\), i.e., \(\lim_{n, \mathcal{U}} \x_{n}  T(x_{n})\ = 0\). Since \(\mathcal{U}\) was an arbitrary nontrivial ultrafilter, we conclude that \(\lim_{n \rightarrow\infty} \x_{n}  T(x_{n})\ = 0\), which completes the proof of Theorem 3.1. □
The conclusion of Theorem 3.1 is strongly dependent on the assumption that a fixed point of T which is comparable to \(x_{1}\) exists. In fact, we may relax such assumption and obtain a similar conclusion. First we will need the following technical lemma.
Lemma 3.3
Let C be a nonempty convex subset of a Banach space \((X,\\cdot\)\). Let \(T:C\rightarrow C\) be a monotone nonexpansive mapping. Let \(x_{1} \in C\) be such that \(x_{1}\) and \(T(x_{1})\) are comparable. Let \(\{x_{n}\}\) be the Mann iterative sequence defined by (3.1) such that \(\{t_{n}\} \subset[0,1)\). Then, for any \(i,n \geq1\), we have
Proof
Without loss of any generality, we may assume \(x_{1} \leq T(x_{1})\). In this case, we have \(x_{n} \leq x_{n+1} \leq T(x_{n}) \leq T(x_{n+1})\) for any \(n \geq1\). In particular, we have \(\T(x_{n+1})  T(x_{n})\ \leq\x_{n+1}  x_{n}\\) for any \(n \geq1\). Moreover, from the definition of \(\{x_{n}\}\) we have \(\x_{n+1}  x_{n} \ = t_{n} \x_{n}  T(x_{n})\\) for any \(n \geq1\). Therefore all the assumptions of Proposition 1 of [10] are satisfied, which implies the conclusion of Lemma 3.3. □
Using this lemma, we have a similar conclusion to Theorem 3.1 with less stringent assumptions. This result is similar to the one found in [13].
Theorem 3.2
Let C be a nonempty, closed, convex and bounded subset of a Banach space \((X,\\cdot\)\). Let \(T:C\rightarrow C\) be a monotone nonexpansive mapping. Let \(x_{1} \in C\) be such that \(x_{1}\) and \(T(x_{1})\) are comparable. Let \(\{x_{n}\}\) be the Mann iterative sequence defined by (3.1) such that \(\{ t_{n}\} \subset[a,b]\), with \(a > 0\) and \(b < 1\). Then we have \(\lim_{n \rightarrow+\infty} \x_{n}  T(x_{n})\ = 0\).
Proof
First note that the sequence \(\{\x_{n}T(x_{n})\\}\) is decreasing. Indeed, we have
for any \(n \geq1\). Set \(\lim_{n \rightarrow+\infty} \x_{n}  T(x_{n})\ = R\). If we let \(i \rightarrow+\infty\) in the inequality obtained in Lemma 3.3, we get
for any \(n \geq1\), where we used the facts
with \(\delta(C) = \sup\{\xy\; x, y \in C\} < +\infty\). Hence
Clearly this will imply \(R =0\), i.e., \(\lim_{n \rightarrow +\infty} \x_{n}  T(x_{n})\ = 0\). □
Before we state the main fixed point result of this work, let us recall the definition of the weakOpial condition.
Definition 3.2
[17]
Let \((X, \\cdot\)\) be a Banach space. We will say that X satisfies the weakOpial condition if for any sequence \(\{y_{n}\}\) which converges weakly to y, we have
for any \(z \in X\) such that \(y \neq z\).
Theorem 3.3
Let \((X, \\cdot\)\) be a Banach space which satisfies the weakOpial condition. Let C be a nonempty weakly compact convex subset of X. Let \(T:C\rightarrow C\) be a monotone nonexpansive mapping. Assume that there exists \(x_{1} \in C\) such that \(x_{1}\) and \(T(x_{1})\) are comparable. Let \(\{x_{n}\}\) be the Mann iterative sequence defined by (3.1) such that \(\{t_{n}\} \subset [a,b]\), with \(a > 0\) and \(b < 1\). Then \(\{x_{n}\}\) is weakly convergent to x which is a fixed point of T, i.e., \(T(x) = x\). Moreover, x and \(x_{1}\) are comparable.
Proof
Without loss of any generality, we may assume that \(x_{1}\leq T(x_{1})\). Lemma 3.1 implies that \(\{x_{n}\}\) is weakly convergent to some \(x \in C\) with \(x_{n}\) and x comparable for any \(n \geq1\). Assume to the contrary that \(T(x) \neq x\). Since the assumptions of Theorem 3.2 are satisfied, then we must have \(\lim_{n \rightarrow+\infty} \x_{n}  T(x_{n})\ = 0\). Using the definition of the weak Opial condition, we get
This is a contradiction. Hence \(T(x)=x\), i.e., x is a fixed point of T. As we saw x and \(x_{1}\) are comparable, which completes the proof of Theorem 3.3. □
References
Browder, FE: Nonexpansive nonlinear operators in a Banach space. Proc. Natl. Acad. Sci. USA 54, 10411044 (1965)
Göhde, D: Zum prinzip der kontraktiven abbildung. Math. Nachr. 30, 251258 (1965)
Kirk, WA: A fixed point theorem for mappings which do not increase distances. Am. Math. Mon. 72, 10041006 (1965)
Goebel, K, Kirk, WA: Topics in Metric Fixed Point Theory. Cambridge Stud. Adv. Math., vol. 28. Cambridge University Press, Cambridge (1990)
Goebel, K, Reich, S: Uniform Convexity, Hyperbolic Geometry, and Nonexpansive Mappings. Dekker, New York (1984)
Khamsi, MA, Kirk, WA: An Introduction to Metric Spaces and Fixed Point Theory. Wiley, New York (2001)
Ran, ACM, Reurings, MCB: A fixed point theorem in partially ordered sets and some applications to matrix equations. Proc. Am. Math. Soc. 132, 14351443 (2004)
Nieto, JJ, RodríguezLópez, R: Contractive mapping theorems in partially ordered sets and applications to ordinary differential equations. Order 22, 223239 (2005)
Banach, S: Sur les opérations dans les ensembles abstraits et leurs applications. Fundam. Math. 3, 133181 (1922)
Goebel, K, Kirk, WA: Iteration processes for nonexpansive mappings. Contemp. Math. 21, 115123 (1983)
Beauzamy, B: Introduction to Banach Spaces and Their Geometry. NorthHolland, Amsterdam (1985)
Borwein, J, Reich, S, Shafrir, I: Krasnoselskii Mann iterations in normed spaces. Can. Math. Bull. 35, 2128 (1992)
Ishikawa, S: Fixed points and iteration of a nonexpansive mapping in a Banach space. Proc. Am. Math. Soc. 59, 6571 (1976)
Krasnoselskii, MA: Two observations about the method of successive approximations. Usp. Mat. Nauk 10, 123127 (1955)
Reich, S: Weak convergence theorems for nonexpansive mappings in Banach spaces. J. Math. Anal. Appl. 67, 274276 (1979)
Reich, S, Shafrir, I: Nonexpansive iterations in hyperbolic spaces. Nonlinear Anal. 15, 537558 (1990)
Opial, Z: Weak convergence of the sequence of successive approximations for nonexpansive mappings. Bull. Am. Math. Soc. 73, 591597 (1967)
Acknowledgements
This work was funded by the Deanship of Scientific Research (DSR), King Abdulaziz University, Jeddah. The authors, therefore, acknowledge with thanks technical and financial support of DSR.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors contributed equally to the writing of this paper. All authors read and approved the manuscript.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Bin Dehaish, B.A., Khamsi, M.A. Mann iteration process for monotone nonexpansive mappings. Fixed Point Theory Appl 2015, 177 (2015). https://doi.org/10.1186/s1366301504160
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s1366301504160