Existence and stability of solutions of $\psi$-Hilfer fractional functional differential inclusions with non-instantaneous impulses

1.   Introduction

A non-instantaneous impulsive differential equation is due to Hernándaz et. al.^[1], and is used to describe impulsive action, which stays active on a finite time interval. Hilfer ^[2] introduced a fractional derivative, which is a generalization for Riemann-Liouville fractional derivative and Caputo fractional derivative. Many works have been appeared studying various models involving fractional differential with instantaneous and non-instantaneous impulses and providing solutions to those models. For example, Saravanakumar et al. ^[3] analyzed the existence of mild solution of non instantaneous impulsive for Hilfer fractional stochastic differential equations driven by fractional Brownian motion, . Shu et al.^[4] presented a right formula of mild solutions to a fractional semilinear evolution equation generated by a sectorial operator, and its order belongs to the intervals $(0, 1)$ and $(1, 2),$ Wang et al. ^[5] studied the global attracting solutions to non-instantaneous impulsive differential inclusions containing Hilfer fractional, and Ngo et al.^[6] presented a formula of solution for a non-instantaneous impulsive differential equation containing $\psi-$Hilfer derivative with lower limit of the fractional derivative at zero. For more works on non-instantaneous impulsive differential equations and inclusions, we refer to ^{[7,8,9,10,11,12,13]}.

Moreover, Ulam problem ^[14] has been attracted by many researchers. We highlight some recent works on the existence and Hyers-Ulam stability of solutions for fractional differential equations. Guo et al.^[15] investigated the existence and Hyers-Ulam stability of mild solution for an impulsive Riemann-Liouville fractional neutral functional stochastic differential equation with infinite delay of order between one and two, Guo et al.^[16] proved the existence and Hyers-Ulam stability of the almost periodic solution to fractional differential equations with impulse involving fractional Brownian, Wang et al. ^[11] presented the generalized Ulam-Hyers stability for a non-instantaneous impulsive differential inclusions containing the Caputo derivative and Vanterler et al. ^[17] studied, in finite dimensional Banach spaces, the stability of a Volterra integro-differential equation containing $\psi -$ Hilfer derivative in the sense of Ulam-Hyers. More recently, Vanterler et al.^[18] investigated, in finite dimensional Banach spaces, the $\delta-$Ulam-Hyers-Rassias stability for a non-instantaneous impulsive fractional differential equation containing $\psi-$Hilfer derivative, Benchohra et al. ^[19] established, in finite dimensional spaces, the existence and stability of solutions for an implicit fractional differential equations with Riemann-Liouville fractional derivative, and Kumar et al. ^[20] studied the existence and stability of solution for a fractional differential equation with non-instantaneous integral impulses. Very recently, Ben Mahlouf et al.^[21] given sufficient conditions to guarantee the existence and stability of solutions for generalized nonlinear fractional differential equations of order $\alpha \in (1, 2)$, Elsayed et al.^[22] established the existence and stability of boundary value problem for differential equation with Hilfer-Katugampola fractional derivative. For more papers on Ulam-Hyers stability of solutions, we refer to ^{[23,24,25,26,27,28,29,30,31]}.

It is worth noting that, when the considered problem contains non-instantaneous impulses, there are two approaches in the literature, one by keeping the lower limit of the fractional derivative at zero ^[6,11,17,18], and the other by switching it at the impulsive points ^[5,10] Motivated by the above cited work, we prove two existence results of solutions, in infinite dimensional Banach spaces, for a non-instantaneous impulsive fractional differential inclusion involving $\psi -$Hilfer derivative with delay and we switch the lower limit of the fractional derivative at the impulsive points, and then we study the $\psi -$generalized Ulam-Hyers stability.

Let $E\ $be a real Banach space, $J = [0, b]$, $b > 0$, $J^{\ast } = (0, b], \ r > 0, \ 0 < \vartheta < 1$, $\ 0\leq \nu \leq 1$, $\mu = \vartheta +\nu -\vartheta \nu$, $\Psi :[-r, 0]\rightarrow E\ $ a continuous function except a finite number of discontinuity points $s\neq 0$ such that $\Psi (0) = 0,$ all values $x(s^{+}),$ and $x(s^{-})\ $are finite, $\psi \in C^{1}([0, b], \mathbb{R})\ $be increasing, $\ \psi ^{ {\acute{}} }(\mathcal{\varrho }) > 0, ;\in J,$ and $\ D_{s_{i}+}^{\vartheta, \nu, \psi }$ be the $\psi-$Hilfer derivative with lower limit at $s_{i}\ $of order$\vartheta$ and type $\nu.$ Moreover, $0 = s_{0} < \ \mathcal{\varrho } _{1} < s_{1} < \mathcal{\varrho }_{2} < \cdots < \mathcal{\varrho }_{n} < s_{n} < \mathcal{\varrho }_{n+1} = b, \ $and $I_{s_{i}^{+}}^{1-\mu, \psi }x(s_{i}^{+}) = \lim_{\mathcal{\varrho }\rightarrow s_{i}^{+}}$ $I_{s_{i}^{+}}^{1-\mu, \psi }x(\mathcal{\varrho })\ $, $F:J\times E\rightarrow 2^{E}-\{\phi \}$ is a multifunction, and$\ g_{i}:[\mathcal{ \varrho }_{i}\; ,s_{i}]\times E\longrightarrow E\, i = 1, 2, \ldots, n$. Finally, for any $\mathcal{\varrho }\in J, \ $ $\tau (\mathcal{\varrho }):\mathcal{H} \rightarrow \Theta$, $\ x(\theta) = x(\mathcal{\varrho }+\theta), \theta \in \lbrack -r, 0]\, x\in \mathcal{H},$ where $\Theta$ and $\mathcal{H\ }$will be introduced in the next section. In this paper, we establish existence results of solutions of the following $\psi-$Hilfer fractional non-instantaneous impulsive differential inclusions with delay:

Then, we investigate the $\psi$-generalized Ulam-Hyers stability of Problem (1). To achieve our aim, we present a relation between the solutions of this problem and the corresponding fractional integral equation (Lemma5).

To make a comparison between the present paper objectives and other relevant recent papers, we refer to the following:

1-Abbas et al.^[31] proved the existence of solutions and studied Ulam-Hyers-Rassias stability of problem (1) in the absence of both delay and impulses effect, $E = \mathbb{R}$, $\psi (\mathcal{\varrho }) = \ln \mathcal{\varrho }, \mathcal{\varrho }\in \lbrack 1, b]$, $F\ $is a single-valued function.

2-Benchohra ^[19] investigated the existence and Ulam stability for nonlinear implicit differential equations with Riemann-Liouville derivative, which is including in Hilfer derivative

3-Ngo et al.^[6] presented a formula of solution for a non-instantaneous impulsive differential equation containing $\psi -$Hilfer derivative with lower limit of the fractional derivative at zero and in the absence of delay.

4-Vanterler el al.^[17] established the existence and stability of solutions for Problem (1) in the absence of delay. and when $E = \mathbb{R},$ the lower limit of the fractional derivative at zero$\ F\ $is a single-valued function

5-Wang et al. ^[10] considered Problem (1) in the absence of delay, when $\psi (\mathcal{\varrho }) = \mathcal{\varrho }$ and without studying the stability of solutions.

6-Wang et al.^[11] consider a non-instantaneous impulsive semilinear differential inclusions containing Caputo derivative and in the absence of delay.

To clarify the novelty and contribution of this study, we refer to, in this paper, we present a relation between a solution of Problem (1) and the corresponding fractional integral equation (Lemma5), provide two methods to demonstrate the existence of solutions for Problem (1), then, investigate the $\ \psi -$generalized Ulam-Hyers stability of solutions. Because our considered problem contains $\psi-$Hilfer fractional derivative, non-instantaneous impulses with the lower limit of the fractional derivative switches at the impulsive points, presence of delay, and the right hand side is a multi-valued function, therefore, this study generalize recent results, as it is shown above, such as ^{[6,10,11,17,19,31]}. In addition, there isn't work in the literature, on $\psi-$Hilfer fractional non-instantaneous impulsive differential inclusions, in infinite dimensional spaces, in the presence of delay, and the lower limit of the fractional derivative switches at the impulsive points. Moreover, the technique presented in this paper can be used to study the existence and Ulam-Hyers stability of solutions or mild solutions for the problems considered in ^{[3,4,15,16,20,21,22]} to the case when, there are impulses and delay on the system, the right hand side is a multi-valued function and involving $\psi-$Hilfer fractional derivative.

In section 2, we prove some properties for $\psi-$fractional integral and $\psi-$fractional derivative, then we present, in Lemma 3.3, a relation between any solution of problem (1) and the corresponding fractional integral equation. In section 3, we prove an existence result of Problem (1)$.$ In section 4, we give another existence result of (1), then we investigate the $\psi-$generalized Ulam-Hyers stability of solutions. In the last section, examples are given to clarify the possibility of applicability of our assumptions.

2.   Preliminaries and notations

Let $P_{ck}(E)$ be the family of non-empty convex and compact subsets of $E.$ Since the given problem containing Hilfer derivative we need to the the spaces:

and

Obviously $C_{1-\mu, \psi }(J, E)\ $and$\ C_{1-\mu, \psi }^{n}(J, E)$ are Banach spaces with norms

and

Because Problem (1) involving impulses effect we recall the Banach space:

endowed with the norm

where $J_{k} = (s_{k}, \mathcal{\varrho }_{k+1}], \ \overline{J_{k}} = [s_{k}, \mathcal{\varrho }_{k+1}]$ $(k = 0, 1, .., n), \mathcal{\varrho }_{i} = (\mathcal{ \varrho }_{i}, s_{i}]$ and $\ \overline{\mathcal{\varrho }_{i}} = [\mathcal{ \varrho }_{i}, s_{i}]\ (i = 1, 2, .., n),$

Next, the function $\chi _{PC_{1-\mu }(J, E)}:P_{b}(PC_{1-\mu, \psi }(J, E))\rightarrow \lbrack 0, \infty),$given by by

is a measure of noncompactness on $PC_{1-\mu }(J, E),$ where

and

In the sequel, $I_{a+}^{q, \psi }$ denotes to the $\psi-$Riemann-Liouville fractional integral operator of order $q$ with the lower limit at $a$, $\ D_{a+}^{\vartheta, \psi }f\ \ $to the $\psi-$Riemann-Liouville fractional derivative operator of order $\vartheta \ $with the lower limit at $a\ $and $^{c}D_{a+}^{\vartheta, \psi }f\ $to the $\psi -$Caputo fractional derivative of order $\vartheta \ $with the lower limit at $a$ for $f\ \in AC^{1, \psi }([a, b], E)$, where

If $f\ \in C^{1, \psi }([a, b], E): = \{x\in C(J, E):[\frac{1}{\psi \prime (\mathcal{\varrho })}\frac{d}{d\mathcal{\varrho }}]\ x\in C(J, E)\}$, then

If$\ \psi (\mathcal{\varrho }) = \mathcal{\varrho }$, we obtain the Caputo fractional derivative, and if$\ \psi (\mathcal{\varrho }) = \ln \mathcal{ \varrho }$, we obtain the Caputo-Hadamard fractional derivative. The following remark and more information about $\psi -$fractional integral and derivative can be found in ^{[32,33,34,35]}

Remark 2.1. If$\ q = 1$, then $I_{a+}^{1, \psi }f(\mathcal{\varrho }) = \int_{a}^{\mathcal{ \varrho }}\psi \prime (s)f(s)\ ds,$ and hence

In the following lemma we give an important for $I_{a+}^{\vartheta, \psi }$, which we need later.

Lemma 2.1. Let $0 < \eta \leq \vartheta$. Then $I_{a+}^{\vartheta, \psi }$is bounded from $C_{\eta, \psi }([a, b], E)$ into $C([a, b], E)$ and

Proof. The assumption $f\in C_{\eta, \psi }([a, b], E)$ leads to $(\psi (\mathcal{ \varrho })-\psi (a))^{\eta }f(\mathcal{\varrho })\ $is continuous on $[a, b]$, and hence there is $M > 0$ such that $||(\psi (\mathcal{\varrho })-\psi (a))^{\eta }f(\mathcal{\varrho })||\leq M, \forall \mathcal{\varrho }\in$ $[a, b]$. As a consequence, $||f(\mathcal{\varrho })||\leq (\psi (\mathcal{ \varrho })-\psi (a))^{-\eta }M, \forall \mathcal{\varrho }\in$ $(a, b]$. Then

In virtu of Lemma2 in^[35], $I_{a+}^{\vartheta, \psi }(\psi (\mathcal{\varrho })-\psi (a))^{-\eta } = \frac{\Gamma (1-\eta)}{\Gamma (1-\eta +\vartheta)}(\psi (\mathcal{\varrho })-\psi (a))^{\vartheta -\eta }$, and hence

Since $0 < \eta \leq \vartheta,$ we get lim$_{\mathcal{\varrho }\rightarrow a+}I_{a+}^{\vartheta, \psi }f(\mathcal{\varrho }) = 0$, which means that$\ I_{a+}^{\vartheta, \psi }f(\mathcal{\varrho })\ $is continuous. Moreover, $I_{a+}^{\vartheta, \psi }$is bounded from $C_{\eta, \psi }([a, b], E)\ $into $C([a, b], E).$

Let us recall the definition of $\psi-$Hilfer fractional derivative.

Definition 1. ^[2] Let $f\in L^{1}([a, b], E)$ be such that $I_{a+}^{(1-\nu)(1-\vartheta), \psi }f\in AC^{1, \psi }([a, b], E)$. The$\ \psi-$Hilfer fractional derivative of order $0 < \vartheta < 1$and type $0\leq \nu \leq 1$ and with lower limit at $a\ $for a function $f:[a, b]\rightarrow E$ is defined by

Denote

and

Notice that, the operator $D_{a+}^{\vartheta, \nu, \psi }$ can be written as:

Let

So, if $f\in C_{1-\mu, \psi }^{\mu }([a, b], E)$, then by Lemma 2.1, $D_{a+}^{\vartheta, \nu, \psi }f(\mathcal{\varrho })$ exists $\mathcal{ \varrho }\in \lbrack a, b].$

Remark 2.2. Since $D_{a+}^{\vartheta, \nu, \psi }x = (I_{a+}^{\nu (1-\vartheta), \psi }D_{a+}^{\mu, \psi }x)(\mathcal{\varrho }), \ $it follows from lemma1.$\ $ that$\ C_{1-\mu, \psi }^{\mu }([a, b], E)$ $\subseteq C_{1-\mu, \psi }^{\vartheta, \nu }([a, b], E).\ $Similarly, $PC_{1-\mu, \psi }^{\mu }([a, b], E)$ $\subseteq PC_{1-\mu, \psi }^{\vartheta, \nu }([a, b], E).$

Now, since our considered problem contains a delay we need to present the following spaces:

1- The normed space

endowed with the norm:

2-The metric space (the space of solutions)

where the metric function is given by:

3- The Banach space

endowed with the norm:

Remark 2.3. (i) If $x\in \mathcal{H}$, then $x(0^{-}) = 0$ and $x(0^{+}) = \lim_{\mathcal{ \varrho }\rightarrow 0^{+}}(\psi (\mathcal{\varrho })-\psi (0))^{1-\mu }x(\mathcal{\varrho }).$

(ⅱ) If $x\in H, \ $then $x(0^{-}) = \Psi (0)$ and $x(0^{+-}) = \lim_{ \mathcal{\varrho }\rightarrow 0^{+}}(\psi (\mathcal{\varrho })-\psi (0))^{1-\mu }x(\mathcal{\varrho })$. So, if $\Psi (0) = 0$, then$\ x\ $will be continuous at zero.

It is easily seen that the function:

define a measure of noncompactness on $\mathcal{H},$ where$\ B\ $is a bounded subset of$\ \mathcal{H}.$

We need to the following fixed point for multi-valued functions.

Lemma 2.2. (^[36], Theorem 3.1) Let $W\ $be a closed convex subset of a Banach space $X\ $and $\mathcal{\varrho }:W\rightarrow P_{c}(W).\ $Suppose that $\mathcal{\varrho }\ $is closed, $\mathcal{\varrho }(D)$ is$\ $relatively compact, whenever $D\ $is compact, and that, for some $x_{0}\in W,$ one has

Then, there is a fixed point for $\mathcal{\varrho }.$

3.   Existence results of solution for $(1).$

In this section, we demonstrate the existence of solutions of Problem $(1)$. For any $x\in H$ let

and

and for any $x\in \mathcal{H}$ let

In order to derive the relation between any solution for Problem (1) and the corresponding fractional integral equation, we need to the following essential Lemmas.

Lemma 3.1. Let $0 < \vartheta < 1, \eta \in \lbrack 0, 1)$.If $f\in C_{\eta, \psi }([a, b], E)$ and $I_{a+}^{1-\vartheta, \psi }f\in C_{\eta, \psi }^{1}([a, b], E)$, then

Proof. Since $f\in C_{\eta, \psi }([a, b], E)$, then $I_{a+}^{1-\vartheta, \psi }f(\mathcal{\varrho })$ is defined for $\mathcal{\varrho }\in \lbrack a, b]$. Moreover, the assumption $I_{a+}^{1-\vartheta, \psi }f\in C_{\eta, \psi }^{1}([a, b], E)$ implies to $D_{a+}^{\vartheta, \psi }f(\mathcal{\varrho })\in C_{\eta, \psi }([a, b], E)$, and hence $I_{a+}^{\vartheta, \psi }D_{a+}^{\vartheta, \psi }f(\mathcal{\varrho })$ and $I_{a+}^{\vartheta +1, \psi }D_{a+}^{\vartheta, \psi }f(\mathcal{\varrho })$ are well defined for $\mathcal{\varrho }\in \lbrack a, b]$. Observe that

Now,

By integration by parts, we get

It follows from Remark 2.1, that

Lemma 3.2. Let $\alpha \in (0, 1), \ \eta > 0\ $and $f\in C_{\eta, \psi }([a, b], E)$. Then $D_{a+}^{\alpha, \psi }I_{a+}^{\alpha, \psi }f(\mathcal{\varrho }) = f(\mathcal{ \varrho }), a.e.$ for$\ \mathcal{\varrho }\in \lbrack a, b].$

Proof. In view of Remark 2.1, we get for $a.e.\mathcal{\varrho }\in \lbrack a, b]$

Now, we give in the following lemma the relation between any solution for Problem (1) and the corresponding fractional integral equation.

Lemma 3.3. Let$\ 0 < \vartheta < 1$, $0\leq \nu \leq 1$, $\mu = \vartheta +\nu -\vartheta \nu \ $and $x\in PC_{1-\mu, \psi }^{\nu (1-\vartheta), \psi }([0, b], E)$, $g_{i}:(\mathcal{\varrho }_{i}, s_{i}]\rightarrow E, i = 1, ......n,$ is continuous. The following hold.

(1) The function $y:(0, b]\rightarrow E$ given by

belongs to $PC_{1-\mu, \psi }^{\mu }([0, b], E)$, $D_{s_{i}+}^{\vartheta, \nu, \psi }y(\mathcal{\varrho })$ exists for any $\mathcal{\varrho }\in (s_{i}$ $\mathcal{\varrho }_{i+1}]$, $i = 0, 1, ......n,$ and verifies the $\psi -$Hilfer fractional problem:

(2) If $y\in PC_{1-\mu, \psi }^{\mu }([0, b], E)$ is a solution of (3), then $y\ $satisfies (2).

Proof. Let $\mathcal{\varrho }\in (0, \mathcal{\varrho }_{1}]$. In view of (2)

According to Lemma 3.1 in^[35], $D_{0^{+}}^{\mu, \psi }(\psi (\mathcal{\varrho })-\psi (a))^{\mu -1} = 0$. Then, by applying $D_{a+}^{\mu, \psi }\ $to both side of (4), it yields

Observe that the assumption $x\in PC_{1-\mu, \psi }^{\nu (1-\vartheta), \psi }([0, b], E)$ implies to $D_{0+}^{\nu (1-\vartheta), \psi }x\; _{|J_{0}}\in C_{1-\mu, \psi }([0, \mathcal{\varrho }_{1}], E)$. It follows from (5) that$\ D_{a+}^{\mu, \psi }y\in C_{1-\mu, \psi }([0, \mathcal{\varrho }_{1}], E)$ and hence $y|_{J_{0}}\in C_{1-\mu, \psi }^{\mu }([0, \mathcal{\varrho }_{1}], E)$. Consequently $y|_{J_{0}}\in C_{1-\mu, \psi }^{\vartheta, \nu }([0, \mathcal{ \varrho }_{1}], E)$ (see, Remark 2), and this assures that $D_{0^{+}}^{\vartheta, \nu, \psi }y(\mathcal{\varrho })$ is well defined for $\mathcal{\varrho }\in J_{0}.\ $Now, since$\ D_{0+}^{\nu (1-\vartheta), \psi }x\; _{|J_{0}}\in C_{1-\mu, \psi }([0, \mathcal{\varrho }_{1}], E),$ then $(\frac{1}{\psi \prime (\mathcal{\varrho })}\frac{d}{d\mathcal{\varrho }})I_{0^{+}}^{1-\nu (1-\vartheta), \psi }x\; _{|J_{0}}\in C_{1-\mu, \psi }([0, \mathcal{\varrho }_{1}], E)$. So, $I_{0^{+}}^{1-\nu (1-\vartheta), \psi }x\; _{|J_{0}}\in C_{1-\mu, \psi }^{1}([0, \mathcal{\varrho }_{1}], E)$. As a result from Lemma (3) one obtains

Since $I_{0^{+}}^{1-\nu (1-\vartheta), \psi }x\in C_{1-\mu, \psi }([0, b], E)$ and $1-\mu < 1-\nu (1-\vartheta)$, then, by Lemma(1) $(I_{0^{+}}^{1-\nu (1-\vartheta), \psi }x)(0) = 0$. So, $D_{0^{+}}^{\vartheta, \nu, \psi }y(\mathcal{\varrho }) = x(\mathcal{\varrho })$, $\mathcal{\varrho }\in \lbrack 0, \mathcal{\varrho }_{1}]$. It remains to demonstrate that $y$ satisfies $I_{0^{+}}^{1-\mu }y(0^{+}) = y_{a}$. To do this, apply $I_{a+}^{1-\mu, \psi }$ to both side of (4)

Because $x\in C_{1-\mu, \psi }([0, \mathcal{\varrho }_{1}], E)$ and $1-\mu < 1-\mu +\vartheta$, then, by Lemma(1)$, I_{0^{+}}^{1-\mu +\vartheta, \psi }I_{0^{+}}^{\vartheta, \psi }x(0) = 0$. So, $I_{0^{+}}^{1-\mu, \psi }y(0) = \Psi (0)$.

Similarly, we can show that for $\mathcal{\varrho }\in (s_{i}$ $\mathcal{ \varrho }_{i+1}], i = 1, ......n,$we have$\ D_{s_{i}^{+}}^{\vartheta, \nu, \psi }y(\mathcal{\varrho }) = x(\mathcal{\varrho })$ and $I_{s_{i}^{+}}^{1-\mu }y(s_{i}^{+}) = g_{i}(s_{i}, x(\mathcal{\varrho }_{i}^{-}))$, and hence $y\ $is a solution for(3)$.$

(2) Let $y\in PC_{1-\mu, \psi }^{\mu }(J, E)\ $be a solution of (3). Let $i = 0.$ Then $y\in C_{1-\mu, \psi }(J_{0}, E)\ $and $(\frac{1}{\psi \prime (\mathcal{ \varrho })}\frac{d}{d\mathcal{\varrho }})I_{0^{+}}^{1-\mu, \psi }y\; _{|J_{0}}\in C_{1-\mu, \psi }(J_{0}, E).$ Thus, $I_{s_{i}}^{1-\mu, \psi }y\; _{|J_{0}}\in C_{1-\mu, \psi }^{1}(J_{0}, E)$. By applying Lemma (3) it yields

Next, applying $I_{0^{+}}^{\vartheta, \psi }$ to both side of the equation $D_{0^{+}}^{\vartheta, \nu, \psi }y(\mathcal{\varrho }) = x(\mathcal{\varrho })$, we get from (6)

So,

Similarly, we can show that for $i = 1, ......n,$ $\ $

Now, based on Lemma 3.3, we can give the concept of solutions for problem $(1)$.

Definition 2. A function $\overline{x}\in H$ is called a mild solution of $(1)$ if there is $f\in S_{F(, \tau (\mathcal{\varrho })\overline{x})}^{1}$ such that $\overline{x}$ satisfies the integral equation

Remark 3.1. The function $\overline{x}\ $is not necessarily continuous at the points $s_{i}, i = 0, 1, ......n.$ But if $\ \Psi (0) = 0$, then it will be continuous at $s_{0}$, and if $g_{i}(s_{i}, x(\mathcal{\varrho }_{i}^{-})) = 0$, it will be continuous at $s_{i}, i = 1, ......n$.

In the following, we present our first existence result of solutions for Problem (1).

Theorem 3.1. Let$\ F:J\times \Theta \rightarrow P_{ck}(E)$ be a multifunction, $\Psi \in \Theta$, and $\ g_{i}:[\mathcal{\varrho }_{i}, s_{i}]\times E\rightarrow E\ (i = 1, 2, ....n)$. We assume the following conditions

$(F_{1})\ $For every $z\in H$, $S_{F(., \tau (.)z)}^{1}$ is not empty subset of $I^{\nu (1-\vartheta), \psi }(PC_{1-\mu, \psi }(J, E))\ $and for almost every $\mathcal{\varrho }\in J, z\; \longrightarrow F(\mathcal{ \varrho }, \tau (\mathcal{\varrho })z)\ $is upper semicontinuous.

$(F_{2})$ There is a $\varphi \in L^{\frac{1}{q}}(I, \mathbb{R} ^{+}), (0 < q < \vartheta)$ such that for any $z\in \mathcal{H}$

$(F_{3})$ There is a $\varsigma \in L^{\frac{1}{q}}(I, \mathbb{R} ^{+}), (0 < q < \vartheta)$ with the property that for any bounded subset $D\subseteq \mathcal{H}$, $\ $any $k = 0, 1, 2, .., n$, and $a.e.,$ for$\ \mathcal{ \varrho }\in J_{k}$

and

where $\eta = \delta ^{q}\frac{(\psi (b)-\psi (0))^{\vartheta -q}}{(\frac{ \vartheta -q}{1-q})^{1-q}}$, $\delta = \max_{s\in J}\psi \prime (s)$, $\kappa _{1} = (\psi (b)-\psi (0))^{1-\mu }$ and $\chi$ is the Hausdorff measure of noncompactness on $E$.$\ \ \ $

$(H_{1} )$ for every $i = 1, 2, \ldots, n$, $\ \ g_{i}:[\mathcal{\varrho } _{i}, s_{i}]\times E\rightarrow E\ $is uniformly continuous on bounded sets and for any $\mathcal{\varrho }\in J$, $\ g_{i}$ $(\mathcal{\varrho }, .)\ $ maps any bounded subset of$\ E\ $to a relatively compact subset and there exists a positive constant $h_{i}\ $such that for any $x\in E$

Then Problem (1)$\ $has a mild solution$\ $provided that

where, $h^{\ast } = \sum_{i = 0}^{i = n}h_{i}$.

Proof. We define a multioperator $\Phi :\mathcal{H}\rightarrow P(\mathcal{H})$ as follows: let $x\in \mathcal{H}$, then due to $(F_{1})$ there is $f$ $\in S_{F(., \tau (.)\overline{x})}^{1}$, and hence we can define $y\in \Phi (x)$ if and only if

Let us clarify that a point $x\ $is a fixed point for $\Phi$ if and only if $\overline{x}\ $is a solution for (1). Let $x\ $be a fixed point to $\Phi$. Then

where $f$ $\in S_{F(., \tau (.)\overline{x})}^{1}$. Therefore,

This means $\overline{x}\ $satisfies (4), and hence it is a solution for (1). Similarly, it is easy to see that if $\overline{x}\ $satisfies (4), then $x\ $ is a fixed point for $\Phi$. So we prove, by application Lemma 3.3, that $\Phi \ $has a fixed point. Obviously the values of $\Phi \ $are convex.

Step$1$. We demonstrate that there is a $n\in \mathbb{N}$ with $\Phi (B_{n})\subseteq B_{n},$where $B_{n} = \{x\in \mathcal{H} :\left\Vert x\right\Vert _{\mathcal{H}}\leq n\}.$ Suppose that for any natural number $n,$ there are $x_{n}, y_{n}\in \mathcal{H}$ with $y_{n}\in \Phi (x_{n}), \left\Vert x_{n}\right\Vert _{\mathcal{H}}\leq n\;$ and $\left\Vert y_{n}\right\Vert _{\mathcal{H}} > n.$ Then, there is$\ f_{n}\in$ $S_{F(., \tau (.)\overline{x}_{n})}^{1}$, $n\geq 1$ such that

In view of $(F_{2}),$ we get for almost $\mathcal{\varrho }\in J$

Then, if for almost $\mathcal{\varrho }\in (0, \mathcal{\varrho }_{1}]$, we get from Holder's inequality and (12)

Now, from Holder's inequality

Then,

If $\mathcal{\varrho }\in (\mathcal{\varrho }_{i}$ $s_{i}], = 1, 2, \ldots, n, \ $ then by $(H_{1})$

Similar as in (13), we get for almost $\mathcal{\varrho }\in (s_{i}$ $\mathcal{\varrho }_{i+1}], i = 1, 2, \ldots, n.$

It follows from this inequality, (13) and (14), that

By dividing both side by $n\ $and taking the limit as $n\rightarrow \infty, \ $one obtains

which contradicts with $(8).$ Thus, there is a natural number $n_{0}$ such that $\Phi (B_{n_{0}})\subseteq \Phi (B_{n_{0}}).$

Step2. $\Phi \ $is closed on $B_{n_{0}}$.

Let $(x_{n})_{n\geq 1}, \ (y_{n})_{n\geq 1}$be two sequences in $B_{n_{0}}$ with $x_{n}\rightarrow x\ $in $B_{n_{0}}, y_{n}\rightarrow y$ in $\mathcal{H\ }$and $y_{n}\in \Phi (x_{n}); n\geq 1$. Then, there is $f_{n}$ $\in S_{F(., \tau (.)\overline{x}_{n})}^{1}$ such that

According to (11), it follows that $||f_{n}(\mathcal{\varrho })||\leq \varphi (\mathcal{\varrho })(1+n), a.e.\mathcal{\varrho }\in J$, and hence$\ (f_{n})_{n\geq 1}$ is bounded in $L^{\frac{1}{q}}(J, E)$. Since $L^{\frac{1}{q }}(J, E)$ is reflexive, then, by using Mazur's Lemma, there is sequence, $(z_{j})_{j\geq 1},$ of convex combinations of $(f_{n})_{n\geq 1}\ $ converging strongly to $f\ $in$\ L^{1}(J, E)$ as$\ j\rightarrow \infty.\ $ Notice that, by$\ (F_{2})$ again, for every$\ \mathcal{\varrho }\in J, s\in (0, \mathcal{\varrho }]$ and every $n\geq 1$

Let

Clearly $\widetilde{y}_{n}(\mathcal{\varrho })\rightarrow y(\mathcal{\varrho })$, $\mathcal{\varrho }\in J\ $and $z_{n}(\mathcal{\varrho })\rightarrow f(\mathcal{\varrho })$, for almost $\mathcal{\varrho }\in J.\ $Also, $\tau (\mathcal{\varrho })\overline{x}_{n}\rightarrow \tau (\mathcal{\varrho }) \overline{x}; \mathcal{\varrho }\in J$, and hence, by the upper semicontinuity of $F(\mathcal{\varrho }, .);a.e.\ \mathcal{\varrho }\in J$, it follows that $f(\mathcal{\varrho })\in F(\mathcal{\varrho }, \tau (\mathcal{\varrho })\overline{x}), a.e.$[^[37]. Theorem1, Sec. 4, Ch.1 ]. Therefore, by, the uniform continuity of $g_{i}(s_{i}, .)\ $on bounded subsets and by passing to the limit as $n\rightarrow \infty \ $in (15) we obtain, from the Lebesgue dominated convergence theorem $y\in \Phi (x)$.

Step3. We show that $M_{\mid \overline{J_{k}}}$ $(k = 0, 1, ..., n)\ $and $M_{\mid \overline{\mathcal{\varrho }_{i}}}$ $\ (i = 1, 2, ...., n)\ $are equicontinuous, $\ $where

and

Case 1.let $z\in M_{\mid \overline{J_{0}}}$.Then there are$\ x\in B_{n_{0}}$and$\ y\in \Phi (x)\ $such that for $\mathcal{\varrho }\in (0, \mathcal{\varrho }_{1}]$,

$z(\mathcal{\varrho }) = (\psi (\mathcal{\varrho })-\psi (0))^{1-\mu }y(\mathcal{\varrho })\ $and $z(0) = \lim_{\mathcal{\varrho }\rightarrow 0+}(\psi (\mathcal{\varrho })-\psi (0))^{1-\mu }y(\mathcal{\varrho })$, where $f\ \in S_{F(., \tau (.)\overline{x})}^{1}$. It follows

Let $\mathcal{\varrho }_{1}, \mathcal{\varrho }_{2}$ be two points in $(0, \mathcal{\varrho }_{1}]$ be such that $\mathcal{\varrho }_{1} < \mathcal{ \varrho }_{2}$. Then,

By the absolute integral of the Lebesgue integral and Holder's inequality, it yields from (12)

independent of$\ x.$

Since $\psi$ is continuous, we get by $(12)$

Moreover,

Put $\overline{\omega } = \frac{\vartheta -1}{1-q}\in (-1, 0),$ then for $s < \mathcal{\varrho }_{1} < \mathcal{\varrho }_{2}, \ $we have $(\psi (\mathcal{ \varrho }_{1})-\psi (s))^{\overline{\omega }}\geq (\psi (\mathcal{\varrho } _{2})-\psi (s))^{\overline{\omega }}$. By applying Lemma 3.1 in ^[43] and taking into account $1-q\in (0, 1),$ we get

Then,

This leads to

Therefore,

Thus,

independent of$\ x.$

Case 2. Let $i\in \{1, 2, .., n\}$ be fixed and set $K_{i} = \{x(\mathcal{\varrho }_{i}^{-}):x\in B_{n_{0}}\}.$Obviously$K_{i}$ is bounded subset of $E$.

Let $y\in M_{\mid \mathcal{\varrho }_{i}}$. Then, there is $x\in B_{n_{0}}$ such that

It follows, from the uniform continuity of $g_{i}$ on the bounded set $[ \mathcal{\varrho }_{i}, s_{i}]\times K_{i}$, that for $\mathcal{\varrho } _{1}, \mathcal{\varrho }_{2}\in (\mathcal{\varrho }_{i}, s_{i}]$

independent of $x$. When $\mathcal{\varrho } = \mathcal{\varrho }_{i}$, let $\delta > 0$ be such that $\mathcal{\varrho }_{i}+\delta \in (\mathcal{\varrho }_{i}, s_{i}]$ and $\lambda > 0$ with $\mathcal{\varrho }_{i} < \lambda < \mathcal{\varrho }_{i}+\delta \leq s_{i}.$ Then, we have

Case 3. let $k = 1, \ldots, n$ be fixed, $z\in M_{\mid \overline{J_{k}}}$. Then, there are $x\in B_{n_{0}}$and$\ y\in \Phi (x)\ $ such that for $\mathcal{\varrho }\in \mathcal{\varrho }\in (s_{k}, \mathcal{ \varrho }_{k+1}]$,

$z(\mathcal{\varrho }) = (\psi (\mathcal{\varrho })-\psi (s_{k}))^{1-\mu }y(\mathcal{\varrho })\ $and $z(s_{k}) = \lim_{\mathcal{\varrho }\rightarrow s_{k}+}(\psi (\mathcal{\varrho })-\psi (s_{k}))^{1-\mu }y(\mathcal{\varrho })$, where $f\ \in S_{F(., \tau (.)\overline{x})}^{1}$.$\ $It follows

Next, let $\mathcal{\varrho }_{1}, \mathcal{\varrho }_{2}\in (s_{k}, \mathcal{ \varrho }_{k+1}](\mathcal{\varrho }_{1} <$ $\mathcal{\varrho }_{2}).$By arguing as in case 1, one can show that

independent of $x$.

Step 4. Let$\ \ K\subseteq B_{n_{0}}$, $K = conv(\{0\}\cup \Phi (K)), \ \overline{Z} = \overline{C}\ $with $C\subseteq K\ $countable. We have to show that $K\ $is relatively compact in $\mathcal{H}$ Let $D = \{y_{n}:n\geq 1\}\subseteq \Phi (K)\ $with $C\subseteq conv(\{x_{0}\}\cup D),$ $x_{n}\in K\ $with $y_{n}\in \Phi (x_{n}).$This means that, there is $f_{n}\in S_{F(., \tau (.)\overline{x}_{n})}^{1}\ $such that the relation (15) holds. Observe that, from $(F_{3})$ it holds for $a.e.s\in J_{0}$

Because$\ \sup_{\delta \in \lbrack -r, 0]}\ \chi \{\overline{x}_{n}(\delta):n\geq 1\} = \sup_{\delta \in \lbrack -r, 0]}\ \chi \{\Psi (\delta)\} = 0.$ Thus$,$

According to the definition $\chi _{\mathcal{H}}(Z),$ one obtains

In view of Step 3, $D_{_{|}\overline{J_{i}}}\ $and $D_{_{|}\overline{ \mathcal{\varrho }_{i}}}$ are equicontinuous, consequently

Let $\mathcal{\varrho }\in (0, \mathcal{\varrho }_{1}]$. Then,

which yields with (17)

Notice that

Moreover, from the fact that $||x_{n}||_{_{\mathcal{H}}}\leq n_{0},$the set $\{x_{n}(\mathcal{\varrho }_{i}^{-}):n\geq 1\}$ is bounded for every $i = 1, 2, ..., n\,$ and hence from the assumption $(H_{1})$, we get

and

Similarly,

By arguing as in (20), one can show that

From the relations (7), (19)–(25), it follows that

So, $\chi _{PC_{1-\mu }(J, E)}(K) = 0, \ $and hence $K\ $is relatively compact.

Step5. $\Phi \ $maps compact sets into relatively compact sets.

Let $B\ $be a compact subset of $B_{n_{0}}$, $\{y_{n}, :n\geq 1\}\subseteq \Phi (B)\ $Then, there is $x_{n}\in B, n\geq 1$, $\ $such that $y_{n}$ $\in \Phi (x_{n}).$ So, there is $f_{n}\in S_{F(., \overline{x_{n}}(.))}^{1}\ $ such that (15) holds. We have to show that the set $Z = \{y_{n}:n\geq 1\}\ $ is relatively compact in $\mathcal{H}.\ $Note that, since $B\ $is compact in $\mathcal{H}, \ $then from $(F_{3})\ $we get for $a.e.$ $s\in J_{0}$,

By the same reasons, one can show that for $a.e.$ $s\in J_{k}$, $k = 1, 2, .., n\ $

By arguing as in the previous step one can show that $Z$ is relatively compact, and hence $\Phi (B)\ $is relatively compact.

Now, by applying Lemma 8, there is $x\in \mathcal{H}$ and$f$ $\in S_{F(., \tau (.)\overline{x})}^{1}\ $such that

Next, in view of $(F_{1})$, there is $h\in PC_{1-\mu, \psi }(J, E)$ such that $f(\mathcal{\varrho }) = I_{s_{i}+}^{\nu (1-\vartheta), \psi }h(\mathcal{ \varrho }), \mathcal{\varrho }\in J_{k}, k = 0, .., n,$ and hence, from Lemma 3.3,

This yields that $f\in PC_{1-\mu, \psi }^{\nu (1-\vartheta)}(J, E).$ Then, the function

belongs to $H$ and in view of Lemma(6) it is a solution for (1). This completes the proof.

Remark 3.2. Theorem 1 remains true if condition $(F_{2})\ $is replaced by the following assumption:

$(F_{2})^{\ast }$There is a $\varphi \in L^{\frac{1}{q}}(I, \mathbb{R} ^{+})$ such that for any $z\in \Theta$

In fact, condition $(F_{2})\ $is used only to prove relation (11). We show this relation by using $(F_{2})^{\ast }$. Let $f_{n}\in$ $S_{F(., \tau (.) \overline{x}_{n})}^{1}$, $n\geq 1$ Then, by $(F_{2})^{\ast }, \ $for almost $\mathcal{\varrho }\in \cup _{i = 0}^{i = n}(s_{i}$ $\mathcal{\varrho }_{i+1}]$ we get $\ $

and for almost $\mathcal{\varrho }\in \cup _{i = 1}^{i = n}(\mathcal{\varrho } _{i}$ $s_{i}]$

4.   $\psi -$generalized Ulam-Hyers stability of Problem (1).

In this section, we give another version for the existence of solutions and investigate the generalized$\ \psi-$generalized Ulam-Hyers stability of problem (1). For basic information about multivalued weakly Picard operators we refer to ^[38].

Definition 3. ^[39,40] A An increasing function $\varsigma :[0, \infty)\rightarrow \lbrack 0, \infty)\ $is called comparison function if $\lim_{n\rightarrow \infty }\varsigma ^{n}(s) = 0$, $\ \forall s\in \lbrack 0, \infty),$where $\varsigma ^{n}(s) = \varsigma ^{n-1}(\varsigma (s)).$If in addition $\sum\limits_{n = 1}^{\infty }\varsigma ^{n}(\mathcal{\varrho }) < \infty, \forall s\in (0, \infty)$, then $\varsigma :[0, \infty)\rightarrow \lbrack 0, \infty)\ $is called strictly comparison.

Remark 4.1. ^[41]

1- If $\varsigma :[0, \infty)\rightarrow \lbrack 0, \infty)\ $is comparisons, then $\varsigma (s) < s, \forall s > 0, \varsigma (0) = 0$ and $\varsigma \ $is continuous at $0.$

2-the functions $\varsigma _{1}(s) = c\mathcal{\varrho }; c\in \lbrack 0, 1)\ $ and $\varsigma _{2}(s) = \frac{s}{s+1}:s\in \lbrack 0, \infty)\ $are strictly comparison

Let $M: = \{y\in H:y_{|J}\in PC_{1-\mu, \psi }^{\mu }(J, E)$, $D_{s_{i}+}^{\vartheta, \nu, \psi }y(\mathcal{\varrho })$ exists for any $\mathcal{\varrho }\in (s_{i}$ $\mathcal{\varrho }_{i+1}]$, $i = 0, 1, ......n, \}$

Definition 4. ^[12] Problem (1) is called $\psi -$generalized Ulam- Hyers stable if there is a continuous function $\theta :[0, \infty)\rightarrow \lbrack 0, \infty)$ and $\theta (0) = 0$ such that for each $\epsilon > 0$ and each$\ $ solution $y\in$$M$ of the inequality

there is a solution $x\in H$ for (1) with

In the following theorem, we establish the existence and generalized $\psi-$ Ulam-Hyers stability of solutions Problem (1).

Theorem 4.1. Let $F:J\times \Theta \rightarrow P_{ck}(E)$, $\Psi \in \Theta$ and$g_{i}:[\mathcal{\varrho }_{i}, s_{i}]\times E\rightarrow E\ (i = 1, 2, ....n)$be such that:

$(F_{4})$ For every $z\in H$, $S_{F(., \tau (.)z)}^{1}$ is a non-empty subset of $I^{\nu (1-\vartheta), \psi }(PC_{1-\mu, \psi }(J, E)).$

$(F_{5})$ There is a function$\ \sigma \in L^{\frac{1}{q}}(I, \mathbb{R} ^{+}), 0 < q < \vartheta$ and a strict comparison function $\varsigma :[0, \infty)\rightarrow \lbrack 0, \infty)\ $such that

(ⅰ) For every $x_{1}, x_{2}\in \mathcal{H}$

(ⅱ)

where$\ \overline{x}_{0}(s) = \Psi (s); s\in \lbrack -r, 0]$ and $\overline{x} _{0}(s) = 0;s\in (0, b].$

$(H_{2})$For any$i = 1, 2, ....n,$ there$\ \xi _{i}\ > 0\ $such that for any $\mathcal{\varrho }\in \lbrack \mathcal{\varrho }_{i}, s_{i}]$

Then, there is solution for Problem(1) provided that

where $\xi = \sum_{i = 1}^{i = n}\xi _{i}.$Moreover, if, in addition there, is a $c > 1$such that $\varsigma (c\mathcal{\varrho })\leq c\ \varsigma (\mathcal{ \varrho }); \mathcal{\varrho }\in \lbrack 0, \infty)$ and $\mathcal{\varrho } = 0$ is a point of uniform convergence for the series $\sum\limits_{n = 1}^{ \infty }\varsigma ^{n}(\mathcal{\varrho })$, then problem (1) is a$\ \psi-$generalized Ulam-Hyers stable.

Proof. Condition $(F_{4})\ $allows to define a multifunction $\Phi :\mathcal{H} \rightarrow P(\mathcal{H})\ $as in (9) Note that by $(F_{5}),$ for every $x\in \mathcal{H},$ and for a.e.$\mathcal{\varrho }\in J$

Then, as the reasons of Theorem 1, we can show that the values of $\Phi$ are closed. We show that $\Phi$ is$\ \varsigma -$contraction. Let $x_{2}, x_{1}\in \mathcal{H}\ $and $y_{1}\in \Phi (x_{1}).$ Then, there exists $f\in S_{F(., \tau (.)\overline{x}_{1})}^{1}$such that

Define $\ \Pi :J\rightarrow 2^{E}$ as

From $(F_{5})(i),$ we have

Since the values of$\ F\ $are compact, there exists $u_{\mathcal{\varrho } }$ $\in F(\mathcal{\varrho }, \tau (\mathcal{\varrho })x_{2})$ such that

as a consequence $\Pi (\mathcal{\varrho }); \mathcal{\varrho }\in J$ is not empty. Furthermore, because $f, \sigma, x_{1}, x_{2}\ $are measurable and $E\ $ is separable, it follows from [^[42], Theorem Ⅲ.41], the multifunction$\ s\rightarrow$ $\Pi (s)\cap F(s, \tau (s)\overline{x}_{2})$ is measurable and since its values are non-empty and compact, there is $h\in S_{F(\mathcal{\varrho }, \tau (\mathcal{\varrho })\overline{x}_{2})}^{1}\ $ such that

Set

Notice that, $y_{2}\in \ \Phi (x_{2})$ and if $\mathcal{\varrho }\in J_{0, },$ we get from Holder's inequality

Similarly, if $\mathcal{\varrho }\in (s_{i}$ $\mathcal{\varrho } _{i+1}], i = 1, ......, n,$ we get

where $\xi = \sum_{i = 1}^{i = n}\xi _{i}.$ Furthermore, If $\mathcal{\varrho } \in (\mathcal{\varrho }_{i}, s_{i}], i = 1, ......n, \ $then by $(H_{2})\;$one obtains

It follows from (30)–(32),

where, $h_{\mathcal{H}}$ is the Hausdorff distance in $\mathcal{H}$. This inequality and (29) imply that $\Phi$ is $\varsigma -$contraction and thus by Theorem 3.1(i) in ^[41], $\Phi$ has a fixed point and as in Theorem 1, this fixed point is a solution for Problem (1).

Now, in order to demonstrate that Problem(1)$\ $is a$\ \psi-$generalized Ulam-Hyers stable. Let $\epsilon > 0$ and $y\in M\ $be a solution of inequality (27). Because the values of $F\ $are compact, there $f\in S_{F(., \tau (\mathcal{\varrho })y)}^{1}$ such that

Then, for almost everywhere $\mathcal{\varrho }\in \cup _{i = 0}^{i = n}(s_{i}, \mathcal{\varrho }_{i+1}]$

where$\ w\in PC_{1-\mu, \psi }^{\nu (1-\vartheta)}(J, E)\ $and $||w(\mathcal{ \varrho })|\leq \epsilon, \forall \mathcal{\varrho }\in J$. Furthermore, according to $(F_{4}), \ $there is $h\in PC_{1-\mu, \psi }(J, E)$ such that $f(\mathcal{\varrho }) = I_{s_{i}+}^{\nu (1-\vartheta), \psi }h(\mathcal{\varrho }), \mathcal{\varrho }\in J_{k}, \ k = 0, 1, 2, .., n$, and hence, from Lemma 3.2,

This yields that $f\in PC_{1-\mu, \psi }^{\nu (1-\vartheta)}(J, E).$ Therefore, $y(\mathcal{\varrho }) = \Psi (\mathcal{\varrho }), \mathcal{\varrho }\in \lbrack -r, 0]\ $and

In view of the second assertion of Lemma 3.3, relation (33) one obtains

Let

Obviously, $z\in \Phi (y^{\ast })$, where

Moreover, from $(33)$ and $(34)$ we get for $\mathcal{\varrho }\in (0, \mathcal{\varrho }_{1}]$

If$\mathcal{\varrho }\in (\mathcal{\varrho }_{i}$ $s_{i}],$ then$||\overline{ z}(\mathcal{\varrho })-y(\mathcal{\varrho })||\leq \epsilon.$If$\ \mathcal{ \varrho }\in (s_{i}$ $\mathcal{\varrho }_{i+1}],$ then

As a consequence,

On the other hand, from the facts that $\Phi \ $is $\varsigma$- contraction, $\varsigma$ is strictly comparison, $\varsigma (c\mathcal{ \varrho })\leq c\ \varsigma (\mathcal{\varrho })(c > 1)\ $for every$\mathcal{ \varrho }\in \lbrack 0, \infty)$ and $\mathcal{\varrho } = 0$ is a point of uniform convergence for the series $\sum\limits_{n = 1}^{\infty }\varsigma ^{n}(\mathcal{\varrho }),$ it yields from Theorem3.1(ii)^[41], $\ $ that $\Phi \ $is $\rho -$multivalued weakly Picard operator$,$ where $\rho (\mathcal{\varrho }) = \mathcal{\varrho }+\sum\limits_{n = 1}^{\infty }\ \varsigma ^{n}(\mathcal{\varrho }).$ Then, the function $\Phi ^{\infty }:Graph(\Phi)\rightarrow Fix(\Phi)\ $is well defined and

Put $x = \Phi ^{\infty }(y^{\ast }, z).\ $So, $x\in \Phi (x)\ $and from (35) and (36) we get

where $\theta (\mathcal{\varrho }) = \rho (\mathcal{\varrho }[\frac{(\psi (b)-\psi (0))^{\mu -1}}{\Gamma (\mu)}+\frac{(\psi (b)-\psi (0))^{\vartheta } }{\Gamma (\vartheta +1)}+1]).$ Consequently, Problem (1) is $\psi -$ generalized Ulam-Hyers stable.

5.   Examples

In this section we give examples to clarify the possibility of applicability our assumptions.

EXAMPLE 1 Let $E\ $be a Hilbert space, $K\ $a non-empty convex compact subset of $E, r = 1, s_{0} = 0, \mathcal{\varrho }_{1} = 1, s_{1} = 2, \mathcal{\varrho }_{2} = 3,$ $\vartheta = \frac{1}{2}, \nu = \frac{1}{4}$and $\mu = \vartheta +\nu -\vartheta \nu = \frac{5}{8}$. Let $F:J\times \Theta \rightarrow P_{ck}(E)$ be defined as follows:

Clearly, for almost every $\mathcal{\varrho }\in J, z\longrightarrow F(\mathcal{\varrho }, \tau (\mathcal{\varrho })z)\ $is upper semicontinuous. Set $\lambda = \sup \{||x||:x\in K\}$. Then, for any $(\mathcal{\varrho }, z)\in J\times \Theta$ and any $y\in F(\mathcal{\varrho }, z)$ we have

Then condition $(F_{2})$of Theorem1 is verified with $\varphi (\mathcal{ \varrho }) = \lambda; \mathcal{\varrho }\in J$. Moreover, if $f\in S_{F(, .z)}^{1};z\in \Theta$, then

We define

Obviously $h_{x_{1}, x_{2}, x_{3}}\in PC_{1-\mu, \psi }(J, E)$ and from Lemma 2.2, we get $I_{s_{i}^{+}}^{\nu (1-\vartheta), \psi }h_{x_{1}, x_{2}, x_{3}}(\mathcal{\varrho }) = f(\mathcal{\varrho }); i = 0, 1$.

Now, let $D\ $ be a bounded subset of $\mathcal{H}$, $z_{1}$, $z_{2}\in D$, $\mathcal{\varrho }\in (0, 1]$, $\ x\in F(\mathcal{\varrho }.\tau (\mathcal{ \varrho })\overline{z_{1}})$ and $y\in F(\mathcal{\varrho }.\tau (\mathcal{ \varrho })\overline{z_{2}})$. Then $x = (\psi (\mathcal{\varrho })-\psi (0))^{ \frac{3}{8}}||z_{1}(\mathcal{\varrho })||x^{\ast }$ and $y = (\psi (\mathcal{ \varrho })-\psi (0))^{\frac{3}{8}}||z_{2}(\mathcal{\varrho })||y^{\ast }$, where $x^{\ast }, y^{\ast }\in K$. It follows that

As a result,

which means that

Then, for $\mathcal{\varrho }\in (0, \mathcal{\varrho }_{1}]$

Similarly, one can show that if for $\mathcal{\varrho }\in (s_{2}, \mathcal{ \varrho }_{3}]$

and consequently, by choosing $\lambda$ small enough such that the relation (7) becomes realized with $\varsigma (\mathcal{\varrho }) = \lambda; \mathcal{ \varrho }\in J.$ Next, let $g_{1}:[1, 2]\times E\rightarrow E$ such that

where, $\rho$ is a positive number and$\mathcal{\varrho }\ $is a linear, bounded and compact operator on $E.$ So, condition $(H_{1})\ $is satisfied. As a consequence, from Theorem (1), the problem (1) has a solution where $F$ and $g$ are given by (47) and (50) and $\Psi \in \Theta$ provided that

where, $\eta = \delta ^{q}\frac{(\psi (b)-\psi (0))^{\vartheta -q}}{(\frac{ \vartheta -q}{1-q})^{1-q}}$, $\delta = \max_{s\in J}\psi \prime (s)$, $q = \frac{1}{4}$ and $\kappa _{1} = (\psi (b)-\psi (0))^{1-\mu }$. By choosing $\rho$ small enough relation (42) becomes realized.

EXAMPLE 2 Let $E$, $K$, $\ r, \ s_{0}, \ \mathcal{\varrho }_{1}, \ s_{1}, \ \mathcal{ \varrho }_{2},$ $\vartheta, \ \nu, \ \mu$, $F:J\times \Theta \rightarrow P_{ck}(E)\ $and $g_{1}:[1, 2]\times E\rightarrow E$ be as in EXAMPLE 1. Then assumption $(F_{4})$ is satisfied. Moreover, in view of (40) for any$\ z_{1}, z_{1}\in \mathcal{H}$

where, $\sigma (\mathcal{\varrho }) = 2\lambda$ and $\varsigma (\mathcal{ \varrho }) = \frac{\mathcal{\varrho }}{2};\mathcal{\varrho }\in J$. Observe that $\varsigma \ $is strictly comparison and $\varsigma (c\mathcal{\varrho }) = c\ \varsigma (\mathcal{\varrho }),$ for$\ $every $c > 0,$ every$\ \mathcal{ \varrho }\in \lbrack 0, \infty)$ and $\mathcal{\varrho } = 0$ is a point of uniform convergence for the series $\sum\limits_{n = 1}^{\infty }\varsigma ^{n}(\mathcal{\varrho }),$ and hence assumption $(F_{5})$is satisfied. Now, for any $\mathcal{\varrho }\in \lbrack 1, 2]$ and any $x, y\in E$

where $\xi = 2\rho ||\mathcal{\varrho }||(\psi (1)-\psi (0))^{\frac{3}{8}}$. It follows that $(H_{2})$ is satisfied. By applying Theorem 2, Problem (1) has a solution and it is $\psi -$generalized Ulam-Hyers stable, where $F$ and $g$ are given by (37) and (40) and $\Psi \in \Theta$ provided that

By choosing $\rho$ small enough this inequality becomes realized.

6.   Conclusions

A relation between a solution of the considered problem and the corresponding fractional integral equation is given, then two existence results of solutions for an $\psi$-Hilfer fractional non-instantaneous impulsive differential inclusion in the presence of delay in an infinite dimensional Banah spaces are obtained. Moreover, by using the multivalued weakly Picard operator theory, the stability of solutions for the considered problem in the sense of generalized Ulam-Hyers is studied. This work generalizes many recent results in the literature, for example ^{[6,10,11,17,19,31]}. Moreover, our technique can be used to study the existence and Ulam-Hyers stability of solutions or mild solutions for the problems considered in ^{[3,4,15,16,20,21,22]} to the case when, there are impulses and delay on the system, the right hand side is a multi-valued function and involving $\psi -$Hilfer fractional derivative. There are many directions for future work, for example: Generalize the obtained results in ^[3,4,15,16] when, the considered problems in these works involving $\psi$-Hilfer fractional derivative.

Acknowledgement

The authors acknowledge the Deanship of Scientific Research at King Faisal University for the financial support under Nasher Track (Grant No.186042).

Conflicts of interest

The authors declare that they have no conflicts of interest.

Authors's contributions

All authors contributed equality and read and approved the final version of the manuscript.