Advanced
STRONG CONVERGENCE IN NOOR-TYPE ITERATIVE SCHEMES IN CONVEX CONE METRIC SPACES
STRONG CONVERGENCE IN NOOR-TYPE ITERATIVE SCHEMES IN CONVEX CONE METRIC SPACES
Journal of the Korean Society of Mathematical Education Series B The Pure and Applied Mathematics. 2015. May, 22(2): 185-197
Copyright © 2015, Korean Society of Mathematical Education
  • Received : June 14, 2014
  • Published : May 31, 2015
Download
PDF
e-PUB
PubReader
PPT
Export by style
Share
Article
Author
Metrics
Cited by
TagCloud
About the Authors
BYUNG-SOO LEE

Abstract
The author considers a Noor-type iterative scheme to approximate com- mon fixed points of an infinite family of uniformly quasi-sup( fn )-Lipschitzian map- pings and an infinite family of gn -expansive mappings in convex cone metric spaces. His results generalize, improve and unify some corresponding results in convex met- ric spaces [1 , 3 , 9 , 16 , 18 , 19] and convex cone metric spaces [8] .
Keywords
1. INTRODUCTION
Recently, a class of three-step approximation schemes, which includes Mann and Ishikawa iterative schemes for solving general variational inequalities and related problems in Hilbert spaces, was considered by Noor [11] . And then, three-step methods (named as Noor methods by some authors) for solving various classes of variational inequalities and related problems were extensively studied by the same author in [12] . Since then Noor iteration schemes have been applied to study strong and weak convergences of nonexpansive mappings [2 , 10 , 13 , 14 , 16 , 20 , 21] . In 2002, Xu and Noor [20] considered a three-step iterative scheme with fixed-point iterations for asymptotically nonexpansive mappings in Banach spaces. In 2007, Noor and Huang [13] analyzed three-step iteration methods for finding the common element of the set of fixed points of nonexpansive mappings and studied the convergence criteria for three-step iterative methods. In 2007, Nammanee and Suanti [8] considered the weak and strong convergences for asymptotically nonexpansive mappings for the modified Noor iteration schemes with errors in a uniformly convex Banach spaces. In 2008, Khan et al. [7] generalized the Noor-type iterative process considered in [20] to the case of a finite family of mappings.
On the other hand, there have been many researches [1 , 3 , 5 , 6 , 9 , 16 - 19] on iterative schemes for various kinds of nonexpansive mappings in convex metric spaces with convex structure [15] in the usual metric spaces. In 2010, Khan and Ahmed [6] introduced a generalized iterative scheme due to Khan et al. [7] in convex metric spaces and established a strong convergence to a unique common fixed point of a finite family of asymptotically quasi-nonexpansive mappings under the scheme. Very recently, Tian and Yang [17] gave some suffcient and necessary conditions for a new Noor-type iteration with errors to approximate a common fixed point for a finite family of uniformly quasi-Lipschitzian mappings in convex metric spaces.
A cone metric [4] in Banach spaces, which is a cone-version of the usual metric in ℝ is very applicable in applied mathematics including nonlinear analysis by joining it with convex structures. Very recently, Lee [8] extended an Ishikawa type itera- tive scheme with errors to approximate a common fixed point of two sequences of uniformly quasi-Lipschitzian mappings on convex cone metric spaces.
Inspired by the works mentioned above, the author recalls some generalized nonexpansive mappings on cone metric spaces and gives some sufficient and necessary conditions for a Noor-type iteration to approximate a common fixed point of an infi- nite family of uniformly quasi-sup( fn )-Lipschitzian mappings and an infinite family of gn -expansive mappings in convex cone metric spaces. His results generalize and improve many corresponding results in convex metric spaces [1 , 3 , 9 , 16 , 18 , 19] and convex cone metric spaces [8] .
2. PRELIMINARIES
Throughout this paper, E is a normed vector space with a normal solid cone P .
A nonempty subset P of E is called a cone if P is closed, P ≠ { θ }, for a , b
PPT Slide
Lager Image
and x , y P , ax + by P and P ∩ {− P } = { θ }. We define a partial ordering
PPT Slide
Lager Image
in E as x
PPT Slide
Lager Image
y if y x P . x << y indicates that y x intP and x y means that x
PPT Slide
Lager Image
y but x y . A cone P is said to be solid if its interior intP is nonempty. A cone P is said to be normal if there exists a positive number t such that for x , y P , 0
PPT Slide
Lager Image
x
PPT Slide
Lager Image
y implies ∥ x ∥ ≤ t y ∥. The least positive number t is called the normal constant of P .
Let X be a nonempty set. A mapping d : X × X → ( E , P ) is called a cone metric if (i) for x , y X , θ
PPT Slide
Lager Image
d ( x , y ) and d ( x , y ) = θ iff x = y , (ii) for x , y X , d ( x , y ) = d ( y , x ) and (iii) for x , y , z X , d ( x , y )
PPT Slide
Lager Image
d ( x , z ) + d ( z , y ). A nonempty set X with a cone metric d : X × X → ( E , P ) is called a cone metric space denoted by ( X , d ), where P is a solid normal cone.
A sequence { x n } in a cone metric space ( X , d ) is said to converge to x ∈ ( X , d ) and denoted as
PPT Slide
Lager Image
or x n x (as n → ∞) if for any c intP , there exists a natural number N such that for all n > N , c d ( x n , x ) ∈ intP . A sequence { x n } in ( X , d ) is called a Cauchy sequence if for any c intP , there exists a natural number N such that for all n , m > N , c d ( x n , x m ) ∈ intP . A cone metric space ( X , d ) is said to be complete if every Cauchy sequence converges.
Lemma 2.1 ( [4] ). Let { x n } be a sequence in a cone metric space ( X , d ) and P be a normal cone with a normal constant t. Then
(i) {xn} converges to x in X if and only if d(xn, x) → θ (as n → ∞) in E. (ii) {xn} is a Cauchy sequence if and only if d(xn, xm) → θ (as n, m → ∞) in E.
We recall some generalized nonexpansive mappings and convex structures on cone metric spaces.
Definition 2.1 . Let T be a self-mapping on a cone metric space ( X , d ) and f : X → (0, ∞) a function which is bounded above.
(i) T is f-expansive, if
PPT Slide
Lager Image
In particular, T is said to be nonexpansive , if
PPT Slide
Lager Image
and
T is said to be contractive , if
PPT Slide
Lager Image
(ii) T is asymptotically f-expansive, if there exists a sequence in X such that satisfying
d ( T n x , T n y )
PPT Slide
Lager Image
f ( x n ) d ( x , y ) for x , y X ,
in particular, T is asymptotically nonexpansive , if there exists a sequence
PPT Slide
Lager Image
in [1, ∞) with
PPT Slide
Lager Image
satisfying
d ( T n x , T n y )
PPT Slide
Lager Image
k n d ( x , y ) for x , y X
PPT Slide
Lager Image
.
(iii) T is asymptotically quasi-f-expansive, if there exists a sequence in X such that satisfying
d ( T n x , p )
PPT Slide
Lager Image
f ( x n ) d ( x , p ) for x X and p F ( T ) a set of fixed points of T , in particular, T is asymptotically quasi-nonexpansive , if there exists a sequence
PPT Slide
Lager Image
in [1, ∞) with
PPT Slide
Lager Image
satisfying
d ( T n x , p )
PPT Slide
Lager Image
k n d ( x , p ) for x X and p F ( T )
PPT Slide
Lager Image
(iv) T is uniformly quasi-sup(f)-Lipschitzian, if
PPT Slide
Lager Image
for x X and p F ( T ),
in particular, T is uniformly quasi-L-Lipschitzian , if there exists a constant L > 0 such that
d ( T n x , p )
PPT Slide
Lager Image
L · d ( x , p ) for x X and p F ( T )
PPT Slide
Lager Image
.
Definition 2.2. Let ( X , d ) be a cone metric space. A mapping W : X 3 × I 3 X is a convex structure on X if d ( W ( x, y, z, an, bn, cn), u )
PPT Slide
Lager Image
a n · d ( x , u ) + b n · d ( y , u ) + c n · d ( z , u ) for real sequences { a n }, { b n } and { c n } in I = [0, 1] satisfying a n + b n + c n = 1
PPT Slide
Lager Image
and x , y , z and u X . A cone metric space ( X , d ) with a convex structure W is called a convex cone metric space and denoted as ( X , d , W ). A nonempty subset C of a convex cone metric space ( X , d , W ) is said to be convex if W ( x , y , z , a , b , c ) ∈ C for all x , y , z C and a , b , c I .
In this paper, we consider the following Noor-type three-step iteration in convex cone metric spaces ;
For given x 0 C , define a sequence { x n } in C as follows;
PPT Slide
Lager Image
where { u n }, { v n } and { w n } are any sequences in X , C is a nonempty convex subset of ( X , d , W ), T n : C C is a uniformly quasi-sup( fn )-Lipschitzian mapping, Sn : C C is a gn -expansive mapping and { α n }, { β n }, { γ n }, { a n }, { b n }, { c n }, { d n }, { e n } and { l n } are sequences in I such that a n + b n + c n = 1, α n + β n + ≥ n = 1 and d n + e n + l n = 1
PPT Slide
Lager Image
.
Remark 2.1. (i) We have the following iteration by putting S n x n = x n in
PPT Slide
Lager Image
of (2.1)
PPT Slide
Lager Image
(ii) By putting S n x n = x n , we obtain the following iteration from (2.2) ;
PPT Slide
Lager Image
which generalizes many kinds of Ishikawa-type iterations.
(iii) The following Ishikawa-type iteration is a special case of (2.1);
PPT Slide
Lager Image
which was considered in [1] .
3. Main Results
Throughout this paper, f n , g n : X → (0, ∞) are functions, which are bounded above, and whose least upper bounds are M n and N n , respectively
PPT Slide
Lager Image
.
Lemma 3.1 ( [5 , 9] ). Let { a n }, { b n } and { c n } be nonnegative real sequences satisfying the following conditions ;
(i) an+1 ≤ (1 + bn)an + cn , (ii) and are finite, then the following hold; (1) exists. (2) If, then
The following lemma considered in convex cone metric space ( X , d , W ) is a result on the properties of an iteration sequence { x n } defined as (2.1) for an infinite family { T n } of uniformly quasi-sup( f n )-Lipschitzian mappings and an infinite family { S n } of g n -expansive mappings.
Lemma 3.2 . Let d : X × X → (E, P) be a cone metric, where P is a solid normal cone with the normal constant t . Let C be a nonempty convex subset of a convex cone metric space ( X , d , W ). Let T n : C C be uniformly quasi-sup ( f n )- Lipschitzian mappings and S n : C C be g n - expansive mappings
PPT Slide
Lager Image
with a nonempty set
PPT Slide
Lager Image
Let { u n }, { v n } and { w n } be bounded sequences in C and { α n }, { β n }, { γ n }, { a n }, { b n }, { c n }, { d n }, { e n } and { l n } be sequences in I such that α n + β n + γ n = a n + b n + c n = d n + e n + l n = 1
PPT Slide
Lager Image
.
Assume that the following conditions hold;
(i) fn > 1 and gn > 1 , (ii) and are finite, (iii) L = (1 + M + M2 ) · L0, where
PPT Slide
Lager Image
is finite .
Let { x n } be the iteration defined as (2.1), then the following holds .
PPT Slide
Lager Image
for p D , where η n = α n + β n and δ n = β n + γ n
PPT Slide
Lager Image
.
(2) there exists a constant K > 0 such that
PPT Slide
Lager Image
Proof. For any p D , we have
PPT Slide
Lager Image
PPT Slide
Lager Image
and
PPT Slide
Lager Image
From (3.1) to (3.3), by the fact that 1 + x e x for x ≥ 0, we have
PPT Slide
Lager Image
Moreover, we obtain the following result (2) from the result (1).
PPT Slide
Lager Image
where
PPT Slide
Lager Image
Remark 3.1 . If f n ≥ 1 and
PPT Slide
Lager Image
, then
PPT Slide
Lager Image
Hence from (3.4)
PPT Slide
Lager Image
and from (3.5)
PPT Slide
Lager Image
where
PPT Slide
Lager Image
Remark 3.2 . If f n ≤ 1 and
PPT Slide
Lager Image
, then
PPT Slide
Lager Image
Hence from (3.4)
PPT Slide
Lager Image
and from (3.5)
PPT Slide
Lager Image
where
PPT Slide
Lager Image
Remark 3.3 . If f n ≤ 1 and g n ≤ 1, then from (3.4) and (3.5), respectively,
PPT Slide
Lager Image
and
PPT Slide
Lager Image
Remark 3.4. Lemma 2 in [1] dealt with the Ishikawa-type iteration (2.4) for an infi- nite family of uniformly quasi- L n -Lipschitzian mappings T n with
PPT Slide
Lager Image
< ∞ and an infinite family of nonexpansive mappings S n , i.e., L ≥ 1 and g n = 1
PPT Slide
Lager Image
. Hence Lemma 2 in [1] is a corollary of Lemma 3.1.
Now we introduce our main result for the iteration defined as (2.1) with an infinite family { T n } of uniformly quasi-sup( f n )-Lipschitzian mappings and an infinite family { S n } of g n -expansive mappings in convex cone metric spaces ( X, d, W ).
Theorem 3.1. Let C be a nonempty closed convex subset of a convex cone metric space ( X, d, W ) with a solid normal cone P with a normal constant t . Let T n : C C be uniformly quasi-sup ( f n )- Lipschitzian mappings and S n : C C be g n - expansive mappings with a nonempty set
PPT Slide
Lager Image
Let { u n }, { v n } and { w n } be bounded sequences in C and { α n }, { β n }, { γ n }, { a n }, { b n }, { c n }, { d n }, { e n } and { l n } be real sequences in I such that α n + β n + γ n = a n + b n + c n = d n + e n + l n = 1
PPT Slide
Lager Image
.
Assume that the following conditions hold;
(i) fn > 1 and gn > 1 , (ii) and are finite, (iii) L = (1 + M + M2 ) · L0, where
PPT Slide
Lager Image
is finite,
(iv)
PPT Slide
Lager Image
and
PPT Slide
Lager Image
) are finite.
Let { x n } be the iteration defined as (2.1).
We have the following equivalent result;
(1) {xn} converges to a common fixed point pD. (2)
Proof . We only consider the case of f n ( x ) > 1 and g n ( x ) > 1 for x X
PPT Slide
Lager Image
. Obviously the statement (1) implies the statement (2). Now we show that the statement (2) implies the statement (1). From (3.4), we have
PPT Slide
Lager Image
where η n = α n + β n and δ n = β n + γ n for
PPT Slide
Lager Image
.
Thus the normality of P implies that
PPT Slide
Lager Image
where t is the normal constant of P .
By the condition (iv) that
PPT Slide
Lager Image
and
PPT Slide
Lager Image
are finite,
PPT Slide
Lager Image
exists from Lemma 3.1. Since
PPT Slide
Lager Image
by the hypothesis, we have
PPT Slide
Lager Image
Now, we show that the sequence { x n } is convergent. For any given ε > 0, take a positive integer N 0 such that
PPT Slide
Lager Image
where
PPT Slide
Lager Image
for n N 0 .
By using a property of infimum for ∥ d ( x n , D )∥, we take a positive integer N 1 N 0 and p 0 D such that
PPT Slide
Lager Image
Hence for any positive integer n > N 1 , from (3.5) by the normality of P we have
PPT Slide
Lager Image
Hence
PPT Slide
Lager Image
, which shows that
PPT Slide
Lager Image
, i.e.,
PPT Slide
Lager Image
by Lemma 2.1(i). Since C is closed,
PPT Slide
Lager Image
.
Now, we show that the set D is closed. In fact, let { p n } a sequence in D converging to p in C . Then
PPT Slide
Lager Image
Letting n → ∞ in (3.6), we have
p F ( T i ) for all
PPT Slide
Lager Image
.
Similarly,
PPT Slide
Lager Image
Letting also n → ∞ in (3.7), we have
p F ( S i ) for all
PPT Slide
Lager Image
.
Hence p D , which implies that D is closed.
Moreover, we have p D . In fact, since
PPT Slide
Lager Image
by Lemma 2.1 (i), we have p D , which says that { x n } converges to a common fixed point in D .
Remark 3.5 . In Theorem 3.1, the full space need not to be complete.
Remark 3.6. We obtain the same results for iterations defined as (2.2) and (2.3) with an infinite family { T n } of uniformly quasi-sup( f n )-Lipschitzian mappings and an infinite family { S n } of gn -expansive mappings in convex metric spaces ( X, d, W ).
Remark 3.7 . The main result of [1] considered the Ishikawa-type iteration (2.4) for an infinite family of uniformly quasi- L n -Lipschitzian mappings T n with L =
PPT Slide
Lager Image
and an infinite family of nonexpansive mappings S n , i.e., L ≥ 1 and g n = 1
PPT Slide
Lager Image
in convex metric spaces. Hence Theorem 1 in [1] is a corollary of Theorem 3.1.
Remark 3.8. By putting f n ( x ) = 1 and g n ( x ) = 1 for x X in Theorem 3.1, we have the corresponding results in convex metric spaces and convex cone metric spaces.
Remark 3.9. We obtain the same results as Theorem 3.1 by replacing the uniform quasi-sup( f )-Lipschitzian of T n
PPT Slide
Lager Image
with the asymptotical quasi- f -expansiveness of T n
PPT Slide
Lager Image
.
Remark 3.10. Theorem 3.1 generalizes, improves and unifies the corresponding results in convex metric spaces [1 , 3 , 9 , 16 , 18 , 19] .
References
Chang S.S , Yang L , Wang X.R 2010 Stronger convergence theorem for an infinite family of uniformly quasi-Lipschitzian mappings in convex metric spaces Appl. Math. Comput. 217 277 - 282    DOI : 10.1016/j.amc.2010.05.058
Cho Y.J , Zhou H.Y , Guo G 2004 Weak and strong convengence theorems for three-step iteration with errors for asymptotically nonexpansive mappings Comput. Math. Appl. 47 707 - 717    DOI : 10.1016/S0898-1221(04)90058-2
Fukhar-ud-din Hafiz , Safeer Hussin Khan 2007 Convergence of iterates with errors of asymptotically quasi-nonexpansive mappings and applications J. Math. Anal. Appl. 328 821 - 829    DOI : 10.1016/j.jmaa.2006.05.068
Huang L.-G , Zhang X 2007 Cone metric spaces and fixed point theorems of contractive mappings J. Math. Anal. Appl. 322 1468 - 1476
Huang N.J , Cho Y.J 1996 Fixed point theorems of compatiable mappings in convex metric spaces Soochow J. Math. 22 439 - 447
Khan A.R , Ahmed M.A 2010 Convergence of a general iterative scheme for a finite family of asymptotically quasi-nonexpansive mappings in convex metric spaces and applications Com. Math. Appl. 59 (8) 2990 - 2995    DOI : 10.1016/j.camwa.2010.02.017
Khan A.R , Domlo A.A , Fukhar-ud-din H 2008 Common fixed points Noor iteration for a finite family of asymptotically quasi-nonexpansive mappings in Banach spaces J. Math. Anal. Appl. 341 1 - 11    DOI : 10.1016/j.jmaa.2007.06.051
Lee B.-S 2013 Approximating common fixed points of two sequences of uniformly quasiLipschitziammappings in convex cone metric spaces Univ. J. Appl. Math. 1 (3) 166 - 171
Liu Q.Y , Liu Z.B , Huang N.J 2010 Approximating the common fixed points of two sequencesof uniformly quasi-Lipschitzian mappings in convex metric spaces Appl. Math. Comput. 216 883 - 889    DOI : 10.1016/j.amc.2010.01.096
Nammanee K , Suantai S 2007 The modified Noor iterations with errors for nonLipschitzianmappings in Banach spaces Appl. Math. Comput. 187 669 - 679    DOI : 10.1016/j.amc.2006.08.081
Noor M.A 2000 New approximation schemes for general variational inequalities J. Math. Anal. Appl. 251 217 - 229    DOI : 10.1006/jmaa.2000.7042
Noor M.A 2004 Some developments on general variational inequalities Appl. Math. Comput. 152 199 - 277    DOI : 10.1016/S0096-3003(03)00558-7
Noor M.A , Huang Z 2007 Three-step methods for nonexpansive mappings and variational inequalities Appl. Math. Comput. 187 680 - 685    DOI : 10.1016/j.amc.2006.08.088
Suantai S 2005 Weak and strong convergence criteria of Noor iterations for asymptotically nonexpansive mappings J. Math. Anal. Appl. 311 506 - 517    DOI : 10.1016/j.jmaa.2005.03.002
Takahashi W 1970 A convexity in metric space and nonexpansive mappings Kodai. Math. Rep. 22 142 - 149    DOI : 10.2996/kmj/1138846111
Tian Y.X 2005 Convergence of an Ishikawa type iterative scheme for asymptotically quasinonexpansive mappings Comput. Math. Appl. 49 1905 - 1912    DOI : 10.1016/j.camwa.2004.05.017
Tian Y.X , Yang C.D Convergence theorems of three-step iterative scheme for a finite family of uniformly quasi-Lipschitzian mappings in convex metric spaces Fixed Point Theory and Applications Article ID 891967, 12pages 2009
Wang C , Liu L.W 2009 Convergence theorems for fixed points of uniformly quasiLipschizian mappings in convex metric spaces Nonlinear Anal. TMA 70 2067 - 2071    DOI : 10.1016/j.na.2008.02.106
Wang C , Zhu J.H , Damjanovic B , Hu L.G 2009 Approximating fixed points of a pair of contractive type mappings in generalized convex metric spaces Appl. Math. Comput. 215 1522 - 1525    DOI : 10.1016/j.amc.2009.07.006
Xu B , Noor M.A 2002 Fixed-point iterations for asymptotically nonexpansive mappings in Banach spaces J. Math. Anal. Appl. 267 444 - 453    DOI : 10.1006/jmaa.2001.7649
Yao Y , Noor M.A 2007 Convergence of three-step iteration for asymptotically nonexpansive mappings Appl. Math. Comput. 187 883 - 892    DOI : 10.1016/j.amc.2006.09.008