# Convergence theorems of a new iteration for two nonexpansive mappings

## Abstract

The purpose of this paper is to introduce the following new general implicit iteration scheme for approximating the common fixed points of a pair of nonexpansive mappings in a uniformly convex Banach space: for any ${x}_{0}\in C$, the iterative process $\left\{{x}_{n}\right\}$ defined by ${x}_{n}={a}_{n}{x}_{n-1}+{b}_{n}T{y}_{n}+{c}_{n}S{x}_{n}$, ${y}_{n}={a}_{n}^{\prime }{x}_{n-1}+{b}_{n}^{\prime }{x}_{n}+{c}_{n}^{\prime }S{x}_{n-1}+{d}_{n}^{\prime }T{x}_{n}$, where $\left\{{a}_{n}\right\}$, $\left\{{b}_{n}\right\}$, $\left\{{c}_{n}\right\}$, $\left\{{a}_{n}^{\prime }\right\}$, $\left\{{b}_{n}^{\prime }\right\}$, $\left\{{c}_{n}^{\prime }\right\}$, $\left\{{d}_{n}^{\prime }\right\}$ are seven sequences of real numbers satisfying ${a}_{n}+{b}_{n}+{c}_{n}=1$, ${a}_{n}^{\prime }+{b}_{n}^{\prime }+{c}_{n}^{\prime }+{d}_{n}^{\prime }=1$, and $T,S:C\to C$ are two nonexpansive mappings. We approximate the common fixed points of these two mappings by weak and strong convergence of the scheme.

## 1 Introduction

Let C be a nonempty subset of a real Banach space E. A mapping T of C into itself is called nonexpansive if $\parallel Tx-Ty\parallel \le \parallel x-y\parallel$ holds for all $x,y\in C$. We first recall the following two iterative processes due to Ishikawa [1] and Mann [2], respectively.

(I) Let C be a nonempty convex subset of E and let $T:C\to C$ be a mapping. For any given ${x}_{0}\in C$ the sequence $\left\{{x}_{n}\right\}$ defined by

$\begin{array}{r}{x}_{n+1}=\left(1-{a}_{n}\right){x}_{n}+{a}_{n}T{y}_{n},\\ {y}_{n}=\left(1-{b}_{n}\right){x}_{n}+{b}_{n}T{x}_{n},\phantom{\rule{1em}{0ex}}n\ge 0,\end{array}$

is called the Ishikawa iteration sequence, where $\left\{{a}_{n}\right\}$ and $\left\{{b}_{n}\right\}$ are two real sequences in $\left[0,1\right]$ satisfying some conditions. In particular, if ${b}_{n}=0$ for all $n\ge 0$, then $\left\{{x}_{n}\right\}$ defined by

${x}_{0}\in C,\phantom{\rule{1em}{0ex}}{x}_{n+1}=\left(1-{a}_{n}\right){x}_{n}+{a}_{n}T{x}_{n},\phantom{\rule{1em}{0ex}}n\ge 0,$

is called the Mann iteration sequence.

In [3], Liu introduced the concepts of Ishikawa and Mann iterative processes with errors as follows.

(II) For a nonempty subset C of a Banach space E and a mapping $T:C\to C$, the sequence $\left\{{x}_{n}\right\}$ defined by

$\begin{array}{r}{x}_{0}\in C,\phantom{\rule{1em}{0ex}}{x}_{n+1}=\left(1-{a}_{n}\right){x}_{n}+{a}_{n}T{y}_{n}+{u}_{n},\\ {y}_{n}=\left(1-{b}_{n}\right){x}_{n}+{b}_{n}T{x}_{n}+{v}_{n},\phantom{\rule{1em}{0ex}}n\ge 0,\end{array}$

where $\left\{{u}_{n}\right\}$ and $\left\{{v}_{n}\right\}$ are two summable sequences in E. In particular, if ${b}_{n}=0$, ${v}_{n}=0$, the sequence $\left\{{x}_{n}\right\}$ is called the Mann iteration sequence with errors.

Unfortunately, the definitions of Liu, which depend on the convergence of the error terms, are against the randomness of errors. Xu [4] studied the following new iteration process.

(III) Let C be a nonempty convex subset of E and let $T:C\to C$ be a mapping. For any given ${x}_{0}\in C$ the sequence $\left\{{x}_{n}\right\}$ defined by

$\begin{array}{r}{x}_{n+1}={a}_{n}{x}_{n}+{b}_{n}T{y}_{n}+{c}_{n}{u}_{n},\\ {y}_{n}={a}_{n}^{\prime }{x}_{n}+{b}_{n}^{\prime }T{x}_{n}+{c}_{n}^{\prime }{v}_{n},\phantom{\rule{1em}{0ex}}n\ge 0,\end{array}$

is called the Ishikawa iteration sequence with errors. Here $\left\{{u}_{n}\right\}$ and $\left\{{v}_{n}\right\}$ are two bounded sequences in C and $\left\{{a}_{n}\right\}$, $\left\{{b}_{n}\right\}$, $\left\{{c}_{n}\right\}$, $\left\{{a}_{n}^{\prime }\right\}$, $\left\{{b}_{n}^{\prime }\right\}$, $\left\{{c}_{n}^{\prime }\right\}$ are six sequences in $\left[0,1\right]$ satisfying the following conditions: ${a}_{n}+{b}_{n}+{c}_{n}=1$, ${a}_{n}^{\prime }+{b}_{n}^{\prime }+{c}_{n}^{\prime }=1$, $n\ge 1$. In particular, if ${b}_{n}^{\prime }=0$, ${c}_{n}^{\prime }=0$, the sequence $\left\{{x}_{n}\right\}$ is called the Mann iteration sequence with errors. Chidume and Moore [5] studied the above schemes in 1999.

A generalization of Mann and Ishikawa iterative schemes was given by Das and Debata [6] and Takahashi and Tamura [7]. This scheme dealt with two mappings: ${x}_{0}\in C$

$\begin{array}{r}{x}_{n}={a}_{n}{x}_{n-1}+\left(1-{a}_{n}\right)T{y}_{n-1},\\ {y}_{n-1}={b}_{n}{x}_{n-1}+\left(1-{b}_{n}\right)S{x}_{n-1},\phantom{\rule{1em}{0ex}}n\ge 1.\end{array}$

Recently Khan and Fukhar [8] considered the above iterative process with bounded errors.

In the present paper, we consider the following scheme:

$\begin{array}{r}{x}_{0}\in C,\\ {x}_{n}={a}_{n}{x}_{n-1}+{b}_{n}T{y}_{n}+{c}_{n}S{x}_{n},\\ {y}_{n}={a}_{n}^{\prime }{x}_{n-1}+{b}_{n}^{\prime }{x}_{n}+{c}_{n}^{\prime }S{x}_{n-1}+{d}_{n}^{\prime }T{x}_{n},\phantom{\rule{1em}{0ex}}n\ge 1,\end{array}$
(1)

where $\left\{{a}_{n}\right\}$, $\left\{{b}_{n}\right\}$, $\left\{{c}_{n}\right\}$, $\left\{{a}_{n}^{\prime }\right\}$, $\left\{{b}_{n}^{\prime }\right\}$, $\left\{{c}_{n}^{\prime }\right\}$, $\left\{{d}_{n}^{\prime }\right\}$ are seven sequences of real numbers in $\left[0,1\right]$ satisfying ${a}_{n}+{b}_{n}+{c}_{n}=1$, ${a}_{n}^{\prime }+{b}_{n}^{\prime }+{c}_{n}^{\prime }+{d}_{n}^{\prime }=1$, and $T,S:C\to C$ are two nonexpansive mappings. Recently, some authors discuss similar issues (for example, please refer to [911]).

Approximating fixed points is an important subject in the theory of nonexpansive mappings and its applications in numerous applied areas. One is the convergence of iteration schemes constructed through nonexpansive mappings. In this paper, we study the iterative scheme given in (1) for weak and strong convergence for a pair of nonexpansive mappings in a uniformly convex Banach space. Before our discussions, we first recall the following definitions.

A Banach space E is said to satisfy Opial’s condition if whenever $\left\{{x}_{n}\right\}$ is a sequence in E which converges weakly to x, then

It is well known that every Hilbert space satisfies the Opial condition (see for example [12]).

A mapping T is said to be semicompact (see, e.g., [13]) if for any sequence ${\left\{{x}_{n}\right\}}_{n=1}^{\mathrm{\infty }}$ in C such that ${lim}_{n\to \mathrm{\infty }}\parallel {x}_{n}-T{x}_{n}\parallel =0$, there exists a subsequence ${\left\{{x}_{{n}_{j}}\right\}}_{j=1}^{\mathrm{\infty }}$ of ${\left\{{x}_{n}\right\}}_{n=1}^{\mathrm{\infty }}$ such that ${\left\{{x}_{{n}_{j}}\right\}}_{j=1}^{\mathrm{\infty }}$ converges strongly to some $u\in C$.

A mapping T with domain $D\left(T\right)$ and range $R\left(T\right)$ in E is said to be demiclosed at a point $p\in E$ if whenever $\left\{{x}_{n}\right\}$ is as sequence in $D\left(T\right)$ such that $\left\{{x}_{n}\right\}$ converges weakly to $x\in D\left(T\right)$ and $\left\{T{x}_{n}\right\}$ converges strongly to p, then $Tx=p$.

We shall make use of the following results.

Lemma 1.1 [14]

Let $\left\{{s}_{n}\right\}$, $\left\{{t}_{n}\right\}$ be two sequences of nonnegative real numbers satisfying

${s}_{n+1}\le {s}_{n}+{t}_{n}\phantom{\rule{1em}{0ex}}\mathrm{\forall }n\ge 1.$
1. (a)

If ${\sum }_{n=1}^{\mathrm{\infty }}{t}_{n}<\mathrm{\infty }$, then ${lim}_{n\to \mathrm{\infty }}{s}_{n}$ exists.

2. (b)

If ${\sum }_{n=1}^{\mathrm{\infty }}{t}_{n}<\mathrm{\infty }$ and $\left\{{s}_{n}\right\}$ has a subsequence converging to zero, then ${lim}_{n\to \mathrm{\infty }}{s}_{n}=0$.

Lemma 1.2 [15]

Let E be a uniformly convex Banach space satisfying Opial’s condition and let C be a nonempty closed convex subset of E. Let T be a nonexpansive mapping of C into itself. Then $I-T$ is demiclosed with respect to zero.

Lemma 1.3 [16]

Suppose that E is a uniformly convex Banach space and $0 for all positive integers n. Also suppose that $\left\{{x}_{n}\right\}$ and $\left\{{y}_{n}\right\}$ are two sequences of E such that ${lim sup}_{n\to \mathrm{\infty }}\parallel {x}_{n}\parallel \le r$, ${lim sup}_{n\to \mathrm{\infty }}\parallel {y}_{n}\parallel \le r$ and ${lim sup}_{n\to \mathrm{\infty }}\parallel {t}_{n}{x}_{n}+\left(1-{t}_{n}\right){y}_{n}\parallel =r$ hold for some $r\ge 0$. Then ${lim}_{n\to \mathrm{\infty }}\parallel {x}_{n}-{y}_{n}\parallel =0$.

## 2 Main results

We first give the following key lemma.

Lemma 2.1 Let E be a real uniformly convex Banach space and C its nonempty convex subset. Let $T,S:C\to C$ be nonexpansive mappings. Let $\left\{{x}_{n}\right\}$ be the sequence as defined in (1) with the following conditions:

1. (1)

${a}_{n}\to 0$, ${a}_{n}^{\prime }\to 0$, ${b}_{n}^{\prime }\to 0$, as $n\to \mathrm{\infty }$;

2. (2)

${b}_{n},{c}_{n},{c}_{n}^{\prime },{d}_{n}^{\prime }\in \left[\delta ,1-\delta \right]$ for some $\delta \in \left(0,1\right)$;

3. (3)

${c}_{n}^{\prime }+{d}_{n}^{\prime }\le \gamma$ for some $\gamma \in \left(0,1\right)$.

If $F:=F\left(T\right)\cap F\left(S\right)\ne \mathrm{\varnothing }$, then we have

1. (i)

${lim}_{n\to \mathrm{\infty }}\parallel {x}_{n}-p\parallel$ exists for all $p\in F$ and $\left\{{x}_{n}\right\}$, $\left\{T{x}_{n}\right\}$ and $\left\{S{x}_{n}\right\}$ are all bounded;

2. (ii)

${lim}_{n\to \mathrm{\infty }}\parallel {x}_{n}-T{x}_{n}\parallel =0={lim}_{n\to \mathrm{\infty }}\parallel {x}_{n}-S{x}_{n}\parallel$.

Proof For any $p\in F$, we have

$\begin{array}{rl}\parallel {x}_{n}-p\parallel & =\parallel {a}_{n}\left({x}_{n-1}-p\right)+{b}_{n}\left(T{y}_{n}-p\right)+{c}_{n}\left(S{x}_{n}-p\right)\parallel \\ \le {a}_{n}\parallel {x}_{n-1}-p\parallel +{b}_{n}\parallel T{y}_{n}-p\parallel +{c}_{n}\parallel S{x}_{n}-p\parallel \\ \le {a}_{n}\parallel {x}_{n-1}-p\parallel +{b}_{n}\parallel {y}_{n}-p\parallel +{c}_{n}\parallel {x}_{n}-p\parallel .\end{array}$
(2)

However, as the proof of the above inequality, it follows that

$\begin{array}{rl}\parallel {y}_{n}-p\parallel & =\parallel {a}_{n}^{\prime }\left({x}_{n-1}-p\right)+{b}_{n}^{\prime }\left({x}_{n}-p\right)+{c}_{n}^{\prime }\left(S{x}_{n-1}-p\right)+{d}_{n}^{\prime }\left(T{x}_{n}-p\right)\parallel \\ \le {a}_{n}^{\prime }\parallel {x}_{n-1}-p\parallel +{b}_{n}^{\prime }\parallel {x}_{n}-p\parallel +{c}_{n}^{\prime }\parallel S{x}_{n-1}-p\parallel +{d}_{n}^{\prime }\parallel T{x}_{n}-p\parallel \\ \le {a}_{n}^{\prime }\parallel {x}_{n-1}-p\parallel +{b}_{n}^{\prime }\parallel {x}_{n}-p\parallel +{c}_{n}^{\prime }\parallel {x}_{n-1}-p\parallel +{d}_{n}^{\prime }\parallel {x}_{n}-p\parallel .\end{array}$
(3)

Thus from (2) and (3), it is easy to check

$\parallel {x}_{n}-p\parallel \le \left[{a}_{n}+{b}_{n}\left({a}_{n}^{\prime }+{c}_{n}^{\prime }\right)\right]\parallel {x}_{n-1}-p\parallel +\left[{c}_{n}+{b}_{n}\left({b}_{n}^{\prime }+{d}_{n}^{\prime }\right)\right]\parallel {x}_{n}-p\parallel ,$
(4)

which implies that

$\parallel {x}_{n}-p\parallel \le \parallel {x}_{n-1}-p\parallel ,$
(5)

and the limit ${lim}_{n\to \mathrm{\infty }}\parallel {x}_{n}-p\parallel$ exists for all $p\in F$. Furthermore $\left\{{x}_{n}\right\}$ is bounded and $\left\{S{x}_{n}\right\}$ and $\left\{T{x}_{n}\right\}$ are both bounded also. Now suppose ${lim}_{n\to \mathrm{\infty }}\parallel {x}_{n}-p\parallel =c$ for some $c\ge 0$. By the inequalities (3) and (5), we have

$\underset{n\to \mathrm{\infty }}{lim sup}\parallel {y}_{n}-p\parallel \le c.$
(6)

From the iterative process (1), we have

$\parallel {x}_{n}-p\parallel =\parallel {b}_{n}\left[T{y}_{n}-p+{a}_{n}\left({x}_{n-1}-S{x}_{n}\right)\right]+\left(1-{b}_{n}\right)\left[S{x}_{n}-p+{a}_{n}\left({x}_{n-1}-S{x}_{n}\right)\right]\parallel .$
(7)

Since ${a}_{n}\to 0$, $\left\{{x}_{n}\right\}$, $\left\{S{x}_{n}\right\}$ are both bounded and (6), it follows from Lemma 1.3 that

$\underset{n\to \mathrm{\infty }}{lim}\parallel T{y}_{n}-S{x}_{n}\parallel =0.$
(8)

Next, by the inequality (2) and (5), we have

$\begin{array}{rl}\parallel {x}_{n}-p\parallel & \le {a}_{n}\parallel {x}_{n-1}-p\parallel +{b}_{n}\parallel {y}_{n}-p\parallel +{c}_{n}\parallel {x}_{n}-p\parallel \\ \le {a}_{n}\parallel {x}_{n-1}-p\parallel +{b}_{n}\parallel {y}_{n}-p\parallel +{c}_{n}\parallel {x}_{n-1}-p\parallel \\ =\parallel {x}_{n-1}-p\parallel +{b}_{n}\left(\parallel {y}_{n}-p\parallel -\parallel {x}_{n-1}-p\parallel \right),\end{array}$
(9)

which means

$\frac{\parallel {x}_{n}-p\parallel -\parallel {x}_{n-1}-p\parallel }{{b}_{n}}+\parallel {x}_{n-1}-p\parallel \le \parallel {y}_{n}-p\parallel .$

Taking liminf on both sides in the above inequality and by (6) and ${b}_{n}\in \left[\delta ,1-\delta \right]$ for some $\delta \in \left(0,1\right)$, we have

$c\le \underset{n\to \mathrm{\infty }}{lim inf}\parallel {y}_{n}-p\parallel \le \underset{n\to \mathrm{\infty }}{lim sup}\parallel {y}_{n}-p\parallel \le c,$

which yields

$\underset{n\to \mathrm{\infty }}{lim}\parallel {y}_{n}-p\parallel =c.$
(10)

It is easy to see that

$\begin{array}{rl}\parallel {y}_{n}-p\parallel =& \parallel {c}_{n}^{\prime }\left[S{x}_{n-1}-p+{a}_{n}^{\prime }\left({x}_{n-1}-T{x}_{n}\right)+{b}_{n}^{\prime }\left({x}_{n}-T{x}_{n}\right)\right]\\ +\left(1-{c}_{n}^{\prime }\right)\left[T{x}_{n}-p+{a}_{n}^{\prime }\left({x}_{n-1}-T{x}_{n}\right)+{b}_{n}^{\prime }\left({x}_{n}-T{x}_{n}\right)\right]\parallel .\end{array}$
(11)

Since ${a}_{n}^{\prime }\to 0$, ${b}_{n}^{\prime }\to 0$, $\left\{S{x}_{n}\right\}$ and $\left\{T{x}_{n}\right\}$ are both bounded, then by Lemma 1.3 we have

$\underset{n\to \mathrm{\infty }}{lim}\parallel S{x}_{n-1}-T{x}_{n}\parallel =0.$
(12)

Moreover, by the iterative process (1) again, we get

$\parallel {x}_{n}-T{y}_{n}\parallel \le {a}_{n}\parallel {x}_{n-1}-T{y}_{n}\parallel +{c}_{n}\parallel S{x}_{n}-T{y}_{n}\parallel ,$

which, by ${a}_{n}\to 0$ as $n\to \mathrm{\infty }$ and (8), implies that

$\underset{n\to \mathrm{\infty }}{lim}\parallel {x}_{n}-T{y}_{n}\parallel =0.$
(13)

Hence from (8) and (13), we have

$\parallel {x}_{n}-S{x}_{n}\parallel \le \parallel {x}_{n}-T{y}_{n}\parallel +\parallel T{y}_{n}-S{x}_{n}\parallel \to 0$
(14)

as $n\to \mathrm{\infty }$. Note that

$\begin{array}{rl}\parallel {y}_{n}-{x}_{n}\parallel & =\parallel {a}_{n}^{\prime }\left({x}_{n-1}-{x}_{n}\right)+{c}_{n}^{\prime }\left(S{x}_{n-1}-{x}_{n}\right)+{d}_{n}^{\prime }\left(T{x}_{n}-{x}_{n}\right)\parallel \\ \le {a}_{n}^{\prime }\parallel {x}_{n-1}-{x}_{n}\parallel +{c}_{n}^{\prime }\parallel S{x}_{n-1}-T{x}_{n}\parallel +{c}_{n}^{\prime }\parallel T{x}_{n}-{x}_{n}\parallel +{d}_{n}^{\prime }\parallel T{x}_{n}-{x}_{n}\parallel ;\end{array}$
(15)

then it follows from the above inequality that

$\begin{array}{rl}\parallel {x}_{n}-T{x}_{n}\parallel \le & \parallel {x}_{n}-S{x}_{n}\parallel +\parallel S{x}_{n}-T{y}_{n}\parallel +\parallel T{y}_{n}-T{x}_{n}\parallel \\ \le & \parallel {x}_{n}-S{x}_{n}\parallel +\parallel S{x}_{n}-T{y}_{n}\parallel +\parallel {y}_{n}-{x}_{n}\parallel \\ \le & \parallel {x}_{n}-S{x}_{n}\parallel +\parallel S{x}_{n}-T{y}_{n}\parallel +{a}_{n}^{\prime }\parallel {x}_{n-1}-{x}_{n}\parallel \\ +{c}_{n}^{\prime }\parallel S{x}_{n-1}-T{x}_{n}\parallel +{c}_{n}^{\prime }\parallel T{x}_{n}-{x}_{n}\parallel +{d}_{n}^{\prime }\parallel T{x}_{n}-{x}_{n}\parallel .\end{array}$
(16)

That is to say,

$\begin{array}{r}\parallel {x}_{n}-T{x}_{n}\parallel \\ \phantom{\rule{1em}{0ex}}\le \frac{1}{1-\gamma }\left\{\parallel {x}_{n}-S{x}_{n}\parallel +\parallel S{x}_{n}-T{y}_{n}\parallel +{a}_{n}^{\prime }\parallel {x}_{n-1}-{x}_{n}\parallel +{c}_{n}^{\prime }\parallel S{x}_{n-1}-T{x}_{n}\parallel \right\},\end{array}$
(17)

which, from (8), (12), (14), and ${a}_{n}^{\prime }\to 0$, means that

$\underset{n\to \mathrm{\infty }}{lim}\parallel {x}_{n}-T{x}_{n}\parallel =0.$
(18)

The proof of the lemma is completed. □

Now we give the weak convergence first.

Theorem 2.2 Let E be a uniformly convex Banach space satisfying Opial’s condition and C, S, T, and $\left\{{x}_{n}\right\}$ be as taken in Lemma  2.1. If $F:=F\left(T\right)\cap F\left(S\right)\ne \mathrm{\varnothing }$, then $\left\{{x}_{n}\right\}$ converges weakly to a common fixed point of S and T.

Proof Let $p\in F$. As the proof of Lemma 2.1, ${lim}_{n\to \mathrm{\infty }}\parallel {x}_{n}-p\parallel$ exists. Since E is uniformly convex, every bounded subset of E is weakly compact, so that there exists a subsequence $\left\{{x}_{{n}_{k}}\right\}$ of the bounded sequence $\left\{{x}_{n}\right\}$ such that $\left\{{x}_{{n}_{k}}\right\}$ converges weakly to a point $q\in C$. Therefore, it follows from (ii) in Lemma 2.1 that

$\underset{k\to \mathrm{\infty }}{lim}\parallel T{x}_{{n}_{k}}-{x}_{{n}_{k}}\parallel =0.$

By Lemma 1.2, we know $I-T$ is demiclosed, then it is easy to see that $q\in F\left(T\right)$. With a similar proof, it follows that $q\in F\left(S\right)$ also. Next we prove uniqueness. Suppose that this is not true, then there must exist a subsequence $\left\{{x}_{{n}_{j}}\right\}\subset \left\{{x}_{n}\right\}$ such that $\left\{{x}_{{n}_{j}}\right\}$ converges weakly to another ${q}^{\ast }\in C$ and ${q}^{\ast }\ne q$. Then by the same method given above, we can also prove ${q}^{\ast }\in F\left(T\right)\cap F\left(S\right)$.

Because we have proved that for any $p\in F$, the limit ${lim}_{n\to \mathrm{\infty }}\parallel {x}_{n}-p\parallel$ exists, we can let

$\underset{n\to \mathrm{\infty }}{lim}\parallel {x}_{n}-q\parallel ={d}_{1},\phantom{\rule{2em}{0ex}}\underset{n\to \mathrm{\infty }}{lim}\parallel {x}_{n}-{q}^{\ast }\parallel ={d}_{2}.$

By the Opial condition of E, we have

$\begin{array}{rl}{d}_{1}& =\underset{k\to \mathrm{\infty }}{lim sup}\parallel {x}_{{n}_{k}}-q\parallel <\underset{k\to \mathrm{\infty }}{lim sup}\parallel {x}_{{n}_{k}}-{q}^{\ast }\parallel ={d}_{2}\\ =\underset{j\to \mathrm{\infty }}{lim sup}\parallel {x}_{{n}_{j}}-{q}^{\ast }\parallel <\underset{j\to \mathrm{\infty }}{lim sup}\parallel {x}_{{n}_{j}}-q\parallel ={d}_{1}.\end{array}$

This is a contradiction, hence $q={q}^{\ast }$. This implies that $\left\{{x}_{n}\right\}$ converges weakly to a common fixed point of S and T. □

Next we give several strong convergence results.

Theorem 2.3 Let E be a uniformly convex Banach space and C, $\left\{{x}_{n}\right\}$ be as taken in Lemma  2.1. If one of the nonexpansive mappings T and S is semicompact and $F:=F\left(T\right)\cap F\left(S\right)\ne \mathrm{\varnothing }$, then $\left\{{x}_{n}\right\}$ converges strongly to a common fixed point of S and T.

Proof Since one of T and S is semicompact and by (ii) in Lemma 2.1, then there exists a subsequence ${\left\{{x}_{{n}_{j}}\right\}}_{j=1}^{\mathrm{\infty }}$ of the sequence ${\left\{{x}_{n}\right\}}_{n=1}^{\mathrm{\infty }}$ such that ${\left\{{x}_{{n}_{j}}\right\}}_{j=1}^{\mathrm{\infty }}$ converges strongly to u. Since C is closed, $u\in C$. Continuity of S and T gives $\parallel S{x}_{{n}_{j}}-Su\parallel \to 0$ and $\parallel T{x}_{{n}_{j}}-Tu\parallel \to 0$ as ${n}_{j}\to \mathrm{\infty }$. Then by Lemma 2.1,

$\parallel Su-u\parallel =0=\parallel Tu-u\parallel .$

This yields $u\in F$. By Lemma 2.1 again, ${lim}_{n\to \mathrm{\infty }}\parallel {x}_{n}-p\parallel$ exists for all $p\in F$, therefore $\left\{{x}_{n}\right\}$ must itself converge to $u\in F$. This completes the proof. □

Recall that a mapping $T:C\to C$, where C is a subset of E, is said to satisfy condition (A) if there exists a nondecreasing function $f:\left[0,\mathrm{\infty }\right)\to \left[0,\mathrm{\infty }\right)$ with $f\left(0\right)=0$, $f\left(r\right)>0$ for all $r\in \left(0,\mathrm{\infty }\right)$ such that $\parallel x-Tx\parallel \ge f\left(d\left(x,F\left(T\right)\right)\right)$ for all $x\in C$ where $d\left(x,F\left(T\right)\right)=inf\left\{\parallel x-{x}^{\ast }\parallel :{x}^{\ast }\in F\left(T\right)\right\}$.

In [17], Senter and Dotson approximated fixed points of a nonexpansive mapping T by Mann iteration. Recently Maiti and Ghosh [18] and Tan and Xu [14] considered the approximation of fixed points of a nonexpansive mapping T by Ishikawa iteration under the same condition (A) which is weaker than the requirement that T is semicompact. Khan and Fukhar [8] modified this condition for two mappings $S,T:C\to C$ as follows.

Let C be a subset of a Banach space E. Two mappings $S,T:C\to C$ are said to satisfy condition (${A}^{\prime }$) if there exists a nondecreasing function $f:\left[0,\mathrm{\infty }\right)\to \left[0,\mathrm{\infty }\right)$ with $f\left(0\right)=0$, $f\left(r\right)>0$ for all $r\in \left(0,\mathrm{\infty }\right)$ such that $\frac{1}{2}\left(\parallel x-Tx\parallel +\parallel x-Sx\parallel \right)\ge f\left(d\left(x,F\right)\right)$ for all $x\in K$, where $d\left(x,F\right)=inf\left\{\parallel x-{x}^{\ast }\parallel :{x}^{\ast }\in F=F\left(T\right)\cap F\left(S\right)\right\}$.

Note that condition (${A}^{\prime }$) reduces to condition (A) when $S=T$. We use condition (${A}^{\prime }$) to study the strong convergence of $\left\{{x}_{n}\right\}$ defined in (1).

Theorem 2.4 Let E be a uniformly convex Banach space and C, $\left\{{x}_{n}\right\}$ be as taken in Lemma  2.1. Let T, S satisfy the condition (${A}^{\prime }$) and $F:=F\left(T\right)\cap F\left(S\right)\ne \mathrm{\varnothing }$, then $\left\{{x}_{n}\right\}$ converges strongly to a common fixed point of S and T.

Proof By Lemma 2.1, ${lim}_{n\to \mathrm{\infty }}\parallel {x}_{n}-{x}^{\ast }\parallel$ exists for all ${x}^{\ast }\in F=F\left(T\right)\cap F\left(S\right)$. Let it be c for some $c\ge 0$. If $c=0$, there is nothing to prove. Suppose $c>0$. By Lemma 2.1, ${lim}_{n\to \mathrm{\infty }}\parallel {x}_{n}-T{x}_{n}\parallel =0={lim}_{n\to \mathrm{\infty }}\parallel {x}_{n}-S{x}_{n}\parallel$. Moreover, from (4), we have $\parallel {x}_{n}-{x}^{\ast }\parallel \le \parallel {x}_{n-1}-{x}^{\ast }\parallel$ which gives

$\underset{{x}^{\ast }\in F}{inf}\parallel {x}_{n}-{x}^{\ast }\parallel \le \underset{{x}^{\ast }\in F}{inf}\parallel {x}_{n}-{x}^{\ast }\parallel .$

That is to say, $d\left({x}_{n},F\right)\le d\left({x}_{n-1},F\right)$ shows that ${lim}_{n\to \mathrm{\infty }}d\left({x}_{n},F\right)$ exists by virtue of Lemma 1.1. Now by condition (${A}^{\prime }$), ${lim}_{n\to \mathrm{\infty }}f\left(d\left({x}_{n},F\right)\right)=0$. By the properties of f, therefore ${lim}_{n\to \mathrm{\infty }}d\left({x}_{n},F\right)=0$. Next we can take a subsequence $\left\{{x}_{{n}_{j}}\right\}$ of $\left\{{x}_{n}\right\}$ and $\left\{{y}_{j}\right\}\subset F$ such that $\parallel {x}_{{n}_{j}}-{y}_{j}\parallel <{2}^{-j}$. Then following the method of proof of Tan and Xu [14], we find that $\left\{{y}_{j}\right\}$ is a Cauchy sequence in F and so it converges. Let ${y}_{j}\to y$. Since F is closed, therefore $y\in F$ and then ${x}_{{n}_{j}}\to y$. As ${lim}_{n\to \mathrm{\infty }}\parallel {x}_{n}-{x}^{\ast }\parallel$ exists, ${x}_{n}\to y\in F$. This completes the proof. □

Remark 2.5 From the proof of the above results, it is easy to see that we can extend our theorems to the iterative process (1) with errors as follows: let C be a bounded closed convex subset of E and the sequence $\left\{{x}_{n}\right\}$ be defined by

$\begin{array}{r}{x}_{0}\in C,\\ {x}_{n}={a}_{n}{x}_{n-1}+{b}_{n}T{y}_{n}+{c}_{n}S{x}_{n}+{e}_{n}{u}_{n},\\ {y}_{n}={a}_{n}^{\prime }{x}_{n-1}+{b}_{n}^{\prime }{x}_{n}+{c}_{n}^{\prime }S{x}_{n-1}+{d}_{n}^{\prime }T{x}_{n}+{e}_{n}^{\prime }{v}_{n}\end{array}$
(19)

where $\left\{{a}_{n}\right\}$, $\left\{{b}_{n}\right\}$, $\left\{{c}_{n}\right\}$, $\left\{{e}_{n}\right\}$, $\left\{{a}_{n}^{\prime }\right\}$, $\left\{{b}_{n}^{\prime }\right\}$, $\left\{{c}_{n}^{\prime }\right\}$, $\left\{{d}_{n}^{\prime }\right\}$, $\left\{{e}_{n}^{\prime }\right\}$, are sequences in $\left[0,1\right]$ with ${a}_{n}+{b}_{n}+{c}_{n}+{e}_{n}=1$, ${a}_{n}^{\prime }+{b}_{n}^{\prime }+{c}_{n}^{\prime }+{d}_{n}^{\prime }+{e}_{n}^{\prime }=1$ and $T,S:C\to C$ are both nonexpansive mappings, $\left\{{u}_{n}\right\},\left\{{v}_{n}\right\}\in C$.

## References

1. Ishikawa S: Fixed point and iteration of a nonexpansive mapping in a Banach spaces. Proc. Am. Math. Soc. 1976, 73: 65–71.

2. Mann WR: Mean value methods in iteration. Proc. Am. Math. Soc. 1953, 4: 506–510. 10.1090/S0002-9939-1953-0054846-3

3. Liu LS: Ishikawa and Mann iterative process with errors for nonlinear strongly accretive mappings in Banach spaces. J. Math. Anal. Appl. 1995, 194: 114–125. 10.1006/jmaa.1995.1289

4. Xu YG: Ishikawa and Mann iteration process with errors for nonlinear strongly accretive operator equations. J. Math. Anal. Appl. 1998, 224: 91–101. 10.1006/jmaa.1998.5987

5. Chidume CE, Moore C: Fixed point iteration for pseudocontractive maps. Proc. Am. Math. Soc. 1999,127(4):1163–1170. 10.1090/S0002-9939-99-05050-9

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

7. Takahashi W, Tamura T: Convergence theorems for a pair of nonexpansive mappings. J. Convex Anal. 1998,5(1):45–58.

8. Khan SH, Fukhar-ud-din H: Weak and strong convergence of a scheme with errors for two nonexpansive mappings. Proc. Am. Math. Soc. 2005,61(8):1295–1301.

9. Kim GE: Weak and strong convergence for quasi-nonexpansive mappings in Banach spaces. Bull. Korean Math. Soc. 2012,49(4):799–813. 10.4134/BKMS.2012.49.4.799

10. Zhang F, Zhang H, Zhang YL: New iterative algorithm for two infinite families of multivalued quasi-nonexpansive mappings in uniformly convex Banach spaces. J. Appl. Math. 2013., 2013: Article ID 649537

11. Zhang JL, Su YF, Cheng QQ: Strong convergence theorems for a common fixed point of two countable families of relatively quasi nonexpansive mappings and applications. Abstr. Appl. Anal. 2012., 2012: Article ID 956950

12. Opial Z: Weak convergence of successive approximations for nonexpansive mappings. Bull. Am. Math. Soc. 1967, 73: 591–597. 10.1090/S0002-9904-1967-11761-0

13. Sun ZH: Strong convergence of an implicit iteration process for a finite family of asymptotically quasinonexpansive mappings. J. Math. Anal. Appl. 2003, 286: 351–358. 10.1016/S0022-247X(03)00537-7

14. Tan KK, Xu HK: Approximating fixed points of nonexpansive mappings by the Ishikawa iteration process. J. Math. Anal. Appl. 1993, 178: 301–308. 10.1006/jmaa.1993.1309

15. Browder FE: Nonlinear operators and nonlinear equations of evolution in Banach spaces. 18. Proceedings of the Symposium on Pure Mathematics 1976.

16. Schu J: Weak and strong convergence to fixed points of asymptotically nonexpansive mappings. Bull. Aust. Math. Soc. 1991, 43: 153–159. 10.1017/S0004972700028884

17. Senter HF, Dotson WG: Approximating fixed points of nonexpansive mappings. Proc. Am. Math. Soc. 1974,44(2):375–380. 10.1090/S0002-9939-1974-0346608-8

18. Maiti M, Gosh MK: Approximating fixed points by Ishikawa iterates. Bull. Aust. Math. Soc. 1989, 40: 113–117. 10.1017/S0004972700003555

## Acknowledgements

The authors are very grateful to the referees for their critical and valuable comments, which allowed us to improve the presentation of this article.

## Author information

Authors

### Corresponding author

Correspondence to Hongxia Du.

### Competing interests

The authors declare that they have no competing interests.

### Authors’ contributions

All authors contributed equally to the manuscript, read and approved the final manuscript.

## Rights and permissions

Reprints and Permissions

Hou, X., Du, H. Convergence theorems of a new iteration for two nonexpansive mappings. J Inequal Appl 2014, 82 (2014). https://doi.org/10.1186/1029-242X-2014-82

• Accepted:

• Published:

• DOI: https://doi.org/10.1186/1029-242X-2014-82

### Keywords

• nonexpansive mapping
• common fixed points
• weak and strong convergence
• semicompact
• condition (${A}^{\prime }$)