Skip to main content

On monotone nonexpansive mappings in \(L_{1}([0,1])\)

Abstract

Let the set \(C \subset L_{1}([0,1])\) be nonempty, convex and compact for the convergence almost everywhere and \(T: C \rightarrow C\) be a monotone nonexpansive mapping. In this paper, we study the behavior of the Krasnoselskii-Ishikawa iteration sequence \(\{f_{n}\}\) defined by \(f_{n+1} = \lambda f_{n} + (1-\lambda)T(f_{n})\), \(n = 1, 2, \ldots\) , \(\lambda\in(0,1)\). Then we prove a fixed point theorem for these mappings. Our result is new and was never investigated.

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 in a complete metric space. The principle itself finds almost canonical applications in the theory of differential and integral equations. Over the years, many mathematicians successfully extended this fundamental theorem. Recently, a version of this theorem was given in partially ordered metric spaces [2, 3] and in metric spaces with a graph [4].

In this work, we discuss the case of monotone nonexpansive mappings defined in \(L_{1}([0,1])\). Nonexpansive mappings are those which have Lipschitz constant equal to 1. The fixed point theory for such mappings is very rich [59] and has many applications in nonlinear functional analysis [10]. It is worth mentioning that the work presented here is new and has never been carried out.

For more on metric fixed point theory, the reader may consult the book of Khamsi and Kirk [11].

2 Preliminaries

Consider the Banach space \(L_{1}([0,1])\) of real valued functions defined on \([0,1]\) with absolute value Lebesgue integrable, i.e., \(\int_{0}^{1} |f(x)|\, dx < +\infty\). As usual, we have \(f = 0\) if and only if the set \(\{x \in[0,1]; f(x) = 0\}\) has Lebesgue measure 0. In this case, we say \(f = 0\) almost everywhere. An element of \(L_{1}([0,1])\) is therefore seen as a class of functions. The norm of any \(f \in L_{1}([0,1])\) is given by

$$\|f\| = \int_{0}^{1} \bigl\vert f(x)\bigr\vert \, dx. $$

Throughout this paper, we will write \(L_{1}\) instead of \(L_{1}([0,1])\). Recall that \(f \leq g\) (called comparable) if and only if \(f(x) \leq g(x)\) almost everywhere, for any \(f, g \in L_{1}\). It is well known that \(L_{1}\) is a Banach lattice (see [12]). We adopt the convention \(f \geq g\) if and only if \(g \leq f\). Note that order intervals are closed for convergence almost everywhere and convex. Recall that an order interval is a subset of the form

$$[f,\rightarrow ) = \{g \in L_{1}; f \leq g\} \quad \mbox{or} \quad (\leftarrow,f ] = \{ g \in L_{1}; g \leq f\}, $$

for any \(f \in L_{1}\). As a direct consequence of this, the subset

$$[f,g] = \{h \in L_{1}; f \leq h \leq g\} = [f, \rightarrow ) \cap (\leftarrow, g ] $$

is closed and convex, for any \(f, g \in L_{1}\).

Next we give the definition of monotone mappings.

Definition 2.1

Let C be a nonempty subset of \(L_{1}\). A map \(T: C \rightarrow L_{1}\) is said to be

  1. (a)

    monotone if \(T(f) \leq T(g)\) whenever \(f \leq g\);

  2. (b)

    monotone K-Lipschitzian, \(K \in\mathbb{R}^{+}\), if T is monotone and

    $$\bigl\Vert T(g) - T(f)\bigr\Vert \leq K \|g - f\|, $$

    whenever \(f \leq g\). If \(K = 1\), then T is said to be a monotone nonexpansive mapping.

A point \(f \in C\) is said to be a fixed point of T if \(T(f) = f\). The set of fixed points of T is denoted by \(\operatorname{Fix}(T)\).

Remark 2.1

It is not difficult to show that a monotone nonexpansive mapping may not be continuous. Therefore it is quite difficult to expect any nice behavior that will imply the existence of a fixed point for this class of mappings.

The following lemma will be crucial to prove the main result of this paper.

Lemma 2.1

[13]

If \(\{f_{n}\}\) is a sequence of \(L^{p}\)-uniformly bounded functions on a measure space, and \(f_{n} \rightarrow f\) almost everywhere, then

$$\liminf_{n \rightarrow\infty}\|f_{n} \|^{p} = \liminf _{ n \rightarrow \infty} \|f_{n} - f \|^{p} + \|f \|^{p}, $$

for all \(p \in(0,\infty)\).

In particular, this result holds when \(p =1\).

3 Iteration process for monotone nonexpansive mappings

Let us first recall the definition of the Krasnoselskii iteration [14] (see also [6, 15, 16]).

Definition 3.1

Let C be a nonempty convex subset of \(L_{1}\). Let \(T: C \rightarrow C\) be a monotone mapping. Fix \(\lambda\in(0,1)\) and \(f_{1} \in C\). The Krasnoselskii iteration sequence \(\{f_{n}\} \subset C\) is defined by

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

We have the following technical lemma.

Lemma 3.1

Let C be a nonempty convex subset of \(L_{1}\). Let \(T: C \rightarrow C\) be a monotone mapping. Fix \(\lambda \in(0,1)\) and \(f_{1} \in C\). Assume that \(f_{1} \leq T(f_{1})\). The iteration sequence \(\{f_{n}\}\) defined by (KIS), which starts at \(f_{1}\), satisfies

$$ f_{n} \leq f_{n+1} \leq T(f_{n}) \leq T(f_{n+1}), $$
(KI)

for any \(n \geq1\). Moreover, if \(\{f_{n}\}\) has two subsequences which converge almost everywhere to g and h, then we must have \(g =h\).

Proof

First note that if \(f \leq g\) holds, then we have \(f \leq \lambda f + (1-\lambda)g \leq g\) since order intervals are convex. Therefore it is just enough to prove \(f_{n} \leq T(f_{n})\), for any \(n \geq 1\). By assumption, we have \(f_{1} \leq T(f_{1})\). Assume that \(f_{n} \leq T(f_{n})\), for \(n \geq1\). Then we have \(f_{n} \leq\lambda f_{n} + (1-\lambda ) T(f_{n})\), i.e., \(f_{n} \leq f_{n+1} \leq T(f_{n})\). Since T is monotone, we get \(T(f_{n}) \leq T(f_{n+1})\), which implies \(f_{n+1} \leq T(f_{n+1})\). By induction, we conclude that the inequalities (KI) hold for any \(n \geq1\). Next let \(\{f_{\phi(n)}\}\) be a subsequence of \(\{ f_{n}\}\) which converges almost everywhere to g. Fix \(k \geq1\). Then the order interval \([f_{k}, \rightarrow)\) contains the sequence \(\{f_{\phi (n)}\}\) except maybe for finitely many elements. Since order intervals are almost everywhere closed and convex, we conclude that \(g \in[f_{k}, \rightarrow)\), i.e., \(f_{k} \leq g\) for any \(k \geq1\). Consequently, if \(\{f_{n}\}\) has another subsequence which converges almost everywhere to h, then we must have \(h = g\). Indeed, since \(f_{n} \leq g\), for any \(n \geq1\), we get \(h \leq g\). Similarly, we have \(g \leq h\), which implies \(h = g\). □

Remark 3.1

Note that under the assumptions of Lemma 3.1, if we assume \(T(f_{1}) \leq f_{1}\), then we have

$$T(f_{n+1}) \leq T(f_{n}) \leq f_{n+1} \leq f_{n}, $$

for any \(n \geq1\). The conclusion on convergence almost everywhere limits of \(\{f_{n}\}\) also holds.

In the general theory of nonexpansive mappings, the iteration sequence defined by (KIS) provides an approximate fixed point sequence of T, i.e., \(\lim_{n \rightarrow+\infty} \|f_{n} - T(f_{n})\| = 0\) (see e.g. [6, 17]). It is amazing that this result holds for monotone nonexpansive mappings as well.

Theorem 3.1

Let \(C \subset L_{1}\) be nonempty, convex and compact for the convergence almost everywhere. Let \(T: C \rightarrow C\) be a monotone nonexpansive mapping. Assume there exists \(f_{1} \in C\) such that \(f_{1}\) and \(T(f_{1})\) are comparable. Then \(\{ f_{n}\}\), defined by (KIS), converges almost everywhere to some \(f \in C\) and \(\lim_{n \rightarrow\infty} \|f_{n} - T(f_{n})\|=0\). Moreover, f and \(f_{n}\) are comparable for any \(n \geq1\).

Proof

Without loss of generality, we may assume \(f_{1} \leq T(f_{1})\). As C is compact for the convergence almost everywhere, so there exists a subsequence of \(\{f_{n}\}\) which converges almost everywhere to \(f \in C\). Lemma 3.1 implies that \(\{f_{n}\}\) converges almost everywhere to f and \(f_{n} \leq f\), for any \(n \geq1\). For the second part of this theorem, we will need the following inequality proved in [5, 18]:

$$ (1+n \lambda) \bigl\Vert T(f_{i}) - f_{i} \bigr\Vert \leq\bigl\Vert T(f_{i+n}) - f_{i}\bigr\Vert + (1-\lambda)^{-n} \bigl(\bigl\Vert T(f_{i}) - f_{i} \bigr\Vert - \bigl\Vert T(f_{i+n}) - f_{i+n}\bigr\Vert \bigr), $$
(GK)

for any \(i, n \geq1\). We note that \(\{\|f_{n} - T(f_{n})\|\}\) is decreasing. Indeed, we have \(f_{n+1} - f_{n} = (1-\lambda)(T(f_{n})-f_{n})\), for any \(n \geq0\). Therefore \(\{\|f_{n} - T(f_{n})\|\}\) is decreasing if and only if \(\{\|f_{n+1} - f_{n}\|\}\) is decreasing which follows from the inequality

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

for any \(n \geq0\). Set \(\lim_{n \rightarrow+\infty} \| f_{n} - T(f_{n})\| = R\). In general, the sequence \(\{f_{n}\}\) has no reason to be bounded even though it converges almost everywhere. But in this case, it is bounded. Indeed, using properties of the partial order and the convergence almost everywhere, we know that \(f_{1} \leq f_{n} \leq f\), for any \(n \geq1\). Hence \(f_{n}\) and f are comparable, for any \(n \geq 1\). Moreover, we have \(0 \leq f_{n} - f_{1} \leq f-f_{1}\), which implies \(\| f_{n}-f_{1}\| \leq\|f-f_{1}\|\), for any \(n \geq1\). Hence

$$\begin{aligned} \bigl\Vert T(f_{i+n}) - f_{i}\bigr\Vert \leq& \bigl\Vert T(f_{i+n}) - T(f_{1})\bigr\Vert + \bigl\Vert T(f_{1}) - T(f_{i})\bigr\Vert + \bigl\Vert T(f_{i}) - f_{i}\bigr\Vert \\ \leq& \Vert f_{i+n} - f_{1}\Vert + \Vert f_{1} - f_{i}\Vert + \bigl\Vert T(f_{1}) - f_{1}\bigr\Vert \\ \leq& \Vert f - f_{1}\Vert + \Vert f - f_{1}\Vert + \bigl\Vert T(f_{1}) - f_{1}\bigr\Vert , \end{aligned}$$

for any \(i, n \geq1\). Next we let \(i \rightarrow+\infty\) in the inequality (GK) to obtain

$$(1+n \lambda) R \leq2 \|f - f_{1}\| + \bigl\Vert T(f_{1}) - f_{1}\bigr\Vert , $$

where we used the fact \(\lim_{i \rightarrow+\infty} (\| T(f_{i}) - f_{i}\| - \|T(f_{i+n}) - f_{i+n}\| ) = R -R = 0\), for any \(n \geq1\). Obviously, this will imply \(R = 0\), i.e.,

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

 □

Next we state the main result of this paper.

Theorem 3.2

Let \(C \subset L_{1}\) be nonempty, convex and compact for the convergence almost everywhere. Let \(T: C \rightarrow C\) be a monotone nonexpansive mapping. Assume there exists \(f_{1} \in C\) such that \(f_{1}\) and \(T(f_{1})\) are comparable. Then \(\{f_{n}\} \), defined by (KIS), converges almost everywhere to some \(f \in C\) which is a fixed point of T, i.e., \(T(f) = f\). Moreover, f and \(f_{1}\) are comparable.

Proof

Without loss of generality, we may assume that \(f_{1}\leq T(f_{1})\). Theorem 3.1 implies that \(\{f_{n}\}\) converges almost everywhere to some \(f \in C\) where \(f_{n}\) and f are comparable, for any \(n \geq1\). Since \(\{f_{n}\}\) is uniformly bounded, Lemma 2.1 implies

$$\liminf_{n \rightarrow\infty}\bigl\Vert f_{n} - T(f)\bigr\Vert = \liminf_{ n \rightarrow \infty} \|f_{n} - f \| + \bigl\Vert f - T(f) \bigr\Vert . $$

Theorem 3.1 implies \(\lim_{n \rightarrow +\infty} \|f_{n} - T(f_{n})\| = 0\). Therefore we get

$$\liminf_{n \rightarrow\infty}\bigl\Vert T(f_{n}) - T(f)\bigr\Vert = \liminf_{ n \rightarrow\infty} \|f_{n} - f \| + \bigl\Vert f - T(f)\bigr\Vert . $$

On the other hand, we know that each \(f_{n}\) is comparable with f, for each \(n \geq1\), so we have

$$\liminf_{ n \rightarrow\infty} \|f_{n} - f \| + \bigl\Vert f - T(f) \bigr\Vert = \liminf_{n \rightarrow\infty}\bigl\Vert T(f_{n}) - T(f)\bigr\Vert \leq\liminf_{n \rightarrow \infty}\|f_{n} - f\|, $$

which obviously implies \(\|f-T(f) \| = 0\) or \(T(f) = f\). □

This result is a generalization of the original existence theorem in [19, 20] for nonexpansive mappings which are not monotone. As we said earlier, monotone nonexpansive mappings are not necessarily continuous. Therefore this class of mappings is bigger and is used to answer questions about the existence of positive or negative solutions in some applications considered in [2, 3].

References

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

    MATH  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  MATH  MathSciNet  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  MATH  MathSciNet  Google Scholar 

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

    Article  MathSciNet  Google Scholar 

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

    Article  MATH  MathSciNet  Google Scholar 

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

    Article  MATH  MathSciNet  Google Scholar 

  7. Khan, AR, Hussain, N: Iterative approximation of fixed points of nonexpansive maps. Sci. Math. Jpn. 54, 503-511 (2001)

    MATH  MathSciNet  Google Scholar 

  8. Kirk, WA: Fixed point theory for nonexpansive mappings, I and II. In: Fixed Point Theory. Lecture Notes in Mathematics, vol. 886, pp. 485-505. Springer, Berlin (1981)

    Google Scholar 

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

    Article  MathSciNet  Google Scholar 

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

    Article  MATH  MathSciNet  Google Scholar 

  11. Khamsi, MA, Kirk, WA: An Introduction to Metric Spaces and Fixed Point Theory. Wiley, New York (2001)

    Book  Google Scholar 

  12. Beauzamy, B: Introduction to Banach Spaces and Their Geometry. North-Holland, Amsterdam (1985)

    MATH  Google Scholar 

  13. Brezis, H, Lieb, E: A relation between pointwise convergence of functions and convergence of functionals. Proc. Am. Math. Soc. 88(3), 486-490 (1983)

    Article  MATH  MathSciNet  Google Scholar 

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

    MathSciNet  Google Scholar 

  15. Berinde, V: Iterative Approximation of Fixed Points, 2nd edn. Lecture Notes in Mathematics, vol. 1912. Springer, Berlin (2007). ISBN:978-3-540-72233-5

    MATH  Google Scholar 

  16. Chidume, CE: Geometric Properties of Banach Spaces and Nonlinear Iterations. Lecture Notes in Mathematics, vol. 1965. Springer, London (2009). ISBN:978-1-84882-189-7

    MATH  Google Scholar 

  17. Chidume, CE, Zegeye, H: Approximate fixed point sequences and convergence theorems for Lipschitz pseudocontractive maps. Proc. Am. Math. Soc. 132, 831-840 (2003)

    Article  MathSciNet  Google Scholar 

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

    Book  MATH  Google Scholar 

  19. Besbes, M: Points fixes des contractions définies sur un convexe \(L^{0}\)-fermé de \(L^{1}\). C. R. Acad. Sci. Paris, Sér. I Math. 311, 243-246 (1990)

    MATH  MathSciNet  Google Scholar 

  20. Lennard, C: A new convexity property that implies a fixed point property for \(L_{1}\). Stud. Math. 100(2), 95-108 (1991)

    MATH  MathSciNet  Google Scholar 

Download references

Acknowledgements

The authors acknowledge gratefully the support of KACST, Riyad, Saudi Arabia, for supporting Research Project ARP-32-34.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Abdul Rahim Khan.

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

Khamsi, M.A., Khan, A.R. On monotone nonexpansive mappings in \(L_{1}([0,1])\) . Fixed Point Theory Appl 2015, 94 (2015). https://doi.org/10.1186/s13663-015-0346-x

Download citation

  • Received:

  • Accepted:

  • Published:

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

MSC

Keywords