AMApplied Mathematics2152-7385Scientific Research Publishing10.4236/am.2014.515212AM-48491ArticlesCOMPUTER SCIENCE & COMMUNICATIONSENGINEERINGPHYSICS & MATHEMATICSA Monotonicity Condition for Strong Convergence of the Mann Iterative Sequence for Demicontractive Maps in Hilbert SpacesAkuchuBesheng George1*CelestinAkwumbuom Nse2*Department of Mathematics, Federal University of Technology, Owerri, NigeriaDepartment of Mathematics, University of Nigeria, Nsukka, Nigeria* E-mail:george.akuchu@unn.edu.ng(ABG);drcelestinse@yahoo.com(CAN);0508201405152195219818 May 201422 June 2014 6 July 2014© Copyright 2014 by authors and Scientific Research Publishing Inc. 2014This work is licensed under the Creative Commons Attribution International License (CC BY). http://creativecommons.org/licenses/by/4.0/

Let be a real Hilbert space and C be a nonempty closed convex subset of H. Let T : C → C be a demicontractive map satisfying 〈Tx, x〉 ≥ ‖x‖2 for all x ∈ D (T). Then the Mann iterative sequence given by xn + 1 = (1 - an) xn + anT xn, where an ∈ (0, 1) n ≥ 0, converges strongly to an element of F (T):= {x ∈ C : Tx = x}. This strong convergence is obtained without the compactness-type assumptions on C, which many previous results (see e.g. ) employed.

Demicontractive Maps Mann Iterative Sequence Strong Convergence Monotonicity Hilbert Spaces
1. Introduction

Let be a real Hilbert space. A mapping is said to be demicontractive if there exists a constant such that

for all, where More often than not, is assumed to be in the interval However, this is a restriction of convenience. If then is called a hemicontractive map.

On the otherhand, is said to satisfy condition (A) if there exists such that

for all Inequality (1.2) is equivalent to

The above classes of maps were studied independently by Hicks and Kubicek  and Maruster  . It is

however shown in  that the two classes of maps coincide if and

The class of demicontractive maps includes the class of quasi-nonexpansive and the class of strictly pseudocontractive maps. Any strictly pseudocontractive mapping with a nonempty fixed point set is demicontractive.

If is a closed convex subset of any Banach space and is any map, then the Mann itera-

tion sequence  is given by where satisfying certain condi-

tions. Several authors (see e.g.  -   ) have studied the convergence of the Mann iteration sequence to fixed points of certain mappings in certain Banach spaces. However, the Mann iteration sequence is very suitable for the study of convergence to fixed points of demicontractive mappings. It is well known (see e.g.  ) that demicontractivity alone is not sufficient for the convergence of the Mann iteration sequence. Some additional smoothness properties of such as continuity and demiclosedness are necessary.

A map is said to be demiclosed at a point if whenever is a sequence in the domain of such that converges weakly to and converges strongly to then

In  , Maruster studied the convergence of the Mann iteration sequence for demicontractive maps, in finite dimensional spaces, with an application to the study of the so-called relaxation algorithm for the solution of a particular convex feasibility problem. More precisely, he proved the following:

Theorem 1  : Let be a nonlinear mapping, where is the m-Euclidean space. Suppose the following are satisfied:

1) is demiclosed at 0.

2) is demicontractive with constant or equivalently satisfies condition with

Then the Mann iteration sequence converges to a point of for any starting

Maruster  noted that in infinite dimensional spaces, demicontractivity and demiclosedness of are not sufficient for strong convergence. However, the two conditions ensure weak convergence. More precisely, he proved the following:

Theorem 2  : Let be a nonlinear mapping with where is a closed convex subset of a real Hilbert space Suppose the following conditions are satisfied:

1) is demiclosed at 0.

2) is demicontractive with constant or equivalently satisfies condition with.

3).

Then the Mann iteration sequence converges weakly to a fixed point of, for any starting

2. Strong Convergence

As noted above, demicontractivity and demiclosedness of T are not sufficient for strong convergence of the Mann iteration sequence in infinite dimensional spaces. Some additional conditions on T, or some modifications of the Mann iteration sequence are required for strong convergence to fixed points of demicontractive maps. Such additional conditions or modifications have been studied by several authors (see e.g.      ).

There is however an interesting connection between the strong convergence of the Mann iteration sequence to a fixed point of a demicontractive map, T, and the existence of a non-zero solution of a certain variational inequality. This connection was observed by Maruster  , and has been studied by several authors. More precisely, Maruster proved the following theorem:

Theorem 3  : Suppose satisfies the conditions of Theorem 2. If in addition there exists such that

for all then starting from a suitable the Mann iteration sequence converges strongly to an element of

The conditions of/and the variational inequality in Theorem 3 have been used and generalized by several authors (see e.g.   ). The existence of a non-zero solution to the variational inequality is sometimes gotten under very stringent conditions. In  remark 4, Maruster and Maruster made the following observation “It would therefore be interesting to study more closely the existence of a non-zero solution of the variational inequality”.

The purpose of this paper is to provide a monotonicity condition under which the Mann iteration sequence converges strongly to a fixed point of a demicontractive map. The convergence does not need to pass through the variational inequality (1.4). The condition is embodied in the following theorem:

Before we state and prove our theorem, we give the following definition which will be useful in the sequel.

Definition 1: Let be a real Hilbert space with inner product and norm and let be a nonempty closed convex subset of. The orthogonal projection of onto is defined by and has the following properties:

1)

2).

Theorem 4: Suppose satisfies:

1) The conditions of Theorem 2.

2) for all Then starting from a suitable the Mann iteration sequence converges strongly to an element of

Proof. Choose such that This implies there exists such that Suppose Then using (1.3) and condition (ii) of Theorem 4, we have

Since from Theorem 2, then

Example: Let (reals) and be a nonempty closed convex subset of Define by

Then it is easily verifiable that is demicontractive and satisfies condition (ii) of our theorem for

Remark 1: In  Maruster and Maruster noted that if satisfies the positivity type condition then it is sufficient to find a non-zero solution of the variational inequality This motivates the condition in our theorem. As a matter of fact, our theorem is a necessity result.

Remark 2: We note that one of the ways of choosing is as follows: For any choose where and is the metric projection from into This follows since it is well known (see Definition 1) that is firmly nonexpansive (i.e. satisfies condition (ii) of Definition 1), so that

This implies where

ReferencesRAFIQ A. ,et al. (2007)ON THE MANN ITERATION IN HILBERT SPACES NONLINEAR ANALYSIS 66, 2230-2236.HTTP://DX.DOI.ORG/10.1016/J.NA.2006.03.012HICKS H.L. , KUBICEK J.D. ,et al. (1977)ON THE MANN ITERATION IN HILBERT SPACES JOURNAL OF MATHEMATICAL ANALYSIS AND APPLICATIONS 59, 498-505.HTTP://DX.DOI.ORG/10.1016/0022-247X(77)90076-2MARUSTER ST. ,et al. (1973)SUR LE CALCUL DES ZEROS D’UN OPERATEUR DISCONTINU PAR ITERATION CANADIAN MATHEMATICAL BULLETIN 16, 541-544.HTTP://DX.DOI.ORG/10.4153/CMB-1973-088-7MARUSTER L. , MARUSTER S. ,et al. (2011)STRONG CONVERGENCE OF THE MANN ITERATION FOR Α-DEMICONTRACTIVE MAPPINGS MATHEMATICAL AND COMPUTER MODELLING 54, 2486-2492.HTTP://DX.DOI.ORG/10.1016/J.MCM.2011.06.006MANN W. ,et al. (1953)MEAN VALUE METHODS IN ITERATION PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY 4, 506-510.HTTP://DX.DOI.ORG/10.1090/S0002-9939-1953-0054846-3MARUSTER ST. ,et al. (1977)THE SOLUTION BY ITERATION OF NONLINEAR EQUATIONS IN HILBERT SPACES PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY 63, 767-773.HTTP://DX.DOI.ORG/10.1090/S0002-9939-1977-0636944-2CHIDUME C.E. , MARUSTER ST. ,et al. (2010)ITERATIVE METHODS FOR THE COMPUTATION OF FIXED POINTS OF DEMICONTRACTIVE MAPPINGS JOURNAL OF COMPUTATIONAL AND APPLIED MATHEMATICS 234, 861-882.HTTP://DX.DOI.ORG/10.1016/J.CAM.2010.01.050OSILIKE M.O. ,et al. (2000)STRONG AND WEAK CONVERGENCE OF THE ISHIKAWA ITERATION METHOD FOR A CLASS OF NONLINEAR EQUATIONS BULLETIN OF THE KOREAN MATHEMATICAL SOCIETY 37, 153-169.CHIDUME C.E. ,et al. (1984)THE SOLUTION BY ITERATION OF NONLINEAR EQUATIONS IN CERTAIN BANACH SPACES JOURNAL OF THE NIGERIAN MATHEMATICAL SOCIETY 3, 57-62.