Skip to main content

The modified S-iteration process for nonexpansive mappings in \(\operatorname{CAT}(\kappa)\) spaces

Abstract

We establish Δ-convergence results of a sequence generated by the modified S-iteration process for two nonexpansive mappings in complete \(\operatorname {CAT}(\kappa)\) spaces. Some numerical examples are also provided to compare with the Ishikawa-type iteration process. Our main result extends the corresponding results in the literature.

1 Introduction

Let C be a nonempty subset of a metric space \((X, d)\). A mapping \(T : C\rightarrow C\) is said to be nonexpansive if

$$d(Tx, Ty)\leq d(x, y) $$

for all \(x, y\in C\). We say that \(x\in C\) is a fixed point of T if

$$Tx = x. $$

We denote the set of all fixed points of T by \(\operatorname {Fix}(T)\); for more details see [1].

The concept of Δ-convergence in general metric spaces was introduced by Lim [2]. Kirk [3] has proved the existence of fixed point of nonexpansive mappings in \(\operatorname {CAT}(0)\) spaces. Kirk and Panyanak [4] specialized this concept to \(\operatorname {CAT}(0)\) spaces and showed that many Banach space results involving weak convergence have precise analogs in this setting. Dhompongsa and Panyanak [5] continued to work in this direction. Their results involved the Mann and Ishikawa iteration process involving one mapping. After that Khan and Abbas [6] studied the approximation of common fixed point by the Ishikawa-type iteration process involving two mappings in \(\operatorname {CAT}(0)\) spaces.

The Mann iteration process [7] was defined by \(x_{0}\in C\) and

$$\begin{aligned} x_{n+1} =&a_{n}Tx_{n} \oplus(1-a_{n})x_{n},\quad n\geq0, \end{aligned}$$
(1.1)

where \(\{a_{n}\}\) is a sequence in \((0,1)\). He et al. [7] proved the convergence results in \(\operatorname {CAT}(\kappa)\) spaces.

The Ishikawa iteration process [8] was defined by \(x_{0}\in C\) and

$$ \begin{aligned} &y_{n}=b_{n}Tx_{n} \oplus(1-b_{n})x_{n}, \\ &x_{n+1}=a_{n}Ty_{n}\oplus(1-a_{n})x_{n},\quad n\geq0, \end{aligned} $$
(1.2)

where \(\{a_{n}\}\) and \(\{b_{n}\}\) are sequences in \((0,1)\). Jun [8] proved that the sequence \(\{x_{n}\}\) generated by (1.2) Δ-converges to a fixed point of T in \(\operatorname {CAT}(\kappa)\) spaces.

The S-iteration process [9] was defined by \(x_{0}\in C\) and

$$ \begin{aligned} &y_{n} = b_{n}Tx_{n} \oplus(1-b_{n})x_{n}, \\ &x_{n+1} = a_{n}Ty_{n}\oplus(1-a_{n})Tx_{n},\quad n\geq0, \end{aligned} $$
(1.3)

where \(\{a_{n}\}\) and \(\{b_{n}\}\) are sequences in \((0,1)\). This scheme has a better convergence rate than those of (1.1) and (1.2) for a contraction in metric space (see [9]).

In 2011, Khan and Abbas [6] studied the iteration (1.3) in \(\operatorname {CAT}(0)\) spaces and proved the Δ-convergence. Khan and Abbas [6] also studied the following Ishikawa-type iteration process: \(x_{0}\in C\) and

$$ \begin{aligned} &y_{n} = b_{n}Tx_{n} \oplus(1-b_{n})x_{n}, \\ &x_{n+1} = a_{n}Sy_{n}\oplus(1-a_{n})x_{n},\quad n\geq0, \end{aligned} $$
(1.4)

where \(\{a_{n}\}\) and \(\{b_{n}\}\) are sequences in \((0,1)\). This iteration was introduced by Das and Debata [10]. They proved some results on Δ-convergence in \(\operatorname {CAT}(0)\) spaces for two nonexpansive mappings of the sequence defined by (1.4).

There have been, recently, many convergence and existence results established in \(\operatorname {CAT}(0)\) and \(\operatorname {CAT}(\kappa)\) spaces (see [1119]).

Motivated by [6] and [9], in this paper, we study the following modified S-iteration process: \(x_{0}\in C\) and

$$ \begin{aligned} &y_{n}=b_{n}Tx_{n} \oplus(1-b_{n})x_{n}, \\ &x_{n+1}=a_{n}Sy_{n}\oplus(1-a_{n})Tx_{n},\quad n\geq0, \end{aligned} $$
(1.5)

where \(\{a_{n}\}\) and \(\{b_{n}\}\) are sequences in \((0,1)\). We prove some results on Δ-convergence for two nonexpansive mappings in \(\operatorname {CAT}(\kappa)\) spaces with \(\kappa\geq0\) under suitable conditions. We finally provide some examples and numerical results to support our main result.

Remark 1.1

We note that this scheme reduces to the iteration process (1.3) when \(S=T\). The iteration process (1.5) is quite different from (1.4).

2 Preliminaries and lemmas

In this section, we provide some basic concepts, definitions, and lemmas which will be used in the sequel and can be found in [20].

Let \((X,d)\) be a metric space and \(x,y\in X\) with \(d(x,y)=l\). A geodesic path from x to y is an isometry \(c:[0,l]\rightarrow X\) such that \(c(0)=x\), \(c(l)=y\). The image of a geodesic path is called geodesic segment. 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 a uniquely geodesic space if every two points of X are joined by only one geodesic segment. We write \((1-t)x\oplus ty\) for the unique point z in the geodesic segment joining x and y such that \(d(x,z)=td(x,y)\) and \(d(y,z)=(1-t)d(x,y)\) for \(t\in[0,1]\). A subset E of X is said to be convex if E includes every geodesic segment joining any two of its points.

Let D be a positive number. A metric space \((X, d)\) is called a D-geodesic space if any two points of X with the distance less than D are joined by a geodesic. If this holds in a convex set E, then E is said to be D-convex. For a constant κ, we denote \(M_{\kappa}\) by the 2-dimensional, complete, simply connected spaces of curvature κ.

In the following, we assume that \(\kappa\geq0\) and define the diameter \(D_{\kappa}\) of \(M_{\kappa}\) by \(D_{\kappa}=\frac{\pi}{\sqrt{\kappa}}\) for \(\kappa>0\) and \(D_{\kappa}=\infty\) for \(\kappa=0\). It is well known that any ball in X with radius less than \(D_{\kappa}/2\) is convex [20]. A geodesic triangle \(\Delta(x, y, z)\) in the metric space \((X, d)\) consists of three points x, y, z in X (the vertices of Δ) and three geodesic segments between each pair of vertices. For \(\Delta(x, y, z)\) in a geodesic space X satisfying

$$d(x,y)+d(y,z)+d(z,x)< 2D_{\kappa}, $$

there exist points \(\bar{x},\bar{y},\bar{z}\in M_{\kappa}\) such that \(d(x,y)=d_{\kappa}(\bar{x},\bar{y})\), \(d(y,z)=d_{\kappa}(\bar{y},\bar{z})\), and \(d(z,x)=d_{\kappa}(\bar{z},\bar{x})\) where \(d_{\kappa}\) is the metric of \(M_{\kappa}\). We call the triangle having vertices \(\bar{x},\bar{y},\bar{z}\in M_{\kappa}\) a comparison triangle of \(\Delta(x, y, z)\). A geodesic triangle \(\Delta(x, y, z)\) in X with \(d(x, y) + d(y, z) + d(z, x) < 2D_{\kappa}\) is said to satisfy the \(\operatorname {CAT}(\kappa)\) inequality if, for any \(p,q\in\Delta(x, y, z)\) and for their comparison points \(\bar{p},\bar{q}\in\bar{\Delta}(\bar{x},\bar{y},\bar{z})\), we have \(d(p,q)\leq d_{\kappa}(\bar{p},\bar{q})\).

Definition 2.1

A metric space \((X, d)\) is called a \(\operatorname {CAT}(\kappa)\) space if it is \(D_{\kappa}\)-geodesic and any geodesic triangle \(\Delta(x, y, z)\) in X with \(d(x, y) + d(y, z) + d(z, x) <2 D_{\kappa}\) satisfies the \(\operatorname {CAT}(\kappa)\) inequality.

Since the results in \(\operatorname {CAT}(\kappa)\) spaces can be deduced from those in \(\operatorname {CAT}(1)\) spaces, we now sufficiently state lemmas on \(\operatorname {CAT}(1)\) spaces.

Lemma 2.2

[20]

Let \((X,d)\) be a \(\operatorname {CAT}(1)\) space and let K be a closed and π-convex subset of X. Then for each point \(x\in X\) such that \(d(x,K)<\pi/2\), there exists a unique point \(y\in K\) such that \(d(x,y)=d(x,K)\).

Lemma 2.3

[21]

Let \((X,d)\) be a \(\operatorname {CAT}(1)\) space. Then there is a constant \(M>0\) such that

$$d^{2} \bigl(x,ty\oplus(1-t)z \bigr)\leq td^{2}(x,y)+(1-t)d^{2}(x,z)- \frac{M}{2}t(1-t)d^{2}(y,z) $$

for any \(t\in[0,1]\) and any point \(x,y,z\in X\) such that \(d(x,y)\leq\pi/4\), \(d(x,z)\leq\pi/4\), and \(d(y,z)\leq\pi/2\).

Let \(\{x_{n}\}\) be a bounded sequence in X. For \(x\in X\), we set

$$ r\bigl(x,\{x_{n}\}\bigr)=\limsup_{n\rightarrow\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\} . $$

Definition 2.4

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

In this case we write Δ-\(\lim_{n\rightarrow\infty}x_{n}=x\) and call x the Δ-limit of \(\{x_{n}\}\).

Definition 2.5

For a sequence \(\{x_{n}\}\) in X, a point \(x\in X\) is a Δ-cluster point of \(\{x_{n}\}\) if there exists a subsequence of \(\{x_{n}\}\) that Δ-converges to x.

Lemma 2.6

[7]

Let \((X,d)\) be a complete \(\operatorname {CAT}(\kappa)\) space and let \(p\in X\). Suppose that a sequence \(\{x_{n}\}\) in X Δ-converges to x such that \(r(p,\{x_{n}\})< D_{\kappa}/2\). Then

$$ d(x,p)\leq\liminf_{n\rightarrow\infty}d(x_{n},p). $$

Definition 2.7

Let \((X,d)\) be a complete metric space and let K be a nonempty subset of X. Then a sequence \(\{x_{n}\}\) in X is Fejér monotone with respect to K if

$$ d(x_{n+1},q)\leq d(x_{n},q) $$

for all \(n\geq0\) and all \(q\in K\).

Lemma 2.8

[7]

Let \((X,d)\) be a complete \(\operatorname {CAT}(1)\) space and let K be a nonempty subset of X. Suppose that the sequence \(\{x_{n}\}\) in X is Fejér monotone with respect to K and the asymptotic radius \(r(\{x_{n}\})\) of \(\{x_{n}\}\) is less than \(\pi/2\). If any Δ-cluster point x of \(\{x_{n}\}\) belongs to K, then \(\{x_{n}\}\) Δ-converges to a point in K.

3 Main results

Lemma 3.1

Let \((X,d)\) be a complete \(\operatorname {CAT}(1)\) space and let C be a nonempty, closed, and convex subset of X. Let T and S be two nonexpansive mappings of C such that \(F := \operatorname {Fix}(T)\cap \operatorname {Fix}(S)\neq\emptyset\). Let \(\{ x_{n}\}\) be defined by (1.5) for \(x_{0}\in C\) such that \(d(x_{0},F)\leq\pi/4\). Then there exists a unique point p in F such that \(d(y_{n},p)\leq d(x_{n},p)\leq\pi/4\) for all \(n\geq0\).

Proof

By Theorem 3.4 in [22] and Lemma 2.2, there exists a unique point p in F such that \(d(x_{0},F)=d(x_{0},p)\). From \(d(Tx_{0},p)\leq d(x_{0},p)\leq\pi/4\) and \(B_{\pi/4}[p]\) is convex, we have

$$d(y_{0},p)=d\bigl(b_{0}Tx_{0}\oplus(1-b_{0})x_{0},p \bigr)\leq d(x_{0},p)\leq\pi/4. $$

Suppose that \(d(y_{k},p)\leq d(x_{k},p)\leq\pi/4\) for \(k\geq1\). Since \(d(Sy_{k},p)\leq d(y_{k},p)\leq\pi/4\) and \(B_{\pi/4}[p]\) is convex, we have

$$d(x_{k+1},p)=d\bigl(a_{k}Sy_{k} \oplus(1-a_{k})Tx_{k},p\bigr)\leq d(x_{k},p)\leq \pi/4 $$

and

$$d(y_{k+1},p)=d\bigl(b_{k+1}Tx_{k+1} \oplus(1-b_{k+1})x_{k+1},p\bigr)\leq d(x_{k+1},p)\leq \pi/4. $$

It follows that \(d(y_{k+1},p)\leq d(x_{k+1},p)\leq\pi/4\). By mathematical induction, hence \(d(y_{n},p)\leq d(x_{n},p)\leq\pi/4\) for all \(n\geq0\). □

Lemma 3.2

Let \((X,d)\) be a complete \(\operatorname {CAT}(1)\) space and let C be a nonempty, closed, and convex subset of X. Let T and S be two nonexpansive mappings of C such that \(F := \operatorname {Fix}(T)\cap \operatorname {Fix}(S)\neq\emptyset\). Let \(\{ a_{n}\}\) and \(\{b_{n}\}\) be such that \(0< a\leq a_{n},b_{n}\leq b<1\) for all \(n\geq0\) and for some a, b. If \(\{x_{n}\}\) is defined by (1.5) for \(x_{0}\in C\) such that \(d(x_{0},F)\leq\pi/4\), then

  1. (i)

    \(\lim_{n\to\infty}d(x_{n},p)\) exists;

  2. (ii)

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

Proof

By Lemma 2.3 and Lemma 3.1, there exist \(p\in F\) and \(M>0\) such that

$$\begin{aligned} d^{2}(x_{n+1},p)&=d^{2} \bigl(a_{n}Sy_{n}\oplus(1-a_{n})Tx_{n},p \bigr) \\ &\leq a_{n}d^{2}(Sy_{n},p)+(1-a_{n})d^{2}(Tx_{n},p)- \frac {M}{2}a_{n}(1-a_{n})d^{2}(Sy_{n},Tx_{n}) \\ &\leq a_{n}d^{2}(y_{n},p)+(1-a_{n})d^{2}(x_{n},p)- \frac {M}{2}a_{n}(1-a_{n})d^{2}(Sy_{n},Tx_{n}) \end{aligned}$$
(3.1)
$$\begin{aligned} &\leq a_{n}d^{2}(y_{n},p)+(1-a_{n})d^{2}(x_{n},p) \end{aligned}$$
(3.2)

and

$$\begin{aligned} d^{2}(y_{n},p)&=d^{2}\bigl(b_{n}Tx_{n} \oplus(1-b_{n})x_{n},p\bigr) \\ &\leq b_{n}d^{2}(Tx_{n},p)+(1-b_{n})d^{2}(x_{n},p)- \frac {M}{2}b_{n}(1-b_{n})d^{2}(Tx_{n},x_{n}) \\ &\leq d^{2}(x_{n},p)-\frac{M}{2}b_{n}(1-b_{n})d^{2}(Tx_{n},x_{n}) \\ &\leq d^{2}(x_{n},p). \end{aligned}$$
(3.3)

By (3.1) and (3.3), we have

$$\begin{aligned} d^{2}(x_{n+1},p)&\leq d^{2}(x_{n},p)- \frac {M}{2}a_{n}(1-a_{n})d^{2}(Sy_{n},Tx_{n}) \\ &\leq d^{2}(x_{n},p). \end{aligned}$$

Hence

$$d(x_{n+1},p)\leq d(x_{n},p). $$

This shows that \(\{d(x_{n},p)\}\) is decreasing and this proves part (i). Let

$$ \lim_{n\to\infty}d(x_{n},p)=c. $$
(3.4)

We next prove part (ii). From (3.2), we get

$$d^{2}(x_{n+1},p)\leq a_{n}d^{2}(y_{n},p)+(1-a_{n})d^{2}(x_{n},p), $$

from which it follows that

$$a_{n}d^{2}(x_{n},p)\leq d^{2}(x_{n},p)+a_{n}d^{2}(y_{n},p)-d^{2}(x_{n+1},p). $$

This implies that

$$d^{2}(x_{n},p)\leq d^{2}(y_{n},p)+ \frac{1}{a_{n}} \bigl[d^{2}(x_{n},p)-d^{2}(x_{n+1},p) \bigr]. $$

So

$$\begin{aligned}& c^{2}\leq\liminf_{n\to\infty}d^{2}(y_{n},p). \end{aligned}$$

On the other hand, (3.3) gives

$$\begin{aligned}& \limsup_{n\to\infty}d^{2}(y_{n},p)\leq c^{2} \end{aligned}$$

so that

$$ \lim_{n\to\infty}d(y_{n},p)=c. $$
(3.5)

We see that

$$\begin{aligned}& d^{2}(y_{n},p)\leq d^{2}(x_{n},p)- \frac {M}{2}b_{n}(1-b_{n})d^{2}(Tx_{n},x_{n}), \end{aligned}$$

thus

$$d^{2}(Tx_{n},x_{n})\leq\frac{2}{b_{n}(1-b_{n})M} \bigl[d^{2}(x_{n},p)-d^{2}(y_{n},p) \bigr]. $$

Using (3.4) and (3.5), we can conclude that

$$\begin{aligned}& \lim_{n\to\infty}d(Tx_{n},x_{n})=0. \end{aligned}$$
(3.6)

Next, we know that

$$\begin{aligned}& d^{2}(x_{n+1},p)\leq d^{2}(x_{n},p)- \frac {M}{2}a_{n}(1-a_{n})d^{2}(Sy_{n},Tx_{n}), \end{aligned}$$

from which it follows that

$$d^{2}(Sy_{n},Tx_{n})\leq\frac{2}{a_{n}(1-a_{n})M} \bigl[d^{2}(x_{n},p)-d^{2}(x_{n+1},p) \bigr]. $$

This yields

$$\begin{aligned}& \lim_{n\to\infty}d(Sy_{n},Tx_{n})=0. \end{aligned}$$
(3.7)

Using (1.5), we obtain

$$d(y_{n},x_{n})=d\bigl(b_{n}Tx_{n} \oplus(1-b_{n})x_{n},x_{n}\bigr)=b_{n}d(Tx_{n},x_{n}). $$

This implies by (3.6),

$$\begin{aligned}& \lim_{n\to\infty}d(y_{n},x_{n})=0. \end{aligned}$$
(3.8)

Since

$$d(Sy_{n},x_{n})\leq d(Sy_{n},Tx_{n})+d(Tx_{n},x_{n}), $$

by (3.6) and (3.7),

$$\begin{aligned}& \lim_{n\to\infty}d(Sy_{n},x_{n})=0. \end{aligned}$$
(3.9)

Finally, we see that

$$\begin{aligned} d(Sx_{n},x_{n})&\leq d(Sx_{n},Sy_{n})+d(Sy_{n},x_{n}) \\ &\leq d(x_{n},y_{n})+d(Sy_{n},x_{n}), \end{aligned}$$

hence, by (3.8) and (3.9), we get

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

This completes the proof. □

Theorem 3.3

Let \((X,d)\) be complete a \(\operatorname {CAT}(\kappa)\) space and let C be a nonempty, closed, and convex subset of X. Let T and S be two nonexpansive mappings of C such that \(F:=\operatorname {Fix}(T)\cap \operatorname {Fix}(S)\neq \emptyset\). Let \(\{a_{n}\}\) and \(\{b_{n}\}\) be such that \(0< a\leq a_{n},b_{n}\leq b<1\) for all \(n\geq0\) and for some a, b. If \(\{x_{n}\} \) is defined by (1.5) for \(x_{0}\in C\) such that \(d(x_{0},F)< D_{\kappa}/4\), then \(\{x_{n}\}\) Δ-converges to a point in F.

Proof

Without loss of generality, we assume that \(\kappa=1\). Set \(F_{0}:=F\cap B_{\pi/2}(x_{0})\). Let \(q\in F_{0}\). Since \(d(Tx_{0},q)\leq d(x_{0},q)\) and since the open ball \(B_{\pi/2}(q)\) in C with radius \(r<\pi/2\) is convex, we have

$$d(y_{0},q)=d\bigl(b_{0}Tx_{0}\oplus(1-b_{0})x_{0},q \bigr)\leq d(x_{0},q). $$

Since \(d(Sy_{0},q)\leq d(y_{0},q)\) and since the open ball \(B_{\pi /2}(q)\) in C with radius \(r<\pi/2\) is convex, we have

$$d(x_{1},q)=d\bigl(a_{0}Sy_{0} \oplus(1-a_{0})Tx_{0},q\bigr)\leq d(x_{0},q). $$

By mathematical induction, we can show that

$$d(x_{n+1},q)\leq d(x_{n},q)\leq d(x_{0},q) $$

for all \(n\geq0\). Hence \(\{x_{n}\}\) is a Fejér monotone sequence with respect to \(F_{0}\). Let \(p\in F\) such that \(d(x_{0},p)\leq\pi/4\). Then \(p\in F_{0}\). Also we have

$$\begin{aligned}& d(x_{n+1},p)\leq d(x_{n},p)\leq d(x_{0},p)< \pi/4 \end{aligned}$$
(3.10)

for all \(n\geq0\). This shows that \(r(\{x_{n}\})<\pi/4\). By Lemma 2.8, let \(x\in C\) be a Δ-cluster point of \(\{x_{n}\}\). Then there exists a subsequence \(\{x_{n_{k}}\}\) of \(\{x_{n}\}\) which Δ-converges to x. From (3.10), we get

$$r\bigl(p,\{x_{n_{k}}\}\bigr)\leq d(x_{0},p)< \pi/4. $$

By Lemma 2.6, we obtain

$$\begin{aligned}& d(x,x_{0})\leq d(x,p)+d(x_{0},p)\leq\liminf _{k\rightarrow\infty }d(x_{n_{k}},p)+d(x_{0},p)< \pi/2. \end{aligned}$$

This implies that \(x\in B_{\pi/2}(x_{0})\). By Lemma 3.2, we have

$$\begin{aligned} \limsup_{k\rightarrow\infty}d(Tx,x_{n_{k}})&\leq\limsup _{k\rightarrow \infty}d(Tx,Tx_{n_{k}})+\limsup_{k\rightarrow\infty }d(Tx_{n_{k}},x_{n_{k}}) \\ &\leq\limsup_{k\rightarrow\infty}d(x,x_{n_{k}}) \end{aligned}$$

and

$$\begin{aligned} \limsup_{k\rightarrow\infty}d(Sx,x_{n_{k}})&\leq\limsup _{k\rightarrow \infty}d(Sx,Sx_{n_{k}})+\limsup_{k\rightarrow\infty }d(Sx_{n_{k}},x_{n_{k}}) \\ &\leq\limsup_{k\rightarrow\infty}d(x,x_{n_{k}}). \end{aligned}$$

Hence \(Tx,Sx\in A(\{x_{n_{k}}\})\) and \(Tx=x=Sx\). Therefore \(x\in F_{0}\). By Lemma 2.8, we thus complete the proof. □

We immediately obtain the following results in \(\operatorname {CAT}(0)\) spaces.

Corollary 3.4

Let \((X,d)\) be a complete \(\operatorname {CAT}(0)\) space and let C be a nonempty, closed, and convex subset of X. Let T and S be two nonexpansive mappings of C such that \(F:=\operatorname {Fix}(T)\cap \operatorname {Fix}(S)\neq\emptyset\). Let \(\{ a_{n}\}\) and \(\{b_{n}\}\) be such that \(0< a\leq a_{n},b_{n}\leq b<1\) for all \(n\geq0\) and for some a, b. If \(\{x_{n}\}\) is defined by (1.5), then \(\{x_{n}\}\) Δ-converges to a point in F.

Remark 3.5

When \(S=T\), we obtain Theorem 1 of Khan and Abbas [6].

Along a similar proof line, we can obtain the following result for the Ishikawa-type iteration process.

Theorem 3.6

Let \((X,d)\) be a complete \(\operatorname {CAT}(\kappa)\) space and let C be a nonempty, closed, and convex subset of X. Let T and S be two nonexpansive mappings of C such that \(F:=\operatorname {Fix}(T)\cap \operatorname {Fix}(S)\neq \emptyset\). Let \(\{a_{n}\}\) and \(\{b_{n}\}\) be such that \(0< a\leq a_{n},b_{n}\leq b<1\) for all \(n\geq0\) and for some a, b. If \(\{x_{n}\} \) is defined by (1.4) for \(x_{0}\in C\) such that \(d(x_{0},F)< D_{\kappa}/4\), then \(\{x_{n}\}\) Δ-converges to a point in F.

Corollary 3.7

[6] Let \((X,d)\) be a complete \(\operatorname {CAT}(0)\) space and let C be a nonempty, closed, and convex subset of X. Let T and S be two nonexpansive mappings of C such that \(F:=\operatorname {Fix}(T)\cap \operatorname {Fix}(S)\neq\emptyset\). Let \(\{ a_{n}\}\) and \(\{b_{n}\}\) be such that \(0< a\leq a_{n},b_{n}\leq b<1\) for all \(n\geq0\) and for some a, b. If \(\{x_{n}\}\) is defined by (1.4), then \(\{x_{n}\}\) Δ-converges to a point in F.

4 Numerical examples

In this section, we consider the m-sphere \(\mathbb{S}^{m}\), which is a \(\operatorname {CAT}(\kappa)\) space.

The m-sphere \(\mathbb{S}^{m}\) is defined by

$$\bigl\{ x=(x_{1},\ldots,x_{m+1})\in\mathbb{R}^{m+1} : \langle x,x\rangle=1\bigr\} , $$

where \(\langle\cdot,\cdot\rangle\) denotes the Euclidean scalar product.

Next, the normalized geodesic \(c : \mathbb{R}\rightarrow\mathbb {S}^{m}\) starting from \(x\in\mathbb{S}^{m}\) is given by

$$c(t)=(\cos t)x+(\sin t)v,\quad \forall t\in\mathbb{R}, $$

where \(v\in T_{x}\mathbb{S}^{m}\) is the unit vector; while the distance d on \(\mathbb{S}^{m}\) is

$$d(x,y)=\arccos\bigl(\langle x,y\rangle\bigr), \quad \forall x,y\in \mathbb{S}^{m}. $$

Then iteration process (1.4) has the form

$$ \begin{aligned} &y_{n}=\bigl(\cos(1-b_{n})r(x_{n},x_{n}) \bigr)x_{n}+\bigl(\sin(1-b_{n})r(x_{n},x_{n}) \bigr)V(x_{n},x_{n}), \\ &x_{n+1}=\bigl(\cos(1-a_{n})\bar{r}(x_{n},y_{n}) \bigr)x_{n}+\bigl(\sin(1-a_{n})\bar{r}(x_{n},y_{n}) \bigr)\bar{V}(x_{n},y_{n}), \quad \forall n\geq0; \end{aligned} $$
(4.1)

and iteration process (1.5) has the form

$$ \begin{aligned} &y_{n}=\bigl(\cos(1-b_{n})r(x_{n},x_{n}) \bigr)x_{n}+\bigl(\sin(1-b_{n})r(x_{n},x_{n}) \bigr)V(x_{n},x_{n}), \\ &x_{n+1}=\bigl(\cos(1-a_{n})\bar{r}(Tx_{n},y_{n}) \bigr)Tx_{n}+\bigl(\sin(1-a_{n})\bar{r}(Tx_{n},y_{n}) \bigr)\bar{V}(Tx_{n},y_{n}),\quad \forall n\geq0, \end{aligned} $$
(4.2)

where

$$\begin{aligned}& r(x,y)=\arccos\bigl(\langle x,Ty\rangle\bigr) , \quad\quad \bar{r}(x,y)=\arccos \bigl( \langle x,Sy\rangle\bigr), \\& V(x,y)=\frac{Ty-\langle x,Ty\rangle x}{\sqrt{1-\langle x,Ty\rangle ^{2}}} \quad \mbox{and} \quad \bar{V}(x,y)=\frac{Sy-\langle x,Sy\rangle x}{\sqrt{1-\langle x,Sy\rangle^{2}}} ,\quad \forall x,y \in\mathbb{R}^{m+1}. \end{aligned}$$

Example 4.1

Let \(C=\mathbb{S}^{3}\) and let T and S be two nonexpansive mappings of C be defined by

$$Tx=(x_{1},-x_{2},-x_{3},-x_{4})\quad \mbox{and}\quad Sx=(x_{1},-x_{3},-x_{2},-x_{4}). $$

For any \(x=(x_{1},x_{2},x_{3},x_{4})\in\mathbb{S}^{3}\). Then \(\operatorname {Fix}(T)=\{ (1,0,0,0)\}=\operatorname {Fix}(S)\).

Choose \(x_{0}=(0.5,0.5,0.5,0.5)\) and let \(a_{n}=\frac{n}{20n+1}\) and \(b_{n}=\frac{n}{10n+1}\). Then we obtain the numerical results in Table 1 and Figure 1.

Figure 1
figure 1

Comparison of errors in ( 4.1 ) and ( 4.2 ).

Table 1 Convergence behavior of ( 4.1 ) and ( 4.2 )

We next consider the hyperbolic m-space \(\mathbb{H}^{m}\).

The hyperbolic m-space \(\mathbb{H}^{m}\) is defined by

$$\bigl\{ x=(x_{1},\ldots,x_{m+1})\in\mathbb{R}^{m+1} : \langle x,x\rangle=-1,x_{m+1}\geq1\bigr\} , $$

where

$$\langle x,y\rangle=\sum_{i=1}^{m}x_{i}y_{i}-x_{m+1}y_{m+1},\quad \forall x=(x_{i}), y=(y_{i})\in\mathbb{R}^{m+1}. $$

Next, the normalized geodesic \(c : \mathbb{R}\rightarrow\mathbb {H}^{m}\) starting from \(x\in\mathbb{H}^{m}\) is given by

$$c(t)=(\cosh t)x+(\sinh t)v, \quad \forall t\in\mathbb{R}, $$

where \(v\in T_{x}\mathbb{H}^{m}\) is the unit vector; while the distance d on \(\mathbb{H}^{m}\) is

$$d(x,y)=\operatorname {arccosh}\bigl(-\langle x,y\rangle\bigr), \quad \forall x,y\in \mathbb{H}^{m}. $$

Then iteration process (1.4) has the form

$$ \begin{aligned} &y_{n}=\bigl(\cosh(1-b_{n})r(x_{n},x_{n}) \bigr)x_{n}+\bigl(\sinh(1-b_{n})r(x_{n},x_{n}) \bigr)V(x_{n},x_{n}), \\ &x_{n+1}=\bigl(\cosh(1-a_{n})\bar{r}(x_{n},y_{n}) \bigr)x_{n}+\bigl(\sinh(1-a_{n})\bar{r}(x_{n},y_{n}) \bigr)\bar{V}(x_{n},y_{n}), \quad \forall n\geq0; \end{aligned} $$
(4.3)

and iteration process (1.5) has the form

$$ \begin{aligned} &y_{n}=\bigl(\cosh(1-b_{n})r(x_{n},x_{n}) \bigr)x_{n}+\bigl(\sinh(1-b_{n})r(x_{n},x_{n}) \bigr)V(x_{n},x_{n}), \\ &x_{n+1}=\bigl(\cosh(1-a_{n})\bar{r}(Tx_{n},y_{n}) \bigr)Tx_{n} \\ &\hphantom{x_{n+1}=}{}+\bigl(\sinh(1-a_{n})\bar{r}(Tx_{n},y_{n}) \bigr)\bar{V}(Tx_{n},y_{n}), \quad \forall n\geq0, \end{aligned} $$
(4.4)

where

$$\begin{aligned}& r(x,y)=\operatorname {arccosh}\bigl(-\langle x,Ty\rangle\bigr) , \quad\quad \bar {r}(x,y)= \operatorname {arccosh}\bigl(-\langle x,Sy\rangle\bigr), \\& V(x,y)=\frac{Ty+\langle x,Ty\rangle x}{\sqrt{\langle x,Ty\rangle ^{2}-1}}\quad \mbox{and}\quad \bar{V}(x,y)=\frac{Sy+\langle x,Sy\rangle x}{\sqrt{\langle x,Sy\rangle^{2}-1}} ,\quad \forall x,y\in\mathbb{R}^{m+1}. \end{aligned}$$

Example 4.2

Let \(C=\mathbb{H}^{3}\) and let T and S be two nonexpansive mappings of C be defined by

$$Tx=(-x_{1},-x_{2},-x_{3},x_{4})\quad \mbox{and} \quad Sx=(-x_{3},-x_{1},-x_{2},x_{4}) $$

for any \(x=(x_{1},x_{2},x_{3},x_{4})\in\mathbb{H}^{3}\). Then \(\operatorname {Fix}(T)=\{ (0,0,0,1)\}=\operatorname {Fix}(S)\).

Choose \(x_{0}=(2,2,4,5)\) and let \(a_{n}=\frac{n}{5n+1}\) and \(b_{n}=\frac{n}{7n+1}\). Then we obtain the numerical results in Table 2 and Figure 2.

Figure 2
figure 2

Comparison of errors in ( 4.3 ) and ( 4.4 ).

Table 2 Convergence behavior of ( 4.3 ) and ( 4.4 )

From the numerical experience, we observe that the convergence rate of S-iteration process is much quicker than that of the Ishikawa iteration process.

Remark 4.3

The convergence behavior of Mann and Halpern iterations in Hadamard manifolds can be found in the work of Li et al. [18].

References

  1. Li, P, Kang, SM, Zhu, LJ: Visco-resolvent algorithms for monotone operators and nonexpansive mappings. J. Nonlinear Sci. Appl. 7, 325-344 (2014)

    MathSciNet  MATH  Google Scholar 

  2. Lim, TC: Remarks on some fixed point theorems. Proc. Amer. Math. Soc. 60, 179-182 (1976)

    Article  MathSciNet  MATH  Google Scholar 

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

    Google Scholar 

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

    Article  MathSciNet  MATH  Google Scholar 

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

    Article  MathSciNet  MATH  Google Scholar 

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

    Article  MathSciNet  MATH  Google Scholar 

  7. He, JS, Fang, DH, López, G, Li, C: Mann’s algorithm for nonexpansive mappings in \(\operatorname {CAT}(\kappa)\) spaces. Nonlinear Anal. 75, 445-452 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  8. Jun, C: Ishikawa iteration process in \(\operatorname {CAT}(\kappa)\) spaces. arXiv:1303.6669v1 [math.MG]

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

    MathSciNet  MATH  Google Scholar 

  10. Das, G, Debata, JP: Fixed points of quasi-nonexpansive mappings. Indian J. Pure Appl. Math. 17, 1263-1269 (1986)

    MathSciNet  MATH  Google Scholar 

  11. Saipara, P, Chaipunya, P, Cho, YJ, Kumam, P: On strong and Δ-convergence of modified S-iteration for uniformly continuous total asymptotically nonexpansive mappings in \(\operatorname {CAT}(\kappa)\) spaces. J. Nonlinear Sci. Appl. 8, 965-975 (2015)

    MathSciNet  MATH  Google Scholar 

  12. Kumam, P, Saluja, GS, Nashine, HK: Convergence of modified S-iteration process for two asymptotically nonexpansive mappings in the intermediate sense in \(\operatorname {CAT}(0)\) spaces. J. Ineq. Appl. 2014, 368 (2014)

    Article  MathSciNet  Google Scholar 

  13. Chaoha, P, Phon-on, A: A note on fixed point sets in \(\operatorname {CAT}(0)\) spaces. J. Math. Anal. Appl. 320, 983-987 (2006)

    Article  MathSciNet  MATH  Google Scholar 

  14. Espínola, R, Fernández-León, A: \(\operatorname {CAT}(\kappa)\) spaces, weak convergence and fixed points. J. Math. Anal. Appl. 353, 410-427 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  15. Laokul, T, Panyanak, B: Approximating fixed points of nonexpansive mappings in \(\operatorname {CAT}(0)\) spaces. Int. J. Math. Anal. 3, 1305-1315 (2009)

    MathSciNet  MATH  Google Scholar 

  16. Panyanak, B, Laokul, T: On the Ishikawa iteration process in \(\operatorname {CAT}(0)\) spaces. Bull Iranian Math. Soc. 37, 185-197 (2011)

    MathSciNet  MATH  Google Scholar 

  17. Saejung, S: Halpern’s iteration in \(\operatorname {CAT}(0)\) spaces. Fixed Point Theory Appl. 2010, Article ID 471781 (2010). doi:10.1155/2010/471781

    MathSciNet  MATH  Google Scholar 

  18. Li, C, López, G, Martín-Márquez, V: Iterative algorithms for nonexpansive mappings on Hadamard manifolds. Taiwan. J. Math. 14, 541-559 (2010)

    MathSciNet  MATH  Google Scholar 

  19. Cholamjiak, P: The SP-iteration process for nonexpansive mappings in \(\operatorname {CAT}(\kappa)\) spaces. J. Nonlinear Convex Anal. 16, 109-118 (2015)

    MathSciNet  MATH  Google Scholar 

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

    MATH  Google Scholar 

  21. Ohta, S: Convexities of metric spaces. Geom. Dedic. 125, 225-250 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  22. Piątek, B: Halpern iteration in \(\operatorname {CAT}(\kappa)\) spaces. Acta Math. Sin. Engl. Ser. 27, 635-646 (2011)

    Article  MathSciNet  MATH  Google Scholar 

Download references

Acknowledgements

The authors wish to thank the referees for valuable suggestions. This research was supported by University of Phayao.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Prasit Cholamjiak.

Additional information

Competing interests

The authors declare that there is no conflict of interests regarding the publication of this article.

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

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Suparatulatorn, R., Cholamjiak, P. The modified S-iteration process for nonexpansive mappings in \(\operatorname{CAT}(\kappa)\) spaces. Fixed Point Theory Appl 2016, 25 (2016). https://doi.org/10.1186/s13663-016-0515-6

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13663-016-0515-6

MSC

Keywords