# The structure of fixed-point sets of Lipschitzian type semigroups

- DR Sahu
^{1}Email author, - RP Agarwal
^{2}and - Donal O’Regan
^{3}

**2012**:163

**DOI: **10.1186/1687-1812-2012-163

© Sahu et al.; licensee Springer 2012

**Received: **15 March 2012

**Accepted: **22 August 2012

**Published: **25 September 2012

## Abstract

The purpose of this paper is to establish some results on the structure of fixed point sets for one-parameter semigroups of nonlinear mappings which are not necessarily Lipschitzian in Banach spaces. Our results improve several known existence and convergence fixed point theorems for semigroups which are not necessarily Lipschitzian.

**MSC:**47H09, 47H10, 47B20, 54C15.

### Keywords

asymptotic center normal structure coefficient pseudo-contractive semigroup sunny nonexpansive retraction uniformly convex Banach space uniformly Lipschitzian semigroup variational inequality## 1 Introduction

Let *C* be a nonempty subset of a Banach space *X* and $T:C\to C$ a mapping. We use $Fix(T)$ to denote the set of all fixed points of *T*. A nonempty closed convex subset *D* of *C* is said to satisfy property $(\omega )$ with respect to mapping *T* [1] if

(*ω*) ${\omega}_{T}(x)\subset D$ for every $x\in D$,

*T*is said to satisfy the $(\omega )$-

*fixed point property*if

*T*has a fixed point in every nonempty closed convex subset

*D*of

*C*which satisfies property $(\omega )$. For a Lipschitzian mapping $S:C\to C$, we use the symbol $\sigma (S)$ to denote the exact Lipschitz constant of

*S*,

*i.e.*,

- (1)
*nonexpansive*if $\sigma (T)=1$, - (2)
*asymptotically nonexpansive*[2] if $\sigma ({T}^{n})\ge 1$ for all $n\in \mathbb{N}$ and ${lim}_{n\to \mathrm{\infty}}\sigma ({T}^{n})=1$, - (3)
*uniformly**L*-*Lipschitzian*if $\sigma ({T}^{n})=L$ for all $n\in \mathbb{N}$ and for some $L\in (0,\mathrm{\infty})$.

In general, the fixed-point set of a nonexpansive mapping need not be convex and can be extremely irregular. Suppose that *C* is a nonempty closed convex bounded subset of a Banach space *X* and $T:C\to C$ is a nonexpansive mapping with $Fix(T)\ne \mathrm{\varnothing}$. Obviously, $Fix(T)$ is a closed set. $Fix(T)$ is convex if *X* is strictly convex (see [3, 4]).

Nonexpansive retracts have been studied in several contexts (for example, convex geometry [5], extension problems [6], fixed point theory [7], optimal sets [8]). It is well known that if *C* is a nonempty closed convex bounded subset of a Banach space and if a nonexpansive mapping $T:C\to C$ has a fixed point in every nonempty closed convex subset of *C* which is invariant under *T*, then $Fix(T)$ is a nonexpansive retract of *C* (that is, there exists a nonexpansive mapping $R:C\to Fix(T)$ such that ${R}_{|Fix(T)}=I$) (see [[7], Theorem 2]). The Bruck result was extended by Benavides and Ramirez [1] to the case of asymptotically nonexpansive mappings if the space *X* was sufficiently regular.

The class of asymptotically nonexpansive mappings was introduced by Goebel and Kirk [2] in 1972 and they proved that if *C* is a nonempty closed convex bounded subset of a uniformly convex Banach space, then every asymptotically nonexpansive self-mapping of *C* has a fixed point. Several authors have studied the existence of fixed points of asymptotically nonexpansive mappings in Banach spaces having rich geometric structure, see [1, 9, 10].

There is a class of mappings which lies strictly between the class of contraction mappings and the class of nonexpansive mappings. The class of pointwise contractions was introduced in Belluce and Kirk [11], and later it was called ‘generalized contractions’ in [12]. Banach’s celebrated contraction principle was extended to this larger class of mappings as follows:

*Let* *C* *be a nonempty weakly compact convex subset of a Banach space and* $T:C\to C$ *a pointwise contraction*. *Then* *T* *has a unique fixed point* ${x}^{\ast}$, *and* $\{{T}^{n}x\}$ *converges strongly to* ${x}^{\ast}$ *for each* $x\in C$.

Kirk [13] combined the ideas of pointwise contraction [11] and asymptotic contraction [14] and introduced the concept of an asymptotic pointwise contraction. He announced that an asymptotic pointwise contraction defined on a closed convex bounded subset of a super-reflexive Banach space has a fixed point. Recently, Kirk and Xu [15] gave a simple and elementary proof of the fact that an asymptotic pointwise contraction defined on a weakly compact convex set always has a unique fixed point (with convergence of Picard iterates). They also introduced the concept of pointwise asymptotically nonexpansive mapping and proved that every pointwise asymptotically nonexpansive mapping defined on a closed convex bounded subset of a uniformly convex Banach space has a fixed point.

Every asymptotically nonexpansive mapping is uniformly *L*-Lipschitzian, and the $(\omega )$-fixed point property of uniformly *L*-Lipschitzian mappings is closely related to the class of nonexpansive and asymptotically nonexpansive mappings. In this connection, a deep result of Casini and Maluta [16] was generalized by Lim and Xu [17] as follows:

**Theorem LX** (Lim and Xu [[17], Theorem 1])

*Let* *X* *be a Banach space with a uniform normal structure and let* $N(X)$ *be the normal structure coefficient of* *X*. *Let* *C* *be a nonempty bounded subset of* *X* *and* $T:C\to C$ *a uniformly* *L*-*Lipschitzian mapping with* $L<\sqrt{N(X)}$. *Then* *T* *satisfies the* $(\omega )$-*fixed point property*.

The $(\omega )$-fixed point property plays a key role in the existence and approximation of solutions of fixed point problems and variational inequality problems, see [17–20].

The mapping theory for accretive mappings is closely related to the fixed point theory of pseudo-contractive mappings. Recently, applications of the semigroup result on the existence of solutions to certain partial differential equations have been explored in Hester and Morales [21]. They proved that the semigroup result directly implies the existence of unique global solutions to time evolution equations of the form ${u}^{\mathrm{\prime}}=Au$, where *A* is a combination of derivatives. In many applications, semigroups are not necessarily Lipschitzian. It is an interesting problem to extend fixed point existence results, namely Theorem LX, for semigroups of nonlinear mappings which are not necessarily Lipschitzian.

Motivated by the results above, in this paper we establish some results on the structure of fixed point sets for one-parameter semigroups of nonlinear mappings which are not necessarily Lipschitzian in Banach spaces. Our theorems significantly extend Theorem LX to more general Banach spaces and to a more general class of operators. We obtain a general convergence theorem for semigroups of non-Lipschitzian pseudo-contractive mappings. Our results improve several known fixed point problems and variational inequality problems for semigroups which are not necessarily Lipschitzian.

## 2 Preliminaries

Let ${\mathbb{R}}^{+}$ denote the set of nonnegative real numbers, and let ${\mathbb{N}}_{0}$ denote the set of nonnegative integers. Throughout this paper, *G* denotes an unbounded set of ${\mathbb{R}}^{+}:=[0,\mathrm{\infty})$ such that $s+t\in G$ for all $s,t\in G$ and $s-t\in G$ for all $s,t\in G$ with $s\ge t$ (often $G={\mathbb{N}}_{0}$ or ${\mathbb{R}}^{+}$).

### 2.1 Lipschitzian type mappings

*C*be a nonempty subset of a Banach space

*X*and $T:C\to C$ a mapping. Then

*T*is called

- (i)
*pointwise contractive*[11] if there exists a function $\alpha :C\to [0,1)$ such that $\parallel Tx-Ty\parallel \le \alpha (x)\parallel x-y\parallel $ for all $x,y\in C$; - (ii)
*asymptotic pointwise contractive*[13] if for each $n\in \mathbb{N}$, there exists a function ${\alpha}_{n}:C\to [0,1)$ such that $\parallel {T}^{n}x-{T}^{n}y\parallel \le {\alpha}_{n}(x)\parallel x-y\parallel $ for all $x,y\in C$, where ${\alpha}_{n}\to \alpha $ pointwise on*C*; - (iii)
*pointwise asymptotically nonexpansive*[15] if for each integer $n\in \mathbb{N}$, $\parallel {T}^{n}x-{T}^{n}y\parallel \le {\alpha}_{n}(x)\parallel x-y\parallel $ for all $x,y\in C$, where ${\alpha}_{n}\to 1$ pointwise; - (iv)
*asymptotically nonexpansive in the intermediate sense*[22] provided*T*is uniformly continuous and$\underset{n\to \mathrm{\infty}}{lim\hspace{0.17em}sup}\underset{x,y\in C}{sup}(\parallel {T}^{n}x-{T}^{n}y\parallel -\parallel x-y\parallel )\le 0;$(2.1) - (v)
*mapping of asymptotically nonexpansive type*[23] if$\underset{n\to \mathrm{\infty}}{lim\hspace{0.17em}sup}\underset{y\in C}{sup}(\parallel {T}^{n}x-{T}^{n}y\parallel -\parallel x-y\parallel )\le 0\phantom{\rule{1em}{0ex}}\text{for all}x\in C.$

*nearly Lipschitzian*with respect to $\{{a}_{n}\}$ [24] if for each $n\in \mathbb{N}$, there exists a constant ${k}_{n}>0$ such that

*nearly Lipschitz constant*and is denoted by $\eta ({T}^{n})$. A nearly Lipschitzian mapping

*T*with the sequence $\{({a}_{n},\eta ({T}^{n}))\}$ is called

- (i)
*nearly contractive*if $\eta ({T}^{n})<1$ for all $n\in \mathbb{N}$, - (ii)
*nearly uniformly**L-Lipschitzian*if $\eta ({T}^{n})\le L$ for all $n\in \mathbb{N}$, - (iii)
*nearly uniformly**k-contractive*if $\eta ({T}^{n})\le k<1$ for all $n\in \mathbb{N}$, - (iv)
*nearly nonexpansive*if $\eta ({T}^{n})=1$ for all $n\in \mathbb{N}$, - (v)
*nearly asymptotically nonexpansive*if $\eta ({T}^{n})\ge 1$ for all $n\in \mathbb{N}$ with ${lim}_{n\to \mathrm{\infty}}\eta ({T}^{n})=1$.

*T*is said to be

*demicontinuous*if, whenever a sequence $\{{x}_{n}\}$ in

*C*converges strongly to $x\in C$, then $\{T{x}_{n}\}$ converges weakly to

*Tx*. The mapping

*T*is said to be

*weakly contractive*if

where $\psi :[0,\mathrm{\infty})\to [0,\mathrm{\infty})$ is a continuous and nondecreasing function such that $\psi (0)=0$, $\psi (t)>0$ for $t>0$ and ${lim}_{t\to \mathrm{\infty}}\psi (t)=\mathrm{\infty}$.

Let *C* be a convex subset of a Banach space *X* and *D* a nonempty subset of *C*. Then a continuous mapping *P* from *C* onto *D* is called a *retraction* if $Px=x$ for all $x\in D$, *i.e.*, ${P}^{2}=P$. A retraction *P* is said to be *sunny* if $P(Px+t(x-Px))=Px$ for each $x\in C$ and $t\ge 0$ with $Px+t(x-Px)\in C$. If the sunny retraction *P* is also nonexpansive, then *D* is said to be a *sunny nonexpansive retract* of *C*.

In what follows, we shall make use of the following lemmas:

**Lemma 2.1** [3]

*Let* *C* *be a nonempty closed convex subset of a Banach space* *X* *and* $T:C\to C$ *a continuous strongly pseudo*-*contractive mapping*. *Then T has a unique fixed point in C*.

**Lemma 2.2** (Goebel and Reich [[4], Lemma 13.1])

*Let*

*C*

*be a convex subset of a smooth Banach space*

*X*,

*D*

*a nonempty subset of*

*C*

*and*

*P*

*a retraction from*

*C*

*onto*

*D*.

*Then the following are equivalent*:

- (a)
*P**is sunny and nonexpansive*. - (b)
$\u3008x-Px,J(z-Px)\u3009\le 0$

*for all*$x\in C$, $z\in D$. - (c)
$\u3008x-y,J(Px-Py)\u3009\ge {\parallel Px-Py\parallel}^{2}$

*for all*$x,y\in C$.

### 2.2 Semigroups

*C*be a nonempty subset of a Banach space

*X*. The one-parameter family $\mathcal{F}:=\{T(t):t\in G\}$ is said to be a

*strongly continuous semigroup of mappings*from

*C*into itself if

- (I)
$T(0)x=x$ for all $x\in C$;

- (II)
$T(s+t)=T(s)T(t)$ for all $s,t\in G$;

- (III)
for each $x\in C$, the mapping $T(\cdot )x$ from

*G*into*C*is continuous.

*i.e.*, $Fix(\mathcal{F}):={\bigcap}_{t\in G}Fix(T(t))$. For a Lipschitzian semigroup ℱ, we write

*asymptotically regular on*

*C*. If ℱ satisfies (I)-(III) and

then ℱ is called *uniformly asymptotically regular on* *C*.

- (i)
*uniformly**L-Lipschitzian semigroup*if ${sup}_{t\in G}\sigma (T(t))=L<\mathrm{\infty}$; - (ii)
*nonexpansive semigroup*if $\sigma (T(t))=1$ for all $t\in G$; - (iii)
*asymptotically nonexpansive semigroup*if $\sigma (T(t))\ge 1$ for all $t\in G$ and ${lim}_{t\to \mathrm{\infty}}\sigma (T(t))=1$.

### 2.3 Asymptotic center

*X*has weakly convergent sequences that are not norm convergent. Let

*C*be a nonempty closed convex subset of a Banach space

*X*and ${\{{x}_{t}\}}_{t\in G}$ a bounded set in

*X*. Consider the functional ${r}_{a}(\cdot ,{\{{x}_{t}\}}_{t\in G}):X\to {\mathbb{R}}^{+}$ defined by

*C*is said to be the

*asymptotic radius*of ${\{{x}_{t}\}}_{t\in G}$ with respect to

*C*and is denoted by ${r}_{a}(C,{\{{x}_{t}\}}_{t\in G})$. A point $z\in C$ is said to be an

*asymptotic center*of ${\{{x}_{t}\}}_{t\in G}$ with respect to

*C*if

*C*is denoted by ${\mathcal{Z}}_{a}(C,{\{{x}_{t}\}}_{t\in G})$. A number ${diam}_{a}({\{{x}_{t}\}}_{t\in G})={lim\hspace{0.17em}sup}_{G\ni k\to \mathrm{\infty}}(sup\{\parallel {x}_{s}-{x}_{t}\parallel :s,t\ge k\})$ is called an asymptotic diameter of ${\{{x}_{t}\}}_{t\in G}$. It is well known that if

*X*is reflexive, then ${\mathcal{Z}}_{a}(C,{\{{x}_{t}\}}_{t\in G})$ is nonempty closed convex and bounded, and if

*X*is uniformly convex, then ${\mathcal{Z}}_{a}(C,{\{{x}_{t}\}}_{t\in G})$ consists only of a single point, $\{z\}={\mathcal{Z}}_{a}(C,{\{{x}_{t}\}}_{t\in G})$,

*i.e.*, $z\in C$ is the unique point which minimizes the functional

over $x\in C$.

### 2.4 Normal structure

*C*be a nonempty bounded subset of a Banach space

*X*. We denote by

*C*. Put

*C*relative to itself. The normal structure coefficient $N(X)$ of a Banach space

*X*is defined [25] by

*X*is said to have the

*uniformly normal structure*if $N(X)>1$. It is well known that, for every uniformly convex Banach space

*X*, $N(X)>1$. A weakly convergent sequence coefficient of

*X*is defined (see [25]) by

*X*is said to have the

*weak uniformly normal structure*if $WCS(X)>1$. If

*X*is a reflexive Banach space with modulus of convexity ${\delta}_{X}$, then

*X*is a uniformly convex Banach space, then $WCS(X)>1$ and also the equation

*H*,

**Remark 2.3**${\ell}_{p}$ is an example of a reflexive Banach space such that $N(X)$ and $WCS(X)$ are different. Indeed,

*X*is said to satisfy the Opial condition, if whenever a sequence $\{{x}_{n}\}$ in

*X*converges weakly to

*x*, then

*X*is defined by

*X*such that $w-{lim}_{n\to \mathrm{\infty}}{x}_{n}=0$ and ${lim\hspace{0.17em}inf}_{n\to \mathrm{\infty}}\parallel {x}_{n}\parallel \ge 1$. For any Banach space

*X*, we have the following inequality:

## 3 Nonemptiness of common fixed-point sets

First, we introduce some wider classes of semigroups.

**Definition 3.1**Let

*C*be a nonempty subset of a normed space

*X*and $\mathcal{F}:=\{T(t):t\in G\}$ a strongly continuous semigroup of mappings from

*C*into itself. The semigroup ℱ is said to be

*nearly Lipschitzian*if there exist a function $a(\cdot ):G\to [0,\mathrm{\infty})$ with ${lim}_{t\to \mathrm{\infty}}a(t)=0$ and a function $\eta (\cdot ):G\to (0,\mathrm{\infty})$ such that

- (a)
*pointwise nearly Lipschitzian*if for each $t\in G$, there exist a function $a(\cdot ):G\to [0,\mathrm{\infty})$ with ${lim}_{t\to \mathrm{\infty}}a(t)=0$ and a function ${\alpha}_{t}(\cdot ):C\to (0,\mathrm{\infty})$ such that$\parallel T(t)x-T(t)y\parallel \le {\alpha}_{t}(x)(\parallel x-y\parallel +a(t))\phantom{\rule{1em}{0ex}}\text{for all}x,y\in C;$ - (b)
*pointwise nearly uniformly*$\alpha (\cdot )$*-Lipschitzian*if there exist a function $a(\cdot ):G\to [0,\mathrm{\infty})$ with ${lim}_{t\to \mathrm{\infty}}a(t)=0$ and a function $\alpha (\cdot ):C\to (0,\mathrm{\infty})$ such that$\parallel T(t)x-T(t)y\parallel \le \alpha (x)(\parallel x-y\parallel +a(t))\phantom{\rule{1em}{0ex}}\text{for all}x,y\in C;$ - (c)
*asymptotic pointwise nearly Lipschitzian*if for each $t\in G$, there exist a function $a(\cdot ):G\to [0,\mathrm{\infty})$ with ${lim}_{t\to \mathrm{\infty}}a(t)=0$ and two functions ${\alpha}_{t}(\cdot ),\alpha (\cdot ):C\to (0,\mathrm{\infty})$ with ${lim}_{t\to \mathrm{\infty}}{\alpha}_{t}=\alpha $ pointwise such that$\parallel T(t)x-T(t)y\parallel \le {\alpha}_{t}(x)(\parallel x-y\parallel +a(t))\phantom{\rule{1em}{0ex}}\text{for all}x,y\in C.$

*L*-Lipschitzian if there exist a constant $L\in [0,\mathrm{\infty})$ and a function $a(\cdot ):G\to [0,\mathrm{\infty})$ with ${lim}_{t\to \mathrm{\infty}}a(t)=0$ such that

The nearly uniformly *L*-Lipschitzian semigroup will be called nearly nonexpansive semigroup.

Before presenting the main result of this section, we give another definition:

**Definition 3.2** Let *C* be a nonempty weakly compact convex subset of Banach space *X*, $\mathcal{F}:=\{T(t):t\in G\}$ a strongly continuous semigroup of mappings from *C* into itself. A nonempty closed convex subset *D* of *C* is said to satisfy property $(\omega )$ with respect to semigroup ℱ if

(*ω*) ${\omega}_{\mathcal{F}}(x)\subset D$ for every $x\in D$,

where ${\omega}_{\mathcal{F}}(x)$ denotes the set of all weak limits of $\{T({t}_{n})x:n\in \mathbb{N}\}$ as ${t}_{n}\to \mathrm{\infty}$.

The semigroup ℱ is said to satisfy the $(\omega )$-*fixed point property* if ℱ has a common fixed point in every nonempty closed convex subset *D* of *C* which satisfies property $(\omega )$.

We now establish that a semigroup ℱ of a certain class of Lipschitzian type mappings satisfies the $(\omega )$-fixed point property.

**Theorem 3.3**

*Let*

*X*

*be a Banach space with weak uniformly normal structure*,

*C*

*a nonempty weakly compact convex subset of*

*X*

*and*$\mathcal{F}=\{T(t):t\in G\}$

*a strongly continuous semigroup of demicontinuous mappings from*

*C*

*into itself*.

*Suppose that for each*$t\in G$,

*there exist a function*$a(\cdot ):G\to [0,\mathrm{\infty})$

*with*${lim}_{t\to \mathrm{\infty}}a(t)=0$

*and two functions*${\alpha}_{t}(\cdot ),\alpha (\cdot ):C\to (0,\mathrm{\infty})$

*with*${lim}_{t\to \mathrm{\infty}}{\alpha}_{t}=\alpha $

*pointwise and*${sup}_{x\in C}\alpha (x)<\sqrt{WCS(X)}$

*such that*

*Also suppose that there exists a nonempty closed convex subset*

*M*

*of*

*C*

*which satisfies property*(

*ω*)

*with respect to*ℱ.

*Then*:

- (a)
*For arbitrary*${x}_{0}\in M$,*there exist a sequence*$\{{t}_{n}\}$*in**G**with*${lim}_{n\to \mathrm{\infty}}{t}_{n}=\mathrm{\infty}$*and an iterative sequence*$\{{x}_{m}\}$*in**M**defined by*${x}_{m}=w-\underset{n\to \mathrm{\infty}}{lim}T({t}_{n}){x}_{m-1}\phantom{\rule{1em}{0ex}}\mathit{\text{for all}}\phantom{\rule{0.25em}{0ex}}m\in \mathbb{N}.$(3.1) - (b)
*If*ℱ*is asymptotically regular on**C*,*then there exists an element*${x}^{\ast}\in M\cap Fix(\mathcal{F})$*such that*$\{{x}_{m}\}$*converges strongly to*${x}^{\ast}$.

*Proof* (a) Since one can easily construct a nonempty closed convex separable subset ${C}_{0}$ of C which is invariant under each $T(t)$ (*i.e.*, $T(t)({C}_{0})\subset {C}_{0}$ for $t\in G$), we may assume that *C* itself is separable.

*C*. Suppose $w-{lim}_{n\to \mathrm{\infty}}T({t}_{n}){x}_{0}={x}_{1}\in C$. Using property (

*ω*), we obtain that ${x}_{1}\in M$. Now we can construct a sequence $\{{x}_{m}\}$ in

*M*in the following way:

- (b)The weak asymptotic regularity of ℱ ensures that ${x}_{m}=w-{lim}_{n\to \mathrm{\infty}}T({t}_{n}+{t}_{r}){x}_{m-1}$, ${t}_{r}\in G$. We now show that $\{{x}_{m}\}$ converges strongly to a common fixed point of ℱ. Set$L:=\underset{x\in C}{sup}\alpha (x),\phantom{\rule{2em}{0ex}}{D}_{m}:=\underset{n\to \mathrm{\infty}}{lim\hspace{0.17em}sup}\parallel {x}_{m}-T({t}_{n}){x}_{m}\parallel $

*w*-l.s.c. of the norm $\parallel \cdot \parallel $, we have

*M*. Let ${lim}_{m\to \mathrm{\infty}}{x}_{m}=v\in M$. Observe that

Hence ${lim}_{n\to \mathrm{\infty}}T({t}_{n})v=v$. Let $t\in G$. Note $T({t}_{n})v\rightharpoonup v$, so it follows from the demicontinuity of $T(t)$ that $T(t)T({t}_{n})v\rightharpoonup T(t)v$. Observe that $T(t)T({t}_{n})v=T(t+{t}_{n})v\rightharpoonup v$. By the uniqueness of the weak limit of ${\{T(t)T({t}_{n})v\}}_{n\in \mathbb{N}}$, we have $T(t)v=v$. Therefore, $v\in M\cap Fix(\mathcal{F})$. □

Theorem 3.3 generalizes the result due to Górnicki [27] in the context of the (*ω*)-fixed point property for a wider class of mappings. Theorem 3.3 also extends corresponding results of Sahu, Agarwal and O’Regan [18], Sahu, Liu and Kang [28] and Sahu, Petruşel and Yao [29] for asymptotic pointwise nearly Lipschitzian semigroups. As $N(X)\le WCS(X)$, and there are Banach spaces for which $N(X)=1$ while $WCS(X)>1$, the following result is an improvement on Casini and Maluta [16] and Lim and Xu [[17], Theorem 1].

**Corollary 3.4**

*Let*

*X*

*be a Banach space with weak uniformly normal structure*,

*C*

*a nonempty weakly compact convex subset of*

*X*

*and*$\mathcal{F}=\{T(t):t\in G\}$

*a strongly continuous semigroup of demicontinuous nearly uniformly*

*L*-

*Lipschitzian of mappings from*

*C*

*into itself*.

*Suppose that*$L<\sqrt{WCS(X)}$

*and that there exists a nonempty closed convex subset*

*M*

*of*

*C*

*which satisfies property*(

*ω*)

*with respect to*ℱ.

*Then*:

- (a)
*For arbitrary*${x}_{0}\in M$,*there exist a sequence*$\{{t}_{n}\}$*in**G**with*${lim}_{n\to \mathrm{\infty}}{t}_{n}=\mathrm{\infty}$*and an iterative sequence*$\{{x}_{m}\}$*in**M**defined by*${x}_{m}=w-\underset{n\to \mathrm{\infty}}{lim}T({t}_{n}){x}_{m-1}\phantom{\rule{1em}{0ex}}\mathit{\text{for all}}\phantom{\rule{0.25em}{0ex}}m\in \mathbb{N}.$ - (b)
*If*ℱ*is asymptotically regular on**C*,*then there exists an element*${x}^{\ast}\in M\cap Fix(\mathcal{F})$*such that*$\{{x}_{m}\}$*converges strongly to*${x}^{\ast}$.

**Corollary 3.5** *Let* *X* *be a Banach space with weak uniformly normal structure*, *C* *a nonempty weakly compact convex subset of* *X* *and* $\mathcal{F}=\{T(t):t\in G\}$ *a strongly continuous semigroup of demicontinuous nearly uniformly* *L*-*Lipschitzian asymptotically regular mappings from* *C* *into itself such that* $L<\sqrt{WCS(X)}$. *Then* ℱ *has a common fixed point in C*.

## 4 Common fixed-point sets as Lipschitzian retracts

**Theorem 4.1**

*Let*

*X*

*be a uniformly Banach space with the Opial condition*,

*C*

*a nonempty closed convex bounded subset of*

*X*

*and*$\mathcal{F}=\{T(t):t\in G\}$

*a strongly continuous semigroup of demicontinuous mappings from*

*C*

*into itself*.

*Suppose that there exists a function*$a(\cdot ):G\to [0,\mathrm{\infty})$

*with*${lim}_{t\to \mathrm{\infty}}a(t)=0$

*such that*

*where* $\eta (T(t))\in (0,\mathrm{\infty})$ *with* $\eta (\mathcal{F}):={lim\hspace{0.17em}inf}_{t\to \mathrm{\infty}}\eta (T(t))<\sqrt{WCS(X)}$. *Also suppose that* ℱ *is asymptotically regular on* *C*. *Then* $Fix(\mathcal{F})\ne \mathrm{\varnothing}$ *and* $Fix(\mathcal{F})$ *is* $\eta (\mathcal{F})$-*Lipschitzian retract of* *C*.

*Proof*Using similar arguments as in the proof of Theorem 3.3(a), we may select a sequence $\{T({t}_{n})x\}$ of ${\{T(t)x\}}_{t\in G}$ such that ${lim}_{n\to \mathrm{\infty}}\eta (T({t}_{n}))=\eta (\mathcal{F})$ and

*i.e.*, *A* is $\eta (\mathcal{F})$-Lipschitzian mapping. It follows that *A* is uniformly continuous.

*C*. Suppose $w-{lim}_{n\to \mathrm{\infty}}T({t}_{n}){x}_{0}={x}_{1}\in C$. Now we can construct a sequence $\{{x}_{m}\}$ in

*C*in the following way:

*Q*defined by

Hence ${lim}_{n\to \mathrm{\infty}}T({t}_{n})Qx=Qx$. Let $s\in G$. From the demicontinuity of $T(s)$, we obtain that $T(s)Qx=Qx$. One can see that $T(s)Qx=Qx$ for all $s\in G$. Thus, $T(s)Qx=Qx$ for all $x\in C$ and $s\in G$. Therefore, *Q* is a retraction of *C* onto $Fix(\mathcal{F})$. □

**Corollary 4.2** *Let* *X* *be a uniformly Banach space with the Opial condition*, *C* *a nonempty closed convex bounded subset of* *X* *and* $T:C\to C$ *a demicontinuous asymptotically regular nearly Lipschitzian mapping such that* ${\eta}_{\mathrm{\infty}}(T):={lim\hspace{0.17em}inf}_{n\to \mathrm{\infty}}\eta ({T}^{n})<\sqrt{WCS(X)}$. *Then* $Fix(T)\ne \mathrm{\varnothing}$ *and* $Fix(T)$ *is a* ${\eta}_{\mathrm{\infty}}(T)$-*Lipschitzian retract of* *C*.

One sees from Theorem 4.1 that if $\eta (\mathcal{F})=1$, then $Fix(\mathcal{F})$ is a nonexpansive retract of *C*. In the next section, we show that $Fix(\mathcal{F})$ is a sunny nonexpansive retract of *C* when $\mathcal{F}=\{T(t):t\in {\mathbb{R}}^{+}\}$ a strongly continuous semigroup of asymptotically pseudo-contractive mappings (see Theorem 5.6).

## 5 Common fixed-point sets as sunny nonexpansive retracts

*C*be a nonempty subset of a Banach space

*X*and $\mathcal{F}=\{T(t):t\in G\}$ a semigroup of mappings from

*C*into itself. A sequence $\{{x}_{n}\}$ in

*C*is said to an

*approximating fixed point sequence of*ℱ if ${lim}_{n\to \mathrm{\infty}}({x}_{n}-T(t){x}_{n})=0$ for all $t\in G$. The family $\{I-T(t):t\in G\}$ is demiclosed at zero if $\{{y}_{n}\}$ is a sequence in

*C*weakly converging to $z\in C$ and ${lim}_{n\to \mathrm{\infty}}({x}_{n}-T(t){y}_{n})=0$ for all $t\in G$ imply $z=T(t)z$ for all $t\in G$. Following [18], we say that ℱ has property ($\mathcal{A}$) if for every bounded set ${\{{x}_{t}\}}_{t\in G}$ in

*C*, we have

In [30], Schu introduced the concept of asymptotically pseudo-contractive mapping as follows:

*H*be a real Hilbert space whose inner product and norm are denoted by $\u3008\cdot ,\cdot \u3009$ and $\parallel \cdot \parallel $ respectively. Let

*C*be a nonempty subset of

*H*and $T:C\to C$ a mapping. Then

*T*is called an asymptotically pseudo-contractive mapping if there exists a sequence $\{{k}_{n}\}$ in $[1,\mathrm{\infty})$ with ${lim}_{n\to \mathrm{\infty}}{k}_{n}=1$ such that

The class of asymptotically pseudo-contractive mappings contain properly the class of asymptotically nonexpansive mappings. The following example shows that a continuous asymptotically pseudo-contractive mapping is not necessarily asymptotically nonexpansive.

**Example 5.1**Let $X=\mathbb{R}$ and $C=[0,1]$. Define $T:C\to C$ by

Note that *T* is a pseudo-contractive mapping which is not Lipschitzian (see [31]). Since *T* is not Lipschitzian, it is not asymptotically nonexpansive. It is shown in [30] that *T* is an asymptotically pseudo-contractive mapping with sequence $\{1\}$.

*C*into itself. Then ℱ is said to be pseudo-contractive if

**Remark 5.2**

- (i)The semigroup ℱ is pseudo-contractive if and only if the following holds:${\parallel T(t)x-T(t)y\parallel}^{2}\le {\parallel x-y\parallel}^{2}+{\parallel x-T(t)x-(y-T(t)y)\parallel}^{2}\phantom{\rule{1em}{0ex}}\text{for all}x,y\in C\text{and}t\in G.$
- (ii)
Every nonexpansive semigroup must be a continuously pseudo-contractive semigroup.

**Example 5.3**Let $X=\mathbb{R}$, $b\in (0,1)$, $C=[0,1]$ and $G=[0,\mathrm{\infty})$. For $t>0$, define $T(t):C\to C$ by

Therefore, $\mathcal{F}=\{T(t):t\ge 0\}$ is an asymptotically pseudo-contractive semigroup with function $k=1$. Moreover, for each $t>0$, $T(t)$ is discontinuous at $x=1/2$ and hence ℱ is not a Lipschitzian semigroup.

We begin with the following:

**Theorem 5.4** (Demiclosedness Principle)

*Let C be a nonempty closed convex bounded subset of a real Hilbert space* *H*. *Let* $\mathcal{F}=\{T(t):t\in G\}$ *be a strongly continuous semigroup of uniformly continuous nearly uniformly* *L*-*Lipschitzian asymptotically pseudo*-*contractive mappings from* *C* *into itself*. *Then the family* $\{I-T(t):t\in G\}$ *is demiclosed at zero*.

*Proof*Assume that $\{{y}_{n}\}$ is a sequence in

*C*weakly converging to

*z*and ${lim}_{n\to \mathrm{\infty}}({y}_{n}-T(s){y}_{n})=0$ for all $s\in G$. Let $t\in G$ with $t\ne 0$ and let $\{{t}_{m}\}$ be a sequence in

*G*defined by ${t}_{m}=mt$ for all $m\in \mathbb{N}$. Notice that $z\in C$. Fix $\alpha \in (0,1/(1+L))$ and define

Since *T* is uniformly continuous, we have $\parallel {y}_{n}-T({t}_{m})z\parallel \to 0$ as $n\to \mathrm{\infty}$ for fixed $m\in \mathbb{N}$.

Therefore, $z=T(t)z$ for all $t\in G$. □

The following result extends the celebrated convergence theorem of Browder [32] and many results concerning Browder’s convergence theorem to a semigroup of uniformly continuous nearly uniformly *L*-Lipschitzian asymptotically pseudo-contractive mappings.

**Theorem 5.5**

*Let*

*C*

*be a nonempty closed convex bounded subset of a real Hilbert space*

*H*

*and*$\mathcal{F}=\{T(t):t\in {\mathbb{R}}^{+}\}$

*a strongly continuous semigroup of uniformly continuous nearly uniformly*

*L*-

*Lipschitzian asymptotically pseudo*-

*contractive mappings from*

*C*

*into itself*.

*Let*$\{{b}_{n}\}$

*be a sequence in*$(0,1)$

*and*$\{{t}_{n}\}$

*a sequence in*$(0,\mathrm{\infty})$

*such that*$k({t}_{n})-1<{b}_{n}$

*for all*$n\in \mathbb{N}$, ${lim}_{n\to \mathrm{\infty}}{b}_{n}={lim}_{n\to \mathrm{\infty}}\frac{k({t}_{n})-1}{{b}_{n}}=0$

*and*${lim}_{n\to \mathrm{\infty}}{t}_{n}=\mathrm{\infty}$.

*Then*:

- (a)
*There exists a sequence*$\{{y}_{n}\}$*in**C**defined by*${y}_{n}={b}_{n}u+(1-{b}_{n})T({t}_{n}){y}_{n},\phantom{\rule{1em}{0ex}}n\in \mathbb{N}.$(5.3) - (b)
*If*ℱ*has property*($\mathcal{A}$),*then*$Fix(\mathcal{F})\ne \mathrm{\varnothing}$*and*$\{{y}_{n}\}$*converges strongly to*${y}^{\ast}\in Fix(\mathcal{F})$*such that*$\u3008{y}^{\ast}-u,{y}^{\ast}-v\u3009\le 0\phantom{\rule{1em}{0ex}}\mathit{\text{for all}}\phantom{\rule{0.25em}{0ex}}v\in Fix(\mathcal{F}).$(5.4)

*Proof*(a) Let $\mathcal{F}=\{T(t):t\in {\mathbb{R}}^{+}\}$ be a strongly continuous semigroup of asymptotically pseudo-contractive mappings with a net $\{k(t):t\in (0,\mathrm{\infty})\}$. Set ${\varrho}_{n}:=\frac{k({t}_{n})-1}{{b}_{n}}$. Note $k({t}_{n})-1<{b}_{n}$ for all $n\in \mathbb{N}$, it follows that ${\varrho}_{n}<1\le k({t}_{n})$ and hence $(1-{b}_{n})k({t}_{n})<1$ for all $n\in \mathbb{N}$. Then, for each $n\in \mathbb{N}$, the mapping ${G}_{n}:C\to C$ defined by

*x*,

*y*in

*C*, we have

*C*described by (5.3).

- (b)
Assume that ℱ has property ($\mathcal{A}$). From (5.3), we have ${y}_{n}-T({t}_{n}){y}_{n}\to 0$ as $n\to \mathrm{\infty}$. The property ($\mathcal{A}$) of ℱ gives that ${y}_{n}-T(t){y}_{n}\to 0$ as $n\to \mathrm{\infty}$ for all $t>0$. Since $\{{y}_{n}\}$ is bounded, we can assume that a subsequence $\{{y}_{{n}_{i}}\}$ of $\{{y}_{n}\}$ such that ${y}_{{n}_{i}}\rightharpoonup z$ for some $z\in C$. By Theorem 5.4, we have $z\in Fix(\mathcal{F})$.

*C*is bounded, it follows from (5.5) that

*C*, there exists a weakly convergent subsequence $\{{y}_{{n}_{i}}\}\subseteq \{{y}_{n}\}$. Suppose that ${y}_{{n}_{i}}\rightharpoonup {y}^{\ast}\in C$ as $i\to \mathrm{\infty}$. Since $\{{y}_{n}\}$ is an approximating fixed point sequence of ℱ, we infer from Theorem 5.4 that ${y}^{\ast}\in Fix(\mathcal{F})$. In (5.7), interchange

*v*and ${y}^{\ast}$ to obtain that

Since ${y}_{{n}_{i}}\rightharpoonup {y}^{\ast}$, we get that ${y}_{{n}_{i}}\to {y}^{\ast}$. Hence the set $\{{y}_{n}\}$ is sequentially compact.

a contradiction. In a similar way it can be shown that each cluster point of the sequence $\{{y}_{n}\}$ is equal to ${y}^{\ast}$. Therefore, the entire sequence $\{{y}_{n}\}$ converges strongly to ${y}^{\ast}$. It is easy to see, from (5.6), that the inequality (5.4) holds. □

**Theorem 5.6** *Let* *C* *be a nonempty closed convex bounded subset of a real Hilbert space* *H* *and* $\mathcal{F}=\{T(t):t\in {\mathbb{R}}^{+}\}$ *a strongly continuous semigroup of uniformly continuous nearly uniformly* *L*-*Lipschitzian asymptotically pseudo*-*contractive mappings from* *C* *into itself*. *Suppose that* ℱ *has property* ($\mathcal{A}$). *Then* $Fix(\mathcal{F})\ne \mathrm{\varnothing}$ *and* $Fix(\mathcal{F})$ *is a sunny nonexpansive retract of* *C*.

*Proof* Assume that $\mathcal{F}=\{T(t):t\in {\mathbb{R}}^{+}\}$ is a semigroup of asymptotically pseudo-contractive mappings from *C* into itself with a function $k(\cdot ):{\mathbb{R}}^{+}\to [1,\mathrm{\infty})$ with ${lim}_{t\to \mathrm{\infty}}k(t)=1$. Without loss of generality, we may assume that $\{{b}_{n}\}$ in $(0,1)$ and $\{{t}_{n}\}$ in $(0,\mathrm{\infty})$ such that $k({t}_{n})-1<{b}_{n}$ for all $n\in \mathbb{N}$, ${lim}_{n\to \mathrm{\infty}}{b}_{n}={lim}_{n\to \mathrm{\infty}}\frac{k({t}_{n})-1}{{b}_{n}}=0$ and ${lim}_{n\to \mathrm{\infty}}{t}_{n}=\mathrm{\infty}$. Then, for an arbitrarily fixed element $u\in C$, there exists a sequence $\{{y}_{n}\}$ in *C* defined by (5.3). By Theorem 5.5(b), $Fix(\mathcal{F})\ne \mathrm{\varnothing}$.

Therefore, by Lemma 2.2, we conclude that *Q* is sunny nonexpansive. □

## 6 Application

*C*be a nonempty convex subset of a real Hilbert space

*H*and

*D*a nonempty subset of

*C*. For a nonlinear mapping $\mathcal{F}:C\to H$, the variational inequality problem $VIP(\mathcal{F},C)$ over

*D*is to find a point ${x}^{\ast}\in D$ such that

It is important to note that the theory of variational inequalities has played an important role in the study of many diverse disciplines, for example, partial differential equations, optimal control, optimization, mathematical programming, mechanics, finance, *etc.*; see, for example, [33, 34] and references therein.

We now turn our attention to dealing with the problem of the existence of solutions of $VIP(C,\mathcal{F})$ by sunny nonexpansive retractions.

Following Wong, Sahu and Yao [[35], Proposition 4.6], one can show that the variational inequality problem $VIP(C,\mathcal{F})$ with $\mathcal{F}=I-f$ is equivalent to the fixed point problem. Indeed,

**Proposition 6.1** *Let* *C* *be a nonempty convex subset of a smooth Banach space* *X* *and* $\mathcal{F}=\{T(t):t\in {\mathbb{R}}^{+}\}$ *a strongly continuous semigroup of mappings from* *C* *into itself with* $Fix(\mathcal{F})\ne \mathrm{\varnothing}$. *Let* $f:C\to C$ *be a mapping with* $\mathcal{F}=I-f$ *and let* *Q* *be the sunny nonexpansive retraction from* *C* *onto* $Fix(\mathcal{F})$. *Then* ${x}^{\ast}$ *is a solution of variational inequality problem* $VIP(C,\mathcal{F})$ *over* $Fix(\mathcal{F})$ *if and only if* ${x}^{\ast}$ *is a fixed point of* *Qf*.

The following result improves the so-called viscosity approximation method which was first introduced by Moudafi [36] from nonexpansive mappings to a semigroup of pseudo-contractive mappings.

**Theorem 6.2**

*Let*

*C*

*be a nonempty closed convex bounded subset of a real Hilbert space*

*H*, $f:C\to C$

*a weakly contractive mapping with function*

*ψ*

*and*$\mathcal{F}=\{T(t):t\in {\mathbb{R}}^{+}\}$

*a strongly continuous semigroup of uniformly continuous pseudo*-

*contractive mappings from*

*C*

*into itself*.

*Suppose that*ℱ

*has property*($\mathcal{A}$)

*and*ℱ

*is nearly nonexpansive with function*$a:[0,\mathrm{\infty})\to [0,\mathrm{\infty})$.

*Let*$\{{b}_{n}\}$

*be a sequence in*$(0,1)$

*and*$\{{t}_{n}\}$

*a sequence in*$(0,\mathrm{\infty})$

*such that*${lim}_{n\to \mathrm{\infty}}{b}_{n}={lim}_{n\to \mathrm{\infty}}\frac{a({t}_{n})}{{b}_{n}}=0$

*and*${lim}_{n\to \mathrm{\infty}}{t}_{n}=\mathrm{\infty}$.

*Then*,

*we have the following*:

- (a)
*The variational inequality problem*$VIP(C,I-f)$*over*$Fix(\mathcal{F})$*has a unique solution in*$Fix(\mathcal{F})$. - (b)
*There exists a sequence*$\{{y}_{n}\}$*in**C**defined by*${y}_{n}={b}_{n}f({y}_{n})+(1-{b}_{n})T({t}_{n}){y}_{n},\phantom{\rule{1em}{0ex}}n\in \mathbb{N}$(6.1)

*such that* $\{{y}_{n}\}$ *converges strongly to the unique solution of the variational inequality problem* $VIP(C,I-f)$.

*Proof*(a) By Theorem 5.6, there is a sunny nonexpansive retraction

*Q*from

*C*onto $Fix(\mathcal{F})$. Since

*Qf*is a weakly contractive mapping from

*C*into itself, it follows from Rhoades [[39], Theorem 1] that there exists a unique element ${x}^{\ast}\in C$ such that ${x}^{\ast}=Qf{x}^{\ast}$. Note ${x}^{\ast}\in C$ is an element of $Fix(\mathcal{F})$. It follows from Proposition 6.1 that ${x}^{\ast}$ is the unique solution of the variational inequality problem $VIP(C,I-f)$ over $Fix(\mathcal{F})$.

- (b)For each $n\in \mathbb{N}$, the mapping ${F}_{n}:C\to C$ defined by${F}_{n}y:={b}_{n}fy+(1-{b}_{n})T({t}_{n})y,\phantom{\rule{1em}{0ex}}y\in C$

*C*described by (6.1). As in Theorem 5.5(a), we may define a sequence $\{{z}_{n}\}$ in

*C*by

Thus, $\parallel {y}_{n}-{z}_{n}\parallel \to 0$. Therefore, ${x}_{n}\to {x}^{\ast}=Qf{x}^{\ast}$. □

## Declarations

## Authors’ Affiliations

## References

- Benavides TD, Ramirez PL: Structure of the fixed point set and common fixed points of asymptotically nonexpansive mappings.
*Proc. Am. Math. Soc.*2001, 129: 3549–3557. 10.1090/S0002-9939-01-06141-XView Article - Goebel K, Kirk WA: A fixed point theorem for asymptotically nonexpansive mappings.
*Proc. Am. Math. Soc.*1972, 35: 171–174. 10.1090/S0002-9939-1972-0298500-3MathSciNetView Article - Agarwal RP, O’Regan D, Sahu DR Topological Fixed Point Theory and Its Applications 6. In
*Fixed Point Theory for Lipschitzian-type Mappings With Applications*. Springer, New York; 2009. - Goebel K, Reich S:
*Uniform Convexity, Hyperbolic Geometry, and Nonexpansive Mappings*. Dekker, New York; 1984. - Kopecká E, Reich S: Nonexpansive retracts in Banach spaces.
*Banach Cent. Publ.*2007, 77: 161–174.View Article - Reich S: Extension problems for accretive sets in Banach spaces.
*J. Funct. Anal.*1977, 26: 378–395. 10.1016/0022-1236(77)90022-2View Article - Bruck RE Jr.: Properties of fixed-point sets of nonexpansive mappings in Banach spaces.
*Trans. Am. Math. Soc.*1973, 179: 251–262.MathSciNetView Article - Beauzamy B: Projections contractantes dans les espaces de Banach.
*Bull. Sci. Math.*1978, 102: 43–47.MathSciNet - Yao JC, Zeng LC: Fixed point theorems for asymptotically regular semigroups in metric spaces with uniform normal structure.
*J. Nonlinear Convex Anal.*2007, 8: 153–163.MathSciNet - Ceng LC, Xu HK, Yao JC: Uniformly normal structure and uniformly Lipschitzian semigroups.
*Nonlinear Anal.*2010, 73: 3742–3750. 10.1016/j.na.2010.07.044MathSciNetView Article - Belluce LP, Kirk WA: Fixed point theorems for certain classes of nonexpansive mappings.
*Proc. Am. Math. Soc.*1969, 20: 141–146. 10.1090/S0002-9939-1969-0233341-4MathSciNetView Article - Kirk WA: Mappings of generalized contractive type.
*J. Math. Anal. Appl.*1970, 32: 567–572. 10.1016/0022-247X(70)90278-7MathSciNetView Article - Kirk WA: Asymptotic pointwise contractions.
*Plenary Lecture, the 8th International Conference on Fixed Point Theory and Its Applications*2007. - Kirk WA: Fixed points of asymptotic contractions.
*J. Math. Anal. Appl.*2003, 277: 645–650. 10.1016/S0022-247X(02)00612-1MathSciNetView Article - Kirk WA, Xu HK: Asymptotic pointwise contractions.
*Nonlinear Anal.*2008, 69: 4706–4712. 10.1016/j.na.2007.11.023MathSciNetView Article - Casini E, Maluta E: Fixed points of uniformly Lipschitzian mappings in spaces with uniformly normal structure.
*Nonlinear Anal.*1985, 9: 103–108. 10.1016/0362-546X(85)90055-0MathSciNetView Article - Lim TC, Xu HK: Fixed point theorems for asymptotically nonexpansive mappings.
*Nonlinear Anal.*1994, 22(11):1345–1355. 10.1016/0362-546X(94)90116-3MathSciNetView Article - Sahu DR, Agarwal RP, O’Regan D: Structure of the fixed point set of asymptotically nonexpansive mappings in Banach spaces with weak uniformly normal structure.
*J. Anal. Appl.*2011, 17: 51–68.MathSciNetView Article - Zegeye H, Shahzad N: Strong convergence theorems for continuous semigroups of asymptotically nonexpansive mappings.
*Numer. Funct. Anal. Optim.*2009, 30(7–8):833–848. 10.1080/01630560903123197MathSciNetView Article - Chidume CE, Zegeye H: Strong convergence theorems for common fixed points of uniformly
*L*-Lipschitzian pseudocontractive semi-groups.*Appl. Anal.*2007, 86: 353–366. 10.1080/00036810601156730MathSciNetView Article - Hester A, Morales CH: Semigroups generated by pseudo-contractive mappings under the Nagumo condition.
*J. Differ. Equ.*2008, 245: 994–1013. 10.1016/j.jde.2008.04.023MathSciNetView Article - Bruck RE, Kuczumow T, Reich S: Convergence of iterates of asymptotically nonexpansive mappings in Banach spaces with the uniform Opial property.
*Colloq. Math.*1993, LXV: 169–179.MathSciNet - Kirk WA: Fixed point theorems for non-Lipschitzian mappings of asymptotically nonexpansive type.
*Isr. J. Math.*1974, 17: 339–346. 10.1007/BF02757136MathSciNetView Article - Sahu DR: Fixed points of demicontinuous nearly Lipschitzian mappings in Banach spaces.
*Comment. Math. Univ. Carol.*2005, 46(4):653–666.MathSciNet - Bynum WL: Normal structure coefficient for Banach spaces.
*Pac. J. Math.*1980, 86: 427–436. 10.2140/pjm.1980.86.427MathSciNetView Article - Benavides TD, Acedo GL, Xu HK: Weak uniform normal structure and iterative fixed points of nonexpansive mappings.
*Colloq. Math.*1995, LXVIII: 17–23. - Gornicki J: Fixed points of asymptotically regular semigroups in Banach spaces.
*Rend. Circ. Mat. Palermo*1997, 46: 89–118. 10.1007/BF02844475MathSciNetView Article - Sahu DR, Zeqing L, Kang SM: Existence and approximation of fixed points of nonlinear mappings in spaces with weak uniform normal structure.
*Comput. Math. Appl.*2012, 64: 672–685. 10.1016/j.camwa.2011.12.081MathSciNetView Article - Sahu, DR, Petruşel, A, Yao, JC: On fixed points of pointwise Lipschitzian type mappings. Fixed Point Theory (2012, accepted)
- Schu J: Iterative construction of fixed points of asymptotically nonexpansive mappings.
*J. Math. Anal. Appl.*1991, 158: 407–413. 10.1016/0022-247X(91)90245-UMathSciNetView Article - Rhoades BE: Comments on two fixed point iteration methods.
*J. Math. Anal. Appl.*1976, 56: 741–750. 10.1016/0022-247X(76)90038-XMathSciNetView Article - Browder FE: Convergence of approximants to fixed points of nonexpansive nonlinear mappings in Banach spaces.
*Arch. Ration. Mech. Anal.*1967, 24: 82–90.MathSciNetView Article - Kinderlehrer D, Stampacchia G:
*An Introduction To Variational Inequalities and Their Applications*. Academic Press, New York; 1980. - Jaillet P, Lamberton D, Lapeyre B: Variational inequalities and the pricing of American options.
*Acta Appl. Math.*1990, 21: 263–289. 10.1007/BF00047211MathSciNetView Article - Wong NC, Sahu DR, Yao JC: Solving variational inequalities involving nonexpansive type mappings.
*Nonlinear Anal.*2008, 69: 4732–4753. 10.1016/j.na.2007.11.025MathSciNetView Article - Moudafi A: Viscosity approximation methods for fixed-points problems.
*J. Math. Anal. Appl.*2000, 241: 46–55. 10.1006/jmaa.1999.6615MathSciNetView Article - Xiang CH: Fixed point theorem for generalized F-pseudo-contractive mappings.
*Nonlinear Anal.*2009, 70: 277–279.View Article - Morales CH: Variational inequalities for Φ-pseudo-contractive mappings.
*Nonlinear Anal.*2012, 75: 477–484. 10.1016/j.na.2011.08.049MathSciNetView Article - Rhoades BE: Some theorems on weakly contractive maps.
*Nonlinear Anal.*2001, 47: 2683–2693. 10.1016/S0362-546X(01)00388-1MathSciNetView Article

## Copyright

This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.