- Research
- Open Access
- Published:

# Multidirectional hybrid algorithm for the split common fixed point problem and application to the split common null point problem

*SpringerPlus*
**volume 5**, Article number: 2009 (2016)

## Abstract

In this article, a new multidirectional monotone hybrid iteration algorithm for finding a solution to the split common fixed point problem is presented for two countable families of quasi-nonexpansive mappings in Banach spaces. Strong convergence theorems are proved. The application of the result is to consider the split common null point problem of maximal monotone operators in Banach spaces. Strong convergence theorems for finding a solution of the split common null point problem are derived. This iteration algorithm can accelerate the convergence speed of iterative sequence. The results of this paper improve and extend the recent results of Takahashi and Yao (Fixed Point Theory Appl 2015:87, 2015) and many others .

## Introduction and preliminaries

Let \(H_1\) and \(H_2\) be two real Hilbert spaces, let \(D\subset H_1\) and \(Q\subset H_2\) be nonempty closed, and convex subsets, let \(A : H_1\rightarrow H_2\) be a bounded linear operator. Then the split feasibility problem (Censor and Elfving 1994) is to find \(z \in H_1\) such that \(z \in D \cap A^{-1}Q\). Defining \(U = A^*(I-P_Q)A\) in the split feasibility problem, we see that \(U : H_1\rightarrow H_1\) is an inverse strongly monotone operator (Alsulami and Takahashi 2014), where \(A^*\) is the adjoint operator of *A* and \(P_Q\) is the metric projection of \(H_2\) onto *Q*. Furthermore, if \(D\cap A^{-1}Q\) is nonempty, then

where \(\lambda > 0\) and \(P_D\) is the metric projection of \(H_1\) onto *D*. Using such results regarding nonlinear operators and fixed points, many authors have studied the split feasibility problem in Hilbert spaces; see, for instance, Alsulami and Takahashi (2014), Byrne et al. (2012), Censor and Segal (2009), Moudafi (2010), Takahashi et al. (2015). Recently, Takahashi (2014) and Takahashi (2015) extended an equivalent relation as in (1) in Hilbert spaces to Banach spaces and then obtained strong convergence theorems for finding a solution of the split feasibility problem in Banach spaces. Very recently, using the hybrid method by Nakajo and Takahashi (2003) in mathematical programming, Alsulami et al. (2015) proved strong convergence theorems for finding a solution of the split feasibility problem in Banach spaces; see also Ohsawa and Takahashi (2003), Solodov and Svaiter (2000). Takahashi (2015) also obtained a result for finding a solution of the split feasibility problem in Banach space from the idea of the shrinking projection method by Takahashi et al. (2008). Takahashi and Yao (2015) presented the following hybrid iteration algorithm in a Hilbert space *H*: for \(x_1 \in H\),

They proved the following strong convergence theorem:

###
**Theorem TY**

*Let *
*H*
*be a Hilbert space and let*
*F*
*be a uniformly convex and smooth Banach space. Let*
\(J_F\)
*be the duality mapping on*
*F*. *Let*
*A*
*and*
*B*
*be maximal monotone operators of*
*H*
*into*
\(2^H\)
*and*
*F*
*into*
\(2^{F^*}\). *such that*
\(A^{-1}0 \ne \emptyset\)
*and*
\(B^{-1}0\ne \emptyset\), *respectively. Let*
\(J_\lambda\)
*be the resolvent of*
*A*
*for*
\(\lambda >0\)
*and let*
\(Q_\mu\)
*be the metric resolvent of*
*B*
*for*
\(\mu >0\). *Let*
\(T : H \rightarrow F\)
*be a bounded linear operator such that*
\(T\ne 0\)
*and let*
\(T^*\)
*be the adjoint operator of*
*T*. *Suppose that*
\(A^{-1}0\cap T^{-1}(B^{-1})0 \ne \emptyset\). *Let*
\(x_1 \in H\)
*and let*
\(\{x_n\}\)
*be a sequence generated by (TY), where*
\(\{\alpha _n\subset [0,1]\}\)
*and*
\(\{\lambda _n\}, \{\mu _n\}\)
*satisfy the condition such that*

*for some*
\(a,b,c \in R\). *Then*
\(\{x_n\}\)
*converges strongly to a point*
\(z_0=P_{A^{-1}0\cap T^{-1}(B^{-1}0)}x_1\).

In this article, a new multidirectional monotone hybrid iteration algorithm for finding a solution to the split common fixed point problem is presented for two countable families of quasi-nonexpansive mappings in Banach spaces. Strong convergence theorems are proved. The application of the result is to consider the split common null point problem of maximal monotone operators in Banach spaces. Strong convergence theorems for finding a solution of the split common null point problem are derived. This iteration algorithm can accelerate the convergence speed of iterative sequence.

Let *E* be a real Banach space with norm \(\parallel \cdot \parallel\) and let \(E^*\) be the dual space of *E*. We denote the value of \(y^* \in E^*\) at \(x\in E\) by \(\langle x,y^*\rangle\). A Banach space *E* is uniformly convex if for any two sequences \(\{x_n\}\) and \(\{y_n\}\) in *E* such that

\(\lim _{n\rightarrow \infty }\Vert x_n -y_n\Vert =0\) holds. A uniformly convex Banach space is reflexive.

The duality mapping *J* from *E* into \(2^{E^*}\) is defined by

for every \(x\in E\). Let \(U=\{x\in E : \parallel x\parallel =1\}\). The norm of *E* is said to be Gateaux differentiable if for each \(x,y\in U\), the limit

exists. In the case, *E* is called smooth. We know that *E* is smooth if and only if *J* is a single- valued mapping of *E* into \(E^*\). We also know that *E* is reflexive if and only if *J* is surjective, and *E* is strictly convex if and only if *J* is one-to-one. Therefore, if *E* is a smooth, strictly convex and reflexive Banach space, then *J* is a single-valued bijection and in this case, the inverse mapping \(J^{-1}\) coincides with the duality mapping \(J_*\) on \(E^*\). For more details, see Takahashi (2009) and Takahashi (2000).

Let *C* be a nonempty, closed and convex subset of a strictly convex and reflexive Banach space *E*. Then we know that for any \(x\in E\), there exists a unique element \(z\in C\) such that \(\parallel x-z\parallel \le \parallel x-y \parallel\) for all \(y\in C\). Putting \(z=P_Cx\), we call \(P_C\) the metric projection of *E* onto *C*.

###
**Definition 1**

Let *E* be a metric space, let \(T: D(T)\rightarrow R(T)\) be a mapping with the domain *D*(*T*) and the range *R*(*T*). The mapping *T* is said to be quasi-nonexpansive if

where *F*(*T*) is the nonempty fixed point set of *T*.

###
**Definition 2**

Let *E* be a smooth Banach space, let \(S: D(T)\rightarrow R(T)\) be a mapping with the domain *D*(*T*) and the range *R*(*T*). The mapping *S* is said to be second-type quasi-nonexpansive, if

where *F*(*S*) is the nonempty fixed point set of *T*.

###
**Definition 3**

Let *E*, *F* be two normed spaces and *T* be a linear operator from *E* into *F*. The adjoint operator \(T^*: F^*\rightarrow E^*\) of *T* is defined by

where \(E^*\) and \(F^*\) are the adjoint spaces of *E* and *F*, respectively.

The adjoint spaces and adjoint operators are very important in the theory of functional analysis and applications. Not only is it an important theoretical subject but it is also a very useful tool in the functional analysis and topological theory.

###
**Definition 4**

Let *E* be a Banach space, let *C* be a nonempty, closed, and convex subset of *E*. Let \(\{T_n\}\) be sequence of mappings from *C* into itself with nonempty common fixed point set \(F=\cap _{n=1}^{\infty }F(T_n)\). The \(\{T_n\}\) is said to be uniformly closed if for any convergent sequence \(\{z_n\} \subset C\) such that \(\Vert T_nz_n-z_n\Vert \rightarrow 0\) as \(n\rightarrow \infty\), the limit of \(\{z_n\}\) belong to *F*.

## Main results

###
**Lemma 5**

*Let *
*H*
*be a Hilbert space, let*
*C*
*be a closed convex subset of*
*H*, *and let*
\(\{T_n\}\)
*be a uniformly closed family of countable quasi-nonexpansive mappings from*
*C*
*into itself. Then the common fixed point set*
*F*
*is closed and convex.*

###
*Proof*

Let \(p_n \in F\) and \(p_n\rightarrow p\) as \(n\rightarrow \infty\), we have

as \(n\rightarrow \infty\). Since \(\{T_n\}\) is uniformly closed, we know that \(p \in F\), therefore *F* is closed. Next we show that *F* is also convex. For any \(x,y \in F\), let \(z=tx+(1-t)y\) for any \(t \in (0,1)\), we have

for all *n*. This implies \(z \in F\), therefore *F* is convex. This completes the proof. \(\square\)

###
**Lemma 6**

*Let*
*E*
*be a smooth Banach space, let*
*C*
*be a closed convex subset of*
*E*, *and let*
\(\{S_n\}\)
*be a uniformly closed family of countable second-type quasi-nonexpansive mappings from*
*C*
*into itself. Then the common fixed point set*
*F*
*is closed and convex.*

###
*Proof*

Let \(p_n \in F\) and \(p_n\rightarrow p\) as \(n\rightarrow \infty\), we have

as \(n\rightarrow \infty\). Since \(\{T_n\}\) is uniformly closed, we know that \(p \in F\), therefore *F* is closed. Next we show that *F* is also convex. For any \(x,y \in F\), let \(z=tx+(1-t)y\) for any \(t \in (0,1)\), we have

From the two inequalities given above, we have that

which implies

Therefore \(\Vert S_nz-z\Vert ^2\le 0\), that is \(\Vert S_nz-z\Vert ^2= 0\), so that \(z\in F.\) Therefore *F* is convex. This completes the proof. \(\square\)

###
**Lemma 7**

(Alber 1996) *Let *
*H*
*be a Hilbert space, let*
*C*
*be a nonempty closed convex subset of*
*H*
*and let*
\(x \in E.\)
*Then*

Next, we present a new hybrid algorithm so-called the multidirectional hybrid algorithm for finding the common fixed point of a uniformly closed family of countable quasi-nonexpansive mappings and a uniformly closed family of countable second-type quasi-nonexpansive mappings.

###
**Theorem 8**

*Let*
*H*
*be a Hilbert space and let*
*E*
*be a uniformly convex and smooth Banach space. Let*
*J*
*be the duality mapping on*
*E*. *Let*
\(\{T_n\}: H\rightarrow H\)
*be a uniformly closed family of countable quasi-nonexpansive mappings with the nonempty common fixed point set*
\(\cap _{n=1}^{\infty }F(T_n)\)
*and*
\(\{S_n\}: E\rightarrow E\)
*be a uniformly closed family of countable second-type quasi-nonexpansive mappings with the nonempty common fixed point sets*
\(\cap _{n=1}^{\infty }F(S_n)\). *Suppose that*
\(F=(\cap _{n=1}^{\infty }F(T_n))\cap (T^{-1}(\cap _{n=1}^{\infty }F(S_n)))\ne \emptyset\). *Let*
\(T : H \rightarrow E\)
*be a bounded linear operator such that*
\(T\ne 0\)
*and let*
\(T^*\)
*be the adjoint operator of*
*T*. *Let*
\(x_{1,i}\in H, i=1,2,3, \ldots ,N\)
*and let*
\(\{x_n\}\)
*and*
\(\{z_n\}\)
*be two sequences generated by*

*where*
\(\{r_n\}\)
*satisfy the condition such that*

*for some constants*
*a*, *b*
*and*
\(\lambda \in [0,1]\)
*is a constant. Then the following conclusions hold:*

(1) \(\{x_n\}\) and \(\{z_n\}\)
*converge strongly to a point*
\(w \in F\);

(2) *the limits*
\(\lim _{n\rightarrow \infty }P_{C_n}x_{1,i}=P_{F}x_{1,i}, \ i=1,2,3, \ldots ,N\);

(3) \(w=\sum _{i=1}^{N}\lambda _i \lim _{n\rightarrow \infty } P_{C_n}x_{1,i}\).

###
*Proof*

It is not hard to see that, \(C_n\) is closed and convex for all \(n\ge 0\). Let us show that, \(F\subset C_n\) for all \(n\ge 0\). For any \(z \in F\), we have

So, \(z\in C_n\) , which implies that \(F\subset C_n\) for all \(n\ge 0\).

Let \(u_{n+1,i}=P_{C_n}x_{1,i}\) for all \(n\ge 1, \ i=1,2,3, \ldots ,N\). Since *F* is nonempty, closed, and convex, there exist \(p_{1,i}=P_{F}x_{1,i}\) such that

This means that \(\{u_{n,i}\}\) is bounded for all \(i=1,2,3, \ldots ,N\).

From \(u_{n+1,i}=P_{C_n}x_{1,i}\) and \(C_{n}\subset C_{n-1}\), we have that

for all \(n\in N\). This implies that \(\{\Vert u_{n,i}-x_1\Vert \}\) is bounded and nondecreasing for all \(i=1,2,3, \ldots ,N\). Then there exist the limits of \(\{\Vert u_{n,i}-x_{1,i}\Vert : i=1,2,3, \ldots ,N\}\). Put

On the other hand, \(u_{n+m,i}\in C_{n-1},\ i=1,2,3, \ldots ,N\), by using Lemma 7, we have, for any positive integer *m*, that

So that \(\{u_{n,i}\}\) is Cauchy sequences in *C* for all \(i=1,2,3, \ldots ,N\), therefore there exit two points \(p_i\in C\) such that

That is

Therefore

Since \(x_{n+1} \in C_n\), we have

which implies

From (2), we have, for any \(z\in F\), that

as \(n\rightarrow \infty\). This implies

Since

and the sequence \(\{S_{n}\}\) is uniformly closed, so that

That is

On the other hand, from

we have

This together with (3) implies that

Since

and the sequence \(\{T_n\}\) is uniformly closed, so that

From above two hands, we have \(\sum _{i=1}^{N} \lambda _i p_i\in F\).

Finally, we prove \(p_i=P_{F}x_{1,i}, \ i=1,2,3, \ldots ,N\). From Lemma 7, we have

On the other hand, since \(x_{n+1,i}= P_{C_n}x_{1,i}\) and \(F \subset C_n\), for all *n*. Also from Lemma 7, we have

Since

Combining (4), (5) and (6), we know that \(\Vert p_i-x_{1,i}\Vert =\Vert P_{F}x_{1,i}- x_{1,i}\Vert\). Therefore, it follows from the uniqueness of \(P_{F}x_{1,i}\) that \(p_i= P_{F}x_{1,i}\). This completes the proof. \(\square\)

By using Theorem 8 and setting \(N = 1\), we can get the following result.

###
**Theorem 9**

*Let*
*H*
*be a Hilbert space and let*
*E*
*be a uniformly convex and smooth Banach space. Let*
*J*
*be the duality mapping on*
*E*. *Let*
\(\{T_n\}: H\rightarrow H\)
*be a uniformly closed family of countable quasi-nonexpansive mappings with the nonempty common fixed point set*
\(\cap _{n=1}^{\infty }F(T_n)\)
*and*
\(\{S_n\}: E\rightarrow E\)
*be a uniformly closed family of countable second-type quasi-nonexpansive mappings with the nonempty common fixed point sets*
\(\cap _{n=1}^{\infty }F(S_n)\). *Suppose that*
\(F=(\cap _{n=1}^{\infty }F(T_n))\cap (T^{-1}(\cap _{n=1}^{\infty }F(S_n)))\ne \emptyset\). *Let*
\(T : H \rightarrow E\)
*be a bounded linear operator such that*
\(T\ne 0\)
*and let*
\(T^*\)
*be the adjoint operator of*
*T*. *Let*
\(x_1\in H\)
*and let*
\(\{x_n\}\)
*be a sequence generated by*

*where*
\(\{r_n\}\)
*satisfy the condition such that*

*for some constants*
*a*, *b*. *Then*
\(\{x_n\}\)
*converges strongly to a point*
\(z_0=P_{F}x_1\).

## Application for common null point problem

Let *E* be a Banach space, let *A* be a multi-valued operator from *E* to \(E^*\) with domain \(D(A)=\{z\in E: Az\ne \emptyset \}\) and range \(R(A)=\{z\in E: z\in D(A)\}\). An operator A is said to be monotone if

for each \(x_1, x_2 \in D(A)\) and \(y_1\in Ax_1, y_2\in Ax_2\). A monotone operator A is said to be maximal if it’s graph \(G(A)=\{(x, y) : y \in Ax\}\) is not properly contained in the graph of any other monotone operator. We know that if *A* is a maximal monotone operator, then \(A^{-1}0\) is closed and convex. The following result is also well-known.

###
**Theorem 10**

(Rockafellar 1970). *Let*
*E*
*be a reflexive, strictly convex and smooth Banach space and let*
*A*
*be a monotone operator from*
*E*
*to*
\(E^{*}\). *Then*
*A*
*is maximal if and only if*
\(R(J + rA)=E^*\). *for all*
\(r>0\).

Let *E* be a reflexive, strictly convex and smooth Banach space, and let *A* be a maximal monotone operator from *E* to \(E^*\). Using Theorem 10 and strict convexity of *E*, we obtain that for every \(r>0\) and \(x\in E\), there exists a unique \(x_r\) such that

Then we can define a single valued mapping \(J_r :E \rightarrow D(A)\) by \(J_r = (J + rA)^{-1}J\) and such a \(J_r\) is called the resolvent of *A*. We know that \(J_r\) is a nonexpansive mapping and \(A^{-1}0=F(J_r)\) for all \(r > 0\), see Takahashi (2000, 2009), Alber (1996).

###
**Lemma 11**

(Aoyama et al. 2009) *Let*
*E*
*be a reflexive, strictly convex and smooth Banach space, and let*
*A*
*be a maximal monotone operator from*
*E*
*to*
\(E^*\). *Then*

*where*
\(J_{r}\)
*is the resolvent of*
*A*.

From Lemma 11, we know that, \(J_r\) is a second-type quasi-nonexpansive mapping, where \(J_r\) is the resolvent of *A* with \(r>0.\)

###
**Definition 12**

Let *E* be a Banach space, let *C* be a nonempty, closed, and convex subset of *E*. Let \(\{T_n\}\) be sequence of mappings from *C* into itself with nonempty common fixed point set \(F=\cap _{n=1}^{\infty }F(T_n)\). The \(\{T_n\}\) is said to be uniformly weak closed if for any weak convergent sequence \(\{z_n\} \subset C\) such that \(\Vert T_nz_n-z_n\Vert \rightarrow 0\) as \(n\rightarrow \infty\), the weak limit of \(\{z_n\}\) belong to *F*.

A uniformly weak closed family of countable quasi-nonexpansive mappings must be a uniformly closed family of countable quasi-nonexpansive mappings.

###
**Theorem 13**

*Let*
\(r_n\ge c >0\), *for some constant*
*c*, *then*
\(\{J^A_{r_n}\}_{n=0}^{\infty }\)
*is a uniformly weak closed family of countable quasi-nonexpansive mappings with the nonempty common fixed point sets*
\(\bigcap _{n=0}^{\infty }F(J^A_{r_n})=A^{-1}0\).

###
*Proof*

It is well-known that, \(\bigcap _{n=0}^{\infty }F(J^A_{r_n})=A^{-1}0 \ne \emptyset\) and \(\{J^A_{r_n}\}_{n=0}^{\infty }\) is a family of countable nonexpansive mappings. Let \(\{z_n\}\subset E\) be a sequence such that \(z_n \rightharpoonup p\) and \(\lim _{n\rightarrow \infty }\Vert z_n-J^A_{r_n}z_n\Vert =0\). Since *J* is uniformly norm-to-norm continuous on bounded sets, we obtain

It follows from

and the monotonicity of *A* that

for all \(w\in D(A)\) and \(w^*\in Aw\). Letting \(n\rightarrow \infty\), we have \(\langle w-p, w^*\rangle \ge 0\) for all \(w\in D(A)\) and \(w^*\in Aw\). Therefore from the maximality of *A*, we obtain \(p\in A^{-1}0\). That is \(p\in \bigcap _{n=0}^{\infty }F(J^A_{r_n})\). This completes the proof. \(\square\)

###
**Theorem 14**

*Let*
*H*
*be a Hilbert space and let*
*F*
*be a uniformly convex and smooth Banach space. Let*
\(J_F\)
*be the duality mapping on*
*F*. *Let*
*A*
*and*
*B*
*be maximal monotone operators of*
*H*
*into*
\(2^H\)
*and*
*F*
*into*
\(2^F\)
*such that*
\(A^{-1}0\ne \emptyset\)
*and*
\(B^{-1}0\ne \emptyset\) , *respectively. Let*
\(J_r\)
*be the resolvent of*
*A*
*for*
\(r>0\)
*and let*
\(Q_\mu\)
*be the metric resolvent of B for*
\(\mu >0\). *Let*
\(T : H \rightarrow F\)
*be a bounded linear operator such that*
\(T\ne 0\)
*and let*
\(T^*\)
*be the adjoint operator of*
*T*. *Suppose that*
\(W=A^{-1}0\cap T^{-1}(B^{-1}0)\ne \emptyset\). *Let*
\(x_1\in H\)
*and let*
\(\{x_n\}\)
*be a sequence generated by*

*where*
\(\{r_n\}\)
*satisfy the condition such that*

*for some constants*
*a*, *b*, *c*. *Then*
\(\{x_n\}\)
*converges strongly to a point*
\(z_0=P_{W}x_1\).

### Proof

Let \(T_n=J_{r_n}, \ S_n=Q_{\mu _n}\) for all \(n\ge 1\), then \(\{T_n\}, \ \{S_n\}\) satisfy the all conditions of Theorem 8, and

By using Theorem 9, we obtain the conclusion of Theorem 14. This completes the proof. \(\square\)

###
**Theorem 15**

*Let*
*H*
*be a Hilbert space and let*
*F*
*be a uniformly convex and smooth Banach space. Let*
\(J_F\)
*be the duality mapping on*
*F*. *Let*
*A*
*and*
*B*
*be maximal monotone operators of*
*H*
*into*
\(2^H\)
*and*
*F*
*into*
\(2^F\)
*such that*
\(A^{-1}0\ne \emptyset\)
*and*
\(B^{-1}0\ne \emptyset\) , *respectively. Let*
\(J_r\)
*be the resolvent of*
*A*
*for*
\(r>0\)
*and let*
\(Q_\mu\)
*be the metric resolvent of B for*
\(\mu >0\). *Let*
\(T : H \rightarrow F\)
*be a bounded linear operator such that*
\(T\ne 0\)
*and let*
\(T^*\)
*be the adjoint operator of*
*T*. *Suppose that*
\(W=A^{-1}0\cap T^{-1}(B^{-1}0)\ne \emptyset\). *Let*
\(x_{1,i}\in H\)
*and let*
\(\{x_n\}\)
*and*
\(\{z_n\}\)
*be two sequences generated by*

*where*
\(\{r_n\}\)
*satisfy the condition such that*

*for some constants*
*a*, *b*
*and*
\(\lambda \in [0,1]\)
*is a constant. Then the following conclusions hold:*

(1) \(\{x_n\}\) and \(\{z_n\}\) converge strongly to a point \(w \in W\);

(2) the limits \(\lim _{n\rightarrow \infty }P_{C_n}x_{1,i}=P_{W}x_{1,i}, \ i=1,2,3, \ldots ,N\);

(3) \(w=\sum _{i=1}^{N}\lambda _i \lim _{n\rightarrow \infty } P_{C_n}x_{1,i}\).

###
*Proof*

Let \(T_n=J_{r_n}, \ S_n=Q_{\mu _n}\) for all \(n\ge 1\), then \(\{T_n\}, \ \{S_n\}\) satisfy the all conditions of Theorem 9, and

By using Theorem 8, we obtain the conclusion of Theorem 15. This completes the proof. \(\square\)

## Examples

It is easy to see that, a uniformly weak closed family \(\{T_n\}\) of countable quasi-nonexpansive mappings must be a uniformly closed family \(\{T_n\}\) of countable quasi-nonexpansive mappings. Next we will give an example which is a uniformly closed family of countable quasi-nonexpansive mappings, but not a uniformly weak closed family of countable quasi-nonexpansive mappings.

###
**Conclusion 16**

*Let*
*H*
*be a Hilbert space,*
\(\{x_n\}_{n=1}^{\infty }\subset H\)
*be a sequence such that it converges weakly to a non-zero element*
\(x_0\)
*and*
\(\Vert x_i-x_j\Vert \ge 1\)
*for any*
\(i\ne j\). *Define a sequence of mappings *
\(T_n: H\rightarrow H\)
*as follows*

*where*
\(L_n\le 1\)
*and*
\(\lim _{n\rightarrow \infty }L_n=1\). *Then*
\(\{T_n\}\)
*is a uniformly closed family of countable quasi-nonexpansive mappings with the common fixed point set*
\(F=\{0\}\), *but not a uniformly weak closed family of countable quasi-nonexpansive mappings.*

### Proof

It is obvious that, \(\{T_n\}\) has a unique common fixed point 0. Next, we prove that, \(\{T_n\}\) is uniformly closed. In fact that, for any strong convergent sequence \(\{z_n\}\subset E\) such that \(z_n\rightarrow z_0\) and \(\Vert z_n-T_nz_n\Vert \rightarrow 0\) as \(n\rightarrow \infty\), there exists sufficiently large nature number *N* such that \(z_n\ne x_m\), for any \(n, m >N\). Then \(T_nz_n=-z_n\) for \(n>N\), it follows from \(\Vert z_n-T_nz_n\Vert \rightarrow 0\) that \(2z_n\rightarrow 0\) and hence \(z_0 \in F\). From the definition of \(\{T_n\}\), we have

so that \(\{T_n\}\) is a uniformly closed family of countable quasi-nonexpansive mappings. Next, we prove the \(\{T_n\}\) is not weak closed. Since \(\{x_n\}\) converges weakly to \(x_0\) and

as \(n\rightarrow \infty\), but \(x_0\) is not a fixed point.\(\Box\)

## Conclusion

In the multidirectional iteration algorithm, the \(C_n\) is a closed convex set, and \(F\subset C_n\) for any \(n\ge 1\). If we use one initial \(x_{1,1}\), the projection point \(x_n=P_{C_n}x_{1,1}\) belongs to the boundary of the \(C_n\). If we use *N* initials \(x_{1,1}, x_{1,2}, x_{1,3}, \ldots , x_{1,N}\), the element \(x_{n}=\sum _{i=1}^{N}\lambda _i P_{C_n}x_{1,i}\) belongs to the interior of the \(C_n\). In general, the distance \(d(\sum _{i=1}^{N}\lambda _i P_{C_n}x_{1,i}, F)\) is less than the distance \(d(P_{C_n}x_{1,1}, F)\), so the multidirectional iteration algorithm can accelerate the convergence speed of iterative sequence \(\{x_n\}\). We give a simple experimental example in the following.

### Example

Let \(X=R^2, \ C_n=\{(x,y)\in R^2: x^2+y^2\le 1\}, \ x_{1,1}=(1,1), \ x_{1,2}=(-1,1), \ F=\{0\}\). Case 1, take only one initial \(x_{1,1}\), \(x_n=P_{C_n}x_{1,1}=(\frac{\sqrt{2}}{2},\frac{\sqrt{2}}{2})\), then \(d(x_n, F)=1\). Case 2, take two initials \(x_{1,1},x_{1.2}\),

then \(d(x_n, F)=\frac{\sqrt{2}}{2}\). From the inequality “\(\frac{\sqrt{2}}{2}< 1\)”, we can see that, the multidirectional iteration algorithm can accelerate the convergence speed of iterative sequence \(\{x_n\}\).

## References

Alber YI (1996) Metric and generalized projection operators in Banach spaces: properties and applications. In: Kartsatos AG (ed) Theory and applications of nonlinear operators of accretive and monotone type. Marcel Dekker, New York, pp 15–50

Alsulami SM, Takahashi W (2014) The split common null point problem for maximal monotone mappings in Hilbert spaces and applications. J Nonlinear Convex Anal 15:793–808

Alsulami SM, Latif A, Takahashi W (2015) Strong convergence theorems by hybrid methods for the split feasibility problem in Banach spaces. Linear Nonlinear Anal 1(1):1–11

Aoyama K, Kohsaka F, Takahashi W (2009) Three generalizations of firmly nonexpansive mappings: their relations and continuous properties. J Nonlinear Convex Anal 10:131–147

Byrne C, Censor Y, Gibali A, Reich S (2012) The split common null point problem. J Nonlinear Convex Anal 13:759–775

Censor Y, Elfving T (1994) A multiprojection algorithm using Bregman projections in a product space. Numer Algorithms 8:221–239

Censor Y, Segal A (2009) The split common fixed-point problem for directed operators. J Convex Anal 16:587–600

Moudafi A (2010) The split common fixed point problem for demicontractive mappings. Inverse Probl 26:055007

Nakajo K, Takahashi W (2003) Strong convergence theorems for nonexpansive mappings and nonexpansive semigroups. J Math Anal Appl 279:372–379

Ohsawa S, Takahashi W (2003) Strong convergence theorems for resolvents of maximal monotone operators in Banach spaces. Arch Math (Basel) 81:439–445

Rockafellar RT (1970) On the maximality of sums of nonlinear monotone operators. Trans Am Math Soc 149:75–88

Solodov MV, Svaiter BF (2000) Forcing strong convergence of proximal point iterations in a Hilbert space. Math Program Ser A 87:189–202

Takahashi W (2000) Nonlinear functional analysis. Yokohama Publishers, Yokohama

Takahashi W, Takeuchi Y, Kubota R (2008) Strong convergence theorems by hybrid methods for families of nonexpansive mappings in Hilbert spaces. J Math Anal Appl 341:276–286

Takahashi W (2009) Introduction to nonlinear and convex analysis. Yokohama Publishers, Yokohama

Takahashi W (2014) The split feasibility problem in Banach spaces. J Nonlinear Convex Anal 15:1349–1355

Takahashi W, Xu H-K, Yao J-C (2015) Iterative methods for generalized split feasibility problems in Hilbert spaces. Set Valued Var Anal 23:205–221

Takahashi W (2015) The split common null point problem in Banach spaces. Arch Math (Basel) 104:357–365

Takahashi W, Yao J (2015) Strong convergence theorems by hybrid methods for the split common null point problem in Banach spaces. Fixed Point Theory Appl 2015:87

## Authors' contributions

All authors contributed equally and significantly in writing this article. All authors read and approved the final manuscript.

### Acknowledgements

This project is supported by the National Natural Science Foundation of China under Grant (11071279).

### Competing interests

The authors declare that they have no competing interests.

## Author information

### Affiliations

### Corresponding author

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

## About this article

### Cite this article

Li, X., Guo, M. & Su, Y. Multidirectional hybrid algorithm for the split common fixed point problem and application to the split common null point problem.
*SpringerPlus* **5, **2009 (2016). https://doi.org/10.1186/s40064-016-3691-2

Received:

Accepted:

Published:

DOI: https://doi.org/10.1186/s40064-016-3691-2

### Keywords

- Split common fixed point problem
- Split common null point problem
- Fixed point
- Metric resolvent
- Multidirectional hybrid algorithm
- Duality mapping

### Mathematics Subject Classification

- 47H05
- 47H09
- 47H10