# Iterative Algorithms for Solving the System of Mixed Equilibrium Problems, Fixed-Point Problems, and Variational Inclusions with Application to Minimization Problem

Authors: Tanom Chamnarnpan; Poom Kumam
Journal: Journal of Applied Mathematics
 (2012)

---

## Abstract

We introduce a new iterative algorithm for solving a common solution of the set of solutions of fixed point for an infinite family of nonexpansive mappings, the set of solution of a system of mixed equilibrium problems, and the set of solutions of the variational inclusion for aβ-inverse-strongly monotone mapping in a real Hilbert space. We prove that the sequence converges strongly to a common element of the above three sets under some mild conditions. Furthermore, we give a numerical example which supports our main theorem in the last part.


---

## Body

## 1. Introduction

LetC be a closed convex subset of a real Hilbert space H with the inner product 〈·,·〉 and the norm ∥·∥. Let F be a bifunction of C×C into ℛ, where ℛ is the set of real numbers, φ:C→ℛ be a real-valued function. Let Λ be arbitrary index set. The system of mixed equilibrium problem is for finding x∈C such that(1.1)Fk(x,y)+φ(y)-φ(x)≥0,k∈Λ,∀y∈C.
The set of solutions of (1.1) is denoted by SMEP(Fk), that is, (1.2)SMEP(Fk)={x∈C:=Fk(x,y)+φ(y)-φ(x)≥0,k∈Λ,∀y∈C}.
If Λ is a singleton, then problem (1.1) becomes the following mixed equilibrium problem: finding x∈C such that(1.3)F(x,y)+φ(y)-φ(x)≥0,∀y∈C.
The set of solutions of (1.3) is denoted by MEP(F).Ifφ≡0, the problem (1.3) is reduced into the equilibrium problem [1] for finding x∈C such that(1.4)F(x,y)≥0,∀y∈C.
The set of solutions of (1.4) is denoted by EP(F). This problem contains fixed-point problems, includes as special cases numerous problems in physics, optimization, and economics. Some methods have been proposed to solve the system of mixed equilibrium problem and the equilibrium problem, please consult [2–19].Recall that, a mappingS:C→C is said to be nonexpansive if (1.5)‖Sx-Sy‖≤‖x-y‖,
for all x,y∈C. If C is a bounded closed convex and S is a nonexpansive mapping of C into itself, then F(S) is nonempty [20]. Let A:C→H be a mapping, the Hartmann-Stampacchia variational inequality for finding x∈C such that(1.6)〈Ax,y-x〉≥0,∀y∈C.
The set of solutions of (1.6) is denoted by VI(C,A). The variational inequality has been extensively studied in the literature [21–28].Iterative methods for nonexpansive mappings have recently been applied to solve convex minimization problems. Convex minimization problems have a great impact and influence on the development of almost all branches of pure and applied sciences. A typical problem is to minimize a quadratic function over the set of the fixed points of a nonexpansive mapping on a real Hilbert spaceH:(1.7)θ(x)=12〈Ax,x〉-〈x,y〉,∀x∈F(S),
where A is a linear bounded operator, F(S) is the fixed point set of a nonexpansive mapping S, and y is a given point in H [29].We denote weak convergence and strong convergence by notations⇀ and →, respectively. A mapping A of C into H is called monotone if (1.8)〈Ax-Ay,x-y〉≥0,
for all x,y∈C. A mapping A of C into H is called α-inverse-strongly monotone if there exists a positive real number α such that (1.9)〈Ax-Ay,x-y〉≥α‖Ax-Ay‖2,
for all x,y∈C. It is obvious that any α-inverse-strongly monotone mappings A are monotone and Lipschitz continuous mapping. A linear bounded operator A is strongly positive if there exists a constant γ¯>0 with the property (1.10)〈Ax,x〉≥γ¯‖x‖2,
for all x∈H. A self-mapping f:C→C is a contraction on C if there exists a constant α∈(0,1) such that (1.11)‖f(x)-f(y)‖≤α‖x-y‖,
for all x,y∈C. We use ΠC to denote the collection of all contraction on C. Note that each f∈ΠC has a unique fixed point in C.LetB:H→H be a single-valued nonlinear mapping and M:H→2H be a set-valued mapping. The variational inclusion problem is to find x∈H such that(1.12)θ∈B(x)+M(x),
where θ is the zero vector in H. The set of solutions of problem (1.12) is denoted by I(B,M). The variational inclusion has been extensively studied in the literature, see, for example, [30–32] and the reference therein.A set-valued mappingM:H→2H is called monotone if for all x,y∈H, f∈M(x), and g∈M(y) impling 〈x-y,f-g〉≥0. A monotone mapping M is maximal if its graph G(M):={(f,x)∈H×H:f∈M(x)} of M is not properly contained in the graph of any other monotone mapping. It is known that a monotone mapping M is maximal if and only if for (x,f)∈H×H,〈x-y,f-g〉≥0 for all (y,g)∈G(M) impling f∈M(x).LetB be an inverse-strongly monotone mapping of C into H, and let NCv be normal cone to C at v∈C, that is, NCv={w∈H:〈v-u,w〉≥0,forallu∈C}, and define(1.13)Tv={Bv+NCv,ifv∈C,∅,ifv∉C.
Then, T is a maximal monotone and θ∈Tv if and only if v∈VI(C,B) (see [33]).LetM:H→2H be a set-valued maximal monotone mapping, then the single-valued mapping JM,λ:H→H defined by(1.14)JM,λ(x)=(I+λM)-1(x),x∈H,
is called the resolvent operator associated with M, where λ is any positive number and I is the identity mapping. It is worth mentioning that the resolvent operator is nonexpansive, 1-inverse-strongly monotone, and that a solution of problem (1.12) is a fixed point of the operator JM,λ(I-λB) for all λ>0, (for more details see [34]).In 2000, Moudafi [35] introduced the viscosity approximation method for nonexpansive mappings and proved that if H is a real Hilbert space, the sequence {xn} defined by the iterative method below, with the initial guess x0∈C is chosen arbitrarily,(1.15)xn+1=αnf(xn)+(1-αn)Sxn,n≥0,
where {αn}⊂(0,1) satisfies certain conditions and converges strongly to a fixed point of S (say x¯∈C), which is then a unique solution of the following variational inequality:(1.16)〈(I-f)x¯,x-x¯〉≥0,∀x∈F(S).In 2006, Marino and Xu [29] introduced a general iterative method for nonexpansive mapping. They defined the sequence {xn} generated by the algorithm x0∈C,(1.17)xn+1=αnγf(xn)+(I-αnA)Sxn,n≥0,
where {αn}⊂(0,1), and A is a strongly positive linear bounded operator. They proved that if C=H, and the sequence {αn} satisfies appropriate conditions, then the sequence {xn} generated by (1.17) converges strongly to a fixed point of S (say x¯∈H) which is the unique solution of the following variational inequality:(1.18)〈(A-γf)x¯,x-x¯〉≥0,∀x∈F(S),
which is the optimality condition for the minimization problem(1.19)min⁡x∈F(S)∩EP⁡(F)12〈Ax,x〉-h(x),
where h is a potential function for γf (i.e., h′(x)=γf(x) for x∈H).For finding a common element of the set of fixed points of nonexpansive mappings and the set of solution of the variational inequalities. LetPC be the projection of H onto C. In 2005, Iiduka and Takahashi [36] introduced the following iterative process for x0∈C,(1.20)xn+1=αnu+(1-αn)SPC(xn-λnAxn),∀n≥0,
where u∈C, {αn}⊂(0,1), and {λn}⊂[a,b] for some a,b with 0<a<b<2β. They proved that under certain appropriate conditions imposed on {αn} and {λn}, the sequence {xn} generated by (1.20) converges strongly to a common element of the set of fixed points of a nonexpansive mapping and the set of solutions of the variational inequality for an inverse-strongly monotone mapping (say x¯∈C) which solve some variational inequality(1.21)〈x¯-u,x-x¯〉≥0,∀x∈F(S)∩VI⁡(C,A).In 2008, Su et al. [37] introduced the following iterative scheme by the viscosity approximation method in a real Hilbert space: x1,un∈H(1.22)F(un,y)+1rn〈y-un,un-xn〉≥0,∀y∈C,xn+1=αnf(xn)+(1-αn)SPC(un-λnAun),
for all n∈ℕ, where {αn}⊂[0,1) and {rn}⊂(0,∞) satisfing some appropriate conditions. Furthermore, they proved that {xn} and {un} converge strongly to the same point z∈F(S)∩VI(C,A)∩EP(F), where z=PF(S)∩VI(C,A)∩EP(F)f(z).Let{Ti} be an infinite family of nonexpansive mappings of H into itself, and let {λi} be a real sequence such that 0≤λi≤1 for every i∈N. For n≥1, we defined a mapping Wn of H into itself as follows:(1.23)Un,n+1∶=I,Un,n∶=λnTnUn,n+1+(1-λn)I,⋮Un,k∶=λkTkUn,k+1+(1-λk)I,⋮Un,2∶=λ2T2Un,3+(1-λ2)I,Wn∶=Un,1:=λ1T1Un,2+(1-λ1)I.In 2011, He et al. [38] introduced the following iterative process for {Tn:C→C} which is a sequence of nonexpansive mappings. Let {zn} be the sequence defined by(1.24)zn+1=ϵnγf(zn)+(I-ϵn)WnKr1,n1Kr2,n2⋅⋯⋅KrK,nKzn,∀n∈N.
The sequence {zn} defined by (1.24) converges strongly to a common element of the set of fixed points of nonexpansive mappings, the set of solutions of the variational inequality, and the generalized equilibrium problem. Recently, Jitpeera and Kumam [39] introduced the following new general iterative method for finding a common element of the set of solutions of fixed point for nonexpansive mappings, the set of solution of generalized mixed equilibrium problems, and the set of solutions of the variational inclusion for a β-inverse-strongly monotone mapping in a real Hilbert space.In this paper, we modify the iterative methods (1.17), (1.22), and (1.24) by purposing the following new general viscosity iterative method: x0,un∈C,(1.25)un=Krn,nFN⋅Krn-1,nFN-1⋅Krn-2,nFN-2⋅⋯⋅Kr2,nF2⋅Kr1,nF1⋅xn,∀n∈Nxn+1=PC[ϵnγf(xn)+(I-ϵnA)WnJM,λ(un-λBun)],
for all n∈ℕ, where {αn}⊂(0,1), {rn}⊂(0,2σ), and λ∈(0,2β) satisfy some appropriate conditions. The purpose of this paper shows that under some control conditions the sequence {xn} converges strongly to a common element of the set of common fixed points of nonexpansive mappings, the solution of the system of mixed equilibrium problems, and the set of solutions of the variational inclusion in a real Hilbert space. Moreover, we apply our results to the class of strictly pseudocontractive mappings. Finally, we give a numerical example which supports our main theorem in the last part. Our results improve and extend the corresponding results of Marino and Xu [29], Su et al. [37], He et al. [38], and some authors.


## 2. Preliminaries

LetH be a real Hilbert space and C be a nonempty closed and convex subset of H. Recall that the (nearest point) projection PC from H onto C assigns to each x∈H and the unique point in PCx∈C satisfies the property (2.1)‖x-PCx‖=min⁡y∈C‖x-y‖,
which is equivalent to the following inequality(2.2)〈x-PCx,PCx-y〉≥0,∀y∈C.
The following characterizes the projection PC. We recall some lemmas which will be needed in the rest of this paper.Lemma 2.1.
The functionu∈C is a solution of the variational inequality if and only if u∈C satisfies the relation u=PC(u-λBu) for all λ>0.Lemma 2.2.
For a givenz∈H, u∈C, u=PCz⇔〈u-z,v-u〉≥0,∀v∈C.
It is well known thatPC is a firmly nonexpansive mapping of H onto C and satisfies
(2.3)‖PCx-PCy‖2≤〈PCx-PCy,x-y〉,∀x,y∈H.
Moreover, PCx is characterized by the following properties: PCx∈C and for all x∈H,y∈C,
(2.4)〈x-PCx,y-PCx〉≤0.Lemma 2.3 (see [40]).
LetM:H→2H be a maximal monotone mapping, and let B:H→H be a monotone and Lipshitz continuous mapping. Then the mapping L=M+B:H→2H is a maximal monotone mapping.Lemma 2.4 (see [41]).
Each Hilbert spaceH satisfies Opial's condition, that is, for any sequence {xn}⊂H with xn⇀x, the inequality liminfn→∞∥xn-x∥<liminfn→∞∥xn-y∥, hold for each y∈H with y≠x.Lemma 2.5 (see [42]).
Assume{an} is a sequence of nonnegative real numbers such that
(2.5)an+1≤(1-γn)an+δn,∀n≥0,
where {γn}⊂(0,1) and {δn} is a sequence in ℛ such that(i)
∑n=1∞γn=∞,(ii)
limsupn→∞δn/γn≤0 or ∑n=1∞|δn|<∞.Then limn→∞an=0.Lemma 2.6 (see [43]).
LetC be a closed convex subset of a real Hilbert space H, and let T:C→C be a nonexpansive mapping. Then I-T is demiclosed at zero, that is,
(2.6)xn⟶x,xn-Txn⟶0,
implying x=Tx.For solving the mixed equilibrium problem, let us assume that the bifunctionF:C×C→ℛ and the nonlinear mapping φ:C→ℛ satisfy the following conditions:  (A1)
F(x,x)=0 for all x∈C;(A2)
F is monotone, that is, F(x,y)+F(y,x)≤0 for any x,y∈C;(A3)
for each fixedy∈C, x↦F(x,y) is weakly upper semicontinuous;(A4)
for each fixedx∈C, y↦F(x,y) is convex and lower semicontinuous;(B1)
for eachx∈C and r>0, there exist a bounded subset Dx⊆C and yx∈C such that for any z∈C∖Dx,(2.7)F(z,yx)+φ(yx)-φ(z)+1r〈yx-z,z-x〉<0,(B2)
C is a bounded set.Lemma 2.7 (see [44]).
LetC be a nonempty closed and convex subset of a real Hilbert space H. Let F:C×C→ℛ be a bifunction mapping satisfying (A1)–(A4), and let φ:C→ℛ be a convex and lower semicontinuous function such that C∩domφ≠∅. Assume that either (B1) or (B2) holds. For r>0 and x∈H, then there exists u∈C such that
(2.8)F(u,y)+φ(y)-φ(u)+1r〈y-u,u-x〉≥0.
Define a mapping Kr:H→C as follows:
(2.9)Kr(x)={u∈C:F(u,y)+φ(y)-φ(u)+1r〈y-u,u-x〉≥0,∀y∈C},
for all x∈H. Then, the following hold:  (i)
Kr is single-valued;(ii)
Kr is firmly nonexpansive, that is, for any x,y∈H, ∥Krx-Kry∥2≤〈Krx-Kry,x-y〉;(iii)
F(Kr)=MEP(F);(iv)
MEP(F) is closed and convex.Lemma 2.8 (see [29]).
AssumeA is a strongly positive linear bounded operator on a Hilbert space H with coefficient γ¯>0 and 0<ρ≤∥A∥-1, then ∥I-ρA∥≤1-ργ¯.Lemma 2.9 (see [38]).
Let C  be a nonempty closed and convex subset of a strictly convex Banach space. Let{Ti}i∈N be an infinite family of nonexpansive mappings of C  into itself such that ∩i∈NF(Ti)≠∅, and let {λi} be a real sequence such that 0≤λi≤b<1 for every i∈N. Then F(W)=∩i∈NF(Ti)≠∅.Lemma 2.10 (see [38]).
Let C  be a nonempty closed and convex subset of a strictly convex Banach space. Let{Ti} be an infinite family of nonexpansive mappings of C  into itself, and let {λi} be a real sequence such that 0≤λi≤b<1 for every i∈N. Then, for every x∈C and k∈N, the limit limn→∞Un,k exist.
In view of the previous lemma, we define(2.10)Wx:=lim⁡n→∞Un,1x=lim⁡n→∞Wnx.


## 3. Strong Convergence Theorems

In this section, we show a strong convergence theorem which solves the problem of finding a common element of the common fixed points, the common solution of a system of mixed equilibrium problems and variational inclusion of inverse-strongly monotone mappings in a Hilbert space.Theorem 3.1.
LetH be a real Hilbert space and C a nonempty close and convex subset of H, and let B be a β-inverse-strongly monotone mapping. Let φ:C→R be a convex and lower semicontinuous function, f:C→C a contraction mapping with coefficient α(0<α<1), and M:H→2H a maximal monotone mapping. Let A be a strongly positive linear bounded operator of H into itself with coefficient γ¯>0. Assume that 0<γ<γ̅/α and λ∈(0,2β). Let {Tn} be a family of nonexpansive mappings of H into itself such that
(3.1)θ:=⋂n=1∞F(Tn)∩(⋂k=1NSMEP(Fk))∩I(B,M)≠∅.
Suppose that {xn} is a sequence generated by the following algorithm for x0∈C arbitrarily and
(3.2)un=Krn,nFN⋅Krn-1,nFN-1⋅Krn-2,nFN-2⋅⋯⋅Kr2,nF2⋅Kr1,nF1⋅xn,∀n∈Nxn+1=PC[ϵnγf(xn)+(I-ϵnA)WnJM,λ(un-λBun)],
for all n=1,2,3,…, where
(3.3)Kri,nFi(x)={un∈C:Fi(un,y)+φ(y)-φ(un)+1ri,n〈y-un,un-xn〉≥0,∀y∈C},i=1,2,3,…,N,
and the following conditions are satisfied(C1):
{ϵn}⊂(0,1),limn→0ϵn=0,∑n=1∞ϵn=∞,∑n=1∞|ϵn+1-ϵn|<∞;(C2):
{rn}⊂[c,d] with c,d∈(0,2σ) and ∑n=1∞|rn+1-rn|<∞.
Then, the sequence{xn} converges strongly to q∈θ, where q=Pθ(γf+I-A)(q) which solves the following variational inequality:
(3.4)〈(γf-A)q,p-q〉≤0,∀p∈θ,
which is the optimality condition for the minimization problem
(3.5)min⁡q∈θ⁡12〈Aq,q〉-h(q),
where h is a potential function for γf (i.e., h′(q)=γf(q) for q∈H).Proof.
For condition (C1), we may assume without loss of generality, andϵn∈(0,∥A∥-1) for all n. By Lemma 2.8, we have ∥I-ϵnA∥≤1-ϵnγ¯. Next, we will assume that ∥I-A∥≤∥1-γ¯∥.
Next, we will divide the proof into six steps.
Step 1.
First, we will show that{xn} and {un} are bounded. Since B is β-inverse-strongly monotone mappings, we have
(3.6)‖(I-λB)x-(I-λB)y‖2=‖Ix-λBx-Iy+λBy‖2=‖x-y-λBx+λBy‖2=‖(x-y)-λ(Bx+By)‖2≤‖x-y‖2-2λ〈x-y〉〈Bx+By〉+λ2‖Bx-By‖2≤‖x-y‖2-2λβ‖Bx+By‖2+λ2‖Bx-By‖2≤‖x-y‖2+λ(λ-2β)‖Bx+By‖2,
if 0<λ<2β, thenI-λB is nonexpansive.
Putyn:=JM,λ(un-λBun),n≥0. Since JM,λ and I-λB are nonexpansive mapping, it follows that
(3.7)‖yn-q‖=‖JM,λ(un-λBun)-JM,λ(q-λBq)‖≤‖(un-λBun)-(q-λBq)‖≤‖un-q‖.
By Lemma 2.7, we have
(3.8)un=Krn,nFN⋅Krn-1,nFN-1⋅Krn-2,nFN-2⋅⋯⋅Kr2,nF2⋅Kr1,nF1⋅xn,forn≥0τnk=Krk,nFk⋅Krk-1,nFk-1⋅⋯⋅Kr2,nF2⋅Kr1,nF1,fork∈{0,1,2,…,N},
and τn0=Iforalln∈N,q=τrk,nFkq,un=τrk,NNxn Then, we have
(3.9)‖un-q‖2=‖τrk,nNxn-τrk,nFkq‖2=‖xn-q‖2.
Hence,  we get
(3.10)‖yn-q‖≤‖xn-q‖.
From (3.2), we deduce that
(3.11)‖xn+1-q‖=‖PC(ϵnγf(xn)+(I-ϵnA)Wnyn)-PCq‖≤‖ϵn(γf(xn)-Aq)+(I-ϵnA)(Wnyn-q)‖≤ϵn‖γf(xn)-Aq‖+(1-ϵnγ¯)‖yn-q‖≤ϵγϵn‖xn-q‖+ϵn‖γf(g)-Aq‖+(1-ϵnγ¯)‖xn-q‖=(1-(γ¯-γϵ)ϵn)‖xn-q‖-ϵn‖γf(q)-Aq‖=(1-(γ¯-γϵ)ϵn)‖xn-q‖+(γ¯-γϵ)ϵn‖γf(q)-Aq‖γ¯-γϵ⋮≤max⁡{‖xn-q‖,‖γf(q)-Aq‖γ¯-γϵ}.
It follows by induction that
(3.12)‖xn-q‖≤max⁡{‖x0-q‖,‖γf(q)-Aq‖γ¯-γϵ},n≥0.
Therefore {xn} is bounded, so are {yn},{Bun},{f(xn)}, and {AWnyn}.Step 2.
We claim thatlimn→∞∥xn+1-xn∥=0 and limn→∞∥yn+1-yn∥=0. From (3.2), we have
(3.13)‖xn+1-xn‖=‖PC(ϵnγf(xn)+(I-ϵnA)Wnyn)-PC(ϵn-1γf(xn-1)+(I-ϵn-1A)Wnyn-1)‖≤‖(I-ϵnA)(Wnyn-Wnyn-1)-(ϵn-ϵn-1)AWnyn-1+γϵn(f(xn)-f(xn-1))+γ(ϵn-ϵn-1)f(xn-1)‖≤(1-ϵnγ¯)‖yn-yn-1‖+|ϵn-ϵn-1|‖AWnyn‖+γϵϵn‖xn-xn-1‖+γ|ϵn-ϵn-1|‖f(xn-1)‖.
Since  JM,λ and I-λB are nonexpansive, we also have
(3.14)‖yn-yn-1‖=‖JM,λ(un-λBun)-JM,λ(un-1-λBun-1)‖≤‖(un-λBun)-(un-1-λBun-1)‖≤‖un-un-1‖.
On the other hand, from un-1=τrk,n-1Nxn-1 and un=τrk,nNxn, it follows that
(3.15)F(un-1,y)+φ(y)-φ(un-1)+1rn-1〈y-un-1,un-1-xn-1〉≥0,∀y∈C,(3.16)F(un,y)+φ(y)-φ(un)+1rn〈y-un,un-xn〉≥0,∀y∈C.
Substituting y=un into (3.15) and y=un-1 into (3.16), we get
(3.17)F(un-1,un)+φ(un)-φ(un-1)+1rn-1〈un-un-1,un-1-xn-1〉≥0,F(un,un+1)+φ(un+1)-φ(un)+1rn〈un+1-un,un-xn〉≥0.
From (A2), we obtain
(3.18)〈un-un-1,un-1-xn-1rn-1-un-xnrn〉≥0,〈un-un-1,un-1-xn-1-rn-1rn(un-xn)〉≥0,
so,
(3.19)〈un-un-1,un-1-un+un-xn-1-rn-1rn(un-xn)〉≥0.
It follows that
(3.20)〈un-un-1,un-1-un+un-xn-rn-1rn(un-xn)〉≥0,〈un-un-1,un-1-un〉+〈un-un-1,(1-rn-1rn)(un-xn)〉≥0.
Without loss of generality, let us assume that there exists a real number c such that rn-1>c>0, for all n∈ℕ. Then, we have
(3.21)‖un-un-1‖2≤〈un-un-1,(1-rn-1rn)(un-xn)〉≤‖un-un-1‖{|1-rn-1rn|‖un-xn‖},
and hence
(3.22)‖un-un-1‖≤‖xn-xn-1‖+1rn|rn-rn-1|‖un-xn‖≤‖xn-xn-1‖+M1c|rn-rn-1|,
where M1=sup{∥un-xn∥:n∈ℕ}. Substituting (3.22) into (3.14), we have
(3.23)‖yn-yn-1‖≤‖xn-xn-1‖+M1c|rn-rn-1|.
Substituting (3.23) into (3.13), we get
(3.24)‖xn+1-xn‖≤(1-ϵnγ¯)(‖xn-xn-1‖+M1c|rn-rn-1|)+|ϵn-ϵn-1|‖AWnyn-1‖+γϵϵn‖xn-xn-1‖+γ|ϵn-ϵn-1|‖f(xn-1)‖=(1-ϵnγ¯)‖xn-xn-1‖+(1-ϵnγ¯)M1c|rn-rn-1|+|ϵn-ϵn-1|‖AWnyn-1‖+γϵϵn‖xn-xn-1‖+γ|ϵn-ϵn-1|‖f(xn-1)‖≤(1-(γ¯-γϵ)ϵn)‖xn-xn-1‖+M1c|rn-rn-1|+|ϵn-ϵn-1|‖AWnyn-1‖+γ|ϵn-ϵn-1|‖f(xn-1)‖≤(1-(γ¯-γϵ)ϵn)‖xn-xn-1‖+M1c|rn-rn-1|+M2|ϵn-ϵn-1|,
where M2=sup{max{∥AWnyn-1∥,∥f(xn-1)∥:n∈ℕ}}. Since conditions (C1)-(C2) and by Lemma 2.5, we have ∥xn+1-xn∥→0 as n→∞. From (3.23), we also have ∥yn+1-yn∥→0 as n→∞.Step 3.
Next, we show thatlimn→∞∥Bun-Bq∥=0.
Forq∈θ hence q=JM,λ(q-λBq). By (3.6) and  (3.9), we get
(3.25)‖yn-q‖2=‖JM,λ(un-λBun)-JM,λ(q-λBq)‖2≤‖(un-λBun)-(q-λBq)‖2≤‖un-q‖2+λ(λ-2β)‖Bun-Bq‖2≤‖xn-q‖2+λ(λ-2β)‖Bun-Bq‖2.
It follows that
(3.26)‖xn+1-q‖2=‖PC(ϵnγf(xn)+(I-ϵnA)Wnyn)-PC(q)‖2≤‖ϵn(γf(xn)-Aq)+(I-ϵnA)(Wnyn-q)‖2≤(ϵn‖γf(xn)-Aq‖+(1-ϵnγ¯)‖yn-q‖)2≤ϵn‖γf(xn)-Aq‖2+(1-ϵnγ¯)‖yn-q‖2+2ϵn(1-ϵnγ¯)‖γf(xn)-Aq‖‖yn-q‖≤ϵn‖γf(xn)-Aq‖2+2ϵn(1-ϵnγ¯)‖γf(xn)-Aq‖‖yn-q‖+(1-ϵnγ¯)(‖xn-q‖2+λ(λ-2β)‖Bun-Bq‖2)≤ϵn‖γf(xn)-Aq‖2+2ϵn(1-ϵnγ¯)‖γf(xn)-Aq‖‖yn-q‖+‖xn-q‖2+(1-ϵnγ¯)λ(λ-2β)‖Bun-Bq‖2.
So, we obtain
(3.27)(1-ϵnγ¯)λ(2β-λ)‖Bun-Bq‖2≤ϵn‖γf(xn)-Aq‖2+‖xn-xn+1‖(‖xn-q‖+‖xn+1-q‖)+ξn,
where ξn=2ϵn(1-ϵnγ¯)∥γf(xn)-Aq∥∥yn-q∥. By conditions (C1), (C3) and limn→∞∥xn+1-xn∥=0, then, we obtain that ∥Bun-Bq∥→0 as n→∞.Step 4.
We show the following:(i)
limn→∞∥xn-un∥=0;(ii)
limn→∞∥un-yn∥=0;(iii)
limn→∞∥yn-Wnyn∥=0. Since Krn(x) is firmly nonexpansive and (2.3), we observe that
(3.28)‖un-q‖2=‖τrn,nNxn-τrn,nNq‖2≤〈xn-q,un-q〉=12(‖xn-q‖2+‖un-q‖2-‖xn-q-un-q‖2)≤12(‖xn-q‖2+‖un-q‖2-‖xn-un‖2),
it follows that
(3.29)‖un-q‖2≤‖xn-q‖2-‖xn-un‖2.
SinceJM,λ is 1-inverse-strongly monotone and by (2.3), we compute
(3.30)‖yn-q‖2=‖JM,λ(un-λBun)-JM,λ(q-λBq)‖2≤〈(un-λBun)-(q-λBq),yn-q〉=12(‖(un-λBun)-(q-λBq)‖2+‖yn-q‖2-‖(un-λBun)-(q-λBq)-(yn-q)‖2)≤12(‖un-q‖2+‖yn-q‖2-‖(un-yn)-λ(Bun-Bq)‖2)=12(‖un-q‖2+‖yn-q‖2-‖un-yn‖2+2λ〈un-yn,Bun-Bq〉-λ2‖Bun-Bq‖2),
which implies that
(3.31)‖yn-q‖2≤‖un-q‖2-‖un-yn‖2+2λ‖un-yn‖‖Bun-Bq‖.
Substituting (3.31) into (3.26), we have
(3.32)‖xn+1-q‖2≤ϵn‖γf(xn)-Aq‖2+‖yn-q‖2+2ϵn(1-ϵnγ¯)‖γf(xn)-Aq‖‖yn-q‖≤ϵn‖γf(xn)-Aq‖2+(‖un-q‖2-‖un-yn‖2+2λn‖un-yn‖‖Bun-Bq‖)+2ϵn(1-ϵnγ¯)‖γf(xn)-Aq‖‖yn-q‖.
Then, we derive
(3.33)‖xn-un‖2+‖un-yn‖2≤ϵn‖γf(xn)-Aq‖2+‖xn-q‖2-‖xn+1-q‖2+2λ‖un-yn‖‖Bun-Bq‖+2ϵn(1-ϵnγ¯)‖γf(xn)-Aq‖‖yn-q‖.=ϵn‖γf(xn)-Aq‖2+‖xn-xn+1‖(‖xn-q‖+‖xn+1-q‖)+2λ‖un-yn‖‖Bun-Bq‖+2ϵn(1-ϵnγ¯)‖γf(xn)-Aq‖‖yn-q‖.
By condition (C1), limn→∞∥xn-xn+1∥=0 and limn→∞∥Bun-Bq∥=0.
So, we have∥xn-un∥→0,∥un-yn∥→0 as n→∞. It follows that
(3.34)‖xn-yn‖≤‖xn-un‖+‖un-yn‖⟶0,asn⟶∞.
From (3.2), we have
(3.35)‖xn-Wnyn‖≤‖xn-Wnyn-1‖+‖Wnyn-1-Wnyn‖≤‖PC(ϵn-1γf(xn-1)+(I-αn-1A)Wnyn-1)-PC(Wnyn-1)‖+‖yn-1-yn‖≤ϵn-1‖γfxn-1-AWnyn-1‖+‖yn-1-yn‖.
By condition (C1) and limn→∞∥yn-1-yn∥=0, we obtain that ∥xn-Wnyn∥→0 as n→∞.
Hence, we have(3.36)‖xn-Wnxn‖≤‖xn-Wnyn‖+‖Wnyn-Wnxn‖≤‖xn-Wnyn‖+‖yn-xn‖.
By (3.34) and limn→∞∥xn-Wnyn∥=0, we obtain ∥xn-Wnxn∥→0 as n→∞.
Moreover, we also have(3.37)‖yn-Wnyn‖≤‖yn-xn‖+‖xn-Wnyn‖.
By (3.34) and limn→∞∥xn-Wnyn∥=0, we obtain ∥yn-Wnyn∥→0 as n→∞.Step 5.
We show thatq∈θ:=⋂n=1∞F(Tn)∩(⋂k=1NSMEP(Fk))∩I(B,M) and limsupn→∞〈(γf-A)q,Wnyn-q〉≤0. It is easy to see that Pθ(γf+(I-A)) is a contraction of H into itself.
Indeed, since0<γ<γ̅/ϵ, we have
(3.38)‖Pθ(γf+(I-A))x-Pθ(γf+(I-A))y‖≤γ‖f(x)-f(y)‖+‖I-A‖‖x-y‖≤γϵ‖x-y‖+(1-γ¯)‖x-y‖≤(1-γ¯+γϵ)‖x-y‖.
Since H is complete, then there exists a unique fixed point q∈H such that q=Pθ(γf+(I-A))(q). By Lemma 2.2, we obtain that 〈(γf-A)q,w-q〉≤0 for all w∈θ.
Next, we show thatlimsupn→∞〈(γf-A)q,Wnyn-q〉≤0, where q=Pθ(γf+I-A)(q) is the unique solution of the variational inequality 〈(γf-A)q,w-q〉≥0 for all w∈θ. We can choose a subsequence {yni} of {yn} such that
(3.39)limsup⁡n→∞〈(γf-A)q,Wnyn-q〉=lim⁡i→∞〈(γf-A)q,Wnyni-q〉.
As {yni} is bounded, there exists a subsequence {ynij} of {yni} which converges weakly to w. We may assume without loss of generality that yni⇀w.
Next we claim thatw∈θ. Since ∥yn-Wnyn∥→0,∥xn-Wnxn∥→0, and ∥xn-yn∥→0, and by Lemma 2.6, we have w∈⋂n=1∞F(Tn).
Next, we show thatw∈⋂k=1∞SMEP(Fk). Since un=τrk,nNxn, for k=1,2,3,…,N, we know that
(3.40)Fk(un,y)+φ(y)-φ(un)+1rn〈y-un,un-xn〉≥0,∀y∈C.
It follows by (A2) that
(3.41)φ(y)-φ(un)+1rn〈y-un,un-xn〉≥Fk(y,un),∀y∈C.
Hence, for k=1,2,3,…,N, we get
(3.42)φ(y)-φ(uni)+1rni〈y-uni,uni-xni〉≥Fk(y,uni),∀y∈C.
For t∈(0,1] and y∈H, let yt=ty+(1-t)w. From (3.42), we have
(3.43)0≥φ(yt)+φ(uni)-1rni〈yt-uni,uni-xni〉+Fk(yt,uni).
Since∥uni-xni∥→0, from (A4) and the weakly lower semicontinuity of φ, (uni-xni)/rni→0 and uni⇀w. From (A1) and (A4), we have
(3.44)0=Fk(yt,yt)-φ(yt)+φ(yt)≤tFk(yt,y)+(1-t)Fk(yt,w)+tφ(y)+(1-t)φ(w)-φ(yt)≤t[Fk(yt,y)+φ(y)-φ(yt)].
Dividing by t, we get
(3.45)Fk(yt,y)+φ(y)-φ(yt)≥0.
The weakly lower semicontinuity of φ for k=1,2,3,…,N, we get
(3.46)Fk(w,y)+φ(y)≥φ(w).
So, we have
(3.47)Fk(w,y)+φ(y)-φ(w)≥0,∀k=1,2,3,…,N.
This implies that w∈⋂k=1NSMEP(Fk).
Lastly, we show thatw∈I(B,M). In fact, since B is β-inverse strongly monotone, hence B is a monotone and Lipschitz continuous mapping. It follows from Lemma 2.3 that M+B is a maximal monotone. Let (v,g)∈G(M+B), since g-Bv∈M(v). Again since yni=JM,λ(uni-λBuni), we have uni-λBuni∈(I+λM)(yni), that is, (1/λ)(uni-yni-λBuni)∈M(yni). By virtue of the maximal monotonicity of M+B, we have
(3.48)〈v-yni,g-Bv-1λ(uni-yni-λBuni)〉≥0,
and hence
(3.49)〈v-yni,g〉≥〈v-yni,Bv+1λ(uni-yni-λBuni)〉=〈v-yni,Bv-Byni〉+〈v-yni,Byni-Buni〉+〈v-yni,1λ(uni-yni)〉.
It follows from limn→∞∥un-yn∥=0, we have limn→∞∥Bun-Byn∥=0 and yni⇀w, it follows that
(3.50)limsup⁡n→∞〈v-yn,g〉=〈v-w,g〉≥0.
It follows from the maximal monotonicity of B+M that θ∈(M+B)(w), that is, w∈I(B,M). Therefore, w∈θ. We observe that
(3.51)limsup⁡n→∞〈(γf-A)q,Wnyn-q〉=lim⁡i→∞〈(γf-A)q,Wnyni-q〉=〈(γf-A)q,w-q〉≤0.Step 6.
Finally, we provexn→q. By using (3.2) and together with Schwarz inequality, we have
(3.52)‖xn+1-q‖2=‖PC(ϵnγf(xn)+(I-ϵnA)Wnyn)-PC(q)‖2≤‖ϵn(γf(xn)-Aq)+(I-ϵnA)(Wnyn-q)‖2≤(I-ϵnA)2‖(Wnyn-q)‖2+ϵn2‖γf(xn)-Aq‖2+2ϵn〈(I-ϵnA)(Wnyn-q),γf(xn)-Aq〉≤(1-ϵnγ¯)2‖yn-q‖2+ϵn2‖γf(xn)-Aq‖2+2ϵn〈Wnyn-q,γf(xn)-Aq〉-2ϵn2〈A(Wnyn-q),γf(xn)-Aq〉≤(1-ϵnγ¯)2‖xn-q‖2+ϵn2‖γf(xn)-Aq‖2+2ϵn〈Wnyn-q,γf(xn)-γf(q)〉+2ϵn〈Wnyn-q,γf(q)-Aq〉-2ϵn2〈A(Wnyn-q),γf(xn)-Aq〉≤(1-ϵnγ¯)2‖xn-q‖2+ϵn2‖γf(xn)-Aq‖2+2ϵn‖Wnyn-q‖‖γf(xn)-γf(q)‖+2ϵn〈Wnyn-q,γf(q)-Aq〉-2ϵn2〈A(Wnyn-q),γf(xn)-Aq〉≤(1-ϵnγ¯)2‖xn-q‖2+ϵn2‖γf(xn)-Aq‖2+2γϵϵn‖yn-q‖‖xn-q‖+2ϵn〈Wnyn-q,γf(q)-Aq〉-2ϵn2〈A(Wnyn-q),γf(xn)-Aq〉≤(1-ϵnγ¯)2‖xn-q‖2+ϵn2‖γf(xn)-Aq‖2+2γϵϵn‖xn-q‖2+2ϵn〈Wnyn-q,γf(q)-Aq〉-2ϵn2〈A(Wnyn-q),γf(xn)-Aq〉≤((1-ϵnγ¯)2+2γϵϵn)‖xn-q‖2+ϵn{ϵn‖γf(xn)-Aq‖2+2〈Wnyn-q,γf(q)-Aq〉-2ϵn‖A(Wnyn-q)‖‖γf(xn)-Aq‖‖γf(xn)-Aq‖2}=(1-2(γ¯-γϵ)ϵn)‖xn-q‖2+ϵn{ϵn‖γf(xn)-Aq‖2+2〈Wnyn-q,γf(q)-Aq〉-2ϵn‖A(Wnyn-q)‖‖γf(xn)-Aq‖+ϵnγ¯2‖xn-q‖2}.
Since{xn} is bounded, where η≥∥γf(xn)-Aq∥2-2∥A(Wnyn-q)∥∥γf(xn)-Aq∥+γ¯2∥xn-q∥2 for all n≥0. It follows that
(3.53)‖xn+1-q‖2≤(1-2(γ¯-γϵ)ϵn)‖xn-q‖2+ϵnδn,
where δn=2〈Wnyn-q,γf(q)-Aq〉+ηαn. Since limsupn→∞〈(γf-A)q,Wnyn-q〉≤0, we get limsupn→∞δn≤0. Applying Lemma 2.5, we can conclude that xn→q. This completes the proof.Corollary 3.2.
LetH be a real Hilbert space and C a nonempty closed and convex subset of H. Let B be β-inverse-strongly monotone and φ:C→ℛ a convex and lower semicontinuous function. Let f:C→C be a contraction with coefficient α(0<α<1), M:H→2H a maximal monotone mapping, and {Tn} a family of nonexpansive mappings of H into itself such that
(3.54)θ:=⋂n=1∞F(Tn)∩(⋂k=1NSMEP(Fk))∩I(B,M)≠0.
Suppose that {xn} is a sequence generated by the following algorithm for x0,un∈C arbitrarily:
(3.55)un=Krn,nFN⋅Krn-1,nFN-1⋅Krn-2,nFN-2⋅⋯⋅Kr2,nF2⋅Kr1,nF1⋅xn,∀n∈Nxn+1=PC[ϵnf(xn)+(I-ϵn)WnJM,λ(un-λBun)],
for all n=0,1,2,…, and the conditions (C1)–(C3) in Theorem 3.1 are satisfied.
Then, the sequence{xn} converges strongly to q∈θ, where q=Pθ(f+I)(q) which solves the following variational inequality:
(3.56)〈(f-I)q,p-q〉≤0,∀p∈θ.Proof.
PuttingA≡I and γ≡1 in Theorem 3.1, we can obtain the desired conclusion immediately.Corollary 3.3.
LetH be a real Hilbert space and C a nonempty closed and convex subset of H. Let B be β-inverse-strongly monotone, φ:C→ℛ a convex and lower semicontinuous function, and M:H→2H a maximal monotone mapping. Let {Tn} be a family of nonexpansive mappings of H into itself such that
(3.57)θ:=⋂n=1∞F(Tn)∩(⋂k=1NSMEP(Fk))∩I(B,M)≠0.
Suppose that {xn} is a sequence generated by the following algorithm for x0,u∈C and un∈C:
(3.58)un=Krn,nFN⋅Krn-1,nFN-1⋅Krn-2,nFN-2⋅⋯⋅Kr2,nF2⋅Kr1,nF1⋅xn,∀n∈Nxn+1=PC[ϵnu+(I-ϵn)WnJM,λ(un-λBun)],
for all n=0,1,2,…, and the conditions (C1)–(C3) in Theorem 3.1 are satisfied.
Then, the sequence{xn} converges strongly to q∈θ, where q=Pθ(q) which solves the following variational inequality:
(3.59)〈u-q,p-q〉≤0,∀p∈θ.Proof.
Puttingf(x)≡u, for all x∈C in Corollary 3.2, we can obtain the desired conclusion immediately.Corollary 3.4.
LetH be a real Hilbert space and C a nonempty closed and convex subset of H, and let B be β-inverse-strongly monotone mapping and A a strongly positive linear bounded operator of H into itself with coefficient γ¯>0. Assume that 0<γ<γ̅/α. Let f:C→C be a contraction with coefficient α(0<α<1) and {Tn} be a family of nonexpansive mappings of H into itself such that
(3.60)θ:=⋂n=1∞F(Tn)∩VI⁡(C,B)≠∅.
Suppose that {xn} is a sequence generated by the following algorithm for x0∈C arbitrarily:
(3.61)xn+1=PC[ϵnγf(xn)+(I-ϵnA)WnPC(xn-λBxn)],
for all n=0,1,2,…, and the conditions (C1)–(C3) in Theorem 3.1 are satisfied.
Then, the sequence{xn} converges strongly to q∈θ, where q=Pθ(γf+I-A)(q) which solves the following variational inequality:
(3.62)〈(γf-A)q,p-q〉≤0,∀p∈θ.Proof.
TakingF≡0, φ≡0,un=xn, and JM,λ=PC in Theorem 3.1, we can obtain the desired conclusion immediately.Remark 3.5.
Corollary3.4 generalizes and improves the result of Klin-Eam and Suantai [45].


## 4. Applications

In this section, we apply the iterative scheme (1.25) for finding a common fixed point of nonexpansive mapping and strictly pseudocontractive mapping.Definition 4.1.
A mappingS:C→C is called a strictly pseudocontraction if there exists a constant 0≤κ<1 such that
(4.1)‖Sx-Sy‖2≤‖x-y‖2+κ‖(I-S)x-(I-S)y‖2,∀x,y∈C.
If κ=0, then S is nonexpansive. In this case, we say that S:C→C is a κ-strictly pseudocontraction. Putting B=I-S. Then, we have
(4.2)‖(I-B)x-(I-B)y‖2≤‖x-y‖2+κ‖Bx-By‖2,∀x,y∈C.
Observe that
(4.3)‖(I-B)x-(I-B)y‖2=‖x-y‖2+‖Bx-By‖2-2〈x-y,Bx-By〉,∀x,y∈C.
Hence, we obtain
(4.4)〈x-y,Bx-By〉≥1-κ2‖Bx-By‖2,∀x,y∈C.
Then, B is a ((1-κ)/2)-inverse-strongly monotone mapping.Using Theorem3.1, we first prove a strongly convergence theorem for finding a common fixed point of a nonexpansive mapping and a strictly pseudocontraction.Theorem 4.2.
LetH be a real Hilbert space and C a nonempty closed and convex subset of H, and let B be an β-inverse-strongly monotone, φ:C→ℛ a convex and lower semicontinuous function, and f:C→C a contraction with coefficient α(0<α<1), and let A be a strongly positive linear bounded operator of H into itself with coefficient γ¯>0. Assume that 0<γ<γ̅/α. Let {Tn} be a family of nonexpansive mappings of H into itself, and let S be a κ-strictly pseudocontraction of C into itself such that
(4.5)θ:=⋂n=1∞F(Tn)∩(⋂k=1NSMEP(Fk))∩F(S)≠0.
Suppose that {xn} is a sequence generated by the following algorithm for x0,un∈C arbitrarily:
(4.6)un=Krn,nFN⋅Krn-1,nFN-1⋅Krn-2,nFN-2⋅⋯⋅Kr2,nF2⋅Kr1,nF1⋅xn,∀n∈Nxn+1=PC[ϵnγf(xn)+(I-ϵnA)Wn(1-λ)xn+λSxn],
for all n=0,1,2,…, and the conditions (C1)–(C3) in Theorem 3.1 are satisfied.
Then, the sequence{xn} converges strongly to q∈θ, where q=Pθ(γf+I-A)(q) which solves the following variational inequality:
(4.7)〈(γf-A)q,p-q〉≤0,∀p∈θ,
which is the optimality condition for the minimization problem
(4.8)min⁡q∈θ12〈Aq,q〉-h(q),
where h is a potential function for γf (i.e., h′(q)=γf(q) for q∈H).Proof.
PutB≡I-T, then B is (1-κ)/2 inverse-strongly monotone and F(S)=I(B,M), and JM,λ(xn-λBxn)=(1-λ)xn+λTxn. So by Theorem 3.1, we obtain the desired result.Corollary 4.3.
LetH be a real Hilbert space and C a closed convex subset of H, and let B be β-inverse-strongly monotone and φ:C→ℛ a convex and lower semicontinuous function. Let f:C→C be a contraction with coefficient α(0<α<1) and Tn a nonexpansive mapping of H into itself, and let S be a κ-strictly pseudocontraction of C into itself such that
(4.9)θ:=⋂n=1∞F(Tn)∩(⋂k=1NSMEP(Fk))∩F(S)≠0.
Suppose that {xn} is a sequence generated by the following algorithm for x0∈C arbitrarily:
(4.10)un=Krn,nFN⋅Krn-1,nFN-1⋅Krn-2,nFN-2⋅⋯⋅Kr2,nF2⋅Kr1,nF1⋅xn,∀n∈Nxn+1=PC[ϵnf(xn)+(I-ϵn)Wn((1-λ)un+λSun)],
for all n=0,1,2,…, and the conditions (C1)–(C3) in Theorem 3.1 are satisfied.
Then, the sequence{xn} converges strongly to q∈θ, where q=Pθ(f+I)(q) which solves the following variational inequality:
(4.11)〈(f-I)q,p-q〉≤0,∀p∈θ,
which is the optimality condition for the minimization problem
(4.12)min⁡q∈θ12〈Aq,q〉-h(q),
where h is a potential function for γf (i.e., h′(q)=γf(q) for q∈H).Proof.
PutA≡I and γ≡1 in Theorem 4.2, we obtain the desired result.


## 5. Numerical Example

Now, we give a real numerical example in which the condition satisfies the ones of Theorem3.1 and some numerical experiment results to explain the main result Theorem 3.1 as follows.Example 5.1.
LetH=R, C=[-1,1], Tn=I, λn=β∈(0,1), n∈N, Fk(x,y)=0, for all x,y∈C, rn,n=1, k∈{1,2,3,…,N}, φ(x)=0, for all x∈C,B=A=I,f(x)=(1/5)x, for all x∈H, λ=1/2 with contraction coefficient α=1/10, ϵn=1/n for every n∈N, and γ=1. Then {xn} is the sequence generated by
(5.1)xn+1=(12-310n)xn,
and xn→0 as n→∞, where 0 is the unique solution of the minimization problem
(5.2)min⁡x∈C=25x2+q.Proof.
We prove Example5.1 by Step 1, Step 2, and Step 3. By Step 4, we give two numerical experiment results which can directly explain that the sequence {xn} strongly converges to 0.
Step 1.
We show(5.3)Krn,nFNx=PCx,∀x∈H,FN∈{1,2,3,…,N},
where
(5.4)PCx={x|x|,x∈H∖Cx,x∈C.
Indeed, sinceFk(x,y)=0 for all x,y∈C,n∈{1,2,3,…,N}, due to the definition of Kr(x), for all x∈H, as Lemma 2.7, we have
(5.5)Kr(x)={u∈C:〈y-u,u-x〉≥0,∀y∈C}.
Also by the equivalent property (2.2) of the nearest projection PC from H→C, we obtain this conclusion, when we take x∈C, Krn,nFNx=PCx=Ix. By (iii) in Lemma 2.7, we have
(5.6)⋂k=1NSMEP(Fk)=C.Step 2.
We show that(5.7)Wn=I.
Indeed. By (1.23), we have
(5.8)W1=U11=λ1T1U12+(1-λ1)I=λ1T1+(1-λ1)I,W2=U21=λ1T1U22+(1-λ1)I=λ1T1(λ2T2U23+(1-λ2)I)+(1-λ1)I=λ1λ2T1T2+λ1(1-λ2)T1+(1-λ1)I,W3=U31=λ1T1U32+(1-λ1)I=λ1T1(λ2T2U33+(1-λ2)I)+(1-λ1)I=λ1λ2T1T2U33+λ1(1-λ2)T1+(1-λ1)I,=λ1λ2T1T2(λ3T3U34+(1-λ3I))+λ1(1-λ2)T1+(1-λ1)I,=λ1λ2λ3T1T2T3+λ1λ2(1-λ3)T1T2+λ1(1-λ2)T1+(1-λ1)I.
Computing in this way by (1.23), we obtain
(5.9)Wn=Un1=λ1λ2⋯λnT1T2⋯Tn+λ1λ2⋯λn-1(1-λn)T1T2⋯Tn-1+λ1λ2⋯λn-2(1-λn-1)T1T2⋯Tn-2+⋯+λ1(1-λ2)T1+(1-λ1)I.
SinceTn=I,λn=β,n∈N, thus
(5.10)Wn=[βn+βn-1(1-β)+⋯+β(1-β)+(1-β)]I=I.Step 3.
We show that(5.11)xn+1=(12-310n)xn,xn+1⟶0,asn⟶∞,
where 0 is the unique solution of the minimization problem
(5.12)min⁡x∈C25x2+q.
Indeed, we can see thatA=I is a strongly position bounded linear operator with coefficient γ¯=1/2andγ is a real number such that 0<γ<γ̅/α, so we can take γ=1. Due to (5.1), (5.4), and (5.7), we can obtain a special sequence {xn} of (3.2) in Theorem 3.1 as follows:
(5.13)xn+1=(12-310n)xn.
Since Tn=I,n∈N, so,
(5.14)⋂n=1∞F(Tn)=H,
combining with (5.6), we have
(5.15)θ:=⋂n=1∞F(Tn)∩(⋂k=1NSMEP(Fk))∩I(B,M)=C=[-1,1].
By Lemma2.5, it is obviously that zn→0,  0 is the unique solution of the minimization problem
(5.16)min⁡x∈C25x2+q,
where q is a constant number.Step 4.
We give the numerical experiment results using software Mathlab 7.0 and get Table1 to Table 2, which show that the iteration process of the sequence {xn} is a monotone-decreasing sequence and converges to 0, but the more the iteration steps are, the more showily the sequence {xn} converges to 0.Table 1
This table shows the value of sequence{xn} on each iteration step (initial value x1=1).
nxnnxn11.000000000000000310.00000000005433720.200000000000000320.00000000002664330.070000000000000330.00000000001307240.028000000000000340.000000000006417⋮⋮⋮⋮190.000000301580666390.000000000000184200.000000146028533400.000000000000091210.000000070823839410.000000000000045⋮⋮⋮⋮290.000000000226469470.000000000000001300.000000000110892480.000000000000000Table 2
This table shows the value of sequence{xn} on each iteration step (initial value x1=1/2).
nxnnxn10.500000000000000310.00000000002716820.100000000000000320.00000000001332130.035000000000000330.00000000000653640.014000000000000340.000000000003208⋮⋮⋮⋮190.000000150790333390.000000000000092200.000000073014267400.000000000000045210.000000035411919410.000000000000022⋮⋮⋮⋮290.000000000113235460.000000000000001300.000000000055446470.000000000000000Now, we turn to realizing (3.2) for approximating a fixed point of T. We take the initial valued x1=1 and x1 = 1/2, respectively. All the numerical results are given in Tables 1 and 2. The corresponding graph appears in Figures 1(a) and 1(b).The iteration comparison chart of different initial values. (a)x1=1 and (b) x1=1/2.
(a)(b)The numerical results support our main theorem as shown by calculating and plotting graphs using Matlab 7.11.0.



---

*Source: 538912-2012-03-01.xml*