Theory and Modern Applications

# New existence results for periodic boundary value problems with impulsive effects

## Abstract

New results as regards the existence of positive solutions for first order impulsive differential equations are provided. The method of proof relies on the fixed point theorem and degree theory. Some examples are presented to illustrate the main results.

## Introduction

In this paper, we study the existence of positive solutions for the following boundary value problem with impulsive effects:

$$\left \{ \textstyle\begin{array}{@{}l} x'(t)+a(t)x(t)=f(t,x(t)),\quad t\neq t_{k}, t\in J,\\ \Delta x(t_{k})=I_{k}(x(t_{k})), \quad k=1,2,\ldots,p,\\ x(0)=x(T), \end{array}\displaystyle \right .$$
(1.1)

where $$J=[0,T]$$, $$0=t_{0}< t_{1}< t_{2}<\cdots<t_{p}<1=t_{p+1}$$, $$\Delta x(t_{k})=x(t_{k}^{+})-x(t_{k}^{-})$$, $$x(t_{k}^{+})$$, and $$x(t_{k}^{-})$$ represent the right limit and left limits of $$u(t)$$ at $$t_{k}$$, respectively.

Impulsive differential equations serve as basic models to study the dynamics of processes that are subject to sudden changes in their states and its theory has developed fast during the past few years. There has been increasing interest in the investigation for boundary value problems of nonlinear impulsive differential equations and much literature has been published about the existence of solutions for impulsive differential equations, see [13] and the references therein. There are some common techniques to approach those problems: the fixed point theorems [48], the method of upper and lower solutions [912], the topological degree theory [13, 14], the variational method [1517] and so on. Recently, using the fixed point theorem, Zhang et al. [8] obtained the existence of a positive solution of (1.1), where they required that the function a is of definite sign. In this paper, we continue to discuss (1.1). By using the fixed point theorem in a cone different from the one in [8] and degree theory, we obtain some new conditions which guarantee the existence of single and multiple positive solutions for (1.1). Our results are different from the results in [8] and are new even if $$I_{k}\equiv0$$.

## Main results

Let $$J^{*}=J\backslash\{t_{1},t_{2},\ldots,t_{p}\}$$, $$PC(J)=\{u:J\to R| u\in C(J^{*}), u(t_{i}^{+}), u(t_{i}^{-})\mbox{ exist and }u(t_{i}^{-})=u(t_{i}), i=1,2,\ldots,p\}$$. $$PC(J)$$ is a Banach space with the norm $$\|u\|=\sup\{|u(t)|: t\in J\}$$.

### Lemma 2.1

[8]

The function $$x\in PC(J)$$ is a solution of (1.1) if and only if x is a solution of the following impulsive integral equation:

$$x(t)=\int_{0}^{T}G(t,s)f\bigl(s,x(s)\bigr)\,ds+\sum _{k=1}^{p}G(t,t_{k})I_{k} \bigl(x(t_{k})\bigr),$$

where

\begin{aligned} G(t,s)=\left \{ \textstyle\begin{array}{@{}l@{\quad}l} \frac{e^{\int_{t}^{s}a(r)\,dr}}{e^{\int_{0}^{T}a(s)\,ds}-1}, & \textit{if }0\leq t< s\leq T ,\\ \frac{e^{\int_{t}^{s}a(r)\,dr}e^{\int_{0}^{T}a(r)\,dr}}{e^{\int_{0}^{T}a(s)\,ds}-1}, & \textit{if } 0\leq s\leq t\leq T . \end{array}\displaystyle \right . \end{aligned}

Set

\begin{aligned}& \Lambda^{+}=\biggl\{ a\in C(J,R):\int_{0}^{T}a(r)\,dr>0 \biggr\} ,\qquad \Lambda^{-}=\biggl\{ a\in C(J,R):\int_{0}^{T}a(r)\,dr< 0 \biggr\} , \\& M=\max\bigl\{ G(t,s):t,s\in J\bigr\} ,\qquad m=\min\bigl\{ G(t,s):t,s\in J\bigr\} . \end{aligned}

The Green’s function G is of definite sign if $$a\in \Lambda^{+}\cup\Lambda^{-}$$. Moreover, $$M>m>0$$ if $$a\in\Lambda^{+}$$; $$m< M<0$$ if $$a\in\Lambda^{-}$$.

Define the operator A and cone K on $$PC(J)$$ by

\begin{aligned}& (Ax) (t)=\int_{0}^{T}G(t,s)f\bigl(s,x(s)\bigr)\,ds+ \sum_{k=1}^{p}G(t,t_{k})I_{k} \bigl(x(t_{k})\bigr), \\& K=\bigl\{ x\in PC(J):x(t)\geq\delta\|x\|\bigr\} , \end{aligned}

where $$\delta=\frac{m}{M}$$ if $$a\in\Lambda^{+}$$; $$\delta=\frac{M}{m}$$ if $$a\in\Lambda^{-}$$.

### Lemma 2.2

[18]

Let X be a Banach space and K be a cone in X. Suppose $$\Omega_{1}$$ and $$\Omega_{2}$$ are open subsets of X such that $$0 \in\Omega_{1} \subset\bar{\Omega}_{1} \subset\Omega_{2}$$ and suppose that

$$\Phi:K \cap( \bar{\Omega}_{2} \backslash\Omega_{1}) \to K$$

is a completely continuous operator such that:

1. (i)

$$\inf\| \Phi u\|>0$$, $$u\neq\mu\Phi u$$ for $$u \in K\cap\partial\Omega_{1}$$ and $$\mu\geq1$$, and $$u\neq\mu\Phi u$$ for $$u \in K\cap\partial\Omega_{2}$$ and $$0<\mu \leq1$$, or

2. (ii)

$$\inf\| \Phi u\|>0$$, $$u\neq\mu\Phi u$$ for $$u \in K\cap\partial\Omega_{2}$$ and $$\mu\geq1$$, and $$u\neq\mu\Phi u$$ for $$u \in K\cap\partial\Omega_{1}$$ and $$0<\mu \leq 1$$.

Then Φ has a fixed point in $$K \cap(\bar{\Omega}_{2} \backslash \Omega_{1})$$.

Set

\begin{aligned}& \varphi(s)=T\sup_{(t,u)\in J\times[\delta s, s]}\frac{f(t,u)}{u}+\sup \Biggl\{ \sum _{k=1}^{p}\ln \biggl(1+\frac{I_{k}(v_{k})}{v_{k}} \biggr):v_{k}\in[\delta s, s] \Biggr\} , \\& \psi(s)=T\inf_{(t,u)\in J\times[\delta s, s]}\frac{f(t,u)}{u}+\inf \Biggl\{ \sum _{k=1}^{p}\ln \biggl(1+\frac{I_{k}(v_{k})}{v_{k}} \biggr):v_{k}\in[\delta s, s] \Biggr\} , \\& \varphi_{0}=\lim_{s\rightarrow0^{+}}\varphi(s),\qquad \varphi_{\infty}=\lim_{s\rightarrow +\infty}\varphi(s), \qquad \psi_{0}=\lim_{s\rightarrow0^{+}}\psi(s), \qquad \psi_{\infty}=\lim_{s\rightarrow+\infty}\psi(s). \end{aligned}

The following theorems are the main results of this paper.

### Theorem 2.1

Assume that $$a\in\Lambda^{+}$$ and there exist two positive constants $$r< R$$ such that

$$f\in C\bigl(J\times[\delta r,R],[0,+\infty)\bigr),\qquad I_{k}\in C\bigl([\delta r,R],[0,+\infty)\bigr)\quad(1\leq k\leq p).$$
(2.1)

Then (1.1) has at least one solution x with $$r\leq \|x\|\leq R$$ if one of the following conditions is satisfied:

(H1):

$$\varphi(r)<\int_{0}^{T}a(s)\,ds$$ and $$\psi(R)>\int_{0}^{T}a(s)\,ds$$;

(H2):

$$\varphi(R)<\int_{0}^{T}a(s)\,ds$$ and $$\psi(r)>\int_{0}^{T}a(s)\,ds$$.

### Proof

Here, we only prove the case in which (H1) is satisfied. Let $$\Omega_{R}=\{x\in K: \|x\|< R\}$$, $$\Omega_{r}=\{x\in K: \|x\|< r\}$$. At first, we show that $$A: \bar{\Omega}_{R}\setminus\Omega_{r}\rightarrow K$$. For any $$x\in \bar{\Omega}_{R}\setminus\Omega_{r}$$, $$\delta r\leq x(t)\leq R$$, $$t\in J$$. From $$0< m\leq G(t,s)\leq M$$ and (2.1), we obtain, for $$x\in \bar{\Omega}_{R}\setminus\Omega_{r}$$,

\begin{aligned}& \begin{aligned}[b] 0\leq{}&(Ax) (t)\leq M \Biggl[\int_{0}^{T}f \bigl(s,x(s)\bigr)\,ds+\sum_{k=1}^{p}I_{k} \bigl(x(t_{k})\bigr) \Biggr] \\ \leq{}& MT \max\bigl\{ f(t,u): t\in J,\delta r \leq u\leq R\bigr\} \\ &{}+pM\max\bigl\{ I_{k}(u):\delta r\leq u\leq R,1\leq k\leq p\bigr\} < + \infty, \end{aligned} \\& (Ax) (t)\geq m \Biggl[\int_{0}^{T}f\bigl(s,x(s) \bigr)\,ds+\sum_{k=1}^{p}I_{k} \bigl(x(t_{k})\bigr) \Biggr]\geq \delta \|Ax\|. \end{aligned}

Hence, $$A: \bar{\Omega}_{R}\setminus\Omega_{r}\rightarrow K$$. In addition, one easily checks that A is completely continuous.

Next, we show that:

1. (a)

$$x\neq\mu Ax$$ for $$x \in K\cap\partial\Omega_{r}$$ and $$0<\mu\leq1$$,

2. (b)

$$\inf\| Ax\|>0$$, $$x\neq\mu A u$$ for $$x \in K\cap\partial\Omega_{R}$$ and $$\mu\geq1$$.

If (a) is not true, there exist $$x \in K\cap\partial\Omega_{r}$$ and $$0<\mu\leq1$$ with $$x=\mu Ax$$. Hence,

$$\left \{ \textstyle\begin{array}{@{}l} x'(t)+a(t)x(t)=\mu f(t,x( t)), \quad t\neq t_{k}, t\in J,\\ x(t_{k}^{+})=x(t_{k})+\mu I_{k}(x(t_{k})), \quad k=1,2,\ldots,p,\\ x(0)=x(T). \end{array}\displaystyle \right .$$
(2.2)

Since $$x(t)\geq\delta r>0$$, we rewrite (2.2) as

$$\left \{ \textstyle\begin{array}{@{}l} (\ln x(t))'+a(t)=\frac{\mu f(t,x(t))}{x(t)}, \quad t\neq t_{k}, t\in J,\\ \Delta\ln x(t_{k})=\ln (1+\frac{\mu I_{k}(x(t_{k}))}{x(t_{k})} ), \quad k=1,2,\ldots,p,\\ x(0)=x(T). \end{array}\displaystyle \right .$$
(2.3)

Integrating the first equality in (2.3) from 0 to T, we obtain

\begin{aligned}[b] \int_{0}^{T}a(t)\,dt&=\mu\int_{0}^{T} \frac{f(t,x(t))}{x(t)}\,dt+\sum_{k=1}^{p}\ln \biggl(1+\frac{\mu I_{k}(x(t_{k}))}{x(t_{k})} \biggr) \\ &\leq\int_{0}^{T}\frac{f(t,x(t))}{x(t)}\,dt+\sum _{k=1}^{p}\ln \biggl(1+\frac{I_{k}(x(t_{k}))}{x(t_{k})} \biggr) \\ &\leq\varphi(r), \end{aligned}

Suppose that $$\inf_{x\in K\cap\partial\Omega_{R}}\|Ax\|=0$$. There exists the sequence $$x_{n}\in K\cap\partial\Omega_{R}$$ such that $$\|Ax_{n}\|\rightarrow0$$ as $$n \to\infty$$. Noting $$f(t,x_{n}(t))\geq0$$, $$I_{k}(x_{n}(t_{k}))\geq0$$ and

$$0\leq m \Biggl[\int_{0}^{T}f\bigl(s,x_{n}(s) \bigr)\,ds+\sum_{k=1}^{p}I_{k} \bigl(x_{n}(t_{k})\bigr) \Biggr]\leq\| Ax_{n}\| \rightarrow0,$$

we obtain $$f(s,x_{n}(s))\rightarrow0$$, $$I_{k}(x_{n}(t_{k}))\rightarrow 0$$ as $$n\rightarrow\infty$$. Hence,

$$\int_{0}^{T}\frac{f(t,x_{n}(t))}{x_{n}(t)}\,dt+\sum _{k=1}^{p}\ln \biggl(1+\frac {I_{k}(x_{n}(t_{k}))}{x_{n}(t_{k})} \biggr) \rightarrow0 \quad\mbox{as } n\rightarrow\infty,$$

which implies that $$\psi(R)=0$$, a contradiction.

Suppose that there exist $$u \in K\cap \partial\Omega_{R}$$ and $$\mu\geq1$$ with $$u=\mu Au$$. Then

$$\left \{ \textstyle\begin{array}{@{}l} (\ln u(t))'+a(t)=\frac{\mu f(t,u(t))}{u(t)}, \quad t\neq t_{k}, t\in J,\\ \Delta\ln u(t_{k})=\ln (1+\frac{\mu I_{k}(u(t_{k}))}{x(t_{k})} ), \quad k=1,2,\ldots,p,\\ u(0)=u(T). \end{array}\displaystyle \right .$$
(2.4)

Integrating the first equality in (2.4) from 0 to T, we obtain

\begin{aligned} \int_{0}^{T}a(t)\,dt =&\mu\int_{0}^{T} \frac{f(t,u(t))}{u(t)}\,dt+\sum_{k=1}^{p}\ln \biggl(1+\frac{\mu I_{k}(u(t_{k}))}{u(t_{k})} \biggr) \\ \geq&\int_{0}^{T}\frac{f(t,u(t))}{u(t)}\,dt+\sum _{k=1}^{p}\ln \biggl(1+\frac{I_{k}(u(t_{k}))}{u(t_{k})} \biggr) \\ \geq&\psi(R), \end{aligned}

By Lemma 2.2, there exists $$x\in\bar{\Omega}_{R} \backslash\Omega_{r}$$ with $$Ax=x$$, which is the positive solution of (1.1). The proof is complete. □

### Corollary 2.1

Assume that $$a\in\Lambda^{+}$$ and $$f\in C(J\times[0 ,+\infty],[0,+\infty))$$, $$I_{k}\in C([0,+\infty), [0,+\infty))$$ ($$1\leq k\leq p$$). Then (1.1) has at least one positive solution if one of the following conditions is satisfied:

1. (1)

$$\varphi_{0}<\int_{0}^{T}a(s)\,ds$$ and $$\psi_{\infty}>\int_{0}^{T}a(s)\,ds$$;

2. (2)

$$\varphi_{\infty}<\int_{0}^{T}a(s)\,ds$$ and $$\psi_{0}>\int_{0}^{T}a(s)\,ds$$.

### Theorem 2.2

Assume that $$a\in\Lambda^{+}$$ and there exist $$N+1$$ positive constants $$p_{1}< p_{2}<\cdots<p_{N}<p_{N+1}$$ such that

$$f\in C\bigl(J\times[\delta p_{1},p_{N+1}],[0,+\infty)\bigr), \qquad I_{k}\in C\bigl([\delta p_{1},p_{N+1}],[0,+ \infty)\bigr)\quad(1\leq k\leq p).$$

Further suppose that one of the following conditions is satisfied:

1. (1)

$$\varphi(p_{2k-1}) <\int_{0}^{T}a(s)\,ds$$, $$k=1,2,\ldots,[(N+2)/2]$$, $$\psi(p_{2k})> \int_{0}^{T}a(s)\,ds$$, $$k=1,2,\ldots,[(N+1)/2]$$, or

2. (2)

$$\psi(p_{2k-1}) >\int_{0}^{T}a(s)\,ds$$, $$k=1,2,\ldots,[(N+2)/2]$$, $$\varphi(p_{2k})<\int_{0}^{T}a(s)\,ds$$, $$k=1,2,\ldots,[(N+1)/2]$$,

where $$[d]$$ denotes the integer part of d. Then (1.1) has at least N positive solutions $$x_{k}\in X$$, $$k=1,2,\ldots, N$$ with $$p_{k}< \| x_{k}\|< p_{k+1}$$.

### Proof

Assume that (1) holds. The case in which (2) holds is similar. Since φ, ψ are continuous functions, for any $$1\leq j\leq N$$, there exist $$r_{j}$$, $$R_{j}$$ such that $$p_{j}< r_{j}< R_{j}< p_{j+1}$$ and

\begin{aligned}& \varphi(r_{j})< \int_{0}^{T}a(s)\,ds, \qquad \psi(R_{j})> \int_{0}^{T}a(s)\,ds, \quad j \mbox{ is odd}, \\& \varphi(R_{j})< \int_{0}^{T}a(s)\,ds, \qquad \psi(r_{j})> \int_{0}^{T}a(s)\,ds, \quad j \mbox{ is even}. \end{aligned}

By Theorem 2.1, (1.1) has at least one positive solution $$x_{j}$$ with $$r_{j}\leq\|x_{j}\|\leq R_{j}$$. This ends the proof. □

### Theorem 2.3

Assume that $$a\in\Lambda^{-}$$ and there exist two positive constants $$r< R$$ such that

$$f\in C\bigl(J\times[\delta r,R],(-\infty,0]\bigr), \qquad I_{k} \in C\bigl([\delta r,R],(-\infty,0]\bigr)\quad(1\leq k\leq p).$$
(2.5)

Further suppose that (H1) or (H2) is satisfied, where $$\ln \alpha=-\infty$$ if $$\alpha\leq0$$. Then (1.1) has at least one solution x with $$r\leq\|x\|\leq R$$.

The proof of Theorem 2.3 is similar to that of Theorem 2.1 and we omit it.

### Theorem 2.4

Assume that $$a\in\Lambda^{+}$$ and the following conditions are satisfied:

(D1):

There exist constants $$0<\alpha<\beta$$ such that $$f(t,u)$$, $$I_{k}(u)$$ are nondecreasing in $$u\in[\alpha,\beta]$$ and

$$\int_{0}^{T}f(t,\alpha)\,dt+\sum _{k=1}^{p}I_{k}(\alpha)>\frac{\alpha}{m}, \qquad \int_{0}^{T}f(t,\beta)\,dt+\sum _{k=1}^{p}I_{k}(\beta)< \frac{\beta}{M}.$$
(D2):

There exists $$\gamma>\beta$$ such that

\begin{aligned}& f\in C\bigl(J\times[0,\gamma],[0,+\infty)\bigr), \qquad I_{k}\in C \bigl([0,\gamma ],[0,+\infty)\bigr), \\& \int_{0}^{T}\sup_{0\leq u\leq\gamma}f(t,u)\,dt+ \sum_{k=1}^{p}\sup_{0\leq u\leq\gamma}I_{k}(u) \leq\frac{\gamma}{M}. \end{aligned}
(D3):
$$\lim_{x\rightarrow0^{+}} \frac{f(t,x)}{x}=0,\qquad \lim _{x\rightarrow0^{+} }\frac{I_{k}(u)}{u}=0.$$

Then (1.1) has at least two positive solutions in $$\overline{U}_{\gamma}=\{x\in PC(J):\|x\|\leq\gamma\}$$.

### Proof

Set

\begin{aligned}& \widetilde{f}= \left \{ \textstyle\begin{array}{@{}l@{\quad}l} f(t,|u|), & |u|\leq\gamma,\\ f(t,\gamma) & |u|> \gamma, \end{array}\displaystyle \right . \qquad \widetilde{I}_{k}= \left \{ \textstyle\begin{array}{@{}l@{\quad}l} I_{k}(|u|), & |u|\leq\gamma,\\ I_{k}(\gamma), & |u|> \gamma, \end{array}\displaystyle \right . \\& (T_{\lambda}u) (t)=\lambda\int_{0}^{T} G(t,s)\widetilde {f}\bigl(s,u(s)\bigr)\,ds+\lambda\sum _{k=1}^{p}G(t,t_{k})\widetilde{I}_{k} \bigl(u(t_{k})\bigr), \quad \lambda\in[0,1], u\in PC(J), \\& \Phi_{\lambda}=I-T_{\lambda}, \qquad V=\bigl\{ x\in PC(J), \alpha< x< \beta\bigr\} , \end{aligned}

where I denotes the identity map. It is easy to check that $$T_{\lambda}:[0,1]\times PC(J)\rightarrow PC(J)$$ is compact. We show:

1. (1)

$$T_{1}(\overline{V})\subset V$$.

2. (2)

$$\Phi_{\lambda}(u)=0$$ implies that $$\|u\|\leq\gamma$$.

3. (3)

There exists $$c\in(0,\alpha)$$ such that $$\Phi_{\lambda}(u)=0$$ admits only the trivial solution in $$\overline{U}_{c}$$.

The proof of (1). From (D1), we obtain, for $$\forall u\in V$$,

\begin{aligned}& f(t,\alpha)\leq\widetilde{f}(t,u)\leq f(t,\beta), \\& I_{k}(\alpha)\leq\widetilde{I}_{k}(u)\leq I_{k}(\beta). \end{aligned}

Thus, for all $$u\in V$$,

\begin{aligned}& T_{1}(u)=\int_{0}^{T}G(t,s) \widetilde{f}\bigl(s,u(s)\bigr)\,ds+\sum_{k=1}^{p}G(t,t_{k}) \widetilde{I}_{k}(u) \leq M \Biggl[\int_{0}^{T}f(s,\beta)\,ds+\sum _{k=1}^{p}I_{k}(\beta) \Biggr]< \beta, \\& T_{1}(u)\geq m \Biggl[\int_{0}^{T}f(s, \alpha)\,ds+\sum_{k=1}^{p}I_{k}( \alpha) \Biggr]>\alpha. \end{aligned}

That is, $$T_{1}(\overline{V})\subset V$$.

The proof of (2). If $$\varphi_{\lambda}(u)=0$$, then

\begin{aligned} |u| =&\bigl|T_{\lambda}(u)\bigr| =\int_{0}^{T}G(t,s) \widetilde{f}\bigl(s,u(s)\bigr)\,ds+\sum_{k=1}^{p}G(t,t_{k}) \widetilde{I}_{k}\bigl(u(t_{k})\bigr) \\ \leq& M\int_{0}^{T} \sup_{0\leq u\leq \gamma}f(s,u)\,ds+M \sum_{k=1}^{p}\sup_{0\leq u\leq\gamma}I_{k}(u) \leq \gamma. \end{aligned}

The proof of (3). From (D3), there exists $$0< c<\alpha$$ such that

$$f(t,u)\leq\frac{u}{3MT}, \qquad I_{k}(u)\leq\frac{u}{3Mp}, \quad 0\leq u\leq c.$$

If $$u\in\overline{U}_{c}$$ with $$u=T_{\lambda}u$$, we have

\begin{aligned} |u| =&\bigl|T_{\lambda}(u)\bigr| \leq\sup_{t\in[0,T]} \Biggl[\int _{0}^{T}G(t,s)\widetilde {f}\bigl(s,u(s)\bigr)\,ds+ \sum_{k=1}^{p}G(t,t_{k}) \widetilde{I}_{k}\bigl(u(t_{k})\bigr) \Biggr] \\ \leq&\sup_{t\in[0,T]} \Biggl[ \int_{0}^{T}G(t,s) \frac{u(s)}{3MT}\,ds+ M\sum_{k=1}^{p} \widetilde{I}_{k}\bigl(u(t_{k})\bigr) \Biggr] \leq \frac{2}{3}\|u\|, \end{aligned}

which implies that $$u\equiv0$$.

Let $$U_{c}^{\gamma}=U_{\gamma}/\overline{U}_{c}$$ and the degree of $$\Phi_{\lambda}$$ at 0 relative to open set D be $$d(\Phi_{\lambda},D,0)$$. Since is a closed, convex set in $$PC(J)$$ and $$T_{1}(\partial V)\subset V$$, by Schauder’s fixed point theorem, there exists $$u_{1}\in V$$ such that $$T_{1}(u_{1})=u_{1}$$ and

$$d(\Phi_{1},V,0)=1.$$

For $$\lambda\in[0,1]$$, $$u\in\partial U_{c}^{\gamma}$$, $$\Phi_{\lambda}(u)\neq0$$, by the homotopy property of the degree, we obtain

\begin{aligned}& d\bigl(\Phi_{\lambda},U_{c}^{\gamma},0\bigr)\equiv\mbox{ constant}, \quad \lambda\in[0,1], \\& d\bigl(\Phi_{1},U_{c}^{\gamma},0\bigr)=d\bigl( \Phi_{0},U_{c}^{\gamma},0\bigr)=d\bigl(I,U_{c}^{\gamma},0 \bigr)=0. \end{aligned}

By the additivity property of the degree, one obtains

$$d\bigl(\Phi_{1},U_{c}^{\gamma},0\bigr)=d( \Phi_{1},V,0)+d\bigl(\Phi_{1},U_{c}^{\gamma}/ \overline{V},0\bigr).$$

Hence,

$$d\bigl(\Phi_{1},U_{c}^{\gamma}/\overline{V},0 \bigr)=d\bigl(\Phi_{1},U_{c}^{\gamma},0\bigr)-d(\Phi _{1},V,0)=0-1=-1,$$

which implies that $$T_{1}$$ has at least a fixed point $$u_{2}\in U_{c}^{\gamma}/\overline{V}$$. Clearly, $$c\leq\|u_{2}\|\leq\gamma$$. In addition,

\begin{aligned}& u_{2}(t)=\int_{0}^{T}G(t,s) \widetilde{f}\bigl(s,u_{2}(s)\bigr)\,ds+\sum_{k=1}^{p}G(t,t_{k}) \widetilde{I}_{k}\bigl(u_{2}(t_{k})\bigr)\geq0, \\& \begin{aligned}[b] u_{2}(t) &=\int_{0}^{T}G(t,s)f \bigl(s,u_{2}(s)\bigr)\,ds+\sum_{k=1}^{p}G(t,t_{k})I_{k} \bigl(u_{2}(t_{k})\bigr) \\ &\geq m \Biggl(\int_{0}^{T}f\bigl(s,u_{2}(s) \bigr)\,ds+\sum_{k=1}^{p}I_{k} \bigl(u_{2}(t_{k})\bigr) \Biggr)\geq0. \end{aligned} \end{aligned}

If there is $$t^{*}\in J$$ such that $$u_{2}(t^{*})=0$$, by the above inequality, we obtain $$f(s,u_{2}(s))\equiv 0$$, $$I_{k}(u_{2}(t_{k}))\equiv0$$, which implies that $$u_{2}(t)\equiv0$$, a contradiction. Hence, (1.1) has at least two positive solutions in $$\overline{U}_{\gamma}$$. The proof is complete. □

### Example 2.1

Consider the differential equation with singularity

$$\left \{ \textstyle\begin{array}{@{}l} x'(t)+\kappa x(t)=\frac{a}{x^{\lambda}(t)}+h(t), \quad t\neq t_{k}, t\in J,\\ \Delta x(t_{k})=c_{k}x(t_{k}),\quad k=1,2,\ldots,p,\\ x(0)=x(T), \end{array}\displaystyle \right .$$
(2.6)

where κ, a, λ are positive constants, $$c_{k}>0$$ and $$h\in C(J,R)$$.

Set $$h_{*}=\min\{h(t):t\in J\}$$ and $$h^{*}=\max\{h(t):t\in J\}$$. We claim that (2.6) has at least one positive solution provided that the following conditions hold:

\begin{aligned}& \gamma_{1}=\sum_{k=1}^{p} \ln(1+c_{k})< \kappa T,\quad \mbox{if } h_{*}\geq0, \end{aligned}
(2.7)
\begin{aligned}& \gamma_{2}=:\bigl(h^{*}-e^{\lambda\kappa T}h_{*}\bigr)e^{\kappa T} \biggl(\frac{-h_{*}}{a} \biggr)^{\frac{1}{\lambda}}< \kappa-\frac {1}{T}\sum _{k=1}^{p}\ln(1+c_{k}), \quad \mbox{if } h_{*}< 0. \end{aligned}
(2.8)

In fact, $$f(t,u)=au^{-\lambda}+h(t)$$, $$\psi_{0}=+\infty$$. Moreover, $$\varphi_{\infty}=\gamma_{1}$$ if $$h_{*}\geq0$$. If $$h_{*}<0$$, choose $$b=\sqrt[\lambda]{a/(-h_{*})}$$, $$0\leq f(t,u)\leq au^{-\lambda}+h^{*}\leq\gamma_{2}u$$ for $$(t,u)\in J\times[\delta b,b]$$ and $$\varphi(b)=\gamma_{2}T+\gamma_{1}<\kappa T$$. By Theorem 2.1, (2.6) has one positive solution.

### Remark 2.1

The conditions (2.7) and (2.8) are different from those of Corollary 4.7 in [8].

### Example 2.2

Consider the differential equation

$$\left \{ \textstyle\begin{array}{@{}l} x'(t)+\frac{1}{2}x(t)=x^{3}(t)\exp(-0.1x(t)), \quad t\in[0,t_{1})\cup (t_{1},1],\\ \Delta x(t_{1})=\frac{10x^{2}(t_{1})}{1+x^{2}(t_{1})},\\ x(0)=x(1). \end{array}\displaystyle \right .$$
(2.9)

Let $$f(t)=t^{3}e^{-0.1t}$$, $$I_{1}(t)=10t^{2}/(1+t^{2})$$, $$\alpha=0.1$$, $$\beta=30$$, $$\gamma=10^{4}$$. It is easy to check that the conditions (D1)-(D3) hold. Hence, (2.9) has at least two positive solutions.

## Application

In this section, we consider the differential equation

$$\left \{ \textstyle\begin{array}{@{}l} x'(t)=-\frac{a(t)}{x^{\lambda}(t)}+f(x(t)), \quad t\neq t_{k}, t\in J,\\ \Delta x(t_{k})=c_{k}x(t_{k}),\quad k=1,2,\ldots,p,\\ x(0)=x(T), \end{array}\displaystyle \right .$$
(3.1)

where $$\lambda\geq0$$.

Set $$y=\exp(x^{\lambda+1}(t)/(\lambda+1))$$ and $$F(u)=u^{\lambda}f(u)$$, then

$$\left \{ \textstyle\begin{array}{@{}l} y'(t)+a(t)y(t)=y(t)F (((\lambda+1)\ln y(t))^{\frac{1}{\lambda +1}} ), \quad t\neq t_{k}, t\in J,\\ \Delta y(t_{k})=y(t_{k})^{(1+c_{k})^{\lambda+1}}-y(t_{k}), \quad k=1,2,\ldots,p,\\ y(0)=y(T). \end{array}\displaystyle \right .$$
(3.2)

If (3.2) has a solution $$y(t)>1$$, $$t\in J$$, then $$x(t)=((\lambda+1)\ln y(t))^{\frac{1}{\lambda+1}}$$ is the positive solution of (3.1). By Theorem 2.1, we have the following result.

### Theorem 3.1

Assume that $$a\in\Lambda^{+}$$, $$f\in C((0,+\infty),[0,+\infty))$$, $$c_{k}>0$$. If there exist constants $$\delta^{-1}< r< R$$ such that

\begin{aligned}& T\sup_{\delta r\leq u \leq r}F \bigl(\bigl((\lambda+1)\ln u\bigr)^{\frac{1}{\lambda+1}} \bigr)+ r\sum_{k=1}^{p} \bigl[(1+c_{k})^{\lambda+1}-1 \bigr]< \int_{0}^{T}a(t)\,dt, \\& T\inf_{\delta R\leq u \leq R}F \bigl(\bigl((\lambda+1)\ln u\bigr)^{\frac {1}{\lambda+1}} \bigr) +\bigl(\ln\delta^{-1}R\bigr) \sum_{k=1}^{p} \bigl[(1+c_{k})^{\lambda+1}-1 \bigr]>\int_{0}^{T}a(t)\,dt \end{aligned}

or

\begin{aligned}& T\sup_{\delta R\leq u \leq R}F \bigl(\bigl((\lambda+1)\ln u\bigr)^{\frac {1}{\lambda+1}} \bigr) +\ln R\sum_{k=1}^{p} \bigl[(1+c_{k})^{\lambda+1}-1 \bigr]< \int_{0}^{T}a(t)\,dt, \\& T\inf_{\delta r\leq u \leq r}F \bigl(\bigl((\lambda+1)\ln u\bigr)^{\frac {1}{\lambda+1}} \bigr) +\bigl(\ln\delta^{-1}r\bigr) \sum_{k=1}^{p} \bigl[(1+c_{k})^{\lambda+1}-1 \bigr]>\int_{0}^{T}a(t)\,dt, \end{aligned}

then (3.1) has at least one positive solution.

### Example 3.1

Consider the differential equation

$$\left \{ \textstyle\begin{array}{@{}l} x'(t)=-\frac{a(t)}{x^{\lambda}(t)}+\mu f(x(t)), \quad t\neq t_{k}, t\in J,\\ \Delta x(t_{k})=\mu x(t_{k}), \quad k=1,2,\ldots,p,\\ x(0)=x(T), \end{array}\displaystyle \right .$$
(3.3)

where $$\lambda\geq0$$, $$a\in\Lambda^{+}$$, $$f\in C((0 ,+\infty),[0,+\infty))$$, μ is a positive real parameter.

### Corollary 3.1

There exists $$\mu^{*}>0$$ such that (3.3) has at least a positive solution for any $$\mu\in(0,\mu^{*})$$.

### Proof

Choosing $$r=\delta^{-1}+1$$. Since $$u^{\lambda}f(u)$$ is continuous in $$(0,+\infty)$$ and $$\ln u>0$$ for $$u\in[\delta r,r]$$, we obtain

$$0\leq\sup_{\delta r\leq u \leq r} \bigl\{ \bigl((\lambda+1)\ln u \bigr)^{\frac {\lambda}{1+\lambda}}f \bigl(\bigl((\lambda+1)\ln u\bigr)^{\frac{1}{\lambda +1}} \bigr) \bigr\} \leq C$$

for some $$C>0$$. On the other hand, since $$[(1+\mu)^{\lambda+1}-1]/\mu\rightarrow1+\lambda$$ as $$\mu\rightarrow0^{+}$$, there is $$\sigma>0$$ such that

$$(1+\mu)^{\lambda+1}-1\leq2(1+\lambda)\mu,\quad 0< \mu\leq\sigma.$$

Set $$\mu^{*}=\min \{\sigma, \int_{0}^{T}a(s)\,ds/[CT+2p(\lambda+1)\ln r] \}$$, for $$\mu<\mu^{*}$$, we have

\begin{aligned}[b] &T\sup_{\delta r\leq u \leq r}F \bigl(\bigl((\lambda+1)\ln u\bigr)^{\frac {1}{\lambda+1}} \bigr) +\ln r\sum_{k=1}^{p} \bigl[(1+ \mu)^{\lambda+1}-1 \bigr]\\ &\quad< \mu^{*}\bigl[CT+2p(\lambda+1)\ln r\bigr] < \int _{0}^{T}a(t)\,dt. \end{aligned}

Taking

$$R=\max \biggl\{ \exp\frac{\int_{0}^{T}a(t)\,dt}{p(1+\mu)^{1+\lambda }-p},\delta \biggr\} ,$$

one easily checks that

$$T\inf_{\delta R\leq u \leq R}F \bigl(\bigl((\lambda+1)\ln u\bigr)^{\frac {1}{\lambda+1}} \bigr) +\bigl(\ln\delta^{-1}R\bigr) \sum_{k=1}^{p} \bigl[(1+\mu)^{\lambda+1}-1 \bigr]>\int_{0}^{T}a(t)\,dt.$$

By Theorem 3.1, (3.3) has one positive solution. □

### Remark 3.1

Corollary 3.1 admits the case that the function a changes sign. As far as we know, no paper discussed (3.3) when a changes sign.

## References

1. Bainov, DD, Simeonov, PS: Impulsive Differential Equations: Periodic Solutions and Applications. Longman, Harlow (1993)

2. Bainov, DD, Hristova, SG, Hu, S, Lakshmikantham, V: Periodic boundary-value problem for systems of first-order impulsive differential equations. Differ. Integral Equ. 2, 37-43 (1989)

3. Guo, DJ: Multiple positive solutions for first order impulsive superlinear integro-differential equations on the half line. Acta Math. Sci. 31(3), 1167-1178 (2011)

4. Agarwal, RP, O’Regan, D: A multiplicity result for second order impulsive differential equations via the Leggett Williams fixed point theorem. Appl. Math. Comput. 161, 433-439 (2005)

5. Chen, JH, Tisdell, CC, Yuan, R: On the solvability of periodic boundary value problems with impulse. J. Math. Anal. Appl. 331, 902-912 (2007)

6. Kaufmann, ER, Kosmatov, N, Raffoul, YN: A second-order boundary value problem with impulsive effects on an unbounded domain. Nonlinear Anal. 69, 2924-2929 (2008)

7. Lin, XN, Jiang, DQ: Multiple positive solutions of Dirichlet boundary value problems for second order impulsive differential equations. J. Math. Anal. Appl. 321, 501-514 (2006)

8. Zhang, XY, Li, XY, Jiang, DQ, Wang, K: Multiplicity positive solutions to periodic problems for first order impulsive differential equations. Comput. Math. Appl. 52, 953-966 (2006)

9. Erbe, LH, Liu, XZ: Existence results for boundary value problems of second order impulsive differential equations. J. Math. Anal. Appl. 149(1), 56-69 (1990)

10. Jankowski, T: Positive solutions to second order four-point boundary value problems for impulsive differential equations. Appl. Math. Comput. 202, 550-561 (2008)

11. Luo, ZG, Nieto, JJ: New results for the periodic boundary value problem for impulsive integro-differential equations. Nonlinear Anal. TMA 70, 2248-2260 (2009)

12. Nieto, JJ, Rodríguez-López, R: New comparison results for impulsive integro-differential equations and applications. J. Math. Anal. Appl. 328, 1343-1368 (2007)

13. Chu, JH, Nieto, JJ: Impulsive periodic solutions of first-order singular differential equations. Bull. Lond. Math. Soc. 40, 143-150 (2008)

14. Qian, DB, Li, XY: Periodic solutions for ordinary differential equations with sublinear impulsive effects. J. Math. Anal. Appl. 303, 288-303 (2005)

15. Nieto, JJ: Variational formulation of a damped Dirichlet impulsive problem. Appl. Math. Lett. 23, 940-942 (2010)

16. Sun, JT, Chen, HB, Nieto, JJ, Otero-Novoa, M: Multiplicity of solutions for perturbed second-order Hamiltonian systems with impulsive effects. Nonlinear Anal. TMA 72, 4575-4586 (2010)

17. Zhang, H, Li, ZX: Variational approach to impulsive differential equations with periodic boundary conditions. Nonlinear Anal., Real World Appl. 11, 67-78 (2010)

18. Guo, DJ, Lakshmikantham, V: Nonlinear Problems in Abstract Cones. Academic Press, Orlando (1988)

## Acknowledgements

The authors wish to express their thanks to the referee for his/her very valuable suggestions and careful corrections. The work is supported by the NNSF of China (11171085), Hunan Provincial Natural Science Foundation of China (2015JJ2068).

## Author information

Authors

### Corresponding author

Correspondence to Weibing Wang.

### Competing interests

The authors declare that they have no competing interests.

### Authors’ contributions

Authors typed, read, and approved the final draft.

## Rights and permissions

Reprints and Permissions

Wang, W., Guo, L. New existence results for periodic boundary value problems with impulsive effects. Adv Differ Equ 2015, 275 (2015). https://doi.org/10.1186/s13662-015-0601-9

• Accepted:

• Published:

• DOI: https://doi.org/10.1186/s13662-015-0601-9

• 34B18
• 34B37

### Keywords

• positive solutions
• periodic boundary value problem
• fixed point
• degree