Skip to main content

Fixed points of monotone mappings and application to integral equations

Abstract

In this work, we discuss the existence of fixed points of monotone nonexpansive mappings defined on partially ordered Banach spaces. This work is a continuity of the previous works of Ran and Reurings, Nieto et al., and Jachimsky done for contraction mappings. As an application, we discuss the existence of solutions to an integral equations.

1 Introduction

Banach’s contraction principle [1] is remarkable in its simplicity, yet it is perhaps the most widely applied fixed point theorem in all of analysis. This is because the contractive condition on the mapping is simple and easy to test, because it requires only a complete metric space for its setting, and because it finds almost canonical applications in the theory of differential and integral equations. Over the years, many mathematicians tried successfully to extend this fundamental theorem. Recently a version of this theorem has been given in partially ordered metric spaces [2, 3] (see also [4, 5]) and in metric spaces with a graph [6].

In this work, we discuss the case of nonexpansive mappings defined in partially ordered Banach spaces. Nonexpansive mappings are those 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 [7]. It is worth mentioning that such investigation is new and has never been carried.

2 Monotone nonexpansive mappings

Let \((X, \|\cdot\|)\) be a Banach vector space. Assume that we have a partial order defined on X such that order intervals are convex and τ-closed, where τ is a Hausdorff topology on X. Recall that an order interval is any of the subsets \([a,b] = \{x \in X; a \preceq x \preceq b\}\), \([a,{\rightarrow}) = \{x \in X; a \preceq x\}\), \(({\leftarrow},a] = \{x \in X; x \preceq a\}\) for any \(a,b \in X\).

Definition 2.1

Let C be a nonempty subset of X. Let \(T: C \rightarrow C\) be a map.

  1. (1)

    T is said to be monotone if \(T(x) \preceq T(y)\) whenever \(x \preceq y\) for any \(x, y \in C\).

  2. (2)

    T is said to be monotone nonexpansive if and only if T is monotone and

    $$\bigl\Vert T(x)-T(y)\bigr\Vert \leq\|x-y\|,\quad \mbox{whenever }x \preceq y. $$

The point \(x \in C\) is called a fixed point of T if \(T(x) = x\). The set of fixed points of T will be denoted by \(\operatorname{Fix}(T)\).

Throughout the paper we assume that C is convex and bounded not reduced to one point. Let \(T: C \rightarrow C\) be a monotone nonexpansive mapping. Fix \(\lambda\in(0,1)\) and \(x_{0} \in C\). The Krasnoselskii [8, 9] iteration sequence \(\{ x_{n}\} \subset C\) is defined by

$$ x_{n+1} = \lambda x_{n} + (1-\lambda) T(x_{n}),\quad n \geq0. $$
(KIS)

The following lemma holds.

Lemma 2.1

Under the above assumptions, if we assume that \(x_{0} \preceq T(x_{0})\), then we have

$$ x_{n} \preceq x_{n+1} \preceq T(x_{n}) \preceq T(x_{n+1}) $$
(KI)

for any \(n \geq0\). Moreover, if \(\{x_{n}\}\) has two subsequences which τ-converge to z and w respectively, then we must have \(z =w\).

Proof

First note that if \(x \preceq y\) holds, then we have \(x \preceq\lambda x + (1-\lambda)y \preceq y\) for any \(x, y \in X\) since order intervals are convex. Therefore it is enough to only prove \(x_{n} \preceq T(x_{n})\) for any \(n \geq0\). By assumption, we have \(x_{0} \preceq T(x_{0})\). Assume that \(x_{n} \preceq T(x_{n})\) for \(n \geq1\). Then we have \(x_{n} \preceq\lambda x_{n} + (1-\lambda) T(x_{n}) \preceq T(x_{n})\), i.e., \(x_{n} \preceq x_{n+1} \preceq T(x_{n})\). Since T is monotone, we get \(T(x_{n}) \preceq T(x_{n+1})\). By induction, we conclude that the inequalities (KI) hold for any \(n \geq0\). Next let \(\{x_{\phi(n)}\}\) be a subsequence of \(\{x_{n}\}\) which τ-converges to z. Clearly, \(\{[x_{n}, {\rightarrow}); n \in\mathbb{N}\}\) is a decreasing family of sets. Consequently, if \(U_{z} \in\tau\) is a neighborhood of z, then \(U_{z} \cap[x_{n}, {\rightarrow}) \neq\emptyset\) for any \(n \in\mathbb{N}\). Therefore, z belongs to all sets \([x_{n},{\rightarrow})\) as they are closed. Let w be the τ-limit of another subsequence of \(\{x_{n}\}\). If \(U_{w} \in\tau\) is a neighborhood of w, then \(U_{w}\) contains many points from the sequence \(\{x_{n}\}\) since w is a τ-limit of one of its subsequences. Hence \(U_{w} \cap({\leftarrow}, z] \neq\emptyset\). Therefore, w belongs to \(({\leftarrow}, z]\) as it is closed, i.e., \(w \preceq z\). By reversing the roles of z and w, we get \(z \preceq w\). The properties of the partial order will force \(z = w\) as claimed. □

Remark 2.1

Note that under the assumptions of Lemma 2.1, if we assume \(T(x_{0}) \preceq x_{0}\), then we will have

$$T(x_{n+1}) \preceq T(x_{n}) \preceq x_{n+1} \preceq x_{n} $$

for any \(n \geq0\). The conclusion on the τ-convergence limits of \(\{x_{n}\}\) will also hold.

The following result is found in [10, 11].

Proposition 2.1

Under the above assumptions, we have

$$\begin{aligned} \begin{aligned}[b] &\bigl(1+n (1-\lambda)\bigr) \bigl\Vert T(x_{i}) - x_{i}\bigr\Vert \\ &\quad \leq \bigl\Vert T(x_{i+n}) - x_{i}\bigr\Vert + \lambda^{-n} \bigl(\bigl\Vert T(x_{i}) - x_{i} \bigr\Vert - \bigl\Vert T(x_{i+n}) - x_{i+n}\bigr\Vert \bigr) \end{aligned} \end{aligned}$$
(GK)

for any \(i, n \in\mathbb{N}\). This inequality implies

$$\lim_{n \rightarrow+\infty} \bigl\Vert x_{n} - T(x_{n}) \bigr\Vert = 0. $$

Proof

The first part of this proposition is easy to prove via an induction argument on the index i. As for the second part, note that \(\{\|x_{n} - T(x_{n})\|\}\) is decreasing. Indeed we have \(x_{n+1} - x_{n} = (1-\lambda )(T(x_{n})-x_{n})\) for any \(n \geq1\). Therefore \(\{\|x_{n} - T(x_{n})\|\}\) is decreasing if and only if \(\{\|x_{n+1} - x_{n}\|\}\) is decreasing, which holds since

$$\|x_{n+2} - x_{n+1}\| \leq \lambda\|x_{n+1}-x_{n} \| + (1-\lambda)\bigl\Vert T(x_{n+1}) - T(x_{n})\bigr\Vert \leq\|x_{n+1}-x_{n}\| $$

for any \(n \geq0\). Set \(\lim_{n \rightarrow+\infty} \|x_{n} - T(x_{n})\| = R \). Then we let \(i \rightarrow+\infty\) in the inequality (GK) to obtain

$$\bigl(1+n (1-\lambda)\bigr) R \leq\delta(C) $$

for any \(n \in\mathbb{N}\), where \(\delta(C) = \sup\{\|x-y\|, x, y \in C\} < +\infty\). Hence

$$R \leq\frac{\delta(C)}{(1+n (1-\lambda))}, \quad n = 1, 2, \ldots, $$

which implies \(R = 0\), i.e., \(\lim_{n \rightarrow+\infty} \| x_{n} - T(x_{n})\| = 0 \). □

Before we state the main result of this work, let us recall the definition of Opial condition [12].

Definition 2.2

X is said to satisfy the τ-Opial condition if for any sequence \(\{y_{n}\}\) in X which τ-converges to y, we have

$$\limsup_{n \rightarrow+\infty} \|y_{n} - y\| < \limsup _{n \rightarrow +\infty} \|y_{n} - z\| $$

for any \(z \in X\) such that \(z \neq y\).

Now we are ready to state the main result of this section.

Theorem 2.1

Let X be a Banach space. Let τ be a topology on X such that X satisfies the τ-Opial condition. Let be a partial order on X such that order intervals are convex and τ-closed. Let C be a bounded convex τ-compact nonempty subset of X. Let \(T: C \rightarrow C\) be a monotone nonexpansive mapping. Assume that there exists \(x_{0} \in C\) such that \(x_{0}\) and \(T(x_{0})\) are comparable. Then T has a fixed point.

Proof

Without loss of any generality, we assume that \(x_{0} \preceq T(x_{0})\). Consider the (KIS) sequence \(\{x_{n}\}\) which starts at \(x_{0}\). Since C is τ-compact, then \(\{x_{n}\}\) will have a subsequence \(\{x_{k_{n}}\}\) which τ-converges to some point \(w \in C\). Lemma 2.1 implies that \(\{x_{n}\}\) τ-converges to w and \(x_{n} \preceq w\) for any \(n \in\mathbb{N}\). Consider the type function

$$r(x) = \limsup_{n \rightarrow+\infty} \|x_{n} - x\|,\quad x \in C. $$

Then Proposition 2.1 implies \(r(x) = \limsup_{n \rightarrow+\infty} \|T(x_{n}) - x\|\) for any \(x \in C\). Since T is monotone nonexpansive, we get

$$r\bigl(T(w)\bigr) = \limsup_{n \rightarrow+\infty} \bigl\Vert T(x_{n}) - T(w)\bigr\Vert \leq\limsup_{n \rightarrow+\infty} \|x_{n} - w\| = r(w). $$

In fact we have \(r(T(x)) \leq r(x)\) for any \(x \in C\) such that \(x_{n}\) and x are comparable for any \(n \in\mathbb{N}\). Finally, if X satisfies the τ-Opial condition, then we must have \(T(w) = w\), i.e., w is a fixed point of T. □

The following results are direct consequences of Theorem 2.1.

Corollary 2.1

Let C be a bounded closed convex nonempty subset of \(l_{p}\), \(1 < p < +\infty\). Let τ be the weak topology. Consider the pointwise partial ordering in \(l_{p}\), i.e., \((\alpha_{n}) \preceq(\beta_{n})\) iff \(\alpha_{n} \leq\beta _{n}\) for all \(n \geq1\). Then any monotone nonexpansive mapping \(T: C \rightarrow C\) has a fixed point provided there exists a point \(x_{0} \in C\) such that \(x_{0}\) and \(T(x_{0})\) are comparable.

Remark 2.2

The case of \(p=1\) is not interesting for the weak topology since \(l_{1}\) is a Schur Banach space. But if we consider the weak* topology \(\sigma(l_{1}, c_{0})\) on \(l_{1}\) or the pointwise convergence topology, then \(l_{1}\) satisfies the Opial condition for these topologies. Note that these two topologies are Hausdorff. In this case we have a similar conclusion of Corollary 2.1 for \(l_{1}\).

Recall the definitions of \(l_{p}\) and \(c_{0}\) spaces:

  1. (i)

    \(l_{p} = \{(\alpha_{n}) \in\mathbb{R}^{\mathbb{N}}, \sum_{n} |\alpha_{n}|^{p} < +\infty\}\) for \(1 \leq p < +\infty\);

  2. (ii)

    \(c_{0} = \{(\alpha_{n}) \in\mathbb{R}^{\mathbb{N}}, \lim_{n \rightarrow+\infty} \alpha_{n} = 0\}\).

3 Application to integral equations

Let us consider the following integral equation of the form

$$ x(t)= g(t)+\int^{1}_{0}F \bigl(t,s,x(s)\bigr)\, ds,\quad t\in[0,1], $$
(IE)

where

  1. (i)

    g is in \(L^{2}([0,1],\mathbb{R})\),

  2. (ii)

    \(F:[0,1]\times[0,1]\times L^{2}([0,1],\mathbb{R}) \rightarrow\mathbb{R}\) is measurable and satisfies the condition

    $$ 0 \leq F(t,s,x)-F(t,s,y)\leq x -y, $$
    (3.1)

    where \(t,s\in[0,1]\), and \(x, y \in L^{2}([0,1],\mathbb{R})\) such that \(y \leq x\).

Recall that for any \(u, v \in L^{2}([0,1],\mathbb{R})\), we have

$$u \leq v\quad \Longleftrightarrow\quad u(t) \leq v(t)\quad \mbox{almost everywhere }t \in[0,1]. $$

Condition (3.1) represents the monotonicity of the flow of the integral equation. A comprehensive study of the monotonicity of the flow can be found in the book of Smith [13]. Assume that there exists a non-negative function \(h(\cdot,\cdot) \in L^{2}([0,1]\times[0,1])\) and \(M<\frac{1}{2}\) such that

$$ \bigl\vert F(t,s,x)\bigr\vert \leq h(t,s)+M |x| , $$
(3.2)

where \(t,s\in[0,1]\) and \(x \in L^{2}([0,1],\mathbb{R})\).

Let

$$B= \bigl\{ y\in L^{2}\bigl([0,1],\mathbb{R}\bigr), \text{such that } \|x\| _{L^{2}([0,1],\mathbb{R})}\leq\rho \bigr\} , $$

where ρ is sufficiently large, i.e., B is the closed ball of \(L^{2}([0,1],\mathbb{R})\) centered at 0 with radius ρ. Consider the operator defined by

$$ \widetilde{F}(t) (y) (s)= F\bigl(t,s,y(s)\bigr), $$
(3.3)

and define the operator \(J: L^{2}([0,1],\mathbb{R}) \rightarrow L^{2}([0,1],\mathbb{R})\) by

$$ (Jy) (t) = g(t)+\int^{1}_{0}\widetilde{F}(t) (y) (s)\, ds. $$
(3.4)

We have \(J(B) \subset B\). Indeed let \(x\in B\), then by using the Cauchy-Schwarz inequality, condition (3.2) and the quadratic inequality \((a+b)^{2}\leq2a^{2}+2b^{2}\) for any \(a,b \in \mathbb{R}\), we have

$$\begin{aligned} \| Jx \|^{2}_{L^{2}([0,1],\mathbb{R})} =& \int^{1}_{0} \bigl\vert Jx(t) \bigr\vert ^{2}\, dt \\ =& \int^{1}_{0}\biggl\vert g(t)+ \int ^{1}_{0} \widetilde{F}(t) (x) (s)\, ds\biggr\vert ^{2} \, dt \\ \leq& 2\int^{1}_{0}\bigl\vert g(t)\bigr\vert ^{2}\, dt+2\int^{1}_{0}\int ^{1}_{0} \bigl\vert \widetilde{F}(t) (x) (s)\bigr\vert ^{2}\, ds \, dt \\ \leq& 2\int^{1}_{0}\bigl\vert g(t)\bigr\vert ^{2}\, dt+2\int^{1}_{0}\int ^{1}_{0} \bigl\vert h(t,s)+M \bigl\vert x(s) \bigr\vert \bigr\vert ^{2}\, ds \, dt \\ \leq& 2\int^{1}_{0}\bigl\vert g(t)\bigr\vert ^{2} \, dt+4\int^{1}_{0}\int ^{1}_{0}\bigl\vert h(t,s)\bigr\vert ^{2}\, ds \, dt + 4M^{2}\int^{1}_{0} \int^{1}_{0} \bigl\vert x(s)\bigr\vert ^{2} \, ds\, dt \\ =& 2\int^{1}_{0}\bigl\vert g(t)\bigr\vert ^{2}\, dt+4\int^{1}_{0}\int ^{1}_{0}\bigl\vert h(t,s)\bigr\vert ^{2}\, ds \, dt +4M^{2}\int^{1}_{0} \bigl\vert x(s)\bigr\vert ^{2} \, ds \\ =& 2\int^{1}_{0}\bigl\vert g(t)\bigr\vert ^{2}\, dt+4\int^{1}_{0}\int ^{1}_{0}\bigl\vert h(t,s)\bigr\vert ^{2}\, ds\, dt +4M^{2}\| x \| ^{2}_{L^{2}([0,1],\mathbb{R})} \\ \leq& 2\int^{1}_{0}\bigl\vert g(t)\bigr\vert ^{2}\, dt+4\int^{1}_{0}\int ^{1}_{0} h^{2}(t,s)\, ds \, dt +4M^{2} \rho^{2} . \end{aligned}$$

Since \(M < 1/2\), choose ρ such that

$$\frac{2}{(1-4M^{2})} \int^{1}_{0}\bigl\vert g(t) \bigr\vert ^{2} \, dt+ \frac {4}{(1-4M^{2})} \int^{1}_{0} \int^{1}_{0} h^{2}(t,s)\, ds\, dt \leq \rho^{2}, $$

we will get \(J(x) \in B\) as claimed. Next we prove that J is monotone nonexpansive. First from condition (3.1), J is obviously monotone. Let \(x, y \in L^{2}([0,1],\mathbb{R})\) such that \(y \leq x\). Using the Cauchy-Schwarz inequality, we have

$$\begin{aligned} \| Jx -Jy\|^{2}_{L^{2}([0,1],\mathbb{R})} =& \int^{1}_{0} \bigl( Jx(t) -Jy(t) \bigr)^{2} \, dt \\ =& \int^{1}_{0}\biggl( \int^{1}_{0} \bigl(\widetilde{F}(t) (x) (s)-\widetilde {F}(t) (y) (s)\bigr)\, ds\biggr)^{2} \, dt \\ \leq& \int^{1}_{0}\biggl( \int ^{1}_{0} \bigl(x(s)-y(s)\bigr)\, ds \biggr)^{2} \, dt \\ \leq& \int^{1}_{0} \bigl( x(s)-y(s) \bigr)^{2}\, ds =\| x-y\| ^{2}_{L^{2}([0,1],\mathbb{R})}, \end{aligned}$$

which implies that J is a monotone nonexpansive operator as claimed. In order to use Theorem 2.1, we need to check its assumptions. First note that \(X = L^{2}([0,1],\mathbb{R})\) is a Hilbert space. If we choose τ to be the weak topology, then X satisfies the weak Opial condition. It is easy to check that order intervals are convex. In order to show that order intervals are closed, we will show that if \(\{u_{n}\}\) is a non-negative sequence of elements in X which converges weakly to u, then u is positive. Let \(a < 0\), then the set \(A = \{t \in[0,1]; u(t) \leq a\}\) has measure 0. Indeed, we have

$$\int_{A} u(t)\, dt = \lim_{n \rightarrow+\infty} \int _{A} u_{n}(t)\, dt $$

because of weak convergence. So

$$0 \leq\lim_{n \rightarrow+\infty} \int_{A} u_{n}(t)\, dt = \int_{A} u(t)\, dt \leq a m(A) \leq0. $$

Hence \(m(A) = 0\). Set

$$D = \bigcup_{n \geq1} \biggl\{ t \in[0,1]; u(t) \leq- \frac{1}{n} \biggr\} . $$

Then D has measure 0, which implies that \(u(t) \geq0\) for almost every \(t \in[0,1]\). Using Theorem 2.1, we get the following result.

Theorem 3.1

Under the above assumptions, we conclude that

  1. (i)

    the integral equation (IE) has a non-negative solution provided we assume that \(g(t)+\int^{1}_{0}F(t,s,0)\, ds \geq0\) for almost every \(t \in[0,1]\) (which implies \(J(0) \geq0\));

  2. (ii)

    the integral equation (IE) has a non-positive solution provided we assume that \(g(t)+\int^{1}_{0}F(t,s,0)\, ds \leq0\) for almost every \(t \in[0,1]\) (which implies \(J(0) \leq0\)).

References

  1. Banach, S: Sur les opérations dans les ensembles abstraits et leur application. Fundam. Math. 3, 133-181 (1922)

    Google Scholar 

  2. 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)

    Article  MathSciNet  MATH  Google Scholar 

  3. 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)

    Article  MathSciNet  MATH  Google Scholar 

  4. Turinici, M: Fixed points for monotone iteratively local contractions. Demonstr. Math. 19, 171-180 (1986)

    MathSciNet  MATH  Google Scholar 

  5. Turinici, M: Ran and Reurings theorems in ordered metric spaces. J. Indian Math. Soc. 78, 207-2014 (2011)

    MathSciNet  MATH  Google Scholar 

  6. Jachymski, J: The contraction principle for mappings on a metric space with a graph. Proc. Am. Math. Soc. 136, 1359-1373 (2008)

    Article  MathSciNet  MATH  Google Scholar 

  7. Browder, FE: Nonexpansive nonlinear operators in a Banach space. Proc. Natl. Acad. Sci. USA 54, 1041-1044 (1965)

    Article  MathSciNet  MATH  Google Scholar 

  8. Ishikawa, S: Fixed points and iteration of a nonexpansive mapping in a Banach space. Proc. Am. Math. Soc. 59, 65-71 (1976)

    Article  MathSciNet  MATH  Google Scholar 

  9. Krasnoselskii, MA: Two observations about the method of successive approximations. Usp. Mat. Nauk 10, 123-127 (1955)

    MathSciNet  Google Scholar 

  10. Goebel, K, Kirk, WA: Iteration processes for nonexpansive mappings. Contemp. Math. 21, 115-123 (1983)

    Article  MathSciNet  MATH  Google Scholar 

  11. Goebel, K, Kirk, WA: Topics in Metric Fixed Point Theory. Cambridge Stud. Adv. Math., vol. 28. Cambridge University Press, Cambridge (1990)

    Book  Google Scholar 

  12. Opial, Z: Weak convergence of the sequence of successive approximations for nonexpansive mappings. Bull. Am. Math. Soc. 73, 591-597 (1967)

    Article  MathSciNet  MATH  Google Scholar 

  13. Smith, JL: Monotone Dynamical Systems. Mathematical Surveys and Monographs, vol. 41. Am. Math. Soc., Providence (1995)

    Google Scholar 

Download references

Acknowledgements

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).

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Mostafa Bachar.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.

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

Bachar, M., Khamsi, M.A. Fixed points of monotone mappings and application to integral equations. Fixed Point Theory Appl 2015, 110 (2015). https://doi.org/10.1186/s13663-015-0362-x

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13663-015-0362-x

MSC

Keywords