Open Access

On stationary points of nonexpansive set-valued mappings

Fixed Point Theory and Applications20152015:236

https://doi.org/10.1186/s13663-015-0481-4

Received: 16 October 2015

Accepted: 4 December 2015

Published: 30 December 2015

Abstract

In this paper we deal with stationary points (also known as endpoints) of nonexpansive set-valued mappings and show that the existence of such points under certain conditions follows as a consequence of the existence of approximate stationary sequences. In particular we provide abstract extensions of well-known fixed point theorems.

Keywords

stationary point nonexpansive set-valued mapping approximate stationary sequence normal structure weakly compact set

MSC

54C60 47H09

1 Introduction and preliminaries

Let X be a Banach space and C be a nonempty subset of X. A set-valued mapping \(T:C \rightarrow2^{X}\setminus\{\emptyset\} \) is said to be nonexpansive if
$$H(Tx,Ty) \leq \Vert x - y \Vert \quad (x,y \in C), $$
where \(H(\cdot,\cdot)\) stands for the Hausdorff metric defined as
$$H(A, B):=\max \Bigl\{ \sup_{a\in A} d(a,B), \sup _{b\in B } d(b,A) \Bigr\} $$
and \(d(a, B):= \inf_{x \in B} d(a,x)\). An element \(x \in C\) is said to be a fixed point of T if \(x \in Tx\) and a stationary point if \(Tx = \{ x \}\).

The first relevant work for existence of fixed points for nonexpansive set-valued mappings was provided by Markin [1] in 1968. Then a large and deep theory was developed by several authors (see, for instance, [26] or [7], Chapter 15, and references therein). This theory, however, is very far from as much advanced a theory as the corresponding one for single-valued nonexpansive mappings. The problem of the existence of stationary points has remained almost unexplored for nonexpansive mappings, it being the case that most results about them require contractive like conditions on the mapping as is the case in [811]. There has recently been some activity in this direction though. Several authors have begun the study of generalized set-valued nonexpansive mappings through an approach given by the properties of approximate sequences of fixed points where stationary points have appeared in a natural way. See, for instance, [12, 13] and the notion of a strong approximate fixed point sequence (which we call an approximate stationary point sequence here) in [14]. In the present work we show that some of the very well-known properties implying the existence of fixed points for nonexpansive single-valued mappings also imply the existence of stationary points in the set-valued case provided approximate stationary point sequences exist.

We will consider X as a Banach space and C a bounded, nonempty, closed, and convex subset of X. A closed ball of center x and radius r will be denoted \(B_{r}[x]\). We denote by \(F(X)\) the family of all nonempty closed subsets of X and by \(K(X)\) the family of all nonempty compact subsets of X. For \(x\in X\), the distance from x to C is given by
$$d(x, C):= \inf_{a \in C} d(x,a), $$
while the Chebyshev radius of C with respect to x is given by
$$r_{x}(C) := \sup_{z \in C} \Vert x - z \Vert . $$
The Chebyshev radius of C with respect to a set A will be given by
$$r_{A}(F)=\inf_{a\in A} r_{a}(C) $$
and denoted simply as \(r(C)\) if \(A=C\). The Chebyshev center of C, which may be empty, is then defined as
$$Z(C) := \Bigl\{ x\in C\colon r_{x}(C)=\inf_{z\in C} r_{z}(C) \Bigr\} . $$
Consider \(T\colon C\to2^{X}\setminus\{\emptyset\}\) to be a nonexpansive set-valued mapping. We say that a sequence \((x_{n})\) in C is an approximate stationary point sequence (a.s.p. sequence) of T if
$$\lim_{n\rightarrow\infty} r_{x_{n}}( Tx_{n}) =0, $$
while \((x_{n})\) is an approximate fixed point sequence (a.f.p. sequence) if
$$\lim_{n\rightarrow\infty} d(x_{n}, Tx_{n}) =0. $$

Approximate fixed point sequences play a major role in metric fixed point theory for both single- and set-valued nonexpansive mappings. It is a very well-known fact, after Nadler’s principle for set-valued contractions, that such sequences always exist provided \(T\colon C\to F(C)\) is nonexpansive (see, for instance, [7], Chapter 15, [15], Theorem 8.23, or [14]). On the contrary, we see that approximate stationary point sequences do not need exist even if the mapping has a fixed point, its values are compact and X is a Hilbert space.

Example 1

Let B be the closed unit ball of \(\ell_{2}\). Define the nonexpansive set-valued mapping \(T: B \rightarrow K(B)\) by
$$T( x_{1}, x_{2},\ldots ) = \bigl\{ ( 1 , 0, 0, \ldots ), ( 0, x_{1}, x_{2}, \ldots ) \bigr\} . $$
Trivially, the origin is a fixed point for T. Now, if \((x_{n})\) is a.s.p. sequence then it must be the case that \(\operatorname {diam}(T(x_{n}))\) tends to 0 as n goes to ∞; however, it is immediate that \({\operatorname {diam}(T(x))\geq1}\) for any x in B.

Remark

After the referee comments, the authors have learnt about references [16, 17] which deal with close problems to ours. That is, in these works the authors study questions related to stationary points of nonexpansive multivalued mappings provided the existence of approximate stationary point sequences is guaranteed. Although there is some overlapping among [16, 17] and the present work, their goals and ours are different. In [16] the author mainly focuses on conditions involving uniform convexity and wonders about the structure of the set of stationary points while [17] focuses on taking up some of the questions raised in [16]. In the present work, however, we deal with existence of stationary points on more general conditions than those studied in [16, 17] which, in particular, lead to more general versions of some results provided by these references (compare Theorems 3.1 and 3.4 in [16] to, respectively, Theorems 6 and 7 below). Notice also that Theorem 1 below gives an answer to Question 5.3, which remains out of scope of [17], raised in [16].

2 Main results

For our first result we will deal with two different notions of T-invariant sets.

Definition 1

Let \(T:C\rightarrow2^{C}\setminus\{\emptyset\}\), then:
  • A subset D of C is said to be T-invariant if \(Tx\subseteq D\) for all \(x\in D\).

  • A subset D of C is said to be weakly T-invariant if \(Tx\cap D\neq\emptyset\) for all \(x\in D\).

Remark 1

Notice that the two notions coincide for single-valued mappings.

A nonempty, closed, and convex subset D of C will be said to be a minimal T-invariant set (minimal weakly T-invariant set) if it does not contain any proper closed and convex subset which is T-invariant (weakly T-invariant).

Our first goal is to study the existence of stationary points for nonexpansive set-valued mappings under the conditions of a normal structure (see [7], Chapter 6).

Definition 2

A Banach space X is said to have a normal structure (resp., weak normal structure) if for every nonempty, bounded, closed (resp., weakly compact), and convex subset C of X with \(\operatorname {diam}(C) >0 \) there exists \(x \in C\) such that
$$r_{x}( C ) < \operatorname {diam}(C). $$
Also, a nonempty convex subset C of a Banach space X is said to have a normal structure if the same happens for each nonempty, convex, and bounded subset D of C with \({\operatorname {diam}(D) >0}\).

We will use the next two propositions.

Proposition 1

([18], p. 152)

For every weakly compact convex subset C of a Banach space X, \(Z(C)\) is a nonempty, closed, and convex subset of C.

Proposition 2

([18], p. 153)

Let X be a Banach space and C be a weakly compact convex subset of X with \(\operatorname {diam}(C) > 0\) and the normal structure. Then
$$\operatorname {diam}\bigl(Z(C) \bigr) < \operatorname {diam}(C). $$

The next result can be seen as an abstract extension of Kirk’s fixed point theorem.

Theorem 1

Let X be a Banach space and C a nonempty, weakly compact, and convex subset of X with normal structure. Then a nonexpansive mapping \(T\colon C \to K( C)\) has a stationary point if and only if there is a nonempty, closed, and convex subset F of C which is minimal weakly T-invariant and minimal T-invariant.

Proof

It is obvious that if T has a stationary point x then \(F=\{ x\}\) fulfills all the requirements. Conversely, let F be the minimal set given by the statement. If \(\operatorname {diam}(F)=0\) then its element is a stationary point. Therefore we can assume that \(\operatorname {diam}(F)>0\). We will show that the set \(Z(F)\) contradicts the minimality of F.

By Proposition 1, \(Z( F)\) is a nonempty, weakly compact, and convex set. Let \(x \in Z(F)\) and \(y \in F\) be arbitrary. Fix \(z \in Tx\) and let \(w \in Ty\) be such that
$$\Vert z - w \Vert \leq H(Tx, Ty) \leq \Vert x - y \Vert \leq r_{x}( F ) = r( F ). $$
Since F is T-invariant we have \(w \in F\) and so it is also in \(B_{r(F)}[ z] \cap F \cap Ty\), which is a nonempty set. Therefore, since \(y \in F \) is arbitrary, \(B_{r(F)}[ z] \cap F\) is weakly T-invariant. On the other hand, F is minimal weakly T-invariant and \(B_{r(F)}[ z] \cap F \) is nonempty, weakly compact, and weakly T-invariant, so \(B_{r(F)}[ z] \cap F = F\). Therefore \(F \subseteq B_{r(F)}[ z]\) and so for each \(x \in F\), \(\Vert x - z \Vert \leq r( F )\). This implies that \(r_{ z }( F ) \leq r( F )\) and hence \(z \in Z(F)\). Since \(z\in Tx\) was arbitrary, \(Tx \subset Z(F)\), that is, \(Z(F)\) is T-invariant. By Proposition 2 we have \(\operatorname {diam}(Z(F)) < \operatorname {diam}( F)\), which leads to a contradiction with the minimality of F. □

Our next result, inspired by [19], Lemma 1, is a technical one which explores the properties of minimal sets of stationary point free mappings.

Theorem 2

Let C be a nonempty, weakly compact, and convex subset of Banach space X and \(T:C \rightarrow2^{C}\setminus\{\emptyset\}\) be a stationary point free nonexpansive set-valued mapping. There exist \(\alpha>0\) and a minimal nonempty, weakly compact, and convex T-invariant subset E of C such that for every \(z \in E\) and any a.s.p. sequence \((x_{n})_{n=1}^{\infty}\) in E we have
$$\limsup_{n\rightarrow\infty} \Vert x_{n} - z \Vert \geq\alpha. $$

Proof

Suppose that Σ is the set of all nonempty, weakly compact, and convex T-invariant subsets D of C. The family \(\Sigma\neq \emptyset\), because \(C \in\Sigma\) and it can be partially ordered by set inclusion. An easy application of Zorn’s lemma shows that the family Σ possesses a minimal element E. The diameter of E must be positive since otherwise the T invariancy of E would imply that T has a stationary point which is a contradiction.

We show by contradiction that there exists \(\alpha> 0 \) such that
$$\limsup_{n\rightarrow\infty} \Vert x_{n} - z \Vert \geq\alpha, $$
for each a.s.p. sequence \((x_{n})\) in E and each \(z \in E\). Choose \(\gamma>0\) such that \(2 \gamma< \operatorname {diam}(E) \). There exists an a.s.p. sequence \((x_{n}) \) in E such that
$$\limsup_{n\rightarrow\infty} \Vert x_{n} - z_{0} \Vert < \gamma, $$
for some point \(z_{0} \in E\). Put
$$D = \Bigl\{ z \in E : \limsup_{n\rightarrow\infty} \Vert x_{n} - z \Vert \leq \gamma \Bigr\} . $$
D is nonempty, closed, and convex (therefore weakly compact) subset of E. We show D is T-invariant. Let \(x \in D\) and \(z \in Tx\) be arbitrary. For each \(y \in Tx_{n}\), we have
$$\begin{aligned} \Vert x_{n} - z \Vert &\leq \Vert x_{n} - y \Vert + \Vert y- z \Vert \\ & \leq r_{x_{n}}( Tx_{n}) + \Vert y-z \Vert . \end{aligned} $$
Since \(y \in Tx_{n}\) is arbitrary, we get
$$\begin{aligned} \Vert x_{n} - z \Vert &\leq r_{x_{n}}( Tx_{n}) + d( z, T{x_{n}}) \\ & \leq r_{x_{n}}( Tx_{n}) + H( Tx, Tx_{n}) \\ &\leq r_{x_{n}}( Tx_{n}) + \Vert x_{n} - x \Vert . \end{aligned} $$
Therefore,
$$\limsup_{n\rightarrow\infty} \Vert x_{n} - z \Vert \leq2 \gamma. $$
Hence \(z \in D\). This implies that \(Tx \subseteq D\) and since \(x \in D \) was arbitrary, D is T-invariant.

Hence \(D \subsetneqq E \) is nonempty, weakly compact, and convex and T-invariant, i.e., \(D \in\Sigma\) and \(\operatorname {diam}(D) < \operatorname {diam}(E)\), which is a contradiction because E is a minimal member of Σ. □

We have the following immediate corollaries.

Corollary 1

If the Banach space X is reflexive, then the same holds true for any nonempty, closed, convex, and bounded subset C of X.

Corollary 2

Let C be a nonempty, weakly compact, and convex subset of Banach space X and \(T:C \rightarrow2^{C}\setminus\{\emptyset\}\) be a stationary point free nonexpansive set-valued mapping. There exist \(\alpha>0\) and a nonempty, convex, weakly compact, and T-invariant subset D of C such that for every compact subset A of D and any a.s.p. sequence \((x_{n})_{n=1}^{\infty}\) in D we have
$$\limsup_{n\rightarrow\infty} r_{x_{n}}( A) \geq\alpha. $$

Proof

By Theorem 2 there exist \(\alpha> 0\) and a nonempty, weakly compact, and convex T-invariant subset D of C such that for each a.s.p. sequence \((x_{n}) \subseteq D\) and for each \(z \in D\)
$$\limsup_{n\rightarrow\infty} \Vert x_{n} - z \Vert \geq\alpha. $$
We claim that for each \((x_{n})\) in D and each compact subset A of D we have
$$\limsup_{n\rightarrow\infty} r_{x_{n}}( A) \geq\alpha. $$
Suppose for contradiction that there exist a compact subset A of D and an a.s.p. sequence \((x_{n}) \subseteq D\) such that
$$\limsup_{n\rightarrow\infty} r_{x_{n}}( A) < \alpha. $$
Since A is compact, so for each \(n \in\Bbb {N}\) there exists \(y_{n} \in A\) such that \(r_{x_{n}}( A) = \Vert x_{n} - y_{n} \Vert \). Again by compactness of A we can find a subsequence \((y_{n_{k}})\) of \((y_{n})\) convergent to some \(z \in A\). Hence
$$\limsup_{k \rightarrow\infty} \Vert x_{n_{k}} - z \Vert = \limsup _{n\rightarrow\infty} r_{x_{n}}( A) < \alpha, $$
which is a contradiction, since any subsequence of an a.s.p. sequence is an a.s.p. sequence. □
We introduce next some elements that will be needed. Given a nonempty subset C of a Banach space X and a bounded sequence \(( x_{n})\) in X, \(r_{a}(C,\{ x_{n} \})\) stands for the asymptotic radius of \((x_{n} )\) with respect to C, \(Z_{a}(C,\{x_{n}\}) \) for the asymptotic center of \((x_{n})\) with respect to C and \(\epsilon_{0}( X )\) is the characteristic of the convexity of the Banach space X, and they are defined as follows:
$$\begin{aligned}& r_{a} \bigl(C,\{ x_{n} \} \bigr) = \inf _{x \in C } \limsup_{n\rightarrow\infty} \Vert x_{n} - x \Vert , \\& Z_{a} \bigl(C,\{x_{n}\} \bigr) = \Bigl\{ z \in C: \limsup _{n\rightarrow\infty} \Vert x_{n} - z \Vert =r_{a} \bigl(C,\{ x_{n} \} \bigr) \Bigr\} , \end{aligned}$$
and
$$\epsilon_{0}( X ) = \sup \bigl\{ \epsilon>0: \delta_{X}( \epsilon) =0 \bigr\} , $$
where \(\delta_{X}:[0, 2] \rightarrow[0, 1] \) is the modulus of convexity of the Banach space X and it is defined by
$$\delta_{X}( \epsilon) = \inf \biggl\{ 1 - \biggl\Vert \frac{x + y}{2} \biggr\Vert : \Vert x \Vert \leq 1, \Vert y \Vert \leq1, \Vert x - y \Vert \geq\epsilon \biggr\} . $$

The next technical well-known results will be needed.

Theorem 3

([18], p. 131)

Let \((x_{n})\) be a bounded sequence in a Banach space X and C a nonempty, weakly compact, and convex subset of X. Then \(Z_{a}(C,\{x_{n}\})\) is nonempty and convex.

Theorem 4

([18], p. 131)

Let C be a nonempty, closed, and convex subset of the Banach space X and \((x_{n})\) a bounded sequence in X. Then
$$\operatorname {diam}\bigl( Z_{a} \bigl(C,\{x_{n}\} \bigr) \bigr) \leq \epsilon_{0} ( X ) r_{a} \bigl( C, \{ x_{n} \} \bigr). $$

Theorem 5

([7], p. 61)

If \(\epsilon_{0}( X ) \le1\), then X has normal structure.

Definition 3

Given \(T\colon C\to2^{C}\setminus\{\emptyset\}\), with C a nonempty, closed, and convex subset of Banach space X, we will say that T has the approximate stationary point sequence property in C if T has an approximate stationary point sequence in any T-invariant, nonempty, closed, and convex subset of C.

Remember that, as Example 1 exhibits, the existence of such sequences is not guaranteed in general.

Theorem 6

Let X be a Banach space with characteristic of convexity \(\epsilon_{0} ( X ) \leq1\). Let C be a nonempty, weakly compact, and convex subset of X and \(T\colon C\to2^{C}\setminus\{\emptyset\}\) a nonexpansive mapping. Then T has a stationary point if and only if T has the approximate stationary point sequence property.

Proof

We only need to prove that T has a stationary point provided it has the approximate stationary point sequence property. Suppose for contradiction that T is stationary point free. By Theorem 2, C contains a nonempty, weakly compact, and convex minimal T-invariant subset E. From the hypothesis there is \(( x_{n})\) an a.s.p. sequence in E. From Theorem 5, X has normal structure and so we can fix \(x_{0} \in E\) such that \(r_{x_{0}}( E ) < \operatorname {diam}(E)\). By Theorem 3, \(Z_{a}(E,\{x_{n}\})\) is nonempty. Then
$$r_{a} \bigl(E,\{ x_{n} \} \bigr) \leq\limsup _{n\rightarrow\infty} \Vert x_{n} - x_{0} \Vert < \operatorname {diam}(E). $$
By Theorem 4 and the fact that \(\epsilon_{0} ( X ) \leq1\),
$$\operatorname {diam}\bigl( Z_{a} \bigl(E,\{x_{n}\} \bigr) \bigr) \leq r_{a} \bigl( E, \{ x_{n} \} \bigr), $$
and, since \(r_{a}(E,\{ x_{n} \}) < \operatorname {diam}(E)\), we obtain
$$\operatorname {diam}\bigl( Z_{a} \bigl(E,\{x_{n}\} \bigr) \bigr) < \operatorname {diam}(E). $$

Now, the fact that \(Z_{a}(E,\{x_{n}\})\) is T-invariant follows in a similar way as was shown for set D in the proof of Theorem 2. Therefore, since it is weakly compact and convex too, we meet a contradiction with the minimality of E. □

A Banach space X is said to satisfy the Opial property if for every weakly null sequence \(\{x_{n}\}\) and every nonzero vector x in X, we have
$$\limsup_{n\rightarrow\infty} \Vert x_{n} \Vert < \limsup _{n\rightarrow\infty} \Vert x_{n} - x \Vert . $$
It is well known that if X is a Banach space which satisfies the Opial property, then X has the weak normal structure (see e.g. [20]).

Theorem 7

Let X be a Banach space which satisfies the Opial property. Let C be a nonempty, weakly compact, and convex subset of X and \(T\colon C\to2^{C}\setminus\{\emptyset\}\) a nonexpansive mapping. Then T has a stationary point if and only if T has the approximate stationary point sequence property.

Proof

We only need to prove that T has a stationary point provided it has the approximate stationary point sequence property. Suppose for contradiction that T is stationary point free. Let E be the minimal subset of C as obtained in the proof of Theorem 2 which is nonempty, weakly compact, and convex, T-invariant. From the hypothesis there is \(( x_{n})\) an a.s.p. sequence in E, we can assume this sequence is weakly convergent to x. Since
$$Z_{a} \bigl( \{x_{n}\}, E \bigr) = \Bigl\{ z \in E: \limsup _{n\rightarrow\infty} \Vert x_{n} - z \Vert \leq r_{a} \bigl(E,\{ x_{n} \} \bigr) \Bigr\} , $$
is a nonempty, weakly compact, convex, and T-invariant subset of E, then it must be the case that
$$E= Z_{a} \bigl( \{x_{n}\}, E \bigr). $$
Therefore, for each \(z \in E\), we have
$$\limsup_{n\rightarrow\infty} \Vert x_{n} - z \Vert = r_{a} \bigl(E,\{ x_{n} \} \bigr). $$
Since X has the Opial property, and \(x_{n} \rightharpoonup x\), for each \(z \in E\) where \(z \neq x\), we have
$$r_{a} \bigl(E,\{ x_{n} \} \bigr)= \limsup _{n\rightarrow\infty} \Vert x_{n} - x \Vert < \limsup _{n\rightarrow\infty} \Vert x_{n} - z \Vert = r_{a} \bigl(E,\{ x_{n} \} \bigr), $$
which is a contradiction. □

In 1974 Lim [6] gave the following extension of the Markin fixed point theorem for uniformly convex spaces.

Theorem 8

Let X be a uniformly convex Banach space, let C be a closed, bounded, and convex subset of X and \(T : C\rightarrow K(C)\) be a nonexpansive mapping. Then T has a fixed point.

In 1990 Kirk and Massa [4] gave the following partial generalization of Lim’s theorem.

Theorem 9

Let C be a closed, bounded, and convex subset of a Banach space X and \(T : C\rightarrow KC(C)\) a nonexpansive mapping, where \(KC(C)\) stands for the collection of nonempty, compact, and convex subsets of C. If the asymptotic center in C of each bounded sequence of X is nonempty and compact, then T has a fixed point.

Motivated by these two theorems we have the following for stationary points.

Theorem 10

Suppose that X is a Banach space such that for each closed convex bounded subset C of X the asymptotic center in C of each bounded sequence is nonempty and compact. Let \(T\colon C\to2^{C}\setminus\{ \emptyset\}\) be a nonexpansive mapping with C weakly compact. Then T has a stationary point if and only if T has the approximate stationary point sequence property.

Proof

We only need to prove that T has a stationary point provided it has the approximate stationary point sequence property. Suppose for contradiction that T is stationary point free. Let \((y_{n})\) be an arbitrary sequence in C. The sequence \((y_{n})\) is bounded and, by the assumptions, \(Z_{a}( \{y_{n}\}, C)\) is nonempty and compact. As in previous proofs, we know that the asymptotic center \(Z_{a}( \{y_{n}\}, C)\) is a nonempty, weakly compact, and convex T-invariant subset of X. Again, by the assumptions,
$$\inf_{x \in Z_{a}( \{y_{n}\}, C) } r_{x } (Tx)=0. $$
This, accompanied with the compactness of \(Z_{a}( \{y_{n}\}, C)\), implies that there exists a convergent a.s.p. sequence \((x_{n})\) in \(Z_{a}( \{y_{n}\} , C)\), say \(x_{n} \rightarrow x\).
We show next that x is a stationary point of T. Let \(z \in Tx\) and fix \(n \in\Bbb {N}\). For each \(y \in Tx_{n}\), we have
$$\begin{aligned} \Vert x - z \Vert & \leq \Vert x_{n} -x \Vert + \Vert x_{n} - y \Vert + \Vert z - y \Vert \\ & \leq \Vert x_{n} -x \Vert + r_{x_{n}}( Tx_{n}) + \Vert y - z \Vert . \end{aligned} $$
This implies that
$$\begin{aligned} \Vert x- z \Vert & \leq \Vert x_{n} -x \Vert + r_{x_{n}}( Tx_{n}) + d( z, Tx_{n}) \\ & \leq \Vert x_{n} -x \Vert + r_{x_{n}}( Tx_{n}) + H( Tx, Tx_{n} ) \\ & \leq r_{x_{n}}( Tx_{n}) + 2 \Vert x_{n} - x \Vert . \end{aligned} $$
Since \(z \in Tx\) is arbitrary, we obtain
$$r_{x }( Tx ) \leq r_{x_{n}}( Tx_{n}) + 2 \Vert x_{n} - x \Vert . $$
As \(n \rightarrow\infty\), we obtain \(r_{x}( Tx) =0\) and therefore, \(Tx = \{x\}\), which finally proves the statement by contradiction. □

In particular, the following corollary holds.

Corollary 3

Let X be a uniformly convex Banach space. Then the same conclusions as in Theorem  10 hold.

Recall that a bounded sequence \((x_{n})\) in a Banach space X is said to be regular with respect to a bounded subset C of X if the asymptotic radii (with respect to C) of all subsequences of \((x_{n})\) are the same, that is,
$$r_{a}\bigl(C,\{x_{n}\}\bigr) =r_{a}\bigl(C, \{x_{n_{i}}\}\bigr) \quad \mbox{for each subsequence } (x_{n_{i}}) \mbox{ of }(x_{n}). $$
A Banach space X is said to satisfy the \((\mathrm {DL})\)-condition if there exists \(\lambda\in[0, 1)\) such that for every weakly compact convex subset C of X and for every bounded sequence \((x_{n})\) in C which is regular with respect to C
$$r_{C} \bigl( Z_{a} \bigl(C,\{x_{n}\} \bigr) \bigr) \leq\lambda r_{a} \bigl(C,\{ x_{n} \} \bigr) $$
where the Chebyshev radius of a bounded subset D of X relative to C is defined by
$$r_{C}(D) = \inf \bigl\{ r_{x}(D): x \in C \bigr\} . $$

Indeed, any Banach space with the \((\mathrm {DL})\)-condition has the weak normal structure (see [21], Theorem 3.3).

Before giving the next result, we need the following proposition.

Proposition 3

([6, 22]) Let C be a nonempty bounded subset of a Banach space X and \(\{x_{n}\} \) a bounded sequence in X. Then \(\{x_{n}\}\) has a subsequence that is regular with respect to C.

Theorem 11

Let X be a Banach space with the \((\mathrm {DL})\)-condition. Let \(T\colon C\to 2^{C}\setminus\{\emptyset\}\) be a nonexpansive mapping with C nonempty, weakly compact, and convex. Then T has a stationary point if and only if T has the approximate stationary point sequence property.

Proof

We only need to prove that T has a stationary point provided it has the approximate stationary point sequence property. Suppose for contradiction that T is stationary point free. From Theorem 2 there exist a minimal nonempty, weakly compact, and convex T-invariant subset E of C and \(\alpha>0\) such that for each a.s.p. sequence \((z_{n} )\) in E
$$\limsup_{n\rightarrow\infty} \Vert z_{n} - z \Vert \geq\alpha, \quad z \in E. $$
Consider an a.s.p. sequence \((x_{n})\) in E, which exists by hypothesis. By Proposition 3 this sequence has a regular subsequence with respect to E, say again \(( x_{n}) \). Since X satisfies the property \((\mathrm {DL})\) we have
$$ r_{E} \bigl( Z_{a} \bigl(E, \{x_{n}\} \bigr) \bigr) \leq\lambda r_{a} \bigl(E,\{ x_{n} \} \bigr) $$
(1)
for some \(\lambda\in[0,1)\). Since
$$\limsup_{n\rightarrow\infty} \Vert x_{n} - z \Vert \geq\alpha, \quad z \in E, $$
\(r_{a}(E,\{ x_{n} \}) >0\). Therefore,
$$\lambda r_{a} \bigl(E,\{ x_{n} \} \bigr) < r_{a} \bigl(E,\{ x_{n} \} \bigr). $$
Since \(Z_{a}(E,\{x_{n}\})\) is nonempty, weakly compact, and convex, and a T-invariant set contained in E, by minimality, we have \(Z_{a}(E,\{ x_{n}\})=E\). Therefore, in particular, from (1) we have
$$r_{E}(E)\le\lambda r_{a} \bigl(E,\{x_{n}\} \bigr) < r_{a} \bigl(E,\{x_{n}\} \bigr), $$
which is a contradiction since \(\{x_{n}\}\subseteq E\). □

Next we list some sufficient conditions that lead to the \((\mathrm {DL})\) property.

Corollary 4

Let X be a Banach space such that
$$\rho_{X}'( 0 ) < \frac{1}{2}. $$
Then the same conclusions as in Theorem  11 hold.

Proof

See [23], Corollary 1. □

Corollary 5

Let X be a Banach space such that it satisfies one of the following two equivalent conditions:
  1. 1.

    \(r_{X}(1) >0\),

     
  2. 2.

    \(\Delta_{0}( X ) < 1\).

     
Then the same conclusions as in Theorem  11 hold.

Proof

See [23], Corollary 2. □

Corollary 6

Let X be a Banach space such that
$$j( X ) < 1 + \frac{1}{\mu( X )'}. $$
Then the same conclusions as in Theorem  11 hold.

Proof

See [24], Corollary 3.2. □

Corollary 7

Let X be a Banach space such that
$$\rho'_{X}( 0 ) < \frac{1}{\mu( X )}. $$
Then the same conclusions as in Theorem  11 hold.

Proof

See [25], Theorem 4. □

Corollary 8

Let X be a Banach space such that
$$\delta_{X} \biggl( \frac{1}{R( X )} +\sqrt{ 1 - \frac{1}{R( X )} + \frac{1}{R( X )^{2}} } \biggr) > \frac{1}{2} \biggl( 1 - \frac{1}{R( X )} \biggr). $$
Then the same conclusions as in Theorem  11 hold.

Proof

See [26], Theorem 3.19. □

We close this work with a last case where we follow the approach provided in [19]. Let \((X, \Vert \cdot \Vert )\) be a Banach space. Assume that there exists a family \(\{ R_{k}: X \rightarrow[0, \infty) \} _{k \in\Bbb {N}}\) of seminorms on X such that for all \(x \in X\) we have:
  1. 1.

    \(R_{1}(x) = \Vert x \Vert \) and for all \(k \geq2\), \(R_{k}(x) \leq \Vert x \Vert \).

     
  2. 2.

    \(\lim_{k\rightarrow\infty} R_{k}( x) =0\).

     
  3. 3.
    If \(x_{n} \rightharpoonup0\) (weakly convergent to zero), then for all \(k \geq1\)
    $$\limsup_{n\rightarrow\infty} R_{k}( x_{n}) = \limsup _{n\rightarrow\infty} \Vert x_{n} \Vert . $$
     
  4. 4.
    If \(x_{n} \rightharpoonup0\), then for all \(k \geq1\)
    $$\limsup_{n\rightarrow\infty} R_{k}( x_{n} + x) = \limsup_{n\rightarrow \infty} R_{k}( x_{n} ) + R_{k}( x ). $$
     
Let \((\gamma_{k}) \subseteq(0,1)\) be an arbitrary nondecreasing sequence such that \(\lim_{k\rightarrow\infty} \gamma_{k} =1\). An equivalent norm on X may be defined as
$$|\!|\!|x |\!|\!|:= \sup_{k} \gamma_{k} R_{k}( x), $$
for each \(x \in X\).

We restate Lemma 2 of [19] next.

Lemma 1

Let X be a Banach space endowed with a family of seminorms \(\{R_{k}( \cdot) \}\) satisfying properties 1-4 stated above, and \(|\!|\!|\cdot|\!|\!|\) be the equivalent norm given above. If \((x_{n})\) and \((y_{n})\) are two bounded sequences in X with \(x_{n} \rightharpoonup x\) and \(y_{n}\rightharpoonup y\), then
$$\limsup_{m}\limsup_{n\rightarrow\infty} |\!|\!|x_{n} - y_{m} |\!|\!|\geq\limsup_{n\rightarrow\infty} |\!|\!|x_{n} - x |\!|\!|+ \limsup_{m} |\!|\!|y_{m} - y |\!|\!|. $$

Theorem 12

Let X be a Banach space endowed with a family of seminorms \(\{R_{k}( \cdot) \}\) satisfying Properties 1-4 stated above, and \(|\!|\!|\cdot|\!|\!|\) be the equivalent norm given above. Let \(T\colon C\to2^{C}\setminus\{ \emptyset\}\) be a nonexpansive mapping with respect to \(|\!|\!|\cdot|\!|\!|\) and C a nonempty, weakly compact, and convex. Then T has a stationary point if and only if T has the approximate stationary point sequence property.

Proof

We only need to prove that T has a stationary point provided it has the approximate stationary point sequence property. Suppose for contradiction that T is stationary point free. By Theorem 2 there exist a minimal, nonempty, T-invariant, weakly compact, and convex subset E.

By hypothesis there exists a weakly convergent a.s.p. sequence \((x_{n})\) in E, say weakly convergent to \(x\in E\). Put \(\limsup_{n\rightarrow \infty}|\!|\!|x_{n}-x|\!|\!|=\gamma\). Theorem 2 implies that \(\gamma>0\). Set
$$D= \Bigl\{ z\in E:\limsup_{n\rightarrow\infty}|\!|\!|x_{n}-x|\!|\!|\leq \gamma \Bigr\} . $$
It is clear that D is a nonempty, weakly compact, and convex subset of D. Moreover, following the same reasoning as in Theorem 2, it can be shown that D is T-invariant subset of E. The minimality of E now implies that \(E=D\).
Now, for each \(m\in\mathbb{N}\) we have \(\limsup_{n\rightarrow\infty }|\!|\!|x_{n}-x_{m}|\!|\!|\leq\gamma\). Hence by Lemma 1,
$$\gamma\geq\limsup_{m} \limsup_{n\rightarrow\infty}|\!|\!|x_{n}-x_{m}|\!|\!|\geq \limsup_{n\rightarrow\infty}|\!|\!|x_{n}-x|\!|\!|+\limsup _{m}|\!|\!|x_{m}-x|\!|\!|\geq 2\gamma, $$
which is a contradiction. □

Remark 2

Notice that, since approximate fixed point sequence always exists in the single-valued case for the theorems we have revisited, our results can be regarded as abstract extensions of corresponding results for single-valued nonexpansive mappings.

Declarations

Acknowledgements

Rafa Espínola was supported by DGES, Grant MTM2012-34847C02-01 and Junta de Andalucía, Grant FQM-127. The authors would also like to thank anonymous referee for pointing [16] out as well as making other suggestions, which have improved the presentation of the paper.

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Authors’ Affiliations

(1)
Dpto. de Análisis Matemático, IMUS (Instituto Matemático de la Universidad de Sevilla), Universidad de Sevilla
(2)
Faculty of Mathematics, K. N. Toosi University of Technology

References

  1. Markin, J: A fixed point theorem for set valued mappings. Bull. Am. Math. Soc. 74, 639-640 (1968) MATHMathSciNetView ArticleGoogle Scholar
  2. Domínguez Benavides, T, Lorenzo Ramírez, P: Fixed-point theorems for multivalued non-expansive mappings without uniform convexity. Abstr. Appl. Anal. 6, 375-386 (2003) View ArticleGoogle Scholar
  3. Domínguez Benavides, T, Lorenzo Ramírez, P: Fixed point theorems for multivalued nonexpansive mappings satisfying inwardness conditions. J. Math. Anal. Appl. 291(1), 100-108 (2004) MATHMathSciNetView ArticleGoogle Scholar
  4. Kirk, WA, Massa, S: Remarks on asymptotic and Chebyshev centers. Houst. J. Math. 16, 364-375 (1990) MathSciNetGoogle Scholar
  5. Espínola, R, Lorenzo Ramírez, P, Nicolae, A: Fixed points, selections and common fixed points for nonexpansive-type mappings. J. Math. Anal. Appl. 382(2), 503-515 (2011) MATHMathSciNetView ArticleGoogle Scholar
  6. Lim, TC: A fixed point theorem for multivalued nonexpansive mappings in a uniformly convex Banach space. Bull. Am. Math. Soc. 80, 1123-1126 (1974) MATHView ArticleGoogle Scholar
  7. Goebel, K, Kirk, WA: Topics in Fixed Point Theory. Cambridge University Press, Cambridge (1990) MATHView ArticleGoogle Scholar
  8. Aubin, JP, Siegel, J: Fixed points and stationary points of dissipative multivalued maps. Proc. Am. Math. Soc. 78, 391-398 (1980) MATHMathSciNetView ArticleGoogle Scholar
  9. Moradi, S, Khojasteh, F: Endpoints of f-weak and generalized f-weak contractive mappings. Filomat 26(4), 725-732 (2012) MATHMathSciNetView ArticleGoogle Scholar
  10. Włodarczyk, K, Klim, D, Plebaniak, R: Endpoint theory for set-valued nonlinear asymptotic contractions with respect to generalized pseudodistances in uniform spaces. J. Math. Anal. Appl. 339, 344-358 (2008) MATHMathSciNetView ArticleGoogle Scholar
  11. Włodarczyk, K, Klim, D, Plebaniak, R: Existence and uniqueness of endpoints of closed set-valued asymptotic contractions in metric spaces. J. Math. Anal. Appl. 328, 46-57 (2007) MATHMathSciNetView ArticleGoogle Scholar
  12. Butsan, T, Dhompongsa, S, Takahashi, W: A fixed point theorem for pointwise eventually nonexpansive mappings in nearly uniformly convex Banach spaces. Nonlinear Anal. 74, 1694-1701 (2011) MATHMathSciNetView ArticleGoogle Scholar
  13. Dhompongsa, S, Nanan, N: Fixed point theorems by ways of ultra-asymptotic centers. Abstr. Appl. Anal. 2011, Article ID 826851 (2011) MathSciNetView ArticleGoogle Scholar
  14. García-Falset, J, Llorens-Fuster, E, Moreno-Gálvez, E: Fixed point theory for multivalued generalized nonexpansive mappings. Appl. Anal. Discrete Math. 6(2), 265-286 (2012) MATHMathSciNetView ArticleGoogle Scholar
  15. Khamsi, MA, Kirk, WA: An Introduction to Metric Spaces and Fixed Point Theory. Pure and Applied Mathematics (New York). Wiley-Interscience, New York (2001) View ArticleGoogle Scholar
  16. Panyanak, B: Endpoints of multivalued nonexpansive mappings in geodesic spaces. Fixed Point Theory Appl. 2015, 147 (2015) View ArticleGoogle Scholar
  17. Saejung, S: Remarks on endpoints of multivalued mappings on geodesic spaces. Preprint Google Scholar
  18. Agarwal, RP, O’Regan, D, Sahu, DR: Fixed Point Theory for Lipschitzian-Type Mappings with Applications, vol. 6. Springer, New York (2009) MATHGoogle Scholar
  19. Hernández Linares, CA, Japón, MA: A renorming in some Banach spaces with applications to fixed point theory. J. Funct. Anal. 258, 3452-3468 (2010) MATHMathSciNetView ArticleGoogle Scholar
  20. Gossez, JP, Lami Dozo, E: Some geometric properties related to the fixed point theory for nonexpansive mappings. Pac. J. Math. 40, 565-573 (1972) MATHMathSciNetView ArticleGoogle Scholar
  21. Dhompongsa, S, Domínguez Benavides, T, Kaewcharoen, A, Kaewkhao, A, Panyanak, B: The Jordan-von Neumann constants and fixed points for multivalued nonexpansive mappings. J. Math. Anal. Appl. 320(2), 916-927 (2006) MATHMathSciNetView ArticleGoogle Scholar
  22. Goebel, K: On a fixed point theorem for multivalued nonexpansive mappings. Ann. Univ. Mariae Curie-Skłodowska, Sect. A 29, 69-72 (1975) MathSciNetGoogle Scholar
  23. Domínguez Benavides, T, Gavira, B: The fixed point property for multivalued nonexpansive mappings. J. Math. Anal. Appl. 328(2), 1471-1483 (2007) MATHMathSciNetView ArticleGoogle Scholar
  24. Kaewkhao, A: The James constant, the Jordan-von Neumann constant, weak orthogonality, and fixed points for multivalued mappings. J. Math. Anal. Appl. 333(2), 950-958 (2007) MATHMathSciNetView ArticleGoogle Scholar
  25. Gavira, B: Some geometric conditions which imply the fixed point property for multivalued nonexpansive mappings. J. Math. Anal. Appl. 339(1), 680-690 (2008) MATHMathSciNetView ArticleGoogle Scholar
  26. Domínguez Benavides, T, Gavira, B: Does Kirk’s theorem hold for multivalued nonexpansive mappings. Fixed Point Theory Appl. 2010, Article ID 546761 (2010) View ArticleGoogle Scholar

Copyright

© Espínola et al. 2015