Advanced
STRONG CONVERGENCE OF STRICT PSEUDO-CONTRACTIONS IN Q-UNIFORMLY SMOOTH BANACH SPACES†
STRONG CONVERGENCE OF STRICT PSEUDO-CONTRACTIONS IN Q-UNIFORMLY SMOOTH BANACH SPACES†
Journal of Applied Mathematics & Informatics. 2015. Jan, 33(1_2): 13-31
Copyright © 2015, Korean Society of Computational and Applied Mathematics
  • Received : February 24, 2014
  • Accepted : October 12, 2014
  • Published : January 30, 2015
Download
PDF
e-PUB
PubReader
PPT
Export by style
Share
Article
Author
Metrics
Cited by
TagCloud
About the Authors
YONGGANG PEI
FUJUN LIU
QINGHUI GAO

Abstract
In this paper, we introduce a general iterative algorithm for finding a common element of the common fixed point set of an infinite family of λi -strict pseudo-contractions and the solution set of a general system of variational inclusions for two inverse strongly accretive operators in q -uniformly smooth Banach spaces. Then, we analyze the strong convergence of the iterative sequence generated by the proposed iterative algorithm under mild conditions. AMS Mathematics Subject Classification : 47H09, 47H10, 47H17.
Keywords
1. Introduction
Throughout this paper, we denote by E and E a real Banach space and the dual space of E respectively. Let C be a subset of E and T be a mapping on C . We use F ( T ) to denote the set of fixed points of T . Let q > 1 be a real number. The (generalized) duality mapping Jq : E → 2 E is defined by
PPT Slide
Lager Image
for all x E , where ⟨·, ·⟩ denotes the generalized duality pairing between E and E . In particular, J = J 2 is called the normalized duality mapping and Jq ( x ) = ∥ x q −2 J 2 ( x ) for x ≠ 0. If E is a Hilbert space, then J = I where I is the identity mapping. It is well known that if E is smooth, then Jq is single-valued, which is denoted by jq . Among nonlinear mappings, nonexpansive mappings and strict pseudo-contractions are two kinds of the most important nonlinear mappings. The study of them has a very long history (see [1 - 16 , 19 - 31] and the references therein). Recall that a mapping T : C E is nonexpansive if
PPT Slide
Lager Image
A mapping T : C E is λ -strict pseudo-contractive in the terminology of Browder and Petryshyn (see [2 , 3 , 4] ), if there exists a constant λ > 0 such that
PPT Slide
Lager Image
for every x, y C and for some jq ( x y ) ∈ Jq ( x y ). It is clear that (1.1) is equivalent to the following inequality
PPT Slide
Lager Image
Remark 1.1. The class of strictly pseudo-contractive mappings has been studied by several authors (see, e.g., [2 , 3 , 4 , 20 , 22] ). However, their iterative methods are far less developed though Browder and Petryshyn [24] initiated their work in 1967. As a matter of fact, strictly pseudo-contractive mappings have more powerful applications in solving inverse problems (see, e.g., [32] ). Therefore it is interesting to develop the theory of iterative methods for strictly pseudo-contractive mappings.
In the early sixties, Stampacchia [33] first introduced variational inequality theory, which has emerged as a fascinating and interesting branch of mathematical and engineering sciences with a wide range of applications in industry, finance, economics, social, ecology, regional, pure and applied sciences (see [7 , 8 , 9 , 10 , 11 , 34] and the references therein). In 1968, Brezis [34] initiated the study of the existence theory of a class of variational inequalities later known as variational inclusions, using proximal-point mappings due to Moreau [35] . Variational inclusions include variational, quasi-variational, variational-like inequalities as special cases. It can be viewed as innovative and novel extension of the variational principles and thus, has wide applications in the fields of optimization and control, economics and transportation equilibrium and engineering sciences. Recently, some new and interesting problems, which are called to be system of variational inequalitys/inclusions received many attentions. System of variational inequalitys/inclusions can be viewed as natural and innovative generalizations of the variational inequalities/inclusions and it can provide new insight regarding problems being studied and can stimulate new and innovative ideas for solving problem.
Ceng et al. [26] proposed the following new system of variational inequality problem in a Hilbert space H : find x , y C such that
PPT Slide
Lager Image
where λ, μ > 0 are two constants, A,B : E E are two nonlinear mappings. This is called the new system of variational inequalities. If we add up the requirement that x = y and A = B , then problem (1.3) reduces to the classical variational inequality problem: find x C such that
PPT Slide
Lager Image
In order to find the solutions of the system of variational inequality problem (1.3), Ceng et al. [26] studied the following approximation method. Let the mappings A,B : C H be inverse-strongly monotone, S : C C be nonexpansive. Suppose that x 1 = u C and { xn } is generated by
PPT Slide
Lager Image
They proved that the iterative sequence defined by the relaxed extragradient method (1.5) converges strongly to a fixed point of S , which is a solution of the system of variational inequality (1.3).
On the other hand, in order to find the common element of the solutions set of a variational inclusion and the set of fixed points of a nonexpansive mapping T , Zhang et al. [6] introduced the following new iterative scheme in a Hilbert space H . Starting with an arbitrary point x 1 = x H , define sequence { xn } by
PPT Slide
Lager Image
where A : H H is an α -cocoercive mapping, M : H → 2 H is a maximal monotone mapping, S : H H is a nonexpansive mapping and { αn } is a sequence in [0,1]. Under mild conditions, they obtained a strong convergence theorem.
Motivated by Zhang et al. [6] and Zeng et al. [26] , Qin et al. [8] considered the following new system of variational inclusion problem in a uniformly convex and 2-uniformly smooth Banach space: find ( x , y ) ∈ E × E such that
PPT Slide
Lager Image
The following problems are special cases of problem (1.7).
(1) If A = B and M 1 = M 2 = M , then problem (1.7) reduces to the problem: find ( x , y ) ∈ E × E such that
PPT Slide
Lager Image
(2) If x = y , problem (1.7) reduces to the problem: find x E such that
PPT Slide
Lager Image
Qin et al. [8] also introduced the following scheme for finding a common element of the solution set of the general system (1.7) and the fixed point set of a λ -strict pseudo-contraction. Starting with an arbitrary point x 1 = u E , define sequences { xn } by
PPT Slide
Lager Image
And they proved a strong convergence theorem under mild conditions.
One question arises naturally: Can we extend Theorem 2.1 of Zhang et al. [6] , Theorem 3.1 of Qin et al. [8] , Theorem 3.1 of Zeng et al. [26] from Hilbert spaces or 2-uniformly smooth Banach spaces to more broad q -uniformly smooth Banach spaces? We put forth another question: Can we get some more general results even without the condition of uniform convexity of Banach spaces ? However, the condition of uniform convexity of Banach spaces is necessary in Theorem 3.1 of Qin et al. [8] , Yao et al. [36] and so on.
The purpose of this article is to give the affirmative answers to these questions mentioned above. Motivated by Zhang et al. [6] , Qin et al. [8] , Yao et al. [9] , Hao [10] , J. C. Yao [11] , and Takahashi et al. [12] , we consider a relaxed extragradient-type method for finding common elements of the solution set of a general system of variational inclusions for inverse-strongly accretive mappings and the common fixed point set of an infinite family of λi -strict pseudocontractions. Furthermore, we obtain strong convergence theorems under mild conditions to improve and extend the corresponding results.
2. Preliminaries
The norm of a Banach space E is said to be Gâteaux differentiable if the limit
PPT Slide
Lager Image
exists for all x, y on the unit sphere S ( E ) = { x E : ∥ x ∥ = 1}. If, for each y S ( E ), the above limit is uniformly attained for x S ( E ), then the norm of E is said to be uniformly Gâteaux differentiable. The norm of E is said to be Fréchet differentiable if, for each x S ( E ), the above limit is attained uniformly for y S ( E ).
Let ρE : [0, 1) → [0, 1) be the modulus of smoothness of E defined by
PPT Slide
Lager Image
A Banach space E is said to be uniformly smooth if
PPT Slide
Lager Image
Let q be a fixed real number with 1 < q ≤ 2. Then a Banach space E is said to be q -uniformly smooth, if there exists a fixed constant c > 0 such that ρE ( t ) ≤ ctq . It is well known that E is uniformly smooth if and only if the norm of E is uniformly Fréchet differentiable. If E is q -uniformly smooth, then q ≤ 2 and E is uniformly smooth, and hence the norm of E is uniformly Fréchet differentiable. In particular, the norm of E is Fréchet differentiable.
Recall that, a mapping T : C E is said to be L -Lipschitz if for all x, y C , there exists a constant L > 0 such that
PPT Slide
Lager Image
In particular, if 0 < L < 1, then T is called contractive and if L = 1, then T reduces to a nonexpansive mapping.
For some η > 0, T : C E is said to be η -strongly accretive, if for all x, y C , there exists η > 0, jq ( x y ) ∈ Jq ( x y ) such that
PPT Slide
Lager Image
For some μ > 0, T : C E is said to be μ -inverse strongly accretive, if for all x, y C there exists jq ( x y ) ∈ Jq ( x y ) such that
PPT Slide
Lager Image
A set-valued mapping T : D ( T ) ⊆ E → 2 E is said to be m -accretive if for any x, y D ( T ), there exists j ( x y ) ∈ J ( x y ), such that for all u T ( x ) and v T ( y ),
PPT Slide
Lager Image
A set-valued mapping T : D ( T ) ⊆ E → 2 E is said to be m -accretive if T is accretive and ( I + ρT )( D ( T )) = E for every (equivalently, for some scalar ρ > 0), where I is the identity mapping.
Let M : D ( M ) → 2 E be m -accretive. Denote by JM,ρ the resolvent of M for ρ > 0:
PPT Slide
Lager Image
It is known that JM,ρ is a single-valued and nonexpansive mapping from E to
PPT Slide
Lager Image
which will be assumed convex (this is so provided E is uniformly smooth and uniformly convex).
Let { Tn } be a family of mappings from a subset C of a Banach space E into itself with
PPT Slide
Lager Image
We say that { Tn } satisfies the AKTT -condition (see [17] ), if for each bounded subset B of C ,
PPT Slide
Lager Image
The following proposition supports { Tn } satisfying AKTT-condition.
Proposition 2.1. Let C be a nonempty convex subset of a real q-uniformly smooth Banach space E. Assume that
PPT Slide
Lager Image
is a countable family of λi -strict pseudo-contractions with { λi } ⊂ (0, 1) and inf{ λi : i ≥ 1} > 0 such that
PPT Slide
Lager Image
For each n ∈ ℕ, define Tn : C C by
PPT Slide
Lager Image
Let
PPT Slide
Lager Image
be a family of nonnegative numbers with k n such that
  • (i)
  • (ii)
  • (iii)
Then the following results hold:
  • (1)Each Tnis a λ -strict pseudo-contraction.
  • (2)
  • (3) {Tn}satisfies AKTT-condition.
  • (4)If T:C→C is defined by
PPT Slide
Lager Image
Proof . (1) and (2) can be deduced directly from Lemma 2.11 in [20] . And the argument of (3) and (4) is similar to the section 4 (Applications) in [17] and so it is omitted. □
In order to prove our main results, we need the following lemmas.
Lemma 2.2 ( [16] ). Let C be a closed convex subset of a strictly convex Banach space E. Let T 1 and T 2 be two nonexpansive mappings from C into itself with F ( T 1 ) ∩ F ( T 2 ) ≠ ∅. Define a mapping S by
PPT Slide
Lager Image
where λ is a constant in (0, 1). Then S is nonexpansive and F ( S ) = F ( T 1 ) ∩ F ( T 2 ).
Lemma 2.3 ( [19] ). Let { αn } be a sequence of nonnegative numbers satisfying the property:
PPT Slide
Lager Image
where { γn }, { bn }, { cn } satisfy the restrictions:
  • (i)
  • (ii)
  • (iii) lim supn→∞cn≤ 0.
Then lim n →∞ αn = 0.
Lemma 2.4 ( [18] ). Let q > 1. Then the following inequality holds:
PPT Slide
Lager Image
for arbitrary positive real numbers a, b.
Lemma 2.5 ( [19] ). Let E be a real q-uniformly smooth Banach space, then there exists a constant Cq > 0 such that
PPT Slide
Lager Image
In particular, if E is a real 2-uniformly smooth Banach space, then there exists a best smooth constant K > 0 such that
PPT Slide
Lager Image
Lemma 2.6 ( [17 , 23] ). Suppose that { Tn } satisfy the AKTT-condition such that
  • (i) {Tnx}converges strongly to some point in C for each x∈C.
  • (ii)Furthermore, if the mapping T:C→C is defined by Tx= limn→∞Tnx for all x∈C.
Then lim n →∞ sup ω B Tnω ∥ = 0 for each bounded subset B of C .
Lemma 2.7 ( [22] ). Let C be a nonempty convex subset of a real q-uniformly smooth Banach space E and T : C C be a λ-strict pseudo-contraction. For α ∈ (0, 1), we define Tαx = (1 − α ) x + αTx. Then, as α ∈ (0, μ ],
PPT Slide
Lager Image
is nonexpansive such that F ( Tα ) = F ( T ).
Lemma 2.8 ( [23] ). Let C be a nonempty, closed and convex subset of a real q-uniformly smooth Banach space E which admits weakly sequentially continuous generalized duality mapping jq from E into E ( i.e., if for all { xn } ⊂ E with xn x, implies that
PPT Slide
Lager Image
Let T : C C be a nonexpansive mapping. Then, for all { xn } ⊂ C, if xn x and xn Txn → 0, then x = Tx .
Lemma 2.9 ( [23] ). Let C be a nonempty, closed and convex subset of a real q-uniformly smooth Banach space E. Let V : C E be a k-Lipschitzian and η-strongly accretive operator with constants
PPT Slide
Lager Image
and
PPT Slide
Lager Image
Then for each
PPT Slide
Lager Image
the mapping S : C E defined by S := ( I tμV ) is a contraction with a constant 1 − .
Lemma 2.10 ( [23] ). Let C be a nonempty, closed and convex subset of a real q-uniformly smooth Banach space E. Let QC be a sunny nonexpansive retraction from E onto C, V : C E be a k-Lipschitzian and η-strongly accretive operator with constants k, η > 0, f : C E be a L-Lipschitzian mapping with constant L ≥ 0 and T : C C be a nonexpansive mapping such that F ( T ) ≠ ∅. Let
PPT Slide
Lager Image
Then the sequence { xt } defined by
PPT Slide
Lager Image
has following properties:
  • (i) {xt}is bounded for each
  • (ii) limt→0∥xt−Txt∥ = 0.
  • (iii) {xt}defines a continuous curve frominto C.
Lemma 2.11 ( [1] ). Let C be a closed convex subset of a smooth Banach space E. Let
PPT Slide
Lager Image
be a nonempty subset of C. Let
PPT Slide
Lager Image
be a retraction and let j, jq be the normalized duality mapping and generalized duality mapping on E, respectively. Then the following are equivalent:
  • (a)Q is sunny and nonexpansive.
  • (b) ∥Qx−Qy∥2≤ ⟨x−y, j(Qx−Qy)⟩, ∀x,y∈C.
  • (c) ⟨x−Qx, j(y−Qx)⟩ ≤ 0, ∀x∈C, y∈.
  • (d) ⟨x−Qx, jq(y−Qx)⟩ ≤ 0, ∀x∈C, y∈.
Lemma 2.12. Let C be a nonempty, closed and convex subset of a real q-uniformly smooth Banach space E which admits a weakly sequentially continuous generalized duality mapping jq from E into E . Let QC be a sunny nonexpan-sive retraction from E onto C, V : C E be a k-Lipschitzian and η-strongly accretive operator with constants k, η > 0, f : C E be a L-Lipschitzian mapping with constant L ≥ 0 and T : C C be a nonexpansive mapping such that F ( T ) ≠ ∅. Suppose that
PPT Slide
Lager Image
Let { xt } be defined by (2.1) for each
PPT Slide
Lager Image
Then { xt } converges strongly to x F ( T ), which is the unique solution of the following variational inequality:
PPT Slide
Lager Image
PPT Slide
Lager Image
Proof . We firstly show the uniqueness of a solution of the variational inequality (2.2). Suppose that both
PPT Slide
Lager Image
are solutions of (2.2). It follows that
PPT Slide
Lager Image
PPT Slide
Lager Image
Adding up (2.3) and (2.4), we have
PPT Slide
Lager Image
Notice that
PPT Slide
Lager Image
Therefore
PPT Slide
Lager Image
and the uniqueness is proved. We use x to denote the unique solution of (2.2).
Next, we prove that xt x as t → 0.
Since E is reflexive and { xt } is bounded due to Lemma 2.10 (i), there exists a subsequence { xtn } of { xt } and some point
PPT Slide
Lager Image
such that
PPT Slide
Lager Image
By Lemma 2.10 (ii), we have lim t →0 xtn Txtn ∥ = 0. Together with Lemma 2.8, we can get that
PPT Slide
Lager Image
Setting yt = tγfxt +( I tμV ) Txt , where
PPT Slide
Lager Image
Then, we can rewrite (2.1) as xt = QCyt . We claim that
PPT Slide
Lager Image
Thanks to Lemma 2.11, we have that
PPT Slide
Lager Image
It follows from (2.5) and Lemma 2.9 that
PPT Slide
Lager Image
Thus,
PPT Slide
Lager Image
which implies that
PPT Slide
Lager Image
Using that the duality map jq is weakly sequentially continuous from E to E and noticing (2.6), we get that
PPT Slide
Lager Image
Next, we shall prove that
PPT Slide
Lager Image
solves the variational inequality (2.2).
Since xt = QCyt = QCyt yt + tγfxt + ( I tμV ) Txt , we derive that
PPT Slide
Lager Image
Note that for ∀ z F ( T ),
PPT Slide
Lager Image
It thus follows from Lemma 2.11 and (2.8) that
PPT Slide
Lager Image
where M = sup n ≥0 { μk xt z q −1 } < ∞. Now replacing t in (2.9) with tn and letting n → ∞, noticing (2.7) and Lemma 2.10 (ii), we obtain
PPT Slide
Lager Image
That is,
PPT Slide
Lager Image
is a solution of (2.2); Hence
PPT Slide
Lager Image
by uniqueness. Therefore xtn x as n → ∞. And consequently, xt x as t → 0. □
Lemma 2.13 ( [20] ). Let C be a nonempty closed convex subset of a real q-uniformly smooth Banach space E. Let A : C E be a α-inverse-strongly accretive operator. Then the following inequality holds:
PPT Slide
Lager Image
In particular, if
PPT Slide
Lager Image
then I − λA is nonexpansive.
Lemma 2.14. Let C be a nonempty closed convex subset of a real q-uniformly smooth Banach space E. Let Mi : D ( Mi ) → 2 E be m-accretive with
PPT Slide
Lager Image
for i=1,2 and ρ 1 , ρ 2 be two arbitrary positive constants. Let A,B : C E be α-inverse-strongly accretive and β-inverse-strongly accretive, respectively. Let G : C C be a mapping defined by
PPT Slide
Lager Image
If
PPT Slide
Lager Image
then G : C C is nonexpansive.
Proof . We have by Lemma 2.13 that for all x, y C ,
PPT Slide
Lager Image
which implies that G : C C is nonexpansive. This completes the proof. □
Lemma 2.15. Let C be a nonempty closed convex subset of a real q-uniformly smooth Banach space E. Let Mi : D ( Mi ) → 2 E be m-accretive with
PPT Slide
Lager Image
for i=1,2 and ρ 1 , ρ 2 be two arbitrary positive constants. Then , ( x , y ) ∈ C × C is a solution of general system (1.7) if and only if x = Gx , where G is defined by Lemma 2.14.
Proof. Note that
PPT Slide
Lager Image
and the above system is equivalent to
PPT Slide
Lager Image
This completes the proof. □
3. Main results
Theorem 3.1. Let C be a nonempty closed convex subset of a strictly convex and real q-uniformly smooth Banach space E, which admits a weakly sequentially continuous generalized duality mapping jq : E E . Let QC be a sunny nonex-pansive retraction from E onto C. Assume A,B : C E are α-inverse-strongly accretive and β-inverse-strongly accretive, respectively. Let Mi : D ( Mi ) → 2 E be m-accretive with
PPT Slide
Lager Image
Suppose that V : C E is k-Lipschitz and η-strongly accretive with constants k, η > 0, f : C E is L-Lipschitz with constant L ≥ 0.
PPT Slide
Lager Image
be an infinite family of λn-strict pseudo-contractions with { λn } ⊂ (0, 1) and inf{ λn : n ≥ 0} = λ > 0, such that
PPT Slide
Lager Image
PPT Slide
Lager Image
and
PPT Slide
Lager Image
Define a mapping Tnx := (1 − σ ) x + σSnx for all x C and n ≥ 0. For arbitrarily given x 0 C and δ ∈ (0, 1), let { xn } be the sequence generated iteratively by
PPT Slide
Lager Image
Assume that { αn } and { γn } are two sequences in (0,1) satisfying the following conditions:
PPT Slide
Lager Image
Suppose in addition that
PPT Slide
Lager Image
satisfies the AKTT-condition. Let S : C C be the mapping defined by Sx = lim n →∞ Snx for all x C and suppose that
PPT Slide
Lager Image
Then { xn } converges strongly to x F, which is the unique solution of the following variational inequality
PPT Slide
Lager Image
Proof . Step 1. We show that sequences { xn } is bounded. By condition (ii) there is a positive number b such that lim sup n →∞ γn < b < 1. Applying condition (i) and (ii), we may assume, without loss of generality, that { γn } ⊂ (0, b ] and
PPT Slide
Lager Image
From Lemma 2.9, we deduce that ∥((1 − γn ) I αnμV ) x − ((1 − γn ) I αnμV ) y ∥ ≤ ((1 − γn ) − αnτ ) ∥ x y ∥ for ∀ x, y C . For x F , it follows from Lemma 2.15 that
PPT Slide
Lager Image
Putting y = JM 2 , ρ 2 ( x ρ 2 Bx ), then we can get that x = JM 1 , ρ 1 ( y ρ 1 Ay ).
By Lemma 2.13, we obtain
PPT Slide
Lager Image
It follows from (3.3) that
PPT Slide
Lager Image
Combining Lemma 2.7 and the condition of
PPT Slide
Lager Image
we can deduce that
PPT Slide
Lager Image
Substituting (3.5) into (3.4) and simplifying, we have that
PPT Slide
Lager Image
It follows that
PPT Slide
Lager Image
Hence, { xn } is bounded. { yn }, { kn } and { zn } are also bounded.
Step 2. We shall claim that ∥ x n +1 xn ∥ → 0, as n → ∞. We observe that
PPT Slide
Lager Image
This together with Lemma 2.7 implies that
PPT Slide
Lager Image
At the same time, we observe that
PPT Slide
Lager Image
Substituting (3.7) into (3.8), we have that
PPT Slide
Lager Image
where
PPT Slide
Lager Image
satisfying the AKTT -condition, we deduce that
PPT Slide
Lager Image
From (i), (ii), (3.9), (3.10) and Lemma 2.3, we deduce that
PPT Slide
Lager Image
Notice that
PPT Slide
Lager Image
which implies that
PPT Slide
Lager Image
Combining conditions (i), (ii), (3.11) and (3.12), we deduce that
PPT Slide
Lager Image
For any bounded subset B of C , we observe that
PPT Slide
Lager Image
Since { Sn } satisfies the AKTT -condition, we have that
PPT Slide
Lager Image
That is, { Tn } satisfies the AKTT -condition. Define a mapping T : C C by Tx = lim n →∞ Tnx for all x C . It follows that
PPT Slide
Lager Image
Noticing that
PPT Slide
Lager Image
we deduce that S : C C is a λ -strict pseudo-contraction. In view of (3.14), Lemma 2.6 and the condition of 0 < σ d , where
PPT Slide
Lager Image
we have that T : C C is a nonexpansive and F ( T ) = F ( S ). Hence we have
PPT Slide
Lager Image
Let W : C C be the mapping defined by
PPT Slide
Lager Image
In view of Lemma 2.2, we see that W is nonexpansive such that
PPT Slide
Lager Image
Noting that
PPT Slide
Lager Image
we obtain
PPT Slide
Lager Image
From Lemma 2.6, we can get that
PPT Slide
Lager Image
Combing (3.13), (3.16) and (3.17), we deduce that
PPT Slide
Lager Image
Define xt = QC [ tγfxt + ( I tμV ) Wxt ]. From Lemma 2.11, we deduce that { xt } converges strongly to x F ( W ) = F , which is the unique solution of the variational inequality of (3.2).
Step 3. We show that
PPT Slide
Lager Image
where x is the solution of the variational inequality of (3.2). To show this, we take a subsequence { xni } of { xn } such that
PPT Slide
Lager Image
Without loss of generality, we may further assume that xni z for some point z C due to reflexivity of the Banach space E and boundness of { xn }. It follows from (3.18) and Lemma 2.8 that z F ( W ). Since the Banach space E has a weakly sequentially continuous generalized duality mapping jq : E E , we obtain that
PPT Slide
Lager Image
Step 4. Finally we prove that lim n →∞ xn x ∥. Setting hn = αnγfxn + γnxn +[(1− γn ) I αnμV ] yn , ∀ n ≥ 0. Then by (3.1) we can write x n +1 = QChn . It follows from Lemmas 2.3 and Lemmas 2.10 that
PPT Slide
Lager Image
which implies
PPT Slide
Lager Image
Put γn = αn ( τ γL ) and
PPT Slide
Lager Image
Applying Lemma 2.2 to (3.19), we obtain that xn x F as n → ∞. This completes the proof. □
Remark 3.1. Compared with the known results in the literature, our results are very different from those in the following aspects:
  • (i) The results in this paper improve and extend corresponding results in[7,8,9,10,11,12,13]. Especially, Our results extend their results from 2-uniformly smooth Banach spaces or Hilbert spaces to more generalq-uniformly smooth Banach spaces.
  • (ii) Our Theorem 3.1 extends one nonexpansive mapping in Theorem 2.1 in[6]or oneλ-strict pseudo-contraction in Theorem 3.1 in[8]and an infinitely family of nonexpansive mappings in Theorem 3.1 in[10]to an infinite family ofλi-strict pseudo-contractions. And our Theorem 3.1 gets a common element of the common fixed point set of an infinite family ofλi-strict pseudo-contractions and the solution set of general system of variational inclusions for two inverse strongly accretive mappings in aq-uniformly smooth Banach space.
  • (iii) We byf(xn) replace theuwhich is a fixed element in iterative scheme (1.8), wherefis aL-Lipschitzian operator. And we also add a Lipschitzian and strong accretive operatorVin our scheme (3.1). In particular, wheneverour scheme (3.1) reduces to (1.8).
  • (iv) It is worth noting that, the Banach spaceEdoes not have to be uniformly convex in our Theorem 3.1. However, it is very necessary in Theorem 3.1 of Qin et al.[8]and many other literatures.
Remark 3.2. The variational inequality problem in a q -uniformly smooth Banach space E : finding x such that
PPT Slide
Lager Image
is also very interesting and important. As we can see that:
  • (i) IfM:=C, then it follows from Lemma 2.11 that the variational inequality problem (3.20) is equivalent to a fixed point problem: findx∗∈Csuch that it satisfies the following equation:
PPT Slide
Lager Image
  • whereς> 0 is a constant.
  • (ii) WhenE:=Hwhich is a real Hilbert space,M:=F(T) andμ= 1, problem (3.20) reduces to findingx∗∈Csuch that
PPT Slide
Lager Image
  • which is the optimality condition for the minimization problem:
PPT Slide
Lager Image
  • whereF(T) is the fixed point set of a nonexpansive mappingTandhis a potential function forγf(i.e.,h′(x) =γf(x) for allx∈H). Furthermore, ifγ= 1,V=Iandf(x) =ufor allx∈C, then problem (3.20) reduces to findingx∗∈F(T) such that
PPT Slide
Lager Image
  • which is equivalent to findingx∗∈F(T) such that
PPT Slide
Lager Image
Corollary 3.2. Let C be a nonempty closed convex subset of a strictly con-vex and 2-uniformly smooth Banach space which admits a weakly sequentially continuous normalized duality mapping j : E E . Let QC be a sunny non-expansive retraction from E onto C. Assume the mappings A,B : C E are α-inverse-strongly accretive and β-inverse-strongly accretive, respectively.Let Mi : D ( Mi ) → 2 E be m-accretive with
PPT Slide
Lager Image
Suppose V : C E is a k-Lipschitzian and η-strongly accretive operator with constants k, η > 0, f : C E is a L-Lipschitzian with constant L ≥ 0. Let
PPT Slide
Lager Image
and 0 ≤ γL < τ where τ = μ ( η K 2 μk 2 ). Let T : C C be a nonexpansive with F = F ( T ) ∩ F ( G ) ≠ ∅. For arbitrarily given δ ∈ (0, 1) and x 0 C , let { xn } be the sequence generated iteratively by
PPT Slide
Lager Image
Assume that { αn } and { γn } are two sequences in (0, 1) satisfying the following conditions:
PPT Slide
Lager Image
Then { xn } defined by (3.21) converges strongly to x F , which is the unique solution of the following variational inequality:
PPT Slide
Lager Image
4. Conclusion
In this research, a general iterative algorithm is proposed for finding a common element of the common fixed point set of an infinite family of λi -strict pesudocontractions and the solution set of a general system of variational inclusions for two inverse strongly accretive operators in q -uniformly smooth Banach spaces. Then we analyzed the strong convergence of the iterative sequence generated by the proposed iterative algorithm under very mild conditions. The methods in the paper are different from those in the early and recent literature. Our results can be viewed as the improvement, supplementation, and extension of the corresponding results in some references.
BIO
Yonggang Pei received MS degree from Henan Normal University. and Ph.D at Shanghai Normal University. Since 2002 he has been at Henan Normal University as a teacher. His research interests include nonlinear optimization and fixed point theorems.
College of Mathematics and Information Science, Henan Normal University, Xinxiang, 453007, China.
e-mail: ygpei59@gmail.com
Fujun Liu received MS degree from zhengzhou University. Since 2007 he has been at Henan Institute Engineering college as a teacher. His research interests include numerical methods of differential equations and fixed point theorems.
Faculty of Science, Henan Institute of Engineering, Zhengzhou, 451191, China.
e-mail: liufujun1981@126.com
Qinghui Gao received MS degree from Henan Normal University. and Ph.D from Beihang University. She is currently a teacher at Henan Normal University since 2013. Her research interests are computational biology and iterative method.
College of Mathematics and Information Science, Henan Normal University, Xinxiang, 453007, China.
e-mail: qinghuigaocb@163.com
References
eich R (1973) Asymptotic behavior of contractions in Banach spaces J. Math. Anal. Appl. 44 57 - 70    DOI : 10.1016/0022-247X(73)90024-3
Dong Q. , He S. , Su F. (2010) Strong convergence of an iterative algorithm for aninfinite family of strict pseudo-contractions in Banach spaces Appl. Math. Comput. 216 959 - 969    DOI : 10.1016/j.amc.2010.01.111
hou Z (2010) Convergence Theorems for λ-strict Pseudo-contractions in q-uniformly Smooth Banach Spaces Acta. Math. Sin. 26 743 - 758    DOI : 10.1007/s10114-010-8342-x
Cai G. , Hu C.S. (2010) Strong convergence theorems of a general iterative process for a finite family of λi-strict pseudo-contractions in q-uniformly smooth Banach spaces Comput. Math. Appl. 59 149 - 160    DOI : 10.1016/j.camwa.2009.07.068
Barbu V. 1976 Nonlinear Semigroups and Differential Equations in Banach Spaces Noordhoff Int Leyden, The Netherlands
Zhang S.S. , Lee J. , Chan C.K. (2008) Algorithms of common solutions to quasi variational inclusion and fixed point problems Appl. Math. Mech. 29 571 - 581    DOI : 10.1007/s10483-008-0502-y
Peng J. , Wang Y. , Shyu D. , Yao J.C. (2008) Common Solutions of an Iterative Scheme for Variational Inclusions, Equilibrium Problems, and Fixed Point Problems J. Inequa. Appl. (Article ID 720371). 2008    DOI : 10.1155/2008/720371
Qin X. , Chang S.S. , Cho Y.J. , Kang S.M. (2010) Approximation of Solutions to a System of Variational Inclusions in Banach Spaces J. Inequa. Appl. (Article ID 916806). 2010    DOI : 10.1155/2010/916806
Yao Y. , Noor M. , Noor K. , Liou Y. (2010) Modified extragradient methods for a system of variational inequalities in Banach spaces Acta Appl. Math. 110 1211 - 1224    DOI : 10.1007/s10440-009-9502-9
Hao Y. (2010) On variational inclusion and common fixed point problems in Hilbert spaces with applications Appl. Math. Comput. 217 3000 - 3010    DOI : 10.1016/j.amc.2010.08.033
Yao Y. , Yao J. (2007) On modified iterative method for nonexpansive mappings and monotone mappings Appl. Math. Comput. 186 155 - 1558
Takahashi W. , Toyoda M. (2003) Weak convergence theorems for nonexpansive mappings and monotone mappings J. Optim. Theor. Appl. 118 417 - 428    DOI : 10.1023/A:1025407607560
Qin X. , Cho Y. , Kang J. , Kang S. (2009) Strong convergence theorems for an infinite family of nonexpansive mappings in Banach spaces J. Comput. Anal. Appl. 230 121 - 127    DOI : 10.1016/j.cam.2008.10.058
Korpelevich G.M. (1976) The extragradient method for finding saddle points and for other problems Ekon. Mat. Metody 12 747 - 756
Song Y.L. , Zeng L.C. (2012) Strong convergence of a new general iterative method for variational inequality problems in Hilbert spaces Fixed Point Theory and Applications 46
Bruck R.E. (1973) Properties of fixed point sets of nonexpansive mappings in Banach spaces Trans. Am. Math Soc. 179 251 - 262    DOI : 10.1090/S0002-9947-1973-0324491-8
Aoyama K. , Kimura Y. , Takahashi W. , Toyoda M. (2007) Approximation of common fixed point of a countable family of nonexpansive mapping in a Banach space Nonlinear Anal. Th Methods Appl. 67 2350 - 2360    DOI : 10.1016/j.na.2006.08.032
Mitrinović D.S. 1970 Analytic Inequalities Springer-Verlag New York
Xu H.K. (1991) Inequalities in Banach spaces with applications Nonlinear Anal. 16 1127 - 1138    DOI : 10.1016/0362-546X(91)90200-K
Song Y.L. , Ceng L.C. (2014) Convergence Theorems for Accretive Operators with Nonlinear Mappings in Banach Spaces Abstr. Appl. Anal. (Art. ID 928950). 2014
Matsushita S. , Takahashi W. (2008) Strong convergence theorems for nonexpansive nonselfmappings without boundary conditions Nolinear Anal. 68 412 - 419    DOI : 10.1016/j.na.2006.11.007
Zhang H. , Su Y.F. (2009) Strong convergence theorems for strict pseudo-contractions in q-uniformly smooth Banach spaces Nonlinear Anal. 70 3236 - 3242    DOI : 10.1016/j.na.2008.04.030
Pongsakorn S. , Poom K. (2012) Iterative methods for variational inequality problems and fixed point problems of a countable family of strict pseudo-contractions in a q-uniformly smooth Banach space Fixed Point Theory and Applications 65
Browder F.E. , Petryshyn W.V. (1967) Construction of fixed points of nonlinear mappings in Hilbert spaces J. Math. Anal. Appl. 20 197 - 228    DOI : 10.1016/0022-247X(67)90085-6
Shehu Y. (2011) An iterative method for fixed point problems, variational inclusions and generalized equilibrium problems Math. Comput. Model 54 1394 - 1404    DOI : 10.1016/j.mcm.2011.04.008
Ceng L. , Wang C. , Yao JC. (2008) Strong convergence theorems by a relaxed extragradient method for a general system of variational inequalities Math. Methods Oper. Res. 67 375 - 390    DOI : 10.1007/s00186-007-0207-4
Shioji N. , Takahashi W. (1997) Strong convergence of approximated sequences for nonexpansive mappings in Banach spaces Proc. Amer. Math. Soc. 12 3461 - 3465
Moudafi A. (2008) Weak convergence theorems for nonexpansive mappings and equilibrium problems J. Nonlinear Convex Anal. 9 37 - 43
Takahashia S. , Takahashi W. (2008) Strong convergence theorem for a generalized equilibrium problem and a nonexpansive mapping in a Hilbert space Nonlinear Anal. 69 1025 - 1033    DOI : 10.1016/j.na.2008.02.042
Shehu Y. (2011) Iterative methods for family of strictly pseudo-contractive mappings and system of generalized mixed equilibrium problems and variational inequality problems Fixed Point Theory and Applications (Article ID 852789). 22
Argyros I.K. , Cho Y.J. , Qin X. (2009) On the implicit iterative process for strictly pseudocontractive mappings in Banach spaces J. Comput. Appl. Math. 233 208 - 216    DOI : 10.1016/j.cam.2009.07.011
Scherzer O. (1995) Convergence criteria of iterative methods based on Landweber iteration for solving nonlinear problems J. Math. Anal. Appl. 194 911 - 933    DOI : 10.1006/jmaa.1995.1335
Stampacchia G. (1964) Forms bilineaires coercivities sur les ensembles convexes CR Acad Sci Paris 258 4413 - 4416
Brézis H. (1968) Ėquations et inéquations non linéares dans les espaces vectoriels en dualité Ann. Inst. Fourier (Grenoble) 18 115 - 175    DOI : 10.5802/aif.280
Moreau J.J. (1965) Proximite dualite dans un espaces hilbertien Bull. Soc. Math. France 93 273 - 299
Yao Y. , Noor M. , Noor K. , Liou Y. , Yaqoob H. (2010) Modified Extragradient Methods for a System of Variational Inequalities in Banach Spaces Acta Appl Math. 110 1211 - 1224    DOI : 10.1007/s10440-009-9502-9