Analytic study on hilfer fractional langevin equations with impulses

Author(s): S. Harikrishnan1, E. M. Elsayed2, K. Kanagarajan1,3
1Department of Mathematics, Sri Ramakrishna Mission Vidyalaya College of Arts and Science, Coimbatore-641020, India.
2Department of Mathematics, Faculty of Science,King Abdulaziz University, Jeddah 21589, Saudi Arabia.
3Department of Mathematics, Faculty of Science, Mansoura University, Mansoura 35516, Egypt.
Copyright © S. Harikrishnan, E. M. Elsayed, K. Kanagarajan. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Abstract

In this paper, we find a solution of a new type of Langevin equation involving Hilfer fractional derivatives with impulsive effect. We formulate sufficient conditions for the existence and uniqueness of solutions. Moreover, we present Hyers-Ulam stability results.

Keywords: Langevin equation; Impulsive condition; Fixed point theorem; Ulam stability.

1. Introduction

Fractional differential equation (FDEs) has gained increasing attention because of their varied applications in applied sciences and engineering, see the monograph [1, 2, 3]. The memory and hereditary of various material and process can be properly described as FDEs. Due to their importance and necessity of FDEs many researchers focused their work towards existence theory and stability criteria. In this work, we study existence of solution for FDEs with Hilfer fractional derivative (HFD) which was initiated by Hilfer [1]. HFD interpolate both classical Riemann-Liouville (RL) and the Liouville-Caputo (LC) fractional derivatives. Recently, HFD is studied in many papers for detailed study, see [4, 5, 6, 7, 8, 9, 10].

In 1908, Langevin introduced a concept of an equation of motion of a Brownian particle which is named after Langevin equation. Langevin equations have been widely used to describe stochastic differential equation [11]. For systems in complex media, standard Langevin equation does not provide the correct description of the dynamics. As a result, various generalizations of Langevin equations have been offered to describe dynamical processes in a fractal medium. One such generalization is the generalized Langevin equation which incorporates the fractal and memory properties with a dissipative memory kernel into the Langevin equation. These give a rise to the Langevin equation involving fractional order. In 2007, Fa [12] discussed variance and velocity correlation of Langevin equations with both RL and LC fractional derivative. In 2011, Existence of solutions is analysed in [13]. Since them many authors discussed existence of solution with different conditions, see [14, 15, 16, 17].

Impulsive differential equations have been focused since it serves as an important tool to characterize the phenomena in which sudden, discontinuous jumps occur in various fields of science and engineering, and impulsive FDEs have received many attentions, see [18, 19, 20].

The concept of stability for a functional equation arises when we replace the functional equation by an inequality which acts as a perturbation of the equation. Considerable attention has been given to the study of the Ulam-Hyers (UH) and Ulam-Hyers-Rassias(UHR) stability. More details from historical point of view and recent developments of such stabilities are reported in [21, 22, 23, 24, 25, 26].

Consider the following system of Langevin differential equation involving HFD with impulse effect
\begin{align} \label{e1} \begin{cases} D^{\alpha_1, \beta} (D^{\alpha_2, \beta} + \lambda)x(t) = f(t, x(t)), \quad t \in J^{‘}:= J \setminus \left\{t_1, t_2,…,t_m\right\},\\ J= [a, b], \ \ t \notin t_k,\\ \Delta I^{1-\gamma}x(t)|_{t=t_k} = \psi_k (x(t_k)), \quad t = t_k, \ \ \ k = 1, 2, …, m,\\ I^{1-\gamma} x(t)|_{t=a} = x_a, \quad \gamma = (\alpha_1 + \alpha_2)(1 – \beta) + \beta, \end{cases} \end{align}
(1)
where \(D^{\alpha_1, \beta}, \ D^{\alpha_2, \beta} (0 < (\alpha_1, \alpha_2) < 1, 0 \leq \beta \leq 1)\) are the GRL fractional derivative of orders \(\alpha_1, \ \alpha_2\) and type \(\beta\). Here, the function \(f:J\times R \rightarrow R\) is continuous, \(I_k: R \rightarrow R, \ \mbox{and} \ a \in R,\ a = t_0 < t_1 < …< t_m < t_{m+1} = b\), \(\Delta I^{1-\gamma}x(t)|_{t=t_k} = I^{1-\gamma}x(t_k^+) – I^{1-\gamma}x(t_k^-)\), \(I^{1-\gamma}x(t_k^+) = \lim_{h \rightarrow 0+} x(t_k + h)\) and \(I^{1-\gamma}x(t_k^-) = \lim_{h \rightarrow 0-} x(t_k + h)\) represent the right and left limits of \(x(t)\) at \(t=t_k\). The existence and uniqueness results for the problem (1), some of the following conditions have to be satisfied;
  • [(H1)] Let \(f:J\times R \rightarrow R\) be a continuous function and there exists a positive constant \(L_f > 0\), such that \begin{eqnarray*} \left|f(t,x)-f(t,y)\right| \leq L_f \left| x – y \right|, \ \mbox{for all} \ x,y \in R. \end{eqnarray*}
  • [(H2)] Let the functions \(\psi_k : R \rightarrow R\) are continuous and there exists a constant \(L_{\psi} > 0\), such that $$ \left|\psi_k(x)- \psi_k(y)\right| \leq L_{\psi} \left| x – y \right| , \ \mbox{for all} \ x,y \in R, k = 1, 2, … , m. $$
  • [(H3)] There exists an increasing finctions \(\varphi \in PC_{1-\gamma} (J, R)\) and there exists \(\lambda_{\varphi} > 0\) such that for any \(t \in J\) $$ I^\alpha \varphi(t) \leq \lambda_{\varphi} \varphi(t). $$
The paper is organized as follows: In Section 2, we present some necessary definitions and preliminary results that will be used to prove our main results. The proofs of our main results are given in Section 3.

2.Preliminaries

In this section, we present some known definition and results that help us in proving of our main results. Consider the following space $$ PC(J, R) = \left\{x : J \rightarrow R : x(t) \in C(t_k, t_{k+1}], k = 0,…,m;\right\} $$ there exists \(x(t_k^+)\) and \(x(t_k^-)\). Now we consider the weighted space \(PC_{\gamma}(J, R)\), $$ PC_{\gamma}(J, R) = \left\{x : (t – t_k)^{\gamma} x(t) |_{t \in [t_k, t_{k+1}]} \in C[t_k, t_{k+1}], k = 0,…,m \right\}, $$ where \(0 \leq \gamma < 1\), which is a Banach space with norm $$ \left\|x\right\|_{PC_{\gamma}} = \sup_{t \in (t_k, t_{k+1}]} \left\{(t – t_k)^{\gamma} x(t)\right\}, k = 0,…,m. $$

Definition 2.1. [2] The Riemann-Liouville (RL) fractional integral of order \(\alpha > 0\) of function \(f : [0, \infty) \rightarrow R\) can be written as \begin{eqnarray*} I^{\alpha} f(t) = \frac{1}{ \Gamma (\alpha)} \int_{0}^{t}(t-s)^{\alpha-1} f(s) ds. \end{eqnarray*}

Definition 2.2. [2] The RL fractional derivative of order \(\alpha > 0\) of a continuous function \(f : [0, \infty) \rightarrow R\) can be written as \begin{eqnarray*} D^{\alpha} f (t) = \frac{1}{\Gamma(n – \alpha)} \left(\frac{d}{dt}\right)^n \int_{0}^{t} (t-s)^{\alpha – n + 1} f(s) ds, \end{eqnarray*} provided that the right side is pointwise defined on \([0, \infty)\).

Definition 2.3. [2] The LC fractional derivative of order \(\alpha > 0\) of a continuous function \(f : [0, \infty) \rightarrow R\) can be written as \begin{eqnarray*} {}^{C}D^{\alpha} f (t) = D^{\alpha} \left[ f(t) – \sum_{k=0}^{n-1} \frac{t^k}{k!} f^{k}(0) \right], \ t > 0, n-1 < \alpha < n. \end{eqnarray*}

Definition 2.4. [1] The HFD of order \(0 < \alpha < 1\) and \(0 \leq \beta \leq 1\) of function \(f(t)\) is defined by $$ D^{\alpha , \beta} f(t) =( I^{\beta(1-\alpha)}D(I^{(1-\beta)(1-\alpha)}f))(t) . $$ The HFD is considered as an interpolation between the RL and LC fractional derivative and the relations are given below.

Remark 2.5. (i) Operator \(D^{\alpha , \beta}\) also can be written as $$ D^{\alpha , \beta} = ( I^{\beta(1-\alpha)}D(I^{(1-\beta)(1-\alpha)})) = I^{\beta(1-\alpha)} D^{\gamma}, \ \ \ \gamma = \alpha + \beta – \alpha \beta . $$ (ii) If \(\beta = 0\), then \(D^{\alpha , \beta} = D^{\alpha, 0}\) is called RL fractional derivative.
(iii) If \(\beta = 1\), then \(D^{\alpha , \beta} = I^{1-\alpha} D \) is called LC fractional derivative.

Lemma 2.6. [10] If \(\alpha > 0\) and \(\beta > 0\), then there exists $$ \left[I^{\alpha} (t)^{\beta-1}\right](x) = \frac{\Gamma (\beta)}{\Gamma{(\beta +\alpha)}} x^{\beta+\alpha-1}, $$ and $$ \left[D^{\alpha} (t)^{\alpha-1}\right](x) = 0 \ , \ \ \ 0 < \alpha < 1 . $$

Lemma 2.7. [10] If \(\alpha > 0\) and \(\beta > 0\) and \(f \in L^{1} (a, b] \), then there exists the following properties $$ I^{\alpha} I^{\beta} f(t) = I^{\alpha + \beta} f(t), $$ and $$ D^{\alpha} I^{\alpha} f(t) = f(t). $$

Next, we shall give the definitions and the criteria of UH stability and UHR stability for Langevin differential equations with impulsive effect by GRL fractional derivative. Let \(\epsilon\) be a positive number and \(\varphi : J \rightarrow R^{+}\) be a continuous function, for every \(t \in J^{‘}\) and \(k = 1, 2,…, m\), we have the following inequalities
\begin{eqnarray}\label{11} \left\{\begin{array}{llll} \left|D^{\alpha_1, \beta} (D^{\alpha_2, \beta} + \lambda) z(t) – f(t, z(t))\right| & \leq & \epsilon, \\ \left|\Delta I^{1-\gamma}z(t)|_{t=t_k} – \psi_k (z(t_k))\right| & \leq & \epsilon, \end{array}\right. \end{eqnarray}
(2)
\begin{eqnarray}\label{13} \left\{\begin{array}{llll} \left|D^{\alpha_1, \beta} (D^{\alpha_2, \beta} + \lambda) z(t) – f(t, z(t))\right| &\leq& \epsilon\varphi(t), \\ \left|\Delta I^{1-\gamma}z(t)|_{t=t_k} – \psi_k (z(t_k))\right| &\leq& \epsilon\varphi(t), \end{array}\right. \end{eqnarray}
(3)
\begin{eqnarray}\label{14} \left\{\begin{array}{llll} \left|D^{\alpha_1, \beta} (D^{\alpha_2, \beta} + \lambda) z(t) – f(t, z(t))\right| &\leq& \varphi(t), \\ \left|\Delta I^{1-\gamma}z(t)|_{t=t_k} – \psi_k (z(t_k))\right| &\leq& \varphi(t), \end{array}\right. \end{eqnarray}
(4)

Definition 2.8. The system equations given in (1) is UH stable if there exists a real number \(C_f > 0\) such that for each \(\epsilon > 0\) and for each solution \(z \in PC_{1-\gamma} (J, R)\) of the inequality (2) there exists a solution \(x \in PC_{1-\gamma} (J, R)\) of Equation (1) with $$ \left|z(t) – x(t)\right| \leq C_f \ \epsilon, \quad t \in J. $$

Definition 2.9. The system equations given in (1) is generalized UH stable if there exist \(\varphi \in PC_{1-\gamma} (J, R^+)\), \(\varphi_f (0) = 0\) such that for each solution \(z \in PC_{1-\gamma} (J, R)\) of the inequality (2) there exists a solution \(x \in PC_{1-\gamma} (J, R)\) of Equation (1) with $$ \left|z(t) – x(t)\right| \leq \varphi_f \ \epsilon, \quad t \in J. $$

Definition 2.10. The system equations given in (1) is UHR stable with respect to \(\varphi \in PC_{1-\gamma} (J, R^+)\) if there exists a real number \(C_f > 0\) such that for each solution \(z \in PC_{1-\gamma} (J, R)\) of the inequality (3) there exists a solution \(x \in PC_{1-\gamma} (J, R)\) of Equation (1) with $$ \left|z(t) – x(t)\right| \leq C_f \ \epsilon \varphi(t), \quad t \in J. $$

Definition 2.11. The system equations given in (1) is generalized UHR stable with respect to \(\varphi \in PC_{1-\gamma^+} (J, R)\) if there exists a real number \(C_{f,\varphi} > 0\) such that for each solution \(z \in PC_{1-\gamma} (J, R)\) of the inequality (4) there exists a solution \(x \in PC_{1-\gamma} (J, R)\) of Equation (1) with $$ \left|z(t) – x(t)\right| \leq C_{f, \varphi} \varphi(t), \quad t \in J. $$

Remark 2.12. A function \(z \in PC_{1-\gamma} (J, R)\) is a solution of the inequality $$ \left|D^{\alpha_1, \beta} (D^{\alpha_2, \beta} + \lambda) z(t) – f(t, z(t))\right| \leq \epsilon , $$ if and only if there exist a function \(g\in PC_{1-\gamma}(J, R)\) and a sequence \(g_k\), \(k = 1, 2, . . . , m\) (which depend on \(z\)) such that

    (i) \(\left|g(t)\right| \leq \epsilon, \ \left|g_k\right| < \epsilon \).
    (ii) \(D^{\alpha_1, \beta} (D^{\alpha_2, \beta} + \lambda) z(t) = f(t, z(t)) + g(t)\).
    (iii) \(\Delta I^{1-\gamma} z(t)|_{t_k} = \psi_k (z(t_k)) + g_k \).

Lemma 2.13. [27] Let \(a(t)\) be a nonnegative function locally integrable on \(a \leq t < b\) for some \(b \leq \infty\), and let \(g(t)\) be a nonnegative, nondecreasing continuous function defined on \(a \leq t < b\), such that \(g(t) \leq K\) for some constant K. Further let \(x(t)\) be a nonnegative locally integrable on \(a \leq t < b\) function satisfying $$ \left|x(t)\right| \leq a(t) + g(t) \int_{a}^{t} (t-s)^{\alpha -1} x(s) ds, \ \ t \in [a, b) $$ with some \(\alpha > 0\). Then $$ \left|x(t)\right| \leq a(t) + \int_{a}^{t} \left[ \sum_{n=1}^{\infty} \frac{(g(t)\Gamma (\alpha))^n}{ \Gamma(n\alpha)} (t-s)^{n\alpha -1}\right] a(s) ds, \ \ a \leq t < b. $$

Remark 2.14. Under the hypethesis of Lemma 2.13 let \(a(t)\) be a nondecreasing function on \([0, T)\). Then \(y(t) \leq a(t) E_{\alpha}(g(t)\Gamma(\alpha)t^{\alpha})\), where \(E_\alpha\) is the Mittag-Leffler function defined by $$ E_\alpha(z) = \sum_{k=0}^{\infty} \frac{z^k}{\Gamma(k\alpha+ 1)} , \ z \in C, \ Re(\alpha) > 0. $$

Lemma 2.15. [26] Let \(x \in PC_{1-\gamma}(J, R)\) satisfies the following inequality $$ \left|x(t)\right| \leq c_1 + c_2\int_{0}^{t} (t-s)^{\alpha-1} \left|x(t)\right| ds + \sum_{0< t_k< t} \psi_k \left|x(t_k)\right|, $$ where \(c_1\) is a nonnegative, continuous and nondecreasing function and \(c_2, \psi_i\) are constants. Then $$ \left|x(t)\right| \leq c_1\left(1 + \psi E_{\alpha} (c_2 \Gamma(\alpha) t^{\alpha})^{k} E_{\alpha} (c_2 \Gamma(\alpha) t^{\alpha} \right) \ for \ t \in (t_k. t_{k+1}], $$ where \(\psi = \sup \left\{\psi_k : k = 1, 2, 3,…,m\right\}\).

Theorem 2.16. [28](Schauder Fixed Point Theorem) Let \(E\) be a Banach space and \(Q\) be a nonempty bounded convex and closed subset of \(E\) and \(N : Q \rightarrow Q\) is compact, and continuous map. Then \(N\) has at least one fixed point in \(Q\).

Theorem 2.17. [28](Banach Fixed Point Theorem) Suppose \(Q\) be a non–empty closed subset of a Banach space \(E\). Then any contraction mapping \(N\) from \(Q\) into itself has a unique fixed point.

3. Main results

In this section, we study the main results on the existence of solution for Equation (1). We need the following Lemma to establish our main results.

Lemma 3.1. Let \(f : J \times R \rightarrow R\) be continuous. A function \(x\) is a solution of the fractional integral equation

\begin{align} \label{e2} x(t) = \left\{\begin{array}{lr} \frac{x_a}{\Gamma(\gamma)} (t-a)^{\gamma-1} – \lambda I_{a}^{\alpha_2} x(t) + I_{a}^{\alpha_1 + \alpha_2} f(t, x(t)) \quad if \quad t \in [a, t_1],\\ \frac{(t-t_k)^{\gamma-1}}{\Gamma (\gamma)} \left[x_a + \displaystyle \sum_{0< t_k < t}\psi_k (x(t_k)) – \displaystyle \sum_{0< t_k < t} \lambda I_{t_{k-1}}^{(1-\alpha_1)(1-\beta) + \alpha_2 \beta} x(t_k) \right. \\ \displaystyle\left. + \sum_{0< t_k < t} I_{t_{k-1}}^{1+\beta(\alpha_1 + \alpha_2 -1)} f(t_k, x(t_k))\right] – \lambda I_{t_k}^{\alpha_2} x(t) \\ + I_{t_k}^{\alpha_1 + \alpha_2} f(t, x(t)) \ \ \ \ if \ \ \ t \in (t_k, t_{k+1}],\end{array} \right. \end{align}
(5)
where \(k = 1,…,m\), if and only if \(x\) is a solution of the fractional initial value problem \begin{align*} D^{\alpha_1, \beta} (D^{\alpha_2, \beta} + \lambda)x(t) &= f(t, x(t)), \\ \Delta I^{1-\gamma}x(t)|_{t=t_k} &= \psi_k (x(t_k)),\\ I^{1-\gamma} x(a) &= x_a. \end{align*}

Theorem 3.2. Assume that [H1] and [H2] are fulfilled. If \begin{align*} \rho = &\left[\frac{1}{\Gamma(\gamma)}\left( m L_{\psi} (b-a)^{\gamma-1} + \frac{ m \lambda B(\gamma, (1-\alpha_1)(1-\beta) + \alpha_2 \beta)}{\Gamma((1-\alpha_1)(1-\beta) + \alpha_2 \beta)} (b-a)^{1+\alpha_2} \right. \right. \\ & \left. \left. \quad + \frac{m L_f B(\gamma, 1+\beta(\alpha_1 + \alpha_2 -1))}{\Gamma(1+\beta(\alpha_1 + \alpha_2 -1))} (b-a)^{\alpha_1+ \alpha_2}\right) + \frac{\lambda B(\gamma, \alpha_2)}{\Gamma(\alpha_2)} (b-a)^{\alpha_2} \right. \\ & \left. \quad + \frac{ B(\gamma, \alpha_1+\alpha_2)}{\Gamma(\alpha_1+\alpha_2)} (b-a)^{\alpha_1+\alpha_2} \right] < 1, \end{align*} then the Equation (1) has a unique solution.

Proof. The proof is based on the Banach fixed point theorem. Define the operator \(N:PC_{1-\gamma}(J, R) \rightarrow PC_{1-\gamma}(J, R)\). The equivalent integral equation (5) which can be written in the operator form as follows

\begin{align}\label{e4} Nx(t) = \left\{\begin{array}{lr} \frac{(t-t_k)^{\gamma-1}}{\Gamma (\gamma)} \left[x_a + \displaystyle \sum_{0< t_k < t}\psi_k (x(t_k)) – \displaystyle \sum_{0< t_k < t} \lambda I_{t_{k-1}}^{(1-\alpha_1)(1-\beta) + \alpha_2 \beta} x(t_k) \right. \\ \displaystyle\left. + \sum_{0< t_k < t} I_{t_{k-1}}^{1+\beta(\alpha_1 + \alpha_2 -1)} f(t_k, x(t_k))\right] – \lambda I_{t_k}^{\alpha_2} x(t) \\ + I_{t_k}^{\alpha_1 + \alpha_2} f(t, x(t))\end{array} \right. \end{align}
(6)
First, we show that \(N\) maps \(B_r\) into \(B_r\). It is clear that \( N \) is well defined on \(PC_{1-\gamma}(J, R)\). Moreover for any \(x \in B_r\), we have \begin{align*} & \left|Nx(t)(t-t_k)^{1-\gamma}\right|\\ & \leq \frac{1}{\Gamma (\gamma)} \left[x_a + \displaystyle \sum_{0< t_k < t}\left|\psi_k (x(t_k))\right| + \displaystyle \sum_{0< t_k < t} \lambda I_{t_{k-1}}^{(1-\alpha_1)(1-\beta) + \alpha_2 \beta} \left|x(t_k)\right| \right. \\ &\displaystyle\left. \quad + \sum_{0< t_k < t} I_{t_{k-1}}^{1+\beta(\alpha_1 + \alpha_2 -1)} \left|f(t_k, x(t_k))\right|\right] + \lambda I_{t_k}^{\alpha_2} \left|x(t)\right| + I_{t_k}^{\alpha_1 + \alpha_2} \left|f(t, x(t))\right|\\ & \leq \frac{1}{\Gamma (\gamma)} \left[x_a + \displaystyle \sum_{0< t_k < t}\left|\psi_k (x(t_k)) – \psi_k (0) \right| + \displaystyle \sum_{0< t_k< t}\left|\psi_k (0) \right| \right. \\ &\displaystyle\left. \quad + \displaystyle \sum_{0< t_k < t} \lambda I_{t_{k-1}}^{(1-\alpha_1)(1-\beta) + \alpha_2 \beta} \left|x(t_k)\right| \right. \\ &\displaystyle\left. \quad + \sum_{0 < t_k < t} I_{t_{k-1}}^{1+\beta(\alpha_1 + \alpha_2 -1)} \left|f(t_k, x(t_k)) – f(t_k, 0) \right|\right.\\ &\displaystyle\left. \quad + \sum_{0< t_k < t} I_{t_{k-1}}^{1+\beta(\alpha_1 + \alpha_2 -1)} \left| f(t_k, 0) \right|\right]\\ & \quad + (t-t_k)^{1-\gamma}\lambda I_{t_k}^{\alpha_2} \left|x(t)\right| + (t-t_k)^{1-\gamma}I_{t_k}^{\alpha_1 + \alpha_2} \left|f(t, x(t)) – f(t, 0)\right| \\ &\displaystyle \quad + (t-t_k)^{1-\gamma}I_{t_k}^{\alpha_1 + \alpha_2} \left|f(t, 0)\right|\\ & \leq \frac{1}{\Gamma(\gamma)} \left[x_a + mL_{\psi} (b-a)^{\gamma-1}\left\|x\right\|_{PC_{1-\gamma}} + mL_2 \right.\\ &\displaystyle\left. \quad + \frac{ m \lambda B(\gamma, (1-\alpha_1)(1-\beta) + \alpha_2 \beta)}{\Gamma((1-\alpha_1)(1-\beta) + \alpha_2 \beta)} (b-a)^{1+\alpha_2}\left\|x\right\|_{PC_{1-\gamma}}\right. \\ & \left. \quad + \frac{m L_f B(\gamma, 1+\beta(\alpha_1 + \alpha_2 -1))}{\Gamma(1+\beta(\alpha_1 + \alpha_2 -1))} (b-a)^{\alpha_1+ \alpha_2} \left\|x\right\|_{PC_{1-\gamma}}\right.\\ &\displaystyle\left. \quad + \frac{m l_1 }{\Gamma(2+(\alpha_1+\alpha_2-1)\beta)}(b-a)^{1+(\alpha_1+\alpha_2-1)\beta}\right]\\ & \quad + \frac{\lambda B(\gamma, \alpha_2)}{\Gamma(\alpha_2)} (b-a)^{\alpha_2} \left\|x\right\|_{PC_{1-\gamma}} + \frac{ B(\gamma, \alpha_1+\alpha_2)}{\Gamma(\alpha_1+\alpha_2)} (b-a)^{\alpha_1+\alpha_2} \left\|x\right\|_{PC_{1-\gamma}}\\ & +\frac{l_1}{\Gamma(\alpha_1 + \alpha_2 +1)}(b-a)^{\alpha_1 +\alpha_2 – \gamma + 1}\\ & \leq r. \end{align*} Consequently \(N\) maps \(B_r\) into itself. Let \(x, y \in PC_{1-\gamma}(J, R)\) and \(t \in J\), then we have \begin{align*} &\left|\left(Nx(t) – Ny(t)\right)(t-t_k)^{1-\gamma}\right| \\ & \leq \frac{1}{\Gamma(\gamma)} \left[ \displaystyle \sum_{0< t_k < t}\left|\psi_k (x(t_k)) – \psi_k (y(t_k)) \right| + \displaystyle \sum_{0< t_k < t} \lambda I_{t_{k-1}}^{(1-\alpha_1)(1-\beta) + \alpha_2 \beta} \left|x(t_k) – y(t_k)\right| \right. \\ &\displaystyle\left. \quad + \sum_{0< t_k < t} I_{t_{k-1}}^{1+\beta(\alpha_1 + \alpha_2 -1)} \left|f(t_k, x(t_k)) – f(t_k, y(t_k)) \right| \right] \\ &+ (t-t_k)^{1-\gamma} \lambda I_{t_k}^{\alpha_2} \left|x(t) – y(t)\right| \\ & \quad + (t-t_k)^{1-\gamma}I_{t_k}^{\alpha_1 + \alpha_2} \left|f(t, x(t)) – f(t, y(t))\right|\\ & \leq \frac{1}{\Gamma(\gamma)} \left[ \displaystyle \sum_{0< t_k< t}L_{\psi}\left| (x(t_k)) – (y(t_k)) \right| + \displaystyle \sum_{0< t_k < t} \lambda I_{t_{k-1}}^{(1-\alpha_1)(1-\beta) + \alpha_2 \beta} \left|x(t_k) – y(t_k)\right| \right. \\ &\displaystyle\left. \quad + \sum_{0< t_k< t} I_{t_{k-1}}^{1+\beta(\alpha_1 + \alpha_2 -1)} L_{f}\left| x(t_k) – y(t_k) \right| \right] + (t-t_k)^{1-\gamma} \lambda I_{t_k}^{\alpha_2} \left|x(t) – y(t)\right| \\ & \quad + (t-t_k)^{1-\gamma}I_{t_k}^{\alpha_1 + \alpha_2} L_{f} \left| x(t) – y(t)\right|. \end{align*} Thus \begin{align*} &\left\|Nx – Ny\right\|_{PC_{1-\gamma}} \\ & \leq \left[\frac{1}{\Gamma(\gamma)}\left( m L_{\psi} (b-a)^{\gamma-1} + \frac{ m \lambda B(\gamma, (1-\alpha_1)(1-\beta) + \alpha_2 \beta)}{\Gamma((1-\alpha_1)(1-\beta) + \alpha_2 \beta)} (b-a)^{1+\alpha_2} \right. \right. \\ & \left. \left. \quad + \frac{m L_f B(\gamma, 1+\beta(\alpha_1 + \alpha_2 -1))}{\Gamma(1+\beta(\alpha_1 + \alpha_2 -1))} (b-a)^{\alpha_1+ \alpha_2}\right) + \frac{\lambda B(\gamma, \alpha_2)}{\Gamma(\alpha_2)} (b-a)^{\alpha_2} \right. \\ & \left. \quad + \frac{ B(\gamma, \alpha_1+\alpha_2)}{\Gamma(\alpha_1+\alpha_2)} (b-a)^{\alpha_1+\alpha_2} \right] \left\|x-y\right\|_{PC_{1-\gamma}}\\ & = \rho \left\|x-y\right\|_{PC_{1-\gamma}}. \end{align*} This yields that \(N\) has unique fixed point which is solution of Equation (1).

Theorem 3.3. Assume that [H1] and [H2] are satisfied. Then, Equation (1) has at least one solution.

Proof. Let us denote \(f(t, 0) = l_1, \ \psi_k(0) = l_2\). Consider, $$B_r=\left\{ x \in PC_{1-\gamma}(J, R): \left\|x\right\|_{PC_{1-\gamma}} \leq r \right\}.$$ The operator form is given in Theorem 3.2. The proof is based on the Theorem 2.16. The proof is given in the following steps:

Step 1: The operator \(N : B_r \rightarrow B_r\) is continuous. Let \(x_n\) be a sequence such that \(x_n \rightarrow x\) in \(B_r\). Then for each \(t \in J\), we have \begin{align*} &\left|(N x_n)(t) (t-t_k)^{1-\gamma}- (Nx)(t)(t-t_k)^{1-\gamma}\right|\\ & \leq \frac{1}{\Gamma (\gamma)} \left[ \displaystyle \sum_{0< t_k < t}\left|\psi_k (x_n(t_k)) – \psi_k (x(t_k))\right| \right.\\ & \displaystyle\left. + \displaystyle \sum_{0< t_k < t} \lambda I_{t_{k-1}}^{(1-\alpha_1)(1-\beta) + \alpha_2 \beta} \left|x_n(t_k) – x(t_k)\right|\right. \\ & \displaystyle\left. + \sum_{0< t_k < t} I_{t_{k-1}}^{1+\beta(\alpha_1 + \alpha_2 -1)} \left|f(t_k, x_n(t_k)) – f(t_k, x(t_k))\right|\right]\\ &+ (t-t_k)^{1-\gamma}\lambda I_{t_k}^{\alpha_2} \left|x_n(t) – x(t)\right|\\ &+ (t-t_k)^{1-\gamma}I_{t_k}^{\alpha_1 + \alpha_2} \left|f(t, x_n(t)) – f(t, x(t))\right|. \end{align*} Since \(f\) is continuous, then by the Lebesgue Dominated Convergence Theorem which implies $$ \left\| (Nx_n)(t) – (Nx)(t) \right\|_{PC_{1-\gamma}} \rightarrow 0 \ \ \mbox{as} \ \ n \rightarrow \infty . $$

Step 2: The operator \(N\) is uniformly bounded.
By Thoerem 3.2, \(N(B_r)\) is uniformly bounded. It is clear that \(N(B_r) \subset B_r\) is bounded.

Step 3: The operator \(N\) is equicontinuous. Let \(t_1, t_2 \in J, t_1 > t_2\). Then, \begin{align*} &\left|(Nx)(t_1) (t_1 – t_k)^{1-\gamma} – (Nx)(t_2) (t_2 – t_k)^{1-\gamma}\right|\\ & \leq \frac{1}{\Gamma (\gamma)} \left[ \displaystyle \sum_{0 < t_k < t_1 – t_2}\left| \psi_k (x(t_k))\right| + \displaystyle \sum_{0 < t_k < t_1 – t_2} \lambda I_{t_{k-1}}^{(1-\alpha_1)(1-\beta) + \alpha_2 \beta} \left| x(t_k)\right|\right. \\ & \quad \displaystyle\left. + \sum_{0 < t_k < t_1 – t_2} I_{t_{k-1}}^{1+\beta(\alpha_1 + \alpha_2 -1)} \left| f(t_k, x(t_k))\right|\right] – (t_1-t_k)^{1-\gamma}\lambda I_{t_k}^{\alpha_2} \left| x(t_1)\right| \\ &+ (t_2-t_k)^{1-\gamma}\lambda I_{t_k}^{\alpha_2} \left| x(t_2)\right|\\ & \quad + (t_1-t_k)^{1-\gamma}I_{t_k}^{\alpha_1 + \alpha_2} \left| f(t_1, x(t_1))\right| – (t_2-t_k)^{1-\gamma}I_{t_k}^{\alpha_1 + \alpha_2} \left| f(t_2, x(t_2))\right|. \end{align*} From Step 1- Lemma 3 combined with Arzela-Ascoli theorem, we conclude that \(N\) is continuous and compact. From the application of Theorem 2.16, we deduce that \(N\) has a fixed point \(x\) which is a solution of the problem Equation (1).

Remark 3.4. Let \(z\) is solution of the inequality (2), then \(z\) is a solution of the following integral inequality \begin{align*} & \left|z(t) – \frac{(t-t_k)^{\gamma-1}}{\Gamma (\gamma)} \left[x_a + \displaystyle \sum_{0< t_k < t}\psi_k (z(t_k)) – \displaystyle \sum_{0< t_k < t} \lambda I_{t_{k-1}}^{(1-\alpha_1)(1-\beta) + \alpha_2 \beta} z(t_k) \right. \right.\\ &\left. \left.+ \displaystyle \sum_{0< t_k < t} I_{t_{k-1}}^{1+\beta(\alpha_1 + \alpha_2 -1)} f(t_k, z(t_k))\right] + \lambda I_{t_k}^{\alpha_2} z(t) – I_{t_k}^{\alpha_1 + \alpha_2} f(t, z(t))\right| \\ & \leq \epsilon \left[ \frac{m(b-a)^{\gamma-1}}{\Gamma(\gamma)} + \frac{m(b-a)^{\alpha_1 + \alpha_2}}{\Gamma(\gamma) \Gamma(2+\beta(\alpha_1 + \alpha_2 – 1))} + \frac{(b-a)^{\alpha_1 + \alpha_2}}{\Gamma(\alpha_1 + \alpha_2 + 1)}\right]. \end{align*}

Theorem 3.5. The assumptions [H1], [H2] and [H3] holds. Then Equation (1) is generalized UHR stable.

Proof. Let \(z\) be solution of (4) and by Theorem 3.2 there \(x\) is unique solution of the problem \begin{align*} \begin{split} D^{\alpha_1, \beta} (D^{\alpha_2, \beta} + \lambda) x(t) &= f(t, x(t)), \ \ \ \ \ \ \ \ \ t \in J = [0,T],\\ \Delta I^{1-\gamma}x(t)|_{t=t_k} &= \psi_k (x(t_k)), \ \ \ \ \ \ \ \ k = 1, 2, …, m,\\ I^{1-\gamma} x(a) &= I^{1-\gamma} z(a) = x_a. \end{split} \end{align*} Then we have \begin{eqnarray*} x(t) = \left\{\begin{array}{lr} \frac{(t-t_k)^{\gamma-1}}{\Gamma (\gamma)} \left[x_a + \displaystyle \sum_{0< t_k< t}\psi_k (x(t_k)) – \displaystyle \sum_{0< t_k < t} \lambda I_{t_{k-1}}^{(1-\alpha_1)(1-\beta) + \alpha_2 \beta} x(t_k) \right. \\ \displaystyle\left. + \sum_{0< t_k < t} I_{t_{k-1}}^{1+\beta(\alpha_1 + \alpha_2 -1)} f(t_k, x(t_k))\right] – \lambda I_{t_k}^{\alpha_2} x(t) \\ + I_{t_k}^{\alpha_1 + \alpha_2} f(t, x(t)).\end{array} \right. \end{eqnarray*} By differentiating inequality (4), for each \(t \in (t_k, t_{k+1}] \), we have \begin{align*} & \left|z(t) – \frac{(t-t_k)^{\gamma-1}}{\Gamma (\gamma)} \left[x_a + \displaystyle \sum_{0< t_k < t}\psi_k (z(t_k)) – \displaystyle \sum_{0< t_k < t} \lambda I_{t_{k-1}}^{(1-\alpha_1)(1-\beta) + \alpha_2 \beta} z(t_k) \right. \right.\\ &\left. \left.+ \displaystyle \sum_{0< t_k < t} I_{t_{k-1}}^{1+\beta(\alpha_1 + \alpha_2 -1)} f(t_k, z(t_k))\right] + \lambda I_{t_k}^{\alpha_2} z(t) – I_{t_k}^{\alpha_1 + \alpha_2} f(t, z(t))\right| \\ & \leq \frac{(t-t_k)^{\gamma-1}}{\Gamma (\gamma)}\left[\sum_{0< t_k < t} g_k + \sum_{0< t_k < t} I_{t_{k-1}}^{1+\beta(\alpha_1 + \alpha_2 -1)} \varphi(t_k)\right] + I_{t_k}^{\alpha_1 + \alpha_2} \varphi(t)\\ & \leq \left[ \lambda_{\varphi} \left( \frac{m(b-a)^{\gamma-1}}{\Gamma(\gamma)} + 1\right) + \frac{m(b-a)^{\gamma-1}}{\Gamma(\gamma)}\right] \varphi(t). \end{align*} Hence for each \(t \in (t_k, t_{k+1}]\), it follows \begin{align*} & \left|z(t) – x(t)\right| \\ & \leq \left|z(t) – \frac{(t-t_k)^{\gamma-1}}{\Gamma (\gamma)}\left[x_a + \displaystyle \sum_{0< t_k < t}\psi_k (x(t_k)) – \displaystyle \sum_{0< t_k < t} \lambda I_{t_{k-1}}^{(1-\alpha_1)(1-\beta) + \alpha_2 \beta} x(t_k) \right. \right.\\ &\quad \displaystyle\left. \left.+ \sum_{0< t_k < t} I_{t_{k-1}}^{1+\beta(\alpha_1 + \alpha_2 -1)} f(t_k, x(t_k))\right] + \lambda I_{t_k}^{\alpha_2} x(t) – I_{t_k}^{\alpha_1 + \alpha_2} f(t, x(t)) \right|\\ &\leq \left|z(t) – \frac{(t-t_k)^{\gamma-1}}{\Gamma (\gamma)}\left[x_a + \displaystyle \sum_{0< t_k < t}\psi_k (z(t_k)) – \displaystyle \sum_{0< t_k < t} \lambda I_{t_{k-1}}^{(1-\alpha_1)(1-\beta) + \alpha_2 \beta} z(t_k) \right. \right.\\ &\quad\displaystyle\left. \left.+ \sum_{0< t_k< t} I_{t_{k-1}}^{1+\beta(\alpha_1 + \alpha_2 -1)} f(t_k, z(t_k))\right] + \lambda I_{t_k}^{\alpha_2} z(t) – I_{t_k}^{\alpha_1 + \alpha_2} f(t, z(t)) \right|\\ &\quad + \frac{(t-t_k)^{\gamma-1}}{\Gamma (\gamma)}\left( \displaystyle \sum_{0< t_k < t}\left|\psi_k (x(t_k)) – \psi_k (z(t_k))\right| \right.\\ &\quad\displaystyle\left. + \displaystyle \sum_{0< t_k < t} \lambda I_{t_{k-1}}^{(1-\alpha_1)(1-\beta) + \alpha_2 \beta} \left|x(t_k) – z(t_k)\right|\right. \\ & \quad\left. + \sum_{0< t_k < t} I_{t_{k-1}}^{1+\beta(\alpha_1 + \alpha_2 -1)} \left|f(t_k, x(t_k)) – f(t_k, z(t_k))\right|\right) \\ &\quad + \lambda I_{t_k}^{\alpha_2} \left|x(t) – z(t)\right| + I_{t_k}^{\alpha_1 + \alpha_2} \left|f(t, x(t)) – f(t, z(t))\right|\\ &\leq \left[ \lambda_{\varphi} \left( \frac{m(b-a)^{\gamma-1}}{\Gamma(\gamma)} + 1\right) + \frac{m(b-a)^{\gamma-1}}{\Gamma(\gamma)}\right] \varphi(t)\\ &\quad + \frac{(t-t_k)^{\gamma-1}}{\Gamma (\gamma)}\left( \displaystyle \sum_{0< t_k < t}L_{\psi}\left|(x(t_k)) – (z(t_k))\right| \right. \\ & \quad\left.+ \displaystyle \sum_{0< t_k < t} \lambda I_{t_{k-1}}^{(1-\alpha_1)(1-\beta) + \alpha_2 \beta} \left|x(t_k) – z(t_k)\right| \right.\\ &\quad \displaystyle\left. + \sum_{0< t_k < t} I_{t_{k-1}}^{1+\beta(\alpha_1 + \alpha_2 -1)} L_f\left| x(t_k) – z(t_k)\right|\right)\\ & \quad+ \lambda I_{t_k}^{\alpha_2} \left|x(t) – z(t)\right| + I_{t_k}^{\alpha_1 + \alpha_2} L_f\left| x(t) – z(t)\right| \end{align*} By Lemma 2.15, there exists a constant \(\kappa > 0\) independent of \(\lambda_{\varphi} \varphi(t)\) such that $$ \left|z(t) – x(t)\right| \leq \kappa \varphi(t). $$ Thus, Equation (1) is generalized UHR stable.

Competing Interests

The authors declare that they have no competing interests.

References:

  1. Hilfer, R. (1999). Applications of Eractional Calculus in Physics, World scientific, Singapore.
  2. Kilbas, A. A. A., Srivastava, H. M., & Trujillo, J. J. (2006). Theory and applications of fractional differential equations (Vol. 204). Elsevier Science Limited.[Google Scholor]
  3. Podlubny, I.(1999) . Fractional Differential equation, Academic Press, San Diego.
  4. Furati, K. M., & Kassim, M. D. (2012). Existence and uniqueness for a problem involving Hilfer fractional derivative. Computers & Mathematics with Applications, 64(6), 1616-1626. [Google Scholor]
  5. Hilfer, R., Luchko, Y., & Tomovski, Z. (2009). Operational method for the solution of fractional differential equations with generalized Riemann-Liouville fractional derivatives. Fract. Calc. Appl. Anal., 12(3), 299-318. [Google Scholor]
  6. Vivek, D., Kanagarajan, K., & Sivasundaram, S. (2016). Dynamics and stability of pantograph equations via Hilfer fractional derivative. Nonlinear Studies, 23(4), 685-698. [Google Scholor]
  7. Vivek, D., Kanagarajan, K., & Elsayed, E. M. (2018). Some existence and stability results for Hilfer-fractional implicit differential equations with nonlocal conditions. Mediterranean Journal of Mathematics, 15(1), 15.[Google Scholor]
  8. Vivek, D., Kanagarajan, K., & Sivasundaram, S. (2017). Dynamics and stability results for Hilfer fractional type thermistor problem. Fractal and Fractional, 1(1), 1-14. [Google Scholor]
  9. Vivek, D., Kanagarajan, K., & Sivasundaram, S. (2017). Theory and analysis of nonlinear neutral pantograph equations via Hilfer fractional derivative. Nonlinear Studies, 24(3), 699-712.[Google Scholor]
  10. Wang, J., & Zhang, Y. (2015). Nonlocal initial value problems for differential equations with Hilfer fractional derivative. Applied Mathematics and Computation, 266, 850-859. [Google Scholor]
  11. Beck, C., & Roepstorff, G. (1987). From dynamical systems to the Langevin equation. Physica A: Statistical Mechanics and its Applications, 145(1-2), 1-14. [Google Scholor]
  12. Fa, K. S. (2007). Fractional Langevin equation and Riemann-Liouville fractional derivative. The European Physical Journal E, 24(2), 139-143.[Google Scholor]
  13. Chen, A., & Chen, Y. (2011). Existence of solutions to nonlinear Langevin equation involving two fractional orders with boundary value conditions. Boundary Value Problems, 2011(1), 516481.[Google Scholor]
  14. Ahmad, B., Nieto, J. J., Alsaedi, A., & El-Shahed, M. (2012). A study of nonlinear Langevin equation involving two fractional orders in different intervals. Nonlinear Analysis: Real World Applications, 13(2), 599-606.[Google Scholor]
  15. Harikrishnan, S., Kanagarajan, K., & Elsayed, E. M. (2018) Existence and stability results for langevin equations with Hilfer fractional derivative, Res. Fixed Point Theory Appl., 10 pages.
  16. Baghani, O. (2017). On fractional Langevin equation involving two fractional orders. Communications in Nonlinear Science and Numerical Simulation, 42, 675-681. [Google Scholor]
  17. Yu, T., Deng, K., & Luo, M. (2014). Existence and uniqueness of solutions of initial value problems for nonlinear langevin equation involving two fractional orders. Communications in Nonlinear Science and Numerical Simulation, 19(6), 1661-1668. [Google Scholor]
  18. Lakshmikantham, V., & Simeonov, P. S. (1989). Theory of impulsive differential equations (Vol. 6). World scientific.
  19. Liu, X., & Li, Y. (2014). Some antiperiodic boundary value problem for nonlinear fractional impulsive differential equations. In Abstract and Applied Analysis (Vol. 2014). Hindawi.[Google Scholor]
  20. Luo, Z., & Shen, J. (2006). Global existence results for impusive functional differential equation. J. Math. Anal. Appl., 323(1), 644-653.
  21. Ibrahim, R. W. (2012). Ulam-Hyers stability for Cauchy fractional differential equation in the unit disk. In Abstract and Applied Analysis (Vol. 2012). Hindawi. [Google Scholor]
  22. Ibrahim, R. W. (2012). Generalized Ulam–Hyers stability for fractional differential equations. International Journal of mathematics, 23(05), 1250056. [Google Scholor]
  23. Rus, I. A. (2010). Ulam stabilities of ordinary differential equations in a Banach space. Carpathian journal of Mathematics, 103-107. [Google Scholor]
  24. Wang, J., Lv, L., & Zhou, Y. (2011). Ulam stability and data dependence for fractional differential equations with Caputo derivative. Electronic Journal of Qualitative Theory of Differential Equations, 2011(63), 1-10. [Google Scholor]
  25. Wang, J., & Li, X. (2015). Ulam–Hyers stability of fractional Langevin equations. Applied Mathematics and Computation, 258, 72-83.[Google Scholor]
  26. Wang, J., Zhou, Y., & Fec, M. (2012). Nonlinear impulsive problems for fractional differential equations and Ulam stability. Computers & Mathematics with Applications, 64(10), 3389-3405. [Google Scholor]
  27. Ye, H., Gao, J., & Ding, Y. (2007). A generalized Gronwall inequality and its application to a fractional differential equation. Journal of Mathematical Analysis and Applications, 328(2), 1075-1081. [Google Scholor]
  28. Granas, A., & Dugundji, J. (2013). Fixed point theory. Springer Science & Business Media.[Google Scholor]