Fixed points of monotone maps (Q1903052)

The paper presents proofs of the following results on the existence of fixed points of a monotone operator \(S: X\to X\) if \(X\) is a subset of a (partially) ordered metrizable space: Theorem 1.1. Let \(u\in X\) be such that its \(\omega\)-limit set contains a nonempty invariant set \(G\leq u\). Then \(G\) consists of a single fixed point of \(S\). Theorem 1.2. Let \(E\) be a strongly ordered topological vector space i.e. the cone \(E_+:= \{x\in E: x\geq 0\}\) has a nonempty interior. Let \(X\subset E\) be a cone which meets \(\text{int }E_+\). Let \(K\subset X\) be an upper attractor for \(S\), i.e. its basin contains \(\{x\in X: x\geq K\}\). If \(S\) is continuous then \(K\) contains a fixed point of \(S\). Theorem 2.1. Let \(X\) be an ordered Banach space and let \(S\) be continuous and order compact, i.e. the image of every closed interval has compact closure. If every \(\omega\)-limit set is compact and nonempty, and \(S\) has a periodic point then \(S\) has a fixed point. Corollary 2.2. Let \(X\) be a strongly ordered Banach space. If \(S\) is continuous and order compact, every \(\omega\)-limit set is compact and nonempty, and there exists an attractor for \(S\) then \(S\) has a fixed point. Theorem 2.3. Let \(X\) be a strongly ordered Banach space and let \(S\) be continuous and strongly monotone, i.e. for every \(x,y\in X\), \(x> y\) implies \(Sx- Sy\in \text{int } X_+\). If \(S\) is order compact and every \(\omega\)-limit set is compact and nonempty then \(S\) has a fixed point. Theorem 2.4. Assume that there are two fixed points \(p\) and \(q\) for \(S\) satisfying \(p< q\) and let \([p, q]\) contain a periodic point which is not fixed. If \(S([p, q])\) has compact closure and \(S\) is continuous and strongly monotone then \([p, q]\) contains a third fixed point.