 Research
 Open Access
 Published:
Positive solutions for a secondorder differential equation with integral boundary conditions and deviating arguments
Boundary Value Problems volume 2015, Article number: 222 (2015)
Abstract
Using a wellknown fixed point theorem on cones, we study the number of positive solutions for a secondorder differential equation with integral boundary conditions and deviating arguments. We discuss our problems under two cases when the deviating arguments are delayed and advanced. Our results extend and improve those of Boucherif (Nonlinear Anal. 70:364371, 2009) and Kong (Nonlinear Anal. 72:26282638, 2010) by generalizing the nonlinearity \(f(t,u(t))\) to \(f(t,u(\alpha(t)))\) with general \(\alpha(t)\not\equiv t\). The dependence of solutions on the parameter λ is also studied.
Introduction
Boundary value problems with integral boundary conditions arise naturally in thermal conduction problems [3], semiconductor problems [4], hydrodynamic problems [5], thermostat problems [6] and so on. It is interesting to point out that such problems include two, three, multipoint and nonlocal boundary value problems as special cases and have been extensively studied in the last ten years; see for example [1, 7–21]. Recently, Boucherif [1] applied the fixed point theorem in cones to study the existence of positive solutions for the problem given by
where \(f:[0,1]\times\textbf{R}\rightarrow\textbf{R}\) is continuous, \(g_{0}, g_{1}:[0,1]\rightarrow[0,+\infty)\) are continuous and positive, c and d are nonnegative real parameters. The author established some excellent results for the existence of positive solutions to the above problem by using the fixed point theorem in cones.
We notice that a type of boundary value problems with deviating arguments have received much attention. For example, in [22], Jankowski considered the following threepoint boundary value problem:
The author obtained some solvability results by using monotone iterative technique.
In [23], Yang et al. studied the existence and multiplicity of positive solutions to a threepoint boundary value problem with an advanced argument
where \(0<\eta<1\), \(b>0\), and \(1b\eta>0\). The main tool is the fixed point index theory. For some other excellent results and applications of the case that ordinary differential equation with deviating arguments to a variety of problems from Jankowski [24–27], Jiang and Wei [28], Wang [29], Wang et al. [30] and Hu et al. [31]. However, few papers have been reported on the same problems with a parameter.
At the same time, the dependence of positive solution \(x_{\lambda}(t)\) on the parameter λ has received much attention; see [2, 20, 32–37] and the references cited therein. In particular, we would like to mention some excellent results of Kong [2] and Dai et al. [33]. In [2], Kong considered the existence and uniqueness of positive solutions for secondorder singular boundary value problem
The author examined the uniqueness of the solution and its dependence on the parameter λ under condition

(H)
\(f:[0,\infty)\rightarrow(0,\infty)\) is nondecreasing, and there exists \(\nu\in(0,1)\) such that
$$f(kx)\geq k^{\nu}f(x),\quad \mbox{for }k\in(0,1) \mbox{ and } x\in[0,+ \infty). $$
In [33], Dai et al. investigated the existence of onesign solutions for the following periodic pLaplacian problem:
The authors also examined the uniqueness of the solution and its dependence on the parameter λ under condition
 (H^{∗}):

\(\frac{f(s)}{\varphi_{p}(s)}\) is strictly decreasing in \((0,\infty)\).
But to the best of our knowledge, there are no results for the dependence of positive solution \(x_{\lambda}(t)\) on the parameter λ of secondorder boundary value problems with deviating arguments without a condition similar to (H) or (H^{∗}). The objective of the present paper is to fill this gap.
In this paper, we consider the following secondorder boundary value problem with integral boundary conditions and deviating arguments:
where \(\lambda>0\) is a parameter, \(a, b>0\), and ω may be singular at \(t=0\) and/or \(t=1\).
Throughout this paper we assume that \(\alpha(t)\not\equiv t\) on \(J=[0,1]\). In addition, g, ω, f, α, and h satisfy
 (H_{1}):

\(g\in C^{1}(J,(0,+\infty))\), \(\alpha\in C(J,J)\);
 (H_{2}):

\(\omega\in C((0,1), [0,+\infty))\) with
$$0< \int_{0}^{1}\omega(s)\,ds< \infty $$and ω does not vanish on any subinterval of \((0,1)\);
 (H_{3}):

\(f\in C([0,1]\times[0,+\infty), [0,+\infty))\) with \(f(t,x)>0\) for all t and \(x>0\);
 (H_{4}):

\(h\in C[0,1]\) is nonnegative with \(\nu\in[0,a)\), where
$$ \nu= \int_{0}^{1}h(t)\,dt. $$(1.2)
Some special cases of (1.1) have been investigated. For example, Boucherif [1] considered problem (1.1) under the case that \(\lambda=1\), \(g(t)\equiv1\), \(\omega (t)\equiv1\), and \(\alpha(t)\equiv t\) on J. By using Krasnoselskii’s fixed point theorem in a cone, the author proved the existence results of positive solution for problem (1.1).
Kong [2] considered problem (1.1) under the case that \(g(t)\equiv1\), \(\omega(t)\equiv1\), and \(\alpha(t)\equiv t\) on J. By using the mixed monotone operator theory, the author obtained the existence and uniqueness of positive solutions for problem (1.1).
In this paper, we shall show that the number of positive solutions of problem (1.1) can be determined by the asymptotic behaviors of the quotient of \(\frac{f(t,x)}{x}\) at zero and infinity. Specifically, let
We also define as in [38]
It is clear that \(i_{0}, i_{\infty}=0,1\mbox{ or }2\). Then we shall show that problem (1.1) has \(i_{0}\) or \(i_{\infty}\) positive solution(s) for sufficiently large or small λ, respectively.
Moreover, being directly inspired by [20] and [37], we study the dependence of positive solution \(x_{\lambda}(t)\) on the parameter λ for problem (1.1), i.e.,
and the condition is weaker than that of Kong [2], Graef et al. [32], Dai et al. [33], Liu and Li [34], He and Su [35] and Li and Liu [36]. To our knowledge, it is the first paper when the dependence of positive solution \(x_{\lambda}(t)\) on the parameter λ has been investigated for secondorder boundary value problems with deviating arguments α, which can be both of advanced and of delayed type.
The paper is organized in the following fashion. In Section 2, we provide some necessary background. In particular, we state some properties of the Green’s function associated with problem (1.1). In Section 3, we use a wellknown fixed point theorem to study the existence, multiplicity and nonexistence of positive solutions for problem (1.1) with advanced argument α. In Section 4 we discuss the dependence of solution \(x_{\lambda}(t)\) on the parameter λ for problem (1.1) with advanced argument α and we formulate sufficient conditions under which delayed problem (1.1) has positive solutions in Section 5. Finally, an example is given to illustrate the main results in Section 6.
Preliminaries
Let \(E=C[0,1]\). It is well known that E is a real Banach space with the norm \(\ \cdot\\) defined by \(\x\=\max_{t\in J}x(t)\).
In our main results, we will make use of the following definitions and lemmas.
Definition 2.1
(see [39])
Let E be a real Banach space over R. A nonempty closed set \(P \subset E\) is said to be a cone provided that

(i)
\(cu+dv \in P\) for all \(u, v \in P\) and all \(c\geq0\), \(d\geq 0\) and

(ii)
\(u, u \in P \) implies \(u=0\).
Every cone \(P \subset E\) induces an ordering in E given by \(x\leq y\) if and only if \(yx \in P\).
Definition 2.2
A function \(x\in E\cap C^{2}(0,1)\) is called a solution of problem (1.1) if it satisfies (1.1). If \(x(t)\geq0\) and \(x(t)\not\equiv0\) on J, then x is called a positive solution of problem (1.1).
Lemma 2.1
Assume that (H_{1}) and (H_{4}) hold. Then for any \(y\in E\), boundary value problem
has a unique solution x given by
where
where \(\Delta=2ab+a^{2}\int_{0}^{1}\frac{1}{g(r)}\,dr\), \(\nu=\int _{0}^{1}h(s)\,ds\).
Proof
The proof is similar to that of Lemma 2.1 in [11]. □
Lemma 2.2
Let G and H be given as in Lemma 2.1. Then we have the following results:
where
Proof
It follows from the definition of \(G(t,s)\) and \(H(t,s)\) that (2.5) holds. Now, we show that (2.6) also holds.
Note that
for \(t,s\in J\).
Similarly, we can prove that \(H(t,s)\geq\delta H(s,s)\) for \(t,s\in J\). Hence, it follows from \(G(t,s)\geq\delta G(s,s)\) that
This gives the proof of Lemma 2.2. □
Remark 2.1
Noticing that \(a, b>0\), it follows from (2.3) and (2.4) that
where
Being directly inspired by [11], we define a cone K in E by
Also, define, for a positive number r, \(\Omega_{r}\) by
Note that \(\partial\Omega_{r}= \{x\in E:\x\=r \}\).
Define \(T:K\rightarrow K\) by
From (2.11), we know that a function \(x\in K\) is a solution of problem (1.1) if and only if x is a fixed point of operator T, and we obtain Lemma 2.3.
Lemma 2.3
Assume that (H_{1})(H_{4}) hold. If x is a fixed point of operator T, then \(x\in E\cap C^{2}(0,1)\), and x is a solution of problem (1.1).
Lemma 2.4
Suppose that (H_{1})(H_{4}) hold. Then \(T(K) \subset K\) and \(T: K\rightarrow K\) is completely continuous.
Proof
For all \(x\in K\), from (2.11) we have \(Tx\geq0\) and
It follows from (2.6), (2.11), and (2.12) that
Thus, \(T(K)\subset K\).
Finally, similar to the proof of Theorem 4.1 in [40], one can prove that \(T: K \rightarrow K\) is completely continuous. This gives the proof of Lemma 2.4. □
In the rest of this section, we state a wellknown fixed point theorem which we need later.
Lemma 2.5
(see [39])
Let P be a cone in a real Banach space E. Assume \(\Omega_{1}\), \(\Omega_{2}\) are bounded open sets in E with \(0 \in\Omega_{1}\), \(\bar{\Omega}_{1}\subset\Omega_{2}\). If
is completely continuous such that either

(i)
\(\Ax\\leq\x\\), \(\forall x\in P\cap\partial \Omega_{1}\) and \(\Ax\\geq\x\\), \(\forall x\in P\cap\partial\Omega_{2}\), or

(ii)
\(\Ax\\geq\x\\), \(\forall x\in P\cap\partial \Omega_{1}\) and \(\Ax\\leq\x\\), \(\forall x\in P\cap\partial\Omega_{2}\),
then A has at least one fixed point in \(P\cap(\bar{\Omega}_{2}\backslash\Omega_{1})\).
The fixed point theorem in a cone has often been used to study the existence and multiplicity of positive solutions of boundary value problems over the last several years. As recent example, we mention the paper of Baleanu et al. [41].
Existence of positive solutions for problem (1.1) under \(\alpha(t)\geq t\) on J
In this section, we show that problem (1.1) has \(i_{0}\) or \(i_{\infty}\) positive solution(s) for sufficiently large or small λ under \(\alpha(t)\geq t\) on J.
For convenience we introduce the following notation:
Theorem 3.1
Assume (H_{1})(H_{4}) hold and \(\alpha(t)\geq t\) on J.

(i)
If \(i_{0}=1\textit{ or }2\), then there exists \(\lambda_{0}>0\) such that problem (1.1) has \(i_{0}\) positive solution(s) for \(\lambda>\lambda _{0}\).

(ii)
If \(i_{\infty}=1\textit{ or }2\), then there exists \(\lambda_{0}>0\) such that problem (1.1) has \(i_{\infty}\) positive solution(s) for \(0<\lambda <\lambda_{0}\).

(iii)
If \(i_{0}=0\) or \(i_{\infty}=0\), then problem (1.1) has no positive solution for sufficiently large or small λ, respectively.
Proof
Part (i). Noticing that \(f(t,x)>0\) for all t and \(x>0\), we can define
where \(r>0\).
Since \(0\leq t\leq\alpha(t)\leq1\) on J, for a function \(x\in K\) with \(\x\=r\), it follows from \(\delta r\leq x(t)\leq r\) on J that
Let \(\lambda_{0}=\frac{\Delta r}{m_{r}\beta ab^{2} \gamma}\). Then, for \(x\in K\cap\partial\Omega_{r}\) and \(\lambda>\lambda_{0}\), we have
which implies that
If \(f^{0}=0\), we can choose \(0< r_{1}< r\) such that
Since \(0\leq t\leq\alpha(t)\leq1\) on J, for a function \(x\in K\) with \(\x\=r\), it follows from \(0\leq x(t)\leq r_{1}\) on J that
Consequently, for any \(t\in J\) and \(x\in K\cap\partial\Omega _{r_{1}}\), (2.8) and (2.11) imply
which implies
Thus by (i) of Lemma 2.5, it follows from (3.1) and (3.2) that T has a fixed point x in \(K\cap(\bar{\Omega}_{r}\backslash\Omega _{r_{1}})\) with \(r_{1}\leq\x\\leq r\). Lemma 2.3 implies that problem (1.1) has at least one positive solution x with \(r_{1}\leq\x\\leq r\).
If \(f^{\infty}=0\), we can choose \(0<\varepsilon<\frac{\Delta}{a\gamma D \lambda\beta\varepsilon}\) and \(l>0\) such that
Letting \(\zeta=\max_{t\in J, x\in[0,l]}f(t,x)\), then
Since \(0\leq t\leq\alpha(t)\leq1\) on J, for a function \(x\in K\) with \(\x\=r\), it follows from \(x(t)\geq l\) or \(0\leq x(t)\leq l\) on J that
Let \(r_{2}>\max \{2r,\frac{a\gamma D \lambda\zeta\beta}{\Delta a\gamma D \lambda\beta\varepsilon} \}\). Then for \(t\in J\) and \(x\in K\cap\partial\Omega_{r_{2}}\), (2.8) and (2.11) imply
which implies
Thus by (ii) of Lemma 2.5, it follows from (3.1) and (3.3) that T has a fixed point x in \(K\cap(\bar{\Omega}_{r_{2}}\backslash\Omega _{r})\) with \(r\leq\x\\leq r_{2}\). Lemma 2.3 implies that problem (1.1) has at least one positive solution x with \(r\leq\x\\leq r_{2}\).
Turning to \(f^{0}=f^{\infty}=0\). Choose two numbers \(r_{3}\) and \(r_{4}\) satisfying
Similar to the proof of (3.1), there exists \(\lambda_{0}>0\) such that for \(\lambda>\lambda_{0}\)
which together with (3.2) and (3.3) shows that T has a fixed point \(x_{1}\) in \(K\cap(\Omega_{r_{3}}\backslash\Omega_{r_{1}})\) and a fixed point \(x_{2}\) in \(K\cap(\bar{\Omega}_{r_{2}}\backslash\Omega_{r_{4}})\) with
Consequently, it follows from Lemma 2.3 that problem (1.1) has two positive solutions for \(\lambda>\lambda_{0}\) if \(f^{0}=f^{\infty}=0\).
Part (ii). Noticing that \(f(t,x)>0\) for all t and \(x>0\), we can define
where \(r>0\).
Since \(0\leq t\leq\alpha(t)\leq1\) on J, for a function \(x\in K\) with \(\x\=r\), it follows from \(0\leq x(t)\leq r\) on J that
Let \(\lambda_{0}\leq\frac{\Delta r}{M_{r}\beta a D\gamma}\). Then, for \(x\in K\cap\partial\Omega_{r}\) and \(0<\lambda<\lambda_{0}\), we have
which implies that
If \(f_{0}=\infty\), we can choose \(0< r_{1}< r\) such that
Since \(0\leq t\leq\alpha(t)\leq1\) on J, for a function \(x\in K\) with \(\x\=r\), it follows from \(0\leq x(t)\leq r_{1}\) on J that
Consequently, for any \(t\in J\) and \(x\in K\cap\partial\Omega _{r_{1}}\), (2.8) and (2.11) imply
which implies
Thus by (ii) of Lemma 2.5, it follows from (3.6) and (3.7) that T has a fixed point x in \(K\cap(\bar{\Omega}_{r}\backslash\Omega _{r_{1}})\) with \(r_{1}\leq\x\\leq r\). Lemma 2.3 shows that problem (1.1) has at least one positive solution x with \(r_{1}\leq\x\\leq r\).
If \(f_{\infty}=\infty\), we can choose sufficiently large \(\varepsilon >0\) and \(l>0\) such that
where ε satisfies
Since \(0\leq t\leq\alpha(t)\leq1\) on J, it follows from \(x(t)\geq l\) on J that
Let \(r_{2}>\max \{2r,\frac{l}{\delta} \}\). Then for \(t\in J\) and \(x\in K\cap\partial\Omega_{r_{2}}\) we have
Hence, for \(t\in J\) and \(x\in K\cap\partial\Omega_{r_{2}}\), it follows from (2.8) and (2.11) that
which implies
Thus by (i) of Lemma 2.5, it follows from (3.6) and (3.8) that T has a fixed point x in \(K\cap(\bar{\Omega}_{r_{2}}\backslash\Omega _{r})\) with \(r\leq\x\\leq r_{2}\). Lemma 2.3 shows that problem (1.1) has at least one positive solution x with \(r\leq\x\\leq r_{2}\).
Turning to \(f_{0}=f_{\infty}=\infty\). Choose two numbers \(r_{3}\) and \(r_{4}\) satisfying (3.4). Similar to the proof of (3.6), there exists \(\lambda_{0}>0\) such that for \(0<\lambda<\lambda_{0}\)
which together with (3.7) and (3.8) shows that T has a fixed point \(x_{1}\) in \(K\cap(\Omega_{r_{3}}\backslash\Omega_{r_{1}})\) and a fixed point \(x_{2}\) in \(K\cap(\bar{\Omega}_{r_{2}}\backslash\Omega_{r_{4}})\) with
Consequently, it follows from Lemma 2.3 that problem (1.1) has two positive solutions for \(0<\lambda<\lambda_{0}\) if \(f_{0}=f_{\infty }=\infty\).
Part (iii). If \(i_{0}=0\), then \(f_{0}>0\) and \(f_{\infty}>0\). It follows that there exist positive numbers \(\eta_{1}>0\), \(\eta_{2}>0\), \(h_{1}>0\), and \(h_{2}>0\) such that \(h_{1}< h_{2}\) and, for \(t \in J\), \(0< x\leq h_{1}\), we have
and, for \(t \in J\), \(x\geq h_{2}\), we have
Let
Thus, for \(t \in J\), \(x \geq\delta h_{1}\), we have
and, for \(t \in J\), \(x \leq h_{1}\), we have
Assume \(y\in K\) is a positive solution of problem (1.1). We will show that this leads to a contradiction for \(\lambda> \lambda_{0}=[ab^{2}\gamma\eta\delta\beta]^{1}\Delta\).
In fact, if \(\y\\leq h_{1}\), (3.13) shows that
On the other hand, if \(\y\>h_{1}\), then
Since \(0\leq t\leq\alpha(t)\leq1\), it follows from \(y(t)>\delta h_{1}\) on \(t\in J\) that \(y(\alpha(t))>\delta h_{1}\) on \(t\in J\), which, together with (3.12), shows that
Since \((Ty)(t)=y(t)\), for \(\lambda> \lambda_{0}\), it follows from (2.8) and (2.11) that
which is a contradiction.
If \(i_{\infty}=0\), then \(f^{0}<\infty\) and \(f^{\infty}<\infty\). It follows that there exist positive numbers \(\eta_{3}>0\), \(\eta_{4}>0\), \(h_{3}>0\), and \(h_{4}>0\) such that \(h_{3}< h_{4}\) and, for \(t \in J\), \(0< x\leq h_{3}\), we have
and, for \(t \in J\), \(x\geq h_{4}\), we have
Let
Thus, we have
Since \(0\leq t\leq\alpha(t)\leq1\) on J, it follows from \(0\leq x(t)\leq h_{3}\), \(x(t)\geq h_{4}\), and \(h_{3}\leq x(t)\leq h_{4}\) on J that \(0\leq x(\alpha(t))\leq h_{3}\), \(x(\alpha(t))\geq h_{4}\), and \(h_{3}\leq x(\alpha(t))\leq h_{4}\) on J, respectively.
Assume \(y\in K\) is a positive solution of problem (1.1). We will show that this leads to a contradiction for \(0<\lambda< \lambda_{0}=[a\gamma D \eta^{*}\beta]^{1}\Delta\).
Since \((Ty)(t)=y(t)\), for \(0<\lambda< \lambda_{0}\), it follows from (2.8) and (2.11) that
which is a contradiction. □
Theorem 3.2 is a direct consequence of the proof of Theorem 3.1(iii). Under the conditions of Theorem 3.2 we are able to give explicit intervals of λ such that (1.1) has no positive solution.
Theorem 3.2
Assume (H_{1})(H_{4}) hold and \(\alpha(t)\geq t\) on J.

(i)
If there exists \(l>0\) such that \(f(t,x)\geq lx\) for \(t\in J\) and \(x\in[0,\infty)\), then there exists \(\lambda_{0}>0\) such that problem (1.1) has no positive solution for \(\lambda>\lambda_{0}\).

(ii)
If there exists \(L>0\) such that \(f(t,x)\leq Lx\) for \(t\in J\) and \(x\in[0,\infty)\), then there exists \(\lambda_{0}>0\) such that problem (1.1) has no positive solution for \(0<\lambda<\lambda_{0}\).
Theorem 3.3
Assume (H_{1})(H_{4}) hold, \(\alpha(t)\geq t\) on J and \(i_{0}=i_{\infty}=0\). Then problem (1.1) has at least one positive solution in K provided
Proof
We give the proof under two cases of \(f_{\infty}>f^{0}\) and \(f_{\infty}< f^{0}\).
If \(f_{\infty}>f^{0}\), then (3.17) implies that
It is easy to see that there exists \(\varepsilon>0\) such that
Now, considering \(f^{0}\) and \(f_{\infty}\), there exists \(r_{1}>0\) such that \(f(t,x)\leq(f^{0}+\varepsilon)x\) for \(t\in J\) and \(0\leq x\leq r_{1}\).
Since \(0\leq t\leq\alpha(t)\leq1\), it follows from \(0\leq x(t)\leq r_{1}\) on J that \(0\leq x(\alpha(t))\leq r_{1}\). Hence, similar to the proof of (3.2), for \(x\in K\cap\partial\Omega_{r_{1}}\) we have
On the other hand, there exists \(L>0\) with \(L>r_{1}\) such that \(f(t,x)\geq(f_{\infty}\varepsilon)x\) for \(t\in J\) and \(x\geq L\).
Since \(0\leq t\leq\alpha(t)\leq1\), it follows from \(0\leq x(t)\leq r_{1}\) on J that \(x(\alpha(t))\geq L\).
Let \(r_{2}=\max \{2r_{1},\frac{L}{\delta} \}\) and it follows that \(x(t)\geq\delta\x\\geq L\) for \(t\in J\) and \(x\in K\cap\partial\Omega _{r_{2}}\). Similar to the proof of (3.8), for \(t\in J\) and \(x\in K\cap \partial\Omega_{r_{2}}\) we have
It follows from Lemma 2.5 that T has a fixed point in \(K\cap(\bar{\Omega}_{r_{2}}\backslash\Omega_{r_{1}})\). Consequently, problem (1.1) has a positive solution.
If \(f_{\infty}< f^{0}\), then (3.17) shows that
It is easy to see that there exists \(\varepsilon>0\) such that
Now, turning to \(f^{0}\) and \(f_{\infty}\), there exists \(r_{1}>0\) such that \(f(t,x)\geq(f^{0}\varepsilon)x\) for \(t\in J\) and \(0\leq x\leq r_{1}\).
Since \(0\leq t\leq\alpha(t)\leq1\), it follows from \(0\leq x(t)\leq r_{1}\) that \(0\leq x(\alpha(t))\leq r_{1}\) on J. Hence, similar to the proof of (3.8), for \(x\in K\cap\partial\Omega_{r_{1}}\) we have
On the other hand, there exists \(L>0\) with \(L>r_{1}\) such that \(f(t,x)\leq(f_{\infty}+\varepsilon)x\) for \(t\in J\) and \(x\geq L\).
Letting \(\zeta=\max_{t\in J, x\in[0,L]}f(t,x)\), then
Since \(0\leq t\leq\alpha(t)\leq1\) on J, it follows from \(x(t)\geq L\) or \(0\leq x(t)\leq L\) on J that
Let \(r_{2}>\max \{2r,\frac{a\gamma D \lambda\zeta\beta}{\Delta a\gamma D \lambda\beta(f_{\infty}+\varepsilon)} \}\). Then, for \(t\in J\) and \(x\in K\cap\partial\Omega_{r_{2}}\), similar to the proof of (3.3) we get
It follows from Lemma 2.5 that T has a fixed point in \(K\cap(\bar{\Omega}_{r_{2}}\backslash\Omega_{r_{1}})\). Consequently, problem (1.1) has a positive solution. □
Corollary 3.1
Assume (H_{1})(H_{4}) hold, \(\alpha(t)\geq t\) on J and \(i_{0}=i_{\infty}=0\). Then problem (1.1) has at least one positive solution in K provided
Proof
The proof is similar to that of Theorem 3.3. □
The dependence of solution \(x_{\lambda}(t)\) on the parameter λ for problem (1.1) under \(\alpha(t)\geq t\) on J
In this section, we consider the dependence of positive solution \(x_{\lambda}(t)\) on the parameter λ under a weaker condition \((\mathrm{H}_{3})^{*}\) than (H_{3}),
 \((\mathrm{H}_{3})^{*}\) :

\(f\in C([0,1]\times[0,+\infty), [0,+\infty))\).
For convenience we introduce the following notation:
where \(\varsigma>0\).
Theorem 4.1
Assume (H_{1}), (H_{2}), \((\mathrm{H}_{3})^{*}\), (H_{4}) hold, \(\alpha(t)\geq t\) on J and \(i_{0}=i_{\infty}=1\). Then the following two conclusions hold.

(i)
If \(f^{0}=0\) and \(f_{\infty }=\infty\), then for every \(\lambda>0\) problem (1.1) has a positive solution \(x_{\lambda}(t)\) satisfying \(\lim_{\lambda\rightarrow0^{+}}\x_{\lambda}\ =\infty\).

(ii)
If \(f_{0}=\infty\) and \(f^{\infty}=0\), then for every \(\lambda>0\) problem (1.1) has a positive solution \(x_{\lambda}(t)\) satisfying \(\lim_{\lambda\rightarrow 0^{+}}\x_{\lambda}\=0\).
Proof
By definition, \(i_{0}=i_{\infty}=1\) implies that \(f^{0}=0\) and \(f_{\infty}=\infty\) or \(f_{0}=\infty\) and \(f^{\infty}=0\). We need only prove this theorem under the condition \(f^{0}=0\) and \(f_{\infty}=\infty\) since the proof is similar to that of \(f_{0}=\infty\) and \(f^{\infty}=0\).
Let \(\lambda>0\). Considering \(f^{0}=0\), then similar to the proof of (3.2), there exists \(r>0\) such that
On the other hand, turning to \(f_{\infty}=\infty\), similar to the proof of (3.8), there exists \(R>0\) satisfying \(R>r\) such that
Applying (i) of Lemma 2.5 to (4.1) and (4.2) shows that the operator T has a fixed point \(x_{\lambda}\in K\cap(\bar{\Omega}_{R}\backslash\Omega_{r})\). Consequently, it follows from Lemma 2.3 that problem (1.1) has a positive solution \(x_{\lambda}\in K\cap(\bar{\Omega}_{R}\backslash\Omega _{r})\) with \(r\leq\x_{\lambda}\\leq R\).
Next we prove that \(\x_{\lambda}\=+\infty\) as \(\lambda\rightarrow 0^{+}\). In fact, if not, there exist a number \(\varsigma>0\) and a sequence \(\lambda_{n}\rightarrow0^{+}\) such that
Furthermore, the sequence \(\{\x_{\lambda_{n}}\\}\) contains a subsequence that converges to a number η (\(0\leq\eta\leq\varsigma\)). For simplicity, suppose that \(\{\x_{\lambda_{n}}\\}\) itself converges to η.
If \(\eta>0\), then \(\x_{\lambda_{n}}\>\frac{\eta}{2}\) for sufficiently large n (\(n>\mathbf{N}\)). Since \(0\leq t\leq\alpha (t)\leq1\), it follows from \(0\leq x(t)\leq\varsigma\) that
Hence, it follows from the definition of M, (2.8), and (2.11) that
which contradicts \(\lambda_{n}\rightarrow0^{+}\).
If \(\eta=0\), then \(\x_{\lambda_{n}}\\rightarrow0 \) (\(n\rightarrow +\infty\)), and therefore it follows from \(f^{0}=0\) that for any \(\varepsilon>0\) there exists \(r^{*}>0\) such that
Since \(0\leq t\leq\alpha(t)\leq1\), it follows from \(0\leq x_{\lambda _{n}}(t)\leq r^{*}\) that
Therefore, \(x_{\lambda_{n}}\in K\cap\partial\Omega_{r^{*}}\) and \(\x_{\lambda_{n}}\=r^{*}\) imply that
Since ε is arbitrary, we have \(\lambda_{n}\rightarrow\infty \) (\(n\rightarrow+\infty\)) in contradiction with \(\lambda_{n}\rightarrow0^{+}\). Therefore, \(\x_{\lambda}\\rightarrow+\infty\) as \(\lambda\rightarrow0^{+}\). This finishes the proof of Theorem 4.1. □
Remark 4.1
In contrast to [20] and [37], the behavior of the solution as \(\lambda\rightarrow0^{+}\) is investigated.
Positive solutions of problem (1.1) for the case of \(\alpha (t)\leq t\) on J
Now we deal with problem (1.1) for the case of \(\alpha(t)\leq t\) on J. Let E, K, and T be as defined in Section 2. Similarly as Lemmas 2.22.4, we can prove the following results.
Lemma 5.1
Let G and H be given as in Lemma 2.1. Then we have the following results:
where
Lemma 5.2
Assume that (H_{1})(H_{4}) hold. If x is a fixed point of the operator T, then \(x\in E\cap C^{2}(0,1)\), and x is a solution of problem (1.1).
Lemma 5.3
Assume that (H_{1})(H_{4}) hold. Then \(T(K)\subset K\) and \(T:K\rightarrow K\) is completely continuous.
By analogous methods, we have the following results.
Theorem 5.1
Assume (H_{1})(H_{4}) hold and \(\alpha(t)\leq t\) on J.

(i)
If \(i_{0}=1\textit{ or }2\), then there exists \(\lambda_{0}>0\) such that problem (1.1) has \(i_{0}\) positive solution(s) for \(\lambda>\lambda _{0}\).

(ii)
If \(i_{\infty}=1\textit{ or }2\), then there exists \(\lambda_{0}>0\) such that problem (1.1) has \(i_{\infty}\) positive solution(s) for \(0<\lambda <\lambda_{0}\).

(iii)
If \(i_{0}=0\) or \(i_{\infty}=0\), then problem (1.1) has no positive solution for sufficiently large or small λ, respectively.
Theorem 5.2
Assume (H_{1})(H_{4}) hold and \(\alpha(t)\leq t\) on J.

(i)
If there exists \(l>0\) such that \(f(t,x)\geq lx\) for \(t\in J\) and \(x\in[0,\infty)\), then there exists \(\lambda_{0}>0\) such that problem (1.1) has no positive solution for \(\lambda>\lambda_{0}\).

(ii)
If there exists \(L>0\) such that \(f(t,x)\leq lx\) for \(t\in J\) and \(x\in[0,\infty)\), then there exists \(\lambda_{0}>0\) such that problem (1.1) has no positive solution for \(0<\lambda<\lambda_{0}\).
Theorem 5.3
Assume (H_{1})(H_{4}) hold, \(\alpha(t)\leq t\) on J, and \(i_{0}=i_{\infty}=0\). Then problem (1.1) has at least one positive solution in K provided
Corollary 5.1
Assume (H_{1})(H_{4}) hold, \(\alpha(t)\leq t\) on J and \(i_{0}=i_{\infty}=0\). Then problem (1.1) has at least one positive solution in K provided
Theorem 5.4
Assume (H_{1}), (H_{2}), \((\mathrm{H}_{3})^{*}\), (H_{4}) hold, \(\alpha(t)\leq t\) on J and \(i_{0}=i_{\infty}=1\). Then the following two conclusions hold.

(i)
If \(f^{0}=0\) and \(f_{\infty }=\infty\), then for every \(\lambda>0\) problem (1.1) has a positive solution \(x_{\lambda}(t)\) satisfying \(\lim_{\lambda\rightarrow0^{+}}\x_{\lambda}\ =\infty\).

(ii)
If \(f_{0}=\infty\) and \(f^{\infty}=0\), then for every \(\lambda>0\) problem (1.1) has a positive solution \(x_{\lambda}(t)\) satisfying \(\lim_{\lambda\rightarrow 0^{+}}\x_{\lambda}\=0\).
An example
To illustrate how our main results can be used in practice we present an example.
Example 6.1
Consider the following boundary value problem:
where \(\alpha\in C(J,J)\), \(\alpha(t)\geq t\) on J, and
here \(n\geq2\) is a positive integral.
This means that problem (6.1) involves the advanced argument α. For example, we can take \(\alpha(t)=\sqrt[3]{t}\). It is clear that ω is singular at \(t=0\) and f is both nonnegative and continuous.
We claim that problem (6.1) has at least one positive solution for any \(\lambda>\frac{e^{2}(e+1)}{4}\).
Proof
Problem (6.1) can be regarded as a problem of the form (1.1), where
Letting \(n=2\) and \(r=1\), then, by a simple computation, we have
It follows from the definition of g, ω, f, α, and h that (H_{1})(H_{4}) hold, and \(f^{0}=0\).
Therefore, for any \(\lambda>\lambda_{0}=\frac{e^{2}(e+1)}{4}\), it follows from Theorem 3.1(i) that problem (6.1) has a positive solution. □
References
 1.
Boucherif, A: Secondorder boundary value problems with integral boundary conditions. Nonlinear Anal. TMA 70, 364371 (2009)
 2.
Kong, LJ: Second order singular boundary value problems with integral boundary conditions. Nonlinear Anal. TMA 72, 26282638 (2010)
 3.
Cannon, JR: The solution of the heat equation subject to the specification of energy. Q. Appl. Math. 21, 155160 (1963)
 4.
Ionkin, NI: Solution of a boundary value problem in heat conduction theory with nonlocal boundary conditions. Differ. Equ. 13, 294304 (1977)
 5.
Chegis, RY: Numerical solution of a heat conduction problem with an integral boundary condition. Liet. Mat. Rink. 24, 209215 (1984)
 6.
Cabada, A, Infante, G, Tojo, FAF: Nonzero solutions of perturbed Hammerstein integral equations with deviated arguments and applications. arXiv preprint arXiv:1306.6560 (2013)
 7.
Ahmad, B, Alsaedi, A, Alghamdi, BS: Analytic approximation of solutions of the forced Duffing equation with integral boundary conditions. Nonlinear Anal., Real World Appl. 9, 17271740 (2008)
 8.
Infante, G, Webb, JRL: Nonlinear nonlocal boundaryvalue problems and perturbed Hammerstein integral equations. Proc. Edinb. Math. Soc. 49, 637656 (2006)
 9.
Kang, P, Wei, Z, Xu, J: Positive solutions to fourthorder singular boundary value problems with integral boundary conditions in abstract spaces. Appl. Math. Comput. 206, 245256 (2008)
 10.
Ma, H: Symmetric positive solutions for nonlocal boundary value problems of fourth order. Nonlinear Anal. TMA 68, 645651 (2008)
 11.
Feng, M: Existence of symmetric positive solutions for a boundary value problem with integral boundary conditions. Appl. Math. Lett. 24, 14191427 (2011)
 12.
Webb, JRL, Infante, G: Positive solutions of nonlocal boundary value problems: a unified approach. J. Lond. Math. Soc. 74, 673693 (2006)
 13.
Yang, Z: Positive solutions to a system of secondorder nonlocal boundary value problems. Nonlinear Anal. TMA 62, 12511265 (2005)
 14.
Hao, X, Liu, L, Wu, Y: Positive solutions for second order impulsive differential equations with integral boundary conditions. Commun. Nonlinear Sci. Numer. Simul. 16, 101111 (2011)
 15.
Tian, Y, Ji, D, Ge, W: Existence and nonexistence results of impulsive firstorder problem with integral boundary condition. Nonlinear Anal. TMA 71, 12501262 (2009)
 16.
Kong, LJ: Second order singular boundary value problems with integral boundary conditions. Nonlinear Anal. TMA 72, 26282638 (2010)
 17.
Zhang, X, Feng, M, Ge, W: Existence results for nonlinear boundaryvalue problems with integral boundary conditions in Banach spaces. Nonlinear Anal. TMA 69, 33103321 (2008)
 18.
Zhang, X, Feng, M, Ge, W: Existence of solutions of boundary value problems with integral boundary conditions for secondorder impulsive integrodifferential equations in Banach spaces. J. Comput. Appl. Math. 233, 19151926 (2010)
 19.
Zhang, X, Ge, W: Symmetric positive solutions of boundary value problems with integral boundary conditions. Appl. Math. Comput. 219, 35533564 (2012)
 20.
Zhang, X, Feng, M: Existence and dependence of positive solution on parameter for the onedimensional singular pLaplacian. J. Math. Anal. Appl. 413, 566582 (2014)
 21.
Feng, M, Du, B, Ge, W: Impulsive boundary value problems with integral boundary conditions and onedimensional pLaplacian. Nonlinear Anal. TMA 70, 31193126 (2009)
 22.
Jankowski, T: Solvability of three point boundary value problems for second order differential equations with deviating arguments. J. Math. Anal. Appl. 312, 620636 (2005)
 23.
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. TMA 65, 20132023 (2006)
 24.
Jankowski, T: Existence of solutions of boundary value problems for differential equations with delayed arguments. J. Comput. Appl. Math. 156, 239252 (2003)
 25.
Jankowski, T: Advanced differential equations with nonlinear boundary conditions. J. Math. Anal. Appl. 304, 490503 (2005)
 26.
Jankowski, T: Nonnegative solutions to nonlocal boundary value problems for systems of secondorder differential equations dependent on the firstorder derivatives. Nonlinear Anal. 87, 83101 (2013)
 27.
Jankowski, T: Positive solutions to secondorder differential equations with dependence on the firstorder derivative and nonlocal boundary conditions. Bound. Value Probl. 2013, 8 (2013)
 28.
Jiang, D, Wei, J: Monotone method for first and secondorder periodic boundary value problems and periodic solutions of functional differential equations. Nonlinear Anal. TMA 50, 885898 (2002)
 29.
Wang, G: Monotone iterative technique for boundary value problems of a nonlinear fractional differential equation with deviating arguments. J. Comput. Appl. Math. 236, 24252430 (2012)
 30.
Wang, G, Zhang, L, Song, G: Systems of first order impulsive functional differential equations with deviating arguments and nonlinear boundary conditions. Nonlinear Anal. TMA 74, 974982 (2011)
 31.
Hu, C, Liu, B, Xie, S: Monotone iterative solutions for nonlinear boundary value problems of fractional differential equation with deviating arguments. Appl. Math. Comput. 222, 7281 (2013)
 32.
Graef, JR, Kong, L, Wang, H: Existence, multiplicity, and dependence on a parameter for a periodic boundary value problem. J. Differ. Equ. 245, 11851197 (2008)
 33.
Dai, G, Ma, R, Wang, H: Eigenvalues, bifurcation and onesign solutions for the periodic pLaplacian. Commun. Pure Appl. Anal. 12, 28392872 (2013)
 34.
Liu, X, Li, W: Existence and uniqueness of positive periodic solutions of functional differential equations. J. Math. Anal. Appl. 293, 2839 (2004)
 35.
He, T, Su, Y: On discrete fourthorder boundary value problems with three parameters. J. Comput. Appl. Math. 233, 25062520 (2010)
 36.
Li, W, Liu, X: Eigenvalue problems for secondorder nonlinear dynamic equations on time scales. J. Math. Anal. Appl. 318, 578592 (2005)
 37.
Zhang, X, Feng, M: Transformation techniques and fixed point theories to establish the positive solutions of second order impulsive differential equations. J. Comput. Appl. Math. 271, 117129 (2014)
 38.
Wang, H: Positive periodic solutions of functional differential equations. J. Differ. Equ. 202, 354366 (2004)
 39.
Guo, D, Lakshmikantham, V: Nonlinear Problems in Abstract Cones. Academic Press, New York (1988)
 40.
Jankowski, T: Positive solutions to thirdorder impulsive SturmLiouville boundary value problems with deviated arguments and onedimensional pLaplacian. Dyn. Syst. Appl. 20, 575586 (2011)
 41.
Baleanu, D, Mohammadi, H, Rezapour, S: Positive solutions of a boundary value problem for nonlinear fractional differential equations. Abstr. Appl. Anal. 2012, 837437 (2012)
Acknowledgements
This work is sponsored by the project NSFC (11301178), the Fundamental Research Funds for the Central Universities (2014ZZD10, 2014MS58) and the Scientific Research Common Program of Beijing Municipal Commission of Education (KM201511232018). The authors are grateful to anonymous referees for their constructive comments and suggestions, which has greatly improved this paper.
Author information
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
XZ completed the main study and carried out the results of this article. MF checked the proofs and verified the calculation. All authors read and approved the final manuscript.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Received
Accepted
Published
DOI
Keywords
 differential equations with advanced or delayed arguments
 integral boundary conditions
 number of positive solutions
 parameter dependence of positive solutions