 Research
 Open Access
 Published:
Positive solutions to secondorder differential equations with dependence on the firstorder derivative and nonlocal boundary conditions
Boundary Value Problems volume 2013, Article number: 8 (2013)
Abstract
In this paper, we consider the existence of positive solutions for secondorder differential equations with deviating arguments and nonlocal boundary conditions. By the fixed point theorem due to Avery and Peterson, we provide sufficient conditions under which such boundary value problems have at least three positive solutions. We discuss our problem both for delayed and advanced arguments α and also in the case when \alpha (t)=t, t\in [0,1]. In all cases, the argument β can change the character on [0,1], see problem (1). It means that β can be delayed in some set \overline{J}\subset [0,1] and advanced in [0,1]\setminus \overline{J}. An example is added to illustrate the results.
MSC:34B10.
1 Introduction
Put J=[0,1], {\mathbb{R}}_{+}=[0,\mathrm{\infty}). Let us consider the following boundary value problem:
where {\lambda}_{1}, {\lambda}_{2} denote linear functionals on C(J) given by
involving Stieltjes integrals with suitable functions A and B of bounded variation on J. It is not assumed that {\lambda}_{1}, {\lambda}_{2} are positive to all positive x. As we see later, the measures dA, dB can be signed measures.
We introduce the following assumptions:
H_{1}: f\in C(J\times {\mathbb{R}}_{+}\times \mathbb{R},{\mathbb{R}}_{+}), \alpha ,\beta \in C(J,J), A and B are functions of bounded variation;
H_{2}: h\in C(J,{\mathbb{R}}_{+}) and h does not vanish identically on any subinterval;
H_{3}: 1\gamma {\lambda}_{1}[p]>0 or 1\xi {\lambda}_{2}[p]>0 for p(t)=1, t\in J, \gamma ,\xi \ge 0.
Recently, the existence of multiple positive solutions for differential equations has been studied extensively; for details, see, for example, [1–31]. However, many works about positive solutions have been done under the assumption that the firstorder derivative is not involved explicitly in nonlinear terms; see, for example, [3, 6, 8–14, 17, 20, 25–27, 30]. From this list, only papers [9–12, 14, 20, 30] concern positive solutions to problems with deviating arguments. On the other hand, there are some papers considering the multiplicity of positive solutions with dependence on the firstorder derivative; see, for example, [2, 4, 5, 7, 15, 16, 18, 19, 21–24, 28, 29, 31]. Note that boundary conditions (BCs) in differential problems have important influence on the existence of the results obtained. In this paper, we consider problem (1) which is a problem with dependence on the firstorder derivative with BCs involving Stieltjes integrals with signed measures of dA, dB appearing in functionals {\lambda}_{1}, {\lambda}_{2}; moreover, problem (1) depends on deviating arguments.
For example, in papers [2, 4, 15, 18, 22, 24], the existence of positive solutions to secondorder differential equations with dependence on the firstorder derivative (but without deviating arguments) has been studied with various BCs including the following:
by fixed point theorems in a cone (such as AveryPeterson, an extension of Krasnoselskii’s fixed point theorem or monotone iterative method) with corresponding assumptions:
or 1\alpha \eta >0, respectively.
For example, in papers [8–11, 20, 22, 30], the existence of positive solutions to secondorder differential equations including impulsive problems, but without dependence on the firstorder derivative, has been studied with various BCs including the following:
under corresponding assumptions by fixed point theorems in a cone (such as AveryPeterson, LeggettWilliams, Krasnoselskii or fixed point index theorem). See also paper [13], where positive solutions have been discussed for secondorder impulsive problems with boundary conditions
here {\lambda}_{1} has the same form as in problem (1) with signed measure dA appearing in functional {\lambda}_{1}.
Positive solutions to secondorder differential equations with boundary conditions that involve Stieltjes integrals have been studied in the case of signed measures in papers [25, 26] with BCs including, for example, the following:
The main results of papers [25, 26] have been obtained by the fixed point index theory for problems without deviating arguments. The study of positive solutions to boundary value problems with Stieltjes integrals in the case of signed measures has also been done in papers [3, 7, 13, 14, 27] for secondorder differential equations (also impulsive) or thirdorder differential equations by using the fixed point index theory, the AveryPeterson fixed point theorem or fixed point index theory involving eigenvalues.
Note that BCs in problem (1) with functionals {\lambda}_{1}, {\lambda}_{2} cover some nonlocal BCs, for example,
for some constants {a}_{i}, {b}_{i} and some functions {g}_{1}, {g}_{2}. In our paper, the assumption that the measures dA, dB in the definitions of {\lambda}_{1}, {\lambda}_{2} are positive is not needed. More precisely, one needs to choose the above functions {g}_{1}, {g}_{2} in such a way that the assumption H_{4} holds. It means that {g}_{1}, {g}_{2} can change sign on J.
A standard approach (see, for example, [25–27]) to studying positive solutions of boundary value problems such as (1) is to translate problem (1) to a Hammerstein integral equation
to find a solution as a fixed point of the operator \mathcal{W} by using a fixed point theorem in a cone. {\mathrm{\Gamma}}_{1}, {\mathrm{\Gamma}}_{2}, {\mathrm{\Gamma}}_{3} are corresponding continuous functions while {\lambda}_{1} and {\lambda}_{2} have the same form as in problem (1). G denotes a Green function connected with our problem, so in our case it is given by
In our paper, we eliminate {\lambda}_{1} and {\lambda}_{2} from problem (2) to obtain the equation x=\overline{\mathcal{W}}x with a corresponding operator \overline{\mathcal{W}}, and then we seek solutions as fixed points of this operator \overline{\mathcal{W}}.
Note that if we put \gamma =\xi =0 in the BCs of problem (1), then this new problem is more general than the previous one because in this case someone, for example, can take {\lambda}_{1}[x]=\gamma x(\eta ), {\lambda}_{2}[x]=\xi x(\eta ). In this paper, we try to explain why for some cases we have to discuss problem (1) with constants \gamma >0 or \xi >0.
To apply such a fixed point theorem in a cone to problem (1), we have to construct a suitable cone K. Usually, we need to find a nonnegative function κ and a constant \overline{\rho}\in (0,1] such that G(t,s)\le \kappa (s) for t,s\in J and G(t,s)\ge \overline{\rho}\kappa (t) for t\in [\eta ,\overline{\eta}]\subset [0,1] and s\in J (see, for example, [25–27]) to work with the inequality
Indeed, for problems without deviating arguments, someone can use any interval [\eta ,\overline{\eta}]\subset [0,1]. It means that when \alpha (t)=t on J, then we can take \gamma =\xi =0 in the boundary conditions of problem (1) to work with the inequality
for ζ, ϱ such that \zeta +\varrho <1, 0<\zeta <\varrho <1 with \kappa =min(\zeta ,1\varrho ); see Section 5.
Note that for problems with delayed or advanced arguments, we have to use interval [0,\eta ]\subset [0,1) or [\eta ,1]\subset (0,1], respectively. We see that if \gamma =\xi =0, then \overline{\rho}=0 for problem (1) with deviated arguments. It shows that the approach from papers [25–27] needs a little modification to problems with delayed or advanced arguments. Consider the situation \alpha (t)\le t on J. In this case, we can put \xi =0 in the boundary conditions of problem (1) to find a constant \rho \in (0,1) to work with the inequality
see Section 3. For the case \alpha (t)\ge t on J, we can put \gamma =0 to work similarly as in Section 3; see Section 4. Note that in the above three cases for the argument β, we need only the assumption \beta \in C(J,J), which means that β can change the character in J.
Note that in cited papers, positive solutions to differential equations with dependence on the firstorder derivative have been investigated only for problems without deviating arguments, see [2, 4, 5, 7, 15, 16, 18, 19, 21–24, 28, 29, 31]. Moreover, BCs in problem (1) cover some nonlocal BCs discussed earlier.
Motivated by [25–27], in this paper, we apply the fixed point theorem due to AveryPeterson to obtain sufficient conditions for the existence of multiple positive solutions to problems of type (1). In problem (1), an unknown x depends on deviating arguments which can be both of advanced or delayed type. To the author’s knowledge, it is the first paper when positive solutions have been investigated for such general boundary value problems with functionals {\lambda}_{1}, {\lambda}_{2} and with deviating arguments α, β in differential equations in which f depends also on the firstorder derivative. It is important to indicate that problems of type (1) have been discussed with signed measures of dA, dB appearing in Stieltjes integrals of functionals {\lambda}_{1}, {\lambda}_{2}.
The organization of this paper is as follows. In Section 2, we present some necessary lemmas connected with our main results. In Section 3, we first present some definitions and a theorem of Avery and Peterson which is useful in our research. Also in Section 3, we discuss the existence of multiple positive solutions to problems with delayed argument α, by using the above mentioned AveryPeterson theorem. At the end of this section, an example is added to verify theoretical results. In Section 4, we formulate sufficient conditions under which problems with advanced argument α have positive solutions. In the last section, we discuss problems of type (1) when \alpha (t)=t on J.
2 Some lemmas
Let us introduce the following notations:
Lemma 1 Let x\in {C}^{1}(J,\mathbb{R}), p(t)=1, t\in J. Assume that A and B are functions of bounded variation and, moreover,
with

(i)
1\gamma {\lambda}_{1}[p]\ne 0 or

(ii)
1\xi {\lambda}_{2}[p]\ne 0.
Then
Here, VarA denotes the variation of a function A on J.
Proof Note that in case (i), we have
so
Hence,
Combining this with the relation
we obtain
This proves case (i).
In case (ii), similarly,
so
Hence,
Adding to this the relation
we get the result in case (ii). This ends the proof. □
Remark 1 If we assume that A and B are increasing functions, then there exists \sigma \in J such that
Hence,
Similarly, we can show that
Now, the constant M from Lemma 1 has the form
Consider the following problem:
Let us introduce the assumption.
H_{0}: A and B are functions of bounded variation and
for
We require the following result.
Lemma 2 Let the assumption H_{0} hold and let y\in {L}^{1}(J,\mathbb{R}). Then problem (3) has a unique solution given by
with
Proof Integrating the differential equation in (3) two times, we have
Put t=1 and use the boundary conditions from problem (3) to obtain
Now, finding from this {u}^{\prime}(0) and then substituting it to formula (4), we have
Next, putting t=\eta, we can find u(\eta ), and then substitute it to formula (5) to obtain
Now, we have to eliminate {\lambda}_{1}[u] and {\lambda}_{2}[u] from (6). If u is a solution of (6), then
Solving this system with respect to {\lambda}_{1}[u], {\lambda}_{2}[u] and then substituting to (6), we have the assertion of this lemma. This ends the proof. □
Define the operator T by
with
We consider the Banach space E=({C}^{1}(J,\mathbb{R}),\parallel \cdot \parallel ) with the maximum norm \parallel x\parallel =max({\parallel x\parallel}_{1},{\parallel {x}^{\prime}\parallel}_{1}). Define the cone K\subset E by
with
Let us introduce the following assumption.
H_{4}: A and B are functions of bounded variation and

(i)
\delta >0, \mathrm{\Delta}>0, {A}_{j}\ge 0, {B}_{j}\ge 0, {\mathcal{G}}_{j}(s)\ge 0 for j=1,2 where {A}_{j}, {B}_{j}, {\mathcal{G}}_{j}, δ, Δ are defined as in the assumption H_{0},

(ii)
\gamma ({A}_{1}{A}_{2})+\xi {A}_{2}\ge 0, \gamma ({B}_{1}{B}_{2})+\xi {B}_{2}\ge 0, \eta \gamma {B}_{1}+(1\gamma ){B}_{2}\ge 0, (1\xi \eta ){A}_{1}(1\xi ){A}_{2}\ge 0, {B}_{1}{B}_{2}\ge 0, \delta \eta \gamma {B}_{1}(1\gamma ){B}_{2}\ge 0, \eta \gamma {A}_{1}+(1\gamma ){A}_{2}\ge 0, 1\xi \eta {B}_{2}\ge 0, \delta (1\xi \eta ){A}_{1}+(1\xi ){A}_{2}\ge 0, (1\xi \eta ){B}_{1}(1\xi ){B}_{2}\ge 0.
Lemma 3 Let the assumptions H_{1}H_{4} hold. Then T:K\to K.
Proof Clearly, u\in K is a positive solution of problem (1) if and only if u\in K solves the operator equation u=Tu. Then
Note that {\lambda}_{1}[Fu]\ge 0, {\lambda}_{2}[Fu]\ge 0 in view of the assumptions H_{1}, H_{2}, H_{4} and the positivity of Green’s function G.
Note that {(Tu)}^{\u2033}\le 0. Moreover,
Hence, Tu is concave and Tu(t)\ge 0 on J.
We next show that {\lambda}_{1}[Tu]\ge 0, {\lambda}_{2}[Tu]\ge 0. Indeed,
Finally, we show that
To do it, we consider two steps. Let {\parallel Tu\parallel}_{1}=Tu({t}^{\ast}).
Step 1. Let Tu(0)<Tu(\eta ). Then {t}^{\ast}\in (0,\eta ) or {t}^{\ast}\in (\eta ,1) and {min}_{[0,\eta ]}Tu(t)=Tu(0).
Let {t}^{\ast}\in (0,\eta ). Then
so
It yields
Let {t}^{\ast}\in (\eta ,1). Then
so
It yields
Step 2. Let Tu(0)\ge Tu(\eta ). Then {t}^{\ast}\in (0,\eta ) and {min}_{[0,\eta ]}Tu(t)=Tu(\eta ). Then
so
Hence,
It shows T:K\to K. This ends the proof. □
Remark 2 Take dB(t)=(bt1)\phantom{\rule{0.2em}{0ex}}dt, b>1. Note that the measure changes the sign and is increasing. It is easy to show that
If we assume that b\ge 3, then {B}_{1}>0, {B}_{2}>0, {\mathcal{G}}_{2}(s)\ge 0, s\in J.
Remark 3 Take dA(t)=(a{t}^{2}1)\phantom{\rule{0.2em}{0ex}}dt, a>1. Note that the measure changes the sign and is increasing. It is easy to show that
If we assume that a\ge 6, then {A}_{1}>0, {A}_{2}>0, {\mathcal{G}}_{1}(s)\ge 0, s\in J.
Remark 4 Let dA(t)=(3t1)\phantom{\rule{0.2em}{0ex}}dt, dB(t)=(\frac{7}{2}t1)\phantom{\rule{0.2em}{0ex}}dt, t\in J. Then the assumptions H_{3}, H_{4} hold if one of the following conditions is satisfied:

(i)
\xi =0, 0<\gamma <\frac{1}{2},

(ii)
\gamma =0, 0<\xi <\frac{1}{4},

(iii)
\gamma =\xi =0.
We consider only case (i). First of all, we see that dA, dB change the sign and are increasing. Indeed, for p=1, t\in J, we have
It means that the assumption H_{3} holds. Moreover,
It proves that the assumption H_{4} holds.
By a similar way, we prove the assertion in case (ii) or (iii).
3 Positive solutions to problem (1) with delayed arguments
Now, we present the necessary definitions from the theory of cones in Banach spaces.
Definition 1 Let E be a real Banach space. A nonempty convex closed set P\subset E is said to be a cone provided that

(i)
ku\in P for all u\in P and all k\ge 0, and

(ii)
u,u\in P implies u=0.
Note that every cone P\subset E induces an ordering in E given by x\le y if yx\in P.
Definition 2 A map Φ is said to be a nonnegative continuous concave functional on a cone P of a real Banach space E if \mathrm{\Phi}:P\to {\mathbb{R}}_{+} is continuous and
for all x,y\in P and t\in [0,1].
Similarly, we say the map φ is a nonnegative continuous convex functional on a cone P of a real Banach space E if \phi :P\to {\mathbb{R}}_{+} is continuous and
for all x,y\in P and t\in [0,1].
Definition 3 An operator is called completely continuous if it is continuous and maps bounded sets into precompact sets.
Let φ and Θ be nonnegative continuous convex functionals on P, let Φ be a nonnegative continuous concave functional on P, and let Ψ be a nonnegative continuous functional on P. Then, for positive numbers a, b, c, d, we define the following sets:
We will use the following fixed point theorem of Avery and Peterson to establish multiple positive solutions to problem (1).
Theorem 1 (see [1])
Let P be a cone in a real Banach space E. Let φ and Θ be nonnegative continuous convex functionals on P, let Φ be a nonnegative continuous concave functional on P, and let Ψ be a nonnegative continuous functional on P satisfying \mathrm{\Psi}(kx)\le k\mathrm{\Psi}(x) for 0\le k\le 1 such that for some positive numbers \overline{M} and d,
for all x\in \overline{P(\phi ,d)}. Suppose
is completely continuous and there exist positive numbers a, b, c with a<b such that
(S_{1}): \{x\in P(\phi ,\mathrm{\Theta},\mathrm{\Phi},b,c,d):\mathrm{\Phi}(x)>b\}\ne 0 and \mathrm{\Phi}(Tx)>b for x\in P(\phi ,\mathrm{\Theta},\mathrm{\Phi},b,c,d),
(S_{2}): \mathrm{\Phi}(Tx)>b for x\in P(\phi ,\mathrm{\Phi},b,d) with \mathrm{\Theta}(Tx)>c,
(S_{3}): 0\notin R(\phi ,\mathrm{\Psi},a,d) and \mathrm{\Psi}(Tx)<a for x\in R(\phi ,\mathrm{\Psi},a,d) with \mathrm{\Psi}(x)=a.
Then T has at least three fixed points {x}_{1},{x}_{2},{x}_{3}\in \overline{P(\phi ,d)} such that
and
We apply Theorem 1 with the cone K instead of P and let {\overline{P}}_{r}=\{x\in K:\parallel x\parallel \le r\}. Now, we define the nonnegative continuous concave functional Φ on K by
Note that \mathrm{\Phi}(x)\le {\parallel x\parallel}_{1}. Put \mathrm{\Psi}(x)=\mathrm{\Theta}(x)={\parallel x\parallel}_{1},\phi (x)={\parallel {x}^{\prime}\parallel}_{1}.
Now, we can formulate the main result of this section.
Theorem 2 Let the assumptions H_{1}H_{4} hold with \xi =0, \gamma >0. Let \alpha (t)\le t, t\in J. In addition, we assume that there exist positive constants a, b, c, d, M, a<b and such that
with
and
(A_{1}): f(t,u,v)\le \frac{d}{\mu} for (t,u,v)\in J\times [0,Md]\times [d,d],
(A_{2}): f(t,u,v)\ge \frac{b}{L} for (t,u,v)\in [0,\eta ]\times [b,\frac{b}{\rho}]\times [d,d],
(A_{3}): f(t,u,v)\le \frac{a}{\mu} for (t,u,v)\in J\times [0,a]\times [d,d].
Then problem (1) has at least three nonnegative solutions {x}_{1}, {x}_{2}, {x}_{3} satisfying {\parallel {x}_{i}^{\prime}\parallel}_{1}\le d, i=1,2,3,
and {\parallel {x}_{3}\parallel}_{1}<a.
Proof Basing on the definitions of T, we see that T\overline{P} is equicontinuous on J, so T is completely continuous.
Let x\in \overline{P(\phi ,d)}, so \phi (x)={\parallel {x}^{\prime}\parallel}_{1}\le d. By Lemma 1, {\parallel x\parallel}_{1}\le Md, so 0\le x(t)\le Md, t\in J. Assumption (A_{1}) implies f(t,x(\alpha (t)),{x}^{\prime}(\beta (t)))\le \frac{d}{\mu}.
Moreover, in view of (7),
Combining it, we have
This proves that T:\overline{P(\phi ,d)}\to \overline{P(\phi ,d)}.
Now, we need to show that condition (S_{1}) is satisfied. Take
Then {x}_{0}(t)>0, t\in J, and
for p(t)=1, t\in J. Moreover,
This proves that
Let b\le x(t)\le \frac{b}{\rho} for t\in [0,\eta ]. Then 0\le \alpha (t)\le t\le \eta for t\in [0,\eta ], so b\le x(\alpha (t))\le \frac{b}{\rho}, t\in [0,\eta ]. Assumption (A_{2}) implies f(t,x(\alpha (t)),{x}^{\prime}(\beta (t)))\ge \frac{b}{L}. Hence,
Moreover,
It yields
This proves that condition (S_{1}) holds.
Now, we need to prove that condition (S_{2}) is satisfied. Take x\in P(\phi ,\mathrm{\Phi},b,d) and {\parallel Tx\parallel}_{1}>\frac{b}{\rho}=c. Then
so condition (S_{2}) holds.
Indeed, \phi (0)=0<a, so 0\notin R(\phi ,\mathrm{\Psi},a,d). Suppose that x\in R(\phi ,\mathrm{\Psi},a,d) with \mathrm{\Psi}(x)={\parallel x\parallel}_{1}=a. Note that G(t,s)\le G(s,s), t\in J. Then
and finally,
This shows that condition (S_{3}) is satisfied.
Since all the conditions of Theorem 1 are satisfied, problem (1) has at least three nonnegative solutions {x}_{1}, {x}_{2}, {x}_{3} such that \parallel {x}_{i}^{\prime}\parallel \le d for i=1,2,3, and
This ends the proof. □
Example Consider the following problem:
where
with d=2,000. For example, we can take \alpha (t)=\overline{\rho}t, \beta (t)=\sqrt{t} on J with fixed \overline{\rho}\in (0,1). Indeed, f\in C([0,1]\times {\mathbb{R}}_{+}\times [d,d],{\mathbb{R}}_{+}), \gamma =\frac{1}{4}, \eta =\frac{1}{2}, h(t)=h>0, \xi =0 and
Note that dB(t)=\frac{1}{2}(7t2)\phantom{\rule{0.2em}{0ex}}dt, so the measure changes the sign on J. Moreover,
so the assumption H_{4} holds; see Remark 4. Next,
Put a=1, b=2, h=30, then c=16, \mu >37.18, L<1.94. Let \mu =40, L=1. Then
and
for (t,u,v)\in [0,1]\times [0,2d]\times [d,d].
All the assumptions of Theorem 2 hold, so problem (8) has at least three positive solutions.
Remark 5 We can also construct an example in which, for example, {\lambda}_{1}[x]={\int}_{0}^{1}x(t)(3t1)\phantom{\rule{0.2em}{0ex}}dt to use the results of Remark 4. Note that also this measure changes the sign.
4 Positive solutions to problem (1) with advanced arguments
In this section, we consider the case when \alpha (t)\ge t on J, so the interval [0,\eta ] is now replaced by [\eta ,1]. It means that we can put \gamma =0 with \xi >0 in the boundary conditions of problem (1) because someone can take {\lambda}_{1}[x]=\overline{\gamma}x(\eta ) as an example. Let us introduce the cone {K}_{2} by
with
Now \mathrm{\Phi}(x)={min}_{[\eta ,1]}x(t). Functionals Ψ, Θ, φ are defined as in Section 3. We formulate only the main result using the cone {K}_{2} instead of K (see Theorem 2); the proof is similar to the previous one.
Theorem 3 Let the assumptions H_{1}H_{4} hold with \gamma =0, \xi >0. Let \alpha (t)\ge t, t\in J. In addition, we assume that there exist positive constants a, b, c, d, M, a<b and such that
with
and
(B_{1}): f(t,u,v)\le \frac{d}{\mu} for (t,u,v)\in J\times [0,Md]\times [d,d],
(B_{2}): f(t,u,v)\ge \frac{b}{L} for (t,u,v)\in [\eta ,1]\times [b,\frac{b}{\mathrm{\Gamma}}]\times [d,d],
(B_{3}): f(t,u,v)\le \frac{a}{\mu} for (t,u,v)\in J\times [0,a]\times [d,d].
Then problem (1) has at least three nonnegative solutions {x}_{1}, {x}_{2}, {x}_{3} satisfying {\parallel {x}_{i}^{\prime}\parallel}_{1}\le d, i=1,2,3,
and {\parallel {x}_{3}\parallel}_{1}<a.
5 Positive solutions to problem (1) for the case when \alpha (t)=ton J
In this section, we consider problem (1) when \alpha (t)=t on J and \gamma =\xi =0. It means that now \mathrm{\Phi}(x)={min}_{[\zeta ,\varrho ]}x(t) for some fixed constants ζ, ϱ such that 0<\zeta <\varrho <1. For 0<\zeta +\varrho <1 we can show that G(t,s)\ge \kappa G(s,s), t\in [\zeta ,\varrho ], s\in J. Now, for \kappa =min(\zeta ,1\varrho ), we introduce the cone {K}_{3} by
Functionals Ψ, Θ, φ are defined as in Section 3; the cone K is now replaced by {K}_{3}.
Theorem 4 Let the assumptions H_{1}H_{4} hold with \gamma =\xi =0. Let 0<\zeta +\varrho <1, \alpha (t)=t, t\in J. In addition, we assume that there exist positive constants a, b, c, d, M, a<b and such that
with
and
(C_{1}): f(t,u,v)\le \frac{d}{\mu} for (t,u,v)\in J\times [0,Md]\times [d,d],
(C_{2}): f(t,u,v)\ge \frac{b}{L} for (t,u,v)\in [\zeta ,\varrho ]\times [b,\frac{b}{\kappa}]\times [d,d],
(C_{3}): f(t,u,v)\le \frac{a}{\mu} for (t,u,v)\in J\times [0,a]\times [d,d].
Then problem (1) has at least three nonnegative solutions {x}_{1}, {x}_{2}, {x}_{3} satisfying {\parallel {x}_{i}^{\prime}\parallel}_{1}\le d, i=1,2,3,
and {\parallel {x}_{3}\parallel}_{1}<a.
6 Conclusions
In this paper, we have discussed boundary value problems for secondorder differential equations with deviating arguments and with dependence on the firstorder derivative. In our research, the deviating arguments can be both delayed and advanced. By using the fixed point theorem of Avery and Peterson, new sufficient conditions for the existence of positive solutions to such boundary problems have been derived. An example is provided for illustration.
References
 1.
Avery RI, Peterson AC: Three positive fixed points of nonlinear operators on ordered Banach spaces. Comput. Math. Appl. 2001, 42: 313322. 10.1016/S08981221(01)001560
 2.
Bai Z, Ge W: Existence of three positive solutions for some secondorder boundary value problems. Comput. Math. Appl. 2004, 48: 699707. 10.1016/j.camwa.2004.03.002
 3.
Graef JR, Webb JRL: Third order boundary value problems with nonlocal boundary conditions. Nonlinear Anal. 2009, 71: 15421551. 10.1016/j.na.2008.12.047
 4.
Guo Y, Ge W: Positive solutions for threepoint boundary value problems with dependence on the first order derivative. J. Math. Anal. Appl. 2004, 290: 291301. 10.1016/j.jmaa.2003.09.061
 5.
Guo Y, Yu C, Wang J: Existence of three positive solutions for m point boundary value problems on infinite intervals. Nonlinear Anal. 2009, 71: 717722. 10.1016/j.na.2008.10.126
 6.
Infante G, Pietramala P: Nonlocal impulsive boundary value problems with solutions that change sign. In Mathematical Models in Engineering, Biology and Medicine. Proceedings of the International Conference on Boundary Value Problems Edited by: Cabada A, Liz E, Nieto JJ. 2009, 205213.
 7.
Infante G, Pietramala P, Zima M: Positive solutions for a class of nonlocal impulsive BVPs via fixed point index. Topol. Methods Nonlinear Anal. 2010, 36: 263284.
 8.
Jankowski T: Positive solutions to second order fourpoint boundary value problems for impulsive differential equations. Appl. Math. Comput. 2008, 202: 550561. 10.1016/j.amc.2008.02.040
 9.
Jankowski T: Positive solutions of threepoint boundary value problems for second order impulsive differential equations with advanced arguments. Appl. Math. Comput. 2008, 197: 179189. 10.1016/j.amc.2007.07.081
 10.
Jankowski T: Existence of positive solutions to second order fourpoint impulsive differential equations with deviating arguments. Comput. Math. Appl. 2009, 58: 805817. 10.1016/j.camwa.2009.06.001
 11.
Jankowski T: Three positive solutions to secondorder threepoint impulsive differential equations with deviating arguments. Int. J. Comput. Math. 2010, 87: 215225. 10.1080/00207160801994149
 12.
Jankowski T: Multiple solutions for a class of boundary value problems with deviating arguments and integral boundary conditions. Dyn. Syst. Appl. 2010, 19: 179188.
 13.
Jankowski T: Positive solutions for second order impulsive differential equations involving Stieltjes integral conditions. Nonlinear Anal. 2011, 74: 37753785. 10.1016/j.na.2011.03.022
 14.
Jankowski T: Existence of positive solutions to third order differential equations with advanced arguments and nonlocal boundary conditions. Nonlinear Anal. 2012, 75: 913923. 10.1016/j.na.2011.09.025
 15.
Ji D, Ge W: Multiple positive solutions for some p Laplacian boundary value problems. Appl. Math. Comput. 2007, 187: 13151325. 10.1016/j.amc.2006.09.041
 16.
Ji D, Ge W: Existence of multiple positive solutions for onedimensional p Laplacian operator. J. Appl. Math. Comput. 2008, 26: 451463. 10.1007/s1219000700303
 17.
Karakostos GL, Tsamatos PC: Existence of multipoint positive solutions for a nonlocal boundary value problem. Topol. Methods Nonlinear Anal. 2002, 19: 109121.
 18.
Sun B, Qu Y, Ge W: Existence and iteration of positive solutions for a multipoint onedimensional p Laplacian boundary value problem. Appl. Math. Comput. 2008, 197: 389398. 10.1016/j.amc.2007.07.071
 19.
Sun B, Ge W, Zhao D: Three positive solutions for multipoint onedimensional p Laplacian boundary value problems with dependence on the first order derivative. Math. Comput. Model. 2007, 45: 11701178. 10.1016/j.mcm.2006.10.002
 20.
Wang W, Sheng J: Positive solutions to a multipoint boundary value problem with delay. Appl. Math. Comput. 2007, 188: 96102. 10.1016/j.amc.2006.09.093
 21.
Wang Y, Ge W: Multiple positive solutions for multipoint boundary value problems with onedimensional p Laplacian. J. Math. Anal. Appl. 2007, 327: 13811395. 10.1016/j.jmaa.2006.05.023
 22.
Wang Y, Ge W: Existence of triple positive solutions for multipoint boundary value problems with onedimensional p Laplacian. Comput. Math. Appl. 2007, 54: 793807. 10.1016/j.camwa.2006.10.038
 23.
Wang Y, Zhao W, Ge W: Multiple positive solutions for boundary value problems of second order delay differential equations with onedimensional p Laplacian. J. Math. Anal. Appl. 2007, 326: 641654. 10.1016/j.jmaa.2006.03.028
 24.
Wang Z, Zhang J: Positive solutions for onedimensional p Laplacian boundary value problems with dependence on the first order derivative. J. Math. Anal. Appl. 2006, 314: 618630. 10.1016/j.jmaa.2005.04.012
 25.
Webb JRL, Infante G: Positive solutions of nonlocal boundary value problems: a unified approach. J. Lond. Math. Soc. 2006, 74: 673693. 10.1112/S0024610706023179
 26.
Webb JRL, Infante G: Positive solutions of nonlocal boundary value problems involving integral conditions. Nonlinear Differ. Equ. Appl. 2008, 15: 4567. 10.1007/s0003000740677
 27.
Webb JRL, Infante G: Nonlocal boundary value problems of arbitrary order. J. Lond. Math. Soc. 2009, 79: 238259.
 28.
Yan B, O’Regan D, Agarwal RP: Multiple positive solutions of singular second order boundary value problems with derivative dependence. Aequ. Math. 2007, 74: 6289. 10.1007/s000100062850x
 29.
Yang L, Liu X, Jia M: Multiplicity results for secondorder m point boundary value problem. J. Math. Anal. Appl. 2006, 324: 532542. 10.1016/j.jmaa.2005.07.084
 30.
Yang C, Zhai C, Yan J: Positive solutions of the threepoint boundary value problem for second order differential equations with an advanced argument. Nonlinear Anal. 2006, 65: 20132023. 10.1016/j.na.2005.11.003
 31.
Yang Y, Xiao D: On existence of multiple positive solutions for ϕ Laplacian multipoint boundary value. Nonlinear Anal. 2009, 71: 41584166. 10.1016/j.na.2009.02.080
Author information
Affiliations
Corresponding author
Additional information
Competing interests
The author declares that he has no competing interests.
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
Jankowski, T. Positive solutions to secondorder differential equations with dependence on the firstorder derivative and nonlocal boundary conditions. Bound Value Probl 2013, 8 (2013). https://doi.org/10.1186/1687277020138
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/1687277020138
Keywords
 boundary value problems with delayed and advanced arguments
 nonlocal boundary conditions
 cone
 existence of positive solutions
 a fixed point theorem