Theoretical Mathematics & Applications, vol.2, no.1, 2012, 161-177
ISSN: 1792- 9687 (print), 1792-9709 (online)
International Scientific Press, 2012
Approximation of Common Fixed Points of a Finite
Family of Asymptotically Demicontractive Maps
Using a Composite Implicit Iteration Process
Donatus I. Igbokwe1 and Uko S. Jim2
Abstract
We prove that the modified form of the composite implicit iteration process
introduced by Su and Li [1] can be used to approximate the common fixed
points of a finite family of asymptotically demicontractive maps in real
Hilbert spaces. Our results compliment the results of Su and Li [1], Osilike
and Isiogugu [2], Igbokwe and Udofia [3], Igbokwe and Udo-Utun [4, 5],
Igbokwe and Ini [6] and extend several others from asymptotically
demicontractive maps to the more general class of asymptotically
demicontractive maps (see for example [7-10]).
1
2
Department of Mathematics, University of Uyo, Uyo, Nigeria,
e-mail: igbokwedi@yahoo.com
Department of Mathematics, University of Uyo, Uyo, Nigeria,
e-mail: ukojim@yahoo.com
Article Info: Received : January 5, 2012. Revised : February 17, 2012
Published online : March 5, 2012
162
Approximation of Common Fixed Points of a Finite Family ...
Mathematics Subject Classification: 47H10, 37C25, 55M20
demicontractive maps, composite implicit
Keywords: Asymptotically
iteration, fixed point, uniformly Lipschitzian, Hilbert space
1 Introduction
Let K be a nonempty subset of a real Hilbert space H . A mapping
T :K K
is
k n 1, ,
called
demicontractive with sequence
asymptotically
lim k n 1 (see for example [3]), if F T x K : Tx x
n
and there exists an increasing continuous function : 0, 0, with
0 0 such that
T nx p
2
2
2
kn x p x T n x x T n x ,
(1)
x K , p F T and n 1.
A mapping T : K K is called asymptotically demicontractive with
sequence
a n 1, ,
lim a n 1 (see for example [10]), if F T and
n
x K , p F T , a k 0, 1
T nx p
T
is
k strictly
a n 1, ,
2
2
a n2 x p k I T n x ,
asymptotically
pseudocontractive
(2)
with
a
sequence
lim a n 1 if x K, n N , a k 0, 1
n
T nx T n y
where I
2
2
2
2
a n2 x p k I T n x I T n y ,
(3)
is the identity operator. The class of k strictly asymptotically
pseudocontractive and asymptotically demicontractive maps were first introduced
in Hilbert spaces by Qihou [10]. Observe that a k strictly asymptotically
pseudocontractive map with a nonempty fixed point set F T is asymptotically
Donatus I. Igbokwe and Uko S. Jim
163
demicontractive. An example of a k strictly asymptotically pseudocontractive
map is given in [11].
Furthermore, T is uniformly L Lipschitzian if there exists a constant
L 0 T nx T n y L x y .
Let K be a subset of an arbitrary real Banach space E , a mapping T : DT E
is
said
to
a n 1, ,
be
demicontractive
asymptotically
with
sequence
lim a n 1 ( See for example [2] ), if F T and there exists a
n
strictly increasing continuous function : 0, 0, with 0 0 such
that
x T n x, j x p x T n x 12 a n2 1 x p
2
(4)
x K , p F T and n N . j is the single – valued duality mapping from E
to E given by
j x f E : x, f x
2
; x
2
f
2
,
which holds in strictly convex dual spaces. E denotes the dual space of E and
,
denotes
the generalized duality paring. The class of asymptotically
demicontractive maps was first introduced in arbitrary real Banach spaces by
Osilike and Isiogugu [2]. It is shown in [2] that the class of asymptotically
demicontractive map is a proper subclass of the class of asymptotically
demicontractive map while in [3], it is shown that every asymptotically
demicontractive
map
is
asymptotically
demicontractive
with
: 0, 0, given by
t 1 k t 2 12 a n2 1 x p .
2
These classes of operators have been studied by several authors (See for example
[2,3, 7-10, 12] ). In [2] Osilike and Isiogugu proved the convergence of the
modified averaging iteration process of Mann [13] to the fixed points of
164
Approximation of Common Fixed Points of a Finite Family ...
asymptotically demicontractive maps. Specifically they proved the following:
Theorem 1.1 ([2], p.65) Let E be a real Banach space and K a nonempty closed
convex subset of E . Let T : K K be a completely continuous uniformly
L Lipschitzian asymptotically demicontractive mapping with a sequence
a n 1,
a
2
n
1 . Let an be a real sequence satisfying
(i) 0 n 1 (ii)
Then the sequence
x n n 1
n
(iii)
2
n
.
generated from arbitrary x1 K
by the modified
averaging Mann iteration process
x n 1 1 n x n n T n x n , n 1
(5)
converges strongly to a common fixed point of T .
Similarly, in [3], using the modified averaging implicit iteration scheme
xn of
Sun [14], generated from an x1 K , by
x n n x n 1 1 n Ti k x n , n 1
where n k 1N i, i I 1, 2, 3 . . . , N , Igbokwe and Udofia [3] proved
that under certain conditions on the iteration sequence n , the above iteration
process x n
converges strongly to the common fixed point of the family Ti iN1
of N uniformly Li Lipschitzian asymptotically demicontractive self maps
of nonempty closed convex subset of a Hilbert space H .
Recently, Su and Li [1] introduced the following iteration scheme and called it
Composite Implicit Iteration Process. From x1 K , the sequence
x n n 1
is
generated by
xn n xn 1 1 n Tn yn
yn n xn 1 1 n Tn xn , n 1
where n , n
0,1 , Tn
(6)
Tn mod N .
Motivated by the results of Su and Li [1], very recently, Igbokwe and Ini [6]
Donatus I. Igbokwe and Uko S. Jim
165
modified the iteration process (6) and applied the modified iteration process to
approximate the common fixed points of a finite family of k-strictly
asymptotically pseudocontractive maps. In compact form, the modified composite
implicit iteration process of Igbokwe and Ini is expressed as follows:
x n n x n 1 1 n Ti k y n
y n n x n 1 1 n Ti k x n , n 1
(7)
where n k 1N i, i I 1, 2, 3 . . . , N . n , n
Observe that, if T : K K
0,1 .
is uniformly L Lipschitzian asymptotically
Demicontractive map with sequence a n 1, such that lim a n 1 then
n
for every fixed u K and t 1LL ,1 , the operator S t , s ,n : K K defined for all
x K by
S t , s , n x tu 1 t T n [ su 1 s T n x ]
satisfies
S t , s , n x S t , s ,n y 1 t 1 s L2 x y , x , y K .
Thus, the composite implicit iteration process (7) is defined in K for the family
Ti iN1
of N
uniformly L Lipschitzian asymptotically Demicontractive
mappings of nonempty closed convex subset K of a Hilbert space provided that
n , n ,1 for all
n 1 , where
L
and L max Li .
1 L
1i N
It is our purpose in this paper to prove that the iteration process (7) converges to
common fixed points of finite family of
N
uniformly L Lipschitzian
asymptotically Demicontractive mappings in Hilbert space. We show that the
recent results of Osililke [2], Osililke, Aniagbosor and Akucku [9] concerning the
iterative approximation of fixed points of asymptotically demicontractive and
asymptotically demicontractive maps which are themselves generalizations of a
theorem of Qihou [10], a result of Osililke [7] and a result of Osililke and
166
Approximation of Common Fixed Points of a Finite Family ...
Aniagbosor [8] will be special cases of our results. Moreover, in Hilbert spaces,
our present results extend the recent results of Igbokwe and Ini [6] from k-strictly
asymptotically pseudocontraction to the much more general asymptotically
demicontractive maps.
2 Preliminary Notes
In the sequel, we need the following:
a n n 1 , bn n 1
Lemma 2.1 ([8], p.80) Let
and
n n 1
be sequences of
nonnegative real numbers satisfying the inequality
an1 1 n an bn , n 1.
If
n and
n 1
b
n 1
n
, Then lim an exists. If in addition {a n }n 1 has a
n
subsequence which converges strongly to zero, then lim an 0.
n
Definition 2.1 Let K be a closed subset of a real Banach space E and
T : K K be a mapping. T is said to be semicompact (see for example [1]) if for
any bounded sequence
xn
in K such that x n Tn x n 0 as n , there
exists a subsequence x nk x n
such that
x nk x K .
3 Main Results
Let K be a subset of a real Hilbert space H . We call the mapping T : K K
asymptotically demicontractive with sequence
F T
and
there
exists
a
strictly
: 0, 0, with 0 0 such that
ain 0, ,
increasing
lim a n 1 if
n
continuous
function
Donatus I. Igbokwe and Uko S. Jim
T nx T n p
2
167
x p
1 1 a n2 1
2
2
2
x T nx
x T nx
(8)
for all x K , p F T and n 1.
Since in a Hilbert space, j is the identity map, for all x K , p F T and
n 1. Using (4), we have:
T nx T n p
2
2
x p [ I T n x I T n p]
x p 2 I T n x I T n p, x p I T n x I T n p
2
x p 2 x T n x, x p x T n x
2
2
2
2
x p x T n x 1 a n2 1 x p x T n x
2
2
2
2
1 1 a n2 1 x p x T n x x T n x , proving (8).
2
Observe that if we set 1 1 a n2 1 k n in (8), then k n [1, ) and lim k n 1 .
2
n
So that equivalently, we have,
T nx T n p
2
2
2
kn x p x T n x x T n x
(9)
Lemma 3.1 Let E be a normed space and K a nonempty convex subset of E .
Let Ti iN1
be N
L maxLi ,
Li
uniformly Li Lipschitzian self mappings of K such that
Ti , i 1, 2, . . . , N .
the Lipschitzian constant of
n , n be sequences in such that
(i)
1
n 1
n
(ii)
1
n 1
n
2
(iii)
1
n 1
For arbitrary x1 K , generate the x n by
x n n x n 1 1 n Ti k y n
y n n x n 1 1 n Ti k x n , n 1
Then,
n
.
Let
2
168
Approximation of Common Fixed Points of a Finite Family ...
2 2 L3 2 L 1 L2
Ti x n x n
T
k
i
xn xn
2 L Ti k 1 x n 1 x n 1 41 n L2 1 2 L 1 L x n x n 1
Proof. Let in x n Ti k x n . Then, applying (7) and the fact that L max( Li ) we
obtain :
x n Ti x n
x n Ti k x n L Ti k 1 x n 1 x n
in + L2 x n x n 1 L Ti k 1 x n x n
1 1 L + L 21 L x
1 L T x x 21 L y x
2
n
n
x n 1
n
.
2
in 1
in
n
2
3
n
i
n
n
n
n
That is
1 1 L x
2
n
n
Ti x n
1 L
+ Lin 1 21 n L2 x n x n 1
2
in
21 n L3 y n x n .
(10)
Observe that
yn xn
2 L in 21 L
x n x n 1 .
(11)
Substituting (11) into (10), we obtain
Ti x n x n
1
1 1 n L2
2 L3 2 L 1 L2 Ti k xn xn
L Ti k 1 x n 1 x n 1 21 n L2 1 2 L 1 L x n x n 1
.
Since from condition (ii) lim 1 n 0 , then there exists an N1 0 such that
n
n N1 ,
1 1 n L2
1
.
2
Therefore,
Ti x n x n
2 2 L3 2 L 1 L2
T
i
k
xn xn
2 L Ti k 1 x n 1 x n 1 41 n L2 1 2 L 1 L x n x n 1 ,
Donatus I. Igbokwe and Uko S. Jim
169
completing the proof.
Theorem 3.1 Let H be a real Hilbert space and Let K be a nonempty closed
convex subset of H . Let Ti iN1 be N uniformly L Lipschitzian asymptotically
demicontractive self maps of K with sequence ain [1, ) such that
N
n 1
i 1
ain 1 for all i I , and F F Ti
where F Ti x K : Ti x x. Let one member of the family
Ti iN1
be
semicompact. Let { n } n 1 , { n } n 1 [ ,1] be two real sequences satisfying the
conditions;
1
(i)
n
n 1
1
(ii)
n 1
(iii)
2
n
1
n 1
where
n
L
1 L
, 1 n 1 n L2 1 , 0 n 1,
and
L maxLi ,
Li
uniform Lipschitz constants of
Ti , i 1, 2, . . . , N . Let x1 K be arbitrary, the modified implicit iteration
sequence { xn } n 1 generated by
x n n x n 1 1 n Ti k y n
y n n x n 1 1 n Ti k x n , n 1
(12)
exists in K and converges strongly to a common fixed point p of the family
Ti iN1 .
Proof. We use the well known result of Reinermann [15] (See also Osilike and
Igbokwe [16]).
tx 1 t y
2
t x
2
1 t y
2
t 1 t x y
2
(13)
170
Approximation of Common Fixed Points of a Finite Family ...
which holds for all x, y H , t [0,1].
Using (12) and (13), we obtain
xn p
2
n xn1 p 1 n Ti k y n p
2
n xn 1 p 1 n Ti k y n p n 1 n xn 1 Ti k y n
2
n xn 1 p L2 1 n y n p n 1 n x n1 Ti k y n
2
n xn 1 p L2 1 n y n p n 1 n xn 1 Ti k y n
2
2
2
2
2
2
2
n x n 1 p L2 1 n n x n1 p 1 n Ti k x n p
2
n 1 n xn 1 Ti k yn
2
n x n 1 p L2 1 n n x n 1 p
2
2
1 n Ti k xn p n 1 n xn 1 Ti k xn
2
n 1 n xn1 Ti k y n
2
2
n xn 1 p L2 n 1 n xn 1 p L2 1 n 1 n Ti k x n p
2
2
L2 n 1 n n 1 n xn 1 Ti k xn
x n 1 Ti k y n
2
L 1 L 1 L 1 x
L 1 L 1 L 1 x
2
2
n
n
2
n
2
n 1
n
n
p
2
2
2
4
n
1 n x n1 Ti k y n . (14)
n
p .
(15)
Substitute (15) into (14) to obtain
xn p
2
[ n L2 n 1 n 1 n L n 1 L2 1 n L n 1 ] x n 1 p
2
L2 1 n 1 n Ti k xn p L2 n 1 n 1 n x n1 Ti k x n
2
1 n L2 1 n L n 1 L4 1 n xn p .
2
2
2
2
(16)
2
Donatus I. Igbokwe and Uko S. Jim
171
From (8), we have
Ti k xn p
2
L 1
2
2
1 1 a in2 1 x n p x n Ti k x n .
2
(17)
Substitute (17) into (16) to obtain
xn p
2
[ n L2 n 1 n 1 n L n 1 L2 1 n L n 1 ] x n 1 p
2
2
L2 1 n 1 n x n Ti k x n L2 n 1 n 1 n x n1 Ti k x n
1 n L2 1 n L n 1 L4 1 n
x
2
L2 1 n L 1 1 1 ain2 1
2
2
2
2
n
p .
That is
1 1 n L2 L n 1 L4 1 n L2 L 12 1 1 2 ain2 1
2
1 n L2 L n 1 L4 1 n L2 L 1 1 1 a in2 1 n n
2
1 n [ n L2 n L n 12 L2 1 n L n 1] x n 1 p
xn p 2
2
2
L2 1 n 1 n x n Ti k x n L2 n 1 n 1 n xn 1 Ti k xn
2
2
(18)
2
Observed that L2 L n 1 L4 1 n L2 L 1 1 1 ain2 1 1 . Using the
2
fact that 1 n 1, then,
1 n 1 n L2 L n 1 L4 1 n L2 L 12 1 1 2 ain2 1 n n
2
1 n L2 L n 1 L4 1 n L2 L 1 1 1 ain2 1 n n .
2
So we obtain,
1 1
n
in 1 n 2 n in 1 n n x n p 2
1 n [ n L2 n L n 12 L2 1 n L n 1] x n 1 p 2
2
L2 1 n 1 n x n Ti k x n L2 n 1 n 1 n x n1 Ti k x n
2
2
,
172
Approximation of Common Fixed Points of a Finite Family ...
2
where in L2 L n 1 L4 1 n L2 L 1 1 1 ain2 1
2
0.
So that
xn p
2
1 n L2 n L n 12 L2 1 n L n 1
1 1 2
n
in
n
n in
1
x n 1 p
1 1 n in 1 (1 n ) n n
L2 1 n 1 n
x n Ti k x n
1 1 n in 1 (1 n ) n n
2
2
2
L2 n 1 n 1 n
x n 1 Ti k x n .
1 1 n in 1 (1 n ) n n
2
(19)
Since lim 1 n 0, then there exists a natural number N 2 , such that n N 2
n
1 1 n in 1 (1 n ) n n
1
.
2
Therefore, it follows from (19) that
xn p
2
[1 2[1 n L2 n L n 12 L2 1 n L n 1
1 n in 1 n n in ] x n 1 p
2
L2 1 n 1 n x n Ti k x n
2
2
L2 n 1 n 1 n x n1 Ti k x n .
2
[1 in ] x n 1 p
2
2
L2 1 n 1 n x n Ti k x n
2
L2 n 1 n 1 n x n 1 Tn x n ,
2
2
(20)
where
in 2[1 n L2 n L n 1 L2 1 n L n 1
2
1 n in 1 n nin ].
2
(21)
Donatus I. Igbokwe and Uko S. Jim
Since from condition (iii)
n 1
in
173
, it follows from (21) and Lemma 2.1 that
lim xn1 p exists. Hence lim x n p exists. So there exists M 0 such that
n
n
x n p M , n 1 , we obtain from (20) that
L2 1 n 1 n x n Ti k x n
2
1 in xn1 p 2
2
2
1 x
j
j N 1
j
T jk x j
n 1
Since
2
xN p M 2
ij
2
n 1
1 , it follows that lim inf x
n 1
j N 1
x N p M 2 in .
n
2
1 n xn Ti k xn
2
x n 1 p x n p M 2 in
L2 1
xn p
n
n
Ti k x n 0 .
Since is an increasing and continuous function, then lim inf x n Ti k x n 0 .
n
Furthermore, since x n is bounded and lim 1 n 0 , it follows from
n
Lemma 2.1 that lim inf x n Ti k x n 0 for all i I .
n
Since one member of the family Ti iN1 is semicompact, there exists a subsequence
x
nj
j 1
of
xn n 1
which converges strongly to
u Ti u Lim x n Ti x n 0 for all i I . Thus
n
u
and furthermore,
u F . Since x n j
j 1
converges to u and Lim u Ti u exists, It follows from Lemma 2.1, that xn n 1
n
converges strongly to u and hence the proof.
Since every asymptotically demicontractive maps T is asymptotically
demicontractive map (see for example [2]), we have the following:
174
Approximation of Common Fixed Points of a Finite Family ...
Corollary 3.1 Let K be a nonempty closed convex subset of a real Hilbert space
H . Let Ti iN1 be N uniformly L Lipschitzian asymptotically demicontractive
self maps of K with sequence ain [1, ) such that
i I . Let F
N
F T
a
n 1
in
1 for all
where F Ti x K , Ti x x . Let one member of
i
i 1
the family Ti iN1 be semicompact. Let { n } n 1 , { n } n 1 [ ,1] be two real
sequences satisfying the conditions:
(i)
1 n
n 1
(ii)
2
1 n
(iii)
n 1
1
n 1
n
.
(iv) 1 n
1 n L2 1 ,
where
L
and L maxLi , Li the Lipschitzian constants of Ti iN1 . Let
1 i N
1 L
0 n 1,
x n be the implicit iteration sequence generated by (12). Then { xn } n 1 exists in
K and converges strongly to a common fixed point p of the family Ti iN1 .
Remark
If we set n 1 , the iteration scheme takes the non-implicit form:
x n n x n 1 1 n T k x n 1 .
(22)
In the case of N=1, (22) becomes the modified Mann iteration process [13] given
by
x n n x n 1 1 n T k x n 1 .
(23)
The conclusion of Theorem 3.1 and Corollary 3.1 are still valid. Hence, we state
the following theorem without proof:
Theorem 3.2 Let K be a nonempty closed convex subset of real Hilbert space H .
Let T be an L Lipschitzian asymptotically demicontractive self map of K
Donatus I. Igbokwe and Uko S. Jim
175
with sequence ain [1, ) such that
a
n 1
in
1 and F T x K , Tx x .
Let { n } n 1 0,1 be a real sequence satisfying the conditions:
(i)
1
n 1
(ii)
n
1
n 1
n
2
,
0 n 1.
For arbitrary x1 K , let
x n
be the averaging
Mann iteration process
generated by (23). If T is semicompact, Then { xn } n 1 exists in K and converges
strongly to a common fixed point p of the family T .
References
[1] Y. Su and S. Li, Composite Implicit Process for Common Fixed Points of A
Finite Family of Strictly Pseudocontarctive Maps, Journal of Mathematical
Analysis and Application, 320, (2006), 882-891.
[2] M.O. Osilike and F.O. Isiogugu, Fixed Points of Asymptotically
Demiconcentrative Mappings in Arbitary Banach Spaces, Pan–American
Mathematical Journal, 15(3), (2005), 59-69.
[3] D.I. Igbokwe and U. E. Udofia, Approximation of Fixed Points of a Finite
Family of Asymptotically Demicontractive Maps by an Implicit Iteration
Process, World Journal of Applied Science and Technology, 2(1), (2010), 2633.
[4] D.I. Igbokwe and X. Udo-Utun, Composite Implicit Iteration Process for
Common
Fixed
Points
of
a
Finite
Family
of
Asymptotically
176
Approximation of Common Fixed Points of a Finite Family ...
Pseudocontractive Maps, Journal of Pure and Applied Mathematics:
Advances and Applications, 3(1), (2010), 105-121.
[5] D. I. Igbokwe and X. Udo-Utun, An Averaging Implicit Iteration Process for
Common
Fixed
Points
of
a
Finite
Family
of
Asymptotically
Pseudocontractive Maps, JP Journal of Fixed Points Theory and
Applications, 5(1), (2010), 33-48, http:/pphmj.com/journals/jpfpta.htm
[6] D. Igbokwe and O. Ini, A Modified Averaging Composite Implicit Iteration
Process for Common Fixed Points of a Finite Family of
Asymptotically
Pseudocontractive
Mappings,
Advances
k-Strictly
in
Pure
Mathematics, 1(4), (2011), 204-209. http://www.SciRP.org/journal/apm
[7] M.O. Osilike, Iterative Approximation of Fixed Points of Asymptotically
Demicontractive
Mappings,
Indian
Journal
of
Pure
and
Applied
Mathematics, 29(12), (1998), 1291-1300.
[8] M.O. Osilike and S.C. Aniagbosor, Fixed Points of Asymptotically
Demicontractive Mappings in Certain Banach Spaces, Indian Journal of Pure
and Applied Mathematics, 32(10), (2001), 1519-1537.
[9] M.O. Osilike, S.C. Aniagbosor and B.G. Akuchu, Fixed Points of
Asymptotically Demicontractive Mapping in Arbitary Banach Spaces, PanAmerican Mathematical Journal, 12(2), (2002), 77-88.
[10] L. Qihou, Convergence Theorems of the Sequence of Iterates for
Asymptotically Demicontarcive and Hemicontractive Mappings, Nonlinear
Analysis: Theory, Methods and Applications, 26(1), (1996), 1835-1842.
[11] M.O. Osilike, A. Udomene, D.I. Igbokwe and B.G. Akuchu, Demiclosedness
Principle
and
Convergence
Pseudocontractive
Maps,
Theorem
Journal
for
of
k-Strictly
Mathematical
Asymptotically
Analysis
and
Applications, 326(2), (2007), 1334-1345.
[12] D.I.
Igbokwe,
Approximation
of
Fixed
Points
of
Asymptotically
Demicontrative Mappings in Arbitrary Banach Spaces, Journal of Inequality
in Pure and Applied Mathematics, 3(1), (2002), 1-11.
Donatus I. Igbokwe and Uko S. Jim
177
[13] W.R. Mann, Mean Value Methods in Iteration, Proceedings of American
Mathematical Society, 4, (1953), 506-510.
[14] Z.H. Sun, Strong Convergence of an Implicit Iteration Process for a Finite
Family of Asymptotically Quasi-Nonexpensive Mappings, Journal of
Mathematical Analysis and Applications, 286, (2003), 351-358.
[15] J. Reinermann, Uber Fixpunkte Kontrahievuder Abbidungen und Schwach
Konvergente Tooplite-Verfhren, Arch. Math., 20, (1969), 59-64.
[16] M. O. Osilike and D. I. Igbokwe, Weak and Strong Convergence Theorems
for Fixed Points of Pseudocontractions and Solutions of Monotone-Type
Operator Equations, Computer and Mathematics with Applications, 40,
(2000), 559-567.
0
You can add this document to your study collection(s)
Sign in Available only to authorized usersYou can add this document to your saved list
Sign in Available only to authorized users(For complaints, use another form )