- Open Access
Solvability for second-order nonlocal boundary value problems with
© Jeong et al.; licensee Springer. 2014
Received: 1 August 2014
Accepted: 28 November 2014
Published: 20 December 2014
The existence of at least one solution to the second-order nonlocal boundary value problems on the real line is investigated by using an extension of Mawhin’s continuation theorem.
MSC: 34B10, 34B40, 34B15.
Boundary value problems on an infinite interval arise quite naturally in the study of radially symmetric solutions of nonlinear elliptic equations and in various applications such as an unsteady flow of gas through a semi-infinite porous medium, theory of drain flows and plasma physics. For an extensive collection of results to boundary value problems on unbounded domains, we refer the reader to a monograph by Agarwal and O’Regan . The study of nonlocal elliptic boundary value problems was investigated by Bicadze and Samarskiĭ , and later continued by Il’in and Moiseev  and Gupta . Since then, the existence of solutions for nonlocal boundary value problems has received a great deal of attention in the literature. For more recent results, we refer the reader to – and the references therein.
where , , is a Carathéodory function, i.e., is Lebesgue measurable in t for all and continuous in for almost all . Throughout this paper, we assume that the following assumptions hold:
(H1) satisfy ;
(H2) is a continuous function which satisfy ;
where , , , , and will be defined in Section 3.
A boundary value problem is called a resonance one if the corresponding homogeneous boundary value problem has a non-trivial solution. Resonance problems can be expressed as an abstract equation , where L is a noninvertible operator. When L is linear, Mawhin’s continuation theorem  is an efficient tool in finding solutions for these problems. However, it is not suitable for the case L is nonlinear. Recently, Ge and Ren  extended Mawhin’s continuation theorem from the case of linear L to the case of quasi-linear L. The purpose of this paper is to establish the sufficient conditions for the existence of solutions to the problem (1) on the real line at resonance with by using an extension of Mawhin’s continuation theorem .
In this section, we recall some definitions and theorems. Let X and Y be two Banach spaces with the norms and , respectively.
is a closed subset of Y;
is linearly homeomorphic to for some .
, ⇔ ;
is the zero operator and , where ;
Here, is a complement space of in X, is the origin of Y and , are projections.
Now, we give an extension of Mawhin’s continuation theorem .
Letbe an open and bounded set with. Suppose thatis a quasi-linear operator and, is M-compact. In addition, if the following conditions hold:
(A2), whereis a homeomorphism with,
then the abstract equationhas at least one solution in.
Finally, we give a theorem which is useful to show the compactness of operators defined on an infinite interval.
S is bounded in Z;
S is equicontinuous on any compact interval of ;
S is equiconvergent at ±∞, that is, given , there exists a constant such that (respectively, ) for all (respectively, ) and all .
3 Main result
- (1)It is well known that, for any and ,
Since , then w is a continuous function which satisfies and .
For any continuous functions , we can choose a function which satisfies . For example, put , then .
Then are continuous.
Assume that (H1) and (H2) hold. Then the operatoris quasi-linear. Moreover, and.
Thus . In a similar manner, .
Then , and . Thus, . Since are continuous, ImM is closed in Y. Consequently, M is a quasi-linear operator.
where and . Then , are projections, and . By (H4), , and it follows from Lemma 3.2 that . □
Assume that (H1)-(H4) hold. Assume that Ω is an open bounded subset of X such that. Then, is M-compact on.
Here is the constant in Remark 3.1(1). Thus and are bounded in Z.
Consequently, and are equicontinuous on any compact intervals in .
By (6), we conclude that and are equiconvergent at ±∞. Thus, is compact in view of Theorem 2.4.
Next, we prove that is continuous. Let be a sequence in such that in X and in as . Then is bounded in X and pointwise as . Since R is compact, there exists a subsequence of such that in X as . By the Lebesgue dominated convergence theorem, as . Thus, . By a standard argument, is continuous.
Thus, is M-compact on . □
Now, we give the main result in this paper.
Assume that (H1)-(H4) hold. Assume also that the following hold:
(H5)there exist positive constants A and B such that iffor everyorfor every, then, i.e., eitheror;
Here, D is the constant defined in (5).
We divide the proof into three steps.
We will prove that is bounded. For , .
By (7), is bounded.
Let . Then for some . If , . Since J is homeomorphism, . By (H6), we obtain and . If , then .
which is a contradiction. Thus, is bounded.
and it follows that is bounded in a similar manner.
Step 3. Take an open bounded set in X. By Step 1,
(A1) for every .
Now we will show that
By Theorem 2.3, has at least one solution in , and consequently problem (1) has at least one solution in X. □
where . Since for and , , and thus (H1), (H2), and (H3) hold.
Thus, (H4) holds.
Thus, (H5) holds.
Thus, (H6)(2) is satisfied.
This research was supported by Basic Science Research Program through the National Research Foundation of Korea (NRF) funded by the Ministry of Education, Science and Technology (2012R1A1A1011225).
- Agarwal RP, O’Regan D: Infinite Interval Problems for Differential, Difference and Integral Equations. Kluwer Academic, Dordrecht; 2001.View ArticleMATHGoogle Scholar
- Bicadze AV, Samarskiĭ AA: Some elementary generalizations of linear elliptic boundary value problems. Dokl. Akad. Nauk SSSR 1969, 185: 739-740.MathSciNetGoogle Scholar
- Il’in VA, Moiseev EI: A nonlocal boundary value problem of the second kind for the Sturm-Liouville operator. Differ. Equ. 1987, 23: 979-987.MathSciNetMATHGoogle Scholar
- Gupta CP: Solvability of a three-point nonlinear boundary value problem for a second order ordinary differential equation. J. Math. Anal. Appl. 1992, 168(2):540-551. 10.1016/0022-247X(92)90179-HMathSciNetView ArticleMATHGoogle Scholar
- Chen Y, Lv Z: Solvability of fractional-order multi-point boundary-value problems at resonance on the half-line. Electron. J. Differ. Equ. 2012., 2012: 10.1186/1687-1847-2012-230Google Scholar
- Djebali S, Mebarki K: System of singular second-order differential equations with integral condition on the positive half-line. Electron. J. Qual. Theory Differ. Equ. 2013., 2013: 10.1186/1687-1847-2013-50Google Scholar
- Du Z, Zhao B, Bai Z: Solvability of a third-order multipoint boundary value problem at resonance. Abstr. Appl. Anal. 2014., 2014:Google Scholar
- Jeong J, Kim C-G, Lee EK:Solvability for nonlocal boundary value problems on a half line with . Bound. Value Probl. 2014., 2014: 10.1186/s13661-014-0167-6Google Scholar
- Jiang W: Solvability for p -Laplacian boundary value problem at resonance on the half-line. Bound. Value Probl. 2013., 2013: 10.1186/1687-2770-2013-207Google Scholar
- Jiang W, Wang B, Wang Z:Solvability of a second-order multi-point boundary-value problems at resonance on a half-line with . Electron. J. Differ. Equ. 2011., 2011:Google Scholar
- Kim C-G: Existence and iteration of positive solutions for multi-point boundary value problems on a half-line. Comput. Math. Appl. 2011, 61(7):1898-1905. 10.1016/j.camwa.2011.02.023MathSciNetView ArticleMATHGoogle Scholar
- Kim C-G: Existence of positive solutions for multi-point boundary value problem with strong singularity. Acta Appl. Math. 2010, 112(1):79-90. 10.1007/s10440-009-9554-xMathSciNetView ArticleMATHGoogle Scholar
- Kim C-G, Lee EK: Multiple positive solutions for singular multi-point boundary-value problems with a positive parameter. Electron. J. Differ. Equ. 2014., 2014: 10.1186/1687-1847-2014-38Google Scholar
- Kosmatov N: A multi-point boundary value problem with two critical conditions. Nonlinear Anal. 2006, 65(3):622-633. 10.1016/j.na.2005.09.042MathSciNetView ArticleMATHGoogle Scholar
- Kosmatov N: Multi-point boundary value problems on an unbounded domain at resonance. Nonlinear Anal. 2008, 68(8):2158-2171. 10.1016/j.na.2007.01.038MathSciNetView ArticleMATHGoogle Scholar
- Lian H, Ge W: Solvability for second-order three-point boundary value problems on a half-line. Appl. Math. Lett. 2006, 19(10):1000-1006. 10.1016/j.aml.2005.10.018MathSciNetView ArticleMATHGoogle Scholar
- Massar M: Existence and multiplicity of solutions for nonlocal elliptic problems. Electron. J. Differ. Equ. 2013., 2013: 10.1186/1687-1847-2013-75Google Scholar
- Meng F, Du Z: Solvability of a second-order multi-point boundary value problem at resonance. Appl. Math. Comput. 2009, 208(1):23-30. 10.1016/j.amc.2008.11.026MathSciNetView ArticleMATHGoogle Scholar
- O’Regan D, Yan B, Agarwal RP: Solutions in weighted spaces of singular boundary value problems on the half-line. J. Comput. Appl. Math. 2007, 205(2):751-763. 10.1016/j.cam.2006.02.055MathSciNetView ArticleMATHGoogle Scholar
- Xu J, Yang Z: Positive solutions for singular Sturm-Liouville boundary value problems on the half line. Electron. J. Differ. Equ. 2010., 2010:Google Scholar
- Yan B, O’Regan D, Agarwal RP: Positive solutions for second order singular boundary value problems with derivative dependence on infinite intervals. Acta Appl. Math. 2008, 103(1):19-57. 10.1007/s10440-008-9218-2MathSciNetView ArticleMATHGoogle Scholar
- Yang A, Miao C, Ge W: Solvability for second-order nonlocal boundary value problems with a p -Laplacian at resonance on a half-line. Electron. J. Qual. Theory Differ. Equ. 2009., 2009:Google Scholar
- Mawhin J: Topological Degree Methods in Nonlinear Boundary Value Problems. Am. Math. Soc., Providence; 1979.View ArticleMATHGoogle Scholar
- Ge W, Ren J: An extension of Mawhin’s continuation theorem and its application to boundary value problems with a p -Laplacian. Nonlinear Anal. 2004, 58(3-4):477-488. 10.1016/j.na.2004.01.007MathSciNetView ArticleMATHGoogle Scholar
This article is published under license to BioMed Central Ltd.Open Access This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited.