On common approximate fixed points of monotone nonexpansive semigroups in Banach spaces

  • Mostafa Bachar
  • Mohamed A Khamsi
Open Access
Part of the following topical collections:
  1. New Challenges and Trends in Fixed Point Theory and Its Applications


In this paper, we investigate the common approximate fixed points of monotone nonexpansive semigroups of nonlinear mappings \(\{T(t)\}_{t \geq0}\), i.e., a family such that \(T(0)x=x\), \(T(s+t)x=T(s)\circ T(t)x \), where the domain is a Banach space. In particular we prove that under suitable conditions, the common approximate fixed points are the same as the common approximate fixed points set of two mappings from the family. Then we give an algorithm of how to construct an approximate fixed point sequence of the semigroup in the case of a uniformly convex Banach space.


approximate fixed point common approximate fixed point fixed point common fixed point integral equation monotone nonexpansive mapping semigroup 


47H09 46B20 47H10 47E10 

1 Introduction

Nonexpansive mappings are those maps which have Lipschitz constant equal to 1. The fixed point theory for such mappings is rich and varied. It finds many applications in nonlinear functional analysis. The existence of fixed points for nonexpansive mappings in Banach and metric spaces has been investigated since the early 1960s; see, e.g., Belluce and Kirk [1, 2], Browder [3], Bruck [4], Lim [5].

In recent years, a new direction has been very active essentially after the publication of Ran and Reurings fixed point theorem [6] dealing with the extension of the Banach contraction principle to metric spaces endowed with a partial order. In particular, they show how this extension is useful when dealing with some special matrix equations. It is worth mentioning that similar results were discovered by Turinici [7, 8]. Another similar approach was carried out by Nieto and Rodríguez-López [9] and used such arguments in solving some differential equations. In [10] Jachymski gave a more general unified version of these extensions by considering graphs instead of a partial order.

The purpose of this paper is to prove the existence of approximate fixed points for semigroups of nonlinear monotone mappings acting in a Banach vector space endowed with a partial order. Note that from a numerical point of view, approximate fixed points are very useful since exact fixed points may be hard to find. Moreover, we will also give an algorithm of how to build such approximate fixed points. Let us recall that a family \(\{T(t)\}_{t\geq0}\) of mappings forms a semigroup if \(T(0)x = x\) and \(T(s+t)x = T(s)T(t)\). Such a situation is quite typical in mathematics and applications. For instance, in the theory of dynamical systems, the vector function space would define the state space and the mapping \((t, x)\rightarrow T(t)x\) would represent the evolution function of a dynamical system. In the setting of this paper, the state space is a Banach space. Our approach is new and different from the ideas found in [6, 7, 8, 9, 11]. Indeed when one deals with a contraction, the focus is usually on the distance being complete. But when dealing with nonexpansive mappings, then geometric properties of the space are crucial.

For more on metric fixed point theory, the reader may consult the books [12, 13]. As for the semigroup theory, we suggest the references [14, 15, 16].

2 Preliminaries

Let \((X,\|\cdot\|)\) be a Banach vector space and suppose that ⪯ is a partial order on X. Throughout, we will assume that the partial order ⪯ and the liner structure of X enjoys the following convexity property:
$$a \preceq b \mbox{ and } c \preceq d \quad \Longrightarrow \quad \alpha a + (1- \alpha) c \preceq\alpha b + (1-\alpha) d $$
for any \(\alpha\in[0,1]\) and \(a, b,c,d \in X\). Moreover, we will assume that order intervals are closed. Recall that an order interval is any of the subsets
  1. (i)

    \([a,\rightarrow) = \{x \in X; a \preceq x\}\),

  2. (ii)

    \((\leftarrow,a] = \{x \in X; x \preceq a\}\),

for any \(a \in X\). Next we give the definition of monotone nonexpansive mappings.

Definition 2.1

Let \((X, \|\cdot\|, \preceq)\) be as above. Let C be a nonempty subset of X. A map \(T: B \rightarrow X\) is said to be
  1. (a)

    monotone if \(T(x) \preceq T(y)\) whenever \(x \preceq y\);

  2. (b)
    monotone nonexpansive if T is monotone and
    $$\bigl\| T(x)-T(y) \bigr\| \leq\|x-y\| $$
    for any \(x, y \in C\) such that \(x \preceq y\).
A fixed point of T is any element \(x \in C\) such that \(T(x) =x\). The set of all fixed points of T is denoted by \(\operatorname{Fix}(T)\). A sequence \(\{ x_{n}\}\) is called an approximate fixed point sequence of T if \(\lim_{n \rightarrow\infty} \|T(x_{n})- x_{n}\| = 0\). The set of approximate fixed point sequences of T will be denoted by \(\operatorname{AFPS}(T)\).

This definition is extended to the case of semigroup of mappings.

Definition 2.2

Let \((X, \|\cdot\|, \preceq)\) be as above. Let C be a nonempty subset of X. A one-parameter family \(\mathcal{F}=\{T(t); t\geq0\}\) of mappings from C into C is said to be a monotone nonexpansive semigroup if \(\mathcal{F}\) satisfies the following conditions:
  1. (i)

    \(T(0)x = x\) for \(x \in C\);

  2. (ii)

    \(T(t+s) = T(t)\circ T(s)\) for \(t,s \in[0,\infty)\);

  3. (iii)

    for each \(t \geq0\), \(T(t)\) is a monotone nonexpansive mapping.

Define then the set of all common fixed points of \(\mathcal{F}\) as \(\operatorname{Fix}(\mathcal{F})=\bigcap_{t \geq0} \operatorname{Fix}(T(t))\). Similarly, define the set of approximate point sequences of \(\mathcal{F}\), denoted by \(\operatorname{AFPS}(\mathcal{F})\), as \(\operatorname{AFPS}(\mathcal{F}) = \bigcap_{t \geq0}\operatorname{AFPS}(T(t))\).

Next we give an example of such semigroup.

Example 2.1

Let \((X, \|\cdot\|, \preceq)\) be as above. Let C be a nonempty closed, bounded convex subset of X. Let \(J: C \rightarrow C\) be a monotone nonexpansive mapping. Let \(x \in C\) be such that \(x \preceq J(x)\). Consider the recurrent sequence defined by
$$\begin{aligned} \left \{ \textstyle\begin{array}{@{}l} u_{0}(t) = x, \\ u_{n+1}(t) = e^{-t}x + \int_{0}^{t} e^{s-t} J(u_{n}(s))\,ds \end{array}\displaystyle \right . \end{aligned}$$
for any \(t\in[0,A]\), where A is a fixed positive number. Then the sequence \(\{u_{n}(t)\}\) is Cauchy for any \(t\in[0,A]\). Indeed, let us suppose that \(x, y:[0,A] \rightarrow X\) are continuous functions. For each \(t \in[0,A]\), we have
$$ \biggl\| e^{-t}y(t) + \int_{0}^{t} e^{s-t} x(s)\,ds \biggr\| \leq e^{-t} \| y\|_{\infty}+ K(t) \|x \|_{\infty}, $$
where \(\|u\|_{\infty}= \sup\{\|u(s)\|; t\in[0,A]\}\) and \(K(t) = \int_{0}^{t} e^{s-t}\,ds = 1 - e^{-t}\). Indeed, let \(t\in[0, A]\) be fixed, and \(\tau= \{t_{i}; i=0,1,\ldots,n \}\) be any subdivision of \([0,t]\). Set
$$S_{\tau}= e^{-t} y(t) + \sum_{i=0}^{n-1} (t_{i+1} - t_{i}) e^{t_{i} -t} x(t_{i}). $$
The family \(\{S_{\tau}\}\) is norm-convergent to
$$S=e^{-t} y(t) + \int_{0}^{t} e^{s-t} x(s)\,ds, $$
when \(|\tau| = \sup\{|t_{i+1} - t_{i}|; i=0,1,\ldots,(n-1)\}\) goes to 0. Since
$$\sup_{s \in[0,t]} \bigl\| x(s)\bigr\| \leq\sup_{s \in[0,A]} \bigl\| x(s)\bigr\| = \|x\| _{\infty}$$
$$\|S_{\tau}\| \leq e^{-t} \bigl\| y(t)\bigr\| + \sum _{i=0}^{n-1} (t_{i+1} -t_{i}) e^{t_{i}-t} \|x\|_{\infty}\leq e^{-t} \bigl\| y(t)\bigr\| + K(t) \|x \|_{\infty}, $$
where we used
$$\sum_{i=0}^{n-1} (t_{i+1} -t_{i}) e^{t_{i}-t} \leq\int_{0}^{t} e^{s-t}\,ds = K(t) , $$
then we have \(\|S\|\leq e^{-t} \|y(t)\| + K(t) \|x\|_{\infty}\). Therefore we have
$$ \biggl\| e^{-t}y(t) + \int_{0}^{t} e^{s-t} x(s)\,ds \biggr\| \leq e^{-t} \| y\|_{\infty}+ K(t) \|x \|_{\infty}$$
for any \(t \in[0,A]\). Next we discuss the sequence \(\{u_{n}(t)\}\). Since
$$u_{1}(t) = e^{-t} x + \int_{0}^{t} e^{s-t} J(x)\,ds = e^{-t} x + \bigl(1-e^{-t} \bigr) J(x), \quad t \in[0,A], $$
we have \(u_{0}(t) \preceq u_{1}(t)\) for any \(t \in[0,A]\). Assume that \(u_{n}(t) \preceq u_{n+1}(t)\) for any \(t \in[0,A]\). Then we have \(J(u_{n}(t)) \preceq J(u_{n+1}(t))\) for any \(t \in[0,A]\) because J is monotone. Using the properties of the partial order ⪯, we get
$$u_{n+1}(t) = e^{-t}x + \int_{0}^{t} e^{s-t} J\bigl(u_{n}(s)\bigr)\,ds \preceq e^{-t}x + \int_{0}^{t} e^{s-t} J\bigl(u_{n+1}(s) \bigr)\,ds = u_{n+2}(t) $$
for any \(t \in[0,A]\). By induction, we conclude that \(\{u_{n}(t)\}\) is monotone increasing for any \(t \in[0,A]\). Moreover, we have
$$u_{n+2}(t) - u_{n+1}(t) = \int_{0}^{t} e^{s-t} \bigl(J\bigl(u_{n+1}(s)\bigr)-J\bigl(u_{n}(s) \bigr) \bigr)\,ds, \quad t \in[0,A], $$
which implies by using the monotone nonexpansive behavior of J
$$\bigl\| u_{n+2}(t) - u_{n+1}(t)\bigr\| \leq\int_{0}^{t} e^{s-t} \bigl\| J\bigl(u_{n+1}(s)\bigr)-J\bigl(u_{n}(s) \bigr) \bigr\| \,ds, \quad t \in[0,A], $$
$$\bigl\| u_{n+2}(t) - u_{n+1}(t)\bigr\| \leq\int_{0}^{t} e^{s-t} \bigl\| u_{n+1}(s)-u_{n}(s) \bigr\| \,ds, \quad t \in[0,A] $$
for any \(n \geq0\). From this inequality and by induction, we get
$$\bigl\| u_{n+1}(t) - u_{n}(t)\bigr\| \leq \bigl(1-e^{-A} \bigr)^{n} \operatorname{diam}(C), \quad t \in[0,A], $$
where \(\operatorname{diam}(C) = \sup\{\|y-z\|; y, z \in C\} < \infty\), since C is bounded. Hence
$$\bigl\| u_{n+h}(t) - u_{n}(t)\bigr\| \leq \frac{(1-e^{-A})^{n}}{1-(1-e^{-A})} \operatorname{diam}(C) = e^{A} \bigl(1-e^{-A} \bigr)^{n} \operatorname{diam}(C) $$
for any \(t \in[0,A]\) and \(n,h \in\mathbb{N}\). Clearly this implies that \(\{u_{n}(t)\}\) is Cauchy for any \(t \in[0,A]\). Since order intervals are closed, we conclude that the limit \(u(t)\) of \(\{u_{n}(t)\}\) satisfies \(u_{n}(t) \preceq u(t)\) for any \(n \geq0\) and \(t \in[0,A]\). Using the monotone nonexpansive behavior of J, we get
$$\bigl\| J\bigl(u_{n}(t)\bigr) - J\bigl(u(t)\bigr)\bigr\| \leq \bigl\| u_{n}(t) - u(t)\bigr\| \leq e^{A} \bigl(1-e^{-A} \bigr)^{n} \operatorname{diam}(C) $$
for any \(t \in[0,A]\) and \(n,h \in\mathbb{N}\). In particular, we have \(\lim_{n \rightarrow+\infty} J(u_{n}(t)) = J(u(t))\), uniformly in \([0,A]\), which implies
$$ u(t) = e^{-t}x + \int_{0}^{t} e^{s-t} J\bigl(u(s)\bigr)\,ds, \quad t \in[0,A]. $$
Moreover, the same proof as above will show that if \(x \preceq y\), then \(u_{n}(t) \preceq U_{n}(t)\), for any \(n, t \geq0\), where \(u_{n}\) and \(U_{n}\) are the functions obtained by the initial values x and y respectively by (2.1). This will imply that \(u(t) \preceq U(t)\) for any \(t \geq0\). Define the one-parameter family \({\mathcal{F}}: [0,\infty)\times C\rightarrow C\) by
$$T(t)x = u(t). $$
Then \(\mathcal{F}\) defines a semigroup which is monotone nonexpansive. Indeed, we have \(\|u_{0}(t) - U_{0}(t)\|=\|x - y\|=\|x - y\|_{\infty}\). Assume \(\|u_{n}(t) - U_{n}(t)\|\leq\|x - y\|\), then by using (2.2) we will have
$$\bigl\| u_{n+1}(t) - U_{n+1}(t)\bigr\| \leq e^{-t}\|x - y\|+\int ^{t}_{0}e^{s-t}\bigl\| u_{n}(s) - U_{n}(s)\bigr\| \,ds \leq\|x-y\|. $$
By induction, \(\|u_{n}(t) - U_{n}(t)\|\leq\|x - y\|\) holds for any \(n \in\mathbb{N}\) and \(t \in[0,A]\). Hence
$$\bigl\| T(t)x - T(t)y\bigr\| = \bigl\| u(t) - U(t)\bigr\| \leq\|x - y\| $$
for any \(t \in[0,A]\). Moreover, we have
$$\begin{aligned} T(t+s)x = & e^{-(t+s)}x +\int^{t+s}_{0} e^{-(t+s-\sigma)}J\bigl(T(\sigma )x\bigr)\,d\sigma \\ = & e^{-(t+s)}x +\int^{t}_{0} e^{-(t+s-\sigma)}J\bigl(T(\sigma)x\bigr)\,d\sigma +\int^{t+s}_{t} e^{-(t+s-\sigma)}J\bigl(T(\sigma)x\bigr)\,d\sigma, \\ =&e^{-s} \biggl(e^{-t}x +\int^{t}_{0} e^{-(t-\sigma)}J\bigl(T(\sigma)x\bigr)\,d\sigma \biggr)+\int^{s}_{0} e^{-(s-\sigma)}J\bigl(T(t+\sigma)x\bigr)\,d\sigma \\ =&e^{-s}T(t)x +\int^{s}_{0} e^{-(s-\sigma)}J\bigl(T(t+\sigma)x\bigr)\,d\sigma \\ =&T(s) \bigl(T(t)x \bigr) \end{aligned}$$
for any \(t \geq0\). Note that if we started by a point \(x \in C\) such that \(J(x) \preceq x\), then we would have found that the sequence \(\{ u_{n}(t)\}\) is monotone decreasing for any \(t \geq0\). In other words, the conclusion would have been the same. Moreover, if x is a fixed point of J, then we have \(u_{n}(t) = x\) for any \(n \in\mathbb{N}\) and \(t \geq0\). Hence \(T(t)x = x\) for any \(t \geq0\), i.e., \(x \in\bigcap_{t \geq0} \operatorname{Fix}(T(t))\). On the other hand, it is easy to show that if \(x \in \operatorname{Fix}(\mathcal{F})\), then \(x \in \operatorname{Fix}(J)\), which means we have
$$\operatorname{Fix}(J) = \bigcap_{t \geq0} \operatorname{Fix}\bigl(T(t)\bigr). $$

3 Common approximate fixed points of semigroups

Before we state our first result, we need the following definition.

Definition 3.1

Let \((X, \|\cdot\|)\) be a Banach space and \(C \subset X\) be nonempty. A one-parameter family \(\mathcal{F}=\{T(t); t\geq0\}\) of mappings from C into X is said to be:
  1. (i)
    continuous on C if for any \(x \in C\), the mapping \(t \rightarrow T(t)x\) is continuous, i.e., for any \(t_{0} \geq0\), we have
    $$\lim_{t \rightarrow t_{0}} \bigl\| T(t)x- T(t_{0})x\bigr\| = 0 $$
    for any \(x \in C\);
  2. (ii)
    strongly continuous on C if for any bounded nonempty subset \(K \subset C\), we have
    $$\lim_{t \rightarrow t_{0}} \sup_{x \in K} \bigl(\bigl\| T(t)x- T(t_{0})x\bigr\| \bigr) = 0. $$

The following technical lemmas will be useful throughout.

Lemma 3.1

Let \((X, \|\cdot\|)\) be a Banach space and \(C \subset X\) be nonempty. Let \(J:C \rightarrow C\) be a uniformly continuous mapping. Then we have \(\operatorname{AFPS}(J) \subset \operatorname{AFPS}(J^{m})\) for any \(m \geq2\).


Without loss of generality we may assume that \(\operatorname{AFPS}(J)\) is not empty. Let \(\{x_{n}\} \in \operatorname{AFPS}(J)\), i.e., \(\lim_{n \rightarrow\infty} \|J(x_{n})- x_{n}\| = 0\). Fix \(m \geq2\), then we have
$$\bigl\| J^{m}(x_{n})-x_{n}\bigr\| \leq\sum _{k = 0}^{m-1} \bigl\| J^{k+1}(x_{n})-J^{k}(x_{n}) \bigr\| $$
for any \(n \geq1\). Since T is uniformly continuous, then we must have
$$\lim_{n \rightarrow\infty} \bigl\| J^{k+1}(x_{n})- J^{k}(x_{n})\bigr\| = 0 $$
for any \(k \geq1\). Since m is fixed, we get \(\lim_{n \rightarrow\infty} \|J^{m}(x_{n})- x_{n}\| = 0\), i.e., \(\{x_{n}\} \in \operatorname{AFPS}(J^{m})\). □

Lemma 3.2

Let \((X, \|\cdot\|)\) be a Banach space and \(C \subset X\) be nonempty. Let \(\mathcal{F}=\{T(t); t\geq0\}\) be a one-parameter semigroup of uniformly continuous mappings from C into C. Let α and β be two positive real numbers. Then we have
$$\operatorname{AFPS}\bigl(T(\alpha)\bigr) \cap \operatorname{AFPS}\bigl(T(\beta)\bigr) \subset\bigcap _{t \in G_{+}(\alpha ,\beta)} \operatorname{AFPS}\bigl(T(t)\bigr), $$
where \(G_{+}(\alpha,\beta) = \{m \alpha+k \beta\geq0; m, k \in\mathbb{Z}\}\).


Without loss of generality we may assume that \(\operatorname{AFPS}(T(\alpha)) \cap \operatorname{AFPS}(T(\beta))\) is not empty. Let \(\{x_{n}\} \in \operatorname{AFPS}(T(\alpha)) \cap \operatorname{AFPS}(T(\beta))\). Let \(t \in G_{+}(\alpha,\beta)\). Then we have two cases. First assume \(t = m \alpha+ k \beta\), where \(m, k \geq0\). Then
$$T(t)x_{n}= T(m \alpha+ k \beta)x_{n} = T^{m}( \alpha) \bigl(T^{k}(\beta) x_{n}\bigr), $$
which implies
$$\bigl\| T(t)x_{n}-x_{n}\bigr\| \leq\bigl\| T^{m}(\alpha) \bigl(T^{k}(\beta)x_{n}\bigr)-T^{m}( \alpha)x_{n}\bigr\| + \bigl\| T^{m}(\alpha)x_{n}-x_{n} \bigr\| $$
for any \(n \geq1\). Using Lemma 3.1 and the uniform continuity of \(T^{m}(\alpha)\), we get \(\lim_{n \rightarrow \infty} \|T(t)x_{n}-x_{n}\| = 0\), i.e., \(\{x_{n} \} \in \operatorname{AFPS}(T(t))\). Next assume that \(t = m \alpha+ k \beta\), where either m or k is negative. Without loss of generality assume \(t = m \alpha- k \beta\), where \(m, k \geq0\). We have
$$\bigl\| T(t)x_{n}-x_{n}\bigr\| \leq\bigl\| T(m \alpha- k \beta)x_{n}-T(m\alpha)x_{n}\bigr\| + \bigl\| T(m\alpha)x_{n} -x_{n}\bigr\| . $$
Since \(T(m\alpha) = T(m\alpha-k\beta) T(k \beta)\), and \(T(m\alpha-k\beta )\) is uniformly continuous, Lemma 3.1 implies \(\lim_{n \rightarrow\infty} \|T(t)x_{n}-x_{n}\| = 0\), i.e., \(\{x_{n} \} \in \operatorname{AFPS}(T(t))\). Hence
$$\{x_{n}\} \in\bigcap_{t \in G_{+}(\alpha,\beta)} \operatorname{AFPS}\bigl(T(t) \bigr). $$

The following lemma, which can be found in any introductory course on real analysis, will be crucial to proving the first result on common approximate fixed point of semigroups.

Lemma 3.3


Let G be a nonempty additive subgroup of \(\mathbb{R}\). Then G is either dense in \(\mathbb {R}\) or there exists \(a > 0\) such that \(G = a \cdot\mathbb{Z} = \{a n, n \in\mathbb{Z}\}\). Therefore if α and β are two real numbers such that \(\frac{\alpha}{\beta}\) is irrational, then the set
$$G(\alpha, \beta) = \{\alpha n + \beta m; n,m \in\mathbb{Z}\} $$
is dense in \(\mathbb{R}\). In particular, the set \(G_{+}(\alpha,\beta)= G(\alpha, \beta) \cap[0,+\infty)\) is dense in \([0,+\infty)\).

Theorem 3.1

Let \((X, \|\cdot\|)\) be a Banach space and \(C \subset X\) be nonempty and bounded. Let \(\mathcal{F}=\{ T(t); t\geq0\}\) be a one-parameter semigroup of uniformly continuous mappings from C into C. Assume that \(\mathcal{F}\) is strongly continuous. Let α and β be two positive real numbers such that \(\frac{\alpha}{\beta}\) is irrational. Then we have
$$\operatorname{AFPS}\bigl(T(\alpha)\bigr) \cap \operatorname{AFPS}\bigl(T(\beta)\bigr) = \operatorname{AFPS}(\mathcal{F}). $$


Since \(\operatorname{AFPS}(\mathcal{F}) \subset \operatorname{AFPS}(T(\alpha)) \cap \operatorname{AFPS}(T(\beta))\), it is enough to just prove \(\operatorname{AFPS}(T(\alpha)) \cap \operatorname{AFPS}(T(\beta)) \subset \operatorname{AFPS}(\mathcal{F})\). Without loss of generality, assume that \(\operatorname{AFPS}(T(\alpha)) \cap \operatorname{AFPS}(T(\beta))\) is not empty. Let \(\{ x_{n}\} \in \operatorname{AFPS}(T(\alpha)) \cap \operatorname{AFPS}(T(\beta))\). Lemma 3.2 implies that
$$\{x_{n}\} \in\bigcap_{t \in G_{+}(\alpha,\beta)} \operatorname{AFPS}\bigl(T(t) \bigr). $$
From Lemma 3.3, we know that \(G_{+}(\alpha,\beta)= G(\alpha, \beta) \cap[0,+\infty)\) is dense in \([0,+\infty)\). Let \(t \in [0,+\infty)\). Then there exists \(t_{m} \in G_{+}(\alpha,\beta)\), \(m \geq 1\), such that \(\lim_{m \rightarrow\infty} t_{m} = t\). We have
$$\begin{aligned} \bigl\| x_{n} -T(t)x_{n}\bigr\| \leq& \bigl\| x_{n}-T(t_{m})x_{n}\bigr\| + \bigl\| T(t_{m})x_{n}- T(t)x_{n}\bigr\| \\ \leq& \bigl\| x_{n} -T(t_{m})x_{n}\bigr\| + \sup_{x \in C} \bigl\| T(t)x- T(t)x\bigr\| . \end{aligned}$$
Let \(\varepsilon> 0\). Since \(\mathcal{F}\) is strongly continuous, there exists \(m_{0} \geq1\) such that for any \(m \geq m_{0}\), we have
$$\sup_{x \in C} \bigl\| T(t_{m})x- T(t)x\bigr\| < \varepsilon. $$
Since \(\{x_{n}\} \in \operatorname{AFPS}(T(m_{0}))\) from Lemma 3.2, there exists \(n_{0} \geq1\) such that
$$\bigl\| x_{n} -T(t_{m_{0}})(x_{n})\bigr\| < \varepsilon $$
for any \(n \geq n_{0}\). Hence
$$\bigl\| x_{n} -T(t)x_{n}\bigr\| \leq\bigl\| x_{n} -T(t_{m_{0}}) (x_{n})\bigr\| + \sup_{x \in C} \bigl\| T(t_{m_{0}})x- T(t)x\bigr\| < 2 \varepsilon $$
for any \(n \geq n_{0}\). Since ε was arbitrarily positive, we conclude that \(\lim_{n \rightarrow\infty} \|T(t)x_{n}- x_{n}\| = 0\), i.e., \(\{x_{n}\} \in \operatorname{AFPS}(T(t))\) for any \(t \geq0\). □

As a corollary to Theorem 3.1, we get the following result.

Corollary 3.1

Let \((X, \|\cdot\|)\) be a Banach space and \(C \subset X\) be nonempty and bounded. Let \(\mathcal{F}=\{T(t); t\geq0\}\) be a one-parameter semigroup of uniformly continuous mappings from C into C. Assume that \(\mathcal{F}\) is strongly continuous. Then we have
$$\operatorname{AFPS}(\mathcal{F}) = \operatorname{AFPS}\bigl(T(1)\bigr) \cap \operatorname{AFPS}\bigl(T(\pi)\bigr) = \operatorname{AFPS} \bigl(T(1)\bigr) \cap \operatorname{AFPS}\bigl(T(\sqrt{2})\bigr). $$

All of the results obtained in this section may be easily stated in metric spaces. In the next section, we give an algorithm of how to construct an approximate fixed point sequence of two maps.

4 Common approximate fixed points of two monotone mappings

In this section we discuss a construction of a common approximate fixed point sequence of two monotone nonexpansive mappings defined on a Banach space \((X,\|\cdot\|)\) endowed with a partial order ⪯ as described before. Let \(C \subset X\) be a nonempty convex subset. Let \(J, H: C \rightarrow C\) be two mappings. Fix \(x_{1}\in C\), Das and Debata [18] studied the strong convergence of Ishikawa iterates \(\{x_{n}\}\) defined by
$$ x_{n+1}=\alpha_{n}H \bigl( \beta_{n}J(x_{n})+ ( 1-\beta_{n} ) x_{n} \bigr) + ( 1-\alpha_{n} ) x_{n}, $$
where \(\alpha_{n}, \beta_{n} \in[0,1]\). Under suitable assumptions, we will show that \(\{x_{n}\}\) is an approximate fixed point sequence of both J and H. Assume that J and H are monotone nonexpansive. Assume that there exists \(x_{1} \in C\) such that \(x_{1} \preceq J(x_{1})\) and \(x_{1} \preceq H(x_{1})\). We will also assume that H and J have a common fixed point \(p \in C\) such that \(x_{1}\) and p are comparable. Using the convexity properties of the partial order ⪯, we will easily show that \(x_{n}\) and p are comparable. Since H and J are monotone nonexpansive, we get \(\|H(x_{n}) - p\| \leq\|x_{n} - p\|\) and \(\|J(x_{n}) - p\| \leq\|x_{n} - p\|\) for any \(n \geq1\). Hence
$$\begin{aligned} \|x_{n+1} -p\| =&\bigl\| \alpha_{n}H(y_{n}) + ( 1- \alpha_{n} ) x_{n} -p\bigr\| \\ \leq&\alpha_{n} \bigl\| H(y_{n})-p\bigr\| + ( 1- \alpha_{n} ) \| x_{n}-p\| \\ \leq&\alpha_{n}\| y_{n} -p\| + ( 1-\alpha_{n} ) \|x_{n}-p\| \\ =&\alpha_{n}\bigl\| \beta_{n}J(x_{n}) + ( 1- \beta_{n} ) x_{n}-p\bigr\| + ( 1-\alpha_{n} ) \|x_{n}-p\| \\ \leq& \alpha_{n} \bigl[ \beta_{n} \bigl\| J(x_{n})-p \bigr\| + ( 1-\beta _{n} ) \|x_{n}-p\| \bigr] + ( 1- \alpha_{n} ) \|x_{n}-p\| \\ \leq& \alpha_{n} \bigl[ \beta_{n} \| x_{n}-p\| + ( 1-\beta _{n} ) \|x_{n}-p\| \bigr] + ( 1- \alpha_{n} ) \|x_{n}-p\| \\ \leq&\|x_{n}- p\|, \end{aligned}$$
where \(y_{n} = \beta_{n}J(x_{n}) + ( 1-\beta_{n} )x_{n}\) for any \(n \geq1\). This proves that \(\{\|x_{n} -p\|\}\) is decreasing, which implies that \(\lim_{n\rightarrow\infty}\|x_{n} -p\|\) exists. Using the above inequalities, we get
$$\begin{aligned} \lim_{n \rightarrow\infty} \| x_{n} -p\| =& \lim _{n \rightarrow\infty } \bigl\| \alpha_{n}H(y_{n}) + ( 1- \alpha_{n} ) x_{n}- p\bigr\| \\ =& \lim_{n \rightarrow\infty} \bigl[\alpha_{n}\bigl\| H(y_{n})-p\bigr\| + ( 1-\alpha_{n} ) \|x_{n}-p\| \bigr] \\ = & \lim_{n \rightarrow\infty} \bigl[\alpha_{n}\| y_{n}-p\| + ( 1-\alpha_{n} ) \|x_{n}-p\| \bigr] \\ =& \lim_{n \rightarrow\infty} \bigl[\alpha_{n}\bigl\| \beta_{n}J(x_{n}) + ( 1-\beta_{n} ) x_{n}-p\bigr\| + ( 1-\alpha_{n} ) \| x_{n}-p\| \bigr] \\ =& \lim_{n \rightarrow\infty} \bigl[\alpha_{n} \bigl( \beta_{n}\bigl\| J(x_{n})-p\bigr\| + ( 1-\beta_{n} ) \|x_{n}-p\| \bigr) + ( 1-\alpha_{n} ) \|x_{n}-p\| \bigr]. \end{aligned}$$

Before we state the main theorem of this section, let us recall the definition of a uniformly convex Banach space.

Definition 4.1


Let \((X,\|\cdot\|)\) be a Banach space. X is said to be uniformly convex if and only if for any \(\varepsilon > 0\), we have \(\delta_{X}(\varepsilon) > 0\), where
$$\delta_{X}(\varepsilon) = \inf \biggl\{ 1-\frac{1}{2} \|x+y\|; \|x\| \leq 1, \|y\| \leq1 \mbox{ and } \|x-y\| \geq\varepsilon \biggr\} . $$
It is well known that if X is uniformly convex, then X is reflexive [19]. Moreover, we have [20]
$$\bigl\| \alpha x + (1-\alpha)y\bigr\| \leq1- \delta_{X} \bigl(2 \min\{\alpha, 1- \alpha \}\varepsilon \bigr) $$
for any \(\alpha\in(0,1)\), \(\varepsilon> 0\) and \(x, y \in X\) such that \(\|x\| \leq1\), \(\|y\| \leq1\) and \(\|x-y\| \geq\varepsilon\).

The following lemma will be needed to prove the main result of this section.

Lemma 4.1


Let \((X,\|\cdot\|)\) be a uniformly convex Banach space. Let \(\{x_{n}\}\) and \(\{y_{n}\}\) be in X such that \(\limsup_{n\rightarrow\infty}\|x_{n}\| \leq R\), \(\limsup_{n\rightarrow\infty}\|y_{n}\| \leq R\), and \(\lim_{n\rightarrow\infty}\|\alpha_{n} x_{n} + (1-\alpha_{n}) y_{n}\|= R\), where \(\alpha_{n} \in[a,b]\), with \(0 < a \leq b < 1\), and \(R \geq0\). Then we have
$$\lim_{n\rightarrow\infty}\|x_{n} -y_{n}\| = 0. $$

Next we state the main result of this section.

Theorem 4.1

Let C be a nonempty, closed and convex subset of a uniformly convex Banach space \((X,\|\cdot\|)\). Let \(H,J: C\rightarrow C\) be monotone nonexpansive mappings such that H is uniformly continuous. Assume that there exists \(x_{1} \in C\) such that \(x_{1} \preceq J(x_{1})\) and \(x_{1} \preceq H(x_{1})\). We will also assume that H and J have a common fixed point \(p \in C\) such that \(x_{1}\) and p are comparable. Consider the sequence \(\{ x_{n} \}\) defined by \(x_{1}\) and the recurrent formula (DD). Assume that \(\alpha_{n}, \beta_{n}\in [\alpha,\beta]\), with \(0<\alpha\leq\beta<1\), then
$$\lim_{n \rightarrow\infty} \bigl\| x_{n}- H(x_{n})\bigr\| = 0 \quad\textit{and}\quad \lim_{n \rightarrow\infty} \bigl\| x_{n}- J(x_{n})\bigr\| = 0, $$
i.e., \(\{x_{n}\} \in \operatorname{AFPS}(J) \cap \operatorname{AFPS}(H)\).


We have already seen that \(\{\|x_{n} -p\|\}\) is decreasing. Set \(c = \lim_{n \rightarrow\infty} \|x_{n} -p\|\). If \(c = 0\), then all the conclusions are trivial. Therefore we will assume that \(c > 0\). We have already seen that
$$\begin{aligned} \lim_{n \rightarrow\infty} \| x_{n} -p\| =& \lim_{n \rightarrow\infty} \bigl\| \alpha_{n}H(y_{n}) + ( 1-\alpha_{n} ) x_{n}- p\bigr\| \\ =& \lim_{n \rightarrow\infty} \bigl[\alpha_{n}\bigl\| H (y_{n})-p\bigr\| + ( 1-\alpha_{n} ) \|x_{n}-p\| \bigr]. \end{aligned}$$
We claim that \(\lim_{n \rightarrow\infty} \|H(y_{n}) - p\| = c\). Indeed, let \(\mathcal{U}\) be a nontrivial ultrafilter over \(\mathbb{N}\). Then we have \(\lim_{n,\mathcal{U}} \alpha_{n} = \alpha _{\infty}\in[\alpha,\beta]\) and \(\lim_{n,\mathcal{U}} \| x_{n} -p\| = c\). Hence
$$c = \alpha_{\infty}\lim_{n,\mathcal{U}} \bigl\| H(y_{n}) -p\bigr\| + (1-\alpha_{\infty})c . $$
Since \(\alpha_{\infty}\neq0\), we get \(\lim_{n,\mathcal{U}} \|H(y_{n}) - p\| = c\). Since \(\mathcal{U}\) was arbitrary, we get \(\lim_{n\rightarrow\infty} \|H(y_{n}) - p\| = c\) as claimed. Therefore we have
$$\lim_{n\rightarrow\infty} \|x_{n} - p\| = \lim_{n\rightarrow\infty} \bigl\| H(y_{n}) - p\bigr\| = \lim_{n\rightarrow\infty} \bigl\| \alpha_{n} H(y_{n}) + (1-\alpha _{n})x_{n} -p\bigr\| . $$
Using Lemma 4.1, we get \(\lim_{n\rightarrow\infty} \|H(y_{n})- x_{n}\| = 0\). Since we already proved
$$\lim_{n \rightarrow\infty} \| x_{n} -p\| = \lim _{n \rightarrow\infty} \bigl[\alpha_{n}\| y_{n}-p\| + ( 1- \alpha_{n} ) \|x_{n}-p\| \bigr], $$
a similar argument will show that \(\lim_{n\rightarrow \infty} \|y_{n} - p\| = \lim_{n\rightarrow\infty} \|x_{n} - p\|\). Moreover, we have
$$\lim_{n\rightarrow\infty} \|x_{n} - p\| = \lim_{n \rightarrow\infty} \bigl[\alpha_{n} \bigl( \beta_{n}\bigl\| J(x_{n})-p\bigr\| + ( 1-\beta_{n} ) \|x_{n}-p\| \bigr) + ( 1- \alpha_{n} ) \|x_{n}-p\| \bigr]. $$
If we use again ultrafilters, one will easily prove that \(\lim_{n\rightarrow\infty} \|J(x_{n}) - p\| = \lim_{n\rightarrow\infty } \|x_{n} - p\|\). Hence we have
$$\lim_{n\rightarrow\infty} \|x_{n} - p\| = \lim_{n\rightarrow\infty} \bigl\| J(x_{n}) - p\bigr\| = \lim_{n\rightarrow\infty} \bigl\| \beta_{n} J(x_{n}) + (1-\beta _{n}) x_{n} - p\bigr\| . $$
Using again Lemma 4.1, we get \(\lim_{n\rightarrow\infty} \|J(x_{n}) -x_{n}\| = 0\). Since
$$\lim_{n\rightarrow\infty} \|y_{n} -x_{n}\| = \lim _{n\rightarrow\infty} \beta_{n} \bigl\| J(x_{n}) - x_{n}\bigr\| = 0, $$
and H is uniformly continuous, we get \(\lim_{n\rightarrow\infty} \| H(x_{n}) -H(y_{n})\| = 0\). Combined with \(\lim_{n\rightarrow \infty} \|H(y_{n})- x_{n}\| = 0\), we get
$$\lim_{n\rightarrow\infty} \bigl\| H(x_{n})- x_{n}\bigr\| = 0. $$

Remark 4.1

If we assume that \(\alpha_{n} = \alpha\) and \(\beta_{n} = \beta\) with \(\alpha, \beta\in(0,1)\), then under the assumptions of Theorem 4.1, we can prove that
$$x_{n} \leq x_{n+1} \quad\mbox{and}\quad y_{n} \leq y_{n+1} $$
for any \(n \geq1\). Since \(\{\|x_{n}-p\|\}\) and \(\{\|y_{n}-p\|\}\) are convergent, then both \(\{x_{n}\}\) and \(\{y_{n}\}\) are bounded. Therefore, they have a weak-cluster point since X is reflexive. Using the convexity properties of the partial order ⪯ in X, we will conclude that in fact \(\{x_{n}\}\) and \(\{y_{n}\}\) are weakly convergent. It is not clear to us that the weak-limit of \(\{x_{n}\}\) is a fixed point of H and J. This will be the case if we have a demi-closed property for monotone nonexpansive mappings. Otherwise, we may assume that X satisfies the Opial condition [21]. In this case the weak-limit of \(\{x_{n}\}\) will be a fixed point of T and S. As an example of a Banach space which satisfies all of the above assumptions, one may take \(X = \ell^{p}\), \(1 < p < +\infty\).



The authors would like to extend their sincere appreciation to the Deanship of Scientific Research at King Saud University for funding this Research group No. RG-1435-079.


  1. 1.
    Belluce, LP, Kirk, WA: Fixed-point theorems for families of contraction mappings. Pac. J. Math. 18, 213-217 (1966) zbMATHMathSciNetCrossRefGoogle Scholar
  2. 2.
    Belluce, LP, Kirk, WA: Nonexpansive mappings and fixed-points in Banach spaces. Ill. J. Math. 11, 474-479 (1967) zbMATHMathSciNetGoogle Scholar
  3. 3.
    Browder, FE: Nonexpansive nonlinear operators in a Banach space. Proc. Natl. Acad. Sci. USA 54, 1041-1044 (1965) zbMATHMathSciNetCrossRefGoogle Scholar
  4. 4.
    Bruck, RE: Properties of fixed point sets of non-expansive mappings in Banach spaces. Trans. Am. Math. Soc. 179, 251-262 (1973) zbMATHMathSciNetCrossRefGoogle Scholar
  5. 5.
    Lim, TC: A fixed point theorem for families of nonexpansive mappings. Pac. J. Math. 53, 487-493 (1974) zbMATHCrossRefGoogle Scholar
  6. 6.
    Ran, ACM, Reurings, MCB: A fixed point theorem in partially ordered sets and some applications to matrix equations. Proc. Am. Math. Soc. 132, 1435-1443 (2004) zbMATHMathSciNetCrossRefGoogle Scholar
  7. 7.
    Turinici, M: Abstract comparison principles and multivariable Gronwall-Bellman inequalities. J. Math. Anal. Appl. 117, 100-127 (1986) zbMATHMathSciNetCrossRefGoogle Scholar
  8. 8.
    Turinici, M: Fixed points for monotone iteratively local contractions. Demonstr. Math. 19, 171-180 (1986) zbMATHMathSciNetGoogle Scholar
  9. 9.
    Nieto, JJ, Rodríguez-López, R: Contractive mapping theorems in partially ordered sets and applications to ordinary differential equations. Order 22, 223-239 (2005) zbMATHMathSciNetCrossRefGoogle Scholar
  10. 10.
    Jachymski, J: The contraction principle for mappings on a metric space with a graph. Proc. Am. Math. Soc. 136, 1359-1373 (2007) MathSciNetCrossRefGoogle Scholar
  11. 11.
    Turinici, M: Ran and Reurings theorems in ordered metric spaces. J. Indian Math. Soc. 78, 207-2014 (2011) zbMATHMathSciNetGoogle Scholar
  12. 12.
    Goebel, K, Kirk, WA: Topics in Metric Fixed Point Theory. Cambridge Stud. Adv. Math., vol. 28. Cambridge University Press, Cambridge (1990) zbMATHCrossRefGoogle Scholar
  13. 13.
    Khamsi, MA, Kirk, WA: An Introduction to Metric Spaces and Fixed Point Theory. Wiley, New York (2001) CrossRefGoogle Scholar
  14. 14.
    Pavel, NH: Nonlinear Evolution Operators and Semigroups: Applications to Partial Differential Equations. Lecture Notes in Mathematics. Springer, Berlin (1987) zbMATHGoogle Scholar
  15. 15.
    Pazy, A: Semigroups of Linear Operators and Applications to Partial Differential Equations. Applied Mathematical Sciences, vol. 44. Springer, New York (1983) zbMATHGoogle Scholar
  16. 16.
    Reich, S, Shoikhet, D: Nonlinear Semigroups, Fixed Points, and Geometry of Domains in Banach Spaces. Imperial College Press, London (2005) zbMATHCrossRefGoogle Scholar
  17. 17.
    Stewart, I, Tall, D: Algebraic Number Theory and Fermat’s Last Theorem, 3rd edn. AK Peters, Wellesley (2001) Google Scholar
  18. 18.
    Das, G, Debata, P: Fixed points of quasi-nonexpansive mappings. Indian J. Pure Appl. Math. 17, 1263-1269 (1986) zbMATHMathSciNetGoogle Scholar
  19. 19.
    Beauzamy, B: Introduction to Banach Spaces and Their Geometry. Notas de Mathematica, vol. 68. North-Holland, Amsterdam (1982) zbMATHGoogle Scholar
  20. 20.
    Fukhar-ud-din, H, Khamsi, MA: Approximating common fixed points in hyperbolic spaces. Fixed Point Theory Appl. 2014, 113 (2014). doi: 10.1186/1687-1812-2014-113 MathSciNetCrossRefGoogle Scholar
  21. 21.
    Opial, Z: Weak convergence of the sequence of successive approximations for nonexpansive mappings. Bull. Am. Math. Soc. 73, 591-597 (1967) zbMATHMathSciNetCrossRefGoogle Scholar

Copyright information

© Bachar and Khamsi 2015

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (, 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 and Affiliations

  1. 1.Department of Mathematics, College of SciencesKing Saud UniversityRiyadhSaudi Arabia
  2. 2.Department of Mathematical SciencesThe University of Texas at El PasoEl PasoUSA
  3. 3.Department of Mathematics and StatisticsKing Fahd University of Petroleum & MineralsDhahranSaudi Arabia

Personalised recommendations