Skip to content


  • Research
  • Open Access

Note on the solution of random differential equations via ψ-Hilfer fractional derivative

  • 1,
  • 2Email author,
  • 3 and
  • 1
Advances in Difference Equations20182018:224

  • Received: 21 March 2018
  • Accepted: 15 June 2018
  • Published:


This manuscript is devoted to an investigation of the existence, uniqueness and stability of random differential equations with ψ-Hilfer fractional derivative. The concerned investigation of existence and uniqueness is obtained via the Schauder fixed point theorem and Banach contraction principle, respectively. Furthermore, for the respective solutions, some results related to different kinds of Ulam type stability including Hyers–Ulam, and generalized Hyers–Ulam, Hyers–Ulam–Rassias are obtained.


  • Random differential equations
  • ψ-Hilfer fractional derivative
  • Existence theory
  • Stability analysis


  • 26A33
  • 34B10
  • 34A12

1 Introduction

In the previous few decades non-integer order differential and integral equations were given much attentions. Because fractional differential equations (FDEs) rise up certainly in various fields which include rheology, fractals, chaotic dynamics, control theory, signal processing, bioengineering and biomedical applications. The theory of FDEs has been extensively studied and developed by many authors, see [6, 9, 13]. The dynamical analysis of FDEs has been investigated very well in last few years, one can see [2, 3, 5, 7, 8, 12, 2022, 24] for details.

Since various real world processes/phenomena have inconsistent dynamical behavior, for instance in a powerful magnetic field communications of signals, diffusion of pollution in atmosphere, traffic networks, in financial markets the effect of speculations on the profitability of stocks, and so on. For the aforesaid processes/phenomena, the traditional models are not suitable to express the characteristics accurately. Therefore in such a situation FDEs play vital roles in describing the aforementioned phenomena more accurately. On the other hand, to describe a real system involving complexities and uncertainties via using deterministic FDEs is not a good choice. On the other hand to bring random factors under consideration, numerous mathematical models of random differential equations (RFDEs) were considered in the last few years. In this regard some very good results were obtained corresponding to mathematical models by using RFDEs; see [15].

In the last few years, many papers relating to RFDEs (stochastic differential equations) were published; see [1, 11, 23]. In fact, RFDEs are the natural extensions of deterministic FDEs. In many applications of real world problems, the use of the aforesaid RFDEs have been considered by many researchers. Motivated by the above works here we discuss the dynamical behavior of RFDEs involving a ψ-Hilfer fractional derivative (HFD) of the form
$$\begin{aligned} \textstyle\begin{cases} \mathscr{D}^{\alpha, \beta; \psi} \mathfrak{h}(t, \vartheta) = \mathfrak{g} (t, \vartheta, \mathfrak{h}(t, \vartheta)), \quad t \in J := [0,T], T > 0, \\ \mathscr{I}^{1-\nu; \psi} \mathfrak{h}(t, \vartheta)|_{t=0} = \mu (\vartheta), \end{cases}\displaystyle \end{aligned}$$
where \(\mathscr{D}^{\alpha,\beta; \psi}\) is ψ-HFD of order \(\alpha\in(0, 1)\) and type \(\beta\in[0, 1]\). Furthermore, \(\mathfrak{h}\) is a random function, ϑ is the random variable and \(\mathscr{I}^{1-\nu}\) is the ψ-fractional integral of order \(1-\nu\) (\(\nu=\alpha+ \beta- \alpha\beta\)). Let Ω be the probability space with a continuous function \(\mathfrak{g}: J \times\Omega\times\mathbb{R} \rightarrow\mathbb{R}\) such that \(\vartheta\in\Omega\). Thanks to the Schauder fixed point theorem and the Banach contraction principle, some interesting results related to the existence and uniqueness of solutions were established. Furthermore, as stability has become an important aspect in recent times from the optimization and numerical points of view, some results devoted to Hyers–Ulam (HU), Hyers–Ullam–Rassias (HUR) and generalized Hyers–Ulam (GHU) stabilities are also discussed for the considered RFDEs with ψ-HFD.

Recently, Almeida [4] using the suggestion of the fractional derivative in the Caputo sense, recommended a new fractional derivative called the ψ-Caputo derivative with respect to another function, which simplifies a class of fractional derivatives. These integrals and fractional derivatives have unlike kernels and this leads to a number of definitions. In this viewpoint, we will employ the HFD idea, and we suggest a fractional differential operator of a function with respect to another ψ function, the so-called ψ-HFD. With the help of the fractional operator suggested here, we use the freedom of choice of the standard differential operator. Recently, Sousa et al. introduced a recent and interesting definition of fractional integral and some applications. In this regard, there are other stabilizing jobs that are interesting, because such definitions and stability results are indeed important for the development and expansion of the fractional calculation and its applications in various branches of science and technology. Numerous problems which are based on this derivative are considered by many authors, see for instance [1721] and the references therein.

2 Preliminaries

Some basic definitions and results are introduced in the present section; for details see [1, 16]. Let C be the Banach space of all continuous functions \(\mathfrak{g} : J \times\Omega\rightarrow \mathbb{R}\) with the norm \(\Vert \mathfrak{g} \Vert _{C_{\nu, \psi}} = \sup \{ \vert \mathfrak{g}(t, \vartheta) \vert : t \in J \}\). We denote the weighted spaces of all continuous functions defined by \(C_{\nu, \psi} (J, \mathbb{R})= \{\mathfrak{g}: J \rightarrow \mathbb{R}: (\psi(t)-\psi(0) )^{\nu} \mathfrak{g}(t) \in C \}\), \(0 \leq\nu< 1\), with the norm \(\Vert \mathfrak{g} \Vert _{C_{\nu, \psi}} = \sup_{t \in J} \vert (\psi(t)-\psi(0) )^{\nu}\mathfrak{g}(t) \vert \).

Definition 2.1


Corresponding to the function ψ on J, the fractional integral of \(\mathfrak{h}\) operating from the left side is described as
$$ \bigl( \mathscr{I}^{\alpha; \psi} \bigr) \mathfrak{h}(t) = \int _{0}^{t}\psi{'}(s)\frac{ (\psi(t) - \psi(s) )^{\alpha -1}}{\Gamma(\alpha)} \mathfrak{h}(s) \,ds,\quad t\in(0, T]. $$

Definition 2.2


For fractional order \(\alpha >0\), the Riemann–Liouville derivative of a function \(\mathfrak{h}\) corresponding to another function ψ with \(\psi{'}(t) \neq0\) is described as
$$ \mathscr{D}^{\alpha; \psi} \mathfrak{h}(t) = \biggl(\frac{1}{\psi {'}(t)} \frac{d}{dt} \biggr)^{n} \int_{0}^{t}\psi{'}(s)\frac { (\psi(t) - \psi(s) )^{n -\alpha-1}}{\Gamma(n-\alpha)} \mathfrak{h}(s) \,ds, $$
where \(n-1 = [\alpha]\).

Definition 2.3


If \(\alpha> 0\), and considering two functions \(\mathfrak{h}, \psi\in C^{n} (J, \mathbb {R})\) in which ψ is nondecreasing with \(\psi{'}(t) \neq0\), for all \(t \in J\), then the left ψ-Caputo derivative is described as
$$ \mathscr{D}^{\alpha; \psi} \mathfrak{h}(t) = \mathscr{I}^{n-\alpha ; \psi} \biggl( \frac{1}{\psi{'}(t)} \frac{d}{dt} \biggr)^{n} \mathfrak{h}(t), $$
where \(n-1 = [\alpha]\).

Definition 2.4


The ψ-HFD of function \(\mathfrak{h}\) of order \(\alpha>0\) is provided by
$$ \mathfrak{D}^{\alpha, \beta; \psi} \mathfrak{h}(t) = \mathscr {I}^{\beta(1-\alpha); \psi} \biggl(\frac{1}{\psi{'}(t)}\frac {d}{dt} \biggr) \mathscr{I}^{(1-\beta)(1-\alpha); \psi} \mathfrak{h}(t). $$
The ψ-HFD as defined above can be written in the following form:
$$\mathfrak{D}^{\alpha, \beta; \psi} \mathfrak{h}(t) = \mathscr {I}^{\nu-\alpha; \psi} \mathfrak{D}^{\nu; \psi} \mathfrak{h}(t). $$

To obtain appropriate results about the HU stability and HUR stability for Eq. (1), we describe some inequality in the sequel whose details can be found in [1, 10, 25].

Let \(\epsilon> 0\) be a positive real number and \(\varphi: J \times \Omega\rightarrow\mathbb{R}^{+}\) be a continuous function, then
$$\begin{aligned}& \bigl\vert {\mathscr{D}}^{\alpha, \beta; \psi} \mathfrak{h}(t, \vartheta) - \mathfrak{g} \bigl(t, \vartheta, \mathfrak{h}(t, \vartheta )\bigr) \bigr\vert \leq\epsilon, \end{aligned}$$
$$\begin{aligned}& \bigl\vert {\mathscr{D}}^{\alpha, \beta; \psi} \mathfrak{h}(t, \vartheta) - \mathfrak{g} \bigl(t, \vartheta, \mathfrak{h}(t, \vartheta )\bigr) \bigr\vert \leq\epsilon\varphi(t), \end{aligned}$$
$$\begin{aligned}& \bigl\vert {\mathscr{D}}^{\alpha, \beta; \psi} \mathfrak{h}(t, \vartheta) - \mathfrak{g} \bigl(t, \vartheta, \mathfrak{h}(t, \vartheta )\bigr) \bigr\vert \leq\varphi(t). \end{aligned}$$

Definition 2.5

Equation (1) is HU stable corresponding to a real number \(C_{\mathfrak{g}}> 0\) and for every \(\epsilon> 0\), if for every solution \(\mathfrak{h} : \Omega\rightarrow C_{1-\nu, \psi} \) of the inequality (6) one has a unique solution \(\mathfrak{y} : \Omega\rightarrow C_{1-\nu, \psi} \) of Eq. (1) that satisfies
$$ \bigl\vert \mathfrak{h}(t, \vartheta) - \mathfrak{y}(t, \vartheta ) \bigr\vert \leq C_{\mathfrak{g}} \epsilon, \quad t \in J, \vartheta \in\Omega. $$

Definition 2.6

Equation (1) is GHU stable against \(\varphi_{\mathfrak{g}} \in C([0, \infty), [0, \infty) )\), \(\varphi_{\mathfrak{g}} (0) = 0\) if for every solution \(\mathfrak{h} : \Omega\rightarrow C_{1-\nu, \psi} \) of the inequality (6) one has a unique solution \(\mathfrak{y}: \Omega\rightarrow C_{1-\nu, \psi} \) of Eq. (1) that satisfies
$$ \bigl\vert \mathfrak{h}(t, \vartheta) - \mathfrak{y}(t, \vartheta ) \bigr\vert \leq\varphi_{\mathfrak{g}} \epsilon,\quad t \in J, \vartheta \in\Omega. $$

Definition 2.7

Equation (1) is HUR stable corresponding to φ if we have a real number \(C_{\mathfrak{g}, \varphi} > 0\) such that for every \(\epsilon> 0\) and for each solution \(\mathfrak{h} : \Omega \rightarrow C_{1-\nu, \psi} \) of the inequality (7) there exists a unique solution \(\mathfrak{y} : \Omega\rightarrow C_{1-\nu, \psi} \) of Eq. (1) with
$$ \bigl\vert \mathfrak{h}(t, \vartheta) - \mathfrak{y}(t, \vartheta ) \bigr\vert \leq C_{\mathfrak{g}, \varphi} \epsilon\varphi(t), \quad t \in J, \vartheta\in \Omega. $$

Definition 2.8

Equation (1) is generalized HUR stable corresponding to a function φ with \(C_{\mathfrak{g},\varphi} \in(0, \infty)\), if to every solution \(\mathfrak{h} : \Omega\rightarrow C_{1-\nu, \psi} \) of the inequality (8) there is a unique solution \(\mathfrak{y} : \Omega\rightarrow C_{1-\nu , \psi}\) of Eq. (1) such that
$$ \bigl\vert \mathfrak{h}(t, \vartheta) - \mathfrak{y}(t, \vartheta ) \bigr\vert \leq C_{\mathfrak{g}, \varphi} \varphi(t, \vartheta), \quad t \in J, \vartheta\in \Omega. $$

Lemma 2.9

(Grönwall’s lemma [19])

Let \(\alpha> 0\), \(a(t, \vartheta) >0\) be a locally integrable function on \(J \times\Omega\) and \(\mathfrak{g}(t, \vartheta)\) be a increasing and nonnegative continuous function on \(J \times\Omega\), such that \(|\mathfrak{g}(t, \vartheta) |\leq K\) for some constant K. Moreover, let \(\mathfrak{h}(t, \vartheta)\) be a nonnegative locally integrable function on \(J \times\Omega\) with
$$ \mathfrak{h}(t, \vartheta) \leq a(t, \vartheta) + g(t, \vartheta) \int_{0}^{t} \psi{'}(s) \bigl(\psi(t) - \psi(s) \bigr)^{\alpha -1} \mathfrak{h}(s, \vartheta) \,ds, \quad(t, \vartheta) \in J \times\Omega, $$
with some \(\alpha> 0\). Then
$$\begin{aligned} \mathfrak{h}(t, \vartheta) \leq{}& a(t, \vartheta) \\&+ \int_{0}^{t} \Biggl[ \sum _{n=1}^{\infty} \frac{(\mathfrak{g}(t, \vartheta )\Gamma(\alpha))^{n}}{ \Gamma(n\alpha)} \psi{'}(s) \bigl(\psi(t) - \psi(s) \bigr)^{n\alpha-1} \Biggr] a(s, \vartheta) \,ds, \quad(t, \vartheta) \in J \times\Omega.\end{aligned} $$

Theorem 2.10

(Schauder fixed point theorem [14])

Let B be closed, convex and nonempty subset of a Banach space C. Let \(\mathscr{T} : B \rightarrow B\) be a continuous mapping such that \(\mathscr{T}(B)\) is a relatively compact subset of C. Then \(\mathscr {T}\) has at least one fixed point in B.

3 Main results

The existence theory of solutions to Eq. (1) is presented in this section.

For our analysis the following hypotheses should be satisfied.
  1. (H1)
    There exists a Carathèodory function \(\ell: J \times\Omega\rightarrow\mathbb{R}\), such that
    $$ \bigl\vert \mathfrak{g} \bigl(s, \vartheta, \mathfrak{h}(s, \vartheta)\bigr) - \mathfrak{g} \bigl(s, \vartheta, \mathfrak{y}(s, \vartheta)\bigr) \bigr\vert \leq\ell(t, \vartheta) \vert \mathfrak{h} - \mathfrak{y} \vert $$
    for every \(t \in J\) and \(\vartheta\in\Omega\).
  2. (H2)
    There exists \(\lambda_{\varphi} > 0\) such that, for each \(t \in J\) and \(\vartheta\in\Omega\), we have
    $$ \mathscr{I}^{\alpha; \psi}\varphi(t, \vartheta)\leq\lambda _{\varphi} \varphi(t, \vartheta). $$

Lemma 3.1

A function \(\mathfrak{h}\) is the solution of Eq. (1), if and only if \(\mathfrak{h}\) satisfies the random integral equation
$$ \mathfrak{h}(t, \vartheta) = \frac{\mu(\vartheta)}{\Gamma(\nu)} \bigl(\psi(t)- \psi(0)\bigr)^{\nu-1} + \frac{1}{\Gamma(\alpha)} \int _{0}^{t} \psi{'}(s) \bigl(\psi(t) - \psi(s)\bigr)^{\alpha-1} \mathfrak{g} \bigl(s, \vartheta, \mathfrak{h}(s, \vartheta)\bigr) \,ds. $$

Theorem 3.2

Assume that hypothesis (H1) is satisfied. Then, Eq. (1) has at least one solution.


Consider the operator \(\mathscr{T}(\vartheta): \Omega\times C_{1-\nu , \psi} \rightarrow C_{1-\nu, \psi}\). Hence \(\mathfrak{h}\) is a solution for Eq. (1) if and only if \(\mathfrak{h} = (\mathscr{T}(\vartheta) ) \mathfrak{h}\), where the equivalent integral Eq. (9) can be written in the operator form
$$ \begin{aligned}[b]\bigl(\mathscr{T}(\vartheta) \bigr)\mathfrak{h} ={}& \frac{\mu (\vartheta)}{\Gamma(\nu)} \bigl(\psi(t)-\psi(0)\bigr)^{\nu-1} \\&+ \frac {1}{\Gamma(\alpha)} \int_{0}^{t} \psi{'}(s) \bigl(\psi(t) - \psi (s)\bigr)^{\alpha-1} \mathfrak{g} \bigl(s, \vartheta, \mathfrak{h}(s, \vartheta)\bigr) \,ds.\end{aligned} $$
Clearly, the fixed points of the operator \(\mathscr{T}\) are solutions of Eq. (1). Set \(\mathfrak{\tilde{g}} = \mathfrak{g} (s, \vartheta, 0)\). For any \(\mathfrak{h} \in J \times\Omega\), we have
$$\begin{gathered} \bigl\vert \bigl(\mathscr{T}(\vartheta)\mathfrak{h}\bigr) (t) \bigl(\psi(t)- \psi (0) \bigr)^{1-\nu} \bigr\vert \\ \quad \leq\frac{ \vert \mu(\vartheta) \vert }{\Gamma(\nu)} + \frac { (\psi(t)-\psi(0) )^{1-\nu}}{\Gamma(\alpha)} \int _{0}^{t} \psi{'}(s) \bigl(\psi(t) - \psi(s)\bigr)^{\alpha-1} \bigl\vert \mathfrak{g} \bigl(s, \vartheta, \mathfrak{h}(s, \vartheta)\bigr) \bigr\vert \, ds \\ \quad \leq\frac{ \vert \mu(\vartheta) \vert }{\Gamma(\nu)}\\\qquad{} + \frac { (\psi(t)-\psi(0) )^{1-\nu}}{\Gamma(\alpha)}\\\qquad{}\times \int _{0}^{t} \psi{'}(s) \bigl(\psi(t) - \psi(s)\bigr)^{\alpha-1} \bigl\vert \mathfrak{g} \bigl(s, \vartheta, \mathfrak{h}(s, \vartheta)\bigr) - \mathfrak{g} (s, \vartheta, 0) + \mathfrak{g} (s, \vartheta, 0) \bigr\vert \,ds \\ \quad \leq\frac{ \vert \mu(\vartheta) \vert }{\Gamma(\nu)}\\\qquad{} + \frac { (\psi(t)-\psi(0) )^{1-\nu}}{\Gamma(\alpha)}\\\qquad{}\times \int _{0}^{t} \psi{'}(s) \bigl(\psi(t) - \psi(s)\bigr)^{\alpha-1} \bigl\vert \mathfrak{g} \bigl(s, \vartheta, \mathfrak{h}(s, \vartheta)\bigr) - \mathfrak{g} (s, \vartheta, 0) \bigr\vert + \bigl\vert \mathfrak{g} (s, \vartheta, 0) \bigr\vert \,ds \\ \quad \leq\frac{ \vert \mu(\vartheta) \vert }{\Gamma(\nu)} + \frac { (\psi(t)-\psi(0) )^{1-\nu}}{\Gamma(\alpha)} \ell(t, \vartheta) B(\nu, \alpha) \bigl(\psi(t)-\psi(0) \bigr)^{\alpha+ \nu- 1} \Vert \mathfrak{h} \Vert _{C_{1-\nu, \psi}} \\ \qquad {}+ \frac{ (\psi(t)-\psi(0) )^{1-\nu}}{\Gamma(\alpha)} B(\nu, \alpha) \bigl(\psi(t)-\psi(0) \bigr)^{\alpha+ \nu- 1} \Vert \mathfrak{\tilde {g}} \Vert _{C_{1-\nu, \psi}} \\ \quad \leq\frac{ \vert \mu(\vartheta) \vert }{\Gamma(\nu)} + \frac {\ell(t, \vartheta)}{\Gamma(\alpha)} B(\nu, \alpha) \bigl(\psi (T)- \psi(0) \bigr)^{\alpha} \Vert \mathfrak{h} \Vert _{C_{1-\nu, \psi}} \\\qquad{}+ \frac{1}{\Gamma(\alpha)} B(\nu, \alpha) \bigl(\psi(T)-\psi (0) \bigr)^{\alpha} \Vert \mathfrak{\tilde{g}} \Vert _{C_{1-\nu, \psi}} \\ \quad = r.\end{gathered} $$
This proves that \(\mathscr{T}\) transforms the ball \(B_{r}= \{ \mathfrak{h} \in C_{1-\nu, \psi}: \Vert \mathfrak{h} \Vert _{C_{1-\nu, \psi}} \leq r \}\) into itself. We shall show that the operator \(\mathscr{T} : B_{r} \rightarrow B_{r}\) satisfies all the conditions of the Schauder fixed point theorem. The proof will be given in the following steps.

Step 1: \(\mathscr{T}\) is continuous.

Let \(\mathfrak{h}_{n}\) be a sequence such that \(\mathfrak{h}_{n} \rightarrow\mathfrak{h}\) in \(C_{1-\nu, \psi}\). Then for each \(t \in J\), \(\vartheta\in\Omega\),
$$\begin{gathered} \bigl\vert \bigl(\bigl(\mathscr{T}(\vartheta)\mathfrak{h}_{n} \bigr) (t) - \bigl(\mathscr {T}(\vartheta)\mathfrak{h}\bigr) (t) \bigr) \bigl( \psi(t)-\psi(0) \bigr)^{1-\nu} \bigr\vert \\ \quad \leq\frac{ (\psi(t)-\psi(0) )^{1-\nu}}{\Gamma(\alpha )} \int_{0}^{t} \psi{'}(s) \bigl(\psi(t) - \psi(s)\bigr)^{\alpha-1} \bigl\vert \mathfrak{g}_{n} \bigl(s, \vartheta, \mathfrak{h}(s, \vartheta)\bigr) - \mathfrak{g} \bigl(s, \vartheta, \mathfrak{h}(s, \vartheta)\bigr) \bigr\vert \, ds \\ \quad \leq \bigl(\psi(t) - \psi(0) \bigr)^{1-\nu}\frac{B(\nu, \alpha )}{\Gamma(\alpha)} \bigl( \psi(t) - \psi(0) \bigr)^{\alpha+ \nu- 1} \bigl\Vert \mathfrak{g}_{n} \bigl(\cdot, \vartheta, \mathfrak{h}(\cdot, \vartheta)\bigr) - \mathfrak{g} \bigl( \cdot, \vartheta, \mathfrak{h}(\cdot, \vartheta)\bigr) \bigr\Vert _{C_{1-\nu, \psi}} \\ \quad \leq\frac{B(\nu, \alpha)}{\Gamma(\alpha)} \bigl(\psi(T)-\psi (0) \bigr)^{1-\nu} \bigl\Vert \mathfrak{g}_{n} \bigl(\cdot, \vartheta, \mathfrak{h}(\cdot, \vartheta)\bigr) - \mathfrak{g} \bigl(\cdot, \vartheta, \mathfrak{h}(\cdot, \vartheta)\bigr) \bigr\Vert _{C_{1-\nu, \psi}},\end{gathered} $$
where \(B(\nu, \alpha)\) is the Beta function. Due to continuity of \(\mathfrak{g}\), we have
$$\bigl\Vert \mathscr{T}(\vartheta)\mathfrak{h}_{n} - \mathscr {T}( \vartheta)\mathfrak{h} \bigr\Vert _{C_{1-\nu, \psi}} \rightarrow0 \quad\mbox{as } n \rightarrow\infty. $$

Step 2: \(\mathscr{T}(B_{r})\) is uniformly bounded.

This is clear since \(\mathscr{T}(B_{r}) \subset B_{r}\) is bounded.

Step 3: We show that \(\mathscr{T}(B_{r})\) is equi-continuous.

Let \(t_{1}> t_{2} \in J\) with \(B_{r}\) a bounded set of \(C_{1-\nu, \psi}\) as in Claim 2, and \(\mathfrak{h} \in B_{r}\). Then
$$ \begin{aligned}[b]& \bigl\vert \bigl(\psi(t_{1})- \psi(0)\bigr)^{1-\nu}\mathscr{T}(\vartheta)\mathfrak {h}(t_{1}) - \bigl(\psi(t_{2})-\psi(0)\bigr)^{1-\nu}\mathscr{T}(\vartheta ) \mathfrak{h}(t_{2}) \bigr\vert \\ &\quad \leq \biggl\vert \frac{(\psi(t_{1})-\psi(0))^{1-\nu}}{\Gamma(\alpha)} \int_{0}^{t_{1}} \psi{'}(s) \bigl( \psi(t_{1}) - \psi(s)\bigr)^{\alpha-1} \mathfrak{g} \bigl(s, \vartheta, \mathfrak{h}(s, \vartheta)\bigr) \,ds \\ &\qquad{} - \frac{(\psi(t_{2})-\psi(0))^{1-\nu}}{\Gamma(\alpha)} \int _{0}^{t_{2}} \psi{'}(s) \bigl( \psi(t_{2}) - \psi(s)\bigr)^{\alpha-1} \mathfrak {g} \bigl(s, \vartheta, \mathfrak{h}(s, \vartheta)\bigr) \,ds \biggr\vert \\ &\quad \leq\frac{ \Vert \mathfrak{g} \Vert _{C_{1-\nu, \psi}}}{\Gamma(\alpha)} B(\nu, \alpha) \bigl\vert \bigl(\psi(t_{1})- \psi(0)\bigr)^{\alpha} - \bigl(\psi(t_{2})-\psi (0) \bigr)^{\alpha} \bigr\vert . \end{aligned} $$
Keeping in mind that upon using \(t_{1} \rightarrow t_{2}\) the right hand side of the inequality (11) approaches zero. Therefore by Steps 1–3 together with the Arzela–Ascoli theorem, we see that \(\mathscr {T}\) is continuous and compact. Hence by Schauder’s theorem, the operator \(\mathscr{T}\) has a fixed point \(\mathfrak{h}\) which is a solution of Eq. (1). □

Lemma 3.3

Assume that the hypothesis (H1) is satisfied. If
$$\frac{\ell(t, \vartheta)}{\Gamma(\alpha)} \bigl(\psi(T)-\psi (0) \bigr)^{\alpha} B(\nu, \alpha) < 1. $$
Then, (1) has unique solution.

Now we are concerned with the generalized HUR stablest of Eq. (1).

Theorem 3.4

Under the hypotheses (H1) and (H2) the solution of Eq. (1) is generalized HUR stable.


Assume that for any solution \(\mathfrak{h}\) of inequality (8) and using Lemma 3.3 one has a unique solution \(\mathfrak{y}\) for Eq. (1). Thus we have
$$ \mathfrak{y}(t, \vartheta) = \frac{\mu(\vartheta)}{\Gamma(\nu)} \bigl(\psi(t)-\psi(0) \bigr)^{\nu-1} + \frac{1}{\Gamma(\alpha)} \int _{0}^{t} \psi{'}(s) \bigl(\psi(t) - \psi(s)\bigr)^{\alpha-1} \mathfrak{g} \bigl(s, \vartheta, \mathfrak{y}(s, \vartheta)\bigr) \,ds. $$
By differentiating inequality (8) for each \(t \in J, \vartheta \in\Omega\), we have
$$\begin{gathered} \biggl\vert \mathfrak{h}(t, \vartheta) - \frac{\mu(\vartheta)}{\Gamma (\nu)} \bigl(\psi(t)- \psi(0)\bigr)^{\nu-1} - \frac{1}{\Gamma(\alpha)} \int _{0}^{t} \psi{'}(s) \bigl(\psi(t) - \psi(s)\bigr)^{\alpha-1} \mathfrak{g} \bigl(s, \vartheta, \mathfrak{h}(s, \vartheta)\bigr) \,ds \biggr\vert \\\quad \leq \lambda_{\varphi} \varphi(t, \vartheta).\end{gathered} $$
Hence it follows
$$\begin{gathered} \bigl\vert \mathfrak{h}(t, \vartheta) - \mathfrak{y}(t, \vartheta ) \bigr\vert \\ \quad \leq \biggl\vert \mathfrak{h}(t, \vartheta) - \frac{\mu(\vartheta )}{\Gamma(\nu)} \bigl( \psi(t)-\psi(0)\bigr)^{\nu-1} \\\qquad{}- \frac{1}{\Gamma (\alpha)} \int_{0}^{t} \psi{'}(s) \bigl(\psi(t) - \psi(s)\bigr)^{\alpha-1} \mathfrak{g} \bigl(s, \vartheta, \mathfrak{y}(s, \vartheta)\bigr) \,ds \biggr\vert \\ \quad \leq \biggl\vert \mathfrak{h}(t, \vartheta) - \frac{\mu(\vartheta )}{\Gamma(\nu)} \bigl( \psi(t)-\psi(0)\bigr)^{\nu-1} \\\qquad{}- \frac{1}{\Gamma (\alpha)} \int_{0}^{t} \psi{'}(s) \bigl(\psi(t) - \psi(s)\bigr)^{\alpha-1} \mathfrak{g} \bigl(s, \vartheta, \mathfrak{h}(s, \vartheta)\bigr) \,ds \biggr\vert \\ \qquad{}+ \frac{1}{\Gamma(\alpha)} \int_{0}^{t} \psi{'}(s) \bigl(\psi(t) - \psi(s)\bigr)^{\alpha-1} \bigl\vert \mathfrak{g} \bigl(s, \vartheta, \mathfrak{h}(s, \vartheta)\bigr) - \mathfrak{g} \bigl(s, \vartheta, \mathfrak {y}(s, \vartheta)\bigr) \bigr\vert \,ds \\ \quad\leq\lambda_{\varphi} \varphi(t, \vartheta) + \frac{\ell(t, \vartheta)}{\Gamma(\alpha)} \int_{0}^{t} \psi{'}(s) \bigl(\psi(t) - \psi(s)\bigr)^{\alpha-1} \bigl\vert \mathfrak{h}(s, \vartheta) - \mathfrak {y}(s, \vartheta) \bigr\vert \,ds \\ \quad \leq\lambda_{\varphi} \varphi(t) + \frac{\ell(t, \vartheta )}{\Gamma(\alpha)} \int_{0}^{t} \psi{'}(s) \bigl(\psi(t) - \psi (s)\bigr)^{\alpha-1} \lambda_{\varphi} \varphi(s, \vartheta) \,ds \\ \quad := C_{\mathfrak{g}, \varphi} \varphi(t, \vartheta).\end{gathered} $$
Thus, Eq. (1) is generalized HUR stable. □

4 Illustrative examples

Here in this part let \(\vartheta= (-\infty, 0)\) be equipped with the usual σ-algebra consisting of Lebesgue measurable subsets of \((-\infty, 0)\). To demonstrate the established theoretical results, ψ-HFD is utilized to provide some examples.

Example 4.1

The RFDEs with generalized Riemann–Liouville fractional derivative as particular case of Eq. (1) when \(\psi{t} = t\) is given by
$$ \textstyle\begin{cases} \mathscr{D}^{\alpha, \beta; t} \mathfrak{h}(t, \vartheta) = \mathfrak{g} (t, \vartheta, \mathfrak{h}(t, \vartheta)), \quad t \in[0,1],\\ \mathscr{I}^{1-\nu; t} \mathfrak{h}(t, \vartheta)|_{t=0} = \vartheta. \end{cases} $$
Denote \(\alpha= \frac{2}{3}\), \(\beta= \frac{1}{2}\) and choose \(\nu= \frac{5}{6}\). Set \(\mathfrak{g} (t, \vartheta, \mathfrak{h}(t, \vartheta)) = \frac{\vartheta^{2} e^{-t-10}}{1+\vartheta^{2} + \vert \mathfrak{h}(t, \vartheta) \vert }\) for \(t \in[0, 1]\). Moreover, the hypothesis (H1) is satisfied,
$$\bigl\vert \mathfrak{g} \bigl(s, \vartheta, \mathfrak{h}(s, \vartheta)\bigr) - \mathfrak{g} \bigl(s, \vartheta, \mathfrak{y}(s, \vartheta)\bigr) \bigr\vert \leq\frac{1}{e^{10}} \vert \mathfrak{h} - \mathfrak{y} \vert . $$
Finally, the hypothesis (H2) is satisfied with \(\varphi(t, \vartheta) = \vartheta^{2} t \) and \(\lambda_{\varphi} = \frac{1}{\Gamma(\alpha+2)}\). Thus Eq. (12) is generalized HUR stable.

Example 4.2

Consider RFDEs with the Hilfer–Hadamard fractional derivative by taking the value \(\psi(t) = \ln t\) given by
$$ \textstyle\begin{cases} \mathscr{D}^{\alpha, \beta; \ln t} \mathfrak{h}(t, \vartheta) = \frac{1}{9 e^{t}} (\sin \vert \vartheta \vert \mathfrak {h}(t, \vartheta)+1 ), \quad t \in J := [1, e], \\ \mathscr{I}^{1-\nu; \ln t} \mathfrak{h}(t, \vartheta)|_{t=1} = 0 . \end{cases} $$
Denote \(\alpha= \frac{2}{3}\), \(\beta= \frac{1}{2}\) and \(\gamma= \frac{5}{6}\). Thus,
$$ \bigl\vert \mathfrak{g}\bigl(t, \vartheta, \mathfrak{h}(t, \vartheta )\bigr)- \mathfrak{g}\bigl(t, \vartheta, \mathfrak{y}(t, \vartheta)\bigr) \bigr\vert \leq \frac{1}{9} \bigl\vert \mathfrak{h}(t, \vartheta)-\mathfrak{y}(t, \vartheta) \bigr\vert . $$
Here \(\ell(t, \vartheta) = \frac{1}{9}\). Next, set \(\varphi(t, \vartheta) = e^{t+\vartheta}\). Thus we have
$$\mathfrak{I}^{\alpha; \ln t}\varphi(t, \vartheta)\leq\frac {1}{\Gamma(\frac{5}{3})}\varphi(t, \vartheta). $$
Thus all the hypotheses are satisfied. Thus Eq. (13) is generalized HUR stable.

Example 4.3

Consider RFDEs involving the Hilfer–Katugampola fractional derivative by taking the value \(\psi(t) = t^{\rho}\) given by
$$ \textstyle\begin{cases} \mathscr{D}^{\alpha, \beta; t^{\rho}} \mathfrak{h}(t, \vartheta) = \frac{e^{t}}{1+ e^{-t}} ( \frac{\mathfrak{h}(t, \vartheta )}{1+\mathfrak{h}(t, \vartheta)} ), \quad t \in J := [0, 1], \\ \mathscr{I}^{1-\nu; t^{\rho}} \mathfrak{h}(t, \vartheta)|_{t=0} = 0 . \end{cases} $$
Denote \(\alpha= \frac{1}{2}\), \(\beta= \frac{2}{3}\) and \(\gamma= \frac{5}{6}\). Thus,
$$ \bigl\vert \mathfrak{g}\bigl(t, \vartheta, \mathfrak{h}(t, \vartheta )\bigr)- \mathfrak{g}\bigl(t, \vartheta, \mathfrak{y}(t, \vartheta)\bigr) \bigr\vert \leq \frac{1}{10} \bigl\vert \mathfrak{h}(t, \vartheta)-\mathfrak{y}(t, \vartheta) \bigr\vert . $$
Finally, set \(\varphi(t, \vartheta) = \vartheta^{3} t^{\rho/2}\). Thus we have
$$\mathfrak{I}^{\alpha; t^{\rho}}\varphi(t, \vartheta)\leq\frac {1}{\Gamma(\frac{3}{2})}\varphi(t, \vartheta). $$
Thus Eq. (14) is generalized HUR stable.

5 Conclusion

In this article, a class of RFDEs has been investigated. By the use of classical fixed point theory of Schauder, we have formed some adequate results as regards the existence of at least one solution to the proposed problem corresponding to HFD. Further an attempt has been made to establish enough conditions for stability analysis. The concerned stability results are devoted to Ulam type which includes UH and HUR stability. The whole analysis has been demonstrated by a suitable example. The respective results are new and interesting to the best of our knowledge regarding stability. As a conclusion the HFD and RFDEs can be used a powerful tools for studying the dynamical behavior of many real world problems.



We are thankful to the reviewers for their useful corrections and suggestions, which improved the quality of this paper.


This research work has been supported financially by the Department of Mathematics, Cankaya University, Ankara, Turkey and Institute of Space Sciences, Bucharest, Romania.

Authors’ contributions

The main idea of this paper was proposed by the first and second authors, while the second and last authors reviewed and modified the paper. Furthermore, all authors read and approved the final manuscript.

Competing interests

There is no competing interest corresponding to this paper.

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

Authors’ Affiliations

Department of Mathematics, Sri Ramakrishna Mission Vidyalaya College of Arts and Science, Coimbatore, India
Department of Mathematics, University of Malakand, Chakdara, Pakistan
Department of Mathematics, Cankaya University, Ankara, Turkey


  1. Abbas, S., Benchohra, M., Lazreg, J.-E., N’Guerekata, G.M.: Hilfer and Hadamard functional random fractional differential inclusions. CUBO 19, 17–38 (2017) MathSciNetView ArticleGoogle Scholar
  2. Abbas, S., Benchohra, M., Sivasundaram, S.: Dynamics and Ulam stability for Hilfer type fractional differential equations. Nonlinear Stud. 4, 627–637 (2016) MathSciNetMATHGoogle Scholar
  3. Ahmad, B., Nieto, J.J.: Riemann–Liouville fractional differential equations with fractional boundary conditions. Fixed Point Theory 13, 329–336 (2013) MathSciNetMATHGoogle Scholar
  4. Almeida, R.: A Caputo fractional derivative of a function with respect to another function. Commun. Nonlinear Sci. Numer. Simul. 44, 460–481 (2017) MathSciNetView ArticleGoogle Scholar
  5. Furati, K.M., Kassim, M.D., Tatar, N.E.: Existence and uniqueness for a problem involving Hilfer fractional derivative. Comput. Math. Appl. 64, 1616–1626 (2012) MathSciNetView ArticleMATHGoogle Scholar
  6. Hilfer, R.: Application of Fractional Calculus in Physics. World Scientific, Singapore (1999) Google Scholar
  7. Ibrahim, R.W.: Generalized Ulam–Hyers stability for fractional differential equations. Int. J. Math. 23, 1–9 (2012) MathSciNetView ArticleGoogle Scholar
  8. Kamocki, R., Obcznnski, C.: On fractional Cauchy-type problems containing Hilfer derivative. Electron. J. Qual. Theory Differ. Equ. 50, 1 (2016) MathSciNetView ArticleGoogle Scholar
  9. Kilbas, A.A., Srivastava, H.M., Trujillo, J.J.: Theory and Applications of Fractional Differential Equations. Mathematics Studies, vol. 204. Elsevier, Amsterdam (2006) View ArticleMATHGoogle Scholar
  10. Kumama, P., Ali, A., Shah, K., Khan, R.A.: Existence results and Hyers–Ulam stability to a class of nonlinear arbitrary order differential equations. J. Nonlinear Sci. Appl. 10, 2986–2997 (2017) MathSciNetView ArticleGoogle Scholar
  11. Lupulescu, V., Ntouyas, S.K.: Random fractional differential equations. Int. Electron. J. Pure Appl. Math. 4(2), 119–136 (2012) MathSciNetMATHGoogle Scholar
  12. Muniyappan, P., Rajan, S.: Hyers–Ulam–Rassias stability of fractional differential equation. Int. J. Pure Appl. Math. 102, 631–642 (2015) View ArticleGoogle Scholar
  13. Podlubny, I.: Fractional Differential Equations. Mathematics in Science and Engineering, vol. 198. Academic Press, San Diego (1999) MATHGoogle Scholar
  14. Smart, D.R.: Fixed Point Theorems. Cambridge University Press, Cambridge (1980) MATHGoogle Scholar
  15. Soong, T.T.: Random Differential Equations in Science and Engineering. Academic Press, New York (1973) MATHGoogle Scholar
  16. Vanterler da C. Sousa, J., Capelas de Oliveira, E.: On the ψ-Hilfer fractional derivative. Commun. Nonlinear Sci. Numer. Simul. 60, 72–91 (2018) MathSciNetView ArticleGoogle Scholar
  17. Vanterler da C. Sousa, J., Capelas de Oliveira, E.: Ulam–Hyers stability of a nonlinear fractional Volterra integro-differential equation. Appl. Math. Lett. 81, 50–56 (2018). MathSciNetView ArticleMATHGoogle Scholar
  18. Vanterler da C. Sousa, J., Capelas de Oliveira, E.: On a new operator in fractional calculus and applications. arXiv:1710.03712
  19. Vanterler da C. Sousa, J., Capelas de Oliveira, E.: On the Ulam–Hyers–Rassias stability for nonlinear fractional differential equations using the ψ-Hilfer operator. arXiv:1711.07339
  20. Vanterler da C. Sousa, J., Capelas de Oliveira, E., Magna, L.A.: Fractional calculus and the ESR test. AIMS Math. 2(4), 692–705 (2017) View ArticleGoogle Scholar
  21. Vanterler da C. Sousa, J., dos Santos, M.N.N., Magna, L.A., Capelas de Oliveira, E.: Validation of a fractional model for erythrocyte sedimentation rate. arXiv:1802.04340
  22. Vivek, D., Kanagarajan, K., Sivasundaram, S.: Dynamics and stability of pantograph equations via Hilfer fractional derivative. Nonlinear Stud. 23, 685–698 (2016) MathSciNetMATHGoogle Scholar
  23. Vu, H.: Random fractional functional differential equations. Int. J. Nonlinear Anal. Appl. 7(2), 253–267 (2016) MathSciNetMATHGoogle Scholar
  24. Wang, J., Lv, L., Zhou, Y.: Ulam stability and data dependence for fractional differential equations with Caputo derivative. Electron. J. Qual. Theory Differ. Equ. 63, 1 (2011) MathSciNetMATHGoogle Scholar
  25. Wang, J., Shah, K., Ali, A.: Existence and Hyers–Ulam stability of fractional nonlinear impulsive switched coupled evolution equations. Math. Methods Appl. Sci. 41 2392–2402 (2018) MathSciNetMATHGoogle Scholar


© The Author(s) 2018