Abstract
Let C be a nonempty, closed, and convex subset of a complete CAT(0) space X and let T be an asymptotically nonexpansive mapping of C into itself such that the set of common fixed points of T is nonempty. We introduce the iterative schemes for finding the common fixed point of an asymptotically nonexpansive mapping which is the unique solution of some variational inequalities. The strong convergence theorem of the proposed iterative schemes is established. Our result improves and generalizes several other results in the literature.
Similar content being viewed by others
1 Introduction
Let \((X, d)\) be a metric space. A geodesic path joining \(x \in X\) to \(y \in X\) (or, more briefly, a geodesic from x to y) is a map c from a closed interval \([0, l] \subset\Bbb{R}\) to X such that \(c(0) = x\), \(c(l) = y\), and \(d(c(t), c(t')) = |t - t'|\) for all \(t, t' \in[0, l]\). In particular, c is an isometry and \(d(x, y) = l\). The image α of c is called a geodesic (or metric) segment joining x and y. When it is unique this geodesic segment is denoted by \([x, y]\). The space \((X, d)\) is said to be a geodesic space if every two points of X are joined by a geodesic, and X is said to be uniquely geodesic if there is exactly one geodesic joining x and y for each \(x, y \in X\). A subset \(Y \subseteq X\) is said to be convex if Y includes every geodesic segment joining any two of its points. A geodesic triangle \(\triangle (x_{1}, x_{2}, x_{3})\) in a geodesic metric space \((X, d)\) consists of three points \(x_{1}\), \(x_{2}\), \(x_{3}\) in X (the vertices of △) and a geodesic segment between each pair of vertices (the edges of △). A comparison triangle for the geodesic triangle \(\triangle(x_{1}, x_{2}, x_{3})\) in \((X, d)\) is a triangle \(\overline {\triangle}(x_{1}, x_{2}, x_{3}) := \triangle(\overline{x}_{1}, \overline {x}_{2},\overline{x}_{3})\) \(\Bbb{E}^{2}\) such that \(d_{\Bbb{E}_{2}} (\overline{x}_{i},\overline{x}_{j} )=d(x_{i},x_{j})\) for all \(i,j \in\{ 1,2,3\}\).
A geodesic space is said to be a CAT(0) space if all geodesic triangles of appropriate size satisfy the following comparison axiom.
CAT(0): Let △ be a geodesic triangle in X and let \(\overline {\triangle}\) be a comparison triangle for △. Then △ is said to satisfy the CAT(0) inequality if for all \(x, y \in\triangle\) and all comparison points \(\overline{x},\overline{y} \in\overline{\triangle}\),
If x, \(y_{1}\), \(y_{2}\) are points in a CAT(0) space and if \(y_{0}\) is the midpoint of the segment \([y_{1}, y_{2}]\), then the CAT(0) inequality implies
This is the (CN)-inequality of Bruhat and Tits [1]. In fact (cf. [2, p.163]), a geodesic space is a CAT(0) space if and only if it satisfies the (CN)-inequality.
It is well known that any complete, simply connected Riemannian manifold having nonpositive sectional curvature is a CAT(0) space. Other examples include Pre-Hilbert spaces, ℝ-trees (see [2]), Euclidean buildings (see [3]), the complex Hilbert ball with a hyperbolic metric (see [4]), and many others. Complete CAT(0) spaces are often called Hadamard spaces. It is proved in [2] that a normed linear space satisfies the (CN)-inequality if and only if it satisfies the parallelogram identity, i.e., it is a pre-Hilbert space; hence it is not so unusual to have an inner product-like notion in Hadamard spaces. Berg and Nikolaev [5] introduced the concept of quasilinearization as follows:
Let us formally denote a pair \((a,b)\in X\times X\) by \(\overrightarrow {ab}\) and call it a vector. Then quasilinearization is defined as a map \(\langle\cdot, \cdot\rangle: (X\times X)\times(X\times X)\rightarrow \mathbb{R}\) defined by
It is easily seen that \(\langle\overrightarrow{ab},\overrightarrow {cd}\rangle=\langle\overrightarrow{cd},\overrightarrow{ab}\rangle\), \(\langle\overrightarrow{ab},\overrightarrow{cd}\rangle= -\langle \overrightarrow{ba},\overrightarrow{cd}\rangle\) and \(\langle \overrightarrow{ax},\overrightarrow{cd}\rangle+ \langle\overrightarrow {xb},\overrightarrow{cd}\rangle= \langle\overrightarrow {ab},\overrightarrow{cd}\rangle\) for all \(a,b,c,d, x\in X\). We say that X satisfies the Cauchy-Schwarz inequality if
for all \(a,b,c,d\in X\). It known [5, Corollary 3] that a geodesically connected metric space is a CAT(0) space if and only if it satisfies the Cauchy-Schwarz inequality.
In 2010, Kakavandi and Amini [6] introduced the concept of dual space for CAT(0) spaces as follows. Consider the map \(\Theta: \mathbb{R} \times X \times X \rightarrow C(X)\) defined by
where \(C(X)\) is the space of all continuous real-valued functions on X. Then the Cauchy-Schwarz inequality implies that \(\Theta(t,a,b)\) is a Lipschitz function with Lipschitz semi-norm \(L(\Theta(t,a,b))=|t|d(a,b)\) for all \(t\in\mathbb{R}\) and \(a, b\in X\), where
is the Lipschitz semi-norm of the function \(f: X \rightarrow\mathbb {R}\). Now, define the pseudometric D on \(\mathbb{R} \times X \times X\) by
Lemma 1.1
[6, Lemma 2.1]
\(D((t,a,b),(s,c,d))=0\) if and only if \(t\langle\overrightarrow {ab},\overrightarrow{xy}\rangle=s\langle\overrightarrow {cd},\overrightarrow{xy}\rangle\) for all \(x,y\in X\).
For a complete CAT(0) space \((X,d)\), the pseudometric space \((\mathbb {R} \times X \times X,D)\) can be considered as a subspace of the pseudometric space \((\operatorname{Lip}(X, R),L)\) of all real-valued Lipschitz functions. Also, D defines an equivalence relation on \(\mathbb{R} \times X \times X\), where the equivalence class of \(t\overrightarrow{ab}:=(t,a,b)\) is
The set \(X^{*}:=\{[t\overrightarrow{ab}]: (t,a,b)\in \mathbb{R} \times X \times X\}\) is a metric space with metric D, which is called the dual metric space of \((X,d)\). Recently, Dehghan and Rooin [7] introduced the duality mapping in CAT(0) spaces and studied its relation with subdifferential, by using the concept of quasilinearization. Then they presented a characterization of metric projection in CAT(0) spaces as follows.
Theorem 1.2
[7, Theorem 2.4]
Let C be a nonempty convex subset of a complete CAT(0) space X, \(x\in X\) and \(u\in C\). Then
Let C be a nonempty subset of a complete CAT(0) space X. Then a mapping T of C into itself is called nonexpansive iff \(d(Tx, Ty)\leq d(x, y)\) for all \(x,y\in C\). A point \(x \in C\) is called a fixed point of T if \(x = Tx\). We denote by \(F(T)\) the set of all fixed points of T. Kirk [8] showed that the fixed point set of a nonexpansive mapping T is closed and convex. A mapping T of C into itself is called asymptotically nonexpansive if there exists a sequence \(\{k_{n}\} \subset[1,\infty)\) with \(k_{n}\rightarrow 1\) such that \(d(T^{n}x,T^{n}y) \leq k_{n}d(x,y)\) for all integers \(n\geq1\) and all \(x,y\in C\). A mapping f of C into itself is called a contraction with coefficient \(\alpha\in(0, 1)\) iff \(d(f(x), f(y))\leq\alpha d(x, y)\) for all \(x,y\in C\). Banach’s contraction principle [9] guarantees that f has a unique fixed point when C is a nonempty, closed, and convex subset of a complete metric space. The existence of fixed points and convergence theorems for several mappings in CAT(0) spaces has been investigated by many authors (see also [10–15]).
Clearly, every contraction mapping is nonexpansive and every nonexpansive mapping is asymptotically nonexpansive with sequence \(k_{n} =1\), for all \(n\geq1\). However, asymptotically nonexpansive mappings which are not nonexpansive (see, e.g., [16]). As a generalization of the class of nonexpansive mappings, the class of asymptotically nonexpansive mappings was introduced by Goebel and Kirk [16]) in 1972 and has been studied by several authors. Goebel and Kirk proved that if C is a nonempty, closed, convex, and bounded subset of a uniformly convex Banach space (more general than a Hilbert space, i.e., CAT(0) space), then every asymptotically nonexpansive self-mapping of C has a fixed point. The weak and strong convergence problems to fixed points of nonexpansive and asymptotically nonexpansive mappings have been studied by many authors.
One classical way to study nonexpansive mappings is to use contractions to approximate nonexpansive mappings. More precisely, take \(t\in(0,1)\) and define a contraction \(T_{t}:C\rightarrow C\) by
where \(u\in C\) is an arbitrary fixed element. Banach’s contraction mapping principle guarantees that \(T_{t}\) has a unique fixed point \(x_{t}\) in C. It is unclear, in general, what the behavior of \(x_{t}\) is as \(t\rightarrow0\), even if T has a fixed point. However, in the case of T having a fixed point, Browder [17] proved that \(x_{t}\) converges strongly to a fixed point of T that is nearest to u in the frame work of Hilbert spaces. Reich [18] extended Browder’s result to the setting of Banach spaces and proved, in a uniformly smooth Banach space, that \(x_{t}\) converges strongly to a fixed point of T and the limit defines the (unique) sunny nonexpansive retraction from C onto \(F(T)\). Halpern [19] introduced the following explicit iterative scheme (5) for a nonexpansive mapping T on a subset C of a Hilbert space by taking any points \(u, x_{1} \in C\), defining the iterative sequence \(\{x_{n}\}\):
He proved that the sequence \(\{x_{n}\}\) generated by (5) converges to a fixed point of T. In 2010, Saejung [15] studied the convergence theorems of the following Halpern iterations for a nonexpansive mapping T in a complete CAT(0) space: Let u be fixed and \(x_{t} \in C \) be the unique fixed point of the contraction \(x\mapsto t u\oplus(1-t)Tx \); i.e.
where \(t \in[0,1]\), \(x_{1},u \in C\) are arbitrary chosen, and
where \(\{\alpha_{n}\}\rightarrow(0,1)\). It is proved in [15] that \(\{x_{t}\}\) converges strongly as \(t \rightarrow0\) to \(\tilde{x} \in F(T)\) which is nearest to u (\(\tilde{x} = P_{F(T)}u \)) and \(\{ x_{n}\} \) converges strongly as \(n \rightarrow\infty\) to \(\tilde{x} \in F(T)\) which is nearest to u under certain appropriate conditions on \(\{\alpha_{n}\}\), where \(P_{C}x \) is a metric projection from X onto C. Moreover, the author applied his result to find a common fixed point of a countable family of nonexpansive mappings \(\{T_{n}\} _{n=1}^{\infty}\). He proved that the following iterative scheme (8) converges strongly to \(\tilde{x}\in\bigcap_{n=1}^{\infty}F(T_{n}) \) which is nearest to u:
In 2012, Shi and Chen [14], studied the convergence theorems of the following Moudafi’s viscosity iterations for a nonexpansive mapping T: for a contraction f on C and \(t \in(0,1)\), let \(x_{t}\in C\) be the unique fixed point of the contraction \(x \mapsto tf(x) \oplus(1-t)Tx\); i.e.
and \(x_{1}\in C\) is arbitrary chosen and
where \(\{\alpha_{n}\}\subset(0,1)\). They proved that \(\{x_{t}\}\) defined by (9) converges strongly as \(t\rightarrow 0\) to \(\tilde{x}\in F(T)\) such that \(\tilde{x} = P_{F(T)}f(\tilde{x})\) in the framework of CAT(0) space satisfying the property \(\mathcal{P}\), i.e., if for \(x,u,y_{1},y_{2} \in X\),
Furthermore, they also found that \(\{x_{n}\}\) defined by (10) converges strongly as \(n\rightarrow \infty\) to \(\tilde{x}\in F(T)\) under certain appropriate conditions imposed on \(\{\alpha_{n}\}\). Recently, using the concept of quasilinearization, Wangkeeree and Preechasilp [20] studied the strong convergence theorems of the iterative schemes (9) and (10) in CAT(0) spaces without the property \(\mathcal{P}\). They proved the iterative schemes (9) and (10) converge strongly to \(\tilde{x}\) such that \(\tilde {x}=P_{F(T)}f(\tilde{x})\) which is the unique solution of the variational inequality (VIP):
On the other hand, Shi et al. [21] studied the Δ-convergence of the iteration sequence for asymptotically nonexpansive mappings in CAT(0) spaces. For related work, see [22–25].
Motivated and inspired by Saejung [15] and Wangkeeree and Preechasilp [20] and Shi et al. [21], the purpose of this paper is to study the strong convergence theorems of the Moudafi’s viscosity approximation methods for an asymptotically nonexpansive mapping in CAT(0) spaces. Let C be a closed convex subset of a complete CAT(0) space X. Let \(T^{n}:C\rightarrow C\) be an asymptotically nonexpansive mapping. For given a contraction f on C and \(\alpha_{n} \in(0,1)\), let \(x_{n}\in C\) be the unique fixed point of the contraction \(x \mapsto\alpha_{n}f(x) \oplus(1 - \alpha_{n})T^{n}x\); i.e.
and \(x_{1}\in C\) is arbitrary chosen and
We prove the iterative schemes \(\{x_{n}\}\) defined by (12) and (13) converge strongly to the same point \(\tilde{x}\) such that \(\tilde {x}=P_{\mathcal{F}}f(\tilde{x})\) which is the unique solution of the variational inequality:
2 Preliminaries
In this paper, we write \((1-t)x\oplus ty\) for the unique point z in the geodesic segment joining from x to y such that
We also denote by \([x,y]\) the geodesic segment joining from x to y, that is, \([x, y] = \{(1- t)x \oplus ty : t\in[0, 1]\}\). A subset C of a CAT(0) space is convex if \([x, y]\subseteq C\) for all \(x, y\in C\).
The following lemmas play an important role in our paper.
Lemma 2.1
[2, Proposition 2.2]
Let X be a CAT(0) space, \(p, q, r, s\in X\) and \(\lambda\in [0,1]\). Then
Lemma 2.2
[11, Lemma 2.4]
Let X be a CAT(0) space, \(x,y,z\in X\) and \(\lambda\in[0,1]\). Then
Lemma 2.3
[11, Lemma 2.5]
Let X be a CAT(0) space, \(x,y,z\in X\) and \(\lambda\in[0,1]\). Then
The concept of Δ-convergence introduced by Lim [26] in 1976 was shown by Kirk and Panyanak [27] in CAT(0) spaces to be very similar to the weak convergence in a Banach space setting. Next, we give the concept of Δ-convergence and collect some basic properties.
Let \(\{x_{n}\}\) be a bounded sequence in a CAT(0) space X. For \(x\in X\), we set
The asymptotic radius \(r(\{x_{n}\})\) of \(\{x_{n}\}\) is given by
and the asymptotic center \(A(\{x_{n}\})\) of \(\{x_{n}\}\) is the set
It is well known from Proposition 7 of [13] that in a complete CAT(0) space, \(A(\{x_{n}\})\) consists of exactly one point. A sequence \(\{ x_{n}\}\subset X\) is said to Δ-converge to \(x\in X\) if \(A(\{ x_{n_{k}}\})=\{x\}\) for every subsequence \(\{x_{n_{k}}\}\) of \(\{x_{n}\}\). Uniqueness of the asymptotic center implies that CAT(0) space X satisfies Opial’s property, i.e., for given \(\{x_{n}\}\subset X\) such that \(\{x_{n}\}\) Δ-converges to x and given \(y\in X\) with \(y\neq x\),
Since it is not possible to formulate the concept of demiclosedness in a CAT(0) setting, as stated in linear spaces, let us formally say that ‘\(I-T\) is demiclosed at zero’ if the conditions, \(\{x_{n}\}\subseteq C\) Δ-converges to x and \(d(x_{n}, Tx_{n})\rightarrow 0\) imply \(x\in F(T)\).
Lemma 2.4
[27]
Every bounded sequence in a complete CAT(0) space always has a Δ-convergent subsequence.
Lemma 2.5
[12]
If C is a closed convex subset of a complete CAT(0) space and if \(\{x_{n}\}\) is a bounded sequence in C, then the asymptotic center of \(\{x_{n}\}\) is in C.
Lemma 2.6
[28]
If C is a closed convex subset of X and \(T:C\rightarrow X\) is an asymptotically nonexpansive mapping, then the conditions \(\{x_{n}\}\) Δ-convergence to x and \(d(x_{n},Tx_{n})\rightarrow 0\), and imply \(x\in C\) and \(x\in F(T)\).
Having the notion of quasilinearization, Kakavandi and Amini [6] introduced the following notion of convergence.
A sequence \(\{x_{n}\}\) in the complete CAT(0) space \((X, d)\) w-converges to \(x \in X\) if
i.e. \(\lim_{n\rightarrow \infty}(d^{2}(x_{n},x) - d^{2}(x_{n}, y) + d^{2}(x, y)) = 0\) for all \(y \in X\).
It is obvious that convergence in the metric implies w-convergence, and it is easy to check that w-convergence implies Δ-convergence [6, Proposition 2.5], but it is showed in [29, Example 4.7] that the converse is not valid. However, the following lemma shows another characterization of Δ-convergence as well as, more explicitly, a relation between w-convergence and Δ-convergence.
Lemma 2.7
[29, Theorem 2.6]
Let X be a complete CAT(0) space, \(\{x_{n}\}\) be a sequence in X and \(x \in X\). Then \(\{x_{n}\}\) Δ-converges to x if and only if \(\limsup_{n\rightarrow \infty}\langle\overrightarrow{x x_{n}},\overrightarrow{x y} \rangle\leq0\) for all \(y\in X\).
Lemma 2.8
[30, Lemma 2.1]
Let \(\{a_{n}\}\) be a sequence of non-negative real numbers satisfying the property
where \(\{\alpha_{n}\}\subseteq(0,1)\) and \(\{\beta_{n}\}\subseteq\mathbb {R}\) such that
-
(i)
\(\sum_{n=0}^{\infty}\alpha_{n} = \infty\);
-
(ii)
\(\limsup_{n\rightarrow\infty}\beta_{n} \leq0\) or \(\sum_{n=0}^{\infty}|\alpha_{n}\beta_{n}| < \infty\).
Then \(\{a_{n}\}\) converges to zero, as \(n\rightarrow\infty\).
The following two vital lemmas can be found in [20].
Lemma 2.9
[20]
Let X be a complete CAT(0) space. Then for all \(u,x,y \in X\), the following inequality holds
Lemma 2.10
[20]
Let X be a CAT(0) space. For any \(t\in[0,1]\) and \(u,v \in X\), let \(u_{t} = tu \oplus(1-t)v\). Then, for all \(x,y\in X\),
-
(i)
\(\langle\overrightarrow{u_{t} x},\overrightarrow{u_{t} y} \rangle \leq t\langle\overrightarrow{u x},\overrightarrow{u_{t} y} \rangle+ (1-t)\langle\overrightarrow{v x},\overrightarrow{u_{t} y} \rangle\);
-
(ii)
\(\langle\overrightarrow{u_{t} x},\overrightarrow{u y} \rangle\leq t\langle\overrightarrow{u x},\overrightarrow{u y} \rangle+ (1-t)\langle\overrightarrow{v x},\overrightarrow{u y} \rangle\) and \(\langle\overrightarrow{u_{t} x},\overrightarrow{v y} \rangle\leq t\langle\overrightarrow{u x},\overrightarrow{v y} \rangle+ (1-t)\langle\overrightarrow{v x},\overrightarrow{v y} \rangle\).
3 Viscosity approximation methods
In this section, we present the strong convergence theorems of the Moudafi’s viscosity approximation methods for asymptotically nonexpansive mapping \(T :C\rightarrow C\) in a complete CAT(0) space.
Theorem 3.1
Let C be a closed convex subset of a complete CAT(0) space X, and let \(T:C\rightarrow C\) be an asymptotically nonexpansive mapping with a sequence \(\{k_{n}\}\subset[1,+\infty)\) and \(\lim_{n\rightarrow \infty}k_{n}=1\) such that \(F(T)\neq\emptyset\). Let f be a contraction on C with coefficient \(0<\alpha<1\). Let \(\{\alpha_{n}\}\) be a sequence of real numbers with \(0<\alpha_{n}<1\). Then the following statements hold:
-
(i)
For each \(n\in\Bbb{N}\), if \(\frac{k_{n} - 1}{\alpha_{n}} < 1 - \alpha\), then there exists \(y_{n}\) such that
$$ y_{n} = \alpha_{n}f(y_{n}) \oplus(1- \alpha_{n})T^{n}y_{n}. $$(14) -
(ii)
If \(\alpha_{n}\rightarrow0\) and \(\frac{k_{n}-1}{\alpha_{n}} \rightarrow0\) as \(n\rightarrow \infty\), then \(\{y_{n}\}\) converges strongly as \(n\rightarrow \infty\) to \(\tilde{x}\) such that \(\tilde{x}=P_{F(T)}f(\tilde{x})\), which is equivalent to the following variational inequality:
$$ \bigl\langle \overrightarrow{\tilde{x} f(\tilde{x})}, \overrightarrow{x\tilde{x}} \bigr\rangle \geq0,\quad x\in F(T). $$(15)
Proof
For each integer \(n\leq1\), define a mapping \(G_{n} : C \rightarrow C\) by
We shall show that \(G_{n}\) is a contraction mapping. For any \(x,y \in C\)
Since \(0 < \frac{k_{n}-1}{\alpha_{n}}<1-\alpha\), we have
It follows that \(0 < k_{n}-\alpha_{n}k_{n}+\alpha_{n}\alpha< 1\). We see that \(G_{n}\) is a contraction map with coefficient \((k_{n}-\alpha_{n}k_{n}+\alpha _{n}\alpha)\). For each integer \(n\leq1\), there exists a unique \(y_{n}\in C\) such that \(G_{n}(y_{n})=y_{n}\), that is,
Next, we show that \(\{y_{n}\}\) is bounded. For any \(p\in F(T)\), we have
Then
Hence \(\{y_{n}\}\) is bounded, and so are \(\{Ty_{n}\}\) and \(\{f(y_{n})\}\). We get
Thus
Let \(L = \sup_{n}k_{n}\), then we have
It follows that the sequence \(\{T^{n}y_{n}\}\) is bounded. We claim that \(\lim_{n\rightarrow \infty}d(y_{n},Ty_{n})= 0\). Indeed, we have
Thus
Next, we will show that \(\{y_{n}\}\) contains a subsequence converging strongly to \(\tilde{x}\) such that \(\tilde{x}=P_{F(T)}f(\tilde{x})\), which is equivalent to the following variational inequality:
Since \(\{y_{n}\}\) is bounded, there exists a subsequence \(\{y_{n_{j}}\}\) of \(\{y_{n}\}\) which Δ-converges to \(\tilde{x}\). By Lemmas 2.4, 2.6, we may assume that \(\{ y_{n_{j}}\}\) Δ-converges to a point \(\tilde{x}\) and \(\tilde{x}\in F(T)\). It follows from Lemma 2.10(i) that
It follow that
and hence
Since \(\{y_{n_{j}}\}\) Δ-converges to \(\tilde{x}\), by Lemma 2.7, we have
It follows from (17) that \(\{y_{n_{j}}\}\) converges strongly to \(\tilde{x}\). Next, we show that \(\tilde{x}\) solves the variational inequality (15). Applying Lemma 2.3, for any \(q\in F(T)\),
and hence
We then have
where \(\overline{M} = (k_{n_{j}} + 1)d^{2}(y_{n_{j}},q) \). Since \(y_{n_{j}}\rightarrow \tilde{x}\) and by (16), we have \(T^{n_{j}}y_{n_{j}}\rightarrow \tilde{x}\). It follows from \(\alpha _{n_{j}}\rightarrow0 \), \(k_{n_{j}}\rightarrow1 \), \(\frac{k_{n_{j}} - 1}{\alpha_{n_{j}}}\rightarrow0\), and continuity of the metric distance d that
Hence
That is, \(\tilde{x}\) solves the inequality (15). Assume there exists a subsequence \(\{y_{n_{k}}\}\) of \(\{y_{n}\}\) which Δ-converges to \(\hat{x}\) by the same argument; we see that \(\hat {x}\in F(T)\) and solves the variational inequality (15), i.e.,
and
Adding up (19) and (20), we obtain
Since \(0<\alpha< 1\), we have \(d(\tilde{x},\hat{x})=0\), and so \(\tilde {x}=\hat{x}\). Hence \(y_{n}\) converges strongly as \(n\rightarrow \infty\) to \(\tilde{x,}\) which solves the variational inequality (15). □
Now, we present a strong convergence theorem for an asymptotically nonexpansive mapping.
Theorem 3.2
Let C be a closed convex subset of a complete CAT(0) space X, and let \(T:C\rightarrow C\) be an asymptotically nonexpansive mapping with a sequence \(\{k_{n}\}\subset[1,+\infty)\) and \(\lim_{n\rightarrow \infty}k_{n}=1\) such that \(F(T)\neq\emptyset\). Let f be a contraction on C with coefficient \(0<\alpha<1\). For the arbitrary initial point \(x_{0}\in C\), let \(\{x_{n}\}\) be generated by
where \(\{\alpha_{n}\}\subset(0,1)\) satisfies the following conditions:
-
(i)
\(\lim_{n\rightarrow \infty}\alpha_{n} = 0\);
-
(ii)
\(\sum_{n=0}^{\infty}\alpha_{n} = \infty\);
-
(iii)
\(\lim_{n\rightarrow \infty}\frac{k_{n} - 1}{\alpha_{n}}=0\);
-
(iv)
T satisfies the asymptotically regularity \(\lim_{n\rightarrow \infty} d(x_{n},T^{n}x_{n})= 0\).
Then \(\{x_{n}\}\) converges strongly as \(n\rightarrow \infty\) to \(\tilde{x}\) such that \(\tilde{x}=P_{F(T)}f(\tilde{x})\), which is equivalent to the variational inequality (15).
Proof
We first show that the sequence \(\{x_{n}\}\) is bounded. By condition (iv), for any \(0< \varepsilon<1-\alpha\) and sufficient large \(n\geq0\), we have \(k_{n}-1 \leq\varepsilon\alpha_{n}\). For any \(p\in F(T)\), we have
for all \(n\in\Bbb{N}\). This implies that \(\{x_{n}\}\) is bounded, and so are \(\{T^{n}x_{n}\}\) and \(\{ f(x_{n})\}\). Next, we claim that \(\lim_{n\rightarrow \infty}d(x_{n},Tx_{n}) = 0\). Indeed we have
Therefore
By Theorem 3.1, we have
Finally, we prove that \(x_{n}\rightarrow \tilde{x}\) as \(n\rightarrow \infty\). For any \(n\in \Bbb{N}\), we set \(y_{n} = \alpha_{n}\tilde{x}\oplus(1-\alpha_{n})T^{n}x_{n}\). It follows from Lemmas 2.9 and 2.10(i), (ii) that
Since \(\{\alpha_{n}\}\) and \(\{x_{n}\}\) are bounded, there is \(M > 0\) such that
It follows that
Now, taking \(\gamma_{n}=\frac{1-2\alpha\alpha_{n}-(1-2\alpha _{n})k_{n}^{2}}{1-\alpha\alpha_{n}}\), \(\delta_{n}= \alpha_{n} (\frac{2}{1-\alpha \alpha_{n}}\langle\overrightarrow{f(\tilde{x})\tilde{x}},\overrightarrow {x_{n+1}\tilde{x}}\rangle+\alpha_{n}^{2}M )\); applying Lemma 2.8 and (22), we can conclude that \(x_{n}\rightarrow \tilde{x}\). □
If \(T:C\rightarrow C\) in Theorem 3.2 is a nonexpansive mapping, we can obtain the following result immediately.
Corollary 3.3
[20, Theorem 3.4]
Let C be a closed convex subset of a complete CAT(0) space X, and let \(T:C\rightarrow C\) be a nonexpansive mapping with \(F(T)\neq\emptyset\). Let f be a contraction on C with coefficient \(0<\alpha<1\). For the arbitrary initial point \(x_{0}\in C\), let \(\{x_{n}\}\) be generated by
where \(\{\alpha_{n}\}\subset(0,1)\) satisfies the following conditions:
-
(i)
\(\lim_{n\rightarrow \infty}\alpha_{n} = 0\);
-
(ii)
\(\sum_{n=0}^{\infty}\alpha_{n} = \infty\);
-
(iii)
either \(\sum_{n=0}^{\infty}| \alpha_{n+1} - \alpha_{n} |<\infty\) or \(\lim_{n\rightarrow \infty}(\alpha_{n+1}/\alpha_{n})= 1\).
Then \(\{x_{n}\}\) converges strongly as \(n\rightarrow \infty\) to \(\tilde{x}\) such that \(\tilde{x}=P_{F(T)}f(\tilde{x})\) which is equivalent to the variational inequality (15).
References
Bruhat, F, Tits, J: Groupes réductifs sur un corps local. I. Données radicielles valuées. Publ. Math. Inst. Hautes Études Sci. 41, 5-251 (1972)
Banach, S: Metric Spaces of Nonpositive Curvature. Springer, New York (1999)
Brown, KS: Building. Springer, New York (1989)
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)
Berg, ID, Nikoleav, IG: Quasilinearization and curvature of Alexandrov spaces. Geom. Dedic. 133, 195-218 (2008)
Kakavandi, BA, Amini, M: Duality and subdifferential for convex functions on complete CAT(0) metric spaces. Nonlinear Anal. 73, 3450-3455 (2010)
Dehghan, H, Rooin, J: A characterization of metric projection in CAT(0) spaces. In: Proceedings of Interational Conference on Functional Equation, Geometric Functions and Applications (ICFGA 2012), Payame Noor University, Tabriz, Iran, 10-12 May 2012, pp. 41-43 (2012)
Kirk, WA: Geodesic geometry and fixed point theory. In: Seminar of Mathematical Analysis (Malaga/Seville, 2002/2003), pp. 195-225. Univ. Sevilla Secr. Publ., Seville (2003)
Bridson, M, Haefliger, A: Sur les opérations dans les ensembles abstraits et leur application aux équations intégrales. Fundam. Math. 3, 133-181 (1922)
Cho, YJ, Ćirić, L, Wang, SH: Convergence theorems for nonexpansive semigroups in CAT(0) spaces. Nonlinear Anal. 74, 6050-6059 (2011)
Dhompongsa, S, Panyanak, B: On Δ-convergence theorems in CAT(0) spaces. Comput. Math. Appl. 56, 2572-2579 (2008)
Dhompongsa, S, Kirk, WA, Panyanak, B: Nonexpansive set-valued mappings in metric and Banach spaces. J. Nonlinear Convex Anal. 8, 33-45 (2007)
Dhompongsa, S, Kirk, WA, Sims, B: Fixed points of uniformly Lipschitzian mappings. Nonlinear Anal. 65, 762-772 (2006)
Shi, LY, Chen, RD: Strong convergence of viscosity approximation methods for nonexpansive mappings in CAT(0) spaces. J. Math. Appl. (2012). doi:10.1155/2012/421050
Saejung, S: Halpern’s iteration in CAT(0) spaces. Fixed Point Theory Appl. (2010). doi:10.1155/2010/471781
Goebel, K, Kirk, WA: A fixed point theorem for asymptotically nonexpansive mappings. Proc. Am. Math. Soc. 35, 171-174 (1972)
Browder, FE: Fixed point theorems for noncompact mappings in Hilbert spaces. Proc. Natl. Acad. Sci. USA 53, 1272-1276 (1965)
Reich, S: Strong convergence theorems for resolvents of accretive operators in Banach spaces. J. Math. Anal. Appl. 75, 287-292 (1980)
Halpern, B: Fixed points of nonexpansive maps. Bull. Am. Math. Soc. 73, 957-961 (1967)
Wangkeeree, R, Preechasilp, P: Viscosity approximation methods for nonexpansive mappings in CAT(0) spaces. J. Inequal. Appl. 2013, Article ID 93 (2013)
Shi, LY, Chen, RD, Wu, YJ: Δ-Convergence problems for asymptotically nonexpansive mappings in CAT(0) spaces. Abstr. Appl. Anal. 2013, Article ID 251705 (2013)
Wangkeeree, R, Preechasilp, P: Viscosity approximation methods for nonexpansive semigroups in CAT(0) spaces. Fixed Point Theory Appl. 2013, Article ID 160 (2013)
Reich, S, Shemen, L: A note on Halpern’s algorithm in the Hilbert ball. J. Nonlinear Convex Anal. 14, 853-862 (2013)
Kopecka, K, Reich, S: Approximating fixed points in the Hilbert ball. J. Nonlinear Convex Anal. 15, 819-829 (2013)
Kumam, P, Saluja, GS, Nashine, HK: Convergence of modified S-iteration process for two asymptotically nonexpansive mappings in the intermediate sense in CAT(0) spaces. J. Inequal. Appl. 2014, Article ID 368 (2014)
Lim, TC: Remarks on some fixed point theorems. Proc. Am. Math. Soc. 60, 179-182 (1976)
Kirk, WA, Panyanak, B: A concept of convergence in geodesic spaces. Nonlinear Anal. 68, 3689-3696 (2008)
Hussain, N, Khamsi, MA: On asymptotic pointwise contraction in metric space. Nonlinear Anal., Theory Methods Appl. 71, 4423-4429 (2009)
Kakavandi, BA: Weak topologies in complete CAT(0) metric spaces. Proc. Am. Math. Soc. 141, 1029-1039 (2013)
Xu, HK: An iterative approach to quadratic optimization. J. Optim. Theory Appl. 116, 659-678 (2003)
Acknowledgements
This research is supported by the Centre of Excellence in Mathematics, the Commission on Higher Education, Thailand.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors read and approved the final manuscript.
Rights and permissions
Open Access This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited.
About this article
Cite this article
Wangkeeree, R., Boonkong, U. & Preechasilp, P. Viscosity approximation methods for asymptotically nonexpansive mapping in CAT(0) spaces. Fixed Point Theory Appl 2015, 23 (2015). https://doi.org/10.1186/s13663-015-0273-x
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13663-015-0273-x