SpringerOpen Newsletter

Receive periodic news and updates relating to SpringerOpen.

Open Access Research

An intermediate value theorem for monotone operators in ordered Banach spaces

Vadim Kostrykin1* and Anna Oleynik12

Author Affiliations

1 FB 08 - Institut für Mathematik, Johannes Gutenberg-Universität Mainz, Staudinger Weg 9, Mainz, D-55099, Germany

2 Department of Mathematics, University of Uppsala, P.O. Box 480, Uppsala, S-75106, Sweden

For all author emails, please log on.

Fixed Point Theory and Applications 2012, 2012:211  doi:10.1186/1687-1812-2012-211

The electronic version of this article is the complete one and can be found online at: http://www.fixedpointtheoryandapplications.com/content/2012/1/211


Received:5 June 2012
Accepted:5 November 2012
Published:22 November 2012

© 2012 Kostrykin and Oleynik; licensee Springer

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.

Abstract

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

MSC: 47H05, 47H10, 46B40.

Keywords:
fixed point theorems in ordered Banach spaces

Research

It is an elementary consequence of the intermediate value theorem for continuous real-valued functions f : [ a 1 , a 2 ] R that if either

f ( a 1 ) > a 1 and f ( a 2 ) < a 2 (1)

or

f ( a 1 ) < a 1 and f ( a 2 ) > a 2 , (2)

then f has a fixed point in [ a 1 , a 2 ] . 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 1LetXbe a real Banach space with an order coneKsatisfying

(a) Khas a nonempty interior,

(b) Kis normal and minihedral.

Assume that there are two points inX, u u + , and a monotone increasing compact continuous operator T : [ u , u + ] X . If u is a strong supersolution ofTand u + is a strong subsolution, that is,

T u u and T u + u + ,

thenThas a fixed point u [ u , u + ] .

Here [ u , u + ] denotes the order interval { u X : u u u + } .

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 u v if u v K , u > v if u v and u v , and u v if u v K , where K is the interior of the cone K.

A cone K is called minihedral if for any pair { x , y } , x , y X , bounded above in order there exists the least upper bound sup { x , y } , that is, an element z X such that

(1) x z and y z ,

(2) x z and y z implies that z z .

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

A cone K is called normal if there exists a constant N > 0 such that x y , x , y K implies x X N y X .

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 C ( Q ) 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 u v implies T u T v .

Consider the operator T ˆ : [ u , u + ] X defined by

T ˆ u : = sup { inf { T u , u + } , u } . (3)

Since inf { T u + , u + } = u + and sup { u + , u } = u + , u + is a fixed point of the operator T ˆ . Similarly, one shows that u is also a fixed point.

Lemma 2The operator T ˆ is continuous, monotone increasing, compact and maps the order interval [ u , u + ] into itself.

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

u = T ˆ u T ˆ u T ˆ u + = u + .

Let ( u n ) be an arbitrary sequence in [ u , u + ] . Since T is compact, ( T u n ) has a subsequence ( T u n k ) converging to some v X . From the continuity of T ˆ , it follows that the sequence ( T ˆ u n k ) converges to sup { inf { v , u + } , u } , thus, proving that the range of T ˆ is relatively compact. □

Lemma 3There exist p ± X with

u p p + u +

and

T ˆ p < p , T ˆ p + > p + .

Proof Due to T u u , there is a δ > 0 such that B δ ( u T u ) K . The preimage of B δ ( u T u ) under the continuous mapping u u T u contains a ball B ϵ ( u ) . Hence, u T u 0 holds for all u B ϵ ( u ) . By the same argument, u T u 0 for all u B ϵ ( u + ) . Choosing ϵ > 0 sufficiently small, we can achieve that B ϵ ( u ) B ϵ ( u + ) = .

Set p ( t ) : = { ( 1 t ) u + t u + | t [ 0 , 1 ] } . We choose t ( 0 , 1 ) so small that p : = p ( t ) B ϵ ( u ) and t + ( 0 , 1 ) so close to 1 that p + : = p ( t + ) B ϵ ( u + ) . Then we have u p p + u + and

T p p , T p + p + .

Due to p u + and T p p , we have inf { T p , u + } = T p . Further, we obtain

sup { T p , u } sup { p , u } = p .

From T p p it follows that there is an element z 0 such that T p = p + z . Assume that sup { T p , u } = p . Then we have sup { z , u p } = 0 . However, in view of the Kakutani-Krein brothers theorem, u p 0 implies sup { z , u p } 0 . Thus, it follows that sup { T p , u } p and, therefore, T ˆ p < p . Similarly one shows that T ˆ p + > p + . □

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 4LetXbe a real Banach space with an order cone having a nonempty interior. Assume there are four points inX,

p 1 p 2 < p 3 p 4 ,

and a monotone increasing image compact operator T ˆ : [ p 1 , p 4 ] X such that

T ˆ p 1 = p 1 , T ˆ p 2 < p 2 , T ˆ p 3 > p 3 , T ˆ p 4 = p 4 .

Then T ˆ has a third fixed pointpsatisfying p 1 < p < p 4 , p [ p 1 , p 2 ] , and p [ p 3 , p 4 ] .

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

We choose p 1 = u , p 2 = p , p 3 = p + , p 4 = u + , where p ± is as in Lemma 3. Since the cone K is normal, by Theorem 1.1.1 in [1], [ u , u + ] is norm bounded. Thus, T ˆ is image compact.

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

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

All authors contributed equally. All authors read and approved the final manuscript.

Acknowledgements

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.

References

  1. Guo, D, Lakshmikantham, V: Nonlinear Problems in Abstract Cones, Academic Press, Boston (1988)

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

  4. Chueshov, I: Monotone Random Systems Theory and Applications, Springer, Berlin (2002)

  5. Zeidler, E: Nonlinear Functional Analysis and Its Applications: I: Fixed-Point Theorems, Springer, New York (1986)