A Generalized Explicit Iterative Method for Solving Generalized Split Feasibility Problem and Fixed Point Problem in Real Banach Spaces

Abstract

In this paper, we propose a generalized explicit algorithm for approximating the common solution of generalized split feasibility problem and the fixed point of demigeneralized mapping in uniformly smooth and 2-uniformly convex real Banach spaces. The generalized split feasibility problem is a general mathematical problem in the sense that it unifies several mathematical models arising in (symmetry and non-symmetry) optimization theory and also finds many applications in applied science. We designed the algorithm in such a way that the convergence analysis does not need a prior estimate of the operator norm. More so, we establish the strong convergence of our algorithm and present some computational examples to illustrate the performance of the proposed method. In addition, we give an application of our result for solving the image restoration problem and compare with other algorithms in the literature. This result improves and generalizes many important related results in the contemporary literature.

1. Introduction

Let C and Q be nonempty, closed, and convex subsets of two real Hilbert spaces $H_1$ and $H_2$, respectively, and $B:H_1\to H_2$ be a bounded linear operator. The Split Feasibility Problem (shortly, SFP) is defined as

$$\mathrm{Find}{v}^{*}\in C\mathrm{such}\mathrm{that}B{v}^{*}\in Q.$$

(1)

We denote the set of solutions of the SFP (1) by $SFP(C,Q,B),$ i.e., $SFP(C,Q,B)=\{v^{*}\in C:B{v}^{*}\in Q\}.$ The SFP was first introduced by [1] in the setting of finite dimensional spaces, for modeling inverse problems arising from phrase retrievals and in medical image reconstruction. Since then, it has been studied widely and extended by many researchers mainly due to its applications in various areas such as radiation therapy treatment planning, signal processing, image restoration, computer tomography, etc., see e.g., [2,3,4,5].

In 2014, Ref. [6] introduced the Generalized Split Feasibility Problem (GSFP) in the framework of real Hilbert spaces as follows:

$$\begin{array}{c}\hfill \mathrm{Find}{v}^{*}\in C\mathrm{such}\mathrm{that}0\in A{v}^{*}\mathrm{and}B{v}^{*}\in F\left(T\right),\end{array}$$

(2)

where $A:H_1\to 2^{H_1}$ is a maximal monotone operator, $B:H_1\to H_2$ is a bounded linear operator, $T:H_2\to H_2$ is a non-expansive mapping and $F\left(T\right)\ne \varnothing$ is the set of fixed points of T, i.e., $F\left(T\right):=\{x\in H:Tx=x\}.$ We denote the set of solution of the GSFP (2) by $\Omega .$ Note that, when $B=N_C$ (i.e., the normal cone operator at C) and $F\left(T\right)=Q$, the GSFP reduces to the SFP. Ref. [6] proposed the following iterative method for solving the GSFP in real Hilbert spaces:

$$x_{n+1}=J_{{\lambda }_n}^A(I-\gamma B^{*}(I-T)B)x_n\forall n\in \mathbb{N},$$

(3)

where $J_{\lambda }^{A}x={(I-\lambda A)}^{-1}x$ is the resolvent operator of A and $B^{*}:H_2\to H_1$ is the adjoint of $B.$ They also proved that the sequence $\left\{x_n\right\}$ generated by (3) converges weakly to a solution of the GSFP. Recently, Ref. [7] extended the result of [6] to the setting of uniformly convex and 2-uniformly smooth real Banach spaces. They proposed the following iterative method in particular, for solving the GSFP in real Banach spaces:

$$\left\{\begin{array}{c}{y}_n=J_{E_1}^{-1}(J_{E_1}{x}_n-\gamma B^{*}{J}_{E_2}(I-U)B{x}_n),\hfill \\ x_{n+1}=J_{E_1}^{-1}({\beta }_n{J}_{E_1}{x}_n+(1-{\beta }_n)J_{E_1}T{J}_{\lambda }^A{y}_n),\forall n\in \mathbb{N},\hfill \end{array}\right.$$

(4)

where $0<a\le {\beta }_n\le b<1,$ $\gamma \in \left(0,\frac{1}{{\parallel B\parallel }^2}\right),$ $\lambda >0,$ $J_{E_1}$ and $J_{E_2}$ are the normalized duality mapping on the real Banach spaces $E_1$ and $E_2$, respectively, $A:E_1\to 2^{E_1^{*}}$ is a maximal monotone operator and $T:C\to C$ and $U:E_2\to E_2$ are nonexpansive mappings with $F\left(U\right)\ne 0.$ The authors proved that the sequence generated by (4) converges weakly to an element in $\Gamma =\Omega \cap F\left(T\right)$. Furthermore, Ref. [8] also introduced a strong convergence algorithm for finding a common element in the set of solution of GSFP and common fixed point problem for a countable family of nonexpansive mappings between a real Hilbert space H and real Banach space E as follows:

$$\left\{\begin{array}{c}{x}_1\in H,\hfill \\ z_n=J_{{\lambda }_n}^A(x_n-{\gamma }_n{B}^{*}{J}_E(B{x}_n-UB{x}_n)),\hfill \\ y_n=(1-{\sigma }_n)z_n+{\sigma }_n\sum _{i=1}^{\infty }{\eta }_i{T}_i{z}_n,\hfill \\ x_{n+1}=P_C({\alpha }_n{x}_0+{\beta }_n{y}_n+{\delta }_n{z}_n),\hfill \end{array}\right.$$

(5)

where $P_C$ is the metric projection from H onto C, $J_E:E\to 2^E$ is the normalized duality mapping on E, $B:H\to E$ is a bounded linear operator, $U:E\to E$ is a firmly nonexpansive-like mapping, $T_i$ is a countable family of demimetric mappings on C with $k_i\in (-\infty ,1),$ $\left\{{\alpha }_n\right\},\left\{{\beta }_n\right\},\left\{{\delta }_n\right\},\left\{{\eta }_i\right\}\subset (0,1)$, $\left\{{\lambda }_n\right\},\left\{{\sigma }_n\right\},\left\{{\gamma }_n\right\}\subset (0,+\infty )$ are sequences satisfying the following conditions:

(i)

${lim}_{n\to \infty }{\alpha }_n=0,$ and ${\sum }_{n=0}^{\infty }\alpha =\infty ,$

(ii)

$0<{lim\; inf}_{n\to \infty }{\beta }_n\le {lim\; sup}_{n\to \infty }{\beta }_n<1$ and ${\alpha }_n+{\beta }_n+{\delta }_n=1,$

(iii)

${\sum }_{i=1}^{\infty }{\eta }_i=1,$

(iv)

$0<a\le {\gamma }_n\le b$ and $1-k,$ where $k=sup\{k_i,i\in \mathbb{N}\}<1,$

(v)

$0<c\le {\gamma }_n\le \gamma <\frac{2}{{\parallel B\parallel }^2}$ and $0<{lim\; inf}_{n\to \infty }{\lambda }_n\le {lim\; sup}_{n\to \infty }{\lambda }_n<\infty .$

Very recently, Ref. [9] further introduced a Halpern-type strong convergence algorithm for solving the GSFP in real Banach spaces as follows:

$$\left\{\begin{array}{c}{x}_1,u\in E_1,\hfill \\ y_n=J_{E_1}^{-1}(J_{E_1}{x}_n-\gamma B^{*}{J}_{E_2}(I-U)B{x}_n),\hfill \\ x_{n+1}=J_{E_1}^{-1}({\alpha }_n{J}_{E_1}u+(1-{\alpha }_n)J_{E_1}{Q}_{r_n}^{A}T{y}_n),\forall n\in \mathbb{N},\hfill \end{array}\right.$$

(6)

where $\left\{{\alpha }_n\right\}\subset (0,1)$ satisfying ${lim}_{n\to \infty }{\alpha }_n=0,$ ${\sum }_{n=0}^{\infty }{\alpha }_n=+\infty$ and $0<\gamma <\frac{1-\tau }{{\parallel B\parallel }^2},$ $T:E_2\to E_2$ is a $\tau$-quasi-strictly pseudononspreading mappings such that $F\left(T\right)\ne \varnothing .$ The authors proved that the sequence $\left\{x_n\right\}$ generated by Algorithm (6) converges strongly to an element in $\Omega$ under some mild conditions on the control sequences. Note that, in the methods mentioned above, the stepsize ${\gamma }_n$ depends on prior estimates of the norm of the bounded linear operator, i.e., $\parallel B\parallel$, which, in general, it is very difficult to estimate (see, e.g., [10]), thus the following question arises naturally:

Question A: Can we provide an iterative scheme which does not depend on a prior estimate of the norm of the bounded linear operator for solving the generalized split feasibility problem in real Banach spaces?

On the other hand, Ref. [11] introduced the generalized viscosity implicit rule for approximating the fixed point of a nonexpansive mapping $T:C\to C$ in real Hilbert spaces as follows: given $x_0\in C$, compute

$$\begin{array}{c}\hfill x_{n+1}={\alpha }_{n}f\left(x_n\right)+(1-{\alpha }_n)T(t_n{x}_n+(1-t_n)x_{n+1})\forall n\ge 0.\end{array}$$

(7)

They also proved that the sequence $\left\{x_n\right\}$ generated by (7) converges strongly to a point in $F\left(T\right).$ However, it was noted that the computation by implicit method is not a simple task in general. To overcome this difficulty, the explicit midpoint method was given by the following finite difference scheme which was originally introduced in the books [12,13]:

$$\left\{\begin{array}{c}{y}_0=x_0,\hfill \\ {\overline{y}}_{n+1}=y_n+hf\left(y_n\right),\hfill \\ y_{n+1}=y_n+hf\left(\frac{y_n+{\overline{y}}_{n+1}}{2}\right)\forall n\ge 0,\hfill \end{array}\right.$$

(8)

where $f:H\to H$ is a contraction mapping and $h\in [0,1]$ is the mesh. In 2017, Ref. [14] combined the generalized viscosity implicit midpoint method (7) with the explicit midpoint method (8) for approximating the fixed point problem of a quasi-nonexpansive mapping $T.$ They introduced the following generalized viscosity explicit midpoint method in particular: for any $x_1\in C$ and

$$\left\{\begin{array}{c}{\overline{x}}_{n+1}={\beta }_n{x}_n+(1-{\beta }_n)T{x}_n,\hfill \\ x_{n+1}={\alpha }_{n}f\left(x_n\right)+(1-{\alpha }_n)T(t_n{x}_n+(1-t_n){\overline{x}}_{n+1})\forall n\ge 1.\hfill \end{array}\right.$$

(9)

They also showed that the sequence $\left\{x_n\right\}$ generated by (9) converges strongly to a fixed point of T under certain assumptions imposed on the parameters $\left\{{\alpha }_n\right\},$ $\left\{{\beta }_n\right\}$, and $\left\{t_n\right\}.$

Motivated by the above results, in this paper, we provide an affirmative answer to Question A using the technique above in real Banach spaces. In particular, we introduce a generalized explicit method for solving the GSFP without prior knowledge of the norm of the bounded operator in uniformly smooth and 2-uniformly convex real Banach spaces. The algorithm is designed such that its stepsize is determined self-adaptively at each iteration, and its convergence does not require prior estimate of the bounded linear operator norm. We also prove a strong convergence result for the sequence generated by the algorithm and also provide a numerical example to illustrate the performance of the iterative method. Furthermore, we utilize the algorithm to solves image restoration problem and also compare it performance with other related methods in the literature.

2. Preliminaries

In this section, we present some preliminary Definitions and concepts which are needed in this paper. Let E be a real Banach space with dual $E^{*}$ and $S_E\left(x\right):=\{x\in E:|\left|x\right||=1\}$ denotes the unit sphere of E. We denote the value of $y\in E^{*}$ at $x\in E$ by $\langle x,y\rangle$. In addition, we denote the strong (resp. weak) convergence of a sequence $\left\{x_n\right\}\subset E$ to a point $x\in E$ by $x_n\to x$ (resp. $x_n\rightharpoonup x$).

Let $E_1$, $E_2$ be two Banach spaces and $B:E_1\to E_2$ denotes the bounded linear operator. Then, the adjoint operator of B which is denoted by $B^{*}$ is defined as $B^{*}:E_2^{*}\to E_1^{*}$ with $\langle x,B^{*}y\rangle =\langle Bx,y\rangle$ for all $x\in E_1$ and $y\in E_2^{*}$. $B^{*}$ is also bounded linear operator and $\left|\right|B\left|\right|=\left|\right|B^{*}\left|\right|.$

A Banach space E is said to be smooth if $\underset{t\to 0}{lim}\frac{\left|\right|x+ty\left|\right|-\left|\right|x\left|\right|}{t}$ exists for each $x,y\in S_E$ and for any $\lambda \in (0,1)$, if $\left|\right|\lambda x+(1-\lambda )y\left|\right|<1$ for all $x,y\in S_E$ with $x\ne y$, then E is called strictly convex. In addition, E is said to be uniformly convex if, for any $ϵ\in (0,2]$, there exists $\delta =\delta \left(ϵ\right)>0$ such that, if $\frac{\left|\right|x+y\left|\right|}{2}\le 1-\delta$, then $\left|\right|x-y\left|\right|\ge ϵ$ for all $x,y\in S_E$. The modulus of smoothness of E is the function ${\rho }_E:[0,\infty )\to [0,\infty )$ defined by

$${\rho }_E\left(\tau \right)=sup\left\{\frac{\left|\right|x+\tau y\left|\right|+\left|\right|x-\tau y\left|\right|}{2}-1:x,y\in S_E\right\}.$$

In addition, E is called uniformly smooth if $\underset{\tau \to 0}{lim}\frac{{\rho }_E\left(\tau \right)}{\tau }=0$; q-uniformly smooth if there exists a positive real number $C_q$ such that ${\rho }_E\left(\tau \right)\le C_q{\tau }^q$ for any $\tau >0$. Hence, every q-uniformly smooth Banach space is uniformly smooth. We know that $L_p,{\ell }_p$ and $W_p^m$ are q-uniformly smooth for $1\le q<2$; 2-uniformly smooth and uniformly convex (see [15] for more details).

Furthermore, the normalized duality mapping $J:E\to 2^{E^{*}}$ is defined by

$$J\left(x\right):=\{y\in E^{*}:\langle x,y\rangle =|\left|y\right|{|}^2=\left|\right|x\left|{|}^2\right\},y\in E.$$

It is known that J has the following properties (for more details, see [16,17,18]):

(UM1)

If E is smooth, then J is single-valued.

(UM2)

If E is strictly convex, then J is one to one and strictly monotone.

(UM3)

If E is uniformly smooth, then J is uniformly norm to norm continuous on a bounded subset of E.

(UM4)

If E is smooth, strictly convex, and reflexive Banach space, then J is single-valued, one to one and onto.

(UM5)

If E is uniformly smooth and uniformly convex, then the dual space $E^{*}$ is also uniformly smooth and uniformly convex; furthermore, J and $J^{-1}$ are both uniformly continuous on bounded subsets of E.

(UM6)

If E is a reflexive, strictly convex, and smooth Banach space, then $J^{-1}$ (the duality mapping from $E^{*}$ into E) is single-valued, one to one and onto.

Let E be a Banach space and $\varphi :E\times E\to [0,\infty )$ denotes the Lyapunov functional defined as

$$\varphi (x,y)={\left|\right|x\left|\right|}^2-2\langle x,Jy\rangle +{\left|\right|y\left|\right|}^2,\forall x,y\in E.$$

The functional $\varphi$ satisfies the following properties (see [19]):

(A1)

$\left(\right|\left|x\right||-{\left|\right|y\left|\right|)}^2\le \varphi (x,y)\le \left(\right|\left|x\right||+{\left|\right|y\left|\right|)}^2,\forall x,y\in E;$

(A2)

$\varphi (x,y)=\varphi (x,z)+\varphi (z,y)+2\langle x-z,Jz-Jy\rangle ,\forall x,y,z\in E;$

(A3)

$\varphi (x,y)=\langle x,Jx-Jy\rangle +\langle y-x,Jy\rangle \le \left|\right|x\left|\right|\left|\right|Jx-Jy\left|\right|+\left|\right|y-x\left|\right|\left|\right|y\left|\right|,x,y\in E$;

(A4)

$\varphi (z,J^{-1}(\alpha Jx+(1-\alpha )Jy))\le \alpha \varphi (z,x)+(1-\alpha )\varphi (z,y),\mathrm{where}\alpha \in (0,1)\mathrm{and}x,y\in E.$

Remark 1.

If E is strictly convex, then, for all $x,y\in E,\varphi (x,y)=0$ if and only if $x=y$ (See Remark 2.1 in [20]).

Now, we introduce another functional-like $V:E\times E^{*}\to [0,\infty )$ by [21], which is a mild modification and has a relationship with a Lyapunov functional as follows:

$$\begin{array}{c}\hfill V(x,x^{*})={\left|\right|x\left|\right|}^2-2\langle x,x^{*}\rangle +\left|\right|x^{*}{\left|\right|}^2\end{array}$$

(10)

for all $x\in E$ and $x^{*}\in E^{*}$. From the Definition of $\varphi$, we get

$$\begin{array}{c}\hfill V(x,x^{*})=\varphi (x,J^{-1}\left(x^{*}\right)), \mathrm{for} \mathrm{all} x\in E \mathrm{and} x^{*}\in E^{*}.\end{array}$$

(11)

For each $x\in E$, the mapping g defined by $g\left(x^{*}\right)=V(x,x^{*})$ for all $x^{*}\in E^{*}$ is a continuous, convex function from $E^{*}$ into $\mathbb{R}$. The following Lemma is a very important property of V.

Lemma 1

([21]). Let E be a reflexive, strictly convex and smooth Banach space and let V be as in (10). Then,

$$V(x,x^{*})+2\langle J^{-1}{x}^{*}-x,y^{*}\rangle \le V(x,x^{*}+y^{*})$$

for all $x\in E$ and $x^{*},y^{*}\in E^{*}$.

Let E a be reflexive, strictly convex and smooth Banach space and C a nonempty closed and convex subset of E. Then, by [21], for each $x\in E$, there exists a unique element $u\in C$ (denoted by ${\Pi }_{C}x$) such that

$$\varphi (u,x)=\underset{y\in C}{min}\varphi (y,x).$$

The mapping ${\Pi }_C:E\to C$, defined by ${\Pi }_{C}x=u$, is called the generalized projection operator (see [22]), which has the following important characteristic.

Lemma 2

([23]). Let C be a nonempty, closed and convex subset of a smooth Banach space E, if $u\in E$. Then, $v={\Pi }_{C}x$ if and only if

$$\langle v-w,Ju-Jv\rangle \ge 0,\forall w\in C.$$

In the sequel, we shall use the following results.

Lemma 3

([19]). Let E be a uniformly smooth Banach space and $r>0$. Then, there exists a continuous, strictly increasing and convex function $g:[0,2r]\to [0,\infty ]$ such that $g\left(0\right)=0$ and

$$\varphi (u,J^{-1}(tJv+(1-t)Jw))\le t\varphi (u,v)+(1-t)\varphi (u,w)-t(1-t)g\left(\right||Jv-Jw\left|\right|)$$

for all $t\in [0,1],u\in E$ and $v,w\in B_r:=\{z\in E:|\left|z\right||\le r\}$.

Lemma 4

([15]). Let E be a real uniformly convex Banach space and $r>0$. Let $B_r\left(0\right):=\{x\in E:|\left|x\right||\le r\}.$ Then, there exists a continuous strictly increasing convex function $g:[0,2r]\to \mathbb{R},$ such that $g\left(0\right)=0$ and

$$\begin{array}{c}\hfill \left|\right|\beta y+{(1-\beta )z\left|\right|}^2\le {\beta \left|\right|y\left|\right|}^2+{(1-\beta )\left|\right|y\left|\right|}^2-\beta (1-\beta )g\left(\right||y-z\left|\right|),\end{array}$$

(12)

for all $y,z\in B_r$ and $\beta \in [0,1]$.

Lemma 5

([20]). Let E be a uniformly convex and smooth Banach space and $\left\{u_n\right\}$ and $\left\{v_n\right\}$ be two sequences in E. If $\underset{n\to \infty }{lim}\varphi (u_n,v_n)=0$ and either $\left\{u_n\right\}$ or $\left\{v_n\right\}$ is bounded, then $\underset{n\to \infty }{lim}\left|\right|u_n-v_n\left|\right|=0.$

Lemma 6

([15]). Let E be a 2-uniformly convex and smooth real Banach space. Then, there exists a positive real-valued constant α such that

$$\alpha \left|\right|x-{y\left|\right|}^2\le \varphi (x,y),\forall x,y\in E.$$

Lemma 7

([15]). Let E be a 2-uniformly smooth Banach space, then, for each $s>0$ and $x,y\in E$, the following holds:

$$\left|\right|x+{y\left|\right|}^2\le {\left|\right|x\left|\right|}^2+2\langle x,Jy\rangle +2s^2{\left|\right|y\left|\right|}^2.$$

Definition 1.

A mapping $T:C\to E$ is said to be:

(i)

quasi-nonexpansive (see [20]) if $F\left(T\right)\ne \varnothing$ and

$$\varphi (p,Tx)\le \varphi (p,x),\forall x\in C,p\in F\left(T\right),$$

(ii)

firmly nonexpansive type if for all $x,y\in C$, we have

$$\varphi (Tx,Ty)+\varphi (Ty,Tx)+\varphi (Tx,x)+\varphi (Ty,y)\le \varphi (Tx,y)+\varphi (Ty,x).$$

(iii)

quasi-ϕ-strictly pseudocontractive (see [24]) if $F\left(T\right)\ne \varnothing$ and there exists a constant $k\in [0,1)$ such that

$$\begin{array}{c}\hfill \varphi (p,Tx)\le \varphi (p,x)+k\varphi (x,Tx),\forall x\in C\mathit{and}p\in F\left(T\right).\end{array}$$

(13)

(iv)

$(\eta ,s)$-demigeneralized (see [25]) if $F\left(T\right)\ne \varnothing$ and there exists $\eta \in (-\infty ,1)$ and $s\in [0,\infty )$ such that for any $x\in C$ and $q\in F\left(T\right)$, we have

$$\begin{array}{c}\hfill 2\langle x-q,Jx-JTx\rangle \ge (1-\eta )\varphi (x,Tx)+s\varphi (Tx,x).\end{array}$$

(14)

In particular, T is $(\eta ,0)$-demigeneralized mapping if and only if

$$\begin{array}{c}\hfill 2\langle x-q,Jx-JTx\rangle \ge (1-\eta )\varphi (x,Tx).\end{array}$$

(15)

A set-valued operator $A:C\to 2^{E^{*}}$ is said to be: (i) $monotone$ if for all $x,y\in C$, we have

$$\begin{array}{c}\hfill \langle x-y,u-v\rangle \ge 0,\end{array}$$

(16)

where $u\in Ax$ and $v\in Ay,$ (ii) maximal monotone if A is monotone and the graph of A i.e., $G\left(A\right):=\{(x,y)\in E\times E^{*}:y\in A\left(x\right)\}$ is not properly contained in the graph of any other monotone operator. It is known that, when A is a maximal monotone operator and $r>0$, then the resolvent of A is defined by $Q_{r}x={(J+rA)}^{-1}Jx$ for $x\in E$. More so, the null points of A is defined by $A^{-1}\left(0\right):=\{w\in E:0\in Aw\}$. Note that $A^{-1}\left(0\right)$ is a closed and convex set, and $F\left(Q_r\right)=A^{-1}\left(0\right)$, (see [18]).

Lemma 8

([26,27]). Let C be a nonempty, closed and convex subset of strictly convex, smooth and reflexive Banach space, and let $r>0$ and $A\subset E\times E^{*}$ be a monotone operator such that $D\left(A\right)\subset J^{-1}R(J+rA)$. Then, the resolvent of A which is defined by $Q_{r}x={(J+rA)}^{-1}Jx$ for all $x\in C$ is a firmly nonexpansive type mapping.

Lemma 9

([28]). Let E be a reflexive, smooth and strictly convex Banach space and $A:E\to 2^{E^{*}}$ a maximal monotone operator such that $A^{-1}\left(0\right)\ne \varnothing$ and $Q_r={(J+\mu A)}^{-1}J$ for all $r>0$. Then,

$$\varphi (u,Q_{r}v)+\varphi (Q_{r}v,v)\le \varphi (u,v)\forall u\in F\left(Q_r\right),v\in E.$$

Lemma 10

([25]). Let E be a smooth Banach space and C be a nonempty closed and convex subset of E. Let η be a real number with $\eta \in (-\infty ,1)$ and s be a real number with $s\in [0,\infty )$. Let U be an $(\eta ,s)$-demigeneralized mapping of C into E. Then, $F\left(U\right)$ is closed and convex.

Lemma 11

([29]). Let E be a smooth Banach space and C a nonempty closed and convex subset of E. Let $k\in (-\infty ,0]$ and $T:C\to E$ be a $(k,0)$-demigeneralized mapping with $F\left(T\right)\ne \varnothing$. Let λ be a real number in $(0,1]$ and define $T_{\lambda }=J^{-1}((1-\lambda )J+\lambda JT)$, where J is the duality mapping on E. Then, $T_{\lambda }$ is a quasi-nonexpansive mapping of C into E and $F\left(T\right)=F\left(T_{\lambda }\right)$.

Lemma 12

([30]). If $\left\{a_n\right\}$ is a sequence of nonnegative real numbers satisfying the following inequality:

$$a_{n+1}\le (1-{\alpha }_n)a_n+{\alpha }_n{\sigma }_n+{\gamma }_n,n\ge 0,$$

where $\left(i\right)\left\{{\alpha }_n\right\}\subset [0,1],\sum {\alpha }_n=\infty ;$ $\left(ii\right)limsup{\sigma }_n\le 0;$ $\left(iii\right){\gamma }_n\ge 0;(n\ge 0)$ and $\sum {\gamma }_n<\infty .$ Then, $a_n\to 0$ as $n\to \infty .$

Definition 2.

A self-mapping T on a Banach space is said to be demiclosed at y, if for any sequence $\left\{x_n\right\}$ which converges weakly to x, and if the sequence $\left\{T{x}_n\right\}$ converges strongly to y, then $T\left(x\right)=y$. In particular, if $y=0$, then T is demiclosed at 0.

Lemma 13

([31]). Let $\left\{a_n\right\}$ be a sequence of real numbers such that there exists a subsequence $\left\{a_{n_i}\right\}$ of $\left\{a_n\right\}$ such that $a_{n_i}<a_{n_i+1}$ for all $i\in \mathbb{N}$. Then, there exists a nondecreasing sequence $\left\{m_k\right\}\subset \mathbb{N}$ such that $m_k\to \infty$ and the following properties are satisfied by all (sufficiently large) numbers $k\in \mathbb{N}$:

$$a_{m_k}\le a_{m_k+1}\mathit{and}{a}_k\le a_{m_k+1}.$$

In fact, $m_k=max\{j\le k:a_j<a_{j+1}\}$.

3. Results

In this section, we present our algorithm and its convergence analysis as follows:

Theorem 1.

Let $E_1$ and $E_2$ be uniformly smooth and 2-uniformly convex real Banach spaces. Let $T:E_1\to E_1$ be a $(\eta ,0)$-demigeneralized mapping and demiclosed at zero with $\eta \in (-\infty ,\lambda ]$ and $\lambda \in [0,1)$ such that $F\left(T\right)\ne \varnothing$. Let $U:E_2\to E_2$ be a $(\theta ,0)$-demigeneralized mapping and demiclosed at zero with $\theta \in (-\infty ,0]$ such that $F\left(U\right)\ne \varnothing$. Let A be a maximal monotone operator of E into $2^{E^{*}}$ such that $A^{-1}\ne \varnothing$ and $Q_{\mu }$ are the generalized resolvent operator of A for $\mu >0$. Let $B:E_1\to E_2$ be a bijective bounded linear operator with its adjoint $B^{*}:E_2^{*}\to E_1^{*}$. Suppose that $\Gamma :=F\left(T\right)\cap A^{-1}\left(0\right)\cap B^{-1}\left(F\left(U\right)\right)\ne \varnothing$. Let $\left\{u_n\right\}$ be a sequence in $E_1$ such that $u_n\to u\in E_1$ and $\left\{x_n\right\}\subset E_1$ be a sequence generated by the following iterative scheme: given $x_1\in E_1$, compute

$$\begin{array}{c}\hfill \left\{\begin{array}{c}{w}_n=J_{E_1}^{-1}(J{x}_n-{\gamma }_n{B}^{*}(J_{E_2}\left(B{x}_n\right)-J_{E_2}U\left(B{x}_n\right))),\hfill \\ {\overline{x}}_{n+1}=J_{E_1}^{-1}({\beta }_n{J}_{E_1}\left(w_n\right)+(1-{\beta }_n)J_{E_1}{T}_{\lambda }{Q}_{{\mu }_n}\left(w_n\right)),\hfill \\ y_n=J_{E_1}^{-1}(t_n{J}_{E_1}\left(x_n\right)+(1-t_n)J_{E_1}{\overline{x}}_{n+1}),\hfill \\ x_{n+1}=J_{E_1}^{-1}[{\alpha }_n{J}_{E_1}\left(u_n\right)+(1-{\alpha }_n)J_{E_1}{Q}_{{\mu }_n}{y}_n],n\ge 1\hfill \end{array}\right.\end{array}$$

(17)

where $T_{\lambda }:=J_{E_1}^{-1}((1-\lambda )J_{E_1}+\lambda J_{E_1}T)$ and $\left\{{\alpha }_n\right\}$, $\left\{{\beta }_n\right\}$, $\left\{t_n\right\}$ are sequences in $(0,1)$ and ${\mu }_n\subset (0,\infty )$. Suppose the following conditions are satisfied:

(C1)

$\underset{n\to \infty }{lim}{\alpha }_n=0$ and ${\sum }_{n=1}^{\infty }{\alpha }_n=\infty$;

(C2)

for any $\alpha >0$ as in Lemma 6 and any fixed value $a>0$, the stepsize ${\gamma }_n$ is chosen as follows:

$$0<a\le {\gamma }_n\le \frac{\alpha (1-\theta )\left|\right|B{x}_n-UB{x}_n{\left|\right|}^2}{s^2\left|\right|B^{*}(J_{E_2}\left(B{x}_n\right)-J_{E_2}\left(UB{x}_n\right)){\left|\right|}^2}-a,$$

(18)

if $B{x}_n\ne UB{x}_n$; otherwise, ${\gamma }_n=\gamma$ ($\gamma \ge 0$).

(C3)

$0<t\le t_n\le t^{*}<1$ and $0<\beta \le {\beta }_n\le {\beta }^{*}<1$, where $[t,t^{*}]\subset (0,1),[\beta ,{\beta }^{*}]\subset (0,1)$.

Then, ${\left\{x_n\right\}}_{n=1}^{\infty }$ converges strongly to $z^{*}\in \Gamma$, where $z^{*}={\Pi }_{\Gamma }u$.

Remark 2.

Since $T:E_1\to E_1$ and $U:E_2\to E_2$ are $(\eta ,0)$ and $(\theta ,0)$-demigeneralized mappings, respectively, then $F\left(T\right)$ and $F\left(U\right)$ are closed and convex sets by Lemma 10. Since $B:E_1\to E_2$ is linear and bounded and $B^{-1}$ exists, then $B^{-1}$ is linear and bounded (continuous). Since $F\left(U\right)$ is closed and convex, then $B^{-1}\left(F\left(U\right)\right)$ is also closed and convex. $A^{-1}\left(0\right)$ is closed and convex (see [18] for details). Hence, $\Gamma :=F\left(T\right)\cap A^{-1}\left(0\right)\cap B^{-1}\left(F\left(U\right)\right)$ is nonempty closed and convex. Therefore, ${\Pi }_{\Gamma }$ from $E_1$ into Γ is well-defined.

Furthermore, since $T_{\lambda }:=J_{E_1}^{-1}((1-\lambda )J_{E_1}+\lambda J_{E_1}T)$ for any $\lambda \in [0,1)$ is relatively nonexpansive mapping and $F\left(T\right)=F\left(T_{\lambda }\right)$ by Lemma 11. Let $z\in \Gamma$, we have that $z\in F\left(T\right)=F\left(T_{\lambda }\right)$, $z\in B^{-1}\left(F\left(U\right)\right)\Rightarrow Bz=UBz$, thus $(Bz-UBz)=0$, and also $z=Q_{{\mu }_n}z$. In addition, since $Q_{{\mu }_n}$ is generalized resolvent for ${\mu }_n>0$, then, from Lemma 8, we have that $Q_{{\mu }_n}$ is firmly nonexpansive operator for $z\in F\left(Q_{{\mu }_n}\right)$, then for any $x_n\in E_1$, we have $\varphi (z,Q_{{\mu }_n}{x}_n)\le \varphi (z,x_n)$ for all $n\ge 1$.

Proof. 

Let $z\in \Gamma$, then, from Lemma 6, 7 and (15), we have

$$\begin{array}{ccc}\hfill \varphi (z,w_n)& =& \varphi (z,J_{E_1}^{-1}(J_{E_1}{x}_n-{\gamma }_n{B}^{*}(J_{E_2}\left(B{x}_n\right)-J_{E_2}U\left(B{x}_n\right))))\hfill \\ & =& V(z,J_{E_1}{x}_n-{\gamma }_n{B}^{*}(J_{E_2}\left(B{x}_n\right)-J_{E_2}U\left(B{x}_n\right)))\hfill \\ & =& {\left|\right|z\left|\right|}^2-2\langle z,(J_{E_1}{x}_n-{\gamma }_n{B}^{*}(J_{E_2}\left(B{x}_n\right)-J_{E_2}U\left(B{x}_n\right)))\rangle \hfill \\ & & +\left|\right|J{x}_n-{\gamma }_n{B}^{*}(J_{E_2}\left(B{x}_n\right)-J_{E_2}U\left(B{x}_n\right)){\left|\right|}^2\hfill \\ & \le & {\left|\right|z\left|\right|}^2-2\langle z,J_{E_1}{x}_n\rangle +2{\gamma }_n\langle z,B^{*}\left(J_{E_2}\left(B{x}_n\right)\right)-J_{E_2}\left(UB{x}_n\right)\rangle \hfill \\ & & +\left|\right|J_{E_1}\left(x_n\right){\left|\right|}^2-2{\gamma }_n\langle x_n,B^{*}\left(J_{E_2}\left(B{x}_n\right)\right)-J_{E_2}\left(UB{x}_n\right)\hfill \\ & & +{\gamma }_n^2{s}^2\left|\right|B^{*}\left(J_{E_2}\left(B{x}_n\right)\right)-J_{E_2}\left(UB{x}_n\right){\left|\right|}^2\hfill \\ & =& \varphi (z,x_n)-2{\gamma }_n\langle B\left(x_n\right)-B\left(z\right),\left(J_{E_2}\left(B{x}_n\right)\right)-J_{E_2}\left(UB{x}_n\right)\rangle \hfill \\ & & +{\gamma }_n^2{s}^2\left|\right|B^{*}\left(J_{E_2}\left(B{x}_n\right)\right)-J_{E_2}\left(UB{x}_n\right){\left|\right|}^2\hfill \\ & \le & \varphi (z,x_n)-{\gamma }_n(1-\eta )\varphi (B{x}_n,U\left(B{x}_n\right))\hfill \\ & & +{\gamma }_n^2{s}^2\left|\right|B^{*}\left(J_{E_2}\left(B{x}_n\right)\right)-J_{E_2}\left(UB{x}_n\right){\left|\right|}^2\hfill \\ & \le & \varphi (z,x_n)-{\gamma }_n\alpha (1-\eta )\left|\right|B{x}_n-U(B{x}_n{\left|\right|}^2\hfill \\ & & +{\gamma }_n^2{s}^2\left|\right|B^{*}\left(J_{E_2}\left(B{x}_n\right)\right)-J_{E_2}\left(UB{x}_n\right){\left|\right|}^2\hfill \\ & =& \varphi (z,x_n)-{\gamma }_n(\alpha (1-\eta )\left|\right|\left(B{x}_n\right)-U\left(B{x}_n\right){\left|\right|}^2\hfill \\ & & -{\gamma }_n{s}^2\left|\right|B^{*}\left(J_{E_2}\left(B{x}_n\right)\right)-J_{E_2}\left(UB{x}_n\right){\left|\right|}^2)\hfill \\ & \le & \varphi (z,x_n),\hfill \end{array}$$

(19)

where the last estimation follows from the stepsize rule (18). In addition, from $\left(y_n\right)$ in (17) and (24), we have

$$\begin{array}{} & \hfill \varphi (z,y_n)& =& \varphi (z,J_{E_1}^{-1}(t_n{J}_{E_1}\left(x_n\right)+(1-t_n)J_{E_1}{\overline{x}}_{n+1}))\hfill & & \le & t_n\varphi (z,x_n)+(1-t_n)\varphi (z,{\overline{x}}_{n+1})\hfill & & =& t_n\varphi (z,x_n)+(1-t_n)\varphi (z,J_{E_1}^{-1}({\beta }_n{J}_{E_1}{w}_n+(1-{\beta }_n)J_{E_1}{T}_{\lambda }{Q}_{{\mu }_n}{w}_n))\hfill \mathrm{(20)}& & \le & t_n\varphi (z,x_n)+(1-t_n)[{\beta }_n\varphi (z,w_n)+(1-{\beta }_n)\varphi (z,Q_{{\mu }_n}{w}_n)]\hfill \mathrm{(21)}& & =& t_n\varphi (z,x_n)+(1-t_n)\varphi (z,w_n)\hfill \mathrm{(22)}& & \le & \varphi (z,x_n),\hfill \end{array}$$

and

$$\begin{array}{} & \hfill \varphi (z,x_{n+1})& =& \varphi (z,J_{E_1}^{-1}({\alpha }_n{J}_{E_1}{u}_n+(1-{\alpha }_n)J_{E_1}{Q}_{{\mu }_n}{y}_n))\hfill \mathrm{(23)}& & \le & {\alpha }_n\varphi (z,u_n)+(1-{\alpha }_n)\varphi (z,y_n)\hfill \mathrm{(24)}& & \le & {\alpha }_n\varphi (z,u_n)+(1-{\alpha }_n)\varphi (z,x_n).\hfill \end{array}$$

Since $\left\{u_n\right\}$ converges, then it is bounded and so, with the help of (A1), there exists $M>0$, such that $sup\varphi (z,u_n)\le M$. Now, letting $M^{*}=max\{M,\varphi (z,x_n)\}$, for all $n\ge 1$, in particular, $\varphi (z,x_1)\le M^{*}$. Assuming for some $k\ge 1$ that $\varphi (z,x_k)\le M^{*}$, then, by (24), we have

$$\begin{array}{ccc}\hfill \varphi (z,x_{k+1})& \le & {\alpha }_k\varphi (z,u_k)+(1-{\alpha }_k)\varphi (z,x_k)\hfill \\ & \le & {\alpha }_k{M}^{*}+(1-{\alpha }_k)M^{*}=M^{*}.\hfill \end{array}$$

Hence by induction, we obtain that $\varphi (z,x_n)\le M^{*}$ for all $n\in \mathbb{N}$. Therefore, ${\left\{x_n\right\}}_{n=1}^{\infty }$ is bounded.

Furthermore, from (19), (21) and (23), we get

$$\begin{array}{ccc}\hfill \varphi (z,x_{n+1})& \le & {\alpha }_n\varphi (z,u_n)+(1-{\alpha }_n)[t_n\varphi (z,x_n)+(1-t_n)\varphi (z,w_n)]\hfill \\ & \le & {\alpha }_n\varphi (z,u_n)+t_n\varphi (z,x_n)+(1-t_n)\varphi (z,w_n)\hfill \\ & \le & {\alpha }_n\varphi (z,u_n)+\varphi (z,x_n)-{\gamma }_n(1-t_n)(\alpha (1-\eta )\left|\right|\left(B{x}_n\right)-U\left(B{x}_n\right){\left|\right|}^2\hfill \\ & & -{\gamma }_n{s}^2\left|\right|B^{*}\left(J_{E_2}\left(B{x}_n\right)\right)-J_{E_2}\left(UB{x}_n\right){\left|\right|}^2).\hfill \end{array}$$

(25)

From (C2), we have that ${\gamma }_n\le \frac{\alpha (1-\eta )\left|\right|B{x}_n-U\left(B{x}_n\right){\left|\right|}^2}{s^2\left|\right|B^{*}(J_{E_2}\left(B{x}_n\right)-J_{E_2}U\left(B{x}_n\right)){\left|\right|}^2}-a,$ hence

$$\begin{array}{ccc}\hfill {\gamma }_n{s}^2\left|\right|B^{*}(J_{E_2}\left(B{x}_n\right)-J_{E_2}U\left(B{x}_n\right)){\left|\right|}^2& \le & \alpha (1-\eta )\left|\right|\left(B{x}_n\right)-U\left(B{x}_n\right){\left|\right|}^2\hfill \\ & & -a{s}^2\left|\right|B^{*}(J_{E_2}\left(B{x}_n\right)-J_{E_2}U\left(B{x}_n\right)){\left|\right|}^2.\hfill \end{array}$$

This implies that

$$\begin{array}{ccc}\hfill a{s}^2\left|\right|B^{*}(J_{E_2}\left(B{x}_n\right)-J_{E_2}U\left(B{x}_n\right)){\left|\right|}^2& \le & \alpha (1-\eta )\left|\right|\left(B{x}_n\right)-U\left(B{x}_n\right){\left|\right|}^2\hfill \\ & & -{\gamma }_n{s}^2\left|\right|B^{*}(J_{E_2}\left(B{x}_n\right)-J_{E_2}U\left(B{x}_n\right)){\left|\right|}^2.\hfill \end{array}$$

(26)

Hence, from (25) and (26), we get

$$\begin{array}{ccc}\hfill {\gamma }_n{a}^2{s}^2(1-t_n)\left|\right|B^{*}(J_{E_2}\left(B{x}_n\right)-J_{E_2}\left(U\left(B{x}_n\right)\right)){\left|\right|}^2& \le & {\alpha }_n\varphi (z,u_n)\hfill \\ & & +\varphi (z,x_n)-\varphi (z,x_{n+1}).\hfill \end{array}$$

(27)

The remaining part of the proof will be divided into two cases.

Case I: Suppose that the sequence ${\left\{\varphi (z,x_n)\right\}}_{n=1}^{\infty }$ is non-increasing sequence of real numbers. Since this sequence ${\left\{\varphi (z,x_n)\right\}}_{n=1}^{\infty }$ is bounded, then it converges for all $n\ge n_0$. That is,

$$\begin{array}{c}\hfill \underset{n\to \infty }{lim}(\varphi (z,x_n)-\varphi (z,x_{n+1}))=0.\end{array}$$

(28)

Thus, from (C1), (C3), (27) and (28), we have

$$\begin{array}{c}\hfill \underset{n\to \infty }{lim}\left|\right|B^{*}(J_{E_2}\left(B{x}_n\right)-J_{E_2}\left(U\left(B{x}_n\right)\right))\left|\right|=0.\end{array}$$

(29)

In addition, combining (C2), (C3) and (25), we have

$$\begin{array}{ccc}\hfill 0\le a(1-t^{*})\alpha (1-\eta )\left|\right|B{x}_n-U\left(B{x}_n\right){\left|\right|}^2& \le & {\alpha }_n\varphi (z,x_n)+\varphi (z,x_n)-\varphi (z,x_{n+1})\hfill \\ & & +ϵs^2\left|\right|B^{*}(J_{E_2}\left(B{x}_n\right)-J_{E_2}\left(U\left(B{x}_n\right)\right)){\left|\right|}^2.\hfill \end{array}$$

It follows from (28) and (29) that

$$\begin{array}{c}\hfill \underset{n\to \infty }{lim}\left|\right|J_{E_2}\left(B{x}_n\right)-J_{E_2}\left(U\left(B{x}_n\right)\right)\left|\right|=0\end{array}$$

(30)

as $n\to \infty$. Since $E_2$ is uniformly smooth, then, from (UM5) and (30), we obtain

$$\begin{array}{c}\hfill \underset{n\to \infty }{lim}\left|\right|B\left(x_n\right)-U\left(B{x}_n\right)\left|\right|=\underset{n\to \infty }{lim}\left|\right|J_{E_2}^{-1}\left(J_{E_2}\right)\left(B{x}_n\right)-J_{E_2}^{-1}\left(J_{E_2}\left(U\left(B{x}_n\right)\right)\right)\left|\right|=0.\end{array}$$

(31)

Furthermore, using (10) and Lemma 4, we get

$$\begin{array}{ccc}\hfill \varphi (z,{\overline{x}}_{n+1})& =& \varphi (z,J_{E_1}^{-1}({\beta }_n{J}_{E_1}{w}_n+(1-{\beta }_n)J_{E_1}{T}_{\lambda }{Q}_{{\mu }_n}{w}_n))\hfill \\ & =& V(z,{\beta }_n{J}_{E_1}{w}_n+(1-{\beta }_n)J_{E_1}{T}_{\lambda }{Q}_{{\mu }_n}{w}_n)\hfill \\ & =& {\left|\right|z\left|\right|}^2-2\langle z,{\beta }_n{J}_{E_1}{w}_n+(1-{\beta }_n)J_{E_1}{T}_{\lambda }{Q}_{{\mu }_n}{w}_n\rangle \hfill \\ & & +\left|\right|{\beta }_n{J}_{E_1}{w}_n+(1-{\beta }_n)J_{E_1}{T}_{\lambda }{Q}_{{\mu }_n}{w}_n{\left|\right|}^2\hfill \\ & =& {\beta }_n\parallel z_n{\parallel }^2+(1-{\beta }_n){\parallel z\parallel }^2-2{\beta }_n\langle z,J_{E_1}{w}_n\rangle -2(1-{\beta }_n)\langle z,J_{E_1}{T}_{\lambda }{Q}_{{\mu }_n}{w}_n\rangle \hfill \\ & & +{\beta }_n\parallel J_{E_1}{w}_n{\parallel }^2+(1-{\beta }_n)\parallel J_{E_1}{T}_{\lambda }{Q}_{{\mu }_n}{w}_n{\parallel }^2-{\beta }_n(1-{\beta }_n)g(\parallel J_{E_1}{w}_n-J_{E_1}{T}_{\lambda }{Q}_{{\mu }_n}{w}_n\parallel )\hfill \\ & \le & {\beta }_n\varphi (z,w_n)+(1-{\beta }_n)\varphi (z,T_{\lambda }{Q}_{{\mu }_n}{w}_n)\hfill \\ & & -{\beta }_n(1-{\beta }_n)g\left(\right||J_{E_1}{w}_n-J_{E_1}{T}_{\lambda }{Q}_{{\mu }_n}{w}_n\left|\right|)\hfill \\ & \le & \varphi (z,x_n)-(1-t_n){\beta }_n(1-{\beta }_n)g\left(\right||J_{E_1}{w}_n-J_{E_1}{T}_{\lambda }{Q}_{{\mu }_n}{w}_n\left|\right|).\hfill \end{array}$$

(32)

In addition, with (20), (23) and (32), we get

$$\begin{array}{ccc}\hfill \varphi (z,x_{n+1})& \le & {\alpha }_n\varphi (z,u_n)+(1-{\alpha }_n)[t_n\varphi (z,x_n)+(1-t_n)\varphi (z,{\overline{x}}_{n+1})]\hfill \\ & \le & {\alpha }_n\varphi (z,u_n)+t_n\varphi (z,x_n)+(1-t_n)\varphi (z,{\overline{x}}_{n+1})\hfill \\ & \le & {\alpha }_n\varphi (z,u_n)+t_n(z,x_n)\hfill \\ & & +(1-t_n)[\varphi (z,x_n)-{\beta }_n(1-{\beta }_n)g(\parallel J_{E_1}{w}_n-J_{E_1}{T}_{\lambda }{Q}_{{\mu }_n}{w}_n\parallel \left)\right]\hfill \\ & \le & {\alpha }_n\varphi (z,u_n)+\varphi (z,x_n)-{\beta }_n(1-{\beta }_n)g(\parallel J_{E_1}{w}_n-J_{E_1}{T}_{\lambda }{Q}_{{\mu }_n}{w}_n\parallel ).\hfill \end{array}$$

(33)

Thus, from (C3) and (33), we obtain

$$\begin{array}{ccc}\hfill 0& \le & (1-t^{*}){\beta }_n(1-{\beta }^{*})\left)g\right(\left|\right|J_{E_1}{w}_n-J_{E_1}{T}_{\lambda }{Q}_{{\mu }_n}{w}_n\left|\right|)\hfill \\ & \le & (1-t_n){\beta }_n(1-{\beta }_n)\left)g\right(\left|\right|J_{E_1}{w}_n-J_{E_1}{T}_{\lambda }{Q}_{{\mu }_n}{w}_n\left|\right|)\hfill \\ & \le & {\alpha }_n\varphi (z,u_n)+\varphi (z,x_n)-\varphi (z,x_{n+1}).\hfill \end{array}$$

Then, using (C1), we get

$$\begin{array}{c}\hfill \underset{n\to \infty }{lim}g\left(\right||J_{E_1}{w}_n-J_{E_1}{T}_{\lambda }{Q}_{{\mu }_n}{w}_n\left|\right|)=0.\end{array}$$

Using property of g in Lemma 4, we obtain

$$\begin{array}{c}\hfill \underset{n\to \infty }{lim}\left|\right|J_{E_1}{w}_n-J_{E_1}{T}_{\lambda }{Q}_{{\mu }_n}{w}_n\left|\right|=0.\end{array}$$

(34)

Since $E_1^{*}$ is uniformly smooth, then, from (34), we get

$$\begin{array}{c}\hfill \underset{n\to \infty }{lim}\left|\right|w_n-T_{\lambda }{Q}_{{\mu }_n}{w}_n\left|\right|=0.\end{array}$$

(35)

In addition, by Lemma 9, (20) and (23), we get

$$\begin{array}{ccc}\hfill \varphi (z,x_{n+1})& \le & {\alpha }_n\varphi (z,u_n)+(1-{\alpha }_n)[t_n\varphi (z,x_n)\hfill \\ & & +(1-t_n)[{\beta }_n\varphi (z,w_n)+(1-{\beta }_n)[\varphi (z,w_n)-\varphi (Q_{{\mu }_n}{w}_n,w_n)]]]\hfill \\ & \le & {\alpha }_n\varphi (z,u_n)+\varphi (z,x_n)-(1-{\alpha }_n)(1-t_n)(1-{\beta }_n)\varphi (Q_{{\mu }_n}{w}_n,w_n).\hfill \end{array}$$

Thus, using (C3), we have

$$\begin{array}{ccc}\hfill 0<(1-t^{*})(1-{\beta }^{*})(1-{\alpha }_n)\varphi (Q_{{\mu }_n}{w}_n,w_n)& \le & (1-t_n)(1-{\beta }_n)\varphi (Q_{{\mu }_n}{w}_n,w_n)\hfill \\ & \le & {\alpha }_n\varphi (z,u_n)+\varphi (z,x_n)-\varphi (z,x_{n+1}).\hfill \end{array}$$

Then, applying (C1) and (28), we get

$$\begin{array}{c}\hfill \underset{n\to \infty }{lim}\varphi (Q_{{\mu }_n}{w}_n,w_n)=0.\end{array}$$

From Lemma 5, we get

$$\begin{array}{c}\hfill \underset{n\to \infty }{lim}\left|\right|Q_{{\mu }_n}{w}_n-w_n\left|\right|=0.\end{array}$$

(36)

Since $E_1$ is uniformly smooth, then

$$\begin{array}{c}\hfill \underset{n\to \infty }{lim}\left|\right|J_{E_1}{Q}_{{\mu }_n}{w}_n-J_{E_1}{w}_n\left|\right|=0.\end{array}$$

(37)

It follows from (35) and (36) that

$$\begin{array}{c}\hfill \underset{n\to \infty }{lim}\left|\right|T_{\lambda }{Q}_{{\mu }_n}{w}_n-Q_{{\mu }_n}{w}_n\left|\right|=0.\end{array}$$

(38)

Since $E_1$ is uniformly smooth, then $J_{E_1}$ is uniformly norm-to-norm continuous on bounded subsets if $E_1$ and from (38), we obtain

$$\begin{array}{c}\hfill \underset{n\to \infty }{lim}\left|\right|J_{E_1}{T}_{\lambda }{Q}_{{\mu }_n}{w}_n-J_{E_1}{Q}_{{\mu }_n}{w}_n\left|\right|=0.\end{array}$$

(39)

As we know that $T_{\lambda }=J_{E_1}^{-1}((1-\lambda )J_{E_1}+\lambda J_{E_1}T)$, thus

$$\left|\right|J_{E_1}{T}_{\lambda }{Q}_{{\mu }_n}{w}_n-J_{E_1}{Q}_{{\mu }_n}{w}_n\left|\right|=\lambda \left|\right|J_{E_1}T{Q}_{{\mu }_n}{w}_n-J_{E_1}{Q}_{{\mu }_n}{w}_n\left|\right|.$$

Since $\lambda >0$, it follows from (39) that

$$\begin{array}{c}\hfill \underset{n\to \infty }{lim}\left|\right|J_{E_1}T{Q}_{{\mu }_n}{w}_n-J_{E_1}{Q}_{{\mu }_n}{w}_n\left|\right|=0.\end{array}$$

(40)

Thus, we have

$$\begin{array}{c}\hfill \underset{n\to \infty }{lim}\left|\right|T{Q}_{{\mu }_n}{w}_n-Q_{{\mu }_n}{w}_n\left|\right|=0.\end{array}$$

(41)

In addition, since $\left\{{\alpha }_n\right\}\subset (0,1)$, then

$$\begin{array}{ccc}\hfill \varphi (z,x_{n+1})& \le & {\alpha }_n\varphi (z,u_n)+(1-{\alpha }_n)\varphi (z,Q_{{\mu }_n}{y}_n)\hfill \\ & \le & {\alpha }_n\varphi (z,u_n)+(1-{\alpha }_n)\varphi (z,y_n)\hfill \\ & \le & {\alpha }_n\varphi (z,u_n)+\varphi (z,J_{E_1}^{-1}(t_n{J}_{E_1}{x}_n+(1-t_n)J_{E_1}{\overline{x}}_{n+1}))\hfill \\ & =& {\alpha }_n\varphi (z,u_n)+V(z,t_n{J}_{E_1}{x}_n+(1-t_n)J_{E_1}{\overline{x}}_{n+1})\hfill \\ & =& {\alpha }_n\varphi (z,u_n)+{\left|\right|z\left|\right|}^2-2\langle z,t_n{J}_{E_1}{x}_n+(1-t_n)J_{E_1}{\overline{x}}_{n+1}\rangle \hfill \\ & & +\left|\right|t_n{J}_{E_1}{x}_n+(1-t_n)J_{E_1}{\overline{x}}_{n+1}{\left|\right|}^2\hfill \\ & \le & {\alpha }_n\varphi (z,u_n)+t_n\varphi (z,x_n)+(1-t_n)\varphi (z,{\overline{x}}_{n+1})\hfill \\ & & -t_n(1-t_n)\left|\right|J_{E_1}{x}_n-J_{E_1}{\overline{x}}_{n+1}{\left|\right|}^2\hfill \\ & =& {\alpha }_n\varphi (z,u_n)+\varphi (z,x_n)-t_n(1-t_n)\left|\right|J_{E_1}{x}_n-J_{E_1}{\overline{x}}_{n+1}{\left|\right|}^2.\hfill \end{array}$$

It follows from (C1), (C3) and (28) that

$$\begin{array}{ccc}\hfill 0& \le & t(1-t^{*})\left|\right|J_{E_1}{x}_n-J_{E_1}{\overline{x}}_{n+1}{\left|\right|}^2\le t_n(1-t_n)\left|\right|J_{E_1}{x}_n-J_{E_1}{\overline{x}}_{n+1}{\left|\right|}^2\hfill \\ & \le & {\alpha }_n\varphi (z,u_n)+\varphi (z,x_n)-\varphi (z,x_{n+1})\to 0\mathrm{as}n\to \infty .\hfill \end{array}$$

Hence,

$$\begin{array}{c}\hfill \underset{n\to \infty }{lim}\left|\right|J_{E_1}{x}_n-J_{E_1}{\overline{x}}_{n+1}\left|\right|=0.\end{array}$$

(42)

This implies that

$$\begin{array}{c}\hfill \underset{n\to \infty }{lim}\left|\right|x_n-{\overline{x}}_{n+1}\left|\right|=0.\end{array}$$

(43)

In addition, from (A3) and (17), we get

$$\begin{array}{ccc}\hfill \varphi (y_n,{\overline{x}}_{n+1})]& \le & t_n\varphi (x_n,{\overline{x}}_{n+1})+(1-t_n)\varphi ({\overline{x}}_{n+1},{\overline{x}}_{n+1})\hfill \\ & \le & t_n\left[\right||x_n\left|\right|\left|\right|J_{E_1}{x}_n-J_{E_1}{\overline{x}}_{n+1}\left|\right|+\left|\right|{\overline{x}}_{n+1}\left|\right|\left|\right|x_n-{\overline{x}}_{n+1}\left|\right|].\hfill \end{array}$$

It follows from (42) and (43) that

$$\begin{array}{c}\hfill \underset{n\to \infty }{lim}\varphi (y_n,{\overline{x}}_{n+1})=0.\end{array}$$

(44)

Thus, from Lemma 5, we get

$$\begin{array}{c}\hfill \underset{n\to \infty }{lim}\left|\right|y_n-{\overline{x}}_{n+1}\left|\right|=0.\end{array}$$

(45)

Using Lemma 9, $\left(x_{n+1}\right)$ in (17) and by (22), we have

$$\begin{array}{ccc}\hfill \varphi (Q_{{\mu }_n}{y}_n,y_n)& \le & \varphi (z,y_n)-\varphi (z,Q_{{\mu }_n}{y}_n)\hfill \\ & =& \varphi (z,y_n)-\varphi (z,x_{n+1})+\varphi (z,x_{n+1})-\varphi (z,Q_{{\mu }_n}{y}_n)\hfill \\ & \le & \varphi (z,x_n)-\varphi (z,x_{n+1})+{\alpha }_n\varphi (z,u_n)\hfill \\ & & +(1-{\alpha }_n)\varphi (z,Q_{\mu }{y}_n)-\varphi (z,Q_{\mu }{y}_n)\hfill \\ & \le & \varphi (z,x_n)-\varphi (z,x_{n+1})+{\alpha }_n[\varphi (z,u_n)-\varphi (z,Q_{\mu }{y}_n)].\hfill \end{array}$$

It follows from (C1) and (28) that

$$\begin{array}{c}\hfill \underset{n\to \infty }{lim}\varphi (Q_{{\mu }_n}{y}_n,y_n)=0,\end{array}$$

(46)

and, by Lemma 5, we have

$$\begin{array}{c}\hfill \underset{n\to \infty }{lim}\left|\right|Q_{{\mu }_n}{y}_n-y_n\left|\right|=0.\end{array}$$

(47)

Combining (17) and (C1), we have

$$\begin{array}{c}\hfill \varphi (Q_{{\mu }_n}{y}_n,x_{n+1})\le {\alpha }_n\varphi (Q_{{\mu }_n}{y}_n,u_n)+(1-{\alpha }_n)\varphi (Q_{{\mu }_n}{y}_n,Q_{{\mu }_n}{y}_n),\to 0\end{array}$$

(48)

as $n\to \infty$; thus, with Lemma 5, we obtain

$$\begin{array}{c}\hfill \underset{n\to \infty }{lim}\left|\right|Q_{{\mu }_n}{y}_n-x_{n+1}\left|\right|=0.\end{array}$$

(49)

Since

$$\begin{array}{ccc}\hfill \left|\right|x_n-x_{n+1}\left|\right|& \le & \left|\right|x_n-{\overline{x}}_{n+1}\left|\right|+\left|\right|{\overline{x}}_{n+1}-y_n\left|\right|+\left|\right|y_n-Q_{{\mu }_n}{y}_n\left|\right|\hfill \\ & & +\left|\right|Q_{{\mu }_n}{y}_n-x_{n+1}\left|\right|,\hfill \end{array}$$

then it follows from (43), (45), (47) and (49) that

$$\begin{array}{c}\hfill \underset{n\to \infty }{lim}\left|\right|x_n-x_{n+1}\left|\right|=0.\end{array}$$

(50)

Furthermore, since $E_1$ is reflexive and ${\left\{x_n\right\}}_{n=1}^{\infty }$ is bounded, then there exists a subsequence $\left\{x_{n_j}\right\}$ of $\left\{x_n\right\}$ such that $\left\{x_{n_j}\right\}$ converges weakly to $x^{*}$ in $E_1$. In addition, we know that B is linear and bounded, then it is continuous, so $x_{n_j}\rightharpoonup x^{*}$ implies that $B{x}_{n_j}\rightharpoonup B{x}^{*}$. Thus, by (31), we have $\underset{n\to \infty }{lim}\left|\right|B{x}_n-U\left(B{x}_n\right)\left|\right|=0$ and, since U is demiclosed at zero, then, $B{x}^{*}=U\left(B{x}^{*}\right)$, that is, $x^{*}\in B^{-1}\left(F\left(U\right)\right)$. From (30), we get $\underset{n\to \infty }{lim}\left|\right|x_n-w_n\left|\right|=0$, thus $w_{n_j}\rightharpoonup x^{*}$, so, using (36) it implies that $\left\{Q_{{\mu }_j}{w}_{n_j}\right\}$ converges weakly to $x^{*}$. Since $Q_{{\mu }_n}$ is generalized resolvent of A in $E_1$, then

$$\frac{J_{E_1}{w}_n-J_{E_1}{Q}_{{\mu }_n}{w}_n}{{\mu }_n}\in A{Q}_{{\mu }_n}{w}_n,\forall n\ge 1.$$

Since A is monotone, we have

$$0\le 〈c-Q_{{\mu }_{n_j}}{w}_{n_j},d-\frac{J_{E_1}{w}_{n_j}-J_{E_1}{Q}_{{\mu }_{n_j}}{w}_{n_j}}{{\mu }_{n_j}}〉,$$

for all $(c,d)\in A$ and we know from (37) that $\underset{j=\infty }{lim}\left|\right|J_{E_1}{w}_{n_j}-J_{E_1}{Q}_{{\mu }_{n_j}}{w}_{n_j}\left|\right|=0$, then, since ${\mu }_{n_j}>0$ for all $j\ge 1$, we have that $\langle c-x^{*},d-0\rangle \ge 0$ for all $(c,d)\in A$ and with the fact that A is maximal monotone, we obtain $x^{*}\in A^{-1}\left(0\right)$. In addition, since $Q_{{\mu }_{n_j}}{w}_{n_j}\rightharpoonup x^{*}$, we know from (41) that $\underset{n\to \infty }{lim}\left|\right|Q_{{\mu }_n}{w}_n-T\left(Q_{{\mu }_n}{w}_n\right)\left|\right|=0$; then, using the fact that T is demiclosed at zero, we obtain $x^{*}\in F\left(T\right)$. Therefore, $x^{*}\in \Gamma :=F\left(T\right)\cap A^{-1}\left(0\right)\cap B^{-1}\left(F\left(U\right)\right)$.

Next, we show that $\left\{x_n\right\}$ converges strongly to ${\Pi }_{\Gamma }u$. Letting $z^{*}={\Pi }_{\Gamma }u$, since $x_{n_j}$ converges weakly to $x^{*}$, then, using Lemma 2, we get

$$\begin{array}{ccc}\hfill \underset{n\to \infty }{lim\; sup}\langle x_n-z^{*},J_{E_1}\left(u_n\right)-J_{E_1}{z}^{*}\rangle & =& \underset{j\to \infty }{lim}\langle x_{n_j}-z^{*},J_{E_1}\left(u_{n_j}\right)-J_{E_1}{z}^{*}\rangle \hfill \\ & =& \langle x^{*}-z^{*},J_{E_1}\left(u\right)-J_{E_1}{z}^{*}\rangle \le 0.\hfill \end{array}$$

(51)

Observe that

$$\langle x_{n+1}-z^{*},J_{E_1}\left(u_n\right)-J_{E_1}{z}^{*}\rangle =\langle x_{n+1}-x_n,J_{E_1}\left(u_n\right)-J_{E_1}{z}^{*}\rangle +\langle x_n-z^{*},J_{E_1}\left(u_n\right)-J_{E_1}{z}^{*}\rangle .$$

It follows from (50) and (51) that

$$\begin{array}{c}\hfill \underset{n\to \infty }{lim\; sup}\langle x_{n+1}-z^{*},J_{E_1}\left(u_n\right)-J_{E_1}\left(z^{*}\right)\rangle \le 0.\end{array}$$

(52)

Finally, using (11), Lemma 1, and (22), we obtain

$$\begin{array}{ccc}\hfill \varphi (z^{*},x_{n+1})& =& \varphi (z^{*},J_{E_1}^{-1}\left({\alpha }_n\right)J_{E_1}{u}_n+(1-{\alpha }_n)J_{E_1}{Q}_{{\mu }_n}{y}_n)\hfill \\ & =& V(z^{*},{\alpha }_n)J_{E_1}{u}_n+(1-{\alpha }_n)J_{E_1}{Q}_{{\mu }_n}{y}_n)\hfill \\ & \le & V(z^{*},{\alpha }_n{J}_{E_1}{u}_n+(1-{\alpha }_n)J_{E_1}{Q}_{{\mu }_n}{y}_n-{\alpha }_n(J_{E_1}{u}_n-J_{E_1}{z}^{*}))\hfill \\ & & -2\langle x_{n+1}-z^{*},-{\alpha }_n(J_{E_1}{u}_n-J_{E_1}{z}^{*})\rangle \hfill \\ & \le & (1-{\alpha }_n)\varphi (z^{*},x_n)+2{\alpha }_n\langle x_{n+1}-z^{*},J_{E_1}{u}_n-J_{E_1}{z}^{*}\rangle .\hfill \end{array}$$

(53)

Thus, with the help of (C1), (52) and applying Lemma 12, we get $\varphi (z^{*},x_n)\to 0$ as $n\to \infty$; then, by Lemma 6, we obtain $\left|\right|x_n-z^{*}\left|\right|\to 0$ as $n\to \infty$. Hence, $x_n\to z^{*}:={\Pi }_{\Gamma }u$, where $\Gamma :=F\left(T\right)\cap A^{-1}\left(0\right)\cap B^{-1}\left(F\left(U\right)\right)$.

Case II: Suppose that ${\left\{\varphi (z,x_n)\right\}}_{n=1}^{\infty }$ is not a non-increasing sequence. Then, let $\left\{x_{n_i}\right\}$ be a subsequence of $\left\{x_n\right\}$ such that $\varphi (z,x_{n_i})<\varphi (z,x_{n_i+1})$ for all $i\in \mathbb{N}$. Then, by Lemma 13, there exists a nondecreasing sequence $\left\{m_s\right\}\subseteq \mathbb{N}$ such that $m_s\to \infty$ as $s\to \infty$,

$$\varphi (z,x_{m_s})\le \varphi (z,x_{m_s+1})\mathrm{and}\varphi (z,x_s)\le \varphi (z,x_{m_s+1}).$$

Since $\left\{\varphi (z,x_{m_s})\right\}$ is bounded, then $\underset{s\to \infty }{lim}\varphi (z,x_{m_s})$ exists. Therefore, using the same method of arguments as in Case I (from (30)–(50)), we get

$$\begin{array}{c}\hfill \underset{s\to \infty }{lim}\left|\right|x_{m_s+1}-x_{m_s}\left|\right|=0.\end{array}$$

Similarly as in the proof of Case 1, we obtain

$$\begin{array}{c}\hfill \underset{m\to \infty }{lim\; sup}\langle x_{m_s+1}-z^{*},J_{E_1}\left(u_{m_s}\right)-J_{E_1}{z}^{*}\rangle \le 0.\end{array}$$

(54)

In addition, from (53), we have

$$\begin{array}{c}\hfill \varphi (z^{*},x_{m_s+1})\le (1-{\alpha }_{m_s})\varphi (z^{*},x_{m_s})+2{\alpha }_{m_s}\langle x_{m_s+1}-z^{*},J_{E_1}{u}_{m_s}-J_{E_1}{z}^{*}\rangle \end{array}$$

(55)

which implies

$${\alpha }_{m_s}\varphi (z^{*},x_{m_s})\le \varphi (z^{*},x_{m_s})-\varphi (z^{*},x_{m_s+1})+2{\alpha }_{m_s}\langle x_{m_s+1}-z^{*},J_{E_1}{u}_{m_s}-J_{E_1}{z}^{*}\rangle$$

and, since ${\alpha }_{m_s}>0$ for all $s\in \mathbb{N}$ and $\varphi (z^{*},x_{m_s})\le \varphi (z^{*},x_{m_s+1}),$ then

$$\varphi (z^{*},x_{m_s})\le 2\langle x_{m_s+1}-z^{*},J_{E_1}{u}_{m_s}-J_{E_1}{z}^{*}\rangle .$$

Hence, from (54), we obtain $\underset{s\to \infty }{lim}\varphi (z^{*},x_{m_s})=0$, then, with (55), we have $\underset{s\to \infty }{lim}\varphi (z^{*},x_{m_s+1})=0$. However, we know that $\varphi (z^{*},x_s)\le \varphi (z^{*},x_{m_s+1})$ for all $s\in \mathbb{N}$, thus $\underset{s\to \infty }{lim}\varphi (z^{*},x_s)=0$. Therefore, using Lemma 6, we obtain $\left|\right|x_s-z^{*}\left|\right|\to 0$ as $s\to \infty$. Hence, $x_s\to z^{*}:={\Pi }_{\Gamma }u$, where $\Gamma :=F\left(T\right)\cap A^{-1}\left(0\right)\cap B^{-1}\left(F\left(U\right)\right)$. This completes the proof. □

We obtained the following results as the consequences of our main result.

(i) Let C and Q be nonempty, closed, and a convex subset of $E_1$ and $E_2$, respectively. Taking $A={\partial }_{N_C},$ the normal cone operator at C which is maximally monotone (see [32]) and defined by

$$N_C\left(x\right)=\left\{\begin{array}{cc}\varnothing ,\hfill & \mathrm{if}x\notin C,\hfill \\ \{w:\langle w,z-x\rangle \le 0,\forall z\in C\}\hfill & \mathrm{if}x\in C,\hfill \end{array}\right.$$

then the resolvent operator with respect to A is the projection operator ${\Pi }_C$. In addition, taking $U=P_Q$, the metric projection from $E_2$ onto Q, then the GSFP reduces to the SFP. Note that the class of (0,0)-demigeneralized mapping is nonexpansive. Hence, from Theorem 1, we obtained the following result for solving SFP in real Banach spaces.

Corollary 1.

Let C and Q be nonempty, closed and convex subsets of two uniformly smooth and 2-uniformly convex real Banach spaces $E_1$ and $E_2$, respectively. Let $J_{E_1}$ and $J_{E_2}$ be normalized duality mappings on $E_1$ and $E_2$, respectively. Let $T:E_1\to E_1$ be a $(\eta ,0)$-demigeneralized mapping and demiclosed at zero with $\eta \in (-\infty ,\lambda ]$ and $\lambda \in [0,1)$ such that $F\left(T\right)\ne \varnothing$. Let $B:E_1\to E_2$ be a bijective bounded linear operator with its adjoint $B^{*}:E_2^{*}\to E_1^{*}$. Suppose that $\Gamma =F\left(T\right)\cap SFP(C,Q,B)\ne \varnothing$. Let $\left\{u_n\right\}$ be a sequence in $E_1$ such that $u_n\to u\in E_1$ and for any arbitrary sequence ${\left\{x_n\right\}}_{n=1}^{\infty }$ in $E_1$ generated by $x_1\in E_1$ and

$$\begin{array}{c}\hfill \left\{\begin{array}{c}{w}_n=J_{E_1}^{-1}(J_{E_1}{x}_n-{\gamma }_n{B}^{*}(J_{E_2}\left(B{x}_n\right)-J_{E_2}{P}_Q\left(B{x}_n\right))),\hfill \\ {\overline{x}}_{n+1}=J_{E_1}^{-1}({\beta }_n{J}_{E_1}\left(w_n\right)+(1-{\beta }_n)J_{E_1}{T}_{\lambda }{\Pi }_C\left(w_n\right)),\hfill \\ x_{n+1}=J_{E_1}^{-1}[{\alpha }_n{J}_{E_1}\left(u_n\right)+(1-{\alpha }_n)J_{E_1}{\Pi }_C{J}^{-1}\left((t_n{J}_{E_1}\left(x_n\right)+(1-t_n)J_{E_1}{\overline{x}}_{n+1})\right)],n\ge 1\hfill \end{array}\right.\end{array}$$

(56)

where $T_{\lambda }=J_{E_1}^{-1}((1-\lambda )J_{E_1}+\lambda J_{E_1}T)$, $\left\{{\alpha }_n\right\}$, $\left\{{\beta }_n\right\}$, and $\left\{t_n\right\}$ are sequences in $(0,1)$ and ${\mu }_n\subset (0,\infty )$. Suppose that the following conditions are satisfied:

(C1)

$\underset{n\to \infty }{lim}{\alpha }_n=0$ and ${\sum }_{n=1}^{\infty }{\alpha }_n=\infty$;

(C2)

for any $\alpha >0$ as in Lemma 6 and any fixed value $a>0$, the stepsize ${\gamma }_n$ is chosen as follows

$$0<a\le {\gamma }_n\le \frac{\alpha (1-\theta )\left|\right|B{x}_n-P_{Q}B{x}_n{\left|\right|}^2}{\left|\right|B^{*}(J_{E_2}\left(B{x}_n\right)-J_{E_2}\left(P_{Q}B{x}_n\right)){\left|\right|}^2}-a,$$

if $B{x}_n\ne P_{Q}B{x}_n$; otherwise, ${\gamma }_n=\gamma$ ($\gamma \ge 0$).

(C3)

$0<t\le t_n\le t^{*}<1$ and $0<\beta \le {\beta }_n\le {\beta }^{*}<1$, where $[t,t^{*}]\subset (0,1),[\beta ,{\beta }^{*}]\subset (0,1)$.

Then, ${\left\{x_n\right\}}_{n=1}^{\infty }$ converges strongly to $z^{*}\in \Gamma$, where $z^{*}={\Pi }_{\Gamma }u$.

(ii) When $E_1=H_1$ and $E_2=H_2$, where $H_1$ and $H_2$ are real Hilbert spaces, we obtained the following generalized explicit algorithm for solving the GSFP in real Hilbert spaces.

Corollary 2.

Let $H_1$ and $H_2$ be real Hilbert spaces. Let $T:H_1\to H_1$ be a $(\eta ,0)$-demigeneralized mapping and demiclosed at zero with $\eta \in (-\infty ,\lambda ]$ and $\lambda \in [0,1)$ such that $F\left(T\right)\ne \varnothing$. Let $U:H_2\to H_2$ be a $(\theta ,0)$-demigeneralized mapping and demiclosed at zero with $\theta \in (-\infty ,0]$ such that $F\left(U\right)\ne \varnothing$. Let A be a maximal monotone operator of H into $2^H$ such that $A^{-1}\ne \varnothing$ and $J_{\mu }^A$ are the resolvent operator of A for $\mu >0$. Let $T:C\to H$ be a $(k,0)$-demigeneralized mapping and demiclosed at zero with $k\in (-\infty ,0]$. Let $B:H_1\to H_2$ be a bijective bounded linear operator with its adjoint $H^{*}:H_2^{*}\to H_1^{*}$. Suppose that $\Gamma =F\left(T\right)\cap A^{-1}\left(0\right)\cap B^{-1}F\left(U\right)\ne \varnothing$. Let $\left\{u_n\right\}$ be a sequence in $H_1$ such that $u_n\to u\in E_1$ and for any arbitrary sequence ${\left\{x_n\right\}}_{n=1}^{\infty }$ in $H_1$ generated by $x_1\in H_1$ and

$$\begin{array}{c}\hfill \left\{\begin{array}{c}{w}_n=x_n-{\gamma }_n{B}^{*}\left(B{x}_n\right)-U\left(B{x}_n\right),\hfill \\ {\overline{x}}_{n+1}={\beta }_n{w}_n+(1-{\beta }_n)T_{\lambda }{J}_{{\mu }_n}^B{w}_n,\hfill \\ x_{n+1}={\alpha }_n{u}_n+(1-{\alpha }_n)J_{{\mu }_n}^B(t_n{x}_n+(1-t_n){\overline{x}}_{n+1}),n\ge 1\hfill \end{array}\right.\end{array}$$

(57)

where $T_{\lambda }=(1-\lambda )+\lambda T$, $\left\{{\alpha }_n\right\}$, $\left\{{\beta }_n\right\}$ and $\left\{t_n\right\}$ are sequences in $(0,1)$ and ${\mu }_n\subset (0,\infty )$. Suppose the following conditions are satisfied:

(C1)

$\underset{n\to \infty }{lim}{\alpha }_n=0$ and ${\sum }_{n=1}^{\infty }{\alpha }_n=\infty$;

(C2)

for any $\alpha >0$ as in Lemma 6 and any fixed value $a>0$, the stepsize ${\gamma }_n$ is chosen as follows

$$0<a\le {\gamma }_n\le \frac{\alpha (1-\theta )\left|\right|B{x}_n-UB{x}_n{\left|\right|}^2}{\left|\right|B^{*}(B{x}_n-UB{x}_n){\left|\right|}^2}-a,$$

if $B{x}_n\ne UB{x}_n$; otherwise ${\gamma }_n=\gamma$ ($\gamma \ge 0$).

(C3)

$0<t\le t_n\le t^{*}<1$ and $0<\beta \le {\beta }_n\le {\beta }^{*}<1$, where $[t,t^{*}]\subset (0,1),[\beta ,{\beta }^{*}]\subset (0,1)$.

Then, ${\left\{x_n\right\}}_{n=1}^{\infty }$ converges strongly to $z^{*}\in \Gamma$, where $z^{*}=P_{\Gamma }u$ and $P_{\Gamma }$ is the metric projection onto $\Gamma .$

4. Numerical Examples

In this section, we present some numerical examples to illustrate the efficiency and performance of the proposed algorithm. We compare the performance of our iteration (17) with (4)–(6). The numerical computations are carried out using MATLAB 2019b on a PC with specification Intel(R)core i7-600, CPU 2.48 GHz, RAM 8.0 GB.

Example 1.

Let $E_1=E_2={\ell }_2\left(\mathbb{R}\right)$, where ${\ell }_2\left(\mathbb{R}\right)=\{u=(u_1,u_2,\cdots ,u_k,\cdots ),u_k\in \mathbb{R}:{\sum }_{k=1}^{\infty }|u_k{|}^2<\infty \},$ ${\parallel u\parallel }_{{\ell }_2}={\left({\sum }_{k=1}^{\infty }{\left|u_k\right|}^2\right)}^{\frac{1}{2}}$ for all $u\in E_1.$ Let $A:{\ell }_2\to {\ell }_2$ and $B:{\ell }_2\to {\ell }_2$ be two mappings defined by

$$\begin{array}{c}\hfill Au=2u+(1,1,0,0,\cdots )\mathit{and}Bu=3u,\end{array}$$

where $u=(u_1,u_2,\cdots ,u_k,\cdots )\in {\ell }_2.$ We see that A is maximal monotone and B is a bounded linear operator. In addition, we define the mappings $T:{\ell }_2\to {\ell }_2$ and $U:{\ell }_2\to {\ell }_2$ by $Tu=\left(\frac{-3u_1}{2},\frac{-3u_2}{2},\cdots ,\frac{-3u_k}{2},\cdots \right)$ and $Uv=\left(\frac{v_1}{2},\frac{v_2}{2},\cdots ,\frac{v_k}{2},\cdots \right)$ for $u=(u_1,u_2,\cdots ,u_k,\cdots )\in {\ell }_2$ and $v=(v_1,v_2,\cdots ,v_k,\cdots )\in {\ell }_2.$ Then, T and U are $\left(\frac{1}{5},0\right)$ and $(0,0)$-demigeneralized mappings, respectively, and demiclosed at zero. We choose ${\alpha }_n=\frac{1}{n+1},$ $t_n=\frac{2n}{5n+1}, {\beta }_n=\frac{1}{3}-\frac{1}{3(n+1)},$ $\alpha =0.2, \lambda =0.025.$ Thus, our iterative scheme (17) becomes:

$$\begin{array}{c}\hfill \left\{\begin{array}{c}{w}_n=J_{E_1}^{-1}\left(J_{E_1}\left(x_n\right)-{\gamma }_n{B}^{*}(J_{E_2}\left(B{x}_n\right)-J_{E_2}\left(UB{x}_n\right))\right),\hfill \\ {\overline{x}}_{n+1}=J_{E_1}^{-1}\left(\frac{n}{3(n+1)}{J}_{E_1}\left(w_n\right)+\frac{2n+3}{3(n+1)}{J}_{E_1}{T}_{\lambda }{Q}_{{\mu }_n}\left(w_n\right)\right),\hfill \\ x_{n+1}=J_{E_1}^{-1}\left(\frac{1}{n+1}{J}_{E_1}\left(u_n\right)+\frac{n}{n+1}{J}_{E_1}{Q}_{{\mu }_n}{J}^{-1}\left(\left(\frac{2n}{5n+1}{J}_{E_1}\left(x_n\right)+\frac{3n+1}{5n+1}{J}_{E_1}\left(x_{n+1}\right)\right)\right)\right),\hfill \end{array}\right.\end{array}$$

(58)

where $T_{\lambda }x=J_{E_1}^{-1}(0.975J_{E_1}\left(x\right)+0.025J_{E_1}+E_1\left(Tx\right)).$ Since $E_1=E_2={\ell }_2\left(\mathbb{R}\right),$ the duality mappings $J_{E_i}$ ($i=1,2$) and $J_{E_1}^{-1}$ reduce to the identity mappings on ${\ell }_2.$ We compare the performance of (58) with the iterative scheme (6) of [9], (5) of [8] and (4) of [7]. For iteration (6), U is defined as above, which is 0-quasi-strict pseudocontractive mapping and $F\left(U\right)\ne \varnothing$. In addition, we take ${\alpha }_n=\frac{1}{n+1}$ and $\gamma =\frac{1}{{2\parallel B\parallel }^2}.$ For iteration (5), we consider the case for which $i=1,$ and we take ${\alpha }_n=\frac{1}{n+1},$ ${\beta }_n=\frac{2n}{3n+3},$ ${\gamma }_n=1-{\alpha }_n-{\beta }_n.$ ${\delta }_n=\frac{1}{{\parallel A\parallel }^2},$ while,, for iteration (4), we choose ${\beta }_n=\frac{2n}{5n+1}.$ We study the convergence of the algorithms using $D_n=\parallel x_{n+1}-x_n\parallel <{10}^{-6}$ as a stopping criterion. We test the algorithms using the following initial values:

Case I: $x_0=(\frac{1}{2},\frac{1}{4},\frac{1}{8},\dots ),$

Case II: $x_0=(5,5,5,\dots );$

Case III: $x_0=(-3,9,-27,\dots );$

Case IV: $x_0=(2,2,0,0,\dots ).$

The computational results are shown in

Table 1. Computation results for Example 1.

		UJO alg. (17)	ZMD alg. (6)	Song alg. (5)	AR alg. (4)
Case I	No. of Iter.	15	50	26	35
	CPU time (sec)	0.0034	0.0168	0.0072	0.091
Case II	No. of Iter.	16	49	25	35
	CPU time (sec)	0.0029	0.0148	0.0082	0.0089
Case III	No. of Iter.	22	47	24	33
	CPU time (sec)	0.0084	0.0113	0.0102	0.0116
Case IV	No. of Iter.	10	52	27	37
	CPU time (sec)	0.0032	0.0125	0.0075	0.0098

and Figure 1.

Example 2.

Next, we present an example in real Banach spaces. Let $E_1=E_2=L_p\left([0,2\pi ]\right)$ (for $p\in (0,2]$) with norm ${\parallel x\parallel }_{L_p}={\left({\int }_0^{2\pi }{\left|x\left(t\right)\right|}^{p}dt\right)}^{\frac{1}{p}}$ and inner product $\langle x,y\rangle ={\int }_0^{2\pi }x\left(t\right)y\left(t\right)dt$ for all $x,y\in L_p\left([0,2\pi ]\right).$ Let $C=\{x\in L_p\left([0,2\pi ]\right):\langle 3t^2,x\rangle \le 1\}.$ The duality mapping is defined by (see [33])

$$J_E\left(x\right)\left(t\right)={\left|x\left(t\right)\right|}^{p-1}sgn\left(x\left(t\right)\right).$$

Define the operator $A\equiv \partial i_C;$ then, A is maximal monotone and the resolvent $Q_{\mu }$ is the projection operator onto C which is given by

$${\Pi }_C\left(x\right)\left(t\right)=\left\{\begin{array}{cc}x\left(t\right)-\frac{\langle 3t^2,x\rangle }{\parallel 3t^2{\parallel }^2}3t^2\hfill & \mathit{if}\langle 3t^2,x\rangle >1,\hfill \\ x\left(t\right)\hfill & \mathit{if}\langle 3t^2,x\rangle \le 1.\hfill \end{array}\right.$$

Furthermore, let $Q=\{y\in L_p\left([0,2\pi ]\right):\langle \frac{t}{3},y\rangle =0\}.$ Then, projection onto Q is given by

$${\Pi }_Q\left(y\right)\left(t\right)=\left\{\begin{array}{cc}y\left(t\right)-\frac{\langle \frac{t}{3},y\rangle }{\parallel \frac{t}{3}{\parallel }^2}\frac{t}{3}\hfill & \mathit{if}\langle \frac{t}{3},y\rangle \ne 0,\hfill \\ y\left(t\right)\hfill & \mathit{if}\langle \frac{t}{3},y\rangle =0.\hfill \end{array}\right.$$

We set $T={\Pi }_C$ and $U={\Pi }_Q;$ then, T and U are $(0,0)$-demigeneralized mappings. In addition, let $B:L_p\left([0,2\pi ]\right)\to L_p\left([0,2\pi ]\right)$ be defined by $Bx\left(t\right)=\frac{x\left(t\right)}{2}$ for all $x\in L_p\left([0,2\pi ]\right).$ In particular, we take $p=\frac{3}{2}$ so that E is not a real Hilbert space. We choose the following parameters and compare our method with the methods of Zi et al. [9] (Algorithm 1.6): For Algorithm 17, we take ${\alpha }_n=\frac{1}{100(n+1)}, {\beta }_n=\frac{30n}{50n+1}, t_n=\frac{3}{5}, \lambda =0.03, \alpha =0.1$ and, for Algorithm 1.6, we take ${\alpha }_n=\frac{1}{100(n+1)}, \gamma =\frac{1}{100}.$ We test the algorithms for the following initial values:

Case I: $x_0=\frac{exp\left(3t\right)}{30};$

Case II: $x_0=2tcos\left(5t^2\right);$

Case III: $x_0=t^3-27;$

Case IV: $x_0=3texp\left(7t\right).$

Using $\parallel x_{n+1}-x_n{\parallel }_{L_p}<{10}^{-4}$, we plot the graphs of error $(\parallel x_{n+1}-x_n{\parallel }_{L_p})$ against the number of iterations in each case. The computation results can be seen in

Table 2. Computation results for Example 2.

		Algorithm (17)	Algorithm (6)
Case I	No. of Iter.	2	2
	CPU time (sec)	1.5206	4.1734
Case II	No. of Iter.	2	2
	CPU time (sec)	1.3816	5.1309
Case III	No. of Iter.	2	2
	CPU time (sec)	2.2795	8.5628
Case IV	No. of Iter.	2	2
	CPU time (sec)	1.8884	8.5531

and Figure 2.

Example 3.

Next, we apply our result to solve the image restoration problem. We show the performance of our algorithm (17) with iteration (4)–(6). The image restoration problem can modeled as the linear system

$$b=\mathcal{D}x+e,$$

where $b\in {\mathbb{R}}^M$ is the observed data with noisy, e is the noise, $\mathcal{D}:{\mathbb{R}}^N\to {\mathbb{R}}^M$ ($M\ll N)$ is a bounded linear operator, and $x\in {\mathbb{R}}^N$ is the vector with m non-zero components. This problem can also be formulated as the following Least Absolute Shrinkage and Selection Operator (LASSO) problem:

$$\underset{x\in {\mathbb{R}}^N}{min}{\{\parallel \mathcal{D}x-b\parallel }_2^2+{\lambda \parallel x\parallel }_1\},$$

for some regularization parameter $\lambda >0.$ Equivalently, the split feasibility problem (1) can be rewritten as

$$\underset{x\in {\mathbb{R}}^N}{min}\{f\left(x\right)+g\left(x\right)\}$$

(59)

where $f\left(x\right)={\parallel \mathcal{D}x-b\parallel }_2^2$ and $g\left(x\right)={\lambda \parallel x\parallel }_1.$ Following Corollary 1, we can apply our algorithm for solving the image deblurring problem by setting $A=N_C,$ $T=P_Q$, $Q=\left\{b\right\}$, $B=\mathcal{D}$ and $C=\{x\in {\mathbb{R}}^N:\parallel x{\parallel }_1\le t\}$, where $t>0.$ In our experiments, we used the grey test image Cameraman ($256\times 256$) and Moon ($537\times 358$) in an Image Processing Toolbox in MATLAB, while each test image is degraded by Gaussian $7\times 7$ blur kernel with standard deviation $4.$ In our computation, we take ${\alpha }_n\frac{1}{100n}, t_n=\frac{15}{100}, {\beta }_n=\frac{29n}{100n+1}, \lambda =0.25, \alpha =0.04;$ for (6), we take ${\alpha }_n=\frac{1}{100n}, \gamma =0.001;$ for (5), we take ${\alpha }_n=\frac{1}{100n}, {\beta }_n=\frac{1}{3}, {\delta }_n=1-\frac{1}{3}-{\alpha }_n, \gamma =0.001,{\eta }_i=1, i=1, {\sigma }_n=\frac{2n}{100n+1};$ for (4), we take ${\beta }_n=\frac{2n}{100n+1}.$ The maximum number of allowed iterations is set to be 1000. We compare the quality of the restored image using the signal-to-noise ratio defined as

$$SNR=20\times {log}_{10}\left(\frac{{\parallel x\parallel }_2}{\parallel x-x^{*}{\parallel }_2}\right),$$

where x is the original image and $x^{*}$ is the restored image. Typically, the larger the $SNR$, the better the quality of the restored image. Figure 3 and Figure 4 show the reconstructed images using the iterative algorithms. In Figure 5 and Figure 6, we show the graphs of SNR against number of iterations for each algorithm. In

Table 3. Time (seconds) for computing the recovered images in Example 3.

	Moon	Cameraman
UJO alg. (17)	10.2275	20.3075
ZMD alg. (6)	11.8521	39.2120
Song alg. (5)	10.0642	20.1219
AR alg. (4)	12.2164	21.4980

, we show the time taken by each iteration for reconstruction of the test images.

From Figure 3 and Figure 4, it can be seen that all the algorithms are efficient for restoring the test images. Moreover, from Table 3, the proposed iteration (17) is faster than (4) and (6) with respect to the time taken for restoring the cameraman and tree images.

5. Conclusions

In this paper, we introduced a new generalized explicit iterative method for solving generalized split feasibility problems in real Banach spaces. The algorithm is designed such that it is stepsize chosen self-adaptively and does not require the prior knowledge of the norm of the bounded linear operator, which is difficult to estimate in general. Furthermore, a strong convergence result is proved and some numerical examples are presented to illustrate the performance of the proposed method. In addition, the algorithm is applied to an image reconstruction problem to show its usefulness and efficiency.