Abstract
In this paper, we first obtain some results on the structure of positive solution sets of differential boundary value problems. Then by using the results, we obtain an existence result for differential boundary value problems. The method used to show the main result is the global bifurcation theory.
Keywords:
structure of positive solution sets; differential boundary value problems; bifurcation theory1 Introduction
This paper considers the differential boundary value problem
where f is ϕsuperlinear at ∞ and maybe negative and p is a positive continuous function, is a parameter.
Equations of form (1.1) occur in the study for the pLaplacian equation, nonNewtonial fluid theory and the turbulent flow of a gas in a porous medium. The case where
i.e., perturbations of the pLaplacian, has received much attention in the recent literature. Also, problem (1.1) with has been studied by several authors in recent years (see [1] and the references therein). Here, we are interested in the case when may be negative (the socalled semipositone case) (see [2] and its references for a review). As pointed out by Lions in [3], semipositone problems are mathematically very challenging. During the last ten years, finding positive solutions to semipositone problems has been actively pursued and significant progress on semipositone problems has taken place; see [48] and the references therein. For instance, Hai et al.[9] considered the existence positive solution of (1.1). Under some superlinear conditions on the nonlinear term f, they proved that there exists such that (1.1) has one positive solution for . The main method in [9] used to show the main result are the fixedpoint theorems.
The main purpose of this paper is going to study the structure of the positive set of (1.1). Rabinowitz [10] gave the first important results on the structure of the solution sets of nonlinear equations and obtained by the degree theoretic method. Amamn [11] studied the structure of the positive solution set of nonlinear equations; the reader is referred to [12,13] for other results concerning the structure of solution sets of nonlinear equations. In our paper, we will study the existence results for an unbounded connected component of a positive solution set for the differential boundary value problem of (1.1). This paper generalizes some results from the literature [9]. The paper is arranged as follows. In Section 2, we will give some preliminary lemmas. The main results will be given in Section 3.
2 Some lemmas
For convenience, we make the following assumptions:
(A1) ϕ is an odd, increasing homeomorphism on R with concave on .
(A2) For each , there exists such that , and (note that (A2) implies the existence of such that , and ).
Let , the usual real Banach space of continuous functions with the maximum norm . Let for and . Then P is a cone of E. Define
Then for (here is a constant). For , , define
here C is a constant such that
We know that C exists and is unique for every (see [14]). Then if and only if u is a solution of
From [9], we have the following Lemmas 2.1 and 2.2.
Lemma 2.1Letϕsatisfy (A1) and (A2). Then for each, there exist constantsandsuch that
Lemma 2.2Letϕbe as in Lemma 2.1. Then there existandsuch thatfor, .
Lemma 2.3Letsuch thatfor. Letandωbe a solution of
hereis continuous function with (hereis a constant) for, if, then
Proof By integrating, it follows that (3.1) has the unique solution given by
where C is such that . Let for some . Then
Now
And so
here
In fact, for . We next prove that for , here ν satisfies
Suppose it is not true, then has a negative absolute minimum at . Since
and
Then
On the other hand, using the inequality
and the fact that there exists such that , we have
which is a contradiction. So, for . Obviously, , , since for each . From (2.2), we have
Similarly,
The proof is complete. □
Let for each , where and are defined as that in Lemma 2.2 and Lemma 2.3, respectively. Then is also a cone of E. From Lemma 2.3, we know that is completely continuous.
Let
From [[15], Lemma 29.1], we have Lemma 2.4.
Lemma 2.4LetXbe a compact metric space. Assume thatAandBare two disjoint closed subsets ofX. Then either there exist a connected component ofXmeeting bothAandBorwhere, are disjoint compact subsets ofXcontainingAandB, respectively.
LetUbe an open and bounded subset of the metric space. We set, whose boundary is denoted by. Consider a map, such thatis compact and. Such a maphwill also be called an admissible homotopy onU. Ifhis an admissible homotopy, for everyand every, one has thatand it makes sense to evaluate.
Lemma 2.5Ifhis an admissible homotopy on, theis constant for all.
Lemma 2.6Letsuch that. Then for arbitrary, there existssuch that for each, and,
Proof From (A4), for , such that
there exists such that for . Let
Assume by contradiction that
From Lemma 2.3, we know that . Namely,
From (2.3) and (2.4), we have
for . Therefore, let , , assume that , then
where
and
Thus,
so , which is a contradiction. Then (2.3) holds. The proof is complete. □
3 Main results
For convenience, let us introduce the following symbols. For any r,
Now we give our main results of this paper.
Theorem 3.1Suppose (A1) to (A4) hold. Thenpossesses an unbounded connected componentsuch thatfor someand
wheredenotes the projection ofonto theλaxis.
Proof We divide our proof into four steps.
Step 1. Let
where . Obviously, is a completely continuous operator.
Note that for all and with . From Lemma 2.5, there exists large enough such that and
Obviously,
Therefore,
Step 2. Let
From Lemma 2.6, we have
This implies that T has no bifurcation point on . From step 1,we have , then for each , denote by the connected component of the metric space emitting from . Now we will show that, there must exist such that is unbounded. Assume on the contrary that is bounded for each . Take a bounded open neighborhood in for each such that
and , where denotes the closure of in the metric space . Let denote the boundary of in the metric space . Obviously, is a compact subset. Assume that . From the maximal connectedness of , there is no connected subset of meeting both and . From Lemma 2.4, there exist compact disjoint subsets and of such that and , and . Let and be the neighborhood of in the metric space . Set
Obviously, the collection of the subsets
is an open cover of . Since is compact, then there exist finite points, namely
such that
Let . Then U is a bounded open subset of . From (3.7), we have
Thus,
From (3.5) and (3.8), we have
Then from Lemma 2.5, we have
Since , then from (3.4) we have
which contradicts to (3.10) and (3.11). Therefore, there must exist such that is bounded.
Step 3. Obviously, the projection of is a interval, denote it by , then . Then is a bounded connected component of . Take , let
Obviously, . For each , denote by the connected component of the metric space , which passes the point p. Now we shall prove that there must exist a such that is an unbounded connected component of the metric space . On the contrary, assume that is bounded for each . Then, for each , in the same way as in the construction of in (3.6) we can show that there exists a neighborhood of in such that
Obviously, the set of is an open cover of the set and is a compact set. Thus, there exist finite subsets of , say
which is also an open cover of , that is,
Let , then is a bounded open subset of . Since
then by (3.12) we have
Let
From (3.12) and (3.13), we see that . Obviously, and . Note the unboundedness of , then . Now we have , which is a contradiction of the connectedness of . Therefore, there must exist such that is an unbounded connected component of .
Step 4. Since for each , we have
So, for each . This implies is an unbounded subset. Let be the connected component of containing . Obviously, there exists such that . As is unbounded, we easily see that
The proof is complete. □
Corollary 3.1Let (A1) to (A4) hold. Then there existssuch that problem (1.1) has a positive solutionforwithas.
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
The authors declare that the study was realized in collaboration with the same responsibility. All authors read, checked and approved the final manuscript.
Acknowledgements
This paper is supported by Innovation Project of Jiangsu Province postgraduate training project (CXLX12_0979).
References

Manasevich, R, Schmitt, K: Boundary value problems for quasilinear second order differential equations. Nonlinear Analysis and Boundary Value Problems, pp. 79–119. Springer, Berlin (1996)

Castro, A, Shivaji, R: Semipositone Problems, Semigroups of Linear and Nonlinear Operators and Applications, pp. 109–119. Kluwer Academic, Dordrecht (1993)

Lions, PL: On the existence of positive solutions of semilinear elliptic equations. SIAM Rev.. 24, 441–467 (1982). Publisher Full Text

Xian, X, Jingxian, S: Unbounded connected component of the positive solutions set of some semiposition problems. Topol. Methods Nonlinear Anal.. 37, 283–302 (2011)

Jingxian, S, Xian, X: Positive fixed points of semipositone nonlinear operator and its applications. Acta Math. Sin.. 55, 55–64 in Chinese (2012)

Anuradha, V, Hai, DD, Shivaji, R: Existence results for superlinear semipositone BVPs. Proc. Am. Math. Soc.. 124, 757–763 (1996). Publisher Full Text

Xian, X, O’Regan, D, Yanfeng, C: Structure of positive solution sets of simipositon singular boundary value problems. Nonlinear Anal.. 72, 3535–3550 (2010). Publisher Full Text

Haisen, LU: Existence and multiplicity of positive solutions for semiposition pLaplacian equations. Acta Math. Appl. Sin.. 19(3), 546–553 (2006)

Hai, DD, Schmitt, K, Shivaji, R: Positive solutions of quasilinear boundary value problems. J. Math. Anal. Appl.. 217, 672–686 (1998). Publisher Full Text

Rabinowitz, PH: Some global results for nonlinear eigenvalues. J. Funct. Anal.. 7, 487–513 (1971). Publisher Full Text

Amann, H: Fixed point equations and nonlinear eigenvalue problems in ordered Banach spaces. SIAM Rev.. 18, 620–709 (1976). Publisher Full Text

Dancer, EN: Solution branches for mappings in cones and applications. Bull. Aust. Math. Soc.. 11, 133–145 (1974)

Rabinowitz, PH: On bifurcation from infinity. J. Differ. Equ.. 14, 462–475 (1973). Publisher Full Text

Xiyu, L: Some existence principles for the singular second order differential equation . Acta Math. Sin.. 39(3), 366–375 (1996)

Deimling, K: Nonlinear Functional Analysis, Springer, Berlin (1985)