Skip to main content

Endpoints of multivalued nonexpansive mappings in geodesic spaces

Abstract

Let X be either a uniformly convex Banach space or a reflexive Banach space having the Opial property. It is shown that a multivalued nonexpansive mapping on a bounded closed convex subset of X has an endpoint if and only if it has the approximate endpoint property. This is the first result regarding the existence of endpoints for such kind of mappings even in Hilbert spaces. The related result in a complete CAT(0) space is also given.

1 Introduction

Let \((X,d)\) be a metric space, \(\emptyset\neq E\subseteq X\), and \(x\in X\). The distance from x to E is defined by

$$\operatorname{dist}(x,E) = \operatorname{inf}\bigl\{ d(x,y) : y\in E\bigr\} . $$

We denote by \(\mathcal{CB}(E)\) the family of nonempty closed bounded subsets of E and by \(\mathcal{K}(E)\) the family of nonempty compact subsets of E. Let \(H(\cdot,\cdot)\) be the Hausdorff distance on \(\mathcal{CB}(E)\), i.e.,

$$H(A,B)=\max \Bigl\{ \sup_{a\in A}\operatorname{dist}(a,B),\sup _{b\in B}\operatorname {dist}(b,A) \Bigr\} , \quad A,B\in \mathcal{CB}(E). $$

A multivalued mapping \(T:E\to\mathcal{CB}(X)\) is said to be contractive if there exists a constant \(k\in[0,1)\) such that

$$ H\bigl(T(x),T(y)\bigr)\leq k d(x,y), \quad x, y\in E. $$
(1)

If (1) is valid when \(k=1\), then T is said to be nonexpansive. It is clear that every contractive mapping is nonexpansive and, in general, the converse is not true.

A point \(x\in E\) is called a fixed point of T if \(x\in T(x)\). A point \(x\in E\) is called an endpoint (or stationary point) of T if x is a fixed point of T and \(T(x)=\{x\}\). We shall denote by \(\operatorname{Fix}(T)\) the set of all fixed points of T and by \(\operatorname{End}(T)\) the set of all endpoints of T. We see that for each mapping T, \(\operatorname{End}(T)\subseteq \operatorname{Fix}(T)\). Thus, the concept of endpoints seems to be more difficult (but more important) than the concept of fixed points. However, both concepts are equivalent when T is a single-valued mapping since, in this case, \(\operatorname{End}(T)= \operatorname{Fix}(T)\).

The existence of endpoints for a special kind of contractive mappings was first studied by Aubin and Siegel [1]. They proved that every multivalued dissipative mapping on a complete metric space always has an endpoint. Since then the endpoint results for several kinds of contractive mappings have been rapidly developed and many papers have appeared (see, e.g., [2–20]).

The first result regarding the existence of endpoints for non-contractive type mappings was discovered by Garcia-Falset et al. [21]. They proved that every J-type mapping on a weakly compact convex subset of a Banach space with compact faces always has an endpoint. Later on, Garcia-Falset et al. [22] introduced the class of (SL)-type mappings and proved that every (SL)-type mapping on a weakly compact convex subset of a Banach space with normal structure always has an endpoint. But, both classes of J-type and (SL)-type mappings are different from the class of nonexpansive mappings (see Remark 2.5, [22], Example 4, [21], Example 27 and [21], p.1260). Summary: there is no result in metric or Banach spaces regarding the existence of endpoints for nonexpansive mappings.

In this article, we give a necessary and sufficient condition for the existence of endpoints for multivalued nonexpansive mappings in uniformly convex Banach spaces and reflexive Banach spaces having the Opial property. We also obtain the related result in a special kind of metric spaces, namely, CAT(0) spaces. Our main discoveries are Theorems 3.1, 3.4 and 4.7.

2 Preliminaries

In this section we collect some geometric properties of Banach spaces. For more details the reader is referred to [23, 24].

Let E be a bounded subset of a metric space \((X,d)\). For \(x\in X\), we set

$$\begin{aligned}& r_{x}(E)=\sup\bigl\{ d(x,y) : y\in E\bigr\} , \\& r(E)=\inf\bigl\{ r_{x}(E) : x\in E\bigr\} , \\& c(E)=\bigl\{ x\in E : r_{x}(E)=r(E)\bigr\} , \\& \operatorname{diam}(E)=\sup\bigl\{ d(x,y) : x,y\in E\bigr\} . \end{aligned}$$

The number \(r_{x}(E)\) is called the radius of E relative to x; \(r(E)\), \(c(E)\) and \(\operatorname{diam}(E)\) are called, respectively, the Chebyshev radius, Chebyshev center and diameter of E. A point \(x\in E\) is said to be a diametral point of E if \(r_{x}(E)=\operatorname{diam}(E)\). A Banach space X is said to have normal structure if for each bounded closed convex subset K of X, which contains at least two points, there exists an element of K which is not a diametral point of K.

Let \(\{x_{n}\}\) be a bounded sequence in X and \(\emptyset\neq E\subseteq X\). The asymptotic radius of \(\{x_{n}\}\) in E is defined by

$$r\bigl(E,\{x_{n}\}\bigr)=\inf \Bigl\{ \limsup_{n\rightarrow\infty} d(x_{n},x) : x \in E \Bigr\} . $$

The asymptotic center of \(\{x_{n}\}\) with respect to E is defined by

$$A\bigl(E,\{x_{n}\}\bigr)= \Bigl\{ x \in E:\limsup_{n\rightarrow\infty} d(x_{n},x)=r\bigl(E,\{ x_{n}\}\bigr) \Bigr\} . $$

If the asymptotic center is taken with respect to X, then it is simply denoted by \(A(\{x_{n}\})\).

The sequence \(\{x_{n}\}\) is called regular relative to E if \(r(E,\{x_{n}\})=r(E,\{x_{n_{k}}\})\) for all subsequences \(\{x_{n_{k}}\}\) of \(\{x_{n}\}\). It is known that there always exists a subsequence of \(\{x_{n}\}\) which is regular relative to E (see, e.g., [25, 26]).

A Banach space X is said to be uniformly convex if for each \(\varepsilon\in(0,2]\) there exists \(\delta>0\) such that for any \(x,y\in X\) the conditions \(\|x\|\leq1\), \(\|y\|\leq1\), \(\|x-y\|\geq\varepsilon\) imply

$$\frac{1}{2}\|x+y\|\leq1-\delta. $$

It is well known that if E is a bounded closed convex subset of a uniformly convex Banach space, then \(A(E,\{x_{n}\})\) consists of exactly one point (see, e.g., [24], p.223).

A Banach space X is said to have the Opial property if given whenever \(\{x_{n}\}\) converges weakly to \(x\in X\),

$$\limsup_{n\to\infty}\|x_{n}-x\|< \limsup _{n\to\infty}\|x_{n}-y\| \quad\mbox{for each } y\in X \mbox{ with } y\neq x. $$

From now on, we will use the notation ‘\(x_{n}\rightharpoonup x\)’ for a sequence \(\{x_{n}\}\) converging weakly to a point x.

Proposition 2.1

The following statements hold.

  1. (1)

    Every Hilbert space is a uniformly convex Banach space.

  2. (2)

    Every Hilbert space is a reflexive Banach space having the Opial property.

  3. (3)

    Every uniformly convex Banach space has normal structure.

  4. (4)

    Every reflexive Banach space with the Opial property has normal structure.

Let E be a nonempty subset of a metric space X and \(T:E\to\mathcal{CB}(X)\) be a mapping. A sequence \(\{x_{n}\}\) in E is called an approximate fixed point sequence for T (a.f.p.s. in short) if \(\lim_{n\to\infty}\operatorname{dist}(x_{n},T(x_{n}))=0\). The mapping T is said to have the approximate fixed point property if it has an a.f.p.s. in E (or, equivalently, \(\inf_{x\in E} \operatorname{dist}(x,T(x))=0\)). The mapping T is said to have the approximate endpoint property [11] if \(\inf_{x\in E} r_{x}(T(x))=0\).

Proposition 2.2

The following statements hold.

  1. (1)

    If T has the approximate endpoint property, then T has the approximate fixed point property.

  2. (2)

    If T is a single-valued mapping, then T has the approximate endpoint property if and only if T has the approximate fixed point property.

The following example shows that the converse of (1) in Proposition 2.2 may not be true if T is a multivalued mapping.

Example 2.3

Let \(E=[0, 1]\) and \(T:E\to \mathcal{CB}(E)\) be defined by

$$T(x) = [0 , 1-x] \quad \mbox{for all } x\in E. $$

Since T has a fixed point, it is immediately clear that T has the approximate fixed point property. Next, we consider the values of \(r_{x}(T(x))\) in the following cases.

Case 1. \(0\leq x<1/4\). We have \(r_{x}(T(x))=\sup\{|x-y|: y\in[0,1-x]\}\geq|x-(1-x)|=1-2x>1/2\).

Case 2. \(x\geq1/4\). We have \(r_{x}(T(x))=\sup\{|x-y|: y\in[0,1-x]\}\geq|x-0|= x\geq1/4\).

Thus, \(\inf_{x\in E}r_{x}(T(x)) \geq1/4\). Therefore, T does not have the approximate endpoint property.

However, the converse of (1) in Proposition 2.2 is true under some additional conditions.

Proposition 2.4

Let E be a nonempty subset of a metric space \((X,d)\), \(\{x_{n}\}\) be a sequence in E, and \(T : E\to\mathcal{K}(X)\) be a mapping. Then \(r_{x_{n}}(T(x_{n}))\to0\) if and only if \(\operatorname{dist}(x_{n}, T(x_{n}))\to 0\) and \(\operatorname{diam}(T(x_{n}))\to0\).

Proof

Suppose that \(r_{x_{n}}(T(x_{n}))\to0\). Then \(\operatorname{dist}(x_{n}, T(x_{n}))\leq r_{x_{n}}(T(x_{n}))\to0\). To show that \(\operatorname{diam}(T(x_{n}))\to0\), we let \(u, v\in T(x_{n})\). Then

$$d(u,v)\leq d(u,x_{n})+d(x_{n},v) \leq2r_{x_{n}} \bigl(T(x_{n})\bigr). $$

This implies that \(\operatorname{diam}(T(x_{n}))\leq2r_{x_{n}}(T(x_{n}))\to0\).

Conversely, we suppose that \(\operatorname{dist}(x_{n}, T(x_{n}))\to0\) and \(\operatorname{diam}(T(x_{n}))\to0\). Since \(T(x_{n})\) is compact, for each \(n\in\mathbb{N}\), there exist \(y_{n}\) and \(u_{n}\) in \(T(x_{n})\) such that

$$d(x_{n},y_{n})=\operatorname{dist}\bigl(x_{n}, T(x_{n})\bigr) \quad\mbox{and}\quad d(x_{n},u_{n})=r_{x_{n}} \bigl(T(x_{n})\bigr). $$

Thus \(r_{x_{n}}(T(x_{n})) = d(x_{n},u_{n})\leq d(x_{n},y_{n})+d(y_{n},u_{n}) \leq\operatorname{dist}(x_{n}, T(x_{n})) + \operatorname{diam}(T(x_{n})) \to0\). □

Recall that a multivalued mapping \(T : E \to\mathcal{CB}(E)\) is said to be an (SL)-type mapping on E [22] if the following statements hold:

  1. (1)

    There exists an a.f.p.s. for T in each nonempty closed convex and T-invariant subset D of E. Here, T-invariant means \(T(x)\subseteq D\) for all \(x\in D\).

  2. (2)

    For any a.f.p.s. \(\{x_{n}\}\) of T in E and each \(x\in E\), one has

    $$\limsup_{n\to\infty}H\bigl(\{x_{n}\}, T(x)\bigr)\leq\limsup _{n\to\infty} \|x_{n}-x\|. $$

Remark 2.5

The mapping T in Example 2.3 is nonexpansive but is not (SL)-type.

Proof

We first show that T is nonexpansive. Let \(x, y\in E\). Then

$$\begin{aligned} H\bigl(T(x),T(y)\bigr) = & H\bigl([0, 1-x], [0, 1-y]\bigr) \\ = & \bigl|(1-x)-(1-y)\bigr| \\ = & |x-y|. \end{aligned}$$

Next, we show that T is not (SL)-type. For each \(n\in\mathbb{N}\), let \(x_{n}=1/n\). Then \(\operatorname{dist}(x_{n},T(x_{n}))\to0\), but

$$\begin{aligned} \lim_{n\to\infty}|x_{n}-0| =& 0 < 1 = \lim _{n\to\infty } (1-1/n ) \\ = & \lim_{n\to\infty}H \bigl( \{1/n \}, [0, 1] \bigr) \\ = & \lim_{n\to\infty}H\bigl(\{x_{n}\}, T(0)\bigr). \end{aligned}$$

 □

3 Main results

We begin this section by proving a result in uniformly convex Banach spaces.

Theorem 3.1

Let \((X,\|\cdot\|)\) be a uniformly convex Banach space, E be a nonempty bounded closed convex subset of X, and \(T : E\to \mathcal{K}(E)\) be a nonexpansive mapping. Then T has an endpoint if and only if T has the approximate endpoint property.

Proof

It is clear that if T has an endpoint, then T has the approximate endpoint property. Conversely, suppose that T has the approximate endpoint property. Then there exists a sequence \(\{x_{n}\}\) in E such that \(r_{x_{n}}(T(x_{n}))\to0\). It follows from Proposition 2.4 that

$$\operatorname{dist}\bigl(x_{n}, T(x_{n})\bigr)\to0 \quad \mbox{and}\quad \operatorname{diam}\bigl(T(x_{n})\bigr)\to0. $$

By passing through a subsequence, we may assume that \(\{x_{n}\}\) is regular relative to E. Let \(A(E,\{x_{n}\})=\{x\}\) and \(r=r(E,\{x_{n}\})\). For each \(n\in\mathbb{N}\), select \(y_{n}\in T(x_{n})\) and \(z_{n}\in T(x)\) so that

$$\|x_{n}-y_{n}\|=\operatorname{dist}\bigl(x_{n},T(x_{n}) \bigr) \quad\mbox{and} \quad \|y_{n}-z_{n}\| = \operatorname{dist}\bigl(y_{n},T(x)\bigr). $$

Since \(T(x)\) is compact, there exists a subsequence \(\{z_{n_{k}}\}\) of \(\{z_{n}\}\) such that \(z_{n_{k}}\to w\in T(x)\). Thus

$$\begin{aligned} \|x_{n_{k}}-w\| \leq& \|x_{n_{k}}-y_{n_{k}}\|+ \|y_{n_{k}}-z_{n_{k}}\|+\|z_{n_{k}}-w\| \\ \leq& \|x_{n_{k}}-y_{n_{k}}\|+H\bigl(T(x_{n_{k}}),T(x) \bigr)+\|z_{n_{k}}-w\| \\ \leq& \operatorname{dist}\bigl(x_{n_{k}},T(x_{n_{k}})\bigr)+ \|x_{n_{k}}-x\|+\|z_{n_{k}}-w\|. \end{aligned}$$

This implies by the regularity of \(\{x_{n}\}\) that \(\limsup_{k\to\infty}\|x_{n_{k}}-w\|\leq \limsup_{k\to\infty}\|x_{n_{k}}-x\|=r\). Hence \(w\in A(E,\{x_{n_{k}}\})=\{x\}\). Therefore \(x=w\in T(x)\). Next, we show that \(T(x)=\{x\}\). Take any point \(v\in T(x)\) and choose \(u_{n}\in T(x_{n})\) so that \(\|v- u_{n}\|=\operatorname{dist}(v,T(x_{n}))\). Thus

$$\begin{aligned} \|x_{n}-v\| \leq& \|x_{n}-y_{n}\|+ \|y_{n}-u_{n}\|+\|u_{n}-v\| \\ \leq& \|x_{n}-y_{n}\|+\operatorname{diam} \bigl(T(x_{n})\bigr)+H\bigl(T(x),T(x_{n})\bigr) \\ \leq& \operatorname{dist}\bigl(x_{n},T(x_{n})\bigr)+ \operatorname{diam}\bigl(T(x_{n})\bigr)+\|x_{n}-x\|. \end{aligned}$$

This implies that \(\limsup_{n\to\infty}\|x_{n}-v\|\leq \limsup_{n\to\infty}\|x_{n}-x\|=r\). Hence \(v\in A(E,\{x_{n}\})=\{x\}\), and so \(v=x\) for all \(v\in T(x)\). That is, \(T(x)=\{x\}\). Therefore \(x\in \operatorname{End}(T)\). □

We observe that if X has the Opial property, then the assumption that \(T:E\to\mathcal{K}(E)\) in Theorem 3.1 can be weakened to \(T:E\to\mathcal{K}(X)\). For this, we need the following fact which is known as the demiclosed principle.

Proposition 3.2

Let \((X,\|\cdot\|)\) be a Banach space having the Opial property, E be a nonempty closed convex subset of X, and \(T : E\to \mathcal{K}(X)\) be a nonexpansive mapping. If \(\{x_{n}\}\) is a sequence in E and \(x\in E\), then the conditions \(x_{n}\rightharpoonup x\), \(\operatorname{dist}(x_{n}, T(x_{n}))\to0\), and \(\operatorname{diam}(T(x_{n}))\to0\) imply \(x\in \operatorname{End}(T)\).

Proof

Since E is weakly closed, \(x\in E\). For each \(n\in\mathbb {N}\), we can choose \(y_{n}\in T(x_{n})\) and \(z_{n}\in T(x)\) so that

$$\|x_{n}-y_{n}\|=\operatorname{dist}\bigl(x_{n},T(x_{n}) \bigr) \quad\mbox{and} \quad \|y_{n}-z_{n}\| = \operatorname{dist}\bigl(y_{n},T(x)\bigr). $$

Since \(T(x)\) is compact, there exists a subsequence \(\{z_{n_{k}}\}\) of \(\{z_{n}\}\) such that \(z_{n_{k}}\to w\in T(x)\). As in the proof of Theorem 3.1, we can obtain

$$\limsup_{k\to\infty}\|x_{n_{k}}-w\|\leq \limsup _{k\to\infty}\|x_{n_{k}}-x\|. $$

The Opial property of X implies that \(x=w\in T(x)\). Next, we show that \(T(x)=\{x\}\). Take any point \(v\in T(x)\) and choose \(u_{n}\in T(x_{n})\) so that \(\|v- u_{n}\|=\operatorname{dist}(v,T(x_{n}))\). As in the proof of Theorem 3.1, we can obtain

$$\limsup_{n\to\infty}\|x_{n}-v\|\leq \limsup _{n\to\infty}\|x_{n}-x\|. $$

The Opial property of X implies that \(v=x\) and hence \(T(x)=\{x\}\). Therefore \(x\in \operatorname{End}(T)\). □

The following fact is an immediate consequence of Propositions 2.4 and 3.2.

Proposition 3.3

Let \((X,\|\cdot\|)\) be a Banach space having the Opial property, E be a nonempty closed convex subset of X, and \(T : E\to \mathcal{K}(X)\) be a nonexpansive mapping. If \(\{x_{n}\}\) is a sequence in E such that \(x_{n}\rightharpoonup x\in E\) and \(r_{x_{n}}(T(x_{n}))\to0\), then \(x\in \operatorname{End}(T)\).

Theorem 3.4

Let \((X,\|\cdot\|)\) be a reflexive Banach space having the Opial property, E be a nonempty bounded closed convex subset of X, and \(T : E\to\mathcal{K}(X)\) be a nonexpansive mapping. Then T has an endpoint if and only if T has the approximate endpoint property.

Proof

The necessity is clear. For the sufficiency, we suppose that T has the approximate endpoint property. Then there exists a sequence \(\{x_{n}\}\) in E such that \(r_{x_{n}}(T(x_{n}))\to0\). Since \(\{x_{n}\}\) is bounded, by the reflexivity of X, there exists a subsequence \(\{x_{n_{k}}\}\) of \(\{x_{n}\}\) such that \(x_{n_{k}}\rightharpoonup x\in E\). The conclusion follows from Proposition 3.3. □

As an immediate consequence of Theorem 3.4 and Proposition 2.2, we can obtain the following.

Corollary 3.5

Let \((X,\|\cdot\|)\) be a reflexive Banach space having the Opial property, E be a nonempty bounded closed convex subset of X, and \(f : E\to X\) be a single-valued nonexpansive mapping. Then f has a fixed point if and only if f has the approximate fixed point property.

4 CAT(0) spaces

Let \([0,l]\) be a closed interval in \(\mathbb{R}\) and x, y be two points in a metric space \((X,d)\). A geodesic joining x to y is a map \(\xi:[0,l]\to X\) such that \(\xi(0)=x\), \(\xi(l)=y\), and \(d(\xi(s),\xi(t))=|s-t|\) for all \(s, t\in[0,l]\). The image of ξ is called a geodesic segment joining x and y which when unique is denoted by \([x,y]\). The space \((X,d)\) is said to be a geodesic space if every two points in X are joined by a geodesic, and X is said to be uniquely geodesic if there is exactly one geodesic joining x and y for each \(x,y\in X\). A subset E of X is said to be convex if every pair of points \(x,y\in E\) can be joined by a geodesic in X and the image of every such geodesic is contained in E.

A geodesic triangle \(\triangle(p, q, r)\) in a geodesic space \((X,d)\) consists of three points p, q, r in X and a choice of three geodesic segments \([p, q]\), \([q, r]\), \([r, p]\) joining them. A comparison triangle for geodesic triangle \(\triangle(p, q, r)\) in X is a triangle \(\overline{\triangle}(\bar{p}, \bar{q}, \bar{r})\) in the Euclidean plane \(\mathbb{R}^{2}\) such that \(d_{\mathbb{R}^{2}} ( \bar{p},\bar{q} ) = d(p, q)\), \(d_{\mathbb{R}^{2}} ( \bar{q},\bar{r} ) = d(q, r)\), and \(d_{\mathbb{R}^{2}} ( \bar{r},\bar{p} ) = d(r, p)\). A point \(\bar{u}\in[\bar{p}, \bar{q}]\) is called a comparison point for \(u\in[p, q]\) if \(d(p, u)=d_{\mathbb{R}^{2}}(\bar{p},\bar{u})\). Comparison points on \([\bar{q}, \bar{r}]\) and \([\bar{r}, \bar{p}]\) are defined in the same way.

Definition 4.1

A geodesic triangle \(\triangle(p, q, r)\) in \((X,d)\) is said to satisfy the CAT(0) inequality if for any \(u,v\in\triangle(p, q, r)\) and for their comparison points \(\bar{u}, \bar{v}\in \overline{\triangle}(\bar{p}, \bar{q}, \bar{r})\), one has

$$d(u,v)\leq d_{\mathbb{R}^{2}}(\bar{u}, \bar{v}). $$

A geodesic space X is said to be a CAT(0) space if all of its geodesic triangles satisfy the CAT(0) inequality. For other equivalent definitions and basic properties of CAT(0) spaces, we refer the reader to standard texts such as [27, 28]. It is well known that every CAT(0) space is uniquely geodesic. Notice also that pre-Hilbert spaces, \(\mathbb{R}\)-trees, and Euclidean buildings are examples of CAT(0) spaces (see [27, 29]).

It is known from Proposition 7 of [30] that if \(\{x_{n}\} \) is a bounded sequence in a complete CAT(0) space X, then its asymptotic center \(A(\{x_{n}\})\) consists of exactly one point.

We now give the concept of Δ-convergence and collect some of its basic properties.

Definition 4.2

([31])

A sequence \(\{x_{n}\}\) in a CAT(0) space X is said to Δ-converge to \(x\in X\) if x is the unique asymptotic center of \(\{x_{n_{k}}\}\) for every subsequence \(\{x_{n_{k}}\}\) of \(\{x_{n}\}\). In this case we write \(x_{n}\xrightarrow{\Delta}x\) and call x the Δ-limit of \(\{x_{n}\} \).

Lemma 4.3

([31])

Every bounded sequence in a complete CAT(0) space always has a Δ-convergent subsequence.

Lemma 4.4

([32])

If E is a closed convex subset of a complete CAT(0) space and if \(\{x_{n}\}\) is a bounded sequence in E, then the asymptotic center of \(\{x_{n}\}\) is in E.

Let \(x,y\in X\), by Lemma 2.1 of [33] for each \(t\in[0,1]\), there exists a unique point \(z\in[x,y]\) such that

$$ d(x,z)=(1-t)d(x,y) \quad \mbox{and}\quad d(y,z)= t d(x,y). $$
(2)

We use the notation \(t x\oplus(1-t)y\) for the unique point z satisfying (2).

Lemma 4.5

([33])

If \((X,d)\) is a CAT(0) space, then

$$ d\bigl(z, t x\oplus(1-t)y\bigr)^{2}\leq t d(z,x)^{2}+ (1-t)d(z,y)^{2}-t(1-t)d(x,y)^{2} $$
(3)

for all \(t\in[0,1]\) and \(x,y,z\in X\).

Inequality (3) is known as the (CN) inequality of Bruhat and Tits [34]. The following lemma is an analog of Proposition 3.2. It can be viewed as an extension of Proposition 3.7 in [31].

Lemma 4.6

Let E be a nonempty closed convex subset of a complete CAT(0) space \((X,d)\) and \(T : E\to\mathcal{K}(X)\) be a nonexpansive mapping. If \(\{x_{n}\}\) is a sequence in E and \(x\in E\), then the conditions \(x_{n}\xrightarrow{\Delta}x\), \(\operatorname{dist}(x_{n}, T(x_{n}))\to0\), and \(\operatorname{diam}(T(x_{n}))\to0\) imply \(x\in \operatorname{End}(T)\).

Proof

By Lemma 4.4, \(x\in E\). For each \(n\in\mathbb {N}\), we can choose \(y_{n}\in T(x_{n})\) and \(z_{n}\in T(x)\) such that

$$d(x_{n},y_{n})=\operatorname{dist}\bigl(x_{n},T(x_{n}) \bigr) \quad \mbox{and} \quad d(y_{n},z_{n})=\operatorname {dist}\bigl(y_{n},T(x)\bigr). $$

Since \(T(x)\) is compact, there exists a subsequence \(\{z_{n_{k}}\}\) of \(\{z_{n}\}\) such that \(z_{n_{k}}\to w\in T(x)\). As in the proof of Theorem 3.1, we can obtain that \(\limsup_{k\to\infty}d(x_{n_{k}},w)\leq \limsup_{k\to\infty}d(x_{n_{k}}, x)\). Therefore, \(w\in A(\{x_{n_{k}}\})=\{x\}\) and hence \(x=w\in T(x)\). Next, we show that \(T(x)=\{x\}\). Take any point \(v\in T(x)\) and choose \(u_{n}\in T(x_{n})\) so that \(d(v, u_{n})=\operatorname{dist}(v,T(x_{n}))\). Again, as in the proof of Theorem 3.1, we can obtain \(\limsup_{n\to\infty}d(x_{n},v)\leq \limsup_{n\to\infty}d(x_{n},x)\). This implies that \(v\in A(\{x_{n}\})=\{x\}\) and hence \(T(x)=\{x\}\). Therefore, \(x\in \operatorname{End}(T)\). □

Theorem 4.7

Let E be a nonempty bounded closed convex subset of a complete CAT(0) space \((X,d)\) and \(T : E\to\mathcal{K}(X)\) be a nonexpansive mapping. Then T has an endpoint if and only if T has the approximate endpoint property.

Proof

The necessity is clear. For the sufficiency, we suppose that T has the approximate endpoint property. Then there exists a sequence \(\{x_{n}\}\) in E such that \(r_{x_{n}}(T(x_{n}))\to0\) and hence \(\operatorname{dist}(x_{n}, T(x_{n}))\to0\) and \(\operatorname{diam}(T(x_{n}))\to0\) by Proposition 2.4. Since \(\{x_{n}\}\) is bounded, by Lemmas 4.3 and 4.4, there exists a subsequence \(\{x_{n_{k}}\}\) of \(\{x_{n}\}\) such that \(x_{n_{k}}\xrightarrow{\Delta}x\in E\). By Lemma 4.6, x is an endpoint of T. □

As a consequence of Theorem 4.7, we can obtain the following.

Corollary 4.8

([35], Theorem 21)

Let E be a nonempty bounded closed convex subset of a complete CAT(0) space \((X,d)\) and \(f : E\to X\) be a single-valued nonexpansive mapping. Then f has a fixed point if and only if \(\inf\{d(x,f(x)): x\in E\}=0\).

If T is a single-valued nonexpansive mapping on a closed convex subset of a complete CAT(0) space, then \(\operatorname{Fix}(T)\) is closed and convex (see, e.g., Kirk [36]). The closedness of \(\operatorname{Fix}(T)\) can be easily extended to the multivalued case. But the convexity of \(\operatorname{Fix}(T)\) cannot be extended (see, e.g., [37, 38]). However, if T is a multivalued nonexpansive mapping, then \(\operatorname{End}(T)\) is always closed and convex as the following result.

Theorem 4.9

Let E be a nonempty closed convex subset of a complete CAT(0) space \((X,d)\) and \(T:E\to \mathcal{CB}(X)\) be a nonexpansive mapping with \(\operatorname{End}(T)\neq\emptyset\). Then \(\operatorname{End}(T)\) is closed and convex.

Proof

Let \(\{x_{n}\}\) be a sequence in \(\operatorname{End}(T)\) such that \(x_{n}\to x\in E\). We will show that \(x\in \operatorname{End}(T)\). Since T is nonexpansive, we have

$$\begin{aligned} \operatorname{dist}\bigl(x, T(x)\bigr) \leq& d(x,x_{n}) + \operatorname{dist}\bigl(x_{n}, T(x)\bigr) \\ \leq& d(x,x_{n})+ H\bigl(T(x_{n}), T(x)\bigr) \\ \leq& 2 d(x,x_{n}) \to0 \quad\mbox{as } n\to\infty. \end{aligned}$$

This implies that \(x\in T(x)\). Next, we show that \(T(x)=\{x\}\). Take any point \(v\in T(x)\). Since \(x_{n}\in \operatorname{End}(T)\), we have

$$\begin{aligned} d(v,x) \leq& d(v, x_{n})+ d(x_{n}, x) \\ = & \operatorname{dist}\bigl(v, T(x_{n})\bigr)+ d(x_{n}, x) \\ \leq& H\bigl(T(x), T(x_{n})\bigr) + d(x, x_{n}) \\ \leq& 2 d(x, x_{n}) \to0 \quad\mbox{as } n\to\infty. \end{aligned}$$

Hence \(v=x\). Since \(v\in T(x)\) is arbitrary, \(T(x)=\{x\}\). Therefore, \(\operatorname{End}(T)\) is closed. Next, we show that \(\operatorname{End}(T)\) is convex. Let \(p,q\in \operatorname{End}(T)\) and \(w=t p\oplus(1-t)q\) for some \(t\in(0,1)\). We will show that \(T(w)=\{w\}\). Take any point \(v\in T(w)\). By the (CN) inequality, we have

$$\begin{aligned} d^{2}(v,w) \leq& t d^{2}(v,p)+(1-t)d^{2}(v,q)-t(1-t)d^{2}(p,q) \\ \leq& t H^{2}\bigl(T(w), T(p)\bigr)+(1-t)H^{2}\bigl(T(w), T(q)\bigr)-t(1-t)d^{2}(p,q) \\ \leq& t d^{2}(w, p)+(1-t)d^{2}(w, q)-t(1-t)d^{2}(p,q) \\ =& t(1-t)^{2} d^{2}(p,q)+(1-t)t^{2}d^{2}(p,q)-t(1-t)d^{2}(p,q) \\ =& 0. \end{aligned}$$

This implies that \(v=w\). Since \(v\in T(w)\) is arbitrary, we have \(T(w)=\{w\}\). Therefore, \(\operatorname{End}(T)\) is convex. □

5 Concluding remarks and open questions

Remark 5.1

As we have observed from Proposition 2.1, every Hilbert space is a uniformly convex Banach space and is a reflexive Banach space having the Opial property and is even a CAT(0) space. Thus, all results in this article also hold in Hilbert spaces.

In view of Theorems 3.4 and 4.7, we do not know if Theorem 3.1 can be extended to nonself-mappings. Therefore, the following question remains open.

Question 5.2

Let X be a uniformly convex Banach space, E be a nonempty bounded closed convex subset of X, and \(T : E\to\mathcal{K}(X)\) be a nonexpansive mapping. If T has the approximate endpoint property, then does T have an endpoint?

In view of Theorems 3.1 and 3.4, along with Proposition 2.1, the following question should be of interest.

Question 5.3

Let X be a reflexive Banach space with normal structure, E be a nonempty bounded closed convex subset of X, and \(T : E\to\mathcal{K}(E)\) be a nonexpansive mapping. If T has the approximate endpoint property, then does T have an endpoint?

One may observe that the (CN) inequality is a key tool in the proof of Theorem 4.9 and there is an inequality in uniformly convex Banach spaces similar to it (see [39], p.1133). However, Theorem 4.9 for uniformly convex Banach spaces is unknown. Therefore, the following question remains open.

Question 5.4

Let X be a uniformly convex Banach space, E be a nonempty closed convex subset of X, and \(T : E\to\mathcal{CB}(X)\) be a nonexpansive mapping. Is \(\operatorname{End}(T)\) convex?

References

  1. Aubin, JP, Siegel, J: Fixed points and stationary points of dissipative multivalued maps. Proc. Am. Math. Soc. 78, 391-398 (1980)

    Article  MATH  MathSciNet  Google Scholar 

  2. Yamamoto, Y: A path following algorithm for stationary point problems. J. Oper. Res. Soc. Jpn. 30, 181-199 (1987)

    MATH  Google Scholar 

  3. Yamamoto, Y: Fixed point algorithms for stationary point problems. In: Mathematical Programming (Tokyo, 1988). Math. Appl. (Japanese Ser.), vol. 6, pp. 283-307. SCIPRESS, Tokyo (1989)

    Google Scholar 

  4. Kahn, MS, Rao, KR, Cho, YJ: Common stationary points for set-valued mappings. Int. J. Math. Math. Sci. 16, 733-736 (1993)

    Article  MATH  MathSciNet  Google Scholar 

  5. Singh, SL, Mishra, SN: Coincidence points, hybrid fixed and stationary points of orbitally weakly dissipative maps. Math. Jpn. 39, 451-459 (1994)

    MATH  MathSciNet  Google Scholar 

  6. Birsan, T: Applications of Brezis-Browder principle to the existence of fixed points and endpoints for multifunctions. Balk. J. Geom. Appl. 3, 23-32 (1998)

    MATH  MathSciNet  Google Scholar 

  7. Liu, Z, Kang, SM: Common stationary points of multivalued mappings on bounded metric spaces. Int. J. Math. Math. Sci. 24, 773-779 (2000)

    Article  MATH  MathSciNet  Google Scholar 

  8. Wlodarczyk, 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)

    Article  MATH  MathSciNet  Google Scholar 

  9. Wlodarczyk, K, Plebaniak, R, Obczynski, C: Endpoints of set-valued dynamical systems of asymptotic contractions of Meir-Keeler type and strict contractions in uniform spaces. Nonlinear Anal. 67, 1668-1679 (2007)

    Article  MATH  MathSciNet  Google Scholar 

  10. Wardowski, D: Endpoints and fixed points of set-valued contractions in cone metric spaces. Nonlinear Anal. 71, 512-516 (2009)

    Article  MATH  MathSciNet  Google Scholar 

  11. Amini-Harandi, A: Endpoints of set-valued contractions in metric spaces. Nonlinear Anal. 72, 132-134 (2010)

    Article  MATH  MathSciNet  Google Scholar 

  12. Lin, LJ, Du, WS: From an abstract maximal element principle to optimization problems, stationary point theorems and common fixed point theorems. J. Glob. Optim. 46, 261-271 (2010)

    Article  MATH  MathSciNet  Google Scholar 

  13. Fakhar, M: Endpoints of set-valued asymptotic contractions in metric spaces. Appl. Math. Lett. 24, 428-431 (2011)

    Article  MATH  MathSciNet  Google Scholar 

  14. Moradi, S, Khojasteh, F: Endpoints of multi-valued generalized weak contraction mappings. Nonlinear Anal. 74, 2170-2174 (2011)

    Article  MathSciNet  Google Scholar 

  15. Jachymski, J: A stationary point theorem characterizing metric completeness. Appl. Math. Lett. 24, 169-171 (2011)

    Article  MATH  MathSciNet  Google Scholar 

  16. Fakhar, M, Soltani, Z, Zafarani, J: Some asymptotic stationary point theorems in topological spaces. Topol. Appl. 159, 3453-3460 (2012)

    Article  MATH  MathSciNet  Google Scholar 

  17. Petrusel, A, Rus, IA: An abstract point of view on iterative approximation schemes of fixed points for multivalued operators. J. Nonlinear Sci. Appl. 6, 97-107 (2013)

    MATH  MathSciNet  Google Scholar 

  18. Choudhury, BS, Metiya, N, Maity, P: Coincidence point results of multivalued weak C-contractions on metric spaces with a partial order. J. Nonlinear Sci. Appl. 6, 7-17 (2013)

    MATH  MathSciNet  Google Scholar 

  19. Aydi, H, Abbas, M, Vetro, C: Common fixed points for multivalued generalized contractions on partial metric spaces. Rev. R. Acad. Cienc. Exactas Fís. Nat., Ser. A Mat. 108, 483-501 (2014)

    Article  MATH  MathSciNet  Google Scholar 

  20. Amini-Harandi, A, Petrusel, A: An endpoint theorem in generalized L-spaces with applications. J. Nonlinear Convex Anal. 16, 265-271 (2015)

    MATH  MathSciNet  Google Scholar 

  21. Garcia-Falset, J, Llorens-Fuster, E, Prus, S: The fixed point property for mappings admitting a center. Nonlinear Anal. 66, 1257-1274 (2007)

    Article  MATH  MathSciNet  Google Scholar 

  22. Garcia-Falset, J, Llorens-Fuster, E, Moreno-Galvez, E: Fixed point theory for multivalued generalized nonexpansive mappings. Appl. Anal. Discrete Math. 6, 265-286 (2012)

    Article  MATH  MathSciNet  Google Scholar 

  23. Goebel, K, Kirk, WA: Topics in Metric Fixed Point Theory. Cambridge University Press, Cambridge (1990)

    Book  MATH  Google Scholar 

  24. Khamsi, MA, Kirk, WA: An Introduction to Metric Spaces and Fixed Point Theory. Pure and Applied Mathematics. Wiley-Interscience, New York (2001)

    Book  Google Scholar 

  25. Goebel, K: On a fixed point theorem for multivalued nonexpansive mappings. Ann. Univ. Mariae Curie-Skłodowska, Sect. A 29, 69-72 (1975)

    MATH  MathSciNet  Google Scholar 

  26. Lim, TC: A fixed point theorem for multivalued nonexpansive mappings in a uniformly convex Banach space. Bull. Am. Math. Soc. 80, 1123-1126 (1974)

    Article  MATH  Google Scholar 

  27. Bridson, M, Haefliger, A: Metric Spaces of Non-Positive Curvature. Springer, Berlin (1999)

    Book  MATH  Google Scholar 

  28. Burago, D, Burago, Y, Ivanov, S: A Course in Metric Geometry. Graduate Studies in Math., vol. 33. Am. Math. Soc., Providence (2001)

    MATH  Google Scholar 

  29. Brown, KS: Buildings. Springer, New York (1989)

    Book  MATH  Google Scholar 

  30. Dhompongsa, S, Kirk, WA, Sims, B: Fixed points of uniformly Lipschitzian mappings. Nonlinear Anal. 65, 762-772 (2006)

    Article  MATH  MathSciNet  Google Scholar 

  31. Kirk, WA, Panyanak, B: A concept of convergence in geodesic spaces. Nonlinear Anal. 68, 3689-3696 (2008)

    Article  MATH  MathSciNet  Google Scholar 

  32. Dhompongsa, S, Kirk, WA, Panyanak, B: Nonexpansive set-valued mappings in metric and Banach spaces. J. Nonlinear Convex Anal. 8, 35-45 (2007)

    MATH  MathSciNet  Google Scholar 

  33. Dhompongsa, S, Panyanak, B: On Δ-convergence theorems in CAT(0) spaces. Comput. Math. Appl. 56, 2572-2579 (2008)

    Article  MATH  MathSciNet  Google Scholar 

  34. Bruhat, F, Tits, J: Groupes réductifs sur un corps local. I. Données radicielles valuées. Publ. Math. Inst. Hautes Études Sci. 41, 5-251 (1972)

    Article  MATH  MathSciNet  Google Scholar 

  35. Kirk, WA: Geodesic geometry and fixed point theory. In: Seminar of Mathematical Analysis (Malaga/Seville, 2002/2003). Colecc. Abierta, vol. 64, pp. 195-225. Univ. Sevilla Secr. Publ., Seville (2003)

    Google Scholar 

  36. Kirk, WA: Geodesic geometry and fixed point theory II. In: International Conference on Fixed Point Theory and Applications, pp. 113-142. Yokohama Publishers, Yokohama (2004)

    Google Scholar 

  37. Pietramala, P: Convergence of approximating fixed point sets for multivalued nonexpansive mappings. Comment. Math. Univ. Carol. 32, 697-701 (1991)

    MATH  MathSciNet  Google Scholar 

  38. Xu, HK: On weakly nonexpansive and ∗-nonexpansive multivalued mappings. Math. Jpn. 36, 441-445 (1991)

    Google Scholar 

  39. Xu, HK: Inequalities in Banach spaces with applications. Nonlinear Anal. 16, 1127-1138 (1991)

    Article  MATH  MathSciNet  Google Scholar 

Download references

Acknowledgements

The author thanks Chiang Mai University for financial support.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Bancha Panyanak.

Additional information

Competing interests

The author declares that there is no conflict of interests regarding the publication of this article.

Rights and permissions

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.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Panyanak, B. Endpoints of multivalued nonexpansive mappings in geodesic spaces. Fixed Point Theory Appl 2015, 147 (2015). https://doi.org/10.1186/s13663-015-0398-y

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13663-015-0398-y

Keywords