 Research Article
 Open access
 Published:
Some results on fixed points of asymptotically strict quasiϕpseudocontractions in the intermediate sense
Fixed Point Theory and Applications volume 2012, Article number: 143 (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.
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 wellknown 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 wellknown 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 KrasnoselskiiMann iterative algorithm (onestep iterative algorithm) and the Ishikawa iterative algorithms (twostep iterative algorithm) have been studied for approximating fixed points of nonexpansive mappings and their extensions. However, both the KrasnoselskiiMann 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 proximalpoint 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
Let 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 quasinonexpansive 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 quasinonexpansive 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:
If we define
then {\xi}_{n}\to 0 as n\to \mathrm{\infty}. It follows that (2.1) is reduced to
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 quasinonexpansive in the intermediate sense if F(T)\ne \mathrm{\varnothing} and the following inequality holds:
If we define
then {\xi}_{n}\to 0 as n\to \mathrm{\infty}. It follows that (2.2) is reduced to
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 quasipseudocontractive 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 quasipseudocontraction 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
Put
It follows that {\xi}_{n}\to 0 as n\to \mathrm{\infty}. Then, (2.3) is reduced to the following:
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 quasipseudocontraction 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
Put
It follows that {\xi}_{n}\to 0 as n\to \mathrm{\infty}. Then, (2.4) is reduced to the following:
In what follows, we always assume 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 KadecKlee 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 KadecKlee 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 KadecKlee property.
Let E be a smooth Banach space. Consider the functional defined by
Notice that, in a Hilbert space H, (2.5) is reduced to \varphi (x,y)={\parallel xy\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:
The existence and uniqueness of the operator {\mathrm{\Pi}}_{C} follow from the properties of the functional \varphi (x,y) and the strict monotonicity of the mapping J; see, for example, [24–27]. In Hilbert spaces, {\mathrm{\Pi}}_{C}={P}_{C}. It is obvious from the definition of the function ϕ that
and
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.
Next, we recall the following.

(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).
The asymptotic behavior of relatively nonexpansive mappings was studied in [29–31].

(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 quasinonexpansive mappings and the class of asymptotically quasinonexpansive 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 quasistrict 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 quasipseudocontraction and the class of asymptotically strict quasipseudocontractions 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.
In this paper, based on the class of asymptotically strict pseudocontractions in the intermediate sense which was introduced by Sahu, Xu, and Yao [23] in Hilbert spaces, we introduce and consider the following new nonlinear mapping: asymptotically strict quasiϕ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)
Put
It follows that {\xi}_{n}\to 0 as n\to \mathrm{\infty}. Then, (2.8) is reduced to the following:
Remark 2.9 The class of asymptotically strict quasiϕpseudocontractions in the intermediate sense is a generalization of the class of asymptotically strict quasipseudocontractions 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 quasinonexpansive 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 0and either\{{x}_{n}\}or\{{y}_{n}\}is bounded, then{x}_{n}{y}_{n}\to 0asn\to \mathrm{\infty}.
Lemma 2.13[24]
Let C be a nonempty, closed, and convex subset of a smooth Banach space E, andx\in E. Then{x}_{0}={\mathrm{\Pi}}_{C}xif 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, andx\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, wherei\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 0asn\to \mathrm{\infty}. Assume that{\bigcap}_{i\in \mathrm{\Lambda}}F({T}_{i})\ne \mathrm{\varnothing}. For eachi\in \mathrm{\Lambda}, assume that{T}_{i}is closed and uniformly asymptotically regular on C, andF({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
and
It follows from (2.7) that
and
Multiplying {t}_{i} and (1{t}_{i}) on both sides of (3.1) and (3.2) respectively yields that
It follows 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.
Next, we prove that {C}_{n} is closed and convex for each n\ge 1. It suffices to show that, for each fixed but arbitrary i\in \mathrm{\Lambda}, {C}_{(n,i)} is closed and convex for each n\ge 1. This can be proved by induction on 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+(1t)b, where t\in (0,1). It follows that
and
where a,b\in {C}_{(h,i)}. From the above two inequalities, we find 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.
Now, we are in a position to show, for each i\in \mathrm{\Lambda}, that F({T}_{i})\subset {C}_{n}. It is obvious that F({T}_{i})\subset C={C}_{1}. Suppose that F({T}_{i})\subset {C}_{h} for some h\in \mathbb{N}. For any z\in F({T}_{i})\subset {C}_{h}, we see that
On the other hand, we obtain from (2.7) that
Combining (3.3) with (3.4), we arrive at
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}.
In view of {x}_{n}={\mathrm{\Pi}}_{{C}_{n}}{x}_{0}, we see from Lemma 2.13 that
This implies that
It follows from Lemma 2.14 that
This implies that the sequence \{\varphi ({x}_{n},{x}_{0})\} is bounded. It follows from (2.6) that the sequence \{{x}_{n}\} is also bounded. Since \{{x}_{n}\} is bounded and the space is uniformly convex, we may assume that {x}_{n}\to \overline{x} weakly. Since {C}_{n} is closed and convex, we see that \overline{x}\in {C}_{n}. On the other hand, we see from the weakly lower semicontinuity of the norm
that \varphi ({x}_{n},{x}_{0})\to \varphi (\overline{x},{x}_{0}) as n\to \mathrm{\infty}. Hence, \parallel {x}_{n}\parallel \to \parallel \overline{x}\parallel as n\to \mathrm{\infty}. In view of the KadecKlee property of 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
from which it follows that \varphi ({x}_{n},{T}_{i}^{n}{x}_{n})\to 0 as n\to \mathrm{\infty}. In view of Lemma 2.12, we arrive at
Note that {x}_{n}\to \overline{x} as n\to \mathrm{\infty}. From
we obtain from (3.7) that
On the other hand, we have
It follows from the uniformly asymptotic regularity of {T}_{i} and (3.8) 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}).
Finally, we show that \overline{x}={\mathrm{\Pi}}_{{\bigcap}_{i\in \mathrm{\Lambda}}F({T}_{i})}{x}_{0} which completes the proof. In view of {x}_{n}={\mathrm{\Pi}}_{{C}_{n}}{x}_{0} and {\mathrm{\Pi}}_{{\bigcap}_{i\in \mathrm{\Lambda}}F({T}_{i})}{x}_{0}\in {\bigcap}_{i\in \mathrm{\Lambda}}F({T}_{i})\subset {C}_{n}, we obtain that
This implies that
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, wherei\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 eachi\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 quasipseudocontractions in the intermediate sense and an uncountable family of asymptotically quasinonexpansive 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, wherei\in \mathrm{\Lambda}, be an asymptotically strict quasipseudocontraction in the intermediate sense with a sequence\{{\mu}_{(n,i)}\}\subset [0,\mathrm{\infty})such that{\mu}_{(n,i)}\to 0asn\to \mathrm{\infty}. Assume that{\bigcap}_{i\in \mathrm{\Lambda}}F({T}_{i})\ne \mathrm{\varnothing}. For eachi\in \mathrm{\Lambda}, assume that{T}_{i}is closed and uniformly asymptotically regular on C, andF({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, wherei\in \mathrm{\Lambda}, be an asymptotically quasinonexpansive mapping in the intermediate sense. Assume that{\bigcap}_{i\in \mathrm{\Lambda}}F({T}_{i})\ne \mathrm{\varnothing}. For eachi\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.
Let 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 Cbe a proper, lower semicontinuous, and convex functionals, for everyi\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
is equivalent to
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. □
Let 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
In this chapter, we use \mathit{VI}(C,A) to denote the solution set of the variational inequality involving 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
By Rockafellar [48], we know that {T}_{i} is maximal monotone, and {T}_{i}^{1}(0)=\mathit{VI}(C,{A}_{i}). For each {r}_{i}>0, and x\in E, we see that there exists a unique {x}_{{r}_{i}}\in D({T}_{i}) such that Jx\in J{x}_{{r}_{i}}+{r}_{i}{T}_{i}({x}_{{r}_{i}}), where {x}_{{r}_{i}}={(J+{r}_{i}{T}_{i})}^{1}Jx. Notice that
which is equivalent to
that is,
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. □
References
Bauschke HH, Borwein JM: On projection algorithms for solving convex feasibility problems. SIAM Rev. 1996, 38: 367–426. 10.1137/S0036144593251710
Kotzer T, Cohen N, Shamir J: Image restoration by a novel method of parallel projection onto constraint sets. Optim. Lett. 1995, 20: 1772–1774.
Byrne C: A unified treatment of some iterative algorithms in signal processing and image reconstruction. Inverse Probl. 2008, 20: 103–120.
Censor Y, Elfving T, Kopf N, Bortfeld T: The multiplesets split feasibility problem and its applications for inverse problems. Inverse Probl. 2005, 21: 2071–2084. 10.1088/02665611/21/6/017
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.008
Kadelburg Z, Radenovic S: Coupled fixed point results under tvscone metric and wconedistance. Adv. Fixed Point Theory 2012, 2: 29–46.
Reich S: Weak convergence theorems for nonexpansive mappings in Banach spaces. J. Math. Anal. Appl. 1979, 67: 274–276. 10.1016/0022247X(79)900246
Schu J: Weak, strong convergence to fixed points of asymptotically nonexpansive mappings. Bull. Aust. Math. Soc. 1991, 43: 153–159. 10.1017/S0004972700028884
Khan MA, Yannelis NC: Equilibrium Theory in Infinite Dimensional Spaces. Springer, New York; 1991.
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.
Dautray R, Lions JL 1–6. In Mathematical Analysis and Numerical Methods for Science and Technology. Springer, New York; 1988–1993.
Fattorini HO: InfiniteDimensional Optimization and Control Theory. Cambridge University Press, Cambridge; 1999.
Güler O: On the convergence of the proximal point algorithm for convex minimization. SIAM J. Control Optim. 1991, 29: 403–409. 10.1137/0329022
Haugazeau, Y: Sur les inéquations variationnelles et la minimisation de fonctionnelles convexes. Ph.D. Thesis, Université de Paris (1968)
Goebel K, Kirk WA: A fixed point theorem for asymptotically nonexpansive mappings. Proc. Am. Math. Soc. 1972, 35: 171–174. 10.1090/S00029939197202985003
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.
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.
Kim GE, Kim TH: Mann and Ishikawa iterations with errors for nonLipschitzian mappings in Banach spaces. Comput. Math. Appl. 2001, 42: 1565–1570. 10.1016/S08981221(01)002620
Browder FE, Petryshyn WV: Construction of fixed points of nonlinear mappings in Hilbert space. J. Math. Anal. Appl. 1967, 20: 197–228. 10.1016/0022247X(67)900856
Marino G, Xu HK: Weak and strong convergence theorems for strict pseudocontractions in Hilbert spaces. J. Math. Anal. Appl. 2007, 329: 336–346. 10.1016/j.jmaa.2006.06.055
Qihou L: Convergence theorems of the sequence of iterates for asymptotically demicontractive and hemicontractive mappings. Nonlinear Anal. 1996, 26: 1835–1842. 10.1016/0362546X(94)00351H
Kim TH, Xu HK: Convergence of the modified Mann’s iteration method for asymptotically strict pseudocontractions. Nonlinear Anal. 2008, 68: 2828–2836. 10.1016/j.na.2007.02.029
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.007
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.
Cioranescu I: Geometry of Banach Spaces, Duality Mappings and Nonlinear Problems. Kluwer, Dordrecht; 1990.
Hudzik H, Kowalewski W, Lewicki G: Approximative compactness and full rotundity in MusielakOrlicz spaces and LorentzOrlicz spaces. Zeitschrift fuer Analysis and ihre Anwendungen 2006, 25: 163–192.
Takahashi W: Nonlinear Functional Analysis. YokohamaPublishers, Yokohama; 2000.
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.
Butnariu D, Reich S, Zaslavski AJ: Asymptotic behavior of relatively nonexpansive operators in Banach spaces. J. Appl. Anal. 2001, 7: 151–174.
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/NFA120023869
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
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/s120440070008y
Agarwal RP, Cho YJ, Qin X: Generalized projection algorithms for nonlinear operators. Numer. Funct. Anal. Optim. 2007, 28: 1197–1215. 10.1080/01630560701766627
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.
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.011
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/s1219000902634
Qin X, Cho YJ, Kang SM, Zhu H: Convergence of a modified Halperntype iteration algorithm for quasi ϕ nonexpansive mappings. Appl. Math. Lett. 2009, 22: 1051–1055. 10.1016/j.aml.2009.01.015
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.031
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.015
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.501643
Ye J, Huang J: Strong convergence theorems for fixed point problems and generalized equilibrium problems of three relatively quasinonexpansive mappings in Banach spaces. J. Math. Comput. Sci. 2011, 1: 1–18.
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 58
Qin X, Wang T, Cho SY: Hybrid projection algorithms for asymptotically strict quasi ϕ pseudocontractions. Abst. Appl. Anal. 2011., 2011: Article ID 142626
Zhou H, Gao X: An iterative method of fixed points for closed and quasistrict pseudocontractions in Banach spaces. J. Appl. Math. Comput. 2010, 33: 227–237. 10.1007/s1219000902830
Kamimura S, Takahashi W: Strong convergence of a proximaltype algorithm in a Banach space. SIAM J. Optim. 2002, 13: 938–945. 10.1137/S105262340139611X
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.033
Rockafellar RT: Characterization of the subdifferentials of convex functions. Pac. J. Math. 1966, 17: 497–510.
Rockafellar TT: On the maximality of sums of nonlinear monotone operators. Trans. Am. Math. Soc. 1970, 149: 75–88. 10.1090/S00029947197002822725
Acknowledgements
This research is partially supported by Natural Science Foundation of Zhejiang Province (Q12A010097) and National Natural Science Foundation of China (11126334).
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors contributed equally to this manuscript. All authors read and approved the final manuscript.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License ( https://creativecommons.org/licenses/by/2.0 ), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
Qin, X., Wang, L. & Kang, S.M. Some results on fixed points of asymptotically strict quasiϕpseudocontractions in the intermediate sense. Fixed Point Theory Appl 2012, 143 (2012). https://doi.org/10.1186/168718122012143
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/168718122012143