In this paper, we establish some convergence results for a monotone nonexpansive mapping in a \(\operatorname{CAT}(0)\) space. We prove the Δ- and strong convergence of the Mann iteration scheme. Further, we provide a numerical example to illustrate the convergence of our iteration scheme, and also, as an application, we discuss the solution of integral equation. Our results extend some of the relevant results.
Notes
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
1 Introduction
The Banach contraction principle [1] is one of the most fundamental results in fixed point theory and has been utilized widely for proving the existence of solutions of different nonlinear functional equations. In the last few years, many efforts have been made to obtain fixed points in partially ordered sets. In 2004, Ran and Reurings [2] generalized the Banach contraction principle to ordered metric spaces. Later on, in 2005, Nieto and Rodriguez [3] used the same approach to further extend some more results of fixed point theory in partially ordered metric spaces and utilized them to study the existence of solutions of differential equations.
Note that the Banach contraction principle is no longer true for nonexpansive mappings, that is, a nonexpansive mapping need not admit a fixed point on a complete metric space. Also, Picard iteration need not converge for a nonexpansive map in a complete metric space. This led to the beginning of a new era of fixed point theory for nonexpansive mappings by using geometric properties. In 1965, Browder [4], Göhde [5], and Kirk [6] gave three basic existence results for nonexpansive mappings. With a view to locating fixed points of nonexpansive mappings, Mann [7] and Ishikawa [8] introduced two basic iteration schemes.
Advertisement
Now, fixed point theory of monotone nonexpansive mappings is gaining much attention among the researchers. Recently, Bachar and Khamsi [9], Abdullatif et al. [10], and Song et al. [11] proved some existence and convergence results for monotone nonexpansive mappings. Dehaish and Khamsi [12] proved the weak convergence of the Mann iteration for a monotone nonexpansive mapping. In 2016, Song et al. [11] considered the weak convergence of the Mann iteration scheme for a monotone nonexpansive mapping T under some mild different conditions in a Banach space.
The aim of this paper is to study the convergence behavior of the well-known Mann iteration [7] in a \(\operatorname{CAT}(0)\) space for a monotone nonexpansive mapping. Further, we provide a numerical example and application related to solution of an integral equation. Our results generalize and improve several existing results in the literature.
2 Preliminaries
To make our paper self-contained, we recall some basic definitions and relevant results.
A metric space X is a \(\operatorname{CAT}(0)\) space if it is geodesically connected and if every geodesic triangle in X is at least as thin as its comparison triangle in the Euclidean plane. For further information about these spaces and the fundamental role they play in various branches of mathematics, we refer to Bridson and Haefliger [13] and Burago et al. [14]. Every convex subset of Euclidean space \(\mathbb{R}^{n}\) endowed with the induced metric is a \(\operatorname{CAT}(0)\) space. Further, the class of Hilbert spaces are examples of \(\operatorname{CAT}(0)\) spaces.
Advertisement
The fixed point theory in \(\operatorname{CAT}(0)\) spaces is gaining attention of researchers, and many results have been obtained for single- and multivalued mappings in a \(\operatorname{CAT}(0)\) space. For different aspects of fixed point theory in \(\operatorname{CAT}(0)\) spaces, we refer to [15‐24]. The following few results are necessary for our subsequent discussion.
The asymptotic radius \(r(\{u_{n}\})\) is given by
$$\begin{aligned} r\bigl(\{u_{n}\}\bigr)=\inf \bigl\{ r(u, u_{n}): u \in X\bigr\} , \end{aligned}$$
and the asymptotic center \(A(\{u_{n}\})\) of \(\{u_{n}\}\) is defined as
$$\begin{aligned} A\bigl(\{u_{n}\}\bigr)=\bigl\{ u \in X: r(u, u_{n})=r\bigl( \{u_{n}\}\bigr)\bigr\} . \end{aligned}$$
It is known that in a \(\operatorname{CAT}(0)\) space, \(A(\{u_{n}\})\) consists of exactly one point [25, Proposition 5].
In 1976, Lim [26] introduced the concept of Δ-convergence in a metric space. Later on, Kirk and Panyanak [22] proved that \(\operatorname{CAT}(0)\) spaces presented a natural framework for Lim’s concept and provided precise analogs of several results in Banach spaces involving weak convergence in \(\operatorname{CAT}(0)\) space setting.
Definition 2.4
A sequence \(\{u_{n}\}\) in X is said to be Δ-convergent to \(u\in X\) if u is the unique asymptotic center of \(\{v_{n}\}\) for every subsequence \(\{v_{n}\}\) of \(\{u_{n}\}\). In this case, we write \(\Delta \text{-}\lim_{n} {u_{n}}=u\) and say that u is the Δ-limit of \(\{u_{n}\}\).
Definition 2.5
A Banach space X is said to satisfy Opial’s condition if for any sequence \(\{u_{n}\}\) in X with \(u_{n} \rightharpoonup u\) (⇀ denotes weak convergence), we have \(\limsup_{n\to \infty } \|u_{n} - u\| < \limsup_{n\to \infty } \|u_{n} - v\|\) for all \(v\in X\) with \(v \neq u\).
Examples of Banach spaces satisfying this condition are Hilbert spaces and all \(l^{p}\) spaces (\(1 < p < \infty\)). On the other hand, \(L^{p} [0, 2\pi ]\) with \(1 < p \neq 2\) fail to satisfy Opial’s condition.
Notice that if given a sequence \(\{u_{n}\}\) in X such that \(\{u_{n}\}\) Δ-converge to u, then for \(v\in X\) with \(v \neq u\), we have
IfGis a closed convex subset of a complete\(\operatorname{CAT}(0)\)spaceXand if\(\{u_{n}\}\)is a bounded sequence inG, then the asymptotic center of\(\{u_{n}\}\)is inG.
Next, we introduce the concept of partial order in the setting of \(\operatorname{CAT}(0)\) spaces.
Let X be a complete \(\operatorname{CAT}(0)\) space endowed with partial order “⪯”. An order interval is any of the subsets
Now we present the Mann iteration scheme in the setting of ordered \(\operatorname{CAT}(0)\) spaces \((X, \preceq)\). Let G be a nonempty convex subset of a \(\operatorname{CAT}(0)\) space X. Then the Mann iteration is as follows:
where \(\{\kappa_{n}\} \subset [0, 1]\). In this paper, we prove some Δ-convergence and strong convergence results in \(\operatorname{CAT}(0)\) spaces.
3 Some Δ-convergence and strong convergence theorems
We begin with the following important lemma.
Lemma 3.1
LetGbe a nonempty closed convex subset of a complete ordered\(\operatorname{CAT}(0)\)space\((X,\preceq)\), and let\(P : G \to G\)be a monotone nonexpansive mapping. Fix\(u_{1}\in G\)such that\(u_{1} \preceq Pu_{1}\). If\(\{u_{n}\}\)is defined by (2.1) with condition\(\sum_{n=1} ^{\infty }\kappa_{n} (1-\kappa_{n})=\infty \), then we have:
\(u_{n} \preceq u\), provided that\(\{u_{n}\}\) Δ-converges to a point\(u\in G \).
Proof
(i) We will prove the result by induction on n. Note that if \(q_{1}, q_{2} \in G \) are such that \(q_{1}\preceq q_{2}\), then \(q_{1} \preceq \lambda q_{1} + (1-\lambda)q_{2} \preceq q_{2}\) for any \(\lambda \in [0, 1] \). This is true because we have assumed that order intervals are convex. Thus we only need to show that \(u_{n} \preceq Pu_{n} \) for any \(n\geq 1 \). We have already assumed that \(u_{1} \preceq Pu_{1}\), and hence the inequality holds for \(n=1\). Assume that \(u_{n} \preceq Pu_{n} \) for \(n\geq 2 \). Since \(\kappa_{n} \in [0, 1] \) for all n, we have
that is, \(u_{n} \preceq u_{n+1} \preceq Pu_{n} \). Since P is monotone, we have \(Pu_{n} \preceq Pu_{n+1}\). By using the transitivity of the order we get \(u_{n+1} \preceq Pu_{n+1} \). Thus by induction the inequality is true for any \(n \geq 1 \).
(ii) Let u be the Δ-limit of \(\{u_{n}\}\). From part (i) we have \(u_{n} \preceq u_{n+1} \) for all \(n \geq 1\) since \(\{u_{n}\}\) is increasing and the order interval \([u_{m}, \rightarrow)\) is closed and convex. Therefore \(u \in [u_{m}, \rightarrow) \) for a fixed \(m \in \mathbb{N} \); otherwise, if \(u \notin [u_{m}, \rightarrow) \), then we could construct a subsequence \(\{u_{r}\}\) of \(\{u_{n}\}\) by leaving the first \(m-1\) terms of the sequence \(\{u_{n}\}\), and then the asymptotic center of \(\{u_{r}\}\) would not be u, which contradicts the assumption that u is the Δ-limit of the sequence \(\{u_{n}\}\). This completes the proof of part (ii). □
Lemma 3.2
LetGbe a nonempty closed convex subset of a complete\(\operatorname{CAT}(0)\)space\((X,\preceq)\), and let\(P : G \to G\)be a monotone nonexpansive mapping. Fix\(u_{1}\in G\)such that\(u_{1} \preceq Pu_{1}\). If\(\{u_{n}\}\)is a sequence described as in (2.1) and\(F(P) \neq \emptyset \)with\(r \in F(P)\)such that\(r \preceq u_{1}\), then:
(i)
\(\lim_{n\to \infty } d(u_{n}, r)\)exists, and
(ii)
\(\lim_{n\to \infty } d(Pu_{n},u_{n})=0\).
Proof
(i) Since \(r \preceq u_{1}\), using part (i) of Lemma 3.1, we have \(u_{n} \preceq u_{n+1} \preceq Pu_{n}\). In particular, for \(n=1\), we have \(u_{1} \preceq u_{2} \preceq Pu_{1}\). Using the transitivity of the order, we get \(r \preceq u_{2}\). By mathematical induction we have \(r \preceq u_{n}\) for all \(n\geq 1\). Now we have
Thus we have \(d(u_{n+1}, r) \leq d(u_{n}, r) \) for all \(n \geq 1\). So \(\{d(u_{n}, r)\}\) is a decreasing real sequence bounded below by zero. Hence \(\lim_{n\to \infty } d(u_{n}, r)\) exists.
So \(\lim_{n\to \infty } d(Pu_{n},u_{n})\) exists.
Since \(r\preceq u_{1}\), using the Lemma 3.1, we have \(r\preceq u_{1} \preceq u_{n}\) for all \(n\geq 1\). Then, since P is a nonexpansive map and r is a fixed point of P, we have
Since \(\lim_{n\to \infty } d(Pu_{n},u_{n})\) exists, it follows that \(\lim_{n\to \infty } d(Pu_{n},u_{n})=0\), and this proves the result. □
The following lemma is an analogue of Theorem 3.7 of [22].
Lemma 3.3
LetGbe a nonempty closed convex subset of a complete\(\operatorname{CAT}(0)\)space\((X,\preceq)\), and let\(P : G \to G\)be a monotone nonexpansive mapping. Fix\(u_{1}\in G\)such that\(u_{1} \preceq Pu_{1}\). If\(\{u_{n}\}\)is a sequence described as in (2.1), then the conditions\(\Delta \text{-}\lim_{n} {u_{n}}=u\)and\(\lim_{n\to \infty } d(Pu_{n}, u_{n})=0\)imply thatuis a fixed point ofP.
Proof
Since Δ-\(\lim_{n} {u_{n}}=u\), by Lemma 3.1 we get \(u_{n} \preceq u\) for all \(n\geq 1\). Then from the nonexpansiveness of P and \(\lim_{n\to \infty } d(Pu_{n}, u_{n})=0\) it follows that
Thus by the uniqueness of asymptotic center we get \(Pu=u\), which proves the desired result. □
Theorem 3.4
LetGbe a nonempty closed convex subset of a complete\(\operatorname{CAT}(0)\)space\((X,\preceq)\), and let\(P : G \to G\)be a monotone nonexpansive mapping with\(F(P)\neq \emptyset \). Fix\(u_{1}\in G\)such that\(u_{1} \preceq Pu_{1}\). If\(\{u_{n}\}\)is a sequence described as in (2.1), then\(\{u_{n}\}\) Δ-converges to a fixed point ofP.
Proof
From Lemma 3.2 we have that \(\lim_{n\to \infty } d(u_{n}, r)\) exists for each \(r\in F(P)\), so the sequence \(\{u_{n}\}\) is bounded, and \(\lim_{n\to \infty }d(u_{n}, Pu_{n})=0 \).
Let \(W_{\omega }(\{u_{n}\})=: \bigcup X(\{v_{n}\})\), where the union is taken over all subsequences \(\{v_{n}\}\) over \(\{u_{n}\}\). To show the Δ-convergence of \(\{u_{n}\}\) to a fixed point of P, we will first prove that \(W_{\omega }(\{u_{n}\}) \subset F(P)\) and thereafter argue that \(W_{\omega }(\{u_{n}\})\) is a singleton set. To show that \(W_{\omega }(\{u_{n}\}) \subset F(P)\), let \(y\in W_{\omega }(\{u_{n} \})\). Then there exists a subsequence \(\{y_{n}\}\) of \(\{u_{n}\}\) such that \(X(\{y_{n}\})=y\). By Lemmas 2.6 and 2.7 there exists a subsequence \(\{z_{n}\}\) of \(\{y_{n}\}\) such that \(\Delta \text{-}\lim_{n} z_{n}=z\) and \(z\in G\). Since \(\lim_{n\to \infty } d(Pu _{n}, u_{n})=0\) and \(\{z_{n}\}\) is a subsequence of \(\{u_{n}\}\), we have that \(\lim_{n\to \infty } d(z_{n}, Pz_{n})=0\). In view of Lemma 3.3, we have \(z=Pz\), and hence \(z\in F(P)\).
Now we wish to show that \(z=y\). If, on the contrary, \(z \neq y \), then we would have
which is a contradiction since X satisfies the Opial condition and hence \(z=y\in F(P)\). Now it remains to show that \(W_{\omega }(\{u_{n} \})\) consists of a single element only. For this, let \(\{y_{n}\}\) be a subsequence of \(\{u_{n}\}\). Again, using Lemmas 2.6 and 2.7, we can find a subsequence \(\{z_{n}\}\) of \(\{y_{n}\}\) such that Δ-\(\lim_{n} z_{n}=z\). Let \(X(\{y_{n}\})=y\) and \(X(\{u_{n}\})=u\). Previously, we have already proved that \(y=z\); therefore, it suffices to show that \(z=u\). If \(z \neq u\), then since \(z\in F(P)\), \(\{d(u_{n}, z)\}\) is convergent by Lemma 3.2, By the uniqueness of asymptotic center we have
which gives a contradiction. Therefore we must have \(z=u\), which proves that \(W_{\omega }(\{u_{n}\})\) is a singleton set and that a particular element is a fixed point of P. Hence the conclusion follows. □
Theorem 3.5
LetXbe a complete\(\operatorname{CAT}(0)\)space endowed with partial ordering ′⪯′, and letGbe a nonempty closed convex subset ofX. Let\(P : G \to G\)be a monotone nonexpansive mapping such that\(F(P) \neq \emptyset \). Fix\(u_{1}\in G\)such that and\(u_{1} \preceq Pu _{1}\). If\(\{u_{n}\}\)is a sequence described as in (2.1) such that\(\sum_{n=1}^{\infty }\kappa_{n} (1-\kappa_{n})=\infty \), then\(\{u_{n}\}\)converges to a fixed point ofPif and only if\(\liminf_{n\to \infty } d(u_{n}, F(P))=0\).
Proof
If the sequence \(\{u_{n}\}\) converges to a point \(u\in F(P)\), then it is obvious that \(\liminf_{n\to \infty } d(u_{n},F(P))=0\).
For the converse part, assume that \(\liminf_{n\to \infty } d(u _{n}, F(P))=0\). From Lemma 3.2(i) we have
Thus \(\{d(u_{n},F(P))\}\) forms a decreasing sequence that is bounded below by zero, so \(\lim_{n\to \infty } d(u_{n}, F(P))\) exists. As \(\liminf_{n\to \infty } d(u_{n}, F(P))=0\), we have \(\lim_{n\to \infty } d(u_{n}, F(P))=0\).
Now we prove that \(\{u_{n}\}\) is a Cauchy sequence in G. Let ϵ>0 be arbitrary. Since \(\liminf_{n\to \infty } d(u _{n}, F(P))=0\), there exists \(n_{0}\) such that, for all \(n \geq n_{0}\), we have
which shows that \(\{u_{n}\}\) is a Cauchy sequence. Since G is a closed subset of a complete metric space X, so G itself is a complete metric space, and therefore \(\{u_{n}\}\) must converge in G. Let \(\liminf_{n\to \infty } u_{n} = q\).
Now P is a monotone nonexpansive mapping, and from Lemma 3.3(i) we have \(\lim_{n\to \infty } d(Pu_{n},u_{n})=0\). Also, from the proof of Lemma 3.1 in [12] we can easily deduce that \(u_{n} \preceq q\) for any \(n \geq 1\). Therefore we have
In this section, we present a numerical example to illustrate the convergence behavior of our iteration scheme (2.1).
Let \(X = [0, +\infty)\) be a complete metric space with the metric
$$\begin{aligned} d(u, v) = \vert u - v\vert ,\quad u, v \in X. \end{aligned}$$
Now, consider the order relation \(u \preceq v\) as
$$\begin{aligned}& u, v \in [0, 1] \quad \text{and}\quad u \leq v\quad \text{or} \\& u, v \in (n, n+1] \quad \text{for some } n=1,2, \dots \quad \text{and}\quad u \leq v. \end{aligned}$$
Let P be defined by
$$\begin{aligned} P(0) = 0,\qquad P(u)=\frac{n}{2}+\frac{u}{2},\quad u \in (n, n+1], n = 0, 1, 2, \dots. \end{aligned}$$
Then, clearly, P is not continuous at \(v= n+1\) for \(n = 0, 1, 2, \dots\), since
So, P is a monotone nonexpansive map but not a nonexpansive map, and 0 is the unique fixed point of P.
Now, we show the convergence of (2.1) using two different sets of values.
It is evident from the tables (Table 1 and Table 2) and graphs (Fig. 1 and Fig. 2) that our sequence (2.1) converges to 0, which is a fixed point of P.
Then \(P(G)\subset G\), and it is a monotone nonexpansive map.
It is worth mentioning that every Hilbert space is a \(\operatorname{CAT}(0)\) space, and so is \(L^{2}([0, 1], \mathbb{R})\). Taking \(X = L^{2}([0, 1], \mathbb{R})\) and P as in (5.1) in Theorem 3.4, we get the following result.
Theorem 5.1
Under the above assumptions, the sequence generated by iteration scheme (2.1) converges to a solution of integral equation (IE).
Acknowledgements
Authors are grateful to the anonymous referees for their valuable suggestions and pointing out an omission in example.
Competing interests
The authors declare that they have no competing interests.
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.
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
