A Gronwall inequality via the generalized proportional fractional derivative with applications

Jehad Alzabut; Thabet Abdeljawad; Fahd Jarad; Weerawat Sudsutad

doi:10.1186/s13660-019-2052-4

Research
Open Access
Published: 11 April 2019

A Gronwall inequality via the generalized proportional fractional derivative with applications

Jehad Alzabut ORCID: orcid.org/0000-0002-5262-1138¹,
Thabet Abdeljawad¹,
Fahd Jarad² &
Weerawat Sudsutad³

Journal of Inequalities and Applications volume 2019, Article number: 101 (2019) Cite this article

1296 Accesses
17 Citations
Metrics details

Abstract

In this paper, we provide a new version for the Gronwall inequality in the frame of the generalized proportional fractional derivative. Prior to the main results, we introduce the generalized proportional fractional derivative and expose some of its features. As an application, we accommodate the newly defined derivative to prove the uniqueness and obtain a bound in terms of Mittag-Leffler function for the solutions of a nonlinear delay proportional fractional system. An example is presented to demonstrate the applicability of the theory.

Introduction

Integral inequalities are a fabulous instrument for developing the qualitative and quantitative properties of differential equations. There has been a continuous growth of interest in such an area of research in order to meet the needs of various applications of these inequalities. Such inequalities have been studied by many researches who in turn used diverse techniques for the sake of exploring and proposing these inequalities [1,2,3]. One of the most important inequalities is the distinguished Gronwall inequality [4,5,6,7,8].

On the other hand, the fractional calculus, which is considered to be the generalization of the traditional calculus dealing with nonnegative integer order integration and differentiation, has been one of the most rapidly growing fields of research because of the interesting results ascertained when the fractional operators are applied to model real world problems [9,10,11,12,13,14]. An attracting particularization of this field is that there are many fractional operators, and this allows the researchers to select the most suitable operator for the sake of modeling the problem under investigation. Besides, because of its simplicity in applications, researchers have paid more attention to recently discovered fractional operators without singular kernels [15, 16], and then many articles considering these types of fractional operators have recently come into view.

In parallel to the increasing interests in the theory of fractional differential equations, many researchers have extended these mathematical inequalities to differential equations containing fractional derivatives involving singular and nonsingular kernels. We refer here to some of these results [17,18,19,20,21,22,23,24,25,26,27,28]. Following this tendency, we provide a new version for Gronwall inequality in the frame of the generalized proportional fractional (GPF) derivatives. More precisely, we prove the following result: If we have

$$ u(t)\le v(t)+\rho ^{\alpha }\varGamma (\alpha )w(t) \bigl({}_{0}I^{\alpha , \rho }u \bigr) (t), $$

(1)

then

$$ u(t)\le v(t)+ \int _{0}^{t} \Biggl\{ \sum _{m=1}^{\infty }\frac{(w(t)\varGamma (\alpha ))^{m}}{\varGamma (m\alpha )}e^{\frac{\rho -1}{\rho }(t-s)}(t-s)^{m \alpha -1}v(s) \Biggr\} \,ds, \quad t \in [0,T), $$

(2)

where ${}_{0}I^{\alpha ,\rho }$ is the proportional fractional integral of order $\alpha , \rho >0$, u, v are nonnegative locally integrable functions on $[0,T)$, and $w(t)$ is a nonnegative, nondecreasing, and continuous function defined on $t \in [0,T)$ such that $w(t) \le M $, where M is a constant. The peculiarity of the proportional fractional operators is that their kernels contain an exponential term that comes out naturally in addition to the kernel that appears in the traditional fractional operators.

The structure of the paper is organized as follows: Sect. 2 is devoted to providing essential preliminaries on the GPF derivatives and integrals as well as stating some fundamental lemmas that will be used in the subsequent sections. Section 3 provides the Gronwall inequality within the GPF derivatives. Section 4 discusses some applications on the uniqueness of solutions for a delay system. Moreover, a bound for the solutions is also provided. An example that examines the theoretical results is provided at the end of the paper. Section 5 concludes our results.

Preliminaries on GPF derivative and integral

In this section, we set forth some terminologies, definitions, and essential lemmas that will be used throughout the remaining part of the paper. For their justifications and proofs, the reader can consult the paper [29].

A limit-based definition of the so-called conformable derivative was given in [30, 31] as follows:

$$ D^{\alpha }f(t)=\lim_{\epsilon \rightarrow 0}\frac{f(t+\epsilon t^{1- \alpha })-f(t)}{\epsilon }. $$

(3)

It is obvious that when the function f is differentiable, the conformable derivative of f reads

$$ D^{\alpha }f(t)=t^{1-\alpha }f^{\prime }(t). $$

(4)

The main drawback of this derivative is that when the order of the derivative is 0 or $\alpha \rightarrow 0$, the function f is not obtained. That is, $D^{0}f\neq f$. In order to overcome this problem and benefit from the proportional derivative for controller output with two tuning parameters [32], Anderson et al. defined the modified conformable derivative as follows.

Definition 1

For $\rho \in [0,1]$, let the functions $\kappa _{0}, \kappa _{1}:[0,1] \times \mathbb{R}\rightarrow [0,\infty )$ be continuous such that, for all $t \in \mathbb{R}$, we have

$$ \lim_{\rho \rightarrow 0^{+}}\kappa _{1}(\rho ,t)=1, \qquad \lim _{\rho \rightarrow 0^{+}}\kappa _{0}(\rho ,t)=0, \qquad \lim _{\rho \rightarrow 1^{-}}\kappa _{1}(\rho ,t)=0, \qquad \lim _{\rho \rightarrow 1^{-}}\kappa _{0}(\rho ,t)=1, $$

and $\kappa _{1}(\rho ,t)\neq 0$, $\rho \in [0,1)$, $\kappa _{0}(\rho ,t) \neq 0$, $\rho \in (0,1]$. Then, the proportional derivative of order ρ is defined by

$$ D^{\rho }f(t)=\kappa _{1}(\rho ,t) f(t)+\kappa _{0}(\rho ,t) f^{\prime }(t). $$

(5)

For more details about the control theory of the proportional derivative and its component functions $\kappa _{0}$ and $\kappa _{1}$, we refer the reader to [32, 33]. We shall restrict ourselves to the case when $\kappa _{1}(\rho ,t)=1-\rho $ and $\kappa _{0}(\rho ,t)= \rho $. Therefore, (5) becomes

$$ D^{\rho }f(t)=(1-\rho ) f(t)+\rho f^{\prime }(t). $$

(6)

It is easy to figure out that $\lim_{\rho \rightarrow 0^{+}}D^{\rho }f(t)= f(t)$ and $\lim_{\rho \rightarrow 1^{-}}D^{\rho }f(t)= f^{\prime }(t)$. Thus, the derivative (6) is somehow considered to be more general than the conformable derivative which evidently does not tend to the original functions as ρ tends to 0.

The GPF integral and derivative are defined as follows.

Definition 2

([29])

For $0<\rho \le 1$, $\alpha \in \mathbb{C}$, and $\operatorname{Re}(\alpha )>0$, the GPF integral of f of order α is

$$ \bigl({}_{a}I^{\alpha ,\rho } f\bigr) (t)= \frac{1}{\rho ^{\alpha }\varGamma (\alpha )} \int _{a}^{t} e^{\frac{\rho -1}{ \rho }(t-\tau )} (t-\tau )^{\alpha -1} f(\tau )\,d\tau =\rho ^{-\alpha }e ^{\frac{\rho -1}{\rho }t} \bigl({{}_{a}I}^{\alpha } \bigl( e^{\frac{1- \rho }{\rho }t} f(t) \bigr) \bigr). $$

(7)

Definition 3

([29])

For $0<\rho \le 1$, $\alpha \in \mathbb{C}$, $\operatorname{Re}(\alpha )\geq 0$, and $n=[\operatorname{Re}(\alpha )]+1$, then the GPF derivative of f of order α is

$$ \bigl({}_{a}D^{\alpha ,\rho }f\bigr) (t) = \bigl(D^{n,\rho } {}_{a}I^{n-\alpha ,\rho } f\bigr) (t)= \frac{D _{t}^{n,\rho }}{\rho ^{n-\alpha }\varGamma (n-\alpha )} \int _{a}^{t} e ^{\frac{\rho -1}{\rho }(t-\tau )}(t-\tau )^{n-\alpha -1} f(\tau )\,d\tau . $$

(8)

If we let $\rho =1$ in Definition 3, then one can obtain the left Riemann–Liouville fractional derivative [11, 13, 14]. Moreover, it is obvious that

$$ \lim_{\alpha \rightarrow 0}\bigl(D^{\alpha ,\rho }f\bigr) (t)=f(t) \quad \mbox{and} \quad \lim_{\alpha \rightarrow 1}\bigl(D^{\alpha ,\rho }f\bigr) (t)= \bigl(D^{\rho }f\bigr) (t). $$

Proposition 1

([29])

Let $\alpha , \beta \in \mathbb{C}$ be such that $\operatorname{Re}(\alpha )\geq 0$ and $\operatorname{Re}(\beta )>0$. Then, for any $\rho >0$, we have

(1)
$({{}_{a}I}^{\alpha ,\rho } e^{\frac{\rho -1}{ \rho }t} (t-a)^{\beta -1} )(x)=\frac{\varGamma (\beta )}{\varGamma ( \beta +\alpha )\rho ^{\alpha }}e^{\frac{\rho -1}{\rho }x}(x-a)^{\alpha +\beta -1}$, $\operatorname{Re}(\alpha )>0$.
(2)
$({{}_{a}D}^{\alpha ,\rho } e^{\frac{\rho -1}{ \rho }t} (t-a)^{\beta -1} )(x)=\frac{\rho ^{\alpha }\varGamma (\beta )}{ \varGamma (\beta -\alpha )}e^{\frac{\rho -1}{\rho }x}(x-a)^{\beta -1- \alpha }$, $\operatorname{Re}(\alpha )\geq 0$.

In the following lemmas, we expose some features of the GPF operator.

Lemma 1

([29])

If $\rho >0$, $\operatorname{Re}(\alpha )>0$, and $\operatorname{Re}(\beta )>0$, then, for f is continuous and defined for $t \geq a$, we have

$$ \bigl({}_{a}I^{\alpha ,\rho } {}_{a}I^{\beta ,\rho } f\bigr) (t)= \bigl({}_{a}I^{\beta , \rho } {}_{a}I^{\alpha ,\rho } f\bigr) (t)=\bigl({}_{a}I^{\alpha +\beta ,\rho } f\bigr) (t). $$

(9)

Lemma 2

([29])

Let $0\leq m< [\operatorname{Re}(\alpha )]+1$ and f be integrable in each interval $[a,t]$, $t>a$. Then

$$ \bigl({}_{a}D^{m,\rho } {}_{a}I^{\alpha ,\rho }f \bigr) (t)=\bigl({}_{a}I^{\alpha -m,\rho }f\bigr) (t). $$

(10)

Corollary 1

([29])

Let $0<\operatorname{Re}(\beta ) < \operatorname{Re}(\alpha )$ and $m-1<\operatorname{Re}( \beta )\leq m$. Then we have

$$ \bigl({}_{a}D^{\beta , \rho } {}_{a}I^{\alpha ,\rho } f\bigr) (t)=\bigl({}_{a}I^{\alpha - \beta ,\rho } f\bigr) (t). $$

Lemma 3

([29])

Let f be integrable on $t\geq a$ and $\operatorname{Re}(\alpha )>0$, $\rho >0$, $n=[\operatorname{Re}(\alpha )]+1$. Then we have

$$ \bigl({}_{a}D^{\alpha , \rho } {}_{a}I^{\alpha , \rho } f \bigr) (t)=f(t). $$

Lemma 4

([29])

Let $\operatorname{Re}(\alpha )>0$, $n=[\operatorname{Re}(\alpha )]$, $f \in L _{1}(a,b)$, and $( {}_{a}I^{\alpha ,\rho }f)(t)\in AC^{n}[a,b]$. Then

$$ \bigl({}_{a}I^{\alpha ,\rho } {}_{a}D^{\alpha ,\rho }f \bigr) (t)=f(t)-e^{\frac{ \rho -1}{\rho }(t-a)} \sum_{j=1}^{n} \bigl({}_{a}I^{j-\alpha ,\rho }f\bigr) \bigl(a^{+}\bigr) \frac{(t-a)^{ \alpha -j}}{\rho ^{\alpha -j}\varGamma (\alpha +1-j)}. $$

(11)

Definition 4

([29])

For $0<\rho \le 1$ and $\alpha \in \mathbb{C}$ with $\operatorname{Re}(\alpha )\geq 0$, we define the GPF derivative of Caputo type starting at a by

$$\begin{aligned} \bigl({{}_{a}^{C}D}^{\alpha ,\rho }f\bigr) (t)&= \bigl({{}_{a}I}^{n-\alpha ,\rho } D^{n, \rho } f\bigr) (t) \\ &=\frac{1}{\rho ^{n-\alpha }\varGamma (n-\alpha )} \int _{a} ^{t} e^{\frac{\rho -1}{\rho }(t-\tau )}(t-\tau )^{n-\alpha -1} \bigl(D^{n, \rho }f\bigr) (\tau )\,d\tau , \end{aligned}$$

(12)

where $n = [\operatorname{Re}(\alpha )]+1$.

Proposition 2

([29])

Let $\alpha , \beta \in \mathbb{C}$ be such that $\operatorname{Re}(\alpha ) > 0$ and $\operatorname{Re}(\beta )>0$. Then, for any $\rho \in (0,1]$ and $n = [\operatorname{Re}(\alpha )]+1$, we have

$$ \bigl({{}_{a}^{C}D}^{\alpha ,\rho } e^{\frac{\rho -1}{\rho }t} (t-a)^{ \beta -1} \bigr) (x)=\frac{\rho ^{\alpha }\varGamma (\beta )}{\varGamma (\beta -\alpha )}e^{\frac{\rho -1}{\rho }x}(x-a)^{\beta -1-\alpha }, \quad \operatorname{Re}(\alpha )\geq n. $$

(13)

For $k=0,1,\ldots ,n-1$, we have $({{}_{a}^{C}D}^{\alpha ,\rho } e ^{\frac{\rho -1}{\rho }t} (t-a)^{k} )(x)=0$.

Lemma 5

([29])

For $\rho \in (0,1]$ and $n = [\operatorname{Re}(\alpha )] +1$, we have

$$ \bigl({{}_{a}I}^{\alpha ,\rho } {{}_{a}^{C}D}^{\alpha ,\rho }f \bigr) (t) =f(t)-\sum_{k=0}^{n-1} \frac{(D^{k,\rho }f)(a)}{\rho ^{k}\varGamma (k+1)}(t-a)^{k}e ^{\frac{\rho -1}{\rho }(t-a)}. $$

(14)

We state the following relation that links the Caputo and Riemann–Liouville GPF derivatives.

Proposition 3

([29])

For any $\alpha \in \mathbb{C}$ with $\operatorname{Re}(\alpha ) > 0$ and $\rho \in (0,1]$, $n = [\operatorname{Re}(\alpha )]+1$, we have

$$ \bigl({{}_{a}^{C}D}^{\alpha ,\rho } f \bigr) (t) = \bigl({{}_{a}D}^{\alpha , \rho } f \bigr) (t)-\sum _{k=0}^{n-1} \frac{\rho ^{\alpha -k}}{\varGamma (k+1- \alpha )}(t-a)^{k-\alpha }e^{\frac{\rho -1}{\rho }(t-a)} \bigl(D^{k,\rho }f\bigr) (a). $$

(15)

Gronwall inequality via GPF derivative

In this section, we prove a Gronwall inequality within GPF derivative. Besides, a particular version expressed by means of Mittag-Leffler functions is provided.

Lemma 6

(Generalized proportional fractional Gronwall inequality)

Let $\alpha , \rho >0$, $u(t)$, $v(t)$ be nonnegative functions locally integrable on $[0,T)$ and $w(t)$ be a nonnegative, nondecreasing, and continuous function defined on $t \in [0,T)$ such that $w(t) \le M $, where M is a constant. If

$$ u(t)\le v(t)+\rho ^{\alpha }\varGamma (\alpha )w(t) \bigl({}_{0}I^{\alpha , \rho }u \bigr) (t), $$

(16)

then

$$ u(t)\le v(t)+ \int _{0}^{t} \Biggl\{ \sum _{m=1}^{\infty }\frac{(w(t)\varGamma (\alpha ))^{m}}{\varGamma (m\alpha )}e^{\frac{\rho -1}{\rho }(t-s)}(t-s)^{m \alpha -1}v(s) \Biggr\} \,ds, \quad t \in [0,T). $$

(17)

Proof

Define

$$ B\phi (t)=w(t) \int _{0}^{t}e^{\frac{\rho -1}{\rho }(t-s)}(t-s)^{\alpha -1}\phi (s),\quad t \in [0,T). $$

It follows that $u(t)\le v(t)+Bu(t)$, which implies that $u(t)\le \sum_{k=0}^{m-1}B^{k}v(t)+B^{m}u(t)$. We claim that

$$ B^{m}u(t)\le \int _{0}^{t}\frac{(w(t)\varGamma (\alpha ))^{m}}{\varGamma (m \alpha )}e^{\frac{\rho -1}{\rho }(t-s)}(t-s)^{m\alpha -1}u(s) \,ds $$

(18)

and $B^{m}u(t)\to 0$ as $m \to \infty $ for $t \in [0,T)$. It is easy to see that (18) is valid for $m=1$. Assume that it is true for $m=k$, that is,

$$ B^{k}u(t)\le \int _{0}^{t}\frac{(w(t)\varGamma (\alpha ))^{k}}{\varGamma (k \alpha )}e^{\frac{\rho -1}{\rho }(t-s)}(t-s)^{k\alpha -1}u(s) \,ds. $$

If $m=k+1$, then

$$\begin{aligned} B^{k+1}u(t) =& B\bigl(B^{k}u(t)\bigr) \\ \leq & w(t) \int _{0}^{t}e^{\frac{\rho -1}{\rho }(t-s)}(t-s)^{\alpha -1} \biggl[ \int _{0}^{s}\frac{ (w(s)\varGamma (\alpha ) )^{k}}{\varGamma (k \alpha )}e^{\frac{\rho -1}{\rho }(s-\nu )}(s- \nu )^{k\alpha -1}u( \nu )\,d\nu \biggr]\,ds \\ =& \frac{w^{k+1}(t)\varGamma ^{k}(\alpha )}{\varGamma (k\alpha )} \int _{0} ^{t} \biggl[ \int _{\nu }^{t}e^{\frac{\rho -1}{\rho }(t-s)}e^{\frac{ \rho -1}{\rho }(s-\nu )}(t-s)^{\alpha -1}(s- \nu )^{k\alpha -1}\,ds \biggr]u( \nu )\,d\nu . \end{aligned}$$

(19)

Upon changing variables $s=\nu +z(t-\nu )$, however, we obtain

$$\begin{aligned} \int _{\nu }^{t}e^{\frac{\rho -1}{\rho }(t-\nu )}(t-s)^{\alpha -1}(s- \nu )^{k\alpha -1}\,ds =&(t-\nu )^{k\alpha +\alpha -1}e^{\frac{\rho -1}{ \rho }(t-\nu )} \int _{0}^{1}(1-z)^{\alpha -1}z^{k \alpha -1} \,dz \\ =&\frac{\varGamma (\alpha )\varGamma (k \alpha )}{\varGamma ((k+1)\alpha )}e ^{\frac{\rho -1}{\rho }(t-\nu )}(t-\nu )^{(k+1)\alpha -1}. \end{aligned}$$

Therefore, (19) becomes

$$ B^{k+1}u(t)\le \frac{w^{k+1}(t)\varGamma ^{k+1}(\alpha )}{\varGamma ((k+1) \alpha )} \int _{0}^{t}e^{\frac{\rho -1}{\rho }(t-\nu )}(t-\nu )^{(k+1) \alpha -1}u(\nu )\,d\nu . $$

(20)

Furthermore, one can figure out that

$$ B^{m}u(t)\le \int _{0}^{t}\frac{(M\varGamma (\alpha ))^{m}}{\varGamma (m \alpha )}e^{\frac{\rho -1}{\rho }(t-s)}(t-s)^{m\alpha -1}u(s) \,ds\to 0 \quad \mbox{as } m \to \infty , t \in [0,T). $$

To complete the proof, we let $m \to \infty $ in

$$ u(t)\le \sum_{k=0}^{m-1}B^{k}v(t)+B^{m}u(t) \le v(t)+\sum_{k=1}^{m-1}B ^{k}v(t)+B^{m}u(t) $$

to reach at $u(t)\le v(t)+\sum_{k=1}^{\infty }B^{k}v(t)$. By the help of the semigroup property and the definition of B, we get (17). This completes the proof. □

For $w(t)\equiv b$ in Lemma 6, we have the following corollary.

Corollary 2

Let $\alpha , \rho >0$, $b>0$, $u(t)$, $v(t)$ be nonnegative functions locally integrable on $[0,T)$ and $w(t)\equiv b\ge 0$. If

$$ u(t)\le v(t)+\rho ^{\alpha }\varGamma (\alpha )b \bigl({}_{0}I^{\alpha , \rho }u \bigr) (t), $$

(21)

then

$$ u(t)\le v(t)+ \int _{0}^{t} \Biggl\{ \sum _{m=1}^{\infty }\frac{(b\varGamma ( \alpha ))^{m}}{\varGamma (m\alpha )}e^{\frac{\rho -1}{\rho }(t-s)}(t-s)^{m \alpha -1}v(s) \Biggr\} \,ds, \quad t \in [0,T). $$

(22)

Let $E_{\alpha }(\lambda ,z)=\sum_{k=0}^{\infty }\frac{\lambda ^{k}z ^{k \alpha }}{\varGamma (\alpha k+1)}$ be the Mittag-Leffler function in one parameter which was introduced in [11]. The following immediate consequence of Lemma 6 plays a key role in our later analysis.

Corollary 3

Under the hypothesis of Lemma 6, assume further that $v(t)$ is a nondecreasing function for $t \in [0,T)$, then

$$ u(t) \le v(t)E_{\alpha }\bigl(w(t)\varGamma (\alpha ),t\bigr), \quad t \in [0,T). $$

(23)

Proof

From (17) and the assumption that $v(t)$ is a nondecreasing function for $t \in [0,T)$, we may write

$$ u(t)\le v(t) \Biggl[1+ \int _{0}^{t} \Biggl\{ \sum _{m=1}^{\infty }\frac{(w(t) \varGamma (\alpha ))^{m}}{\varGamma (m\alpha )}e^{\frac{\rho -1}{\rho }(t-s)}(t-s)^{m \alpha -1} \Biggr\} \,ds \Biggr] $$

or

$$ u(t) \le v(t) \Biggl[1+\sum_{m=1}^{\infty } \bigl(\rho ^{\alpha }w(t) \varGamma (\alpha ) \bigr)^{m} \frac{1}{\rho ^{m\alpha }\varGamma (m\alpha )} \int _{0}^{t}e^{\frac{\rho -1}{ \rho }(t-s)}(t-s)^{m\alpha -1} \,ds \Biggr]. $$

Using Proposition 1 and $e^{\frac{\rho -1}{\rho }(t-s)} \leq 1$, it follows that

$$\begin{aligned} u(t) \le & v(t) \Biggl[1+\sum_{m=1}^{\infty } \bigl(\rho ^{\alpha }w(t) \varGamma (\alpha ) \bigr)^{m} \frac{t^{m\alpha }}{\rho ^{m\alpha } \varGamma (m\alpha +1)} \Biggr] \\ =& v(t) \Biggl[1+\sum_{m=1}^{\infty } \frac{ (w(t)\varGamma (\alpha ) )^{m}t^{m\alpha }}{\varGamma (m\alpha +1)} \Biggr] \\ =& v(t)\sum_{m=0}^{\infty } \frac{ (w(t)\varGamma (\alpha ) ) ^{m}t^{m\alpha }}{\varGamma (m\alpha +1)} \\ =& v(t)E_{\alpha }\bigl(w(t)\varGamma (\alpha ),t\bigr). \end{aligned}$$

The proof is complete. □

Applications of Gronwall inequality via GPF derivative

Let $\mathbb{R}^{m}$ be an m-dimensional Euclidean space. We prove our main results for the system

$$ \textstyle\begin{cases} ({{}_{0}^{C}D}^{\alpha ,\rho }x )(t)=e^{\frac{\rho -1}{ \rho }t} [A_{0}x(t)+A_{1}x(t-\tau )+f(t,x(t),x(t-\tau )) ],\quad t \in [0,T], \\ x(t)=\varphi (t), \quad t\in [-\tau ,0], \end{cases} $$

(24)

where ${{}_{0}^{C}D}^{\alpha ,\rho }$ denotes the GPF derivative of Caputo type of order $\alpha \in (0,1)$, the state vector $x: [-\tau ,T] \to \mathbb{R}^{m}$, the constant matrices $A_{0}$ and $A_{1}$ are of appropriate dimensions, the nonlinearity $f:[0,T]\times \mathbb{R} ^{m} \times \mathbb{R}^{m} \to \mathbb{R}^{m}$, and the initial function $\varphi :[-\tau ,0] \to \mathbb{R}^{m}$. By virtue of the results obtained in the previous sections, we prove the uniqueness and obtain an estimate for the solutions of system (24). Moreover, a numerical example is presented to demonstrate the applicability of the main results.

Let $\vert \cdot \vert $ be any Euclidean norm and $\Vert \cdot \Vert $ be the matrix norm induced by this vector. Denote by $\mathcal{C}:=C([-\tau ,0],\mathbb{R}^{m})$ the set of all continuous functions. Clearly, the space $\mathcal{C}$ is a Banach space induced by the norm $\Vert z \Vert _{\mathcal{C}}:= \sup_{ t \in [-\tau ,0] }|z(t)|$.

Throughout the remaining part of the paper, we make use of the following assumptions:

(H.1)
The nonlinearity $f \in C([0,T]\times \mathbb{R}^{m} \times \mathbb{R}^{m},\mathbb{R}^{m})$ satisfies the Lipschitz condition. That is, there exists a positive constant $L_{1}>0$ such that
$$\begin{aligned}& \bigl\Vert f\bigl(t,x(t),x(t-\tau )\bigr)-f\bigl(t,y(t),y(t-\tau )\bigr) \bigr\Vert \\& \quad \le L_{1} \bigl( \bigl\Vert x(t)-y(t) \bigr\Vert + \bigl\Vert x(t-\tau )-y(t-\tau ) \bigr\Vert \bigr) \end{aligned}$$
for $t \in [0,T]$.
(H.2)
There exists a positive constant $L_{2}$ such that $\| f(t,x(t),x(t-\tau ))\| \le L_{2}$.

In what follows, we provide a representation for the solutions of system (24) that will be useful in the subsequent analysis.

Lemma 7

The function $x: [-\tau ,0] \to \mathbb{R}^{m}$ is a solution of system (24) if and only if

$$ \textstyle\begin{cases} x(t) = \varphi (0)e^{\frac{\rho -1}{\rho }t} \\ \hphantom{x(t) ={}}{}+ ({{}_{0}I}^{\alpha , \rho }e^{\frac{\rho -1}{\rho }s} [A_{0}x(s)+A_{1}x(s-\tau )+f(s,x(s),x(s- \tau )) ] )(t),\quad t \in [0,T], \\ x(t)=\varphi (t),\quad t \in [-\tau ,0]. \end{cases} $$

(25)

Proof

For $t \in [-\tau ,0]$, it is clear that $x(t)=\varphi (t)$ is the solution of (24). We apply the operator ${{}_{0}D}^{\alpha , \rho }$ on both sides of equation (25) with Proposition 1 and Lemma 3 to obtain, for $t \in [0,T]$,

$$ \bigl({{}_{0}D}^{\alpha ,\rho }x \bigr) (t) = \varphi (0) \frac{\rho ^{\alpha }e^{\frac{\rho -1}{\rho }t}t^{-\alpha }}{\varGamma (1-\alpha )} + e^{\frac{ \rho -1}{\rho }t} \bigl[A_{0}x(t)+A_{1}x(t- \tau )+f\bigl(t,x(t),x(t-\tau )\bigr) \bigr]. $$

By using the relation of the Caputo and Riemann–Liouville GPF derivatives in Proposition 3, it follows that

$$ \bigl({{}_{0}^{C}D}^{\alpha ,\rho }x \bigr) (t) = e^{\frac{\rho -1}{\rho }t} \bigl[A_{0}x(t)+A_{1}x(t-\tau )+f \bigl(t,x(t),x(t-\tau )\bigr) \bigr]. $$

For system (24), we can see that $x(t)=\varphi (t)$, $t \in [-\tau ,0]$. For $t \in [0,T]$, we apply the operator ${{}_{0}I}^{\alpha ,\rho }$ on both sides of equation (24) to get

$$ \bigl({{}_{0}I}^{\alpha ,\rho }{{}_{0}^{C}D}^{\alpha ,\rho }x \bigr) (t) = \bigl({{}_{0}I}^{\alpha ,\rho }e^{\frac{\rho -1}{\rho }s} \bigl[A_{0}x(s)+A _{1}x(s-\tau )+f\bigl(s,x(s),x(s-\tau ) \bigr) \bigr] \bigr) (t). $$

In view of Lemma 5, one can easily see that

$$ x(t)= \varphi (0)e^{\frac{\rho -1}{\rho }t}+ \bigl({{}_{0}I}^{\alpha , \rho }e^{\frac{\rho -1}{\rho }s} \bigl[A_{0}x(s)+A_{1}x(s-\tau )+f\bigl(s,x(s),x(s- \tau ) \bigr) \bigr] \bigr) (t). $$

□

Uniqueness of solutions

The first main application in this paper is provided in the following theorem.

Theorem 1

Let condition (H.1) hold. If x and y are two solutions for system (24), then $x=y$.

Proof

Let x and y be two solutions of system (24). Denote $z=x-y$. Then, one can easily figure out that $z(t)=0$ for $t \in [- \tau ,0]$. This implies that system (24) has a unique solution for $t \in [-\tau ,0]$.

For $t \in [0,T]$, however, we have

$$ z(t)= \bigl({{}_{0}I}^{\alpha ,\rho }e^{\frac{\rho -1}{\rho }s} \bigl[A_{0}z(s)+A _{1}z(s-\tau )+f\bigl(s,x(s),x(s-\tau ) \bigr)-f\bigl(s,y(s),y(s-\tau )\bigr) \bigr] \bigr) (t). $$

If $t \in [0,\tau ]$, then $z(t-\tau )=0$. Therefore,

$$ z(t)= \bigl({{}_{0}I}^{\alpha ,\rho }e^{\frac{\rho -1}{\rho }s} \bigl[A_{0}z(s)+f\bigl(s,x(s),x(s- \tau )\bigr)-f\bigl(s,y(s),y(s-\tau )\bigr) \bigr] \bigr) (t). $$

(26)

This implies

$$\begin{aligned} \bigl\Vert z(t) \bigr\Vert \le & \bigl({{}_{0}I}^{\alpha ,\rho }e^{\frac{\rho -1}{ \rho }s} \bigl[ \Vert A_{0} \Vert \bigl\Vert z(s) \bigr\Vert + \bigl\Vert f\bigl(s,x(s),x(s- \tau )\bigr)-f\bigl(s,y(s),y(s-\tau )\bigr) \bigr\Vert \bigr] \bigr) (t) \\ \le & ({{}_{0}I}^{\alpha ,\rho }e^{\frac{\rho -1}{\rho }s} \bigl[ \Vert A_{0} \Vert \bigl\Vert z(s) \bigr\Vert + L_{1} \bigl( \bigl\Vert x(s) - y(s) \bigr\Vert + \bigl\Vert x(s-\tau ) - y(s-\tau ) \bigr\Vert \bigr] \bigr) (t) \\ =& \bigl({{}_{0}I}^{\alpha ,\rho }e^{\frac{\rho -1}{\rho }s} \bigl[ \bigl( \Vert A_{0} \Vert +L_{1}\bigr) \bigl\Vert z(s) \bigr\Vert + L_{1} \bigl\Vert z(s-\tau ) \bigr\Vert \bigr] \bigr) (t) \\ =& \bigl( \Vert A_{0} \Vert +L_{1}\bigr) \bigl({{}_{0}I}^{\alpha ,\rho }e^{\frac{ \rho -1}{\rho }s} \bigl\Vert z(s) \bigr\Vert \bigr) (t). \end{aligned}$$

(27)

By applying the result of Corollary 3, we have

$$ \bigl\Vert z(t) \bigr\Vert \le (0)\cdot E_{\alpha } \bigl( \Vert A_{0} \Vert +L_{1}, t \bigr), $$

(28)

which implies that $x(t)=y(t)$ for $t \in I_{\tau }$.

For $t \in [\tau ,T]$, we get

$$\begin{aligned} z(t) =& \bigl({{}_{0}I}^{\alpha ,\rho }e^{\frac{\rho -1}{\rho }s} \bigl[A _{0}z(s)+f\bigl(s,x(s),x(s-\tau )\bigr)-f\bigl(s,y(s),y(s-\tau )\bigr) \bigr] \bigr) (t) \\ &{}+ \bigl({{}_{0}I}^{\alpha ,\rho }e^{\frac{\rho -1}{\rho }s} \bigl[A_{1}z(s- \tau ) \bigr] \bigr) (t). \end{aligned}$$

(29)

It follows that

$$\begin{aligned} \bigl\Vert z(t) \bigr\Vert \le & \bigl({{}_{0}I}^{\alpha ,\rho }e^{\frac{\rho -1}{\rho }s} \bigl[ \Vert A_{0} \Vert \bigl\Vert z(s) \bigr\Vert + \bigl\Vert f\bigl(s,x(s),x(s-\tau )\bigr)-f\bigl(s,y(s),y(s- \tau )\bigr) \bigr\Vert \bigr] \bigr) (t) \\ &{}+ \bigl({{}_{0}I}^{\alpha ,\rho }e^{\frac{\rho -1}{\rho }s} \bigl[ \Vert A _{1} \Vert \bigl\Vert z(s-\tau ) \bigr\Vert \bigr] \bigr) (t) \\ \le & \bigl( \Vert A_{0} \Vert +L_{1}\bigr) \bigl({{}_{0}I}^{\alpha ,\rho }e^{\frac{ \rho -1}{\rho }s} \bigl\Vert z(s) \bigr\Vert \bigr) (t) +\bigl( \Vert A_{1} \Vert +L_{1} \bigr) \bigl({{}_{0}I}^{\alpha ,\rho }e^{\frac{\rho -1}{\rho }s} \bigl\Vert z(s- \tau ) \bigr\Vert \bigr) (t). \end{aligned}$$

Let $\bar{z}(t)=\sup_{\theta \in [-\tau ,0]}\| z(t+\theta ) \|$, then we get

$$\begin{aligned} \bar{z}(t) \le & \bigl( \Vert A_{0} \Vert +L_{1} \bigr) \bigl({{}_{0}I}^{\alpha , \rho }e^{\frac{\rho -1}{\rho }s}\bar{z}(s) \bigr) (t) +\bigl( \Vert A_{1} \Vert +L_{1}\bigr) \bigl({{}_{0}I}^{\alpha ,\rho }e^{\frac{\rho -1}{\rho }s} \bar{z}(s) \bigr) (t) \\ \le & \bigl( \Vert A_{0} \Vert + \Vert A_{1} \Vert +2L_{1}\bigr) \bigl({{}_{0}I}^{ \alpha ,\rho }e^{\frac{\rho -1}{\rho }s} \bar{z}(s) \bigr) (t). \end{aligned}$$

(30)

By applying the result of Corollary 3, we obtain

$$ \bigl\Vert z(t) \bigr\Vert \le \bar{z}(t) \le (0)\cdot E_{\alpha } \bigl( \Vert A_{0} \Vert + \Vert A_{1} \Vert +2L_{1} , t \bigr). $$

(31)

Hence, we end up with $x(t)=y(t)$ for $t \in [-\tau ,T]$. □

Bound for solutions

In this subsection, we provide a bound for the solution of system (24).

Theorem 2

Let condition (H.2) hold. Then the following estimate for the solution $x(t)$ of system (24) is valid:

$$ \bigl\Vert x(t) \bigr\Vert \le \biggl[ \Vert \varphi \Vert + \bigl(L_{2}+\bigl(\Vert A_{0} \Vert +\Vert A_{1}\Vert \bigr)\Vert \varphi \Vert \bigr) \frac{t^{\alpha }}{ \rho ^{\alpha }\varGamma (\alpha +1)} \biggr]E_{\alpha } \bigl(\bigl( \|A_{0}\|+\|A _{1}\|\bigr)\varGamma (\alpha ), t \bigr). $$

(32)

Proof

For $t \in [0,T]$, the solution of system (24) has the form

$$ x(t)= \varphi (0)e^{\frac{\rho -1}{\rho }t}+ \bigl({{}_{0}I}^{\alpha , \rho }e^{\frac{\rho -1}{\rho }s} \bigl[A_{0}x(s)+A_{1}x(s-\tau )+f\bigl(s,x(s),x(s- \tau ) \bigr) \bigr] \bigr) (t). $$

(33)

Using the fact $e^{\frac{\rho -1}{\rho }t}\leq 1$ for all $t\in [0,T]$, it follows that

$$\begin{aligned} \bigl\Vert x(t) \bigr\Vert \le & \bigl\Vert \varphi (0) \bigr\Vert + \bigl({{}_{0}I}^{\alpha ,\rho }e^{\frac{\rho -1}{\rho }s} \bigl\Vert A_{0}x(s)+A_{1}x(s-\tau )+f\bigl(s,x(s),x(s- \tau )\bigr) \bigr\Vert \bigr) (t) \\ \le & \Vert \varphi \Vert + \Vert A_{0} \Vert \bigl({{}_{0}I}^{\alpha , \rho }e^{\frac{\rho -1}{\rho }s} \bigl\Vert x(s) \bigr\Vert \bigr) (t) + \Vert A _{1} \Vert \bigl({{}_{0}I}^{\alpha ,\rho }e^{\frac{\rho -1}{\rho }s} \bigl\Vert x(s-\tau ) \bigr\Vert \bigr) (t) \\ &{}+ \bigl({{}_{0}I}^{\alpha ,\rho }e^{\frac{\rho -1}{\rho }s} \bigl\Vert f \bigl(s,x(s),x(s- \tau )\bigr) \bigr\Vert \bigr) (t). \end{aligned}$$

By assumption (H.2) and Proposition 1, the above inequality can be rewritten as follows:

$$\begin{aligned} \bigl\Vert x(t) \bigr\Vert \le & \Vert \varphi \Vert +\bigl( \Vert A_{0} \Vert + \Vert A_{1} \Vert \bigr) \Bigl({{}_{0}I}^{\alpha ,\rho }e^{\frac{\rho -1}{\rho }s} \Bigl[ \sup _{\theta \in [-\tau ,0]} \bigl\Vert x(s+\theta ) \bigr\Vert + \Vert \varphi \Vert \Bigr] \Bigr) (t) \\ &{}+L_{2} \bigl({{}_{0}I}^{\alpha ,\rho }e^{\frac{\rho -1}{\rho }s}(1) \bigr) (t) \\ =& \Vert \varphi \Vert +\bigl(L_{2}+\bigl( \Vert A_{0} \Vert + \Vert A_{1} \Vert \bigr) \Vert \varphi \Vert \bigr) \frac{t^{\alpha }}{\rho ^{\alpha }\varGamma (\alpha +1)} \\ &{}+\bigl( \Vert A_{0} \Vert + \Vert A_{1} \Vert \bigr) \Bigl({{}_{0}I}^{\alpha ,\rho }e ^{\frac{\rho -1}{\rho }s} \Bigl[\sup _{\theta \in [-\tau ,0]} \bigl\Vert x(s+ \theta ) \bigr\Vert \Bigr] \Bigr) (t). \end{aligned}$$

Let $v(t)=\Vert \varphi \Vert +(L_{2}+(\Vert A_{0}\Vert +\Vert A_{1} \Vert )\Vert \varphi \Vert ) \frac{T^{\alpha }}{\rho ^{\alpha }\varGamma (\alpha +1)}$, then v is a nondecreasing function. Therefore, Corollary 3 with $w(t)= \|A_{0}\|+\|A_{1}\|$ implies that

$$ \bigl\Vert x(t) \bigr\Vert \le \sup_{\theta \in [-\tau ,0]} \bigl\Vert x(t+\theta ) \bigr\Vert \le v(t) E_{\alpha } \bigl(\bigl( \Vert A_{0} \Vert + \Vert A_{1} \Vert \bigr)\varGamma ( \alpha ), t \bigr). $$

(34)

Hence, the solution x of (24) satisfies the estimate

$$ \bigl\Vert x(t) \bigr\Vert \le \biggl[ \Vert \varphi \Vert +\bigl(L_{2}+\bigl( \Vert A_{0} \Vert + \Vert A_{1} \Vert \bigr) \Vert \varphi \Vert \bigr) \frac{t^{\alpha }}{ \rho ^{\alpha }\varGamma (\alpha +1)} \biggr]E_{\alpha } \bigl(\bigl( \Vert A_{0} \Vert + \Vert A _{1} \Vert \bigr)\varGamma (\alpha ), t \bigr). $$

(35)

The proof is complete. □

Example 1

Consider the nonlinear delay proportional fractional system of the form

$$ \textstyle\begin{cases} ({{}_{0}^{C}D}^{\frac{1}{2},\frac{1}{3}}x )(t)=e^{-2t} [3x(t)+x(t-2)+2 \cos x(t)-\cos x(t-2) ], \quad t \in [0,1], \\ x(t)=\sin 2t,\quad t\in [-2,0]. \end{cases} $$

(36)

This corresponds to equation (24) with $\alpha = 1/2$, $\rho = 1/3$, $A_{0}=3$, $A_{1}=1$, $T=1$, and $\tau = 2$. The nonlinearity has the form $f(t,x(t),x(t-\tau )) = 2\cos x(t)-\cos x(t-2)$. Therefore, we have

$$\begin{aligned}& \bigl\Vert f\bigl(t,x(t),x(t-\tau )\bigr) - f\bigl(t,y(t),y(t-\tau )\bigr) \bigr\Vert \\& \quad = \bigl\Vert 2\cos x(t)-\cos x(t-2)-2\cos y(t)+\cos y(t-2) \bigr\Vert \\& \quad \le 2 \bigl( \bigl\Vert \cos x(t) -\cos y(t) \bigr\Vert + \bigl\Vert \cos x(t-2) -\cos y(t-2) \bigr\Vert \bigr). \end{aligned}$$

Then assumption (H.1) holds with $L_{1}=2$. By the consequence of Lemma 7, system (36) has a unique solution. Moreover,

$$ \bigl\Vert f\bigl(t,x(t),x(t-\tau )\bigr) \bigr\Vert = \bigl\Vert 2\cos x(t)-\cos x(t-2) \bigr\Vert \le 3, $$

which implies that assumption (H.2) is satisfied with $L_{2}=3$. By Theorem 2, the solution x of system (36) has the estimate

$$ \bigl\Vert x(t) \bigr\Vert \le \biggl[1+\frac{24\sqrt{3}}{\sqrt{\pi }}t ^{\frac{1}{2}} \biggr] \sum_{k=0}^{\infty }\frac{(4\sqrt{\pi })^{k}t ^{\frac{k}{2}}}{\varGamma (\frac{k}{2}+1)}. $$

Conclusion

One of the most important issues in the theory of differential equations is finding qualitative properties of these equations. Integral equations are significant tools that facilitate exploring such properties. In this paper, we established the Gronwall inequality within the scope of fractional proportional operators. This inequality helped in proving the uniqueness of solutions to delay differential equations involving fractional proportional derivatives and in finding bounds of these solutions. In addition to what has been done in this paper, one can use the established Gronwall inequality to discuss some other qualitative properties of these solutions such as the stability in the sense of Ulam or Ulam–Hyers.

References

1.
Hardy, G.H., Littlewood, J.E., Pólya, G.: Inequalities. Cambridge University Press, Cambridge (1952)
Google Scholar
2.
Bainov, D.D., Simeonov, P.: Integral Inequalities and Applications. Mathematics and Its Applications. Springer, Berlin (1992)
Google Scholar
3.
Cloud, J.M., Drachman, C.B., Lebedev, P.L.: Inequalities with Applications to Engineering. Springer, Berlin (2014)
Google Scholar
4.
Gronwall, T.H.: Note on the derivatives with respect to a parameter of the solutions of a system of differential equations. Ann. Math. 20, 292–296 (1919)
MathSciNet Article Google Scholar
5.
Rasmussen, D.L.: Gronwall’s inequality for functions of two independent variables. J. Math. Anal. Appl. 55(2), 407–417 (1976)
MathSciNet Article Google Scholar
6.
Dragomir, S.S.: Some Gronwall Type Inequalities and Applications. RGMIA Monographs, Victoria University (2003)
7.
Lin, X.: A note on Gronwall’s inequality on time scales. Abstr. Appl. Anal. 2014, Article ID 623726 (2014)
MathSciNet MATH Google Scholar
8.
Wang, W., Feng, Y., Wang, Y.: Nonlinear Gronwall–Bellman type inequalities and their applications. Mathematics 5, 31 (2017). https://doi.org/10.3390/math5020031
Article MATH Google Scholar
9.
Hilfer, R.: Applications of Fractional Calculus in Physics. Word Scientific, Singapore (2000)
Google Scholar
10.
Debnath, L.: Recent applications of fractional calculus to science and engineering. Int. J. Math. Math. Sci. 2003(54), 3413–3442 (2003)
MathSciNet Article Google Scholar
11.
Kilbas, A., Srivastava, H.M., Trujillo, J.J.: Theory and Application of Fractional Differential Equations. North Holland Mathematics Studies, vol. 204 (2006)
Google Scholar
12.
Magin, R.L.: Fractional Calculus in Bioengineering. Begell House Publishers, Danbury (2006)
Google Scholar
13.
Samko, S.G., Kilbas, A.A., Marichev, O.I.: Fractional Integrals and Derivatives: Theory and Applications. Gordon & Breach, Yverdon (1993)
Google Scholar
14.
Podlubny, I.: Fractional Differential Equations. Mathematics in Science and Engineering, vol. 198. Academic Press, San Diego (1999)
Google Scholar
15.
Caputo, M., Fabrizio, M.: A new definition of fractional derivative without singular kernel. Prog. Fract. Differ. Appl. 1, 73–85 (2015)
Google Scholar
16.
Atangana, A., Baleanu, D.: New fractional derivatives with non-local and non-singular kernels. Therm. Sci. 20, 757–763 (2016)
Article Google Scholar
17.
Ye, H., Gao, J., Ding, Y.: A generalized Gronwall inequality and its application to a fractional differential equation. J. Math. Anal. Appl. 328, 1075–1081 (2007)
MathSciNet Article Google Scholar
18.
Ferreira, R.A.C.: A discrete fractional Gronwall inequality. Proc. Am. Math. Soc. 5, 1605–1612 (2012)
MathSciNet Article Google Scholar
19.
Abdeljawad, T., Alzabut, J., Baleanu, D.: A generalized q-fractional Gronwall inequality and its applications to nonlinear delay q-fractional difference systems. J. Inequal. Appl. 2016, 240 (2016)
MathSciNet Article Google Scholar
20.
Zhang, Z., Wei, Z.: A generalized Gronwall inequality and its application to fractional neutral evolution inclusions. J. Inequal. Appl. 2016, 45 (2016)
MathSciNet Article Google Scholar
21.
Sarikaya, M.Z.: Gronwall type inequalities for conformable fractional integrals. Konuralp J. Math. 4(2), 217–222 (2016)
MathSciNet MATH Google Scholar
22.
Alzabut, J., Abdeljawad, T.: A generalized discrete fractional Gronwall inequality and its application on the uniqueness of solutions for nonlinear delay fractional difference system. Appl. Anal. Discrete Math. 12, 36–48 (2018)
MathSciNet Article Google Scholar
23.
Abdeljawad, T.: A Lyapunov type inequality for fractional operators with nonsingular Mittag-Leffler kernel. J. Inequal. Appl. 2018, 143 (2018)
Article Google Scholar
24.
Abdeljawad, T.: Fractional operators with exponential kernels and a Lyapunov type inequality. Adv. Differ. Equ. 2017, 313 (2017)
MathSciNet Article Google Scholar
25.
Abdeljawad, T., Alzabut, J., Jarad, F.: A generalized Lyapunov-type inequality in the frame of conformable derivatives. Adv. Differ. Equ. 2017, 321 (2017)
MathSciNet Article Google Scholar
26.
Abdeljawad, T., Agarwal, R., Alzabut, J., Jarad, F., Özbekler, A.: Lyapunov-type inequalities for mixed non-linear forced differential equations within conformable derivatives. J. Inequal. Appl. 2018, 143 (2018)
MathSciNet Article Google Scholar
27.
Abdeljawad, T., Madjidi, F.: Lyapunov-type inequalities for fractional difference operators with discrete Mittag-Leffler kernel of order $2 < \alpha < 5/2$. Eur. Phys. J. Spec. Top. 226(16–18), 3355–3368 (2017)
Article Google Scholar
28.
Jarad, F., Abdeljawad, T., Hammouch, Z.: On a class of ordinary differential equations in the frame of Atangana–Baleanu fractional derivative. Chaos Solitons Fractals 117, 16–20 (2018)
MathSciNet Article Google Scholar
29.
Jarad, F., Abdeljawad, T., Alzabut, J.: Generalized fractional derivatives generated by a class of local proportional derivatives. Eur. Phys. J. Spec. Top. 226(16–18), 3457–3471 (2017)
Article Google Scholar
30.
Abdeljawad, T.: On conformable fractional calculus. J. Comput. Appl. Math. 279, 57–66 (2015)
MathSciNet Article Google Scholar
31.
Khalil, R., Al Horani, M., Yousef, A., Sababheh, M.: A new definition of fractional derivative. J. Comput. Appl. Math. 264, 65–70 (2014)
MathSciNet Article Google Scholar
32.
Anderson, D.R., Ulness, D.J.: Newly defined conformable derivatives. Adv. Dyn. Syst. Appl. 10(2), 109–137 (2015)
MathSciNet Google Scholar
33.
Anderson, D.R.: Second-order self-adjoint differential equations using a proportional-derivative controller. Commun. Appl. Nonlinear Anal. 24, 17–48 (2017)
MathSciNet Google Scholar

Download references

Acknowledgements

The authors would like to express their sincere thanks to the editor and the anonymous referees for their recommendations. We believe that their valuable comments have improved the contents of the paper.

Availability of data and materials

Not applicable.

Funding

The first and second authors would like to thank Prince Sultan University for funding this work through research group Nonlinear Analysis Methods in Applied Mathematics (NAMAM), group number RG-DES-2017-01-17.

Author information

Affiliations

Department of Mathematics and General Sciences, Prince Sultan University, Riyadh, Saudi Arabia
Jehad Alzabut & Thabet Abdeljawad
Department of Mathematics, Çankaya University, Ankara, Turkey
Fahd Jarad
Department of General Education, Navamindradhiraj University, Bangkok, Thailand
Weerawat Sudsutad

Authors

Jehad Alzabut
View author publications
You can also search for this author in PubMed Google Scholar
Thabet Abdeljawad
View author publications
You can also search for this author in PubMed Google Scholar
Fahd Jarad
View author publications
You can also search for this author in PubMed Google Scholar
Weerawat Sudsutad
View author publications
You can also search for this author in PubMed Google Scholar

Contributions

All authors contributed equally and significantly to this paper. All authors have read and approved the final version of the manuscript.

Corresponding author

Correspondence to Jehad Alzabut.

Ethics declarations

Competing interests

The authors declare that they have no competing interests.

Additional information

Publisher’s Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

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.

Reprints and Permissions

About this article

Cite this article

Alzabut, J., Abdeljawad, T., Jarad, F. et al. A Gronwall inequality via the generalized proportional fractional derivative with applications. J Inequal Appl 2019, 101 (2019). https://doi.org/10.1186/s13660-019-2052-4

Download citation

Received: 12 February 2019
Accepted: 04 April 2019
Published: 11 April 2019
DOI: https://doi.org/10.1186/s13660-019-2052-4

Keywords

Proportional Gronwall inequality
Uniqueness of solution
Delay proportional fractional system
Bound for the solution