Existence and n -multiplicity of positive periodic solutions for impulsive functional differential equations with two parameters

Qiong Meng; Jurang Yan

doi:10.1186/s13661-015-0478-2

Research
Open Access

Existence and n-multiplicity of positive periodic solutions for impulsive functional differential equations with two parameters

Qiong Meng¹Email author and
Jurang Yan¹

Boundary Value Problems20152015:212

https://doi.org/10.1186/s13661-015-0478-2

Received: 29 July 2015
Accepted: 10 November 2015
Published: 18 November 2015

Abstract

In this paper, we employ the well-known Krasnoselskii fixed point theorem to study the existence and n-multiplicity of positive periodic solutions for the periodic impulsive functional differential equations with two parameters. The form including an impulsive term of the equations in this paper is rather general and incorporates as special cases various problems which have been studied extensively in the literature. Easily verifiable sufficient criteria are obtained for the existence and n-multiplicity of positive periodic solutions of the impulsive functional differential equations.

Keywords

functional differential equation
impulse effect
Krasnoselskii fixed point theorem
positive periodic solution

MSC

34K20

1 Introduction

In this paper, we consider the following impulsive functional differential equations with two parameters:

$$\left \{ \textstyle\begin{array}{l} y'(t)=\operatorname{sgn} (-1)^{i}[h(t, y(t))-\lambda f(t, y(t-\tau(t)))],\quad t\in{\mathbf{R}}\backslash\{t_{k}\}, \\ y(t_{k}^{+})-y(t_{k})=\mu I_{k}(t_{k}, y(t_{k}-\sigma(t_{k}))),\quad k\in{\mathbf{Z}}. \end{array}\displaystyle \right .\hspace{88pt} ({E}_{i}) $$

Throughout this paper, we use $i=1,2$, $k\in{\mathbf{Z}}$, where Z denotes the set of all integers, ${\mathbf{R}}=(-\infty, \infty)$ and ${\mathbf{R}}_{+}=[0, \infty)$.

For system (${E}_{i}$) we introduce the hypotheses:

(H₁):: $\lambda\geq0$ and $\mu\geq0$ with $\lambda+\mu>0$ are parameters.

(H₂):: $f:{\mathbf{R}}\times{\mathbf{R}}_{+}\rightarrow{\mathbf{R}}_{+}$ satisfies the Caratheodory condition, that is, $f(t,y)$ is locally Lebesgue measurable ω-periodic ($\omega>0$) function in t for each fixed y and continuous in y for each fixed t, τ, and $\sigma:{\mathbf{R}}\rightarrow{\mathbf{R}}$ are locally bounded Lebesgue measurable ω-periodic functions.

(H₃):: There exist ω-periodic functions $a_{1}$ and $a_{2}: {\mathbf{R}}\rightarrow{\mathbf{R}}$ which are locally bounded Lebesgue measurable so that $a_{1}(t)y\leq h(t,y)\leq a_{2}(t)y$ for all $y>0$ and $\lim_{y\rightarrow0^{+}}\frac{h(t,y)}{y}$ exists, $\int_{0}^{\omega }a_{1}(t)\, dt>0$.

(H₄):: There exists a positive integer ρ such that $t_{k+\rho }=t_{k}+\omega$.

(H₅):: $I_{k}:{\mathbf{R}}\times{\mathbf{R}}_{+}\rightarrow{\mathbf{R}}_{+}$ satisfies the Caratheodory condition and are ω-periodic functions in t. $\{t_{k}\}$, $k \in{\mathbf{Z}}$, is an increasing sequence of real numbers with $\lim_{k\rightarrow\pm\infty} t_{k} =\pm\infty$. Moreover, $I_{k+\rho }(t_{k+\rho}, y)=I_{k}(t_{k}, y)$ for all k.

The periodic system (${E}_{i}$) include many periodic mathematical ecological models with or without impulse effects. This type of equations has been proposed as models for a variety of physiological precesses and conditions including production of blood cells, respiration, and cardiac arrhythmias; see [1–5]. The study of positive periodic solutions for impulsive functional differential equations has attracted considerable attention, and research results emerge continuously; see [6–16].

The purpose of this paper is to obtain some weaker conditions for the global existence of positive periodic solutions of (${E}_{i}$) and the number $n\geq1$ of periodic solutions. Following the technique in [6, 17] and by using the well-known Krasnoselskii fixed point theorem, we show that, for $\lambda+\mu>0$, the number $n\geq1$ of positive ω-periodic solutions of (${E}_{i}$) can be determined by the behaviors of the quotient of $\frac{f(t, y)}{y}$ at any point $y\in(0, \infty)$ and $y\rightarrow0^{+}$, $y\rightarrow\infty$, $t\in{\mathbf{R}}$. In particular, for $\lambda=0$ and $\mu>0$, the global existence of positive ω-periodic solutions of (${E}_{i}$) is caused completely by impulse effects. These results are new and they generalize and improve those in [6–8, 17]. For $n=1$, the results of this paper also improve those in [7–10].

The paper is organized as follows. In Section 2, we give some lemmas to prove the main results of this paper and several preliminaries are given. In Section 3, the existence theorems for the numbers 1, 2 and $n>2$ of positive periodic solutions of (${E}_{i}$) are proved by using the well-known fixed point theorem due to Krasnoselskii addressing the quotient of $\frac{f(t, y)}{y}$ and $\frac{I_{k}(t, y)}{y}$ at $y>0$, $t\in{\mathbf{R}}$. An example is also given. In Section 4, we employ the results obtained in Section 3 to prove that the number 1 or 2 of positive periodic solutions of (${E}_{i}$) can be determined by $\frac{f(t, y)}{y}$ and $\frac{I_{k}(t, y)}{y}$ when $y\rightarrow0_{+}$ and $y\rightarrow\infty$, $t\in{\mathbf{R}}$.

2 Preliminaries

Throughout this paper, we will use the following notation:

$$\begin{aligned}& \delta_{i}=e^{\int_{0}^{\omega}a_{i}(t)\,dt},\quad i=1,2, \\& A_{1}=\frac{1}{\delta_{2}-1}, \qquad B_{1}=\frac{\delta_{2}}{\delta_{1}-1}, \qquad A_{2}=\frac{\delta_{2}^{-1}}{1-\delta_{2}^{-1}}, \qquad B_{2}= \frac{1}{1-\delta_{1}^{-1}} \end{aligned}$$

and

$$\beta=\min \biggl\{ \frac{A_{1}}{B_{1}}, \frac{A_{2}}{B_{2}}\biggr\} . $$

Let E be the Banach space defined by

$$\begin{aligned} E =&\bigl\{ y(t):{\mathbf{R}}\rightarrow{\mathbf{R}} \mbox{ is continuous in } (t_{k}, t_{k+1}), y\bigl(t_{k}^{+}\bigr),y \bigl(t_{k}^{-}\bigr) \mbox{ exists}, \\ &y\bigl(t_{k}^{-}\bigr)=y(t_{k}), k\in{\mathbf{Z}} \mbox{ and } y(t+\omega)=y(t), t\in{\mathbf{R}}\bigr\} \end{aligned}$$

with norm $\|y\|=\sup_{0\leq t\leq\omega}|y(t)|$. Define P to be a cone in E by

$$P=\bigl\{ y\in E:y(t)\geq\beta\|y\|, t\in[0, \omega]\bigr\} . $$

For a positive constant r, we also define $\Omega_{r}$ by

$$\Omega_{r}=\bigl\{ y\in P:\Vert y\Vert < r\bigr\} \quad \mbox{and} \quad \partial\Omega_{r}=\bigl\{ y\in P:\Vert y\Vert =r\bigr\} . $$

Finally, we define two operators $T_{i}:P\rightarrow P$, $i=1,2$, as

$$\begin{aligned} (T_{i}y) (t) =&\lambda\int_{t}^{t+\omega}G_{i}(t,s)f \bigl(s, y\bigl(s-\tau(s)\bigr)\bigr)\,ds \\ &{}+\mu\sum_{t\leq t_{k}< t+\omega}G_{i}(t,t_{k})I_{k} \bigl(t_{k},y\bigl(t_{k}-\sigma(t_{k})\bigr) \bigr),\hspace{124pt} (2.1)_{i} \end{aligned}$$

where

$$ G_{1}(t,s)=\frac{e^{\int_{t}^{s}\frac{h(u,y(u))}{y(u)}\,du}}{e^{\int_{0}^{\omega }\frac{h(u,y(u))}{y(u)}\,du}-1} \quad \mbox{and} \quad G_{2}(t,s)=\frac{e^{-\int_{t}^{s}\frac {h(u,y(u))}{y(u)}\,du}}{1-e^{-\int_{0}^{\omega}\frac {h(u,y(u))}{y(u)}\,du}}. $$

(2.2)

Note that, from (H₃) and (2.2), we have

$$A_{1}\leq G_{1}(t, s)\leq B_{1} \quad \mbox{and} \quad A_{2}\leq G_{2}(t, s)\leq B_{2} , \quad t, s\in{\mathbf{R}}. $$

A function $y:{\mathbf{R}}\rightarrow{\mathbf{R}}$ is said to be solution of (${E}_{i}$) if the following conditions are satisfied:

(i)

$y(t)$ is absolutely continuous on each $(t_{k}, t_{k+1})$;
(ii)

for each $k\in{\mathbf{Z}}$, $y(t_{k}^{+})$ and $y(t_{k}^{-})$ exist and $y(t_{k}^{-})=y(t_{k})$;
(iii)

$y(t)$ satisfies the differential equation in (${E}_{i}$) for almost everywhere on R;
(iv)

$y(t_{k})$ satisfies the impulse condition in (${E}_{i}$).

In the proofs of the main theorems of this paper we will use the following lemmas and theorem. The proofs of the lemmas are similar to those of the lemmas in [6]. We omit them.

Lemma 2.1

Assume that (H₁)-(H₅) hold. Then $T:P\rightarrow P$ is well defined and is completely continuous.

Lemma 2.2

Assume that (H₁)-(H₅) hold. The existence of positive ω-periodic solutions of (${E}_{i}$) is equivalent to that of non-zero fixed points of T in P.

Theorem K

[18, 19]

Let E be a Banach space and P be a cone in E. Assume that $\Omega_{1}$ and $\Omega_{2}$ are bounded open subsets of E with $0\in\Omega_{1}$, $\bar{\Omega }_{1}\subset\Omega_{2}$, and let T be a completely continuous operator such that either

(i)

$\|Ty\|\geq\|y\|$, $y\in P\cap\partial\Omega_{1}$ and $\|Ty\|\leq\|y\|$, $y\in P\cap\partial\Omega_{2}$

or

(ii)

$\|Ty\|\leq\|y\|$, $y\in P\cap\partial\Omega_{1}$ and $\|Ty\|\geq\|y\|$, $y\in P\cap\partial\Omega_{2}$,

then T has a fixed point in $P\cap(\bar{\Omega}_{2}\backslash\Omega_{1})$.

3 Existence of positive periodic solutions

In the sequel, we will use the following notations. For an ω-periodic integrable function $f(t):{\mathbf{R}}\rightarrow{\mathbf{R}}_{+}$, let

$$\bar{f}=\frac{1}{\omega}\int_{0}^{\omega}f(t)\,dt, \qquad \hat{f}=\frac {1}{\omega}\sum_{0\leq t_{k}< \omega}f(t_{k}). $$

For a positive constant r and $y\in P$,

$$\begin{aligned}& f_{r}^{u}(t)=\sup_{\|y\|=r, y\in P} \frac{f(t,y)}{y}, \qquad f_{r}^{l}(t)=\inf_{\| y\|=r, y\in P} \frac{f(t,y)}{y}, \\& I_{r}^{u}(t)=\sup_{\substack{{\|y\|=r, y\in P}\\{k=1,2,\ldots,\rho}}} \frac {I_{k}(t,y)}{y}, \qquad I_{r}^{l}(t)=\inf_{\substack{{\|y\|=r, y\in P}\\{k=1,2,\ldots,\rho}}} \frac{I_{k}(t,y)}{y}. \end{aligned}$$

Clearly from (H₂) and (H₅), $f_{r}^{u}$, $f_{r}^{l}$, $I_{r}^{u}$, and $I_{r}^{l}:{\mathbf{R}}\rightarrow{\mathbf{R}}_{+}$ are positive bounded Lebesgue measurable ω-periodic functions.

We are now in a position to state and prove our results of the existence of positive ω-periodic solution for (${E}_{i}$).

Theorem 3.1

Assume that (H₁)-(H₅) hold and there exist positive constants $r_{1}$ and $r_{2}$ with $r_{1}< r_{2}$ such that

$$ B_{i}\omega\bigl(\lambda\bar{f}_{r_{1}}^{u}+\mu \hat{I}_{r_{1}}^{u}\bigr)\leq 1 $$

(3.1)

and

$$ A_{i}\omega\beta\bigl(\lambda\bar{f}_{r_{2}}^{l}+\mu \hat{I}_{r_{2}}^{l}\bigr)\geq 1, $$

(3.2)

then (${E}_{i}$) has a positive ω-periodic solution $y(t)$ with $r_{1}\leq \|y\|\leq r_{2}$.

Proof

Consider the Banach space E defined in Section 2 and P in E. Define two open sets $\Omega_{r_{1}}$ and $\Omega_{r_{2}}$ with $r_{1}< r_{2}$. If $y\in P\cap\partial\Omega_{r_{1}}$, then $\beta\|y\|\leq y(t)\leq\|y\|=r_{1}$. From (2.1)_i and (2.2) we have

$$\begin{aligned} (T_{i}y) (t) \leq& B_{i}\biggl[\lambda\int _{t}^{t+\omega}\frac{f(s,y(s-\tau(s)))}{y(s-\tau (s))}y\bigl(s-\tau(s)\bigr)\, ds \\ &{} +\mu\sum_{t\leq t_{k}< t+\omega}\frac{I_{k}(t_{k},y(t_{k}-\tau(t_{k})))}{y(t_{k}-\tau (t_{k}))}y \bigl(t_{k}-\sigma(t_{k})\bigr)\biggr] \\ \leq& B_{i}\omega \bigl[\lambda\bar{f}_{r_{1}}^{u} \|y\|+\mu\hat{I}_{r_{1}}^{u}\|y\| \bigr]. \end{aligned}$$

Hence from (3.1), we obtain $\|T_{i}y\|\leq\|y\|$.

On the other hand, if $y\in P\cap\partial\Omega_{r_{2}}$, then $\beta\|y\|\leq y(t)\leq\|y\|=r_{2}$. From (2.1)_i and (2.2) we have

$$\begin{aligned} (T_{i}y) (t) \geq& A_{i}\biggl[\lambda\int _{t}^{t+\omega}\frac{f(s,y(s-\tau(s)))}{y(s-\tau (s))}y\bigl(s-\tau(s)\bigr)\, ds \\ &{}+\mu\sum_{t\leq t_{k}< t+\omega}\frac{I_{k}(t_{k},y(t_{k}-\tau(t_{k})))}{y(t_{k}-\tau (t_{k}))}y \bigl(t_{k}-\sigma(t_{k})\bigr)\biggr] \\ \geq& A_{i}\omega \bigl[\lambda\bar{f}_{r_{2}}^{l} \beta\|y\|+\mu\hat{I}_{r_{2}}^{l}\beta \|y\| \bigr]. \end{aligned}$$

In view of (3.2), we obtain $\|T_{i}y\|\geq(T_{i}y)(t)\geq\|y\|$.

By Theorem K, $T_{i}$ has a positive fixed point $P\cap(\bar{\Omega}_{2}\backslash\Omega_{1})$. It follows from Lemma 2.2 that (${E}_{i}$) has a positive ω-periodic solution with $r_{1}\leq\|y\|\leq r_{2}$. The proof of Theorem 3.1 is complete. □

When $\lambda=0$ or $\mu=0$, from Theorem 3.1, we obtain immediately the following result.

Corollary 3.1

Assume that (H₁)-(H₅) hold and there exist positive constants $r_{1}$ and $r_{2}$ with $r_{1}< r_{2}$;

(i)

if $\lambda=0$ and
$$\frac{1}{A_{i}\omega\beta\hat{I}_{r_{2}}^{l}}\leq\mu\leq\frac{1}{B_{i}\omega\hat {I}_{r_{1}}^{u}}, $$
then (${E}_{i}$) has a positive ω-periodic solution $y(t)$ with $r_{1}\leq \|y\|\leq r_{2}$;
(ii)

if $\mu=0$ and
$$\frac{1}{A_{i}\omega\beta\bar{f}_{r_{2}}^{l}}\leq\lambda\leq\frac{1}{B_{i}\omega \bar{f}_{r_{1}}^{u}}, $$
then (${E}_{i}$) has a positive ω-periodic solution $y(t)$ with $r_{1}\leq \|y\|\leq r_{2}$.

Theorem 3.2

Assume that (H₁)-(H₅) hold and there exist positive constants $r_{1}$ and $r_{2}$ with $r_{1}< r_{2}$ such that

$$B_{i}\omega\bigl(\lambda\bar{f}_{r_{2}}^{u}+\mu \hat{I}_{r_{2}}^{u}\bigr)\leq1 $$

and

$$A_{i}\omega\beta\bigl(\lambda\bar{f}_{r_{1}}^{l}+\mu \hat{I}_{r_{1}}^{l}\bigr)\geq1, $$

then (${E}_{i}$) has a positive ω-periodic solution $y(t)$ with $r_{1}\leq \|y\|\leq r_{2}$.

Corollary 3.2

Assume that (H₁)-(H₅) hold and there exist positive constants $r_{1}$ and $r_{2}$ with $r_{1}< r_{2}$;

(i)

if $\lambda=0$ and
$$\frac{1}{A_{i}\omega\beta\hat{I}_{r_{1}}^{l}}\leq\mu\leq\frac{1}{B_{i}\omega\hat {I}_{r_{2}}^{u}}, $$
then (${E}_{i}$) has a positive ω-periodic solution $y(t)$ with $r_{1}\leq \|y\|\leq r_{2}$;
(ii)

if $\mu=0$ and
$$\frac{1}{A_{i}\omega\beta\bar{f}_{r_{1}}^{l}}\leq\lambda\leq\frac{1}{B_{i}\omega \bar{f}_{r_{2}}^{u}}, $$
then (${E}_{i}$) has a positive ω-periodic solution $y(t)$ with $r_{1}\leq \|y\|\leq r_{2}$.

The proof of Theorem 3.2 will be omitted since it is similar to that of Theorem 3.1.

From Theorems 3.1 and 3.2, by using the same method, we can prove the following result.

Theorem 3.3

Assume that (H₁)-(H₅) hold and there exist $n+1$ positive constants $r_{m}$, $m=1,2,\ldots, n+1$, with $r_{1}< r_{2}<\cdots<r_{n+1}$ such that one of the following conditions is satisfied:

$$ \begin{aligned} &B_{i}\omega\bigl(\lambda \bar{f}_{r_{1}}^{u}+\mu\hat{I}_{r_{1}}^{u}\bigr) \leq1, \\ &A_{i}\omega\beta\bigl(\lambda\bar{f}_{r_{2}}^{l}+\mu \hat{I}_{r_{2}}^{l}\bigr)\geq1, \\ &B_{i}\omega\bigl(\lambda\bar{f}_{r_{3}}^{u}+\mu \hat{I}_{r_{3}}^{u}\bigr)\leq1, \\ &A_{i}\omega\beta\bigl(\lambda\bar{f}_{r_{4}}^{l}+\mu \hat{I}_{r_{4}}^{l}\bigr)\geq1, \\ &\ldots, \\ &B_{i}\omega\bigl(\lambda\bar{f}_{r_{n+1}}^{u}+\mu \hat{I}_{r_{n+1}}^{u}\bigr)\leq1 \end{aligned} $$

(3.3)

and

$$ \begin{aligned} &A_{i}\omega\beta\bigl(\lambda \bar{f}_{r_{1}}^{l}+\mu\hat{I}_{r_{1}}^{l}\bigr) \geq1, \\ &B_{i}\omega\beta\bigl(\lambda\bar{f}_{r_{2}}^{u}+\mu \hat{I}_{r_{2}}^{u}\bigr)\leq1, \\ &A_{i}\omega\beta\bigl(\lambda\bar{f}_{r_{3}}^{l}+\mu \hat{I}_{r_{3}}^{l}\bigr)\geq1, \\ &B_{i}\omega\beta\bigl(\lambda\bar{f}_{r_{4}}^{u}+\mu \hat{I}_{r_{4}}^{u}\bigr)\leq1, \\ &\ldots, \\ &A_{i}\omega\beta\bigl(\lambda\bar{f}_{r_{n+1}}^{l}+\mu \hat{I}_{r_{n+1}}^{l}\bigr)\geq1, \end{aligned} $$

(3.4)

then (${E}_{i}$) has n positive ω-periodic solutions $y_{1}, y_{2}, \ldots,y_{n}$ with $\|y_{1}\|\leq\|y_{2}\|\leq \cdots\leq\|y_{n}\|$.

Remark 3.1

A simple example that satisfies conditions (3.3) or (3.4) is that functions f and $I_{k}$ are ω-periodic functions in t and Ω-periodic ($\Omega>0$) functions in y. Moreover, $r_{m+1}=r_{m}+\Omega$, $m=1,2,\ldots,n$.

Example

Consider the following impulse differential equation satisfying (H₁)-(H₅):

$$y'(t)=(-1)^{i}\bigl[h\bigl(t, y(t)\bigr)-f\bigl(t, y \bigl(t-\tau(t)\bigr)\bigr)\bigr],\hspace{125pt} (3.5)'_{i}, \ i=1,2 $$

where

$$\begin{aligned}& f(t,y)= \left \{ \textstyle\begin{array}{l@{\quad}l} \xi p(t)y \sin y, & y\in[m\pi, (m+1)\pi), \\ p(t)y|\sin y|, & y\in[(m+1)\pi, (m+2)\pi), \end{array}\displaystyle \right . \\& I_{k}(t,y)= \left \{ \textstyle\begin{array}{l@{\quad}l} \xi q(t)y \sin (y+2k\pi), & y\in[m\pi, (m+1)\pi),\\ q(t)y|\sin (y+2k\pi)|, & y\in[(m+1)\pi, (m+2)\pi), \end{array}\displaystyle \right . \end{aligned}$$

where $m=0,2,4,\ldots,n$, n is an even, and ξ is a constant. $p, q\in L ({\mathbf{R}}, {\mathbf{R}}_{+})$ are ω-periodic functions.

Now, we show that $(3.5)'_{i}$ has n positive ω-periodic functions.

Let

$$r_{1}=\frac{\pi}{2}, \qquad r_{2}=\pi, \qquad r_{3}=\frac{3\pi}{2}, \qquad \ldots,\qquad r_{n}= \frac{n}{2}\pi,\qquad r_{n+1}=\frac{n+1}{2}\pi. $$

Thus, for $r>0$ and $y\in P$,

$$f_{r_{1}}^{l}(t)=\inf_{\|y\|=\frac{\pi}{2}, y\in P}\bigl\{ \xi p(t) \sin y\bigr\} \geq\xi\delta p(t), $$

where $\delta=\inf_{\|y\|=\frac{\pi}{2}, y\in P}\{\sin y\}$. Clearly $\delta>0$,

$$\begin{aligned}& f_{r_{2}}^{u}(t)=\sup_{\|y\|=\pi, y\in P}\bigl\{ \bigl\vert p(t)\bigr\vert \sin y\bigr\} \leq p(t), \\& I_{r_{1}}^{l}(t)=\inf_{\substack{{\|y\|=r, y\in P}\\{k=1,2,\ldots,\rho}}}\bigl\{ \xi q(t) \sin (y+2k\pi)\bigr\} \geq\xi\delta q(t), \\& I_{r_{2}}^{u}(t)=\sup_{\substack{{\|y\|=r, y\in P}\\{k=1,2,\ldots,\rho}}}\bigl\{ q(t) \bigl\vert \sin (y+2k\pi)\bigr\vert \bigr\} \leq q(t). \end{aligned}$$

First, we choose $\lambda+\mu>0$ enough small to satisfy

$$B_{i}\omega\bigl(\lambda\bar{f}_{r_{2}}^{u}+\mu \hat{I}_{r_{2}}^{u}\bigr)\leq B_{i}\omega (\lambda \bar{p}+\mu\hat{q})\leq1, $$

then we choose ξ sufficiently large such that

$$A_{i}\omega\beta\bigl(\lambda\bar{f}_{r_{1}}^{l}+\mu \hat{I}_{r_{1}}^{l}\bigr)\geq A_{i}\omega \beta\xi \delta(\lambda\bar{p}+\mu\hat{q})\geq1. $$

Similarly, we can obtain

$$B_{i}\omega\bigl(\lambda\bar{f}_{r_{4}}^{u}+\mu \hat{I}_{r_{4}}^{u}\bigr)\leq B_{i}\omega (\lambda \bar{p}+\mu\hat{q})\leq1 $$

and

$$\begin{aligned}& A_{i}\omega\beta\bigl(\lambda\bar{f}_{r_{3}}^{l}+\mu \hat{I}_{r_{3}}^{l}\bigr)\geq A_{i}\omega \beta\xi \delta(\lambda\bar{p}+\mu\hat{q})\geq1, \\& \ldots, \\& A_{i}\omega\beta\bigl(\lambda\bar{f}_{r_{n+1}}^{l}+\mu \hat{I}_{r_{n+1}}^{l}\bigr)\geq A_{i}\omega\beta\xi \delta(\lambda\bar{p}+\mu\hat{q})\geq1. \end{aligned}$$

Therefore condition (3.4) of Theorem 3.3 is satisfied. By Theorem 3.3, $(3.5)'_{i}$ has n positive ω-periodic solutions $y_{1}, y_{2}, \ldots,y_{n}$ with $r_{1}\leq\|y_{1}\|\leq r_{2}\leq\|y_{2}\|\leq r_{3}\leq\cdots\leq r_{n}\leq\|y_{n}\|\leq r_{n+1}$. The proof is completed.

Remark 3.2

Theorems 3.1 and 3.2 generalize and improve, respectively, Theorems 3.1 and 3.2 in [17].

4 Applications of main results

Let $r\rightarrow0$ or $r\rightarrow\infty$, $\bar {f}_{0}^{u}$, $\bar{f}_{0}^{l}$, $\hat{I}_{0}^{u}$, $\hat{I}_{0}^{l}$, $\bar{f}_{\infty}^{u}$, $\bar{f}_{\infty}^{l}$, $\hat{I}_{\infty}^{u}$, and $\hat{I}_{\infty}^{l}$ denote respectively the corresponding upper and lower limits of $\bar{f}_{r}^{u}$, $\bar{f}_{r}^{l}$, $\hat{I}_{r}^{u}$, and $\hat{f}_{r}^{l}$. In particular, let

$$\bar{f}_{0}=\lim_{r\rightarrow0}\bar{f}_{r}, \qquad \hat{I}_{0}=\lim_{r\rightarrow 0}\hat{I}_{r}, \qquad \bar{f}_{\infty}=\lim_{r\rightarrow \infty}\bar{f}_{r}, \qquad \hat{I}_{\infty}=\lim_{r\rightarrow\infty}\hat{I}_{r}. $$

Theorem 4.1

Assume that (H₁)-(H₅) hold and one of the following conditions is satisfied:

$$ \begin{aligned} &B_{i}\omega\bigl(\lambda\bar{f}_{0}^{u}+ \mu\hat{I}_{0}^{u}\bigr)< 1, \\ &A_{i}\omega\beta\bigl(\lambda\bar{f}_{\infty}^{l}+\mu \hat{I}_{\infty}^{l}\bigr)> 1 \end{aligned} $$

(4.1)

and

$$ \begin{aligned} &B_{i}\omega\bigl(\lambda\bar{f}_{\infty}^{u}+ \mu\hat{I}_{\infty}^{u}\bigr)< 1, \\ &A_{i}\omega\beta\bigl(\lambda\bar{f}_{0}^{l}+\mu \hat{I}_{0}^{l}\bigr)>1, \end{aligned} $$

(4.2)

then (${E}_{i}$) has a positive ω-periodic solution.

Proof

From (4.1) we can choose positive constants $r_{1}$ and $r_{2}$ with $r_{1}< r_{2}$ such that

$$B_{i}\omega\bigl(\lambda\bar{f}_{r_{1}}^{u}+\mu \hat{I}_{r_{1}}^{u}\bigr)\leq1 $$

and

$$A_{i}\omega\beta\bigl(\lambda\bar{f}_{r_{2}}^{l}+\mu \hat{I}_{r_{2}}^{l}\bigr)\geq 1. $$

By Theorem 3.1, it follows that (${E}_{i}$) has a positive ω-periodic solution.

Similarly, by Theorem 3.2, we can prove that if (4.2) holds, then (${E}_{i}$) has a positive ω-periodic solution. The proof of Theorem 4.1 is complete. □

Theorem 4.2

Assume that (H₁)-(H₅) hold and there exists $r>0$ such that

$$ A_{i}\omega\beta\bigl(\lambda\bar{f}_{r}^{l}+\mu \hat{I}_{r}^{l}\bigr)\geq1. $$

(4.3)

(i)

If $\bar{f}_{0}=\hat{I}_{0}=0$ or $\bar{f}_{\infty}=\hat{I}_{\infty}=0$, then (${E}_{i}$) has a positive ω-periodic solution.
(ii)

If $\bar{f}_{0}=\hat{I}_{0}=\bar{f}_{\infty}=\hat {I}_{\infty}=0$, then (${E}_{i}$) has two positive ω-periodic solutions.

Proof

From (2.1), for any $y\in P\cap\partial\Omega_{r}$ and λ, μ satisfying (4.3) we have

$$\begin{aligned} (T_{i}y) (t) \geq& A_{i} \biggl[\lambda\int _{t}^{t+\omega}f\bigl(s,y\bigl(s-\tau(s)\bigr)\bigr)\, ds+ \mu\sum_{t\leq t_{k}< t+\omega}I_{k}\bigl(t_{k},y \bigl(t_{k}-\tau(t_{k})\bigr)\bigr) \biggr] \\ \geq&A_{i} \biggl[\lambda\beta\|y\|\int_{t}^{t+\omega}f_{r}^{l}(s) \, ds+\mu\beta\|y\|\sum_{t\leq t_{k}< t+\omega}I_{k}^{l}(t_{k}) \biggr] \\ \geq& A_{i}\omega\beta\|y\|\bigl(\lambda\bar{f}_{r}^{l}+ \mu\hat{I}_{r}^{l}\bigr)\geq \|y\|. \end{aligned}$$

This yields

$$\|T_{i}y\|\geq\|y\| \quad \mbox{for } y\in P\cap\partial \Omega_{r}. $$

(i) If $\bar{f}_{0}=\hat{I}_{0}=0$, then we choose $r_{1}$ with $0< r_{1}< r$ so that for λ and μ satisfying (4.3)

$$ B_{i}\omega(\lambda\bar{f}_{r_{1}}+\mu\hat{I}_{r_{1}}) \leq1. $$

(4.4)

Thus from (2.1) we obtain

$$(T_{i}y) (t)\leq B_{i}\omega(\lambda\bar{f}_{r_{1}}+ \mu\hat{I}_{r_{1}})\|y\|\leq\|y\|, $$

which implies that, for $y\in P\cap\partial\Omega_{r_{1}}$,

$$\|T_{i}y\|\leq\|y\|. $$

It follows from Theorem 3.2 that (${E}_{i}$) has a positive ω-periodic solution.

If $\bar{f}_{\infty}=\hat{I}_{\infty}=0$, then we choose $r_{2}>r$ so that for λ and μ satisfying (4.3)

$$ B_{i}\omega(\lambda\bar{f}_{r_{2}}+\mu\hat{I}_{r_{2}}) \leq1. $$

(4.5)

Hence from (2.1) we have

$$(T_{i}y) (t)\leq B_{i}\omega(\lambda\bar{f}_{r_{2}}+ \mu\hat{I}_{r_{2}})\|y\|\leq\|y\|, $$

which implies that, for $y\in P\cap\partial\Omega_{r_{2}}$,

$$\|T_{i}y\|\leq\|y\|. $$

It follows from Theorem 3.2 that (${E}_{i}$) has a positive ω-periodic solution.

(ii) If $\bar{f}_{0}=\hat{I}_{0}=\bar{f}_{\infty}=\hat{I}_{\infty}=0$, then we can choose $r_{1}$ and $r_{2}$ with $r_{1}< r< r_{2}$ so that (4.4) and (4.5) hold. Thus by Theorem 3.3 that (${E}_{i}$) has respectively two positive ω-periodic solutions. The proof of Theorem 4.2 is complete. □

Similarly by using Theorems 3.2 and 3.3 we can obtain the following results.

Theorem 4.3

Assume that (H₁)-(H₅) hold and there exists $r>0$ such that

$$B_{i}\omega\bigl(\lambda\bar{f}_{r}^{u}+\mu \hat{I}_{r}^{l}\bigr)\leq1. $$

(i)

If $\bar{f}_{0}=\hat{I}_{0}=0$ or $\bar{f}_{\infty}=\hat{I}_{\infty}=0$, then (${E}_{i}$) has a positive ω-periodic solution.
(ii)

If $\bar{f}_{0}=\hat{I}_{0}=\bar{f}_{\infty}=\hat {I}_{\infty}=0$, then (${E}_{i}$) has a positive ω-periodic solution.

Remark 4.1

Theorems 4.1 and 4.2 generalize and improve, respectively, Corollaries 4.2 and 4.3 in [17], Theorems 3.1-3.3 in [6], and Theorem 1.3 in [17].

5 Discussion

In Sections 3 and 4 of this paper, by using the behaviors of the quotient of $\frac{f(t,y)}{y}$ at any point $y\in[0, \infty)+\{\infty\}$ we have proved the existence and n-multiplicity of positive ω-periodic solutions for impulsive functional differential equation ($E_{i}$) which are general enough to incorporate some periodic mathematical and ecological models. The method and technique are based on the application of the famous Krasnoselskii fixed point theorem on the cone of Banach space. In particular, when $\lambda=0$ in ($E_{i}$), Corollaries 3.1 and 3.2 in Section 3, the existence of positive ω-periodic solutions is caused by impulsive effects. This is different from the corresponding continuous system. In fact, when $\lambda=0$, ($E_{i}$) reduce to

$$\left \{ \textstyle\begin{array}{l} y'(t)=(-1)^{i}h(t, y(t)), \quad t\in{\mathbf{R}}\backslash\{t_{k}\}, i=1,2, \\ y(t_{k}^{+})-y(t_{k})=\mu I_{k}(t_{k}, y(t_{k}-\sigma(t_{k}))),\quad k\in{\mathbf{Z}}. \end{array}\displaystyle \right .\hspace{145pt} (*) $$

If the condition of Theorem 3.3 holds, then (∗) has n positive ω-periodic solutions by Theorem 3.3. But the equation $y'(t)=(-1)^{i}h(t,y)$ has no periodic solution.

The method of this paper on impulsive differential equations is not only restricted to scalar equations, but also it can be used for systems of impulsive functional equations and impulsive N-species competitive systems and impulsive neutral functional differential equations; see for example [11, 20].

Declarations

Acknowledgements

The authors would like to express their sincere thanks to the referees for their helpful comments. This work was supported by the National Natural Science Foundation of China (No. 61473180).

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Authors’ Affiliations

(1)

School of Mathematical Science, Shanxi University, Taiyuan, 030006, China

References

Macke, MC, Glass, L: Oscillation and chaos in physiological control system. Science 197, 287-289 (1977) View ArticleGoogle Scholar
Mallet-paret, J, Nussbaum, R: Global continuation and asymptotic behavior for periodic solutions of a differential delay equation. Ann. Mat. Pura Appl. 145, 33-128 (1986) MATHMathSciNetView ArticleGoogle Scholar
Gopalsamy, K: Stability and Oscillation in Delay Differential Equations of Population Dynamics. Kluwer Academic, Dordrecht (1992) View ArticleGoogle Scholar
Gyori, I, Ladas, G: Oscillation Theorem of Delay Differential Equations with Application. Clarendon, Oxford (1991) Google Scholar
Kuang, Y: Delay Differential Equations with Applications in Population Dynamics. Academic Press, New York (1993) MATHGoogle Scholar
Yan, J: Existence of positive periodic solutions for impulsive functional differential equations with two parameters. J. Comput. Appl. Math. 327, 854-868 (2007) MATHGoogle Scholar
Li, X, Lin, X, Jiang, D, Zhang, X: Existence and multiplicity of positive periodic solutions to functional differential equations with impulse effects. Nonlinear Anal. 62, 683-701 (2005) MATHMathSciNetView ArticleGoogle Scholar
Li, J, Shen, J: Existence of positive periodic solutions to a class of functional differential equations with impulses. Math. Appl. 17, 456-463 (2004) MATHMathSciNetGoogle Scholar
Saker, SH, Alzabut, JO: Existence of periodic solutions, global attractivity and oscillation of impulse delay population model. Nonlinear Anal., Real World Appl. 8, 1029-1039 (2007) MATHMathSciNetView ArticleGoogle Scholar
Zeng, Z, Bi, L, Fan, M: Existence of multiple positive periodic solutions for functional differential equations with impulse. J. Math. Anal. Appl. 325, 1378-1389 (2007) MATHMathSciNetView ArticleGoogle Scholar
Wang, D: Positive periodic solutions for a nonautonomous neutral delay prey-predator model with impulse and Hassell-Varley type functional response. Proc. Am. Math. Soc. 142, 623-638 (2013) View ArticleGoogle Scholar
Zhang, X, Feng, M: Multi-parameter, impulsive effects and positive periodic solutions of first-order functional differential equations. Bound. Value Probl. 2015, 137 (2015) View ArticleGoogle Scholar
Luo, Z, Luo, L, Zeng, Y: Positive periodic solutions for impulsive functional differential equations with infinite delay and two parameters. J. Appl. Math. 2014, Article ID 751612 (2014) MathSciNetGoogle Scholar
Suo, J, Sun, J: Asymptotic stability of differential systems with impulsive effects suffered by logic choice. Automatica 51, 302-307 (2015) MathSciNetView ArticleGoogle Scholar
Li, C, Shi, J, Sun, J: Stability of impulsive stochastic differential delay systems and its application to impulsive stochastic neural networks. Nonlinear Anal. 74, 3099-3111 (2011) MATHMathSciNetView ArticleGoogle Scholar
Chen, LJ, Sun, JT: Boundary value problem of second order impulsive functional differential equations. J. Math. Anal. Appl. 323, 708-720 (2006) MATHMathSciNetView ArticleGoogle Scholar
Weng, A, Sun, J: Positive periodic solutions of first-order functional differential equations with parameter. J. Comput. Appl. Math. 229, 327-332 (2009) MATHMathSciNetView ArticleGoogle Scholar
Krasnoselskii, MA: Positive Solutions of Operator Equations. Noordhoff, Groningen (1964) Google Scholar
Guo, D, Lakshmikantham, V: Nonlinear Problems in Abstract Cones. Academic Press, Orlando (1988) MATHGoogle Scholar
Ye, D, Fan, M, Wang, H: Periodic solutions for scalar functional differential equations. Nonlinear Anal. 62, 1159-1181 (2005) MathSciNetView ArticleGoogle Scholar