, 2019:17

# A class of Hilfer fractional stochastic differential equations and optimal controls

• Jingyun Lv
• Xiaoyuan Yang
Open Access
Research

## Abstract

In this paper, we investigate a class of Hilfer fractional stochastic differential equations with nonlocal conditions. We first study the existence of mild solutions of these equations by means of stochastic analysis theory, fractional calculations, and operator semigroup theory. Further, the existence of optimal pairs for the corresponding Lagrange control systems is investigated. Finally, an example is presented to illustrate our obtained results.

## Keywords

Optimal control Hilfer fractional derivative Fractional stochastic differential equations

## MSC

26A33 60H10 34A08 93E20

## 1 Introduction

In the last decades, fractional calculus has attracted considerable attention. It has been widely applied in many areas such as fluid dynamics, thermodynamics, and viscoelastic theory [1, 2]. The nonlocal property of fractional derivative makes fractional calculus being used in such areas and better results have been obtained. That is, the next state of a system depends not only on its current state but also on all of its historical states. Note that the theory of fractional differential equations (FDEs) is one of the important branches of fractional calculus. In recent years, FDEs in infinite dimensional spaces have been studied extensively since they are abstract formulations for many problems arising from economics, mechanics, and physics. Many researchers focused on the existence of mild solutions of FDEs. In [3], Zhou et al. studied the existence of mild solutions for FDEs with Caputo fractional derivative. By applying the Laplace transform and probability density function, they gave a suitable definition of mild solution. Using the same method, Zhou et al. [4] gave a definition of mild solution for FDEs with Riemann–Liouville fractional derivative. On the other hand, Hilfer [5] proposed a generalized Riemann–Liouville fractional derivative, Hilfer fractional derivative, which includes Riemann–Liouville fractional derivative and Caputo fractional derivative. Hilfer fractional derivative is performed, for example, in the theoretical simulation of dielectric relaxation in glass forming materials. Inspired by [3, 4], Gu et al. [6] gave a suitable definition of mild solution for FDEs with Hilfer fractional derivative. Many authors subsequently studied the Hilfer FDEs in infinite dimensional spaces. For more details on the existence of mild solutions for FDEs, see [7, 8, 9, 10, 11, 12, 13, 14] and the references therein.

The optimal control is one of the important concepts in control theory and plays a vital role in control systems. For an optimal control problem, the minimization of a criterion function of the states and control inputs of the system over a set of admissible control functions are necessary. The system is subject to constrained dynamics and control variables, among which additional constraints such as final time constraints can be considered. The optimal control theory has been successfully applied in biology, engineering, economy, physics, etc. (see [15]). In recent years, many efforts have been made to investigated the existence of optimal controls for various types of nonlinear FDEs in infinite dimensional spaces. Wang and Zhou [16] considered the existence of mild solutions for a class of FDEs and optimal controls in the α-norm. Guo [17] obtained a second order necessary optimality condition for a class of fractional optimal control problems. Kumar [18] established sufficient conditions for fractional optimal control of system with fixed delay. Zhu [19] studied optimal controls for Riemann–Liouville FDEs without Lipschitz assumption.

On the other hand, the deterministic models often fluctuate due to noise or stochastic perturbation, so it is reasonable and practical to import the stochastic effects into the investigation of FDEs. Meanwhile, the existence of mild solutions and optimal controls for fractional stochastic differential equations (FSDEs) have received great interest of researchers. More precisely, Wang [20] investigated the mild solutions of a class of FSDEs. By constructing Picard type approximate sequences, Li [21] studied the existence and uniqueness of mild solutions for a class of FSDEs with delay driven by fractional Brownian motion. Ahmed et al. [22] established the existence of mild solutions of Hilfer FSDEs with nonlocal conditions. Yan [23] studied optimal control problems for a class of FSDEs of order $$\alpha\in(1,2]$$. Balasubramaniam [24] dealt with the solvability and optimal controls for impulsive FSDEs via resolvent operators. Rihan et al. [25] studied the existence of solutions and optimal control of FSDEs with Hilfer fractional derivative and Poisson jumps. For more details, see [26, 27, 28, 29, 30, 31] and the references therein.

Motivated by the above discussion, in this paper we study the Hilfer FSDEs with nonlocal conditions in the following form:
$$\textstyle\begin{cases} D^{\nu,\mu}_{0^{+}}x(t)=Ax(t)+f(t,x(t))+\sigma(t)\frac{dW(t)}{dt},\quad t\in J':=(0,b], \\ I^{(1-\nu)(1-\mu)}_{0^{+}}x(t)|_{t=0}-g(x)=x_{0}, \end{cases}$$
(1)
where $$D^{\nu,\mu}_{0^{+}}$$ denotes the Hilfer fractional derivative, $$\nu\in [0,1]$$, $$\mu\in(\frac{1}{2},1)$$. Let $$J=[0,b]$$. A is the infinitesimal generator of a strongly continuous semigroup $$\{S(t)\}_{t\geq0}$$ in a real separable Hilbert space X. Let $$(\Omega,\mathscr{F},P )$$ be a complete probability space equipped with a filtration $$\{\mathscr{F}_{t}\}_{t\in[0,b]}$$ that satisfies the usual hypotheses. The state $$x(\cdot)$$ takes values in X. Let K be another separable Hilbert space. $$W:J\times\Omega\rightarrow K$$ is a standard Q-Wiener process. $$f:J\times X\rightarrow X$$, $$\sigma:J\rightarrow L^{0}_{2}$$, and $$g:\mathscr{C}\rightarrow X$$ are appropriate functions that satisfy some assumptions. $$L^{0}_{2}$$ and $$\mathscr{C}$$ are given spaces to be defined later. $$x_{0}$$ is an $$\mathscr{F}_{0}$$-measurable random variable with finite second moment.
The aim of this paper is to study the existence of mild solutions and optimal controls for system (1). Byszewski et al. [32] verified that the nonlocal condition can be applied in physics with a better effect than the classical initial condition. For example, $$g(x)$$ may be given by
$$g(x)=\sum_{i=1}^{m}c_{i}x(t_{i}),$$
where $$c_{i}$$ ($$i=1,\ldots, m$$) are given constants and $$0< t_{1}<\cdots <t_{m}\leq b$$. The study of equations with nonlocal conditions is therefore meaningful.

An outline of this paper is given as follows. Section 2 introduces some notations and preliminary facts. In Sect. 3, the existence and uniqueness of mild solutions for system (1) are established. Optimal control results are proved in Sect. 4. Section 5 presents an example. Finally, a conclusion is given in Sect. 6.

## 2 Preliminaries

Some preliminary facts are presented in this section, which is necessary for this paper. For more details of this section, see [1, 2, 5, 6].

By $$C(J,X)$$ and $$C(J',X)$$ we denote the spaces of all continuous functions from J to X and $$J'$$ to X, respectively. We denote
\begin{aligned} C\bigl(J,L^{2}(\Omega,X)\bigr) = & \Bigl\{ x:J\rightarrow L^{2}(\Omega,X) \bigm| x \text{ is an } \mathscr{F}_{t} \text{-adapted stochastic process, which} \\ & \text{is a continuous mapping such that } \sup_{t\in J}E \bigl\Vert x(t) \bigr\Vert ^{2}< \infty \Bigr\} . \end{aligned}
It is a Banach space with the norm $$\|x\|_{C(J,L^{2}(\Omega,X))}= (\sup_{t\in J}E\|x(t)\|^{2} )^{\frac{1}{2}}$$.
Let $$\alpha=\nu+\mu-\nu\mu$$, then $$1-\alpha=(1-\nu)(1-\mu)\geq0$$, define
$$C_{1-\alpha}\bigl(J,L^{2}(\Omega,X)\bigr)= \bigl\{ x\in C \bigl(J',L^{2}(\Omega ,X)\bigr)\mid t^{1-\alpha}x(t)\in C\bigl(J,L^{2}(\Omega,X)\bigr) \bigr\} .$$

For brevity, let us take $$\mathscr{C}=C_{1-\alpha}(J,L^{2}(\Omega,X))$$. The space $$\mathscr{C}$$ equipped with the norm $$\|x\|_{\mathscr {C}}=(\sup_{t\in J}{E\|t^{1-\alpha}x(t)\|^{2}})^{\frac{1}{2}}$$ is a Banach space.

Let $$W:J\times\Omega\rightarrow K$$ be a standard Q-Wiener process on $$(\Omega,\mathscr{F},P )$$ with the linear bounded covariance operator Q such that $$\operatorname{Tr}Q<\infty$$, which is adapted to normal filtration $$\{\mathscr{F}_{t}\}_{t\in[0,b]}$$. Assume that there exist a complete orthonormal system $$\{e_{n}\}_{n\geq1}$$ in K, a bounded sequence of nonnegative real numbers $$\{\lambda_{n}\} _{n\in N}$$ such that
$$Qe_{n}=\lambda_{n}e_{n},\quad \lambda_{n}\geq0, n=1,2,\ldots,$$
and a sequence of independent real-valued Brownian motions $$\{\beta_{n}\}_{n\geq1}$$ such that
$$\bigl\langle W(t),e\bigr\rangle =\sum_{n=1}^{\infty} \sqrt{\lambda_{n}}\langle e_{n},e\rangle \beta _{n}(t),\quad e\in K,t\in[0,b].$$
Introduce the Hilbert space
$$L^{0}_{2}=\bigl\{ f\mid f \text{ is a Hilbert--Schmidt operator from } Q^{\frac{1}{2}}(K) \text{ to } X\bigr\} ,$$
whose inner product is defined by
$$\langle \psi,\phi\rangle _{L^{0}_{2}}=\operatorname{tr}\bigl[\psi Q \phi^{\ast}\bigr], \quad \psi,\phi\in L^{0}_{2}.$$

### Definition 1

([1])

The fractional integral of order q with the lower limit 0 for a function $$f: [0,\infty)\rightarrow R$$ can be written as
$$I^{q}_{0^{+}}f(t)=\frac{1}{\Gamma(q)} \int^{t}_{0}\frac {f(s)}{(t-s)^{1-q}}\,ds, \quad t>0, q>0,$$
where $$\Gamma(\cdot)$$ is the gamma function.

### Definition 2

([1])

Riemann–Liouville’s derivative of order q with the lower limit 0 for a function $$f: [0,\infty)\rightarrow R$$ can be written as
$${}^{L}D^{q}_{0^{+}}f(t)=\frac{1}{\Gamma(n-q)} \frac{d^{n}}{ dt^{n}} \int^{t}_{0}\frac{f(s)}{(t-s)^{q+1-n}}\,ds,\quad t>0, n=[q]+1.$$

### Definition 3

([1])

Caputo’s derivative of order q with the lower limit 0 for a function $$f: [0,\infty)\rightarrow R$$ can be written as
$${}^{C}D^{q}_{0^{+}}f(t)=D^{q}_{t} \Biggl[f(t)-\sum_{k=0}^{n-1} \frac {t^{k}}{k!}f^{(k)}(0) \Biggr],\quad t>0, n=[q]+1.$$
Furthermore, if $$f^{(n)}\in C[0,\infty)$$, then
$${}^{C}D^{q}_{0^{+}}f(t)=\frac{1}{\Gamma(n-q)} \int ^{t}_{0}(t-s)^{n-q-1}f^{(n)}(s) \,ds, \quad t>0, n=[q]+1.$$

### Definition 4

([5])

The Hilfer fractional derivative of order $$\nu\in[0,1]$$ and $$\mu\in (0,1)$$ with the lower limit 0 is defined as
$$D^{\nu,\mu}_{0^{+}}f(t)=I^{\nu(1-\mu)}_{0^{+}} \frac{d}{dt}I^{(1-\nu )(1-\mu)}_{0^{+}}f(t)$$
for functions such that the expression on the right-hand side exists.

### Remark 1

([5])

1. (i)

For $$\nu=0$$, $$\mu\in(0,1)$$, the Hilfer fractional derivative corresponds to the classical Riemann–Liouville fractional derivative: $$D^{0,\mu}_{0^{+}}f(t)=\frac{d}{dt}I^{1-\mu}_{0^{+}}f(t)={}^{L}D^{\mu }_{0^{+}}f(t)$$.

2. (ii)

For $$\nu=1$$, $$\mu\in(0,1)$$, the Hilfer fractional derivative corresponds to the classical Caputo fractional derivative: $$D^{1,\mu}_{0^{+}}f(t)=I^{1-\mu}_{0^{+}}\frac{d}{dt}f(t)={}^{C}D^{\mu }_{0^{+}}f(t)$$.

We introduce the Wright function $$M_{\mu}$$, which is defined by
$$M_{\mu}(\theta)=\sum_{n=1}^{\infty} \frac{(-\theta)^{n-1}}{(n-1)\Gamma (1-n\mu)},\quad \mu\in(0,1),\theta\in\mathbb{C},$$
and satisfies
$$\int_{0}^{\infty}\theta^{q}M_{\mu}( \theta)\,d\theta=\frac{\Gamma (1+q)}{\Gamma(1+\mu q)},\quad \theta\geq0.$$

Motivated by [6, 22], one can define the mild solution for system (1).

### Definition 5

([6, 22])

A stochastic process $$x\in\mathscr{C}$$ is a mild solution of system (1) if $$I^{(1-\nu)(1-\mu)}_{0^{+}}x(t)|_{t=0}-g(x)=x_{0}$$, and it satisfies the following stochastic integral equation:
\begin{aligned} x(t) =&S_{\nu,\mu}(t)\bigl[x_{0}+g(x)\bigr]+ \int_{0}^{t}T_{\mu }(t-s)f\bigl(s,x(s)\bigr) \,ds \\ &{}+ \int_{0}^{t}T_{\mu}(t-s)\sigma(s)\,dW(s), \quad t\in J', \end{aligned}
(2)
where
$$S_{\nu,\mu}(t)=I^{\nu(1-\mu)}_{0^{+}}T_{\mu}(t),\qquad T_{\mu}(t)=t^{\mu -1}P_{\mu}(t),\qquad P_{\mu}(t)= \int_{0}^{\infty}\mu\theta M_{\mu}(\theta )S \bigl(t^{\mu}\theta\bigr)\,d\theta.$$
For the sake of convenience, we write (2) as
\begin{aligned} x(t) =&S_{\nu,\mu}(t)\bigl[x_{0}+g(x)\bigr]+ \int_{0}^{t}(t-s)^{\mu-1}P_{\mu }(t-s)f \bigl(s,x(s)\bigr)\,ds \\ &{}+ \int_{0}^{t}(t-s)^{\mu-1}P_{\mu}(t-s) \sigma(s)\,dW(s),\quad t\in J'. \end{aligned}
Let us recall the generalized Gronwall inequality.

### Lemma 1

([33])

Assume that$$\beta>0$$, $$a(t)$$is a nonnegative function locally integrable onJand$$b(t)$$is a nonnegative, nondecreasing continuous function defined onJ, $$b(t)\leq C$$ (Cis a constant) and suppose that$$y(t)$$is nonnegative locally integrable onJwith
$$y(t)\leq a(t)+b(t) \int_{0}^{t}(t-s)^{\beta-1}y(s)\,ds,\quad t\in J.$$
Then
$$y(t)\leq a(t)+ \int_{0}^{t} \Biggl[\sum _{n=1}^{\infty}\frac{[b(t)\Gamma (\beta)]^{n}}{\Gamma(n\beta)}(t-s)^{n\beta-1}a(s) \Biggr]\,ds, \quad t\in J.$$
Furthermore, if$$a(t)$$is a nondecreasing function onJ, then
$$y(t)\leq a(t)E_{\beta}\bigl(b(t)\Gamma(\beta)t^{\beta} \bigr),$$
where$$E_{\beta}$$is the Mittag-Leffler function defined by
$$E_{\beta}(z)=\sum_{k=0}^{\infty} \frac{z^{k}}{\Gamma(k\beta+1)}.$$

### Lemma 2

([34, 35])

For arbitrary$$L^{0}_{2}$$-valued predictable process$$\Psi(t)$$, $$t\in[\tau_{1},\tau_{2}]$$, which satisfies
$$E \biggl( \int_{\tau_{1}}^{\tau_{2}} \bigl\Vert \Psi(s) \bigr\Vert ^{2}_{L^{0}_{2}}\,ds \biggr)< \infty,\quad 0\leq\tau_{1}< \tau_{2}\leq b,$$
we have
$$E \biggl\Vert \int_{\tau_{1}}^{\tau_{2}}\Psi(s)\,dW(s) \biggr\Vert ^{2}\leq E \biggl( \int_{\tau_{1}}^{\tau_{2}} \bigl\Vert \Psi(s) \bigr\Vert ^{2}_{L^{0}_{2}}\,ds \biggr).$$
We introduce the following assumption.
(H0)

$$S(t)$$ is continuous in the uniform operator topology for $$t>0$$ and $$\{S(t)\}_{t\geq0}$$ is uniformly bounded, i.e., there exists $$M>1$$ such that $$\sup_{t\in[0,\infty)}|S(t)|< M$$.

### Lemma 3

([6])

Assume that (H0) is satisfied, we have the following properties.
1. (i)
$$P_{\mu}(t)$$, $$T_{\mu}(t)$$, and$$S_{\nu,\mu}(t)$$are linear and bounded operators, that is, for$$\forall t\geq0$$, $$x\in X$$,
\begin{aligned}& \bigl\Vert P_{\mu}(t)x \bigr\Vert \leq\frac{M \Vert x \Vert }{\Gamma(\mu)},\qquad \bigl\Vert T_{\mu}(t)x \bigr\Vert \leq\frac {Mt^{\mu-1} \Vert x \Vert }{\Gamma(\mu)}\quad \textit{and} \\& \bigl\Vert S_{\nu,\mu}(t)x \bigr\Vert \leq\frac{Mt^{\alpha-1} \Vert x \Vert }{\Gamma (\alpha)},\quad \alpha=\nu+\mu-\nu\mu. \end{aligned}

2. (ii)

Operators$$P_{\mu}(t)$$, $$T_{\mu}(t)$$, and$$S_{\nu,\mu}(t)$$are strongly continuous.

## 3 Existence of mild solutions

The existence and uniqueness of mild solutions for system (1) are investigated in this section. Let us introduce the following hypotheses.
(H1):
There exist a function $$\psi\in L^{2}(J,R^{+})$$ and a constant $$c_{1}>0$$ such that, for $$\forall t\in J$$, $$\forall x\in X$$,
$$\bigl\Vert f(t,x) \bigr\Vert \leq\psi(t)+c_{1}t^{1-\alpha}\|x \|.$$
(H2):
There exists a constant $$l_{1}>0$$ such that, for $$\forall t\in J$$, $$\forall x_{1},x_{2}\in X$$,
$$\bigl\Vert f(t,x_{1})-f(t,x_{2}) \bigr\Vert \leq l_{1}t^{1-\alpha}\|x_{1}-x_{2}\|.$$
(H3):
There exists a constant $$p>\frac{1}{2\mu-1}$$ such that the function $$\sigma: J\rightarrow L^{0}_{2}$$ satisfies
$$\int_{0}^{b} \bigl\Vert \sigma(s) \bigr\Vert ^{2p}_{L^{0}_{2}}\,ds< \infty.$$
(H4):
There exists a constant $$c_{2}>0$$ such that, for $$\forall x\in\mathscr{C}$$,
$$\bigl\Vert g(x) \bigr\Vert \leq c_{2}\bigl(1+ \Vert x \Vert _{\mathscr{C}}\bigr).$$
(H5):
There exists a constant $$l_{2}>0$$ such that, for $$\forall x_{1},x_{2}\in\mathscr{C}$$,
$$\bigl\Vert g(x_{1})-g(x_{2}) \bigr\Vert \leq l_{2} \Vert yx_{1}-x_{2} \Vert _{\mathscr{C}}.$$

### Theorem 1

Assume that hypotheses (H0)(H5) hold. Then system (1) has a unique mild solution on$$\mathscr{C}$$provided that
$$\frac{2M^{2}l^{2}_{2}}{\Gamma^{2}(\alpha)}+\frac {2M^{2}l^{2}_{1}b^{2-2\alpha+2\mu}}{\Gamma^{2}(\alpha)(2\mu-1)}< 1.$$
(3)

### Proof

Define the operator T on $$\mathscr{C}$$ by
\begin{aligned} (Tx) (t) =&S_{\nu,\mu}(t)\bigl[x_{0}+g(x)\bigr]+ \int_{0}^{t}(t-s)^{\mu-1}P_{\mu }(t-s)f \bigl(s,x(s)\bigr)\,ds \\ &{}+ \int_{0}^{t}(t-s)^{\mu-1}P_{\mu}(t-s) \sigma(s)\,dW(s), \quad t\in J'. \end{aligned}
We will prove that T has a fixed point on $$\mathscr{C}$$. The proof will be divided into two steps.

Step 1: T maps $$\mathscr{C}$$ into $$\mathscr{C}$$.

For any $$y\in C(J,L^{2}(\Omega,X))$$, let $$x(t)=t^{\alpha -1}y(t)\in\mathscr{C}$$. Define the operator $$F:C(J,L^{2}(\Omega,X))\rightarrow C(J,L^{2}(\Omega ,X))$$ as follows:
\begin{aligned} (Fy) (t) =&t^{1-\alpha}(Tx) (t) \\ =&t^{1-\alpha}S_{\nu,\mu}(t)\bigl[x_{0}+g(x)\bigr] +t^{1-\alpha} \int_{0}^{t}(t-s)^{\mu-1}P_{\mu}(t-s)f \bigl(s,x(s)\bigr)\,ds \\ &{}+t^{1-\alpha} \int_{0}^{t}(t-s)^{\mu-1}P_{\mu}(t-s) \sigma(s)\,dW(s),\quad t\in J. \end{aligned}
By Lemma 2, Lemma 3, (H1) and (H3), we have
\begin{aligned}& E \biggl\Vert t^{1-\alpha} \int_{0}^{t}(t-s)^{\mu-1}P_{\mu }(t-s)f \bigl(s,x(s)\bigr)\,ds \biggr\Vert ^{2}\rightarrow0 \quad \text{as } t \rightarrow0^{+}, \end{aligned}
(4)
\begin{aligned}& E \biggl\Vert t^{1-\alpha} \int_{0}^{t}(t-s)^{\mu-1}P_{\mu}(t-s) \sigma (s)\,dW(s) \biggr\Vert ^{2}\rightarrow0 \quad \text{as } t \rightarrow0^{+}, \end{aligned}
(5)
and
$$\lim_{t\rightarrow0^{+}}(Fy) (t)=\lim_{t\rightarrow 0^{+}}t^{1-\alpha}S_{\nu,\mu}(t) \bigl[x_{0}+g(x)\bigr]=\frac{[x_{0}+g(x)]}{\Gamma (\alpha)}.$$
(6)
Hence, we can define $$(Fy)(0)=\frac{[x_{0}+g(x)]}{\Gamma(\alpha)}$$. In order to prove T maps $$\mathscr{C}$$ into $$\mathscr{C}$$, we will prove that F maps $$C(J,L^{2}(\Omega,X))$$ into $$C(J,L^{2}(\Omega,X))$$. We divide the proof into two claims.

### Claim 1

For any$$y(t)=t^{1-\alpha}x(t)$$, $$\sup_{t\in J}E\| (Fy)(t)\|^{2}<\infty$$.

For any $$y(t)=t^{1-\alpha}x(t)\in C(J,L^{2}(\Omega,X))$$, by Lemma 3, Hölder’s inequality, (H1) and (H3), we have
\begin{aligned}& E \bigl\Vert (Fy) (t) \bigr\Vert ^{2} \\& \quad \leq 3E \bigl\Vert t^{1-\alpha}S_{\nu,\mu}(t) \bigl[x_{0}+g(x)\bigr] \bigr\Vert ^{2} +3E \biggl\Vert t^{1-\alpha} \int_{0}^{t}(t-s)^{\mu-1}P_{\mu }(t-s)f \bigl(s,x(s)\bigr)\,ds \biggr\Vert ^{2} \\& \qquad {}+3E \biggl\Vert t^{1-\alpha} \int_{0}^{t}(t-s)^{\mu-1}P_{\mu}(t-s) \sigma (s)\,dW(s) \biggr\Vert ^{2} \\& \quad \leq \frac{3M^{2}E\|x_{0}+g(x)\|^{2}}{\Gamma^{2}(\alpha)} +\frac{3b^{2-2\alpha}M^{2}}{\Gamma^{2}(\mu)}E \biggl( \int _{0}^{t}(t-s)^{\mu-1}\bigl( \psi(s)+c_{1}s^{1-\alpha} \bigl\Vert x(s) \bigr\Vert \bigr)\,ds \biggr)^{2} \\& \qquad {}+\frac{3b^{2-2\alpha}M^{2}}{\Gamma^{2}(\mu)}E \biggl( \int _{0}^{t}(t-s)^{2\mu-2} \bigl\Vert \sigma(s) \bigr\Vert ^{2}_{L^{0}_{2}}\,ds \biggr) \\& \quad \leq \frac{6M^{2} [E\|x_{0}\|^{2}+2c^{2}_{2}(1+\|x\|^{2}_{\mathscr {C}}) ]}{\Gamma^{2}(\alpha)}+ \frac{6b^{1-2\alpha+2\mu}M^{2}\|\psi\|^{2}_{L^{2}(J,R^{+})}}{(2\mu -1)\Gamma^{2}(\mu)} \\& \qquad {}+\frac{6b^{2-2\alpha+2\mu}M^{2}c^{2}_{1}\|x\|^{2}_{\mathscr{C}}}{\Gamma ^{2}(\mu)(2\mu-1)} +\frac{3b^{2-2\alpha}M^{2}}{\Gamma^{2}(\mu)} \biggl(\frac{p-1}{2p\mu -p-1}b^{\frac{2p\mu-p-1}{p-1}} \biggr)^{\frac{p-1}{p}} \\& \qquad {}\times\biggl( \int_{0}^{b} \bigl\Vert \sigma(s) \bigr\Vert ^{2p}_{L^{0}_{2}}\,ds \biggr)^{\frac{1}{p}}. \end{aligned}
Hence, $$\sup_{t\in J}E\|(Fy)(t)\|^{2}<\infty$$.

### Claim 2

For any$$y(t)=t^{1-\alpha}x(t)$$, $$t\rightarrow(Fy)(t)$$is continuous onJin$$L^{2}(\Omega,X)$$-sense.

For $$t_{1}=0$$, $$0< t_{2}\leq b$$, by (4), (5), and (6), we can easily get
$$E \bigl\Vert (Fy) (t_{2})-(Fy) (0) \bigr\Vert ^{2} \rightarrow0 \quad \text{as } t_{2}\rightarrow t_{1}.$$
For $$0< t_{1}< t_{2}\leq b$$, we have
\begin{aligned}& E \bigl\Vert (Fy) (t_{2})-(Fy) (t_{1}) \bigr\Vert ^{2} \\& \quad \leq 3E \bigl\Vert t^{1-\alpha}_{2}S_{\nu,\mu }(t_{2}) \bigl(x_{0}+g(x)\bigr)-t^{1-\alpha}_{1}S_{\nu,\mu }(t_{1}) \bigl(x_{0}+g(x)\bigr) \bigr\Vert ^{2} \\& \qquad {}+3E \biggl\Vert t^{1-\alpha}_{2} \int_{0}^{t_{2}}(t_{2}-s)^{\mu-1}P_{\mu }(t_{2}-s)f \bigl(s,x(s) \bigr)\,ds \\& \qquad {}-t^{1-\alpha}_{1} \int _{0}^{t_{1}}(t_{1}-s)^{\mu-1}P_{\mu}(t_{1}-s)f \bigl(s,x(s) \bigr)\,ds \biggr\Vert ^{2} \\& \qquad {}+3E \biggl\Vert t^{1-\alpha}_{2} \int_{0}^{t_{2}}(t_{2}-s)^{\mu-1}P_{\mu }(t_{2}-s) \sigma(s)\,dW(s) \\& \qquad {}-t^{1-\alpha}_{1} \int _{0}^{t_{1}}(t_{1}-s)^{\mu-1}P_{\mu}(t_{1}-s) \sigma(s)\,dW(s) \biggr\Vert ^{2} \\& \quad := I_{1}+I_{2}+I_{3}. \end{aligned}
For $$I_{1}$$, we have
\begin{aligned} I_{1} \leq&6E \bigl\Vert t^{1-\alpha}_{2}S_{\nu,\mu }(t_{2}) \bigl(x_{0}+g(x)\bigr)-t^{1-\alpha}_{2}S_{\nu,\mu }(t_{1}) \bigl(x_{0}+g(x)\bigr) \bigr\Vert ^{2} \\ &{}+6E \bigl\Vert t^{1-\alpha}_{2}S_{\nu,\mu}(t_{1}) \bigl(x_{0}+g(x)\bigr)-t^{1-\alpha }_{1}S_{\nu,\mu}(t_{1}) \bigl(x_{0}+g(x)\bigr) \bigr\Vert ^{2} \\ \leq&6t^{2-2\alpha}_{2}E \bigl\Vert S_{\nu,\mu}(t_{2}) \bigl(x_{0}+g(x)\bigr)-S_{\nu,\mu }(t_{1}) \bigl(x_{0}+g(x)\bigr) \bigr\Vert ^{2} \\ &{}+\frac{12(t^{1-\alpha}_{2}-t^{1-\alpha}_{1})^{2}M^{2}t^{2\alpha -2}_{1} [E\|x_{0}\|^{2}+2c^{2}_{2}(1+\|x\|^{2}_{\mathscr{C}}) ]}{\Gamma^{2}(\alpha)}. \end{aligned}
By Lemma 3, we obtain $$\lim_{t_{2}\rightarrow t_{1}}I_{1}=0$$.
For $$I_{2}$$, we have
\begin{aligned} I_{2} \leq& 9E \biggl\Vert \int_{t_{1}}^{t_{2}}t^{1-\alpha}_{2}(t_{2}-s)^{\mu-1}P_{\mu }(t_{2}-s)f \bigl(s,x(s)\bigr)\,ds \biggr\Vert ^{2} \\ &{}+9E \biggl\Vert \int_{0}^{t_{1}}t^{1-\alpha}_{2}(t_{2}-s)^{\mu-1}P_{\mu }(t_{2}-s)f \bigl(s,x(s)\bigr)\,ds \\ &{}- \int_{0}^{t_{1}}t^{1-\alpha}_{1}(t_{1}-s)^{\mu-1}P_{\mu }(t_{2}-s)f \bigl(s,x(s)\bigr)\,ds \biggr\Vert ^{2} \\ &{}+9E \biggl\Vert \int_{0}^{t_{1}}t^{1-\alpha}_{1}(t_{1}-s)^{\mu-1}P_{\mu }(t_{2}-s)f \bigl(s,x(s)\bigr)\,ds \\ &{}- \int_{0}^{t_{1}}t^{1-\alpha}_{1}(t_{1}-s)^{\mu-1}P_{\mu }(t_{1}-s)f \bigl(s,x(s)\bigr)\,ds \biggr\Vert ^{2} \\ :=& I_{21}+I_{22}+I_{23}. \end{aligned}
By Lemma 3 and Hölder’s inequality, we have
\begin{aligned}& I_{21}\leq \frac{18t^{2-2\alpha}_{2}M^{2}}{(2\mu-1)\Gamma^{2}(\mu)} \bigl[(t_{2}-t_{1})^{2\mu-1} \|\psi\|_{L^{2}(J,R^{+})} +c^{2}_{1}(t_{2}-t_{1})^{2\mu} \|x\|^{2}_{\mathscr{C}} \bigr] \rightarrow0 \quad \text{as } t_{2}\rightarrow t_{1}, \\& I_{22}\leq\frac{18M^{2}[\|\psi\|^{2}_{L^{2}(J,R^{+})}+c^{2}_{1}t_{1}\| x\|^{2}_{\mathscr{C}}]}{\Gamma^{2}(\mu)} \biggl( \int_{0}^{t_{1}} \bigl\vert t^{1-\alpha}_{2}(t_{2}-s)^{\mu-1}-t^{1-\alpha}_{1}(t_{1}-s)^{\mu -1} \bigr\vert ^{2}\,ds \biggr) \\& \hphantom{I_{22}} \rightarrow0\quad \text{as } t_{2}\rightarrow t_{1}. \end{aligned}
For $$\varepsilon>0$$ small enough, we have
\begin{aligned} I_{23} \leq& 18E \biggl\Vert \int_{0}^{t_{1}-\varepsilon}t^{1-\alpha}_{1}(t_{1}-s)^{\mu -1} \bigl[P_{\mu}(t_{2}-s)-P_{\mu}(t_{1}-s) \bigr]f\bigl(s,x(s)\bigr)\,ds \biggr\Vert ^{2} \\ &{}+18E \biggl\Vert \int_{t_{1}-\varepsilon}^{t_{1}}t^{1-\alpha }_{1}(t_{1}-s)^{\mu-1} \bigl[P_{\mu}(t_{2}-s)-P_{\mu }(t_{1}-s) \bigr]f\bigl(s,x(s)\bigr)\,ds \biggr\Vert ^{2} \\ \leq& \frac{36t^{2-2\alpha}_{1}(t^{2\mu-1}_{1}-\varepsilon^{2\mu-1}) [\|\psi\|^{2}_{L^{2}(J,R^{+})}+c^{2}_{1}(t_{1}-\varepsilon)\|x\| ^{2}_{\mathscr{C}} ]}{(2\mu-1)} \\ &{}\times \Bigl(\sup_{s\in[0,t_{1}-\varepsilon]} \bigl\Vert P_{\mu}(t_{2}-s)-P_{\mu }(t_{1}-s) \bigr\Vert \Bigr)^{2} \\ &{}+\frac{144M^{2}t^{2-2\alpha}_{1}}{\Gamma^{2}(\mu)} \biggl[\frac {\varepsilon^{2\mu-1}\|\psi\|^{2}_{L^{2}(J,R^{+})} }{2\mu-1}+\frac{c^{2}_{1}\varepsilon^{2\mu}\|x\|^{2}_{\mathscr{C}}}{2\mu -1} \biggr] \\ \rightarrow&0 \quad \text{as } t_{2}\rightarrow t_{1}, \varepsilon \rightarrow0. \end{aligned}
Thus, we obtain $$\lim_{t_{2}\rightarrow t_{1}}I_{2}=0$$.
For $$I_{3}$$, we have
\begin{aligned} I_{3} \leq& 9E \biggl\Vert \int_{t_{1}}^{t_{2}}t^{1-\alpha}_{2}(t_{2}-s)^{\mu-1}P_{\mu }(t_{2}-s) \sigma(s)\,dW(s) \biggr\Vert ^{2} \\ &{}+9E \biggl\Vert \int_{0}^{t_{1}}t^{1-\alpha}_{2}(t_{2}-s)^{\mu-1}P_{\mu }(t_{2}-s) \sigma(s)\,dW(s) \\ &{}- \int_{0}^{t_{1}}t^{1-\alpha}_{1}(t_{1}-s)^{\mu-1}P_{\mu}(t_{2}-s) \sigma (s)\,dW(s) \biggr\Vert ^{2} \\ &{}+9E \biggl\Vert \int_{0}^{t_{1}}t^{1-\alpha}_{1}(t_{1}-s)^{\mu-1}P_{\mu }(t_{2}-s) \sigma(s)\,dW(s) \\ &{}- \int_{0}^{t_{1}}t^{1-\alpha}_{1}(t_{1}-s)^{\mu-1}P_{\mu}(t_{1}-s) \sigma (s)\,dW(s) \biggr\Vert ^{2} \\ :=& I_{31}+I_{32}+I_{33}. \end{aligned}
By Lemma 2, Lemma 3, and Hölder’s inequality, we have
\begin{aligned}& \begin{aligned} I_{31}&\leq\frac{9M^{2}t^{2-2\alpha}_{2}}{\Gamma^{2}(\mu)} \biggl( \int _{t_{1}}^{t_{2}}(t_{2}-s)^{2\mu-2} \bigl\Vert \sigma(s) \bigr\Vert ^{2}_{L^{0}_{2}}\,ds \biggr) \\ &\leq\frac{9M^{2}t^{2-2\alpha}_{2}}{\Gamma^{2}(\mu)} \biggl(\frac {p-1}{2p\mu-p-1}(t_{2}-t_{1})^{\frac{2p\mu-p-1}{p-1}} \biggr)^{\frac{p-1}{p}} \biggl( \int_{t_{1}}^{t_{2}} \bigl\Vert \sigma(s) \bigr\Vert ^{2p}_{L^{0}_{2}}\,ds \biggr)^{\frac{1}{p}}, \end{aligned} \\& I_{32}\leq\frac{9M^{2}}{\Gamma^{2}(\mu)} \biggl( \int _{0}^{t_{1}}\bigl[t^{1-\alpha}_{2}(t_{2}-s)^{\mu-1} -t^{1-\alpha}_{1}(t_{1}-s)^{\mu-1} \bigr]^{\frac{2p}{p-1}}\,ds \biggr)^{\frac{p-1}{p}} \biggl( \int_{0}^{t_{1}} \bigl\Vert \sigma(s) \bigr\Vert ^{2p}_{L^{0}_{2}}\,ds \biggr)^{\frac{1}{p}}, \\& \begin{aligned} I_{33}&\leq 18t^{2-2\alpha}_{1}\sup _{s\in[0,t_{1}-\varepsilon]} \bigl\Vert P_{\mu }(t_{2}-s)-P_{\mu}(t_{1}-s) \bigr\Vert ^{2} \biggl( \int_{0}^{t_{1}-\varepsilon} \bigl\Vert \sigma(s) \bigr\Vert ^{2p}_{L^{0}_{2}}\,ds \biggr)^{\frac{1}{p}} \\ &\quad {} \times \biggl(\frac{p-1}{2\mu p-p-1}t^{\frac{2\mu p-p-1}{p-1}}_{1}- \frac {p-1}{2\mu p-p-1}\varepsilon^{\frac{2\mu p-p-1}{p-1}} \biggr)^{\frac {p-1}{p}} \\ &\quad {}+\frac{72t^{2-2\alpha}_{1}M^{2}}{\Gamma^{2}(\mu)} \biggl(\frac {p-1}{2p\mu-p-1}\varepsilon^{\frac{2p\mu-p-1}{p-1}} \biggr)^{\frac{p-1}{p}} \biggl( \int_{t_{1}-\varepsilon}^{t_{1}} \bigl\Vert \sigma(s) \bigr\Vert ^{2p}_{L^{0}_{2}}\,ds \biggr)^{\frac{1}{p}}. \end{aligned} \end{aligned}

By using the analogous argument performed in $$I_{2}$$, we can conclude that $$\lim_{t_{2}\rightarrow t_{1}}I_{3}=0$$. Thus, $$t\rightarrow(Fy)(t)$$ is continuous on J in $$L^{2}(\Omega ,X)$$-sense. By Claims 12, we know that F maps $$C(J,L^{2}(\Omega ,X))$$ into $$C(J,L^{2}(\Omega,X))$$, which means that T maps $$\mathscr {C}$$ into $$\mathscr{C}$$.

Step 2. T is a contraction.

For $$\forall x_{1},x_{2}\in\mathscr{C}$$, we have
\begin{aligned}& E \bigl(t^{1-\alpha} \bigl\Vert (Tx_{1}) (t)-(Tx_{2}) (t) \bigr\Vert \bigr)^{2} \\& \quad \leq 2E \bigl(t^{1-\alpha} \bigl\Vert S_{\nu,\mu}(t) \bigl(g(x_{1})-g(x_{2})\bigr) \bigr\Vert \bigr)^{2} \\& \qquad {}+2E \biggl(t^{1-\alpha} \biggl\Vert \int_{0}^{t}(t-s)^{\mu-1}P_{\mu }(t-s) \bigl(f\bigl(s,x_{1}(s)\bigr)-f\bigl(s,x_{2}(s)\bigr)\bigr) \,ds \biggr\Vert \biggr)^{2} \\& \quad \leq \frac{2M^{2}l^{2}_{2}\|x_{1}-x_{2}\|^{2}_{\mathscr{C}}}{\Gamma ^{2}(\alpha)} +\frac{2M^{2}l^{2}_{1}b^{2-2\alpha}}{\Gamma^{2}(\mu)} E \biggl( \int_{0}^{t}(t-s)^{\mu-1}s^{1-\alpha} \bigl\Vert x_{1}(s)-x_{2}(s) \bigr\Vert \,ds \biggr)^{2} \\& \quad \leq \biggl[\frac{2M^{2}l^{2}_{2}}{\Gamma^{2}(\alpha)}+\frac {2M^{2}l^{2}_{1}b^{2-2\alpha+2\mu}}{\Gamma^{2}(\alpha)(2\mu-1)} \biggr]\| x_{1}-x_{2}\|^{2}_{\mathscr{C}}. \end{aligned}
Thus, T is a contradiction operator on $$\mathscr{C}$$. According to the contraction principle, the operator T has a unique fixed point x, which is a mild solution of system (1). This completes the proof.  □

## 4 Existence of optimal controls

In this section, the existence of optimal controls is investigated.

We suppose that U is a separable Hilbert space. Define
\begin{aligned} L^{2}_{\mathscr{F}}(J,U) =& \biggl\{ u:J\times\Omega\rightarrow U \Bigm|u \text{ is } \mathscr{F}_{t}\text{-adapted stochastic process and} \\ & E \int _{0}^{t} \bigl\Vert u(t) \bigr\Vert ^{2}\,dt< \infty \biggr\} . \end{aligned}
Let V be a nonempty bounded closed and convex subset of U. Define the admissible control set
$$U_{\mathrm{ad}}= \bigl\{ u(\cdot)\in L^{2}_{\mathscr{F}}(J,U)\mid u(t)\in V \text{ a.e. } t\in J \bigr\} .$$
Consider the following controlled system:
$$\textstyle\begin{cases} D^{\nu,\mu}_{0^{+}}x(t)=Ax(t)+f(t,x(t))+B(t)u(t)+\sigma(t)\frac {dW(t)}{dt}, \quad t\in J', \\ I^{(1-\nu)(1-\mu)}_{0^{+}}x(t)|_{t=0}-g(x)=x_{0}, \end{cases}$$
(7)
where $$B\in L_{\infty}(J,L(U,X))$$, the control function $$u\in U_{\mathrm{ad}}$$. $$L_{\infty}(J,L(U,X))$$ denotes the space of operator-valued functions which are measurable in the strong operator topology and uniformly bounded on the interval J. We denote the norm of operator B by $$\|B\|_{\infty}$$.
Consider the Lagrange problem $$(\mathscr{P})$$: Find $$(x^{0},u^{0})\in \mathscr{C} \times U_{\mathrm{ad}}$$ such that
$$\mathscr{J}\bigl(x^{0},u^{0}\bigr)\leq\mathscr{J} \bigl(x^{u},u\bigr),\quad \forall u\in U_{\mathrm{ad}},$$
where
$$\mathscr{J}\bigl(x^{u},u\bigr)=E \biggl\{ \int_{0}^{b}\mathscr {L}\bigl(t,x^{u}(t),u(t) \bigr)\,dt \biggr\}$$
and $$x^{u}$$ denotes the mild solution of system (7) corresponding to the control $$u\in U_{\mathrm{ad}}$$. Introduce the following assumption.
(H6):
1. (i)

The function $$\mathscr{L}: J \times X \times U \rightarrow R\cup\{\infty\}$$ is Borel measurable,

2. (ii)

$$\mathscr{L}(t,\cdot,\cdot)$$ is sequentially lower semicontinuous on $$X\times U$$ for almost all $$t\in J$$,

3. (iii)

$$\mathscr{L}(t,x,\cdot)$$ is convex on U for $$\forall x\in X$$ and almost all $$t\in J$$,

4. (iv)
there exist constants $$d\geq0$$, $$e>0$$, and $$\phi\in L^{1}(J,R^{+})$$ such that
$$\mathscr{L}(t,x,u)\geq\phi(t)+d\|x\|+e\|u\|^{2}.$$

### Theorem 2

Assume that conditions (H0)(H5) and (3) are satisfied. For$$\forall u\in U_{\mathrm{ad}}$$, system (7) has a unique mild solution on$$\mathscr{C}$$.

### Proof

Define the operator on $$\mathscr{C}$$ by
\begin{aligned} (\widetilde{T}x) (t) =&S_{\nu,\mu}(t)\bigl[x_{0}+g(x)\bigr]+ \int_{0}^{t}(t-s)^{\mu -1}P_{\mu}(t-s)f \bigl(s,x(s)\bigr)\,ds \\ &{}+ \int_{0}^{t}(t-s)^{\mu-1}P_{\mu}(t-s)B(s)u(s) \,ds \\ &{}+ \int_{0}^{t}(t-s)^{\mu-1}P_{\mu}(t-s) \sigma(s)\,dW(s),\quad t\in J'. \end{aligned}
Compared with Theorem 1, we only need to check the term
$$\int_{0}^{t}(t-s)^{\mu-1}P_{\mu}(t-s)B(s)u(s) \,ds.$$
By Lemma 3 and Hölder’s inequality, we have
\begin{aligned}& E \biggl\Vert t^{1-\alpha} \int_{0}^{t}(t-s)^{\mu-1}P_{\mu }(t-s)B(s)u(s) \,ds \biggr\Vert ^{2} \\& \quad \leq \frac{b^{2-2\alpha}M^{2}\|B\|^{2}_{\infty}}{\Gamma^{2}(u)} E \biggl( \int_{0}^{t}(t-s)^{\mu-1} \bigl\Vert u(s) \bigr\Vert \,ds \biggr)^{2} \\& \quad \leq \frac{b^{2-2\alpha}M^{2}\|B\|^{2}_{\infty}}{\Gamma^{2}(u)} \biggl( \int_{0}^{t}(t-s)^{2\mu-2}\,ds \biggr) E \biggl( \int_{0}^{t} \bigl\Vert u(s) \bigr\Vert ^{2}\,ds \biggr) \\& \quad \leq \frac{b^{1+2\mu-2\alpha}M^{2}\|B\|^{2}_{\infty}}{(2\mu-1)\Gamma ^{2}(\mu)}E \biggl( \int_{0}^{t} \bigl\Vert u(s) \bigr\Vert ^{2}\,ds \biggr) \\& \quad < \infty. \end{aligned}
On the other hand, for $$0< t_{1}< t_{2}\leq b$$ and $$\varepsilon>0$$ small enough, we have
\begin{aligned}& E \biggl\Vert t^{1-\alpha}_{2} \int_{0}^{t_{2}}(t_{2}-s)^{\mu-1}P_{\mu }(t_{2}-s)B(s)u(s) \,ds- t^{1-\alpha}_{1} \int_{0}^{t_{1}}(t_{1}-s)^{\mu-1}P_{\mu }(t_{1}-s)B(s)u(s) \,ds \biggr\Vert ^{2} \\& \quad \leq 3E \biggl\Vert \int_{t_{1}}^{t_{2}}t^{1-\alpha}_{2}(t_{2}-s)^{\mu-1}P_{\mu }(t_{2}-s)B(s)u(s) \,ds \biggr\Vert ^{2} \\& \qquad {}+3E \biggl\Vert \int_{0}^{t_{1}}t^{1-\alpha}_{2}(t_{2}-s)^{\mu-1}P_{\mu }(t_{2}-s)B(s)u(s) \,ds \\& \qquad {}- \int_{0}^{t_{1}}t^{1-\alpha}_{1}(t_{1}-s)^{\mu-1}P_{\mu }(t_{2}-s)B(s)u(s) \,ds \biggr\Vert ^{2} \\& \qquad {}+3E \biggl\Vert \int_{0}^{t_{1}}t^{1-\alpha}_{1}(t_{1}-s)^{\mu-1}P_{\mu }(t_{2}-s)B(s)u(s) \,ds \\& \qquad {}- \int_{0}^{t_{1}}t^{1-\alpha}_{1}(t_{1}-s)^{\mu-1}P_{\mu }(t_{1}-s)B(s)u(s) \,ds \biggr\Vert ^{2} \\& \quad \leq \frac{3t^{2-2\alpha}_{2}(t_{2}-t_{1})^{2\mu-1}M^{2}\|B\| ^{2}_{\infty}}{(2\mu-1)\Gamma^{2}(\mu)} E \biggl( \int_{t_{1}}^{t_{2}} \bigl\Vert u(s) \bigr\Vert ^{2}\,ds \biggr) \\& \qquad {}+\frac{3M^{2}\|B\|^{2}_{\infty}}{\Gamma^{2}(\mu)} \biggl( \int _{0}^{t_{1}} \bigl\vert t^{1-\alpha}_{2} (t_{2}-s)^{\mu-1}-t^{1-\alpha}_{1}(t_{1}-s)^{\mu-1} \bigr\vert ^{2}\,ds \biggr)E \biggl( \int_{0}^{t_{1}} \bigl\Vert u(s) \bigr\Vert ^{2}\,ds \biggr) \\& \qquad {}+\frac{6t^{2-2\alpha}_{1}\|B\|^{2}_{\infty}(t^{2\mu-1}_{1}-\varepsilon ^{2\mu-1})}{(2\mu-1)} E \biggl( \int_{0}^{t_{1}-\varepsilon} \bigl\Vert u(s) \bigr\Vert ^{2}\,ds \biggr) \\& \qquad {}\times \Bigl(\sup_{s\in[0,t_{1}-\varepsilon]} \bigl\Vert P_{\mu }(t_{2}-s)-P_{\mu}(t_{1}-s) \bigr\Vert \Bigr)^{2} \\& \qquad {}+\frac{24M^{2}\|B\|^{2}_{\infty}t^{2-2\alpha}_{1}\varepsilon^{2\mu -1}}{(2\mu-1)\Gamma^{2}(\mu)} E \biggl( \int_{t_{1}-\varepsilon}^{t_{1}} \bigl\Vert u(s) \bigr\Vert ^{2}\,ds \biggr) \\& \quad \rightarrow 0\quad \text{as } t_{2}\rightarrow t_{1}, \varepsilon \rightarrow0. \end{aligned}
Hence, maps $$\mathscr{C}$$ into $$\mathscr{C}$$. Using the same method as in Theorem 1, one can deduce that has a unique fixed point on $$\mathscr{C}$$, and hence we omit the detailed proof here. □

Now we can give the following results on the existence of optimal controls for the Lagrange problem $$(\mathscr{P})$$.

### Theorem 3

Suppose that conditions (H0)(H6) and (3) are fulfilled and
$$\frac{3M^{2}l^{2}_{2}}{\Gamma^{2}(\alpha)}+\frac {3M^{2}l^{2}_{1}b^{2-2\alpha+2\mu}}{\Gamma^{2}(\alpha)(2\mu-1)}< 1,$$
(8)
then the Lagrange problem$$(\mathscr{P})$$admits at least one optimal pair, that is, there exists an admissible control$$u^{0}\in U_{\mathrm{ad}}$$such that
$$\mathscr{J}\bigl(x^{0},u^{0}\bigr)\leq\mathscr{J}(x,u),\quad \forall u\in U_{\mathrm{ad}}.$$

### Proof

If $$\inf\{\mathscr{J}(x^{u},u)\mid u\in U_{\mathrm{ad}}\}=+\infty$$, there is nothing to prove. Without loss of generality, we assume that $$\inf\{\mathscr{J}(x^{u},u)\mid u\in U_{\mathrm{ad}}\} =l<+\infty$$. By (H6), we obtain $$l>-\infty$$. By the definition of infimum, there exists a minimizing sequence feasible pair $$\{(x^{m},u^{m})\}$$ such that
$$\mathscr{J}\bigl(x^{m},u^{m}\bigr)\rightarrow l \quad \text{as } m\rightarrow+\infty,$$
where $$x^{m}$$ is a mild solution of system (7) corresponding to the control $$u^{m}\in U_{\mathrm{ad}}$$. Since $$\{u^{m}\}\subseteq U_{\mathrm{ad}}$$ is a bounded subset of the reflexive Banach space $$L^{2}_{\mathscr{F}}(J,U)$$, there exists a subsequence, we still denote it by $$\{u^{m}\}$$, which weakly converges to $$u^{0}\in L^{2}_{\mathscr{F}}(J,U)$$. Since $$U_{\mathrm{ad}}$$ is closed and convex, then by Marzur lemma $$u^{0}\in U_{\mathrm{ad}}$$.
Let
\begin{aligned}& \begin{aligned} x^{m}(t)&= S_{\nu,\mu}(t)\bigl[x_{0}+g \bigl(x^{m}\bigr)\bigr]+ \int_{0}^{t}(t-s)^{\mu -1}P_{\mu}(t-s)f \bigl(s,x^{m}(s)\bigr)\,ds \\ &\quad {}+ \int_{0}^{t}(t-s)^{\mu-1}P_{\mu}(t-s)B(s)u^{m}(s) \,ds \\ &\quad {}+ \int_{0}^{t}(t-s)^{\mu-1}P_{\mu}(t-s) \sigma(s)\,dW(s), \quad t\in J', \end{aligned} \\& \begin{aligned} x^{0}(t)&= S_{\nu,\mu}(t)\bigl[x_{0}+g \bigl(x^{0}\bigr)\bigr]+ \int_{0}^{t}(t-s)^{\mu -1}P_{\mu}(t-s)f \bigl(s,x^{0}(s)\bigr)\,ds \\ &\quad {}+ \int_{0}^{t}(t-s)^{\mu-1}P_{\mu}(t-s)B(s)u^{0}(s) \,ds \\ &\quad {}+ \int_{0}^{t}(t-s)^{\mu-1}P_{\mu}(t-s) \sigma(s)\,dW(s),\quad t\in J'. \end{aligned} \end{aligned}
By Theorem 1 and Theorem 2, one can easily get that there exists a constant $$\rho>0$$ such that $$\|x^{m}\|_{\mathscr{C}}\leq\rho$$, $$\|x^{0}\|_{\mathscr{C}}\leq\rho$$.
For $$\forall t\in J$$, we have
\begin{aligned}& E \bigl\Vert t^{1-\alpha}x^{m}(t)-t^{1-\alpha}x^{0}(t) \bigr\Vert ^{2} \\& \quad \leq 3E \bigl\Vert t^{1-\alpha}S_{\nu,\mu}(t)g \bigl(x^{m}\bigr)-t^{1-\alpha}S_{\nu ,\mu}(t)g \bigl(x^{0}\bigr) \bigr\Vert ^{2} \\& \qquad {}+ 3E \biggl\Vert t^{1-\alpha} \int_{0}^{t}(t-s)^{\mu-1}P_{\mu }(t-s) \bigl[f\bigl(s,x^{m}(s)\bigr)-f\bigl(s,x^{0}(s)\bigr)\bigr] \,ds \biggr\Vert ^{2} \\& \qquad {}+3E \biggl\Vert t^{1-\alpha} \int_{0}^{t}(t-s)^{\mu-1}P_{\mu }(t-s)B(s) \bigl[u^{m}(s)-u^{0}(s)\bigr]\,ds \biggr\Vert ^{2} \\& \quad \leq \frac{3b^{3-2\alpha}M^{2}}{\Gamma^{2}(\mu)} E \biggl( \int_{0}^{t}(t-s)^{2\mu-2} \bigl\Vert f \bigl(s,x^{m}(s)\bigr)-f\bigl(s,x^{0}(s)\bigr) \bigr\Vert ^{2}\,ds \biggr) \\& \qquad {}+\frac{3b^{2-2\alpha}M^{2}\|B\|^{2}_{\infty}}{\Gamma^{2}(\mu)} \biggl( \int_{0}^{t}(t-s)^{2\mu-2}\,ds \biggr) E \biggl( \int_{0}^{t} \bigl\Vert u^{m}(s)-u^{0}(s) \bigr\Vert ^{2}\,ds \biggr) \\& \quad \leq \frac{3M^{2}l^{2}_{2}\|x^{m}-x^{0}\|^{2}_{\mathscr{C}}}{\Gamma ^{2}(\alpha)}+ \frac{3b^{3-2\alpha}M^{2}l^{2}_{1}}{\Gamma^{2}(\mu)} \int_{0}^{t}(t-s)^{2\mu-2}E \bigl(s^{1-\alpha} \bigl\Vert x^{m}(s)-x^{0}(s) \bigr\Vert \bigr)^{2}\,ds \\& \qquad {}+\frac{3b^{1+2\mu-2\alpha}M^{2}\|B\|^{2}_{\infty}}{(2\mu-1)\Gamma ^{2}(\mu)} E \biggl( \int_{0}^{b} \bigl\Vert u^{m}(s)-u^{0}(s) \bigr\Vert ^{2}\,ds \biggr) \\& \quad \leq \biggl[\frac{3M^{2}l^{2}_{2}}{\Gamma^{2}(\alpha)}+\frac {3b^{2-2\alpha+2\mu}M^{2}l^{2}_{1}}{\Gamma^{2}(\mu)(2\mu-1)} \biggr] \bigl\Vert x^{m}-x^{0} \bigr\Vert ^{2}_{\mathscr{C}} \\& \qquad {}+\frac{3b^{1+2\mu-2\alpha}M^{2}\|B\|^{2}_{\infty}}{(2\mu-1)\Gamma ^{2}(\mu)} E \biggl( \int_{0}^{b} \bigl\Vert u^{m}(s)-u^{0}(s) \bigr\Vert ^{2}\,ds \biggr). \end{aligned}
Therefore
\begin{aligned} 0 \leq& \biggl[1-\frac{3M^{2}l^{2}_{2}}{\Gamma^{2}(\alpha)}-\frac {3b^{2-2\alpha+2\mu}M^{2}l^{2}_{1}}{\Gamma^{2}(\mu)(2\mu-1)} \biggr] \bigl\Vert x^{m}-x^{0} \bigr\Vert ^{2}_{\mathscr{C}} \\ \leq&\frac{3b^{1+2\mu-2\alpha}M^{2} \Vert B \Vert ^{2}_{\infty}}{(2\mu-1)\Gamma ^{2}(\mu)} E \biggl( \int_{0}^{b} \bigl\Vert u^{m}(s)-u^{0}(s) \bigr\Vert ^{2}\,ds \biggr). \end{aligned}
Furthermore,
$$\frac{3b^{1+2\mu-2\alpha}M^{2}\|B\|^{2}_{\infty}}{(2\mu-1)\Gamma^{2}(\mu)} E \biggl( \int_{0}^{b} \bigl\Vert u^{m}(s)-u^{0}(s) \bigr\Vert ^{2}\,ds \biggr)\rightarrow0 \quad \text{as } m \rightarrow\infty.$$
By (8), we have $$x^{m}\rightarrow x^{0}$$ in $$\mathscr{C}$$ as $$m\rightarrow\infty$$. Note that (H6) implies that the assumptions of Balder [36] are satisfied. By Balder’s theorem, we have
\begin{aligned} l =&\lim_{m\rightarrow\infty}E \biggl\{ \int_{0}^{b}\mathscr {L}\bigl(t,x^{m}(t),u^{m}(t) \bigr)\,dt \biggr\} \\ \geq&\lim_{m\rightarrow\infty}E \biggl\{ \int_{0}^{b}\mathscr {L}\bigl(t,x^{0}(t),u^{0}(t) \bigr)\,dt \biggr\} =\mathscr{J}\bigl(x^{0},u^{0}\bigr)\geq l. \end{aligned}
This means that $$\mathscr{J}$$ attains its minimum at $$(x^{0},u^{0})$$. This completes the proof. □

## 5 An example

Consider the following fractional control system:
$$\textstyle\begin{cases} D^{\nu,\frac{3}{4}}_{0^{+}}x(t,\xi)=\frac{\partial^{2}}{\partial\xi ^{2}}x(t,\xi) +f(t,x(t,\xi))+2u(t,\xi) \\ \hphantom{D^{\nu,\frac{3}{4}}_{0^{+}}x(t,\xi)={}}{}+\sigma(t,\xi)\frac{d \beta(t)}{dt},\quad t\in (0,1], \xi\in[0,\pi], \\ x(t,0)=x(t,\pi)=0, \quad t\in(0,1], \\ I^{\frac{1}{4}(1-\nu)}_{0^{+}}x(t,\xi)|_{t=0}-\sum^{m}_{i=0}\int _{0}^{\pi}\gamma(\xi,\tau)x(t_{i},\tau)\,d\tau=x_{0}(\xi), \quad \xi\in[0,\pi], \end{cases}$$
(9)
with the cost function
$$\mathscr{J}\bigl(x^{u},u\bigr)=E \biggl\{ \int_{0}^{1} \int_{0}^{\pi} \bigl\vert x^{u}(t,\xi ) \bigr\vert ^{2}\,d\xi \,dt+ \int_{0}^{1} \int_{0}^{\pi} \bigl\vert u(t,\xi) \bigr\vert ^{2}\,d\xi \,dt \biggr\} ,$$
where $$D^{\nu,\frac{3}{4}}_{0^{+}}$$ denotes the Hilfer fractional derivative, $$\nu\in[0,1]$$, $$c>0$$ is a constant. $$0< t_{0}< t_{1}<\cdots<t_{m}\leq1$$, $$\gamma(\xi,\tau)\in L^{2}([0,\pi ]\times[0,\pi],R^{+})$$. $$\beta(t)$$ is a one-dimensional standard Brownian motion defined on the filtered probability space $$(\Omega,\mathscr{F},P )$$.
Let $$X=U=L^{2}([0,\pi],R)$$, $$J'=(0,1]$$, $$J=[0,1]$$, $$\alpha=\frac{1}{4}\nu +\frac{3}{4}$$. Define the operator $$A:D(A)\subset X\rightarrow X$$ by $$A\varsigma=\frac {\partial^{2}\varsigma}{\partial\xi^{2}}$$, where
$$D(A)= \biggl\{ \varsigma\in X:\varsigma,\frac{\partial\varsigma}{\partial \xi} \text{ are absolutely continuous, } \frac{\partial^{2}\varsigma }{\partial\xi^{2}}\in X, \varsigma(0)=\varsigma(\pi)=0 \biggr\} .$$

It is easy to check that A generates a strongly continuous semigroup $$\{S(t)\}_{t\geq0}$$ which is compact, analytic, and self-adjoint [4]. Hence, (H0) is fulfilled.

Clearly, we can rewrite system (9) into the abstract form:
$$\textstyle\begin{cases} D^{\nu,\frac{3}{4}}_{0^{+}}x(t)=Ax(t)+f(t,x(t))+B(t)u(t)+\sigma(t)\frac {dW(t)}{dt},\quad t\in J':=(0,1], \\ I^{\frac{1}{4}(1-\nu)}_{0^{+}}x(t)|_{t=0}-g(x)=x_{0}, \end{cases}$$
(10)
where
\begin{aligned}& x(t) (\xi)=x(t,\xi),\qquad f\bigl(t,x(t)\bigr) (\xi)=f\bigl(t,x(t,\xi)\bigr), \qquad B(t)u(t) (\xi)=2u(t,\xi), \\& \sigma(t) (\xi)=\sigma(t,\xi),\qquad g(x) (\xi)=\sum _{i=0}^{m}Gx(t_{i}) (\xi), \\& Gh(\xi)= \int_{0}^{\pi}\gamma(\xi,\tau)h(\tau)\,d\tau,\quad \text{for } h\in X, \xi\in[0,\pi], \end{aligned}
and
$$\mathscr{J}\bigl(x^{u},u\bigr)=E \int_{0}^{1} \bigl( \bigl\Vert x^{u}(t) \bigr\Vert ^{2}+ \bigl\Vert u(t) \bigr\Vert ^{2} \bigr) \,dt.$$

Obviously, (H6) is satisfied. We can choose $$c_{2}=l_{2}=(m+1) (\int_{0}^{\pi}\int_{0}^{\pi}\gamma ^{2}(\xi,\tau)\,d\tau \,d\xi )^{\frac{1}{2}}$$. Then (H4) and (H5) are satisfied.

Define $$f(t,y(t,\xi))=\frac{t^{1-\alpha}e^{-t}|y(t,\xi )|}{(1+e^{t})(1+|y(t,\xi)|)}$$. Note that $$\|f(t,y(t,\xi))\|\leq e^{-t}$$. Moreover,
\begin{aligned} \bigl\Vert f\bigl(t,y_{1}(t)\bigr) (\xi)-f\bigl(t,y_{2}(t) \bigr) (\xi) \bigr\Vert =&\frac{t^{1-\alpha}e^{-t} ||y_{1}(t,\xi)|-|y_{2}(t,\xi)| |}{(1+e^{t})(1+|y_{1}(t,\xi)|)(1+|y_{2}(t,\xi)|)} \\ \leq&\frac{t^{1-\alpha}e^{-t}}{1+e^{t}} \bigl\vert y_{1}(t,\xi)-y_{2}(t, \xi) \bigr\vert \\ \leq&\frac{1}{2}t^{1-\alpha} \bigl\vert y_{1}(t, \xi)-y_{2}(t,\xi) \bigr\vert . \end{aligned}
Hence, (H1) and (H2) are satisfied.

If conditions (3), (8), and (H3) are satisfied, then by Theorem 3, system (10) is approximately controllable.

## 6 Conclusion

In this paper, we study a class of Hilfer fractional stochastic differential equations. By means of stochastic analysis theory, fractional calculations, and operator semigroup theory, we obtain the existence and uniqueness of mild solutions for these equations. Moreover, the existence of optimal pairs for the corresponding Lagrange control systems is investigated. Our future work will be focused on investigating the optimal control problem of Hilfer fractional stochastic differential equations with Lévy noise.

## Notes

### Acknowledgements

The authors would like to thank the referees and the editor for their valuable comments which led to improvement of this work.

### Authors’ contributions

All authors participated in drafting and checking the manuscript and approved the final manuscript.

### Funding

This work was supported by the National Natural Science Foundation of China under grant 61671002.

### Competing interests

The authors declare to have no competing interests.

## References

1. 1.
Kilbas, A.A., Srivastava, H.M., Trujillo, J.J.: Theory and Applications of Fractional Differential Equations. Elsevier, New York (2006)
2. 2.
Podlubny, I.: Fractional Differential Equations: An Introduction to Fractional Derivatives, Fractional Differential Equations, to Methods of Their Solution and Some of Their Applications, vol. 198. Academic Press, San Diego (1998)
3. 3.
Zhou, Y., Jiao, F.: Existence of mild solutions for fractional neutral evolution equations. Comput. Math. Appl. 59, 1063–1077 (2010)
4. 4.
Zhou, Y., Zhang, L., Shen, X.H.: Existence of mild solutions for fractional evolution equations. J. Integral Equ. Appl. 25, 557–586 (2013)
5. 5.
Hilfer, R.: Applications of Fractional Calculus in Physics. World Scientific, Singapore (2000)
6. 6.
Gu, H., Trujillo, J.J.: Existence of mild solution for evolution equation with Hilfer fractional derivative. Appl. Math. Comput. 257, 344–354 (2015)
7. 7.
Zhou, Y.: Basic Theory of Fractional Differential Equations. World Scientific, Singapore (2014)
8. 8.
Zhou, Y., Jiao, F.: Nonlocal Cauchy problem for fractional evolution equations. Nonlinear Anal., Real World Appl. 11(5), 4465–4475 (2010)
9. 9.
Li, K., Peng, J., Jia, J.: Cauchy problems for fractional differential equations with Riemann–Liouville fractional derivatives. J. Funct. Anal. 263, 476–510 (2012)
10. 10.
Wang, J.R., Fečkan, M., Zhou, Y.: On the new concept solutions and existence results for impulsive fractional evolution equations. Dyn. Partial Differ. Equ. 8(4), 345–361 (2011)
11. 11.
Gou, H., Li, B.: Study on Sobolev type Hilfer fractional integro-differential equations with delay. J. Fixed Point Theory Appl. 20(1), 44 (2018)
12. 12.
Gou, H., Li, B.: Study a class of nonlinear fractional non-autonomous evolution equations with delay. J. Pseudo-Differ. Oper. Appl. 2, 1–22 (2017) Google Scholar
13. 13.
Wang, J.R., Ibrahim, A.G., O’Regan, D.: Topological structure of the solution set for fractional non-instantaneous impulsive evolution inclusions. J. Fixed Point Theory Appl. 20(2), 59 (2018)
14. 14.
Li, M., Wang, J.R.: Exploring delayed Mittag-Leffler type matrix functions to study finite time stability of fractional delay differential equations. Appl. Math. Comput. 324, 254–265 (2018)
15. 15.
Li, X., Yong, J.: Optimal Control Theory for Infinite Dimensional Systems. Birkhäuser, Boston (1995)
16. 16.
Wang, J.R., Zhou, Y.: A class of fractional evolution equations and optimal controls. Nonlinear Anal., Real World Appl. 12(1), 262–272 (2011)
17. 17.
Guo, T.L.: The necessary conditions of fractional optimal control in the sense of Caputo. J. Optim. Theory Appl. 156, 115–126 (2013)
18. 18.
Kumar, S.: Mild solution and fractional optimal control of semilinear system with fixed delay. J. Optim. Theory Appl. 174, 108–121 (2017)
19. 19.
Zhu, S., Fan, Z., Li, G.: Optimal controls for Riemann–Liouville fractional evolution systems without Lipschitz assumption. J. Optim. Theory Appl. 174, 47–64 (2017)
20. 20.
Wang, J.R.: Approximate mild solutions of fractional stochastic evolution equations in Hilbert spaces. Appl. Math. Comput. 256, 315–323 (2015)
21. 21.
Li, K.: Stochastic delay fractional evolution equations driven by fractional Brownian motion. Math. Methods Appl. Sci. 38(8), 1582–1591 (2015)
22. 22.
Ahmed, H.M., El-Borai, M.M.: Hilfer fractional stochastic integro-differential equations. Appl. Math. Comput. 331, 182–189 (2018)
23. 23.
Yan, Z., Jia, X.: Optimal controls for fractional stochastic functional differential equations of order $$\alpha\in(1,2]$$. Bull. Malays. Math. Sci. Soc. 41, 1581–1606 (2018)
24. 24.
Balasubramaniam, P., Tamilalagan, P.: The solvability and optimal controls for impulsive fractional stochastic integro-differential equations via resolvent operators. J. Optim. Theory Appl. 174, 139–155 (2017)
25. 25.
Rihan, F.A., Rajivganthi, C., Muthukumar, P.: Fractional stochastic differential equations with Hilfer fractional derivative: Poisson jumps and optimal control. Discrete Dyn. Nat. Soc. 2017, Article ID 5394528 (2017)
26. 26.
Ahmed, H.M., Wang, J.R.: Exact null controllability of Sobolev-type Hilfer fractional stochastic differential equations with fractional Brownian motion and Poisson jumps. J. Nonlinear Sci. Appl. 44(3), 673–690 (2018)
27. 27.
Tamilalagan, P., Balasubramaniam, P.: The solvability and optimal controls for fractional stochastic differential equations driven by Poisson jumps via resolvent operators. Appl. Math. Optim. 77, 443–462 (2018)
28. 28.
Rajivganthi, C., Muthukumar, P.: Almost automorphic solutions for fractional stochastic differential equations and its optimal control. Optim. Control Appl. Methods 37, 663–681 (2016)
29. 29.
Yan, Z., Lu, F.: Existence of an optimal control for fractional stochastic partial neutral integro-differential equations with infinite delay. J. Nonlinear Sci. Appl. 8, 557–577 (2015)
30. 30.
Muthukumar, P., Thiagu, K.: Existence of solutions and approximate controllability of fractional nonlocal stochastic differential equations of order $$1< q\leq 2$$ with infinite delay and Poisson jumps. Differ. Equ. Dyn. Syst. 26, 15–36 (2018)
31. 31.
Nagarajan, D., Palanisamy, M.: Optimal control on semilinear retarded stochastic functional differential equations driven by Poisson jumps in Hilbert space. Bull. Korean Math. Soc. 55(2), 479–497 (2018)
32. 32.
Byszewski, L., Lakshmikantham, V.: Theorem about the existence and uniqueness of a solution of a nonlocal abstract Cauchy problem in a Banach space. Appl. Anal. 40, 11–19 (1991)
33. 33.
Ye, H.P., Gao, J.M., Ding, Y.S.: A generalized Gronwall inequality and its application to a fractional differential equation. J. Math. Anal. Appl. 328, 1075–1081 (2007)
34. 34.
Kruse, R., Larsson, S.: Optimal regularity for semilinear stochastic partial differential equations with multiplicative noise. Electron. J. Probab. 17, paper no. 65 (2012)
35. 35.
Kruse, R.: Strong and Weak Approximation of Semilinear Stochastic Evolution Equations. Lecture Notes in Mathematics. Springer, Cham (2014)
36. 36.
Balder, E.J.: Necessary and sufficient conditions for $$l_{1}$$-strong weak lower semicontinuity of integral functionals. Nonlinear Anal. 11, 1399–1404 (1987)