# New iteration scheme for numerical reckoning fixed points of nonexpansive mappings

## Abstract

The purpose of this paper is to introduce a new three step iteration scheme for approximation of fixed points of the nonexpansive mappings. We show that our iteration process is faster than all of the Picard, the Mann, the Agarwal et al., and the Abbas et al. iteration processes. We support our analytic proof by a numerical example in which we approximate the fixed point by a computer using Matlab program. We also prove some weak convergence and strong convergence theorems for the nonexpansive mappings.

MSC:47H09, 47H10.

## 1 Introduction

Many nonlinear equations are naturally formulated as fixed point problems,

$x=Tx,$
(1.1)

where T, the fixed point mapping, may be nonlinear. A solution ${x}^{âˆ—}$ of the problem (1.1) is called a fixed point of the mapping T. Consider a fixed point iteration, which is given by

${x}_{n+1}=T{x}_{n}.$
(1.2)

The iterative method (1.2) is also called a Richardson iteration, a Picard iteration, or the method of successive substitution. The standard result for a fixed point iteration is the contraction mapping theorem. Indeed, the contraction mapping theorem holds on an arbitrary complete metric space; that is, if E is a complete metric space with metric d and $T:Eâ†’E$ such that $d\left(Tx,Ty\right)â‰¤kd\left(x,y\right)$ for some $0â‰¤k<1$ and all $x,yâˆˆE$, then T has a unique fixed point ${x}^{âˆ—}$ and the iterates (1.2) converge to the fixed point ${x}^{âˆ—}$. The Picard iteration has been successfully employed in approximating the fixed point of contraction mappings and its variants. This success, however, has not extended to nonexpansive mappings T even when the existence of a fixed point of T is known. Consider the simple example of a self mapping in $\left[0,1\right]$ defined by $Tx=1âˆ’x$ for $0â‰¤xâ‰¤1$. Then T is a nonexpansive mapping with a unique fixed point at $x=\frac{1}{2}$. If one chooses as a starting value $x=a$, , then the successive iterations of T yield the sequence $\left\{1âˆ’a,a,1âˆ’a,a,â€¦\right\}$. Thus when a fixed point of nonexpansive mappings exists, other approximation techniques are needed to approximate it.

Consider an average mapping of the form ${T}_{\frac{1}{2}}=\frac{1}{2}I+\frac{1}{2}T$, where I is the identity operator. This average mapping is nonexpansive because T is nonexpansive, and both have the same fixed point set. Krasnoselâ€™skii [1] was first to notice the regularization effect of this average mapping. Schaefer [2] proved a convergence result for a general ${T}_{\mathrm{Î»}}=\mathrm{Î»}I+\left(1âˆ’\mathrm{Î»}\right)T$ ($0<\mathrm{Î»}<1$). An approximation of fixed points of a nonexpansive mapping using Mannâ€™s algorithm [3] has extensively been studied in the literature (see, e.g., [4, 5] and references therein). Mannâ€™s algorithm generates, for an arbitrary ${x}_{0}âˆˆC$, a sequence $\left\{{x}_{n}\right\}$ according to the following:

${x}_{n+1}={\mathrm{Î±}}_{n}{x}_{n}+\left(1âˆ’{\mathrm{Î±}}_{n}\right)T{x}_{n},\phantom{\rule{1em}{0ex}}nâ‰¥0,$
(1.3)

where $\left\{{\mathrm{Î±}}_{n}\right\}$ is a real control sequence in the interval $\left(0,1\right)$.

In 1974, Ishikawa [6] introduced an iteration process where $\left\{{x}_{n}\right\}$ is defined iteratively for each positive integer $nâ‰¥0$ by

$\begin{array}{l}{x}_{n+1}=\left(1âˆ’{\mathrm{Î±}}_{n}\right){x}_{n}+{\mathrm{Î±}}_{n}T{y}_{n},\\ {y}_{n}=\left(1âˆ’{\mathrm{Î²}}_{n}\right){x}_{n}+{\mathrm{Î²}}_{n}T{x}_{n}.\end{array}\right\}$
(1.4)

In 2000, Noor [7] introduced the following iterative scheme: for any fixed ${x}_{0}âˆˆC$, construct $\left\{{x}_{n}\right\}$ by

$\begin{array}{l}{x}_{n+1}=\left(1âˆ’{\mathrm{Î±}}_{n}\right){x}_{n}+{\mathrm{Î±}}_{n}T{y}_{n},\\ {y}_{n}=\left(1âˆ’{\mathrm{Î²}}_{n}\right){x}_{n}+{\mathrm{Î²}}_{n}T{z}_{n},\\ {z}_{n}=\left(1âˆ’{\mathrm{Î³}}_{n}\right){x}_{n}+{\mathrm{Î³}}_{n}T{x}_{n}\end{array}\right\}$
(1.5)

for all $nâ‰¥1$, where $\left\{{\mathrm{Î±}}_{n}\right\}$, $\left\{{\mathrm{Î²}}_{n}\right\}$, and $\left\{{\mathrm{Î³}}_{n}\right\}$ are sequences in $\left(0,1\right)$.

In 2007, Agarwal et al. [8] introduced the following iteration process: for an arbitrary ${x}_{0}âˆˆC$ construct a sequence $\left\{{x}_{n}\right\}$ by

$\begin{array}{l}{x}_{n+1}=\left(1âˆ’{\mathrm{Î±}}_{n}\right)T{x}_{n}+{\mathrm{Î±}}_{n}T{y}_{n},\\ {y}_{n}=\left(1âˆ’{\mathrm{Î²}}_{n}\right){x}_{n}+{\mathrm{Î²}}_{n}T{x}_{n},\phantom{\rule{1em}{0ex}}nâˆˆ\mathbb{N},\end{array}\right\}$
(1.6)

where $\left\{{\mathrm{Î±}}_{n}\right\}$ and $\left\{{\mathrm{Î²}}_{n}\right\}$ are in $\left(0,1\right)$. They showed that this process converges at a rate that is the same as that of the Picard iteration and faster than the Mann iteration for contractions.

Recently, Abbas and Nazir [9] introduced the following iteration: for an arbitrary ${x}_{0}âˆˆC$ construct $\left\{{x}_{n}\right\}$ by

$\begin{array}{l}{x}_{n+1}=\left(1âˆ’{\mathrm{Î±}}_{n}\right)T{y}_{n}+{\mathrm{Î±}}_{n}T{z}_{n},\\ {y}_{n}=\left(1âˆ’{\mathrm{Î²}}_{n}\right)T{x}_{n}+{\mathrm{Î²}}_{n}T{z}_{n},\\ {z}_{n}=\left(1âˆ’{\mathrm{Î³}}_{n}\right){x}_{n}+{\mathrm{Î³}}_{n}T{x}_{n},\end{array}\right\}$
(1.7)

where $\left\{{\mathrm{Î±}}_{n}\right\}$, $\left\{{\mathrm{Î²}}_{n}\right\}$, and $\left\{{\mathrm{Î³}}_{n}\right\}$ are in $\left(0,1\right)$. They showed that this process converges faster than the Agarwal et al. [8] iteration process.

Motivated and inspired by the above work, in this paper we introduce a new iterative scheme, where the sequence $\left\{{x}_{n}\right\}$ is generated from arbitrary ${x}_{0}âˆˆC$ by

$\begin{array}{l}{x}_{n+1}=\left(1âˆ’{\mathrm{Î±}}_{n}\right)T{x}_{n}+{\mathrm{Î±}}_{n}T{y}_{n},\\ {y}_{n}=\left(1âˆ’{\mathrm{Î²}}_{n}\right){z}_{n}+{\mathrm{Î²}}_{n}T{z}_{n},\\ {z}_{n}=\left(1âˆ’{\mathrm{Î³}}_{n}\right){x}_{n}+{\mathrm{Î³}}_{n}T{x}_{n},\end{array}\right\}$
(1.8)

where $\left\{{\mathrm{Î±}}_{n}\right\}$, $\left\{{\mathrm{Î²}}_{n}\right\}$, and $\left\{{\mathrm{Î³}}_{n}\right\}$ are real sequences in $\left(0,1\right)$.

The purpose of this paper is to prove that our process (1.8) converges faster than all of the Picard, the Mann, the Ishikawa, the Noor, the Agarwal et al., and the Abbas et al. iteration processes for contractions in the sense of Berinde [10]. We also prove weak and strong convergence theorems for nonexpansive mapping using iteration (1.8). In the last section, using a numerical example, we compare the behavior of iteration (1.8) with respect to the above mentioned iteration processes.

## 2 Rate of convergence

Berinde [10] proposed a method to compare the fastness of two sequences.

Definition 2.1 Let $\left\{{a}_{n}\right\}$ and $\left\{{b}_{n}\right\}$ be two sequences of real numbers that converge to a and b, respectively, and assume that there exists

$l=\underset{nâ†’\mathrm{âˆž}}{lim}\frac{|{a}_{n}âˆ’a|}{|{b}_{n}âˆ’b|}.$
(2.1)
1. (i)

If $l=0$, then it can be said that $\left\{{a}_{n}\right\}$ converges faster to a than $\left\{{b}_{n}\right\}$ to b.

2. (ii)

If $0, then it can be said that $\left\{{a}_{n}\right\}$ and $\left\{{b}_{n}\right\}$ have the same rate of convergence.

Suppose that, for two fixed point iteration procedures $\left\{{u}_{n}\right\}$ and $\left\{{v}_{n}\right\}$, both converging to the same fixed point p, the error estimates

$âˆ¥{u}_{n}âˆ’pâˆ¥â‰¤{a}_{n},\phantom{\rule{1em}{0ex}}n=0,1,2,â€¦,$
(2.2)
$âˆ¥{v}_{n}âˆ’pâˆ¥â‰¤{b}_{n},\phantom{\rule{1em}{0ex}}nâˆ’=0,1,2,â€¦,$
(2.3)

are available, where $\left\{{a}_{n}\right\}$ and $\left\{{b}_{n}\right\}$ are sequences of positive numbers (converging to zero).

Then, in view of Definition 2.1, Berinde [10] adopted the following concept.

Definition 2.2 Let $\left\{{u}_{n}\right\}$ and $\left\{{v}_{n}\right\}$ be two fixed point iteration procedures that converge to the same fixed point p and satisfy (2.2) and (2.3), respectively. If $\left\{{a}_{n}\right\}$ converges faster than $\left\{{b}_{n}\right\}$, then it can be said that $\left\{{u}_{n}\right\}$ converges faster than $\left\{{v}_{n}\right\}$ to p.

In recent years, Definition 2.2 has been used as a standard tool to compare the fastness of two fixed point iterations. Using this technique Sahu [11] established that the Agarwal et al. iteration (1.6) converges faster than the Mann (1.3) and the Picard (1.2) iterations and supported the claim by the following example.

Example 1 Let $X=\mathbb{R}$ and $K=\left[0,\mathrm{âˆž}\right)$. Let $T:Kâ†’K$ be a mapping defined by $Tx={\left(3x+18\right)}^{\frac{1}{3}}$ for all $xâˆˆK$. For ${x}_{0}=1,000$ and ${\mathrm{Î±}}_{n}={\mathrm{Î²}}_{n}=\frac{1}{2}$, $n=0,1,2,â€¦$â€‰, Agarwal et al. iteration is faster than both the Mann and the Picard iteration.

Using a similar technique Abbas and Nazir [9] established that the Abbas et al. iteration (1.7) converges faster than the Agarwal et al. iteration (1.6) and hence it converges faster than the Mann (1.3) and the Picard (1.2) iterations also. An example is also given in support of the claim.

Example 2 Let $X=\mathbb{R}$ and $K=\left[1,50\right]$. Let $T:Kâ†’K$ be a mapping defined by $Tx=\sqrt{{x}^{2}âˆ’8x+40}$ for all $xâˆˆK$. For ${x}_{0}=30$ and ${\mathrm{Î±}}_{n}={\mathrm{Î²}}_{n}={\mathrm{Î³}}_{n}=\frac{1}{2}$, $n=0,1,2,â€¦$â€‰, the Abass et al. iteration (1.7) is faster than the Agarwal et al. iteration (1.6). Since Sahu [11] already has shown that the iteration (1.6) is faster than the Mann iteration (1.3), the iteration (1.7) is faster than the iterations (1.2), (1.3), and (1.6).

We now show that our process (1.8) converges faster than (1.7) in the sense of Berinde [10].

Theorem 2.3 Let C be a nonempty closed convex subset of a norm space E. Let T be a contraction with a contraction factor $kâˆˆ\left(0,1\right)$ and fixed point p. Let $\left\{{u}_{n}\right\}$ be defined by the iteration process (1.7) and $\left\{{x}_{n}\right\}$ by (1.8), where $\left\{{\mathrm{Î±}}_{n}\right\}$, $\left\{{\mathrm{Î²}}_{n}\right\}$, and $\left\{{\mathrm{Î³}}_{n}\right\}$ are in $\left[\mathrm{Îµ},1âˆ’\mathrm{Îµ}\right]$ for all $nâˆˆ\mathbb{N}$ and for some Îµ in $\left(0,1\right)$. Then $\left\{{x}_{n}\right\}$ converges faster than $\left\{{u}_{n}\right\}$. That is, our process (1.8) converges faster than (1.7).

Proof As proved in Theorem 3 of Abbas and Nazir [9],

$âˆ¥{u}_{n+1}âˆ’pâˆ¥â‰¤{k}^{n}{\left[1âˆ’\left(1âˆ’k\right)\mathrm{Î±}\mathrm{Î²}\mathrm{Î³}\right]}^{n}âˆ¥{u}_{1}âˆ’pâˆ¥,$

for all $nâˆˆ\mathbb{N}$. Let

${a}_{n}={k}^{n}{\left[1âˆ’\left(1âˆ’k\right)\mathrm{Î±}\mathrm{Î²}\mathrm{Î³}\right]}^{n}âˆ¥{u}_{1}âˆ’pâˆ¥.$

Now

$\begin{array}{rl}âˆ¥{z}_{n}âˆ’pâˆ¥& =âˆ¥\left(1âˆ’{\mathrm{Î³}}_{n}\right){x}_{n}+{\mathrm{Î³}}_{n}T{x}_{n}âˆ’pâˆ¥\\ â‰¤\left(1âˆ’{\mathrm{Î³}}_{n}\right)âˆ¥{x}_{n}âˆ’pâˆ¥+k{\mathrm{Î³}}_{n}âˆ¥{x}_{n}âˆ’pâˆ¥\\ =\left(1âˆ’\left(1âˆ’k\right){\mathrm{Î³}}_{n}\right)âˆ¥{x}_{n}âˆ’pâˆ¥,\end{array}$

so that

$\begin{array}{rl}âˆ¥{y}_{n}âˆ’pâˆ¥& =âˆ¥\left(1âˆ’{\mathrm{Î²}}_{n}\right){z}_{n}+{\mathrm{Î²}}_{n}T{z}_{n}âˆ’pâˆ¥\\ â‰¤\left(1âˆ’{\mathrm{Î²}}_{n}\right)âˆ¥{z}_{n}âˆ’pâˆ¥+k{\mathrm{Î²}}_{n}âˆ¥{z}_{n}âˆ’pâˆ¥\\ â‰¤\left(1âˆ’{\mathrm{Î²}}_{n}\right)\left(1âˆ’\left(1âˆ’k\right){\mathrm{Î³}}_{n}\right)âˆ¥{x}_{n}âˆ’pâˆ¥+k{\mathrm{Î²}}_{n}\left(1âˆ’\left(1âˆ’k\right){\mathrm{Î³}}_{n}\right)âˆ¥{x}_{n}âˆ’pâˆ¥\\ =\left(1âˆ’\left(1âˆ’k\right){\mathrm{Î²}}_{n}\right)\left(1âˆ’\left(1âˆ’k\right){\mathrm{Î³}}_{n}\right)âˆ¥{x}_{n}âˆ’pâˆ¥.\end{array}$

Thus

$\begin{array}{rl}âˆ¥{x}_{n+1}âˆ’pâˆ¥& =âˆ¥\left(1âˆ’{\mathrm{Î±}}_{n}\right)T{x}_{n}+{\mathrm{Î±}}_{n}T{y}_{n}âˆ’pâˆ¥\\ â‰¤\left(1âˆ’{\mathrm{Î±}}_{n}\right)kâˆ¥{x}_{n}âˆ’pâˆ¥+k{\mathrm{Î±}}_{n}âˆ¥{y}_{n}âˆ’pâˆ¥\\ â‰¤\left(1âˆ’{\mathrm{Î±}}_{n}\right)kâˆ¥{x}_{n}âˆ’pâˆ¥+k{\mathrm{Î±}}_{n}\left(1âˆ’\left(1âˆ’k\right){\mathrm{Î²}}_{n}\right)\left(1âˆ’\left(1âˆ’k\right){\mathrm{Î³}}_{n}\right)âˆ¥{x}_{n}âˆ’pâˆ¥\\ =k\left[1âˆ’{\mathrm{Î±}}_{n}+{\mathrm{Î±}}_{n}\left(1âˆ’\left(1âˆ’k\right){\mathrm{Î²}}_{n}\right)\left(1âˆ’\left(1âˆ’k\right){\mathrm{Î³}}_{n}\right)\right]âˆ¥{x}_{n}âˆ’pâˆ¥\\ =k\left[1âˆ’{\mathrm{Î±}}_{n}+\left({\mathrm{Î±}}_{n}âˆ’\left(1âˆ’k\right){\mathrm{Î±}}_{n}{\mathrm{Î²}}_{n}\right)\left(1âˆ’\left(1âˆ’k\right){\mathrm{Î³}}_{n}\right)\right]âˆ¥{x}_{n}âˆ’pâˆ¥\\ =k\left[1âˆ’{\mathrm{Î±}}_{n}+{\mathrm{Î±}}_{n}âˆ’\left(1âˆ’k\right){\mathrm{Î±}}_{n}{\mathrm{Î³}}_{n}âˆ’\left(1âˆ’k\right){\mathrm{Î±}}_{n}{\mathrm{Î²}}_{n}+{\left(1âˆ’k\right)}^{2}{\mathrm{Î±}}_{n}{\mathrm{Î²}}_{n}{\mathrm{Î³}}_{n}\right]âˆ¥{x}_{n}âˆ’pâˆ¥\\ â‰¤k\left[1âˆ’\left(1âˆ’k\right){\mathrm{Î±}}_{n}{\mathrm{Î²}}_{n}{\mathrm{Î³}}_{n}âˆ’\left(1âˆ’k\right){\mathrm{Î±}}_{n}{\mathrm{Î²}}_{n}{\mathrm{Î³}}_{n}+{\left(1âˆ’k\right)}^{2}{\mathrm{Î±}}_{n}{\mathrm{Î²}}_{n}{\mathrm{Î³}}_{n}\right]âˆ¥{x}_{n}âˆ’pâˆ¥\\ =k\left(1âˆ’\left(1âˆ’k\right)\left(1+k\right){\mathrm{Î±}}_{n}{\mathrm{Î²}}_{n}{\mathrm{Î³}}_{n}\right)âˆ¥{x}_{n}âˆ’pâˆ¥\\ =k\left(1âˆ’\left(1âˆ’{k}^{2}\right){\mathrm{Î±}}_{n}{\mathrm{Î²}}_{n}{\mathrm{Î³}}_{n}\right)âˆ¥{x}_{n}âˆ’pâˆ¥.\end{array}$

Let

${b}_{n}={k}^{n}{\left(1âˆ’\left(1âˆ’{k}^{2}\right)\mathrm{Î±}\mathrm{Î²}\mathrm{Î³}\right)}^{n}âˆ¥{x}_{1}âˆ’pâˆ¥.$

Then

Consequently $\left\{{x}_{n}\right\}$ converges faster than $\left\{{u}_{n}\right\}$.â€ƒâ–¡

Now, we present an example which shows that the new iteration process (1.8) converges at a rate faster than the existing iteration schemes mentioned above.

Example 3 Let $E=\mathbb{R}$ and $C=\left[1,50\right]$. Let $T:Câ†’C$ be a mapping defined by $T\left(x\right)=\sqrt{{x}^{2}âˆ’8x+40}$ for all $xâˆˆC$. Choose ${\mathrm{Î±}}_{n}=0.85$, ${\mathrm{Î²}}_{n}=0.65$, ${\mathrm{Î³}}_{n}=0.45$, with the initial value ${x}_{1}=40$. Our corresponding iteration process, the Abbas and Nazir iteration process (1.7), the Agarwal et al. iteration process (1.6), the Noor iteration process (1.7), the Ishikawa iteration process (1.4), the Mann iteration process (1.3), and the Picard iteration processes (1.2) are, respectively, given in Table 1.

All sequences converge to ${x}^{âˆ—}=5$. Comparison shows that our iteration process (1.8) converges fastest among all the iterations considered in the example.

## 3 Convergence theorems

In this section, we give some convergence theorems using our iteration process (1.8); please, see Table 1 and Figure 1.

Lemma 3.1 Let C be a nonempty closed convex subset of a norm space E. Let T be a nonexpansive self mapping on C, $\left\{{x}_{n}\right\}$ defined by (1.8) and . Then ${lim}_{nâ†’\mathrm{âˆž}}âˆ¥{x}_{n}âˆ’pâˆ¥$ exists for all $pâˆˆF$.

Proof Let $pâˆˆF\left(T\right)$ for all $nâˆˆ\mathbb{N}$. From (1.8), we have

$\begin{array}{rl}âˆ¥{z}_{n}âˆ’pâˆ¥& =âˆ¥\left(1âˆ’{\mathrm{Î³}}_{n}\right){x}_{n}+{\mathrm{Î³}}_{n}T{x}_{n}âˆ’pâˆ¥\\ â‰¤\left(1âˆ’{\mathrm{Î³}}_{n}\right)âˆ¥{x}_{n}âˆ’pâˆ¥+{\mathrm{Î³}}_{n}âˆ¥T{x}_{n}âˆ’pâˆ¥\\ â‰¤\left(1âˆ’{\mathrm{Î³}}_{n}\right)âˆ¥{x}_{n}âˆ’pâˆ¥+{\mathrm{Î³}}_{n}âˆ¥{x}_{n}âˆ’pâˆ¥\\ =âˆ¥{x}_{n}âˆ’pâˆ¥\end{array}$
(3.1)

and

$\begin{array}{rl}âˆ¥{y}_{n}âˆ’pâˆ¥& =âˆ¥\left(1âˆ’{\mathrm{Î²}}_{n}\right){z}_{n}+{\mathrm{Î²}}_{n}T{z}_{n}âˆ’pâˆ¥\\ â‰¤\left(1âˆ’{\mathrm{Î²}}_{n}\right)âˆ¥{z}_{n}âˆ’pâˆ¥+{\mathrm{Î²}}_{n}âˆ¥T{z}_{n}âˆ’pâˆ¥\\ â‰¤\left(1âˆ’{\mathrm{Î²}}_{n}\right)âˆ¥{x}_{n}âˆ’pâˆ¥+{\mathrm{Î²}}_{n}âˆ¥{x}_{n}âˆ’pâˆ¥\\ =âˆ¥{x}_{n}âˆ’pâˆ¥,\end{array}$
(3.2)

thus from (3.1) and (3.2)

$\begin{array}{rl}âˆ¥{x}_{n+1}âˆ’pâˆ¥& =âˆ¥\left(1âˆ’{\mathrm{Î±}}_{n}\right)T{x}_{n}+{\mathrm{Î±}}_{n}T{y}_{n}âˆ’pâˆ¥\\ â‰¤\left(1âˆ’{\mathrm{Î±}}_{n}\right)âˆ¥T{x}_{n}âˆ’pâˆ¥+{\mathrm{Î±}}_{n}âˆ¥T{y}_{n}âˆ’pâˆ¥\\ â‰¤\left(1âˆ’{\mathrm{Î±}}_{n}\right)âˆ¥{x}_{n}âˆ’pâˆ¥+{\mathrm{Î±}}_{n}âˆ¥{x}_{n}âˆ’pâˆ¥\\ =âˆ¥{x}_{n}âˆ’pâˆ¥.\end{array}$

Thus ${lim}_{nâ†’\mathrm{âˆž}}âˆ¥{x}_{n}âˆ’pâˆ¥$ exists for all $pâˆˆF\left(T\right)$.â€ƒâ–¡

We need following lemma to establish our next result.

Lemma 3.2 [12]Suppose that E is a uniformly convex Banach space and $0 for all $nâˆˆ\mathbb{N}$. Let $\left\{{x}_{n}\right\}$ and $\left\{{y}_{n}\right\}$ be two sequences of E such that ${limâ€‰sup}_{nâ†’\mathrm{âˆž}}âˆ¥{x}_{n}âˆ¥â‰¤r$, ${limâ€‰sup}_{nâ†’\mathrm{âˆž}}âˆ¥{y}_{n}âˆ¥â‰¤r$ and ${limâ€‰sup}_{nâ†’\mathrm{âˆž}}âˆ¥{t}_{n}{x}_{n}+\left(1âˆ’{t}_{n}\right){y}_{n}âˆ¥=r$ hold for some $râ‰¥0$. Then ${lim}_{nâ†’\mathrm{âˆž}}âˆ¥{x}_{n}âˆ’{y}_{n}âˆ¥=0$.

We now establish a result which will be of key importance for the main result.

Lemma 3.3 Let C be a nonempty closed convex subset of a uniformly convex Banach space E. Let T be a nonexpansive self mapping on C, $\left\{{x}_{n}\right\}$ defined by (1.8), where $\left\{{\mathrm{Î±}}_{n}\right\}$, $\left\{{\mathrm{Î²}}_{n}\right\}$, and $\left\{{\mathrm{Î³}}_{n}\right\}$ are in $\left[\mathrm{Îµ},1âˆ’\mathrm{Îµ}\right]$ for all $nâˆˆ\mathbb{N}$ and for some Îµ in $\left(0,1\right)$ and . Then ${lim}_{nâ†’\mathrm{âˆž}}âˆ¥{x}_{n}âˆ’T{x}_{n}âˆ¥=0$.

Proof By Lemma 3.1, ${lim}_{nâ†’\mathrm{âˆž}}âˆ¥{x}_{n}âˆ’pâˆ¥$ exists. Assume that ${lim}_{nâ†’\mathrm{âˆž}}âˆ¥{x}_{n}âˆ’pâˆ¥=c$.

From (3.1) and (3.2) we have

$\underset{nâ†’\mathrm{âˆž}}{limâ€‰sup}âˆ¥{y}_{n}âˆ’pâˆ¥â‰¤c$
(3.3)

and

$\underset{nâ†’\mathrm{âˆž}}{limâ€‰sup}âˆ¥{z}_{n}âˆ’pâˆ¥â‰¤c.$
(3.4)

Since T is a nonexpansive mapping, it follows that

$âˆ¥T{x}_{n}âˆ’pâˆ¥â‰¤âˆ¥{x}_{n}âˆ’pâˆ¥$

and

$âˆ¥T{y}_{n}âˆ’pâˆ¥â‰¤âˆ¥{y}_{n}âˆ’pâˆ¥.$

Taking limâ€‰sup on both sides, we obtain

$\underset{nâ†’\mathrm{âˆž}}{limâ€‰sup}âˆ¥T{x}_{n}âˆ’pâˆ¥â‰¤c$
(3.5)

and

$\underset{nâ†’\mathrm{âˆž}}{limâ€‰sup}âˆ¥T{y}_{n}âˆ’pâˆ¥â‰¤c.$
(3.6)

Since

$c=\underset{nâ†’\mathrm{âˆž}}{lim}âˆ¥{x}_{n+1}âˆ’pâˆ¥=\underset{nâ†’\mathrm{âˆž}}{lim}âˆ¥\left(1âˆ’{\mathrm{Î±}}_{n}\right)\left(T{x}_{n}âˆ’p\right)+{\mathrm{Î±}}_{n}\left(T{y}_{n}âˆ’p\right)âˆ¥,$

by using Lemma 3.2, we have

$\underset{nâ†’\mathrm{âˆž}}{lim}âˆ¥T{x}_{n}âˆ’T{y}_{n}âˆ¥=0.$
(3.7)

Now

$âˆ¥{x}_{n+1}âˆ’pâˆ¥=âˆ¥\left(1âˆ’{\mathrm{Î±}}_{n}\right)T{x}_{n}+{\mathrm{Î±}}_{n}T{y}_{n}âˆ’pâˆ¥â‰¤âˆ¥T{x}_{n}âˆ’pâˆ¥+{\mathrm{Î±}}_{n}âˆ¥T{x}_{n}âˆ’T{y}_{n}âˆ¥$

yields

$câ‰¤\underset{nâ†’\mathrm{âˆž}}{limâ€‰inf}âˆ¥T{x}_{n}âˆ’pâˆ¥,$
(3.8)

so that (3.5) and (3.8) give

$\underset{nâ†’\mathrm{âˆž}}{lim}âˆ¥T{x}_{n}âˆ’pâˆ¥=c.$
(3.9)

On the other hand, we have

$âˆ¥T{x}_{n}âˆ’pâˆ¥â‰¤âˆ¥T{x}_{n}âˆ’T{y}_{n}âˆ¥+âˆ¥T{y}_{n}âˆ’pâˆ¥â‰¤âˆ¥T{x}_{n}âˆ’T{y}_{n}âˆ¥+âˆ¥{y}_{n}âˆ’pâˆ¥,$

which yields

$câ‰¤\underset{nâ†’\mathrm{âˆž}}{limâ€‰inf}âˆ¥{y}_{n}âˆ’pâˆ¥.$
(3.10)

From (3.3) and (3.10) we get

$\underset{nâ†’\mathrm{âˆž}}{lim}âˆ¥{y}_{n}âˆ’pâˆ¥=c.$

Since T is a nonexpansive mapping, we have from (3.1)

$\underset{nâ†’\mathrm{âˆž}}{limâ€‰sup}âˆ¥T{z}_{n}âˆ’pâˆ¥â‰¤c.$
(3.11)

From (3.4) and (3.11), by using Lemma 3.2 we obtain

$\underset{nâ†’\mathrm{âˆž}}{lim}âˆ¥{z}_{n}âˆ’T{z}_{n}âˆ¥=0.$
(3.12)

Since

$âˆ¥{y}_{n}âˆ’pâˆ¥â‰¤âˆ¥{z}_{n}âˆ’pâˆ¥+{\mathrm{Î²}}_{n}âˆ¥T{z}_{n}âˆ’{z}_{n}âˆ¥,$

we write

$câ‰¤\underset{nâ†’\mathrm{âˆž}}{limâ€‰sup}âˆ¥{z}_{n}âˆ’pâˆ¥,$
(3.13)

then

$âˆ¥{z}_{n}âˆ’pâˆ¥=c,$
(3.14)

so

$\begin{array}{rl}c& =\underset{nâ†’\mathrm{âˆž}}{lim}âˆ¥{z}_{n}âˆ’pâˆ¥\\ =\underset{nâ†’\mathrm{âˆž}}{lim}âˆ¥\left(1âˆ’{\mathrm{Î±}}_{n}\right){x}_{n}+{\mathrm{Î±}}_{n}T{x}_{n}âˆ’pâˆ¥\\ =\underset{nâ†’\mathrm{âˆž}}{lim}âˆ¥\left(1âˆ’{\mathrm{Î±}}_{n}\right)\left({x}_{n}âˆ’p\right)+{\mathrm{Î±}}_{n}\left(T{x}_{n}âˆ’p\right)âˆ¥,\end{array}$

and by Lemma 3.2, we have

$\underset{nâ†’\mathrm{âˆž}}{lim}âˆ¥{x}_{n}âˆ’T{x}_{n}âˆ¥=0.$

This completes the proof.â€ƒâ–¡

Lemma 3.4 [13]

Let C be a nonempty bounded closed convex subset of a uniformly convex Banach space and $T:Câ†’E$ be a nonexpansive mapping. Then there is a strictly increasing and continuous convex function $g:\left[0,\mathrm{âˆž}\right)â†’\left[0,\mathrm{âˆž}\right)$ with $g\left(0\right)=0$ such that

$g\left(âˆ¥T\left(tx+\left(1âˆ’t\right)y\right)âˆ’\left(tTx+\left(1âˆ’t\right)Ty\right)âˆ¥\right)â‰¤âˆ¥xâˆ’yâˆ¥âˆ’âˆ¥Txâˆ’Tyâˆ¥$

for all $x,yâˆˆC$ and $tâˆˆ\left[0,1\right]$.

Lemma 3.5 For any ${p}_{1},{p}_{2}âˆˆF\left(T\right)$, ${lim}_{nâ†’\mathrm{âˆž}}âˆ¥t{x}_{n}+\left(1âˆ’t\right){p}_{1}âˆ’{p}_{2}âˆ¥$ exists, for all $tâˆˆ\left[0,1\right]$ under the conditions of Lemma  3.3.

Proof By Lemma 3.1, ${lim}_{nâ†’\mathrm{âˆž}}âˆ¥{x}_{n}âˆ’pâˆ¥$ exists for all $pâˆˆF\left(T\right)$ and hence $\left\{{x}_{n}\right\}$ is bounded. Thus there exists a real number $r>0$ such that $\left\{{x}_{n}\right\}âŠ†Dâ‰¡\stackrel{Â¯}{{B}_{r}\left(0\right)}âˆ©C$, so that D is a closed convex nonempty subset of C. Set

${a}_{n}\left(t\right):=âˆ¥t{x}_{n}+\left(1âˆ’t\right){p}_{1}âˆ’{p}_{2}âˆ¥$

for all $tâˆˆ\left[0,1\right]$. Then ${lim}_{nâ†’\mathrm{âˆž}}{a}_{n}\left(0\right)=âˆ¥{p}_{1}âˆ’{p}_{2}âˆ¥$ and, from Lemma 3.1, ${lim}_{nâ†’\mathrm{âˆž}}{a}_{n}\left(1\right)=âˆ¥{x}_{n}âˆ’{p}_{2}âˆ¥$ exist.

Now it remains to show that ${lim}_{nâ†’\mathrm{âˆž}}{a}_{n}\left(t\right)$ exists for $tâˆˆ\left(0,1\right)$.

For each $nâˆˆN$, define ${W}_{n}:Dâ†’D$ by

$\left\{\begin{array}{l}{W}_{n}x=\left(1âˆ’{\mathrm{Î±}}_{n}\right)Tx+{\mathrm{Î±}}_{n}T{V}_{n}x,\\ {V}_{n}x=\left(1âˆ’{\mathrm{Î²}}_{n}\right){U}_{n}x+{\mathrm{Î²}}_{n}T{U}_{n}x,\\ {U}_{n}x=\left(1âˆ’{\mathrm{Î³}}_{n}\right)x+{\mathrm{Î³}}_{n}Tx\end{array}$

for all $xâˆˆD$.

We see that

$âˆ¥{U}_{n}xâˆ’{U}_{n}yâˆ¥â‰¤âˆ¥xâˆ’yâˆ¥,\phantom{\rule{1em}{0ex}}\mathrm{âˆ€}x,yâˆˆD,$

and

$âˆ¥{V}_{n}xâˆ’{V}_{n}yâˆ¥â‰¤âˆ¥xâˆ’yâˆ¥,\phantom{\rule{1em}{0ex}}\mathrm{âˆ€}x,yâˆˆD,$

hence,

$âˆ¥{W}_{n}xâˆ’{W}_{n}yâˆ¥â‰¤âˆ¥xâˆ’yâˆ¥,\phantom{\rule{1em}{0ex}}\mathrm{âˆ€}x,yâˆˆD.$

Set

${R}_{n,m}={W}_{n+mâˆ’1}{W}_{n+mâˆ’2}â‹¯{W}_{n}$

and

${b}_{n.m}=âˆ¥{R}_{n,m}\left(t{x}_{n}+\left(1âˆ’t\right){p}_{1}\right)âˆ’\left(t{R}_{n,m}{x}_{n}+\left(1âˆ’t\right){p}_{1}\right)âˆ¥,$

for all $n,mâˆˆN$. Then ${R}_{n,m}{x}_{n}={x}_{n+m}$ and ${R}_{n,m}p=p$ $\mathrm{âˆ€}pâˆˆF\left(T\right)$. Also,

$âˆ¥{R}_{n,m}xâˆ’{R}_{n.m}yâˆ¥â‰¤âˆ¥xâˆ’yâˆ¥,\phantom{\rule{1em}{0ex}}\mathrm{âˆ€}x,yâˆˆD.$

By Lemma 3.4, there exists a strictly increasing continuous function $g:\left[0,\mathrm{âˆž}\right)â†’\left[0,\mathrm{âˆž}\right)$ with $g\left(0\right)=0$ such that

$\begin{array}{rl}g\left({b}_{n,m}\right)& â‰¤âˆ¥{x}_{n}âˆ’{p}_{1}âˆ¥âˆ’âˆ¥{R}_{n,m}{x}_{n}âˆ’{R}_{n,m}{p}_{1}âˆ¥\\ =âˆ¥{x}_{n}âˆ’{p}_{1}âˆ¥âˆ’âˆ¥{x}_{n+m}âˆ’{p}_{1}âˆ¥.\end{array}$

Since ${lim}_{nâ†’\mathrm{âˆž}}âˆ¥{x}_{n}âˆ’pâˆ¥$ exists for all $pâˆˆF\left(T\right)$, we get ${lim}_{n,mâ†’\mathrm{âˆž}}g\left({b}_{n,m}\right)=0$ and by the property of g, we get ${lim}_{n,mâ†’\mathrm{âˆž}}{b}_{n,m}=0$.

Now,

$\begin{array}{rl}{a}_{n+m}\left(t\right)& =âˆ¥t{x}_{n+m}+\left(1âˆ’t\right){p}_{1}âˆ’{p}_{2}âˆ¥\\ =âˆ¥t{R}_{n,m}{x}_{n}+\left(1âˆ’t\right){p}_{1}âˆ’{p}_{2}âˆ¥\\ â‰¤{b}_{n,m}+âˆ¥{R}_{n,m}\left(t{x}_{n}+\left(1âˆ’t\right){p}_{1}\right)âˆ’{p}_{2}âˆ¥\\ ={b}_{n,m}+âˆ¥{R}_{n,m}\left(t{x}_{n}+\left(1âˆ’t\right){p}_{1}\right)âˆ’{R}_{n,m}{p}_{2}âˆ¥\\ â‰¤{b}_{n,m}+âˆ¥\left(t{x}_{n}+\left(1âˆ’t\right){p}_{1}\right)âˆ’{p}_{2}âˆ¥\\ ={b}_{n,m}+{a}_{n}\left(t\right).\end{array}$

Consequently

$\begin{array}{rl}\underset{mâ†’\mathrm{âˆž}}{limâ€‰sup}{a}_{m}\left(t\right)& =\underset{mâ†’\mathrm{âˆž}}{limâ€‰sup}{a}_{n+m}\left(t\right)\\ â‰¤\underset{mâ†’\mathrm{âˆž}}{limâ€‰sup}\left({b}_{n,m}\right)+{a}_{n}\left(t\right).\end{array}$

Since ${lim}_{n,mâ†’\mathrm{âˆž}}{b}_{n,m}=0$, we get

$\underset{nâ†’\mathrm{âˆž}}{limâ€‰sup}{a}_{n}\left(t\right)â‰¤\underset{nâ†’\mathrm{âˆž}}{limâ€‰inf}{a}_{n}\left(t\right).$

This implies that ${lim}_{nâ†’\mathrm{âˆž}}{a}_{n}\left(t\right)$ exists for all $tâˆˆ\left(0,1\right)$, i.e., ${lim}_{nâ†’\mathrm{âˆž}}âˆ¥t{x}_{n}+\left(1âˆ’t\right){p}_{1}âˆ’{p}_{2}âˆ¥$ exists for all $tâˆˆ\left[0,1\right]$.â€ƒâ–¡

Let E be a Banach space and ${S}_{E}=\left\{xâˆˆE:âˆ¥xâˆ¥=1\right\}$ unit sphere on E. The Banach space E is said to be smooth if

$\underset{tâ†’0}{lim}\frac{âˆ¥x+tyâˆ¥âˆ’âˆ¥xâˆ¥}{t}$
(3.15)

exists for each x and y in ${S}_{E}$. In this case, the norm of E is called GÃ¢teaux differentiable.

The space E is called FrÃ©chet differentiable normed (see, e.g., [14]); for each x in E, the above limit exists and is attained uniformly for y in E, and in this case it is also well known that

$ã€ˆh,J\left(x\right)ã€‰+\frac{1}{2}{âˆ¥xâˆ¥}^{2}â‰¤\frac{1}{2}{âˆ¥x+hâˆ¥}^{2}â‰¤ã€ˆh,J\left(x\right)ã€‰+\frac{1}{2}{âˆ¥xâˆ¥}^{2}+b\left(âˆ¥hâˆ¥\right)$
(3.16)

for all $x,hâˆˆE$, where J is the FrÃ©chet derivative of the function $\frac{1}{2}{âˆ¥â‹\dots âˆ¥}^{2}$ at $xâˆˆE$, $ã€ˆâ‹\dots ,â‹\dots ã€‰$ is the dual pairing between E and ${E}^{âˆ—}$, and b is an increasing function defined on $\left[0,\mathrm{âˆž}\right)$ such that ${lim}_{tâ†’0}\frac{b\left(t\right)}{t}=0$.

Lemma 3.6 Assume that the conditions of Lemma  3.3 are satisfied. Then, for any ${p}_{1},{p}_{2}âˆˆF\left(T\right)$, ${lim}_{nâ†’\mathrm{âˆž}}ã€ˆ{x}_{n},J\left({p}_{1}âˆ’{p}_{2}\right)ã€‰$ exists; in particular, $ã€ˆpâˆ’q,J\left({p}_{1}âˆ’{p}_{2}\right)ã€‰=0$ for all $p,qâˆˆ{\mathrm{Ï‰}}_{w}\left({x}_{n}\right)$, the set of all weak limits of $\left\{{x}_{n}\right\}$.

The proof of Lemma 3.6 is similar to the proof of Lemma 2.3 of Khan and Kim [15].

A Banach space E is said to satisfy the Opial condition [16] if for each sequence $\left\{{x}_{n}\right\}$ in E, ${x}_{n}â‡€x$ implies that

$\underset{nâ†’\mathrm{âˆž}}{limâ€‰sup}âˆ¥{x}_{n}âˆ’xâˆ¥<\underset{nâ†’\mathrm{âˆž}}{limâ€‰sup}âˆ¥{x}_{n}âˆ’yâˆ¥$

for all $yâˆˆE$ with .

A Banach space E is said to have the Kadec-Klee property if for every sequence $\left\{{x}_{n}\right\}$ in E, ${x}_{n}â‡€x$ and $âˆ¥{x}_{n}âˆ¥â†’âˆ¥xâˆ¥$ together imply ${x}_{n}â†’x$ as $nâ†’\mathrm{âˆž}$.

We need the following to prove our next result.

Definition 3.7 A mapping $T:Câ†’E$ is demiclosed at $yâˆˆE$ if for each sequence $\left\{{x}_{n}\right\}$ in C and each $xâˆˆE$, ${x}_{n}â‡€x$, and $T{x}_{n}â†’y$ imply that $xâˆˆC$ and $Tx=y$.

Lemma 3.8 [17]

Let C be a nonempty closed convex subset of a uniformly convex Banach space E, and T a nonexpansive mapping on C. Then $Iâˆ’T$ is demiclosed at zero.

Lemma 3.9 [8]

Let E be a reflexive Banach space satisfying the Opial condition, C a nonempty convex subset of E, and $T:Câ†’E$ an operator such that $Iâˆ’T$ demiclosed at zero and . Let $\left\{{x}_{n}\right\}$ be a sequence in C such that ${lim}_{nâ†’\mathrm{âˆž}}âˆ¥{x}_{n}âˆ’T{x}_{n}âˆ¥=0$ and ${lim}_{nâ†’\mathrm{âˆž}}âˆ¥{x}_{n}âˆ’pâˆ¥$ exists for all $pâˆˆF\left(T\right)$. Then $\left\{{x}_{n}\right\}$ converges weakly to a fixed point of T.

Lemma 3.10 [18]

Let E be a real reflexive Banach space such that its dual ${E}^{âˆ—}$ has the Kadec-Klee property. Let $\left\{{x}_{n}\right\}$ be a bounded sequence in E and ${x}^{âˆ—},{y}^{âˆ—}âˆˆ{\mathrm{Ï‰}}_{w}\left({x}_{n}\right)$, here ${\mathrm{Ï‰}}_{w}\left({x}_{n}\right)$ denotes the w-limit set of $\left\{{x}_{n}\right\}$. Suppose ${lim}_{nâ†’\mathrm{âˆž}}âˆ¥t{x}_{n}+\left(1âˆ’t\right){x}^{âˆ—}âˆ’{y}^{âˆ—}âˆ¥$ exists for all $tâˆˆ\left[0,1\right]$. Then ${x}^{âˆ—}={y}^{âˆ—}$.

We now establish a weak convergence result.

Theorem 3.11 Let E be a uniformly convex Banach space and let C, T, and $\left\{{x}_{n}\right\}$ be as in Lemma  3.3 and . Assume that any of the following conditions hold:

1. (a)

E satisfies the Opial condition,

2. (b)

E has a FrÃ©chet differentiable norm,

3. (c)

the dual ${E}^{âˆ—}$ of E satisfies the Kadec-Klee property.

Then $\left\{{x}_{n}\right\}$ converges weakly to a point of $F\left(T\right)$.

Proof Let $pâˆˆF\left(T\right)$, by Lemma 3.1, ${lim}_{nâ†’\mathrm{âˆž}}âˆ¥{x}_{n}âˆ’pâˆ¥$ exists.

We prove that $\left\{{x}_{n}\right\}$ has a unique weak subsequential limit in $F\left(T\right)$.

Let u and v be weak limits of the subsequences $\left\{{x}_{{n}_{i}}\right\}$ and $\left\{{x}_{{n}_{j}}\right\}$ of $\left\{{x}_{n}\right\}$, respectively. By Lemma 3.3, ${lim}_{nâ†’\mathrm{âˆž}}âˆ¥{x}_{n}âˆ’T{x}_{n}âˆ¥=0$, and also $Iâˆ’T$ is demiclosed with respect to zero, hence by Lemma 3.8, we obtain $Tu=u$. In a similar manner, we have $vâˆˆF\left(T\right)$.

Next, we prove the uniqueness.

First assume that (a) holds. If , then, by the Opial condition,

$\begin{array}{rl}\underset{nâ†’\mathrm{âˆž}}{lim}âˆ¥{x}_{n}âˆ’uâˆ¥& =\underset{iâ†’\mathrm{âˆž}}{lim}âˆ¥{x}_{{n}_{i}}âˆ’uâˆ¥<\underset{iâ†’\mathrm{âˆž}}{lim}âˆ¥{x}_{{n}_{i}}âˆ’vâˆ¥=\underset{nâ†’\mathrm{âˆž}}{lim}âˆ¥{x}_{n}âˆ’vâˆ¥\\ =\underset{jâ†’\mathrm{âˆž}}{lim}âˆ¥{x}_{{n}_{j}}âˆ’vâˆ¥<\underset{jâ†’\mathrm{âˆž}}{lim}âˆ¥{x}_{{n}_{j}}âˆ’uâˆ¥=\underset{nâ†’\mathrm{âˆž}}{lim}âˆ¥{x}_{n}âˆ’uâˆ¥.\end{array}$

This is a contradiction, so $u=v$.

Next, assume (b) holds.

By Lemma 3.6, $ã€ˆpâˆ’q,J\left({p}_{1}âˆ’{p}_{2}\right)ã€‰=0$, for all $p,qâˆˆ{\mathrm{Ï‰}}_{w}\left({x}_{n}\right)$. Therefore, ${âˆ¥uâˆ’vâˆ¥}^{2}=ã€ˆuâˆ’v,J\left(uâˆ’v\right)ã€‰=0$ implies $u=v$.

Finally, assume that (c) is true.

Since ${lim}_{nâ†’\mathrm{âˆž}}âˆ¥t{x}_{n}+\left(1âˆ’t\right)uâˆ’vâˆ¥$ exists for all $tâˆˆ\left[0,1\right]$ by Lemma 3.5, $u=v$ by Lemma 3.10, and $\left\{{x}_{n}\right\}$ converges weakly to a fixed point of $F\left(T\right)$ and this completes the proof.â€ƒâ–¡

A mapping $T:Câ†’C$ is said to be semicompact if any sequence $\left\{{x}_{n}\right\}$ in C, such that ${lim}_{nâ†’\mathrm{âˆž}}âˆ¥{x}_{n}âˆ’T{x}_{n}âˆ¥=0$, has a subsequence converging strongly to some $pâˆˆC$.

Next we establish the following strong convergence results.

Theorem 3.12 Let E be a uniformly convex Banach space and let C, T, and $\left\{{x}_{n}\right\}$ be as in Lemma  3.3. If T is semicompact and , then $\left\{{x}_{n}\right\}$ converges strongly to a fixed point of T.

Proof By Lemma 3.3, we have ${lim}_{nâ†’\mathrm{âˆž}}âˆ¥{x}_{n}âˆ’T{x}_{n}âˆ¥=0$; since T is semicompact, $\left\{{x}_{n}\right\}$ has a subsequence converging to some $pâˆˆC$ as C is closed. Continuity of T gives ${lim}_{jâ†’\mathrm{âˆž}}âˆ¥T{x}_{{n}_{j}}âˆ’Tpâˆ¥â†’0$. Then by Lemma 3.3,

$âˆ¥Tpâˆ’pâˆ¥=0.$

This yields $pâˆˆF\left(T\right)$. By Lemma 3.1, ${lim}_{nâ†’\mathrm{âˆž}}âˆ¥{x}_{n}âˆ’pâˆ¥$ exists for all $pâˆˆF\left(T\right)$, and therefore $\left\{{x}_{n}\right\}$ must itself converge to $pâˆˆF\left(T\right)$ and this completes the proof.â€ƒâ–¡

Theorem 3.13 Let E be a uniformly convex Banach space and let C, T, $F\left(T\right)$, and $\left\{{x}_{n}\right\}$ be as in Lemma  3.3. Then $\left\{{x}_{n}\right\}$ converges to a point of $F\left(T\right)$ if and only if ${limâ€‰inf}_{nâ†’\mathrm{âˆž}}d\left({x}_{n},F\left(T\right)\right)=0$, where $d\left(x,F\left(T\right)\right)=inf\left\{âˆ¥xâˆ’pâˆ¥:pâˆˆF\left(T\right)\right\}$.

Proof Necessity is obvious. Suppose that ${limâ€‰inf}_{nâ†’\mathrm{âˆž}}d\left({x}_{n},F\left(T\right)\right)=0$. As proved in Lemma 3.3, ${lim}_{nâ†’\mathrm{âˆž}}âˆ¥{x}_{n}âˆ’wâˆ¥$ exists for all $wâˆˆF\left(T\right)$, therefore ${lim}_{nâ†’\mathrm{âˆž}}d\left({x}_{n},F\left(T\right)\right)$ exists. But by hypothesis, ${limâ€‰inf}_{nâ†’\mathrm{âˆž}}d\left({x}_{n},F\left(T\right)\right)=0$, therefore ${lim}_{nâ†’\mathrm{âˆž}}d\left({x}_{n},F\left(T\right)\right)=0$.

We will show that $\left\{{x}_{n}\right\}$ is a Cauchy sequence in C. Since ${lim}_{nâ†’\mathrm{âˆž}}d\left({x}_{n},F\left(T\right)\right)=0$, for given $\mathrm{Îµ}>0$, there exists ${n}_{0}$ in â„• such that, for all $nâ‰¥{n}_{0}$,

$d\left({x}_{n},F\left(T\right)\right)<\frac{\mathrm{Îµ}}{2}.$

Particularly, $inf\left\{âˆ¥{x}_{{n}_{0}}âˆ’pâˆ¥:pâˆˆF\left(T\right)\right\}<\frac{\mathrm{Îµ}}{2}$. Hence, there exists ${p}^{âˆ—}âˆˆF\left(T\right)$ such that $âˆ¥{x}_{{n}_{0}}âˆ’{p}^{âˆ—}âˆ¥<\frac{\mathrm{Îµ}}{2}$. Now, for $m,nâ‰¥{n}_{0}$,

$âˆ¥{x}_{n+m}âˆ’{x}_{n}âˆ¥â‰¤âˆ¥{x}_{n+m}âˆ’{p}^{âˆ—}âˆ¥+âˆ¥{x}_{n}âˆ’{p}^{âˆ—}âˆ¥â‰¤2âˆ¥{x}_{{n}_{0}}âˆ’{p}^{âˆ—}âˆ¥<\mathrm{Îµ}.$

Hence $\left\{{x}_{n}\right\}$ is a Cauchy sequence in C. Since C is a closed subset of a complete space, ${lim}_{nâ†’\mathrm{âˆž}}{x}_{n}=pâˆˆC$. Since $F\left(T\right)$ is closed, ${lim}_{nâ†’\mathrm{âˆž}}d\left({x}_{n},F\left(T\right)\right)=0$ gives $d\left(p,F\left(T\right)\right)=0$, i.e., $pâˆˆF\left(T\right)$.â€ƒâ–¡

Definition 3.14 A mapping $T:Câ†’C$, where C is a subset of a normed space E, is said to satisfy Condition (I) [19] if there exists a nondecreasing function $f:\left[0,\mathrm{âˆž}\right)â†’\left[0,\mathrm{âˆž}\right)$ with $f\left(0\right)=0$, $f\left(r\right)>0$ for all $râˆˆ\left(0,1\right)$ such that $âˆ¥xâˆ’Txâˆ¥â‰¥f\left(d\left(x,F\left(T\right)\right)\right)$ for all $xâˆˆC$ where $d\left(x,F\left(T\right)\right)=inf\left\{âˆ¥xâˆ’pâˆ¥:pâˆˆF\left(T\right)\right\}$.

Applying Theorem 3.13, we obtain strong convergence of the process (1.8) under Condition (I) as follows.

Theorem 3.15 Let e be a uniformly convex Banach space and let C, T, and $\left\{{x}_{n}\right\}$ be as in Lemma  3.3. Let T satisfy Condition (I), then $\left\{{x}_{n}\right\}$ converges strongly to a fixed point of T.

Proof We proved in Lemma 3.3 that

$\underset{nâ†’\mathrm{âˆž}}{lim}âˆ¥{x}_{n}âˆ’T{x}_{n}âˆ¥=0.$
(3.17)

From Condition (I) and (3.17), we get

$\underset{nâ†’\mathrm{âˆž}}{lim}f\left(d\left({x}_{n},F\left(T\right)\right)\right)â‰¤\underset{nâ†’\mathrm{âˆž}}{lim}âˆ¥{x}_{n}âˆ’T{x}_{n}âˆ¥=0,$

i.e., ${lim}_{nâ†’\mathrm{âˆž}}f\left(d\left({x}_{n},F\left(T\right)\right)\right)=0$. Since $f:\left[0,\mathrm{âˆž}\right)â†’\left[0,\mathrm{âˆž}\right)$ is a nondecreasing function satisfying $f\left(0\right)=0$, $f\left(r\right)>0$ for all $râˆˆ\left(0,\mathrm{âˆž}\right)$, we have

$\underset{nâ†’\mathrm{âˆž}}{lim}d\left({x}_{n},F\left(T\right)\right)=0.$

Now all the conditions of Theorem 3.13 are satisfied, therefore, by its conclusion, $\left\{{x}_{n}\right\}$ converges strongly to a point of $F\left(T\right)$.â€ƒâ–¡

## References

1. Krasnoselâ€™skii MA: Two remarks on the method of successive approximations. Usp. Mat. Nauk 1955, 10: 123-127.

2. Schaefer H: Ãœber die methode sukzessiver approximationen. Jahresber. Dtsch. Math.-Ver. 1957,59(1):131-140.

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

4. Byrne C: A unified treatment of some iterative algorithms in signal processing and image reconstruction. Inverse Probl. 2004,20(1):103-120. 10.1088/0266-5611/20/1/006

5. Kim TH, Xu HK: Strong convergence of modified Mann iterations. Nonlinear Anal. 2005,61(1-2):51-60. 10.1016/j.na.2004.11.011

6. Ishikawa S: Fixed points by a new iteration method. Proc. Am. Math. Soc. 1974, 44: 147-150. 10.1090/S0002-9939-1974-0336469-5

7. Noor MA: New approximation schemes for general variational inequalities. J. Math. Anal. Appl. 2000,251(1):217-229. 10.1006/jmaa.2000.7042

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

9. Abbas M, Nazir T: A new faster iteration process applied to constrained minimization and feasibility problems. Mat. Vesn. 2014,66(2):223-234.

10. Berinde V: Picard iteration converges faster than Mann iteration for a class of quasicontractive operators. Fixed Point Theory Appl. 2004, 2: 97-105.

11. Sahu DR: Applications of the S -iteration process to constrained minimization problems and split feasibility problem. Fixed Point Theory 2011,12(1):187-204.

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

13. Bruck RE: A simple proof of the mean ergodic theorem for nonlinear contractions in Banach spaces. Isr. J. Math. 1979,32(2-3):107-116. 10.1007/BF02764907

14. Takahashi W, Kim GE: Approximating fixed points of nonexpansive mappings in Banach spaces. Math. Jpn. 1998,48(1):1-9.

15. Khan SH, Kim JK: Common fixed points of two nonexpansive mappings by a modified faster iteration scheme. Bull. Korean Math. Soc. 2010,47(5):973-985. 10.4134/BKMS.2010.47.5.973

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

17. Goebel K, Kirk WA Cambridge Studies in Advanced Mathematics 28. In Topics in Metric Fixed Point Theory. Cambridge University Press, Cambridge; 1990.

18. Kaczor W: Weak convergence of almost orbits of asymptotically nonexpansive semigroups. J. Math. Anal. Appl. 2002,272(2):565-574. 10.1016/S0022-247X(02)00175-0

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

## Acknowledgements

The second author would like to thank the Rajiv Gandhi National Fellowship of India for the grant (F1-17.1/2011-12/RGNF-ST-CHH-6632).

## Author information

Authors

### Corresponding author

Correspondence to Mihai Postolache.

### Competing interests

The authors declare that they have no competing interests.

### Authorsâ€™ contributions

All authors read and approved the final manuscript.

## Authorsâ€™ original submitted files for images

Below are the links to the authorsâ€™ original submitted files for images.

## Rights and permissions

The images or other third party material in this article are included in the articleâ€™s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the articleâ€™s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder.

To view a copy of this licence, visit https://creativecommons.org/licenses/by/4.0/.

Reprints and Permissions

Thakur, D., Thakur, B.S. & Postolache, M. New iteration scheme for numerical reckoning fixed points of nonexpansive mappings. J Inequal Appl 2014, 328 (2014). https://doi.org/10.1186/1029-242X-2014-328