- Research Article
- Open access
- Published:
Existence of Solutions to a Nonlocal Boundary Value Problem with Nonlinear Growth
Boundary Value Problems volume 2011, Article number: 416416 (2011)
Abstract
This paper deals with the existence of solutions for the following differential equation: ,
, subject to the boundary conditions:
,
, where
,
,
is a continuous function,
is a nondecreasing function with
. Under the resonance condition
, some existence results are given for the boundary value problems. Our method is based upon the coincidence degree theory of Mawhin. We also give an example to illustrate our results.
1. Introduction
In this paper, we consider the following second-order differential equation:
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F416416/MediaObjects/13661_2010_Article_38_Equ1_HTML.gif)
subject to the boundary conditions:
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F416416/MediaObjects/13661_2010_Article_38_Equ2_HTML.gif)
where ,
,
is a continuous function,
is a nondecreasing function with
. In boundary conditions (1.2), the integral is meant in the Riemann-Stieltjes sense.
We say that BVP (1.1), (1.2) is a problem at resonance, if the linear equation
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F416416/MediaObjects/13661_2010_Article_38_Equ3_HTML.gif)
with the boundary condition (1.2) has nontrivial solutions. Otherwise, we call them a problem at nonresonance.
Nonlocal boundary value problems were first considered by Bicadze and SamarskiÄ [1] and later by Il'pin and Moiseev [2, 3]. In a recent paper [4], Karakostas and Tsamatos studied the following nonlocal boundary value problem:
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F416416/MediaObjects/13661_2010_Article_38_Equ4_HTML.gif)
Under the condition (i.e., nonresonance case), they used Krasnosel'skii's fixed point theorem to show that the operator equation
has at least one fixed point, where operator
is defined by
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F416416/MediaObjects/13661_2010_Article_38_Equ5_HTML.gif)
However, if (i.e., resonance case), then the method in [4] is not valid.
As special case of nonlocal boundary value problems, multipoint boundary value problems at resonance case have been studied by some authors [5–11].
The purpose of this paper is to study the existence of solutions for nonlocal BVP (1.1), (1.2) at resonance case (i.e., ) and establish some existence results under nonlinear growth restriction of
. Our method is based upon the coincidence degree theory of Mawhin [12].
2. Main Results
We first recall some notation, and an abstract existence result.
Let ,
be real Banach spaces, let
be a linear operator which is Fredholm map of index zero (i.e.,
, the image of
,
, the kernel of
are finite dimensional with the same dimension as the
), and let
,
be continuous projectors such that
=
,
=
and
,
. It follows that
is invertible; we denote the inverse by
. Let
be an open bounded, subset of
such that
, the map
is said to be
-compact on
if
is bounded, and
is compact. Let
be a linear isomorphism.
The theorem we use in the following is Theorem of [12].
Theorem 2.1.
Let be a Fredholm operator of index zero, and let
be
-compact on
. Assume that the following conditions are satisfied:
(i) for every
,
(ii) for every
,
(iii),
where is a projection with
. Then the equation
has at least one solution in
.
For , we use the norms
and
and denote the norm in
by
. We will use the Sobolev space
which may be defined by
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F416416/MediaObjects/13661_2010_Article_38_Equ6_HTML.gif)
Let ,
.
is a linear operator defined by
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F416416/MediaObjects/13661_2010_Article_38_Equ7_HTML.gif)
where
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F416416/MediaObjects/13661_2010_Article_38_Equ8_HTML.gif)
Let be defined as
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F416416/MediaObjects/13661_2010_Article_38_Equ9_HTML.gif)
Then BVP (1.1), (1.2) is .
We will establish existence theorems for BVP (1.1), (1.2) in the following two cases:
case (i): ,
;
case (ii): ,
.
Theorem 2.2.
Let be a continuous function and assume that
(H1) there exist functions and constant
such that for all
,
, it holds that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F416416/MediaObjects/13661_2010_Article_38_Equ10_HTML.gif)
(H2) there exists a constant , such that for
, if
, for all
, then
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F416416/MediaObjects/13661_2010_Article_38_Equ11_HTML.gif)
(H3) there exists a constant , such that either
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F416416/MediaObjects/13661_2010_Article_38_Equ12_HTML.gif)
or else
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F416416/MediaObjects/13661_2010_Article_38_Equ13_HTML.gif)
Then BVP (1.1), (1.2) with ,
, and
has at least one solution in
provided that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F416416/MediaObjects/13661_2010_Article_38_Equ14_HTML.gif)
Theorem 2.3.
Let be a continuous function. Assume that assumption (H1) of Theorem 2.2 is satisfied, and
(H4) there exists a constant , such that for
, if
, for all
, then
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F416416/MediaObjects/13661_2010_Article_38_Equ15_HTML.gif)
(H5) there exists a constant , such that either
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F416416/MediaObjects/13661_2010_Article_38_Equ16_HTML.gif)
or else
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F416416/MediaObjects/13661_2010_Article_38_Equ17_HTML.gif)
Then BVP (1.1), (1.2) with , and
has at least one solution in
provided that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F416416/MediaObjects/13661_2010_Article_38_Equ18_HTML.gif)
3. Proof of Theorems 2.2 and 2.3
We first prove Theorem 2.2 via the following Lemmas.
Lemma 3.1.
If ,
, and
, then
is a Fredholm operator of index zero. Furthermore, the linear continuous projector operator
can be defined by
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F416416/MediaObjects/13661_2010_Article_38_Equ19_HTML.gif)
and the linear operator can be written by
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F416416/MediaObjects/13661_2010_Article_38_Equ20_HTML.gif)
Furthermore,
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F416416/MediaObjects/13661_2010_Article_38_Equ21_HTML.gif)
Proof.
It is clear that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F416416/MediaObjects/13661_2010_Article_38_Equ22_HTML.gif)
Obviously, the problem
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F416416/MediaObjects/13661_2010_Article_38_Equ23_HTML.gif)
has a solution satisfying
,
, if and only if
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F416416/MediaObjects/13661_2010_Article_38_Equ24_HTML.gif)
which implies that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F416416/MediaObjects/13661_2010_Article_38_Equ25_HTML.gif)
In fact, if (3.5) has solution satisfying
,
, then from (3.5) we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F416416/MediaObjects/13661_2010_Article_38_Equ26_HTML.gif)
According to ,
, we obtain
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F416416/MediaObjects/13661_2010_Article_38_Equ27_HTML.gif)
then
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F416416/MediaObjects/13661_2010_Article_38_Equ28_HTML.gif)
On the other hand, if (3.6) holds, setting
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F416416/MediaObjects/13661_2010_Article_38_Equ29_HTML.gif)
where is an arbitrary constant, then
is a solution of (3.5), and
, and from
and (3.6), we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F416416/MediaObjects/13661_2010_Article_38_Equ30_HTML.gif)
Then . Hence (3.7) is valid.
For , define
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F416416/MediaObjects/13661_2010_Article_38_Equ31_HTML.gif)
Let , and we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F416416/MediaObjects/13661_2010_Article_38_Equ32_HTML.gif)
then , thus
. Hence,
, where
, also
. So we have
, and
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F416416/MediaObjects/13661_2010_Article_38_Equ33_HTML.gif)
Thus, is a Fredholm operator of index zero.
We define a projector by
. Then we show that
defined in (3.2) is a generalized inverse of
.
In fact, for , we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F416416/MediaObjects/13661_2010_Article_38_Equ34_HTML.gif)
and, for , we know
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F416416/MediaObjects/13661_2010_Article_38_Equ35_HTML.gif)
In view of ,
, and
, thus
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F416416/MediaObjects/13661_2010_Article_38_Equ36_HTML.gif)
This shows that . Also we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F416416/MediaObjects/13661_2010_Article_38_Equ37_HTML.gif)
then . The proof of Lemma 3.1 is finished.
Lemma 3.2.
Under conditions (2.5) and (2.9), there are nonnegative functions satisfying
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F416416/MediaObjects/13661_2010_Article_38_Equ38_HTML.gif)
Proof.
Without loss of generality, we suppose that . Take
, then there exists
such that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F416416/MediaObjects/13661_2010_Article_38_Equ39_HTML.gif)
Let
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F416416/MediaObjects/13661_2010_Article_38_Equ40_HTML.gif)
Obviously, , and
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F416416/MediaObjects/13661_2010_Article_38_Equ41_HTML.gif)
Then
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F416416/MediaObjects/13661_2010_Article_38_Equ42_HTML.gif)
and from (2.5) and (3.21), we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F416416/MediaObjects/13661_2010_Article_38_Equ43_HTML.gif)
Hence we can take ,
, 0, and
to replace
,
,
, and
, respectively, in (2.5), and for the convenience omit the bar above
,
, and
, that is,
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F416416/MediaObjects/13661_2010_Article_38_Equ44_HTML.gif)
Lemma 3.3.
If assumptions (H1), (H2) and ,
, and
hold, then the set
for some
is a bounded subset of
.
Proof.
Suppose that and
. Thus
and
, so that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F416416/MediaObjects/13661_2010_Article_38_Equ45_HTML.gif)
thus by assumption (H2), there exists , such that
. In view of
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F416416/MediaObjects/13661_2010_Article_38_Equ46_HTML.gif)
then, we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F416416/MediaObjects/13661_2010_Article_38_Equ47_HTML.gif)
Again for ,
, then
,
thus from Lemma 3.1, we know
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F416416/MediaObjects/13661_2010_Article_38_Equ48_HTML.gif)
From (3.29) and (3.30), we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F416416/MediaObjects/13661_2010_Article_38_Equ49_HTML.gif)
If (2.5) holds, from (3.31), and (3.26), we obtain
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F416416/MediaObjects/13661_2010_Article_38_Equ50_HTML.gif)
Thus, from and (3.32), we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F416416/MediaObjects/13661_2010_Article_38_Equ51_HTML.gif)
From , (3.32), and (3.33), one has
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F416416/MediaObjects/13661_2010_Article_38_Equ52_HTML.gif)
that is,
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F416416/MediaObjects/13661_2010_Article_38_Equ53_HTML.gif)
From (3.35) and (3.33), there exists , such that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F416416/MediaObjects/13661_2010_Article_38_Equ54_HTML.gif)
Thus
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F416416/MediaObjects/13661_2010_Article_38_Equ55_HTML.gif)
Again from (2.5), (3.35), and (3.36), we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F416416/MediaObjects/13661_2010_Article_38_Equ56_HTML.gif)
Then we show that is bounded.
Lemma 3.4.
If assumption (H2) holds, then the set is bounded.
Proof.
Let , then
and
; therefore,
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F416416/MediaObjects/13661_2010_Article_38_Equ57_HTML.gif)
From assumption (H2), , so
, clearly
is bounded.
Lemma 3.5.
If the first part of condition (H3) of Theorem 2.2 holds, then
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F416416/MediaObjects/13661_2010_Article_38_Equ58_HTML.gif)
for all . Let
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F416416/MediaObjects/13661_2010_Article_38_Equ59_HTML.gif)
where is the linear isomorphism given by
, for all
,
. Then
is bounded.
Proof.
Suppose that , then we obtain
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F416416/MediaObjects/13661_2010_Article_38_Equ60_HTML.gif)
or equivalently
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F416416/MediaObjects/13661_2010_Article_38_Equ61_HTML.gif)
If , then
. Otherwise, if
, in view of (3.40), one has
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F416416/MediaObjects/13661_2010_Article_38_Equ62_HTML.gif)
which contradicts . Then
=
and we obtain
; therefore,
is bounded.
The proof of Theorem 2.2 is now an easy consequence of the above lemmas and Theorem 2.1.
Proof of Theorem 2.2.
Let such that
. By the Ascoli-Arzela theorem, it can be shown that
is compact; thus
is
-compact on
. Then by the above Lemmas, we have the following.
(i) for every
.
(ii) for every
.
(iii)Let , with
as in Lemma 3.5. We know
, for
. Thus, by the homotopy property of degree, we get
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F416416/MediaObjects/13661_2010_Article_38_Equ63_HTML.gif)
According to definition of degree on a space which is isomorphic to ,
, and
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F416416/MediaObjects/13661_2010_Article_38_Equ64_HTML.gif)
We have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F416416/MediaObjects/13661_2010_Article_38_Equ65_HTML.gif)
and then
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F416416/MediaObjects/13661_2010_Article_38_Equ66_HTML.gif)
Then by Theorem 2.1, has at least one solution in
, so that the BVP (1.1), (1.2) has at least one solution in
. The proof is completed.
Remark 3.6.
If the second part of condition (H3) of Theorem 2.2 holds, that is,
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F416416/MediaObjects/13661_2010_Article_38_Equ67_HTML.gif)
for all , then in Lemma 3.5, we take
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F416416/MediaObjects/13661_2010_Article_38_Equ68_HTML.gif)
and exactly as there, we can prove that is bounded. Then in the proof of Theorem 2.2, we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F416416/MediaObjects/13661_2010_Article_38_Equ69_HTML.gif)
since . The remainder of the proof is the same.
By using the same method as in the proof of Theorem 2.2 and Lemmas 3.1–3.5, we can show Lemma 3.7 and Theorem 2.3.
Lemma 3.7.
If ,
, and
, then
is a Fredholm operator of index zero. Furthermore, the linear continuous projector operator
can be defined by
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F416416/MediaObjects/13661_2010_Article_38_Equ70_HTML.gif)
and the linear operator can be written by
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F416416/MediaObjects/13661_2010_Article_38_Equ71_HTML.gif)
Furthermore,
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F416416/MediaObjects/13661_2010_Article_38_Equ72_HTML.gif)
Notice that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F416416/MediaObjects/13661_2010_Article_38_Equ73_HTML.gif)
Proof of Theorem 2.3.
Let
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F416416/MediaObjects/13661_2010_Article_38_Equ74_HTML.gif)
Then, for ,
; thus
,
; hence
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F416416/MediaObjects/13661_2010_Article_38_Equ75_HTML.gif)
thus, from assumption (H4), there exists , such that
and in view of
, we obtain
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F416416/MediaObjects/13661_2010_Article_38_Equ76_HTML.gif)
From , there exists
, such that
. Thus, from
, one has
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F416416/MediaObjects/13661_2010_Article_38_Equ77_HTML.gif)
We let ; hence from (3.58) and (3.59), we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F416416/MediaObjects/13661_2010_Article_38_Equ78_HTML.gif)
thus, by using the same method as in the proof of Lemmas 3.2 and 3.3, we can prove that is bounded too. Similar to the other proof of Lemmas 3.4–3.7 and Theorem 2.2, we can verify Theorem 2.3.
Finally, we give two examples to demonstrate our results.
Example 3.8.
Consider the following boundary value problem:
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F416416/MediaObjects/13661_2010_Article_38_Equ79_HTML.gif)
where ,
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F416416/MediaObjects/13661_2010_Article_38_Equ80_HTML.gif)
and satisfying
,
, and
, then we can choose
,
, and
, for
; thus
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F416416/MediaObjects/13661_2010_Article_38_Equ81_HTML.gif)
Since
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F416416/MediaObjects/13661_2010_Article_38_Equ82_HTML.gif)
and has the same sign as
when
, we may choose
, and then the conditions (H1)–(H3) of Theorem 2.2 are satisfied. Theorem 2.2 implies that BVP (3.61) has at least one solution,
.
Example 3.9.
Consider the following boundary value problem:
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F416416/MediaObjects/13661_2010_Article_38_Equ83_HTML.gif)
where ,
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F416416/MediaObjects/13661_2010_Article_38_Equ84_HTML.gif)
and satisfying
, and
, then we can choose
,
, and
, for
; thus
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F416416/MediaObjects/13661_2010_Article_38_Equ85_HTML.gif)
Similar to Example 3.8, we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F416416/MediaObjects/13661_2010_Article_38_Equ86_HTML.gif)
and has the same sign as
when
, we may choose
, and then all conditions of Theorem 2.3 are satisfied. Theorem 2.3 implies that BVP (3.65) has at least one solution
.
References
Bicadze AV, SamarskiÄ AA: Some elementary generalizations of linear elliptic boundary value problems. Doklady Akademii Nauk SSSR 1969, 185: 739-740.
Il'pin VA, Moiseev EI: Nonlocal boundary value problems of the first kind for a Sturm-Liouville operator in its differential and finite difference aspects. Differential Equations 1987, 23(7):803-810.
Il'cprimein VA, Moiseev EI: Nonlocal boundary value problems of the first kind for a Sturm-Liouville operator in its differential and finite difference aspects. Differential Equations 1987, 23(8):979-987.
Karakostas GL, Tsamatos PCh: Sufficient conditions for the existence of nonnegative solutions of a nonlocal boundary value problem. Applied Mathematics Letters 2002, 15(4):401-407. 10.1016/S0893-9659(01)00149-5
Du Z, Lin X, Ge W: On a third-order multi-point boundary value problem at resonance. Journal of Mathematical Analysis and Applications 2005, 302(1):217-229. 10.1016/j.jmaa.2004.08.012
Du Z, Lin X, Ge W: Some higher-order multi-point boundary value problem at resonance. Journal of Computational and Applied Mathematics 2005, 177(1):55-65. 10.1016/j.cam.2004.08.003
Feng W, Webb JRL: Solvability of three point boundary value problems at resonance. Nonlinear Analysis 1997, 30(6):3227-3238. 10.1016/S0362-546X(96)00118-6
Liu B: Solvability of multi-point boundary value problem at resonance. II. Applied Mathematics and Computation 2003, 136(2-3):353-377. 10.1016/S0096-3003(02)00050-4
Gupta CP: A second order m -point boundary value problem at resonance. Nonlinear Analysis 1995, 24(10):1483-1489. 10.1016/0362-546X(94)00204-U
Zhang X, Feng M, Ge W: Existence result of second-order differential equations with integral boundary conditions at resonance. Journal of Mathematical Analysis and Applications 2009, 353(1):311-319. 10.1016/j.jmaa.2008.11.082
Du B, Hu X: A new continuation theorem for the existence of solutions to p -Laplacian BVP at resonance. Applied Mathematics and Computation 2009, 208(1):172-176. 10.1016/j.amc.2008.11.041
Mawhin J: opological degree and boundary value problems for nonlinear differential equations. In Topological Methods for Ordinary Differential Equations, Lecture Notes in Mathematics. Volume 1537. Edited by: Fitzpertrick PM, Martelli M, Mawhin J, Nussbaum R. Springer, New York, NY, USA; 1991.
Acknowledgment
This work was sponsored by the National Natural Science Foundation of China (11071205), the NSF of Jiangsu Province Education Department, NFS of Xuzhou Normal University.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
Lin, X. Existence of Solutions to a Nonlocal Boundary Value Problem with Nonlinear Growth. Bound Value Probl 2011, 416416 (2011). https://doi.org/10.1155/2011/416416
Received:
Accepted:
Published:
DOI: https://doi.org/10.1155/2011/416416