- Research
- Open access
- Published:
On monotone pointwise contractions in Banach and metric spaces
Fixed Point Theory and Applications volume 2015, Article number: 135 (2015)
Abstract
In this work we define the new concept of monotone pointwise contraction mappings in Banach and metric spaces. Then we prove the existence of fixed points of such mappings.
1 Introduction
The notion of asymptotic pointwise mappings was introduced in [1–3]. The ultrapower technique was useful in proving some related fixed point results. In [3], the authors gave simple and elementary proofs for the existence of fixed point theorems for asymptotic pointwise mappings without the use of ultrapowers. In [4], most of these results were extended to metric spaces. In this work, we introduce the new concept of monotone mappings in Banach and metric spaces. Indeed recently a new direction has been discovered dealing with the extension of the Banach contraction principle to metric spaces endowed with a partial order. The first attempt was successfully carried out by Ran and Reurings [5]. In particular, they showed how this extension is useful when dealing with some special matrix equations. Another similar approach was carried out by Nieto and RodrÃguez-López [6] and they used such arguments in solving some differential equations. In [7], Jachymski gave a more general unified version of these extensions by considering graphs instead of a partial order.
In this work, we investigate the fixed point theory of pointwise contraction mappings to the case of monotone mappings. In particular, we will extend the main result of [3] to the case of monotone mappings. Our approach is new and different from the ideas found in [5, 6].
For more on metric fixed point theory, the reader may consult the book [8].
2 Preliminaries
Let \((X,\|\cdot\|)\) be a Banach vector space and suppose ≤ is a partial order on X. As usual we adopt the convention \(x\geq y\) if and only if \(y\leq x\). The linear structure of X is assumed to be compatible with the order structure in the following sense:
-
(i)
\(x\leq y\Rightarrow x+z\leq y+z\) for all \(x,y,z\in X\);
-
(ii)
\(x\leq y\Rightarrow\alpha x\leq\alpha y\) for all \(x,y\in X\) and \(\alpha\in\mathbb{R}^{+}\).
Moreover, we will assume that order intervals are closed. Recall that an order interval is any of the subsets:
-
(i)
\([a,\rightarrow) = \{x \in X; a \preceq x\}\),
-
(ii)
(\(\leftarrow,a] = \{x \in X; x \preceq a\}\),
for any \(a \in X\). Next we give the definition of monotone Lipschitzian mappings.
Definition 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 pointwise Lipschitzian, if T is monotone and for any \(x \in X\), there exists \(k(x) \in[0,+\infty)\) such that
$$\bigl\Vert T(x)-T(y)\bigr\Vert \leq k(x) \|x-y\|, $$for any \(y \in X\) such that x and y are comparable, i.e., \(x \leq y\) or \(y \leq x\).
If \(k(x) < 1\), for any \(x \in X\), then T is said to be a monotone pointwise contraction. A fixed point of T is any element \(x \in C\) such that \(T(x) =x\). The set of all fixed points of T is denoted by \(\operatorname{Fix}(T)\).
It is clear that pointwise contractive behavior was introduced to extend the contractive behavior in Banach contraction principle [9].
Example 1
Let K be a bounded closed convex subset of the Hilbert space \(\ell^{2}\). Let \(F: K \rightarrow K\). In [9] it is shown that if F is defined and continuously Fréchet differentiable on a convex open set containing K, then F is a pointwise contraction on K if and only if \(\|F_{x}'\| < 1\), for each \(x \in K\), where \(F_{x}'\) denotes the Fréchet derivative of F at x. Next consider the metric space
The distance d on M is defined by
The partial order ⪯ on M is defined by:
-
(i)
\((0,x)\) and \((1,y)\) are not comparable for any \(x, y \in K\);
-
(ii)
\((\varepsilon, x) \preceq(\varepsilon, y)\) if and only if \(x \leq y\) (using the natural pointwise order in \(\ell^{2}\)), for any \(\varepsilon\in\{0,1\}\) and \(x, y \in K\).
Define the mapping \(T: M \rightarrow M\) by
where \(F: K \rightarrow K\) is continuously Fréchet differentiable on a convex open set containing K such that \(\|F_{x}'\| < 1\), for each \(x \in K\). We also assume that F is monotone, i.e., \(x \leq y\) implies \(F(x) \leq F(y)\) for any \(x, y \in K\). Then T is monotone pointwise contraction on M. Indeed, any two points of M are comparable if and only if they have the same first component. Next we notice
where \(\alpha(x) \in[0,1)\), for any \(\varepsilon\in\{0,1\}\) and \(x,y \in K\) comparable. Clearly we used the fact that F is a pointwise contraction on K. But T is not a pointwise contraction on M since
for any \(x \in K\).
The central fixed point result for pointwise contraction mappings is the following theorem [1, 2].
Theorem 2.1
Let K be a weakly compact convex subset of a Banach space and suppose \(T: K\rightarrow K\) is a pointwise contraction. Then T has a unique fixed point, \(x_{0}\). Moreover, the orbit \(\{T^{n}(x)\}\) converges to \(x_{0}\), for each \(x \in M\).
Note that if T is a monotone pointwise contraction, then it is not necessarily continuous by contrast to the pointwise contraction case. Since the main focus of this paper is the fixed point problem, we have the following result.
Lemma 2.1
Let \((X, \|\cdot\|, \leq)\) be as above. Let C be a nonempty subset of X. Let \(T: C \rightarrow X\) be a monotone pointwise contraction. If \(a \in \operatorname{Fix}(T)\), then for any \(x \in X\) comparable to a, i.e., \(a \leq x\) or \(x \leq a\), we have \(\{T^{n}(x)\}\) converges to a. In particular, if a and b are two comparable fixed points of T, then we must have \(a = b\).
Proof
Let \(a \in \operatorname{Fix}(T)\) and x comparable to a. Assume that \(a \leq x\). Since T is monotone, we have \(a \leq T^{n}(x)\), for any \(n \geq1\). Using the definition of pointwise contraction we get
for any \(n \geq1\). Since \(k(a) < 1\), we conclude that \(\{T^{n}(a)\}\) converges to a. Obviously if a and b are two fixed points of T and \(a \leq b\), then we have \(\{T^{n}(b)\} = \{b\}\) converges to a, which implies \(a = b\). □
The crucial part in dealing with pointwise contractions is the existence of the fixed point. Usually it takes more assumptions than the classical Banach contraction principle.
3 Existence of fixed point of monotone pointwise contractions in Banach spaces
Let \((X, \|\cdot\|, \leq)\) be as above. Let C be a nonempty convex subset of X. Let \(T: C \rightarrow C\) be a monotone mapping. Assume there exists \(x_{1} \in C\) such that \(x_{1} \leq T(x_{1})\). Fix \(\lambda\in (0,1)\). Consider the Krasnoselskii iteration sequence \(\{x_{n}\} \subset C\) defined by
Since order intervals are convex, we have \(x_{1} \leq x_{2} \leq T(x_{1})\). Since T is monotone, we get \(T(x_{1}) \leq T(x_{2})\). By induction, we will prove that
for any \(n \geq1\). Let ω be a weak-cluster point of \(\{x_{n}\}\), i.e., there exists a subsequence \(\{x_{\phi(n)}\}\) which converges weakly to ω. Since order intervals are closed and convex, we conclude that \(x_{n} \leq\omega\), for any \(n \geq1\), since \(\{x_{n}\}\) is a monotone increasing sequence. From this we conclude that \(\{x_{n}\}\) has at most one weak-cluster point.
Theorem 3.1
Let \((X, \|\cdot\|, \leq)\) be as above. Let C be a weakly compact nonempty convex subset of X. Let \(T: C \rightarrow C\) be a monotone pointwise contraction. Assume there exists \(x_{1} \in C\) such that \(x_{1} \leq T(x_{1})\). Consider the sequence \(\{x_{n}\}\) defined by (1). Then \(\{x_{n}\}\) is weakly convergent and \(\lim_{n \rightarrow\infty} \|x_{n} - T(x_{n})\|=0\).
Proof
Since C is weakly compact, the sequence \(\{x_{n}\}\) has at least one weak-cluster point. Since \(\{x_{n}\}\) has at most one weak-cluster point, we conclude that \(\{x_{n}\}\) is weakly convergent. As for the second part of this theorem, we will need the following inequality, proved in [10, 11]:
for any \(i, n \in\mathbb{N}\), which is proved by induction on i. Next we note first that \(\{\|x_{n} - T(x_{n})\|\}\) is decreasing. Indeed we have \(x_{n+1} - x_{n} = (1-\lambda)(T(x_{n})-x_{n})\), for any \(n \geq0\). Therefore \(\{\|x_{n} - T(x_{n})\|\}\) is decreasing if and only if \(\{\| x_{n+1} - x_{n}\|\}\) is decreasing, which holds since
for any \(n \geq0\). So if we assume that \(\lim_{n \rightarrow+\infty} \|x_{n} - T(x_{n})\| = R > 0\), then we let \(i \rightarrow+\infty\) in the inequality (2) to obtain
for any \(n \in\mathbb{N}\), where \(\delta(C) = \operatorname{diam}(C)\). Obviously this is a contradiction since both λ and R are not equal to 0. Therefore we have
 □
Remark 1
Let ω be the weak limit of \(\{x_{n}\}\). Using the properties of the order intervals, we conclude that \(x_{n} \leq\omega\), for any \(n \geq1\). The monotonicity of T implies \(T(x_{n}) \leq T(\omega)\), for any \(n \geq1\). Since \(\{x_{n}\}\) is a quasi-fixed point sequence of T, i.e., \(\lim_{n \rightarrow+\infty} \|x_{n} - T(x_{n})\| = 0\), we conclude that \(\{T(x_{n})\} \) also weakly converges to ω, which implies \(\omega\leq T(\omega)\).
Next we prove the main result of this work, which can be seen as an analog to Theorem 2.1.
Theorem 3.2
Let \((X, \|\cdot\|, \leq)\) be as above. Let C be a weakly compact nonempty convex subset of X. Let \(T: C \rightarrow C\) be a monotone pointwise contraction. Assume there exists \(x_{1} \in C\) such that \(x_{1} \leq T(x_{1})\). Then T has a fixed point \(z \in C\) and \(\{T^{n}(x_{1})\}\) converges to z.
Proof
Let \(\{x_{n}\}\) be the sequence generated from \(x_{1}\) by (1). Let ω be its weak limit. Define the type function \(\tau: C \rightarrow[0,+\infty)\) by
Set \(\tau_{0} = \inf \{\tau(x); x \geq\omega\}\). Obviously Ï„ is a continuous convex function. Since C is weakly compact convex subset of X, we conclude the existence of \(z \in C\) such that \(z \geq\omega \) and \(\tau(z) = \tau_{0}\). Since T is monotone, we have \(T(\omega) \leq T(z)\), which implies \(\omega\leq T(z)\) by using Remark 1. Therefore we must have \(\tau(z) \leq\tau(T(z))\). On the other hand, we have
Since \(x_{n} \leq\omega\leq z\), for any \(n \geq1\), we get
which implies
Hence \(\tau(z) \leq k(z) \tau(z)\). Since \(k(z) < 1\), we conclude that \(\tau(z) = 0\), which implies
i.e., \(\{x_{n}\}\) converges to z. In other words, we have \(\omega= z\). Next we show that \(z \in \operatorname{Fix}(T)\). Since
we conclude that \(\{T(x_{n})\}\) converges to \(T(z)\). Finally \(\lim_{n \rightarrow\infty} \|x_{n} - T(x_{n})\| = 0\) implies that \(T(z) = z\). The last part of this theorem follows from the fact that \(x_{1} \leq z\). □
Note that the conclusion of Theorem 3.2 is still valid if we assume \(T(x_{1}) \leq x_{1}\). In this case the Krasnoselskii sequence \(\{x_{n}\}\) will be monotone decreasing and its limit will be less than \(x_{1}\).
4 Existence of fixed point of monotone pointwise contractions in metric spaces
In this section, we discuss the analog of Theorem 3.2 in metric spaces as the authors of [4] did. The approach of both the linear and the nonlinear cases uses an intersection property of convex sets [3] of admissible sets [4]. Since the proof of the main result of the previous section is based on the Krasnoselskii iteration, we will need some kind of convex combination. This is the reason why we do need some kind of metric convexity.
Let \((X,d)\) be a metric space. Suppose that there exists a family \(\mathcal{F}\) of metric segments such that any two points x, y in X are endpoints of a unique metric segment \([x,y] \in\mathcal{F}\) (\([x,y]\) is an isometric image of the real line interval \([0,d(x,y)]\)). We shall denote by \(\beta x \oplus(1-\beta) y\) the unique point z of \([x,y]\) which satisfies
where \(\beta\in[0,1]\). Such metric spaces are usually called convex metric spaces [12]. Moreover, if we have
for all p, q, x, y in X, and \(\alpha\in[0,1]\), then X is said to be a hyperbolic metric space (see [13]). Throughout this paper, we will assume
for any \(\alpha\in[0,1]\), and any \(x, y \in X\).
Obviously, normed linear spaces are hyperbolic spaces. As nonlinear examples, one can consider the Hadamard manifolds [14], the Hilbert open unit ball equipped with the hyperbolic metric [15], and the \(\operatorname{CAT}(0)\) spaces [16–18]. We will say that a subset C of a hyperbolic metric space X is convex if \([x,y]\subset C\) whenever x, y are in C.
Definition 2
Let \((X,d)\) be a hyperbolic metric space. Let C be a nonempty convex closed subset of X. We say that C is weakly compact if and only if for any decreasing sequence \(\{C_{n}\}\) of closed nonempty convex subsets of C, we see that \(\bigcap_{n \geq1} C_{n}\) is not empty.
Since in this work we discuss the fixed point theory of monotone mappings, we will need to introduce a partial order in \((X,d)\). Indeed we assume that a partial order ≤ exists in X. As usual we adopt the convention \(x\geq y\) if and only if \(y\leq x\). Throughout we assume that order intervals are closed and convex. Recall that an order interval is any of the subsets:
-
(i)
\([a,\rightarrow) = \{x \in X; a \preceq x\}\),
-
(ii)
\((\leftarrow,a] = \{x \in X; x \preceq a\}\),
for any \(a \in X\). Next we give the definition of monotone Lipschitzian mappings.
Definition 3
Let \((X, d, \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 pointwise Lipschitzian, if T is monotone and for any \(x \in X\), there exists \(k(x) \in[0,+\infty)\) such that
$$d\bigl(T(x),T(y)\bigr) \leq k(x) d(x,y), $$for any \(y \in X\) such that x and y are comparable.
If \(k(x) < 1\), for any \(x \in X\), then T is said to be a monotone pointwise contraction.
Let C be a nonempty convex subset of X. Let \(T: C \rightarrow C\) be a monotone mapping. Assume there exists \(x_{1} \in C\) such that \(x_{1} \leq T(x_{1})\). Fix \(\lambda\in(0,1)\). Consider the Krasnoselskii iteration sequence \(\{x_{n}\} \subset C\) defined by
The following technical lemma is the metric version of the linear case above.
Lemma 4.1
Let \((X, d, \leq)\) be as above. Let C be a nonempty convex subset of X. Let \(T: C \rightarrow C\) be a monotone mapping. Assume there exists \(x_{1} \in C\) such that \(x_{1} \leq T(x_{1})\). Consider the sequence \(\{x_{n}\}\) defined by (3). Then \(\{x_{n}\}\) satisfies the following properties:
-
(i)
\(x_{n} \leq x_{n+1} \leq T(x_{n})\), for any \(n \geq1\);
-
(ii)
\(\lim_{n \rightarrow\infty} \|x_{n} - T(x_{n})\|=0\).
The metric version of Theorem 3.2 is the following.
Theorem 4.1
Let \((X, d, \leq)\) be as above. Let C be a weakly compact nonempty convex subset of X. Let \(T: C \rightarrow C\) be a monotone pointwise contraction. Assume there exists \(x_{1} \in C\) such that \(x_{1} \leq T(x_{1})\). Then T has a fixed point \(z \in C\) and \(\{T^{n}(x_{1})\}\) converges to z.
Proof
Let \(\{x_{n}\}\) be the sequence generated from \(x_{1}\) by (3). Since C is weakly compact, \(K = \bigcap_{n \geq1} [x_{n}, \rightarrow) \cap C\) is not empty. Clearly K is convex and \(T(K) \subset K\). Define the type function \(\tau: K \rightarrow[0,+\infty)\) by
Set \(\tau_{0} = \inf \{\tau(x); x \in K\}\). Obviously Ï„ is a continuous convex function, i.e., the set \(\{x; \tau(x) \leq r\}\) is convex for any \(r \geq0\). Since C is weakly compact convex subset of X, we conclude the existence of \(z \in C\) such that \(z \in K\) and \(\tau(z) = \tau_{0}\). Since T is monotone, we have \(T(z) \in K\). Hence \(\tau(z) \leq\tau(T(z))\). On the other hand, we have
Since \(x_{n} \leq z\), for any \(n \geq1\), we get
which implies
Hence \(\tau(z) \leq k(z) \tau(z)\). Since \(k(z) < 1\), we conclude that \(\tau(z) = 0\), which implies
i.e., \(\{x_{n}\}\) converges to z. Next we show that \(z \in \operatorname{Fix}(T)\). Since
we conclude that \(\{T(x_{n})\}\) converges to \(T(z)\). Finally \(\lim_{n \rightarrow\infty} d(x_{n} , T(x_{n})) = 0\) implies that \(T(z) = z\). The last part of this theorem follows from the fact that \(x_{1} \leq z\). □
Note that the conclusion of Theorem 4.1 is still valid if we assume \(T(x_{1}) \leq x_{1}\).
References
Kirk, WA: Fixed points of asymptotic contractions. J. Math. Anal. Appl. 277, 645-650 (2003)
Kirk, WA: Asymptotic pointwise contractions. In: Plenary Lecture, the 8th International Conference on Fixed Point Theory and Its Applications, Chiang Mai University, Thailand, 16-22 July (2007)
Kirk, WA, Xu, H-K: Asymptotic pointwise contractions. Nonlinear Anal. 69, 4706-4712 (2008)
Hussain, N, Khamsi, MA: On asymptotic pointwise contractions in metric spaces. Nonlinear Anal., Theory Methods Appl. 71, 4423-4429 (2009)
Ran, ACM, Reurings, MCB: A fixed point theorem in partially ordered sets and some applications to matrix equations. Proc. Am. Math. Soc. 132, 1435-1443 (2004)
Nieto, JJ, RodrÃguez-López, R: Contractive mapping theorems in partially ordered sets and applications to ordinary differential equations. Order 22, 223-239 (2005)
Jachymski, J: The contraction principle for mappings on a metric space with a graph. Proc. Am. Math. Soc. 136, 1359-1373 (2007)
Khamsi, MA, Kirk, WA: An Introduction to Metric Spaces and Fixed Point Theory. Wiley, New York (2001)
Kirk, WA: Mappings of generalized contractive type. J. Math. Anal. Appl. 32, 567-572 (1970)
Goebel, K, Kirk, WA: Iteration processes for nonexpansive mappings. Contemp. Math. 21, 115-123 (1983)
Goebel, K, Kirk, WA: Topics in Metric Fixed Point Theory. Cambridge Stud. Adv. Math., vol. 28. Cambridge University Press, Cambridge (1990)
Menger, K: Untersuchungen über allgemeine Metrik. Math. Ann. 100, 75-163 (1928)
Reich, S, Shafrir, I: Nonexpansive iterations in hyperbolic spaces. Nonlinear Anal. 15, 537-558 (1990)
Busemann, H: Spaces with non-positive curvature. Acta Math. 80, 259-310 (1948)
Goebel, K, Reich, S: Uniform Convexity, Hyperbolic Geometry, and Nonexpansive Mappings. Series of Monographs and Textbooks in Pure and Applied Mathematics, vol. 83. Dekker, New York (1984)
Bridson, M, Haefliger, A: Metric Spaces of Non-positive Curvature. Springer, Berlin (1999)
Kirk, WA: A fixed point theorem in \(\operatorname{CAT}(0)\) spaces and \(\mathbb{R}\)-trees. Fixed Point Theory Appl. 2004(4), 309-316 (2004)
Leustean, L: A quadratic rate of asymptotic regularity for \(\operatorname {CAT}(0)\)-spaces. J. Math. Anal. Appl. 325, 386-399 (2007)
Acknowledgements
This article was funded by the Deanship of Scientific Research (DSR), King Abdulaziz University, Jeddah. The authors, therefore, acknowledge with thanks DSR technical and financial support.
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
Abdou, A.A., Khamsi, M.A. On monotone pointwise contractions in Banach and metric spaces. Fixed Point Theory Appl 2015, 135 (2015). https://doi.org/10.1186/s13663-015-0381-7
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13663-015-0381-7