Research
Open Access
Positive Green’s function and triple positive solutions of a second-order impulsive differential equation with integral boundary conditions and a delayed argument
- Gaoli Lu1 and
- Meiqiang Feng1Email author
Received: 22 December 2015
Accepted: 18 April 2016
Published: 26 April 2016
Abstract
In this paper, we first establish the expression of positive Green’s function for a second-order impulsive differential equation with integral boundary conditions and a delayed argument. Furthermore, applying Legget-William’s fixed point theorem and Hölder’s inequality, we obtain the existence results of at least three positive solutions under three cases: \(p=1\), \(1< p<+\infty\), and \(p=+\infty\). We discuss our problem with impulsive effects and a delayed argument. In this case, our results cover second-order boundary value problems without impulsive effects and delayed arguments and are compared with some recent results. Finally, we give an example to illustrate our main results.
Keywords
differential equations with impulsive effects and delayed arguments positive Green’s function three positive solutions Legget-William’s fixed point theorem Hölder’s inequality1 Introduction
Functional differential equations with impulses are characterized by the fact that per sudden changing of their state the processes under consideration depend on their prehistory at each moment of time. They are used in many models of optimal control, physics, chemical technology, population dynamics, biology, biotechnology, industrial robotic, pharmacokinetics, etc. [1–5]. Therefore, the study of impulsive functional differential equations has gained prominence, and it is a rapidly growing field; see Zhang and Feng [6, 7], Nieto and López [8], Yan and Shen [9], Li and Shen [10], Feng and Qiu [11], Liu [12], Liu [13], He and Yu [14], Ding, Han, and Mi [15], and the references therein. We note that the difficulties solving such problems are that they have deviating arguments and their states are discontinuous. So, the results on impulsive functional differential equations are fewer than those on differential equations without impulses and deviating arguments.
Moreover, boundary value problems with deviating arguments constitute a very interesting and important class of problems. The existence and multiplicity of positive solutions for such problems have received a great deal of attention; see, for example, [16–22] and the references therein. In particular, we would like to mention some results of Jankowski [23], who discussed a three-point boundary value problem for second-order impulsive differential equations with advanced arguments: where \(J^{\prime}=(0,1)/\{t_{1}, t_{2},\ldots, t_{m}\}\), \(\triangle x^{\prime}|_{t=t_{k}}=x^{\prime}(t^{+}_{k})-x^{\prime}(t^{-}_{k})\) with \(x^{\prime}(t^{+}_{k})\) and \(x^{\prime}(t^{-}_{k})\) representing the right- and left-hand limits of \(x^{\prime}(t)\) at \(t=t_{k}\). By employing fixed point index theory the author obtained the existence of positive solutions.
$$\textstyle\begin{cases} x^{\prime\prime}(t)+\omega(t)f(x(\alpha(t)))=0,\quad t\in J^{\prime},\\ \triangle x^{\prime}|_{t=t_{k}}=Q_{k}(x(t_{k})),\quad k=1, 2, \ldots, m,\\ x(0)=0,\qquad x(1)=\beta x(\eta), \end{cases} $$
However, to the best of our knowledge, there are almost no papers on the existence of three positive solutions for second-order impulsive differential equations with integral boundary conditions and a delayed argument, especially for \(L^{p}\)-integrable ω; for example, see [23, 24] and the references therein.
In this paper, we investigate the existence of three positive solutions for a second-order boundary value problem with impulsive effects and a delayed argument of the form where \(f\in C(J\times R^{+},R^{+})\), \(\omega\in L^{p}[0,1]\) for some \(1\le p\le+\infty\). \(I_{k}\in C(R^{+},R^{+})\), \(R^{+}=[0,+\infty)\), \(J=[0,1]\), \(t_{k}\) (\(k = 1, 2, \ldots, n\)) are fixed points with \(0=t_{0} < t_{1} < t_{2} <\cdots< t_{k}< \cdots< t_{n}<t_{n+1}=1\), \(\triangle u^{\prime}|_{t=t_{k}}=u^{\prime}(t^{+}_{k})-u^{\prime}(t^{-}_{k})\), \(a,b>0\), and \(\alpha(t)\not\equiv t\) on \(J=[0,1]\). In addition, ω, f, and g satisfy the following:
$$ \textstyle\begin{cases} u^{\prime\prime}(t)+\omega(t)f(t,u(\alpha(t)))=0,\quad 0< t< 1, t\neq t_{k}, k=1, 2, \ldots, n,\\ -\triangle u^{\prime}|_{t=t_{k}}=I_{k}(u(t_{k})),\quad k=1, 2, \ldots, n,\\ u^{\prime}(0)=0,\qquad au(1)+bu^{\prime}(1)=\int_{0}^{1}g(t)u(t)\,dt, \end{cases} $$
(1.1)
- (\(H_{1}\)):
-
\(\omega\in L^{p}[0,1]\) for some \(1\le p\le+\infty\), and there exists \(N>0\) such that \(\omega(t)\ge N\) a.e. on J;
- (\(H_{2}\)):
-
\(f\in C(J\times R^{+},R^{+})\), \(\alpha\in C(J,J)\) with \(\alpha (t)\le t\) on J, \(I_{k}\in C(R^{+},R^{+})\);
- (\(H_{3}\)):
-
\(g\in L^{1}[0,1]\) is nonnegative with \(\mu\in[0,a)\), where \(\mu=\int_{0}^{1}g(s)\,ds\).
Motivated by the results mentioned, in this paper, we study the existence of three positive solutions for problem (1.1) by overcoming difficulties arising from the appearances of \(\alpha(t) \not\equiv t\), \(I_{k}\neq0 \), and \(L^{p}\)-integrable ω. The arguments are based upon a fixed point theorem due to Leggett and Williams, which deals with fixed points of a cone-preserving operator defined on an ordered Banach space. Another contribution of this paper is to study the expression and properties of Green’s function associated with problem (1.1). It is interesting to point out that Green’s function associated with problem (1.1) is positive, differently from [25].
The organization of this paper is as follows. In Section 2, we present an expression and properties of positive Green’s function associated with problem (1.1). In Section 3, we state some necessary definitions and lemmas. In Section 4, we use Leggett-Williams’ fixed point theorem to obtain the existence of three positive solutions for problem (1.1). Finally, in Section 5, we give an example to illustrate the main results.
2 Positive Green’s function and its properties
Lemma 2.1
Assume that (\(H_{3}\)) holds. Then, for any
\(y\in C[0,1]\), the boundary value problem
has a unique solution
u
given by
where
$$ \textstyle\begin{cases} u^{\prime\prime}(t)+y(t)=0, \quad t\in J, t\neq t_{k}, k=1, 2, \ldots, n,\\ -\triangle u^{\prime}|_{t=t_{k}}=I_{k}(u(t_{k})), \quad k=1, 2, \ldots, n,\\ u^{\prime}(0)=0,\qquad au(1)+bu^{\prime}(1)=\int_{0}^{1}g(t)u(t)\,dt \end{cases} $$
(2.1)
$$ u(t) = \int_{0}^{1}H(t,s)y(s)\,ds+\sum _{k=1}^{n}H(t,t_{k})I_{k} \bigl(u(t_{k})\bigr), $$
(2.2)
$$\begin{aligned} &H(t,s)=G(t,s)+\frac{1}{a-\mu} \int_{0}^{1}G(\tau,s)g(\tau)\,d\tau, \end{aligned}$$
(2.3)
$$\begin{aligned} &G(t,s) = \textstyle\begin{cases} 1-t+\frac{b}{a},& 0\leq s \leq t \leq1,\\ 1-s+\frac{b}{a},& 0\leq t \leq s \leq1. \end{cases}\displaystyle \end{aligned}$$
(2.4)
Proof
First, suppose that u is a solution of problem (2.1). It is easy to see by integration of problem (2.1) that Integrating again, we get Letting \(t=1\) in (2.6) and (2.5), we find Substituting the boundary condition \(u^{\prime}(0)=0\), \(au(1)+bu^{\prime}(1)=\int _{0}^{1}g(t)u(t)\,dt\) and (2.7) into (2.6), we obtain where Therefore, we have and Let Then The proof of sufficiency is complete.
$$ u^{\prime}(t)-u^{\prime}(0)=- \int_{0}^{t}y(s)\,ds-\sum _{t_{k}< t}I_{k}\bigl(u(t_{k})\bigr). $$
(2.5)
$$ u(t)=u(0)+u^{\prime}(0)t- \int_{0}^{t}(t-s)y(s)\,ds-\sum _{t_{k}< t}I_{k}\bigl(u(t_{k})\bigr) (t-t_{k}). $$
(2.6)
$$ \begin{aligned} &u(1)=u(0)+u^{\prime}(0)- \int_{0}^{1}(1-s)y(s)\,ds-\sum _{t_{k}< 1}I_{k}\bigl(u(t_{k})\bigr) (1-t_{k}), \\ &u^{\prime}(1)=- \int_{0}^{1}y(s)\,ds-\sum _{t_{k}< 1}I_{k}\bigl(u(t_{k})\bigr). \end{aligned} $$
(2.7)
$$ \begin{aligned}[b] u(t)={}&\frac{1}{a} \int_{0}^{1}g(s)u(s)\,ds+ \int_{0}^{1}(1-s)y(s)\,ds+\sum _{t_{k}< 1}I_{k}\bigl(u(t_{k})\bigr) (1-t_{k})+\frac{b}{a} \int_{0}^{1}y(s)\,ds \\ &{}+\frac{b}{a}\sum_{t_{k}< 1}I_{k} \bigl(u(t_{k})\bigr) - \int_{0}^{t}(t-s)y(s)\,ds-\sum _{t_{k}< t}I_{k}\bigl(u(t_{k})\bigr) (t-t_{k}) \\ ={}& \int_{0}^{1}G(t,s)y(s)\,ds+\sum _{k=1}^{n}G(t,t_{k})I_{k} \bigl(u(t_{k})\bigr)+\frac{1}{a} \int_{0}^{1}g(s)u(s)\,ds, \end{aligned} $$
(2.8)
$$\begin{aligned} \int_{0}^{1}g(s)u(s)\,ds={}& \int_{0}^{1}g(s) \Biggl[ \int_{0}^{1}G(s,\tau )y(\tau)\,d\tau +\sum _{k=1}^{n}G(s,t_{k})I_{k} \bigl(u(t_{k})\bigr) \\ &{}+\frac{1}{a} \int_{0}^{1}g(\tau)u(\tau)\,d\tau \Biggr]\,ds \\ ={}&\frac{1}{a} \int_{0}^{1}g(s)\,ds \int_{0}^{1}g(\tau)u(\tau)\,d\tau \\ &{}+ \int_{0}^{1}g(s) \Biggl[ \int_{0}^{1}G(s,\tau)y(\tau)\,d\tau+\sum _{k=1}^{n}G(s,t_{k})I_{k} \bigl(u(t_{k})\bigr) \Biggr]\,ds. \end{aligned} $$
$$\int_{0}^{1}g(s)u(s)\,ds=\frac{a}{a-\mu} \int_{0}^{1}g(s) \Biggl[ \int_{0}^{1}G(s,\tau)y(\tau)\,d\tau+\sum _{k=1}^{n}G(s,t_{k})I_{k} \bigl(u(t_{k})\bigr) \Biggr]\,ds $$
$$ \begin{aligned}[b] u(t)={}& \int_{0}^{1}G(t,s)y(s)\,ds+\sum _{k=1}^{n}G(t,t_{k})I_{k} \bigl(u(t_{k})\bigr) \\ &{}+\frac{1}{a-\mu} \int_{0}^{1}g(s) \Biggl[ \int _{0}^{1}G(s,\tau)y(\tau)\,d\tau+ \sum _{k=1}^{n}G(s,t_{k})I_{k} \bigl(u(t_{k})\bigr) \Biggr]\,ds \\ ={}& \int_{0}^{1}G(t,s)y(s)\,ds+\sum _{k=1}^{n}G(t,t_{k})I_{k} \bigl(u(t_{k})\bigr) \\ &{} +\frac{1}{a-\mu} \int_{0}^{1} \biggl[ \int_{0}^{1}G(\tau ,s)g(\tau)\,d\tau \biggr]y(s)\,ds \\ &{}+\frac{1}{a-\mu} \int_{0}^{1} \Biggl[\sum _{k=1}^{n}G(\tau,t_{k})g(\tau )I_{k}\bigl(u(t_{k})\bigr) \Biggr]\,d\tau. \end{aligned} $$
(2.9)
$$ H(t,s)=G(t,s)+\frac{1}{a-\mu} \int_{0}^{1}G(\tau,s)g(\tau)\,d\tau. $$
(2.10)
$$ u(t)= \int_{0}^{1}H(t,s)y(s)\,ds+\sum _{k=1}^{n}H(t,t_{k})I_{k} \bigl(u(t_{k})\bigr). $$
(2.11)
Conversely, let \(u(t)\) be a solution of (2.1). Direct differentiation of (2.3) implies, for \(t\neq t_{k}\), Evidently, The lemma is proved. □
$$u^{\prime}(t)=- \int_{0}^{t}y(s)\,ds-\sum _{t_{k}< t}I_{k}\bigl(u(t_{k})\bigr). $$
$$\begin{aligned} &u^{\prime\prime}(t)=-y(t), \\ &-\triangle u^{\prime}|_{t=t_{k}}=I_{k} \bigl(u(t_{k})\bigr)\quad ( k=1, 2, \ldots, n),\\ & u^{\prime}(0)=0, \qquad au(1)+bu^{\prime}(1)= \int_{0}^{1}g(t)u(t)\,dt. \end{aligned}$$
From (2.3) and (2.4) we can prove that \(H(t,s)\), \(G(t,s)\) have the following properties.
Lemma 2.2
Let
\(\xi\in(0,1)\). If
\(\mu\in[0,a)\), then we have
where
$$\begin{aligned} &H(t,s)> 0,\qquad G(t,s)> 0,\quad \forall t,s\in J. \end{aligned}$$
(2.12)
$$\begin{aligned} &\frac{b}{a}\le G(t,s)\le G(s,s)\le\biggl(1+ \frac{b}{a}\biggr), \quad \forall t,s\in J. \end{aligned}$$
(2.13)
$$\begin{aligned} &\rho_{1}\le H(t,s)\le\frac{a}{a-\mu}G(s,s)\le \rho_{2},\quad \forall t,s\in J. \end{aligned}$$
(2.14)
$$\begin{aligned} &G(t,s)\ge\delta G(s,s), \qquad H(t,s)\ge\frac{a\delta}{a-\mu}G(s,s) \ge\delta \rho_{1},\quad \forall t\in[0,\xi], s\in J, \end{aligned}$$
(2.15)
$$ \delta=\frac{1-\xi+\frac{b}{a}}{1+\frac{b}{a}}, \qquad \rho_{1}= \frac{b}{a-\mu},\qquad \rho_{2}=\frac{a+b}{a-\mu}. $$
(2.16)
Proof
It is obvious that (2.12), (2.13), and (2.14) hold by the definition of \(G(t,s)\) and \(H(t,s)\). Now, we show that (2.15) also holds.
In fact, for \(t\in[0,\xi]\) and \(s\in J\), we have the following.
Case 1. If \(s\leq t\), then
$$\frac{G(t,s)}{G(s,s)}= \frac{1-t+\frac{b}{a}}{ 1-s+\frac{b}{a}} \ge\frac{1-\xi+\frac{b}{a}}{1+\frac{b}{a}}. $$
Case 2. If \(t\leq s\), then This shows that
$$\frac{G(t,s)}{G(s,s)}= \frac{ 1-s+\frac{b}{a}}{ 1-s+\frac{b}{a}}=1. $$
$$G(t,s)\ge\delta G(s,s), \quad \forall t\in[0,\xi], s\in J. $$
Similarly, we can prove that
$$H(t,s)\ge\delta H(s,s), \quad \forall t\in[0,\xi], s\in J. $$
This gives the proof of Lemma 2.2. □
Remark 2.1
Noticing that (2.12), it is easy to see that Green’s function associated with problem (1.1) is positive.
Remark 2.2
By the definition of δ and \(\rho_{2}\), we obtain that
$$0< \delta< 1,\qquad \rho_{2}>1. $$
3 Preliminaries
In this section, we provide some background materials from the theory of cones in Banach spaces, and then we state Hölder’s inequality, the Arzelà-Ascoli theorem and Legget-Williams’ fixed point theorem. The following definitions can be found in the book by Deimling [26] and in the book by Guo and Lakshmikantham [27].
Definition 3.1
Let E be a real Banach space over R. A nonempty closed set \(K\subset E\) is said to be a cone if
- (i)
\(c'u+d'v\in K\) for all \(u,v\in P\) and all \(c'\ge0\), \(d'\ge0\).
- (ii)
\(u, -u\in K\) implies \(u = 0\).
Definition 3.2
A map Λ is said to be a nonnegative continuous concave functional on a cone K of a real Banach space E if \(\Lambda:K\rightarrow R^{+}\) is continuous and for all \(x, y\in K\) and \(t\in J\).
$$\Lambda\bigl(tx+(1-t)y\bigr)\geq t\Lambda(x)+(1-t)\Lambda(y) $$
Definition 3.3
An operator is called completely continuous if it is continuous and maps bounded sets into precompact sets.
Lemma 3.1
(Arzelà-Ascoli)
A set
\(M\subset C(J,R)\)
is said to be a precompact set if the following two conditions are satisfied:
- (i)
All the functions in the set M are uniformly bounded, that is, there exists a constant \(r>0\) such that \(|u(t)|\leq r\) for all \(t\in J\), \(u\in M\);
- (ii)All the functions in the set M are equicontinuous, that is, for every \(\varepsilon>0\), there is \(\delta=\delta(\varepsilon)>0\), which is independent of the functions \(u\in M\), such thatwhenever \(|t_{1}-t_{2}|<\delta\), \(t_{1}, t_{2}\in J\).$$\bigl\vert u(t_{1})-u(t_{2})\bigr\vert < \varepsilon $$
Let \(J^{\prime}=J\setminus\{t_{1}, t_{2}, \ldots, t_{n}\}\), \(J_{0}=[t_{0}, t_{1}]\), \(J_{k}=(t_{k}, t_{k+1}]\), \(k=1,2, \ldots,n\), and Then \(PC^{1}[0,1]\) is a real Banach space with norm where \(\| u\|_{\infty}=\sup_{t\in J}| u(t)|\), \(\| u^{\prime}\|_{\infty}=\sup_{t\in J}| u^{\prime}(t)|\).
$$PC^{1}[0,1]= \bigl\{ x\in C[0,1]: x^{\prime}\in C(t_{k}, t_{k+1}), x^{\prime}\bigl(t_{k}^{-} \bigr)=x^{\prime}(t_{k}), \exists x^{\prime} \bigl(t_{k}^{+}\bigr),k=1, 2, \ldots, n \bigr\} . $$
$$\Vert u\Vert _{PC^{1}}=\max \bigl\{ \Vert u\Vert _{\infty}, \bigl\Vert u^{\prime}\bigr\Vert _{\infty} \bigr\} , $$
To establish the existence of positive solutions to problem (1.1), we construct the cone It is easy to see that K is a closed convex cone of \(PC^{1}[0,1]\).
$$ K = \biggl\{ u \in PC^{1}[0,1]: u(t)\ge0 \mbox{ on } J \mbox{ and } \min_{t\in[0,\xi]}u(t)\ge\frac{\delta\rho_{1}}{\rho_{2}} \Vert u \Vert _{PC^{1}}, t\in J \biggr\} . $$
(3.1)
Define \(T: K \to PC^{1}[0,1]\) by
$$ (Tu) (t)= \int_{0}^{1}H(t,s)\omega(s)f\bigl(s,u\bigl(\alpha(s) \bigr)\bigr)\,ds+\sum_{k=1}^{n}H(t,t_{k})I_{k} \bigl(u(t_{k})\bigr). $$
(3.2)
It follows from (3.2) and Lemma 2.1 that the following lemma holds.
Lemma 3.2
Suppose that (\(H_{1}\))-(\(H_{3}\)) hold. Then \(u \in PC^{1}[0,1]\) is a solution of problem (1.1) if and only if u is a fixed point of operator T.
Lemma 3.3
Suppose that (\(H_{1}\))-(\(H_{3}\)) hold. Then \(T(K)\subset K\), and \(T:K\rightarrow K\) is completely continuous.
Proof
For all \(u\in K\), \(Tu\ge0\) on J, and it follows from (2.14) and (3.2) that It is obvious that and Then
$$ \begin{aligned}[b] (Tu) (t) &= \int_{0}^{1}H(t,s)\omega(s)f\bigl(s,u\bigl(\alpha(s) \bigr)\bigr)\,ds+\sum_{k=1}^{n}H(t,t_{k})I_{k} \bigl(u(t_{k})\bigr) \\ &\le\rho_{2} \Biggl( \omega(s)f\bigl(s,u\bigl(\alpha (s)\bigr)\bigr) \,ds+\sum_{k=1}^{n}I_{k} \bigl(u(t_{k})\bigr) \Biggr),\quad t\in J. \end{aligned} $$
(3.3)
$$ H_{t}^{\prime}(t,s)=G_{t}^{\prime}(t,s) = \textstyle\begin{cases} -1,& 0\leq s \leq t \leq1,\\ 0,& 0\leq t \leq s \leq1, \end{cases} $$
(3.4)
$$\max_{t,s\in J,t\neq s}\bigl\vert H_{t}^{\prime}(t,s) \bigr\vert =\max_{t,s\in J,t\neq s}\bigl\vert G_{t}^{\prime}(t,s) \bigr\vert =1. $$
$$ \begin{aligned}[b] \bigl\vert (Tu)^{\prime}(t)\bigr\vert &\le \int_{0}^{1}\bigl\vert H_{t}^{\prime}(t,s) \bigr\vert \omega(s)f\bigl(s,u\bigl(\alpha (s)\bigr)\bigr)\,ds+\sum _{k=1}^{n}\bigl\vert H_{t}^{\prime}(t,t_{k}) \bigr\vert I_{k}\bigl(u(t_{k})\bigr) \\ &\le \int_{0}^{1}\omega(s)f\bigl(s,u\bigl(\alpha (s) \bigr)\bigr)\,ds+\sum_{k=1}^{n}I_{k} \bigl(u(t_{k})\bigr),\quad t\in J. \end{aligned} $$
(3.5)
It follows from (3.3), (3.5), and \(\rho_{2}>1\) that By (2.15), (3.2), and (3.6) we have Thus, \(T(K)\subset K\).
$$ \Vert Tu\Vert _{PC^{1}} \le\rho_{2} \Biggl( \int_{0}^{1}\omega(s)f\bigl(s,u\bigl(\alpha(s)\bigr) \bigr)\,ds+\sum_{k=1}^{n}I_{k} \bigl(u(t_{k})\bigr) \Biggr). $$
(3.6)
$$ \begin{aligned}[b] &\min_{t\in[0, \xi]}(Tu) \\ &\quad =\min_{t\in[0,\xi]} \Biggl( \int _{0}^{1}H(t,s)\omega(s)f\bigl(s,u\bigl( \alpha(s)\bigr)\bigr)\,ds+ \sum_{k=1}^{n}H(t,t_{k})I_{k} \bigl(u(t_{k})\bigr) \Biggr) \\ &\quad \ge\delta\rho_{1} \Biggl( \int_{0}^{1}\omega (s)f\bigl(s,u\bigl(\alpha(s) \bigr)\bigr)\,ds +\sum_{k=1}^{n}I_{k} \bigl(u(t_{k})\bigr) \Biggr) \\ &\quad = \frac{\delta\rho_{1}}{\rho_{2}}\rho_{2} \Biggl( \int _{0}^{1}\omega(s)f\bigl(s,u\bigl(\alpha(s) \bigr)\bigr)\,ds +\sum_{k=1}^{n}I_{k} \bigl(u(t_{k})\bigr) \Biggr) \\ &\quad \ge\frac{\delta\rho_{1}}{\rho_{2}}\Vert Tu\Vert _{PC^{1}}. \end{aligned} $$
(3.7)
Next, we prove that \(T:K\rightarrow K\) is completely continuous.
It is obvious that T is continuous.
Let \(B_{r}=\{u\in PC^{1}[0,1] | \|u\|_{PC^{1}}\le r\}\) be bounded set. Then, for all \(u\in B_{r}\), by the definition of \(\|Tu\| _{\infty}\), \(\|Tu^{\prime}\|_{\infty}\), and \(\|Tu\|_{PC^{1}}\) and by (3.3) and (3.5) we have and where \(L=\max_{t\in J,u\in K, \|u\|_{PC^{1}}\le r}f(t,u)\), \(B=\max_{u\in K, \|u\|_{PC^{1}}\le r}I_{k}(u)\).
$$\begin{aligned} &\begin{aligned} \Vert Tu\Vert _{\infty}&=\sup_{t\in J} \bigl\vert Tu(t)\bigr\vert \\ &\le\rho_{2} \Biggl( \int_{0}^{1}\omega (s)f\bigl(s,u\bigl(\alpha(s) \bigr)\bigr)\,ds+\sum_{k=1}^{n}I_{k} \bigl(u(t_{k})\bigr) \Biggr) \\ &\le\rho_{2} \bigl(\Vert \omega \Vert _{1}L+nB \bigr) \\ &=\Gamma_{0}, \end{aligned} \\ &\begin{aligned} \bigl\Vert Tu^{\prime}\bigr\Vert _{\infty}&=\sup _{t\in J}\bigl\vert Tu^{\prime}(t)\bigr\vert \\ &\le \Biggl( \int_{0}^{1}\omega(s)f\bigl(s,u\bigl(\alpha (s) \bigr)\bigr)\,ds+\sum_{k=1}^{n}I_{k} \bigl(u(t_{k})\bigr) \Biggr) \\ &\le \bigl(\Vert \omega \Vert _{1}L+nB \bigr) \\ &=\Gamma_{1}, \end{aligned} \end{aligned}$$
$$\Vert Tu\Vert _{PC^{1}}=\max \bigl\{ \Vert Tu\Vert _{\infty}, \bigl\Vert Tu^{\prime}\bigr\Vert _{\infty} \bigr\} \le\max \{ \Gamma_{0}, \Gamma_{1} \}=\Gamma_{0}, $$
Therefore, \(T(B_{r})\) is uniformly bounded.
On the other hand, for all \(t_{1}, t_{2}\in J_{k}\) with \(t_{1}< t_{2}\), we have Noting (3.4), we know that \(H^{\prime}(t,s)\) is a constant and Then \(T(B_{r})\) is equicontinuous. Lemma 3.1 shows that \(T:K\rightarrow K\) is completely continuous, and the lemma is proved. □
$$\bigl\vert (Tu) (t_{1})-(Tu) (t_{2})\bigr\vert =\biggl\vert \int_{t_{1}}^{t_{2}}(Tu)^{\prime}(t)\,dt\biggr\vert \le\Gamma_{1}\vert t_{1}-t_{2}\vert \rightarrow0\quad (t_{1}\rightarrow t_{2}). $$
$$\begin{aligned} \bigl\vert (Tu)^{\prime}(t_{1})-(Tu)^{\prime}(t_{2}) \bigr\vert ={}&\Biggl\vert \int _{0}^{1}\bigl[H_{t}^{\prime}(t_{1},s)-H_{t}^{\prime}(t_{2},s) \bigr]\omega(s)f\bigl(s,u\bigl(\alpha (s)\bigr)\bigr)\,ds \\ &{}+\sum_{k=1}^{n} \bigl[H_{t}^{\prime}(t_{1},t_{k})-H_{t}^{\prime}(t_{1},t_{k}) \bigr]I_{k}\bigl(u(t_{k})\bigr) \Biggr\vert \rightarrow0 \quad (t_{1}\rightarrow t_{2}). \end{aligned} $$
Definition 3.4
The map β is said to be a nonnegative continuous concave functional on a cone K of a real Banach space E if \(\beta:K\rightarrow[0,+\infty)\) is continuous and
$$\begin{aligned} &\beta\bigl(tx+(1-t)y\bigr)\geq t\beta(x)+(1-t)\beta(y) \\ &\quad \forall x,y\in K , 0\leq t\leq1. \end{aligned}$$
For positive numbers \(0< c< d\), we define the convex sets \(K_{c}\), \(\bar{K}_{c}\), \(K(\beta,c,d)\) by
It is easy to see that \(K(\beta, c, d)\) is a bounded closed convex set.
$$\begin{aligned} &K_{c}= \bigl\{ u\in K\mid \Vert u\Vert _{PC^{1}}< c \bigr\} , \end{aligned}$$
(3.8)
$$\begin{aligned} &\bar{K}_{c}= \bigl\{ u\in K\mid \Vert u\Vert _{PC^{1}}\leq c \bigr\} , \end{aligned}$$
(3.9)
$$\begin{aligned} &K(\beta, c, d)= \bigl\{ u\mid u\in K, c\leq\beta(u),\Vert u \Vert _{PC^{1}}\leq d \bigr\} . \end{aligned}$$
(3.10)
We state the well-known Leggett-William fixed point theorem [28].
Lemma 3.4
Let
K
be a cone in a real Banach space
E. Suppose that
\(A:\bar{K}_{l}\rightarrow\bar{K}_{l}\)
is completely continuous, \(\beta(u)\)
be a nonnegative continuous concave functional on
K
satisfying
\(\beta(u)\leq\|u\|\)
for all
\(u\in\bar{K}_{l}\), and there exist positive numbers
\(0< m< c< d\leq l\)
such that
- (i)
\(\{u\mid u\in K(\beta, c, d),\beta(u)>c \}\neq{\O}\) and \(\beta(Au)>c\) for \(u\in K(\beta, c, d)\);
- (ii)
\(\|Au\|< m\) for \(\|u\|\le m\);
- (iii)
\(\beta(Au)>c\) for \(u\in K(\beta, c, l)\) and \(\|Au\|>d\).
$$\Vert u_{1}\Vert < m,\qquad c< \beta(u_{2}), \qquad \Vert u_{3}\Vert >m,\quad \textit{and}\quad \beta(u_{3})< c. $$
To obtain some of the norm inequalities in our main results, we employ Hölder’s inequality.
Lemma 3.5
(Hölder)
Let
\(e\in L^{p}[a,b]\)
with
\(p>1\), \(h\in L^{q}[a,b]\)
with
\(q>1\), and
\(\frac{1}{p}+\frac{1}{q}=1\). Then
\(eh\in L^{1}[a,b]\), and
Let
\(e\in L^{1}[a,b]\)
and
\(h\in L^{\infty}[a,b]\). Then
\(eh\in L^{1}[a,b]\), and
$$\Vert eh\Vert _{1}\le \Vert e\Vert _{p}\Vert h \Vert _{q}. $$
$$\Vert eh\Vert _{1}\le \Vert e\Vert _{1}\Vert h \Vert _{\infty}. $$
4 Main results
In this section, we establish the existence of triple positive solutions for problem (1.1). We consider the following three cases for \(w\in L^{p}[0,1]\): \(p> 1\), \(p=1\), and \(p=\infty\). The case \(p>1\) is treated in the following theorem.
For convenience, we introduce the following notation:
$$\begin{aligned} &\rho_{3}=\max \biggl\{ \frac{a}{a-\mu}, \frac{a}{b} \biggr\} , \qquad D=\rho_{3}\Vert G\Vert _{q}\Vert \omega \Vert _{p}, \qquad D_{1}=n\rho_{3}\biggl(1+ \frac{b}{a}\biggr), \qquad \delta^{*}=\frac{\delta\rho_{1}}{\rho_{2}}, \\ &f^{\infty}=\limsup_{u\rightarrow\infty}\max_{t\in J} \frac{f(t,u)}{u}, \qquad I^{\infty}(k)=\limsup_{u\rightarrow\infty} \frac{I_{k}(u)}{u}, \quad k=1, 2, \ldots, n. \end{aligned}$$
Theorem 4.1
Assume that (\(H_{1}\))-(\(H_{3}\)) hold. Furthermore, suppose that there exist constants
\(0< m< c< \frac{c}{\delta^{*}}\le l \)
such that
Then problem (1.1) has at least three positive solutions
\(u_{1}\), \(u_{2}\), and
\(u_{3}\)
satisfying
- (\(H_{4}\)):
-
\(f^{\infty}<\frac{1}{2D}\), \(I^{\infty}(k)<\frac{1}{2D_{1}}\), \(k=1, 2, \ldots, n\);
- (\(H_{5}\)):
-
\(f(t,u)\ge\frac{2c}{\xi\delta\rho_{1} N}\), \(\forall (t,u)\in[0,\xi] \times[c, \frac{c}{\delta^{*}}]\);
- (\(H_{6}\)):
-
\(f(t,u)< \frac{m}{2D}\), \(I_{k}(u)<\frac{m}{2D_{1}}\), \(\forall (t,u)\in J \times[0,m]\), \(k=1, 2, \ldots, n\).
$$\Vert u_{1}\Vert _{PC^{1}}< m,\qquad c< \beta(u_{2}), \qquad \Vert u_{3}\Vert _{PC^{1}}>m,\quad \textit{and} \quad \beta(u_{3})< c. $$
Proof
Let \(\beta(u)=\min_{0\le t\le\xi}u(t)\). It is clear that \(\beta(u)\) is a nonnegative continuous concave functional on the cone K satisfying \(\beta(u)\leq\|u\|_{PC^{1}}\) for all \(u\in K\). By (\(H_{4}\)) there exist \(0<\gamma<\frac{1}{2D}\), \(0<\gamma_{1}<\frac {1}{2D_{1}}\), and \(\rho^{\prime}>0\) such that Let Then
$$f(t,u)\leq\gamma u, \qquad I_{k}(u)\le\gamma_{1} u, \quad k=1, 2, \ldots, n, \forall t \in J, u \ge\rho^{\prime}. $$
$$\eta=\max_{(t,u)\in[0,1]\times[0,\rho^{\prime}]}f(t,u),\qquad \eta _{1}=\max _{u\in[0,\rho^{\prime}]}I_{k}(u), \quad k=1, 2, \ldots, n. $$
$$ f\bigl(t,u(t)\bigr)\leq\gamma u(t)+\eta, \qquad I_{k}(u)\leq\gamma_{1} u+\eta_{1}, \quad \forall t \in J, u\ge0. $$
(4.1)
Since \(0\le\alpha(t)\le t \le1\) on J, it follows from \(u(t)\ge\rho^{\prime}\) on J that
$$ u\bigl(\alpha(t)\bigr)\ge\rho^{\prime},\quad \forall t \in J. $$
(4.2)
Set \(l>\max\{\frac{2D\eta}{1-2D\gamma}, \frac{2D_{1}\eta _{1}}{1-2D_{1}\gamma_{1}}, \frac{c}{\delta^{*}}\}\).
Consequently, for any \(t \in J\) and \(u \in\bar{K}_{l}\), (3.2) and (3.9) imply
It follows from (4.3) and (4.4) that which implies that \(Tu\in K_{l}\).
$$\begin{aligned} &\begin{aligned}[b] (Tu) (t)&= \int_{0}^{1}H(t,s)\omega(s)f\bigl(s,u\bigl(\alpha(s) \bigr)\bigr)\,ds+\sum_{k=1}^{n}H(t,t_{k})I_{k} \bigl(u(t_{k})\bigr) \\ &\le\frac{a}{a-\mu} \Biggl( \int_{0}^{1}G(s,s)\omega (s)f\bigl(s,u\bigl( \alpha(s)\bigr)\bigr)\,ds+\sum_{k=1}^{n}G(t,t_{k})I_{k} \bigl(u(t_{k})\bigr) \Biggr) \\ &\le\frac{a}{a-\mu} \Biggl(\Vert G\Vert _{q}\Vert \omega \Vert _{p} \int_{0}^{1}f\bigl(s,u\bigl(\alpha(s)\bigr)\bigr) \,ds+\biggl(1+\frac{b}{a}\biggr)\sum_{k=1}^{n}I_{k} \bigl(u(t_{k})\bigr) \Biggr), \end{aligned} \end{aligned}$$
(4.3)
$$\begin{aligned} &\begin{aligned}[b] \bigl\vert (Tu)^{\prime}(t) \bigr\vert &\le \int_{0}^{1}\bigl\vert H_{t}^{\prime}(t,s) \bigr\vert \omega(s)f\bigl(s,u\bigl(\alpha (s)\bigr)\bigr)\,ds+\sum _{k=1}^{n}\bigl\vert H_{t}^{\prime}(t,t_{k}) \bigr\vert I_{k}\bigl(u(t_{k})\bigr) \\ &\le \int_{0}^{1}\omega(s)f\bigl(s,u\bigl(\alpha (s) \bigr)\bigr)\,ds+\sum_{k=1}^{n}I_{k} \bigl(u(t_{k})\bigr) \\ &= \int_{0}^{1}\frac{1}{G(s,s)} G(s,s)\omega (s)f \bigl(s,u\bigl(\alpha(s)\bigr)\bigr)\,ds+\frac{1}{G(s,s)}\sum _{k=1}^{n}G(s,s)I_{k}\bigl(u(t_{k}) \bigr) \\ &\le\frac{a}{b} \Biggl( \int _{0}^{1}G(s,s)\omega(s)f\bigl(s,u\bigl( \alpha(s)\bigr)\bigr)\,ds+\sum_{k=1}^{n}G(s,s)I_{k} \bigl(u(t_{k})\bigr) \Biggr) \\ &\le\frac{a}{b} \Biggl(\Vert G\Vert _{q}\Vert \omega \Vert _{p} \int_{0}^{1}f\bigl(s,u\bigl(\alpha(s)\bigr)\bigr) \,ds+\biggl(1+\frac{b}{a}\biggr)\sum_{k=1}^{n}I_{k} \bigl(u(t_{k})\bigr) \Biggr). \end{aligned} \end{aligned}$$
(4.4)
$$ \begin{aligned}[b] \Vert Tu\Vert _{PC^{1}}& \le\rho_{3} \Biggl(\Vert G\Vert _{q}\Vert \omega \Vert _{p} \int _{0}^{1}f\bigl(s,u\bigl(\alpha(s)\bigr)\bigr) \,ds+\biggl(1+\frac{b}{a}\biggr)\sum_{k=1}^{n}I_{k} \bigl(u(t_{k})\bigr) \Biggr) \\ &\le\rho_{3} \Vert G\Vert _{q}\Vert \omega \Vert _{p} \bigl(\gamma \Vert u\Vert _{PC^{1}}+\eta\bigr)+ \rho_{3}\biggl(1+\frac{b}{a}\biggr)n\bigl(\gamma_{1} \Vert u\Vert _{PC^{1}}+\eta_{1}\bigr) \\ &\le\rho_{3}\Vert G\Vert _{q}\Vert \omega \Vert _{p} (\gamma l+\eta)+ \rho_{3}\biggl(1+\frac{b}{a} \biggr)n(\gamma_{1} l+\eta_{1}) \\ & < \frac{l}{2}+\frac{l}{2} = l, \end{aligned} $$
(4.5)
Hence, we have shown that if (\(H_{4}\)) holds, then the operator \(T:\bar{K}_{l}\to\bar{K}_{l}\) is completely continuous.
Next, we verify that \(\{u\mid u\in K(\beta, c, \frac{c}{\delta ^{*}}), \beta(u)> c \}\ne{\O}\) and \(\beta(Tu)>c\) for all \(u\in K(\beta, c, \frac{c}{\delta^{*}})\).
Take \(u_{0}(t)=\frac{\delta^{*} +1}{2\delta^{*}}c\), for \(t\in J\). Then which shows that
$$u_{0}\in \biggl\{ u\mid u\in K\biggl(\beta,c, \frac{c}{\delta^{*}} \biggr), \beta (u)>c \biggr\} , $$
$$\biggl\{ u\mid u\in K\biggl(\beta, c, \frac{c}{\delta^{*}}\biggr), \beta(u)> c \biggr\} \ne{\O}. $$
Since \(0\le\alpha(t)\le t\le\xi\) on \([0,\xi]\), it follows from \(c\le u(t)\le\frac{c}{\delta^{*}}\) on J that Then, it follows from (\(H_{5}\)) that This implies that condition (i) of Lemma 3.4 holds.
$$c\le u\bigl(\alpha(t)\bigr)\le\frac{c}{\delta^{*}},\quad \forall t\in[0,\xi]. $$
$$\begin{aligned} \beta(Tu) = &\min_{t\in[0, \xi]}(Tu) \\ =&\min_{t\in[0,\xi]} \int_{0}^{1}H(t,s)\omega (s)f\bigl(s,u\bigl( \alpha(s)\bigr)\bigr)\,ds+\sum_{k=1}^{n}H(t,t_{k})I_{k} \bigl(u(t_{k})\bigr) \\ \ge&\min_{t\in[0,\xi]} \int_{0}^{1}H(t,s)\omega (s)f\bigl(s,u\bigl( \alpha(s)\bigr)\bigr)\,ds \\ \ge&\delta\rho_{1} \int_{0}^{1}\omega(s)f\bigl(s,u\bigl(\alpha (s) \bigr)\bigr)\,ds \\ >&\frac{1}{2}\delta\rho_{1} \int_{0}^{1}\omega (s)f\bigl(s,u\bigl(\alpha(s) \bigr)\bigr)\,ds \\ \ge&\frac{1}{2}\delta\rho_{1} \int_{0}^{\xi}N\frac {2c}{\xi\delta\rho_{1} N}\,ds \\ = &c. \end{aligned}$$
(4.6)
Since \(0\le\alpha(t)\le t \le\xi\) on \([0,1]\), it follows from \(0\le\|u(t)\|_{PC^{1}}\le m\) on J that Then, for \(u \in\bar{K}_{m}\), it follows from (\(H_{6}\)) and (4.5) that This implies that condition (ii) of Lemma 3.4 holds.
$$0\le\bigl\Vert u\bigl(\alpha(t)\bigr)\bigr\Vert _{PC^{1}}\le m,\quad \forall t \in[0,1]. $$
$$ \begin{aligned}[b] \Vert Tu\Vert _{PC^{1}}& \le\rho_{3} \Biggl( \int_{0}^{1} \Vert G\Vert _{q}\Vert \omega \Vert _{p}f\bigl(s,u\bigl(\alpha(s)\bigr)\bigr)\,ds+\biggl(1+ \frac{b}{a}\biggr)\sum_{k=1}^{n}I_{k} \bigl(u(t_{k})\bigr) \Biggr) \\ & =\rho_{3} \Vert G\Vert _{q}\Vert \omega \Vert _{p} \int _{0}^{1}f\bigl(s,u\bigl(\alpha(s)\bigr)\bigr) \,ds+\rho_{1}\biggl(1+\frac{b}{a}\biggr)\sum _{k=1}^{n}I_{k}\bigl(u(t_{k}) \bigr) \\ & < \rho_{3} \Vert G\Vert _{q}\Vert \omega \Vert _{p} \int _{0}^{1}\frac{m}{2D}\,ds+ \rho_{3}\biggl(1+\frac{b}{a}\biggr)\sum _{k=1}^{n}\frac {m}{2D_{1}} \\ & = \frac{m}{2}+\frac{m}{2} = m. \end{aligned} $$
(4.7)
Finally, we assert that if \(u\in K(\beta,c, l)\) and \(\|Tu\|_{PC^{1}}>\frac{c}{\delta^{*}}\), then \(\beta(Tu)>c\).
Suppose that \(u\in K(\beta,c, l)\) and \(\|Tu\|_{PC^{1}}>\frac{c}{\delta^{*}}\). Then it follows form (3.7) that This implies that condition (iii) of Lemma 3.4 holds.
$$ \begin{aligned}[b] \beta(Tu) &= \min _{t\in[0, \xi]}(Tu) \\ & =\min_{t\in[0,\xi]} \Biggl[ \int _{0}^{1}H(t,s)\omega(s)f\bigl(s,u\bigl( \alpha(s)\bigr)\bigr)\,ds+ \sum_{k=1}^{n}H(t,t_{k})I_{k} \bigl(u(t_{k})\bigr) \Biggr] \\ & \ge\frac{\delta\rho_{1}}{\rho_{2}}\Vert Tu\Vert _{PC^{1}} \\ & =\delta^{*}\Vert Tu\Vert _{PC^{1}} >c. \end{aligned} $$
(4.8)
To sum up, the hypotheses of Lemma 3.4 hold. Therefore, an application of Lemma 3.4 implies that problem (1.1) has at least three positive solutions \(u_{1}\), \(u_{2}\), and \(u_{3}\) satisfying
$$\Vert u_{1}\Vert _{PC^{1}}< m,\qquad c< \beta(u_{2}), \qquad \Vert u_{3}\Vert _{PC^{1}}>m\quad \mbox{and} \quad \beta(u_{3})< c. $$
The following results deal with the case \(p=\infty\). □
Corollary 4.1
Assume that (\(H_{1}\))-(\(H_{6}\)) hold. Then problem (1.1) has at least three positive solutions
\(u_{1}\), \(u_{2}\), and
\(u_{3}\)
satisfying
$$\Vert u_{1}\Vert _{PC^{1}}< m,\qquad c< \beta(u_{2}), \qquad \Vert u_{3}\Vert _{PC^{1}}>m,\quad \textit{and} \quad \beta(u_{3})< c. $$
Proof
Let \(\|G\|_{1}\| \omega\|_{\infty}\) replace \(\|G\|_{q}\| \omega\|_{p}\) and repeat the previous argument.
Finally, we consider the case of \(p=1\). Let
□
- (\(H_{4}^{\prime}\)):
-
\(f^{\infty}< \frac{1}{2D^{\prime}}\), \(I^{\infty}(k)<\frac {1}{2D_{1}^{\prime}}\), \(k=1, 2, \ldots, n\);
- (\(H_{6}^{\prime}\)):
-
\(f(t,u)<\frac{m}{2D^{\prime}}\), \(I_{k}(u)<\frac {m}{2D_{1}^{\prime}}\), \(\forall (t,u)\in J \times[0,m]\), \(k=1, 2, \ldots , n\), where \(D^{\prime}=\rho_{2}\|\omega\|_{1}\), \(D_{1}^{\prime}=\rho_{2}n\).
Corollary 4.2
Assume that (\(H_{1}\))-(\(H_{3}\)), (\(H_{4}^{\prime}\)), (\(H_{5}\)), and (\(H_{6}^{\prime}\)) hold. Then problem (1.1) has at least three positive solutions
\(u_{1}\), \(u_{2}\), and
\(u_{3}\)
satisfying
$$\Vert u_{1}\Vert _{PC^{1}}< m,\qquad c< \beta(u_{2}), \qquad \Vert u_{3}\Vert _{PC^{1}}>m,\quad \textit{and} \quad \beta(u_{3})< c. $$
Proof
Set \(l^{\prime}>\max\{\frac{2D^{\prime}\eta}{1-2D^{\prime}\gamma^{\prime}}, \frac{2D_{1}^{\prime}\eta_{1}}{1-D_{1}^{\prime}\gamma_{1}}, \frac{c}{\delta^{*}}\}\), where \(0<\gamma^{\prime}<\frac{1}{2D^{\prime}}\). If \(u \in\bar{K}_{l^{\prime}}\), then, by assumption (\(H_{4}^{\prime}\)), from (4.1) and (4.2) we obtain Then, for \(u \in\bar{K}_{l^{\prime}}\), it follows from (3.6) and (3.9) that which implies that \(Tu\in K_{l^{\prime}}\).
$$f\bigl(t,u\bigl(\alpha(t)\bigr)\bigr)\le\gamma^{\prime}u\bigl(\alpha(t) \bigr) +\eta. $$
$$\begin{aligned}[b] \Vert Tu\Vert _{PC^{1}}&\le \rho_{2} \Biggl( \int_{0}^{1}\omega(s)f\bigl(s,u\bigl(\alpha (s) \bigr)\bigr)\,ds+\sum_{k=1}^{n}I_{k} \bigl(u(t_{k})\bigr) \Biggr) \\ &\le\rho_{2} \Vert \omega \Vert _{1} \int _{0}^{1}f\bigl(s,u\bigl(\alpha(s)\bigr)\bigr) \,ds+\rho_{2}\sum_{k=1}^{n}I_{k} \bigl(u(t_{k})\bigr) \\ &\le\rho_{2} \Vert \omega \Vert _{1} \int_{0}^{1}\bigl(\gamma ^{\prime} u\bigl( \alpha(s)\bigr)+\eta\bigr)\,ds+\rho_{2} n(\gamma_{1} u+ \eta_{1}) \\ &\le\rho_{2} \Vert \omega \Vert _{1} \bigl( \gamma^{\prime} \Vert u\Vert _{PC^{1}}+\eta\bigr)+ \rho_{2}n\bigl(\gamma_{1} \Vert u\Vert _{PC^{1}}+ \eta_{1}\bigr) \\ &\le\rho_{2} \Vert \omega \Vert _{1} \bigl( \gamma^{\prime} l^{\prime}+\eta\bigr)+\rho_{2}n\bigl( \gamma_{1} l^{\prime}+\eta_{1}\bigr) \\ & < \frac{l^{\prime}}{2}+\frac{l^{\prime}}{2} \\ & = l^{\prime}, \end{aligned} $$
Hence, we have shown that if \((H_{4}^{\prime})\) holds, then the operator \(T:\bar{K}_{l^{\prime}}\to\bar{K}_{l^{\prime}}\) is completely continuous.
If \(u \in\bar{K}_{m}\), then it follows from (3.6) and (\(H_{6}^{\prime}\)) that Similarly to the proof of Theorem 4.1, we can get Corollary 4.2. □
$$\begin{aligned}[b] \Vert Tu\Vert _{PC^{1}}&\le \rho_{2} \Biggl( \int_{0}^{1}\omega(s)f\bigl(s,u\bigl(\alpha (s) \bigr)\bigr)\,ds+\sum_{k=1}^{n}I_{k} \bigl(u(t_{k})\bigr) \Biggr) \\ &\le\rho_{2} \Vert \omega \Vert _{1} \int _{0}^{1}f\bigl(s,u\bigl(\alpha(s)\bigr)\bigr) \,ds+\rho_{2}\sum_{k=1}^{n}I_{k} \bigl(u(t_{k})\bigr) \\ & < \rho_{2} \Vert \omega \Vert _{1} \int_{0}^{1}\frac {m}{2D^{\prime}}\,ds+ \rho_{2}\sum_{k=1}^{n} \frac{m}{2D_{1}^{\prime}} \\ & = \frac{m}{2}+\frac{m}{2} = m. \end{aligned} $$
Remark 4.1
Comparing with Jankowski [23], the main features of this paper are as follows.
- (i)
A Green function, especially, a positive Green function, is available.
- (ii)
We consider integral boundary conditions.
- (iii)
\(\omega(t)\) is \(L^{p}\)-integrable, not only \(\omega(t)\in C[0,1]\) on \(t\in J\).
5 An example
To illustrate how our main results can be used in practice, we present an example.
Example 5.1
Let \(\xi=\frac{1}{2}\), \(n=1\), \(t_{1}=\frac{1}{2}\), \(p=2\). Consider the following boundary value problem: where \(\alpha\in C(J,J)\), \(\alpha(t)\le t\) on J, and \(\omega(t)=\frac{1}{|t-\frac{1}{5}|^{\frac{1}{4}}}\), \(\alpha (t)=t^{2}\), \(I_{1}(u)=\frac{u}{10}\), \(g(t)=t\), \(a=b=1\), Thus, it is easy to see by calculating that \(\omega(t)\ge N=\sqrt{\frac {\sqrt{5}}{2}}\) for a.e. \(t\in J\) and
$$ \textstyle\begin{cases} u^{\prime\prime}(t)+\omega(t)f(t,u(\alpha(t)))=0,\quad 0\le t\le1, t\neq\frac {1}{2},\\ -\triangle u^{\prime}|_{t=\frac{1}{2}}=I_{1}(u(\frac{1}{2})),\\ u^{\prime}(0)=0,\qquad u(1)+u^{\prime}(1)=\int_{0}^{1}tu(t)\,dt, \end{cases} $$
(5.1)
$$f(t,u)= \textstyle\begin{cases} \frac{1}{4}\sqrt{\frac{\sqrt{5}}{15}}m ,& t\in J, u\in[0,m],\\ \frac{1}{4}\sqrt{\frac{\sqrt{5}}{15}}m\times\frac{c-u}{c-m}+3\sqrt{\frac {2}{\sqrt{5}}}c\times\frac{u-m}{c-m},& t\in J, u\in[m,c],\\ 3\sqrt{\frac{2}{\sqrt{5}}}c,& t\in J, u\in[c,\frac{c}{\delta^{*}}],\\ 3\sqrt{\frac{2}{\sqrt{5}}}c+\sqrt{t(u-\frac{c}{\delta^{*}})},& t\in J, u\in[\frac{c}{\delta^{*}},\infty). \end{cases} $$
$$\begin{aligned} &\mu= \int_{0}^{1}g(t)\,dt=\frac{1}{2},\qquad \rho_{1}=\frac{b}{a-\mu}=2, \\ &\delta=\frac{2-\xi}{2}=\frac{3}{4},\qquad \rho_{2}= \frac{a+b}{a-\mu}=4, \\ &\rho_{3}=\max\biggl\{ \frac{a}{a-\mu},\frac{a}{b}\biggr\} = \max\{2,1\}=2,\qquad \delta ^{*}=\frac{\delta\rho_{1}}{\rho_{2}}=\frac{3}{8}. \end{aligned}$$
Therefore, it follows from the definitions of ω, f, and g that (\(H_{1}\))-(\(H_{3}\)) hold.
On the other hand, it follows from \(\omega(t)=\frac{1}{|t-\frac {1}{5}|^{\frac{1}{4}}}\) and \(G(t,t)=1-t+\frac{b}{a}\) that Thus, we have Choosing \(0< m< c<\frac{8}{3}c\le l\), we have which show that (\(H_{4}\)), (\(H_{5}\)), and (\(H_{6}\)) hold.
$$\begin{aligned} &\Vert \omega \Vert _{2}= \biggl[ \int_{0}^{1}\biggl(\frac{1}{|t-\frac{1}{5}|^{\frac {1}{4}}} \biggr)^{2}\,dt \biggr]^{\frac{1}{2}}=\sqrt{\frac{6\sqrt{5}}{5}}=\sqrt{ \frac {6}{\sqrt{5}}}, \\ &\Vert G \Vert _{2}= \biggl[ \int_{0}^{1}\biggl(1-t+\frac{b}{a} \biggr)^{2}\,dt \biggr]^{\frac {1}{2}}=\sqrt{\frac{7}{3}}. \end{aligned}$$
$$\begin{aligned} &D=\rho_{3}\Vert G\Vert _{2}\Vert \omega \Vert _{2}=2\sqrt{\frac{14}{\sqrt{5}}}, \qquad D_{1}=n \rho_{3}\biggl(1+\frac{b}{a}\biggr)=4, \\ &\frac{1}{2D}=\frac{1}{4}\sqrt{\frac{\sqrt{5}}{14}}, \qquad \frac{1}{2D_{1}}=\frac{1}{8}. \end{aligned}$$
$$\begin{aligned} &f^{\infty}=\limsup_{u\rightarrow\infty}\max_{t\in J} \frac{f(t,u)}{u}=0< \frac {1}{4}\sqrt{\frac{\sqrt{5}}{14}}= \frac{1}{2D},\qquad I^{\infty}(1)=\frac {1}{10}< \frac{1}{8}=\frac{1}{2D_{1}}, \\ &f(t,u)=3\sqrt{\frac{2}{\sqrt{5}}}c>\frac{8}{3}\sqrt{ \frac{2}{\sqrt {5}}}c=\frac{2c}{\xi\delta\rho_{1} N},\quad \forall(t,u)\in\biggl[0, \frac {1}{2}\biggr]\times\biggl[c,\frac{8}{3}c\biggr], \\ &f(t,u)=\frac{1}{4}\sqrt{\frac{\sqrt{5}}{15}}m< \frac{1}{4}\sqrt{ \frac{\sqrt {5}}{14}}m=\frac{m}{2D},\qquad I_{1}(u)= \frac{u}{10}\le\frac{m}{10}< \frac{m}{8}=\frac{m}{2D_{1}},\\ &\quad \forall(t,u)\in[0,1]\times[0,m], \end{aligned}$$
Declarations
Acknowledgements
The work is sponsored by the National Natural Science Foundation of China (11301178), the Beijing Natural Science Foundation of China (1163007) and the Scientific Research Project of Construction for Scientific and Technological Innovation Service Capacity (71E1610973). The authors are grateful to anonymous referees for their constructive comments and suggestions, which have greatly improved this paper.
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.
Authors’ Affiliations
(1)
School of Applied Science, Beijing Information Science & Technology University
References
- Kuang, Y: Delay Differential Equation with Application in Population Dynamics. Academic Press, Boston (1993) MATHGoogle Scholar
- Yan, J: Existence and global attractivity of positive periodic solution for an impulsive Lasota-Wazewska model. J. Math. Anal. Appl. 279, 111-120 (2003) MathSciNetView ArticleMATHGoogle Scholar
- Gyöi, I, Ladas, G: Oscillation Theorem of Delay Differential Equations with Applications. Clarendon Press, Oxford (1991) Google Scholar
- Lalli, BS, Zhang, B: On a periodic delay population model. Q. Appl. Math. 52, 35-42 (1994) MathSciNetMATHGoogle Scholar
- Gopalsamy, K, Kulenović, MRS, Ladas, G: Environmental periodicity and time delays in a food-limited population model. J. Math. Anal. Appl. 147, 545-555 (1990) MathSciNetView ArticleMATHGoogle Scholar
- Zhang, X, Feng, M: Transformation technique, fixed point theorem and positive solutions for second-order impulsive differential equations with deviating arguments. Adv. Differ. Equ. 2014, 312 (2014) MathSciNetView ArticleGoogle Scholar
- Zhang, X, Feng, M: Deviating arguments, impulsive effects, and positive solutions for second order singular p-Laplacian equations. Adv. Differ. Equ. 2015(1), 127 (2015) MathSciNetView ArticleGoogle Scholar
- Nieto, JJ, López, RR: Periodic boundary value problem for non-Lipschitzian impulsive functional differential equations. J. Math. Anal. Appl. 318, 593-610 (2006) MathSciNetView ArticleMATHGoogle Scholar
- Yan, J, Shen, J: Impulsive stabilization of functional differential equations by Lyapunov-Razumikhin functions. Nonlinear Anal. 37, 245-255 (1999) MathSciNetView ArticleMATHGoogle Scholar
- Li, J, Shen, J: New comparison results for impulsive functional differential equations. Appl. Math. Lett. 23, 487-493 (2010) MathSciNetView ArticleMATHGoogle Scholar
- Feng, M, Qiu, J: Multi-parameter fourth order impulsive integral boundary value problems with one-dimensional m-Laplacian and deviating arguments. J. Inequal. Appl. 2015(1), 64 (2015) MathSciNetView ArticleMATHGoogle Scholar
- Liu, YS: Periodic boundary value problems for first order functional differential equations with impulse. J. Comput. Appl. Math. 223, 27-39 (2009) MathSciNetView ArticleMATHGoogle Scholar
- Liu, YJ: Further results on periodic boundary value problems for nonlinear first-order impulsive functional differential equations. J. Math. Anal. Appl. 327, 435-452 (2007) MathSciNetView ArticleMATHGoogle Scholar
- He, Z, Yu, J: Periodic boundary value problem for first-order impulsive functional differential equations. J. Math. Anal. Appl. 272, 67-78 (2002) MathSciNetView ArticleMATHGoogle Scholar
- Ding, W, Han, M, Mi, J: Periodic boundary value problem for the second-order impulsive functional differential equations. Comput. Math. Appl. 50, 491-507 (2005) MathSciNetView ArticleMATHGoogle Scholar
- Jankowski, T: Existence of solutions of boundary value problems for differential equations with delayed arguments. J. Comput. Appl. Math. 156, 239-252 (2003) MathSciNetView ArticleMATHGoogle Scholar
- Jankowski, T: Advanced differential equations with nonlinear boundary conditions. J. Math. Anal. Appl. 304, 490-503 (2005) MathSciNetView ArticleMATHGoogle Scholar
- Jankowski, T: Nonnegative solutions to nonlocal boundary value problems for systems of second-order differential equations dependent on the first-order derivatives. Nonlinear Anal. 87, 83-101 (2013) MathSciNetView ArticleMATHGoogle Scholar
- Jiang, D, Wei, J: Monotone method for first- and second-order periodic boundary value problems and periodic solutions of functional differential equations. Nonlinear Anal. 50, 885-898 (2002) MathSciNetView ArticleMATHGoogle Scholar
- Wang, G: Monotone iterative technique for boundary value problems of a nonlinear fractional differential equation with deviating arguments. J. Comput. Appl. Math. 236, 2425-2430 (2012) MathSciNetView ArticleMATHGoogle Scholar
- Wang, G, Zhang, L, Song, G: Systems of first order impulsive functional differential equations with deviating arguments and nonlinear boundary conditions. Nonlinear Anal. 74, 974-982 (2011) MathSciNetView ArticleMATHGoogle Scholar
- 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, 72-81 (2013) MathSciNetView ArticleMATHGoogle Scholar
- Jankowski, T: Positive solutions of three-point boundary value problems for second order impulsive differential equations with advanced arguments. Appl. Math. Comput. 197, 179-189 (2008) MathSciNetView ArticleMATHGoogle Scholar
- Zhou, J, Feng, M: Triple positive solutions for a second order m-point boundary value problem with a delayed argument. Bound. Value Probl. 2015, 178 (2015) MathSciNetView ArticleGoogle Scholar
- Feng, M, Ji, D, Ge, W: Positive solutions for a class of boundary value problem with integral boundary conditions in Banach spaces. J. Comput. Appl. Math. 222, 351-363 (2008) MathSciNetView ArticleMATHGoogle Scholar
- Deimling, K: Nonlinear Functional Analysis. Springer, Berlin (1985) View ArticleMATHGoogle Scholar
- Guo, D, Lakshmikantham, V: Nonlinear Problems in Abstract Cons. Academic Press, New York (1998) Google Scholar
- Leggett, R, Williams, L: Multiple positive fixed points of nonlinear operators on ordered Banach spaces. Indiana Univ. Math. J. 28, 673-688 (1979) MathSciNetView ArticleMATHGoogle Scholar
Copyright
© Lu and Feng 2016
