Skip to main content

Strong and -convergence theorems for two asymptotically nonexpansive mappings in the intermediate sense in \(\operatorname{CAT}(0)\) spaces

Abstract

In this paper, we study strong and -convergence for a newly defined two-step iteration process involving two asymptotically nonexpansive mappings in the intermediate sense which is wider than the class of asymptotically nonexpansive mappings in the setting of \(\operatorname{CAT}(0)\) spaces. Our results generalize, unify and extend many known results from the existing literature.

1 Introduction

A metric space \((X,d)\) 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. It is well known that any complete, simply connected Riemannian manifold having non-positive sectional curvature is a \(\operatorname{CAT}(0)\) space. Fixed point theory in \(\operatorname{CAT}(0)\) spaces was first studied by Kirk (see [1, 2]). He showed that every nonexpansive (single-valued) mapping defined on a bounded closed convex subset of a complete \(\operatorname{CAT}(0)\) space always has a fixed point. It is worth mentioning that the results in \(\operatorname{CAT}(0)\) spaces can be applied to any \(\operatorname{CAT}(k)\) space with \(k\leq0\) since any \(\operatorname{CAT}(k)\) space is a \(\operatorname{CAT}(m)\) space for every \(m\geq k\) (see [3]).

The Mann iteration process is defined by the sequence \(\{x_{n}\}\),

$$ \left \{ \begin{array}{@{}l} x_{1}\in K,\\ x_{n+1}=(1-\alpha_{n})x_{n}+\alpha_{n}Tx_{n}, \quad n\geq1, \end{array} \right . $$
(1.1)

where \(\{\alpha_{n}\}\) is a sequence in \((0,1)\).

Further, the Ishikawa iteration process is defined by the sequence \(\{x_{n}\}\),

$$ \left \{ \begin{array}{@{}l} x_{1}\in K,\\ x_{n+1}=(1-\alpha_{n})x_{n}+\alpha_{n}Ty_{n},\\ y_{n}=(1-\beta_{n})x_{n}+\beta_{n}Tx_{n},\quad n\geq1, \end{array} \right . $$
(1.2)

where \(\{\alpha_{n}\}\) and \(\{\beta_{n}\}\) are the sequences in \((0,1)\). This iteration process reduces to the Mann iteration process when \(\beta_{n}=0\) for all \(n\geq1\).

In 2007, Agarwal et al. [4] introduced the S-iteration process in a Banach space,

$$ \left \{ \begin{array}{@{}l} x_{1}\in K,\\ x_{n+1}=(1-\alpha_{n})Tx_{n}+\alpha_{n}Ty_{n},\\ y_{n}=(1-\beta_{n})x_{n}+\beta_{n}Tx_{n},\quad n\geq1, \end{array} \right . $$
(1.3)

where \(\{\alpha_{n}\}\) and \(\{\beta_{n}\}\) are the sequences in \((0,1)\). Note that (1.3) is independent of (1.2) (and hence (1.1)). They showed that their process is independent of those of Mann and Ishikawa and converges faster than both of these (see [4, Proposition 3.1]).

Schu [5], in 1991, considered the modified Mann iteration process which is a generalization of the Mann iteration process,

$$ \left \{ \begin{array}{@{}l} x_{1}\in K,\\ x_{n+1}=(1-\alpha_{n})x_{n}+\alpha_{n}T^{n}x_{n},\quad n\geq1, \end{array} \right . $$
(1.4)

where \(\{\alpha_{n}\}\) is a sequence in \((0,1)\).

Tan and Xu [6], in 1994, studied the modified Ishikawa iteration process which is a generalization of the Ishikawa iteration process,

$$ \left \{ \begin{array}{@{}l} x_{1}\in K,\\ x_{n+1}=(1-\alpha_{n})x_{n}+\alpha_{n}T^{n}y_{n},\\ y_{n}=(1-\beta_{n})x_{n}+\beta_{n}T^{n}x_{n},\quad n\geq1, \end{array} \right . $$
(1.5)

where \(\{\alpha_{n}\}\) and \(\{\beta_{n}\}\) are the sequences in \((0,1)\). This iteration process reduces to the modified Mann iteration process when \(\beta_{n}=0\) for all \(n\geq1\).

Recently, Agarwal et al. [4] introduced the modified S-iteration process in a Banach space,

$$ \left \{ \begin{array}{@{}l} x_{1}\in K,\\ x_{n+1}=(1-\alpha_{n})T^{n}x_{n}+\alpha_{n}T^{n}y_{n},\\ y_{n}=(1-\beta_{n})x_{n}+\beta_{n}T^{n}x_{n}, \quad n\geq1, \end{array} \right . $$
(1.6)

where \(\{\alpha_{n}\}\) and \(\{\beta_{n}\}\) are the sequences in \((0,1)\). Note that (1.6) is independent of (1.5) (and hence of (1.4)). Also (1.6) reduces to (1.3) when \(T^{n}=T\) for all \(n\geq1\).

Very recently, Şahin and Başarir [7] modified iteration process (1.6) in a \(\operatorname{CAT}(0)\) space as follows.

Let K be a nonempty, closed and convex subset of a complete \(\operatorname{CAT}(0)\) space X, and let \(T\colon K\to K\) be an asymptotically quasi-nonexpansive mapping with \(F(T)\neq\emptyset \). Suppose that \(\{x_{n}\}\) is a sequence generated iteratively by

$$ \left \{ \begin{array}{@{}l} x_{1}\in K,\\ x_{n+1}=(1-\alpha_{n})T^{n}x_{n}\oplus\alpha_{n}T^{n}y_{n},\\ y_{n}=(1-\beta_{n})x_{n}\oplus\beta_{n}T^{n}x_{n}, \quad n\geq1, \end{array} \right . $$
(1.7)

where and throughout the paper \(\{\alpha_{n}\}\), \(\{\beta_{n}\}\) are sequences such that \(0\leq\alpha_{n}, \beta_{n}\leq1\), for all \(n\geq 1\). They studied the modified S-iteration process for asymptotically quasi-nonexpansive mappings in a \(\operatorname{CAT}(0)\) space and established some strong convergence results under some suitable conditions which generalize some results of Khan and Abbas [8].

Inspired and motivated by the work of Şahin and Başarir [7] and some others, we further modify iteration scheme (1.7) for two mappings in a \(\operatorname{CAT}(0)\) space as follows.

Consider K to be a nonempty closed convex subset of a complete \(\operatorname{CAT}(0)\) space X and \(S, T\colon K\to K\) to be two asymptotically nonexpansive mappings in the intermediate sense with \(F=F(S)\cap F(T)\neq\emptyset \). Suppose that \(\{x_{n}\}\) is a sequence generated iteratively by

$$ \left \{ \begin{array}{@{}l} x_{1}\in K,\\ x_{n+1}=(1-\alpha_{n})T^{n}x_{n}\oplus\alpha_{n}S^{n}y_{n},\\ y_{n}=(1-\beta_{n})S^{n}x_{n}\oplus\beta_{n}T^{n}x_{n}, \quad n\geq1, \end{array} \right . $$
(1.8)

where and throughout the paper \(\{\alpha_{n}\}\), \(\{\beta_{n}\}\) are the sequences such that \(0\leq\alpha_{n}, \beta_{n}\leq1\) for all \(n\geq 1\).

Remark 1.1

If we take \(S=I\), where I is the identity mapping and \(\beta_{n}=0\) for all \(n\geq1\), then (1.8) reduces to the modified Mann iteration process in a \(\operatorname{CAT}(0)\) space.

In this paper, we study the newly defined two-step iteration process (1.8) involving two asymptotically nonexpansive mappings in the intermediate sense and investigate the existence and convergence theorems for the above said mappings and iteration scheme in the framework of \(\operatorname{CAT}(0)\) spaces. Our results generalize, unify and extend several comparable results in the existing literature.

2 Preliminaries and lemmas

In order to prove the main results of this paper, we need the following definitions, concepts and lemmas.

Let \((X,d)\) be a metric space and K be its nonempty subset. Consider \(T\colon K\to K\) to be a mapping. A point \(x\in K\) is called a fixed point of T if \(Tx=x\). We will also denote by F the set of common fixed points of S and T, that is, \(F=\{x\in K:Sx=Tx=x\}\).

The concept of asymptotically nonexpansive mapping was introduced by Goebel and Kirk [9] in 1972. The iterative approximation problems for asymptotically nonexpansive and asymptotically quasi-nonexpansive mappings were studied by many authors in a Banach space and a \(\operatorname{CAT}(0)\) space (see, e.g., [6, 1018]).

Definition 2.1

Let \((X,d)\) be a metric space and K be its nonempty subset. Then \(T\colon K\to K\) is said to be:

  1. (1)

    nonexpansive if \(d(Tx,Ty)\leq d(x,y)\) for all \(x,y\in K\);

  2. (2)

    asymptotically nonexpansive if there exists a sequence \(\{u_{n}\}\subset[0,\infty)\), with \(\lim_{n\to\infty}u_{n}=0\), such that \(d(T^{n}x,T^{n}y)\leq(1+u_{n})d(x,y)\) for all \(x,y\in K\) and \(n\geq 1\);

  3. (3)

    uniformly L-Lipschitzian if there exists a constant \(L>0\) such that \(d(T^{n}x,T^{n}y)\leq L d(x,y)\) for all \(x,y\in K\) and \(n\geq1\);

  4. (4)

    semi-compact if for a sequence \(\{x_{n}\}\) in K with \(\lim_{n\to\infty}d(x_{n},Tx_{n})=0\), there exists a subsequence \(\{x_{n_{k}}\}\) of \(\{x_{n}\}\) such that \(x_{n_{k}}\to p\in K\).

In 1993, Bruck et al. [19] introduced a notion of asymptotically nonexpansive mapping in the intermediate sense. More accurately, a mapping \(T\colon K\to K\) is said to be asymptotically nonexpansive in the intermediate sense provided that T is uniformly continuous and

$$\limsup_{n\to\infty}\sup_{x, y\in K} \bigl\{ d \bigl(T^{n}x,T^{n}y\bigr)-d(x,y) \bigr\} \leq0. $$

From the above definitions, it follows that an asymptotically nonexpansive mapping must be an asymptotically nonexpansive mapping in the intermediate sense. But the converse does not hold as the following example shows.

Example 2.1

(see [20])

Let \(X=\mathbb{R}\), \(K=[-\frac{1}{\pi}, \frac{1}{\pi}]\) and \(|\lambda|< 1\). For each \(x\in K\), define

$$T(x)= \left \{ \begin{array}{@{}l@{\quad}l} \lambda x \sin\frac{1}{x}&\mbox{if }x\neq0,\\ 0 &\mbox{if }x=0. \end{array} \right . $$

Then T is an asymptotically nonexpansive mapping in the intermediate sense but it is not an asymptotically nonexpansive mapping.

Remark 2.1

It is clear that the class of asymptotically nonexpansive mappings includes nonexpansive mappings, whereas the class of asymptotically nonexpansive mappings in the intermediate sense is larger than that of asymptotically nonexpansive mappings.

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\mathbb{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. We say that X is

  1. (i)

    a geodesic space if any two points of X are joined by a geodesic;

  2. (ii)

    uniquely geodesic if there is exactly one geodesic joining x and y for each \(x,y\in X\), which we will denote by \([x,y]\), called the segment joining x to y.

A geodesic triangle \(\triangle(x_{1},x_{2},x_{3})\) in a geodesic metric space \((X,d)\) consists of three points 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})\) in \(\mathbb{R}^{2}\) such that \(d_{\mathbb{R}^{2}}(\overline{x}_{i},\overline{x}_{j})=d(x_{i},x_{j})\) for \(i,j\in\{1,2,3\}\). Such a triangle always exists (see [3]).

\(\boldsymbol {\operatorname {CAT}(0)}\) space

A geodesic metric space is said to be a \(\operatorname{CAT}(0)\) space if all geodesic triangles of appropriate size satisfy the following \(\operatorname{CAT}(0)\) comparison axiom.

Let be a geodesic triangle in X, and let \(\overline{\triangle}\subset\mathbb{R}^{2}\) be a comparison triangle for . Then is said to satisfy the \(\operatorname{CAT}(0)\) inequality if for all \(x,y\in\triangle\) and all comparison points \(\overline{x},\overline{y}\in \overline{\triangle}\),

$$\begin{aligned} d(x,y)\leq d_{\mathbb{R}^{2}}(\overline{x},\overline{y}). \end{aligned}$$
(2.1)

Complete \(\operatorname{CAT}(0)\) spaces are often called Hadamard spaces (see [20]). If x, \(y_{1}\), \(y_{2}\) are points of a \(\operatorname{CAT}(0)\) space and \(y_{0}\) is the midpoint of the segment \([y_{1},y_{2}]\), which we will denote by \((y_{1}\oplus y_{2})/2\), then the \(\operatorname{CAT}(0)\) inequality implies

$$\begin{aligned} d^{2} \biggl(x,\frac{y_{1}\oplus y_{2}}{2} \biggr)\leq \frac{1}{2} d^{2}(x,y_{1})+\frac{1}{2} d^{2}(x,y_{2})- \frac{1}{4} d^{2}(y_{1},y_{2}). \end{aligned}$$
(2.2)

Inequality (2.1) is the (CN) inequality of Bruhat and Tits [21]. The above inequality has been extended in [22] as

$$\begin{aligned} d^{2}\bigl(z,\alpha x\oplus(1-\alpha)y\bigr) \leq& \alpha d^{2}(z,x)+(1-\alpha)d^{2}(z,y) -\alpha(1-\alpha)d^{2}(x,y) \end{aligned}$$
(2.3)

for any \(\alpha\in[0,1]\) and \(x,y,z\in X\).

Let us recall that a geodesic metric space is a \(\operatorname{CAT}(0)\) space if and only if it satisfies the (CN) inequality (see [3, p.163]). Moreover, if X is a \(\operatorname{CAT}(0)\) metric space and \(x,y\in X\), then for any \(\alpha\in[0,1]\), there exists a unique point \(\alpha x\oplus(1-\alpha)y\in[x,y]\) such that

$$\begin{aligned} d\bigl(z,\alpha x\oplus(1-\alpha)y\bigr)\leq \alpha d(z,x)+(1- \alpha)d(z,y) \end{aligned}$$
(2.4)

for any \(z\in X\) and \([x,y]=\{\alpha x\oplus(1-\alpha)y:\alpha\in [0,1]\}\).

A subset K of a \(\operatorname{CAT}(0)\) space X is convex if, for any \(x,y\in K\), we have \([x,y]\subset K\).

For the development of our main results, we recall some definitions, and some key results are listed in the form of lemmas.

Lemma 2.1

([14])

Let X be a \(\operatorname{CAT}(0)\) space.

  1. (i)

    For \(x, y\in X\) and \(t\in[0,1]\), there exists a unique point \(z\in[x, y]\) such that

    $$ d(x, z)=t d(x, y) \quad\textit{and} \quad d(y, z)=(1-t) d(x, y). $$
    (A)

We use the notation \((1-t)x\oplus ty\) for the unique point z satisfying (A).

  1. (ii)

    For \(x, y\in X\) and \(t\in[0,1]\), we have

    $$d\bigl((1-t)x\oplus ty,z\bigr)\leq(1-t)d(x,z)+td(y,z). $$

Let \(\{x_{n}\}\) be a bounded sequence in a closed convex subset K of a \(\operatorname{CAT}(0)\) space X. For \(x\in X\), set

$$r\bigl(x,\{x_{n}\}\bigr)=\limsup_{n\to\infty}d(x,x_{n}). $$

The asymptotic radius \(r(\{x_{n}\})\) of \(\{x_{n}\}\) is given by

$$r\bigl(\{x_{n}\}\bigr)=\inf\bigl\{ r\bigl(x,\{x_{n}\}\bigr):x \in X\bigr\} $$

and the asymptotic center \(A(\{x_{n}\})\) of \(\{x_{n}\}\) is the set

$$A\bigl(\{x_{n}\}\bigr)= \bigl\{ x\in X:r\bigl(\{x_{n}\} \bigr)=r\bigl(x,\{x_{n}\}\bigr) \bigr\} . $$

It is known that, in a \(\operatorname{CAT}(0)\) space, \(A(\{x_{n}\})\) consists of exactly one point; please see [23, Proposition 7].

We now recall the definition of -convergence and weak convergence () in a \(\operatorname{CAT}(0)\) space.

Definition 2.2

([24])

A sequence \(\{x_{n}\}\) in a \(\operatorname{CAT}(0)\) space X is said to -converge to \(x\in X\) if x is the unique asymptotic center of \(\{x_{n}\}\) for every subsequence \(\{u_{n}\}\) of \(\{x_{n}\}\).

In this case we write \(\triangle\mbox{-}\!\lim_{n}x_{n}=x\) and call x the -limit of \(\{x_{n}\}\).

Now, let us recall that a bounded sequence \(\{x_{n}\}\) in X is said to be regular if \(r(\{x_{n}\})=r(\{u_{n}\})\) for every subsequence \(\{u_{n}\}\) of \(\{x_{n}\}\). In the Banach space it is known that every bounded sequence has a regular subsequence; please see [25, Lemma 15.2].

Since in a \(\operatorname{CAT}(0)\) space every regular sequence -converges, we see that every bounded sequence in X has a -convergent subsequence, also it is noticed in [24, p.3690].

Lemma 2.2

([26])

Given \(\{x_{n}\}\subset X\) such that \(\{x_{n}\}\) -converges to x and given \(y\in X\) with \(y\neq x\), then

$$\limsup_{n}d(x_{n},x)< \limsup _{n}d(x_{n},y). $$

In a Banach space the above condition is known as the Opial property.

Now, recall the definition of weak convergence in a \(\operatorname{CAT}(0)\) space.

Definition 2.3

([27])

Let K be a closed convex subset of a \(\operatorname{CAT}(0)\) space X. A bounded sequence \(\{x_{n}\}\) in K is said to converge weakly to \(q\in K\) if and only if \(\Phi(q)=\inf_{x\in K}\Phi(x)\), where \(\Phi(x)=\limsup_{n\to\infty}d(x_{n},x)\).

Note that \(\{x_{n}\}\rightharpoonup q\) if and only if \(A_{K}\{x_{n}\}=\{q\}\).

Nanjaras and Panyanak [28] established the following relation between -convergence and weak convergence in a \(\operatorname{CAT}(0)\) space.

Lemma 2.3

([28, Proposition 3.12])

Let \(\{x_{n}\}\) be a bounded sequence in a \(\operatorname{CAT}(0)\) space X, and let K be a closed convex subset of X which contains \(\{x_{n}\}\). Then

  1. (i)

    \(\triangle\mbox{-}\!\lim_{x_{n}}=x\) implies \(x_{n}\rightharpoonup x\).

  2. (ii)

    The converse of (i) is true if \(\{x_{n}\}\) is regular.

Lemma 2.4

([22, Lemma 2.8])

If \(\{x_{n}\}\) is a bounded sequence in a \(\operatorname{CAT}(0)\) space X, with \(A(\{x_{n}\})=\{x\}\), and \(\{u_{n}\}\) is a subsequence of \(\{x_{n}\}\), with \(A(\{u_{n}\})=\{u\}\), and the sequence \(\{d(x_{n},u)\}\) converges, then \(x=u\).

Lemma 2.5

([29, Proposition 2.1])

If K is a closed convex subset of a \(\operatorname{CAT}(0)\) space X and if \(\{x_{n}\}\) is a bounded sequence in K, then the asymptotic center of \(\{x_{n}\}\) is in K.

Lemma 2.6

([30])

Suppose that \(\{a_{n}\}\) and \(\{b_{n}\}\) are two sequences of nonnegative numbers such that \(a_{n+1}\leq a_{n} + b_{n}\) for all \(n\geq1\). If \(\sum_{n=1}^{\infty} b_{n}\) converges, then \(\lim_{n\to\infty}a_{n}\) exists.

Lemma 2.7

([26, Theorem 3.1])

Let X be a complete \(\operatorname{CAT}(0)\) space, K be a nonempty closed convex subset of X. If \(T\colon K\to K\) is an asymptotically nonexpansive mapping in the intermediate sense, then T has a fixed point.

Lemma 2.8

([26, Theorem 3.2])

Let X be a complete \(\operatorname{CAT}(0)\) space, K be a nonempty closed convex subset of X. If \(T\colon K\to K\) is an asymptotically nonexpansive mapping in the intermediate sense, then \(\operatorname{Fix}(T)\) is closed and convex.

Lemma 2.9

(Demiclosed principle [26, Proposition 3.3])

Let K be a closed convex subset of a complete \(\operatorname{CAT}(0)\) space X and \(T\colon K\to K\) be an asymptotically nonexpansive mapping in the intermediate sense. If \(\{x_{n}\}\) is a bounded sequence in K such that \(\lim_{n\to\infty}d(x_{n},Tx_{n})=0\) and \(\{x_{n}\}\rightharpoonup w\), then \(Tw=w\).

Lemma 2.10

([26, Corollary 3.4])

Let K be a closed convex subset of a complete \(\operatorname{CAT}(0)\) space X and \(T\colon K\to K\) be an asymptotically nonexpansive mapping in the intermediate sense. If \(\{x_{n}\}\) is a bounded sequence in K -converging to x and \(\lim_{n\to\infty}d(x_{n},Tx_{n})=0\), then \(x\in K\) and \(Tx=x\).

3 The main results

Now, we prove the following lemmas using the newly defined two-step iteration scheme (1.8) needed in the sequel.

Lemma 3.1

Let K be a nonempty closed convex subset of a complete \(\operatorname{CAT}(0)\) space X, and let \(S,T\colon K\to K\) be two asymptotically nonexpansive mappings in the intermediate sense with \(F=F(S)\cap F(T)\neq\emptyset \). Suppose that \(\{x_{n}\}\) is defined by the iteration process (1.8). Put

$$\begin{aligned} c_{n}= \max \Bigl\{ 0, \sup_{x, y\in K, n\geq 1} \bigl(d \bigl(S^{n}x,S^{n}y\bigr)-d(x,y) \bigr) \Bigr\} \end{aligned}$$
(3.1)

and

$$\begin{aligned} d_{n}= \max \Bigl\{ 0, \sup_{x, y\in K, n\geq 1} \bigl(d \bigl(T^{n}x,T^{n}y\bigr)-d(x,y) \bigr) \Bigr\} \end{aligned}$$
(3.2)

such that \(\sum_{n=1}^{\infty}c_{n}< \infty\) and \(\sum_{n=1}^{\infty}d_{n}< \infty\). Suppose that \(\{\alpha_{n}\}\) and \(\{\beta_{n}\}\) are real sequences in \([l,m]\) for some \(l,m\in(0,1)\). Then:

  1. (i)

    \(\lim_{n\to\infty}d(x_{n},p)\) exists for all \(p\in F\).

  2. (ii)

    \(\lim_{n\to\infty}d(x_{n},F)\) exists.

Proof

Let \(p\in F\). From (1.8), (3.1), (3.2) and Lemma 2.1(ii), we have

$$\begin{aligned} d(y_{n},p) =& d\bigl((1-\beta_{n})S^{n}x_{n} \oplus\beta_{n}T^{n}x_{n},p\bigr) \\ \leq& (1-\beta_{n})d\bigl(S^{n}x_{n},p\bigr)+ \beta_{n} d\bigl(T^{n}x_{n},p\bigr) \\ \leq& (1-\beta_{n})\bigl[d(x_{n},p)+c_{n}\bigr]+ \beta_{n} \bigl[d(x_{n},p)+d_{n}\bigr] \\ \leq& d(x_{n},p)+c_{n}+d_{n}. \end{aligned}$$
(3.3)

Again, using (1.8), (3.1)-(3.3) and Lemma 2.1(ii), we obtain

$$\begin{aligned} d(x_{n+1},p) =& d\bigl((1-\alpha_{n})T^{n}x_{n} \oplus\alpha_{n}S^{n}y_{n},p\bigr) \\ \leq& (1-\alpha_{n})d\bigl(T^{n}x_{n},p\bigr)+ \alpha_{n} d\bigl(T^{n}y_{n},p\bigr) \\ \leq& (1-\alpha_{n})\bigl[d(x_{n},p)+d_{n}\bigr]+ \alpha_{n}\bigl[d(y_{n},p)+c_{n}\bigr] \\ =& (1-\alpha_{n})d(x_{n},p)+\alpha_{n} d(y_{n},p)+(1-\alpha_{n})d_{n}+\alpha _{n}c_{n} \\ \leq& (1-\alpha_{n})d(x_{n},p)+\alpha_{n} \bigl[d(x_{n},p)+c_{n}+d_{n}\bigr] \\ &{} +(1-\alpha_{n})d_{n}+\alpha_{n}c_{n} \\ \leq& d(x_{n},p)+2\alpha_{n}c_{n}+d_{n}. \end{aligned}$$
(3.4)

Taking infimum over all \(p\in F\), we get

$$\begin{aligned} d(x_{n+1},p)\leq d(x_{n},F)+2\alpha_{n}c_{n}+d_{n}. \end{aligned}$$
(3.5)

Since by the hypothesis of the theorem \(\sum_{n=1}^{\infty}c_{n}< \infty\) and \(\sum_{n=1}^{\infty}d_{n}< \infty\), it follows from Lemma 2.6, relations (3.4) and (3.5) that \(\lim_{n\to\infty}d(x_{n},p)\) and \(\lim_{n\to\infty}d(x_{n},F)\) exist. □

Lemma 3.2

Let K be a nonempty closed convex subset of a complete \(\operatorname{CAT}(0)\) space X, and let \(S,T\colon K\to K\) be two asymptotically nonexpansive mappings in the intermediate sense with \(F\neq\emptyset \). Suppose that \(\{x_{n}\}\) is defined by the iteration process (1.8) and \(c_{n}\) and \(d_{n}\) are taken as in Lemma  3.1. Suppose that \(\{\alpha_{n}\}\) and \(\{\beta_{n}\}\) are real sequences in \([l,m]\) for some \(l,m\in(0,1)\). If \(d(x,Sx)\leq d(Tx,Sx)\) for all \(x\in K\), then \(\lim_{n\to\infty}d(x_{n},Sx_{n})=0\) and \(\lim_{n\to\infty}d(x_{n},Tx_{n})=0\).

Proof

Using (1.8) and (2.3), we have

$$\begin{aligned} d^{2}(y_{n},p) =& d^{2}\bigl((1- \beta_{n})S^{n}x_{n}\oplus\beta_{n}T^{n}x_{n},p \bigr) \\ \leq& \beta_{n}d^{2}\bigl(T^{n}x_{n},p \bigr)+(1-\beta_{n}) d^{2}\bigl(S^{n}x_{n},p \bigr) \\ &{} -\beta_{n}(1-\beta_{n})d^{2} \bigl(T^{n}x_{n},S^{n}x_{n}\bigr) \\ \leq& \beta_{n}\bigl[d(x_{n},p)+d_{n} \bigr]^{2}+(1-\beta_{n})\bigl[d(x_{n},p)+c_{n} \bigr]^{2} \\ &{} -\beta_{n}(1-\beta_{n})d^{2} \bigl(T^{n}x_{n},S^{n}x_{n}\bigr) \\ \leq& d^{2}(x_{n},p)+A_{n}+B_{n}- \beta_{n}(1-\beta_{n})d^{2}\bigl(T^{n}x_{n},S^{n}x_{n} \bigr), \end{aligned}$$
(3.6)

where \(A_{n}=d^{2}_{n}+2d_{n}d(x_{n},p)\) and \(B_{n}=c^{2}_{n}+2c_{n}d(x_{n},p)\), since by the hypothesis \(\sum_{n=1}^{\infty}c_{n}< \infty\) and \(\sum_{n=1}^{\infty}d_{n}< \infty\), it follows that \(\sum_{n=1}^{\infty}A_{n}< \infty\) and \(\sum_{n=1}^{\infty}B_{n}< \infty\). Again using (1.8), (2.3) and (3.6), we have

$$\begin{aligned} d^{2}(x_{n+1},p) =& d^{2}\bigl((1- \alpha_{n})T^{n}x_{n}\oplus\alpha _{n}S^{n}y_{n},p\bigr) \\ \leq& \alpha_{n}d^{2}\bigl(S^{n}y_{n},p \bigr)+(1-\alpha_{n}) d^{2}\bigl(T^{n}x_{n},p \bigr) \\ &{} -\alpha_{n}(1-\alpha_{n})d^{2} \bigl(S^{n}y_{n},T^{n}x_{n}\bigr) \\ \leq& \alpha_{n}\bigl[d(y_{n},p)+c_{n} \bigr]^{2}+(1-\alpha _{n})\bigl[d(x_{n},p)+d_{n} \bigr]^{2} \\ &{} -\alpha_{n}(1-\alpha_{n})d^{2} \bigl(S^{n}y_{n},T^{n}x_{n}\bigr) \\ \leq& \alpha_{n}\bigl[d^{2}(y_{n},p)+L_{n} \bigr]+(1-\alpha _{n})\bigl[d^{2}(x_{n},p)+A_{n} \bigr] \\ &{} -\alpha_{n}(1-\alpha_{n})d^{2} \bigl(S^{n}y_{n},T^{n}x_{n}\bigr) \\ \leq& \alpha_{n}d^{2}(y_{n},p)+(1- \alpha_{n})d^{2}(x_{n},p)+\alpha_{n}L_{n}+(1- \alpha _{n})A_{n} \\ &{} -\alpha_{n}(1-\alpha_{n})d^{2} \bigl(S^{n}y_{n},T^{n}x_{n}\bigr) \\ \leq& \alpha_{n}\bigl[d^{2}(x_{n},p)+A_{n}+B_{n}- \beta_{n}(1-\beta _{n})d^{2}\bigl(T^{n}x_{n},S^{n}x_{n} \bigr)\bigr] \\ &{} +(1-\alpha_{n})d^{2}(x_{n},p)+ \alpha_{n}L_{n}+(1-\alpha_{n})A_{n} \\ &{} -\alpha_{n}(1-\alpha_{n})d^{2} \bigl(S^{n}y_{n},T^{n}x_{n}\bigr) \\ \leq& d^{2}(x_{n},p)-\alpha_{n} \beta_{n}(1-\beta_{n})d^{2}\bigl(T^{n}x_{n},S^{n}x_{n} \bigr) \\ &{} +A_{n}+B_{n}+L_{n}-\alpha_{n}(1- \alpha_{n})d^{2}\bigl(S^{n}y_{n},T^{n}x_{n} \bigr) \\ =& d^{2}(x_{n},p)-\alpha_{n}\beta_{n}(1- \beta_{n})d^{2}\bigl(T^{n}x_{n},S^{n}x_{n} \bigr) \\ &{} +H_{n}-\alpha_{n}(1-\alpha_{n})d^{2} \bigl(S^{n}y_{n},T^{n}x_{n}\bigr), \end{aligned}$$
(3.7)

where \(A_{n}=d^{2}_{n}+2d_{n}d(x_{n},p)\), \(L_{n}=c^{2}_{n}+2c_{n}d(y_{n},p)\) and \(H_{n}=A_{n}+B_{n}+L_{n}\), since by the hypothesis \(\sum_{n=1}^{\infty}c_{n}< \infty\), \(\sum_{n=1}^{\infty}d_{n}< \infty\), \(\sum_{n=1}^{\infty}A_{n}< \infty\) and \(\sum_{n=1}^{\infty}B_{n}< \infty\), it follows that \(\sum_{n=1}^{\infty}L_{n}< \infty\) and \(\sum_{n=1}^{\infty}H_{n}< \infty\). This implies that

$$\begin{aligned} d^{2}\bigl(T^{n}x_{n},S^{n}x_{n} \bigr) \leq& \frac{1}{\alpha_{n}\beta_{n}(1-\beta _{n})}\bigl[d^{2}(x_{n},p)-d^{2}(x_{n+1},p) \bigr] +\frac{H_{n}}{\alpha_{n}\beta_{n}(1-\beta_{n})} \\ \leq& \frac{1}{l^{2}(1-m)}\bigl[d^{2}(x_{n},p)-d^{2}(x_{n+1},p) \bigr] +\frac{H_{n}}{l^{2}(1-m)} \end{aligned}$$
(3.8)

and

$$\begin{aligned} d^{2}\bigl(S^{n}y_{n},T^{n}x_{n} \bigr) \leq& \frac{1}{\alpha_{n}(1-\alpha_{n})}\bigl[d^{2}(x_{n},p)-d^{2}(x_{n+1},p) \bigr] +\frac{H_{n}}{\alpha_{n}(1-\alpha_{n})} \\ \leq& \frac{1}{l(1-m)}\bigl[d^{2}(x_{n},p)-d^{2}(x_{n+1},p) \bigr] +\frac{H_{n}}{l(1-m)}. \end{aligned}$$
(3.9)

Since \(H_{n}\to0\) as \(n\to\infty\) and \(d(x_{n},p)\) is convergent, therefore on taking limit as \(n\to\infty\) in (3.8) and (3.9), we get

$$\begin{aligned} \lim_{n\to\infty}d\bigl(T^{n}x_{n},S^{n}x_{n} \bigr)=0 \end{aligned}$$
(3.10)

and

$$\begin{aligned} \lim_{n\to\infty}d\bigl(S^{n}y_{n},T^{n}x_{n} \bigr)=0. \end{aligned}$$
(3.11)

Now

$$ \begin{aligned}[b] d\bigl(T^{n}x_{n},x_{n}\bigr)&\leq d\bigl(T^{n}x_{n},S^{n}x_{n}\bigr)+d \bigl(S^{n}x_{n},x_{n}\bigr)\\ &\leq d\bigl(T^{n}x_{n},S^{n}x_{n} \bigr)+d\bigl(S^{n}x_{n},T^{n}x_{n}\bigr)\\ &= 2d\bigl(T^{n}x_{n},S^{n}x_{n}\bigr) \to0 \quad\mbox{as } n\to\infty, \end{aligned} $$
(3.12)

and

$$\begin{aligned} d\bigl(S^{n}x_{n},x_{n}\bigr)\leq d \bigl(S^{n}x_{n},T^{n}x_{n}\bigr)+d \bigl(T^{n}x_{n},x_{n}\bigr) \end{aligned}$$

by (3.10) and (3.12), we obtain

$$\begin{aligned} \lim_{n\to\infty}d\bigl(S^{n}x_{n},x_{n} \bigr)=0. \end{aligned}$$
(3.13)

Again note that

$$\begin{aligned} d\bigl(x_{n+1},T^{n}x_{n}\bigr) =& d \bigl((1-\alpha_{n})T^{n}x_{n}\oplus\alpha _{n}S^{n}y_{n},T^{n}x_{n}\bigr) \\ \leq&(1-\alpha_{n})d\bigl(T^{n}x_{n},T^{n}x_{n} \bigr)+\alpha_{n}d\bigl(S^{n}y_{n},T^{n}x_{n} \bigr) \\ \to& 0\quad \mbox{as } n\to\infty. \end{aligned}$$
(3.14)

By (3.12) and (3.14), we have

$$\begin{aligned} d(x_{n+1},x_{n}) \leq& d\bigl(x_{n+1},T^{n}x_{n} \bigr)+d\bigl(T^{n}x_{n},x_{n}\bigr) \\ \to&0 \quad\mbox{as } n\to\infty. \end{aligned}$$
(3.15)

Let \(\rho_{n}=d(T^{n}x_{n},x_{n})\), by (3.12) we have \(\rho_{n}\to0\) as \(n\to\infty\). Now, we have

$$\begin{aligned} d(x_{n},Tx_{n}) \leq& d(x_{n},x_{n+1})+d \bigl(x_{n+1},T^{n+1}x_{n+1}\bigr)+d\bigl(T^{n+1}x_{n+1},T^{n+1}x_{n} \bigr) +d\bigl(T^{n+1}x_{n},Tx_{n}\bigr) \\ \leq& d(x_{n},x_{n+1})+d\bigl(x_{n+1},T^{n+1}x_{n+1} \bigr)+d(x_{n+1},x_{n})+d_{n+1} +d\bigl(T^{n+1}x_{n},Tx_{n}\bigr) \\ \leq& \rho _{n+1}+2d(x_{n},x_{n+1})+d_{n+1}+d \bigl(T^{n+1}x_{n},Tx_{n}\bigr) \\ \to&0\quad \mbox{as } n\to\infty \end{aligned}$$
(3.16)

by (3.12), (3.15), \(d_{n+1}\to0\) and the uniform continuity of T. Similarly, we can prove that

$$\begin{aligned} \lim_{n\to\infty}d(x_{n},Sx_{n})=0. \end{aligned}$$
(3.17)

This completes the proof. □

Now we prove the -convergence and strong convergence results.

Theorem 3.1

Let K be a nonempty closed convex subset of a complete \(\operatorname{CAT}(0)\) space X, and let \(S,T\colon K\to K\) be two asymptotically nonexpansive mappings in the intermediate sense with \(F\neq\emptyset \). Suppose that \(\{x_{n}\}\) is defined by the iteration process (1.8) and \(c_{n}\) and \(d_{n}\) are taken as in Lemma  3.1. Suppose that \(\{\alpha_{n}\}\) and \(\{\beta_{n}\}\) are real sequences in \([l,m]\) for some \(l,m\in(0,1)\). Then the sequence \(\{x_{n}\}\) is -convergent to a point of F.

Proof

We first show that \(w_{w}(\{x_{n}\})\subseteq F\). Let \(v\in w_{w}(\{x_{n}\})\), then there exists a subsequence \(\{v_{n}\}\) of \(\{x_{n}\}\) such that \(A(\{x_{n}\})=\{v\}\). By Lemma 2.5, there exists a subsequence \(\{w_{n}\}\) of \(\{v_{n}\}\) such that \(\triangle\mbox{-}\!\lim_{n}w_{n}=w\in K\). By Lemma 2.10, \(w\in F(T)\) and \(w\in F(S)\) and so \(w\in F\). By Lemma 3.1 \(\lim_{n\to\infty}d(x_{n},F)\) exists, so by Lemma 2.4 we have \(v=w\), i.e., \(w_{w}(\{x_{n}\})\subseteq F\).

To show that \(\{x_{n}\}\) -converges to a point in F, it is sufficient to show that \(w_{w}(\{x_{n}\})\) consists of exactly one point.

Let \(\{v_{n}\}\) be a subsequence of \(\{x_{n}\}\) with \(A(\{v_{n}\})=\{v\}\), and let \(A(\{x_{n}\})=\{x\}\) for some \(v\in w_{w}(\{x_{n}\})\subseteq F\) and \(\{d(x_{n},w)\}\) converges. By Lemma 2.4, we have \(x=w\in F\). Thus \(w_{w}(\{x_{n}\})=\{x\}\). This shows that \(\{x_{n}\}\) is -convergent to a point of F. This completes the proof. □

Theorem 3.2

Let K be a nonempty closed convex subset of a complete \(\operatorname{CAT}(0)\) space X, and let \(S,T\colon K\to K\) be two asymptotically nonexpansive mappings in the intermediate sense with \(F\neq\emptyset \). Suppose that \(\{x_{n}\}\) is defined by the iteration process (1.8) and \(c_{n}\) and \(d_{n}\) are taken as in Lemma  3.1. Suppose that \(\{\alpha_{n}\}\) and \(\{\beta_{n}\}\) are real sequences in \([l,m]\) for some \(l,m\in(0,1)\). If \(\liminf_{n\to\infty}d(x_{n},F)=0\) or \(\limsup_{n\to\infty}d(x_{n},F)=0\), where \(d(x,F)=\inf_{p\in F}d(x,p)\), then the sequence \(\{x_{n}\}\) converges strongly to a point in F.

Proof

From (3.5) of Lemma 3.1, we have

$$\begin{aligned} d(x_{n+1},p) \leq& d(x_{n},F)+2\alpha_{n}c_{n}+d_{n}, \end{aligned}$$

where \(p\in F\). Since by the hypothesis of the theorem \(\sum_{n=1}^{\infty}c_{n}< \infty\) and \(\sum_{n=1}^{\infty}d_{n}< \infty\), by Lemma 2.6 and \(\liminf_{n\to\infty}d(x_{n},F)=0\) or \(\limsup_{n\to\infty}d(x_{n},F)=0\) gives that

$$\begin{aligned} \lim_{n\to\infty}d(x_{n},F)=0. \end{aligned}$$
(3.18)

Now, we show that \(\{x_{n}\}\) is a Cauchy sequence in K.

From (3.4) and by the hypothesis \(0< l\leq \alpha_{n}, \beta_{n}\leq m<1\), we have

$$\begin{aligned} d(x_{n+p},q) \leq& d(x_{n+p-1},q)+2mc_{n+p-1}+d_{n+p-1} \\ \leq& d(x_{n+p-2},q)+2m[c_{n+p-2}+c_{n+p-1}] +d_{n+p-2}+d_{n+p-1} \\ \leq& \cdots \\ \leq& d(x_{n},q)+2m\sum_{k=n}^{n+p-1}c_{k}+ \sum_{k=n}^{n+p-1}d_{k} \end{aligned}$$
(3.19)

for the natural numbers n, p and \(q\in F\). Since \(\lim_{n\to\infty}d(x_{n},F)=0\), therefore for any \(\varepsilon>0\), there exists a natural number \(n_{0}\) such that \(d(x_{n},F)<\varepsilon/12\), \(\sum_{k=n}^{n+p-1}c_{k}<\varepsilon/12m\) and \(\sum_{k=n}^{n+p-1}d_{k}<\varepsilon/6\) for all \(n\geq n_{0}\). So, we can find \(p^{*}\in F\) such that \(d(x_{n_{0}},p^{*})<\varepsilon/6\). Hence, for all \(n\geq n_{0}\) and \(p\geq1\), we have

$$\begin{aligned} d(x_{n+p},x_{n}) \leq& d\bigl(x_{n+p},p^{*} \bigr)+d\bigl(x_{n},p^{*}\bigr) \\ \leq& d\bigl(x_{n_{0}},p^{*}\bigr)+2m\sum_{k=n_{0}}^{n+p-1}c_{k}+ \sum_{k=n_{0}}^{n+p-1}d_{k} + d\bigl(x_{n_{0}},p^{*}\bigr)+2m\sum_{k=n_{0}}^{n+p-1}c_{k}+ \sum_{k=n_{0}}^{n+p-1}d_{k} \\ =& 2d\bigl(x_{n_{0}},p^{*}\bigr)+4m\sum_{k=n_{0}}^{n+p-1}c_{k}+2 \sum_{k=n_{0}}^{n+p-1}d_{k} \\ <& 2 \biggl(\frac{\varepsilon}{6} \biggr)+4m \biggl(\frac{\varepsilon }{12m} \biggr)+2 \biggl(\frac{\varepsilon}{6} \biggr) \\ =& \varepsilon. \end{aligned}$$
(3.20)

This proves that \(\{x_{n}\}\) is a Cauchy sequence in K. Thus, the completeness of X implies that \(\{x_{n}\}\) must be convergent. Assume that \(\lim_{n\to\infty}x_{n}=q^{*}\). Since K is closed, therefore \(q^{*}\in K\). Next, we show that \(q^{*}\in F\). Since \(\lim_{n\to\infty}d(x_{n},F)=0\), we get \(d(q^{*},F)=0\), the closedness of F gives that \(q^{*}\in F\). This completes the proof. □

Theorem 3.3

Let K be a nonempty closed convex subset of a complete \(\operatorname{CAT}(0)\) space X, and let \(S,T\colon K\to K\) be two asymptotically nonexpansive mappings in the intermediate sense with \(F\neq\emptyset \). Suppose that \(\{x_{n}\}\) is defined by the iteration process (1.8) and \(c_{n}\) and \(d_{n}\) are taken as in Lemma  3.1. Suppose that \(\{\alpha_{n}\}\) and \(\{\beta_{n}\}\) are real sequences in \([l,m]\) for some \(l,m\in(0,1)\). If S and T satisfy the following conditions:

  1. (i)

    \(\lim_{n\to\infty}d(x_{n},Sx_{n})=0\) and \(\lim_{n\to\infty}d(x_{n},Tx_{n})=0\).

  2. (ii)

    If the sequence \(\{z_{n}\}\) in K satisfies \(\lim_{n\to\infty}d(z_{n},Sz_{n})=0\) and \(\lim_{n\to\infty}d(z_{n},Tz_{n})=0\), then \(\liminf_{n\to\infty}d(z_{n},F)=0\) or \(\limsup_{n\to\infty}d(z_{n},F)=0\).

Then the sequence \(\{x_{n}\}\) converges strongly to a point of F.

Proof

It follows from the hypothesis that \(\lim_{n\to\infty}d(x_{n},Sx_{n})=0\) and \(\lim_{n\to\infty}d(x_{n},Tx_{n})=0\). From (ii), \(\liminf_{n\to\infty}d(x_{n},F)=0\) or \(\limsup_{n\to\infty}d(x_{n},F)=0\). Therefore, the sequence \(\{x_{n}\}\) must converge strongly to a point in F by Theorem 3.2. This completes the proof. □

Theorem 3.4

Let K be a nonempty closed convex subset of a complete \(\operatorname{CAT}(0)\) space X, and let \(S,T\colon K\to K\) be two asymptotically nonexpansive mappings in the intermediate sense with \(F\neq\emptyset \). Suppose that \(\{x_{n}\}\) is defined by the iteration process (1.8) and \(c_{n}\) and \(d_{n}\) are taken as in Lemma  3.1. Suppose that \(\{\alpha_{n}\}\) and \(\{\beta_{n}\}\) are real sequences in \([l,m]\) for some \(l,m\in(0,1)\). If either S or T is semi-compact, then the sequence \(\{x_{n}\}\) converges strongly to a point of F.

Proof

Suppose that T is semi-compact. By Lemma 3.2, we have \(\lim_{n\to\infty}d(x_{n},Tx_{n})=0\). So there exists a subsequence \(\{x_{n_{j}}\}\) of \(\{x_{n}\}\) such that \(x_{n_{j}}\to p\in K\). Now Lemma 3.2 guarantees that \(\lim_{n_{j}\to\infty}d(x_{n_{j}},Tx_{n_{j}})=0\) and so \(d(p,Tp)=0\). Similarly, we can show that \(d(p,Sp)=0\). Thus \(p\in F\). By (3.5), we have

$$d(x_{n+1},p)\leq d(x_{n},F)+2\alpha_{n}c_{n}+d_{n}. $$

Since by the hypothesis \(\sum_{n=1}^{\infty}c_{n}< \infty\) and \(\sum_{n=1}^{\infty}d_{n}< \infty\), by Lemma 2.6, \(\lim_{n\to\infty}d(x_{n},p)\) exists and \(x_{n_{j}}\to p\in F\) gives that \(x_{n}\to p\in F\). This shows that \(\{x_{n}\}\) converges strongly to a point of F. This completes the proof. □

We recall the following definition.

A mapping \(T\colon K\to K\), where K is a subset of a normed linear space E, is said to satisfy Condition (A) [31] if there exists a nondecreasing function \(f\colon[0,\infty)\to[0,\infty)\) with \(f(0)=0\) and \(f(t)>0\) for all \(t\in(0,\infty)\) such that \(\Vert x-Tx\Vert \geq f(d(x,F(T)))\) for all \(x\in K\), where \(d(x,F(T))=\inf\{\|x-p\|:p\in F(T)\neq\emptyset \}\).

Now, we modify this definition for two mappings.

Two mappings \(S,T\colon K\to K\), where K is a subset of a normed linear space E, are said to satisfy Condition (B) if there exists a nondecreasing function \(f\colon[0,\infty)\to[0,\infty)\) with \(f(0)=0\) and \(f(t)>0\) for all \(t\in(0,\infty)\) such that \(a_{1}\|x-Sx\|+a_{2}\|x-Tx\|\geq f(d(x,F))\) for all \(x\in K\), where \(d(x,F)=\inf\{\|x-p\|:p\in F\neq\emptyset \}\) and \(a_{1}\) and \(a_{2}\) are two nonnegative real numbers such that \(a_{1}+a_{2}=1\). It is to be noted that Condition (B) is weaker than the compactness of the domain K.

Remark 3.1

Condition (B) reduces to Condition (A) when \(S=T\).

As an application of Theorem 3.2, we establish some strong convergence results as follows.

Theorem 3.5

Let K be a nonempty closed convex subset of a complete \(\operatorname{CAT}(0)\) space X, and let \(S,T\colon K\to K\) be two asymptotically nonexpansive mappings in the intermediate sense with \(F\neq\emptyset \). Suppose that \(\{x_{n}\}\) is defined by the iteration process (1.8) and \(c_{n}\) and \(d_{n}\) are taken as in Lemma  3.1. Suppose that \(\{\alpha_{n}\}\) and \(\{\beta_{n}\}\) are real sequences in \([l,m]\) for some \(l,m\in(0,1)\). If S and T satisfy Condition (B), then the sequence \(\{x_{n}\}\) converges strongly to a point of F.

Proof

By Lemma 3.2, we know that

$$\begin{aligned} \lim_{n\to\infty}d(x_{n},Sx_{n})=0 \quad \mbox{and}\quad \lim_{n\to\infty}d(x_{n},Tx_{n})=0. \end{aligned}$$
(3.21)

From Condition (B) and (3.21), we get

$$\lim_{n\to\infty}f\bigl(d(x_{n},F)\bigr)\leq a_{1}\cdot\lim_{n\to\infty}d(x_{n},Sx_{n})+a_{2} \cdot\lim_{n\to\infty}d(x_{n},Tx_{n})=0, $$

i.e., \(\lim_{n\to\infty}f(d(x_{n},F))=0\). Since \(f\colon [0,\infty)\to[0,\infty)\) is a nondecreasing function satisfying \(f(0)=0\), \(f(t)>0\) for all \(t\in(0,\infty)\), therefore we obtain

$$\lim_{n\to\infty}d(x_{n},F)=0. $$

The conclusion now follows from Theorem 3.2. This completes the proof. □

Theorem 3.6

Let K be a nonempty closed convex subset of a complete \(\operatorname{CAT}(0)\) space X, and let \(S,T\colon K\to K\) be two uniformly continuous asymptotically nonexpansive mappings with \(F\neq\emptyset \). Suppose that \(\{x_{n}\}\) is defined by the iteration process (1.8) and \(\{\alpha_{n}\}\) and \(\{\beta_{n}\}\) are real sequences in \([l,m]\) for some \(l,m\in(0,1)\). If \(\liminf_{n\to\infty}d(x_{n},F)=0\) or \(\limsup_{n\to\infty}d(x_{n},F)=0\), where \(d(x,F)=\inf_{p\in F}d(x,p)\), then the sequence \(\{x_{n}\}\) converges strongly to a point in F.

Proof

Since S is uniformly continuous and asymptotically nonexpansive mapping, we know that there exists a sequence \(\{k_{n}\}\subset[1,\infty)\) with \(k_{n}\to1\) as \(n\to\infty\) such that

$$\begin{aligned} d\bigl(S^{n}x,S^{n}y\bigr)\leq k_{n} d(x,y), \quad \forall x, y\in K, n\geq1. \end{aligned}$$

This implies that

$$\begin{aligned} d\bigl(S^{n}x,S^{n}y\bigr)- k_{n} d(x,y) \leq& 0, \quad\forall x, y\in K, n\geq 1. \end{aligned}$$

Therefore we have

$$\begin{aligned} \limsup_{n\to\infty} \Bigl\{ \sup_{x, y\in K} \bigl(d \bigl(S^{n}x,S^{n}y\bigr)-d(x,y) \bigr) \Bigr\} \leq0. \end{aligned}$$

This implies that S is an asymptotically nonexpansive mapping in the intermediate sense. By a similar fashion, we can show that T is also an asymptotically nonexpansive mapping in the intermediate sense. Thus the conclusion of Theorem 3.6 follows from Theorem 3.2 immediately. This completes the proof. □

Example 3.1

Let be a real line with the usual metric d and \(K=[0,1]\). Define two mappings \(T,S\colon K\to K\) by

$$T(x)= \left \{ \begin{array}{@{}l@{\quad}l} k x &\mbox{if }x\neq0,\\ 0 &\mbox{if }x=0, \end{array} \right . $$

where \(0< k<1\) and

$$S(x)= \left \{ \begin{array}{@{}l@{\quad}l} \frac{x}{2} &\mbox{if }x\neq0,\\ 0 &\mbox{if }x=0. \end{array} \right . $$

Then

$$\begin{aligned} \limsup_{n\to\infty}\bigl\{ \bigl|T^{n}x-T^{n}y\bigr|-|x-y| \bigr\} =&\limsup_{n\to\infty}\bigl\{ k^{n}|x-y|-|x-y|\bigr\} \\ \leq& 0, \end{aligned}$$

because \(\lim_{n\to\infty}k^{n}=0\) as \(0< k<1\) for all \(x,y\in K\) and \(n\geq1\), and T is uniformly continuous. Thus T is an asymptotically nonexpansive mapping in the intermediate sense. Similarly, we can show that S is an asymptotically nonexpansive mapping in the intermediate sense since it is also uniformly continuous and satisfies the inequality

$$\begin{aligned} \limsup_{n\to\infty}\bigl\{ \bigl|S^{n}x-S^{n}y\bigr|-|x-y| \bigr\} =&\limsup_{n\to\infty } \biggl\{ \frac{1}{2^{n}}|x-y|-|x-y| \biggr\} \\ \leq& 0 \end{aligned}$$

for all \(x,y\in K\) and \(n\geq1\). It is clear that \(F(T)=F(S)=\{0\}\) and hence \(F=F(T)\cap F(S)=\{0\}\), that is, 0 is a common fixed point of T and S. Also T and S both satisfy all the conditions of Theorems 3.3-3.5.

4 Concluding remarks

This work contains our dedicated study to develop and improve methods for solving equations by means of iteration methods. We have introduced our results by using as basic framework the research of Kirk; please see [1, 2], and the inspired work of Şahin and Başarir [7] and some others. This study is motivated by relevant applications for solving many real-world problems which give rise to mathematical models in the sphere of functional analysis.

References

  1. Kirk, WA: Geodesic geometry and fixed point theory. In: Seminar of Mathematical Analysis (Malaga/Seville, 2002/2003). Coleccion Abierta, vol. 64, pp. 195-225. University of Seville Secretary of Publications, Seville (2003)

    Google Scholar 

  2. Kirk, WA: Geodesic geometry and fixed point theory. II. In: International Conference on Fixed Point Theory and Applications, pp. 113-142. Yokohama Publishers, Yokohama (2004)

    Google Scholar 

  3. Bridson, MR, Haefliger, A: Metric Spaces of Non-Positive Curvature. Grundlehren der Mathematischen Wissenschaften, vol. 319. Springer, Berlin (1999)

    MATH  Google Scholar 

  4. Agarwal, RP, O’Regan, D, Sahu, DR: Iterative construction of fixed points of nearly asymptotically nonexpansive mappings. J. Nonlinear Convex Anal. 8(1), 61-79 (2007)

    MATH  MathSciNet  Google Scholar 

  5. Schu, J: Weak and strong convergence to fixed points of asymptotically nonexpansive mappings. Bull. Aust. Math. Soc. 43(1), 153-159 (1991)

    Article  MATH  MathSciNet  Google Scholar 

  6. Tan, KK, Xu, HK: Fixed point iteration processes for asymptotically nonexpansive mappings. Proc. Am. Math. Soc. 122, 733-739 (1994)

    Article  MATH  MathSciNet  Google Scholar 

  7. Şahin, A, Başarir, M: On the strong convergence of a modified S-iteration process for asymptotically quasi-nonexpansive mapping in \(\operatorname{CAT}(0)\) space. Fixed Point Theory Appl. 2013, Article ID 12 (2013)

    Article  Google Scholar 

  8. Khan, SH, Abbas, M: Strong and -convergence of some iterative schemes in \(\operatorname{CAT}(0)\) spaces. Comput. Math. Appl. 61(1), 109-116 (2011)

    Article  MATH  MathSciNet  Google Scholar 

  9. Goebel, K, Kirk, WA: A fixed point theorem for asymptotically nonexpansive mappings. Proc. Am. Math. Soc. 35, 171-174 (1972)

    Article  MATH  MathSciNet  Google Scholar 

  10. Fukhar-ud-din, H, Khan, SH: Convergence of iterates with errors of asymptotically quasi-nonexpansive and applications. J. Math. Anal. Appl. 328, 821-829 (2007)

    Article  MATH  MathSciNet  Google Scholar 

  11. Khan, AR, Khamsi, MA, Fukhar-ud-din, H: Strong convergence of a general iteration scheme in \(\operatorname{CAT}(0)\) spaces. Nonlinear Anal. 74(3), 783-791 (2011)

    Article  MATH  MathSciNet  Google Scholar 

  12. Liu, QH: Iterative sequences for asymptotically quasi-nonexpansive mappings. J. Math. Anal. Appl. 259, 1-7 (2001)

    Article  MATH  MathSciNet  Google Scholar 

  13. Liu, QH: Iterative sequences for asymptotically quasi-nonexpansive mappings with error member. J. Math. Anal. Appl. 259, 18-24 (2001)

    Article  MATH  MathSciNet  Google Scholar 

  14. Niwongsa, Y, Panyanak, B: Noor iterations for asymptotically nonexpansive mappings in \(\operatorname{CAT}(0)\) spaces. Int. J. Math. Anal. 4(13), 645-656 (2010)

    MATH  MathSciNet  Google Scholar 

  15. Saluja, GS: Strong convergence theorem for two asymptotically quasi-nonexpansive mappings with errors in Banach space. Tamkang J. Math. 38(1), 85-92 (2007)

    MATH  MathSciNet  Google Scholar 

  16. Saluja, GS: Convergence result of \((L,\alpha)\)-uniformly Lipschitz asymptotically quasi-nonexpansive mappings in uniformly convex Banach spaces. Jñānābha 38, 41-48 (2008)

    MathSciNet  MATH  Google Scholar 

  17. Saluja, GS, Nashine, HK: Convergence theorems of multi-step iteration with errors for finite family of asymptotically nonexpansive mappings. Acta Math. Vietnam. 35(3), 399-410 (2010)

    MATH  MathSciNet  Google Scholar 

  18. Shahzad, N, Udomene, A: Approximating common fixed points of two asymptotically quasi-nonexpansive mappings in Banach spaces. Fixed Point Theory Appl. 2006, Article ID 18909 (2006)

    Article  MathSciNet  Google Scholar 

  19. Bruck, R, Kuczumow, T, Reich, S: Convergence of iterates of asymptotically nonexpansive mappings in Banach spaces with the uniform Opial property. Colloq. Math. 65(2), 169-179 (1993)

    MATH  MathSciNet  Google Scholar 

  20. Khamsi, MA, Kirk, WA: An Introduction to Metric Spaces and Fixed Point Theory. Pure and Applied Mathematics. Wiley, New York (2001)

    Book  Google Scholar 

  21. Bruhat, F, Tits, J: Groups reductifs sur un corps local. Publ. Math. Inst. Hautes Études Sci. 41, 5-251 (1972)

    Article  MATH  MathSciNet  Google Scholar 

  22. Dhompongsa, S, Panyanak, B: On -convergence theorem in \(\operatorname{CAT}(0)\) spaces. Comput. Math. Appl. 56(10), 2572-2579 (2008)

    Article  MATH  MathSciNet  Google Scholar 

  23. Dhompongsa, S, Kirk, WA, Sims, B: Fixed points of uniformly Lipschitzian mappings. Nonlinear Anal. 65(4), 762-772 (2006)

    Article  MATH  MathSciNet  Google Scholar 

  24. Kirk, WA, Panyanak, B: A concept of convergence in geodesic spaces. Nonlinear Anal. 68(12), 3689-3696 (2008)

    Article  MATH  MathSciNet  Google Scholar 

  25. Goebel, K, Kirk, WA: Topics in Metric Fixed Point Theory. Cambridge University Press, Cambridge (1990)

    Book  MATH  Google Scholar 

  26. Abbas, M, Thakur, BS, Thakur, D: Fixed points of asymptotically nonexpansive mappings in the intermediate sense in \(\operatorname{CAT}(0)\) spaces. Commun. Korean Math. Soc. 28(4), 107-121 (2013)

    Article  MATH  MathSciNet  Google Scholar 

  27. Hussain, N, Khamsi, MA: On asymptotic pointwise contractions in metric spaces. Nonlinear Anal. 71(10), 4423-4429 (2009)

    Article  MATH  MathSciNet  Google Scholar 

  28. Nanjaras, B, Panyanak, B: Demiclosed principle for asymptotically nonexpansive mappings in \(\operatorname{CAT}(0)\) spaces. Fixed Point Theory Appl. 2010, Article ID 268780 (2010)

    Article  MathSciNet  Google Scholar 

  29. Dhompongsa, S, Kirk, WA, Panyanak, B: Nonexpansive set-valued mappings in metric and Banach spaces. J. Nonlinear Convex Anal. 8(1), 35-45 (2007)

    MATH  MathSciNet  Google Scholar 

  30. Tan, KK, Xu, HK: Approximating fixed points of nonexpansive mappings by the Ishikawa iteration process. J. Math. Anal. Appl. 178, 301-308 (1993)

    Article  MATH  MathSciNet  Google Scholar 

  31. Senter, HF, Dotson, WG: Approximating fixed points of nonexpansive mappings. Proc. Am. Math. Soc. 44, 375-380 (1974)

    Article  MATH  MathSciNet  Google Scholar 

Download references

Acknowledgements

The authors would like to thank the anonymous referees for their careful reading and suggestions on the manuscript.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Mihai Postolache.

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 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.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Saluja, G.S., Postolache, M. Strong and -convergence theorems for two asymptotically nonexpansive mappings in the intermediate sense in \(\operatorname{CAT}(0)\) spaces. Fixed Point Theory Appl 2015, 12 (2015). https://doi.org/10.1186/s13663-015-0259-8

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13663-015-0259-8

MSC

Keywords