An intermediate value theorem for monotone operators in ordered Banach spaces

  • Vadim Kostrykin1Email author and

    Affiliated with

    • Anna Oleynik1, 2

      Affiliated with

      Fixed Point Theory and Applications20122012:211

      DOI: 10.1186/1687-1812-2012-211

      Received: 5 June 2012

      Accepted: 5 November 2012

      Published: 22 November 2012


      We consider a monotone increasing operator in an ordered Banach space having and as a strong super- and subsolution, respectively. In contrast with the well-studied case , we suppose that . Under the assumption that the order cone is normal and minihedral, we prove the existence of a fixed point located in the order interval .

      MSC: 47H05, 47H10, 46B40.


      fixed point theorems in ordered Banach spaces
      It is an elementary consequence of the intermediate value theorem for continuous real-valued functions that if either

      then f has a fixed point in . It is a natural question whether this result can be extended to the case of ordered Banach spaces. A number of fixed point theorems with assumptions of type (1) are well known; see, e.g., [[1], Section 2.1]. However, to the best of our knowledge, fixed point theorems with assumptions of type (2) have not been known so far. In the present note, we prove the following fixed point theorem of this type.

      Theorem 1 Let X be a real Banach space with an order cone K satisfying

      1. (a)

        K has a nonempty interior,

      2. (b)

        K is normal and minihedral.

      Assume that there are two points in X, , and a monotone increasing compact continuous operator . If is a strong supersolution of T and is a strong subsolution, that is,

      then T has a fixed point .

      Here denotes the order interval .

      Theorem 1 generalizes an idea developed by the present authors in [2], where the existence of solutions to a certain nonlinear integral equation of Hammerstein type has been shown.

      Before we present the proof, we recall some notions. We write if , if and , and if , where is the interior of the cone K.

      A cone K is called minihedral if for any pair , , bounded above in order there exists the least upper bound , that is, an element such that

      1. (1) and ,

      2. (2) and implies that .


      Obviously, a cone K is minihedral if and only if for any pair , , bounded below in order there exists the greatest lower bound . If a minihedral cone has a nonempty interior, then any pair is bounded above in order. Hence, and exist for all .

      A cone K is called normal if there exists a constant such that , implies .

      By the Kakutani-Krein brothers theorem [[3], Theorem 6.6] a real Banach space X with an order cone K satisfying assumptions (a) and (b) of Theorem 1 is isomorphic to the Banach space of continuous functions on a compact Hausdorff space Q. The image of K under this isomorphism is the cone of nonnegative continuous functions on Q.

      An operator T acting in the Banach space X is called monotone increasing if implies .

      Consider the operator defined by

      Since and , is a fixed point of the operator . Similarly, one shows that is also a fixed point.

      Lemma 2 The operator is continuous, monotone increasing, compact and maps the order interval into itself.

      Proof For any , the maps and are continuous; see, e.g., Corollary 3.1.1 in [4]. Due to the continuity of T, it follows immediately that is continuous as well. The operator is monotone increasing since inf and sup are monotone increasing with respect to each argument. Therefore, for any , we have

      Let be an arbitrary sequence in . Since T is compact, has a subsequence converging to some . From the continuity of , it follows that the sequence converges to , thus, proving that the range of is relatively compact. □

      Lemma 3 There exist with

      Proof Due to , there is a such that . The preimage of under the continuous mapping contains a ball . Hence, holds for all . By the same argument, for all . Choosing sufficiently small, we can achieve that .

      Set . We choose so small that and so close to 1 that . Then we have and
      Due to and , we have . Further, we obtain

      From it follows that there is an element such that . Assume that . Then we have . However, in view of the Kakutani-Krein brothers theorem, implies . Thus, it follows that and, therefore, . Similarly one shows that . □

      The main tool for the proof of Theorem 1 is Amann’s theorem on three fixed points (see, e.g., [[5], Theorem 7.F and Corollary 7.40]):

      Theorem 4 Let X be a real Banach space with an order cone having a nonempty interior. Assume there are four points in X,
      and a monotone increasing image compact operator such that

      Then has a third fixed point p satisfying , , and .

      Recall that the operator is called image compact if it is continuous and its image is a relatively compact set.

      We choose , , , , where is as in Lemma 3. Since the cone K is normal, by Theorem 1.1.1 in [1], is norm bounded. Thus, is image compact.

      Theorem 4 yields the existence of a fixed point of the operator satisfying . Obviously, is a fixed point of the operator T as well. This observation completes the proof of Theorem 1.



      The authors thank H.-P. Heinz for useful comments. This work has been supported in part by the Deutsche Forschungsgemeinschaft, Grant KO 2936/4-1.

      Authors’ Affiliations

      FB 08 - Institut für Mathematik, Johannes Gutenberg-Universität Mainz
      Department of Mathematics, University of Uppsala


      1. Guo D, Lakshmikantham V: Nonlinear Problems in Abstract Cones. Academic Press, Boston; 1988.MATH
      2. Kostrykin, V, Oleynik, A: On the existence of unstable bumps in neural networks. Preprint. arXiv:1112.2941 [math.DS] (2011)Kostrykin, V, Oleynik, A: On the existence of unstable bumps in neural networks. Preprint. arXiv:1112.2941 [math.DS] (2011)
      3. Krasnosel’skij MA, Lifshits JA, Sobolev AV: Positive Linear Systems. Heldermann, Berlin; 1989. [The Method of Positive Operators, Sigma Series in Applied Mathematics 5]
      4. Chueshov I: Monotone Random Systems Theory and Applications. Springer, Berlin; 2002. [Lecture Notes in Mathematics 1779]
      5. Zeidler E: Nonlinear Functional Analysis and Its Applications: I: Fixed-Point Theorems. Springer, New York; 1986.MATHView Article


      © Kostrykin and Oleynik; licensee Springer 2012

      This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://​creativecommons.​org/​licenses/​by/​2.​0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.