Bounded components of positive solutions of abstract fixed point equations: mushrooms, loops and isolas

In this work a general class of nonlinear abstract equations satisfying a generalized strong maximum principle is considered in order to study the behavior of the bounded components of positive solutions bifurcating from the curve of trivial states (λ,u)=(λ,0) at a nonlinear eigenvalue λ=λ0 with geometric multiplicity one. Since the unilateral theorems of Rabinowitz (J. Funct. Anal. 7 (1971) 487, Theorems 1.27 and 1.40) are not true as originally stated (cf. the very recent counterexample of Dancer, Bull. London Math. Soc. 34 (2002) 533), in order to get our main results the unilateral theorem of López-Gómez (Spectral Theory and Nonlinear Functional Analysis, Research Notes in Mathematics, vol. 426, CRC Press, Boca Raton, FL, 2001, Theorem 6.4.3) is required. Our analysis fills some serious gaps existing is some published papers that were provoked by a direct use of Rabinowitz's unilateral theory. Actually, the abstract theory developed in this paper cannot be covered with the pioneering results of Rabinowitz (1971), since in Rabinowitz's context any component of positive solutions must be unbounded, by a celebrated result attributable to Dancer (Arch. Rational Mech. Anal. 52 (1973) 181).