# Transformation technique, fixed point theorem and positive solutions for second-order impulsive differential equations with deviating arguments

- Xuemei Zhang
^{1}Email author and - Meiqiang Feng
^{2}

**2014**:312

https://doi.org/10.1186/1687-1847-2014-312

© Zhang and Feng; licensee Springer. 2014

**Received: **13 November 2014

**Accepted: **25 November 2014

**Published: **8 December 2014

## Abstract

This paper investigates the boundary value problems of second-order impulsive differential equations with deviating arguments

where $\{{c}_{k}\}$ is a real sequence with ${c}_{k}>-1$, $k=1,2,\dots ,n$, *ω* may be singular at $t=0$ and/or $t=1$. Several new and more general results are obtained for the existence of positive solutions for the above problem by using transformation technique and Krasnosel’skii’s fixed point theorem. We discuss our problems under two cases when the deviating arguments are delayed and advanced. The approach to deal with the impulsive term is different from earlier approaches. It is the first paper where the transformation technique and a fixed point theorem for cones are applied to second-order differential equations with impulsive effects and deviating arguments. An example is included to verify the theoretical results.

## Keywords

## 1 Introduction

Impulsive differential equations, which provide a natural description of observed evolution processes, are regarded as important mathematical tools for better understanding of several real world problems in applied sciences, such as population dynamics, ecology, biological systems, biotechnology, industrial robotic, pharmacokinetics, optimal control, *etc.* Therefore, the study of this class of impulsive differential equations has gained prominence and it is a rapidly growing field. For the general theory of impulsive differential equations, we refer the reader to [1–3], whereas the applications of impulsive differential equations can be found in [4–14]. Nieto and O’Regan [15] pointed out that in a second-order differential equation ${u}^{\u2033}=f(t,u,{u}^{\prime})$ one usually considers impulses in the position *u* and the velocity ${u}^{\prime}$. However, in the motion of spacecraft one has to consider instantaneous impulses depending on the position that result in jump discontinuities in velocity, but with no change in position [16]. The impulses only on velocity occur also in impulsive mechanics [17].

Some classical tools such as bifurcation theory [18, 19], fixed point theorems in cones [20–24], the method of lower and upper solutions [25, 26], the theory of critical point theory and variational methods [7, 15, 27–30] and the technique via appropriate transformation [31–34] have been widely used to study impulsive differential equations. But it is quite difficult to apply these approaches to an impulsive differential equation with deviating arguments; therefore, there was no result in this area for a long time. Only in the recent eight years, there appeared a few articles which dealt with some impulsive differential equations with deviating arguments by using fixed point theorems in cones [35–38]. Motivated by [35–38], in this article we shall use a different approach to discuss the existence of positive solutions for a class of impulsive differential equations with deviating arguments.

where $J=[0,1]$, $f\in C(J\times {R}^{+},{R}^{+})$, ${R}^{+}=[0,+\mathrm{\infty})$, ${t}_{k}$ ($k=1,2,\dots ,n$, here *n* is a fixed positive integer) are fixed points with $0<{t}_{1}<{t}_{2}<\cdots <{t}_{k}<\cdots <{t}_{n}<1$, $a,b>0$, $\{{c}_{k}\}$ is a real sequence with ${c}_{k}>-1$, $k=1,2,\dots ,n$, $x({t}_{k}^{+})$ ($k=1,2,\dots ,n$) represent the right-hand limit of $x(t)$ at ${t}_{k}$, $h\in C[0,1]$ is nonnegative.

Throughout this paper we assume that $\alpha (t)\not\equiv t$ on $J=[0,1]$. In addition, *ω*, *f*, ${c}_{k}$, *α* and *h* satisfy

(H_{1}) $\omega \in C((0,1),[0,+\mathrm{\infty}))$ with $0<{\int}_{0}^{1}\omega (s)\phantom{\rule{0.2em}{0ex}}ds<\mathrm{\infty}$ and *ω* does not vanish on any subinterval of $(0,1)$;

(H_{2}) $f\in C([0,1]\times [0,+\mathrm{\infty}),[0,+\mathrm{\infty}))$, $\alpha \in C(J,J)$;

(H_{3}) $\{{c}_{k}\}$ is a real sequence with ${c}_{k}>-1$, $k=1,2,\dots ,n$, $c(t):={\prod}_{0<{t}_{k}<t}(1+{c}_{k})$;

_{4}) $h\in C[0,1]$ is nonnegative with $\nu \in [0,a)$, where

**Remark 1.1**Throughout this paper, we always assume that a product $c(t):={\prod}_{0<{t}_{k}<t}(1+{c}_{k})$ equals unity if the number of factors is equal to zero, and let

**Remark 1.2**Combining (H

_{3}) and the definition of $c(t)$, we know that $c(t)$ is a step function and bounded on

*J*, and

Some special cases of (1.1) have been investigated. For example, Zhang and Feng [34] considered problem (1.1) under the case that $\omega (t)\equiv 1$ and $\alpha (t)\equiv t$ on *J*. By using fixed point theories in cones, the authors proved the existence of positive solutions for problem (1.1).

At the same time, a class of boundary value problems with delay has been investigated; for example, see [39–44]. It is not difficult to see that the corresponding functions *f* appearing on the right-hand side depend on $x(t-\tau )$, $\tau >0$, where initial functions *x* are given on the initial set, for example, $[-\tau ,0]$. Jankowski [45, 46] pointed out that in such cases $\alpha (t)=t-\tau $, there are some problems with a constant delay *τ*. If we consider the differential problem on intervals $[0,k]$, where $k\le \tau $, then it means that we have no delays; we have such a situation in paper [44]. If $k>\tau $, then it is easy to solve the differential equation on $[0,\tau ]$, since we have the solution on the initial set $[-\tau ,0]$. Continuing this process, we can find a solution on the whole interval $[0,k]$ by using the method of steps. In the present paper, for example, the deviating argument *α* can have a form $\alpha (t)=\rho t=t-(1-\rho )t$ with a fixed number $\rho \in (0,1)$, so the delay $(1-\rho )t$ is a function of *t*. In this case, the initial set reduces to one point $t=0$, and we cannot apply the step method. To the authors’ knowledge, it is the first paper when positive solutions have been investigated for a class of second-order impulsive differential equations with deviating arguments both of advanced and delayed type.

**Remark 1.3** There are almost no papers, except [35–37], studying second-order impulsive differential equations with deviating arguments using fixed point theory. However, in [35–37], Jankowski only considered $\omega \in C([0,1],\mathrm{\infty})$, not *ω* is singular at $t=0$ and/or $t=1$, and dealt with the nonlinear term that is in the form of $f(y(t))$, not $f(t,c(t)y(t))$; see (2.12).

**Remark 1.4** Comparing with [35–37], we transform problem (1.1) into a differential system without impulse, *i.e.*, the technique to deal with impulses is completely different from that of [35–37]. According to the authors’ knowledge, it is probably the first paper where this technique is applied to second-order impulsive boundary value problems with deviating arguments.

**Remark 1.5** The technique to deal with $f(t,c(t)y(t))$ is completely different from that of Zhang *et al.* [31], Zhang *et al.* [32] and Sun *et al.* [33].

Being directly inspired by [31–37], the authors will prove several new and more general results for the existence of positive solutions for problem (1.1) by using fixed point theories.

The organization of this paper is as follows. In Section 2, we present some definitions and lemmas which are needed throughout this paper. In particular, we transform problem (1.1) into a differential system without impulse. In Section 3, we use a fixed point theorem to obtain the existence of positive solutions for problem (1.1) with advanced argument *α*. Finally, in Section 4, we formulate sufficient conditions under which delayed problem (1.1) has positive solutions. In particular, our results in these sections are new when $\alpha (t)\equiv t$ on $t\in J$.

## 2 Preliminaries

In this section, we first present some definitions and lemmas which are needed throughout this paper.

**Definition 2.1** (see [47])

*E*be a real Banach space over

*R*. A nonempty closed set $P\subset E$ is said to be a cone provided that

- (i)
$au+bv\in P$ for all $u,v\in P$ and all $a\ge 0$, $b\ge 0$, and

- (ii)
$u,-u\in P$ implies $u=0$.

Every cone $P\subset E$ induces an ordering in *E* given by $x\le y$ if and only if $y-x\in P$.

**Definition 2.2**The map

*β*is said to be a nonnegative continuous concave functional on a cone

*P*of a real Banach space

*E*provided that $\beta :P\to [0,\mathrm{\infty})$ is continuous and

for all $x,y\in P$ and $0\le t\le 1$.

**Definition 2.3**A function $x(t)$ is said to be a solution of problem (1.1) on

*J*if:

- (i)
$x(t)$ is absolutely continuous on each interval $(0,{t}_{1}]$ and $({t}_{k},{t}_{k+1}]$, $k=1,2,\dots ,n$;

- (ii)
for any $k=1,2,\dots ,n$, $x({t}_{k}^{+})$, $x({t}_{k}^{-})$ exist and $x({t}_{k}^{-})=x({t}_{k})$;

- (iii)
$x(t)$ satisfies (1.1).

The following lemmas will be used in the proof of our main results.

**Lemma 2.1**

*Assume that*(H

_{1})-(H

_{4})

*hold*.

*Then*

- (i)
*If*$y(t)$*is a solution of problem*(2.2)*on**J*,*then*$x(t)=c(t)y(t)$*is a solution of problem*(1.1)*on**J*; - (ii)
*If*$x(t)$*is a solution of problem*(1.1)*on**J*,*then*$y(t)={c}^{-1}(t)x(t)$*is a solution of problem*(2.2)*on**J*.

*Proof* The proof is similar to that of Lemma 2.1 in [34]. □

**Lemma 2.2**

*If*(H

_{1})-(H

_{4})

*hold*,

*then problem*(2.2)

*has a solution*

*y*,

*and*

*y*

*can be expressed in the form*

*where*

*Proof* The proof is similar to that of Lemma 2.1 in [48]. □

**Lemma 2.3**

*Let*$\xi \in (0,1)$,

*G*

*and*

*H*

*be given as in Lemma*2.2.

*Then we have the following results*:

*where*

*Proof*Relation (2.6) is simple to prove. Note that

for $t\in [\xi ,1]$, $s\in J$.

This gives the proof of Lemma 2.3. □

**Remark 2.1**Noticing that $a,b>0$, it follows from (2.4) and (2.5) that

*E*is a real Banach space with the norm $\parallel \cdot \parallel $ defined by

*K*in

*E*by

*r*a positive number ${\mathrm{\Omega}}_{r}$ by

Note that $\partial {\mathrm{\Omega}}_{r}=\{y\in E:\parallel y\parallel =r\}$.

**Lemma 2.4** *Assume that* (H_{1})-(H_{4}) *hold*. *Then* $T(K)\subset K$ *and* $T:K\to K$ *is completely continuous*.

*Proof*For $y\in K$, it follows from (2.6) and (2.12) that

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

Next, by arguments similar to those of Theorem 1 in [49], one can prove that $T:K\to K$ is completely continuous. So it is omitted, and the lemma is proved. □

**Remark 2.2** From (2.12), we know that $y\in E$ is a solution of problem (2.2) if and only if *y* is a fixed point of the operator *T*.

From Lemma 2.1 and Remark 2.2, we can obtain the following results.

**Lemma 2.5**

*Assume that*(H

_{1})-(H

_{4})

*hold*.

*Then*

- (i)
*If*$x(t)$*is a solution of problem*(1.1)*on**J*,*then*$y(t)={c}^{-1}(t)x(t)$*is a fixed point of**T*; - (ii)
*If*$y(t)$*is a fixed point of**T*,*then*$x(t)=c(t)y(t)$*is a solution of problem*(1.1)*on**J*.

In the rest of this section, we state a well-known fixed point theorem which we need later.

**Lemma 2.6** (see [47])

*Let*

*P*

*be a cone in a real Banach space*

*E*.

*Assume that*${\mathrm{\Omega}}_{1}$, ${\mathrm{\Omega}}_{2}$

*are bounded open sets in*

*E*

*with*$0\in {\mathrm{\Omega}}_{1}$, ${\overline{\mathrm{\Omega}}}_{1}\subset {\mathrm{\Omega}}_{2}$.

*If*

*is completely continuous such that either*

- (i)
$\parallel Ax\parallel \le \parallel x\parallel $, $\mathrm{\forall}x\in P\cap \partial {\mathrm{\Omega}}_{1}$

*and*$\parallel Ax\parallel \ge \parallel x\parallel $, $\mathrm{\forall}x\in P\cap \partial {\mathrm{\Omega}}_{2}$,*or* - (ii)
$\parallel Ax\parallel \ge \parallel x\parallel $, $\mathrm{\forall}x\in P\cap \partial {\mathrm{\Omega}}_{1}$

*and*$\parallel Ax\parallel \le \parallel x\parallel $, $\mathrm{\forall}x\in P\cap \partial {\mathrm{\Omega}}_{2}$,

*then* *A* *has at least one fixed point in* $P\cap ({\overline{\mathrm{\Omega}}}_{2}\mathrm{\setminus}{\mathrm{\Omega}}_{1})$.

## 3 Existence of positive solutions for problem (1.1) under $\alpha (t)\ge t$on *J*

We also define as [50]${i}_{0}$ = number of zeros in the set $\{{f}^{0},{f}^{\mathrm{\infty}}\}$ and ${i}_{\mathrm{\infty}}$ = number of infinities in the set $\{{f}_{0},{f}_{\mathrm{\infty}}\}$. Sun and Li [51] pointed out that ${i}_{0},{i}_{\mathrm{\infty}}=0,1\text{or}2$, and there are six possible cases: (i) ${i}_{0}=0$ and ${i}_{\mathrm{\infty}}=0$; (ii) ${i}_{0}=0$ and ${i}_{\mathrm{\infty}}=1$; (iii) ${i}_{0}=0$ and ${i}_{\mathrm{\infty}}=2$; (iv) ${i}_{0}=1$ and ${i}_{\mathrm{\infty}}=0$; (v) ${i}_{0}=1$ and ${i}_{\mathrm{\infty}}=1$; and (vi) ${i}_{0}=2$ and ${i}_{\mathrm{\infty}}=0$. By using Krasnosel’skii’s fixed point theorem in a cone, some results are obtained for the existence of at least one or two positive solutions of problem (1.1) for $\alpha (t)\ge t$ on *J* under the above six possible cases.

### 3.1 For the case $\alpha (t)\ge t$on *J* under ${i}_{0}=1$and ${i}_{\mathrm{\infty}}=1$

In this subsection, we discuss the existence of a single positive solution for problem (1.1) for $\alpha (t)\ge t$ on *J* under ${i}_{0}=1$ and ${i}_{\mathrm{\infty}}=1$.

**Theorem 3.1** *Assume that* (H_{1})-(H_{4}) *hold*. *If* ${i}_{0}=1$ *and* ${i}_{\mathrm{\infty}}=1$, *then problem* (1.1) *has at least one positive solution*.

*Proof*First, we consider the case ${f}^{0}=0$ and ${f}_{\mathrm{\infty}}=\mathrm{\infty}$. Since ${f}^{0}=0$, then there exists ${r}_{1}>0$ such that

*J*, it follows from $0\le y(t)\le {r}_{1}$ on

*J*that

*J*, it follows from $y(t)\ge \stackrel{\u02c6}{r}$ on $[\xi ,1]$ that

*T*has a fixed point

*y*in $K\cap ({\overline{\mathrm{\Omega}}}_{R}\mathrm{\setminus}{\mathrm{\Omega}}_{r})$ with

*x*with

This gives the proof of Theorem 3.1. □

**Remark 3.1** For ${i}_{0}=1$ and ${i}_{\mathrm{\infty}}=1$, there is another case ${f}^{\mathrm{\infty}}=0$ and ${f}_{0}=\mathrm{\infty}$. However, at the moment, we give no information on the existence of a positive solution for problem (1.1) if we change ${f}^{0}=0$ and ${f}_{\mathrm{\infty}}=\mathrm{\infty}$ into ${f}^{\mathrm{\infty}}=0$ and ${f}_{0}=\mathrm{\infty}$ in Theorem 3.1.

### 3.2 For the case $\alpha (t)\ge t$on *J* under ${i}_{0}=0$and ${i}_{\mathrm{\infty}}=0$

Now, we shall state and prove the following main result.

**Theorem 3.2** *Suppose that* (H_{1})-(H_{4}) *hold and* $\alpha (t)\ge t$ *on* *J*. *In addition*, *let the following two conditions hold*:

(H_{5}) *There exist* $l>0$ *and* ${\rho}_{1}>0$ *such that* ${f}_{0}^{{\rho}_{1}}\le l$;

(H_{6}) *There exist* $\eta >0$ *and* ${\rho}_{2}>0$ *such that* $f(t,y)\ge \eta $ *for* $t\in J$, $y\ge {\rho}_{2}$; *furthermore*, ${\rho}_{1}\ne {\rho}_{2}$.

*Then problem* (1.1) *has at least one positive solution*.

*Proof* Without loss of generality, we may assume that ${\rho}_{1}<{\rho}_{2}$. Considering ${f}_{0}^{{\rho}_{1}}\le l$, we have $f(t,y)\le l{\rho}_{1}$ for $0\le y\le {\rho}_{1}$, $t\in J$.

*J*, it follows from $0\le y(t)\le {\rho}_{1}$ on

*J*that

_{6}), when ${\rho}_{2}$ is fixed, there exists $\eta >0$ such that

*J*, it follows from $y(t)\ge {\rho}_{2}$ on

*J*that

*T*has a fixed point

*y*in $K\cap ({\overline{\mathrm{\Omega}}}_{{\rho}_{2}}\mathrm{\setminus}{\mathrm{\Omega}}_{{\rho}_{1}})$ with

*x*with

This finishes the proof of Theorem 3.2. □

We remark that condition (H_{5}) in Theorem 3.2 can be replaced by the following condition:

${({\mathrm{H}}_{5})}^{\prime}$ ${f}^{0}\le l$,

which is a special case of (H_{5}).

**Corollary 3.1** *Suppose that* (H_{1})-(H_{4}), ${({\mathrm{H}}_{5})}^{\prime}$, (H_{6}) *hold and* $\alpha (t)\ge t$ *on* *J*. *Then problem* (1.1) *has at least one positive solution*.

*Proof*We show that ${({\mathrm{H}}_{5})}^{\prime}$ implies (H

_{5}). Suppose that ${({\mathrm{H}}_{5})}^{\prime}$ holds. Then there exists a positive number ${\rho}_{1}\ne {\rho}_{2}$ such that

Therefore, (H_{5}) holds. Hence, by Theorem 3.2, problem (1.1) has at least one positive solution. □

**Theorem 3.3** *Suppose that* (H_{1})-(H_{5}) *hold and* $\alpha (t)\ge t$ *on* *J*. *In addition*, *let the following condition hold*:

(H_{7}) ${f}_{\mathrm{\infty}}\ge L$.

*Then problem* (1.1) *has at least one positive solution*.

*Proof* The proof is similar to those of (3.2) and (3.3), respectively. □

**Corollary 3.2** *Suppose that* (H_{1})-(H_{4}), ${({\mathrm{H}}_{5})}^{\prime}$, (H_{7}) *hold and* $\alpha (t)\ge t$ *on* *J*. *Then problem* (1.1) *has at least one positive solution*.

### 3.3 For the case $\alpha (t)\ge t$on *J* under ${i}_{0}=1$and ${i}_{\mathrm{\infty}}=0$or ${i}_{0}=0$and ${i}_{\mathrm{\infty}}=1$

In this subsection, we discuss the existence for the positive solutions of problem (1.1) for the case $\alpha (t)\ge t$ on *J* under ${i}_{0}=1$ and ${i}_{\mathrm{\infty}}=0$ or ${i}_{0}=0$ and ${i}_{\mathrm{\infty}}=1$.

**Theorem 3.4** *Suppose that* (H_{1})-(H_{4}) *hold*, $\alpha (t)\ge t$ *on* *J* *and* ${f}^{0}\in [0,l)$ *and* ${f}_{\mathrm{\infty}}\in (L,\mathrm{\infty})$. *Then problem* (1.1) *has at least one positive solution*.

*Proof* The proof is similar to that of Theorem 3.2. □

**Theorem 3.5** *Suppose that* (H_{1})-(H_{4}) *hold*, $\alpha (t)\ge t$ *on* *J* *and* ${f}_{0}\in (L,\mathrm{\infty})$ *and* ${f}^{\mathrm{\infty}}\in [0,l)$. *Then problem* (1.1) *has at least one positive solution*.

*Proof* Consider ${f}_{0}\in (L,\mathrm{\infty})$, then there exists ${\rho}_{1}>0$ such that $f(t,y)>Ly$ for $0\le y\le {\rho}_{1}$, $t\in J$.

*J*, it follows from $0\le y(t)\le {\rho}_{1}$ on

*J*that

Next, turn to ${f}^{\mathrm{\infty}}\in [0,l)$. In fact, we can show that ${f}^{\mathrm{\infty}}\in [0,l)$ implies (H_{5}).

This implies that ${f}_{0}^{{\rho}_{1}^{\ast}}\le l$. Hence, ${f}^{\mathrm{\infty}}\in [0,l)$ implies that (H_{5}).

where ${\rho}^{\ast}=min\{{\rho}_{1}^{\ast},\frac{1}{{c}_{M}}{\rho}_{1}^{\ast}\}$.

*T*has a fixed point

*y*in $K\cap ({\overline{\mathrm{\Omega}}}_{{\rho}^{\ast}}\mathrm{\setminus}{\mathrm{\Omega}}_{\rho})$ with

This finishes the proof of Theorem 3.5. □

From Theorems 3.4 and 3.5, we have the following result.

**Corollary 3.3** *Suppose that* ${f}^{0}=0$ *and condition* (H_{6}) *in Theorem * 3.2 *hold*. *Then problem* (1.1) *has at least one positive solution*.

**Theorem 3.6** *Suppose that* (H_{1})-(H_{4}), $\alpha (t)\ge t$ *on* *J*, ${f}^{0}\in (0,l)$ *and* ${f}_{\mathrm{\infty}}=\mathrm{\infty}$. *Then problem* (1.1) *has at least one positive solution*.

*Proof* The proof is similar to that of Theorem 3.2. □

**Theorem 3.7** *Suppose* (H_{1})-(H_{4}), $\alpha (t)\ge t$ *on* *J*, ${f}_{0}=\mathrm{\infty}$ *and* ${f}^{\mathrm{\infty}}\in (0,l)$. *Then problem* (1.1) *has at least one positive solution*.

*Proof* The proof is similar to that of Theorem 3.2. □

From Theorems 3.6 and 3.7, the following corollaries are easily obtained.

**Corollary 3.4** *Suppose that* ${f}^{0}=\mathrm{\infty}$ *and condition* (H_{5}) *in Theorem * 3.2 *hold*. *Then problem* (1.1) *has at least one positive solution*.

**Corollary 3.5** *Suppose that* ${f}_{\mathrm{\infty}}=\mathrm{\infty}$ *and condition* (H_{5}) *in Theorem * 3.2 *hold*. *Then problem* (1.1) *has at least one positive solution*.

### 3.4 For the case $\alpha (t)\ge t$on *J* under ${i}_{0}=0$and ${i}_{\mathrm{\infty}}=2$or ${i}_{0}=2$and ${i}_{\mathrm{\infty}}=0$

In this subsection we study the existence of multiple positive solutions for problem (1.1) for the case $\alpha (t)\ge t$ on *J* under ${i}_{0}=0$ and ${i}_{\mathrm{\infty}}=2$ or ${i}_{0}=2$ and ${i}_{\mathrm{\infty}}=0$.

Combining the proofs of Theorems 3.1 and 3.2, the following theorem is easily proved.

**Theorem 3.8** *Suppose that* (H_{1})-(H_{4}), $\alpha (t)\ge t$ *on* *J*, ${i}_{0}=0$ *and* ${i}_{\mathrm{\infty}}=2$ *and condition* (H_{5}) *of Theorem * 3.2 *hold*. *Then problem* (1.1) *has at least two positive solutions*.

**Corollary 3.6** *Suppose that* (H_{1})-(H_{4}), $\alpha (t)\ge t$ *on* *J*, ${i}_{0}=0$ *and* ${i}_{\mathrm{\infty}}=2$ *and condition* ${({\mathrm{H}}_{5})}^{\prime}$ *of Corollary * 3.1 *hold*. *Then problem* (1.1) *has at least two positive solutions*.

**Remark 3.2** Noticing Remark 3.1, at the moment we give no information on the existence of a positive solution for problem (1.1) under ${i}_{0}=2$ and ${i}_{\mathrm{\infty}}=0$.

## 4 Positive solutions of problem (1.1) for the case of $\alpha (t)\le t$on *J*

Now we deal with problem (1.1) for the case of $\alpha (t)\le t$ on *J*. Similarly as in Lemmas 2.3 and 2.4, we can prove the following results.

**Lemma 4.1**

*Let*$\xi \in (0,1)$,

*G*

*and*

*H*

*be given as in Lemma*2.2.

*Then we have the following results*:

*where*

*Proof*Note that

for $t\in [0,\xi ]$, $s\in J$.

This gives the proof of Lemma 4.1. □

*E*be as defined in Section 2. We define a cone ${K}^{\ast}$ in

*E*by

It is easy to see that ${K}^{\ast}$ is a closed convex cone of *E*.

It is clear that $y(t)$ is a positive solution of problem (1.1) if and only of *y* is a fixed point of ${T}^{\ast}$.

By analogous methods, we have the following results. Here we only give the proof of Lemma 4.1.

**Lemma 4.2** *Assume that* (H_{1})-(H_{4}) *hold*. *Then* ${T}^{\ast}({K}^{\ast})\subset {K}^{\ast}$ *and* ${T}^{\ast}:{K}^{\ast}\to {K}^{\ast}$ *is completely continuous*.

**Lemma 4.3**

*Assume that*(H

_{1})-(H

_{4})

*hold*.

*Then*

- (i)
*If*$x(t)$*is a solution of problem*(1.1)*on**J*,*then*$y(t)={c}^{-1}(t)x(t)$*is a fixed point of*${T}^{\ast}$; - (ii)
*If*$y(t)$*is a fixed point of*${T}^{\ast}$,*then*$x(t)=c(t)y(t)$*is a solution of problem*(1.1)*on**J*.

Similar to the proof of that in Section 3, we have the following results.

### 4.1 For the case $\alpha (t)\le t$on *J* under ${i}_{0}=1$and ${i}_{\mathrm{\infty}}=1$

**Theorem 4.1** *Assume that* (H_{1})-(H_{4}) *hold*. *If* ${i}_{0}=1$ *and* ${i}_{\mathrm{\infty}}=1$, *then problem* (1.1) *has at least one positive solution*.

*Proof*First, we consider the case ${f}^{0}=0$ and ${f}_{\mathrm{\infty}}=\mathrm{\infty}$. Since ${f}^{0}=0$, then there exists ${r}_{1}>0$ such that

*J*, it follows from $0\le y(t)\le {r}_{1}$ on

*J*that

*J*, it follows from $y(t)\ge \stackrel{\u02c6}{r}$ on $[0,\xi ]$ that

*y*in ${K}^{\ast}\cap ({\overline{\mathrm{\Omega}}}_{R}\mathrm{\setminus}{\mathrm{\Omega}}_{r})$ with

This finishes the proof of Theorem 4.1. □

**Remark 4.1** For ${i}_{0}=1$ and ${i}_{\mathrm{\infty}}=1$, there is another case ${f}^{\mathrm{\infty}}=0$ and ${f}_{0}=\mathrm{\infty}$. However, at the moment, we give no information on the existence of a positive solution for problem (1.1) if we change ${f}^{0}=0$ and ${f}_{\mathrm{\infty}}=\mathrm{\infty}$ into ${f}^{\mathrm{\infty}}=0$ and ${f}_{0}=\mathrm{\infty}$ in Theorem 4.1.

### 4.2 For the case $\alpha (t)\le t$on *J* under ${i}_{0}=0$and ${i}_{\mathrm{\infty}}=0$

Now, we shall state and prove the following main result.

**Theorem 4.2** *Suppose that* (H_{1})-(H_{5}) *hold and* $\alpha (t)\le t$ *on* *J*. *In addition*, *let the following condition hold*:

(${\mathrm{H}}_{6}^{\ast}$) *There exist* ${\eta}^{\ast}>0$ *and* ${\rho}_{2}>0$ *such that* $f(t,y)\ge {\eta}^{\ast}$ *for* $t\in J$, $y\ge {\rho}_{2}$; *furthermore*, ${\rho}_{1}\ne {\rho}_{2}$.

*Then problem* (1.1) *has at least one positive solution*.

**Corollary 4.1** *Suppose that* (H_{1})-(H_{4}), ${({\mathrm{H}}_{5})}^{\prime}$, (${\mathrm{H}}_{6}^{\ast}$) *hold and* $\alpha (t)\le t$ *on* *J*. *Then problem* (1.1) *has at least one positive solution*.

**Theorem 4.3** *Suppose that* (H_{1})-(H_{5}) *hold and* $\alpha (t)\le t$ *on* *J*. *In addition*, *let the following condition hold*:

(${\mathrm{H}}_{7}^{\ast}$) ${f}_{\mathrm{\infty}}\ge {L}^{\ast}$.

*Then problem* (1.1) *has at least one positive solution*.

**Corollary 4.2** *Suppose that* (H_{1})-(H_{4}), ${({\mathrm{H}}_{5})}^{\prime}$, (${\mathrm{H}}_{7}^{\ast}$) *hold and* $\alpha (t)\ge t$ *on* *J*. *Then problem* (1.1) *has at least one positive solution*.

### 4.3 For the case $\alpha (t)\le t$on *J* under ${i}_{0}=1$and ${i}_{\mathrm{\infty}}=0$or ${i}_{0}=0$and ${i}_{\mathrm{\infty}}=1$

**Theorem 4.4** *Suppose that* (H_{1})-(H_{4}) *hold*, $\alpha (t)\le t$ *on* *J* *and* ${f}^{0}\in [0,l)$ *and* ${f}_{\mathrm{\infty}}\in ({L}^{\ast},\mathrm{\infty})$. *Then problem* (1.1) *has at least one positive solution*.

**Theorem 4.5** *Suppose that* (H_{1})-(H_{4}) *hold*, $\alpha (t)\le t$ *on* *J* *and* ${f}_{0}\in ({L}^{\ast},\mathrm{\infty})$ *and* ${f}^{\mathrm{\infty}}\in [0,l)$. *Then problem* (1.1) *has at least one positive solution*.

### 4.4 For the case $\alpha (t)\le t$on *J* under ${i}_{0}=0$and ${i}_{\mathrm{\infty}}=2$or ${i}_{0}=2$and ${i}_{\mathrm{\infty}}=0$

Combining the proofs of Theorems 4.1 and 4.2, the following theorem is easily proved.

**Theorem 4.6** *Suppose that* (H_{1})-(H_{4}), $\alpha (t)\le t$ *on* *J*, ${i}_{0}=0$ *and* ${i}_{\mathrm{\infty}}=2$ *and condition* (H_{5}) *of Theorem * 4.2 *hold*. *Then problem* (1.1) *has at least two positive solutions*.

**Corollary 4.3** *Suppose that* (H_{1})-(H_{4}), $\alpha (t)\le t$ *on* *J*, ${i}_{0}=0$ *and* ${i}_{\mathrm{\infty}}=2$ *and condition* ${({\mathrm{H}}_{5})}^{\prime}$ *of Corollary * 4.1 *hold*. *Then problem* (1.1) *has at least two positive solutions*.

## 5 An example

To illustrate how our main results can be used in practice, we present an example.

**Example 5.1**Consider the following boundary value problem:

*J*and

here $n\ge 2$ is a positive integral number.

This means that problem (5.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.

*ω*,

*f*,

*c*and

*h*that (H

_{1})-(H

_{4}) hold, and

Hence, by Theorem 3.1, the conclusion follows, and the proof is complete.

## Declarations

### Acknowledgements

This work is sponsored by the project NSFC (11301178, 11171032), the Fundamental Research Funds for the Central Universities (2014ZZD10, 2014MS58) and the improving project of graduate education of Beijing Information Science and Technology University (YJT201416). The authors are grateful to anonymous referees for their constructive comments and suggestions, which has greatly improved this paper.

## Authors’ Affiliations

## References

- Lakshmikantham V, Bainov D, Simeonov P:
*Theory of Impulsive Differential Equations*. World Scientific, Singapore; 1989.View ArticleGoogle Scholar - Samoilenko A, Perestyuk N:
*Impulsive Differential Equations*. World Scientific, Singapore; 1995.Google Scholar - Benchohra M, Henderson J, Ntouyas S:
*Impulsive Differential Equations and Inclusions*. Hindawi, New York; 2006.View ArticleGoogle Scholar - Ding W, Han M: Periodic boundary value problem for the second order impulsive functional differential equations.
*Appl. Math. Comput.*2004, 155: 709-726. 10.1016/S0096-3003(03)00811-7MathSciNetView ArticleGoogle Scholar - Agarwal RP, O’Regan D: Multiple nonnegative solutions for second order impulsive differential equations.
*Appl. Math. Comput.*2000, 114: 51-59. 10.1016/S0096-3003(99)00074-0MathSciNetView ArticleGoogle Scholar - Nieto JJ, López R: Boundary value problems for a class of impulsive functional equations.
*Comput. Math. Appl.*2008, 55: 2715-2731. 10.1016/j.camwa.2007.10.019MathSciNetView ArticleGoogle Scholar - Feng M, Du B, Ge W: Impulsive boundary value problems with integral boundary conditions and one-dimensional
*p*-Laplacian.*Nonlinear Anal. TMA*2009, 70: 3119-3126. 10.1016/j.na.2008.04.015MathSciNetView ArticleGoogle Scholar - Li J, Nieo JJ: Existence of positive solutions for multipoint boundary value problem on the half-line with impulses.
*Bound. Value Probl.*2009., 2009: Article ID 834158Google Scholar - Guo D: Multiple positive solutions of impulsive nonlinear Fredholm integral equations and applications.
*J. Math. Anal. Appl.*1993, 173: 318-324. 10.1006/jmaa.1993.1069MathSciNetView ArticleGoogle Scholar - Liu B, Yu J: Existence of solution of
*m*-point boundary value problems of second-order differential systems with impulses.*Appl. Math. Comput.*2002, 125: 155-175. 10.1016/S0096-3003(00)00110-7MathSciNetView ArticleGoogle Scholar - Lin X, Jiang D: Multiple positive solutions of Dirichlet boundary value problems for second order impulsive differential equations.
*J. Math. Anal. Appl.*2006, 321: 501-514. 10.1016/j.jmaa.2005.07.076MathSciNetView ArticleGoogle Scholar - Shen J, Wang W: Impulsive boundary value problems with nonlinear boundary conditions.
*Nonlinear Anal. TMA*2008, 69: 4055-4062. 10.1016/j.na.2007.10.036View ArticleGoogle Scholar - Wei Z: Periodic boundary value problems for second order impulsive integro-differential equations of mixed type in Banach spaces.
*J. Math. Anal. Appl.*1995, 195: 214-229. 10.1006/jmaa.1995.1351MathSciNetView ArticleGoogle Scholar - Hristova S, Bainov D: Monotone-iterative techniques of V. Lakshmikantham for a boundary value problem for systems of impulsive differential-difference equations.
*J. Math. Anal. Appl.*1996, 197: 1-13. 10.1006/jmaa.1996.0001MathSciNetView ArticleGoogle Scholar - Nieto JJ, O’Regan D: Variational approach to impulsive differential equations.
*Nonlinear Anal., Real World Appl.*2009, 10: 680-690. 10.1016/j.nonrwa.2007.10.022MathSciNetView ArticleGoogle Scholar - Liu X, Willms A: Impulsive controllability of linear dynamical systems with applications to maneuvers of spacecraft.
*Math. Probl. Eng.*1996, 2: 277-299. 10.1155/S1024123X9600035XView ArticleGoogle Scholar - Pasquero S: Ideality criterion for unilateral constraints in time-dependent impulsive mechanics.
*J. Math. Phys.*2005., 46: Article ID 112904Google Scholar - Liu Y, O’Regan D: Multiplicity results using bifurcation techniques for a class of boundary value problems of impulsive differential equations.
*Commun. Nonlinear Sci. Numer. Simul.*2011, 16: 1769-1775. 10.1016/j.cnsns.2010.09.001MathSciNetView ArticleGoogle Scholar - Ma R, Yang B, Wang Z: Positive periodic solutions of first-order delay differential equations with impulses.
*Appl. Math. Comput.*2013, 219: 6074-6083. 10.1016/j.amc.2012.12.020MathSciNetView ArticleGoogle Scholar - Hao X, Liu L, Wu Y: Positive solutions for
*n*th-order singular nonlocal boundary value problems.*Bound. Value Probl.*2007., 2007: Article ID 74517Google Scholar - Liu L, Liu Z, Wu Y: Infinite boundary value problems for
*n*th-order nonlinear impulsive integro-differential equations in Banach spaces.*Nonlinear Anal. TMA*2007, 67: 2670-2679. 10.1016/j.na.2006.09.031View ArticleGoogle Scholar - Feng M: Positive solutions for a second-order
*p*-Laplacian boundary value problem with impulsive effects and two parameters.*Abstr. Appl. Anal.*2014. 10.1155/2014/534787Google Scholar - Zhang X, Feng M, Ge W: Existence of solutions of boundary value problems with integral boundary conditions for second-order impulsive integro-differential equations in Banach spaces.
*J. Comput. Appl. Math.*2010, 233: 1915-1926. 10.1016/j.cam.2009.07.060MathSciNetView ArticleGoogle Scholar - Yan J: Existence of positive periodic solutions of impulsive functional differential equations with two parameters.
*J. Math. Anal. Appl.*2007, 327: 854-868. 10.1016/j.jmaa.2006.04.018MathSciNetView ArticleGoogle Scholar - Liu X, Guo D: Method of upper and lower solutions for second-order impulsive integro-differential equations in a Banach space.
*Comput. Math. Appl.*1999, 38: 213-223. 10.1016/S0898-1221(99)00196-0MathSciNetView ArticleGoogle Scholar - Guo D: Extremal solutions for
*n*th-order impulsive integro-differential equations on the half-line in Banach spaces.*Nonlinear Anal. TMA*2006, 65: 677-696. 10.1016/j.na.2005.09.032View ArticleGoogle Scholar - Zhou J, Li Y: Existence and multiplicity of solutions for some Dirichlet problems with impulsive effects.
*Nonlinear Anal. TMA*2009, 71: 2856-2865. 10.1016/j.na.2009.01.140View ArticleGoogle Scholar - Xiao J, Nieto JJ, Luo Z: Multiplicity of solutions for nonlinear second order impulsive differential equations with linear derivative dependence via variational methods.
*Commun. Nonlinear Sci. Numer. Simul.*2012, 17: 426-432. 10.1016/j.cnsns.2011.05.015MathSciNetView ArticleGoogle Scholar - Tian Y, Ge W: Applications of variational methods to boundary value problem for impulsive differential equations.
*Proc. Edinb. Math. Soc.*2008, 51: 509-527.MathSciNetView ArticleGoogle Scholar - Tian Y, Ge W: Variational methods to Sturm-Liouville boundary value problem for impulsive differential equations.
*Nonlinear Anal. TMA*2010, 72: 277-287. 10.1016/j.na.2009.06.051MathSciNetView ArticleGoogle Scholar - Zhang X, Yang X, Ge W: Positive solutions of
*n*th-order impulsive boundary value problems with integral boundary conditions in Banach spaces.*Nonlinear Anal. TMA*2009, 71: 5930-5945. 10.1016/j.na.2009.05.016MathSciNetView ArticleGoogle Scholar - Zhang X, Yan J, Zhao A: Existence of positive periodic solutions for an impulsive differential equation.
*Nonlinear Anal. TMA*2008, 68: 3209-3216. 10.1016/j.na.2007.03.014MathSciNetView ArticleGoogle Scholar - Sun X, Huo H, Ma C: Periodic solutions of a class of impulsive neutral delay differential equation.
*Appl. Math. Comput.*2012, 219: 3947-3955. 10.1016/j.amc.2012.10.031MathSciNetView ArticleGoogle Scholar - 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.*2014, 271: 117-129.MathSciNetView ArticleGoogle Scholar - Jankowski T: Positive solutions of three-point boundary value problems for second order impulsive differential equations with advanced arguments.
*Appl. Math. Comput.*2008, 197: 179-189. 10.1016/j.amc.2007.07.081MathSciNetView ArticleGoogle Scholar - Jankowski T: Three positive solutions to second order three-point impulsive differential equations with deviating arguments.
*Int. J. Comput. Math.*2010, 87: 215-225. 10.1080/00207160801994149MathSciNetView ArticleGoogle Scholar - Jankowski T: Existence of positive solutions to second order four-point impulsive differential problems with deviating arguments.
*Comput. Math. Appl.*2009, 58: 805-817. 10.1016/j.camwa.2009.06.001MathSciNetView ArticleGoogle Scholar - Jankowski T: Positive solutions to third-order impulsive Sturm-Liouville boundary value problems with deviating arguments and one-dimensional
*p*-Laplacian.*Dyn. Syst. Appl.*2011, 20: 575-586.MathSciNetGoogle Scholar - Zhang X, Feng M: Green’s function and positive solutions for a second-order singular boundary value problem with integral boundary conditions and a delayed argument.
*Abstr. Appl. Anal.*2014. 10.1155/2014/393187Google Scholar - Bai D, Xu Y: Positive solutions of second-order two-delay differential systems with twin parameter.
*Nonlinear Anal. TMA*2005, 63: 601-617. 10.1016/j.na.2005.05.021MathSciNetView ArticleGoogle Scholar - Du B, Hu X, Ge W: Positive solutions to a type of multi-point boundary value problem with delay and one-dimensional
*p*-Laplacian.*Appl. Math. Comput.*2009, 208: 501-510. 10.1016/j.amc.2008.12.020MathSciNetView ArticleGoogle Scholar - Jiang D: Multiple positive solutions for boundary value problems of second order delay differential equations.
*Appl. Math. Lett.*2002, 15: 575-583. 10.1016/S0893-9659(02)80009-XMathSciNetView ArticleGoogle Scholar - Wang W, Sheng J: Positive solutions to a multi-point boundary value problem with delay.
*Appl. Math. Comput.*2007, 188: 96-102. 10.1016/j.amc.2006.09.093MathSciNetView ArticleGoogle Scholar - Wang Y, Zhao W, Ge W: Multiple positive solutions for boundary value problems of second order delay differential equations with one-dimensional
*p*-Laplacian.*J. Math. Anal. Appl.*2007, 326: 641-654. 10.1016/j.jmaa.2006.03.028MathSciNetView ArticleGoogle Scholar - Jankowski T: Positive solutions for fourth-order differential equations with deviating arguments and integral boundary conditions.
*Nonlinear Anal. TMA*2010, 73: 1289-1299. 10.1016/j.na.2010.04.055MathSciNetView ArticleGoogle Scholar - Jankowski T: Multiple solutions of boundary-value problems for fourth-order differential equations with deviating arguments.
*J. Optim. Theory Appl.*2010, 146: 105-115. 10.1007/s10957-010-9658-5MathSciNetView ArticleGoogle Scholar - Guo D, Lakshmikantham V:
*Nonlinear Problems in Abstract Cones*. Academic Press, New York; 1988.Google Scholar - Feng M: Existence of symmetric positive solutions for a boundary value problem with integral boundary conditions.
*Appl. Math. Lett.*2011, 24: 1419-1427. 10.1016/j.aml.2011.03.023MathSciNetView ArticleGoogle Scholar - Zhao A, Yan W, Yan J: Existence of positive periodic solution for an impulsive delay differential equation. In
*Topological Methods, Variational Methods and Their Applications*. World Scientific, London; 2002:269-274.Google Scholar - Wang H: Positive periodic solutions of functional differential equations.
*J. Differ. Equ.*2004, 202: 354-366. 10.1016/j.jde.2004.02.018View ArticleGoogle Scholar - Sun H, Li W: Existence theory for positive solutions to one-dimensional
*p*-Laplacian boundary value problems on time scales.*J. Differ. Equ.*2007, 240: 217-248. 10.1016/j.jde.2007.06.004View ArticleGoogle Scholar

## Copyright

This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited.