Skip to main content

A new iterative scheme for numerical reckoning fixed points of total asymptotically nonexpansive mappings

Abstract

In this paper, we propose a new iterative algorithm to approximate fixed points of total asymptotically nonexpansive mappings in \(\operatorname{CAT}(0)\) spaces. We also provide two examples to illustrate the convergence behavior of the proposed algorithm and numerically compare the convergence of the proposed iteration scheme with the existing schemes.

1 Introduction and basic definitions

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 mapping \(c:[0, l] \subseteq\mathbb{R} \rightarrow X\) such that \(c(0) = x\), \(c(l) = y\) and \(d(c(a), c(b)) = |a - b|\) for all \(a,b \in[0, l]\). It is easy to see that c is an isometry and \(d(x, y) = l\). The image \(c([0,l])\) is called a geodesic (or metric) segment joining x and y and is denoted by \([x, y]\) if it is unique.

The metric 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 C of X is said to be convex if C includes every geodesic segment joining any two of its point.

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})\) in the Euclidean plane \(\mathbb{R}^{2}\) such that \(d_{\mathbb{R}^{2}} (\overline{x}_{i}, \overline{x}_{j}) = d(x_{i}, x_{j})\) for all \(i, j \in\{1, 2, 3\}\). Bridson and Haefliger [1] have shown that such a triangle always exists.

A geodesic space is called 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} \subseteq\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}\),

    $$ d(x,y)\leq d_{\mathbb{R}^{2}}(\overline{x},\overline{y}). $$
    (1.1)

Complete \(\operatorname{CAT}(0)\) spaces are often called Hadamard spaces (see [2]).

If x, \(y_{1}\), \(y_{2}\) are points in a \(\operatorname{CAT}(0)\) space and if \(y_{0}\) is the midpoint of the segment \([y_{1}, y_{2}]\), which is a unique point with

$$ d(y_{1}, y_{0}) = d(y_{0}, y_{2}) = \frac{1}{2}d(y_{1}, y_{2}), $$
(1.2)

then the \(\operatorname{CAT}(0)\) inequality (1.1) implies

$$ d^{2} ( x,y_{0} ) \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}). $$
(1.3)

This inequality is called the (CN) inequality which due to Bruhat and Titz [3].

In fact (see [3], p.163), a geodesic metric space \((X,d)\) is a \(\operatorname{CAT}(0)\) space if and only if it satisfies the (CN) inequality. If \((X,d)\) is a \(\operatorname{CAT}(0)\) space and \(x, y \in X\), then for each \(t\in[0, 1]\), there exists a unique point \(z\in[x,y]\) such that

$$ d(x, z) = td(x, y) \quad \mbox{and}\quad d(y, z) = (1 - t)d(x, y). $$
(1.4)

For convenience, from now on we will use the notation \((1- t)x \oplus ty\) for the unique point z satisfying (1.4).

Definition 1.1

Let \(\{x_{n}\}\) be a bounded sequence in a \(\operatorname{CAT}(0)\) space \((X,d)\).

  1. 1.

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

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

    where \(r(x,\{x_{n}\}) :=\limsup_{n\rightarrow\infty} d(x,x_{n})\).

  2. 2.

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

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

In 2006, Dhompongsa et al. [4] showed that \(A(\{ x_{n}\})\) consists of exactly one point for each bounded sequence \(\{x_{n}\}\) in a \(\operatorname{CAT}(0)\) space (see Proposition 7 in [4])).

Next, we give the concept of Δ-convergent sequence in a \(\operatorname{CAT}(0)\) spaces.

Definition 1.2

Let \((X,d)\) be a \(\operatorname{CAT}(0)\) space. A sequence \(\{x_{n}\}\) in X is said to Δ-converge to \(x\in X\) if and only if x is the unique asymptotic center of all subsequences of \(\{x_{n}\}\). In this case, we write \(\Delta\mbox{-}\!\lim_{n\rightarrow\infty} x_{n} = x\) and x is called the Δ-limit of \(\{x_{n}\}\).

Let us recall some basics for nonlinear mappings on \(\operatorname {CAT}(0)\) spaces.

Definition 1.3

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

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

for all \(x,y\in C\).

Definition 1.4

([5])

Let C be a nonempty subset of a \(\operatorname{CAT}(0)\) space \((X,d)\). A mapping \(T : C\rightarrow C\) is said to be asymptotically nonexpansive if there exists a sequences \(\{k_{n}\}\subseteq[1,\infty)\) with \(k_{n} \rightarrow1\) as \(n\rightarrow\infty\) such that

$$ d\bigl(T^{n}x,T^{n}y\bigr) \leq k_{n}d(x, y) $$
(1.6)

for all \(x,y\in C\) and \(n\in\mathbb{N}\).

Definition 1.5

Let C be a nonempty subset of a \(\operatorname{CAT}(0)\) space \((X,d)\). A mapping \(T : C\rightarrow C\) is said to be uniformly L-Lipschitzian if there exists a constant \(L\geq0\) such that

$$ d\bigl(T^{n}x,T^{n}y\bigr) \leq L d(x, y) $$
(1.7)

for all \(x,y\in C\) and \(n\in\mathbb{N}\).

Definition 1.6

([6])

Let C be a nonempty subset of a \(\operatorname{CAT}(0)\) space \((X,d)\). A mapping \(T : C\rightarrow C\) is said to be \((\{v_{n}\}, \{u_{n}\}, \zeta )\)-total asymptotically nonexpansive (briefly, total asymptotically nonexpansive) if there exist nonnegative sequences \(\{v_{n}\}\) and \(\{u_{n}\}\) with \(v_{n} \rightarrow0\), \(u_{n} \rightarrow0\) and a strictly increasing continuous function \(\zeta: [0,\infty) \rightarrow [0,\infty)\) with \(\zeta(0) = 0\) such that

$$ d\bigl(T^{n}x,T^{n}y\bigr) \leq d(x, y) + v_{n} \zeta\bigl( d(x, y) \bigr) + u_{n} $$
(1.8)

for all \(x,y\in C\) and \(n\in\mathbb{N}\).

Remark 1.7

From Definitions 1.3, 1.4, 1.5, and 1.6, we note that each nonexpansive mapping is an asymptotically nonexpansive mapping with a sequence \(\{k_{n}:=1\}\) for all \(n\in\mathbb{N}\) and each asymptotically nonexpansive mapping is a \((\{v_{n}\}, \{u_{n}\}, \zeta )\)-total asymptotically nonexpansive mapping with two sequences \(\{v_{n}:=k_{n}-1\}\) and \(\{u_{n}:=0\}\) for all \(n\in\mathbb {N}\) and ζ is an identity mapping. Also, we see that each asymptotically nonexpansive mapping is a uniformly L-Lipschitzian mapping with \(L:=\sup_{n\in\mathbb {N}} \{k_{n}\}\).

Lemma 1.8

([7], Theorem 2.8)

Let C be a closed convex subset of a complete \(\operatorname{CAT}(0)\) space \((X,d)\) and \(T : C \rightarrow C\) be a total asymptotically nonexpansive and uniformly L-Lipschitzian mapping. If \(\{x_{n}\}\) is a bounded sequence in C such that \(\lim_{n\rightarrow\infty} d(x_{n},Tx_{n}) = 0 \) and \(\Delta\mbox{-}\!\lim_{n\rightarrow\infty} x_{n} =p\), then \(Tp = p\).

In 2014, Panyanak [8] gave the following existence result of fixed points for total asymptotically nonexpansive mappings in \(\operatorname{CAT}(0)\) spaces which is also need in our main results.

Theorem 1.9

([8], Corollary 3.2)

Let C be a nonempty bounded closed convex subset of a complete \(\operatorname{CAT}(0)\) space \((X,d)\) and \(T : C \rightarrow C\) be a continuous total asymptotically nonexpansive mapping. Then T has a fixed point.

Recently, Thakur et al. [9] introduced the modified Picard-Mann hybrid iteration process \(\{x_{n}\}\), which is given by

$$ \left . \textstyle\begin{array}{l} x_{1} \in C, \\ y_{n} = (1 - \alpha_{n})x_{n} \oplus\alpha_{n} T^{n} x_{n}, \\ x_{n+1} = T^{n}y_{n} \end{array}\displaystyle \right \} $$
(1.9)

for all \(n \in\mathbb{N}\), where C is a nonempty bounded closed convex subset of a \(\operatorname{CAT}(0)\) space \((X,d)\), \(\{\alpha_{n}\} \) is real sequence in the interval \([0,1]\) and \(T:X\rightarrow X\) is a total asymptotically nonexpansive mapping. By using the iteration process (1.9) and Panyanak’s fixed point result (Theorem 1.9), they proved Δ-convergence and strong convergence theorems for total asymptotically nonexpansive mappings on \(\operatorname{CAT}(0)\) spaces. They also compare the convergence of the modified Picard-Mann hybrid iteration process (1.9) with the modified Mann iteration process \(\{x_{n}\}\), which is given by

$$ \left . \textstyle\begin{array}{l} x_{1} \in C, \\ x_{n+1} = (1 - \alpha_{n})x_{n} \oplus\alpha_{n} T^{n} x_{n} \end{array}\displaystyle \right \} $$
(1.10)

for all \(n \in\mathbb{N}\), where C is a nonempty bounded closed convex subset of a \(\operatorname{CAT}(0)\) space \((X,d)\), \(\{\alpha_{n}\} \) is real sequence in the interval \([0,1]\) and \(T:X\rightarrow X\) is a total asymptotically nonexpansive mapping. The original idea of the modified Mann iteration process was introduced by Alber et al. [6].

Motivated by the above recorded studies, in this work, we introduce a new iterative algorithm called ‘modified Picard-Ishikawa hybrid’ to approximate fixed points of total asymptotically nonexpansive mappings on \(\operatorname{CAT}(0)\) spaces. Our results are refinements and generalizations of many recent results from the current literature. We also provide two numerical examples to illustrate the convergence behavior of the proposed algorithm.

Before we show our main results in the next section, let us recall some useful lemmas.

Lemma 1.10

([10], Lemma 2)

Let \(\{a_{n}\}\), \(\{\lambda_{n}\}\) and \(\{c_{n}\}\) be the sequences of nonnegative numbers such that

$$a_{n+1} \leq(1+\lambda_{n})a_{n}+c_{n}. $$

If \(\sum_{n=1}^{\infty} \lambda_{n} < \infty\) and \(\sum_{n=1}^{\infty} c_{n} < \infty\), then \(\lim_{n\rightarrow\infty} a_{n}\) exists. Moreover, if there exists a subsequence \(\{a_{n_{i}}\} \subseteq\{a_{n}\}\) such that \(a_{n_{i}} \rightarrow0\) as \(i\rightarrow\infty\), then \(\lim_{n\rightarrow\infty} a_{n} = 0\).

Lemma 1.11

Let \((X,d)\) be a complete \(\operatorname{CAT}(0)\) space. Then the following assertions hold:

(C1):

every bounded sequence in X always has a Δ-convergent subsequence [11], p.3690;

(C2):

if \(\{x_{n}\}\) is a bounded sequence in a closed convex subset C of X, then the asymptotic center of \(\{x_{n}\}\) is in C [12], Proposition 2.1;

(C3):

if \(\{x_{n}\}\) is a bounded sequence in X with \(A(\{x_{n}\} ) = \{p\}\), \(\{u_{n}\}\) is a subsequence of \(\{x_{n}\}\) with \(A(\{u_{n}\}) = \{u\}\) and the sequence \(\{d(x_{n},u)\}\) converges, then \(p = u\) [13], Lemma 2.8.

Lemma 1.12

([14], Lemma 4.5)

Let x be a given point in a \(\operatorname{CAT}(0)\) space \((X,d)\) and \(\{t_{n}\}\) be a sequence in a closed interval \([a, b]\) with \(0 < a \leq b < 1\) and \(0 < a(1-b) \leq\frac{1}{2}\). Suppose that \(\{x_{n}\}\) and \(\{y_{n}\}\) be two sequences in X such that

$$\begin{aligned}& \limsup_{n\rightarrow\infty} d(x_{n},x) \leq r, \\& \limsup_{n\rightarrow\infty} d(y_{n},x) \leq r, \\& \limsup_{n\rightarrow\infty} d\bigl( (1 - t_{n})x_{n} \oplus t_{n} y_{n} , x \bigr) = r \end{aligned}$$

for some \(r \geq0\). Then \(\lim_{n\rightarrow\infty} d(x_{n},y_{n}) = 0 \).

2 Main results

In this section, we begin with the Δ-convergence theorem for a total asymptotically nonexpansive mapping T on a nonempty closed convex subset C of a \(\operatorname{CAT}(0)\) space through the modified Picard-Ishikawa hybrid iteration process as follows:

$$ \left . \textstyle\begin{array}{l} x_{1} \in C, \\ z_{n} = (1 - \beta_{n})x_{n} \oplus\beta_{n} T^{n} x_{n}, \\ y_{n} = (1 - \alpha_{n})z_{n} \oplus\alpha_{n} T^{n} z_{n}, \\ x_{n+1} = T^{n}y_{n} \end{array}\displaystyle \right \} $$
(2.1)

for all \(n\in\mathbb{N}\), where \(\{\alpha_{n}\}\) and \(\{\beta_{n}\}\) are real control sequences in the interval \([0,1]\).

Theorem 2.1

Let C be a bounded closed convex subset of a complete \(\operatorname {CAT}(0)\) space \((X,d)\) and \(T : C\rightarrow C\) be a uniformly L-Lipschitzian and \((\{v_{n}\}, \{u_{n}\},\zeta)\)-total asymptotically nonexpansive mapping. Suppose that the following conditions are satisfied:

(S1):

\(\sum_{n=1}^{\infty} v_{n} < \infty\) and \(\sum_{n=1}^{\infty} u_{n} < \infty\);

(S2):

there exist constants \(a, b\) with \(0 < a\leq\alpha_{n} \leq b < 1\) for all \(n\in\mathbb{N}\) and \(0< a(1-b) \leq\frac{1}{2}\);

(S3):

there exists a constant \(M^{*}\) such that \(\zeta(r) \leq M^{*}r\) for all \(r\geq0\).

Then the sequence \(\{x_{n}\}\) which is defined by (2.1) Δ-converges to some point \(p \in F(T)\), where \(F(T)\) is the set of fixed points of T.

Proof

Since T is uniformly L-Lipschitzian, we have T is continuous. By using Theorem 1.9, we get \(F(T)\neq\emptyset\). Next, we will divide the proof into three steps.

Step 1: First, we will prove that \(\lim_{n\rightarrow\infty } d(x_{n},p) \) exists for each \(p\in F(T)\), where \(\{x_{n}\}\) is defined by (2.1). Assume that \(\{x_{n}\}\) is defined by (2.1) and let \(p\in F(T)\). Then we obtain

$$\begin{aligned} d(z_{n},p) =& d\bigl( (1 - \beta_{n})x_{n} \oplus\beta_{n} T^{n} x_{n} ,p\bigr) \\ \leq& (1 - \beta_{n}) d( x_{n},p) + \beta_{n} d \bigl(T^{n} x_{n} ,p\bigr) \\ \leq& (1 - \beta_{n}) d( x_{n},p) + \beta_{n} \bigl[ d(x_{n}, p) + v_{n} \zeta\bigl( d(x_{n}, p) \bigr) + u_{n} \bigr] \\ =& d( x_{n},p) + \beta_{n} \bigl[ v_{n} \zeta \bigl( d(x_{n}, p) \bigr) + u_{n} \bigr] \\ \leq& d( x_{n},p) + v_{n} \zeta\bigl( d(x_{n}, p) \bigr) + u_{n} \\ \leq& \bigl(1+v_{n}M^{*}\bigr)d( x_{n},p) + u_{n} \end{aligned}$$
(2.2)

for all \(n\in\mathbb{N}\). Also, we have

$$\begin{aligned} \begin{aligned}[b] d(y_{n},p) &= d\bigl( (1 - \alpha_{n})z_{n} \oplus\alpha_{n} T^{n} z_{n} ,p\bigr) \\ &\leq (1 - \alpha_{n}) d( z_{n},p) + \alpha_{n} d \bigl(T^{n} z_{n} ,p\bigr) \\ &\leq (1 - \alpha_{n}) d( z_{n},p) + \alpha_{n} \bigl[ d(z_{n}, p) + v_{n} \zeta\bigl( d(z_{n}, p) \bigr) + u_{n} \bigr] \\ &= d( z_{n},p) + \alpha_{n} \bigl[ v_{n} \zeta \bigl( d(z_{n}, p) \bigr) + u_{n} \bigr] \\ &\leq d( z_{n},p) + v_{n} \zeta\bigl( d(z_{n}, p) \bigr) + u_{n} \\ &\leq \bigl(1+v_{n}M^{*}\bigr)d( z_{n},p) + u_{n} \\ &\leq \bigl(1+v_{n}M^{*}\bigr)^{2}d( x_{n},p) + \bigl(1+v_{n}M^{*}\bigr) u_{n} + u_{n} \end{aligned} \end{aligned}$$
(2.3)

for all \(n\in\mathbb{N}\). From (2.1), (2.2), and (2.3), for each \(n\in\mathbb{N}\), we get

$$\begin{aligned} d(x_{n+1},p) =& d\bigl( T^{n}y_{n} , p \bigr) \\ \leq& d(y_{n}, p) + v_{n} \zeta\bigl( d(y_{n}, p) \bigr) + u_{n} \\ \leq& \bigl(1+v_{n}M^{*}\bigr)d(y_{n}, p) + u_{n} \\ \leq& \bigl(1+v_{n}M^{*}\bigr)^{3}d( x_{n},p) + \bigl(1+v_{n}M^{*}\bigr)^{2} u_{n} + \bigl(1+v_{n}M^{*}\bigr) u_{n} + u_{n} \\ =& \bigl(1+v_{n}M^{*}\bigr)^{3}d( x_{n},p) + \bigl[ \bigl(1+v_{n}M^{*}\bigr)^{2} + \bigl(1+v_{n}M^{*}\bigr) + 1 \bigr] u_{n} \\ =& (1+\lambda_{n} )d( x_{n},p) + c_{n}, \end{aligned}$$
(2.4)

where \(\lambda_{n} := 3v_{n}M^{*}+3(v_{n}M^{*})^{2}+(v_{n}M^{*})^{3} \) and \(c_{n} := [ 3+ 3v_{n}M^{*}+(v_{n}M^{*})^{2} ] u_{n}\). The assumption (S1) yields

$$ \sum_{n=1}^{\infty} \lambda_{n} < \infty\quad \mbox{and}\quad \sum _{n=1}^{\infty} c_{n} < \infty. $$
(2.5)

By using Lemma 1.10 with assertions (2.4) and (2.5), we see that \(\lim_{n\rightarrow\infty} d(x_{n},p) \) exists.

Step 2: In this step, we will prove that \(\lim_{n\rightarrow \infty} d(x_{n},Tx_{n}) =0\). Without loss of generality, we may assume that

$$ r:=\lim_{n\rightarrow\infty} d(x_{n},p) \geq0. $$
(2.6)

From (2.2), we have

$$ \limsup_{n\rightarrow\infty} d(z_{n},p) \leq r. $$
(2.7)

It follows from T being a \((\{v_{n}\}, \{u_{n}\},\zeta)\)-total asymptotically nonexpansive mapping that

$$\begin{aligned} d\bigl( T^{n}z_{n} , p \bigr) \leq& d(z_{n}, p) + v_{n} \zeta\bigl( d(z_{n}, p) \bigr) + u_{n} \\ \leq& \bigl(1+v_{n}M^{*}\bigr)d(z_{n}, p) + u_{n}. \end{aligned}$$
(2.8)

From (2.7) and (2.8), we have

$$ \limsup_{n\rightarrow\infty} d\bigl(T^{n}z_{n},p \bigr) \leq r. $$
(2.9)

Similarly, we get

$$ \limsup_{n\rightarrow\infty} d\bigl(T^{n}x_{n},p \bigr) \leq r. $$
(2.10)

Since

$$d(x_{n+1},p) \leq \bigl(1+v_{n}M^{*}\bigr)d(y_{n}, p) + u_{n}, $$

we obtain

$$ r\leq\limsup_{n\rightarrow\infty} d(y_{n},p), $$
(2.11)

which implies that

$$ r\leq\limsup_{n\rightarrow\infty} d(z_{n},p). $$
(2.12)

From (2.7) and (2.12), we can conclude that

$$ r = \limsup_{n\rightarrow\infty} d(z_{n},p) = \limsup _{n\rightarrow\infty} d\bigl( (1 - \beta_{n})x_{n} \oplus \beta_{n} T^{n} x_{n} ,p\bigr). $$
(2.13)

By using Lemma 1.12 with (2.6), (2.10), and (2.13), we get

$$ \lim_{n\rightarrow\infty} d\bigl(x_{n},T^{n}x_{n} \bigr) =0. $$
(2.14)

From (2.3) and (2.6), we have

$$ \limsup_{n\rightarrow\infty} d(y_{n},p) \leq r. $$
(2.15)

Combining (2.11) and (2.15), we get

$$ r = \limsup_{n\rightarrow\infty} d(y_{n},p) = \limsup _{n\rightarrow\infty} d\bigl( (1 - \alpha_{n})z_{n} \oplus \alpha_{n} T^{n} z_{n} ,p\bigr). $$
(2.16)

Again, by using Lemma 1.12 with (2.7), (2.9), and (2.16), we get

$$ \lim_{n\rightarrow\infty} d\bigl(z_{n},T^{n}z_{n} \bigr) =0. $$
(2.17)

By using condition (1.8), we have

$$\begin{aligned} d\bigl( T^{n}z_{n} , T^{n}x_{n} \bigr) \leq& d(z_{n}, x_{n}) + v_{n} \zeta\bigl( d(z_{n}, x_{n}) \bigr) + u_{n} \\ \leq& \bigl(1+v_{n}M^{*}\bigr)d(z_{n}, x_{n}) + u_{n} \\ =& \bigl(1+v_{n}M^{*}\bigr)d\bigl( (1 - \alpha_{n})x_{n} \oplus\alpha_{n} T^{n} x_{n} , x_{n} \bigr) + u_{n} \\ \leq& \bigl(1+v_{n}M^{*}\bigr) \bigl[ (1 - \alpha_{n})d( x_{n},x_{n}) + \alpha_{n} d\bigl(T^{n} x_{n} , x_{n}\bigr) \bigr] + u_{n} \end{aligned}$$
(2.18)

for all \(n\in\mathbb{N}\). From (2.14), we get

$$ \lim_{n\rightarrow\infty} d\bigl( T^{n}z_{n} , T^{n}x_{n} \bigr) =0. $$
(2.19)

Also, we have

$$\begin{aligned} d\bigl( T^{n}y_{n} , T^{n}z_{n} \bigr) \leq& d(y_{n}, z_{n}) + v_{n} \zeta\bigl( d(y_{n}, z_{n}) \bigr) + u_{n} \\ \leq& \bigl(1+v_{n}M^{*}\bigr)d(y_{n}, z_{n}) + u_{n} \\ =& \bigl(1+v_{n}M^{*}\bigr)d\bigl( (1 - \alpha_{n})z_{n} \oplus\alpha_{n} T^{n} z_{n} , z_{n} \bigr) + u_{n} \\ \leq& \bigl(1+v_{n}M^{*}\bigr) \bigl[ (1 - \alpha_{n})d( z_{n},z_{n}) + \alpha_{n} d\bigl(T^{n} z_{n} , z_{n}\bigr) \bigr] + u_{n} \end{aligned}$$
(2.20)

for all \(n\in\mathbb{N}\). From (2.17) and (2.20), we obtain

$$ \lim_{n\rightarrow\infty} d\bigl( T^{n}y_{n} , T^{n}z_{n} \bigr) =0. $$
(2.21)

By using the triangle inequality, we have

$$d( x_{n},x_{n+1} ) = d\bigl( x_{n},T^{n}y_{n} \bigr) \leq d\bigl( x_{n},T^{n}x_{n} \bigr) + d \bigl( T^{n}x_{n} , T^{n}z_{n} \bigr) +d \bigl( T^{n}z_{n} , T^{n}y_{n} \bigr) $$

for all \(n\in\mathbb{N}\). Taking the limit \(n\rightarrow\infty\) in the above inequality with (2.14), (2.19), and (2.21), we conclude that

$$ \lim_{n\rightarrow\infty} d( x_{n} ,x_{n+1} ) =0. $$
(2.22)

By using the triangle inequality with (2.14) and (2.22), 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) + Ld( x_{n+1}, x_{n})+ L d\bigl(T^{n}x_{n},x_{n} \bigr) \\ \rightarrow& 0 \quad \mbox{as } n\rightarrow\infty. \end{aligned}$$

So Step 2 is proved.

Step 3: Now to claim that the sequence \(\{x_{n}\}\) Δ-converges to a fixed point of T, we prove that

$$W_{\Delta}(x_{n}) := \bigcup_{ \{w_{n}\}\subseteq\{x_{n}\} } A \bigl(\{ u_{n}\}\bigr) \subseteq F(T) $$

and \(W_{\Delta}(x_{n})\) consists of exactly one point. Assume that \(w \in W_{\Delta}(x_{n})\). From the definition of \(W_{\Delta}(x_{n})\), there is a subsequence \(\{w_{n}\}\) of \(\{x_{n}\}\) such that \(A(\{w_{n}\}) = \{w\}\). By Lemma 1.11(C1), there exists a subsequence \(\{z_{n}\}\) of \(\{w_{n}\}\) such that \(\Delta\mbox{-}\!\lim_{n\rightarrow\infty} z_{n} = z \in C\). Using Lemma 1.8, we get \(z \in F(T)\). Since \(\{d(w_{n}, z)\}\) converges, by Lemma 1.11(C2), we obtain \(w = z\). It yields \(W_{\Delta}(x_{n}) \subseteq F(T)\). Finally, we show that \(W_{\Delta}(x_{n})\) consists of exactly one point. Let \(\{w_{n}\}\) be a subsequence of \(\{x_{n}\}\) with \(A(\{w_{n}\}) = \{w\}\) and let \(A(\{x_{n}\}) = \{x\}\). We have already seen that \(w = z \in F(T)\). Since \(\{d(x_{n}, z)\}\) converges, by Lemma 1.11 (C3), we have \(x = z \in F(T)\), that is, \(W_{\Delta}(x_{n}) = \{x\}\).

This completes the proof. □

By using the conclusion in Step 1 of Theorem 2.1 and the same technique as in the proof of Theorem 3.2 of Thakur et al. [9], we get the strong convergence result (Theorem 2.2). Then, in order to avoid repetition, the details are omitted.

Theorem 2.2

Let C be a bounded closed convex subset of a complete \(\operatorname {CAT}(0)\) space \((X,d)\) and \(T : C\rightarrow C\) be a uniformly L-Lipschitzian and \((\{v_{n}\}, \{u_{n}\},\zeta)\)-total asymptotically nonexpansive mapping. Suppose that the following conditions are satisfied:

(S1):

\(\sum_{n=1}^{\infty} v_{n} < \infty\) and \(\sum_{n=1}^{\infty} u_{n} < \infty\);

(S2):

there exist constants \(a, b\) with \(0 < a\leq\alpha_{n} \leq b < 1\) for all \(n\in\mathbb{N}\) and \(0< a(1-b) \leq\frac{1}{2}\);

(S3):

there exists a constant \(M^{*}\) such that \(\zeta(r) \leq M^{*}r\) for all \(r\geq0\).

Then the sequence \(\{x_{n}\}\) which is defined by (2.1) converges strongly to a fixed point of T if and only if

$$\liminf_{n\rightarrow\infty} d\bigl( x_{n} ,F(T) \bigr) =0, $$

where \(d(x, F(T)) := \inf\{d(x, p) : p \in F(T)\}\).

In [15], Senter and Dotson introduced the concept of special self mapping as follows.

Definition 2.3

([15])

Let C be a nonempty subset of a \(\operatorname{CAT}(0)\) space \((X,d)\). A mapping \(T:C\rightarrow C\) with \(F(T) \neq\emptyset\) is said to satisfy condition (I) if there is a nondecreasing function \(f:[0,\infty) \rightarrow[0,\infty) \) with \(f(0)=0\) and \(f(t) > 0\) for all \(t>0\) such that

$$d(x,Tx) \geq f\bigl(d\bigl(x,F(T)\bigr)\bigr) $$

for all \(x\in C\).

Using the result in Step 2 of Theorem 2.1 with Condition (I) and the same technique as in the proof of Theorem 3.3 of Thakur et al. [9], we now state the following strong convergence result for total asymptotically nonexpansive mappings without the proof.

Theorem 2.4

Let C be a bounded closed convex subset of a complete \(\operatorname {CAT}(0)\) space \((X,d)\) and \(T : C\rightarrow C\) be a uniformly L-Lipschitzian and \((\{v_{n}\}, \{u_{n}\},\zeta)\)-total asymptotically nonexpansive mapping. Suppose that the following conditions are satisfied:

(S1):

\(\sum_{n=1}^{\infty} v_{n} < \infty\) and \(\sum_{n=1}^{\infty} u_{n} < \infty\);

(S2):

there exist constants a, b with \(0 < a\leq\alpha_{n} \leq b < 1\) for all \(n\in\mathbb{N}\) and \(0< a(1-b) \leq\frac{1}{2}\);

(S3):

there exists a constant \(M^{*}\) such that \(\zeta(r) \leq M^{*}r\) for all \(r\geq0\);

(S4):

T satisfies Condition (I).

Then the sequence \(\{x_{n}\}\) which is defined by (2.1) converges strongly to a fixed point of T.

3 Numerical example

In this section, using Example 3.1, we will compare the convergence of the modified Picard-Ishikawa hybrid iteration process (2.1) with the modified Mann iteration process (1.10) and the modified Picard-Mann hybrid iteration process (1.9).

Example 3.1

Let \(X:=\mathbb{R}\) be a usual metric space with the metric d, which is also a complete \(\operatorname{CAT}(0)\) space, and \(C:=[0,2]\). We see that C is a bounded closed convex subset of X. Define a mapping \(T:C\rightarrow C\) by

$$Tx = \left \{ \textstyle\begin{array}{l@{\quad}l} 1 & \mbox{if } x\in[0,1]; \\ \frac{1}{\sqrt{3}} \sqrt{4-x^{2}} & \mbox{if } x\in[1,2]. \end{array}\displaystyle \right . $$

Recently, Kim [16] showed that T is a continuous uniformly L-Lipschitzian and total asymptotically nonexpansive mapping with \(F(T) = \{1\}\). Also, he claimed that T is not Lipschitzian and then it is not an asymptotically nonexpansive mapping.

Let \(\alpha_{n} := \frac{n}{n+1}\) and \(\beta_{n} := 1\) for all \(n\in\mathbb{N}\). By using MATLAB, we computed the iterates of (1.10), (1.9), and (2.1) for two different initial points \(x_{1}=1.5\) and \(x_{1} = 1.9\). The numerical experiments of all iterations for approximating the fixed point 1 are given in Tables 1 and 2. Moreover, the convergence behavior of all iteration is shown in Figure 1.

Figure 1
figure 1

Convergence behavior for Example 3.1 in the cases \(\pmb{\alpha_{n} := \frac{n}{n+1}}\) and \(\pmb{\beta_{n} := 1}\) for all \(\pmb{n\in\mathbb{N}}\) .

Table 1 Iterates of modified Mann, modified Picard-Mann hybrid, and modified Picard-Ishikawa hybrid iterations for \(\pmb{x_{1}=1.5}\)
Table 2 Iterates of modified Mann, modified Picard-Mann hybrid, and modified Picard-Ishikawa hybrid iterations for \(\pmb{x_{1}=1.9}\)

In Figures 2 and 3, we give the convergence behavior of the iterates of (1.10), (1.9), and (2.1) for some initial point under the different control conditions.

Figure 2
figure 2

Convergence behavior for Example 3.1 in the cases \(\pmb{\alpha_{n} := 1-\frac{1}{\sqrt{n+1}}}\) and \(\pmb{\beta_{n} := \frac{1}{n+1}}\) for all \(\pmb{n\in\mathbb{N}}\) .

Figure 3
figure 3

Convergence behavior for Example 3.1 in the cases \(\pmb{\alpha_{n} := \frac{1}{\sqrt{n+1}}-\frac{1}{\sqrt{n+2}}}\) and \(\pmb{\beta_{n} := \frac{n}{n+1}}\) for all \(\pmb{n\in\mathbb{N}}\) .

Next, we will give an example to show the nontrivial difference between the rate of convergence of the modified Picard-Ishikawa hybrid iteration process (2.1) with the modified Picard-Mann hybrid iteration process (1.9).

Example 3.2

Let \(X:=\mathbb{R}\) be a usual metric space with the metric d, which is also a complete \(\operatorname{CAT}(0)\) space, and \(C:=[1,999]\). We see that C is a bounded closed convex subset of X. Define a mapping \(T:C\rightarrow C\) by

$$Tx = \sqrt{x^{2}-8x+40}. $$

It is easy to see that T is a continuous uniformly L-Lipschitzian and a total asymptotically nonexpansive mapping with \(F(T) = \{5\}\).

Let \(\alpha_{n} := \frac{n}{n+1}\) and \(\beta_{n} := 1\) for all \(n\in\mathbb{N}\). By using MATLAB, we computed the iterates of (1.10), (1.9), and (2.1) for an initial point \(x_{1}=999\). The convergence behavior of all iterations for approximating the fixed point 5 are given in Figure 4.

Figure 4
figure 4

Convergence behavior for Example 3.2 in the cases \(\pmb{\alpha_{n} := \frac{n}{n+1}}\) and \(\pmb{\beta_{n} := 1}\) for all \(\pmb{n\in\mathbb{N}}\) .

In Figures 5 and 6, we give the convergence behavior of the iterates of (1.10), (1.9), and (2.1) for some initial point under the different control conditions.

Figure 5
figure 5

Convergence behavior for Example 3.2 in the cases \(\pmb{\alpha_{n} := 1-\frac{1}{\sqrt{n+1}}}\) and \(\pmb{\beta_{n} := \frac{1}{n+1}}\) for all \(\pmb{n\in\mathbb{N}}\) .

Figure 6
figure 6

Convergence behavior for Example 3.2 in the cases \(\pmb{\alpha_{n} := \frac{1}{\sqrt{n+1}}-\frac{1}{\sqrt{n+2}}}\) and \(\pmb{\beta_{n} := \frac{n}{n+1}}\) for all \(\pmb{n\in\mathbb{N}}\) .

References

  1. Bridson, M, Haefliger, A: Metric Spaces of Non-Positive Curvature. Springer, Berlin (1999)

    Book  MATH  Google Scholar 

  2. Kirk, WA: A fixed point theorem in \(\operatorname{CAT}(0)\) spaces and R-trees. Fixed Point Theory Appl. 2004(4), 309-316 (2004)

    Article  MathSciNet  MATH  Google Scholar 

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

    Article  MathSciNet  Google Scholar 

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

    Article  MathSciNet  MATH  Google Scholar 

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

    Article  MathSciNet  MATH  Google Scholar 

  6. Alber, YI, Chidume, CE, Zegeye, H: Approximating fixed points of total asymptotically nonexpansive mappings. Fixed Point Theory Appl. 2006, Article ID 10673 (2006)

    Article  MathSciNet  MATH  Google Scholar 

  7. Chang, SS, Wang, L, Lee, HWJ, Chan, CK, Yang, L: Demiclosed principle and Δ-convergence theorems for total asymptotically nonexpansive mappings in \(\operatorname{CAT}(0)\) spaces. Appl. Math. Comput. 219(5), 2611-2617 (2012)

    MathSciNet  MATH  Google Scholar 

  8. Panyanak, B: On total asymptotically nonexpansive mappings in \(\operatorname{CAT}(\kappa)\) spaces. J. Inequal. Appl. 2014, Article ID 336 (2014)

    Article  MathSciNet  MATH  Google Scholar 

  9. Thakur, BS, Thakur, D, Postolache, M: Modified Picard-Mann hybrid iteration process for total asymptotically nonexpansive mappings. Fixed Point Theory Appl. 2015, Article ID 140 (2015)

    Article  MathSciNet  MATH  Google Scholar 

  10. Qihou, L: Iterative sequences for asymptotically quasi-nonexpansive mappings with error member. J. Math. Anal. Appl. 259(1), 18-24 (2001)

    Article  MathSciNet  MATH  Google Scholar 

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

    Article  MathSciNet  MATH  Google Scholar 

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

    MathSciNet  MATH  Google Scholar 

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

    Article  MathSciNet  MATH  Google Scholar 

  14. 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  MATH  Google Scholar 

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

    Article  MathSciNet  MATH  Google Scholar 

  16. Kim, GE: Strong convergence to fixed point of a total asymptotically nonexpansive mapping. Fixed Point Theory Appl. 2013, Article ID 302 (2013)

    Article  MathSciNet  MATH  Google Scholar 

Download references

Acknowledgements

The authors gratefully acknowledge the financial support provided by Thammasat University Research Fund under the TU Research Scholar, Contract No. 2/10/2559.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Wutiphol Sintunavarat.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

All authors contributed equally and significantly in writing 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

Pansuwan, A., Sintunavarat, W. A new iterative scheme for numerical reckoning fixed points of total asymptotically nonexpansive mappings. Fixed Point Theory Appl 2016, 83 (2016). https://doi.org/10.1186/s13663-016-0573-9

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13663-016-0573-9

MSC

Keywords