Strong Convergence of Mann’s Iteration Process in Banach Spaces

Abstract

Mann’s iteration process for finding a fixed point of a nonexpansive mapping in a Banach space is considered. This process is known to converge weakly in some class of infinite-dimensional Banach spaces (e.g., uniformly convex Banach spaces with a Fréchet differentiable norm), but not strongly even in a Hilbert space. Strong convergence is therefore a nontrivial problem. In this paper we provide certain conditions either on the underlying space or on the mapping under investigation so as to guarantee the strong convergence of Mann’s iteration process and its variants.

1. Introduction

Let X be a real Banach space with norm $\parallel ·\parallel$, let C be a nonempty closed convex subset of X, and let $T:C\to C$ be a nonexpansive mapping (i.e., $\parallel Tx-Ty\parallel \le \parallel x-y\parallel$ for $x,y\in C$). We use $\mathrm{Fix}\left(T\right)$ to denote the set of fixed points of T; i.e., $\mathrm{Fix}\left(T\right)=\{x\in C:Tx=x\}$. It is known that $\mathrm{Fix}\left(T\right)$ is nonempty if X is uniformly convex and C is bounded. Mann’s iteration process [1], an averaged iterative scheme, is used to find a point in $\mathrm{Fix}\left(T\right)$. This process generates a sequence $\left\{x_n\right\}$ via the recursive process:

$$x_{n+1}=(1-t_n)x_n+t_{n}T{x}_n,n=0,1,\cdots ,$$

(1)

where the initial point $x_0\in C$ is arbitrary and $\left(t_n\right)\subset [0,1]$. It is known [2] that if X is uniformly convex with a Fréchet differentiable norm, if $\mathrm{Fix}\left(T\right)$ is nonempty, and if ${\sum }_{n=0}^{\infty }{t}_n(1-t_n)=\infty$, then the sequence $\left(x_n\right)$ generated by (1) converges weakly to a point in $\mathrm{Fix}\left(T\right)$. However, the counterexample in [3] shows that the algorithm (1) fails, in general, to converge strongly even in Hilbert space unless C is compact [4]. Therefore, efforts have been made to study sufficient conditions to guarantee strong convergence of Mann’s algorithm (1) without assuming compactness of C. For instance, Gwinner [5] imposed the $\phi$-accretiveness condition on $I-T$ to prove strong convergence of (1) in a uniformly convex Banach space. Some authors have made modifications of Mann’s iteration process in order to get strong convergence (see, e.g., [6,7,8]).

In this paper we continue to study the strong convergence of Mann’s iteration process. We improve Gwinner’s strongly convergent result ([5], Theorem 1) by removing the condition $t_n\le b$ with $b\in (0,1)$. We also prove strong convergence of Mann’s iteration process in a reflexive Banach space with Opial’s and Kadec-Klee properties when $I-T$ is $\phi$-accretive. A regularization method is introduced to approximate a fixed point of T. This method implicitly yields a sequence of approximate solutions and we shall prove (in Theorem 4) its strong convergence to a solution of a variational inequality. Combining this regularization method with Mann’s method, we obtain a new iteration process (see (22)) when the regularizer $R=I-f$ with f a contraction. We will prove that this process converges strongly in a Banach space whenever the sequence of approximate solutions of the implicit regularization converges strongly.

We use the notation:

• “$x_n\rightharpoonup x$” stands for the weak convergence of $\left(x_n\right)$ to x,
• “$x_n\to x$” stands for the strong convergence of $\left(x_n\right)$ to x,
• ${\omega }_w\left(x_n\right):=\{x:\exists x_{n_k}\rightharpoonup x\}$ is the set of all weak accumulation points of the sequence $\left(x_n\right)$.

2. Preliminaries

2.1. Uniform Convexity

Let X be a real Banach space with norm $\parallel ·\parallel$. Recall that the modulus of convexity of X is defined as (cf. [9])

$${\delta }_X\left(\epsilon \right)=inf\left\{1-∥\frac{x+y}{2}∥:\parallel x\parallel \le 1,\parallel y\parallel \le 1,\parallel x-y\parallel \ge \epsilon \right\},\epsilon \in [0,2].$$

We say that X is uniformly convex if

$${\delta }_X\left(\epsilon \right)>0\mathrm{for} \mathrm{all} \epsilon \in (0,2].$$

Examples of uniformly convex Banach spaces include Hilbert spaces H and $l^p$ (and also $L^p$) spaces for $1<p<\infty$. As a matter of fact, the moduli of convexity of these spaces are

$${\delta }_H\left(\epsilon \right)=1-\sqrt{1-{\left(\frac{\epsilon }{2}\right)}^2}$$

and

$${\delta }_{l^p}\left(\epsilon \right)={\delta }_{L^p}\left(\epsilon \right)\left\{\begin{array}{cc}=1-\sqrt[p]{1-{\left(\frac{\epsilon }{2}\right)}^p}\hfill & \mathrm{if} 2\le p<\infty ,\hfill \\ \ge 1-\sqrt{1-(p-1){\left(\frac{\epsilon }{2}\right)}^2}\hfill & \mathrm{if} 1<p<2.\hfill \end{array}\right.$$

The following inequality characterization of uniform convexity is convenient in application.

Proposition 1

([10]). Let X be a uniformly convex Banach space. Then for each fixed real number $r>0$, there exists a strictly increasing continuous function $h:[0,\infty )\to [0,\infty )$, $h\left(0\right)=0$, satisfying the property:

$${\parallel tx+(1-t)y\parallel }^2\le {t\parallel x\parallel }^2+{(1-t)\parallel y\parallel }^2-t(1-t)h(\parallel x-y\parallel )$$

for all $x,y\in X$ such that $\parallel x\parallel \le r$ and $\parallel y\parallel \le r$, and $0\le t\le 1$.

Recall that a Banach space X is said to satisfy the Kadec-Klee property (also known as property (H)) if the (sequential) weak and strong topologies on the unit sphere coincide; equivalently, given any sequence $\left\{u_n\right\}$ and a point u in X, the following implication holds:

$$(u_n\to u \mathrm{weakly} \mathrm{and} \parallel u_n\parallel \to \parallel u\parallel )⟹u_n\to u \mathrm{strongly}.$$

Every uniformly convex Banach space satisfies the Kadec-Klee property.

2.2. Duality Maps

Let X be a real Banach space with norm $\parallel ·\parallel$. The notion of general duality maps on X was introduced by Browder [11,12,13,14]. By a gauge we mean a function $\mu :{\mathbb{R}}^{+}\to {\mathbb{R}}^{+}$ satisfying the properties:

(i)

$\mu \left(0\right)=0$,

(ii)

$\mu$ is continuous and strictly increasing, and

(iii)

${\displaystyle \underset{t\to \infty }{lim}\mu \left(t\right)=\infty }$.

Associated with a gauge $\mu$ is the duality map $J_{\mu }:X\to X^{*}$ ([12]) defined by

$$J_{\mu }\left(x\right)=\{x^{*}\in X^{*}:\langle x,x^{*}\rangle =\parallel x\parallel ·\parallel x^{*}\parallel ,\mu (\parallel x\parallel )=\parallel x^{*}\parallel \}.$$

(2)

A special case is given by choosing the gauge $\mu \left(t\right)=t^{p-1}$ for $t\ge 0$, where $1<p<\infty$. In this case the corresponding duality map, which is denoted by $J_p$ and referred to as the generalized duality map of order p of X, is given by

$$J_p\left(x\right)=\{x^{*}\in X^{*}:\langle x,x^{*}\rangle ={\parallel x\parallel }^p,\parallel x^{*}{\parallel =\parallel x\parallel }^{p-1}\}.$$

(3)

In particular, we denote J for $J_2$ and call it the normalized duality map. In more detail, J is defined by

$$J\left(x\right)=\{x^{*}\in X^{*}:\langle x,x^{*}\rangle =\parallel x{\parallel }^2=\parallel x^{*}{\parallel }^2\}.$$

(4)

For a Hilbert space H, its normalized duality map is identified with the identity map I (with the dual space $H^{*}$ being identified with H through the Riesz canonical embedding).

Recall that a Banach space X is said to have a (sequentially) weakly continuous duality map if, for some gauge $\mu$, the duality map $J_{\mu }:X\to X^{*}$ is (sequentially) continuous when X is endowed with the weak topology and the dual space $X^{*}$ endowed with the weak-star topology. It is known that, for $1<p<\infty (p\ne 2)$, the sequence space ${\ell }_p$ has a sequentially weakly continuous duality map $J_p$; while the function space $L^p$ does not [15]. However, the normalized duality map J of ${\ell }_p$ ($p\ne 2$) is not weakly continuous [16], Proposition 3.2.

Proposition 2.

[17] Assume a Banach space X has a weakly continuous duality map $J_{\mu }$ for some gauge μ. If $\left(u_n\right)$ is a sequence in X weakly convergent to a point u, then we have

$$\underset{n\to \infty }{lim\; sup}\Psi (\parallel u_n-v\parallel )=\underset{n\to \infty }{lim\; sup}\Psi (\parallel u_n-u\parallel )+\Psi (\parallel u-v\parallel ),v\in X,$$

(5)

where Ψ is defined by $\Psi \left(t\right)={\int }_0^t\mu \left(s\right)ds$, $t\ge 0$. In particular, X satisfies the Opial property ([15]):

$$\underset{n\to \infty }{lim\; inf}\parallel u_n-u\parallel <\underset{n\to \infty }{lim\; inf}\parallel u_n-v\parallel \forall u\ne v\in X$$

(6)

whenever $\left(u_n\right)$ is a sequence in X weakly convergent to u.

2.3. Demiclosedness Principle for Nonexpansive Mappings

Let C be a nonempty closed convex subset of a Banach space X and let $T:C\to C$ be a nonexpansive mapping. Recall that $I-T$ is said to be demiclosed if the graph of $I-T$, $G(I-T):=\left\{\right(x,y):x\in C,y=(I-T\left)x\right\}$ is closed in the product space $X_w\times X$, where $X_w$ is endowed with the weak topology. Equivalently, $I-T$ is demiclosed if and only if the implication below holds:

$$(\left(x_n\right)\subset C,x_n\rightharpoonup x,x_n-T{x}_n\to y)⟹x-Tx=y.$$

This is called the demiclosedness principle for nonexpansive mappings, which holds in the following Banach spaces:

• Uniformly convex Banach spaces [12];
• Banach spaces satisfying Opial’s property [15], in particular, Banach spaces with a weakly continuous duality map $J_{\mu }$ for some gauge $\mu$.

2.4. Accretive Operators

Let C be a nonempty closed convex subset of a Banach space X. Recall that an operator $S:C\to X$ is said to be accretive (cf. [18]) if, for each $x,y\in C$,

$$\langle Sx-Sy,J(x-y)\rangle \ge 0.$$

Here $J:X\to X^{*}$ is the normalized duality map (or a selection in the case of multivalued).

Definition 1

([5,19]). Let $\phi :[0,\infty )\to [0,\infty )$ be a continuous, strictly increasing function with $\phi \left(0\right)=0$ and ${lim}_{t\to \infty }\phi \left(t\right)=\infty$. Then we say that an operator $S:C\to X$ is φ-accretive (or uniformly φ-accretive, respectively) if

$$\langle Sx-Sy,J(x-y)\rangle \ge \left[\phi \right(\parallel x\parallel )-\phi (\parallel y\parallel \left)\right]·(\parallel x\parallel -\parallel y\parallel )$$

(7)

for all $x,y\in C$, or respectively,

$$\langle Sx-Sy,J(x-y)\rangle \ge \phi (\parallel x-y\parallel )·\parallel x-y\parallel$$

(8)

for all $x,y\in C$, where J is the normalized duality map of X.

Notice that if S is $\phi$-accretive, then the set of zeros of S, $S^{-1}\left(0\right)=\{x\in C:Sx=0\}$, consists of at most one point. In fact, if $S\widehat{x}=S\tilde{x}=0$, we must have $\left[\phi \right(\parallel \widehat{x}\parallel )-\phi (\parallel \tilde{x}\parallel \left)\right]·(\parallel \widehat{x}\parallel -\parallel \tilde{x}\parallel )=0.$ This implies $\widehat{x}=\tilde{x}$.

2.5. A Useful Lemma

The lemma below is helpful in proving strong convergence of a sequence $\left(x_n\right)$ to a point x in a Banach space by proving convergence to zero of the real sequence $(\parallel x_n-x\parallel )$.

Lemma 1

([20,21] Lemma 2.2). Assume $\left(s_n\right)$ is a sequence of nonnegative real numbers satisfying the condition:

$$s_{n+1}\le (1-{\lambda }_n)s_n+{\lambda }_n{\beta }_n+{\delta }_n,n\ge 0,$$

(9)

where $\left({\lambda }_n\right)$ and $\left({\delta }_n\right)$ are sequences in (0,1) and $\left({\beta }_n\right)$ is a sequence in $\mathbb{R}$. Assume

(i)

${\sum }_{n=1}^{\infty }{\lambda }_n=\infty$,

(ii)

${lim\; sup}_{n\to \infty }{\beta }_n\le 0$ (or ${\sum }_{n=1}^{\infty }{\lambda }_n\left|{\beta }_n\right|<\infty$),

(iii)

${\sum }_{n=1}^{\infty }{\delta }_n<\infty$.

Then ${lim}_{n\to \infty }{s}_n=0$.

3. Strong Convergence Analysis of Mann’s Iteration Process

3.1. Strong Convergence of Mann’s Algorithm

Let X be a real Banach space, let C be a nonempty closed convex subset of X, and let $T:C\to C$ be a nonexpansive mapping with a fixed point. We use $\mathrm{Fix}\left(T\right)$ to note the set of fixed points of T. It is known that if X is strictly convex, then $\mathrm{Fix}\left(T\right)$ is convex. For finding a fixed point of T, Mann’s iterative algorithm [1] (see also [22]) is often used. This algorithm generates a sequence $\left(x_n\right)$ as follows:

$$x_{n+1}=(1-t_n)x_n+t_{n}T{x}_n,n=0,1,2,\cdots ,$$

(10)

where the initial point $x_0\in C$ is arbitrary, and $t_n\in [0,1]$ for all $n\ge 0$.

Lemma 2.

[23] In a Banach space X, let $T:C\to C$ be a nonexpansive mapping and let $\left(x_n\right)$ be a sequence generated by Mann’s method (10). Then

(i) 

for each $z\in \mathrm{Fix}\left(T\right)$, the sequence $\{\parallel x_n-z\parallel \}$ is nonincreasing, and

(ii) 

the sequence $\{\parallel x_n-T{x}_n\parallel \}$ is nonincreasing.

Consequently, both ${lim}_{n\to \infty }\parallel x_n-z\parallel$ and ${lim}_{n\to \infty }\parallel x_n-T{x}_n\parallel$ exist.

We begin with a strong convergence result on the Mann algorithm (10), which improves ( [5], Theorem 1) by removing the restriction of $t_n\le b$ with $b\in (0,1)$.

Theorem 1.

Let X be a real uniformly convex Banach space, let C be a nonempty closed convex subset of X, and let T be a nonexpansive self-mapping of C with $\mathrm{Fix}\left(T\right)\ne \varnothing$. Suppose $S:=I-T$ is φ-accretive and $\left(t_n\right)$ satisfies the divergence condition

$$\sum _{n=0}^{\infty }{t}_n(1-t_n)=\infty .$$

(11)

Then $\left(x_n\right)$ converges in norm to a fixed point of T.

Proof. 

First observe that the $\phi$-accretiveness of $S=I-T$ implies that T has a unique fixed point, i.e., $\mathrm{Fix}\left(T\right)=\left\{z\right\}$ is singleton. Set $r=\parallel x_0-z\parallel$. By Lemma 2(i), $\parallel x_n-z\parallel \le r$ for all n. Applying Proposition 1(i), we get

$$\begin{array}{cc}\hfill \parallel x_{n+1}{-z\parallel }^2& =\parallel (1-t_n)(x_n-z)+t_n(T{x}_n-z){\parallel }^2\hfill \\ \hfill & \le (1-t_n)\parallel x_n{-z\parallel }^2+t_n\parallel T{x}_n{-q\parallel }^2-t_n(1-t_n)h(\parallel x_n-T{x}_n\parallel )\hfill \\ \hfill & \le \parallel x_n{-q\parallel }^2-t_n(1-t_n)h(\parallel x_n-T{x}_n\parallel ).\hfill \end{array}$$

It turns out that

$$t_n(1-t_n)h(\parallel x_n-T{x}_n\parallel )\le \parallel x_n{-q\parallel }^2-{\parallel x_{n+1}-z\parallel }^2.$$

Consequently,

$$\sum _{n=0}^{\infty }{t}_n(1-t_n)h(\parallel x_n-T{x}_n\parallel )\le \parallel x_0{-z\parallel }^2=r^2<\infty .$$

The divergence condition (11) together with Lemma 2(ii) implies that ${lim}_{n\to \infty }\parallel x_n-T{x}_n\parallel =0$. By the demiclosedness principle of $S=I-T$, we have that ${\omega }_w\left(x_n\right)\subset \mathrm{Fix}\left(T\right)=\left\{z\right\}$. This proves that $x_n\rightharpoonup z$.

Now using the $\phi$-accretiveness of $S=I-T$, we obtain

$$\begin{array}{c}\hfill \left[\phi \right(\parallel x_n\parallel )-\phi (\parallel z\parallel )]·(\parallel x_n\parallel -\parallel z\parallel )\le \langle S{x}_n,J(x_n-z)\rangle \le r\parallel x_n-T{x}_n\parallel \to 0.\end{array}$$

(12)

It turns out that $\parallel x_n\parallel \to \parallel z\parallel$. Therefore, the Kadec-Klee property of the uniform convexity of X implies that $x_n\to z$. The proof is complete. □

Remark 1.

The conclusion of Theorem 1 remains true if the uniform convexity of X is weakened to strict convexity together with the Kadec-Klee property, and if $S=I-T$ is demiclosed.

Theorem 2.

Let X be a reflexive Banach space satisfying Opial’s condition and the Kadec-Klee property, let C be a nonempty closed convex subset of X, and let T be a nonexpansive self-mapping of C with $\mathrm{Fix}\left(T\right)\ne \varnothing$. Suppose $S:=I-T$ is φ-accretive and $\left(t_n\right)$ satisfies the conditions

$$t_n\le b(\mathrm{for}\mathrm{some}b\in (0,1))\mathrm{and}\sum _{n=0}^{\infty }{t}_n=\infty .$$

(13)

Then $\left(x_n\right)$ converges in norm to a fixed point of T.

Proof. 

We sketch the proof here. Under the condition (13), we have by ([24], Lemma 2) that $x_n-T{x}_n\to 0$ strongly. Now Opial’s property together with the fact that ${lim}_{n\to \infty }\parallel x_n-z\parallel$ exists for every $z\in \mathrm{Fix}\left(T\right)$ [Lemma 2(i)] implies that the sequence $\left\{x_n\right\}$ converges weakly to a point z in $\mathrm{Fix}\left(T\right)$. In the meanwhile, we still have (12) which implies $\parallel x_n\parallel \to \parallel z\parallel$. Now the strong convergence of $\left\{x_n\right\}$ to z follows from the Kadec-Klee property of X. □

Remark 2.

It is unclear if, in Theorem 2, the divergence condition (13) can be weakened to the divergence condition (11). Alternatively, it is unknown whether $\parallel x_n-T{x}_n\parallel \to 0$ holds true in a Banach space with Opial’s condition, without the assumption that ${sup}_{n\ge 0}{t}_n<1$. (Note: Ishikawa ([24], Lemma 2) requires this assumption.)

3.2. Regularization

Finding a fixed point of a nonexpansive mapping T is equivalent to finding a zero of the accretive operator $S=I-T$. Thus regularization methods may apply. In [5], Gwinner introduced the regularization operator $S_{\epsilon }:=(1-\epsilon )(I-T)+\epsilon R$, where $\epsilon \in (0,1)$ is a regularization parameter and $R:C\to X$ is a mapping which is referred to as regularizer. The following result on this regularization was proved.

Theorem 3

([5] Theorem 2). Let X be a uniformly convex Banach space, C a nonempty closed convex subset of X, and T a nonexpansive self-mapping of C with $\mathrm{Fix}\left(T\right)\ne \varnothing$. Assume $R:C\to X$ is a continuous, bounded, uniformly φ-accretive operator. Assume the normalized duality map $J:X\to X^{*}$ is weakly sequentially continuous. Choose positive real numbers ${\delta }_n$ and ${\epsilon }_n\in (0,1)$ such that

(i) 

${lim}_{n\to \infty }{\epsilon }_n=0$,

(ii) 

${lim}_{n\to \infty }({\delta }_n/{\epsilon }_n)=0$.

If the approximate solutions ${\tilde{y}}_n\in C$ satisfy

$$\parallel (1-{\epsilon }_n)(I-T)\left({\tilde{y}}_n\right)+{\epsilon }_{n}R\left({\tilde{y}}_n\right)\parallel \le {\delta }_n,$$

(14)

then the sequence $\left\{{\tilde{y}}_n\right\}$ converges strongly to a fixed point $\widehat{z}$ of T, which is uniquely determined by the variational inequality:

$$\langle R\left(\widehat{z}\right),J(\widehat{z}-z)\rangle \le 0\forall z\in \mathrm{Fix}\left(T\right).$$

(15)

Remark 3.

The condition in Theorem 3 that the normalized duality map $J:X\to X^{*}$ be weakly continuous is quite restrictive because this condition rules out the applicability of Theorem 3 to the uniformly convex sequence space ${\ell }_p$ ($1<p<\infty ,p\ne 2$) since the normalized duality map J of ${\ell }_p$ ($1<p<\infty ,p\ne 2$) fails to be weakly continuous ([16], Proposition 3.2).Below we use the condition that X admits a weakly continuous duality map $J_{\mu }$ for some gauge μ; as a result, our theorem applies to every ${\ell }_p$ space ($1<p<\infty$) which has a weakly continuous duality map $J_{\mu }$ with gauge $\mu \left(t\right)=t^{p-1}$ for $t\ge 0$.

Our next result improves Theorem 3 (i.e., [5], Theorem 2) twofold: first we remove the uniform convexity of the space X and secondly, we replace the normalized duality map J with a general duality map $J_{\mu }$ for some gauge $\mu$, the latter being more flexible in applications (such as ${\ell }_p$ spaces for $1<p<\infty$).

Theorem 4.

Assume X is a reflexive Banach space with a weakly sequentially continuous duality map $J_{\mu }:X\to X^{*}$ for some gauge μ, C a nonempty closed convex subset of X, and $T:C\to C$ a nonexpansive mapping with $\mathrm{Fix}\left(T\right)\ne \varnothing$. Assume $R:C\to X$ is a continuous, bounded, uniformly φ-accretive operator. Assume ${\delta }_n$ and ${\epsilon }_n$ satisfy the conditions (i) and (ii) in Theorem 3. Then the sequence $\left\{{\tilde{y}}_n\right\}$ of approximate solutions determined by (14) converges strongly to the unique solution $\widehat{z}$ of the variational inequality (15).

Proof. 

First observe that, since the duality maps $J_{\mu }$ and J satisfy the relation

$$\parallel x\parallel J_{\mu }\left(x\right)=\mu (\parallel x\parallel )J\left(x\right),x\in X,$$

the uniform $\phi$-accretiveness of R, (8), can equivalently be rephrased as

$$\langle Sx-Sy,J_{\mu }(x-y)\rangle \ge \phi (\parallel x-y\parallel )·\mu (\parallel x-y\parallel )\forall x,y\in C.$$

(16)

Now set

$${\beta }_n:=\langle (1-{\epsilon }_n)(I-T)\left({\tilde{y}}_n\right)+{\epsilon }_{n}R\left({\tilde{y}}_n\right),J_{\mu }({\tilde{y}}_n-z)\rangle ,$$

where $z\in \mathrm{Fix}\left(T\right)$. It turns out from (14) that

$$|{\beta }_n|\le {\delta }_n\mu (\parallel {\tilde{y}}_n-z\parallel ).$$

Also, since T is nonexpansive (so that $I-T$ is accretive), we have for $z\in \mathrm{Fix}\left(T\right)$

$$\begin{array}{cc}\hfill {\beta }_n& =(1-{\epsilon }_n)\langle (I-T)\left({\tilde{y}}_n\right),J_{\mu }({\tilde{y}}_n-z)\rangle +{\epsilon }_n\langle R\left({\tilde{y}}_n\right),J_{\mu }({\tilde{y}}_n-z)\rangle \hfill \\ \hfill & \ge {\epsilon }_n\langle R\left({\tilde{y}}_n\right),J_{\mu }({\tilde{y}}_n-z)\rangle \hfill \end{array}$$

for $\langle (I-T)\left({\tilde{y}}_n\right),J_{\mu }({\tilde{y}}_n-z)\rangle \ge 0$. It follows that

$$\langle R\left({\tilde{y}}_n\right),J_{\mu }({\tilde{y}}_n-z)\rangle \le \frac{{\beta }_n}{{\epsilon }_n}.$$

(17)

Using (16) and (17), we get, for $z\in \mathrm{Fix}\left(T\right)$,

$$\begin{array}{cc}\hfill \mu (\parallel {\tilde{y}}_n-z\parallel \left)\phi \right(\parallel {\tilde{y}}_n-z\parallel )& \le \langle R\left({\tilde{y}}_n\right)-R\left(z\right),J_{\mu }({\tilde{y}}_n-z)\rangle \hfill \\ \hfill & =\langle R\left({\tilde{y}}_n\right),J_{\mu }({\tilde{y}}_n-z)\rangle -\langle R\left(z\right),J_{\mu }({\tilde{y}}_n-z)\rangle \hfill \\ \hfill & \le ({\beta }_n/{\epsilon }_n)+\parallel R\left(z\right)\parallel \mu (\parallel {\tilde{y}}_n-z\parallel )\hfill \\ \hfill & \le \gamma +\parallel R\left(z\right)\parallel \mu (\parallel {\tilde{y}}_n-z\parallel ),\gamma :=\underset{n\ge 0}{sup}({\beta }_n/{\epsilon }_n).\hfill \end{array}$$

(18)

If $\mu (\parallel {\tilde{y}}_n-z\parallel )\ge \gamma$, i.e., $\parallel {\tilde{y}}_n-z\parallel \ge {\mu }^{-1}\left(\gamma \right)$, then it follows from the last relation that

$$\phi (\parallel {\tilde{y}}_n-z\parallel )\le \frac{\gamma }{\mu (\parallel {\tilde{y}}_n-z\parallel )}+\parallel R\left(z\right)\parallel \le 1+\parallel R\left(z\right)\parallel .$$

Consequently, we obtain

$$\parallel {\tilde{y}}_n-z\parallel \le max\left\{{\mu }^{-1}\left(\gamma \right),{\phi }^{-1}(1+\parallel R\left(z\right)\parallel )\right\}=:c_z.$$

Hence, $\left\{{\tilde{y}}_n\right\}$ is bounded, and $|{\beta }_n|\le {\delta }_n\mu \left(c_z\right)$ for all n. Now since R is a bounded operator, $\left\{R\left({\tilde{y}}_n\right)\right\}$ is also bounded. It then turns out from (14) that ${lim}_{n\to \infty }\parallel {\tilde{y}}_n-T{\tilde{y}}_n\parallel =0.$ Since $I-T$ is demiclosed, ${\omega }_w\left({\tilde{y}}_n\right)\subset \mathrm{Fix}\left(T\right)$. Let $\tilde{y}\in {\omega }_w\left({\tilde{y}}_n\right)$ and $\left\{{\tilde{y}}_{n_k}\right\}$ be a subsequence of $\left\{{\tilde{y}}_n\right\}$ weakly converging to $\tilde{y}\in \mathrm{Fix}\left(T\right)$. Substituting $\tilde{y}$ for z in (18) yields

$$\mu (\parallel {\tilde{y}}_{n_k}-\tilde{y}\parallel \left)\phi \right(\parallel {\tilde{y}}_{n_k}-\tilde{y}\parallel )\le ({\delta }_{n_k}/{\epsilon }_{n_k})\mu \left(c_{\tilde{y}}\right)-\langle R\left(\tilde{y}\right),J_{\mu }({\tilde{y}}_{n_k}-\tilde{y})\rangle .$$

Since $({\delta }_{n_k}/{\epsilon }_{n_k})\to 0$ and $J_{\mu }({\tilde{y}}_{n_k}-\tilde{y})\to 0$ weakly, due to the weak continuity of the duality map $J_{\mu }$, the last relation ensures $\mu (\parallel {\tilde{y}}_{n_k}-\tilde{y}\parallel \left)\phi \right(\parallel {\tilde{y}}_{n_k}-\tilde{y}\parallel )\to 0$, which in turns implies that ${\tilde{y}}_{n_k}\to \tilde{y}$ strongly. Returning to (17) via the subsequence $\left\{{\tilde{y}}_{n_k}\right\}$ and using the continuity of R gives that $\langle R\left(\tilde{y}\right),J_{\mu }(\tilde{y}-z)\rangle \le 0$ for all $z\in \mathrm{Fix}\left(T\right)$. That is, $\tilde{y}$ is a solution to the variational inequality (15). It remains to show that (15) has a unique solution. To see this, we assume $\widehat{z}$ and $\tilde{z}$ both are solutions of (15). We then have

$$\langle R\left(\widehat{z}\right),J(\widehat{z}-\tilde{z})\rangle \le 0\mathrm{and}\langle R\left(\tilde{z}\right),J(\tilde{z}-\widehat{z})\rangle \le 0.$$

Adding them up and making use of the uniform $\phi$-accretiveness of R yields

$$0\ge \langle R\left(\widehat{z}\right)-R\left(\tilde{z}\right),J(\widehat{z}-\tilde{z})\rangle \ge \phi (\parallel \widehat{z}-\tilde{z}\parallel )·\parallel \widehat{z}-\tilde{z}\parallel .$$

It follows immediately that $\widehat{z}=\tilde{z}$ and the solution of the variational inequality (15) is unique. Hence, we have verified that the sequence $\left\{{\tilde{y}}_n\right\}$ converges strongly to the unique solution of (15). □

Take R to be of the form

$$R\left(x\right)=x-f\left(x\right),x\in C,$$

(19)

where $f:C\to C$ is an $\alpha$-contraction, with $\alpha \in [0,1)$. Namely,

$$\parallel f\left(x\right)-f\left(y\right)\parallel \le \alpha \parallel x-y\parallel \forall x,y\in C.$$

Then it is easy to find that R is uniformly $\phi$-accretive with $\phi \left(t\right)=(1-\alpha )t$ for $t\ge 0$ (namely, $I-T$ is strongly accretive):

$$\langle x-y,R\left(x\right)-R\left(y\right)\rangle \ge {(1-\alpha )\parallel x-y\parallel }^2,x,y\in C.$$

Consequently, the following result is a direct consequence of Theorem 4.

Corollary 1.

Assume X is a reflexive Banach space with a weakly sequentially continuous duality map $J_{\mu }:X\to X^{*}$ for some gauge μ, C a nonempty closed convex subset of X, and $T:C\to C$ a nonexpansive mapping with $\mathrm{Fix}\left(T\right)\ne \varnothing$. Assume $f:C\to C$ is an α-contraction for some $\alpha \in [0,1)$. Assume ${\delta }_n$ and ${\epsilon }_n$ satisfy the conditions (i) and (ii) in Theorem 3. Then the sequence $\left\{{\tilde{y}}_n\right\}$ of approximate solutions determined by

$$\parallel {\tilde{y}}_n-[(1-{\epsilon }_n)T\left({\tilde{y}}_n\right)+{\epsilon }_{n}f\left({\tilde{y}}_n\right)]\parallel \le {\delta }_n$$

(20)

converges strongly to the unique solution $\widehat{z}$ of the variational inequality:

$$\langle \widehat{z}-f\left(\widehat{z}\right),J(\widehat{z}-z)\rangle \le 0\forall z\in \mathrm{Fix}\left(T\right).$$

(21)

Remark 4.

Theorem 4 and Corollary 1 both are applicable to ${\ell }_p$ spaces for each $1<p<\infty$ since the generalized duality map $J_{\mu }$ of ${\ell }_p$ with gauge $\mu \left(t\right)=t^{p-1}$ is weakly continuous; Gwinner’s theorem ([5], Theorem 2) however is not applicable since the normalized duality map J of ${\ell }_p$ for $1<p<\infty ,p\ne 2$ is not weakly continuous.

Applying Mann’s iteration method to the regularized operator $(1-\epsilon )(I-T)+\epsilon R$ with the regularizer R of form (19) leads to the iteration process [5], which we call regularized Mann iteration method:

$$z_{n+1}={\alpha }_n(1-{\epsilon }_n)T{z}_n+{\alpha }_n{\epsilon }_{n}f\left(z_n\right)+(1-{\alpha }_n)z_n,$$

(22)

where the initial point $z_0\in C$ is arbitrary, $f:C\to C$ is an $\alpha$-contraction with $\alpha \in [0,1)$, and ${\alpha }_n,{\epsilon }_n\in (0,1)$ for $n\ge 0$.

The convergence of this algorithm depends on the convergence of the approximate scheme (20) as shown below.

Theorem 5.

Assume X is a Banach space, C a nonempty closed convex subset of X, and $T:C\to C$ a nonexpansive mapping with $\mathrm{Fix}\left(T\right)\ne \varnothing$. Assume $R:C\to C$ is an α-contraction with $\alpha \in [0,1)$. Assume $\left({\alpha }_n\right)$, $\left({\epsilon }_n\right)$, and $\left({\delta }_n\right)$ satisfy the conditions:

(C1) 

${\sum }_{n=0}^{\infty }{\alpha }_n{\epsilon }_n=\infty$,

(C2) 

${lim}_{n\to \infty }\frac{|{\epsilon }_n-{\epsilon }_{n-1}|}{{\alpha }_n{\epsilon }_n^2}=0$,

(C3) 

${lim}_{n\to \infty }({\delta }_n/{\epsilon }_n)=0$,

(C4) 

${lim}_{n\to \infty }\frac{{\delta }_n+{\delta }_{n-1}}{{\alpha }_n{\epsilon }_n^2}=0$.

Assume the sequence $\left\{{\tilde{y}}_n\right\}$ determined by the approximate equation (20) converges strongly to the unique solution $\widehat{z}$ of the variational inequality (21). Then the sequence $\left\{z_n\right\}$ generated by the iteration process (22) also converges strongly to the same solution $\widehat{z}$ of (21).

Proof. 

We rewrite (20) as

$${\tilde{y}}_n=(1-{\epsilon }_n)T\left({\tilde{y}}_n\right)+{\epsilon }_{n}f\left({\tilde{y}}_n\right)+e_n,$$

(23)

where $e_n$ is the error such that $\parallel e_n\parallel \le {\delta }_n$ for all n. It turns out from (23) that

$$\begin{array}{cc}\hfill \parallel {\tilde{y}}_{n+1}-{\tilde{y}}_n\parallel & =\parallel (1-{\epsilon }_{n+1})[T\left({\tilde{y}}_{n+1}\right)-T\left({\tilde{y}}_n\right)]+{\epsilon }_{n+1}[f\left({\tilde{y}}_{n+1}\right)-f\left({\tilde{y}}_n\right)]\hfill \\ \hfill & +({\epsilon }_{n+1}-{\epsilon }_n)[f\left({\tilde{y}}_n\right)-T\left({\tilde{y}}_n\right)]+e_{n+1}-e_n\parallel \hfill \\ \hfill & \le (1-(1-\alpha ){\epsilon }_{n+1})\parallel {\tilde{y}}_{n+1}-{\tilde{y}}_n\parallel +\beta |{\epsilon }_{n+1}-{\epsilon }_n|+{\delta }_{n+1}+{\delta }_n,\hfill \end{array}$$

where $\beta >0$ is a constant such that $\beta \ge \parallel f\left({\tilde{y}}_n\right)-T\left({\tilde{y}}_n\right)\parallel$ for all n. This implies that

$$\parallel {\tilde{y}}_{n+1}-{\tilde{y}}_n\parallel \le \frac{\beta |{\epsilon }_{n+1}-{\epsilon }_n|+{\delta }_{n+1}+{\delta }_n}{(1-\alpha ){\epsilon }_{n+1}}.$$

(24)

Using the definition (22) of $z_{n+1}$, we obtain

$$\begin{array}{cc}\hfill \parallel z_{n+1}-{\tilde{y}}_n\parallel & =\parallel {\alpha }_n[(1-{\epsilon }_n)T{z}_n+{\epsilon }_{n}f\left(z_n\right)-{\tilde{y}}_n]+(1-{\alpha }_n)(z_n-{\tilde{y}}_n)\parallel \hfill \\ \hfill & =\parallel {\alpha }_n[(1-{\epsilon }_n)(T{z}_n-T{\tilde{y}}_n)+{\epsilon }_n(f\left(z_n\right)-f\left({\tilde{y}}_n\right))]+(1-{\alpha }_n)(z_n-{\tilde{y}}_n)-{\alpha }_n{e}_n\parallel \hfill \\ \hfill & \le {\alpha }_n[(1-{\epsilon }_n)\parallel z_n-{\tilde{y}}_n\parallel +\alpha {\epsilon }_n\parallel z_n-{\tilde{y}}_n\parallel ]+(1-{\alpha }_n)\parallel z_n-{\tilde{y}}_n\parallel +{\alpha }_n\parallel e_n\parallel \hfill \\ \hfill & \le (1-(1-\alpha ){\alpha }_n{\epsilon }_n)\parallel z_n-{\tilde{y}}_n\parallel +{\alpha }_n{\delta }_n\hfill \\ \hfill & \le (1-(1-\alpha ){\alpha }_n{\epsilon }_n)\parallel z_n-{\tilde{y}}_{n-1}\parallel +\parallel {\tilde{y}}_n-{\tilde{y}}_{n-1}\parallel +{\alpha }_n{\delta }_n.\hfill \end{array}$$

(25)

Substituting (24) into (25) yields, for $n\ge 1$,

$$\parallel z_{n+1}-{\tilde{y}}_n\parallel \le (1-(1-\alpha ){\alpha }_n{\epsilon }_n)\parallel z_n-{\tilde{y}}_{n-1}\parallel +{\gamma }_n,$$

(26)

where

$${\gamma }_n=\frac{\beta |{\epsilon }_n-{\epsilon }_{n-1}|+{\delta }_n+{\delta }_{n-1}}{(1-\alpha ){\epsilon }_n}+{\alpha }_n{\delta }_n.$$

The conditions (C2)–(C4) assert that ${\gamma }_n=o\left({\alpha }_n{\epsilon }_n\right)$. Noticing condition (C1), we can apply Lemma 1 to Equation (26) to conclude $\parallel z_{n+1}-{\tilde{y}}_n\parallel \to 0$. Now since it is assumed that ${\tilde{y}}_n\to \tilde{z}$, the unique solution of the variational inequality (21), it is also that $z_n\to \tilde{z}$. This finishes the proof. □

Remark 5.

It is not hard to find that the four conditions (C1)–(C4) in Theorem 5 are satisfied for the choices of ${\alpha }_n={(n+1)}^{-p},{\epsilon }_n={(n+1)}^{-q},{\delta }_n={(n+1)}^{-r}$ for $n\ge 0$, where $p,q,r>0$ are such that $p+q<1$ and $r>p+2q$.

Remark 6.

To the best of our knowledge, it looks to be the first time in the literature to use the approximate solutions ${\tilde{y}}_n$ to study strong convergence of the regularized Mann’s iteration process (22). Previously, exact solutions $y_n$ were used (see, e.g., [5]). Here $y_n$ is the exact fixed point of the contraction $(1-{\epsilon }_n)T(·)+{\epsilon }_{n}f(·)$:

$$y_n=(1-{\epsilon }_n)T\left(y_n\right)+{\epsilon }_{n}f\left(y_n\right).$$

A key assumption in Theorem 5 is that the sequence $\left\{{\tilde{y}}_n\right\}$ be strongly convergent, which has been proved in a reflexive Banach space with a weakly continuous duality map in Theorem 4. Consequently, we have the following result.

Corollary 2.

Assume X is a reflexive Banach space with a weakly sequentially continuous duality map $J_{\mu }:X\to X^{*}$ for some gauge μ (in particular, $X={\ell }_p$ for $1<p<\infty$), C a nonempty closed convex subset of X, and $T:C\to C$ a nonexpansive mapping with $\mathrm{Fix}\left(T\right)\ne \varnothing$. Assume $f:C\to C$ is an α-contraction for some $\alpha \in [0,1)$. Assume the sequence $\left\{{\tilde{y}}_n\right\}$ satisfies (20) and let $\left\{z_n\right\}$ be generated by the regularized iteration process (22). Suppose ${\alpha }_n,{\epsilon }_n,{\delta }_n$ satisfy the conditions (C1)–(C4) in Theorem 5. Then $\left\{z_n\right\}$ converges strongly to the unique solution $\widehat{z}$ of the variational inequality (21).