Analysis and Optimal Control of φ-Hilfer Fractional Semilinear Equations Involving Nonlocal Impulsive Conditions

Abstract

The goal of this paper is to consider a new class of $\phi$-Hilfer fractional differential equations with impulses and nonlocal conditions. By using fractional calculus, semigroup theory, and with the help of the fixed point theorem, the existence and uniqueness of mild solutions are obtained for the proposed fractional system. Symmetrically, we discuss the existence of optimal controls for the $\phi$-Hilfer fractional control system. Our main results are well supported by an illustrative example.

1. Introduction

In recent years, a lot of research attention has been paid to the study of fractional calculus, which is considered as a generalization of classical derivatives and integrals to non-integer order. Phenomena with memory and hereditary characteristics that arise in ecology, biology, medicine, electrical engineering, and mechanics, etc, may be well modelled by using fractional differential equations (FDEs for short). For more details on FDEs and its applications, see [1,2,3,4,5] and the references therein. In [6], Hilfer derived a new two-parameter fractional derivative ${\mathrm{D}}_{a^{+}}^{{\sigma }_1,{\sigma }_2}$ of order ${\sigma }_1$ and type ${\sigma }_2,$ which is called Hilfer fractional derivative that combines the Riemann-Liouville and Caputo fractional derivatives. This kind of parameter produces more types of stationary states and gives an extra degree of freedom on the initial conditions. Systems based on Hilfer fractional derivatives are considered by many authors, see [7,8,9,10,11] and the references therein. Recently, Sousa and Oliveira [12] introduced a new fractional derivative with respect to another $\phi$-function the so-called $\phi$-Hilfer fractional derivative, and discussed their properties as well as important results of the fractional calculus. For more recent works on $\phi$-Hilfer fractional derivative and its applications, we refer to [13,14,15,16,17] and the references therein.

Many real-world phenomena and processes which are subjected to external influences for a small time interval during their evolution can be represented as an impulsive differential equations. The impulsive differential equations have become the natural framework for modelling of many evolving processes and phenomena studied in the field of science and engineering such as in mechanical systems, biological systems, population dynamics, physics, economy, and control theory. Recently, based on the theory of semigroup and fixed point approach, many authors studied the qualitative properties of solutions for impulsive differential equations of order one and non-integer [18,19,20,21,22,23,24] and the references therein. The optimal control problem (OCP for short) plays a crucial role in biomedicine, for example, model cancer chemotherapy and recently applied to epidemiological models. When FDEs describe the system dynamics and the cost functional, an OCP reduces to a fractional optimal control problem. The fractional OCP refers to optimize the cost functional subject to dynamical constraints on the control parameter and state variables that having fractional models. For more recent works on OCP, see [25,26,27,28,29,30] and the references therein. Harrat et al. [31] investigated the existence of optimal controls for Hilfer fractional impulsive evolution inclusions with Clarke subdifferential. Moreover, optimal control problems for $\phi$-Hilfer fractional impulsive differential equations are rarely available in the literature which serves as a motivation to our research work in this paper.

Motivated by the above facts, we consider following $\phi$-Hilfer fractional impulsive differential system:

$$\left\{\begin{array}{c}{}^H{\mathrm{D}}_{{t_{\gamma }}^{+}}^{{\sigma }_1,{\sigma }_2:\phi }z\left(t\right)=\mathcal{A}z\left(t\right)+\Delta (t,z\left(t\right)),t\in (0,b]-\{t_1,t_2,\dots ,t_{\mathcal{H}}\},\hfill \\ I_{{t_{\gamma }}^{+}}^{(1-{\sigma }_1)(1-{\sigma }_2);\phi }z\left(t_{\gamma }^{+}\right)=z\left(t_{\gamma }^{-}\right)+{\mathcal{I}}_{\gamma }\left(z\left(t_{\gamma }^{-}\right)\right),\gamma =1,2,\dots ,\mathcal{H},\hfill \\ I_{0^{+}}^{(1-{\sigma }_1)(1-{\sigma }_2);\phi }{\left[z\left(t\right)\right]}_{t=0}+\mathcal{G}\left(z\right)=z_0,\hfill \end{array}\right.$$

(1)

where ${}^H{\mathrm{D}}_{{t_{\gamma }}^{+}}^{{\sigma }_1,{\sigma }_2;\phi }$ denotes the $\phi$-Hilfer fractional derivative of order $1/2<{\sigma }_1<1,0<{\sigma }_2<1$ and the state $z(·)$ takes values in a Hilbert space E and ${\mathcal{J}}_0=[0,b]$, $0=t_0<t_1<\cdots <t_{\mathcal{H}}<t_{\mathcal{H}+1}=b.$ $\mathcal{A}$ is the generator of a $C_0$-semigroup ${\left\{\mathcal{T}\left(t\right)\right\}}_{t\ge 0}$ on $E.$ As usual $z\left(t_{\gamma }^{+}\right)$ and $z\left(t_{\gamma }^{-}\right)$ are the right and left limits of z at the point $t_{\gamma }$, respectively. ${\mathcal{I}}_{\gamma }:E\to E$ are impulsive functions that characterize the jump of z at points $t_{\gamma }.$ The functions $\Delta :{\mathcal{J}}_0\times E\to E,$ $\mathcal{G}:C({\mathcal{J}}_0,E)\to E$ are some suitable functions that will be specified later.

The rest of the manuscript is organized as follows. In Section 2, we recall some important concepts and results. In Section 3 and Section 4, we derived the mild solution by using semigroup as well as probability density function and proved the existence of mild solutions for the proposed fractional system, receptively. In Section 5, we investigated the existence of optimal controls for the $\phi$-Hilfer fractional control system. Moreover, in Section 6, an example is presented to demonstrate the applicability of the obtained symmetry results.

2. Preliminaries

Let ${\mathcal{J}}_1=[a,b]$ and $\phi \in C^m({\mathcal{J}}_1,\mathbb{R})$ an increasing function such that ${\phi }^{\prime }\left(t\right)\ne 0,\forall t\in {\mathcal{J}}_1.$

Definition 1. 

The φ-Riemann fractional integral of order ${\sigma }_1>0$ of the function $\mathcal{R}$ is given by

$$I_{a^{+}}^{{\sigma }_1;\phi }\mathcal{R}\left(t\right)=\frac{1}{\Gamma \left({\sigma }_1\right)}{\int }_a^t{(\phi \left(t\right)-\phi \left(s\right))}^{{\sigma }_1-1}\mathcal{R}\left(s\right){\phi }^{\prime }\left(s\right)ds.$$

Definition 2. 

The φ-Riemann-Liouville fractional derivative of function $\mathcal{R}$ of order ${\sigma }_1(m-1<{\sigma }_1<m,m\in \mathbb{N}),$ is defined by

$$\begin{array}{c}{\mathrm{D}}_{a^{+}}^{{\sigma }_1;\phi }\mathcal{R}\left(t\right)={\left(\frac{1}{{\phi }^{\prime }\left(t\right)}\frac{d}{dt}\right)}^m{I}_{a^{+}}^{m-{\sigma }_1;\phi }\mathcal{R}\left(t\right)=\frac{{\left(\frac{1}{{\phi }^{\prime }\left(t\right)}\frac{d}{dt}\right)}^m}{\Gamma (m-{\sigma }_1)}{\int }_a^t{(\phi \left(t\right)-\phi \left(s\right))}^{m-{\sigma }_1-1}\mathcal{R}\left(s\right)ds,\hfill \end{array}$$

where $m=\left[{\sigma }_1\right]+1$.

Definition 3. 

The φ-Hilfer fractional derivative of function $\mathcal{R}$ of order ${\sigma }_1(m-1<{\sigma }_1<m$, $m\in \mathbb{N})$ and type $0\le {\sigma }_2\le 1,$ is defined by

$$\begin{array}{c}\hfill {}^H{\mathrm{D}}_{a^{+}}^{{\sigma }_1,{\sigma }_2;\phi }\mathcal{R}\left(t\right)=I_{a^{+}}^{{\sigma }_2(m-{\sigma }_1);\phi }{\left({\displaystyle \frac{1}{{\phi }^{\prime }\left(t\right)}}{\displaystyle \frac{d}{dt}}\right)}^m{I}_{a+}^{(1-{\sigma }_2)(m-{\sigma }_1);\phi }\mathcal{R}\left(t\right).\end{array}$$

The φ-Hilfer fractional derivative can be written as

$$\begin{array}{c}\hfill {}^H{\mathrm{D}}_{a^{+}}^{{\sigma }_1,{\sigma }_2;\phi }\mathcal{R}\left(t\right)=I_{a^{+}}^{\delta -{\sigma }_1;\phi }{\mathrm{D}}_{a^{+}}^{\delta ;\phi }\mathcal{R}\left(t\right),\end{array}$$

with $\delta =({\sigma }_1+{\sigma }_2(m-{\sigma }_1)).$

Lemma 1

([12]). If $\mathcal{R}\in {\mathcal{C}}^m[a,b],$ $m-1<{\sigma }_1<m$ and $0\le {\sigma }_2\le 1$, then

$$\begin{array}{c}\hfill I_{a+}^{{\sigma }_1;\phi }{}^H{\mathrm{D}}_{a^{+}}^{{\sigma }_1,{\sigma }_2;\phi }\mathcal{R}\left(t\right)=\mathcal{R}\left(t\right)-\sum _{k=1}^m\frac{{(\phi \left(t\right)-\phi \left(a\right))}^{\delta -k}}{\Gamma (\delta -k+1)}{\mathcal{R}}_{\phi }^{[m-k]}{I}_{a+}^{(1-{\sigma }_2)(m-{\sigma }_1);\phi }\mathcal{R}\left(a\right).\end{array}$$

Lemma 2

([12]). Let ${\sigma }_1>0$ and ${\sigma }_2>0$, then $I_{a^{+}}^{{\sigma }_1,\phi }{(\phi \left(t\right)-\phi \left(a\right))}^{{\sigma }_2-1}=\frac{\Gamma \left({\sigma }_2\right)}{\Gamma ({\sigma }_2+{\sigma }_1)}{(\phi \left(t\right)-\phi \left(a\right))}^{{\sigma }_2+{\sigma }_1-1}.$

Definition 4. 

Let $z,\phi :[c,\infty )\to \mathbb{R}$ be the functions such that $\phi \left(t\right)$ is continuous and ${\phi }^{\prime }\left(t\right)>0$ on $[0,\infty )$. Then the generalized Laplace transform of function $z\left(t\right)$ is given by

$$\begin{array}{c}\hfill {\displaystyle {\mathcal{L}}_{\phi }\left\{z\left(t\right)\right\}\left(s\right)={\int }_c^{\infty }{e}^{-s\left(\phi \right(t)-\phi (a\left)\right)}z\left(t\right){\phi }^{\prime }\left(t\right)dt,foralls.}\end{array}$$

For comprehensive details on $\phi$-Hilfer fractional derivative and its properties, we refer to papers [12,14,17].

Consider the weighted space [14] defined as

$$\begin{array}{c}\hfill {\mathcal{C}}_{1-\rho ;\phi }({\mathcal{J}}_0,E)=\{z:[0,b]\to E:{(\phi \left(t\right)-\phi \left(t_{\gamma }\right))}^{1-\rho }z\left(t\right)\in C({\mathcal{J}}_0,E)\}.\end{array}$$

Define the space of piecewise continuous functions as

$$\begin{array}{ccc}\hfill {\mathcal{PC}}_{1-\rho ;\phi }({\mathcal{J}}_0,E)& =& \{z:[0,b]\to E:z\in {\mathcal{C}}_{1-\rho ;\phi }((t_{\gamma },t_{\gamma +1}],E),\gamma =1,2,\dots ,\mathcal{H},I_{{t_{\gamma }}^{+}}^{(1-\rho );\phi }z\left(t_{\gamma }^{+}\right)\hfill \\ & & \mathrm{and}{I}_{{t_{\gamma }}^{+}}^{(1-\rho );\phi }z\left(t_{\gamma }^{-}\right)=I_{{t_{\gamma }}^{+}}^{(1-\rho );\phi }z\left(t_{\gamma }\right)\mathrm{exists}\mathrm{for}\gamma =1,2,\dots ,\mathcal{H},\rho ={\sigma }_1+{\sigma }_2-{\sigma }_2{\sigma }_1\}\hfill \end{array}$$

Clearly, $\mathcal{PC}\left(E\right)={\mathcal{PC}}_{1-\rho ;\phi }({\mathcal{J}}_0,E)$ is a Banach space with the norm

$$\begin{array}{c}\hfill {\parallel z\parallel }_{\mathcal{PC}}=\underset{\gamma =1,2,\dots ,\mathcal{H}}{max}\left\{\underset{t\in (t_{\gamma },t_{\gamma +1}]}{sup}∥{[\phi \left(t\right)-\phi \left(t_{\gamma }\right)]}^{1-\rho }z\left(t\right)∥\right\}.\end{array}$$

3. Representation of Mild Solution

Lemma 3.

To reduce the generalized form (1), we consider the linear φ-Hilfer fractional differential system:

$$\left\{\begin{array}{c}{}^H{\mathrm{D}}_{0^{+}}^{{\sigma }_1,{\sigma }_2:\phi }z\left(t\right)=\mathcal{A}z\left(t\right)+\Delta \left(t\right),t\in (0,b]\hfill \\ I_{0^{+}}^{(1-{\sigma }_1)(1-{\sigma }_2);\phi }{\left[z\left(t\right)\right]}_{t=0}=z_0,\hfill \end{array}\right.$$

(2)

has a mild solution, which is defined as

$$\begin{array}{ccc}\hfill z\left(t\right)& =& {\mathcal{S}}_{\phi }^{{\sigma }_1,{\sigma }_2}(t,0)z_0+{\int }_0^t{(\phi \left(t\right)-\phi \left(s\right))}^{{\sigma }_1-1}{\mathcal{T}}_{\phi }^{{\sigma }_1}(t,s)\Delta \left(s\right){\phi }^{\prime }\left(s\right)ds,\hfill \end{array}$$

(3)

where

$$\begin{array}{ccc}\hfill {\mathcal{P}}_{\phi }^{{\sigma }_1}(t,s)z& =& {\int }_0^{\infty }{\varphi }_{{\sigma }_1}\left(\theta \right)\mathcal{T}\left({(\phi \left(t\right)-\phi \left(s\right))}^{{\sigma }_1}\theta \right)zd\theta ,\hfill \\ \hfill {\mathcal{S}}_{\phi }^{{\sigma }_1,{\sigma }_2}(t,s)z& =& I_{a^{+}}^{(1-{\sigma }_1)({\sigma }_2-1);\phi }{\mathcal{P}}_{\phi }^{{\sigma }_1}(t,s)z,\hfill \\ \hfill {\mathcal{T}}_{\phi }^{{\sigma }_1}(t,s)z& =& {\sigma }_1{\int }_0^{\infty }\theta {\varphi }_{{\sigma }_1}\left(\theta \right)\mathcal{T}\left({(\phi \left(t\right)-\phi \left(s\right))}^{{\sigma }_1}\theta \right)zd\theta ,0\le s\le t\le b,\hfill \end{array}$$

with

$$\begin{array}{c}\hfill {\varphi }_{{\sigma }_1}\left(\theta \right)\ge 0for\theta \ge 0,{\int }_0^{\infty }{\varphi }_{{\sigma }_1}\left(\theta \right)d\theta =1,and{\int }_0^{\infty }\theta {\varphi }_{{\sigma }_1}\left(\theta \right)d\theta =\frac{1}{\Gamma (1+{\sigma }_1)}.\end{array}$$

Proof. 

Rewrite the problem (2) in the equivalent integral equation

$$\begin{array}{c}\hfill z\left(t\right)={\displaystyle \frac{{(\phi \left(t\right)-\phi \left(0\right))}^{(1-{\sigma }_1)({\sigma }_2-1)}}{\Gamma ({\sigma }_2(1-{\sigma }_1)+{\sigma }_1)}}{z}_0+{\displaystyle \frac{1}{\Gamma \left({\sigma }_1\right)}}{\int }_0^t{(\phi \left(t\right)-\phi \left(s\right))}^{{\sigma }_1-1}[\mathcal{A}z\left(s\right)+\Delta \left(s\right)]{\phi }^{\prime }\left(s\right)ds,\end{array}$$

(4)

provided that the integral in Equation (4) exists. Let $\beta >0.$ Applying the generalized Laplace transform

$$\begin{array}{c}\hfill Z\left(\beta \right)={\displaystyle \frac{1}{{\beta }^{{\sigma }_2(1-{\sigma }_1)+{\sigma }_1}}}{z}_0+{\displaystyle \frac{1}{{\beta }^{{\sigma }_1}}}\left(\mathcal{A}Z\left(\beta \right)+\widehat{\Delta }\left(\beta \right)\right),\end{array}$$

where

$$\begin{array}{ccc}\hfill Z\left(\beta \right)& =& {\int }_0^{\infty }{e}^{-\beta \left(\phi \right(\mu )-\phi (0\left)\right)}z\left(\mu \right){\phi }^{\prime }\left(\mu \right)d\mu ,\hfill \\ \hfill \widehat{\Delta }\left(\beta \right)& =& {\int }_0^{\infty }{e}^{-\beta \left(\phi \right(\mu )-\phi (0\left)\right)}\Delta \left(\mu \right){\phi }^{\prime }\left(\mu \right)d\mu .\hfill \end{array}$$

It follows that

$$\begin{array}{ccc}\hfill Z\left(\beta \right)& =& {\beta }^{{\sigma }_2({\sigma }_1-1)}{({\beta }^{{\sigma }_1}I-\mathcal{A})}^{-1}{z}_0+{({\beta }^{{\sigma }_1}I-\mathcal{A})}^{-1}\widehat{\Delta }\left(\beta \right)\hfill \\ & =& {\beta }^{{\sigma }_2({\sigma }_1-1)}{\int }_0^{\infty }{e}^{-{\beta }^{{\sigma }_1}s}\mathcal{T}\left(s\right)z_{0}ds+{\int }_0^{\infty }{e}^{-{\beta }^{{\sigma }_1}s}\mathcal{T}\left(s\right)\widehat{\Delta }\left(\beta \right)ds.\hfill \end{array}$$

Taking $s={\widehat{t}}^{{\sigma }_1}$, we obtain

$$\begin{array}{ccc}\hfill Z\left(\beta \right)& =& {\sigma }_1{\beta }^{({\sigma }_1-1)({\sigma }_2-1)}{\int }_0^{\infty }{\left(\beta \widehat{t}\right)}^{{\sigma }_1-1}{e}^{-{\left(\beta \widehat{t}\right)}^{{\sigma }_1}}\mathcal{T}\left({\widehat{t}}^{{\sigma }_1}\right)z_{0}d\widehat{t}+{\sigma }_1{\int }_0^{\infty }{\widehat{t}}^{{\sigma }_1-1}{e}^{-{\left(\beta \widehat{t}\right)}^{{\sigma }_1}}\mathcal{T}\left({\widehat{t}}^{{\sigma }_1}\right)\widehat{\Delta }\left(\beta \right)d\widehat{t}\hfill \\ & =& {\beta }^{({\sigma }_1-1)({\sigma }_2-1)}{I}_1+I_2,\hfill \end{array}$$

where

$$\begin{array}{ccc}\hfill I_1& =& {\sigma }_1{\int }_0^{\infty }{\left(\beta \widehat{t}\right)}^{{\sigma }_1-1}{e}^{-{\left(\beta \widehat{t}\right)}^{{\sigma }_1}}\mathcal{T}\left({\widehat{t}}^{{\sigma }_1}\right)z_{0}d\widehat{t},\hfill \\ \hfill I_2& =& {\sigma }_1{\int }_0^{\infty }{\widehat{t}}^{{\sigma }_1-1}{e}^{-{\left(\beta \widehat{t}\right)}^{{\sigma }_1}}\mathcal{T}\left({\widehat{t}}^{{\sigma }_1}\right)\widehat{\Delta }\left(\beta \right)d\widehat{t}.\hfill \end{array}$$

Taking $\widehat{t}=\phi \left(t\right)-\phi \left(0\right),$ we obtain

$$\begin{array}{ccc}\hfill I_1& =& {\sigma }_1{\int }_0^{\infty }{\beta }^{{\sigma }_1-1}{(\phi \left(t\right)-\phi \left(0\right))}^{{\sigma }_1-1}{e}^{-{\left(\beta (\phi \left(t\right)-\phi \left(0\right))\right)}^{{\sigma }_1}}\mathcal{T}\left({(\phi \left(t\right)-\phi \left(0\right))}^{{\sigma }_1}\right)z_0{\phi }^{\prime }\left(t\right)dt\hfill \\ & =& {\int }_0^{\infty }{\displaystyle \frac{-1}{\beta }}{\displaystyle \frac{d}{dt}}\left(e^{-{\left(\beta (\phi \left(t\right)-\phi \left(0\right))\right)}^{{\sigma }_1}}\right)\mathcal{T}\left({(\phi \left(t\right)-\phi \left(0\right))}^{{\sigma }_1}\right)z_{0}dt.\hfill \end{array}$$

$$\begin{array}{ccc}\hfill I_2& =& {\sigma }_1{\int }_0^{\infty }{(\phi \left(t\right)-\phi \left(0\right))}^{{\sigma }_1-1}{e}^{-{\left(\beta (\phi \left(t\right)-\phi \left(0\right))\right)}^{{\sigma }_1}}\mathcal{T}\left({(\phi \left(t\right)-\phi \left(0\right))}^{{\sigma }_1}\right)\widehat{\Delta }\left(\beta \right){\phi }^{\prime }\left(t\right)dt\hfill \\ & =& {\int }_0^{\infty }{\int }_0^{\infty }{\sigma }_1{(\phi \left(t\right)-\phi \left(0\right))}^{{\sigma }_1-1}{e}^{-{\left(\beta (\phi \left(t\right)-\phi \left(0\right))\right)}^{{\sigma }_1}}\mathcal{T}\left({(\phi \left(t\right)-\phi \left(0\right))}^{{\sigma }_1}\right)\hfill \\ & & \times e^{-\left(\beta \right(\phi \left(s\right)-\phi \left(0\right)\left)\right)}\Delta \left(s\right){\phi }^{\prime }\left(s\right){\phi }^{\prime }\left(t\right)dsdt.\hfill \end{array}$$

We consider the following one-sided stable probability density

$${\rho }_{{\sigma }_1}\left(\theta \right)=\frac{1}{\pi }\sum _{k=1}^{\infty }{(-1)}^{k-1}{\theta }^{-{\sigma }_{1}k-1}\frac{\Gamma ({\sigma }_{1}k+1)}{k!}sin\left(k\pi {\sigma }_1\right),\theta \in (0,\infty ),$$

whose integration is given by

$${\int }_0^{\infty }{e}^{-\beta \theta }{\rho }_{{\sigma }_1}\left(\theta \right)d\theta =e^{-{\beta }^{{\sigma }_1}},{\sigma }_1\in (0,1).$$

(5)

Using Equation (5), we obtain

$$\begin{array}{ccc}\hfill I_1& =& {\int }_0^{\infty }{\displaystyle \frac{-1}{\beta }}{\displaystyle \frac{d}{dt}}\left({\int }_0^{\infty }{e}^{-\left(\beta \right(\phi \left(t\right)-\phi \left(0\right)\left)\right)\theta }{\rho }_{{\sigma }_1}\left(\theta \right)d\theta \right)\mathcal{T}\left({(\phi \left(t\right)-\phi \left(0\right))}^{{\sigma }_1}\right)z_{0}dt\hfill \\ & =& {\int }_0^{\infty }{\int }_0^{\infty }\theta {\rho }_{{\sigma }_1}\left(\theta \right)e^{-\left(\beta \right(\phi \left(t\right)-\phi \left(0\right)\left)\right)\theta }\mathcal{T}\left({(\phi \left(t\right)-\phi \left(0\right))}^{{\sigma }_1}\right)z_0{\phi }^{\prime }\left(t\right)d\theta dt\hfill \\ & =& {\int }_0^{\infty }{e}^{-\left(\beta \right(\phi \left(t\right)-\phi \left(0\right)\left)\right)}\left({\int }_0^{\infty }{\rho }_{{\sigma }_1}\left(\theta \right)\mathcal{T}\left({\displaystyle \frac{{(\phi \left(t\right)-\phi \left(0\right))}^{{\sigma }_1}}{{\theta }^{{\sigma }_1}}}\right)d\theta \right)z_0{\phi }^{\prime }\left(t\right)dt.\hfill \end{array}$$

and

$$\begin{array}{ccc}\hfill I_2& =& {\int }_0^{\infty }{\int }_0^{\infty }{\int }_0^{\infty }{\sigma }_1{(\phi \left(t\right)-\phi \left(0\right))}^{{\sigma }_1-1}{\rho }_{{\sigma }_1}\left(\theta \right)e^{-\left(\beta \right(\phi \left(t\right)-\phi \left(0\right)\left)\right)\theta }\mathcal{T}\left({(\phi \left(t\right)-\phi \left(0\right))}^{{\sigma }_1}\right)e^{-\left(\beta \right(\phi \left(s\right)-\phi \left(0\right)\left)\right)}\hfill \\ & & \times \Delta \left(s\right){\phi }^{\prime }\left(s\right){\phi }^{\prime }\left(t\right)d\theta dsdt\hfill \\ & =& {\int }_0^{\infty }{\int }_0^{\infty }{\int }_0^{\infty }{\sigma }_1{e}^{-\left(\beta \right(\phi \left(t\right)+\phi \left(s\right)-2\phi \left(0\right)\left)\right)}{\displaystyle \frac{{(\phi \left(t\right)-\phi \left(0\right))}^{{\sigma }_1-1}}{{\theta }^{{\sigma }_1}}}{\rho }_{{\sigma }_1}\left(\theta \right)\mathcal{T}\left({\displaystyle \frac{{(\phi \left(t\right)-\phi \left(0\right))}^{{\sigma }_1}}{{\theta }^{{\sigma }_1}}}\right)\hfill \\ & & \times \Delta \left(s\right){\phi }^{\prime }\left(s\right){\phi }^{\prime }\left(t\right)d\theta dsdt\hfill \\ & =& {\int }_0^{\infty }{\int }_0^{\mu }{\int }_0^{\infty }{\sigma }_1{e}^{-\left(\beta \right(\phi \left(\mu \right)-\phi \left(0\right)\left)\right)}{\rho }_{{\sigma }_1}\left(\theta \right){\displaystyle \frac{{(\phi \left(t\right)-\phi \left(0\right))}^{{\sigma }_1-1}}{{\theta }^{{\sigma }_1}}}\mathcal{T}\left({\displaystyle \frac{{(\phi \left(t\right)-\phi \left(0\right))}^{{\sigma }_1}}{{\theta }^{{\sigma }_1}}}\right)\hfill \\ & & \times \Delta \left({\phi }^{-1}(\phi \left(\mu \right)-\phi \left(t\right)+\phi \left(0\right))\right)){\phi }^{\prime }\left(\mu \right){\phi }^{\prime }\left(t\right)d\theta dtd\mu \hfill \\ & =& {\int }_0^{\infty }{e}^{-\left(\beta \right(\phi \left(\mu \right)-\phi \left(0\right)\left)\right)}({\int }_0^{\mu }{\int }_0^{\infty }{\sigma }_1{\rho }_{{\sigma }_1}\left(\theta \right){\displaystyle \frac{{(\phi \left(\mu \right)-\phi \left(s\right))}^{{\sigma }_1-1}}{{\theta }^{{\sigma }_1}}}\mathcal{T}\left({\displaystyle \frac{{(\phi \left(\mu \right)-\phi \left(s\right))}^{{\sigma }_1}}{{\theta }^{{\sigma }_1}}}\right)\hfill \\ & & \times \Delta \left(s\right){\phi }^{\prime }\left(s\right)d\theta ds){\phi }^{\prime }\left(\mu \right)d\mu .\hfill \end{array}$$

Hence, we obtain

$$\begin{array}{ccc}\hfill Z\left(\beta \right)& =& {\beta }^{({\sigma }_1-1)({\sigma }_2-1)}{\int }_0^{\infty }{e}^{-\left(\beta \right(\phi \left(t\right)-\phi \left(0\right)\left)\right)}\left({\int }_0^{\infty }{\rho }_{{\sigma }_1}\left(\theta \right)\mathcal{T}\left({\displaystyle \frac{{\phi \left(t\right)-\phi \left(0\right))}^{{\sigma }_1}}{{\theta }^{{\sigma }_1}}}\right)z_{0}d\theta \right){\phi }^{\prime }\left(t\right)dt\hfill \\ & +& {\int }_0^{\infty }{e}^{-\left(\beta \right(\phi \left(\mu \right)-\phi \left(0\right)\left)\right)}({\int }_0^{\mu }{\int }_0^{\infty }{\sigma }_1{\rho }_{{\sigma }_1}\left(\theta \right){\displaystyle \frac{{(\phi \left(\mu \right)-\phi \left(s\right))}^{{\sigma }_1-1}}{{\theta }^{{\sigma }_1}}}\mathcal{T}\left({\displaystyle \frac{{(\phi \left(\mu \right)-\phi \left(s\right))}^{{\sigma }_1}}{{\theta }^{{\sigma }_1}}}\right)\hfill \\ & & \times \Delta \left(s\right){\phi }^{\prime }\left(s\right)d\theta ds){\phi }^{\prime }\left(\mu \right)d\mu .\hfill \end{array}$$

By using inverse Laplace transform, we obtain

$$\begin{array}{ccc}\hfill z\left(t\right)& =& I_{a^{+}}^{(1-{\sigma }_1)({\sigma }_2-1);\phi }{\int }_0^{\infty }{\rho }_{{\sigma }_1}\left(\theta \right)\mathcal{T}\left({\displaystyle \frac{{\phi \left(t\right)-\phi \left(0\right))}^{{\sigma }_1}}{{\theta }^{{\sigma }_1}}}\right)z_{0}d\theta \hfill \\ & +& {\int }_0^t{\int }_0^{\infty }{\sigma }_1{\rho }_{{\sigma }_1}\left(\theta \right){\displaystyle \frac{{(\phi \left(t\right)-\phi \left(s\right))}^{{\sigma }_1-1}}{{\theta }^{{\sigma }_1}}}\mathcal{T}\left({\displaystyle \frac{{(\phi \left(t\right)-\phi \left(s\right))}^{{\sigma }_1}}{{\theta }^{{\sigma }_1}}}\right)\Delta \left(s\right){\phi }^{\prime }\left(s\right)d\theta ds.\hfill \end{array}$$

Thus, we obtain

$$\begin{array}{ccc}\hfill z\left(t\right)& =& I_{a^{+}}^{(1-{\sigma }_1)({\sigma }_2-1);\phi }{\int }_0^{\infty }{\varphi }_{{\sigma }_1}\left(\theta \right)\mathcal{T}\left({\phi \left(t\right)-\phi \left(0\right))}^{{\sigma }_1}\theta \right)z_{0}d\theta \hfill \\ & +& {\sigma }_1{\int }_0^t{\int }_0^{\infty }\theta {\varphi }_{{\sigma }_1}\left(\theta \right){(\phi \left(t\right)-\phi \left(s\right))}^{{\sigma }_1-1}\mathcal{T}\left({(\phi \left(t\right)-\phi \left(s\right))}^{{\sigma }_1}\theta \right)\Delta \left(s\right){\phi }^{\prime }\left(s\right)d\theta ds,\hfill \end{array}$$

where ${\varphi }_{{\sigma }_1}\left(\theta \right)=\frac{1}{{\sigma }_1}{\theta }^{-1-\frac{1}{{\sigma }_1}}{\rho }_{{\sigma }_1}\left({\theta }^{-\frac{1}{{\sigma }_1}}\right)$ is the probability density function defined on $(0,\infty ).$ For any $z\in E,$ the operators ${\mathcal{S}}_{\phi }^{{\sigma }_1{\sigma }_2}(t,s)$ and ${\mathcal{T}}_{\phi }^{{\sigma }_1}(t,s)$ defined as

$$\begin{array}{ccc}\hfill {\mathcal{P}}_{\phi }^{{\sigma }_1}(t,s)z& =& {\int }_0^{\infty }{\varphi }_{{\sigma }_1}\left(\theta \right)\mathcal{T}\left({(\phi \left(t\right)-\phi \left(s\right))}^{{\sigma }_1}\theta \right)zd\theta ,\hfill \\ \hfill {\mathcal{S}}_{\phi }^{{\sigma }_1,{\sigma }_2}(t,s)z& =& I_{a^{+}}^{(1-{\sigma }_1)({\sigma }_2-1);\phi }{\mathcal{P}}_{\phi }^{{\sigma }_1}(t,s)z,\hfill \end{array}$$

and

$${\mathcal{T}}_{\phi }^{{\sigma }_1}(t,s)z={\sigma }_1{\int }_0^{\infty }\theta {\varphi }_{{\sigma }_1}\left(\theta \right)\mathcal{T}\left({(\phi \left(t\right)-\phi \left(s\right))}^{{\sigma }_1}\theta \right)zd\theta ,0\le s\le t\le b.$$

Hence, we obtain

$$\begin{array}{ccc}\hfill z\left(t\right)& =& {\mathcal{S}}_{\phi }^{{\sigma }_1,{\sigma }_2}(t,0)z_0+{\int }_0^t{(\phi \left(t\right)-\phi \left(s\right))}^{{\sigma }_1-1}{\mathcal{T}}_{\phi }^{{\sigma }_1}(t,s)\Delta \left(s\right){\phi }^{\prime }\left(s\right)ds.\hfill \end{array}$$

□

Remark 1. 

Let $\mathcal{A}$ be the generator of a $C_0$-semigroup ${\left\{\mathcal{T}\left(t\right)\right\}}_{t\ge 0}$ on $E.$ Then there exists $\mathcal{M}\ge 1$ such that $\mathcal{M}={sup}_{t\in [0,b]}\mathcal{T}\left(t\right)$

Lemma 4

([17,32]). The operators ${\mathcal{S}}_{\phi }^{{\sigma }_1,{\sigma }_2}$ and ${\mathcal{T}}_{\phi }^{{\sigma }_1}$ have the subsequent conditions

1. 

${\mathcal{S}}_{\phi }^{{\sigma }_1,{\sigma }_2}(t,s)$ and ${\mathcal{T}}_{\phi }^{{\sigma }_1}(t,s)$ are linear and bounded operators for any fixed $t\ge s\ge 0,$ and

$$\begin{array}{ccc}\hfill \parallel {\mathcal{S}}_{\phi }^{{\sigma }_1,{\sigma }_2}(t,s)\left(z\right)\parallel & \le & {\displaystyle \frac{\mathcal{M}{(\phi \left(b\right)-\phi \left(0\right))}^{(1-{\sigma }_1)({\sigma }_2-1)}}{\Gamma ({\sigma }_1+{\sigma }_2-{\sigma }_1{\sigma }_2)}}\parallel z\parallel ={\mathcal{M}}_1\parallel z\parallel ,\hfill \\ \hfill \parallel {\mathcal{T}}_{\phi }^{{\sigma }_1}(t,s)\left(z\right)\parallel & \le & \frac{{\sigma }_1\mathcal{M}}{\Gamma (1+{\sigma }_1)}\parallel z\parallel =\frac{\mathcal{M}}{\Gamma \left({\sigma }_1\right)}\parallel z\parallel ={\mathcal{M}}_2\parallel z\parallel .\hfill \end{array}$$

2. 

If $\mathcal{T}\left(t\right)$ is compact operator for all $t>0$, then ${\mathcal{S}}_{\phi }^{{\sigma }_1,{\sigma }_2}(t,s),$ ${\mathcal{T}}_{\phi }^{{\sigma }_1}(t,s)$ are compact for all $t,s>0$. Hence, ${\mathcal{S}}_{\phi }^{{\sigma }_1,{\sigma }_2}(t,s)$ and ${\mathcal{T}}_{\phi }^{{\sigma }_1}(t,s)$ are strongly continuous.

3. 

The operators ${\mathcal{S}}_{\phi }^{{\sigma }_1,{\sigma }_2}(t,s)$ and ${\mathcal{T}}_{\phi }^{{\sigma }_1}(t,s)$ are strongly continuous. For every $z\in E$ and $0\le s\le t_1<t_2\le b,$ we have

$$\begin{array}{c}\hfill \parallel {\mathcal{S}}_{\phi }^{{\sigma }_1,{\sigma }_2}(t_2,s)z-{\mathcal{S}}_{\phi }^{{\sigma }_1,{\sigma }_2}(t_1,s)z\parallel \to 0and\parallel {\mathcal{T}}_{\phi }^{{\sigma }_1}(t_2,s)z-{\mathcal{T}}_{\phi }^{{\sigma }_1}(t_1,s)z\parallel \to 0as{t}_1\to t_2.\end{array}$$

Definition 5. 

A function $z\in \mathcal{PC}\left(E\right)$ is called a mild solution of problem (1) if for every $t\in {\mathcal{J}}_0,$ $z\left(t\right)$ fulfills $I_{0^{+}}^{(1-{\sigma }_1)(1-{\sigma }_2);\phi }{\left[z\left(t\right)\right]}_{t=0}+\mathcal{G}\left(z\right)=z_0,$ $I_{{t_{\gamma }}^{+}}^{(1-{\sigma }_1)(1-{\sigma }_2);\phi }z\left(t_{\gamma }^{+}\right)=z\left(t_{\gamma }^{-}\right)+{\mathcal{I}}_{\gamma }\left(z\left(t_{\gamma }^{-}\right)\right),\gamma =1,2,\dots ,\mathcal{H},$ and

$$\begin{array}{c}\hfill z\left(t\right)={\mathcal{S}}_{\phi }^{{\sigma }_1,{\sigma }_2}(t,0)[z_0-\mathcal{G}\left(z\right)]+{\int }_0^t{(\phi \left(t\right)-\phi \left(s\right))}^{{\sigma }_1-1}{\mathcal{T}}_{\phi }^{{\sigma }_1}(t,s)\Delta (s,z\left(s\right)){\phi }^{\prime }\left(s\right)ds,\end{array}$$

for every $t\in [0,t_1]$ and

$$\begin{array}{c}\hfill z\left(t\right)={\mathcal{S}}_{\phi }^{{\sigma }_1,{\sigma }_2}(t,t_{\gamma })\left[z\left(t_{\gamma }^{-}\right)+{\mathcal{I}}_{\gamma }\left(z\left(t_{\gamma }^{-}\right)\right)\right]+{\int }_{t_{\gamma }}^t{(\phi \left(t\right)-\phi \left(s\right))}^{{\sigma }_1-1}{\mathcal{T}}_{\phi }^{{\sigma }_1}(t,s)\Delta (s,z\left(s\right)){\phi }^{\prime }\left(s\right)ds,\end{array}$$

for every $t\in (t_{\gamma },t_{\gamma +1}].$

4. Existence and Uniqueness

In this section, we prove the existence outcomes of the proposed system (1). Let us assume the following hypotheses

[X1]:

$\mathcal{T}\left(t\right)$ is compact for every $t>0$.

[X2]:

The function $\Delta :{\mathcal{J}}_0\times E\to E$ satisfies

(a)

For all $z\in E$, the function $t\to \Delta (t,z)$ is strongly measurable and the function $\Delta (t,·):E\to E$ is continuous for a.e $t\in {\mathcal{J}}_0.$

(b)

There exists a continuous function ${\widehat{\mathcal{K}}}_{\Delta }\in L^1({\mathcal{J}}_0,{\mathbb{R}}^{+})$ such that

$$\begin{array}{c}\hfill \parallel \Delta (t,z)\parallel \le {\widehat{\mathcal{K}}}_{\Delta }\left(t\right)\parallel z\parallel ,\forall (t,z)\in {\mathcal{J}}_0\times E,\end{array}$$

with ${\mathcal{K}}_{\Delta }={sup}_{t\in {\mathcal{J}}_0}{\widehat{\mathcal{K}}}_{\Delta }\left(t\right).$

[X3]:

The function $\mathcal{G}:C({\mathcal{J}}_0,E)\to E$ is Lipschitz continuous, i.e.; there exists a positive constant ${\widehat{\mathcal{K}}}_{\mathcal{G}}$ such that

$$\parallel \mathcal{G}\left(z_1\right)-\mathcal{G}\left(z_2\right)\parallel \le {\widehat{\mathcal{K}}}_{\mathcal{G}}\parallel z_1-z_2\parallel ,\forall z_1,z_2\in E.$$

[X4]:

For every $z,z_1,z_2\in E$ and all $t\in (t_{\gamma },t_{\gamma +1}],$ $\gamma =1,2,\dots ,\mathcal{H},$ there exist ${\mathcal{D}}_{\gamma },{\mathcal{K}}_{\gamma }>0,$ satisfies

$$\begin{array}{c}\hfill \parallel {\mathcal{I}}_{\gamma }\left(z\left(t_{\gamma }^{-}\right)\right)\parallel \le {\mathcal{K}}_{\gamma },\parallel {\mathcal{I}}_{\gamma }\left(z_1\left(t_{\gamma }^{-}\right)\right)-{\mathcal{I}}_{\gamma }\left(z_2\left(t_{\gamma }^{-}\right)\right)\parallel \le {\mathcal{D}}_{\gamma }\parallel z_1\left(t_{\gamma }^{-}\right)-z_2\left(t_{\gamma }^{-}\right)\parallel .\end{array}$$

[X5]:

The following inequalities hold

$$\widehat{\mathcal{O}}=\underset{1\le \gamma \le \mathcal{H}}{max}\left[{\mathcal{M}}_1{\widehat{\mathcal{K}}}_{\mathcal{G}},{\mathcal{M}}_1(1+{\mathcal{D}}_{\gamma })\right]<1.$$

[X6]:

There exists a constant ${\widehat{\mathcal{R}}}_{\Delta }>0$ such that

$$\begin{array}{c}\hfill \parallel \Delta (t,z_1)-\Delta (t,z_2)\parallel \le {\widehat{\mathcal{R}}}_{\Delta }\parallel z_1-z_2\parallel ,\forall z_1,z_2\in E.\end{array}$$

Theorem 1. 

Suppose the hypotheses [X1]–[X5] are fulfilled. If

$$\begin{array}{c}\hfill {\mathcal{M}}_1{\widehat{\mathcal{K}}}_{\mathcal{G}}+{\mathcal{M}}_2{\mathcal{K}}_{\Delta }{\displaystyle \frac{\Gamma \left({\sigma }_1\right)\Gamma \left(\rho \right)}{\Gamma (\rho +{\sigma }_1)}}{(\phi \left(b\right)-\phi \left(0\right))}^{{\sigma }_1}<1,\end{array}$$

(6)

then φ-fractional system (1) has at least one mild solution on ${\mathcal{J}}_0.$

Proof. 

For any $\pi >0$, we define

$$\begin{array}{c}\hfill {\Omega }_{\pi }=\left\{z\in {\mathcal{PC}\left(E\right):\parallel z\parallel }_{\mathcal{PC}}\le \pi \right\}.\end{array}$$

Clearly, ${\Omega }_{\pi }$ is closed convex and bounded subset of $\mathcal{PC}\left(E\right)$. Define an operator $\Pi :{\Omega }_{\pi }\to \mathcal{PC}\left(E\right)$ by

$$(\Pi z)\left(t\right)=\left\{\begin{array}{c}{\mathcal{S}}_{\phi }^{{\sigma }_1,{\sigma }_2}(t,0)[z_0-\mathcal{G}\left(z\right)]\hfill \\ +{\int }_0^t{(\phi \left(t\right)-\phi \left(s\right))}^{{\sigma }_1-1}{\mathcal{T}}_{\phi }^{{\sigma }_1}(t,s)\Delta (s,z\left(s\right)){\phi }^{\prime }\left(s\right)ds,\hfill & t\in [0,t_1],\gamma =0,\hfill \\ {\mathcal{S}}_{\phi }^{{\sigma }_1,{\sigma }_2}(t,t_{\gamma })\left[z\left(t_{\gamma }^{-}\right)+{\mathcal{I}}_{\gamma }\left(z\left(t_{\gamma }^{-}\right)\right)\right]\hfill \\ +{\int }_{t_{\gamma }}^t{(\phi \left(t\right)-\phi \left(s\right))}^{{\sigma }_1-1}{\mathcal{T}}_{\phi }^{{\sigma }_1}(t,s)\Delta (s,z\left(s\right)){\phi }^{\prime }\left(s\right)ds,\hfill & t\in (t_{\gamma },t_{\gamma +1}],\gamma \ge 1.\hfill \end{array}\right.$$

Now, we split $\Pi$ as ${\Pi }_1+{\Pi }_2$, where

$$\left({\Pi }_{1}z\right)\left(t\right)=\left\{\begin{array}{cc}{\mathcal{S}}_{\phi }^{{\sigma }_1,{\sigma }_2}(t,0)[z_0-\mathcal{G}\left(z\right)],\hfill & t\in [0,t_1],\gamma =0,\hfill \\ {\mathcal{S}}_{\phi }^{{\sigma }_1,{\sigma }_2}(t,t_{\gamma })\left[z\left(t_{\gamma }^{-}\right)+{\mathcal{I}}_{\gamma }\left(z\left(t_{\gamma }^{-}\right)\right)\right],\hfill & t\in (t_{\gamma },t_{\gamma +1}],\gamma \ge 1,\hfill \end{array}\right.$$

and

$$\left({\Pi }_{2}z\right)\left(t\right)=\left\{\begin{array}{cc}{\int }_0^t{(\phi \left(t\right)-\phi \left(s\right))}^{{\sigma }_1-1}{\mathcal{T}}_{\phi }^{{\sigma }_1}(t,s)\Delta (s,z\left(s\right)){\phi }^{\prime }\left(s\right)ds,\hfill & t\in [0,t_1],\gamma =0,\hfill \\ {\int }_{t_{\gamma }}^t{(\phi \left(t\right)-\phi \left(s\right))}^{{\sigma }_1-1}{\mathcal{T}}_{\phi }^{{\sigma }_1}(t,s)\Delta (s,z\left(s\right)){\phi }^{\prime }\left(s\right)ds,\hfill & t\in (t_{\gamma },t_{\gamma +1}],\gamma \ge 1.\hfill \end{array}\right.$$

Step 1. There exists $\pi >0$ such that $\Pi \left({\Omega }_{\pi }\right)\subset {\Omega }_{\pi }$. If we assume that the assertion is not true, then for $\pi >0$, we take $t\in {\mathcal{J}}_0$ and $z^{\pi }\in {\Omega }_{\pi }$ such that $\parallel \Pi \left(z^{\pi }\right){\parallel }_{\mathcal{PC}}>\pi$. For $t\in [0,t_1],$ we obtain

$$\begin{array}{ccc}\hfill \pi <{∥\Pi \left(z^{\pi }\right)∥}_{\mathcal{PC}}& \le & ∥{(\phi \left(t\right)-\phi \left(0\right))}^{1-\rho }{\mathcal{S}}_{\phi }^{{\sigma }_1,{\sigma }_2}(t,0)[z_0-\mathcal{G}\left(z^{\pi }\right)]∥\hfill \\ & +& ∥{(\phi \left(t\right)-\phi \left(0\right))}^{1-\rho }{\int }_0^t{(\phi \left(t\right)-\phi \left(s\right))}^{{\sigma }_1-1}{\mathcal{T}}_{\phi }^{{\sigma }_1}(t,s)\Delta (s,z^{\pi }\left(s\right)){\phi }^{\prime }\left(s\right)ds∥\hfill \\ & \le & {\mathcal{M}}_1\left[\parallel z_0{\parallel }_{\mathcal{PC}}+{\widehat{\mathcal{K}}}_{\mathcal{G}}\pi +{\parallel \mathcal{G}\left(0\right)\parallel }_{\mathcal{PC}}\right]\hfill \\ & +& {\mathcal{M}}_2{\mathcal{K}}_{\Delta }{(\phi \left(t_1\right)-\phi \left(0\right))}^{1-\rho }{\int }_0^t{(\phi \left(t\right)-\phi \left(s\right))}^{{\sigma }_1-1}\parallel z^{\pi }\left(s\right)\parallel {\phi }^{\prime }\left(s\right)ds\hfill \\ & \le & {\mathcal{M}}_1\left[\parallel z_0{\parallel }_{\mathcal{PC}}+{\widehat{\mathcal{K}}}_{\mathcal{G}}\pi +{\parallel \mathcal{G}\left(0\right)\parallel }_{\mathcal{PC}}\right]\hfill \\ & +& \pi {\mathcal{M}}_2{\mathcal{K}}_{\Delta }{(\phi \left(t_1\right)-\phi \left(0\right))}^{1-\rho }{\int }_0^t{(\phi \left(t\right)-\phi \left(s\right))}^{{\sigma }_1-1}{(\phi \left(s\right)-\phi \left(0\right))}^{\rho -1}{\phi }^{\prime }\left(s\right)ds\hfill \\ & \le & {\mathcal{M}}_1\left[\parallel z_0{\parallel }_{\mathcal{PC}}+{\widehat{\mathcal{K}}}_{\mathcal{G}}\pi +{\parallel \mathcal{G}\left(0\right)\parallel }_{\mathcal{PC}}\right]\hfill \\ & +& \pi {\mathcal{M}}_2{\mathcal{K}}_{\Delta }{(\phi \left(t_1\right)-\phi \left(0\right))}^{1-\rho }\Gamma \left({\sigma }_1\right)I_{0^{+}}^{{\sigma }_1:\phi }{(\phi \left(s\right)-\phi \left(0\right))}^{\rho -1}\hfill \\ & \le & {\mathcal{M}}_1\left[\parallel z_0{\parallel }_{\mathcal{PC}}+{\widehat{\mathcal{K}}}_{\mathcal{G}}\pi +{\parallel \mathcal{G}\left(0\right)\parallel }_{\mathcal{PC}}\right]\hfill \\ & +& \pi {\mathcal{M}}_2{\mathcal{K}}_{\Delta }{(\phi \left(t_1\right)-\phi \left(0\right))}^{1-\rho }{\displaystyle \frac{\Gamma \left({\sigma }_1\right)\Gamma \left(\rho \right)}{\Gamma (\rho +{\sigma }_1)}}{(\phi \left(t_1\right)-\phi \left(0\right))}^{\rho +{\sigma }_1-1}\hfill \\ & \le & {\mathcal{M}}_1\left[\parallel z_0{\parallel }_{\mathcal{PC}}+{\widehat{\mathcal{K}}}_{\mathcal{G}}\pi +{\parallel \mathcal{G}\left(0\right)\parallel }_{\mathcal{PC}}\right]\hfill \\ & +& \pi {\mathcal{M}}_2{\mathcal{K}}_{\Delta }{\displaystyle \frac{\Gamma \left({\sigma }_1\right)\Gamma \left(\rho \right)}{\Gamma (\rho +{\sigma }_1)}}{(\phi \left(t_1\right)-\phi \left(0\right))}^{{\sigma }_1}.\hfill \end{array}$$

For every $t\in (t_{\gamma },t_{\gamma +1}],\gamma =1,2\dots ,\mathcal{H},$ we obtain

$$\begin{array}{ccc}\hfill \pi <{∥\Pi \left(z^{\pi }\right)∥}_{\mathcal{PC}}& \le & ∥{(\phi \left(t\right)-\phi \left(t_{\gamma }\right))}^{1-\rho }{\mathcal{S}}_{\phi }^{{\sigma }_1,{\sigma }_2}(t,t_{\gamma })\left[z^{\pi }\left(t_{\gamma }^{-}\right)+{\mathcal{I}}_{\gamma }\left(z^{\pi }\left(t_{\gamma }^{-}\right)\right)\right]∥\hfill \\ & +& ∥{(\phi \left(t\right)-\phi \left(t_{\gamma }\right))}^{1-\rho }{\int }_{t_{\gamma }}^t{(\phi \left(t\right)-\phi \left(s\right))}^{{\sigma }_1-1}{\mathcal{T}}_{\phi }^{{\sigma }_1}(t,s)\Delta (s,z^{\pi }\left(s\right)){\phi }^{\prime }\left(s\right)ds∥\hfill \\ & \le & {\mathcal{M}}_1\left[\parallel z^{\pi }\left(t_{\gamma }^{-}\right){\parallel }_{\mathcal{PC}}+{(\phi \left(t_{\gamma +1}\right)-\phi \left(t_{\gamma }\right))}^{1-\rho }{\mathcal{K}}_{\gamma }\right]\hfill \\ & +& {\mathcal{M}}_2{\mathcal{K}}_{\Delta }{(\phi \left(t_{\gamma +1}\right)-\phi \left(t_{\gamma }\right))}^{1-\rho }{\int }_{t_{\gamma }}^t{(\phi \left(t\right)-\phi \left(s\right))}^{{\sigma }_1-1}\parallel z^{\pi }\left(s\right)\parallel {\phi }^{\prime }\left(s\right)ds\hfill \\ & \le & {\mathcal{M}}_1\left[\parallel z^{\pi }\left(t_{\gamma }^{-}\right){\parallel }_{\mathcal{PC}}+{(\phi \left(t_{\gamma +1}\right)-\phi \left(t_{\gamma }\right))}^{1-\rho }{\mathcal{K}}_{\gamma }\right]\hfill \\ & +& \pi {\mathcal{M}}_2{\mathcal{K}}_{\Delta }{(\phi \left(t_{\gamma +1}\right)-\phi \left(t_{\gamma }\right))}^{1-\rho }{\int }_{t_{\gamma }}^t{(\phi \left(t\right)-\phi \left(s\right))}^{{\sigma }_1-1}{(\phi \left(s\right)-\phi \left(t_{\gamma }\right))}^{\rho -1}{\phi }^{\prime }\left(s\right)ds\hfill \\ \hfill & \le & {\mathcal{M}}_1\left[\parallel z^{\pi }\left(t_{\gamma }^{-}\right){\parallel }_{\mathcal{PC}}+{(\phi \left(t_{\gamma +1}\right)-\phi \left(t_{\gamma }\right))}^{1-\rho }{\mathcal{K}}_{\gamma }\right]\hfill \\ & +& \pi {\mathcal{M}}_2{\mathcal{K}}_{\Delta }{(\phi \left(t_{\gamma +1}\right)-\phi \left(t_{\gamma }\right))}^{1-\rho }\Gamma \left({\sigma }_1\right)I_{t_{\gamma }^{+}}^{{\sigma }_1:\phi }{(\phi \left(s\right)-\phi \left(t_{\gamma }\right))}^{\rho -1}\hfill \\ & \le & {\mathcal{M}}_1\left[\parallel z^{\pi }\left(t_{\gamma }^{-}\right){\parallel }_{\mathcal{PC}}+{(\phi \left(t_{\gamma +1}\right)-\phi \left(t_{\gamma }\right))}^{1-\rho }{\mathcal{K}}_{\gamma }\right]\hfill \\ & +& \pi {\mathcal{M}}_2{\mathcal{K}}_{\Delta }{(\phi \left(t_{\gamma +1}\right)-\phi \left(t_{\gamma }\right))}^{1-\rho }{\displaystyle \frac{\Gamma \left({\sigma }_1\right)\Gamma \left(\rho \right)}{\Gamma (\rho +{\sigma }_1)}}{(\phi \left(t_{\gamma +1}\right)-\phi \left(t_{\gamma }\right))}^{\rho +{\sigma }_1-1}\hfill \\ & \le & {\mathcal{M}}_1\left[\parallel z^{\pi }\left(t_{\gamma }^{-}\right){\parallel }_{\mathcal{PC}}+{(\phi \left(t_{\gamma +1}\right)-\phi \left(t_{\gamma }\right))}^{1-\rho }{\mathcal{K}}_{\gamma }\right]\hfill \\ & +& \pi {\mathcal{M}}_2{\mathcal{K}}_{\Delta }{\displaystyle \frac{\Gamma \left({\sigma }_1\right)\Gamma \left(\rho \right)}{\Gamma (\rho +{\sigma }_1)}}{(\phi \left(t_{\gamma +1}\right)-\phi \left(t_{\gamma }\right))}^{{\sigma }_1}.\hfill \end{array}$$

For every $t\in {\mathcal{J}}_0,$ we obtain

$$\begin{array}{c}\hfill \pi <{∥\Pi \left(z^{\pi }\right)∥}_{\mathcal{PC}}\le {\mathcal{W}}^{*}+{\mathcal{M}}_1{\widehat{\mathcal{K}}}_{\mathcal{G}}\pi +\pi {\mathcal{M}}_2{\mathcal{K}}_{\Delta }{\displaystyle \frac{\Gamma \left({\sigma }_1\right)\Gamma \left(\rho \right)}{\Gamma (\rho +{\sigma }_1)}}{(\phi \left(b\right)-\phi \left(0\right))}^{{\sigma }_1},\end{array}$$

(7)

where

$$\begin{array}{c}\hfill {\mathcal{W}}^{*}=\underset{1\le \gamma \le \mathcal{H}}{max}\left\{{\mathcal{M}}_1\left[\parallel z_0{\parallel }_{\mathcal{PC}}+{\parallel \mathcal{G}\left(0\right)\parallel }_{\mathcal{PC}}\right]+{\mathcal{M}}_1\left[\parallel z^{\pi }\left(t_{\gamma }^{-}\right){\parallel }_{\mathcal{PC}}+{(\phi \left(t_{\gamma +1}\right)-\phi \left(t_{\gamma }\right))}^{1-\rho }{\mathcal{K}}_{\gamma }\right]\right\}.\end{array}$$

Here, ${\mathcal{W}}^{*}$ is independent of $\pi ,$ both sides of Equation (7) are dividing by $\pi$ and taking $\pi \to \infty$, we obtain

$$\begin{array}{c}\hfill 1<{\mathcal{M}}_1{\widehat{\mathcal{K}}}_{\mathcal{G}}+{\mathcal{M}}_2{\mathcal{K}}_{\Delta }{\displaystyle \frac{\Gamma \left({\sigma }_1\right)\Gamma \left(\rho \right)}{\Gamma (\rho +{\sigma }_1)}}{(\phi \left(b\right)-\phi \left(0\right))}^{{\sigma }_1},\end{array}$$

which contradicts to Equation (6). Hence, for some $\pi >0,$ $\Pi \left({\Omega }_{\pi }\right)\subset {\Omega }_{\pi }$.

Step 2. We will prove that ${\Pi }_1$ is a contraction map.

For $z^{*},z^{**}\in {\Omega }_{\pi },$ if $t\in [0,t_1],$ then we obtain

$$\begin{array}{ccc}\hfill \parallel {\Pi }_1{z}^{*}-{\Pi }_1{z}^{**}{\parallel }_{\mathcal{PC}}& =& {\parallel (\phi \left(t\right)-\phi \left(0\right))}^{1-\rho }{\mathcal{S}}_{\phi }^{{\sigma }_1,{\sigma }_2}(t,0)[\mathcal{G}\left(z^{*}\right)-\mathcal{G}\left(z^{**}\right)]\parallel \hfill \\ & \le & {\mathcal{M}}_1{\widehat{\mathcal{K}}}_{\mathcal{G}}{\parallel z^{*}-z^{**}\parallel }_{\mathcal{PC}}.\hfill \end{array}$$

(8)

Similarly, if $t\in (t_{\gamma },t_{\gamma +1}]$, $\gamma =1,2,\dots ,\mathcal{H},$ then we get

$$\begin{array}{ccc}\hfill \parallel {\Pi }_1{z}^{*}-{\Pi }_1{z}^{**}{\parallel }_{\mathcal{PC}}& =& \parallel {(\phi \left(t\right)-\phi \left(t_{\gamma }\right))}^{1-\rho }{\mathcal{S}}_{\phi }^{{\sigma }_1,{\sigma }_2}(t,t_{\gamma })[z^{*}\left(t_{\gamma }^{-}\right)-z^{**}\left(t_{\gamma }^{-}\right)]\parallel \hfill \\ & +& \parallel {(\phi \left(t\right)-\phi \left(t_{\gamma }\right))}^{1-\rho }{\mathcal{S}}_{\phi }^{{\sigma }_1,{\sigma }_2}(t,t_{\gamma })[{\mathcal{I}}_{\gamma }\left(z^{*}\left(t_{\gamma }^{-}\right)\right)-{\mathcal{I}}_{\gamma }\left(z^{**}\left(t_{\gamma }^{-}\right)\right)]\parallel \hfill \\ & \le & {\mathcal{M}}_1(1+{\mathcal{D}}_{\gamma }){\parallel z^{*}-z^{**}\parallel }_{\mathcal{PC}}.\hfill \end{array}$$

(9)

From Equations (8) and (9), we obtain

$$\begin{array}{c}\hfill \parallel {\Pi }_1{z}^{*}-{\Pi }_1{z}^{**}{\parallel }_{\mathcal{PC}}\le \widehat{\mathcal{O}}{\parallel z^{*}-z^{**}\parallel }_{\mathcal{PC}},\end{array}$$

where $\widehat{\mathcal{O}}={max}_{1\le \gamma \le \mathcal{H}}\left[{\mathcal{M}}_1{\widehat{\mathcal{K}}}_{\mathcal{G}},{\mathcal{M}}_1(1+{\mathcal{D}}_{\gamma })\right].$ By [X5], we see that $\widehat{\mathcal{O}}<1.$ Hence, ${\Pi }_1$ is a contraction mapping.

Step 3. We will prove that ${\Pi }_2:{\Omega }_{\pi }\to {\Omega }_{\pi }$ is continuous.

Let $\left\{z_k\right\}\subset {\Omega }_{\pi }$ with $z_k\to z$ as $k\to \infty$. By [X2], we obtain

$$\Delta (t,z_k)\to \Delta (t,z)ask\to \infty ,$$

and

$$\parallel \Delta (t,z_k\left(t\right))-\Delta (t,z\left(t\right))\parallel \le 2{\widehat{\mathcal{K}}}_{\Delta }\left(t\right)\pi .$$

For every $t\in (t_{\gamma },t_{\gamma +1}],\gamma =0,1,\dots ,\mathcal{H},$ we obtain

$$\begin{array}{ccc}\hfill {∥{\Pi }_2\left(z_k\right)-{\Pi }_2\left(z\right)∥}_{\mathcal{PC}}& \le & \parallel {(\phi \left(t\right)-\phi \left(t_{\gamma }\right))}^{1-\rho }{\int }_{t_{\gamma }}^t{(\phi \left(t\right)-\phi \left(s\right))}^{{\sigma }_1-1}{\mathcal{T}}_{\phi }^{{\sigma }_1}(t,s)\hfill \\ & \times & [\Delta (s,z_k\left(s\right))-\Delta (s,z\left(s\right))]{\phi }^{\prime }\left(s\right)ds\parallel \hfill \\ & \le & {\mathcal{M}}_2{(\phi \left(t_{\gamma +1}\right)-\phi \left(t_{\gamma }\right))}^{1-\rho }\hfill \\ & \times & {\int }_{t_{\gamma }}^t{(\phi \left(t\right)-\phi \left(s\right))}^{{\sigma }_1-1}\parallel \Delta (s,z_k\left(s\right))-\Delta (s,z\left(s\right))\parallel {\phi }^{\prime }\left(s\right)ds.\hfill \end{array}$$

By the Lebesgue dominated convergence theorem, we obtain

$$\begin{array}{c}\hfill {∥{\Pi }_2\left(z_k\right)-{\Pi }_2\left(z\right)∥}_{\mathcal{PC}}\to 0ask\to \infty .\end{array}$$

Hence, ${\Pi }_2$ is continuous.

Step 4. We prove that $\{{\Pi }_{2}z:z\in {\Omega }_{\pi }\}$ is equicontinuous.

Let ${\kappa }_1,{\kappa }_2\in (t_{\gamma },t_{\gamma +1}],$ with $t_{\gamma }<{\kappa }_1<{\kappa }_2\le t_{\gamma +1},$ then we obtain for every $t\in (t_{\gamma },t_{\gamma +1}]$, $\gamma =0,1,\dots ,\mathcal{H},$

$$\begin{array}{ccc}\hfill & & \parallel {(\phi \left({\kappa }_2\right)-\phi \left(t_{\gamma }\right))}^{1-\rho }\left({\Pi }_{2}z\right)\left({\kappa }_2\right)-{(\phi \left({\kappa }_1\right)-\phi \left(t_{\gamma }\right))}^{1-\rho }\left({\Pi }_{2}z\right)\left({\kappa }_1\right)\parallel \hfill \\ & & \le {\int }_{t_{\gamma }}^{{\kappa }_1}\parallel {(\phi \left({\kappa }_2\right)-\phi \left(t_{\gamma }\right))}^{1-\rho }{(\phi \left({\kappa }_2\right)-\phi \left(s\right))}^{{\sigma }_1-1}{\mathcal{T}}_{\phi }^{{\sigma }_1}({\kappa }_2,s)\hfill \\ & & -{(\phi \left({\kappa }_1\right)-\phi \left(t_{\gamma }\right))}^{1-\rho }{(\phi \left({\kappa }_1\right)-\phi \left(s\right))}^{{\sigma }_1-1}{\mathcal{T}}_{\phi }^{{\sigma }_1}({\kappa }_1,s)\parallel \parallel \Delta (s,z\left(s\right))\parallel {\phi }^{\prime }\left(s\right)ds\hfill \\ & & +{\int }_{{\kappa }_1}^{{\kappa }_2}\parallel {(\phi \left({\kappa }_2\right)-\phi \left(t_{\gamma }\right))}^{1-\rho }{(\phi \left({\kappa }_2\right)-\phi \left(s\right))}^{{\sigma }_1-1}{\mathcal{T}}_{\phi }^{{\sigma }_1}({\kappa }_2,s)\parallel \parallel \Delta (s,z\left(s\right))\parallel {\phi }^{\prime }\left(s\right)ds.\hfill \end{array}$$

(10)

As ${\kappa }_2\to {\kappa }_1,$ the right-hand side of Equation (10) tends to zero. Thus, the equicontinuity of $\{{\Pi }_{2}z:z\in {\Omega }_{\pi }\}$ is obtained.

Step 5. We prove that $\delta \left(t\right)=\{\left({\Pi }_{2}z\right)\left(t\right):z\in {\Omega }_{\pi }\}$ is relatively compact in $E.$

Obviously, $\delta \left(0\right)=\left\{0\right\}$ is relatively compact. Let $t\in (t_{\gamma },t_{\gamma +1}]$ be fixed, $0<ϵ<t,$ and $ϵ$ is real number. For $z\in {\Omega }_{\pi }$, we define

$$\left({\Pi }_2^{ϵ}z\right)\left(t\right)=\left\{\begin{array}{cc}{\int }_0^{t-ϵ}{(\phi \left(t\right)-\phi \left(s\right))}^{{\sigma }_1-1}{\mathcal{T}}_{\phi }^{{\sigma }_1}(t,s)\Delta (s,z\left(s\right)){\phi }^{\prime }\left(s\right)ds,\hfill & t\in [0,t_1],\gamma =0,\hfill \\ {\int }_{t_{\gamma }}^{t-ϵ}{(\phi \left(t\right)-\phi \left(s\right))}^{{\sigma }_1-1}{\mathcal{T}}_{\phi }^{{\sigma }_1}(t,s)\Delta (s,z\left(s\right)){\phi }^{\prime }\left(s\right)ds,\hfill & t\in (t_{\gamma },t_{\gamma +1}],\gamma \ge 1.\hfill \end{array}\right.$$

By [X1], we obtain ${\delta }^{ϵ}\left(t\right)=\{\left({\Pi }^{ϵ}z\right)\left(t\right):z\in {\Omega }_{\pi }\}$ is relatively compact in $E.$ for every $z\in {\Omega }_{\pi },$ we get

$$\begin{array}{ccc}\hfill \parallel {(\phi \left(t\right)-\phi \left(t_{\gamma }\right))}^{1-\rho }[\left({\Pi }_{2}z\right)\left(t\right)-\left({\Pi }_2^{ϵ}z\right)\left(t\right)]\parallel & \le & \pi {\mathcal{M}}_2{\mathcal{K}}_{\Delta }{(\phi \left(t_{\gamma +1}\right)-\phi \left(t_{\gamma }\right))}^{1-\rho }\hfill \\ & \times & {\int }_{t-ϵ}^t{(\phi \left(t\right)-\phi \left(s\right))}^{{\sigma }_1-1}{(\phi \left(s\right)-\phi \left(t_{\gamma }\right))}^{\rho -1}{\phi }^{\prime }\left(s\right)ds\hfill \\ & \to & 0asϵ\to 0.\hfill \end{array}$$

Then $\delta \left(t\right)$ is relatively compact in $E.$ By steps 3–5 and Arzela-Ascoli theorem, ${\Pi }_2$ is completely continuous. Hence, by the fixed point theorem of Krasnoselskii’s [33], there exists at least one mild solution on ${\mathcal{J}}_0.$ □

Theorem 2. 

Suppose the hypotheses [X1]–[X6] are fulfilled. Then φ-fractional system (1) has a unique mild solution on ${\mathcal{J}}_0.$

Proof. 

Let $z_1$ and $z_2$ be the mild solutions of the $\phi$-fractional system (1) in ${\Omega }_{\pi }.$ Then, for each $k\in \{1,2\},$ the mild solutions $z_k$ satisfies

$$(\Pi z_k)\left(t\right)=\left\{\begin{array}{c}{\mathcal{S}}_{\phi }^{{\sigma }_1,{\sigma }_2}(t,0)[z_0-\mathcal{G}\left(z_k\right)]\hfill \\ +{\int }_0^t{(\phi \left(t\right)-\phi \left(s\right))}^{{\sigma }_1-1}{\mathcal{T}}_{\phi }^{{\sigma }_1}(t,s)\Delta (s,z_k\left(s\right)){\phi }^{\prime }\left(s\right)ds,\hfill & t\in [0,t_1],\gamma =0,\hfill \\ {\mathcal{S}}_{\phi }^{{\sigma }_1,{\sigma }_2}(t,t_{\gamma })\left[z_k\left(t_{\gamma }^{-}\right)+{\mathcal{I}}_{\gamma }\left(z_k\left(t_{\gamma }^{-}\right)\right)\right]\hfill \\ +{\int }_{t_{\gamma }}^t{(\phi \left(t\right)-\phi \left(s\right))}^{{\sigma }_1-1}{\mathcal{T}}_{\phi }^{{\sigma }_1}(t,s)\Delta (s,z_k\left(s\right)){\phi }^{\prime }\left(s\right)ds,\hfill & t\in (t_{\gamma },t_{\gamma +1}],\gamma \ge 1.\hfill \end{array}\right.$$

For every $t\in [0,t_1],\gamma =0,$ we obtain

$$\begin{array}{ccc}\hfill {\parallel (\phi \left(t\right)-\phi \left(0\right))}^{1-\rho }[z_1\left(t\right)-z_2\left(t\right)]\parallel & =& {\parallel (\phi \left(t\right)-\phi \left(0\right))}^{1-\rho }[(\Pi z_1)\left(t\right)-(\Pi z_2)\left(t\right)]\parallel \hfill \\ & \le & {\mathcal{M}}_1{\widehat{\mathcal{K}}}_{\mathcal{G}}\parallel {(\phi \left(t\right)-\phi \left(0\right))}^{1-\rho }[z_1\left(t\right)-z_2\left(t\right)]\parallel \hfill \\ & +& {\mathcal{M}}_2{\widehat{\mathcal{R}}}_{\Delta }{(\phi \left(t_1\right)-\phi \left(0\right))}^{1-\rho }{\int }_0^t{(\phi \left(t\right)-\phi \left(s\right))}^{{\sigma }_1-1}\hfill \\ & \times & {(\phi \left(s\right)-\phi \left(0\right))}^{\rho -1}\parallel {(\phi \left(s\right)-\phi \left(0\right))}^{1-\rho }[z_1\left(s\right)-z_2\left(s\right)]\parallel {\phi }^{\prime }\left(s\right)ds\hfill \\ & \le & {\mathcal{M}}_1{\widehat{\mathcal{K}}}_{\mathcal{G}}\parallel {(\phi \left(t\right)-\phi \left(0\right))}^{1-\rho }[z_1\left(t\right)-z_2\left(t\right)]\parallel \hfill \\ & +& {\mathcal{M}}_2{\widehat{\mathcal{R}}}_{\Delta }{K}_0^{*}{(\phi \left(t_1\right)-\phi \left(0\right))}^{1-\rho }{\int }_0^t{(\phi \left(t\right)-\phi \left(s\right))}^{{\sigma }_1-1}\hfill \\ & \times & {\parallel (\phi \left(s\right)-\phi \left(0\right))}^{1-\rho }[z_1\left(s\right)-z_2\left(s\right)]\parallel {\phi }^{\prime }\left(s\right)ds,\hfill \end{array}$$

where $K_0^{*}={sup}_{0\le s\le t_1}{(\phi \left(s\right)-\phi \left(0\right))}^{\rho -1}.$

Then we obtain

$$\begin{array}{ccc}\hfill {\parallel (\phi \left(t\right)-\phi \left(0\right))}^{1-\rho }[z_1\left(t\right)-z_2\left(t\right)]\parallel & \le & {\displaystyle \frac{{\mathcal{M}}_2{\widehat{\mathcal{R}}}_{\Delta }{K}_0^{*}{(\phi \left(t_1\right)-\phi \left(0\right))}^{1-\rho }}{(1-{\mathcal{M}}_1{\widehat{\mathcal{K}}}_{\mathcal{G}})}}{\int }_0^t{(\phi \left(t\right)-\phi \left(s\right))}^{{\sigma }_1-1}\hfill \\ & \times & {\parallel (\phi \left(s\right)-\phi \left(0\right))}^{1-\rho }[z_1\left(s\right)-z_2\left(s\right)]\parallel {\phi }^{\prime }\left(s\right)ds,\hfill \end{array}$$

where ${\mathcal{M}}_1{\widehat{\mathcal{K}}}_{\mathcal{G}}<1.$

For every $t\in (t_{\gamma },t_{\gamma +1}],\gamma =1,2,\dots ,\mathcal{H},$ we get

$$\begin{array}{ccc}\hfill \parallel {(\phi \left(t\right)-\phi \left(t_{\gamma }\right))}^{1-\rho }[z_1\left(t\right)-z_2\left(t\right)]\parallel & =& \parallel {(\phi \left(t\right)-\phi \left(t_{\gamma }\right))}^{1-\rho }[(\Pi z_1)\left(t\right)-(\Pi z_2)\left(t\right)]\parallel \hfill \\ & \le & {\mathcal{M}}_1(1+{\mathcal{D}}_{\gamma })\parallel {(\phi \left(t\right)-\phi \left(t_{\gamma }\right))}^{1-\rho }[z_1\left(t_{\gamma }^{-}\right)-z_2\left(t_{\gamma }^{-}\right)]\parallel \hfill \\ & +& {\mathcal{M}}_2{\widehat{\mathcal{R}}}_{\Delta }{(\phi \left(t_{\gamma +1}\right)-\phi \left(t_{\gamma }\right))}^{1-\rho }{\int }_{t_{\gamma }}^t{(\phi \left(t\right)-\phi \left(s\right))}^{{\sigma }_1-1}\hfill \\ & \times & {(\phi \left(s\right)-\phi \left(t_{\gamma }\right))}^{\rho -1}\parallel {(\phi \left(s\right)-\phi \left(t_{\gamma }\right))}^{1-\rho }[z_1\left(s\right)-z_2\left(s\right)]\parallel {\phi }^{\prime }\left(s\right)ds\hfill \\ & \le & {\mathcal{M}}_1(1+{\mathcal{D}}_{\gamma })\parallel {(\phi \left(t\right)-\phi \left(t_{\gamma }\right))}^{1-\rho }[z_1\left(t_{\gamma }^{-}\right)-z_2\left(t_{\gamma }^{-}\right)]\parallel \hfill \\ & +& {\mathcal{M}}_2{\widehat{\mathcal{R}}}_{\Delta }{K}_{\gamma }^{*}{(\phi \left(t_{\gamma +1}\right)-\phi \left(t_{\gamma }\right))}^{1-\rho }{\int }_{t_{\gamma }}^t{(\phi \left(t\right)-\phi \left(s\right))}^{{\sigma }_1-1}\hfill \\ & \times & \parallel {(\phi \left(s\right)-\phi \left(t_{\gamma }\right))}^{1-\rho }[z_1\left(s\right)-z_2\left(s\right)]\parallel {\phi }^{\prime }\left(s\right)ds,\hfill \end{array}$$

where $K_{\gamma }^{*}={sup}_{t_{\gamma }\le s\le t_{\gamma +1}}{(\phi \left(s\right)-\phi \left(0\right))}^{\rho -1},\gamma =1,2,\dots ,\mathcal{H}.$

Then we obtain

$$\begin{array}{ccc}\hfill \parallel {(\phi \left(t\right)-\phi \left(t_{\gamma }\right))}^{1-\rho }[z_1\left(t\right)-z_2\left(t\right)]\parallel & \le & {\displaystyle \frac{{\mathcal{M}}_2{\widehat{\mathcal{R}}}_{\Delta }{K}_{\gamma }^{*}{(\phi \left(t_{\gamma +1}\right)-\phi \left(t_{\gamma }\right))}^{1-\rho }}{(1-{\mathcal{M}}_1(1+{\mathcal{D}}_{\gamma }))}}{\int }_{t_{\gamma }}^t{(\phi \left(t\right)-\phi \left(s\right))}^{{\sigma }_1-1}\hfill \\ & \times & \parallel {(\phi \left(s\right)-\phi \left(t_{\gamma }\right))}^{1-\rho }[z_1\left(s\right)-z_2\left(s\right)]\parallel {\phi }^{\prime }\left(s\right)ds,\hfill \end{array}$$

where ${\mathcal{M}}_1(1+{\mathcal{D}}_{\gamma })<1.$

By using the Gronwall’s inequality (Theorem 2.11, [17]), we get

$$\begin{array}{c}\hfill \parallel z_1-z_2{\parallel }_{\mathcal{PC}}=0,\end{array}$$

which implies that $z_1\equiv z_2.$ Therefore, $\phi$-fractional system (1) has a unique mild solution on ${\mathcal{J}}_0.$ □

5. Existence of Optimal Controls

Let v takes the value in the separable reflexive Banach space $\mathcal{T}$ and ${\mathcal{V}}_f\left(\mathcal{T}\right)$ is a class of subsets of $\mathcal{T},$ which is nonempty convex and closed. The multifunction $g:\mathcal{J}\to {\mathcal{V}}_f\left(\mathcal{T}\right)$ is measurable and $g(·)\subset △,$ the admissible control set

$${\mathcal{U}}_{ad}=\{v\in L^2(△):v\left(t\right)\in g\left(t\right)a.e.\},$$

where △ is a bounded set of $\mathcal{T}.$ Then ${\mathcal{U}}_{ad}\ne \varphi .$

Consider following $\phi$-Hilfer fractional impulsive differential control system:

$$\left\{\begin{array}{c}{}^H{\mathrm{D}}_{{t_{\gamma }}^{+}}^{{\sigma }_1,{\sigma }_2:\phi }z\left(t\right)=\mathcal{A}z\left(t\right)+\mathcal{D}v\left(t\right)+\Delta (t,z\left(t\right)),t\in (0,b]-\{t_1,t_2,\dots ,t_{\mathcal{H}}\},\hfill \\ I_{{t_{\gamma }}^{+}}^{(1-{\sigma }_1)(1-{\sigma }_2);\phi }z\left(t_{\gamma }^{+}\right)=z\left(t_{\gamma }^{-}\right)+{\mathcal{I}}_{\gamma }\left(z\left(t_{\gamma }^{-}\right)\right),\gamma =1,2,\dots ,\mathcal{H},\hfill \\ I_{0^{+}}^{(1-{\sigma }_1)(1-{\sigma }_2);\phi }{\left[z\left(t\right)\right]}_{t=0}+\mathcal{G}\left(z\right)=z_0.\hfill \end{array}\right.$$

(11)

Let us assume the following hypotheses

[X7]:

$\mathcal{D}\in L^{\infty }({\mathcal{J}}_0,L(\mathcal{T},E)),$ that implies that $\mathcal{D}v\in L^2({\mathcal{J}}_0,E)$ for $v\in {\mathcal{U}}_{ad}.$

[X8]:

${\mathcal{K}}_{*}={sup}_{t\in {\mathcal{J}}_0}{\phi }^{\prime }\left(t\right)<\infty .$

Theorem 3. 

Suppose the hypotheses of Theorem 2 and [X7]–[X8] are fulfilled. Then for each $v\in {\mathcal{U}}_{ad},$φ-fractional system (11) has a mild solution which is given by

$$z^v\left(t\right)=\left\{\begin{array}{c}{\mathcal{S}}_{\phi }^{{\sigma }_1,{\sigma }_2}(t,0)[z_0-\mathcal{G}\left(z\right)]\hfill \\ +{\int }_0^t{(\phi \left(t\right)-\phi \left(s\right))}^{{\sigma }_1-1}{\mathcal{T}}_{\phi }^{{\sigma }_1}(t,s)[\mathcal{D}v\left(s\right)+\Delta (s,z\left(s\right))]{\phi }^{\prime }\left(s\right)ds,\hfill & t\in [0,t_1],\gamma =0,\hfill \\ {\mathcal{S}}_{\phi }^{{\sigma }_1,{\sigma }_2}(t,t_{\gamma })\left[z\left(t_{\gamma }^{-}\right)+{\mathcal{I}}_{\gamma }\left(z\left(t_{\gamma }^{-}\right)\right)\right]\hfill \\ +{\int }_{t_{\gamma }}^t{(\phi \left(t\right)-\phi \left(s\right))}^{{\sigma }_1-1}{\mathcal{T}}_{\phi }^{{\sigma }_1}(t,s)[\mathcal{D}v\left(s\right)+\Delta (s,z\left(s\right))]{\phi }^{\prime }\left(s\right)ds,\hfill & t\in (t_{\gamma },t_{\gamma +1}],\gamma \ge 1.\hfill \end{array}\right.$$

Proof. 

Let us consider

$$\begin{array}{c}\hfill \mathcal{H}\left(t\right)={\int }_{t_{\gamma }}^t{(\phi \left(t\right)-\phi \left(s\right))}^{{\sigma }_1-1}{\mathcal{T}}_{\phi }^{{\sigma }_1}(t,s)\mathcal{D}v\left(s\right){\phi }^{\prime }\left(s\right)ds.\end{array}$$

By H$\ddot{o}$ lder’s inequality and [X7], we get

$$\begin{array}{ccc}\hfill \parallel {(\phi \left(t\right)-\phi \left(t_{\gamma }\right))}^{1-\rho }\mathcal{H}\left(t\right)\parallel & \le & {\mathcal{M}}_2{\parallel \mathcal{D}\parallel }_{\infty }{(\phi \left(t_{\gamma +1}\right)-\phi \left(t_{\gamma }\right))}^{1-\rho }{\int }_{t_{\gamma }}^t{(\phi \left(t\right)-\phi \left(s\right))}^{{\sigma }_1-1}{\parallel v\left(s\right)\parallel }_{\mathcal{T}}{\phi }^{\prime }\left(s\right)ds\hfill \\ & \le & {\mathcal{M}}_2{\parallel \mathcal{D}\parallel }_{\infty }{(\phi \left(t_{\gamma +1}\right)-\phi \left(t_{\gamma }\right))}^{1-\rho }\hfill \\ & \times & {\left({\int }_{t_{\gamma }}^t{(\phi \left(t\right)-\phi \left(s\right))}^{2({\sigma }_1-1)}{\phi }^{\prime }\left(s\right)ds\right)}^{1/2}{\left({\int }_{t_{\gamma }}^t{\parallel v\left(s\right)\parallel }_{\mathcal{T}}^2{\phi }^{\prime }\left(s\right)ds\right)}^{1/2}\hfill \\ & \le & {\displaystyle \frac{{\mathcal{M}}_2{\parallel \mathcal{D}\parallel }_{\infty }{(\phi \left(t_{\gamma +1}\right)-\phi \left(t_{\gamma }\right))}^{{\sigma }_1-\rho +(1/2)}}{{(2{\sigma }_1-1)}^{1/2}}}{\left({\int }_{t_{\gamma }}^t{\parallel v\left(s\right)\parallel }_{\mathcal{T}}^2{\phi }^{\prime }\left(s\right)ds\right)}^{1/2}\hfill \\ & \le & {\displaystyle \frac{{\mathcal{M}}_2{\mathcal{K}}_{*}^{1/2}{\parallel \mathcal{D}\parallel }_{\infty }{(\phi \left(t_{\gamma +1}\right)-\phi \left(t_{\gamma }\right))}^{{\sigma }_1-\rho +(1/2)}}{{(2{\sigma }_1-1)}^{1/2}}}{\parallel v\parallel }_{L^2({\mathcal{J}}_0,\mathcal{T})}.\hfill \end{array}$$

It follows that ${(\phi \left(t\right)-\phi \left(s\right))}^{{\sigma }_1-1}{\mathcal{T}}_{\phi }^{{\sigma }_1}(t,s)\mathcal{D}v\left(s\right){\phi }^{\prime }\left(s\right)ds$ are integrable on ${\mathcal{J}}_0,$ here, ${\parallel \mathcal{D}\parallel }_{\infty }$ is the norm of $\mathcal{D}$ in Banach space $L^{\infty }({\mathcal{J}}_0,L(\mathcal{T},E)).$ Hence, $\mathcal{H}(·)\in {\Omega }_{\pi }.$ Using Theorem 2, we get the required results. □

We consider the Lagrange problem

$$\left(\mathcal{LP}\right)\left\{\begin{array}{cc}\hfill & \mathrm{Find}(z^{*},v^{*})\in \mathcal{PC}\left(E\right)\times {\mathcal{U}}_{ad}\hfill \\ \hfill & \mathrm{such}\mathrm{that}\mathcal{J}(z^{*},v^{*})\le \mathcal{J}(z^v,v),(z^v,v)\in \mathcal{PC}\left(E\right)\times {\mathcal{U}}_{ad},\hfill \end{array}\right.$$

where the cost functional is

$$\begin{array}{c}\hfill \mathcal{J}(z^v,v)=\sum _{\gamma =0}^{\mathcal{H}}{\int }_{t_{\gamma }}^{t_{\gamma +1}}\mathcal{L}(t,z^v\left(t\right),v\left(t\right))dt,\end{array}$$

where $z^v$ be the mild solution of (11) with respect to control $v\in {\mathcal{U}}_{ad}.$

Next, we assume

[X9]:

1. The functional $\mathcal{L}:{\mathcal{J}}_0\times E\times \mathcal{T}\to \mathbb{R}\cup \{\infty \}$ is Borel measurable.

2.

For almost all $t\in {\mathcal{J}}_0,$ $\mathcal{L}(t,·,·)$ is sequentially lower semicontinuous on $E\times \mathcal{T}.$

3.

For each $z^v\in E$ and almost all $t\in {\mathcal{J}}_0,$ $\mathcal{L}(t,z^v,·)$ is convex on $\mathcal{T}.$

4.

There exist constants $d_1\ge 0,d_2>0,$ $\varphi$ is non-negative function in $L^1({\mathcal{J}}_0,\mathbb{R})$ such that

$$\mathcal{L}(t,z^v,v)\ge \varphi \left(t\right)+d_1\parallel z^v\parallel +d_2{\parallel v\parallel }_{\mathcal{T}}^2.$$

[X10]:

$\mathcal{D}$ is a strongly continuous operator.

Theorem 4. 

If the assumptions [X1]–[X10] are fulfilled, then the problem $\left(\mathcal{LP}\right)$ admits at least one optimal pair.

Proof. 

Assume that $inf\left\{\mathcal{J}(z^v,v):v\in {\mathcal{U}}_{ad}\right\}=ϵ<+\infty$. By using [X9], we obtain $ϵ>-\infty$. By definition of infimum there exists a minimizing sequence feasible pair $(z^k,v^k)\subset {\mathcal{P}}_{ad}$, where ${\mathcal{P}}_{ad}=\left\{(z^v,v):z^v\mathrm{is}\mathrm{a}\mathrm{solution}\mathrm{of}\left(11\right)\mathrm{with}\mathrm{respect}\mathrm{to}v\in {\mathcal{U}}_{ad}\right\}$ such that $\mathcal{J}(z^k,v^k)\to ϵ$ as $k\to +\infty .$ Since $v^k\subseteq {\mathcal{U}}_{ad},$ $v^k$ is bounded in $L^2({\mathcal{J}}_0,\mathcal{T}),$ there exists a subsequence which is still represented by $v^k$ and $v^{*}\in L^2({\mathcal{J}}_0,\mathcal{T})$ such that

$$v^k\stackrel{\mathrm{w}}{⟶}{v}^{*}$$

in $L^2({\mathcal{J}}_0,\mathcal{T}).$ Since ${\mathcal{U}}_{ad}$ is convex and closed, by using Marzur Lemma, we get $v^{*}\in {\mathcal{U}}_{ad}$. Let $z^k$ and $z^{*}$ be the mild solution of system (11) with respect to $v^k$ and $v^{*},$ respectively

$$z^k\left(t\right)=\left\{\begin{array}{c}{\mathcal{S}}_{\phi }^{{\sigma }_1,{\sigma }_2}(t,0)[z_0-\mathcal{G}\left(z^k\right)]\hfill \\ +{\int }_0^t{(\phi \left(t\right)-\phi \left(s\right))}^{{\sigma }_1-1}{\mathcal{T}}_{\phi }^{{\sigma }_1}(t,s)[\mathcal{D}{v}^k\left(s\right)+\Delta (s,z^k\left(s\right))]{\phi }^{\prime }\left(s\right)ds,\hfill & t\in [0,t_1],\gamma =0,\hfill \\ {\mathcal{S}}_{\phi }^{{\sigma }_1,{\sigma }_2}(t,t_{\gamma })\left[z^k\left(t_{\gamma }^{-}\right)+{\mathcal{I}}_{\gamma }\left(z^k\left(t_{\gamma }^{-}\right)\right)\right]\hfill \\ +{\int }_{t_{\gamma }}^t{(\phi \left(t\right)-\phi \left(s\right))}^{{\sigma }_1-1}{\mathcal{T}}_{\phi }^{{\sigma }_1}(t,s)[\mathcal{D}{v}^k\left(s\right)+\Delta (s,z^k\left(s\right))]{\phi }^{\prime }\left(s\right)ds,\hfill & t\in (t_{\gamma },t_{\gamma +1}],\gamma \ge 1,\hfill \end{array}\right.$$

and

$$z^{*}\left(t\right)=\left\{\begin{array}{c}{\mathcal{S}}_{\phi }^{{\sigma }_1,{\sigma }_2}(t,0)[z_0-\mathcal{G}\left(z^{*}\right)]\hfill \\ +{\int }_0^t{(\phi \left(t\right)-\phi \left(s\right))}^{{\sigma }_1-1}{\mathcal{T}}_{\phi }^{{\sigma }_1}(t,s)[\mathcal{D}{v}^{*}\left(s\right)+\Delta (s,z^{*}\left(s\right))]{\phi }^{\prime }\left(s\right)ds,\hfill & t\in [0,t_1],\gamma =0,\hfill \\ {\mathcal{S}}_{\phi }^{{\sigma }_1,{\sigma }_2}(t,t_{\gamma })\left[z^{*}\left(t_{\gamma }^{-}\right)+{\mathcal{I}}_{\gamma }\left(z^{*}\left(t_{\gamma }^{-}\right)\right)\right]\hfill \\ +{\int }_{t_{\gamma }}^t{(\phi \left(t\right)-\phi \left(s\right))}^{{\sigma }_1-1}{\mathcal{T}}_{\phi }^{{\sigma }_1}(t,s)[\mathcal{D}{v}^{*}\left(s\right)+\Delta (s,z^{*}\left(s\right))]{\phi }^{\prime }\left(s\right)ds,\hfill & t\in (t_{\gamma },t_{\gamma +1}],\gamma \ge 1.\hfill \end{array}\right.$$

It follows from the boundedness of $\left\{v^k\right\},\left\{v^{*}\right\}$ and Theorem 2, we obtain there exists a constant $\mathsf{\Theta }>0$ such that $\parallel z^k{\parallel }_{\infty },{\parallel z^{*}\parallel }_{\infty }\le \mathsf{\Theta }$.

For every $t\in [0,t_1],\gamma =0,$ we get

$$\begin{array}{ccc}\hfill {\parallel (\phi \left(t\right)-\phi \left(0\right))}^{1-\rho }[z^k\left(t\right)-z^{*}\left(t\right)]\parallel & \le & {\mathcal{M}}_1{\widehat{\mathcal{K}}}_{\mathcal{G}}\parallel {(\phi \left(t\right)-\phi \left(0\right))}^{1-\rho }[z^k\left(t\right)-z^{*}\left(t\right)]\parallel \hfill \\ & +& {\mathcal{M}}_2{\widehat{\mathcal{R}}}_{\Delta }{(\phi \left(t_1\right)-\phi \left(0\right))}^{1-\rho }{\int }_0^t{(\phi \left(t\right)-\phi \left(s\right))}^{{\sigma }_1-1}\hfill \\ & \times & {(\phi \left(s\right)-\phi \left(0\right))}^{\rho -1}\parallel {(\phi \left(s\right)-\phi \left(0\right))}^{1-\rho }[z^k\left(s\right)-z^{*}\left(s\right)]\parallel {\phi }^{\prime }\left(s\right)ds\hfill \\ & +& {\mathcal{M}}_2{(\phi \left(t_1\right)-\phi \left(0\right))}^{1-\rho }{\int }_0^t{(\phi \left(t\right)-\phi \left(s\right))}^{{\sigma }_1-1}\hfill \\ & \times & \parallel \mathcal{D}{v}^k\left(s\right)-\mathcal{D}{v}^{*}{\left(s\right)\parallel }_{L^2({\mathcal{J}}_0,E)}{\phi }^{\prime }\left(s\right)ds\hfill \\ & \le & {\mathcal{M}}_1{\widehat{\mathcal{K}}}_{\mathcal{G}}\parallel {(\phi \left(t\right)-\phi \left(0\right))}^{1-\rho }[z^k\left(t\right)-z^{*}\left(t\right)]\parallel \hfill \\ & +& {\mathcal{M}}_2{\widehat{\mathcal{R}}}_{\Delta }{(\phi \left(t_1\right)-\phi \left(0\right))}^{1-\rho }{\int }_0^t{(\phi \left(t\right)-\phi \left(s\right))}^{{\sigma }_1-1}\hfill \\ & \times & {(\phi \left(s\right)-\phi \left(0\right))}^{\rho -1}\parallel {(\phi \left(s\right)-\phi \left(0\right))}^{1-\rho }[z^k\left(s\right)-z^{*}\left(s\right)]\parallel {\phi }^{\prime }\left(s\right)ds\hfill \\ & +& {\displaystyle \frac{{\mathcal{M}}_2{\mathcal{K}}_{*}^{1/2}{(\phi \left(t_1\right)-\phi \left(0\right))}^{{\sigma }_1-\rho +(1/2)}}{{(2{\sigma }_1-1)}^{1/2}}}{\parallel \mathcal{D}{v}^k-\mathcal{D}{v}^{*}\parallel }_{L^2({\mathcal{J}}_0,E)}.\hfill \end{array}$$

For every $t\in (t_{\gamma },t_{\gamma +1}],\gamma =1,2,\dots ,\mathcal{H},$ we get

$$\begin{array}{ccc}\hfill \parallel {(\phi \left(t\right)-\phi \left(t_{\gamma }\right))}^{1-\rho }[z^k\left(t\right)-z^{*}\left(t\right)]\parallel & \le & {\mathcal{M}}_1(1+{\mathcal{D}}_{\gamma })\parallel {(\phi \left(t\right)-\phi \left(t_{\gamma }\right))}^{1-\rho }[z^k\left(t_{\gamma }^{-}\right)-z^{*}\left(t_{\gamma }^{-}\right)]\parallel \hfill \\ & +& {\mathcal{M}}_2{\widehat{\mathcal{R}}}_{\Delta }{(\phi \left(t_{\gamma +1}\right)-\phi \left(t_{\gamma }\right))}^{1-\rho }{\int }_{t_{\gamma }}^t{(\phi \left(t\right)-\phi \left(s\right))}^{{\sigma }_1-1}\hfill \\ & \times & {(\phi \left(s\right)-\phi \left(t_{\gamma }\right))}^{\rho -1}\parallel {(\phi \left(s\right)-\phi \left(t_{\gamma }\right))}^{1-\rho }[z^k\left(s\right)-z^{*}\left(s\right)]\parallel {\phi }^{\prime }\left(s\right)ds\hfill \\ & +& {\mathcal{M}}_2{(\phi \left(t_{\gamma +1}\right)-\phi \left(t_{\gamma }\right))}^{1-\rho }{\int }_{t_{\gamma }}^t{(\phi \left(t\right)-\phi \left(s\right))}^{{\sigma }_1-1}\hfill \\ & \times & \parallel \mathcal{D}{v}^k\left(s\right)-\mathcal{D}{v}^{*}{\left(s\right)\parallel }_{L^2({\mathcal{J}}_0,E)}{\phi }^{\prime }\left(s\right)ds\hfill \\ & \le & {\mathcal{M}}_1(1+{\mathcal{D}}_{\gamma })\parallel {(\phi \left(t\right)-\phi \left(t_{\gamma }\right))}^{1-\rho }[z^k\left(t_{\gamma }^{-}\right)-z^{*}\left(t_{\gamma }^{-}\right)]\parallel \hfill \\ & +& {\mathcal{M}}_2{\widehat{\mathcal{R}}}_{\Delta }{(\phi \left(t_{\gamma +1}\right)-\phi \left(t_{\gamma }\right))}^{1-\rho }{\int }_{t_{\gamma }}^t{(\phi \left(t\right)-\phi \left(s\right))}^{{\sigma }_1-1}\hfill \\ & \times & {(\phi \left(s\right)-\phi \left(0\right))}^{\rho -1}\parallel {(\phi \left(s\right)-\phi \left(t_{\gamma }\right))}^{1-\rho }[z^k\left(s\right)-z^{*}\left(s\right)]\parallel {\phi }^{\prime }\left(s\right)ds\hfill \\ & +& {\displaystyle \frac{{\mathcal{M}}_2{\mathcal{K}}_{*}^{1/2}{(\phi \left(t_{\gamma +1}\right)-\phi \left(t_{\gamma }\right))}^{{\sigma }_1-\rho +(1/2)}}{{(2{\sigma }_1-1)}^{1/2}}}{\parallel \mathcal{D}{v}^k-\mathcal{D}{v}^{*}\parallel }_{L^2({\mathcal{J}}_0,E)}.\hfill \end{array}$$

For every $t\in {\mathcal{J}}_0,$ we obtain

$$\begin{array}{ccc}\hfill \parallel z^k-z^{*}{\parallel }_{\mathcal{PC}}& \le & {\mathcal{M}}_1(1+{\mathcal{D}}_{\gamma })\parallel z^k-z^{*}{\parallel }_{\mathcal{PC}}+{\mathcal{M}}_1{\widehat{\mathcal{K}}}_{\mathcal{G}}{\parallel z^k-z^{*}\parallel }_{\mathcal{PC}}\hfill \\ & +& {\mathcal{M}}_2{\widehat{\mathcal{R}}}_{\Delta }{\displaystyle \frac{\Gamma \left({\sigma }_1\right)\Gamma \left(\rho \right)}{\Gamma (\rho +{\sigma }_1)}}{(\phi \left(b\right)-\phi \left(0\right))}^{{\sigma }_1}{\parallel z^k-z^{*}\parallel }_{\mathcal{PC}}\hfill \\ & +& {\displaystyle \frac{{\mathcal{M}}_2{\mathcal{K}}_{*}^{1/2}{(\phi \left(b\right)-\phi \left(0\right))}^{{\sigma }_1-\rho +(1/2)}}{{(2{\sigma }_1-1)}^{1/2}}}{\parallel \mathcal{D}{v}^k-\mathcal{D}{v}^{*}\parallel }_{L^2({\mathcal{J}}_0,E)},\hfill \end{array}$$

then there exists a constant ${\mathcal{N}}^{*}>0$ such that

$$\begin{array}{ccc}\hfill \parallel z^k-z^{*}{\parallel }_{\mathcal{PC}}& \le & {\mathcal{N}}^{*}{\parallel \mathcal{D}{v}^k-\mathcal{D}{v}^{*}\parallel }_{L^2({\mathcal{J}}_0,E)},\hfill \end{array}$$

(12)

where

$$\begin{array}{c}\hfill {\mathcal{N}}^{*}={\displaystyle \frac{{\mathcal{M}}_2{\mathcal{K}}_{*}^{1/2}{(\phi \left(b\right)-\phi \left(0\right))}^{{\sigma }_1-\rho +(1/2)}}{{(2{\sigma }_1-1)}^{1/2}\left(1-{\mathcal{M}}_1(1+{\mathcal{D}}_{\gamma })-{\mathcal{M}}_1{\widehat{\mathcal{K}}}_{\mathcal{G}}-{\mathcal{M}}_2{\widehat{\mathcal{R}}}_{\Delta }{\displaystyle \frac{\Gamma \left({\sigma }_1\right)\Gamma \left(\rho \right)}{\Gamma (\rho +{\sigma }_1)}}{(\phi \left(b\right)-\phi \left(0\right))}^{{\sigma }_1}\right)}},\end{array}$$

with ${\mathcal{M}}_1(1+{\mathcal{D}}_{\gamma })+{\mathcal{M}}_1{\widehat{\mathcal{K}}}_{\mathcal{G}}+{\mathcal{M}}_2{\widehat{\mathcal{R}}}_{\Delta }{\displaystyle \frac{\Gamma \left({\sigma }_1\right)\Gamma \left(\rho \right)}{\Gamma (\rho +{\sigma }_1)}}{(\phi \left(b\right)-\phi \left(0\right))}^{{\sigma }_1}<1$ for every $\gamma =1,2,\dots ,\mathcal{H}.$

Since $\mathcal{D}$ is strongly continuous, we obtain

$$\begin{array}{c}\hfill \parallel \mathcal{D}{v}^k-\mathcal{D}{v}^{*}{\parallel }_{L^2({\mathcal{J}}_0,E)}⟶0ask\to \infty .\end{array}$$

Thus, we have

$$\begin{array}{c}\hfill \parallel z^k-z^{*}{\parallel }_{\mathcal{PC}}⟶0ask\to \infty ,\end{array}$$

this yields that $z^k⟶z^{*}$ in $\mathcal{PC}\left(E\right)$ as $k\to \infty .$ Since $\mathcal{PC}\left(E\right)\subset L^1({\mathcal{J}}_0,E),$ by using [X9] and Balder’s theorem, we obtain

$$\begin{array}{ccc}\hfill ϵ& =& \underset{k\to \infty }{lim}\sum _{\gamma =0}^{\mathcal{H}}{\int }_{t_{\gamma }}^{t_{\gamma +1}}\mathcal{L}(t,z^k\left(t\right),v^k\left(t\right))dt\hfill \\ & \ge & \sum _{\gamma =0}^{\mathcal{H}}{\int }_{t_{\gamma }}^{t_{\gamma +1}}\mathcal{L}(t,z^{*}\left(t\right),v^{*}\left(t\right))dt=\mathcal{J}(z^{*},v^{*})\ge ϵ,\gamma =0,1,\dots ,\mathcal{H}.\hfill \end{array}$$

Thus J attains its minimum at $v^{*}\in {\mathcal{U}}_{ad}.$ □

6. Example

Consider the following $\phi$-Hilfer fractional impulsive differential control system to verify the proposed results:

$$\left\{\begin{array}{c}{}^H{\mathrm{D}}_{t_{\gamma }^{+}}^{{\sigma }_1,{\sigma }_2;\phi }z(t,\alpha )=z_{\alpha \alpha }(t,\alpha )+v(t,\alpha )+{\displaystyle \frac{t{e}^{-t}z(t,\alpha )}{18(1+|z(t,\alpha )\left|\right)}},t\in (0,1]-\left\{t_1\right\},\alpha \in [0,\pi ],\hfill \\ I_{{t_1}^{+}}^{(1-{\sigma }_1)(1-{\sigma }_2);\phi }z(t_1^{+},\alpha )=z(t_1^{-},\alpha )+{\displaystyle \frac{1}{100}}z(t_1^{-},\alpha ),\alpha \in [0,\pi ],\hfill \\ I_{0^{+}}^{(1-{\sigma }_1)(1-{\sigma }_2);\phi }{\left[z(t,\alpha )\right]}_{t=0}+{\displaystyle \frac{1}{15}}z(t,\alpha )=z_0\left(\alpha \right),\hfill \\ z(t,0)=0=z(t,\pi ),\hfill \end{array}\right.$$

(13)

with cost functional as

$$\begin{array}{c}\hfill \mathcal{J}(z^v,v)=\sum _{\gamma =0}^{\mathcal{H}}\left[{\int }_{t_{\gamma }}^{t_{\gamma +1}}{\int }_0^{\pi }|z^v{(t,\alpha )|}^{2}d\alpha dt+{\int }_{t_{\gamma }}^{t_{\gamma +1}}{\int }_0^{\pi }{\left|v(t,\alpha )\right|}^{2}d\alpha dt\right]\end{array}$$

subject to the problem (13), where $\gamma =0,1,$ ${\sigma }_1=2/3,{\sigma }_2=1/4$ and $0=t_0<t_1<t_2=b$ with $t_1=0.5,$ $b=1.$ Let $\phi \left(t\right)=t$ and $E=\mathcal{T}=L^2\left([0,\pi ]\right).$ Define an operator $\mathcal{A}:\mathcal{D}\left(\mathcal{A}\right)\subseteq E\to E$ by $\mathcal{A}\psi ={\psi }^{″}$ with

$$\mathcal{D}\left(\mathcal{A}\right)=\{\psi \in E:\psi ,{\psi }^{\prime }\mathrm{are}\mathrm{absolutely}\mathrm{continuous}\mathrm{and}{\psi }^{″}\in E,\psi \left(0\right)=0=\psi \left(\pi \right)\}.$$

$\mathcal{A}$ has a discrete spectrum, the normalized eigenvectors $e_n\left(\alpha \right)=\sqrt{2/\pi }sin\left(n\alpha \right)$ corresponding to eigenvalue are −$n^2$, $n\in \mathbb{N}$ and $\mathcal{A}$ generates an analytic semigroup ${\left\{\mathcal{T}\left(t\right)\right\}}_{t\ge 0}$ in E, which uniformly bounded and defined as

$$\mathcal{T}\left(t\right)\alpha =\sum _{n=1}^{\infty }{e}^{-n^{2}t}\langle \alpha ,e_n\rangle e_n,\alpha \in E,$$

with $\parallel \mathcal{T}\left(t\right)\parallel \le e^{-t}$∀$t\ge 0.$ Thus, we choose $\mathcal{M}=1$ that implies that ${sup}_{t\in [0,\infty )}\parallel \mathcal{T}\left(t\right)\parallel =1$ and [X1] is fulfilled. We obtain ${\mathcal{M}}_1=0.8161$ and ${\mathcal{M}}_2=0.7385.$ The admissible controls set

$${\mathcal{U}}_{ad}=\{v\in \mathcal{T}:\parallel v\parallel \in L^2([0,1],\mathcal{T})\le 1\}.$$

Let $z\left(t\right)\left(\alpha \right)=z(t,\alpha )$ and the functions $\Delta ,{\mathcal{I}}_1$ and $\mathcal{G}$ are defined as

$$\begin{array}{c}\hfill \Delta (t,z)\left(\alpha \right)={\displaystyle \frac{t{e}^{-t}z(t,\alpha )}{18(1+|z(t,\alpha )\left|\right)}},{\mathcal{I}}_1={\displaystyle \frac{1}{100}}z(t_1^{-},\alpha ),\mathcal{G}\left(z\right)\left(\alpha \right)={\displaystyle \frac{1}{15}}z(t,\alpha ).\end{array}$$

We obtain ${\mathcal{K}}_{\Delta }={\mathcal{R}}_{\Delta }=1/18,{\widehat{\mathcal{K}}}_{\mathcal{G}}=1/15,$ ${\mathcal{D}}_1=1/100$ and

1.

$\widehat{\mathcal{O}}=max\left[{\mathcal{M}}_1{\widehat{\mathcal{K}}}_{\mathcal{G}},{\mathcal{M}}_1(1+{\mathcal{D}}_1)\right]=max\left[0.0544,0.8243\right]<1,$

2.

${\mathcal{M}}_1{\widehat{\mathcal{K}}}_{\mathcal{G}}+{\mathcal{M}}_2{\mathcal{K}}_{\Delta }{\displaystyle \frac{\Gamma \left({\sigma }_1\right)\Gamma \left(\rho \right)}{\Gamma (\rho +{\sigma }_1)}}{(\phi \left(b\right)-\phi \left(0\right))}^{{\sigma }_1}=0.1312<1,$

3.

${\mathcal{M}}_1(1+{\mathcal{D}}_1)+{\mathcal{M}}_1{\widehat{\mathcal{K}}}_{\mathcal{G}}+{\mathcal{M}}_2{\widehat{\mathcal{R}}}_{\Delta }{\displaystyle \frac{\Gamma \left({\sigma }_1\right)\Gamma \left(\rho \right)}{\Gamma (\rho +{\sigma }_1)}}{(\phi \left(b\right)-\phi \left(0\right))}^{{\sigma }_1}=0.9555<1.$

The system (13) can be transformed into (11) with the functional

$$\begin{array}{c}\hfill \mathcal{J}(z^v,v)=\sum _{\gamma =0}^{\mathcal{H}}{\int }_{t_{\gamma }}^{t_{\gamma +1}}\left[\parallel z^v{\left(t\right)\parallel }^2+{\parallel v\left(t\right)\parallel }_{\mathcal{T}}^2\right]dt.\end{array}$$

All hypotheses of Theorems 3 and 4 are satisfied. Hence, the problem (13) has at least one optimal pair.

7. Discussion

The solvability and optimal control results for a class of $\phi$-Hilfer fractional differential equations with impulses and nonlocal conditions have been investigated. Standard techniques combined with the notion of piecewise continuous mild solutions were used for the main results. Moreover, by using the minimizing sequence concept, we proved the optimal controls for deriving the optimality conditions. At end, we presented an illustrative example to provide the obtained theoretical results. In the forthcoming papers, as new direction, we intend to investigate the relaxation in nonconvex optimal control problems for a new class of $\phi$-Hilfer fractional stochastic differential equations driven by the Rosenblatt process with non-instantaneous impulses [34,35].