Positive Green’s function and triple positive solutions of a second-order impulsive differential equation with integral boundary conditions and a delayed argument

Gaoli Lu; Meiqiang Feng

doi:10.1186/s13661-016-0595-6

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 Lu¹ and
Meiqiang Feng¹Email author

Boundary Value Problems20162016:88

https://doi.org/10.1186/s13661-016-0595-6

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 argumentspositive Green’s functionthree positive solutionsLegget-William’s fixed point theoremHölder’s inequality

1 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:

$$\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} $$

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.

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

$$ \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)

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:

($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

$$ \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)

has a unique solution u given by

$$ 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)

where

$$\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

$$ 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)

Integrating again, we get

$$ 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)

Letting $t=1$ in (2.6) and (2.5), we find

$$ \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)

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

$$ \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)

where

$$\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} $$

Therefore, we have

$$\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 $$

and

$$ \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)

Let

$$ H(t,s)=G(t,s)+\frac{1}{a-\mu} \int_{0}^{1}G(\tau,s)g(\tau)\,d\tau. $$

(2.10)

Then

$$ 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)

The proof of sufficiency is complete.

Conversely, let $u(t)$ be a solution of (2.1). Direct differentiation of (2.3) implies, for $t\neq t_{k}$,

$$u^{\prime}(t)=- \int_{0}^{t}y(s)\,ds-\sum _{t_{k}< t}I_{k}\bigl(u(t_{k})\bigr). $$

Evidently,

$$\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}$$

The lemma is proved. □

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

$$\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)

where

$$ \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

$$\frac{G(t,s)}{G(s,s)}= \frac{ 1-s+\frac{b}{a}}{ 1-s+\frac{b}{a}}=1. $$

This shows that

$$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$.

Note that every cone $K\subset E$ induces an ordering in E given by $u\ge v$ if and only if $v-u\in K$.

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

$$\Lambda\bigl(tx+(1-t)y\bigr)\geq t\Lambda(x)+(1-t)\Lambda(y) $$

for all $x, y\in K$ and $t\in J$.

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 that
$$\bigl\vert u(t_{1})-u(t_{2})\bigr\vert < \varepsilon $$
whenever $|t_{1}-t_{2}|<\delta$, $t_{1}, t_{2}\in J$.

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

$$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\} . $$

Then $PC^{1}[0,1]$ is a real Banach space with norm

$$\Vert u\Vert _{PC^{1}}=\max \bigl\{ \Vert u\Vert _{\infty}, \bigl\Vert u^{\prime}\bigr\Vert _{\infty} \bigr\} , $$

where $\| u\|_{\infty}=\sup_{t\in J}| u(t)|$, $\| u^{\prime}\|_{\infty}=\sup_{t\in J}| u^{\prime}(t)|$.

To establish the existence of positive solutions to problem (1.1), we construct the cone

$$ 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)

It is easy to see that K is a closed convex cone of $PC^{1}[0,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

$$ \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)

It is obvious that

$$ 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)

and

$$\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. $$

Then

$$ \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

$$ \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)

By (2.15), (3.2), and (3.6) we have

$$ \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)

Thus, $T(K)\subset K$.

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

$$\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}$$

and

$$\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}, $$

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)$.

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

$$\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}). $$

Noting (3.4), we know that $H^{\prime}(t,s)$ is a constant and

$$\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} $$

Then $T(B_{r})$ is equicontinuous. Lemma 3.1 shows that $T:K\rightarrow K$ is completely continuous, and the lemma is proved. □

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

$$\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)

It is easy to see that $K(\beta, c, d)$ is a bounded closed convex set.

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$.

Then, A has at least three fixed points $u_{1}$, $u_{2}$, and $u_{3}$ satisfying

$$\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

$$\Vert eh\Vert _{1}\le \Vert e\Vert _{p}\Vert h \Vert _{q}. $$

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 _{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

($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$.

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 $\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

$$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}. $$

Let

$$\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. $$

Then

$$ 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

$$\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)

It follows from (4.3) and (4.4) that

$$ \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)

which implies that $Tu\in K_{l}$.

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

$$u_{0}\in \biggl\{ u\mid u\in K\biggl(\beta,c, \frac{c}{\delta^{*}} \biggr), \beta (u)>c \biggr\} , $$

which shows that

$$\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

$$c\le u\bigl(\alpha(t)\bigr)\le\frac{c}{\delta^{*}},\quad \forall t\in[0,\xi]. $$

Then, it follows from ($H_{5}$) that

$$\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)

This implies that condition (i) of Lemma 3.4 holds.

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

$$0\le\bigl\Vert u\bigl(\alpha(t)\bigr)\bigr\Vert _{PC^{1}}\le m,\quad \forall t \in[0,1]. $$

Then, for $u \in\bar{K}_{m}$, it follows from ($H_{6}$) and (4.5) that

$$ \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)

This implies that condition (ii) of Lemma 3.4 holds.

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

$$ \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)

This implies that condition (iii) of Lemma 3.4 holds.

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

$$f\bigl(t,u\bigl(\alpha(t)\bigr)\bigr)\le\gamma^{\prime}u\bigl(\alpha(t) \bigr) +\eta. $$

Then, for $u \in\bar{K}_{l^{\prime}}$, it follows from (3.6) and (3.9) that

$$\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} $$

which implies that $Tu\in K_{l^{\prime}}$.

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

$$\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} $$

Similarly to the proof of Theorem 4.1, we can get Corollary 4.2. □

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:

$$ \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)

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$,

$$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} $$

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

$$\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

$$\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}$$

Thus, we have

$$\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}$$

Choosing $0< m< c<\frac{8}{3}c\le l$, we have

$$\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}$$

which show that ($H_{4}$), ($H_{5}$), and ($H_{6}$) hold.

By Theorem 4.1, problem (5.1) has at lest 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. $$

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, Beijing, People’s Republic of China

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

Boundary Value Problems

Positive Green’s function and triple positive solutions of a second-order impulsive differential equation with integral boundary conditions and a delayed argument

Abstract

Keywords

1 Introduction

2 Positive Green’s function and its properties

Lemma 2.1

Proof

Lemma 2.2

Proof

Remark 2.1

Remark 2.2

3 Preliminaries

Definition 3.1

Definition 3.2

Definition 3.3

Lemma 3.1

Lemma 3.2

Lemma 3.3

Proof

Definition 3.4

Lemma 3.4

Lemma 3.5

4 Main results

Theorem 4.1

Proof

Corollary 4.1

Proof

Corollary 4.2

Proof

Remark 4.1

5 An example

Example 5.1

Declarations

Acknowledgements

Authors’ Affiliations

References

Copyright