• Research
• Open Access

# Hybrid shrinking iterative solutions to convex feasibility problems for countable families of relatively nonexpansive mappings and a system of generalized mixed equilibrium problems

Fixed Point Theory and Applications20142014:148

https://doi.org/10.1186/1687-1812-2014-148

• Accepted: 13 June 2014
• Published:

## Abstract

We propose a new hybrid shrinking iterative scheme for approximating common elements of the set of solutions to convex feasibility problems for countable families of relatively nonexpansive mappings of a set of solutions to a system of generalized mixed equilibrium problems. A strong convergence theorem is established in the framework of Banach spaces. The results extend those of other authors, in which the involved mappings consist of just finitely many ones.

MSC:47H09, 47H10, 47J25.

## Keywords

• relatively nonexpansive mappings
• hybrid iteration scheme
• convex feasibility problems
• generalized mixed equilibrium problems

## 1 Introduction

Throughout this paper we assume that E is a real Banach space with its dual ${E}^{\ast }$, C is a nonempty, closed, convex subset of E, and $J:E\to {2}^{{E}^{\ast }}$ is the normalized duality mapping defined by
$Jx=\left\{f\in {E}^{\ast }:〈x,f〉={\parallel x\parallel }^{2}={\parallel f\parallel }^{2}\right\},\phantom{\rule{1em}{0ex}}\mathrm{\forall }x\in E.$
(1.1)
In the sequel, we use $F\left(T\right)$ to denote the set of fixed points of a mapping T. A point p in C is said to be an asymptotic fixed point of T if C contains a sequence $\left\{{x}_{n}\right\}$ which converges weakly to p such that the ${lim}_{n\to \mathrm{\infty }}\left({x}_{n}-T{x}_{n}\right)=0$. The set of asymptotic fixed points of T will be denoted by $\stackrel{ˆ}{F}\left(T\right)$. A mapping $T:C\to C$ is said to be nonexpansive if
$\parallel Tx-Ty\parallel \le \parallel x-y\parallel ,\phantom{\rule{1em}{0ex}}\mathrm{\forall }x,y\in C.$
(1.2)
A mapping $T:C\to C$ is said to be relatively nonexpansive if $F\left(T\right)=\stackrel{ˆ}{F}\left(T\right)\ne \mathrm{\varnothing }$ and
$\varphi \left(p,Tx\right)\le \varphi \left(p,x\right),\phantom{\rule{1em}{0ex}}\mathrm{\forall }x\in C,p\in F\left(T\right),$
(1.3)
where $\varphi :E×E\to {\mathbb{R}}^{1}$ denotes the Lyapunov functional defined by
$\varphi \left(x,y\right)={\parallel x\parallel }^{2}-2〈x,Jy〉+{\parallel y\parallel }^{2},\phantom{\rule{1em}{0ex}}\mathrm{\forall }x,y\in E.$
(1.4)
It is obvious from the definition of ϕ that
${\left(\parallel x\parallel -\parallel y\parallel \right)}^{2}\le \varphi \left(x,y\right)\le {\left(\parallel x\parallel +\parallel y\parallel \right)}^{2},$
(1.5)
$\varphi \left(x,y\right)=\varphi \left(x,z\right)+\varphi \left(z,y\right)+2〈x-z,Jz-Jy〉,$
(1.6)
and
$\varphi \left(x,y\right)=〈x,Jx-Jy〉+〈y-x,Jy〉\le \parallel x\parallel \parallel Jx-Jy\parallel +\parallel y-x\parallel \parallel y\parallel .$
(1.7)
The asymptotic behavior of a relatively nonexpansive mapping was studied in [14]. In 1953, Mann [5] introduced the iteration as follows: a sequence $\left\{{x}_{n}\right\}$ is defined by
${x}_{n+1}={\alpha }_{n}{x}_{n}+\left(1-{\alpha }_{n}\right)T{x}_{n},$
(1.8)
where the initial element ${x}_{0}\in C$ is arbitrary and $\left\{{\alpha }_{n}\right\}$ is a sequence of real numbers in $\left[0,1\right]$. The Mann iteration has been extensively investigated for nonexpansive mappings. One of the fundamental convergence results was proved by Reich [6]. In an infinite-dimensional Hilbert space, a Mann iteration can yield only weak convergence (see [7, 8]). Attempts to modify the Mann iteration method (1.8) so that strong convergence is guaranteed have recently been made. Nakajo and Takahashi [9] proposed the following modification of Mann iteration method (1.8) for a nonexpansive mapping T from C into itself in a Hilbert space: from an arbitrary ${x}_{0}\in C$,
$\left\{\begin{array}{l}{y}_{n}={\alpha }_{n}{x}_{n}+\left(1-{\alpha }_{n}\right)T{x}_{n},\\ {C}_{n}=\left\{z\in C:\parallel {y}_{n}-z\parallel \le \parallel {x}_{n}-z\parallel \right\},\\ {Q}_{n}=\left\{z\in C:〈{x}_{n}-z,{x}_{0}-{x}_{n}〉\ge 0\right\},\\ {x}_{n+1}={P}_{{C}_{n}\cap {Q}_{n}}{x}_{0},\phantom{\rule{1em}{0ex}}\mathrm{\forall }n\in \mathbb{N}\cup \left\{0\right\},\end{array}$
(1.9)

where ${P}_{K}$ denotes the metric projection from a Hilbert space H onto a closed convex subset K of H and proved that the sequence $\left\{{x}_{n}\right\}$ converges strongly to ${P}_{F\left(T\right)}{x}_{0}$. A projection onto the intersection of two half-spaces is computed by solving a linear system of two equations with two unknowns (see [[10], Section 3]).

Let $\theta :C×C\to {\mathbb{R}}^{1}$ be a bifunction, $\psi :C\to {\mathbb{R}}^{1}$ a real-valued function, and $B:C\to {E}^{\ast }$ a nonlinear mapping. The so-called generalized mixed equilibrium problem $\left(GMEP\right)$ is to find an $u\in C$ such that
$\theta \left(u,y\right)+〈y-u,Bu〉+\psi \left(y\right)-\psi \left(u\right)\ge 0,\phantom{\rule{1em}{0ex}}\mathrm{\forall }y\in C,$
(1.10)

whose set of solutions is denoted by $\mathrm{\Omega }\left(\theta ,B,\psi \right)$.

The equilibrium problem is a unifying model for several problems arising in physics, engineering, science optimization, economics, transportation, network and structural analysis, Nash equilibrium problems in noncooperative games, and others. It has been shown that variational inequalities and mathematical programming problems can be viewed as a special realization of the abstract equilibrium problems. Many authors have proposed some useful methods to solve the EP (equilibrium problem), GEP (generalized equilibrium problem), MEP (mixed equilibrium problem), and GMEP.

In 2007, Plubtieng and Ungchittrakool [11] established strong convergence theorems for a common fixed point of two relatively nonexpansive mappings in a Banach space by using the following hybrid method in mathematical programming:
$\left\{\begin{array}{l}{x}_{0}=x\in C,\\ {y}_{n}={J}^{-1}\left[{\alpha }_{n}J{x}_{n}+\left(1-{\alpha }_{n}\right)J{z}_{n}\right],\\ {z}_{n}={J}^{-1}\left[{\beta }_{n}^{\left(1\right)}J{x}_{n}+{\beta }_{n}^{\left(2\right)}JT{x}_{n}+{\beta }_{n}^{\left(3\right)}JS{x}_{n}\right],\\ {H}_{n}=\left\{z\in C:\varphi \left(z,{y}_{n}\right)\le \varphi \left(z,{x}_{n}\right)\right\},\\ {W}_{n}=\left\{z\in C:〈{x}_{n}-z,Jx-Jy〉\ge 0\right\},\\ {x}_{n+1}={P}_{{H}_{n}\cap {W}_{n}}x,\phantom{\rule{1em}{0ex}}\mathrm{\forall }n\in \mathbb{N}\cup \left\{0\right\}.\end{array}$
(1.11)

Their results extended and improved the corresponding ones announced by Nakajo and Takahashi [9], Martinez-Yanes and Xu [12], and Matsushita and Takahashi [4].

Recently, Su and Qin [13] modified iteration (1.9), the so-called monotone CQ method for nonexpansive mapping, as follows: from an arbitrary ${x}_{0}\in C$,
$\left\{\begin{array}{l}{y}_{n}={\alpha }_{n}{x}_{n}+\left(1-{\alpha }_{n}\right)T{x}_{n},\\ {C}_{0}=\left\{z\in C:\parallel {y}_{0}-z\parallel \le \parallel {x}_{0}-z\parallel \right\},\phantom{\rule{2em}{0ex}}{Q}_{0}=C,\\ {C}_{n}=\left\{z\in {C}_{n-1}\cap {Q}_{n-1}:\parallel {y}_{n}-z\parallel \le \parallel {x}_{n}-z\parallel \right\},\\ {Q}_{n}=\left\{z\in {C}_{n-1}\cap {Q}_{n-1}:〈{x}_{n}-z,{x}_{0}-{x}_{n}〉\ge 0\right\},\\ {x}_{n+1}={P}_{{C}_{n}\cap {Q}_{n}}{x}_{0},\phantom{\rule{1em}{0ex}}\mathrm{\forall }n\in \mathbb{N}\cup \left\{0\right\},\end{array}$
(1.12)

and proved that the sequence $\left\{{x}_{n}\right\}$ converges strongly to ${P}_{F\left(T\right)}{x}_{0}$.

Inspired and motivated by the studies mentioned above, in this paper, we use a modified hybrid iteration scheme for approximating common elements of the set of solutions to convex feasibility problem for a countable families of relatively nonexpansive mappings, of set of solutions to a system of generalized mixed equilibrium problems. A strong convergence theorem is established in the framework of Banach spaces. The results extend those of the authors, in which the involved mappings consist of just finitely many ones.

## 2 Preliminaries

We say that E is strictly convex if the following implication holds for $x,y\in E$:
$\parallel x\parallel =\parallel y\parallel =1,\phantom{\rule{2em}{0ex}}x\ne y\phantom{\rule{1em}{0ex}}⇒\phantom{\rule{1em}{0ex}}\parallel \frac{x+y}{2}\parallel <1.$
(2.1)
It is also said to be uniformly convex if for any $ϵ>0$, there exists $\delta >0$ such that
$\parallel x\parallel =\parallel y\parallel =1,\phantom{\rule{2em}{0ex}}\parallel x-y\parallel \ge ϵ\phantom{\rule{1em}{0ex}}⇒\phantom{\rule{1em}{0ex}}\parallel \frac{x+y}{2}\parallel \le 1-\delta .$
(2.2)
It is well known that if E is a uniformly convex Banach space, then E is reflexive and strictly convex. A Banach space E is said to be smooth if
$\underset{t\to 0}{lim}\frac{\parallel x+ty\parallel -\parallel x\parallel }{t}$
(2.3)

exists for each $x,y\in S\left(E\right):=\left\{x\in E:\parallel x\parallel =1\right\}$. E is said to be uniformly smooth if the limit (2.3) is attained uniformly for $x,y\in S\left(E\right)$.

Following Alber [14], the generalized projection ${P}_{C}:E\to C$ is defined by
${P}_{C}=arg\underset{y\in C}{inf}\varphi \left(y,x\right),\phantom{\rule{1em}{0ex}}\mathrm{\forall }x\in E.$
(2.4)

Lemma 2.1 [14]

Let E be a smooth, strictly convex and reflexive Banach space and C be a nonempty, closed, convex subset of E. Then the following conclusions hold:
1. (1)

$\varphi \left(x,{P}_{C}y\right)+\varphi \left({P}_{C}y,y\right)\le \varphi \left(x,y\right)$ for all $x\in C$ and $y\in E$.

2. (2)

If $x\in E$ and $z\in C$, then $z={P}_{C}x⇔〈z-y,Jx-Jz〉\ge 0$, $\mathrm{\forall }y\in C$.

3. (3)

For $x,y\in E$, $\varphi \left(x,y\right)=0$ if and only if $x=y$.

Lemma 2.2 [15]

Let E be a uniformly convex and smooth Banach space and let $r>0$. Then there exists a continuous, strictly increasing, and convex function $h:\left[0,2r\right]\to \left[0,\mathrm{\infty }\right)$ such that $h\left(0\right)=0$ and
$h\left(\parallel x\parallel -\parallel y\parallel \right)\le \varphi \left(x,y\right)$
(2.5)

for all $x,y\in {B}_{r}:=\left\{z\in E:\parallel z\parallel \le r\right\}$.

Lemma 2.3 [16]

Let E be a uniformly convex and smooth Banach space and let $\left\{{x}_{n}\right\}$ and $\left\{{y}_{n}\right\}$ be two sequences of E. If $\varphi \left({x}_{n},{y}_{n}\right)\to 0$, where ϕ is the function defined by (1.4), and either $\left\{{x}_{n}\right\}$ or $\left\{{y}_{n}\right\}$ is bounded, then $\parallel {x}_{n}-{y}_{n}\parallel \to 0$.

Remark 2.4 The following basic properties for a Banach space E can be found in Cioranescu [17].
1. (i)

If E is uniformly smooth, then J is uniformly continuous on each bounded subset of E.

2. (ii)

If E is reflexive and strictly convex, then ${J}^{-1}$ is norm-weak-continuous.

3. (iii)

If E is a smooth, strictly convex and reflexive Banach space, then the normalized duality mapping $J:E\to {2}^{{E}^{\ast }}$ is single valued, one-to-one, and onto.

4. (iv)

A Banach space E is uniformly smooth if and only if ${E}^{\ast }$ is uniformly convex.

5. (v)

Each uniformly convex Banach space E has the Kadec-Klee property, i.e., for any sequence $\left\{{x}_{n}\right\}\subset E$, if ${x}_{n}⇀x\in E$ and $\parallel {x}_{n}\parallel \to \parallel x\parallel$, then ${x}_{n}\to x$ as $n\to \mathrm{\infty }$.

Lemma 2.5 [18]

Let E be a real uniformly convex Banach space and let ${B}_{r}\left(0\right)$ be the closed ball of E with center at the origin and radius $r>0$. Then there exists a continuous strictly increasing convex function $g:\left[0,\mathrm{\infty }\right)\to \left[0,\mathrm{\infty }\right)$ with $g\left(0\right)=0$ such that
${\parallel \lambda x+\mu y+\gamma z\parallel }^{2}\le \lambda {\parallel x\parallel }^{2}+\mu {\parallel y\parallel }^{2}+\gamma {\parallel z\parallel }^{2}-\lambda \mu g\left(\parallel x-y\parallel \right)$
(2.6)

for all $x,y,z\in {B}_{r}\left(0\right)$ and $\lambda ,\mu ,\gamma \in \left[0,1\right]$ with $\lambda +\mu +\gamma =1$.

Lemma 2.6 [19]

The unique solutions to the positive integer equation
$n={i}_{n}+\frac{\left({m}_{n}-1\right){m}_{n}}{2},\phantom{\rule{1em}{0ex}}{m}_{n}\ge {i}_{n},n=1,2,3,\dots$
(2.7)
are
${i}_{n}=n-\frac{\left({m}_{n}-1\right){m}_{n}}{2},\phantom{\rule{1em}{0ex}}{m}_{n}=-\left[\frac{1}{2}-\sqrt{2n+\frac{1}{4}}\right],n=1,2,3,\dots ,$
(2.8)

where $\left[x\right]$ denotes the maximal integer that is not larger than x.

## 3 Main results

Theorem 3.1 Let E be a real uniformly smooth and strictly convex Banach space, and C be a nonempty, closed, convex subset of E. Let $\left\{{T}_{i}\right\}:C\to C$ and $\left\{{S}_{i}\right\}:C\to C$ be two sequences of relatively nonexpansive mappings with $F:={\bigcap }_{i=1}^{\mathrm{\infty }}\left(F\left({T}_{i}\right)\cap F\left({S}_{i}\right)\right)\ne \mathrm{\varnothing }$. Let $\left\{{x}_{n}\right\}$ be the sequence generated by
$\left\{\begin{array}{l}{x}_{0}=x\in C,\phantom{\rule{2em}{0ex}}{H}_{-1}={W}_{-1}=C,\\ {y}_{n}={J}^{-1}\left[{\lambda }_{n}J{x}_{n}+\left(1-{\lambda }_{n}\right)J{z}_{n}\right],\\ {z}_{n}={J}^{-1}\left[{\alpha }_{n}J{x}_{n}+{\beta }_{n}J{T}_{{i}_{n}}{x}_{n}+{\gamma }_{n}J{S}_{{i}_{n}}{x}_{n}\right],\\ {H}_{n}=\left\{z\in {H}_{n-1}\cap {W}_{n-1}:\varphi \left(z,{y}_{n}\right)\le \varphi \left(z,{x}_{n}\right)\right\},\\ {W}_{n}=\left\{z\in {H}_{n-1}\cap {W}_{n-1}:〈{x}_{n}-z,Jx-Jy〉\ge 0\right\},\\ {x}_{n+1}={P}_{{H}_{n}\cap {W}_{n}}x,\phantom{\rule{1em}{0ex}}\mathrm{\forall }n\in \mathbb{N}\cup \left\{0\right\},\end{array}$
(3.1)
where $\left\{{\lambda }_{n}\right\}$, $\left\{{\alpha }_{n}\right\}$, $\left\{{\beta }_{n}\right\}$, and $\left\{{\gamma }_{n}\right\}$ are sequences in $\left[0,1\right]$ satisfying
1. (1)

$0\le {\lambda }_{n}<1$, $\mathrm{\forall }n\in \mathbb{N}\cup \left\{0\right\}$; ${lim sup}_{n\to \mathrm{\infty }}{\lambda }_{n}<1$;

2. (2)

${\alpha }_{n}+{\beta }_{n}+{\gamma }_{n}=1$; ${lim}_{n\to \mathrm{\infty }}{\alpha }_{n}=0$ and ${lim inf}_{n\to \mathrm{\infty }}{\beta }_{n}{\gamma }_{n}>0$;

and ${i}_{n}$ is the solution to the positive integer equation $n={i}_{n}+\frac{\left({m}_{n}-1\right){m}_{n}}{2}$ (${m}_{n}\ge {i}_{n}$, $n=1,2,\dots$), that is, for each $n\ge 1$, there exists a unique ${i}_{n}$ such that
$\begin{array}{c}{i}_{1}=1,\phantom{\rule{2em}{0ex}}{i}_{2}=1,\phantom{\rule{2em}{0ex}}{i}_{3}=2,\phantom{\rule{2em}{0ex}}{i}_{4}=1,\phantom{\rule{2em}{0ex}}{i}_{5}=2,\phantom{\rule{2em}{0ex}}{i}_{6}=3,\hfill \\ {i}_{7}=1,\phantom{\rule{2em}{0ex}}{i}_{8}=2,\phantom{\rule{2em}{0ex}}{i}_{9}=3,\phantom{\rule{2em}{0ex}}{i}_{10}=4,\phantom{\rule{2em}{0ex}}{i}_{11}=1,\phantom{\rule{2em}{0ex}}\dots .\hfill \end{array}$

Then $\left\{{x}_{n}\right\}$ converges strongly to ${P}_{F}x$, where ${P}_{F}x$ is the generalized projection from C onto F.

Proof We divide the proof into several steps.
1. (I)

${H}_{n}$ and ${W}_{n}$ ($\mathrm{\forall }n\in \mathbb{N}\cup \left\{0\right\}$) both are closed and convex subsets in C.

This follows from the fact that $\varphi \left(z,{y}_{n}\right)\le \varphi \left(z,{x}_{n}\right)$ is equivalent to
$2〈z,J{x}_{n}-J{y}_{n}〉\le {\parallel {x}_{n}\parallel }^{2}-{\parallel {y}_{n}\parallel }^{2}.$
(3.2)

(II) F is a subset of ${\bigcap }_{n=0}^{\mathrm{\infty }}\left({H}_{n}\cap {W}_{n}\right)$.

In fact, we note by [[4], Proposition 2.4] that for each $i\ge 1$, $F\left({S}_{i}\right)$ and $F\left({T}_{i}\right)$ are closed convex sets and so is F. It is clear that $F\subset C={H}_{-1}\cap {W}_{-1}$. Suppose that $F\subset {C}_{n-1}\cap {Q}_{n-1}$ for some $n\in \mathbb{N}$. For any $u\in F$, by the convexity of ${\parallel \cdot \parallel }^{2}$, we have
$\begin{array}{rcl}\varphi \left(u,{z}_{n}\right)& =& \varphi \left(u,{J}^{-1}\left[{\alpha }_{n}J{x}_{n}+{\beta }_{n}J{T}_{{i}_{n}}{x}_{n}+{\gamma }_{n}J{S}_{{i}_{n}}{x}_{n}\right]\right)\\ =& {\parallel u\parallel }^{2}-2〈u,{\alpha }_{n}J{x}_{n}+{\beta }_{n}J{T}_{{i}_{n}}{x}_{n}+{\gamma }_{n}J{S}_{{i}_{n}}{x}_{n}〉\\ +{\parallel {\alpha }_{n}J{x}_{n}+{\beta }_{n}J{T}_{{i}_{n}}{x}_{n}+{\gamma }_{n}J{S}_{{i}_{n}}{x}_{n}\parallel }^{2}\\ \le & {\parallel u\parallel }^{2}-2{\alpha }_{n}〈u,J{x}_{n}〉-2{\beta }_{n}〈u,J{T}_{{i}_{n}}{x}_{n}〉-2{\gamma }_{n}〈u,J{S}_{{i}_{n}}{x}_{n}〉\\ +{\alpha }_{n}{\parallel {x}_{n}\parallel }^{2}+{\beta }_{n}{\parallel {T}_{{i}_{n}}{x}_{n}\parallel }^{2}+{\gamma }_{n}{\parallel {S}_{{i}_{n}}{x}_{n}\parallel }^{2}\\ =& {\alpha }_{n}\varphi \left(u,{x}_{n}\right)+{\beta }_{n}\varphi \left(u,{T}_{{i}_{n}}{x}_{n}\right)+{\gamma }_{n}\varphi \left(u,{S}_{{i}_{n}}{x}_{n}\right)\\ \le & {\alpha }_{n}\varphi \left(u,{x}_{n}\right)+{\beta }_{n}\varphi \left(u,{x}_{n}\right)+{\gamma }_{n}\varphi \left(u,{x}_{n}\right)\\ =& \varphi \left(u,{x}_{n}\right),\end{array}$
(3.3)
and then
$\begin{array}{rcl}\varphi \left(u,{y}_{n}\right)& =& \varphi \left(u,{J}^{-1}\left[{\lambda }_{n}J{x}_{n}+\left(1-{\lambda }_{n}\right)J{z}_{n}\right]\right)\\ =& {\parallel u\parallel }^{2}-2〈u,{\lambda }_{n}J{x}_{n}+\left(1-{\lambda }_{n}\right)J{z}_{n}〉+{\parallel {\lambda }_{n}J{x}_{n}+\left(1-{\lambda }_{n}\right)J{z}_{n}\parallel }^{2}\\ \le & {\parallel u\parallel }^{2}-2{\lambda }_{n}〈u,J{x}_{n}〉-2\left(1-{\lambda }_{n}\right)〈u,J{z}_{n}〉+{\lambda }_{n}{\parallel {x}_{n}\parallel }^{2}+\left(1-{\lambda }_{n}\right){\parallel {z}_{n}\parallel }^{2}\\ =& {\lambda }_{n}\left({\parallel u\parallel }^{2}-2〈u,J{x}_{n}〉+{\parallel {x}_{n}\parallel }^{2}\right)+\left(1-{\lambda }_{n}\right)\left({\parallel u\parallel }^{2}-2〈u,J{z}_{n}〉+{\parallel {z}_{n}\parallel }^{2}\right)\\ =& {\lambda }_{n}\varphi \left(u,{x}_{n}\right)+\left(1-{\lambda }_{n}\right)\varphi \left(u,{z}_{n}\right)\\ \le & {\lambda }_{n}\varphi \left(u,{x}_{n}\right)+\left(1-{\lambda }_{n}\right)\varphi \left(u,{x}_{n}\right)\\ =& \varphi \left(u,{x}_{n}\right).\end{array}$
(3.4)
This implies that $F\subset {H}_{n}$. It follows from ${x}_{n}={P}_{{H}_{n-1}\cap {W}_{n-1}}x$ and Lemma 2.1(2) that
$〈{x}_{n}-z,Jx-J{x}_{n}〉\ge 0,\phantom{\rule{1em}{0ex}}\mathrm{\forall }z\in {H}_{n-1}\cap {W}_{n-1}.$
(3.5)
Particularly,
$〈{x}_{n}-z,Jx-J{x}_{n}〉\ge 0,\phantom{\rule{1em}{0ex}}\mathrm{\forall }u\in F,$
(3.6)
and hence $F\subset {W}_{n}$, which yields $F\subset {H}_{n}\cap {W}_{n}$. By induction, $F\subset {\bigcap }_{n=0}^{\mathrm{\infty }}\left({H}_{n}\cap {W}_{n}\right)$.
1. (III)

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

In view of ${x}_{n+1}={P}_{{H}_{n}\cap {W}_{n}}x\in {H}_{n}$ and the definition of ${H}_{n}$, we also have
$\varphi \left({x}_{n+1},{y}_{n}\right)\le \varphi \left({x}_{n+1},{x}_{n}\right),\phantom{\rule{1em}{0ex}}\mathrm{\forall }n\in \mathbb{N}.$
(3.7)
This implies that
$\underset{n\to \mathrm{\infty }}{lim}\varphi \left({x}_{n+1},{y}_{n}\right)=\underset{n\to \mathrm{\infty }}{lim}\varphi \left({x}_{n+1},{x}_{n}\right)=0.$
(3.8)
It follows from Lemma 2.2 that
$\underset{n\to \mathrm{\infty }}{lim}\parallel {x}_{n+1}-{y}_{n}\parallel =\underset{n\to \mathrm{\infty }}{lim}\parallel {x}_{n+1}-{x}_{n}\parallel =0.$
(3.9)
Since J is uniformly norm-to-norm continuous on bounded sets, we have
$\underset{n\to \mathrm{\infty }}{lim}\parallel J{x}_{n+1}-J{y}_{n}\parallel =\underset{n\to \mathrm{\infty }}{lim}\parallel J{x}_{n+1}-J{x}_{n}\parallel =0$
(3.10)
and
$\parallel J{x}_{n+1}-J{y}_{n}\parallel \ge \left(1-{\lambda }_{n}\right)\parallel J{x}_{n+1}-J{z}_{n}\parallel -{\lambda }_{n}\parallel J{x}_{n+1}-J{x}_{n}\parallel ,\phantom{\rule{1em}{0ex}}\mathrm{\forall }n\in \mathbb{N}\cup \left\{0\right\}.$
(3.11)
This implies that
$\begin{array}{rcl}\parallel J{x}_{n+1}-J{z}_{n}\parallel & \le & \frac{1}{1-{\lambda }_{n}}\left(\parallel J{x}_{n+1}-J{y}_{n}\parallel +{\lambda }_{n}\parallel J{x}_{n+1}-J{x}_{n}\parallel \right)\\ \le & \frac{1}{1-{\lambda }_{n}}\left(\parallel J{x}_{n+1}-J{y}_{n}\parallel +\parallel J{x}_{n+1}-J{x}_{n}\parallel \right).\end{array}$
(3.12)
From (3.10) and ${lim sup}_{n\to \mathrm{\infty }}{\lambda }_{n}<1$, we have ${lim}_{n\to \mathrm{\infty }}\parallel J{x}_{n+1}-J{z}_{n}\parallel =0$. Since ${J}^{-1}$ is also uniformly norm-to-norm continuous on bounded sets, we obtain
$\underset{n\to \mathrm{\infty }}{lim}\parallel {x}_{n+1}-{z}_{n}\parallel =\underset{n\to \mathrm{\infty }}{lim}\parallel {J}^{-1}\left(J{x}_{n+1}\right)-{J}^{-1}\left(J{z}_{n}\right)\parallel =0.$
(3.13)
From $\parallel {x}_{n}-{z}_{n}\parallel \le \parallel {x}_{n}-{x}_{n+1}\parallel +\parallel {x}_{n+1}-{z}_{n}\parallel$ we have ${lim}_{n\to \mathrm{\infty }}\parallel {x}_{n}-{z}_{n}\parallel =0$. Since $\left\{{x}_{n}\right\}$ is bounded, $\varphi \left(p,{T}_{{i}_{n}}{x}_{n}\right)\le \varphi \left(p,{x}_{n}\right)$ and $\varphi \left(p,{S}_{{i}_{n}}{x}_{n}\right)\le \varphi \left(p,{x}_{n}\right)$ for any $p\in F$. We also find that $\left\{J{x}_{n}\right\}$, $\left\{J{T}_{{i}_{n}}{x}_{n}\right\}$ and $\left\{J{S}_{{i}_{n}}{x}_{n}\right\}$ are bounded, and then there exists an $r>0$ such that $\left\{J{x}_{n}\right\},\left\{J{T}_{{i}_{n}}{x}_{n}\right\},\left\{J{S}_{{i}_{n}}{x}_{n}\right\}\subset {B}_{r}\left(0\right)$. Therefore Lemma 2.5 is applicable and we observe that
$\begin{array}{rcl}\varphi \left(p,{z}_{n}\right)& =& {\parallel p\parallel }^{2}-2〈p,{\alpha }_{n}J{x}_{n}+{\beta }_{n}J{T}_{{i}_{n}}{x}_{n}+{\gamma }_{n}J{S}_{{i}_{n}}{x}_{n}〉\\ +{\parallel {\alpha }_{n}J{x}_{n}+{\beta }_{n}J{T}_{{i}_{n}}{x}_{n}+{\gamma }_{n}J{S}_{{i}_{n}}{x}_{n}\parallel }^{2}\\ \le & {\parallel p\parallel }^{2}-2{\alpha }_{n}〈p,J{x}_{n}〉-2{\beta }_{n}〈p,J{T}_{{i}_{n}}{x}_{n}〉-2{\gamma }_{n}〈p,J{S}_{{i}_{n}}{x}_{n}〉\\ +{\alpha }_{n}{\parallel {x}_{n}\parallel }^{2}+{\beta }_{n}{\parallel {T}_{{i}_{n}}{x}_{n}\parallel }^{2}+{\gamma }_{n}{\parallel {S}_{{i}_{n}}{x}_{n}\parallel }^{2}-{\beta }_{n}{\gamma }_{n}g\left(\parallel J{T}_{{i}_{n}}{x}_{n}-J{S}_{{i}_{n}}{x}_{n}\parallel \right)\\ =& {\alpha }_{n}\varphi \left(p,{x}_{n}\right)+{\beta }_{n}\varphi \left(p,{T}_{{i}_{n}}{x}_{n}\right)+{\gamma }_{n}\varphi \left(p,{S}_{{i}_{n}}{x}_{n}\right)-{\beta }_{n}{\gamma }_{n}g\left(\parallel J{T}_{{i}_{n}}{x}_{n}-J{S}_{{i}_{n}}{x}_{n}\parallel \right)\\ \le & \varphi \left(p,{x}_{n}\right)-{\beta }_{n}{\gamma }_{n}g\left(\parallel J{T}_{{i}_{n}}{x}_{n}-J{S}_{{i}_{n}}{x}_{n}\parallel \right).\end{array}$
(3.14)
That is,
${\beta }_{n}{\gamma }_{n}g\left(\parallel J{T}_{{i}_{n}}{x}_{n}-J{S}_{{i}_{n}}{x}_{n}\parallel \right)\le \varphi \left(p,{x}_{n}\right)-\varphi \left(p,{z}_{n}\right),$
(3.15)

where $g:\left[0,\mathrm{\infty }\right)\to \left[0,\mathrm{\infty }\right)$ is a continuous strictly convex function with $g\left(0\right)=0$.

Let $\left\{\parallel {T}_{{i}_{{n}_{k}}}{x}_{{n}_{k}}-{S}_{{i}_{{n}_{k}}}{x}_{{n}_{k}}\parallel \right\}$ be any subsequence of $\left\{\parallel {T}_{{i}_{n}}{x}_{n}-{S}_{{i}_{n}}{x}_{n}\parallel \right\}$. Since $\left\{{x}_{{n}_{k}}\right\}$ is bounded, there exists a subsequence $\left\{{x}_{{n}_{j}}\right\}$ of $\left\{{x}_{{n}_{k}}\right\}$ such that for any $p\in F$,
$\underset{j\to \mathrm{\infty }}{lim}\varphi \left(p,{x}_{{n}_{j}}\right)=\underset{k\to \mathrm{\infty }}{lim sup}\varphi \left(p,{x}_{{n}_{k}}\right):=a.$
(3.16)
From (1.6) we have
$\begin{array}{rcl}\varphi \left(p,{x}_{{n}_{j}}\right)& =& \varphi \left(p,{z}_{{n}_{j}}\right)+\varphi \left({z}_{{n}_{j}},{x}_{{n}_{j}}\right)+2〈p-{z}_{{n}_{j}},J{z}_{{n}_{j}}-J{x}_{{n}_{j}}〉\\ \le & \varphi \left(p,{z}_{{n}_{j}}\right)+\varphi \left({z}_{{n}_{j}},{x}_{{n}_{j}}\right)+M\parallel J{z}_{{n}_{j}}-J{x}_{{n}_{j}}\parallel \end{array}$
(3.17)
for some appropriate constant $M>0$. Since
$\underset{j\to \mathrm{\infty }}{lim}\varphi \left({z}_{{n}_{j}},{x}_{{n}_{j}}\right)=0=\underset{j\to \mathrm{\infty }}{lim}\parallel J{z}_{{n}_{j}}-J{x}_{{n}_{j}}\parallel ,$
(3.18)
it follows that
$a=\underset{j\to \mathrm{\infty }}{lim inf}\varphi \left(p,{x}_{{n}_{j}}\right)\le \underset{j\to \mathrm{\infty }}{lim inf}\varphi \left(p,{z}_{{n}_{j}}\right).$
(3.19)
From (3.3), we have
$\underset{j\to \mathrm{\infty }}{lim sup}\varphi \left(p,{z}_{{n}_{j}}\right)\le \underset{j\to \mathrm{\infty }}{lim sup}\varphi \left(p,{x}_{{n}_{j}}\right)=a$
(3.20)
and hence ${lim}_{j\to \mathrm{\infty }}\varphi \left(p,{x}_{{n}_{j}}\right)=a={lim}_{j\to \mathrm{\infty }}\varphi \left(p,{z}_{{n}_{j}}\right)$. By (3.15), we observe that, as $j\to \mathrm{\infty }$,
${\beta }_{{n}_{j}}{\gamma }_{{n}_{j}}g\left(\parallel J{T}_{{i}_{{n}_{j}}}{x}_{{n}_{j}}-J{S}_{{i}_{{n}_{j}}}{x}_{{n}_{j}}\parallel \right)\le \varphi \left(p,{x}_{{n}_{j}}\right)-\varphi \left(p,{z}_{{n}_{j}}\right)\to 0.$
(3.21)
Since ${lim inf}_{n\to \mathrm{\infty }}{\beta }_{n}{\gamma }_{n}>0$, it follows that ${lim}_{j\to \mathrm{\infty }}g\left(\parallel J{T}_{{i}_{{n}_{j}}}{x}_{{n}_{j}}-J{S}_{{i}_{{n}_{j}}}{x}_{{n}_{j}}\parallel \right)=0$. By the properties of the mapping g, we have ${lim}_{j\to \mathrm{\infty }}\parallel J{T}_{{i}_{{n}_{j}}}{x}_{{n}_{j}}-J{S}_{{i}_{{n}_{j}}}{x}_{{n}_{j}}\parallel =0$. Since ${J}^{-1}$ is also uniformly norm-to-norm continuous on bounded sets, we obtain
$\underset{j\to \mathrm{\infty }}{lim}\parallel {T}_{{i}_{{n}_{j}}}{x}_{{n}_{j}}-{S}_{{i}_{{n}_{j}}}{x}_{{n}_{j}}\parallel =\underset{j\to \mathrm{\infty }}{lim}\parallel {J}^{-1}\left(J{T}_{{i}_{{n}_{j}}}{x}_{{n}_{j}}\right)-{J}^{-1}\left(J{S}_{{i}_{{n}_{j}}}{x}_{{n}_{j}}\right)\parallel =0,$
(3.22)
and then ${lim}_{n\to \mathrm{\infty }}\parallel {T}_{{i}_{n}}{x}_{n}-{S}_{{i}_{n}}{x}_{n}\parallel =0$. Next, we note by the convexity of ${\parallel \cdot \parallel }^{2}$ and (1.7) that, as $n\to \mathrm{\infty }$,
$\begin{array}{rcl}\varphi \left({T}_{{i}_{n}}{x}_{n},{z}_{n}\right)& =& {\parallel {T}_{{i}_{n}}{x}_{n}\parallel }^{2}-2〈{T}_{{i}_{n}}{x}_{n},{\alpha }_{n}J{x}_{n}+{\beta }_{n}J{T}_{{i}_{n}}{x}_{n}+{\gamma }_{n}J{S}_{{i}_{n}}{x}_{n}〉\\ +{\parallel {\alpha }_{n}J{x}_{n}+{\beta }_{n}J{T}_{{i}_{n}}{x}_{n}+{\gamma }_{n}J{S}_{{i}_{n}}{x}_{n}\parallel }^{2}\\ \le & {\parallel {T}_{{i}_{n}}{x}_{n}\parallel }^{2}-2{\alpha }_{n}〈{T}_{{i}_{n}}{x}_{n},J{x}_{n}〉-2{\beta }_{n}〈{T}_{{i}_{n}}{x}_{n},J{T}_{{i}_{n}}{x}_{n}〉-2{\gamma }_{n}〈{T}_{{i}_{n}}{x}_{n},J{S}_{{i}_{n}}{x}_{n}〉\\ +{\alpha }_{n}{\parallel {x}_{n}\parallel }^{2}+{\beta }_{n}{\parallel {T}_{{i}_{n}}{x}_{n}\parallel }^{2}+{\gamma }_{n}{\parallel {S}_{{i}_{n}}{x}_{n}\parallel }^{2}\\ =& {\alpha }_{n}\varphi \left({T}_{{i}_{n}}{x}_{n},{x}_{n}\right)+{\beta }_{n}\varphi \left({T}_{{i}_{n}}{x}_{n},{S}_{{i}_{n}}{x}_{n}\right)\to 0,\end{array}$
(3.23)
since ${\alpha }_{n}\to 0$. By Lemma 2.3, we have ${lim}_{n\to \mathrm{\infty }}\parallel {T}_{{i}_{n}}{x}_{n}-{z}_{n}\parallel =0$ and hence
$\parallel {T}_{{i}_{n}}{x}_{n}-{x}_{n}\parallel \le \parallel {T}_{{i}_{n}}{x}_{n}-{z}_{n}\parallel +\parallel {z}_{n}-{x}_{n}\parallel \to 0$
(3.24)
as $n\to \mathrm{\infty }$. Moreover, we observe that
$\parallel {S}_{{i}_{n}}{x}_{n}-{x}_{n}\parallel \le \parallel {S}_{{i}_{n}}{x}_{n}-{T}_{{i}_{n}}{x}_{n}\parallel +\parallel {T}_{{i}_{n}}{x}_{n}-{x}_{n}\parallel \to 0$
(3.25)
as $n\to \mathrm{\infty }$.
1. (IV)

${x}_{n}\to {P}_{F}x$ as $n\to \mathrm{\infty }$.

It follows from the definition of ${W}_{n}$ and Lemma 2.1(2) that ${x}_{n}={P}_{{W}_{n}}x$. Since ${x}_{n+1}={P}_{{H}_{n}\cap {W}_{n}}x\in {W}_{n}$, we have
$\varphi \left({x}_{n},x\right)\le \varphi \left({x}_{n+1},x\right),\phantom{\rule{1em}{0ex}}\mathrm{\forall }n\ge 1.$
(3.26)
Therefore, $\left\{\varphi \left({x}_{n},x\right)\right\}$ is nondecreasing. Using ${x}_{n}={P}_{{W}_{n}}x$ and Lemma 2.1(1), we have
$\varphi \left({x}_{n},x\right)=\varphi \left({P}_{{W}_{n}}x,x\right)\le \varphi \left(p,x\right)-\varphi \left(p,{x}_{n}\right)\le \varphi \left(p,x\right)$
(3.27)
for all $p\in F$ and for all $n\in \mathbb{N}$, that is, $\left\{\varphi \left({x}_{n},x\right)\right\}$ is bounded. Then
(3.28)
In particular, by (1.5), the sequence $\left\{{\left(\parallel {x}_{n}\parallel -\parallel x\parallel \right)}^{2}\right\}$ is bounded. This implies that $\left\{{x}_{n}\right\}$ is bounded. Note again that ${x}_{n}={P}_{{W}_{n}}x$ and for any positive integer k, ${x}_{n+k}\in {W}_{n+k-1}\subset {W}_{n}$. By Lemma 2.1(1),
$\begin{array}{rcl}\varphi \left({x}_{n+k},{x}_{n}\right)& =& \varphi \left({x}_{n+k},{P}_{{W}_{n}}x\right)\\ \le & \varphi \left({x}_{n+k},x\right)-\varphi \left({P}_{{W}_{n}}x,x\right)\\ =& \varphi \left({x}_{n+k},x\right)-\varphi \left({x}_{n},x\right).\end{array}$
(3.29)
By Lemma 2.2, we have, for $m,n\in \mathbb{N}$ with $m>n$,
$h\left(\parallel {x}_{m}-{x}_{n}\parallel \right)\le \varphi \left({x}_{m},{x}_{n}\right)\le \varphi \left({x}_{m},x\right)-\varphi \left({x}_{n},x\right),$
(3.30)
where $h:\left[0,\mathrm{\infty }\right)\to \left[0,\mathrm{\infty }\right)$ is a continuous, strictly increasing, and convex function with $h\left(0\right)=0$. Then the properties of the function g show that $\left\{{x}_{n}\right\}$ is a Cauchy sequence in C, so there exists ${x}^{\ast }\in C$ such that
${x}_{n}\to {x}^{\ast }\phantom{\rule{1em}{0ex}}\left(n\to \mathrm{\infty }\right).$
(3.31)
Now, set ${\mathbb{N}}_{i}=\left\{k\in \mathbb{N}:k=i+\frac{\left(m-1\right)m}{2},m\ge i,m\in \mathbb{N}\right\}$ for each $i\in \mathbb{N}$. Note that ${T}_{{i}_{k}}={T}_{i}$ and ${S}_{{i}_{k}}={S}_{i}$ whenever $k\in {\mathbb{N}}_{i}$. By Lemma 2.6 and the definition of ${\mathbb{N}}_{i}$, we have ${\mathbb{N}}_{1}=\left\{1,2,4,7,11,16,\dots \right\}$ and ${i}_{1}={i}_{2}={i}_{4}={i}_{7}={i}_{11}={i}_{16}=\cdots =1$. Then it follows from (3.15) and (3.24) that
$\underset{{\mathbb{N}}_{i}\ni k\to \mathrm{\infty }}{lim}\parallel {T}_{i}{x}_{k}-{x}_{k}\parallel =\underset{{\mathbb{N}}_{i}\ni k\to \mathrm{\infty }}{lim}\parallel {S}_{i}{x}_{k}-{x}_{k}\parallel =0,\phantom{\rule{1em}{0ex}}\mathrm{\forall }i\in \mathbb{N}.$
(3.32)

It then immediately follows from (3.31) and (3.32) that ${x}^{\ast }\in F\left({T}_{i}\right)\cap F\left({S}_{i}\right)$ for each $i\in \mathbb{N}$ and hence ${x}^{\ast }\in F$.

Put $u={P}_{F}x$. Since $u\in F\subset {H}_{n}\cap {W}_{n}$ and ${x}_{n+1}={P}_{{H}_{n}\cap {W}_{n}}x$, we have $\varphi \left({x}_{n+1},x\right)\le \varphi \left(u,x\right)$, $\mathrm{\forall }n\in \mathbb{N}$. Then
$\varphi \left({x}^{\ast },x\right)=\underset{n\to \mathrm{\infty }}{lim}\varphi \left({x}_{n+1},x\right)\le \varphi \left(u,x\right),$
(3.33)

which implies that ${x}^{\ast }=u$ since $u={P}_{F}x$, and hence ${x}_{n}\to {x}^{\ast }={P}_{F}x$ as $n\to \mathrm{\infty }$. This completes the proof. □

Remark 3.2 Note that the algorithm (3.1) is based on the projection onto an intersection of two closed and convex sets. We first give an example [20] of how to compute such a projection onto the intersection of two half-spaces.

Let H be a Hilbert space and suppose that $\left(x,y,z\right)\in {H}^{3}$ satisfies
$\left\{w\in H:〈w-y,x-y〉\le 0\right\}\cap \left\{w\in H:〈w-z,y-z〉\le 0\right\}\ne \mathrm{\varnothing }.$
(3.34)
Set
$\pi =〈x-y,y-z〉,\phantom{\rule{2em}{0ex}}\mu ={\parallel x-y\parallel }^{2},\phantom{\rule{2em}{0ex}}\nu ={\parallel y-z\parallel }^{2},\phantom{\rule{2em}{0ex}}\rho =\mu \nu -{\pi }^{2},$
(3.35)
and
(3.36)
In [21], Haugazeau introduced the operator Q as an explicit description of the projector onto the intersection of the two half-spaces defined in (3.34). He proved in [21] that the sequence $\left\{{y}_{n}\right\}$ defined by ${y}_{0}=x$ and
$\left(\mathrm{\forall }n\in \mathbb{N}\right)\phantom{\rule{1em}{0ex}}{y}_{n+1}=Q\left(x,Q\left(x,{y}_{n},{P}_{B}{y}_{n}\right),{P}_{A}Q\left(x,{y}_{n},{P}_{B}{y}_{n}\right)\right)$
(3.37)

converges strongly to ${P}_{C}x$.

Since the algorithm (3.1) involves the projection onto the intersection of two convex sets not necessarily half-spaces, we next give an example [22] to explain and illustrate how the projection is calculated in the general convex case.

Dykstra’s algorithm Let ${\mathrm{\Omega }}_{1},{\mathrm{\Omega }}_{2},\dots ,{\mathrm{\Omega }}_{p}$ be closed and convex subsets of ${\mathbb{R}}^{n}$. For any $i=1,2,\dots ,p$ and ${x}^{0}\in {\mathbb{R}}^{n}$, the sequences $\left\{{x}_{i}^{k}\right\}$ are defined by the following recursive formulas:
$\left\{\begin{array}{l}{x}_{0}^{k}={x}_{p}^{k-1},\\ {x}_{i}^{k}={P}_{{\mathrm{\Omega }}_{i}}\left({x}_{i-1}^{k}-{y}_{i}^{k-1}\right),\phantom{\rule{1em}{0ex}}i=1,2,\dots ,p,\\ {y}_{i}^{k}={x}_{i}^{k}-\left({x}_{i-1}^{k}-{y}_{i}^{k-1}\right),\phantom{\rule{1em}{0ex}}i=1,2,\dots ,p,\end{array}$
(3.38)

for $k=1,2,\dots$ with initial values ${x}_{p}^{0}={x}^{0}$ and ${y}_{i}^{0}=0$ for $i=1,2,\dots ,p$. If $\mathrm{\Omega }:={\bigcap }_{i=1}^{p}{\mathrm{\Omega }}_{i}\ne \mathrm{\varnothing }$, then $\left\{{x}_{i}^{k}\right\}$ converges to ${x}^{\ast }={P}_{\mathrm{\Omega }}\left({x}^{0}\right)$, where ${P}_{\mathrm{\Omega }}\left(x\right):=arg{inf}_{y\in \mathrm{\Omega }}{\parallel y-x\parallel }^{2}$, $\mathrm{\forall }x\in {\mathbb{R}}^{n}$.

Note Another iterative method termed HAAR (Haugazeau-like Averaged Alternating Reflections) for finding the projection onto intersection of finitely many closed convex sets in a Hilbert space can be found in [[20], Remark 3.4(iii)].

## 4 Applications

The so-called convex feasibility problem for a family of mappings ${\left\{{T}_{i}\right\}}_{i=1}^{\mathrm{\infty }}$ is to find a point in the nonempty intersection ${\bigcap }_{i=1}^{\mathrm{\infty }}F\left({T}_{i}\right)$.

Note Although the problem mentioned above is indeed a convex feasibility problem, it is mainly referred to the finite case.

Let E be a smooth, strictly convex, and reflexive Banach space, and C be a nonempty, closed, convex subset of E. Let ${\left\{{B}_{i}\right\}}_{i=1}^{\mathrm{\infty }}:C\to {E}^{\ast }$ be a sequence of ${\beta }_{i}$-inverse strongly monotone mappings, ${\left\{\psi \right\}}_{i=1}^{\mathrm{\infty }}:C\to {\mathbb{R}}^{1}$ a sequence of lower semi-continuous and convex functions, and ${\left\{{\theta }_{i}\right\}}_{i=1}^{\mathrm{\infty }}:C×C\to {\mathbb{R}}^{1}$ a sequence of bifunctions satisfying the conditions:

(A1) $\theta \left(x,x\right)=0$;

(A2) θ is monotone, i.e., $\theta \left(x,y\right)+\theta \left(y,x\right)\le 0$;

(A3) $lim{sup}_{t↓0}\theta \left(x+t\left(z-x\right),y\right)\le \theta \left(x,y\right)$;

(A4) the mapping $y↦\theta \left(x,y\right)$ is convex and lower semicontinuous.

A system of generalized mixed equilibrium problems $\left(GMEP\right)$ for ${\left\{{\theta }_{i}\right\}}_{i=1}^{\mathrm{\infty }}$, ${\left\{{B}_{i}\right\}}_{i=1}^{\mathrm{\infty }}$ and ${\left\{{\psi }_{i}\right\}}_{i=1}^{\mathrm{\infty }}$ is to find an ${x}^{\ast }\in C$ such that
${\theta }_{i}\left({x}^{\ast },y\right)+〈y-{x}^{\ast },{B}_{i}{x}^{\ast }〉+{\psi }_{i}\left(y\right)-{\psi }_{i}\left({x}^{\ast }\right)\ge 0,\phantom{\rule{1em}{0ex}}\mathrm{\forall }y\in C,i\in \mathbb{N},$
(4.1)

whose set of common solutions is denoted by $\mathrm{\Omega }:={\bigcap }_{i=1}^{\mathrm{\infty }}{\mathrm{\Omega }}_{i}$, where ${\mathrm{\Omega }}_{i}$ denotes the set of solutions to generalized mixed equilibrium problem for ${\theta }_{i}$, ${B}_{i}$, and ${\psi }_{i}$.

Define a countable family of mappings ${\left\{{S}_{r,i}\right\}}_{i=1}^{\mathrm{\infty }}:E\to C$ with $r>0$ as follows:
${S}_{r,i}\left(x\right)=\left\{z\in C:{\tau }_{i}\left(z,y\right)+\frac{1}{r}〈y-z,Jz-Jx〉\ge 0,\mathrm{\forall }y\in C\right\},\phantom{\rule{1em}{0ex}}\mathrm{\forall }i\in \mathbb{N},$
(4.2)
where ${\tau }_{i}\left(x,y\right)={\theta }_{i}\left(x,y\right)+〈y-x,{B}_{i}x〉+{\psi }_{i}\left(y\right)-{\psi }_{i}\left(x\right)$, $\mathrm{\forall }x,y\in C$, $i\in \mathbb{N}$. It has been shown by Zhang [23] that
1. (1)

${\left\{{S}_{r,i}\right\}}_{i=1}^{\mathrm{\infty }}$ is a sequence of single-valued mappings;

2. (2)

${\left\{{S}_{r,i}\right\}}_{i=1}^{\mathrm{\infty }}$ is a sequence of closed relatively nonexpansive mappings;

3. (3)

${\bigcap }_{i=1}^{\mathrm{\infty }}F\left({S}_{r,i}\right)=\mathrm{\Omega }$.

Theorem 4.1 Let E be a smooth, strictly convex, and reflexive Banach space, and C be a nonempty, closed, convex subset of E. Let ${\left\{{T}_{i}\right\}}_{i=1}^{\mathrm{\infty }}:C\to C$ be a sequence of relatively nonexpansive mappings and ${\left\{{S}_{r,i}\right\}}_{i=1}^{\mathrm{\infty }}:C\to C$ be a sequence of mappings defined by (4.2) with $F:={\bigcap }_{i=1}^{\mathrm{\infty }}\left(F\left({T}_{i}\right)\cap F\left({S}_{r,i}\right)\right)\ne \mathrm{\varnothing }$. Let $\left\{{x}_{n}\right\}$ be the sequence generated by
$\left\{\begin{array}{l}{x}_{0}=x\in C,\phantom{\rule{2em}{0ex}}{H}_{-1}={W}_{-1}=C,\\ {y}_{n}={J}^{-1}\left[{\lambda }_{n}J{x}_{n}+\left(1-{\lambda }_{n}\right)J{z}_{n}\right],\\ {z}_{n}={J}^{-1}\left[{\alpha }_{n}J{x}_{n}+{\beta }_{n}J{T}_{{i}_{n}}{x}_{n}+{\gamma }_{n}J{S}_{r,{i}_{n}}{x}_{n}\right],\\ {H}_{n}=\left\{z\in {H}_{n-1}\cap {W}_{n-1}:\varphi \left(z,{y}_{n}\right)\le \varphi \left(z,{x}_{n}\right)\right\},\\ {W}_{n}=\left\{z\in {H}_{n-1}\cap {W}_{n-1}:〈{x}_{n}-z,Jx-Jy〉\ge 0\right\},\\ {x}_{n+1}={P}_{{H}_{n}\cap {W}_{n}}x,\phantom{\rule{1em}{0ex}}\mathrm{\forall }n\in \mathbb{N}\cup \left\{0\right\},\end{array}$
(4.3)
where $\left\{{\lambda }_{n}\right\}$, $\left\{{\alpha }_{n}\right\}$, $\left\{{\beta }_{n}\right\}$ and $\left\{{\gamma }_{n}\right\}$ are sequences in $\left[0,1\right]$ satisfying
1. (1)

$0\le {\lambda }_{n}<1$, $\mathrm{\forall }n\in \mathbb{N}\cup \left\{0\right\}$; ${lim sup}_{n\to \mathrm{\infty }}{\lambda }_{n}<1$;

2. (2)

${\alpha }_{n}+{\beta }_{n}+{\gamma }_{n}=1$; ${lim}_{n\to \mathrm{\infty }}{\alpha }_{n}=0$ and ${lim inf}_{n\to \mathrm{\infty }}{\beta }_{n}{\gamma }_{n}>0$;

and ${i}_{n}$ satisfies the equation $n={i}_{n}+\frac{\left({m}_{n}-1\right){m}_{n}}{2}$ (${m}_{n}\ge {i}_{n}$, $n=1,2,\dots$). Then $\left\{{x}_{n}\right\}$ converges strongly to ${P}_{F}x$, which is some common solution to the convex feasibility problem for ${\left\{{T}_{i}\right\}}_{i=1}^{\mathrm{\infty }}$ and a system of generalized mixed equilibrium problems for ${\left\{{S}_{r,i}\right\}}_{i=1}^{\mathrm{\infty }}$.

## Declarations

### Acknowledgements

The authors are very grateful to the referees for their useful suggestions, by which the contents of this article has been improved. This study is supported by the National Natural Science Foundation of China (Grant No. 11061037).

## Authors’ Affiliations

(1)
School of Statistics and Mathematics, Yunnan University of Finance and Economics, Kunming, Yunnan, 650221, P.R. China
(2)
Architectural Engineering Faculty, Kunming Metallurgy College, Kunming, Yunnan, 650033, P.R. China

## References

1. Butnariu D, Reich S, Zaslavski AJ: Asymptotic behavior of relatively nonexpansive operators in Banach spaces. J. Appl. Anal. 2001, 7: 151–174.
2. Butnariu D, Reich S, Zaslavski AJ: Weak convergence of orbits of nonlinear operators in reflexive Banach spaces. Numer. Funct. Anal. Optim. 2003, 24: 489–508. 10.1081/NFA-120023869
3. Censor Y, Reich S: Iterations of paracontractions and firmly nonexpansive operators with applications to feasibility and optimization. Optimization 1996, 37: 323–339. 10.1080/02331939608844225
4. Matsushita S, Takahashi W: A strong convergence theorem for relatively nonexpansive mappings in a Banach space. J. Approx. Theory 2005, 134: 257–266. 10.1016/j.jat.2005.02.007
5. Mann WR: Mean value methods in iteration. Proc. Am. Math. Soc. 1953, 4(3):506–510. 10.1090/S0002-9939-1953-0054846-3
6. Reich S: Weak convergence theorems for nonexpansive mappings in Banach spaces. J. Math. Anal. Appl. 1979, 67(2):274–276. 10.1016/0022-247X(79)90024-6
7. Bauschke HH, Matoušková E, Reich S: Projection and proximal point methods: convergence results and counterexamples. Nonlinear Anal., Theory Methods Appl. 2004, 56(5):715–738. 10.1016/j.na.2003.10.010
8. Genel A, Lindenstrauss J: An example concerning fixed points. Isr. J. Math. 1975, 22(1):81–86. 10.1007/BF02757276
9. Nakajo K, Takahashi W: Strong convergence theorems for nonexpansive mappings and nonexpansive semigroups. J. Math. Anal. Appl. 2003, 279(2):372–379. 10.1016/S0022-247X(02)00458-4
10. Solodov MV, Svaiter BF: Forcing strong convergence of proximal point iterations in a Hilbert space. Math. Program., Ser. A 2000, 87(1):189–202.
11. Plubtieng S, Ungchittrakool K: Strong convergence theorems for a common fixed point of two relatively nonexpansive mappings in a Banach space. J. Approx. Theory 2007, 149: 103–115. 10.1016/j.jat.2007.04.014
12. Martinez-Yanes C, Xu HK: Strong convergence of the CQ method for fixed point iteration processes. Nonlinear Anal. 2006, 64: 2400–2411. 10.1016/j.na.2005.08.018
13. Su Y, Qin X: Monotone CQ iteration processes for nonexpansive semigroups and maximal monotone operators. Nonlinear Anal., Theory Methods Appl. 2008, 68(12):3657–3664. 10.1016/j.na.2007.04.008
14. Alber YI: Metric and generalized projection operators in Banach spaces: properties and applications. In Theory and Applications of Nonlinear Operators of Accretive and Monotone Type. Edited by: Kartosator AG. Dekker, New York; 1996:15–50.Google Scholar
15. Kohsaka F, Takahashi W: Block iterative methods for a finite family of relatively nonexpansive mappings in Banach spaces. Fixed Point Theory Appl. 2007., 2007: Article ID 21972Google Scholar
16. Kamimura S, Takahashi W: Strong convergence of a proximal-type algorithm in a Banach space. SIAM J. Optim. 2002, 13: 938–945. 10.1137/S105262340139611X
17. Cioranescu I: Geometry of Banach Spaces, Duality Mappings and Nonlinear Problems. Kluwer Academic, Dordrecht; 1990.
18. Zhou HY, Guo GT, Hwang HJ, Cho YJ: On the iterative methods for nonlinear operator equations in Banach spaces. Panam. Math. J. 2004, 14: 61–68.
19. Deng W-Q, Bai P: An implicit iteration process for common fixed points of two infinite families of asymptotically nonexpansive mappings in Banach spaces. J. Appl. Math. 2013., 2013: Article ID 602582Google Scholar
20. Bauschke HH, Combettes PL, Luke DR: A strongly convergent reflection method for finding the projection onto the intersection of two closed convex sets in a Hilbert space. J. Approx. Theory 2006, 141: 63–69. 10.1016/j.jat.2006.01.003
21. Haugazeau, Y: Sur les Inéquations Variationnelles et la Minimisation de Fonctionnelles Convexes, Thèse, Université de Paris, France (1968)Google Scholar
22. Boyle JP, Dykstra RL: A method for finding projections onto the intersections of convex sets in Hilbert spaces. Lecture Notes in Statistics 37. Advances in Order Restricted Statistical Inference 1986, 28–47.
23. Zhang SS: The generalized mixed equilibrium problem in Banach space. Appl. Math. Mech. 2009, 30: 1105–1112. 10.1007/s10483-009-0904-6