Some New Results on a Three-Step Iteration Process

Abstract

The purpose of this research work is to prove some weak and strong convergence results for maps satisfying (E)-condition through three-step Thakur (J. Inequal. Appl. 2014, 2014:328.) iterative process in Banach spaces. We also present a new example of maps satisfying (E)-condition, and prove that its three-step Thakur iterative process is more efficient than the other well-known three-step iterative processes. At the end of the paper, we apply our results for finding solutions of split feasibility problems. The presented research work updates some of the results of the current literature.

1. Introduction

Let T be a selfmap on a subset W of a Banach space $U=(U,\parallel .\parallel )$. Subsequently, T is called contraction map on W if for each pair of elements $w,w^{\prime }\in W$, there is some real constant $\alpha \in [0,1)$, such that

$$\parallel Tw-T{w}^{\prime }\parallel \le \alpha \parallel w-w^{\prime }\parallel .$$

(1)

If (1) holds at $\alpha =1$, then T is called non-expansive. When a point $g\in W$ exists with the property $Tg=g$, then g is called a fixed point of T. The fixed point set of T we often denote by the notation $Fix\left(T\right)$. In 1922, Banach [1] proved that any self contraction map of a closed subset W of a Banach space has a unique fixed point. Later, the Banach result [1] was extended by Caccioppoli [2] in complete metric spaces. In 1965, Browder [3] and Gohde [4] proved that any self non-expansive map of a convex bounded closed subset W of a uniformly convex Banach space U always admits a fixed point. The Browder-Gohde result was proved by Kirk [5] in the context of reflexive Banach spaces. We know that the class of non-expansive maps is important as an application point of view. Thus, it is very natural to consider larger classes of non-expansive maps. One of the larger class of non-expansive maps was introduced by Suzuki [6] in 2008. A selfmap T on a subset W of a Banach space is said to be Suzuki map (or said to satisfy $\left(C\right)$-condition), if for each pair of elements $w,w^{\prime }\in W$, it follows that

$$\frac{1}{2}\parallel w-Tw\parallel \le \parallel w-w^{\prime }\parallel \Rightarrow \parallel Tw-T{w}^{\prime }\parallel \le \parallel w-w^{\prime }\parallel .$$

Suzuki also proved that, if a map T satisfies $\left(C\right)$-condition, then for all $w,w^{\prime }\in W$, $\parallel w-T{w}^{\prime }\parallel \le 3\parallel w-Tw\parallel +\parallel w-w^{\prime }\parallel$ holds.

Inspired by Suzuki $\left(C\right)$-condition, Garcia-Falset et al. [7] introduced $\left(E\right)$-condition, as follows: a selfmap T on a subset W of a Banach space is said be Garcia-Falset map (or said to satisfy $\left(E\right)$-condition), if for each pair of elements $w,w^{\prime }\in W$, there is some real constant $\mu \ge 1$, such that

$$\parallel w-T{w}^{\prime }\parallel \le \mu \parallel w-Tw\parallel +\parallel w-w^{\prime }\parallel .$$

We see that any map T with $\left(C\right)$-condition satisfies $\left(E\right)$-condition with real constant $\mu =3$. Nevertheless, an example in the Section 4 shows that there exists maps in the class of Garcia-Falset maps which does not belong to the class of Suzuki maps. Hence, the class of Garica-Falset maps properly includes the class of Suzuki maps. Garcia-Falset et al. [7] also proved some existence theorems of fixed points for maps satisfying $\left(E\right)$-condition. Recently, Usurelu et al. [8] studied some fixed point results for this class of maps and using an example, they studied the visualization of convergence behaviors of some iterative processes. In this paper, we use the three-step iterative process, which is different from the iterative process used in [8] for approximating fixed points of maps of this class. We also present a new example of maps satisfying $\left(E\right)$-condition, and prove that its under the consideration three-step iterative process is more efficient than the other well-known three-step iterative processes. In the last section, we shall apply our results for finding solutions of split feasibility problems.

However, once the existence of fixed point for an operator is established, then the finding of this fixed point is not easy work. One of the simplest iterative method for finding fixed points is the Picard iterative method, which is, $w_{k+1}=T{w}_k$. The Banach–Caccioppoli result states that the unique fixed point of contractions can be obtained by using the Picard iterative method. Nevertheless, the Picard iterative method does not always work properly in the finding of fixed points of non-expansive maps. For finding fixed points of non-expansive maps and to obtain relatively better convergence speed, one deals with the different iterative methods, e.g., Mann [9], Ishikawa [10], Agarwal [11], Noor [12], Abbas [13], and others. Among the other things, Thakur et al. [14] introduced the following three-step iterative process for finding fixed points of non-expansive maps in Banach spaces, as follows:

$$\left\{\begin{array}{c}{w}_1\in W,\hfill \\ z_k=(1-c_k)w_k+c_{k}T{w}_k,\hfill \\ y_k=(1-b_k)z_k+b_{k}T{z}_k,\hfill \\ w_{k+1}=(1-a_k)T{w}_k+a_{k}T{y}_k,k\in \mathbb{N},\hfill \end{array}\right.$$

(2)

where $a_k,b_k,c_k\in (0,1)$.

In [14], Thakur et al. proved some important strong and weak convergence theorems of the iterative process (2) for the class of non-expansive maps in the context of uniformly convex Banach spaces. Recently in 2020, Maniu [15] extended the results of Thakur et al. [14] to the setting of Suzuki maps. The purpose of this research is to extend the results of Maniu [15] to the more general setting of Garcia–Falset maps. We also study the rate of convergence of the iterative process (2) with the some well-known three-step iterative processes in the setting of Garcia-Falset maps, under different initial points and set of parameters. At the end of the paper, we shall apply our results to find the solution of split feasibility problems.

2. Preliminaries

In this section, we shall deal with some basic definitions and early results. Let W be any nonempty subset of a Banach space U. Fix $p\in U$ and assume that $\left\{w_k\right\}\subseteq U$ is bounded. Define $r(p,\left\{w_k\right\})$ by

$$r(p,\left\{w_k\right\}):=\underset{k\to \infty }{lim\; sup}\parallel p-w_k\parallel .$$

We denote the asymptotic radius of $\left\{w_k\right\}$ with respect to W by $r(W,\left\{w_k\right\})$ and define, as follows:

$$r(W,\left\{w_k\right\}):=inf\{r(p,\left\{w_k\right\}):p\in W\}.$$

We denote the asymptotic center of $\left\{w_k\right\}$ with respect to W by $A(W,\left\{w_k\right\})$ and define, as follows:

$$A(W,\left\{w_k\right\}):=\{p\in W:r(p,\left\{w_k\right\})=r(W,\left\{w_k\right\})\}.$$

The asymptotic center of $\left\{w_k\right\}$ with respect to W is nonempty and convex whenever W is convex weakly compact, (see, e.g., [16,17] and others). One of the well known property of the set $A(W,\left\{w_k\right\})$ is the singletoness property in the frame work of uniformly convex Banach spaces [18].

Recall that a Banach space U is said to have Opial’s property [19], if, for any weakly convergent sequence $\left\{t_k\right\}$ in U with a weak limit $t\in U$, follows the following strict inequality

$$\underset{k\to \infty }{lim\; sup}\parallel t_k-t\parallel <\underset{k\to \infty }{lim\; sup}\parallel t_k-s\parallel \mathrm{for}\mathrm{every}s\in U-\left\{t\right\}.$$

The following result shows that the class of Suzuki maps is a sub-class of Garcia–Falset maps.

Lemma 1.

[7] Let W be a nonempty subset of a Banach space and let $T:W\to W$ satisfies $\left(C\right)$-condition. Subsequently, T satisfies $\left(E\right)$-condition with $\mu =3$.

Lemma 2.

[7] Let W be a nonempty subset of a Banach space and let $T:W\to W$ satisfies $\left(E\right)$-condition. Subsequently, for all $g\in Fix\left(T\right)$ and $w\in W$, we have $\parallel Tg-Tw\parallel \le \parallel g-w\parallel$.

Lemma 3.

[7] Let T be a selfmap on a subset W of a Banach space having Opial property. Let T satisfy the $\left(E\right)$-condition. If $\left\{w_k\right\}$ is weakly convergent to g and ${lim}_{k\to \infty }\parallel w_k-T{w}_k\parallel =0$, then $g\in Fix\left(T\right)$.

The following characterization is due to Schu [20].

Lemma 4.

Let U be a uniformly convex Banach space, $0<a\le g_k\le b<1$ for every natural number $k\ge 1$ and $\eta \ge 0$ be some real constant. If $\left\{q_k\right\}$ and $\left\{p_k\right\}$ are any two sequences in U, such that ${lim\; sup}_{k\to \infty }\parallel q_k\parallel \le \eta$, ${lim\; sup}_{k\to \infty }\parallel p_k\parallel \le \eta$ and ${lim}_{k\to \infty }\parallel g_k{q}_k+(1-g_k)p_k\parallel =\eta$, then ${lim}_{k\to \infty }\parallel q_k-p_k\parallel =0$.

3. Convergence Results in Banach Spaces

This section contains some weak and strong convergence results of the iterative process (2) for operators satisfying $\left(E\right)$-condition. Throughout the section, U will stand for uniformly convex Banach space.

Lemma 5.

Let W be a nonempty convex closed subset of U and $T:W\to W$ be a map satisfying $\left(E\right)$-condition with $Fix\left(T\right)\ne \varnothing$. If $\left\{w_k\right\}$ is generated by (2), then ${lim}_{k\to \infty }\parallel w_k-g\parallel$ exists for every $g\in Fix\left(T\right)$.

Proof. 

Let $g\in Fix\left(T\right)$. By Lemma 2, we have

$$\begin{array}{ccc}\hfill \parallel z_k-g\parallel & =& \parallel (1-c_k)w_k+c_{k}T{w}_k-g\parallel \hfill \\ & \le & (1-c_k)\parallel w_k-g\parallel +c_k\parallel T{w}_k-g\parallel \hfill \\ & \le & (1-c_k)\parallel w_k-g\parallel +c_k\parallel w_k-g\parallel \hfill \\ & \le & \parallel w_k-g\parallel ,\hfill \end{array}$$

and

$$\begin{array}{ccc}\hfill \parallel y_k-g\parallel & =& \parallel (1-b_k)z_k+b_{k}T{z}_k-g\parallel \hfill \\ & \le & (1-b_k)\parallel z_k-g\parallel +b_k\parallel T{z}_k-g\parallel \hfill \\ & \le & (1-b_k)\parallel z_k-g\parallel +b_k\parallel z_k-g\parallel \hfill \\ & \le & \parallel z_k-g\parallel .\hfill \end{array}$$

While using the above inequilities, we have

$$\begin{array}{ccc}\hfill \parallel w_{k+1}-g\parallel & =& \parallel (1-a_k)T{w}_k+a_{k}T{y}_k-g\parallel \hfill \\ & \le & (1-a_k)\parallel T{w}_k-g\parallel +a_k\parallel T{y}_k-g\parallel \hfill \\ & \le & (1-a_k)\parallel w_k-g\parallel +a_k\parallel y_k-g\parallel \hfill \\ & \le & (1-a_k)\parallel w_k-g\parallel +a_k\parallel z_k-g\parallel \hfill \\ & \le & \parallel w_k-g\parallel .\hfill \end{array}$$

Thus, $\{\parallel w_k-g\parallel \}$ is bounded and non-increasing, which implies that ${lim}_{k\to \infty }\parallel w_k-g\parallel$ exists for each $g\in Fix\left(T\right)$. □

Now, we establish the following result which will be used throughout in the upcoming theorems.

Theorem 1.

Let W be a nonempty closed convex subset of U and let $T:W\to W$ be a map satisfying $\left(E\right)$-condition. Let $\left\{w_k\right\}$ be the sequence defined by (2). Subsequently, $Fix\left(T\right)\ne \varnothing$ if and only if $\left\{w_k\right\}$ is bounded and ${lim}_{k\to \infty }\parallel T{w}_k-w_k\parallel =0$.

Proof. 

Let $\left\{w_k\right\}$ be bounded and ${lim}_{k\to \infty }\parallel T{w}_k-w_k\parallel =0$. Let $g\in A(W,\left\{w_k\right\})$. We shall prove that $Tg=g$. Since T satisfies $\left(E\right)$-condition, we have

$$\begin{array}{ccc}\hfill r(Tg,\left\{w_k\right\})& =& \underset{k\to \infty }{lim\; sup}\parallel w_k-Tg\parallel \le \mu \underset{k\to \infty }{lim\; sup}\parallel T{w}_k-w_k\parallel +\underset{k\to \infty }{lim\; sup}\parallel w_k-g\parallel \hfill \\ & =& \underset{k\to \infty }{lim\; sup}\parallel w_k-g\parallel =r(g,\left\{w_k\right\}).\hfill \end{array}$$

It follows that $Tg\in A(W,\left\{w_k\right\})$. Since $A(W,\left\{w_k\right\})$ is singleton set, we have $Tg=g$. Hence, $Fix\left(T\right)\ne \varnothing$.

Conversely, we assume that $Fix\left(T\right)\ne \varnothing$ and $g\in Fix\left(T\right)$. We shall prove that $\left\{w_k\right\}$ is bounded and ${lim}_{k\to \infty }\parallel w_k-T{w}_k\parallel =0$. By Lemma 5, ${lim}_{k\to \infty }\parallel w_k-g\parallel$ exists and $\left\{w_k\right\}$ is bounded. Put

$$\underset{k\to \infty }{lim}\parallel w_k-g\parallel =\eta .$$

(3)

From the proof of Lemma 5, it follows that

$$\parallel z_k-g\parallel \le \parallel w_k-g\parallel$$

$$\Rightarrow \underset{k\to \infty }{lim\; sup}\parallel z_k-g\parallel \le \underset{k\to \infty }{lim\; sup}\parallel w_k-g\parallel =\eta .$$

(4)

By Lemma 2, we have

$$\underset{k\to \infty }{lim\; sup}\parallel T{w}_k-g\parallel \le \underset{k\to \infty }{lim\; sup}\parallel w_k-g\parallel =\eta .$$

(5)

Again, from the proof of Lemma 5,

$$\parallel w_{k+1}-g\parallel \le (1-a_k)\parallel w_k-g\parallel +a_k\parallel z_k-g\parallel .$$

It follows that

$$\parallel w_{k+1}-g\parallel -\parallel w_k-g\parallel \le \frac{\parallel w_{k+1}-g\parallel -\parallel w_k-g\parallel }{a_k}\le \parallel z_k-w\parallel -\parallel w_k-g\parallel .$$

Accordingly, we can get $\parallel w_{k+1}-g\parallel \le \parallel z_k-g\parallel$.

$$\Rightarrow \eta \le \underset{k\to \infty }{lim\; inf}\parallel z_k-g\parallel .$$

(6)

From (4) and (6), we get

$$\eta =\underset{k\to \infty }{lim}\parallel z_k-g\parallel .$$

(7)

From (7), we have

$$\begin{array}{ccc}\hfill \eta & =& \underset{k\to \infty }{lim}\parallel z_k-g\parallel =\underset{k\to \infty }{lim}\parallel (1-c_k)(w_k-g)+c_k(T{w}_k-g)\parallel .\hfill \end{array}$$

Applying Lemma 4, we obtain

$$\underset{k\to \infty }{lim}\parallel T{w}_k-w_k\parallel =0.$$

 □

Using compactness of the domain W, we establish the following strong convergence of $\left\{w_k\right\}$ generated by (2) for maps satisfying $\left(E\right)$-condition.

Theorem 2.

Let W be a nonempty convex compact subset of U and let T and $\left\{w_k\right\}$ be as in Theorem 1 and $Fix\left(T\right)\ne \varnothing$. Subsequently, $\left\{w_k\right\}$ converges strongly to a fixed point of T.

Proof. 

By compactness of W we can construct a subsequence $\left\{w_{k_l}\right\}$ of $\left\{w_k\right\}$ such that ${lim}_{k\to \infty }\parallel w_{k_l}-u\parallel =0$, for some $u\in W$. Because the map T satisfies $\left(E\right)$-condition, one can find some real constant $\mu \ge 1$, such that

$$\parallel w_{k_l}-Tu\parallel \le \mu \parallel w_{k_l}-T{w}_{k_l}\parallel +\parallel w_{k_l}-u\parallel .$$

(8)

In the view of Theorem 1, ${lim}_{k\to \infty }\parallel w_{k_l}-T{w}_{k_l}\parallel =0$. Now, using ${lim}_{k\to \infty }\parallel w_{k_l}-T{w}_{k_l}\parallel =0$ and ${lim}_{k\to \infty }\parallel w_{k_l}-u\parallel =0$, we have from (8), ${lim}_{k\to \infty }\parallel w_{k_l}-Tu\parallel =0$. Now, the uniqueness of limits in Banach space follows that $Tu=u$. Hence, u is the fixed point of T. By Lemma 5, ${lim}_{n\to \infty }\parallel w_k-u\parallel$ exists. Hence, u is the strong limit of $\left\{w_k\right\}$. □

Theorem 3.

Let W be a nonempty closed convex subset of U and let T and $\left\{w_k\right\}$ be as in Theorem 1. If $Fix\left(T\right)\ne \varnothing$ and ${lim\; inf}_{k\to \infty }dist(w_k,Fix\left(T\right))=0$. Subsequently, $\left\{w_k\right\}$ converges strongly to a fixed point of T.

Proof. 

The proof is elementary and, hence, omitted. □

The next theorem requires condition I of Sentor and Dotson [21]. The detail definition is given below.

Definition 1.

[21] Let W be a nonempty subset of U. A selfmap T of W is said to satisfy condition I if there is a nondecreasing function ξ with the properties $\xi \left(a\right)=0$ if and only if $a=0$, $\xi \left(a\right)>0$ for every $a\in (0,\infty )$ and $\parallel w-Tw\parallel \ge \xi \left(dist\right(w,Fix\left(T\right)\left)\right)$ for each $w\in W$.

Theorem 4.

Let W be a nonempty closed convex subset of U and let T and $\left\{w_k\right\}$ be as in Theorem 1 and $Fix\left(T\right)\ne \varnothing$. If T satisfies condition I, then $\left\{w_k\right\}$ converges strongly to a fixed point of T.

Proof. 

From Theorem 1, it follows that

$$\underset{k\to \infty }{lim\; inf}\parallel T{w}_k-w_k\parallel =0.$$

(9)

From the definition of condition I, we have

$$\parallel w_k-T{w}_k\parallel \ge \xi \left(\mathrm{dist}(w_k,Fix\left(T\right))\right).$$

From (9), we get

$$\underset{k\to \infty }{lim\; inf}\xi \left(\mathrm{dist}(w_k,Fix\left(T\right))\right)=0.$$

The function $\xi :[0,\infty )\to [0,\infty )$ is non-decreasing and satisfy $\xi \left(0\right)=0$, $\xi \left(a\right)>0$ for every $a>0$. Hence

$$\underset{k\to \infty }{lim\; inf}\mathrm{dist}(w_k,Fix\left(T\right))=0.$$

By Theorem 3, we conclude that T converges to some fixed point of T. □

Using Opial’s property, we obtain the weak convergence of $\left\{w_k\right\}$ for maps with $\left(E\right)$-condition.

Theorem 5.

Let W a nonempty closed convex subset of U having Opial property and let T and $\left\{w_k\right\}$ be as in Theorem 1 and $Fix\left(T\right)\ne \varnothing$. Subsequently, $\left\{w_k\right\}$ converges weakly to a fixed point of T.

Proof. 

By Theorem 1, the sequence $\left\{w_k\right\}$ is bounded and ${lim}_{k\to \infty }\parallel T{w}_k-w_k\parallel =0$. U is reflexive because U is uniform convex. Now, by reflexivity of U, we can construct a weakly convergent subsequence $\left\{w_{k_s}\right\}$ of $\left\{w_k\right\}$ with some weak limit $u_1\in W$. By Lemma 3, we conclude that $u_1\in Fix\left(T\right)$. We claim that $\left\{w_k\right\}$ converges weakly to $u_1$. Assume that $u_1$ is not the weak limit of $\left\{w_k\right\}$. Accordingly, we choose another weakly convergent subsequence $\left\{w_{k_t}\right\}$ of $\left\{w_k\right\}$ with some weak limit $u_2\in W$ and assume that $u_2\ne u_1$. Again, by Lemma 3, $u_2\in Fix\left(T\right)$. Using Lemma 5 and Opial condition, we have

$$\begin{array}{ccc}\hfill \underset{k\to \infty }{lim}\parallel w_k-u_1\parallel & =& \underset{s\to \infty }{lim}\parallel w_{k_s}-u_1\parallel <\underset{s\to \infty }{lim}\parallel w_{k_s}-u_2\parallel \hfill \\ & =& \underset{k\to \infty }{lim}\parallel w_k-u_2\parallel =\underset{t\to \infty }{lim}\parallel w_{k_t}-u_2\parallel \hfill \\ & <& \underset{t\to \infty }{lim}\parallel w_{k_t}-w_1\parallel =\underset{k\to \infty }{lim}\parallel w_k-u_1\parallel .\hfill \end{array}$$

This is a contradiction. Hence $u_1$ is the weak limit of $\left\{w_k\right\}$ and fixed point of T. □

4. Numerical Example and Rate of Convergence

Example 1.

Define a selfmap T on $W=[0,1]$ as follows:

$$Tw=\left\{\begin{array}{c}0ifw\in W_1=\left[0,\frac{1}{500}\right)\hfill \\ \frac{4w}{5}ifw\in W_2=\left[\frac{1}{500},1\right)\hfill \end{array}\right.$$

First, we are going to show that T belongs to the class of Garcia–Falset maps, that is, we shall show that $|w-T{w}^{\prime }|\le \mu |w-Tw|+|w-w^{\prime }|$ for each pair of elements $w,w^{\prime }\in W$ and some real constant $\mu \ge 1$. Fix $\mu =5$ and consider the following cases.

(i):For $w,w^{\prime }\in W_1$, we have

$$\begin{array}{ccc}\hfill |w-T{w}^{\prime }|& =& \left|w\right|\le 5\left|w\right|\hfill \\ & =& 5|w-Tw|\hfill \\ & \le & 5|w-Tw|+|w-w^{\prime }|.\hfill \end{array}$$

(ii):For $w,w^{\prime }\in W_2$, we have

$$\begin{array}{ccc}\hfill |w-T{w}^{\prime }|& \le & |w-Tw|+|Tw-T{w}^{\prime }|\hfill \\ & =& |w-Tw|+|\frac{4w}{5}-\frac{4w^{\prime }}{5}|\hfill \\ & =& |w-Tw|+\frac{4}{5}|w-w^{\prime }|\hfill \\ & \le & |w-Tw|+|w-w^{\prime }|\hfill \\ & \le & 5|w-Tw|+|w-w^{\prime }|.\hfill \end{array}$$

(iii):For $w\in W_2$ and $w^{\prime }\in W_1$, we have

$$\begin{array}{ccc}\hfill |w-T{w}^{\prime }|& =& \left|w\right|=5|\frac{w}{5}|\hfill \\ & =& 5|w-Tw|\hfill \\ & \le & 5|w-Tw|+|w-w^{\prime }|.\hfill \end{array}$$

From the above cases, one can conclude that T belongs to the class of Garcia–Falset maps. Next, we show that T does not belong to the class of Suzuki maps. We select $w=\frac{1}{800}$ and $w^{\prime }=\frac{1}{500}$. Susbequently, $\frac{1}{2}|w-Tw|=\frac{1}{2}\left|w\right|=\frac{1}{1600}<\frac{3}{4000}=|w-w^{\prime }|$, but $|Tw-T{w}^{\prime }|=|\frac{4w^{\prime }}{5}|=\frac{1}{625}>\frac{3}{4000}=|w-w^{\prime }|$. For all $k\ge 1$, let $a_k=0.70$ and $b_k=0.65$ and $c_k=0.45$.

Table 1. Strong convergence of three-step iterative processes while using T given in Example 1.

	Three-Step Thakur	Three-Step Abbas	Three-Step Noor
$w_1$	0.5	0.5	0.5
$w_2$	0.329178000000000	0.354592000000000	0.354888000000000
$w_3$	0.216716311368000	0.251470972928000	0.251890985088000
$w_4$	0.142676483886991	0.178339190464970	0.178786175831820
$w_5$	0.093931919225903	0.126475300450709	0.126898136737206
$w_6$	0.061840642613889	0.089694259474836	0.090069251900787
$w_7$	0.040713158108709	0.063609733711402	0.063928993337133
$w_8$	0.026803751919817	0.045111005392387	0.045375265174857
$w_9$	0.017646410898923	0.031992003248194	0.032206274214749
$w_{10}$	0.011617620493771	0.022688216831560	0.022859240487047
$w_{11}$	0.007648530157797	0.016090120365478	0.016224940275934
$w_{12}$	0.005035455720566	0.011410855921271	0.011516073209292
$w_{13}$	0.003315122486369	0.008092396445671	0.008173832378198
$w_{14}$	0.002182530779636	0.005738998080926	0.005801590050068
$w_{15}$	0.000261903693556	0.004070005615023	0.004117829379377
$w_{16}$	0	0.002886382862085	0.002922736465576
$w_{17}$	0	0.002046976543664	0.002074488197591
$w_{18}$	0	0	0.000311173229638

shows that three-step Thakur iteration process [14] converges faster to the fixed point $g=0$ as compared three-step Abbas [13] and three-step Noor [12] iterative processes.

In Example 1, we set different values for parameters $a_k$, $b_k$ and $c_k$ and set stopping criterion $\parallel w_k-w^{*}\parallel <{10}^{-15}$, where the element $w^{*}=0$ is a unique fixed point of T. The influence of initial guess and parameter for the three-step Thakur [14], three-step Abbas [13], and three-step Noor [12] iterative processes can be seen in the

Table 2. When $a_k=\frac{k}{k+1}$, $b_k=\frac{k}{k+7}$ and $c_k={\left(\frac{1}{3k+4}\right)}^{\frac{1}{2}}$.

Number of Iterates Required to Reach Fixed Point.
Initial Points	Three-Step Noor	Three-Step Abbas	Three-Step Thakur
0.10	23	15	13
0.25	26	18	16
0.50	27	21	17
0.75	28	22	18
0.95	29	23	19

,

Table 3. When $a_k=\frac{k}{k+3}$, $b_k=\frac{k}{\sqrt{k+7}}$ and $c_k=\frac{2k}{5k+2}$.

Number of Iterates Required to Reach Fixed Point.
Initial Points	Three-Step Noor	Three-Step Abbas	Three-Step Thakur
0.10	18	11	10
0.25	19	14	11
0.50	20	16	12
0.75	20	17	13
0.95	20	17	13

and

Table 4. When $a_k=1-\left(\frac{1}{k+7}\right)$, $b_k={\left(\frac{k}{7k+25}\right)}^{\frac{1}{7}}$ and $c_k=\frac{k}{k+25}$.

Number of Iterates Required to Reach Fixed Point.
Initial Points	Three-Step Noor	Three-Step Abbas	Three-Step Thakur
0.10	24	15	13
0.25	25	18	16
0.50	25	20	17
0.75	25	21	18
0.95	25	22	19

.

5. Application

In this section, we are interested in finding of the solution of a split feasibility problem (in short SFP) by using the three-step iterative method (2). To do this, we assume that $U_1$ and $U_2$ are any two real Hilbert spaces, $\varnothing \ne C\subseteq U_1$ and $\varnothing \ne Q\subseteq U_2$ be convex and closed. Assume that $L:U_1\to U_2$ be a linear and bounded. Subsequently, the SFP mathematically described as finding an element $w\in C$, such that

$$w\in C,Lw\in Q.$$

(10)

Next we assume that the solution set $\Omega$ associated with the SFP (10) is nonempty and let

$$\Omega =\{w\in C:Lw\in Q\}=C\cap L^{-1}Q.$$

We see that the set $\Omega$ is nonempty convex as well as closed. Censor and Elfving [22] solved the class of inverse problems with the help of SFP. In the year 2002, Byrne [23] proposed the remarkable $CQ$-algorithm for solving the SFP. If $\gamma \in (0,\frac{2}{{\parallel L\parallel }^2})$, $P_C$ and $P_Q$ represent the projections onto C and Q respectively and $L^{*}:U_2^{*}\to U_1^{*}$ is the adjoint of L, then the sequence $\left\{w_k\right\}$ of $CQ$-algorithm is generated iteratively, as follows:

$$w_{k+1}=P_C[I-\gamma L^{*}(I-P_Q)L]w_k,k\ge 0.$$

(11)

The following facts are in [24].

Lemma 6.

If $T=P_C[I-\gamma L^{*}(I-P_Q)L]$, for $\gamma \in (0,\frac{2}{{\parallel L\parallel }^2})$, then T is non-expansive.

By assumption, the set $\Omega$ that is associated with a SFP is nonempty, one can see that the element $w^{*}\in C$ is the solution of SFP if and only if it solves the following fixed point equation:

$$P_C[I-\gamma L^{*}(I-P_Q)L]w=w,w\in C.$$

Hence, the solution set $\Omega$ coincides with the fixed point set of the operator T, that is, $Fix\left(T\right)=\Omega =C\cap L^{-1}Q\ne \varnothing$. For details, one can refer [25,26].

Now, we present our main results.

Theorem 6.

Let $T=P_C[I-\gamma L^{*}(I-P_Q)L]$ and $\left\{w_k\right\}$ be a sequence defined by the iterative process (2), then $\left\{w_k\right\}$ converges weakly to the some solution of a SFP (10).

Proof. 

By Lemma 6, the operator T is non-expansive. In the view of Lemma 1, T is Garcia–Falset operator. The conclusions follows from Theorem 5. □

Theorem 7.

Let $T=P_C[I-\gamma L^{*}(I-P_Q)L]$ and $\left\{w_k\right\}$ be a sequence defined by the iterative process (2), then $\left\{w_k\right\}$ converges strongly to the solution of SFP (10), provided that ${lim\; inf}_{k\to \infty }d(w_k,\Omega )=0$.

Proof. 

Proof follows from Theorem 3. □

6. Conclusions

The three-step Thakur [14] iterative process converges faster than three-step Abbas [13] and three-step Noor [12] iterative process, respectively, for the example under consideration as shown in the Table 1, Table 2 and Table 3. The class of Garcia-Falset maps is wider than the class of Suzuki maps, as shown in the Example 1. Hence, our results update the results of Maniu [15] from the setting of Suzuki maps to the general setting of Garcia-Falset maps. We have also applied our results for finding solutions of split feasibility problems. Because our iterative process converges faster than Abbas and Noor iterations and the class of Garcia–Falset maps is more general than the class of non-expansive and Suzuki maps, so our results improve and extend the corresponding results in [6,7,12,13,14,15].