- Research
- Open access
- Published:
Impulsive inequalities with nonlocal jumps and their applications to impulsive fractional integral conditions
Journal of Inequalities and Applications volume 2015, Article number: 189 (2015)
Abstract
In this paper we establish some impulsive differential and integral inequalities with nonlocal jumps. Two applications to impulsive differential and integral inequalities with Riemann-Liouville fractional integral jump conditions are given.
1 Introduction
Impulsive differential and integral inequalities play a fundamental role in the global existence, uniqueness, oscillation, stability, and other properties of the solutions of various nonlinear impulsive differential and integral equations; see [1–27] and the references given therein.
Let \(0\leq t_{0}< t_{1}< t_{2}<\cdots\) , \(\lim_{k\rightarrow\infty}t_{k}=\infty\), \({\mathbb{R}}_{+}=[0,+\infty )\), and \(I\subset{\mathbb{R}}\). We introduce the following function spaces: \(PC({\mathbb{R}}_{+}, I)=\{u : {\mathbb{R}}_{+}\rightarrow I ; u(t) \mbox{ is continuous for } t\neq t_{k}\mbox{, and }u(0^{+}), u(t_{k}^{-})\mbox{ and }u(t_{k}^{+})\mbox{ exist, and }u(t_{k}^{-})=u(t_{k}), k=1, 2, \ldots\}\) and \(PC^{1}({\mathbb{R}}_{+}, I)=\{ u\in PC({\mathbb{R}}_{+}, I) : u'(t)\mbox{ }\mbox{is continuous everywhere for } t\neq t_{k}\mbox{, and }u'(0^{+}), u'(t_{k}^{+})\mbox{ and }u'(t_{k}^{-})\mbox{ exist, and }u'(t_{k}^{-})=u'(t_{k}), k=1, 2, \ldots\}\).
In [1], Lakshmikantham et al. developed a famous impulsive differential inequality given in the next theorem.
Theorem 1.1
Assume that:
- (H0):
-
the sequence \(\{t_{k}\}\) satisfies \(0\leq t_{0}< t_{1}< t_{2}<\cdots\) , \(\lim_{k\rightarrow\infty}t_{k}=\infty\);
- (H1):
-
\(m\in PC^{1}[{\mathbb{R}}_{+},{\mathbb{R}}]\) and \(m(t)\) is left-continuous at \(t_{k}\), \(k=1, 2, \ldots\) ;
- (H2):
-
for \(k=1, 2, \ldots\) , \(t\geq t_{0}\),
$$\begin{aligned}& m'(t) \leq p(t)m(t)+q(t),\quad t\neq t_{k}, \end{aligned}$$(1.1)$$\begin{aligned}& m\bigl(t_{k}^{+}\bigr) \leq d_{k}m(t_{k})+b_{k}, \end{aligned}$$(1.2)where \(q, p \in C[{\mathbb{R}}_{+},{\mathbb{R}}]\), \(d_{k}\geq0\) and \(b_{k}\), \(k=1,2,\ldots\) , are constants.
Then
There are many results on the impulsive differential and integral inequalities (see for example [28–36]). However, most of these papers deal with jump conditions at impulse point \(t_{k}\) depending on the left hand limit \(m(t_{k})\) or a time-delay value, \(m(t_{k}-\tau)\), \(\tau>0\).
Recently, in [37], Theorem 1.1 was generalized to obtain differential inequalities for integral jump conditions by replacing the inequality in (1.2) by the following inequality:
where \(0\leq\sigma_{k}\leq\tau_{k}\leq t_{k}-t_{k-1}\).
In the present paper we generalize further Theorem 1.1 by replacing the inequality in (1.2) by the inequality
where \(c_{k},d_{k}\geq0\), \(\beta_{k}>0\) and \(b_{k}\), \(k=1,2,\ldots\) , are constants. Some new impulsive differential and integral inequalities are obtained. Two applications to impulsive differential and integral inequalities with Riemann-Liouville fractional integral jump conditions are given. In the first one we study the maximum principle of an impulsive differential inequality and in the second one we show the boundedness of solution of impulsive differential equation with Riemann-Liouville fractional integral jump conditions.
Nonlocality and memory effects can be represented by the concepts of fractional calculus which contains definitions of fractional derivatives and fractional integrals in the form of weighted integrals. It is learnt through experimentation that the integral operators of fractional order take care of some of the hereditary properties of many phenomena and processes. Impulsive equations and inequalities with nonlocal fractional jump conditions provide a tool to describe systems which have a sudden change of the state values via memorizing previous events. For details of nonlocal theory and memory effects, we refer to [38].
2 Impulsive inequalities with nonlocal jumps
In this section, we state and prove some new impulsive differential and integral inequalities with nonlocal jumps. Throughout of this paper we denote \(t_{l}=\max\{t_{k} : t\geq t_{k}, k= 1, 2, \ldots\}\).
Theorem 2.1
Let (H0) and (H1) hold. Suppose that \(p, q\in C[{\mathbb{R}}_{+}, {\mathbb{R}}]\) and, for \(k=1, 2, \ldots\) , \(t\geq t_{0}\),
where \(c_{k},d_{k}\geq0\), \(\beta_{k}>0\) and \(b_{k}\), \(k=1,2,\ldots\) are constants.
Then, for \(t\geq t_{0}\),
Proof
For \(t\in[t_{0}, t_{1}]\), inequality (2.1) can be written as
Integrating (2.4) from \(t_{0}\) to t for \(t\in[t_{0}, t_{1}]\), we have
Hence (2.3) is valid on \([t_{0},t_{1}]\). Assume that (2.3) holds for \(t\in[t_{0},t_{n}]\) for some integer \(n>1\). Then, for \(t\in[t_{n}, t_{n+1}]\), it follows from (2.1) and (2.5) that
Applying (2.2) with (2.6), one has
By the principle of mathematical induction, (2.7) can be expressed as
Set
Substituting (2.9), (2.10) into (2.8), we get for \(t\in[t_{n}, t_{n+1}]\)
Hence,
for \(t_{n}\leq t\leq t_{n+1}\). Therefore, the estimate (2.3) holds for \(t_{0}\leq t\leq t_{n+1}\). This completes the proof. □
Theorem 2.2
Assume that the hypotheses of Theorem 2.1 are fullfilled. Then, for \(t\geq t_{0}\), we have:
-
(i)
\(0<\beta_{k}\leq\frac{1}{2}\) for \(k=1,2,\ldots\) ,
$$\begin{aligned} m(t) \leq& \biggl\{ m(t_{0})\prod_{t_{0}< t_{k}< t} \biggl[ \frac{c_{k}}{\Gamma(\beta_{k})} \biggl(\frac{e^{\mu_{k}t_{k}}\Gamma(\beta_{k}^{2})}{\mu_{k}^{\beta _{k}^{2}}} \biggr)^{\frac{1}{\mu_{k}}} \biggl(\int _{t_{k-1}}^{t_{k}}e^{\nu_{k} (\int_{t_{k-1}}^{s}p(\xi )\,d\xi-s )}\,ds \biggr)^{\frac{1}{\nu_{k}}} \\ &{}+d_{k}e^{\int_{t_{k-1}}^{t_{k}}p(\xi)\,d\xi} \biggr] \\ &{}+\sum_{t_{0}< t_{k}< t} \biggl[\prod _{t_{k}< t_{j}< t} \biggl(\frac{c_{j}}{\Gamma (\beta_{j})} \biggl(\frac{e^{\mu_{j}t_{j}}\Gamma(\beta_{j}^{2})}{\mu _{j}^{\beta_{j}^{2}}} \biggr)^{\frac{1}{\mu_{j}}} \biggl(\int_{t_{j-1}}^{t_{j}}e^{\nu_{j} (\int_{t_{j-1}}^{s}p(\xi )\,d\xi-s )}\,ds \biggr)^{\frac{1}{\nu_{j}}} \\ &{}+d_{j}e^{\int_{t_{j-1}}^{t_{j}}p(\xi)\,d\xi} \biggr) \\ &{}\times \biggl(\frac{c_{k}}{\Gamma(\beta_{k})} \biggl(\frac{e^{\mu _{k}t_{k}}\Gamma(\beta_{k}^{2})}{\mu_{k}^{\beta_{k}^{2}}} \biggr)^{\frac{1}{\mu_{k}}} \biggl(\int_{t_{k-1}}^{t_{k}}e^{-\nu_{k}s} \biggl\{ \int_{t_{k-1}}^{s}q(v)e^{\int_{v}^{s}p(\xi)\,d\xi}\,dv \biggr\} ^{\nu_{k}}\,ds \biggr)^{\frac{1}{\nu_{k}}} \\ &{}+ d_{k}\int_{t_{k-1}}^{t_{k}}q(s)e^{\int_{s}^{t_{k}}p(\xi)\,d\xi }\,ds+b_{k} \biggr) \biggr] \biggr\} e^{\int_{t_{l}}^{t}p(\xi)\,d\xi}+ \int_{t_{l}}^{t}q(s)e^{\int_{s}^{t}p(\xi)\,d\xi}\,ds, \end{aligned}$$(2.11)where \(\mu_{k}=\beta_{k}+1\) and \(\nu_{k}=1+\frac{1}{\beta _{k}}\),
-
(ii)
\(\beta_{k}>\frac{1}{2}\) for \(k=1,2,\ldots\) ,
$$\begin{aligned} m(t) \leq& \biggl\{ m(t_{0})\prod_{t_{0}< t_{k}< t} \biggl[ \frac{c_{k}}{\Gamma(\beta_{k})} \biggl(\frac{e^{2t_{k}}\Gamma(2\beta_{k}-1)}{2^{2\beta_{k}-1}} \biggr)^{\frac{1}{2}} \biggl(\int _{t_{k-1}}^{t_{k}}e^{2 (\int_{t_{k-1}}^{s}p(\xi)\,d\xi -s )}\,ds \biggr)^{\frac{1}{2}} \\ &{}+d_{k}e^{\int_{t_{k-1}}^{t_{k}}p(\xi)\,d\xi} \biggr] \\ &{}+\sum_{t_{0}< t_{k}< t} \biggl[\prod _{t_{k}< t_{j}< t} \biggl(\frac{c_{j}}{\Gamma (\beta_{j})} \biggl(\frac{e^{2t_{j}}\Gamma(2\beta_{j}-1)}{2^{2\beta _{j}-1}} \biggr)^{\frac{1}{2}} \biggl(\int_{t_{j-1}}^{t_{j}}e^{2 (\int_{t_{j-1}}^{s}p(\xi)\,d\xi -s )}\,ds \biggr)^{\frac{1}{2}} \\ &{} +d_{j}e^{\int_{t_{j-1}}^{t_{j}}p(\xi)\,d\xi} \biggr) \\ &{}\times \biggl(\frac{c_{k}}{\Gamma(\beta_{k})} \biggl(\frac {e^{2t_{k}}\Gamma(2\beta_{k}-1)}{2^{2\beta_{k}-1}} \biggr)^{\frac{1}{2}} \biggl(\int_{t_{k-1}}^{t_{k}}e^{-2s} \biggl\{ \int_{t_{k-1}}^{s}q(v)e^{\int _{v}^{s}p(\xi)\,d\xi}\,dv \biggr\} ^{2}\,ds \biggr)^{\frac{1}{2}} \\ &{}+ d_{k}\int_{t_{k-1}}^{t_{k}}q(s)e^{\int_{s}^{t_{k}}p(\xi)\,d\xi }\,ds+b_{k} \biggr) \biggr] \biggr\} e^{\int_{t_{l}}^{t}p(\xi)\,d\xi} + \int_{t_{l}}^{t}q(s)e^{\int_{s}^{t}p(\xi)\,d\xi}\,ds. \end{aligned}$$(2.12)
Proof
To prove (i) we apply the Hölder inequality. We have for \(k\in\mathbb{N}\)
using
and
Substituting the above inequalities in (2.3), we obtain the desired inequality in (2.11).
To prove (ii), applying the Cauchy-Schwarz inequality, we get for \(k\in\mathbb{N}\)
and
Substituting these two inequalities in (2.3), we get the required inequality in (2.12). The proof is completed. □
Corollary 2.3
Let (H0) and (H1) hold. Suppose that \(q\in C[\mathbb{R}_{+},\mathbb{R}]\) and, for \(k=1,2,\ldots\) , \(t\geq t_{0}\),
where λ, \(c_{k}\geq0\), \(\beta_{k}>0\) and \(b_{k}\), \(k=1,2,\ldots\) are constants. Then, for \(t\geq t_{0}\), we have the following two cases.
Case I: \(\lambda\neq1\),
-
(i)
\(0<\beta_{k}\leq\frac{1}{2}\) for \(k=1,2,\ldots\) ,
$$\begin{aligned} m(t) \leq& m(t_{0}) \biggl(\prod _{t_{0}< t_{k}< t}A_{k} \biggr)e^{\lambda (t-t_{0})}+\sum _{t_{0}< t_{k}< t} \biggl(\prod_{t_{k}< t_{j}< t}A_{j}B_{k}e^{\lambda (t-t_{k})} \biggr) \\ &{}+ \int_{t_{l}}^{t}q(s)e^{\lambda(t-s)}\,ds, \end{aligned}$$(2.14)where
$$\begin{aligned}& A_{k} = \frac{c_{k}}{\Gamma(\beta_{k})} \biggl(\frac{\Gamma(\beta _{k}^{2})}{\mu_{k}^{\beta_{k}^{2}}} \biggr)^{\frac{1}{\mu_{k}}} \biggl(\frac{1-e^{\nu_{k}(t_{k}-t_{k-1})(1-\lambda)}}{\nu_{k}(\lambda -1)} \biggr)^{\frac{1}{\nu_{k}}}, \\& B_{k} = \frac{c_{k}}{\Gamma(\beta_{k})} \biggl(\frac{e^{\mu_{k}t_{k}}\Gamma (\beta_{k}^{2})}{\mu_{k}^{\beta_{k}^{2}}} \biggr)^{\frac{1}{\mu_{k}}} \biggl(\int_{t_{k-1}}^{t_{k}} e^{\nu_{k}(\lambda-1)s} \biggl\{ \int_{t_{k-1}}^{s}q(v)e^{-\lambda v}\,dv \biggr\} ^{\nu_{k}}\,ds \biggr)^{\frac{1}{\nu_{k}}}+b_{k}, \end{aligned}$$ -
(ii)
\(\beta_{k}>\frac{1}{2}\) for \(k=1,2,\ldots\) ,
$$\begin{aligned} m(t) \leq& m(t_{0}) \biggl(\prod _{t_{0}< t_{k}< t}C_{k} \biggr)e^{\lambda (t-t_{0})}+\sum _{t_{0}< t_{k}< t} \biggl(\prod_{t_{k}< t_{j}< t}C_{j}D_{k}e^{\lambda (t-t_{k})} \biggr) \\ &{}+ \int_{t_{l}}^{t}q(s)e^{\lambda(t-s)}\,ds, \end{aligned}$$(2.15)where
$$\begin{aligned}& C_{k} = \frac{c_{k}}{2^{\beta_{k}}\Gamma(\beta_{k})} \biggl(\frac{\Gamma (2\beta_{k}-1)}{\lambda-1} \bigl[1-e^{2(t_{k}-t_{k-1})(1-\lambda)} \bigr] \biggr)^{\frac{1}{2}}, \\& D_{k} = \frac{c_{k}}{\Gamma(\beta_{k})} \biggl(\frac{e^{2t_{k}}\Gamma (2\beta_{k}-1)}{2^{2\beta_{k}-1}} \biggr)^{\frac{1}{2}} \biggl(\int_{t_{k-1}}^{t_{k}} e^{2(\lambda-1)s} \biggl\{ \int_{t_{k-1}}^{s}q(v)e^{-\lambda v}\,dv \biggr\} ^{2}\,ds \biggr)^{\frac{1}{2}}+b_{k}. \end{aligned}$$
Case II: \(\lambda= 1\),
-
(i)
\(0<\beta_{k}\leq\frac{1}{2}\) for \(k=1,2,\ldots\) ,
$$\begin{aligned} m(t) \leq& m(t_{0}) \biggl(\prod _{t_{0}< t_{k}< t}P_{k} \biggr)e^{(t-t_{0})}+\sum _{t_{0}< t_{k}< t} \biggl(\prod_{t_{k}< t_{j}< t}P_{j}V_{k}e^{(t-t_{k})} \biggr) \\ &{}+ \int_{t_{l}}^{t}q(s)e^{(t-s)}\,ds, \end{aligned}$$(2.16)where
$$\begin{aligned}& P_{k} = \frac{c_{k}}{\Gamma(\beta_{k})} \biggl(\frac{\Gamma(\beta _{k}^{2})}{\mu_{k}^{\beta_{k}^{2}}} \biggr)^{\frac{1}{\mu_{k}}} (t_{k}-t_{k-1} )^{\frac{1}{\nu_{k}}}, \\& V_{k} = \frac{c_{k}}{\Gamma(\beta_{k})} \biggl(\frac{e^{\mu_{k}t_{k}}\Gamma (\beta_{k}^{2})}{\mu_{k}^{\beta_{k}^{2}}} \biggr)^{\frac{1}{\mu_{k}}} \biggl(\int_{t_{k-1}}^{t_{k}} \biggl\{ \int_{t_{k-1}}^{s}q(v)e^{-v}\,dv \biggr\} ^{\nu_{k}}\,ds \biggr)^{\frac{1}{\nu_{k}}}+b_{k}, \end{aligned}$$ -
(ii)
\(\beta_{k}>\frac{1}{2}\) for \(k=1,2,\ldots\) ,
$$\begin{aligned} m(t) \leq& m(t_{0}) \biggl(\prod _{t_{0}< t_{k}< t}S_{k} \biggr)e^{(t-t_{0})}+\sum _{t_{0}< t_{k}< t} \biggl(\prod_{t_{k}< t_{j}< t}S_{j}U_{k}e^{(t-t_{k})} \biggr) \\ &{}+ \int_{t_{l}}^{t}q(s)e^{(t-s)}\,ds, \end{aligned}$$(2.17)where
$$\begin{aligned}& S_{k} = \frac{c_{k}}{\Gamma(\beta_{k})} \biggl(\frac{\Gamma(2\beta _{k}-1)(t_{k}-t_{k-1})}{2^{2\beta_{k}-1}} \biggr)^{\frac{1}{2}}, \\& U_{k} = \frac{c_{k}}{\Gamma(\beta_{k})} \biggl(\frac{e^{2t_{k}}\Gamma (2\beta_{k}-1)}{2^{2\beta_{k}-1}} \biggr)^{\frac{1}{2}} \biggl(\int_{t_{k-1}}^{t_{k}} \biggl\{ \int_{t_{k-1}}^{s}q(v)e^{-v}\,dv \biggr\} ^{2}\,ds \biggr)^{\frac{1}{2}}+b_{k}. \end{aligned}$$
Corollary 2.4
Let (H0) and (H1) hold. Suppose that \(q\in C[\mathbb{R}_{+},\mathbb{R}]\) and, for \(k=1,2,\ldots\) , \(t\geq t_{0}\),
where \(c_{k}\geq0\), \(\beta_{k}>0\) and \(b_{k}\), \(k=1,2,\ldots\) are constants, \(\Delta m(t_{k})=m(t_{k}^{+})-m(t_{k})\). Then, for \(t\geq t_{0}\), the following assertions hold:
-
(i)
\(0<\beta_{k}\leq\frac{1}{2}\) for \(k=1,2,\ldots\) ,
$$ m(t) \leq m(t_{0}) \biggl(\prod _{t_{0}< t_{k}< t}F_{k} \biggr)+\sum _{t_{0}< t_{k}< t} \biggl(\prod_{t_{k}< t_{j}< t}F_{j}H_{k} \biggr)+\int_{t_{l}}^{t}q(s)\,ds, $$(2.19)where
$$\begin{aligned}& F_{k} = 1+\frac{c_{k}}{\Gamma(\beta_{k})} \biggl(\frac{\Gamma(\beta _{k}^{2})}{\mu_{k}^{\beta_{k}^{2}}} \biggr)^{\frac{1}{\mu_{k}}} \biggl(\frac{e^{\nu_{k}(t_{k}-t_{k-1})}-1}{\nu_{k}} \biggr)^{\frac{1}{\nu _{k}}}, \\& H_{k} = \int_{t_{k-1}}^{t_{k}}q(s)\,ds+ \frac{c_{k}}{\Gamma(\beta_{k})} \biggl(\frac{e^{\mu_{k}t_{k}}\Gamma(\beta_{k}^{2})}{\mu_{k}^{\beta_{k}^{2}}} \biggr)^{\frac{1}{\mu_{k}}} \biggl(\int _{t_{k-1}}^{t_{k}} e^{-\nu_{k}s} \biggl\{ \int _{t_{k-1}}^{s}q(v)\,dv \biggr\} ^{\nu_{k}}\,ds \biggr)^{\frac{1}{\nu_{k}}} \\& \hphantom{H_{k} =}{}+b_{k}, \end{aligned}$$ -
(ii)
\(\beta_{k}>\frac{1}{2}\) for \(k=1,2,\ldots\) ,
$$ m(t) \leq m(t_{0}) \biggl(\prod _{t_{0}< t_{k}< t}M_{k} \biggr)+\sum _{t_{0}< t_{k}< t} \biggl(\prod_{t_{k}< t_{j}< t}M_{j}N_{k} \biggr)+\int_{t_{l}}^{t}q(s)\,ds, $$(2.20)where
$$\begin{aligned}& M_{k} = 1+\frac{c_{k}}{\Gamma(\beta_{k})} \biggl(\frac{\Gamma(2\beta _{k}-1)}{2^{2\beta_{k}}} \bigl[ e^{2(t_{k}-t_{k-1})}-1 \bigr] \biggr)^{\frac{1}{2}}, \\& N_{k} = \int_{t_{k-1}}^{t_{k}}q(s)\,ds+ \frac{c_{k}}{\Gamma(\beta_{k})} \biggl(\frac{e^{2t_{k}}\Gamma(2\beta_{k}-1)}{2^{2\beta_{k}-1}} \biggr)^{\frac {1}{2}} \biggl(\int _{t_{k-1}}^{t_{k}} e^{-2s} \biggl\{ \int _{t_{k-1}}^{s}q(v)\,dv \biggr\} ^{2}\,ds \biggr)^{\frac {1}{2}}\\& \hphantom{N_{k} =}{}+b_{k}. \end{aligned}$$
Now we state and prove impulsive integral inequalities with nonlocal jump conditions.
Theorem 2.5
Assume that (H0) and (H1) hold. Suppose that \(p\in C[\mathbb{R}_{+},\mathbb{R}_{+}]\) and, for \(k=1,2,\ldots\) , \(t\geq t_{0}\),
where \(\alpha_{k}\geq0\), \(\gamma_{k}\geq-1\), \(\beta_{k}>0\), \(k=1,2,\ldots \) , and C are constants. Then, for \(t\geq t_{0}\), the following assertions hold:
-
(i)
\(0<\beta_{k}\leq\frac{1}{2}\) for \(k=1,2,\ldots\) ,
$$\begin{aligned} m(t) \leq& C\prod_{t_{0}< t_{k}< t} \biggl\{ (1+ \gamma_{k})e^{\int _{t_{k-1}}^{t_{k}}p(\xi)\,d\xi}+\frac{\alpha_{k}}{\Gamma(\beta_{k})} \biggl( \frac{e^{\mu_{k}t_{k}}}{ \mu_{k}^{\beta_{k}^{2}}}\Gamma\bigl(\beta_{k}^{2}\bigr) \biggr)^{\frac{1}{\mu _{k}}} \\ &{}\times \biggl(\int_{t_{k-1}}^{t_{k}}e^{\nu_{k} (\int _{t_{k-1}}^{s}p(\xi)\,d\xi-s )}\,ds \biggr)^{\frac{1}{\nu_{k}}} \biggr\} e^{\int_{t_{l}}^{t}p(\xi)\,d\xi}, \end{aligned}$$(2.22)where \(\mu_{k}=\beta_{k}+1\) and \(\nu_{k}=1+\frac{1}{\beta _{k}}\),
-
(ii)
\(\beta_{k}>\frac{1}{2}\) for \(k=1,2,\ldots\) ,
$$\begin{aligned} m(t) \leq& C\prod_{t_{0}< t_{k}< t} \biggl\{ (1+ \gamma_{k})e^{\int _{t_{k-1}}^{t_{k}}p(\xi)\,d\xi}+\frac{\alpha_{k}}{\Gamma(\beta_{k})} \biggl( \frac{e^{2t_{k}}}{ 2^{2\beta_{k}-1}}\Gamma(2\beta_{k}-1) \biggr)^{\frac{1}{2}} \\ &{}\times \biggl(\int_{t_{k-1}}^{t_{k}}e^{2 (\int _{t_{k-1}}^{s}p(\xi)\,d\xi-s )}\,ds \biggr)^{\frac{1}{2}} \biggr\} e^{\int_{t_{l}}^{t}p(\xi)\,d\xi}. \end{aligned}$$(2.23)
Proof
Define a function \(g(t)\) by the right-hand side of (2.21). Then we have
Since \(m(t)\leq g(t)\), we obtain
Applying Theorem 2.2, we deduce that:
-
(i)
\(0<\beta_{k}\leq\frac{1}{2}\), \(k=1,2,\ldots\) , for \(t\geq t_{0}\),
$$\begin{aligned} g(t) \leq& C\prod_{t_{0}< t_{k}< t} \biggl\{ (1+ \gamma_{k})e^{\int _{t_{k-1}}^{t_{k}}p(\xi)\,d\xi}+\frac{\alpha_{k}}{\Gamma(\beta_{k})} \biggl( \frac{e^{\mu_{k}t_{k}}}{ \mu_{k}^{\beta_{k}^{2}}}\Gamma\bigl(\beta_{k}^{2}\bigr) \biggr)^{\frac{1}{\mu _{k}}} \\ &{}\times \biggl(\int_{t_{k-1}}^{t_{k}}e^{\nu_{k} (\int _{t_{k-1}}^{s}p(\xi)\,d\xi-s )}\,ds \biggr)^{\frac{1}{\nu_{k}}} \biggr\} e^{\int_{t_{l}}^{t}p(\xi)\,d\xi}, \end{aligned}$$ -
(ii)
\(\beta_{k}>\frac{1}{2}\), \(k=1,2,\ldots\) , for \(t\geq t_{0}\),
$$\begin{aligned} g(t) \leq& C\prod_{t_{0}< t_{k}< t} \biggl\{ (1+ \gamma_{k})e^{\int _{t_{k-1}}^{t_{k}}p(\xi)\,d\xi}+\frac{\alpha_{k}}{\Gamma(\beta_{k})} \biggl( \frac{e^{2t_{k}}}{ 2^{2\beta_{k}-1}}\Gamma(2\beta_{k}-1) \biggr)^{\frac{1}{2}} \\ &{}\times \biggl(\int_{t_{k-1}}^{t_{k}}e^{2 (\int _{t_{k-1}}^{s}p(\xi)\,d\xi-s )}\,ds \biggr)^{\frac{1}{2}} \biggr\} e^{\int_{t_{l}}^{t}p(\xi)\,d\xi}, \end{aligned}$$
□
In the case when in place of the constant C involved in Theorem 2.5 we have a function \(h(t)\), we obtain the following result.
Theorem 2.6
Assume that (H0) and (H1) hold. Suppose that \(p\in C[\mathbb{R}_{+},\mathbb{R}_{+}]\), \(h\in PC[\mathbb{R}_{+},\mathbb{R}]\), and, for \(k=1,2,\ldots\) , \(t\geq t_{0}\),
where \(\alpha_{k}\geq0\), \(\gamma_{k}\geq-1\) and \(\beta_{k}>0\), \(k=1,2,\ldots\) , are constants. Then, for \(t\geq t_{0}\), the following assertions hold:
-
(i)
\(0<\beta_{k}\leq\frac{1}{2}\) for \(k=1,2,\ldots\) ,
$$\begin{aligned} m(t) \leq& h(t)+ \biggl\{ \sum_{t_{0}< t_{k}< t} \biggl[\prod_{t_{k}< t_{j}< t} \biggl\{ (1+\gamma_{j})e^{\int_{t_{j-1}}^{t_{j}}p(\xi)\,d\xi }+ \frac{\alpha_{j}}{\Gamma(\beta_{j})} \biggl(\frac{e^{\mu_{j}t_{j}}}{ \mu_{j}^{\beta_{j}^{2}}}\Gamma\bigl(\beta_{j}^{2} \bigr) \biggr)^{\frac{1}{\mu _{j}}} \\ &{}\times \biggl(\int_{t_{j-1}}^{t_{j}}e^{\nu_{j} (\int _{t_{j-1}}^{s}p(\xi)\,d\xi-s )}\,ds \biggr)^{\frac{1}{\nu_{j}}} \biggr\} \biggl\{ (1+\gamma_{k})\int _{t_{k-1}}^{t_{k}}p(s)h(s) e^{\int_{s}^{t_{k}}p(\xi)\,d\xi}\,ds \\ &{}+ \frac{\alpha_{k}}{\Gamma(\beta_{k})} \biggl(\frac{e^{\mu_{k}t_{k}}}{ \mu_{k}^{\beta_{k}^{2}}}\Gamma\bigl( \beta_{k}^{2}\bigr) \biggr)^{\frac{1}{\mu _{k}}} \\ &{}\times\biggl(\int _{t_{k-1}}^{t_{k}}e^{-\nu_{k}s} \biggl\{ \int _{t_{k-1}}^{s}p(v)h(v)e^{\int_{v}^{s}p(\xi)\,d\xi}\,dv \biggr\} ^{\nu _{k}}\,ds \biggr)^{\frac{1}{\nu_{k}}} \\ &{}+ \gamma_{k}h(t_{k})+\frac{\alpha_{k}}{\Gamma(\beta_{k})} \biggl( \frac {e^{\mu_{k}t_{k}}}{ \mu_{k}^{\beta_{k}^{2}}}\Gamma\bigl(\beta_{k}^{2}\bigr) \biggr)^{\frac{1}{\mu _{k}}} \biggl(\int_{t_{k-1}}^{t_{k}}e^{-\nu_{k}s}h^{\nu_{k}}(s)\,ds \biggr)^{\frac{1}{\nu_{k}}} \biggr\} \biggr] \biggr\} e^{\int_{t_{l}}^{t} p(\xi)\,d\xi} \\ &{}+ \int_{t_{l}}^{t}p(s)h(s)e^{\int_{s}^{t}p(\xi)\,d\xi}, \end{aligned}$$(2.25)where \(\mu_{k}=\beta_{k}+1\) and \(\nu_{k}=1+\frac{1}{\beta _{k}}\),
-
(ii)
\(\beta_{k}>\frac{1}{2}\) for \(k=1,2,\ldots\) ,
$$\begin{aligned} m(t) \leq& h(t)+ \biggl\{ \sum_{t_{0}< t_{k}< t} \biggl[\prod_{t_{k}< t_{j}< t} \biggl\{ (1+\gamma_{j})e^{\int_{t_{j-1}}^{t_{j}}p(\xi)\,d\xi }+ \frac{\alpha_{j}}{\Gamma(\beta_{j})} \biggl(\frac{e^{2t_{j}}}{ 2^{2\beta_{j}-1}}\Gamma(2\beta_{j}-1) \biggr)^{\frac{1}{2}} \\ &{}\times \biggl(\int_{t_{j-1}}^{t_{j}}e^{2 (\int _{t_{j-1}}^{s}p(\xi)\,d\xi-s )}\,ds \biggr)^{\frac{1}{2}} \biggr\} \biggl\{ (1+\gamma_{k})\int _{t_{k-1}}^{t_{k}}p(s)h(s) e^{\int_{s}^{t_{k}}p(\xi)\,d\xi}\,ds \\ &{}+ \frac{\alpha_{k}}{\Gamma(\beta_{k})} \biggl(\frac{e^{2t_{k}}}{ 2^{2\beta_{k}-1}}\Gamma(2\beta_{k}-1) \biggr)^{\frac{1}{2}} \\ &{}\times \biggl(\int_{t_{k-1}}^{t_{k}}e^{-2s} \biggl\{ \int_{t_{k-1}}^{s}p(v)h(v)e^{\int _{v}^{s}p(\xi)\,d\xi}\,dv \biggr\} ^{2}\,ds \biggr)^{\frac{1}{2}}+ \gamma_{k}h(t_{k}) \\ &{}+\frac{\alpha_{k}}{\Gamma(\beta_{k})} \biggl( \frac{e^{2t_{k}}}{ 2^{2\beta_{k}-1}}\Gamma(2\beta_{k}-1) \biggr)^{\frac{1}{2}} \biggl( \int_{t_{k-1}}^{t_{k}}e^{-2s}h^{2}(s)\,ds \biggr)^{\frac{1}{2}} \biggr\} \biggr] \biggr\} e^{\int_{t_{l}}^{t} p(\xi)\,d\xi} \\ &{}+ \int_{t_{l}}^{t}p(s)h(s)e^{\int_{s}^{t}p(\xi)\,d\xi}. \end{aligned}$$(2.26)
Proof
Setting
and using the fact that \(m(t)\leq h(t)+g(t)\), we have
Applying Theorem 2.2 for \(0<\beta_{k}\leq 1/2\) and \(\beta_{k}>1/2\) together with \(m(t)\leq h(t)+g(t)\), we then obtain the estimates in (2.25) and (2.26), respectively. □
3 Applications to impulsive fractional integral jump conditions
In this section, two applications of impulsive differential and impulsive integral inequalities with Riemann-Liouville fractional integral jump conditions are given.
Definition 3.1
The Riemann-Liouville fractional integral of order \(\beta>0\) of a function \(f: (t_{0},\infty)\rightarrow{\mathbb{R}}\) is defined by
provided the right-hand side is point-wise defined on \((t_{0},\infty)\), where Γ is the Gamma function.
We apply our results to work out the maximum principle of the impulsive differential inequality.
Proposition 3.2
Assume that \(x\in PC^{1}[J,\mathbb{R}]\) satisfies
where \(M>0\), \(a\in C[\mathbb{R}_{+},\mathbb{R}_{+}]\), \(0=t_{0}< t_{1}< t_{2}<\cdots<t_{n}<t_{n+1}=T\), \(b_{k},c_{k}\geq0\), \(\beta_{k}>0\), \(k=1,2,\ldots,n\), and λ are constants.
Suppose in addition that:
Case I: \(M\neq1\).
-
(i)
\(0<\beta_{k}\leq\frac{1}{2}\) for \(k=1,2,\ldots,n\),
$$\begin{aligned} \mbox{(Q$_{1}$)} \quad& \prod_{k=1}^{n} \frac{c_{k}}{\Gamma(\beta _{k})} \biggl(\frac{\Gamma(\beta_{k}^{2})}{\mu_{k}^{\beta_{k}^{2}}} \biggr)^{\frac{1}{\mu_{k}}} \biggl( \frac{1-e^{\nu_{k}(t_{k}-t_{k-1})(1-M)}}{ \nu_{k}(M-1)} \biggr)^{\frac{1}{\nu_{k}}}< e^{-MT}, \\ \mbox{(Q$_{2}$)} \quad& \frac{c_{k}}{\Gamma(\beta_{k})} \biggl(\frac{e^{\mu_{k}t_{k}}\Gamma(\beta_{k}^{2})}{\mu_{k}^{\beta_{k}^{2}}} \biggr)^{\frac{1}{\mu_{k}}} \biggl(\int_{t_{k-1}}^{t_{k}}e^{\nu_{k}s(M-1)} \biggl\{ -\int_{t_{k-1}}^{s}a(v)e^{-Mv}\,dv \biggr\} ^{\nu_{k}}\,ds \biggr)^{\frac{1}{\nu_{k}}}\\ &\quad\leq b_{k}, \\ \mbox{(Q$_{3}$)} \quad& \lambda\leq\int_{t_{n}}^{T}a(s)e^{M(T-s)}\,ds, \end{aligned}$$where \(\mu_{k}=\beta_{k}+1\) and \(\nu_{k}=1+\frac{1}{\beta _{k}}\),
-
(ii)
\(\beta_{k}>\frac{1}{2}\) for \(k=1,2,\ldots,n\),
$$\begin{aligned} \mbox{(Q$_{4}$)} \quad& \prod_{k=1}^{n} \frac{c_{k}}{2^{\beta _{k}}\Gamma(\beta_{k})} \biggl(\frac{\Gamma(2\beta_{k}-1)}{M-1} \bigl[1-e^{2(t_{k}-t_{k-1})(1-M)} \bigr] \biggr)^{\frac{1}{2}}< e^{-MT}, \\ \mbox{(Q$_{5}$)} \quad& \frac{c_{k}}{\Gamma(\beta_{k})} \biggl(\frac{e^{2t_{k}}\Gamma(2\beta_{k}-1)}{2^{2\beta_{k}-1}} \biggr)^{\frac {1}{2}} \biggl(\int_{t_{k-1}}^{t_{k}}e^{2s(M-1)} \biggl\{ -\int_{t_{k-1}}^{s}a(v)e^{-Mv}\,dv \biggr\} ^{2}\,ds \biggr)^{\frac {1}{2}} \\ &\quad\leq b_{k}, \end{aligned}$$and (Q3) holds.
Case II: \(M=1\).
-
(i)
\(0<\beta_{k}\leq\frac{1}{2}\) for \(k=1,2,\ldots,n\),
$$\begin{aligned} \mbox{(Q$_{6}$)} \quad& \prod_{k=1}^{n} \frac{c_{k}}{\Gamma(\beta _{k})} \biggl(\frac{\Gamma(\beta_{k}^{2})}{\mu_{k}^{\beta_{k}^{2}}} \biggr)^{\frac{1}{\mu_{k}}} (t_{k}-t_{k-1} )^{\frac{1}{\nu_{k}}}< e^{-T} , \\ \mbox{(Q$_{7}$)} \quad&\frac{c_{k}}{\Gamma(\beta_{k})} \biggl(\frac{e^{\mu_{k}t_{k}}\Gamma(\beta_{k}^{2})}{\mu_{k}^{\beta_{k}^{2}}} \biggr)^{\frac{1}{\mu_{k}}} \biggl(\int_{t_{k-1}}^{t_{k}} \biggl\{ -\int_{t_{k-1}}^{s}a(v)e^{-v}\,dv \biggr\} ^{\nu_{k}}\,ds \biggr)^{\frac{1}{\nu_{k}}}\leq b_{k} , \\ \mbox{(Q$_{8}$)} \quad& \lambda\leq\int_{t_{n}}^{T}a(s)e^{(T-s)}\,ds , \end{aligned}$$ -
(ii)
\(\beta_{k}>\frac{1}{2}\) for \(k=1,2,\ldots,n\),
$$\begin{aligned} \mbox{(Q$_{9}$)} \quad& \prod_{k=1}^{n} \frac{c_{k}}{\Gamma(\beta _{k})} \biggl(\frac{\Gamma(2\beta_{k}-1)(t_{k}-t_{k-1})}{2^{2\beta _{k}-1}} \biggr)^{\frac{1}{2}}< e^{-T} , \\ \mbox{(Q$_{10}$)} \quad&\frac{c_{k}}{\Gamma(\beta_{k})} \biggl(\frac{e^{2t_{k}}\Gamma(2\beta_{k}-1)}{2^{2\beta_{k}-1}} \biggr)^{\frac {1}{2}} \biggl(\int_{t_{k-1}}^{t_{k}} \biggl\{ -\int_{t_{k-1}}^{s}a(v)e^{-v}\,dv \biggr\} ^{2}\,ds \biggr)^{\frac {1}{2}}\leq b_{k}, \end{aligned}$$and (Q 8) holds.
Then \(x(t)\leq0\) for \(t\in[0, T]\).
Proof
To prove Case I(i), applying Corollary 2.3 for \(t\in[0, T]\), we have
where
It is easy to see that \(A_{k}^{*}\geq0\) for all \(k=1,2,\ldots, n\). The condition (Q2) implies that \(B_{k}^{*}\leq0\) for all \(k=1,2,\ldots, n\). Then it is sufficient to show that \(x(0)\leq0\). For \(t=T\), we have
Using the conditions (Q1) and (Q3), we see that
which implies that \(x(0)\leq0\).
Using a similar method to prove Case I(i) with suitable conditions, we deduce that \(x(0)\leq0\). This completes the proof. □
The last application shows the boundedness of solution of impulsive differential equation with Riemann-Liouville fractional integral jump conditions.
Proposition 3.3
Let \(x\in PC^{1}[\mathbb{R}_{+},\mathbb{R}]\) such that
where \(f\in C(\mathbb{R}_{+}\times\mathbb{R},\mathbb{R})\), \(Z_{k}\in C(\mathbb{R},\mathbb{R})\), \(0\leq t_{0}< t_{1}< t_{2}<\cdots\) , \(\lim_{k\rightarrow\infty}t_{k}=\infty\), \(\Delta x(t_{k})=x(t_{k}^{+})-x(t_{k})\), \(\beta_{k}>0\), \(k=1,2,\ldots\) , and \(x_{0}\) are constants.
Assume that:
- (Q11):
-
there exists a constant \(N>0\), such that
$$\bigl|f\bigl(t,x(t)\bigr)\bigr|\leq N \bigl|x(t)\bigr|\quad \textit{for }t\geq t_{0}, $$ - (Q12):
-
there exist constants \(L_{k}\geq0\) such that
$$\bigl|Z_{k}(x)\bigr|\leq L_{k}|x|,\quad x\in\mathbb{R}, k=1,2, \ldots. $$
Then, for \(t\geq t_{0}\), the following inequalities hold:
Case I: \(N\neq1\).
-
(i)
\(0<\beta_{k}\leq\frac{1}{2}\) for \(k=1,2,\ldots\) ,
$$\begin{aligned} \bigl|x(t)\bigr| \leq&|x_{0}|\prod_{t_{0}< t_{k}< t} \biggl\{ 1+\frac{L_{k}}{\Gamma(\beta _{k})} \biggl(\frac{\Gamma(\beta_{k}^{2})}{\mu_{k}^{\beta_{k}^{2}}} \biggr)^{\frac{1}{\mu_{k}}} \biggl(\frac{1-e^{\nu_{k}(t_{k}-t_{k-1})(1-N)}}{\nu_{k}(N-1)} \biggr)^{\frac{1}{\nu_{k}}} \biggr\} \\ &{}\times e^{N(t-t_{0})}, \end{aligned}$$(3.3)where \(\mu_{k}=\beta_{k}+1\) and \(\nu_{k}=1+\frac{1}{\beta _{k}}\),
-
(ii)
\(\beta_{k}>\frac{1}{2}\) for \(k=1,2,\ldots\) ,
$$\begin{aligned} \bigl|x(t)\bigr| \leq&|x_{0}|\prod_{t_{0}< t_{k}< t} \biggl\{ 1+\frac{L_{k}}{2^{\beta _{k}}\Gamma(\beta_{k})} \biggl(\frac{\Gamma(2\beta_{k}-1)}{N-1} \bigl[1-e^{2(t_{k}-t_{k-1})(1-N)} \bigr] \biggr)^{\frac{1}{2}} \biggr\} \\ &{}\times e^{N(t-t_{0})}. \end{aligned}$$(3.4)
Case II: \(N= 1\).
-
(i)
\(0<\beta_{k}\leq\frac{1}{2}\) for \(k=1,2,\ldots\) ,
$$ \bigl|x(t)\bigr|\leq|x_{0}|\prod_{t_{0}< t_{k}< t} \biggl\{ 1+\frac{L_{k}}{\Gamma(\beta _{k})} \biggl(\frac{\Gamma(\beta_{k}^{2})}{\mu_{k}^{\beta_{k}^{2}}} \biggr)^{\frac{1}{\mu_{k}}} (t_{k}-t_{k-1} )^{\frac{1}{\nu_{k}}} \biggr\} e^{(t-t_{0})}, $$(3.5) -
(ii)
\(\beta_{k}>\frac{1}{2}\) for \(k=1,2,\ldots\) ,
$$ \bigl|x(t)\bigr|\leq|x_{0}|\prod_{t_{0}< t_{k}< t} \biggl\{ 1+\frac{L_{k}}{\Gamma(\beta _{k})} \biggl(\frac{\Gamma(2\beta_{k}-1)(t_{k}-t_{k-1})}{2^{2\beta_{k}-1}} \biggr)^{\frac{1}{2}} \biggr\} e^{(t-t_{0})}. $$(3.6)
Proof
The solution \(x(t)\) of problem (3.2) satisfies the impulsive integral equation
From conditions (Q11)-(Q12), it follows for \(t\geq t_{0}\) that
Hence Theorem 2.5 yields the estimate
Therefore, inequality (3.3) holds for \(t\geq t_{0}\). For the other cases the proofs are similar and thus omitted. The proof is completed. □
References
Lakshmikantham, V, Bainov, DD, Simeonov, PS: Theory of Impulsive Differential Equations. World Scientific, Singapore (1989)
Bainov, DD, Simeonov, PS: Impulsive Differential Equations: Periodic Solutions and Applications. Longman, Harlow (1993)
Bainov, DD, Simeonov, PS: Impulsive Differential Equations: Asymptotic Properties of the Solutions. World Scientific, Singapore (1995)
Samoilenko, AM, Perestyuk, NA: Impulsive Differential Equations. World Scientific, Singapore (1995)
Benchohra, M, Henderson, J, Ntouyas, SK: Impulsive Differential Equations and Inclusions, vol. 2. Hindawi Publishing Corporation, New York (2006)
Bainov, DD, Hristova, SG: The method of quasilinearization for the periodic boundary value problem for systems of impulsive differential equations. Appl. Math. Comput. 117, 73-85 (2001)
Bonotto, EM, Gimenes, LP, Federson, M: Oscillation for a second-order neutral equation with impulses. Appl. Math. Comput. 215, 1-15 (2009)
Cui, BT, Han, M, Yang, H: Some sufficient conditions for oscillation of impulsive delay hyperbolic systems with Robin boundary conditions. J. Comput. Appl. Math. 180, 365-375 (2005)
Ding, W, Xing, Y, Han, M: Anti-periodic boundary value problems for first order impulsive functional differential equations. Appl. Math. Comput. 186, 45-53 (2007)
Franco, D, Nieto, JJ: Maximum principles for periodic impulsive first order problems. J. Comput. Appl. Math. 88, 149-159 (1998)
Fu, X, Zhang, L: Forced oscillation for impulsive hyperbolic boundary value problems with delay. Appl. Math. Comput. 158, 761-780 (2004)
Gimenes, LP, Federson, M: Oscillation by impulses for a second-order delay differential equation. Comput. Math. Appl. 52, 819-828 (2006)
He, Z, Ge, W: Oscillations of second-order nonlinear impulsive ordinary differential equations. J. Comput. Appl. Math. 158, 397-406 (2003)
He, Z, He, X: Periodic boundary value problems for first order impulsive integro-differential equations of mixed type. J. Math. Anal. Appl. 296, 8-20 (2004)
Huang, M: Oscillation criteria for second order nonlinear dynamic equations with impulses. Comput. Math. Appl. 59, 31-41 (2010)
Jiao, J, Chen, L, Li, L: Asymptotic behavior of solutions of second-order nonlinear impulsive differential equations. J. Math. Anal. Appl. 337, 458-463 (2008)
Li, J: Periodic boundary value problems for second-order impulsive integro-differential equations. Appl. Math. Comput. 198, 317-325 (2008)
Li, Q, Liang, H, Zhang, Z, Yu, Y: Oscillation of second order self-conjugate differential equation with impulses. J. Comput. Appl. Math. 197, 78-88 (2006)
Li, J, Shen, J: Periodic boundary value problems for delay differential equations with impulses. J. Comput. Appl. Math. 193, 563-573 (2006)
Liu, H, Li, Q: Asymptotic behavior of second-order impulsive differential equations. Electron. J. Differ. Equ. 2011, 33 (2011)
Luo, J: Oscillation of hyperbolic partial differential equations with impulses. Appl. Math. Comput. 133, 309-318 (2002)
Nieto, JJ, Rodriguez-Lopez, R: New comparison results for impulsive integro-differential equations and applications. J. Math. Anal. Appl. 328, 1343-1368 (2007)
Peng, M: Oscillation theorems of second-order nonlinear neutral delay difference equations with impulses. Comput. Math. Appl. 44, 741-748 (2002)
Shen, J: New maximum principles for first-order impulsive boundary value problems. Appl. Math. Lett. 16, 105-112 (2003)
Stamova, IM: Lyapunov method for boundedness of solutions of nonlinear impulsive functional differential equations. Appl. Math. Comput. 177, 714-719 (2006)
Zhang, C, Feng, W, Yang, J, Huang, M: Oscillations of second order impulses nonlinear FDE with forcing term. Appl. Math. Comput. 198, 271-279 (2008)
Akça, H, Covachev, V, Covacheva, Z: Improved stability estimates for impulsive delay reaction-diffusion Cohen-Grossberg neural networks. Tatra Mt. Math. Publ. 54, 1-18 (2013)
Deng, S, Prather, C: Generalization of an impulsive nonlinear singular Gronwall-Bihari inequality with delay. J. Inequal. Pure Appl. Math. 9(2), Article ID 34 (2008)
Gallo, A, Piccirillo, AM: Multidimensional impulse inequalities and general Bahari type inequalities for discontinuous functions with delay. Nonlinear Stud. 19(1), 13-24 (2012)
Hristova, SG: Nonlinear delay integral inequalities for piecewise continuous functions and applications. J. Inequal. Pure Appl. Math. 5(4), Article ID 88 (2004)
Li, J: On some new impulsive integral inequalities. J. Inequal. Appl. 2008, Article ID 312395 (2008)
Mi, Y: Some generalized Gronwall-Bellman type impulsive integral inequalities and their applications. J. Appl. Math. 2014, Article ID 353210 (2014)
Peng, Y, Kang, Y, Yuan, M, Huang, R, Yang, L: Gronwall-type integral inequalities with impulses on time scales. Adv. Differ. Equ. 2011, 26 (2011)
Tatar, NE: An impulsive nonlinear singular version of the Gronwall-Bihari inequality. J. Inequal. Appl. 2006, Article ID 84561 (2006)
Wang, H, Ding, C: A new nonlinear impulsive delay differential inequality and its applications. J. Inequal. Appl. 2011, 11 (2011)
Wang, X: A generalized Halanay inequality with impulse and delay. Adv. Devel. Technol. Inter. 1(2), 9-23 (2012)
Thiramanus, P, Tariboon, J: Impulsive differential and impulsive integral inequalities with integral jump conditions. J. Inequal. Appl. 2012, 25 (2012)
Herrmann, R: Fractional Calculus: An Introduction for Physicists. World Scientific, Singapore (2011)
Acknowledgements
This research was funded by King Mongkut’s University of Technology North Bangkok. Contract no. KMUTNB-GEN-57-44.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors contributed equally to this article. They 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 (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.
About this article
Cite this article
Liengtragulngam, W., Thiramanus, P., Ntouyas, S.K. et al. Impulsive inequalities with nonlocal jumps and their applications to impulsive fractional integral conditions. J Inequal Appl 2015, 189 (2015). https://doi.org/10.1186/s13660-015-0706-4
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-015-0706-4