 Research
 Open access
 Published:
Transformation technique, fixed point theorem and positive solutions for secondorder impulsive differential equations with deviating arguments
Advances in Difference Equations volume 2014, Article number: 312 (2014)
Abstract
This paper investigates the boundary value problems of secondorder 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 secondorder differential equations with impulsive effects and deviating arguments. An example is included to verify the theoretical results.
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 secondorder 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.
Consider the secondorder nonlinear impulsive differential equation of the type
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 righthand 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});
(H_{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 righthand 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 secondorder impulsive differential equations with deviating arguments both of advanced and delayed type.
Remark 1.3 There are almost no papers, except [35–37], studying secondorder 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 secondorder 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])
Let E be a real Banach space over R. A nonempty closed set P\subset E is said to be a cone provided that

(i)
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 yx\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).
We shall reduce problem (1.1) to a system without impulse. To this goal, firstly by means of the transformation
we convert problem (1.1) into
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.
Similarly, we can prove that H(t,s)\ge \delta H(s,s) for t\in [\xi ,1], s\in J. Hence, it follows from G(t,s)\ge \delta G(s,s) that
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
and
where
Let E=C[0,1]. Then E is a real Banach space with the norm \parallel \cdot \parallel defined by
Define a cone K in E by
Also, define for r a positive number {\mathrm{\Omega}}_{r} by
Note that \partial {\mathrm{\Omega}}_{r}=\{y\in E:\parallel y\parallel =r\}.
Define T:K\to K by
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
It follows from (2.7), (2.12) and (2.13) 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 wellknown 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 ton J
For convenience, we introduce the following notations:
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 ton J under {i}_{0}=1and {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.
For convenience, we introduce the following notations:
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
Since 0\le t\le \alpha (t)\le 1 on J, it follows from 0\le y(t)\le {r}_{1} on J that
Let r=min\{{r}_{1},\frac{1}{{c}_{M}}{r}_{1}\}. Then, for y\in K\cap \partial {\mathrm{\Omega}}_{r}, we have 0\le y(t)\le r\le {r}_{1} for t\in J, and then
Consequently, for any t\in J and y\in K\cap \partial {\mathrm{\Omega}}_{r}, (2.9) and (2.12) imply
which implies
Next turning to {f}_{\mathrm{\infty}}=\mathrm{\infty}, there exists \stackrel{\u02c6}{r} satisfying 0<{r}_{1}<\stackrel{\u02c6}{r} such that
Since \xi \le t\le \alpha (t)\le 1 on J, it follows from y(t)\ge \stackrel{\u02c6}{r} on [\xi ,1] that
Let R>max\{\stackrel{\u02c6}{r},\frac{\stackrel{\u02c6}{r}}{\delta {c}_{m}}\}. Then, for y\in K\cap \partial {\mathrm{\Omega}}_{R}, we have
Hence, for y\in K\cap \partial {\mathrm{\Omega}}_{R}, it follows from (2.9) and (2.12) that
which implies
Thus by (i) of Lemma 2.6, it follows that T has a fixed point y in K\cap ({\overline{\mathrm{\Omega}}}_{R}\mathrm{\setminus}{\mathrm{\Omega}}_{r}) with
Lemma 2.5 implies that problem (1.1) has at least one positive solution 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 ton J under {i}_{0}=0and {i}_{\mathrm{\infty}}=0
In this subsection, we discuss the existence for the positive solutions of problem (1.1) under {i}_{0}=0 and {i}_{\mathrm{\infty}}=0. For convenience, we introduce the following notations:
and
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.
Since 0\le t\le \alpha (t)\le 1 on J, it follows from 0\le y(t)\le {\rho}_{1} on J that
Let \rho =min\{{\rho}_{1},\frac{1}{{c}_{M}}{\rho}_{1}\}. Then, for y\in K\cap \partial {\mathrm{\Omega}}_{\rho}, we have 0\le y(t)\le \rho \le {\rho}_{1} for t\in J, and then
Consequently, for any t\in J and y\in K\cap \partial {\mathrm{\Omega}}_{\rho}, (2.9) and (2.12) imply
which implies
On the other hand, from (H_{6}), when {\rho}_{2} is fixed, there exists \eta >0 such that
for t\in J and y\ge {\rho}_{2}. Since 0\le t\le \alpha (t)\le 1 on J, it follows from y(t)\ge {\rho}_{2} on J that
Let \overline{\rho}=max\{{\rho}_{2},\frac{{\rho}_{2}}{\delta {c}_{m}}\}. Then, for y\in K\cap \partial {\mathrm{\Omega}}_{\overline{\rho}}, we have
Hence, for y\in K\cap \partial {\mathrm{\Omega}}_{\overline{\rho}}, it follows from (2.9) and (2.12) that
which implies
Thus by (i) of Lemma 2.6, it follows that T has a fixed point y in K\cap ({\overline{\mathrm{\Omega}}}_{{\rho}_{2}}\mathrm{\setminus}{\mathrm{\Omega}}_{{\rho}_{1}}) with
Thus, it follows from Lemma 2.5 that problem (1.1) has at least one positive solution 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
Hence, we obtain
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 ton J under {i}_{0}=1and {i}_{\mathrm{\infty}}=0or {i}_{0}=0and {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.
Since 0\le t\le \alpha (t)\le 1 on J, it follows from 0\le y(t)\le {\rho}_{1} on J that
Let \rho =min\{{\rho}_{1},\frac{1}{{c}_{M}}{\rho}_{1}\}. Then, for y\in K\cap \partial {\mathrm{\Omega}}_{\rho}, we have 0\le y(t)\le \rho \le {\rho}_{1} for t\in J, and then
Consequently, for y\in K\cap \partial {\mathrm{\Omega}}_{\rho}, it follows from (2.9) and (2.12) that
which implies
Next, turn to {f}^{\mathrm{\infty}}\in [0,l). In fact, we can show that {f}^{\mathrm{\infty}}\in [0,l) implies (H_{5}).
Let \tau \in ({f}^{\mathrm{\infty}},l). Then there exists r>\tau such that {max}_{t\in J}f(t,y)\le \tau y for y\in [r,\mathrm{\infty}). Let
Then we have
This implies that {f}_{0}^{{\rho}_{1}^{\ast}}\le l. Hence, {f}^{\mathrm{\infty}}\in [0,l) implies that (H_{5}).
Similarly to the proof of (3.3), we have
where {\rho}^{\ast}=min\{{\rho}_{1}^{\ast},\frac{1}{{c}_{M}}{\rho}_{1}^{\ast}\}.
Thus by (ii) of Lemma 2.6, it follows that 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 ton J under {i}_{0}=0and {i}_{\mathrm{\infty}}=2or {i}_{0}=2and {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 ton 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.
Similarly, we can prove that H(t,s)\ge \delta H(s,s) for t\in [0,\xi ], s\in J. Hence, it follows from G(t,s)\ge \delta G(s,s) that
This gives the proof of Lemma 4.1. □
Let 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.
Define {T}^{\ast}:{K}^{\ast}\to E by
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 ton J under {i}_{0}=1and {i}_{\mathrm{\infty}}=1
For convenience, we introduce the following notation:
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
Since 0\le \alpha (t)\le t\le 1 on J, it follows from 0\le y(t)\le {r}_{1} on J that
Let r=min\{{r}_{1},\frac{1}{{c}_{M}}{r}_{1}\}. Then, for y\in {K}^{\ast}\cap \partial {\mathrm{\Omega}}_{r}, we have 0\le y(t)\le r\le {r}_{1} for t\in J, and then
Consequently, for any t\in J and y\in {K}^{\ast}\cap \partial {\mathrm{\Omega}}_{r}, (2.9) and (2.12) imply
which implies
Next we consider {f}_{\mathrm{\infty}}=\mathrm{\infty}, there exists \stackrel{\u02c6}{r} satisfying 0<{r}_{1}<\stackrel{\u02c6}{r} such that
Since \alpha (t)\le t\le \xi on J, it follows from y(t)\ge \stackrel{\u02c6}{r} on [0,\xi ] that
Let R>max\{\stackrel{\u02c6}{r},\frac{\stackrel{\u02c6}{r}}{\delta {c}_{m}}\}. Then, for y\in {K}^{\ast}\cap \partial {\mathrm{\Omega}}_{R}, we have
Hence, for y\in {K}^{\ast}\cap \partial {\mathrm{\Omega}}_{R}, it follows from (2.9) and (2.12) that
which implies
Thus by (i) of Lemma 2.6, it follows that {T}^{\ast} has a fixed point 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 ton J under {i}_{0}=0and {i}_{\mathrm{\infty}}=0
In this subsection, we discuss the existence for the positive solutions of problem (1.1) under {i}_{0}=0 and {i}_{\mathrm{\infty}}=0. For convenience, we introduce the following notation:
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 ton J under {i}_{0}=1and {i}_{\mathrm{\infty}}=0or {i}_{0}=0and {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 ton J under {i}_{0}=0and {i}_{\mathrm{\infty}}=2or {i}_{0}=2and {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:
where \alpha \in C(J,J), \alpha (t)\ge t on 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.
Problem (5.1) can be regarded as a problem of the form (1.1), where a=2, b=1, h(t)\equiv 1, and
Hence
and
It follows from the definition of ω, f, c and h that (H_{1})(H_{4}) hold, and
Hence, by Theorem 3.1, the conclusion follows, and the proof is complete.
References
Lakshmikantham V, Bainov D, Simeonov P: Theory of Impulsive Differential Equations. World Scientific, Singapore; 1989.
Samoilenko A, Perestyuk N: Impulsive Differential Equations. World Scientific, Singapore; 1995.
Benchohra M, Henderson J, Ntouyas S: Impulsive Differential Equations and Inclusions. Hindawi, New York; 2006.
Ding W, Han M: Periodic boundary value problem for the second order impulsive functional differential equations. Appl. Math. Comput. 2004, 155: 709726. 10.1016/S00963003(03)008117
Agarwal RP, O’Regan D: Multiple nonnegative solutions for second order impulsive differential equations. Appl. Math. Comput. 2000, 114: 5159. 10.1016/S00963003(99)000740
Nieto JJ, López R: Boundary value problems for a class of impulsive functional equations. Comput. Math. Appl. 2008, 55: 27152731. 10.1016/j.camwa.2007.10.019
Feng M, Du B, Ge W: Impulsive boundary value problems with integral boundary conditions and onedimensional p Laplacian. Nonlinear Anal. TMA 2009, 70: 31193126. 10.1016/j.na.2008.04.015
Li J, Nieo JJ: Existence of positive solutions for multipoint boundary value problem on the halfline with impulses. Bound. Value Probl. 2009., 2009: Article ID 834158
Guo D: Multiple positive solutions of impulsive nonlinear Fredholm integral equations and applications. J. Math. Anal. Appl. 1993, 173: 318324. 10.1006/jmaa.1993.1069
Liu B, Yu J: Existence of solution of m point boundary value problems of secondorder differential systems with impulses. Appl. Math. Comput. 2002, 125: 155175. 10.1016/S00963003(00)001107
Lin X, Jiang D: Multiple positive solutions of Dirichlet boundary value problems for second order impulsive differential equations. J. Math. Anal. Appl. 2006, 321: 501514. 10.1016/j.jmaa.2005.07.076
Shen J, Wang W: Impulsive boundary value problems with nonlinear boundary conditions. Nonlinear Anal. TMA 2008, 69: 40554062. 10.1016/j.na.2007.10.036
Wei Z: Periodic boundary value problems for second order impulsive integrodifferential equations of mixed type in Banach spaces. J. Math. Anal. Appl. 1995, 195: 214229. 10.1006/jmaa.1995.1351
Hristova S, Bainov D: Monotoneiterative techniques of V. Lakshmikantham for a boundary value problem for systems of impulsive differentialdifference equations. J. Math. Anal. Appl. 1996, 197: 113. 10.1006/jmaa.1996.0001
Nieto JJ, O’Regan D: Variational approach to impulsive differential equations. Nonlinear Anal., Real World Appl. 2009, 10: 680690. 10.1016/j.nonrwa.2007.10.022
Liu X, Willms A: Impulsive controllability of linear dynamical systems with applications to maneuvers of spacecraft. Math. Probl. Eng. 1996, 2: 277299. 10.1155/S1024123X9600035X
Pasquero S: Ideality criterion for unilateral constraints in timedependent impulsive mechanics. J. Math. Phys. 2005., 46: Article ID 112904
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: 17691775. 10.1016/j.cnsns.2010.09.001
Ma R, Yang B, Wang Z: Positive periodic solutions of firstorder delay differential equations with impulses. Appl. Math. Comput. 2013, 219: 60746083. 10.1016/j.amc.2012.12.020
Hao X, Liu L, Wu Y: Positive solutions for n thorder singular nonlocal boundary value problems. Bound. Value Probl. 2007., 2007: Article ID 74517
Liu L, Liu Z, Wu Y: Infinite boundary value problems for n thorder nonlinear impulsive integrodifferential equations in Banach spaces. Nonlinear Anal. TMA 2007, 67: 26702679. 10.1016/j.na.2006.09.031
Feng M: Positive solutions for a secondorder p Laplacian boundary value problem with impulsive effects and two parameters. Abstr. Appl. Anal. 2014. 10.1155/2014/534787
Zhang X, Feng M, Ge W: Existence of solutions of boundary value problems with integral boundary conditions for secondorder impulsive integrodifferential equations in Banach spaces. J. Comput. Appl. Math. 2010, 233: 19151926. 10.1016/j.cam.2009.07.060
Yan J: Existence of positive periodic solutions of impulsive functional differential equations with two parameters. J. Math. Anal. Appl. 2007, 327: 854868. 10.1016/j.jmaa.2006.04.018
Liu X, Guo D: Method of upper and lower solutions for secondorder impulsive integrodifferential equations in a Banach space. Comput. Math. Appl. 1999, 38: 213223. 10.1016/S08981221(99)001960
Guo D: Extremal solutions for n thorder impulsive integrodifferential equations on the halfline in Banach spaces. Nonlinear Anal. TMA 2006, 65: 677696. 10.1016/j.na.2005.09.032
Zhou J, Li Y: Existence and multiplicity of solutions for some Dirichlet problems with impulsive effects. Nonlinear Anal. TMA 2009, 71: 28562865. 10.1016/j.na.2009.01.140
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: 426432. 10.1016/j.cnsns.2011.05.015
Tian Y, Ge W: Applications of variational methods to boundary value problem for impulsive differential equations. Proc. Edinb. Math. Soc. 2008, 51: 509527.
Tian Y, Ge W: Variational methods to SturmLiouville boundary value problem for impulsive differential equations. Nonlinear Anal. TMA 2010, 72: 277287. 10.1016/j.na.2009.06.051
Zhang X, Yang X, Ge W: Positive solutions of n thorder impulsive boundary value problems with integral boundary conditions in Banach spaces. Nonlinear Anal. TMA 2009, 71: 59305945. 10.1016/j.na.2009.05.016
Zhang X, Yan J, Zhao A: Existence of positive periodic solutions for an impulsive differential equation. Nonlinear Anal. TMA 2008, 68: 32093216. 10.1016/j.na.2007.03.014
Sun X, Huo H, Ma C: Periodic solutions of a class of impulsive neutral delay differential equation. Appl. Math. Comput. 2012, 219: 39473955. 10.1016/j.amc.2012.10.031
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: 117129.
Jankowski T: Positive solutions of threepoint boundary value problems for second order impulsive differential equations with advanced arguments. Appl. Math. Comput. 2008, 197: 179189. 10.1016/j.amc.2007.07.081
Jankowski T: Three positive solutions to second order threepoint impulsive differential equations with deviating arguments. Int. J. Comput. Math. 2010, 87: 215225. 10.1080/00207160801994149
Jankowski T: Existence of positive solutions to second order fourpoint impulsive differential problems with deviating arguments. Comput. Math. Appl. 2009, 58: 805817. 10.1016/j.camwa.2009.06.001
Jankowski T: Positive solutions to thirdorder impulsive SturmLiouville boundary value problems with deviating arguments and onedimensional p Laplacian. Dyn. Syst. Appl. 2011, 20: 575586.
Zhang X, Feng M: Green’s function and positive solutions for a secondorder singular boundary value problem with integral boundary conditions and a delayed argument. Abstr. Appl. Anal. 2014. 10.1155/2014/393187
Bai D, Xu Y: Positive solutions of secondorder twodelay differential systems with twin parameter. Nonlinear Anal. TMA 2005, 63: 601617. 10.1016/j.na.2005.05.021
Du B, Hu X, Ge W: Positive solutions to a type of multipoint boundary value problem with delay and onedimensional p Laplacian. Appl. Math. Comput. 2009, 208: 501510. 10.1016/j.amc.2008.12.020
Jiang D: Multiple positive solutions for boundary value problems of second order delay differential equations. Appl. Math. Lett. 2002, 15: 575583. 10.1016/S08939659(02)80009X
Wang W, Sheng J: Positive solutions to a multipoint boundary value problem with delay. Appl. Math. Comput. 2007, 188: 96102. 10.1016/j.amc.2006.09.093
Wang Y, Zhao W, Ge W: Multiple positive solutions for boundary value problems of second order delay differential equations with onedimensional p Laplacian. J. Math. Anal. Appl. 2007, 326: 641654. 10.1016/j.jmaa.2006.03.028
Jankowski T: Positive solutions for fourthorder differential equations with deviating arguments and integral boundary conditions. Nonlinear Anal. TMA 2010, 73: 12891299. 10.1016/j.na.2010.04.055
Jankowski T: Multiple solutions of boundaryvalue problems for fourthorder differential equations with deviating arguments. J. Optim. Theory Appl. 2010, 146: 105115. 10.1007/s1095701096585
Guo D, Lakshmikantham V: Nonlinear Problems in Abstract Cones. Academic Press, New York; 1988.
Feng M: Existence of symmetric positive solutions for a boundary value problem with integral boundary conditions. Appl. Math. Lett. 2011, 24: 14191427. 10.1016/j.aml.2011.03.023
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:269274.
Wang H: Positive periodic solutions of functional differential equations. J. Differ. Equ. 2004, 202: 354366. 10.1016/j.jde.2004.02.018
Sun H, Li W: Existence theory for positive solutions to onedimensional p Laplacian boundary value problems on time scales. J. Differ. Equ. 2007, 240: 217248. 10.1016/j.jde.2007.06.004
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.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
XZ completed the main study and carried out the results of this article. MF checked the proofs and verified the calculation. All the authors read and approved the final manuscript.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (https://creativecommons.org/licenses/by/4.0), which permits use, duplication, adaptation, distribution, and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Zhang, X., Feng, M. Transformation technique, fixed point theorem and positive solutions for secondorder impulsive differential equations with deviating arguments. Adv Differ Equ 2014, 312 (2014). https://doi.org/10.1186/168718472014312
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/168718472014312