# Some results on fixed points of asymptotically strict quasi-*ϕ*-pseudocontractions in the intermediate sense

- Xiaolong Qin
^{1}, - Lin Wang
^{2}Email author and - Shin Min Kang
^{3}

**2012**:143

https://doi.org/10.1186/1687-1812-2012-143

© Qin et al.; licensee Springer 2012

**Received: **16 April 2012

**Accepted: **14 August 2012

**Published: **7 September 2012

## Abstract

In this paper, a new nonlinear mapping, asymptotically strict quasi-*ϕ*-pseudocontraction in the intermediate sense, is introduced. Projection algorithms are considered for the mapping. Strong convergence theorems for fixed points of the mapping are established based on projection algorithms in a real Banach space.

**MSC:**47H09, 47J05, 47J25.

### Keywords

asymptotically quasi-*ϕ*-nonexpansive mapping in the intermediate sense asymptotically strict quasi-

*ϕ*-pseudocontraction asymptotically strict quasi-

*ϕ*-pseudocontraction in the intermediate sense fixed point

## 1 Introduction

Fixed point theory as an important branch of nonlinear analysis theory has been applied in the study of nonlinear phenomena. The theory itself is a beautiful mixture of analysis, topology, and geometry. Lots of problems arising in economics, engineering, and physics can be studied by fixed point techniques. The study of fixed point approximation algorithms for computing fixed points is now a topic of intensive research efforts. Many well-known problems can be studied by using algorithms which are iterative in their nature. As an example, in computer tomography with limited data, each piece of information implies the existence of a convex set ${C}_{m}$ in which the required solution lies. The problem of finding a point in the intersection ${\bigcap}_{m=1}^{N}{C}_{m}$, where $N\ge 1$ is some positive integer, is then of crucial interest, and it cannot be usually solved directly. Therefore, an iterative algorithm must be used to approximate such point. The well-known convex feasibility problem, which captures applications in various disciplines such as image restoration and radiation therapy treatment planning, is to find a point in the intersection of common fixed point sets of a family of nonlinear mappings, see, for example, [1–6].

For iterative algorithms, the oldest and simplest one is the Picard iterative algorithm. It is known that *T*, where *T* stands for a contractive mapping, enjoys a unique fixed point, and the sequence generated by the Picard iterative algorithm can converge to the unique fixed point. However, for more general nonexpansive mappings, the Picard iterative algorithm fails to converge to fixed points of nonexpansive mappings even when they enjoy fixed points. The Krasnoselskii-Mann iterative algorithm (one-step iterative algorithm) and the Ishikawa iterative algorithms (two-step iterative algorithm) have been studied for approximating fixed points of nonexpansive mappings and their extensions. However, both the Krasnoselskii-Mann iterative algorithm and the Ishikawa iterative algorithms are weak convergence for nonexpansive mappings only; see [7] and [8] for the classic weak convergence theorems. In many disciplines, including economics [9], image recovery [10], quantum physics [11], and control theory [12], problems arise in infinite dimension spaces. In such problems, strong convergence (norm convergence) is often much more desirable than weak convergence, for it translates the physically tangible property so that the energy $\parallel {x}_{n}-x\parallel $ of the error between the iterate ${x}_{n}$ and the solution *x* eventually becomes arbitrarily small. The importance of strong convergence is also underlined in [13], where a convex function *f* is minimized via the proximal-point algorithm: it is shown that the rate of convergence of the value sequence $\{f({x}_{n})\}$ is better when $\{{x}_{n}\}$ converges strongly than when it converges weakly. Such properties have a direct impact when the process is executed directly in the underlying infinite dimensional space. Projection methods, which were first introduced by Haugazeau [14], have been considered for the approximation of fixed points of nonexpansive mappings and their extensions. The advantage of projection methods is that strong convergence of iterative sequences can be guaranteed without any compact assumptions.

In this paper, a new class of new nonlinear mappings is introduced and studied. Based on a simple hybrid projection algorithm, a theorem of strong convergence for common fixed points is obtained. The results presented in this paper mainly improve the known corresponding results announced in the literature sources listed in this work.

The organization of this paper is as follows. In Section 2, we provide some necessary preliminaries. In Section 3, the hybrid projection algorithm is proposed and analyzed. With the help of the generalized projections, theorems of strong convergence are established. Some subresults of the main results are discussed.

## 2 Preliminaries

*H*be a real Hilbert space,

*C*a nonempty subset of

*H*, and $T:C\to C$ a nonlinear mapping. The symbol $F(T)$ stands for the fixed point set of

*T*. Recall the following.

*T*is said to be

*nonexpansive*if

*T*is said to be

*quasi-nonexpansive*if $F(T)\ne \mathrm{\varnothing}$ and

*T*is said to be

*asymptotically nonexpansive*if there exists a sequence $\{{\mu}_{n}\}\subset [0,\mathrm{\infty})$ with ${\mu}_{n}\to 0$ as $n\to \mathrm{\infty}$ such that

The class of asymptotically nonexpansive mappings was introduced by Goebel and Kirk [15]. Since 1972, a host of authors have studied the convergence of iterative algorithms for such a class of mappings.

*T*is said to be

*asymptotically quasi-nonexpansive*if $F(T)\ne \mathrm{\varnothing}$ and there exists a sequence $\{{\mu}_{n}\}\subset [0,\mathrm{\infty})$ with ${\mu}_{n}\to 0$ as $n\to \mathrm{\infty}$ such that

*T*is said to be

*asymptotically nonexpansive in the intermediate sense*if it is continuous and the following inequality holds:

The class of mappings which are asymptotically nonexpansive in the intermediate sense was considered by Bruck, Kuczumow, and Reich [16]. It is worth mentioning that the class of mappings which are asymptotically nonexpansive in the intermediate sense may not be Lipschitz continuous; see [16–18].

*T*is said to be

*asymptotically quasi-nonexpansive in the intermediate sense*if $F(T)\ne \mathrm{\varnothing}$ and the following inequality holds:

*T*is said to be

*strictly pseudocontractive*if there exists a constant $\kappa \in [0,1)$ such that

The class of strictly pseudocontractive mappings was introduced by Browder and Petryshyn [19]. It is easy to see that the class of strictly pseudocontractive mappings includes the class of nonexpansive mappings as a special case. In 2007, Marino and Xu [20] proved that the fixed point set of strict pseudocontractions is closed and convex. They also obtained a strong convergence theorem for fixed points of the class of mappings based on hybrid projection algorithms; see [20] for more details.

*T*is said to be

*strictly quasi-pseudocontractive*if $F(T)\ne \mathrm{\varnothing}$ and there exists a constant $\kappa \in [0,1)$ such that

*T*is said to be an

*asymptotically strict pseudocontraction*if there exist a constant $\kappa \in [0,1)$ and a sequence $\{{\mu}_{n}\}\subset [0,\mathrm{\infty})$ with ${\mu}_{n}\to 0$ as $n\to \mathrm{\infty}$ such that

The class of asymptotically strict pseudocontractions was introduced by Qihou [21] in 1996. Kim and Xu [22] proved that the fixed point set of asymptotically strict pseudocontractions is closed and convex. They also obtained a strong convergence theorem for fixed points of the class of asymptotically strict pseudocontractions based on projection algorithms; see [22] for more details.

*T*is said to be an

*asymptotically strict quasi-pseudocontraction*if there exist a constant $\kappa \in [0,1)$, $F(T)\ne \mathrm{\varnothing}$ and a sequence $\{{\mu}_{n}\}\subset [0,\mathrm{\infty})$ with ${\mu}_{n}\to 0$ as $n\to \mathrm{\infty}$ such that

*T*is said to be an

*asymptotically strict pseudocontraction in the intermediate sense*if there exist a constant $\kappa \in [0,1)$ and a sequence $\{{\mu}_{n}\}\subset [0,\mathrm{\infty})$ with ${\mu}_{n}\to 0$ as $n\to \mathrm{\infty}$ such that

The class of mappings was introduced by Sahu, Xu, and Yao [23]. They proved that the fixed point set of asymptotically strict pseudocontractions in the intermediate sense is closed and convex. They also obtained a strong convergence theorem for fixed points of the class of mappings based on projection algorithms; see [23] for more details.

*T*is said to be an

*asymptotically strict quasi-pseudocontraction in the intermediate sense*if there exist a constant $\kappa \in [0,1)$, $F(T)\ne \mathrm{\varnothing}$ and a sequence $\{{\mu}_{n}\}\subset [0,\mathrm{\infty})$ with ${\mu}_{n}\to 0$ as $n\to \mathrm{\infty}$ such that

*E*is a Banach space with the dual space ${E}^{\ast}$. The symbol

*J*stands for the normalized duality mapping from

*E*to ${2}^{{E}^{\ast}}$ defined by

where $\u3008\cdot ,\cdot \u3009$ denotes the generalized duality pairing of elements between *E* and ${E}^{\ast}$. It is well known that if ${E}^{\ast}$ is strictly convex, then *J* is single valued; if ${E}^{\ast}$ is uniformly convex, then *J* is uniformly continuous on bounded subsets of *E*; if ${E}^{\ast}$ is reflexive and smooth, then *J* is single valued and demicontinuous.

It is also well known that if *C* is a nonempty closed convex subset of a Hilbert space *H* and ${P}_{C}:H\to C$ is the metric projection of *H* onto *C*, then ${P}_{C}$ is nonexpansive. This fact actually characterizes Hilbert spaces, and consequently, it is not available in more general Banach spaces. In this connection, Alber [24] introduced a generalized projection operator ${\mathrm{\Pi}}_{C}$ in a Banach space *E* which is an analogue of the metric projection in Hilbert spaces.

Recall that a Banach space *E* is said to be *strictly convex* if $\parallel \frac{x+y}{2}\parallel <1$ for all $x,y\in E$ with $\parallel x\parallel =\parallel y\parallel =1$ and $x\ne y$. It is said to be *uniformly convex* if ${lim}_{n\to \mathrm{\infty}}\parallel {x}_{n}-{y}_{n}\parallel =0$ for any two sequences $\{{x}_{n}\}$ and $\{{y}_{n}\}$ in *E* such that $\parallel {x}_{n}\parallel =\parallel {y}_{n}\parallel =1$ and ${lim}_{n\to \mathrm{\infty}}\parallel \frac{{x}_{n}+{y}_{n}}{2}\parallel =1$. Let ${U}_{E}=\{x\in E:\parallel x\parallel =1\}$ be the unit sphere of *E*. Then the Banach space *E* is said to be *smooth* provided ${lim}_{t\to 0}\frac{\parallel x+ty\parallel -\parallel x\parallel}{t}$ exists for all $x,y\in {U}_{E}$. It is also said to be *uniformly smooth* if the limit is attained uniformly for all $x,y\in {U}_{E}$.

Recall that a Banach space *E* has the *Kadec-Klee property* if for any sequence $\{{x}_{n}\}\subset E$ and $x\in E$ with ${x}_{n}\rightharpoonup x$ and $\parallel {x}_{n}\parallel \to \parallel x\parallel $, then $\parallel {x}_{n}-x\parallel \to 0$ as $n\to \mathrm{\infty}$. For more details on the Kadec-Klee property, the readers can refer to [25–27] and the references therein. It is well known that if *E* is a uniformly convex Banach space, then *E* satisfies the Kadec-Klee property.

*E*be a smooth Banach space. Consider the functional defined by

*H*, (2.5) is reduced to $\varphi (x,y)={\parallel x-y\parallel}^{2}$ for all $x,y\in H$. The

*generalized projection*${\mathrm{\Pi}}_{C}:E\to C$ is a mapping that assigns to an arbitrary point $x\in E$, the minimum point of the functional $\varphi (x,y)$; that is, ${\mathrm{\Pi}}_{C}x=\overline{x}$, where $\overline{x}$ is the solution to the following minimization problem:

*J*; see, for example, [24–27]. In Hilbert spaces, ${\mathrm{\Pi}}_{C}={P}_{C}$. It is obvious from the definition of the function

*ϕ*that

**Remark 2.1** If *E* is a reflexive, strictly convex, and smooth Banach space, then for all $x,y\in E$, $\varphi (x,y)=0$ if and only if $x=y$. It is sufficient to show that if $\varphi (x,y)=0$, then $x=y$. From (2.6), we have $\parallel x\parallel =\parallel y\parallel $. This implies that $\u3008x,Jy\u3009={\parallel x\parallel}^{2}={\parallel Jy\parallel}^{2}$. From the definition of *J*, we see that $Jx=Jy$. It follows that $x=y$; see [25, 27] for more details.

- (1)
A point

*p*in*C*is said to be an*asymptotic fixed point*of*T*[28] if*C*contains a sequence $\{{x}_{n}\}$ which converges weakly to*p*such that ${lim}_{n\to \mathrm{\infty}}\parallel {x}_{n}-T{x}_{n}\parallel =0$. The set of asymptotic fixed points of*T*will be denoted by $\tilde{F}(T)$. - (2)
*T*is said to be*relatively nonexpansive*if$\tilde{F}(T)=F(T)\ne \mathrm{\varnothing},\phantom{\rule{2em}{0ex}}\varphi (p,Tx)\le \varphi (p,x),\phantom{\rule{1em}{0ex}}\mathrm{\forall}x\in C,\mathrm{\forall}p\in F(T).$

- (3)
*T*is said to be*relatively asymptotically nonexpansive*if$\tilde{F}(T)=F(T)\ne \mathrm{\varnothing},\phantom{\rule{2em}{0ex}}\varphi (p,{T}^{n}x)\le (1+{\mu}_{n})\varphi (p,x),\phantom{\rule{1em}{0ex}}\mathrm{\forall}x\in C,\mathrm{\forall}p\in F(T),\mathrm{\forall}n\ge 1,$

where $\{{\mu}_{n}\}\subset [0,\mathrm{\infty})$ is a sequence such that ${\mu}_{n}\to 1$ as $n\to \mathrm{\infty}$.

**Remark 2.2**The class of relatively asymptotically nonexpansive mappings was first considered in Su and Qin [32]; see also, Agarwal, Cho, and Qin [33], and Qin

*et al.*[34].

- (4)
*T*is said to be*quasi-ϕ-nonexpansive*if$F(T)\ne \mathrm{\varnothing},\phantom{\rule{2em}{0ex}}\varphi (p,Tx)\le \varphi (p,x),\phantom{\rule{1em}{0ex}}\mathrm{\forall}x\in C,\mathrm{\forall}p\in F(T).$ - (5)
*T*is said to be*asymptotically quasi-ϕ-nonexpansive*if there exists a sequence $\{{\mu}_{n}\}\subset [0,\mathrm{\infty})$ with ${\mu}_{n}\to 0$ as $n\to \mathrm{\infty}$ such that$F(T)\ne \mathrm{\varnothing},\phantom{\rule{2em}{0ex}}\varphi (p,{T}^{n}x)\le (1+{\mu}_{n})\varphi (p,x),\phantom{\rule{1em}{0ex}}\mathrm{\forall}x\in C,\mathrm{\forall}p\in F(T),\mathrm{\forall}n\ge 1.$

**Remark 2.3** The class of quasi-*ϕ*-nonexpansive mappings and the class of asymptotically quasi-*ϕ*-nonexpansive mappings were considered in Qin, Cho, and Kang [35], and Zhou, Gao, and Tan [36]; see also [37–42].

**Remark 2.4** The class of quasi-*ϕ*-nonexpansive mappings and the class of asymptotically quasi-*ϕ*-nonexpansive mappings are more general than the class of relatively nonexpansive mappings and the class of relatively asymptotically nonexpansive mappings. Quasi-*ϕ*-nonexpansive mappings and asymptotically quasi-*ϕ*-nonexpansive mappings do not require $F(T)=\tilde{F}(T)$.

**Remark 2.5**The class of quasi-

*ϕ*-nonexpansive mappings and the class of asymptotically quasi-

*ϕ*-nonexpansive mappings are generalizations of the class of quasi-nonexpansive mappings and the class of asymptotically quasi-nonexpansive mappings in Banach spaces.

- (6)
*T*is said to be a*strict quasi-ϕ-pseudocontraction*if $F(T)\ne \mathrm{\varnothing}$ and there exists a constant $\kappa \in [0,1)$ such that$\varphi (p,Tx)\le \varphi (p,x)+\kappa \varphi (x,Tx),\phantom{\rule{1em}{0ex}}\mathrm{\forall}x\in C,p\in F(T).$ - (7)
*T*is said to be an*asymptotically strict quasi-ϕ-pseudocontraction*if $F(T)\ne \mathrm{\varnothing}$ and there exists a sequence $\{{\mu}_{n}\}\subset [0,\mathrm{\infty})$ with ${\mu}_{n}\to 0$ as $n\to \mathrm{\infty}$ and a constant $\kappa \in [0,1)$ such that$\varphi (p,{T}^{n}x)\le (1+{\mu}_{n})\varphi (p,x)+\kappa \varphi (x,{T}^{n}x),\phantom{\rule{1em}{0ex}}\mathrm{\forall}x\in C,\mathrm{\forall}p\in F(T),\mathrm{\forall}n\ge 1.$

**Remark 2.6** It is clear that strict quasi-*ϕ*-pseudocontractions are asymptotically strict quasi-*ϕ*-pseudocontractions with the sequence ${\mu}_{n}\equiv 0$. The class of asymptotically strict quasi-*ϕ*-pseudocontractions was first considered in Qin *et al.*[43]; see [43] for more details on asymptotically strict quasi-*ϕ*-pseudocontractions and see [44] for more details on quasi-strict pseudocontractions and the references therein.

**Remark 2.7** If $\kappa =0$, then the class of asymptotically strict quasi-*ϕ*-pseudocontractions is reduced to asymptotically quasi-*ϕ*-nonexpansive mappings.

**Remark 2.8**The class of strict quasi-

*ϕ*-pseudocontraction and the class of asymptotically strict quasi-

*ϕ*-pseudocontractions are generalizations of the class of strict quasi-pseudocontraction and the class of asymptotically strict quasi-pseudocontractions in Banach spaces.

- (8)The mapping
*T*is said to be*asymptotically regular*on*C*if, for any bounded subset*K*of*C*,$\underset{n\to \mathrm{\infty}}{lim}\underset{x\in K}{sup}\left\{\parallel {T}^{n+1}x-{T}^{n}x\parallel \right\}=0.$

*ϕ*-pseudocontraction in the intermediate sense.

- (9)
*T*is said to be an*asymptotically strict quasi-ϕ-pseudocontraction in the intermediate sense*if $F(T)\ne \mathrm{\varnothing}$ and there exists a sequence $\{{\mu}_{n}\}\subset [0,\mathrm{\infty})$ with ${\mu}_{n}\to 0$ as $n\to \mathrm{\infty}$ and a constant $\kappa \in [0,1)$ such that$\underset{n\to \mathrm{\infty}}{lim\hspace{0.17em}sup}\underset{p\in F(T),x\in C}{sup}(\varphi (p,{T}^{n}x)-(1+{\mu}_{n})\varphi (p,x)-\kappa \varphi (x,{T}^{n}x))\le 0.$(2.8)

**Remark 2.9** The class of asymptotically strict quasi-*ϕ*-pseudocontractions in the intermediate sense is a generalization of the class of asymptotically strict quasi-pseudocontractions in the intermediate sense in the framework of Banach spaces. For examples of the mapping in ${\mathbb{R}}^{1}$, we refer the readers to Sahu, Xu, and Yao [23].

**Remark 2.10** If $\kappa =0$ and ${\mu}_{n}\equiv 0$, then we call *T* an asymptotically quasi-*ϕ*-nonexpansive mapping in the intermediate sense.

**Remark 2.11** The class of asymptotically quasi-*ϕ*-nonexpansive mappings in the intermediate sense is a generalization of the class of asymptotically quasi-nonexpansive mappings in the intermediate sense in the framework of Banach spaces.

In order to prove our main results, we also need the following lemmas:

**Lemma 2.12**[45]

*Let* *E* *be a uniformly convex and smooth Banach space*. *Let*$\{{x}_{n}\}$*and*$\{{y}_{n}\}$*be two sequences in* *E*. *If*$\varphi ({x}_{n},{y}_{n})\to 0$*and either*$\{{x}_{n}\}$*or*$\{{y}_{n}\}$*is bounded*, *then*${x}_{n}-{y}_{n}\to 0$*as*$n\to \mathrm{\infty}$.

**Lemma 2.13**[24]

*Let*

*C*

*be a nonempty*,

*closed*,

*and convex subset of a smooth Banach space*

*E*,

*and*$x\in E$.

*Then*${x}_{0}={\mathrm{\Pi}}_{C}x$

*if and only if*

**Lemma 2.14**[24]

*Let*

*E*

*be a reflexive*,

*strictly convex*,

*and smooth Banach space*,

*C*

*a nonempty*,

*closed*,

*and convex subset of*

*E*,

*and*$x\in E$.

*Then*

## 3 Main results

Now, we are in a position to give the main results in this paper.

**Theorem 3.1**

*Let*

*E*

*be a uniformly convex and smooth Banach space*.

*Let*

*C*

*be a nonempty closed and convex subset of*

*E*.

*Let*Λ

*be an index set and*${T}_{i}:C\to C$,

*where*$i\in \mathrm{\Lambda}$,

*be an asymptotically strict quasi*-

*ϕ*-

*pseudocontraction in the intermediate sense with a sequence*$\{{\mu}_{(n,i)}\}\subset [0,\mathrm{\infty})$

*such that*${\mu}_{(n,i)}\to 0$

*as*$n\to \mathrm{\infty}$.

*Assume that*${\bigcap}_{i\in \mathrm{\Lambda}}F({T}_{i})\ne \mathrm{\varnothing}$.

*For each*$i\in \mathrm{\Lambda}$,

*assume that*${T}_{i}$

*is closed and uniformly asymptotically regular on*

*C*,

*and*$F({T}_{i})$

*is bounded*.

*Let*$\{{x}_{n}\}$

*be a sequence generated in the following manner*:

*where*${M}_{(n,i)}=sup\{\varphi (p,{x}_{n}):p\in F({T}_{i})\}$

*and*

*Then the sequence*$\{{x}_{n}\}$*converges strongly to*$\overline{x}={\mathrm{\Pi}}_{{\bigcap}_{i\in \mathrm{\Lambda}}F({T}_{i})}{x}_{0}$.

*Proof*First, we show, for every $i\in \mathrm{\Lambda}$, that $F({T}_{i})$ is closed and convex. This proves that ${\mathrm{\Pi}}_{{\bigcap}_{i\in \mathrm{\Lambda}}F({T}_{i})}{x}_{0}$ is well defined for all ${x}_{0}\in E$. On the closedness of $F({T}_{i})$, we can easily draw the desired conclusion from the closedness of ${T}_{i}$. Now, we are in a position to show the convexness of $F({T}_{i})$, $\mathrm{\forall}i\in \mathrm{\Lambda}$. Let ${p}_{(1,i)},{p}_{(2,i)}\in F({T}_{i})$ and ${p}_{i}={t}_{i}{p}_{(1,i)}+(1-{t}_{i}){p}_{(2,i)}$, where ${t}_{i}\in (0,1)$, for every $i\in \mathrm{\Lambda}$. We see that ${p}_{i}={T}_{i}{p}_{i}$. Indeed, we see from the definition of ${T}_{i}$ that

In view of Lemma 2.12, we see that ${T}_{i}^{n}{p}_{i}\to {p}_{i}$ as $n\to \mathrm{\infty}$ for each $i\in \mathrm{\Lambda}$. This implies ${T}_{i}{T}_{i}^{n}{p}_{i}={T}_{i}^{n+1}{p}_{i}\to {p}_{i}$ as $n\to \mathrm{\infty}$ for each $i\in \mathrm{\Lambda}$. From the closedness of ${T}_{i}$, we obtain ${p}_{i}\in F({T}_{i})$. This proves that $F({T}_{i})$ is convex. This completes the proof that $F({T}_{i})$ is closed and convex.

*n*. It is obvious that ${C}_{(1,i)}=C$ is closed and convex. Assume that ${C}_{(h,i)}$ is closed and convex for some $h\ge 1$. Let $a,b\in {C}_{(h+1,i)}$ and $c=ta+(1-t)b$, where $t\in (0,1)$. It follows that

where $c\in {C}_{(h,i)}$. It follows that ${C}_{(h+1,i)}$ is closed, and convex. This, in turn, implies that ${C}_{n}={\bigcap}_{i\in \mathrm{\Lambda}}{C}_{(n,i)}$ is closed and convex.

which implies that $z\in {C}_{(h+1,i)}$. This proves, for each $i\in \mathrm{\Lambda}$, that $F({T}_{i})\subset {C}_{n}$. This implies that ${\bigcap}_{i\in \mathrm{\Lambda}}F({T}_{i})\subset {C}_{n}$.

*E*, we obtain ${x}_{n}\to \overline{x}$ as $n\to \mathrm{\infty}$. On the other hand, we see from ${x}_{n+1}={\mathrm{\Pi}}_{{C}_{n+1}}{x}_{0}\in {C}_{n+1}\subset {C}_{n}$ that

That is, ${T}_{i}{T}_{i}^{n}{x}_{n}\to \overline{x}$. From the closedness of ${T}_{i}$, we find $\overline{x}={T}_{i}\overline{x}$ for each $i\in \mathrm{\Lambda}$. This proves $\overline{x}\in {\bigcap}_{i\in \mathrm{\Lambda}}F({T}_{i})$.

This shows $\overline{x}={\mathrm{\Pi}}_{{\bigcap}_{i\in \mathrm{\Lambda}}F({T}_{i})}{x}_{0}$. This completes the proof. □

**Remark 3.2** In view of spaces, algorithms, and mappings, Theorem 3.1 is a generalization of Theorem 4.1 of Sahu, Xu, and Yao [23]; see [23] for more details.

Based on Theorem 3.1, we have the following.

**Corollary 3.3**

*Let*

*E*

*be a uniformly convex and smooth Banach space*.

*Let*

*C*

*be a nonempty closed and convex subset of*

*E*.

*Let*Λ

*be an index set and*${T}_{i}:C\to C$,

*where*$i\in \mathrm{\Lambda}$,

*be an asymptotically quasi*-

*ϕ*-

*nonexpansive mapping in the intermediate sense*.

*Assume that*${\bigcap}_{i\in \mathrm{\Lambda}}F({T}_{i})\ne \mathrm{\varnothing}$.

*For each*$i\in \mathrm{\Lambda}$,

*assume that*${T}_{i}$

*is closed and uniformly asymptotically regular on*

*C*.

*Let*$\{{x}_{n}\}$

*be a sequence generated in the following manner*:

*where*

*Then the sequence*$\{{x}_{n}\}$*converges strongly to*$\overline{x}={\mathrm{\Pi}}_{{\bigcap}_{i\in \mathrm{\Lambda}}F({T}_{i})}{x}_{0}$.

*Proof* Putting ${\mu}_{n,i}\equiv 0$ and ${\kappa}_{i}\equiv 0$, we can conclude from Theorem 3.1 the desired conclusion immediately. □

**Remark 3.4** In view of algorithms and mappings, Corollary 3.3 is a generalization of Theorem 2.1 of Qin, Huang, and Wang [46]; see [46] for more details.

In the framework of Hilbert spaces, we have the following results for an uncountable family of asymptotically strict quasi-pseudocontractions in the intermediate sense and an uncountable family of asymptotically quasi-nonexpansive mappings in the intermediate sense.

**Corollary 3.5**

*Let*

*H*

*be a Hilbert space and*

*C*

*a nonempty closed and convex subset of H*.

*Let*Λ

*be an index set and*${T}_{i}:C\to C$,

*where*$i\in \mathrm{\Lambda}$,

*be an asymptotically strict quasi*-

*pseudocontraction in the intermediate sense with a sequence*$\{{\mu}_{(n,i)}\}\subset [0,\mathrm{\infty})$

*such that*${\mu}_{(n,i)}\to 0$

*as*$n\to \mathrm{\infty}$.

*Assume that*${\bigcap}_{i\in \mathrm{\Lambda}}F({T}_{i})\ne \mathrm{\varnothing}$.

*For each*$i\in \mathrm{\Lambda}$,

*assume that*${T}_{i}$

*is closed and uniformly asymptotically regular on*

*C*,

*and*$F({T}_{i})$

*is bounded*.

*Let*$\{{x}_{n}\}$

*be a sequence generated in the following manner*:

*where*${M}_{(n,i)}=sup\{\varphi (p,{x}_{n}):p\in F({T}_{i})\}$

*and*

*Then the sequence*$\{{x}_{n}\}$*converges strongly to*$\overline{x}={P}_{{\bigcap}_{i\in \mathrm{\Lambda}}F({T}_{i})}{x}_{0}$.

**Corollary 3.6**

*Let*

*H*

*be a Hilbert space and*

*C*

*a nonempty closed and convex subset of*

*H*.

*Let*Λ

*be an index set and*${T}_{i}:C\to C$,

*where*$i\in \mathrm{\Lambda}$,

*be an asymptotically quasi*-

*nonexpansive mapping in the intermediate sense*.

*Assume that*${\bigcap}_{i\in \mathrm{\Lambda}}F({T}_{i})\ne \mathrm{\varnothing}$.

*For each*$i\in \mathrm{\Lambda}$,

*assume that*${T}_{i}$

*is closed and uniformly asymptotically regular on*

*C*.

*Let*$\{{x}_{n}\}$

*be a sequence generated in the following manner*:

*where*

*Then the sequence*$\{{x}_{n}\}$*converges strongly to*$\overline{x}={P}_{{\bigcap}_{i\in \mathrm{\Lambda}}F({T}_{i})}{x}_{0}$.

## 4 Applications

In this section, we consider minimizers of proper, lower semicontinuous, and convex functionals, and solutions of variational inequalities.

*E*be a Banach space with the dual ${E}^{\ast}$. For a proper lower semicontinuous convex function $f:E\to (-\mathrm{\infty},\mathrm{\infty}]$, the subdifferential mapping $\partial f\subset E\times {E}^{\ast}$ of

*f*is defined by

Rockafellar [47] proved that *∂f* is a maximal monotone operator. It is easy to verify that $0\in \partial f(v)$ if and only if $f(v)={min}_{x\in E}f(x)$.

**Theorem 4.1**

*Let*

*E*

*be a uniformly convex and smooth Banach space*.

*Let*

*C*

*be a nonempty*,

*closed*,

*and convex subset of*

*E*.

*Let*Λ

*be an index set*,

*and*${f}_{i}:C\to C$

*be a proper*,

*lower semicontinuous*,

*and convex functionals*,

*for every*$i\in \mathrm{\Lambda}$.

*Assume that*${\bigcap}_{i\in \mathrm{\Lambda}}{(\partial {f}_{i})}^{-1}(0)$

*is nonempty*.

*Let*$\{{x}_{n}\}$

*be a sequence generated in the following manner*:

*where*${r}_{i}>0$, $\mathrm{\forall}i\in \mathrm{\Lambda}$. *Then*$\{{x}_{n}\}$*converges strongly to*${\mathrm{\Pi}}_{{\bigcap}_{i\in \mathrm{\Lambda}}{(\partial {f}_{i})}^{-1}(0)}{x}_{0}$, *where*${\mathrm{\Pi}}_{{\bigcap}_{i\in \mathrm{\Lambda}}{(\partial {f}_{i})}^{-1}(0)}$*stands for the generalized projection from* *E* *onto*${\bigcap}_{i\in \mathrm{\Lambda}}{(\partial {f}_{i})}^{-1}(0)$.

*Proof*For each ${r}_{i}>0$, and $x\in E$, we see that there exists a unique ${x}_{{r}_{i}}\in D(\partial {f}_{i})$ such that $Jx\in J{x}_{{r}_{i}}+{r}_{i}\partial {f}_{i}({x}_{{r}_{i}})$, where ${x}_{{r}_{i}}={(J+{r}_{i}\partial {f}_{i})}^{-1}Jx$. Notice that

This shows that ${y}_{n,i}={(J+{r}_{i}\partial {f}_{i})}^{-1}J{x}_{n}$. In view of Example 2.3 in Qin, Cho, and Kang [36], we find that ${(J+{r}_{i}\partial {f}_{i})}^{-1}J$ is closed quasi-*ϕ*-nonexpansive with $F({(J+{r}_{i}\partial {f}_{i})}^{-1}J)={(\partial {f}_{i})}^{-1}(0)$. Notice that every quasi-*ϕ*-nonexpansive mapping is an asymptotically strict quasi-*ϕ*-pseudocontraction in the intermediate sense. Following the proof of Theorem 3.1, we can immediately conclude the desired conclusion. This completes the proof. □

*C*be a nonempty, closed, and convex subset of a Banach space

*E*. Let $A:C\to {E}^{\ast}$ be a single valued monotone operator which is hemicontinuous; that is, continuous along each line segment in

*C*with respect to the weak

^{∗}topology of ${E}^{\ast}$. Consider the following variational inequality problem of finding a point $x\in C$ such that

*A*. The symbol ${N}_{C}(x)$ stands for the normal cone for

*C*at a point $x\in C$; that is,

**Theorem 4.2**

*Let*

*E*

*be a uniformly convex and smooth Banach space*.

*Let*

*C*

*be a nonempty*,

*closed*,

*and convex subset of*

*E*.

*Let*Λ

*be an index set*,

*and*${A}_{i}:C\to {E}^{\ast}$

*a single valued*,

*monotone*,

*and hemicontinuous operator*.

*Assume that*${\bigcap}_{i\in \mathrm{\Lambda}}\mathit{VI}(C,{A}_{i})$

*is not empty*.

*Let*$\{{x}_{n}\}$

*be a sequence generated in the following manner*:

*where*${r}_{i}>0$, $\mathrm{\forall}i\in \mathrm{\Lambda}$. *Then*$\{{x}_{n}\}$*converges strongly to*${\mathrm{\Pi}}_{{\bigcap}_{i\in \mathrm{\Lambda}}\mathit{VI}(C,{A}_{i})}{x}_{0}$, *where*${\mathrm{\Pi}}_{{\bigcap}_{i\in \mathrm{\Lambda}}\mathit{VI}(C,{A}_{i})}$*stands for the generalized projection from* *E* *onto*${\bigcap}_{i\in \mathrm{\Lambda}}\mathit{VI}(C,{A}_{i})$.

*Proof*Define a mapping ${T}_{i}\subset E\times {E}^{\ast}$ by

This implies that ${y}_{(n,i)}={(J+{r}_{i}{T}_{i})}^{-1}J{x}_{n}$. In view of Example 2.3 in Qin, Cho, and Kang [31], we find that ${(J+{r}_{i}\partial {f}_{i})}^{-1}J$ is closed quasi-*ϕ*-nonexpansive with $F({(J+{r}_{i}\partial {f}_{i})}^{-1}J)={T}_{i}^{-1}(0)$. Notice that every quasi-*ϕ*-nonexpansive mapping is an asymptotically strict quasi-*ϕ*-pseudocontraction in the intermediate sense. Following the proof of Theorem 3.1, we can immediately conclude the desired conclusion. □

## Declarations

### Acknowledgements

This research is partially supported by Natural Science Foundation of Zhejiang Province (Q12A010097) and National Natural Science Foundation of China (11126334).

## Authors’ Affiliations

## References

- Bauschke HH, Borwein JM: On projection algorithms for solving convex feasibility problems.
*SIAM Rev.*1996, 38: 367–426. 10.1137/S0036144593251710MathSciNetView ArticleGoogle Scholar - Kotzer T, Cohen N, Shamir J: Image restoration by a novel method of parallel projection onto constraint sets.
*Optim. Lett.*1995, 20: 1772–1774.Google Scholar - Byrne C: A unified treatment of some iterative algorithms in signal processing and image reconstruction.
*Inverse Probl.*2008, 20: 103–120.MathSciNetView ArticleGoogle Scholar - Censor Y, Elfving T, Kopf N, Bortfeld T: The multiple-sets split feasibility problem and its applications for inverse problems.
*Inverse Probl.*2005, 21: 2071–2084. 10.1088/0266-5611/21/6/017MathSciNetView ArticleGoogle Scholar - Lau ATM, Miyake H, Takahashi W: Approximation of fixed points for amenable semigroups of nonexpansive mappings in Banach spaces.
*Nonlinear Anal.*2007, 67: 1211–1225. 10.1016/j.na.2006.07.008MathSciNetView ArticleGoogle Scholar - Kadelburg Z, Radenovic S: Coupled fixed point results under tvs-cone metric and w-cone-distance.
*Adv. Fixed Point Theory*2012, 2: 29–46.Google Scholar - Reich S: Weak convergence theorems for nonexpansive mappings in Banach spaces.
*J. Math. Anal. Appl.*1979, 67: 274–276. 10.1016/0022-247X(79)90024-6MathSciNetView ArticleGoogle Scholar - Schu J: Weak, strong convergence to fixed points of asymptotically nonexpansive mappings.
*Bull. Aust. Math. Soc.*1991, 43: 153–159. 10.1017/S0004972700028884MathSciNetView ArticleGoogle Scholar - Khan MA, Yannelis NC:
*Equilibrium Theory in Infinite Dimensional Spaces*. Springer, New York; 1991.View ArticleGoogle Scholar - Combettes PL: The convex feasibility problem in image recovery. 95. In
*Advances in Imaging and Electron Physics*. Edited by: Hawkes P. Academic Press, New York; 1996:155–270.Google Scholar - Dautray R, Lions JL 1–6. In
*Mathematical Analysis and Numerical Methods for Science and Technology*. Springer, New York; 1988–1993.View ArticleGoogle Scholar - Fattorini HO:
*Infinite-Dimensional Optimization and Control Theory*. Cambridge University Press, Cambridge; 1999.View ArticleGoogle Scholar - Güler O: On the convergence of the proximal point algorithm for convex minimization.
*SIAM J. Control Optim.*1991, 29: 403–409. 10.1137/0329022MathSciNetView ArticleGoogle Scholar - Haugazeau, Y: Sur les inéquations variationnelles et la minimisation de fonctionnelles convexes. Ph.D. Thesis, Université de Paris (1968)Google Scholar
- Goebel K, Kirk WA: A fixed point theorem for asymptotically nonexpansive mappings.
*Proc. Am. Math. Soc.*1972, 35: 171–174. 10.1090/S0002-9939-1972-0298500-3MathSciNetView ArticleGoogle Scholar - Bruck RE, Kuczumow T, Reich S: Convergence of iterates of asymptotically nonexpansive mappings in Banach spaces with the uniform Opial property.
*Colloq. Math.*1993, 65: 169–179.MathSciNetGoogle Scholar - Chidume CE, Shahzad N, Zegeye H: Convergence theorems for mappings which are asymptotically nonexpansive in the intermediate sense.
*Numer. Funct. Anal. Optim.*2004, 25: 239–257.MathSciNetView ArticleGoogle Scholar - Kim GE, Kim TH: Mann and Ishikawa iterations with errors for non-Lipschitzian mappings in Banach spaces.
*Comput. Math. Appl.*2001, 42: 1565–1570. 10.1016/S0898-1221(01)00262-0MathSciNetView ArticleGoogle Scholar - Browder FE, Petryshyn WV: Construction of fixed points of nonlinear mappings in Hilbert space.
*J. Math. Anal. Appl.*1967, 20: 197–228. 10.1016/0022-247X(67)90085-6MathSciNetView ArticleGoogle Scholar - Marino G, Xu HK: Weak and strong convergence theorems for strict pseudo-contractions in Hilbert spaces.
*J. Math. Anal. Appl.*2007, 329: 336–346. 10.1016/j.jmaa.2006.06.055MathSciNetView ArticleGoogle Scholar - Qihou L: Convergence theorems of the sequence of iterates for asymptotically demicontractive and hemicontractive mappings.
*Nonlinear Anal.*1996, 26: 1835–1842. 10.1016/0362-546X(94)00351-HMathSciNetView ArticleGoogle Scholar - Kim TH, Xu HK: Convergence of the modified Mann’s iteration method for asymptotically strict pseudo-contractions.
*Nonlinear Anal.*2008, 68: 2828–2836. 10.1016/j.na.2007.02.029MathSciNetView ArticleGoogle Scholar - Sahu DR, Xu HK, Yao JC: Asymptotically strict pseudocontractive mappings in the intermediate sense.
*Nonlinear Anal.*2009, 70: 3502–3511. 10.1016/j.na.2008.07.007MathSciNetView ArticleGoogle Scholar - 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: Kartsatos AG. Dekker, New York; 1996.Google Scholar - Cioranescu I:
*Geometry of Banach Spaces, Duality Mappings and Nonlinear Problems*. Kluwer, Dordrecht; 1990.View ArticleGoogle Scholar - Hudzik H, Kowalewski W, Lewicki G: Approximative compactness and full rotundity in Musielak-Orlicz spaces and Lorentz-Orlicz spaces.
*Zeitschrift fuer Analysis and ihre Anwendungen*2006, 25: 163–192.MathSciNetView ArticleGoogle Scholar - Takahashi W:
*Nonlinear Functional Analysis*. Yokohama-Publishers, Yokohama; 2000.Google Scholar - Reich S: A weak convergence theorem for the alternating method with Bregman distance. In
*Theory and Applications of Nonlinear Operators of Accretive and Monotone Type*. Edited by: Karstsatos AG. Dekker, New York; 1996.Google Scholar - Butnariu D, Reich S, Zaslavski AJ: Asymptotic behavior of relatively nonexpansive operators in Banach spaces.
*J. Appl. Anal.*2001, 7: 151–174.MathSciNetGoogle Scholar - 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-120023869MathSciNetView ArticleGoogle Scholar - Censor Y, Reich S: Iterations of paracontractions and firmly nonexpansive operators with applications to feasibility and optimization.
*Optimization*1996, 37: 323–339. 10.1080/02331939608844225MathSciNetView ArticleGoogle Scholar - Su Y, Qin X: Strong convergence of modified Ishikawa iterations for nonlinear mappings.
*Proc. Indian Acad. Sci. Math. Sci.*2007, 117: 97–107. 10.1007/s12044-007-0008-yMathSciNetView ArticleGoogle Scholar - Agarwal RP, Cho YJ, Qin X: Generalized projection algorithms for nonlinear operators.
*Numer. Funct. Anal. Optim.*2007, 28: 1197–1215. 10.1080/01630560701766627MathSciNetView ArticleGoogle Scholar - Qin X, Su Y, Wu C, Liu K: Strong convergence theorems for nonlinear operators in Banach spaces.
*Commun. Appl. Nonlinear Anal.*2007, 14: 35–50.MathSciNetGoogle Scholar - Qin X, Cho YJ, Kang SM: Convergence theorems of common elements for equilibrium problems and fixed point problems in Banach spaces.
*J. Comput. Appl. Math.*2009, 225: 20–30. 10.1016/j.cam.2008.06.011MathSciNetView ArticleGoogle Scholar - Zhou H, Gao G, Tan B: Convergence theorems of a modified hybrid algorithm for a family of quasi-
*ϕ*-asymptotically nonexpansive mappings.*J. Appl. Math. Comput.*2010, 32: 453–464. 10.1007/s12190-009-0263-4MathSciNetView ArticleGoogle Scholar - Qin X, Cho YJ, Kang SM, Zhu H: Convergence of a modified Halpern-type iteration algorithm for quasi-
*ϕ*-nonexpansive mappings.*Appl. Math. Lett.*2009, 22: 1051–1055. 10.1016/j.aml.2009.01.015MathSciNetView ArticleGoogle Scholar - Qin X, Cho SY, Kang SM: On hybrid projection methods for asymptotically quasi-
*ϕ*-nonexpansive mappings.*Appl. Math. Comput.*2010, 215: 3874–3883. 10.1016/j.amc.2009.11.031MathSciNetView ArticleGoogle Scholar - Qin X, Cho SY, Kang SM: Strong convergence of shrinking projection methods for quasi-
*ϕ*-nonexpansive mappings and equilibrium problems.*J. Comput. Appl. Math.*2010, 234: 750–760. 10.1016/j.cam.2010.01.015MathSciNetView ArticleGoogle Scholar - Qin X, Agarwal RP: Shrinking projection methods for a pair of asymptotically quasi-
*ϕ*-nonexpansive mappings.*Numer. Funct. Anal. Optim.*2010, 31: 1072–1089. 10.1080/01630563.2010.501643MathSciNetView ArticleGoogle Scholar - Ye J, Huang J: Strong convergence theorems for fixed point problems and generalized equilibrium problems of three relatively quasi-nonexpansive mappings in Banach spaces.
*J. Math. Comput. Sci.*2011, 1: 1–18.MathSciNetView ArticleGoogle Scholar - Qin X, Agarwal RP, Cho SY, Kang SM: Convergence of algorithms for fixed points of generalized asymptotically quasi-
*ϕ*-nonexpansive mappings with applications.*Fixed Point Theory Appl.*2012., 2012: Article ID 58Google Scholar - Qin X, Wang T, Cho SY: Hybrid projection algorithms for asymptotically strict quasi-
*ϕ*-pseudocontractions.*Abst. Appl. Anal.*2011., 2011: Article ID 142626Google Scholar - Zhou H, Gao X: An iterative method of fixed points for closed and quasi-strict pseudo-contractions in Banach spaces.
*J. Appl. Math. Comput.*2010, 33: 227–237. 10.1007/s12190-009-0283-0MathSciNetView ArticleGoogle Scholar - Kamimura S, Takahashi W: Strong convergence of a proximal-type algorithm in a Banach space.
*SIAM J. Optim.*2002, 13: 938–945. 10.1137/S105262340139611XMathSciNetView ArticleGoogle Scholar - Qin X, Huang S, Wang T: On the convergence of hybrid projection algorithms for asymptotically quasi-
*ϕ*-nonexpansive mappings.*Comput. Math. Appl.*2011, 61: 851–859. 10.1016/j.camwa.2010.12.033MathSciNetView ArticleGoogle Scholar - Rockafellar RT: Characterization of the subdifferentials of convex functions.
*Pac. J. Math.*1966, 17: 497–510.MathSciNetView ArticleGoogle Scholar - Rockafellar TT: On the maximality of sums of nonlinear monotone operators.
*Trans. Am. Math. Soc.*1970, 149: 75–88. 10.1090/S0002-9947-1970-0282272-5MathSciNetView ArticleGoogle Scholar

## Copyright

This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.