# Noninstantaneous impulsive inequalities via conformable fractional calculus

## Abstract

We establish some new noninstantaneous impulsive inequalities using the conformable fractional calculus.

## Introduction and preliminaries

The subject of fractional differential equations has evolved as an interesting and important field of research in view of numerous applications in physics, mechanics, chemistry, engineering (like traffic, transportation, logistic, etc.), and so forth . The tools of fractional calculus play a key role in improving the mathematical modeling of many real-world processes based on classical calculus. For some recent development on the topic, see  and the references therein.

Various types of fractional derivatives were introduced: Riemann–Liouville, Caputo, Hadamard, Erdélyi–Kober, Grünwald–Letnikov, Marchaud, and Riesz, to just name a few. Commonly, all they are defined as integrals with different singular kernels, that is, they have a nonlocal structure. Due to this fact, there are many inconsistencies of the existing fractional derivatives with classical derivative. Thus they do not obey the familiar product rule, the quotient rule for two functions, and the chain rule. Also, the fractional derivatives do not have a corresponding Rolle’s theorem or a corresponding mean value theorem.

On the other hand, a recently introduced definition of the so-called conformable fractional derivative involves a limit instead of an integral; see [13, 14]. This local definition enables us to prove many properties analogous to those of integer-order derivatives. The authors in  showed that the conformable fractional derivative obeys the product and quotient rules and has results similar to the Rolle theorem and the mean value theorem in classical calculus.

For recent works on conformable derivatives, we refer to  and the references therein.

Let us recall the definition of the conformable fractional derivative and integral.

### Definition 1.1

Let $$0<\alpha\le1$$. The conformable fractional derivative starting from a point ϕ of a function $$f: [\phi,\infty)\to{\mathbb {R}}$$ is defined by

$${}_{\phi}D^{\alpha}(t)=\lim_{\epsilon\to0} \frac{f(t+\epsilon (t-\phi)^{1-\alpha})-f(t)}{\epsilon},\quad t>\phi,$$
(1.1)

and $${}_{\phi}D^{\alpha}f(\phi)=\lim_{t\to\phi^{+}}{}_{\phi}D^{\alpha}f(t)$$.

Note that if f is differentiable, then

$${}_{\phi}D^{\alpha}f(t)=(t-\phi)^{1-\alpha} \frac{df(t)}{dt}.$$
(1.2)

### Definition 1.2

Let $$0<\alpha\le1$$. The conformable fractional integral of a function $$f: [\phi,\infty)\to{\mathbb {R}}$$ from a point ϕ is defined by

$${}_{\phi}I^{\alpha}(t)= \int_{\phi}^{t}(s-\phi)^{\alpha-1}f(s)\,ds.$$
(1.3)

The impulsive differential equations have been used to describe processes that have sudden changes in their states at certain moments. Many mathematical models in physical phenomena that have short-term perturbations at fixed impulse points $$t_{k}$$, $$k=1,2,3,\ldots$$ , caused by external interventions during their evolution appeared in population dynamics, biotechnology processes, chemistry, physics, engineering, and medicine; see . In [23, 24], the authors introduced a new class of noninstantaneous impulsive differential equations with initial conditions to describe some certain dynamic changes of evolution processes in the pharmacotherapy. This kind of impulsive differential equations can be distinguished from the usual one as the changing processes containing no ordinary or fractional derivatives of their states work over intervals $$(t_{k},s_{k}]$$, whereas the usual does at points $$t_{k}$$, $$k=1,2,3,\ldots$$ . There are some papers on existence and stability theory of this kind of impulsive ordinary or fractional differential equations . To the best of our knowledge, there is no literature on noninstantaneous impulsive inequalities. The main goal of the paper is to establish some new noninstantaneous impulsive inequalities using the conformable fractional calculus. The main results are presented in Sect. 2. In Sect. 3, the maximum principle and boundedness of solutions for noninstantaneous impulse problems are illustrated.

## Main results

Assume that the independent variable t is the time defined on the half-line $${\mathbb {R}}_{+}=[0,\infty)$$. Let $$\{t_{i}\}_{i=1}^{\infty}$$ and $$\{s_{i}\}_{i=0}^{\infty}$$ be two increasing sequences such that

$$0=s_{0}< t_{1}\leq s_{1}< t_{2}\leq s_{2}< t_{3}\leq\cdots< t_{i}\leq s_{i}< t_{i+1}\leq \cdots$$

for $$i=1,2,\ldots$$ and $$\lim_{k\to\infty}t_{k}=\lim_{k\to\infty }s_{k}=\infty$$. In addition, we define subsets of $${\mathbb {R}}_{+}$$ by $$U_{s_{k}}=\bigcup_{k=0}^{\infty}(s_{k},t_{k+1}]$$, $$U_{t_{k}}=\bigcup_{k=1}^{\infty}(t_{k},s_{k}]$$ and $$U=U_{s_{k}}\cup U_{t_{k}}$$. Note that $$U\cup\{0\}={\mathbb {R}}_{+}$$. Set $$PC(U_{s_{k}}, {\mathbb {R}})$$ = {$$x : U_{s_{k}}\rightarrow{\mathbb {R}} ; x(t)$$ is continuous on $$U_{s_{k}}$$, and $$x(s_{k}^{+})$$ exists for $$k=0,1, 2, \ldots$$}, $$PC(U_{t_{k}}, {\mathbb {R}})$$ = {$$x : U_{t_{k}}\rightarrow{\mathbb {R}}$$; $$x(t)$$ is continuous for $$t\in U_{t_{k}}$$, and $$x(t_{k}^{+})$$ exists for $$k=1, 2, 3,\ldots$$}, $$PC^{\alpha}_{s_{k}}(U_{s_{k}}, \mathbb{R})$$ = {$$x\in PC(U_{s_{k}}, \mathbb {R}) : {}_{s_{k}}D^{\alpha}x(t)$$ is continuous everywhere for $$t\in U_{s_{k}}$$, and $${}_{s_{k}}D^{\alpha}x(s_{k}^{+})$$ exists for $$k=0,1, 2, \ldots$$}, $$PC^{\alpha}_{t_{k}}(U_{t_{k}}, \mathbb{R})$$ = {$$x\in PC(U_{t_{k}}, \mathbb{R}) : {}_{t_{k}}I^{\alpha}x(t)$$ is continuous everywhere for all $$t\in U_{t_{k}}$$, and $${}_{t_{k}}I^{\alpha}x(t_{k}^{+})$$ exists for $$k=1, 2, 3, \ldots$$}, and $$PC^{\alpha}(U,\mathbb {R})=PC^{\alpha}_{s_{k}}(U_{s_{k}}, \mathbb{R})\cup PC^{\alpha }_{t_{k}}(U_{t_{k}}, \mathbb{R})$$.

Let the maximums of impulsive points less than or equal to t be defined by

$$s_{m}=\max\{s_{k}: s_{k}\leq t, k=0,1,2,\ldots\} \quad \text{and}\quad t_{\overline {m}}=\max\{t_{k}: t_{k}\leq t, k=1,2,3,\ldots\}.$$
(2.1)

\begin{aligned}& H_{k} = e^{d_{k}\frac{(s_{k}-t_{k})^{\alpha}}{\alpha}};\qquad Q_{k} = e^{\int _{s_{k-1}}^{t_{k}}p(\xi)(\xi-s_{k-1})^{\alpha-1}\,d\xi}; \\& G_{k} = Q_{k}H_{k};\qquad P_{k} = Q_{k}H_{k-1}. \end{aligned}

Note that

$$H_{m}G_{m+1}G_{m+2}G_{m+3} \cdots G_{n-1}Q_{n}=P_{m+1}P_{m+2}\cdots P_{n-1}P_{n}$$
(2.2)

and

$$P_{m}P_{m+1}P_{m+2}\cdots P_{n-1}P_{n}H_{n}=H_{m-1}G_{m}G_{m+1} \cdots G_{n-1}G_{n},$$
(2.3)

where $$m< n$$ are positive integers.

Throughout this paper, we assume that the unknown function $$u\in PC^{\alpha}(U,\mathbb{R})$$ is left-continuous at $$s_{k}$$ and $$t_{k}$$ ($$k=1,2,3,\ldots$$). Now, we are in the position to establish noninstantaneous impulsive differential inequalities.

### Theorem 2.1

Let $$b_{k}$$, $$c_{k}$$, $$d_{k}$$ be given constants such that $$b_{k},c_{k}\geq0$$ and $$d_{k}>0$$, $$k=1,2,3,\ldots$$ . Suppose that $$p, q\in PC(U_{s_{k}}, {\mathbb {R}})$$ and

$$\textstyle\begin{cases} _{s_{k}}D^{\alpha}u(t)\le p(t)u(t)+q(t),\quad t\in(s_{k},t_{k+1}], k=0,1, 2, \ldots, \\ u(t)\le c_{k}u(t_{k}^{-})+d_{k}\int_{t_{k}}^{t}(\xi-t_{k})^{\alpha-1}u(\xi)\,d\xi +b_{k},\quad t\in(t_{k},s_{k}], k=1,2,\ldots. \end{cases}$$
(2.4)

Then

\begin{aligned} u(t) \le& e^{\int_{s_{m}}^{t}p(\xi)(\xi-s_{m})^{\alpha-1}\,d\xi} \biggl\{ u(s_{0})\prod _{0< k\leq m}c_{k}G_{k}+\sum _{0< k\leq m} \biggl(\prod_{k< j\leq m}c_{j}G_{j} \biggr)H_{k}b_{k} \\ &{}+ \sum_{0< k\leq m} \biggl(\prod _{k< j\leq m}c_{j}G_{j} \biggr)c_{k}H_{k} \int _{s_{k-1}}^{t_{k}}q(\eta) (\eta-s_{k-1})^{\alpha-1}e^{\int_{\eta }^{t_{k}}p(\xi)(\xi-s_{k-1})^{\alpha-1}\,d\xi} \,d\eta \biggr\} \\ &{}+ \int_{s_{m}}^{t}q(\eta) (\eta-s_{m})^{\alpha-1}e^{\int_{\eta }^{t}p(\xi)(\xi-s_{m})^{\alpha-1}\,d\xi} \,d\eta,\quad t\in(s_{k},t_{k+1}], k=0,1, 2, \ldots, \end{aligned}
(2.5)

and

\begin{aligned} u(t) \le& e^{d_{\overline{m}}\frac{(t-t_{\overline{m}})^{\alpha }}{\alpha}} \biggl\{ u(s_{0})c_{\overline{m}}Q_{\overline{m}} \prod_{0< k< \overline{m}}c_{k}G_{k}+\sum _{0< k\leq\overline{m}} \biggl(\prod_{k< j\leq\overline{m}}c_{j}P_{j} \biggr)b_{k} \\ &{}+ \sum_{0< k\leq\overline{m}} \biggl(\prod _{k< j\leq\overline {m}}c_{j}P_{j} \biggr)c_{k} \int_{s_{k-1}}^{t_{k}}q(\eta) (\eta -s_{k-1})^{\alpha-1}e^{\int_{\eta}^{t_{k}}p(\xi)(\xi -s_{k-1})^{\alpha-1}\,d\xi} \,d\eta \biggr\} , \\ & t\in(t_{k},s_{k}], k=1,2, 3, \ldots. \end{aligned}
(2.6)

### Proof

For $$t\in(s_{0},t_{1}]$$, the conformable fractional differential inequality can be written as

$${}_{s_{0}}D^{\alpha} \bigl[u(t)e^{-\int_{s_{0}}^{t} p(\xi)(\xi -s_{0})^{\alpha-1}\,d\xi} \bigr]\le q(t)e^{-\int_{s_{0}}^{t} p(\xi)(\xi -s_{0})^{\alpha-1}\,d\xi}.$$

By taking the conformable fractional integral of order α from $$s_{0}$$ to $$t\in(s_{0},t_{1}]$$,

$${}_{s_{0}}I^{\alpha} {}_{s_{0}}D^{\alpha} \bigl[u(t)e^{-\int_{s_{0}}^{t} p(\xi)(\xi-s_{0})^{\alpha-1}\,d\xi} \bigr]\le{}_{s_{0}}I^{\alpha} \bigl[ q(t)e^{-\int_{s_{0}}^{t} p(\xi)(\xi-s_{0})^{\alpha-1}\,d\xi} \bigr],$$

we obtain

\begin{aligned} u(t) \le& u(s_{0})e^{\int_{s_{0}}^{t} p(\xi)(\xi-s_{0})^{\alpha-1}\,d\xi } \\ &{}+ \int_{s_{0}}^{t} q(\eta) (\eta-s_{0})^{\alpha-1}e^{\int_{\eta}^{t} p(\xi)(\xi-s_{0})^{\alpha-1}\,d\xi} \,d\eta, \quad t\in(s_{0},t_{1}], \end{aligned}
(2.7)

which implies that (2.5) holds for $$k=0$$.

For $$t\in(t_{1},s_{1}]$$, we define the function

$$z(t)= \int_{t_{1}}^{t}(\xi-t_{1})^{\alpha-1}u( \xi)\,d\xi.$$
(2.8)

Note that $$z(t_{1})=0$$ and

$$u(t)\le c_{1}u\bigl(t_{1}^{-} \bigr)+d_{1}z(t)+b_{1},\quad t\in(t_{1},s_{1}].$$

Then, taking the derivative with respect to t, we have

\begin{aligned} z'(t) =&(t-t_{1})^{\alpha-1}u(t) \\ \le& (t-t_{1})^{\alpha-1}\bigl[c_{1}u \bigl(t_{1}^{-}\bigr)+b_{1}\bigr]+d_{1}(t-t_{1})^{\alpha-1}z(t). \end{aligned}

Multiplying this inequality by the integrating factor $$e^{-d_{1}\frac{(t-t_{1})^{\alpha}}{\alpha}}$$, we get

$$\frac{d}{dt} \bigl[z(t)e^{-d_{1}\frac{(t-t_{1})^{\alpha}}{\alpha }} \bigr]\leq \bigl[c_{1}u \bigl(t_{1}^{-}\bigr)+b_{1} \bigr](t-t_{1})^{\alpha -1}e^{-d_{1}\frac{(t-t_{1})^{\alpha}}{\alpha}},$$

which implies that

\begin{aligned} z(t) \leq&\bigl[c_{1}u\bigl(t_{1}^{-}\bigr)+b_{1} \bigr]e^{d_{1}\frac{(t-t_{1})^{\alpha}}{\alpha }} \int_{t_{1}}^{t}(\eta-t_{1})^{\alpha-1}e^{-d_{1}\frac{(\eta-t_{1})^{\alpha }}{\alpha}} \, d \eta \\ =& \frac{1}{d_{1}} \bigl[c_{1}u\bigl(t_{1}^{-} \bigr)+b_{1} \bigr] \bigl[e^{d_{1}\frac {(t-t_{1})^{\alpha}}{\alpha}}-1 \bigr]. \end{aligned}

By (2.7) with $$t=t_{1}$$ we have

\begin{aligned} u(t) \leq&c_{1} e^{d_{1}\frac{(t-t_{1})^{\alpha}}{\alpha}} \biggl[u(s_{0})e^{\int_{s_{0}}^{t_{1}} p(\xi)(\xi-s_{0})^{\alpha-1}\,d\xi} \\ &{} + \int_{s_{0}}^{t_{1}} q(\eta) (\eta-s_{0})^{\alpha-1}e^{\int_{\eta }^{t_{1}} p(\xi)(\xi-s_{0})^{\alpha-1}\,d\xi} \,d\eta \biggr]+b_{1}e^{d_{1}\frac {(t-t_{1})^{\alpha}}{\alpha}},\quad t\in(t_{1},s_{1}]. \end{aligned}

This shows that the bound in (2.6) is true for $$k=1$$.

Now, we assume that inequality (2.5) holds for $$t\in(s_{n}, t_{n+1}]$$, $$n>0$$. By mathematical induction we will show that (2.6) is true for $$t\in(t_{n+1}, s_{n+1}]$$. Let

$$w(t)= \int_{t_{n+1}}^{t}(\xi-t_{n+1})^{\alpha-1}u( \xi)\,d\xi,\quad t\in (t_{n+1}, s_{n+1}].$$

Then $$w(t_{n+1})=0$$ and $$u(t)\leq c_{n+1}u(t_{n+1}^{-})+d_{n+1}w(t)+b_{n+1}$$. Using the above method, we have

$$w'(t) \leq(t-t_{n+1})^{\alpha -1}\bigl[c_{n+1}u \bigl(t_{n+1}^{-}\bigr)+b_{n+1}\bigr]+d_{n+1}(t-t_{n+1})^{\alpha-1}w(t),$$

$$w(t) \leq\frac{1}{d_{n+1}} \bigl[c_{n+1}u\bigl(t_{n+1}^{-} \bigr)+b_{n+1} \bigr] \bigl[e^{d_{n+1}\frac{(t-t_{n+1})^{\alpha}}{\alpha}}-1 \bigr].$$

Substituting the bound of $$w(t)$$ and inequality (2.5) with $$t=t_{n+1}$$, it follows that

\begin{aligned} u(t) \leq&c_{n+1}u\bigl(t_{n+1}^{-}\bigr)+d_{n+1}w(t)+b_{n+1} \\ \leq& c_{n+1}u\bigl(t_{n+1}^{-}\bigr)e^{d_{n+1}\frac{(t-t_{n+1})^{\alpha }}{\alpha}}+b_{n+1}e^{d_{n+1}\frac{(t-t_{n+1})^{\alpha}}{\alpha}} \\ \leq&c_{n+1} \biggl[e^{\int_{s_{n}}^{t_{n+1}}p(\xi)(\xi-s_{n})^{\alpha -1}\,d\xi} \biggl\{ u(s_{0})\prod _{0< k\leq n}c_{k}G_{k}+\sum _{0< k\leq n} \biggl(\prod_{k< j\leq n}c_{j}G_{j} \biggr)H_{k}b_{k} \\ &{}+ \sum_{0< k\leq n} \biggl(\prod _{k< j\leq n}c_{j}G_{j} \biggr)c_{k}H_{k} \int _{s_{k-1}}^{t_{k}}q(\eta) (\eta-s_{k-1})^{\alpha-1}e^{\int_{\eta }^{t_{k}}p(\xi)(\xi-s_{k-1})^{\alpha-1}\,d\xi} \,d\eta \biggr\} \\ &{}+ \int_{s_{n}}^{t_{n+1}}q(\eta) (\eta-s_{n})^{\alpha-1}e^{\int _{\eta}^{t_{n+1}}p(\xi)(\xi-s_{n})^{\alpha-1}\,d\xi} \,d\eta \biggr]e^{d_{n+1}\frac{(t-t_{n+1})^{\alpha}}{\alpha}} \\ &{} +b_{n+1}e^{d_{n+1}\frac{(t-t_{n+1})^{\alpha}}{\alpha}} \\ =&e^{d_{n+1}\frac{(t-t_{n+1})^{\alpha}}{\alpha}} \biggl\{ u(s_{0})c_{n+1}Q_{n+1} \prod_{0< k< n+1}c_{k}G_{k}+\sum _{0< k\leq n+1} \biggl(\prod_{k< j\leq n+1}c_{j}P_{j} \biggr)b_{k} \\ &{}+ \sum_{0< k\leq n+1} \biggl(\prod _{k< j\leq n+1}c_{j}P_{j} \biggr)c_{k} \int _{s_{k-1}}^{t_{k}}q(\eta) (\eta-s_{k-1})^{\alpha-1}e^{\int_{\eta }^{t_{k}}p(\xi)(\xi-s_{k-1})^{\alpha-1}\,d\xi} \,d\eta \biggr\} \end{aligned}

by using formula (2.2). Therefore (2.6) is satisfied for $$t\in(t_{n+1}, s_{n+1}]$$.

Finally, we suppose that estimate (2.6) is fulfilled for $$t\in(t_{n},s_{n}]$$, where $$n>1$$. Next, we will prove that inequality (2.5) holds for $$(s_{n}, t_{n+1}]$$. By using the above method, we get the inequality

\begin{aligned} u(t) \le& u(s_{n})e^{\int_{s_{n}}^{t} p(\xi)(\xi-s_{n})^{\alpha-1}\,d\xi} \\ &{}+ \int_{s_{n}}^{t} q(\eta) (\eta-s_{n})^{\alpha-1}e^{\int_{\eta}^{t} p(\xi)(\xi-s_{n})^{\alpha-1}\,d\xi} \,d\eta,\quad t\in(s_{n},t_{n+1}]. \end{aligned}

Using (2.6) with $$t=s_{n}$$ and applying (2.3), we obtain

\begin{aligned} u(t) \le& e^{\int_{s_{n}}^{t} p(\xi)(\xi-s_{n})^{\alpha-1}\,d\xi} \biggl[e^{d_{n}\frac{(s_{n}-t_{n})^{\alpha}}{\alpha}} \biggl\{ u(s_{0})c_{n}Q_{n} \prod_{0< k< n}c_{k}G_{k}+\sum _{0< k\leq n} \biggl(\prod_{k< j\leq n}c_{j}P_{j} \biggr)b_{k} \\ &{}+ \sum_{0< k\leq n} \biggl(\prod _{k< j\leq n}c_{j}P_{j} \biggr)c_{k} \int _{s_{k-1}}^{t_{k}}q(\eta) (\eta-s_{k-1})^{\alpha-1}e^{\int_{\eta }^{t_{k}}p(\xi)(\xi-s_{k-1})^{\alpha-1}\,d\xi} \,d\eta \biggr\} \biggr] \\ &{}+ \int_{s_{n}}^{t} q(\eta) (\eta-s_{n})^{\alpha-1}e^{\int_{\eta}^{t} p(\xi)(\xi-s_{n})^{\alpha-1}\,d\xi} \,d\eta \\ =&e^{\int_{s_{n}}^{t} p(\xi)(\xi-s_{n})^{\alpha-1}\,d\xi} \biggl[u(s_{0})\prod _{0< k\leq n}c_{k}G_{k}+\sum _{0< k\leq n} \biggl(\prod_{k< j\leq n}c_{j}G_{j} \biggr)H_{k}b_{k} \\ &{}+ \sum_{0< k\leq n} \biggl(\prod _{k< j\leq n}c_{j}G_{j} \biggr)c_{k}H_{k} \int _{s_{k-1}}^{t_{k}}q(\eta) (\eta-s_{k-1})^{\alpha-1}e^{\int_{\eta }^{t_{k}}p(\xi)(\xi-s_{k-1})^{\alpha-1}\,d\xi} \,d\eta \biggr] \\ &{}+ \int_{s_{n}}^{t} q(\eta) (\eta-s_{n})^{\alpha-1}e^{\int_{\eta}^{t} p(\xi)(\xi-s_{n})^{\alpha-1}\,d\xi} \,d\eta. \end{aligned}

Therefore inequality (2.5) is valid on $$(s_{n}, t_{n+1}]$$. This completes the proof. □

The following corollary can be obtained by replacing the given functions $$p(t)$$ and $$q(t)$$ by constants M and N, respectively.

### Corollary 2.1

Let $$b_{k}, c_{k}\geq0$$ and $$d_{k}>0$$, $$k=1,2,3,\ldots$$ , be constants. If $$M>0$$, $$N\in\mathbb{R}$$, and

$$\textstyle\begin{cases} _{s_{k}}D^{\alpha}u(t)\le Mu(t)+N, \quad t\in(s_{k},t_{k+1}], k=0,1, 2, \ldots, \\ u(t)\le c_{k}u(t_{k}^{-})+d_{k}\int_{t_{k}}^{t}(\xi-t_{k})^{\alpha-1}u(\xi)\,d\xi +b_{k},\quad t\in(t_{k},s_{k}], k=1,2,\ldots, \end{cases}$$
(2.9)

then

\begin{aligned} u(t) \le& e^{M\frac{(t-s_{m})^{\alpha}}{\alpha}} \biggl\{ u(s_{0})\prod _{0< k\leq m}c_{k}G_{k}^{*}+\sum _{0< k\leq m} \biggl(\prod_{k< j\leq m}c_{j}G_{j}^{*} \biggr)H_{k}b_{k} \\ &{}+ \frac{N}{M}\sum_{0< k\leq m} \biggl(\prod _{k< j\leq m}c_{j}G_{j}^{*} \biggr)c_{k}H_{k} \bigl(e^{M\frac{(t_{k}-s_{k-1})^{\alpha }}{\alpha}}-1 \bigr) \biggr\} \\ &{}+ \frac{N}{M} \bigl(e^{M\frac{(t-s_{m})^{\alpha}}{\alpha }}-1 \bigr),\quad t \in(s_{k},t_{k+1}], k=0,1, 2, \ldots, \end{aligned}
(2.10)

and

\begin{aligned} u(t) \le& e^{d_{\overline{m}}\frac{(t-t_{\overline{m}})^{\alpha }}{\alpha}} \biggl\{ u(s_{0})c_{\overline{m}}Q_{\overline{m}}^{*} \prod_{0< k< \overline{m}}c_{k}G_{k}^{*}+\sum _{0< k\leq\overline{m}} \biggl(\prod_{k< j\leq\overline{m}}c_{j}P_{j}^{*} \biggr)b_{k} \\ &{}+ \frac{N}{M}\sum_{0< k\leq\overline{m}} \biggl(\prod _{k< j\leq \overline{m}}c_{j}P_{j}^{*} \biggr)c_{k} \bigl(e^{M\frac {(t_{k}-s_{k-1})^{\alpha}}{\alpha}}-1 \bigr) \biggr\} , \\ & t\in (t_{k},s_{k}], k=1,2, 3, \ldots, \end{aligned}
(2.11)

where $$Q_{k}^{*}=e^{M\frac{(t_{k}-s_{k-1})^{\alpha}}{\alpha}}$$, $$G_{k}^{*}=Q_{k}^{*}H_{k}$$, and $$P_{k}^{*}=Q_{k}^{*}H_{k-1}$$.

Let $$H(t)$$ be the Heaviside function. We define two functions

\begin{aligned} \varphi(t) =& \sum_{i=0}^{\infty}H(t-s_{i})-H \bigl(t-t_{i+1}^{+}\bigr) \\ =& \textstyle\begin{cases} 0,& t\in(t_{k},s_{k}], k=1,2,3,\ldots, \\ 1,& t\in(s_{k},t_{k+1}], k=0,1,2,\ldots, \end{cases}\displaystyle \end{aligned}

and

\begin{aligned} \psi(t) =& \sum_{i=1}^{\infty}H(t-t_{i})-H \bigl(t-s_{i}^{+}\bigr) \\ =& \textstyle\begin{cases} 0,& t\in(s_{k},t_{k+1}], k=0,1,2,\ldots, \\ 1,& t\in(t_{k},s_{k}], k=1,2,3,\ldots. \end{cases}\displaystyle \end{aligned}

Next, we establish some new noninstantaneous impulsive integral inequalities.

### Theorem 2.2

Let $$p\in PC(U_{s_{k}}, {\mathbb {R}}_{+})$$, constants $$c_{k},b_{k}\geq0$$, $$d_{k}>0$$, $$k=1,2,3,\ldots$$ , and $$A\in\mathbb{R}$$. If

\begin{aligned} u(t) \le& \biggl(A+ \int_{s_{m}}^{t}(\xi-s_{m})^{\alpha-1}p( \xi)u(\xi )\,d\xi \biggr)\varphi(t) \\ &{} + \biggl(c_{\overline{m}}u\bigl(t_{\overline{m}}^{-}\bigr)+d_{\overline {m}} \int_{t_{\overline{m}}}^{t}(\xi-t_{\overline{m}})^{\alpha -1}u( \xi)\,d\xi+b_{\overline{m}} \biggr)\psi(t),\quad t\in\mathbb{R}_{+}, \end{aligned}
(2.12)

where $$s_{m}$$ and $$t_{\overline{m}}$$ are defined by (2.1), then we have

$$u(t)\le e^{\int_{s_{m}}^{t}p(\xi)(\xi-s_{m})^{\alpha-1}\,d\xi} \biggl(A\prod _{0< k\leq m}c_{k}G_{k}+\sum _{0< k\leq m} \biggl(\prod_{k< j\leq m}c_{j}G_{j} \biggr)H_{k}b_{k} \biggr)$$
(2.13)

for $$t\in(s_{k},t_{k+1}]$$, $$k=0,1,2,\ldots$$ , and

$$u(t)\le e^{d_{\overline{m}}\frac{(t-t_{\overline{m}})^{\alpha }}{\alpha}} \biggl(Ac_{\overline{m}}Q_{\overline{m}} \prod_{0< k< \overline{m}}c_{k}G_{k}+\sum _{0< k\leq\overline{m}} \biggl(\prod_{k< j\leq\overline{m}}c_{j}P_{j} \biggr)b_{k} \biggr)$$
(2.14)

for $$t\in(t_{k},s_{k}]$$, $$k=1,2,3,\ldots$$ .

### Proof

To prove inequalities (2.13) and (2.14), for $$t\in\mathbb{R}_{+}$$, we define the function

\begin{aligned} v(t) =& \biggl(A+ \int_{s_{m}}^{t}(\xi-s_{m})^{\alpha-1}p( \xi)u(\xi)\,d\xi \biggr)\varphi(t) \\ &{} + \biggl(c_{\overline{m}}u\bigl(t_{\overline{m}}^{-}\bigr)+d_{\overline {m}} \int_{t_{\overline{m}}}^{t}(\xi-t_{\overline{m}})^{\alpha -1}u( \xi)\,d\xi+b_{\overline{m}} \biggr)\psi(t), \end{aligned}

which yields $$u(t)\leq v(t)$$ for all $$t\in\mathbb{R}_{+}$$ and $$v(s_{0})=A$$. For any $$t\in(s_{k}, t_{k+1}]$$, $$k=0,1,2,\ldots$$ , we get

$$v(t)= A+ \int_{s_{m}}^{t}(\xi-s_{m})^{\alpha-1}p( \xi)u(\xi)\,d\xi.$$

Also, taking the conformable fractional derivative of order α, we have

$${}_{s_{m}}D^{\alpha} v(t)= p(t)u(t)\leq p(t)v(t).$$
(2.15)

For $$t\in(t_{k},s_{k}]$$, $$k=1,2,3,\ldots$$ , we obtain

\begin{aligned} v(t) =& c_{\overline{m}}u\bigl(t_{\overline{m}}^{-}\bigr)+d_{\overline{m}} \int _{t_{\overline{m}}}^{t}(\xi-t_{\overline{m}})^{\alpha-1}u( \xi)\,d\xi +b_{\overline{m}} \\ \leq& c_{\overline{m}}v\bigl(t_{\overline{m}}^{-}\bigr)+d_{\overline{m}} \int _{t_{\overline{m}}}^{t}(\xi-t_{\overline{m}})^{\alpha-1}v( \xi)\,d\xi +b_{\overline{m}}. \end{aligned}
(2.16)

An application of Theorem 2.1 to (2.15) and (2.16) yields

$$v(t)\le e^{\int_{s_{m}}^{t}p(\xi)(\xi-s_{m})^{\alpha-1}\,d\xi} \biggl(A\prod_{0< k\leq m}c_{k}G_{k}+ \sum_{0< k\leq m} \biggl(\prod_{k< j\leq m}c_{j}G_{j} \biggr)H_{k}b_{k} \biggr)$$

for $$t\in(s_{k},t_{k+1}]$$, $$k=0,1,2,\ldots$$ , and

$$v(t)\le e^{d_{\overline{m}}\frac{(t-t_{\overline{m}})^{\alpha }}{\alpha}} \biggl(Ac_{\overline{m}}Q_{\overline{m}}\prod _{0< k< \overline{m}}c_{k}G_{k}+\sum _{0< k\leq\overline{m}} \biggl(\prod_{k< j\leq\overline{m}}c_{j}P_{j} \biggr)b_{k} \biggr)$$

for $$t\in(t_{k},s_{k}]$$, $$k=1,2,3,\ldots$$ . From $$u(t)\leq v(t)$$, $$t\in \mathbb{R}_{+}$$, we get the desired results in (2.13) and (2.14). The proof is completed. □

### Theorem 2.3

Let $$p\in PC(U_{s_{k}}, {\mathbb {R}}_{+})$$, let h be a positive fractional integrable function of order α, and let $$c_{k},b_{k}\geq0$$ and $$d_{k}>0$$, $$k=1,2,3,\ldots$$ , be constants. If

\begin{aligned} u(t) \le& h(t)+ \biggl( \int_{s_{m}}^{t}(\xi-s_{m})^{\alpha-1}p( \xi)u(\xi )\,d\xi \biggr)\varphi(t) \\ &{} + \biggl(c_{\overline{m}}u\bigl(t_{\overline{m}}^{-}\bigr)+d_{\overline {m}} \int_{t_{\overline{m}}}^{t}(\xi-t_{\overline{m}})^{\alpha -1}u( \xi)\,d\xi+b_{\overline{m}} \biggr)\psi(t),\quad t\in\mathbb{R}_{+}, \end{aligned}
(2.17)

where $$s_{m}$$ and $$t_{\overline{m}}$$ are defined by (2.1), then we have

\begin{aligned} u(t) \le& h(t)+e^{\int_{s_{m}}^{t}p(\xi)(\xi-s_{m})^{\alpha-1}\,d\xi } \biggl\{ \sum_{0< k\leq m} \biggl(\prod_{k< j\leq m}c_{j}G_{j} \biggr)H_{k} \bigl(b_{k}+c_{k}h \bigl(t_{k}^{-}\bigr)+d_{k}K_{k} \bigr) \\ &{}+ \sum_{0< k\leq m} \biggl(\prod _{k< j\leq m}c_{j}G_{j} \biggr)c_{k}H_{k} \int _{s_{k-1}}^{t_{k}}p(\eta)h(\eta) (\eta-s_{k-1})^{\alpha-1}e^{\int _{\eta}^{t_{k}}p(\xi)(\xi-s_{k-1})^{\alpha-1}\,d\xi} \,d\eta \biggr\} \\ &{}+ \int_{s_{m}}^{t}p(\eta)h(\eta) (\eta-s_{m})^{\alpha-1}e^{\int _{\eta}^{t}p(\xi)(\xi-s_{m})^{\alpha-1}\,d\xi} \,d\eta, \\ &t\in (s_{k},t_{k+1}], k=0,1, 2, \ldots, \end{aligned}
(2.18)

and

\begin{aligned} u(t) \le&h(t)+ e^{d_{\overline{m}}\frac{(t-t_{\overline {m}})^{\alpha}}{\alpha}} \biggl\{ \sum_{0< k\leq\overline{m}} \biggl(\prod_{k< j\leq\overline{m}}c_{j}P_{j} \biggr) \bigl(b_{k}+c_{k}h\bigl(t_{k}^{-} \bigr)+d_{k}K_{k} \bigr) \\ &{}+ \sum_{0< k\leq\overline{m}} \biggl(\prod _{k< j\leq\overline {m}}c_{j}P_{j} \biggr)c_{k} \int_{s_{k-1}}^{t_{k}}p(\eta)h(\eta) (\eta -s_{k-1})^{\alpha-1}e^{\int_{\eta}^{t_{k}}p(\xi)(\xi -s_{k-1})^{\alpha-1}\,d\xi}\,d\eta \biggr\} , \\ & t\in(t_{k},s_{k}], k=1,2, 3, \ldots, \end{aligned}
(2.19)

where the constants $$K_{k}$$, $$k=1,2,3,\ldots$$ , are defined by $$K_{k}=\int _{t_{k}}^{s_{k}}(\xi-t_{k})^{\alpha-1}h(\xi)\,d\xi$$.

### Proof

For $$t\in\mathbb{R}_{+}$$, setting

\begin{aligned} y(t) =& \biggl( \int_{s_{m}}^{t}(\xi-s_{m})^{\alpha-1}p( \xi)u(\xi)\,d\xi \biggr)\varphi(t) \\ &{} + \biggl(c_{\overline{m}}u\bigl(t_{\overline{m}}^{-}\bigr)+d_{\overline {m}} \int_{t_{\overline{m}}}^{t}(\xi-t_{\overline{m}})^{\alpha -1}u( \xi)\,d\xi+b_{\overline{m}} \biggr)\psi(t), \end{aligned}

we have

$${}_{s_{m}}D^{\alpha} y(t)= p(t)u(t), \qquad y(s_{0})=0,$$

for $$t\in(s_{k},t_{k+1}]$$, $$k=0,1,2,\ldots$$ , and

$$y(t)=c_{\overline{m}}u\bigl(t_{\overline{m}}^{-}\bigr)+d_{\overline{m}} \int _{t_{\overline{m}}}^{t}(\xi-t_{\overline{m}})^{\alpha-1}u( \xi)\,d\xi +b_{\overline{m}}$$

for $$t\in(t_{k},s_{k}]$$, $$k=1,2,3,\ldots$$ . Since $$u(t)\leq h(t)+y(t)$$, $$t\in\mathbb{R}_{+}$$, this reduces to

$${}_{s_{m}}D^{\alpha} y(t)\leq p(t)y(t)+p(t)h(t), \qquad y(s_{0})=0,$$
(2.20)

and

\begin{aligned} y(t) \leq& c_{\overline{m}}y\bigl(t_{\overline{m}}^{-}\bigr)+d_{\overline {m}} \int_{t_{\overline{m}}}^{t}(\xi-t_{\overline{m}})^{\alpha -1}y( \xi)\,d\xi \\ &{}+ \bigl(b_{\overline{m}}+c_{\overline{m}}h\bigl(t_{\overline {m}}^{-} \bigr)+d_{\overline{m}}K_{\overline{m}} \bigr). \end{aligned}
(2.21)

Now Theorem 2.1, together with the inequality $$u(t)\leq h(t)+y(t)$$, yields estimates (2.18) and (2.19), completing the proof. □

Next, we obtain the following corollary by putting constant values $$h(t)\equiv B>0$$ and $$p(t)\equiv M>0$$.

### Corollary 2.2

Let constants $$c_{k},b_{k}\geq0$$ and $$d_{k}>0$$, $$k=1,2,3,\ldots$$ . If

\begin{aligned} u(t) \le& B+ \biggl(M \int_{s_{m}}^{t}(\xi-s_{m})^{\alpha-1}u( \xi)\,d\xi \biggr)\varphi(t) \\ &{} + \biggl(c_{\overline{m}}u\bigl(t_{\overline{m}}^{-}\bigr)+d_{\overline {m}} \int_{t_{\overline{m}}}^{t}(\xi-t_{\overline{m}})^{\alpha -1}u( \xi)\,d\xi+b_{\overline{m}} \biggr)\psi(t),\quad t\in\mathbb{R}_{+}, \end{aligned}
(2.22)

where $$s_{m}$$ and $$t_{\overline{m}}$$ are defined by (2.1), then we have

\begin{aligned} u(t) \le& B e^{M\frac{(t-s_{m})^{\alpha}}{\alpha}}+e^{M\frac {(t-s_{m})^{\alpha}}{\alpha}} \biggl\{ \sum _{0< k\leq m} \biggl(\prod_{k< j\leq m}c_{j}G_{j}^{*} \biggr)H_{k}Z_{k} \\ &{}+ B\sum_{0< k\leq m} \biggl(\prod _{k< j\leq m}c_{j}G_{j}^{*} \biggr)c_{k}H_{k} \bigl(e^{M\frac{(t_{k}-s_{k-1})^{\alpha}}{\alpha}}-1 \bigr) \biggr\} \\ & t\in(s_{k},t_{k+1}], k=0,1, 2, \ldots, \end{aligned}
(2.23)

and

\begin{aligned} u(t) \le&B+ e^{d_{\overline{m}}\frac{(t-t_{\overline{m}})^{\alpha }}{\alpha}} \biggl\{ \sum_{0< k\leq\overline{m}} \biggl(\prod_{k< j\leq \overline{m}}c_{j}P_{j}^{*} \biggr)Z_{k} \\ &{}+ B\sum_{0< k\leq\overline{m}} \biggl(\prod _{k< j\leq\overline {m}}c_{j}P_{j}^{*} \biggr)c_{k} \bigl(e^{M\frac{(t_{k}-s_{k-1})^{\alpha }}{\alpha}}-1 \bigr) \biggr\} , \\ & t\in(t_{k},s_{k}], k=1,2, 3, \ldots, \end{aligned}
(2.24)

where $$G_{j}^{*}$$ and $$P_{j}^{*}$$ are defined as in Corollary 2.1, and $$Z_{k}=b_{k}+Bc_{k}+Bd_{k}(s_{k}-t_{k})^{\alpha}/\alpha$$.

## Applications

In this section, we establish two applications of noninstantaneous impulsive differential and integral inequalities. Let $$J=[0,T]$$ with $$t_{n+1}=T$$ and $$\overline{J}=[0,\overline{T}]$$ with $$s_{n+1}=\overline{T}$$ for some $$n\geq1$$. The first purpose is accomplished by considering two problems that have the end points at $$t_{n+1}$$ and $$s_{n+1}$$, respectively. Now, we consider

$$\textstyle\begin{cases} {}_{s_{k}}D^{\alpha}u(t)-Mu(t)+a(t)\leq0,\quad t\in(s_{k},t_{k+1}], k=0,1,2,\ldots,n, \\ u(t)\leq c_{k}u(t_{k}^{-})+d_{k}\int_{t_{k}}^{t}(\xi-t_{k})^{\alpha-1}u(\xi)\,d\xi, \quad t\in(t_{k},s_{k}], k=1,2,3,\ldots,n, \\ u(0)=u(T)+\lambda, \end{cases}$$
(3.1)

and

$$\textstyle\begin{cases} {}_{s_{k}}D^{\alpha}v(t)-Mv(t)+a(t)\leq0,\quad t\in(s_{k},t_{k+1}], k=0,1,2,\ldots,n, \\ v(t)\leq c_{k}v(t_{k}^{-})+d_{k}\int_{t_{k}}^{t}(\xi-t_{k})^{\alpha-1}v(\xi)\,d\xi ,\quad t\in(t_{k},s_{k}], k=1,2,3,\ldots,n+1, \\ v(0)=v(\overline{T})+\lambda, \end{cases}$$
(3.2)

where $$M>0$$, $$a(t)\in C[\mathbb{R}_{+},\mathbb{R}_{+}]$$, $$c_{k}\geq0$$, and $$d_{k}>0$$. Let us state the following conditions:

(H1):

$$e^{M\frac{(T-s_{n})^{\alpha}}{\alpha}}\prod_{k=1}^{n}c_{k}G^{*}<1$$,

(H2):

$$\lambda\leq e^{M\frac{(T-s_{n})^{\alpha}}{\alpha }}\int_{s_{n}}^{T}a(\eta)(\eta-s_{n})^{\alpha-1}e^{-M\frac{(\eta -s_{n})^{\alpha}}{\alpha}}\,d\eta$$,

(H3):

$$\prod_{k=1}^{n+1}c_{k}G_{k}^{*}<1$$,

(H4):

$$\lambda\leq e^{d_{n+1}\frac{(\overline {T}-t_{n+1})^{\alpha}}{\alpha}}\sum_{k=1}^{n+1} (\prod_{k< j\leq n+1}c_{j}P_{j}^{*} )c_{k}D_{k}$$, where $$D_{k}$$ is defined by

$$D_{k}=e^{M\frac{(t_{k}-s_{k-1})^{\alpha}}{\alpha}} \int _{s_{k-1}}^{t_{k}}a(\eta) (\eta-s_{k-1})^{\alpha-1}e^{-M\frac{(\eta -s_{k-1})^{\alpha}}{\alpha}} \,d\eta,\quad k=1,2,\ldots, n+1.$$

### Corollary 3.1

Let u and v be unknown functions satisfying (3.1) and (3.2), respectively. If (H1)(H2) hold, then $$u(t)\leq0$$ for $$t\in J$$. If (H3)(H4) hold, then $$v(t)\leq0$$ for $$t\in\overline{J}$$.

### Proof

Applying Theorem 2.1 to the first two inequalities in problem (3.1), we have

\begin{aligned} u(t) \le&u(0)e^{M\frac{(t-s_{m})^{\alpha}}{\alpha}}\prod_{0< k\leq m}c_{k}G_{k}^{*}- e^{M\frac{(t-s_{m})^{\alpha}}{\alpha}}\sum_{0< k\leq m} \biggl(\prod _{k< j\leq m}c_{j}G_{j}^{*} \biggr)c_{k}H_{k}D_{k} \\ &{}- e^{M\frac{(t-s_{m})^{\alpha}}{\alpha}} \int_{s_{m}}^{t}a(\eta ) (\eta-s_{m})^{\alpha-1}e^{-M\frac{(\eta-s_{m})^{\alpha}}{\alpha }} \,d\eta, \\ & t\in(s_{k},t_{k+1}], k=0,1, 2, \ldots,n. \end{aligned}

Since $$a(t)\geq0$$ for all $$t\in\mathbb{R}_{+}$$ and all constants are positive, it is sufficient to show that $$u(0)\leq0$$. At the end point $$t=T$$, we obtain

\begin{aligned} u(T) \le&u(0)e^{M\frac{(T-s_{n})^{\alpha}}{\alpha}}\prod_{k=1}^{n}c_{k}G_{k}^{*}- e^{M\frac{(T-s_{n})^{\alpha}}{\alpha}}\sum_{k=1}^{n} \biggl(\prod _{k< j\leq n}c_{j}G_{j}^{*} \biggr)c_{k}H_{k}D_{k} \\ &{}- e^{M\frac{(T-s_{n})^{\alpha}}{\alpha}} \int_{s_{n}}^{T}a(\eta ) (\eta-s_{n})^{\alpha-1}e^{-M\frac{(\eta-s_{n})^{\alpha}}{\alpha }} \,d\eta. \end{aligned}

By conditions (H1)–(H2) we have

\begin{aligned} u(0) \Biggl(1-e^{M\frac{(T-s_{n})^{\alpha}}{\alpha}}\prod_{k=1}^{n}c_{k}G_{k}^{*} \Biggr) \le&\lambda- e^{M\frac{(T-s_{n})^{\alpha }}{\alpha}}\sum_{k=1}^{n} \biggl(\prod_{k< j\leq n}c_{j}G_{j}^{*} \biggr)c_{k}H_{k}D_{k} \\ &{}- e^{M\frac{(T-s_{n})^{\alpha}}{\alpha}} \int_{s_{n}}^{T}a(\eta ) (\eta-s_{n})^{\alpha-1}e^{-M\frac{(\eta-s_{n})^{\alpha}}{\alpha }} \,d\eta \\ \leq& 0, \end{aligned}

which yields $$u(0)\leq0$$. Therefore $$u(t)\leq0$$ for $$t\in[0,T]$$.

Next, we will show that $$v(t)\leq0$$ for $$t\in\overline{J}$$. The application of Theorem 2.1 for the first two inequalities in problem (3.2) leads to

\begin{aligned}& v(t)\le e^{d_{\overline{m}}\frac{(t-t_{\overline{m}})^{\alpha }}{\alpha}} \biggl\{ v(0)c_{\overline{m}}Q_{\overline{m}}^{*}\prod _{0< k< \overline{m}}c_{k}G_{k}^{*}- \sum _{0< k\leq\overline{m}} \biggl(\prod_{k< j\leq\overline{m}}c_{j}P_{j}^{*} \biggr)c_{k}D_{k} \biggr\} , \\& \quad t\in(t_{k},s_{k}], k=1,2, 3, \ldots,n+1. \end{aligned}

Substituting the end point at $$t=\overline{T}$$, we have

$$v(\overline{T})\le v(0)\prod_{k=1}^{n+1}c_{k}G_{k}^{*}- e^{d_{n+1}\frac {(\overline{T}-t_{n+1})^{\alpha}}{\alpha}}\sum_{k=1}^{n+1} \biggl(\prod _{k< j\leq n+1}c_{j}P_{j}^{*} \biggr)c_{k}D_{k},$$

which implies

\begin{aligned} v(0) \Biggl(1-\prod_{k=1}^{n+1}c_{k}G_{k}^{*} \Biggr) \le&\lambda- e^{d_{n+1}\frac{(\overline{T}-t_{n+1})^{\alpha}}{\alpha}}\sum_{k=1}^{n+1} \biggl(\prod_{k< j\leq n+1}c_{j}P_{j}^{*} \biggr)c_{k}D_{k} \\ \leq& 0, \end{aligned}

by conditions (H3)–(H4). This means that $$v(0)\leq0$$. In the same way, we can conclude that $$v(t)\leq0$$ for $$t\in\overline{J}$$. The proof is completed. □

Finally, we apply the noninstantaneous impulsive inequality to the initial value problem of the form

$$\textstyle\begin{cases} {}_{s_{k}}D^{\alpha}u(t)=f(t,u(t)),\quad t\in(s_{k},t_{k+1}], k=0,1, 2, \ldots, \\ u(t)= c_{k}u(t_{k}^{-})+d_{k}\int_{t_{k}}^{t}(\xi-t_{k})^{\alpha-1}u(\xi)\,d\xi,\quad t\in(t_{k},s_{k}], k=1,2,\ldots, \\ u(0)=u_{0}, \end{cases}$$
(3.3)

where $$0<\alpha\leq1$$, $$c_{k}\geq0$$, $$d_{k}>0$$, $$u_{0}\in\mathbb{R}$$, and the given function $$f\in PC(U_{s_{k}}\times\mathbb{R},\mathbb{R})$$ satisfies

(H5):

$$|f(t,u)|\leq M|u|$$, $$M>0$$, for all $$t\in U_{s_{k}}$$.

### Corollary 3.2

If (H5) holds, then the solution $$u(t)$$ of problem (3.3) is estimated as

$$\bigl\vert u(t) \bigr\vert \le e^{M\frac{(t-s_{m})^{\alpha}}{\alpha}} \vert u_{0} \vert \prod_{0< k\leq m}c_{k}G_{k}^{*}, \quad t\in(s_{k},t_{k+1}], k=0,1,2,\ldots,$$
(3.4)

and

$$\bigl\vert u(t) \bigr\vert \le e^{d_{\overline{m}}\frac{(t-t_{\overline{m}})^{\alpha }}{\alpha}} \vert u_{0} \vert c_{\overline{m}}Q_{\overline{m}}^{*}\prod _{0< k< \overline{m}}c_{k}G_{k}^{*}, \quad t \in(t_{k},s_{k}], k=1,2,3,\ldots.$$
(3.5)

### Proof

Taking the conformable fractional integral of order α to the first equation of problem (3.3), we obtain

$$u(t)= u(s_{k})+ \int_{s_{k}}^{t}(\xi-s_{k})^{\alpha-1}f \bigl(\xi,u(\xi)\bigr)\,d\xi,\quad t\in(s_{k},t_{k+1}], k=0,1, 2, \ldots.$$

From condition (H5) it follows that

\begin{aligned} \bigl\vert u(t) \bigr\vert \leq& \bigl\vert u(s_{k}) \bigr\vert + \int_{s_{k}}^{t}(\xi-s_{k})^{\alpha-1} \bigl\vert f\bigl(\xi,u(\xi )\bigr) \bigr\vert \,d\xi, \\ \leq& \bigl\vert u(s_{k}) \bigr\vert +M \int_{s_{k}}^{t}(\xi-s_{k})^{\alpha-1} \bigl\vert u(\xi) \bigr\vert \,d\xi. \end{aligned}

Since $$u(s_{0})=u_{0}$$, by Theorem 2.2 inequalities (3.4)–(3.5) hold, and the proof is completed. □

## References

1. Podlubny, I.: Fractional Differential Equations. Academic Press, San Diego (1999)

2. Kilbas, A.A., Srivastava, H.M., Trujillo, J.J.: Theory and Applications of Fractional Differential Equations. North-Holland Mathematics Studies, vol. 204. Elsevier, Amsterdam (2006)

3. Diethelm, K.: The Analysis of Fractional Differential Equations. Lecture Notes in Mathematics. Springer, Berlin (2010)

4. Agarwal, R.P., Zhou, Y., He, Y.: Existence of fractional neutral functional differential equations. Comput. Math. Appl. 59, 1095–1100 (2010)

5. Ahmad, B., Ntouyas, S.K., Tariboon, J.: Existence results for mixed Hadamard and Riemann–Liouville fractional integro-differential equations. Adv. Differ. Equ. 2015, 293 (2015)

6. Ahmad, B., Nieto, J.J.: Riemann–Liouville fractional integro-differential equations with fractional nonlocal integral boundary conditions. Bound. Value Probl. 2011, 36 (2011)

7. Ahmad, B., Ntouyas, S.K., Alsaedi, A.: New existence results for nonlinear fractional differential equations with three-point integral boundary conditions. Adv. Differ. Equ. 2011, Article ID 107384 (2011)

8. Tariboon, J., Ntouyas, S.K., Thiramanus, P.: Riemann–Liouville fractional differential equations with Hadamard fractional integral conditions. Int. J. Appl. Math. Stat. 54, 119–134 (2016)

9. Ahmad, B., Ntouyas, S.K., Alsaedi, A.: A study of nonlinear fractional differential equations of arbitrary order with Riemann–Liouville type multistrip boundary conditions. Math. Probl. Eng. 2013, Article ID 320415 (2013)

10. Alghamdi, N., Ahmad, B., Ntouyas, S.K., Alsaedi, A.: Sequential fractional differential equations with nonlocal boundary conditions on an arbitrary interval. Adv. Differ. Equ. 2017, 246 (2017)

11. Ntouyas, S.K., Tariboon, J.: Fractional boundary value problems with multiple orders of fractional derivatives and integrals. Electron. J. Differ. Equ. 2017, 100 (2017)

12. Thaiprayoon, C., Ntouyas, S.K., Tariboon, J.: On the nonlocal Katugampola fractional integral conditions for fractional Langevin equation. Adv. Differ. Equ. 2015, 374 (2015)

13. Abdeljawad, T.: On conformable fractional calculus. J. Comput. Appl. Math. 279, 57–66 (2015)

14. Khalil, R., Al Horani, M., Yousef, A., Sababheh, M.: A new definition of fractional derivative. J. Comput. Appl. Math. 264, 65–70 (2015)

15. Usta, F., Sarikaya, M.: Some improvements of conformable fractional integral inequalities. Int. J. Anal. Appl. 14, 162–166 (2017)

16. Anderson, D.R., Ulness, D.J.: Results for conformable differential equations. Preprint

17. Atangana, A., Baleanu, D., Alsaedi, A.: New properties of conformable derivative. Open Math. 13, 889–898 (2015)

18. Katugampola, U.: A new fractional derivative with classical properties. arXiv:1410.6535 [math.CA]

19. Usta, F.: Explicit bounds on certain integral inequalities via conformable fractional calculus. Cogent Math. 4, Article ID 1277505 (2017)

20. Lakshmikantham, V., Bainov, D.D., Simeonov, P.S.: Theory of Impulsive Differential Equations. World Scientific, Singapore (1989)

21. Benchohra, M., Henderson, J., Ntouyas, S.K.: Impulsive Differential Equations and Inclusions, vol. 2. Hindawi Publishing Corporation, New York (2006)

22. Samoilenko, A.M., Perestyuk, N.A.: Impulsive Differential Equations. World Scientific, Singapore (1995)

23. Hernández, E., O’Regan, D.: On a new class of abstract impulsive differential equations. Proc. Am. Math. Soc. 141, 1641–1649 (2013)

24. Pierri, M., O’Regan, D., Rolnik, V.: Existence of solutions for semi-linear abstract differential equations with not instantaneous impulses. Appl. Math. Comput. 219, 6743–6749 (2013)

25. Fec̆kan, M., Wang, J.R., Zhou, Y.: Periodic solutions for nonlinear evolution equations with non-instantaneous impulses. Nonauton. Dyn. Syst. 1, 93–101 (2014)

26. Gautam, G.R., Dabas, J.: Mild solution for fractional functional integro-differential equation with not instantaneous impulse. Malaya J. Mat. 2(3), 428–437 (2014)

27. Pandey, D.N., Das, S., Sukavanam, N.: Existence of solution for a second-order neutral differential equation with state dependent delay and non-instantaneous impulses. Int. J. Nonlinear Sci. 18(2), 145–155 (2014)

28. Wang, J.R., Li, X.: Periodic BVP for integer/fractional order nonlinear differential equations with non-instantaneous impulses. J. Appl. Math. Comput. 46, 321–334 (2014)

29. Sood, A., Srivastava, S.K.: On stability of differential systems with noninstantaneous impulses. Math. Probl. Eng. 2015, Article ID 691687 (2015)

30. Li, P., Xu, C.: Boundary value problems of fractional order differential equation with integral boundary conditions and not instantaneous impulses. J. Funct. Spaces 2015, Article ID 954925 (2015)

31. Pierri, M., Henríquez, H.R., Prokopczyk, A.: Global solutions for abstract differential equations with non-instantaneous impulses. Mediterr. J. Math. 13, 1685–1708 (2016)

32. Agarwal, R.P., Hristova, S., O’Regan, D.: Noninstantaneous impulses in Caputo fractional differential equations and practical stability via Lyapunov functions. J. Franklin Inst. 354, 3097–3119 (2017)

33. Agarwal, R.P., O’Regan, D., Hristova, S.: Monotone iterative technique for the initial value problem for differential equations with non-instantaneous impulses. Appl. Math. Comput. 298, 45–56 (2017)

34. Bai, L., Nieto, J.J., Wang, X.: Variational approach to non-instantaneous impulsive nonlinear differential equations. J. Nonlinear Sci. Appl. 10, 2440–2448 (2017)

35. Wang, J.R., Fečkan, M., Tian, Y.: Stability analysis for a general class of non-instantaneous impulsive differential equations. Mediterr. J. Math. 14, 46 (2017). https://doi.org/10.1007/s00009-017-0867-0

36. Yang, D., Wang, J.R.: Integral boundary value problems for nonlinear non-instantaneous impulsive differential equations. J. Appl. Math. Comput. 55, 59–78 (2017). https://doi.org/10.1007/s12190-016-1025-8

## Availability of data and materials

Data sharing not applicable to this article as no data sets were generated or analyzed during the current study.

## Funding

This research was funded by College of Industrial Technology, King Mongkut’s University of Technology North Bangkok, Thailand.

## Author information

Authors

### Contributions

All authors contributed equally to this work. All authors read and approved the final manuscript.

## Ethics declarations

### Competing interests

The authors declare that they have no competing interests. 