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.